0.00/0.00	c Calling clasp with: --sat-p=20,25,240,-1,1 --heuristic=Vsids --dynamic-restarts=100,0.7 --dinit=500,20000 --del=3.0,1.1,20.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5 --save-p=75 --cir=3 --cir-bump=1023 --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5
0.00/0.00	c clasp version 2.0.6
0.00/0.00	c Reading from ...158102/instance-3708687-1338158102.opb
0.00/0.03	c Solving...
332.71/332.80	c Answer: 1
332.71/332.80	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16
332.71/332.80	v -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31
332.71/332.80	v -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46
332.71/332.80	v -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61
332.71/332.80	v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76
332.71/332.80	v -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 x86 -x87 -x88 -x89 -x90 -x91
332.71/332.80	v -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105
332.71/332.80	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117
332.71/332.80	v -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 x128 -x129 -x130
332.71/332.80	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142
332.71/332.80	v -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154
332.71/332.80	v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
332.71/332.80	v -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178
332.71/332.80	v -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190
332.71/332.80	v -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202
332.71/332.80	v x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214
332.71/332.80	v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226
332.71/332.80	v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238
332.71/332.80	v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
332.71/332.80	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262
332.71/332.80	v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
332.71/332.80	v -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286
332.71/332.80	v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298
332.71/332.80	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310
332.71/332.80	v x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322
332.71/332.80	v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
332.71/332.80	v -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346
332.71/332.80	v -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359
332.71/332.80	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371
332.71/332.80	v -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383
332.71/332.80	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
332.71/332.80	v -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407
332.71/332.80	v -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 x418 -x419 -x420
332.71/332.80	v -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432
332.71/332.80	v -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445
332.71/332.80	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
332.71/332.80	v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469
332.71/332.80	v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481
332.71/332.80	v -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493
332.71/332.80	v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
332.71/332.80	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517
332.71/332.80	v -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529
332.71/332.80	v -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541
332.71/332.80	v -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554
332.71/332.80	v -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567
332.71/332.80	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579
332.71/332.80	v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591
332.71/332.80	v -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 x603 -x604
332.71/332.80	v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616
332.71/332.80	v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
332.71/332.80	v x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641
332.71/332.80	v -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653
332.71/332.80	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665
332.71/332.80	v -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678
332.71/332.80	v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
332.71/332.80	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702
332.71/332.80	v -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
332.71/332.80	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726
332.71/332.80	v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738
332.71/332.80	v -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750
332.71/332.80	v -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762
332.71/332.80	v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774
332.71/332.80	v -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786
332.71/332.80	v -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
332.71/332.80	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810
332.71/332.80	v -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823
332.71/332.80	v -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835
332.71/332.80	v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 x847 -x848
332.71/332.80	v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
332.71/332.80	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872
332.71/332.80	v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884
332.71/332.80	v -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896
332.71/332.80	v -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908
332.71/332.80	v -x909 x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921
332.71/332.80	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933
332.71/332.80	v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945
332.71/332.80	v -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958
332.71/332.80	v -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971
332.71/332.80	v -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983
332.71/332.80	v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
332.71/332.80	v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
332.71/332.80	v -x1007 -x1008 -x1009 x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 x1017
332.71/332.80	v -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028
332.71/332.80	v -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039
332.71/332.80	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
332.71/332.80	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061
332.71/332.80	v -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 x1072
332.71/332.80	v -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083
332.71/332.80	v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
332.71/332.80	v -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105
332.71/332.80	v x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116
332.71/332.80	v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127
332.71/332.80	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138
332.71/332.80	v -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149
332.71/332.80	v -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160
332.71/332.80	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171
332.71/332.80	v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182
332.71/332.80	v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
332.71/332.80	v x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204
332.71/332.80	v -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215
332.71/332.80	v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226
332.71/332.80	v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237
332.71/332.80	v -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248
332.71/332.80	v x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259
332.71/332.80	v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270
332.71/332.80	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281
332.71/332.80	v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292
332.71/332.80	v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303
332.71/332.80	v -x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314
332.71/332.80	v -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325
332.71/332.80	v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336
332.71/332.80	v x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
332.71/332.80	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358
332.71/332.80	v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369
332.71/332.80	v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380
332.71/332.80	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391
332.71/332.80	v -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402
332.71/332.80	v -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413
332.71/332.80	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424
332.71/332.80	v -x1425 -x1426 x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435
332.71/332.80	v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446
332.71/332.80	v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457
332.71/332.80	v -x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
332.71/332.80	v -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479
332.71/332.80	v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490
332.71/332.80	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501
332.71/332.80	v -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512
332.71/332.80	v -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523
332.71/332.80	v -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
332.71/332.80	v -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545
332.71/332.80	v -x1546 -x1547 -x1548 x1549 -x1550 -x1551 -x1552 x1553 -x1554 -x1555 -x1556
332.71/332.80	v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567
332.71/332.80	v -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578
332.71/332.80	v -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589
332.71/332.80	v -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600
332.71/332.80	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611
332.71/332.80	v -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622
332.71/332.80	v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633
332.71/332.80	v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644
332.71/332.80	v x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655
332.71/332.80	v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666
332.71/332.80	v x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677
332.71/332.80	v -x1678 x1679 -x1680 -x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688
332.71/332.80	v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699
332.71/332.80	v -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
332.71/332.80	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721
332.71/332.80	v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 x1729 -x1730 -x1731 -x1732
332.71/332.80	v -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 x1740 -x1741 -x1742 -x1743
332.71/332.80	v -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754
332.71/332.80	v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765
332.71/332.80	v -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776
332.71/332.80	v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787
332.71/332.80	v -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798
332.71/332.80	v -x1799 x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809
332.71/332.80	v -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
332.71/332.80	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831
332.71/332.80	v -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842
332.71/332.80	v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853
332.71/332.80	v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864
332.71/332.80	v -x1865 -x1866 -x1867 -x1868 -x1869 x1870 x1871 -x1872 -x1873 -x1874 -x1875
332.71/332.80	v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886
332.71/332.80	v -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897
332.71/332.80	v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908
332.71/332.80	v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919
332.71/332.80	v -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
332.71/332.80	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941
332.71/332.80	v -x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952
332.71/332.80	v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963
332.71/332.80	v -x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974
332.71/332.80	v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985
332.71/332.80	v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
332.71/332.80	v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007
332.71/332.80	v -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018
332.71/332.80	v -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029
332.71/332.80	v -x2030 -x2031 x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
332.71/332.80	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051
332.71/332.80	v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062
332.71/332.80	v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073
332.71/332.80	v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084
332.71/332.80	v -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095
332.71/332.80	v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106
332.71/332.80	v -x2107 -x2108 -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117
332.71/332.80	v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128
332.71/332.80	v -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139
332.71/332.80	v -x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
332.71/332.80	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x2160 -x2161
332.71/332.80	v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172
332.71/332.80	v -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183
332.71/332.80	v -x2184 -x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194
332.71/332.80	v -x2195 x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 x2204 -x2205
332.71/332.80	v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 x2216
332.71/332.80	v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227
332.71/332.80	v -x2228 -x2229 -x2230 x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238
332.71/332.80	v -x2239 -x2240 -x2241 -x2242 -x2243 x2244 -x2245 x2246 -x2247 -x2248 -x2249
332.71/332.80	v -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260
332.71/332.80	v -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 -x2271
332.71/332.80	v -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282
332.71/332.80	v x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293
332.71/332.80	v x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304
332.71/332.80	v -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 x2315
332.71/332.80	v -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326
332.71/332.80	v x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337
332.71/332.80	v -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348
332.71/332.80	v -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359
332.71/332.80	v -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370
332.71/332.80	v -x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 -x2378 x2379 -x2380 -x2381
332.71/332.80	v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 x2391 -x2392
332.71/332.80	v -x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403
332.71/332.80	v -x2404 -x2405 x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414
332.71/332.80	v -x2415 -x2416 -x2417 x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425
332.71/332.80	v -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436
332.71/332.80	v -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447
332.71/332.80	v -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458
332.71/332.80	v x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469
332.71/332.80	v -x2470 -x2471 x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480
332.71/332.80	v -x2481 -x2482 x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491
332.71/332.80	v -x2492 -x2493 x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 -x2502
332.71/332.80	v -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513
332.71/332.80	v -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524
332.71/332.80	v -x2525 x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 x2535
332.71/332.80	v -x2536 -x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546
332.71/332.80	v -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557
332.71/332.80	v -x2558 -x2559 x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568
332.71/332.80	v -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579
332.71/332.80	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 x2589 -x2590
332.71/332.80	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 x2601
332.71/332.80	v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 x2612
332.71/332.80	v -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623
332.71/332.80	v -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634
332.71/332.80	v -x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 x2642 -x2643 -x2644 -x2645
332.71/332.80	v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 x2654 -x2655 -x2656
332.71/332.80	v -x2657 -x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667
332.71/332.80	v -x2668 -x2669 x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678
332.71/332.80	v -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689
332.71/332.80	v x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700
332.71/332.80	v -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711
332.71/332.80	v -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722
332.71/332.80	v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733
332.71/332.80	v -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744
332.71/332.80	v x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 x2755
332.71/332.80	v -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766
332.71/332.80	v -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777
332.71/332.80	v -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788
332.71/332.80	v x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799
332.71/332.80	v -x2800 -x2801 x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810
332.71/332.80	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 -x2820 -x2821
332.71/332.80	v -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2831 -x2832
332.71/332.80	v -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843
332.71/332.80	v x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850 -x2851 x2852 -x2853 -x2854
332.71/332.80	v -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865
332.71/332.80	v x2866 -x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876
332.71/332.80	v -x2877 x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887
332.71/332.80	v -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898
332.71/332.80	v -x2899 -x2900 -x2901 -x2902 x2903 -x2904 -x2905 x2906 -x2907 -x2908 -x2909
332.71/332.80	v -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 x2919 -x2920
332.71/332.80	v -x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931
332.71/332.80	v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 x2940 -x2941 -x2942
332.71/332.80	v x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953
332.71/332.80	v -x2954 -x2955 -x2956 x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964
332.71/332.80	v -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975
332.71/332.80	v -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 x2985 -x2986
332.71/332.80	v -x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997
332.71/332.80	v -x2998 -x2999 -x3000 -x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008
332.71/332.80	v -x3009 -x3010 x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019
332.71/332.80	v -x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030
332.71/332.80	v -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041
332.71/332.80	v x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052
332.71/332.80	v x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 -x3062 x3063
332.71/332.80	v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 x3071 -x3072 -x3073 -x3074
332.71/332.80	v x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085
332.71/332.80	v -x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096
332.71/332.80	v -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107
332.71/332.80	v x3108 -x3109 -x3110 x3111 -x3112 -x3113 -x3114 -x3115 x3116 -x3117 -x3118
332.71/332.80	v -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129
332.71/332.80	v x3130 -x3131 -x3132 -x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
332.71/332.80	v -x3141 -x3142 x3143 -x3144 -x3145 x3146 -x3147 -x3148 -x3149 -x3150 -x3151
332.71/332.80	v x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162
332.71/332.80	v -x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173
332.71/332.80	v -x3174 -x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184
332.71/332.80	v -x3185 x3186 -x3187 x3188 -x3189 -x3190 -x3191 -x3192 x3193 -x3194 -x3195
332.71/332.80	v -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 x3203 -x3204 -x3205 -x3206
332.71/332.80	v -x3207 x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 x3216 -x3217
332.71/332.80	v x3218 -x3219 -x3220 -x3221 -x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228
332.71/332.80	v -x3229 -x3230 -x3231 -x3232 -x3233 x3234 -x3235 -x3236 x3237 -x3238 -x3239
332.71/332.80	v -x3240 -x3241 -x3242 -x3243 x3244 -x3245 -x3246 -x3247 x3248 -x3249 -x3250
332.71/332.80	v -x3251 -x3252 -x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261
332.71/332.80	v x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 -x3271 -x3272
332.71/332.80	v -x3273 -x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283
332.71/332.80	v -x3284 -x3285 x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 x3294
332.71/332.80	v -x3295 x3296 -x3297 -x3298 -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305
332.71/332.80	v -x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3316
332.71/332.80	v -x3317 -x3318 -x3319 x3320 -x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327
332.71/332.80	v -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 -x3338
332.71/332.80	v x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349
332.71/332.80	v -x3350 x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 -x3359 -x3360
332.71/332.80	v -x3361 x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371
332.71/332.80	v -x3372 -x3373 -x3374 -x3375 x3376 -x3377 -x3378 -x3379 x3380 -x3381 -x3382
332.71/332.80	v -x3383 -x3384 -x3385 -x3386 -x3387 x3388 -x3389 -x3390 -x3391 x3392 -x3393
332.71/332.80	v -x3394 -x3395 -x3396 -x3397 x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404
332.71/332.80	v -x3405 -x3406 -x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415
332.71/332.80	v -x3416 -x3417 -x3418 -x3419 x3420 -x3421 x3422 -x3423 -x3424 -x3425 -x3426
332.71/332.80	v -x3427 -x3428 -x3429 -x3430 -x3431 x3432 x3433 -x3434 -x3435 -x3436 -x3437
332.71/332.80	v -x3438 -x3439 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 x3446 -x3447 -x3448
332.71/332.80	v -x3449 -x3450 -x3451 x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459
332.71/332.80	v -x3460 -x3461 x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
332.71/332.80	v -x3471 -x3472 x3473 -x3474 -x3475 x3476 -x3477 -x3478 -x3479 -x3480 -x3481
332.71/332.80	v -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 x3489 -x3490 -x3491 -x3492
332.71/332.80	v -x3493 x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503
332.71/332.80	v -x3504 -x3505 -x3506 x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514
332.71/332.80	v -x3515 x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525
332.71/332.80	v -x3526 x3527 -x3528 x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536
332.71/332.80	v -x3537 -x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547
332.71/332.80	v -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 x3558
332.71/332.80	v -x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 x3567 -x3568 -x3569
332.71/332.80	v -x3570 -x3571 -x3572 -x3573 -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580
332.71/332.80	v -x3581 x3582 -x3583 -x3584 -x3585 x3586 -x3587 -x3588 -x3589 x3590 -x3591
332.71/332.80	v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 -x3600 -x3601 -x3602
332.71/332.80	v -x3603 -x3604 -x3605 x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613
332.71/332.80	v -x3614 -x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 x3623 -x3624
332.71/332.80	v -x3625 -x3626 x3627 -x3628 -x3629 -x3630 -x3631 x3632 -x3633 -x3634 -x3635
332.71/332.80	v -x3636 -x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646
332.71/332.80	v -x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 x3654 -x3655 x3656 -x3657
332.71/332.80	v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 x3664 -x3665 -x3666 -x3667 -x3668
332.71/332.80	v x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 x3678 -x3679
332.71/332.80	v x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690
332.71/332.80	v -x3691 -x3692 -x3693 x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701
332.71/332.80	v x3702 -x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 x3710 -x3711 -x3712
332.71/332.80	v -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 -x3721 -x3722 -x3723
332.71/332.80	v -x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 x3732 -x3733 x3734
332.71/332.80	v -x3735 -x3736 -x3737 -x3738 -x3739 x3740 -x3741 -x3742 -x3743 -x3744 -x3745
332.71/332.80	v -x3746 -x3747 x3748 -x3749 -x3750 -x3751 -x3752 x3753 -x3754 -x3755 -x3756
332.71/332.80	v -x3757 -x3758 -x3759 -x3760 x3761 -x3762 -x3763 x3764 -x3765 -x3766 -x3767
332.71/332.80	v -x3768 -x3769 -x3770 -x3771 -x3772 x3773 -x3774 -x3775 -x3776 x3777 -x3778
332.71/332.80	v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 x3789
332.71/332.80	v -x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800
332.71/332.80	v -x3801 -x3802 x3803 -x3804 x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811
332.71/332.80	v x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 -x3820 -x3821 -x3822
332.71/332.80	v -x3823 x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 -x3833
332.71/332.80	v -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844
332.71/332.80	v -x3845 x3846 -x3847 -x3848 -x3849 x3850 -x3851 -x3852 x3853 -x3854 -x3855
332.71/332.80	v -x3856 -x3857 -x3858 -x3859 x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866
332.71/332.80	v -x3867 x3868 -x3869 -x3870 -x3871 x3872 -x3873 -x3874 -x3875 -x3876 -x3877
332.71/332.80	v x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 x3888
332.71/332.80	v -x3889 -x3890 -x3891 -x3892 -x3893 x3894 -x3895 -x3896 -x3897 -x3898 -x3899
332.71/332.80	v -x3900 -x3901 -x3902 -x3903 x3904 -x3905 -x3906 x3907 -x3908 -x3909 -x3910
332.71/332.80	v -x3911 -x3912 -x3913 -x3914 x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921
332.71/332.80	v x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 -x3931 -x3932
332.71/332.80	v -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3941 -x3942 -x3943
332.71/332.80	v -x3944 -x3945 -x3946 x3947 -x3948 -x3949 x3950 -x3951 -x3952 -x3953 -x3954
332.71/332.80	v -x3955 -x3956 -x3957 -x3958 x3959 -x3960 -x3961 -x3962 x3963 -x3964 -x3965
332.71/332.80	v -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 x3975 -x3976
332.71/332.80	v -x3977 -x3978 -x3979 -x3980 x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987
332.71/332.80	v x3988 -x3989 -x3990 -x3991 x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998
332.71/332.80	v -x3999 -x4000 -x4001 x4002 -x4003 x4004 -x4005 -x4006 -x4007 -x4008 -x4009
332.71/332.80	v -x4010 x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 -x4020
332.71/332.80	v -x4021 -x4022 -x4023 -x4024 -x4025 x4026 -x4027 x4028 -x4029 -x4030 -x4031
332.71/332.80	v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 x4042
332.71/332.80	v -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 x4049 -x4050 -x4051 -x4052 -x4053
332.71/332.80	v x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4060 -x4061 -x4062 x4063 -x4064
332.71/332.80	v -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075
332.71/332.80	v -x4076 -x4077 x4078 -x4079 -x4080 -x4081 -x4082 x4083 -x4084 -x4085 -x4086
332.71/332.80	v -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097
332.71/332.80	v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 x4104 -x4105 x4106 -x4107 -x4108
332.71/332.80	v -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119
332.71/332.80	v -x4120 -x4121 x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130
332.71/332.80	v x4131 -x4132 -x4133 -x4134 x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141
332.71/332.80	v -x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 x4150 -x4151 -x4152
332.71/332.80	v -x4153 -x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 x4161 -x4162 -x4163
332.71/332.80	v -x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174
332.71/332.80	v -x4175 x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 -x4184 -x4185
332.71/332.80	v x4186 -x4187 -x4188 -x4189 x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196
332.71/332.80	v -x4197 x4198 -x4199 -x4200 -x4201 -x4202 x4203 -x4204 -x4205 -x4206 -x4207
332.71/332.80	v -x4208 -x4209 -x4210 -x4211 x4212 -x4213 -x4214 -x4215 -x4216 -x4217 x4218
332.71/332.80	v -x4219 x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229
332.71/332.80	v x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240
332.71/332.80	v x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251
332.71/332.80	v -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262
332.71/332.80	v x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273
332.71/332.80	v -x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 x4281 -x4282 -x4283 -x4284
332.71/332.80	v -x4285 -x4286 -x4287 x4288 -x4289 -x4290 -x4291 -x4292 x4293 -x4294 -x4295
332.71/332.80	v -x4296 -x4297 -x4298 -x4299 x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306
332.71/332.80	v x4307 -x4308 -x4309 x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317
332.71/332.80	v -x4318 x4319 -x4320 x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328
332.71/332.80	v -x4329 -x4330 -x4331 x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4338 -x4339
332.71/332.80	v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 x4346 -x4347 -x4348 -x4349 -x4350
332.71/332.80	v x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361
332.71/332.80	v x4362 -x4363 x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 x4371 -x4372
332.71/332.80	v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 -x4381 -x4382 -x4383
332.71/332.80	v -x4384 -x4385 x4386 -x4387 -x4388 -x4389 x4390 -x4391 -x4392 -x4393 x4394
332.71/332.80	v -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 x4403 -x4404 -x4405
332.71/332.80	v -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 x4413 -x4414 -x4415 -x4416
332.71/332.80	v -x4417 -x4418 -x4419 x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427
332.71/332.80	v x4428 -x4429 -x4430 -x4431 -x4432 -x4433 x4434 -x4435 -x4436 -x4437 -x4438
332.71/332.80	v x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 -x4449
332.71/332.80	v -x4450 -x4451 x4452 -x4453 -x4454 -x4455 x4456 -x4457 -x4458 -x4459 -x4460
332.71/332.80	v -x4461 -x4462 x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470 -x4471
332.71/332.80	v x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 -x4482
332.71/332.80	v -x4483 x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493
332.71/332.80	v -x4494 -x4495 -x4496 -x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504
332.71/332.80	v -x4505 x4506 -x4507 x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515
332.71/332.80	v -x4516 x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526
332.71/332.80	v -x4527 -x4528 -x4529 x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537
332.71/332.80	v x4538 -x4539 -x4540 -x4541 -x4542 x4543 -x4544 -x4545 -x4546 -x4547 -x4548
332.71/332.80	v -x4549 -x4550 x4551 -x4552 -x4553 -x4554 -x4555 -x4556 x4557 -x4558 -x4559
332.71/332.80	v -x4560 -x4561 x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570
332.71/332.80	v -x4571 x4572 x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581
332.71/332.80	v -x4582 x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x4590 -x4591 -x4592
332.71/332.80	v x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 x4601 -x4602
332.71/332.80	s SATISFIABLE
332.71/332.80	
332.71/332.80	c Models        : 1+    
332.71/332.80	c Time          : 332.804s (Solving: 332.77s 1st Model: 332.77s Unsat: 0.00s)
332.71/332.80	c CPU Time      : 332.710s

OK	0

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-3708687-1338158102/watcher-3708687-1338158102 -o /tmp/evaluation-result-3708687-1338158102/solver-3708687-1338158102 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708687-1338158102.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: 1.90 1.99 1.99 3/175 25547
/proc/meminfo: memFree=28648384/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0

[startup+0.020089 s]
/proc/loadavg: 1.90 1.99 1.99 3/175 25547
/proc/meminfo: memFree=28648384/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100147 s]
/proc/loadavg: 1.90 1.99 1.99 3/175 25547
/proc/meminfo: memFree=28648384/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300104 s]
/proc/loadavg: 1.90 1.99 1.99 3/175 25547
/proc/meminfo: memFree=28648384/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700098 s]
/proc/loadavg: 1.90 1.99 1.99 3/175 25547
/proc/meminfo: memFree=28648384/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50013 s]
/proc/loadavg: 1.90 1.99 1.99 3/177 25549
/proc/meminfo: memFree=28641684/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=7236 CPUtime=1.49 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 1738 0 0 0 149 0 0 0 20 0 1 0 281935664 7409664 1476 33554432000 4194304 6212839 140733556263424 140733556261432 4298175 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 1809 1476 228 493 0 1314 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16388

[startup+3.10019 s]
/proc/loadavg: 1.90 1.99 1.99 3/177 25588
/proc/meminfo: memFree=28640856/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=8428 CPUtime=3.09 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 2036 0 0 0 309 0 0 0 20 0 1 0 281935664 8630272 1774 33554432000 4194304 6212839 140733556263424 140733556261432 4745347 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 2107 1774 228 493 0 1612 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17580

[startup+6.30013 s]
/proc/loadavg: 1.91 1.99 1.99 3/177 25627
/proc/meminfo: memFree=28632036/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=11628 CPUtime=6.28 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 2846 0 0 0 628 0 0 0 20 0 1 0 281935664 11907072 2584 33554432000 4194304 6212839 140733556263424 140733556261576 4745275 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 2907 2584 228 493 0 2412 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20780

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25627
/proc/meminfo: memFree=28620556/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=15532 CPUtime=12.68 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 3816 0 0 0 1268 0 0 0 20 0 1 0 281935664 15904768 3552 33554432000 4194304 6212839 140733556263424 140733556261576 4683216 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 3883 3552 228 493 0 3388 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24684

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25627
/proc/meminfo: memFree=28604204/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=23096 CPUtime=25.48 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 5673 0 0 0 2547 1 0 0 20 0 1 0 281935664 23650304 5409 33554432000 4194304 6212839 140733556263424 140733556261576 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 5774 5409 228 493 0 5279 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32248

[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25627
/proc/meminfo: memFree=28576580/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=33052 CPUtime=51.07 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 8116 0 0 0 5105 2 0 0 20 0 1 0 281935664 33845248 7892 33554432000 4194304 6212839 140733556263424 140733556261576 4743831 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 8263 7892 228 493 0 7768 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42204

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25627
/proc/meminfo: memFree=28538272/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=46840 CPUtime=102.26 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 11442 0 0 0 10224 2 0 0 20 0 1 0 281935664 47964160 11266 33554432000 4194304 6212839 140733556263424 140733556261576 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 11710 11266 228 493 0 11215 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55992

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25627
/proc/meminfo: memFree=28510612/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=57896 CPUtime=162.24 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 14047 0 0 0 16221 3 0 0 20 0 1 0 281935664 59285504 14062 33554432000 4194304 6212839 140733556263424 140733556261576 4298171 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 14474 14062 228 493 0 13979 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 67048

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25628
/proc/meminfo: memFree=28479276/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=68796 CPUtime=222.24 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 16583 0 0 0 22221 3 0 0 20 0 1 0 281935664 70447104 16598 33554432000 4194304 6212839 140733556263424 140733556261576 4635141 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 17199 16598 228 493 0 16704 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 77948

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25628
/proc/meminfo: memFree=28453652/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=76260 CPUtime=282.22 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 18330 0 0 0 28219 3 0 0 20 0 1 0 281935664 78090240 18634 33554432000 4194304 6212839 140733556263424 140733556261576 4744934 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 19065 18634 228 493 0 18570 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 85412

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

[startup+307.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25631
/proc/meminfo: memFree=28450356/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=79480 CPUtime=307.01 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 19058 0 0 0 30698 3 0 0 20 0 1 0 281935664 81387520 19362 33554432000 4194304 6212839 140733556263424 140733556261576 4674583 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 19870 19362 228 493 0 19375 0
Current children cumulated CPU time (s) 307.01
Current children cumulated vsize (KiB) 88632

[startup+319.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25631
/proc/meminfo: memFree=28447684/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=81256 CPUtime=319.81 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 19493 0 0 0 31978 3 0 0 20 0 1 0 281935664 83206144 19797 33554432000 4194304 6212839 140733556263424 140733556261576 4661304 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 20314 19797 228 493 0 19819 0
Current children cumulated CPU time (s) 319.81
Current children cumulated vsize (KiB) 90408

[startup+326.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25631
/proc/meminfo: memFree=28446572/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=81968 CPUtime=326.21 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 19656 0 0 0 32618 3 0 0 20 0 1 0 281935664 83935232 19960 33554432000 4194304 6212839 140733556263424 140733556261576 4743936 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 20492 19960 228 493 0 19997 0
Current children cumulated CPU time (s) 326.21
Current children cumulated vsize (KiB) 91120

[startup+329.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25631
/proc/meminfo: memFree=28441720/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=82428 CPUtime=329.4 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 19758 0 0 0 32937 3 0 0 20 0 1 0 281935664 84406272 20062 33554432000 4194304 6212839 140733556263424 140733556261576 4298085 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 20607 20062 228 493 0 20112 0
Current children cumulated CPU time (s) 329.4
Current children cumulated vsize (KiB) 91580

[startup+331.106 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25631
/proc/meminfo: memFree=28441224/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=82564 CPUtime=331.01 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 19790 0 0 0 33098 3 0 0 20 0 1 0 281935664 84545536 20094 33554432000 4194304 6212839 140733556263424 140733556261576 4685321 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 20641 20094 228 493 0 20146 0
Current children cumulated CPU time (s) 331.01
Current children cumulated vsize (KiB) 91716

[startup+331.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25631
/proc/meminfo: memFree=28441224/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=82564 CPUtime=331.81 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 19805 0 0 0 33178 3 0 0 20 0 1 0 281935664 84545536 20109 33554432000 4194304 6212839 140733556263424 140733556261576 4298110 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 20641 20109 228 493 0 20146 0
Current children cumulated CPU time (s) 331.81
Current children cumulated vsize (KiB) 91716

[startup+332.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25631
/proc/meminfo: memFree=28440976/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=82704 CPUtime=332.21 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 19823 0 0 0 33218 3 0 0 20 0 1 0 281935664 84688896 20127 33554432000 4194304 6212839 140733556263424 140733556261576 4661896 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 20676 20127 228 493 0 20181 0
Current children cumulated CPU time (s) 332.21
Current children cumulated vsize (KiB) 91856

[startup+332.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25631
/proc/meminfo: memFree=28440976/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=82852 CPUtime=332.6 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 19849 0 0 0 33257 3 0 0 20 0 1 0 281935664 84840448 20153 33554432000 4194304 6212839 140733556263424 140733556261576 4298175 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 20713 20153 228 493 0 20218 0
Current children cumulated CPU time (s) 332.6
Current children cumulated vsize (KiB) 92004

[startup+332.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25631
/proc/meminfo: memFree=28440976/32873624 swapFree=7104/7104
[pid=25547] ppid=25545 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25547/stat : 25547 (clasp-dec.sh) S 25545 25547 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281935663 9371648 275 33554432000 4194304 5064252 140733731508608 140733731507520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25547/statm: 2288 275 232 213 0 73 0
[pid=25548] ppid=25547 vsize=82852 CPUtime=332.71 cores=1,3,5,7
/proc/25548/stat : 25548 (clasp-R5325) R 25547 25547 25502 0 -1 4202496 19859 0 0 0 33268 3 0 0 20 0 1 0 281935664 84840448 20163 33554432000 4194304 6212839 140733556263424 140733556261576 4683122 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25548/statm: 20713 20163 228 493 0 20218 0
Current children cumulated CPU time (s) 332.71
Current children cumulated vsize (KiB) 92004

Child status: 10
Real time (s): 332.81
CPU time (s): 332.728
CPU user time (s): 332.688
CPU system time (s): 0.039993
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 92004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 332.688
system time used= 0.039993
maximum resident set size= 80692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20235
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= 37
involuntary context switches= 344

runsolver used 0.565913 second user time and 1.55276 second system time

The end

Begin job on node121 at 2012-05-28 00:35:02
IDJOB=3708687
IDBENCH=1500
IDSOLVER=2287
FILE ID=node121/3708687-1338158102
RUNJOBID= node121-1338158102-25519
PBS_JOBID= 14624535
Free space on /tmp= 71668 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= HOME/clasp-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708687-1338158102/watcher-3708687-1338158102 -o /tmp/evaluation-result-3708687-1338158102/solver-3708687-1338158102 -C 1800 -W 1900 -M 15500  HOME/clasp-dec.sh HOME/instance-3708687-1338158102.opb

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

MD5SUM BENCH= d484bc8efed557f17788965b19feafe5
RANDOM SEED=216730315

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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:       32873624 kB
MemFree:        28649028 kB
Buffers:          516364 kB
Cached:          2833296 kB
SwapCached:            0 kB
Active:           835404 kB
Inactive:        2530816 kB
Active(anon):      17356 kB
Inactive(anon):        0 kB
Active(file):     818048 kB
Inactive(file):  2530816 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7100 kB
Writeback:             0 kB
AnonPages:         22388 kB
Mapped:            14628 kB
Shmem:               200 kB
Slab:             718212 kB
SReclaimable:     162284 kB
SUnreclaim:       555928 kB
KernelStack:        1360 kB
PageTables:         3848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     119000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node121 at 2012-05-28 00:40:35