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.04	c starting to Solve
0.00/0.04	c #variables read: 1598 - #constraints read: 3149
0.00/0.04	o 0
0.00/0.04	o 1
0.00/0.04	o 2
0.00/0.04	o 3
0.00/0.04	o 4
0.00/0.04	o 5
0.69/0.77	o 6
39.68/39.76	c optimum objective found = 6
39.68/39.76	c total time              : 39.74 s
39.68/39.76	s OPTIMUM FOUND
39.68/39.76	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 -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 -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 

OK	-6

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-3720486-1338511530/watcher-3720486-1338511530 -o /tmp/evaluation-result-3720486-1338511530/solver-3720486-1338511530 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720486-1338511530.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.01 2.00 2.00 3/176 8846
/proc/meminfo: memFree=27129204/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 317281591 3178496 265 33554432000 134512640 134579096 4294935248 4294802548 3277621 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 776 265 219 17 0 82 0

[startup+0.012855 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 8846
/proc/meminfo: memFree=27129204/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=3236 CPUtime=0 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 317281591 3313664 308 33554432000 134512640 134579096 4294935248 4294802672 134546737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 809 310 219 17 0 115 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3236

[startup+0.100211 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 8846
/proc/meminfo: memFree=27129204/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=4360 CPUtime=0.09 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 634 0 0 0 9 0 0 0 20 0 1 0 317281591 4464640 571 33554432000 134512640 134579096 4294935248 4294933584 134532911 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1090 571 227 17 0 396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4360

[startup+0.300181 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 8846
/proc/meminfo: memFree=27129204/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=4880 CPUtime=0.29 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 764 0 0 0 29 0 0 0 20 0 1 0 317281591 4997120 701 33554432000 134512640 134579096 4294935248 4294931920 134533487 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1220 701 227 17 0 526 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4880

[startup+0.700181 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 8846
/proc/meminfo: memFree=27129204/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=5012 CPUtime=0.69 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 824 0 0 0 69 0 0 0 20 0 1 0 317281591 5132288 761 33554432000 134512640 134579096 4294935248 4294934220 12923952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1253 761 227 17 0 559 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5012

[startup+1.50018 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27125988/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=5640 CPUtime=1.48 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 962 0 0 0 148 0 0 0 20 0 1 0 317281591 5775360 899 33554432000 134512640 134579096 4294935248 4294934176 134559533 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1410 899 227 17 0 716 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5640

[startup+3.10018 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27123640/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=6056 CPUtime=3.08 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 1064 0 0 0 307 1 0 0 20 0 1 0 317281591 6201344 1001 33554432000 134512640 134579096 4294935248 4294934096 134527753 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1514 1001 227 17 0 820 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6056

[startup+6.30018 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27118416/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=6288 CPUtime=6.29 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 1132 0 0 0 626 3 0 0 20 0 1 0 317281591 6438912 1069 33554432000 134512640 134579096 4294935248 4294934096 134528344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1572 1069 227 17 0 878 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6288

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27108628/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=6600 CPUtime=12.69 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 1215 0 0 0 1264 5 0 0 20 0 1 0 317281591 6758400 1152 33554432000 134512640 134579096 4294935248 4294934220 12923952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1650 1152 227 17 0 956 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6600

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27088260/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=7140 CPUtime=25.48 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 1341 0 0 0 2540 8 0 0 20 0 1 0 317281591 7311360 1278 33554432000 134512640 134579096 4294935248 4294934096 134527818 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1785 1278 227 17 0 1091 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7140

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

[startup+31.9063 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27077596/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=7272 CPUtime=31.88 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 1371 0 0 0 3178 10 0 0 20 0 1 0 317281591 7446528 1308 33554432000 134512640 134579096 4294935248 4294933932 2535244 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1818 1308 227 17 0 1124 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 7272

[startup+35.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27073364/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=7376 CPUtime=35.09 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 1394 0 0 0 3497 12 0 0 20 0 1 0 317281591 7553024 1331 33554432000 134512640 134579096 4294935248 4294934220 12923952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1844 1331 227 17 0 1150 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 7376

[startup+38.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27069892/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=7376 CPUtime=38.28 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 1401 0 0 0 3815 13 0 0 20 0 1 0 317281591 7553024 1338 33554432000 134512640 134579096 4294935248 4294934140 134520011 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1844 1338 227 17 0 1150 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 7376

[startup+39.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27068528/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=7632 CPUtime=39.08 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 1454 0 0 0 3895 13 0 0 20 0 1 0 317281591 7815168 1391 33554432000 134512640 134579096 4294935248 4294932992 134532838 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1908 1391 227 17 0 1214 0
Current children cumulated CPU time (s) 39.08
Current children cumulated vsize (KiB) 7632

[startup+39.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27067288/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=7632 CPUtime=39.49 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 1454 0 0 0 3936 13 0 0 20 0 1 0 317281591 7815168 1391 33554432000 134512640 134579096 4294935248 4294934220 12923952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1908 1391 227 17 0 1214 0
Current children cumulated CPU time (s) 39.49
Current children cumulated vsize (KiB) 7632

[startup+39.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27067288/32873844 swapFree=7628/7628
[pid=8846] ppid=8844 vsize=7632 CPUtime=39.68 cores=0,2,4,6
/proc/8846/stat : 8846 (Pueblo) R 8844 8846 8277 0 -1 4202496 1454 0 0 0 3955 13 0 0 20 0 1 0 317281591 7815168 1391 33554432000 134512640 134579096 4294935248 4294934080 134517916 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8846/statm: 1908 1391 227 17 0 1214 0
Current children cumulated CPU time (s) 39.68
Current children cumulated vsize (KiB) 7632

Child status: 30
Real time (s): 39.763
CPU time (s): 39.752
CPU user time (s): 39.614
CPU system time (s): 0.137979
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 7632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.614
system time used= 0.137979
maximum resident set size= 5584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1459
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= 68

runsolver used 0.05999 second user time and 0.162975 second system time

The end

Begin job on node107 at 2012-06-01 02:45:30
IDJOB=3720486
IDBENCH=48250
IDSOLVER=2305
FILE ID=node107/3720486-1338511530
RUNJOBID= node107-1338506011-8293
PBS_JOBID= 14635784
Free space on /tmp= 70780 MiB

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

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

MD5SUM BENCH= e0d3a2bf2cd2b7e4b27d7033a7686e76
RANDOM SEED=205867241

node107.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.760
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.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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.760
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.760
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.760
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.760
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.760
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.86
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.760
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:        27130864 kB
Buffers:          437984 kB
Cached:          4270872 kB
SwapCached:           76 kB
Active:          1975672 kB
Inactive:        2901896 kB
Active(anon):     160260 kB
Inactive(anon):    11072 kB
Active(file):    1815412 kB
Inactive(file):  2890824 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:              1992 kB
Writeback:            12 kB
AnonPages:        175712 kB
Mapped:            15216 kB
Shmem:               184 kB
Slab:             724344 kB
SReclaimable:     166772 kB
SUnreclaim:       557572 kB
KernelStack:        1480 kB
PageTables:         4628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     284220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 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-3720486-1338511530.opb

Free space on /tmp at the end= 70780 MiB
End job on node107 at 2012-06-01 02:46:10