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.00/0.03	c starting to Solve
0.00/0.03	c #variables read: 1614 - #constraints read: 2781
0.00/0.03	o 43
0.00/0.03	o 42
0.00/0.05	o 41
0.09/0.11	o 40
0.09/0.15	o 39
0.19/0.23	o 35
0.19/0.23	o 34
0.19/0.24	o 33
0.19/0.29	o 32
0.29/0.36	o 31
0.59/0.68	o 30
2.98/3.09	o 29
24.68/24.70	c optimum objective found = 29
24.68/24.70	c total time              : 24.68 s
24.68/24.70	s OPTIMUM FOUND
24.68/24.70	v -x83 -x85 x87 -x89 -x91 -x93 -x95 -x97 -x99 -x101 -x103 -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 -x121 -x123 -x124 -x126 -x128 -x130 -x132 x133 -x135 -x137 -x139 -x140 -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x167 -x169 -x171 -x173 -x175 x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x230 -x232 -x234 x235 -x237 -x239 -x241 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x295 -x297 -x298 -x300 -x302 -x303 -x305 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x319 -x321 -x322 -x324 -x326 -x327 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x347 -x348 -x350 -x352 -x354 -x356 x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x372 -x374 -x376 -x378 -x379 -x381 -x383 -x385 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x407 -x409 -x411 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x425 -x427 -x429 -x431 -x433 -x434 -x436 -x438 -x439 -x441 -x443 -x444 -x446 -x448 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x608 -x610 -x612 -x614 -x616 x617 -x619 -x621 -x623 -x624 -x626 -x628 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x659 -x661 -x663 -x665 -x667 -x668 -x669 -x671 -x673 -x675 -x676 -x678 -x680 -x682 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x724 -x726 -x728 -x730 -x732 -x734 x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x750 -x752 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x813 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x833 -x835 -x837 -x838 -x839 -x841 -x843 -x844 -x846 -x848 -x849 -x850 -x851 -x853 -x855 -x857 -x858 -x859 -x861 -x863 -x865 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x887 -x889 -x891 -x893 -x894 -x896 -x898 -x900 -x902 -x904 -x905 -x907 x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x927 -x929 -x931 -x933 -x935 -x937 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x965 -x967 -x968 -x970 -x972 -x974 -x975 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1014 -x1016 -x1018 -x1020 -x1021 -x1023 -x1025 -x1027 -x1029 -x1030 -x1032 -x1033 -x1034 -x1036 -x1037 -x1039 -x1041 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1055 -x1056 -x1058 -x1059 -x1061 -x1062 -x1064 -x1066 -x1068 -x1069 -x1070 -x1071 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1115 -x1117 -x1119 -x1120 -x1121 x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1143 -x1145 -x1147 -x1149 -x1150 -x1151 -x1152 -x1153 -x1155 -x1157 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1168 x1169 -x1171 -x1173 -x1174 -x1175 -x1176 -x1177 -x1179 -x1181 -x1183 -x1184 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 x1202 -x1204 -x1206 -x1207 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1225 -x1227 -x1228 -x1230 -x1231 -x1233 -x1235 -x1237 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1251 -x1252 -x1254 -x1256 -x1257 -x1259 -x1261 -x1262 -x1264 -x1266 -x1267 -x1268 -x1270 -x1272 -x1274 -x1276 -x1277 -x1278 -x1280 -x1281 -x1283 -x1284 -x1286 -x1287 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1307 -x1309 -x1311 -x1313 -x1314 -x1315 -x1317 -x1319 -x1321 -x1322 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 x1334 -x1336 -x1338 -x1339 -x1341 -x1343 -x1344 -x1345 -x1347 -x1349 -x1351 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1377 -x1379 -x1381 -x1383 x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1395 x1396 -x1398 -x1400 -x1401 -x1402 -x1404 -x1406 -x1407 -x1409 -x1410 -x1411 -x1413 -x1415 -x1416 -x1418 -x1419 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1431 -x1432 -x1434 -x1435 -x1436 -x1438 -x1440 -x1442 -x1444 -x1445 -x1446 -x1448 x1449 -x1451 -x1452 -x1454 -x1456 -x1457 -x1458 -x1459 -x1461 -x1462 -x1464 -x1465 -x1467 -x1468 -x1470 -x1471 -x1472 -x1473 -x1475 -x1477 -x1478 -x1480 -x1481 -x1483 -x1485 -x1487 -x1488 -x1490 -x1491 x1492 -x1493 -x1495 -x1496 -x1498 -x1499 -x1501 -x1502 -x1503 -x1505 -x1506 -x1507 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1517 -x1519 x1520 -x1521 -x1522 -x1524 x1525 x1526 -x1527 -x1529 -x1531 -x1533 -x1534 -x1535 -x1536 -x1538 -x1540 -x1541 -x1542 -x1544 -x1546 -x1548 -x1550 x1551 -x1552 -x1553 -x1555 -x1557 -x1558 -x1560 -x1562 -x1563 -x1564 -x1566 -x1568 -x1570 -x1572 x1573 -x1575 x1576 -x1577 -x1579 -x1581 -x1582 -x1584 -x1586 -x1587 -x1589 -x1591 -x1592 -x1593 -x1595 -x1597 -x1598 -x1599 x1600 -x1601 -x1603 -x1604 -x1605 x1606 -x1607 -x1609 -x1610 -x1611 x1612 x1613 x1614 -x82 -x84 x86 -x88 -x90 -x92 -x94 -x96 -x98 -x100 -x102 -x104 -x106 -x108 -x110 -x112 -x1 -x114 -x116 -x118 -x120 -x122 -x125 x2 -x127 -x129 -x131 -x134 -x136 -x138 -x3 -x141 -x143 -x4 -x145 -x147 -x149 -x151 -x153 -x155 -x5 -x157 -x159 -x161 -x6 -x163 -x165 -x7 -x168 -x170 -x172 -x174 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x8 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x231 -x233 -x236 -x238 -x9 -x240 -x243 -x245 -x247 -x249 -x251 -x10 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x11 -x267 -x270 -x272 -x274 -x276 -x278 -x12 -x280 -x283 -x13 -x285 -x287 -x289 -x291 -x293 -x296 -x14 -x299 -x301 -x15 -x304 -x307 -x309 -x311 -x313 -x16 -x315 -x317 -x17 -x320 -x18 -x323 -x325 -x19 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x349 -x351 -x353 -x355 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x373 -x375 -x377 -x380 -x382 -x384 -x20 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x408 -x410 -x21 -x413 -x415 -x417 -x419 -x421 -x423 -x426 -x428 -x430 -x432 -x435 -x437 -x22 -x440 -x442 -x445 -x447 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x23 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x539 -x24 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x25 -x570 -x573 -x575 -x577 -x579 -x581 -x26 -x583 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x609 -x611 -x613 -x615 -x618 -x620 -x622 -x625 -x627 -x630 -x632 -x634 -x636 -x27 -x638 -x640 -x643 -x645 -x647 -x649 -x28 -x651 -x653 -x655 -x657 -x660 -x662 -x29 -x664 -x666 -x670 -x672 -x674 -x30 -x677 -x679 -x681 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x725 -x727 -x729 -x731 -x733 -x736 -x738 -x31 -x740 -x742 -x744 -x746 -x748 -x751 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x32 -x768 -x770 -x772 -x774 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x33 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x34 -x811 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x834 -x836 -x35 -x840 -x842 -x845 -x847 -x36 -x852 -x854 -x856 -x37 -x860 -x862 -x38 -x864 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x888 -x890 -x39 -x892 -x895 -x897 -x899 -x901 -x903 -x906 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x928 -x930 -x40 -x932 -x934 -x936 -x939 -x941 -x943 -x41 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x42 -x959 -x961 -x963 -x43 -x966 -x969 -x971 -x973 -x977 -x979 -x981 -x983 -x985 -x987 -x44 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x45 -x1004 -x1006 -x1008 -x1010 -x1012 -x1015 -x46 -x1017 -x1019 -x47 -x1022 -x1024 -x1026 -x1028 -x1031 -x48 -x1035 -x49 -x1038 -x1040 -x50 -x1043 -x51 -x1045 -x1047 -x1049 -x1051 -x1053 -x1057 -x1060 -x1063 -x1065 -x1067 -x52 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1086 -x1088 -x1090 -x1092 -x1094 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1116 -x1118 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x53 -x1135 -x1137 -x1139 -x1141 -x1144 -x1146 -x54 -x1148 -x1154 -x1156 -x55 -x1158 -x1163 -x1167 -x1170 -x1172 -x1178 -x1180 -x1182 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1203 -x1205 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x56 -x1226 -x1229 -x1232 -x1234 -x1236 -x1239 -x1241 -x1243 -x1245 -x1247 -x57 -x1249 -x1253 -x1255 -x1258 -x1260 -x1263 -x1265 -x1269 -x1271 -x58 -x1273 -x1275 -x1279 -x1282 -x59 -x1285 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1308 -x60 -x1310 -x1312 -x1316 -x1318 -x61 -x1320 -x1324 -x1326 -x1328 -x1330 -x1332 -x1335 -x62 -x1337 -x1340 -x1342 -x1346 -x1348 -x1350 -x1353 -x1355 -x1357 -x1359 -x1361 -x63 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1378 -x1380 -x1382 -x1385 -x1387 -x64 -x1389 -x1391 -x1393 -x1397 -x1399 -x65 -x1403 -x1405 -x66 -x1408 -x67 -x1412 -x68 -x1414 -x1417 -x1421 -x1423 -x1425 -x1427 -x1429 -x1433 -x69 -x1437 -x1439 -x1441 -x1443 -x1447 -x1450 -x1453 -x1455 -x70 -x1460 -x71 -x1463 -x1466 -x1469 -x1474 -x1476 -x1479 -x1482 -x1484 -x1486 -x1489 -x1494 -x72 -x1497 -x1500 -x1504 -x73 -x1508 -x74 -x1513 -x1516 -x1518 -x1523 -x75 -x1528 -x1530 -x1532 -x1537 -x1539 -x1543 -x1545 -x1547 -x1549 -x1554 -x1556 -x76 -x1559 -x1561 -x1565 -x1567 -x1569 -x1571 -x1574 -x1578 -x1580 -x1583 -x1585 -x77 -x1588 -x78 -x1590 -x79 -x1594 -x1596 -x1602 -x80 -x1608 -x81 

OK	29

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-3720373-1338511032/watcher-3720373-1338511032 -o /tmp/evaluation-result-3720373-1338511032/solver-3720373-1338511032 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720373-1338511032.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.08 2.02 1.93 3/176 7210
/proc/meminfo: memFree=31665584/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 317227703 3178496 259 33554432000 134512640 134579096 4288535216 4288402564 2577205 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 776 259 213 17 0 82 0

[startup+0.100964 s]
/proc/loadavg: 2.08 2.02 1.93 3/176 7210
/proc/meminfo: memFree=31665584/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=4852 CPUtime=0.09 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 750 0 0 0 9 0 0 0 20 0 1 0 317227703 4968448 687 33554432000 134512640 134579096 4288535216 4288533872 134522427 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 1213 687 227 17 0 519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4852

[startup+0.200255 s]
/proc/loadavg: 2.08 2.02 1.93 3/176 7210
/proc/meminfo: memFree=31665584/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=5368 CPUtime=0.19 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 883 0 0 0 19 0 0 0 20 0 1 0 317227703 5496832 820 33554432000 134512640 134579096 4288535216 4288533872 134522733 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 1342 820 227 17 0 648 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5368

[startup+0.300246 s]
/proc/loadavg: 2.08 2.02 1.93 3/176 7210
/proc/meminfo: memFree=31665584/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=5564 CPUtime=0.29 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 959 0 0 0 29 0 0 0 20 0 1 0 317227703 5697536 896 33554432000 134512640 134579096 4288535216 4288534188 11449392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 1391 896 227 17 0 697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5564

[startup+0.700227 s]
/proc/loadavg: 2.08 2.02 1.93 3/176 7210
/proc/meminfo: memFree=31665584/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=5892 CPUtime=0.69 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 1064 0 0 0 69 0 0 0 20 0 1 0 317227703 6033408 970 33554432000 134512640 134579096 4288535216 4288534188 11449392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 1473 970 227 17 0 779 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5892

[startup+1.50022 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 7211
/proc/meminfo: memFree=31661864/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=6792 CPUtime=1.49 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 1367 0 0 0 149 0 0 0 20 0 1 0 317227703 6955008 1204 33554432000 134512640 134579096 4288535216 4288534188 11449392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 1698 1204 227 17 0 1004 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6792

[startup+3.10022 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 7211
/proc/meminfo: memFree=31661120/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=7928 CPUtime=3.08 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 1811 0 0 0 308 0 0 0 20 0 1 0 317227703 8118272 1488 33554432000 134512640 134579096 4288535216 4288534188 11449392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 1982 1488 227 17 0 1288 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7928

[startup+6.30023 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 7211
/proc/meminfo: memFree=31659764/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=8660 CPUtime=6.29 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 2140 0 0 0 628 1 0 0 20 0 1 0 317227703 8867840 1671 33554432000 134512640 134579096 4288535216 4288533872 134522688 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 2165 1671 227 17 0 1471 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8660

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 7211
/proc/meminfo: memFree=31656440/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=11208 CPUtime=12.68 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 3080 0 0 0 1267 1 0 0 20 0 1 0 317227703 11476992 2291 33554432000 134512640 134579096 4288535216 4288534188 11449392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 2802 2291 227 17 0 2108 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11208

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

[startup+12.8003 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 7211
/proc/meminfo: memFree=31656440/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=11208 CPUtime=12.78 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 3080 0 0 0 1277 1 0 0 20 0 1 0 317227703 11476992 2291 33554432000 134512640 134579096 4288535216 4288534064 134527759 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 2802 2291 227 17 0 2108 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 11208

[startup+19.2002 s]
/proc/loadavg: 2.13 2.03 1.94 3/177 7211
/proc/meminfo: memFree=31656704/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=11160 CPUtime=19.19 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 3080 0 0 0 1917 2 0 0 20 0 1 0 317227703 11427840 2291 33554432000 134512640 134579096 4288535216 4288534188 11449392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 2790 2291 227 17 0 2096 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 11160

[startup+22.4002 s]
/proc/loadavg: 2.13 2.03 1.94 3/177 7211
/proc/meminfo: memFree=31656704/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=11432 CPUtime=22.38 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 3151 0 0 0 2236 2 0 0 20 0 1 0 317227703 11706368 2362 33554432000 134512640 134579096 4288535216 4288534188 11449392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 2858 2362 227 17 0 2164 0
Current children cumulated CPU time (s) 22.38
Current children cumulated vsize (KiB) 11432

[startup+24.0002 s]
/proc/loadavg: 2.12 2.03 1.94 3/177 7211
/proc/meminfo: memFree=31656332/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=11288 CPUtime=23.98 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 3151 0 0 0 2395 3 0 0 20 0 1 0 317227703 11558912 2328 33554432000 134512640 134579096 4288535216 4288533872 134524561 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 2822 2328 227 17 0 2128 0
Current children cumulated CPU time (s) 23.98
Current children cumulated vsize (KiB) 11288

[startup+24.4002 s]
/proc/loadavg: 2.12 2.03 1.94 3/177 7211
/proc/meminfo: memFree=31656580/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=11288 CPUtime=24.38 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 3151 0 0 0 2435 3 0 0 20 0 1 0 317227703 11558912 2328 33554432000 134512640 134579096 4288535216 4288534188 11449392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 2822 2328 227 17 0 2128 0
Current children cumulated CPU time (s) 24.38
Current children cumulated vsize (KiB) 11288

[startup+24.6002 s]
/proc/loadavg: 2.12 2.03 1.94 3/177 7211
/proc/meminfo: memFree=31656580/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=11288 CPUtime=24.58 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 3151 0 0 0 2455 3 0 0 20 0 1 0 317227703 11558912 2328 33554432000 134512640 134579096 4288535216 4288534096 134516812 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 2822 2328 227 17 0 2128 0
Current children cumulated CPU time (s) 24.58
Current children cumulated vsize (KiB) 11288

[startup+24.7003 s]
/proc/loadavg: 2.12 2.03 1.94 3/177 7211
/proc/meminfo: memFree=31656580/32873844 swapFree=7900/7900
[pid=7210] ppid=7208 vsize=11228 CPUtime=24.68 cores=1,3,5,7
/proc/7210/stat : 7210 (Pueblo) R 7208 7210 6653 0 -1 4202496 3151 0 0 0 2465 3 0 0 20 0 1 0 317227703 11497472 2313 33554432000 134512640 134579096 4288535216 4288534036 134556261 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7210/statm: 2807 2313 227 17 0 2113 0
Current children cumulated CPU time (s) 24.68
Current children cumulated vsize (KiB) 11228

Child status: 30
Real time (s): 24.7025
CPU time (s): 24.6962
CPU user time (s): 24.6603
CPU system time (s): 0.035994
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 11432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6603
system time used= 0.035994
maximum resident set size= 9448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3156
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= 9
involuntary context switches= 78

runsolver used 0.056991 second user time and 0.102984 second system time

The end

Begin job on node137 at 2012-06-01 02:37:12
IDJOB=3720373
IDBENCH=25034
IDSOLVER=2305
FILE ID=node137/3720373-1338511032
RUNJOBID= node137-1338505993-6670
PBS_JOBID= 14635754
Free space on /tmp= 70696 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir04_area_opers.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720373-1338511032/watcher-3720373-1338511032 -o /tmp/evaluation-result-3720373-1338511032/solver-3720373-1338511032 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720373-1338511032.opb

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

MD5SUM BENCH= e746daa468953b69c2293c7909733538
RANDOM SEED=132161624

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:        31666392 kB
Buffers:           77272 kB
Cached:           270456 kB
SwapCached:         5784 kB
Active:           225340 kB
Inactive:         180692 kB
Active(anon):      53516 kB
Inactive(anon):     7172 kB
Active(file):     171824 kB
Inactive(file):   173520 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:              2348 kB
Writeback:             0 kB
AnonPages:         61596 kB
Mapped:             9916 kB
Shmem:                 0 kB
Slab:             662828 kB
SReclaimable:     104240 kB
SUnreclaim:       558588 kB
KernelStack:        1520 kB
PageTables:         4184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     176492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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-3720373-1338511032.opb

Free space on /tmp at the end= 70692 MiB
End job on node137 at 2012-06-01 02:37:37