0.00/0.03	c has operations which may create big domains
0.00/0.03	c big-domain mode
0.00/0.10	c Seed is 346164333
0.00/0.10	c Constructing HOME/instance-2087302-1247727538.xml  with 77232 constraints
1.68/1.76	c Solving 452 backtracks 6 restarts
16.91/17.08	s SATISFIABLE
16.91/17.08	c V0=0, V1=0, V2=0, V3=0, V4=0, V5=0, V6=0, V7=1, V8=0, V9=0, V10=0, V11=0, V12=0, V13=0, V14=0, V15=0, V16=0, V17=1, V18=0, V19=0, V20=1, V21=1, V22=0, V23=0, V24=0, V25=0, V26=0, V27=0, V28=1, V29=0, V30=0, V31=0, V32=0, V33=0, V34=0, V35=0, V36=1, V37=0, V38=0, V39=0, V40=0, V41=0, V42=0, V43=0, V44=0, V45=0, V46=0, V47=0, V48=0, V49=0, V50=0, V51=0, V52=1, V53=0, V54=1, V55=1, V56=0, V57=1, V58=0, V59=0, V60=0, V61=0, V62=0, V63=0, V64=0, V65=0, V66=0, V67=0, V68=0, V69=0, V70=0, V71=1, V72=0, V73=0, V74=0, V75=0, V76=0, V77=0, V78=0, V79=0, V80=0, V81=0, V82=0, V83=0, V84=0, V85=0, V86=0, V87=0, V88=0, V89=0, V90=0, V91=0, V92=1, V93=0, V94=0, V95=0, V96=0, V97=0, V98=0, V99=0, V100=0, V101=0, V102=0, V103=1, V104=0, V105=0, V106=0, V107=0, V108=0, V109=0, V110=0, V111=0, V112=1, V113=0, V114=0, V115=0, V116=0, V117=0, V118=0, V119=0, V120=0, V121=0, V122=0, V123=1, V124=0, V125=0, V126=0, V127=0, V128=0, V129=0, V130=0, V131=0, V132=0, V133=0, V134=1, V135=0, V136=0, V137=0, V138=1, V139=0, V140=0, V141=0, V142=0, V143=1, V144=0, V145=0, V146=0, V147=0, V148=0, V149=0, V150=0, V151=0, V152=0, V153=0, V154=0, V155=0, V156=0, V157=0, V158=0, V159=0, V160=1, V161=0, V162=0, V163=1, V164=0, V165=0, V166=0, V167=0, V168=0, V169=0, V170=1, V171=0, V172=0, V173=1, V174=0, V175=0, V176=0, V177=0, V178=0, V179=0, V180=1, V181=0, V182=0, V183=0, V184=0, V185=0, V186=0, V187=0, V188=0, V189=1, V190=0, V191=0, V192=0, V193=1, V194=1, V195=0, V196=1, V197=1, V198=0, V199=0, V200=0, V201=0, V202=0, V203=0, V204=0, V205=0, V206=0, V207=0, V208=0, V209=0, V210=0, V211=0, V212=0, V213=0, V214=0, V215=0, V216=1, V217=0, V218=0, V219=0, V220=0, V221=0, V222=0, V223=0, V224=0, V225=1, V226=0, V227=0, V228=0, V229=0, V230=0, V231=0, V232=0, V233=0, V234=0, V235=0, V236=0, V237=0, V238=0, V239=0, V240=1, V241=0, V242=0, V243=0, V244=0, V245=1, V246=0, V247=0, V248=0, V249=0, V250=1, V251=0, V252=0, V253=0, V254=0, V255=0, V256=0, V257=0, V258=0, V259=0, V260=0, V261=1, V262=0, V263=0, V264=0, V265=0, V266=0, V267=0, V268=0, V269=0, V270=0, V271=1, V272=0, V273=0, V274=0, V275=0, V276=0, V277=0, V278=0, V279=0, V280=0, V281=0, V282=0, V283=0, V284=1, V285=0, V286=0, V287=0, V288=0, V289=0, V290=0, V291=0, V292=0, V293=0, V294=0, V295=0, V296=0, V297=0, V298=0, V299=0, V300=1, V301=0, V302=0, V303=0, V304=0, V305=0, V306=0, V307=0, V308=0, V309=0, V310=0, V311=0, V312=0, V313=1, V314=0, V315=0, V316=0, V317=1, V318=0, V319=0, V320=0, V321=1, V322=0, V323=0, V324=0, V325=0, V326=1, V327=0, V328=0, V329=0, V330=0, V331=0, V332=0, V333=0, V334=1, V335=0, V336=0, V337=1, V338=0, V339=0, V340=0, V341=0, V342=0, V343=0, V344=0, V345=0, V346=0, V347=0, V348=0, V349=0, V350=0, V351=0, V352=0, V353=0, V354=0, V355=0, V356=0, V357=0, V358=0, V359=0, V360=0, V361=0, V362=0, V363=0, V364=0, V365=0, V366=1, V367=0, V368=1, V369=0, V370=0, V371=0, V372=0, V373=0, V374=0, V375=1, V376=1, V377=0, V378=0, V379=0, V380=0, V381=0, V382=0, V383=1, V384=0, V385=0, V386=0, V387=0, V388=0, V389=0, V390=0, V391=0, V392=0, V393=0, V394=0, V395=0, V396=0, V397=1, V398=0, V399=0, V400=0, V401=0, V402=0, V403=0, V404=0, V405=0, V406=0, V407=0, V408=0, V409=0, V410=0, V411=0, V412=1, V413=0, V414=1, V415=0, V416=0, V417=1, V418=0, V419=1, V420=0, V421=0, V422=0, V423=0, V424=0, V425=0, V426=0, V427=0, V428=1, V429=0, V430=0, V431=0, V432=0, V433=0, V434=0, V435=0, V436=0, V437=0, V438=0, V439=0, V440=0, V441=0, V442=0, V443=0, V444=0, V445=1, V446=0, V447=1, V448=0, V449=0, V450=0, V451=0, V452=0, V453=0, V454=1, V455=0, V456=0, V457=0, V458=0, V459=0, V460=0, V461=0, V462=0, V463=0, V464=1, V465=0, V466=0, V467=0, V468=1, V469=0, V470=0, V471=0, V472=0, V473=1, V474=0, V475=0, V476=0, V477=0, V478=0, V479=0, V480=0, V481=0, V482=0, V483=0, V484=0, V485=0, V486=0, V487=0, V488=0, V489=0, V490=1, V491=0, V492=0, V493=0, V494=0, V495=1, V496=0, V497=0, V498=0, V499=0, V500=1, V501=0, V502=0, V503=1, V504=1, V505=0, V506=0, V507=0, V508=0, V509=0, V510=0, V511=0, V512=0, V513=0, V514=0, V515=0, V516=0, V517=1, V518=0, V519=0, V520=0, V521=0, V522=0, V523=0, V524=0, V525=0, V526=0, V527=0, V528=0, V529=0, V530=0, V531=0, V532=0, V533=0, V534=1, V535=0, V536=0, V537=0, V538=0, V539=0, V540=0, V541=0, V542=0, V543=1, V544=0, V545=1, V546=0, V547=1, V548=0, V549=0, V550=0, V551=0, V552=0, V553=0, V554=0, V555=0, V556=0, V557=0, V558=0, V559=0, V560=0, V561=0, V562=0, V563=0, V564=0, V565=0, V566=1, V567=0, V568=1, V569=0, V570=0, V571=0, V572=0, V573=0, V574=0, V575=0, V576=1, V577=0, V578=0, V579=0, V580=0, V581=0, V582=0, V583=0, V584=0, V585=0, V586=0, V587=0, V588=0, V589=0, V590=0, V591=0, V592=0, V593=0, V594=0, V595=0, V596=1, V597=0, V598=1, V599=0, V600=0, V601=0, V602=0, V603=0, V604=0, V605=0, V606=0, V607=0, V608=0, V609=0, V610=0, V611=1, V612=0, V613=0, V614=0, V615=1, V616=0, V617=0, V618=0, V619=1, V620=0, V621=0, V622=0, V623=0, V624=0, V625=0, V626=0, V627=0, V628=0, V629=0, V630=0, V631=0, V632=0, V633=1, V634=0, V635=0, V636=0, V637=0, V638=1, V639=0, V640=0, V641=0, V642=0, V643=0, V644=0, V645=0, V646=0, V647=0, V648=0, V649=0, V650=0, V651=0, V652=0, V653=0, V654=0, V655=0, V656=0, V657=0, V658=0, V659=0, V660=0, V661=0, V662=0, V663=0, V664=1, V665=1, V666=1, V667=1, V668=0, V669=0, V670=0, V671=0, V672=0, V673=0, V674=0, V675=1, V676=0, V677=0, V678=0, V679=0, V680=0, V681=0, V682=0, V683=0, V684=0, V685=0, V686=1, V687=0, V688=0, V689=0, V690=0, V691=0, V692=0, V693=0, V694=0, V695=0, V696=1, V697=0, V698=0, V699=0, V700=0, V701=0, V702=0, V703=1, V704=0, V705=0, V706=0, V707=1, V708=0, V709=0, V710=0, V711=0, V712=0, V713=0, V714=0, V715=0, V716=0, V717=0, V718=1, V719=0, V720=0, V721=0, V722=0, V723=0, V724=0, V725=1, V726=0, V727=0, V728=0, V729=0, V730=0, V731=0, V732=0, V733=1, V734=0, V735=0, V736=0, V737=0, V738=0, V739=0, V740=1, V741=0, V742=0, V743=0, V744=0, V745=0, V746=0, V747=0, V748=0, V749=0, V750=0, V751=0, V752=0, V753=0, V754=0, V755=0, V756=0, V757=0, V758=0, V759=0, V760=0, V761=0, V762=1, V763=0, V764=0, V765=1, V766=1, V767=0, V768=0, V769=0, V770=0, V771=1, V772=0, V773=0, V774=0, V775=0, V776=0, V777=0, V778=0, V779=0, V780=0, V781=0, V782=0, V783=0, V784=0, V785=0, V786=1, V787=0, V788=0, V789=0, V790=0, V791=0, V792=0, V793=0, V794=1, V795=0, V796=0, V797=0, V798=0, V799=0, V800=0, V801=0, V802=1, V803=0, V804=0, V805=0, V806=0, V807=0, V808=0, V809=0, V810=0, V811=1, V812=0, V813=0, V814=0, V815=1, V816=0, V817=0, V818=0, V819=0, V820=1, V821=0, V822=0, V823=0, V824=0, V825=0, V826=0, V827=0, V828=0, V829=0, V830=0, V831=0, V832=0, V833=0, V834=1, V835=0, V836=0, V837=1, V838=0, V839=0, V840=0, V841=1, V842=0, V843=0, V844=0, V845=0, V846=0, V847=0, V848=1, V849=0, V850=0, V851=1, V852=0, V853=0, V854=0, V855=0, V856=0, V857=0, V858=0, V859=0, V860=0, V861=0, V862=0, V863=0, V864=0, V865=0, V866=0, V867=0, V868=0, V869=0, V870=0, V871=0, V872=0, V873=0, V874=0, V875=1, V876=1, V877=0, V878=0, V879=1, V880=0, V881=0, V882=0, V883=0, V884=0, V885=0, V886=0, V887=0, V888=0, V889=0, V890=1, V891=0, V892=1, V893=0, V894=0, V895=1, V896=0, V897=0, V898=0, V899=0, V900=0, V901=0, V902=0, V903=0, V904=0, V905=0, V906=0, V907=0, V908=0, V909=0, V910=0, V911=0, V912=0, V913=0, V914=0, V915=0, V916=1, V917=0, V918=0, V919=0, V920=1, V921=0, V922=0, V923=0, V924=0, V925=0, V926=0, V927=0, V928=0, V929=0, V930=0, V931=0, V932=0, V933=0, V934=0, V935=0, V936=0, V937=0, V938=0, V939=1, V940=0, V941=1, V942=1, V943=0, V944=0, V945=0, V946=0, V947=0, V948=0, V949=0, V950=0, V951=0, V952=0, V953=0, V954=0, V955=1, V956=0, V957=0, V958=0, V959=0, V960=0, V961=1, V962=0, V963=1, V964=0, V965=0, V966=1, V967=0, V968=1, V969=0, V970=0, V971=0, V972=0, V973=0, V974=0, V975=0, V976=1, V977=0, V978=0, V979=0, V980=0, V981=0, V982=0, V983=0, V984=0, V985=0, V986=0, V987=0, V988=0, V989=0, V990=0, V991=0, V992=0, V993=0, V994=0, V995=0, V996=0, V997=0, V998=0, V999=0, V1000=0, V1001=1, V1002=0, V1003=0, V1004=0, V1005=0, V1006=0, V1007=0, V1008=0, V1009=0, V1010=1, V1011=0, V1012=0, V1013=0, V1014=1, V1015=0, V1016=0, V1017=0, V1018=0, V1019=0, V1020=0, V1021=0, V1022=0, V1023=0, V1024=0, V1025=0, V1026=0, V1027=0, V1028=0, V1029=0, V1030=0, V1031=0, V1032=0, V1033=0, V1034=0, V1035=0, V1036=0, V1037=1, V1038=0, V1039=1, V1040=0, V1041=0, V1042=1, V1043=0, V1044=0, V1045=0, V1046=0, V1047=1, V1048=0, V1049=0, V1050=0, V1051=0, V1052=0, V1053=0, V1054=0, V1055=0, V1056=1, V1057=0, V1058=0, V1059=1, V1060=0, V1061=0, V1062=0, V1063=0, V1064=0, V1065=0, V1066=0, V1067=0, V1068=0, V1069=0, V1070=0, V1071=0, V1072=0, V1073=0, V1074=0, V1075=1, V1076=0, V1077=0, V1078=0, V1079=1, V1080=0, V1081=0, V1082=0, V1083=0, V1084=1, V1085=0, V1086=0, V1087=0, V1088=1, V1089=0, V1090=0, V1091=0, V1092=0, V1093=0, V1094=0, V1095=0, V1096=0, V1097=0, V1098=0, V1099=0, V1100=0, V1101=0, V1102=0, V1103=0, V1104=0, V1105=0, V1106=0, V1107=0, V1108=0, V1109=1, V1110=0, V1111=0, V1112=1, V1113=1, V1114=0, V1115=0, V1116=1, V1117=0, V1118=0, V1119=0, V1120=0, V1121=0, V1122=0, V1123=1, V1124=0, V1125=0, V1126=1, V1127=0, V1128=0, V1129=0, V1130=0, V1131=0, V1132=0, V1133=0, V1134=0, V1135=0, V1136=0, V1137=0, V1138=0, V1139=0, V1140=0, V1141=0, V1142=0, V1143=0, V1144=0, V1145=0, V1146=0, V1147=0, V1148=0, V1149=0, V1150=0, V1151=0, V1152=0, V1153=1, V1154=0, V1155=0, V1156=0, V1157=0, V1158=0, V1159=0, V1160=0, V1161=0, V1162=0, V1163=0, V1164=1, V1165=0, V1166=1, V1167=0, V1168=0, V1169=0, V1170=0, V1171=0, V1172=0, V1173=0, V1174=0, V1175=1, V1176=0, V1177=0, V1178=0, V1179=1, V1180=0, V1181=0, V1182=0, V1183=0, V1184=0, V1185=0, V1186=1, V1187=0, V1188=0, V1189=0, V1190=0, V1191=0, V1192=0, V1193=0, V1194=0, V1195=0, V1196=0, V1197=0, V1198=0, V1199=0, V1200=1, V1201=0, V1202=0, V1203=0, V1204=0, V1205=0, V1206=0, V1207=1, V1208=1, V1209=0, V1210=0, V1211=1, V1212=0, V1213=0, V1214=0, V1215=0, V1216=0, V1217=0, V1218=0, V1219=0, V1220=0, V1221=0, V1222=0, V1223=0, V1224=0, V1225=0, V1226=0, V1227=0, V1228=0, V1229=0, V1230=0, V1231=0, V1232=0, V1233=0, V1234=0, V1235=0, V1236=0, V1237=0, V1238=0, V1239=0, V1240=1, V1241=0, V1242=0, V1243=0, V1244=0, V1245=1, V1246=0, V1247=0, V1248=0, V1249=0, V1250=0, V1251=0, V1252=0, V1253=0, V1254=0, V1255=0, V1256=0, V1257=0, V1258=0, V1259=0, V1260=0, V1261=0, V1262=0, V1263=0, V1264=0, V1265=0, V1266=0, V1267=0, V1268=0, V1269=0, V1270=0, V1271=0, V1272=1, V1273=1, V1274=0, V1275=0, V1276=0, V1277=0, V1278=0, V1279=0, V1280=0, V1281=0, V1282=1, V1283=0, V1284=0, V1285=0, V1286=0, V1287=0, V1288=0, V1289=1, V1290=0, V1291=0, V1292=1, V1293=1, V1294=0, V1295=0, V1296=0, V1297=0, V1298=0, V1299=0, V1300=0, V1301=0, V1302=0, V1303=0, V1304=0, V1305=0, V1306=1, V1307=0, V1308=0, V1309=0, V1310=0, V1311=0, V1312=0, V1313=1, V1314=0, V1315=0, V1316=0, V1317=0, V1318=0, V1319=0, V1320=0, V1321=1, V1322=1, V1323=0, V1324=0, V1325=0, V1326=0, V1327=0, V1328=0, V1329=0, V1330=0, V1331=0, V1332=0, V1333=0, V1334=0, V1335=1, V1336=0, V1337=0, V1338=1, V1339=0, V1340=0, V1341=0, V1342=0, V1343=0, V1344=0, V1345=0, V1346=0, V1347=0, V1348=0, V1349=0, V1350=0, V1351=0, V1352=0, V1353=0, V1354=0, V1355=1, V1356=0, V1357=0, V1358=0, V1359=0, V1360=0, V1361=0, V1362=0, V1363=0, V1364=0, V1365=1, V1366=1, V1367=0, V1368=0, V1369=0, V1370=0, V1371=0, V1372=0, V1373=0, V1374=1, V1375=0, V1376=0, V1377=0, V1378=0, V1379=0, V1380=0, V1381=1, V1382=1, V1383=0, V1384=0, V1385=0, V1386=0, V1387=0, V1388=0, V1389=0, V1390=0, V1391=0, V1392=0, V1393=0, V1394=0, V1395=0, V1396=0, V1397=0, V1398=0, V1399=0, V1400=0, V1401=0, V1402=0, V1403=0, V1404=0, V1405=0, V1406=1, V1407=0, V1408=1, V1409=1, V1410=1, V1411=0, V1412=0, V1413=0, V1414=0, V1415=0, V1416=0, V1417=0, V1418=0, V1419=0, V1420=0, V1421=0, V1422=0, V1423=0, V1424=0, V1425=1, V1426=0, V1427=0, V1428=0, V1429=1, V1430=0, V1431=0, V1432=0, V1433=0, V1434=0, V1435=0, V1436=0, V1437=0, V1438=0, V1439=0, V1440=0, V1441=0, V1442=1, V1443=0, V1444=0, V1445=0, V1446=0, V1447=0, V1448=0, V1449=1, V1450=0, V1451=0, V1452=0, V1453=0, V1454=0, V1455=0, V1456=0, V1457=0, V1458=0, V1459=0, V1460=0, V1461=0, V1462=0, V1463=0, V1464=0, V1465=0, V1466=0, V1467=0, V1468=0, V1469=0, V1470=0, V1471=0, V1472=0, V1473=0, V1474=0, V1475=0, V1476=1, V1477=1, V1478=0, V1479=0, V1480=0, V1481=0, V1482=0, V1483=0, V1484=0, V1485=0, V1486=1, V1487=1, V1488=0, V1489=0, V1490=1, V1491=0, V1492=0, V1493=0, V1494=0, V1495=0, V1496=0, V1497=0, V1498=1, V1499=1, V1500=0, V1501=1, V1502=0, V1503=0, V1504=0, V1505=0, V1506=1, V1507=0, V1508=0, V1509=0, V1510=0, V1511=0, V1512=0, V1513=0, V1514=0, V1515=1, V1516=0, V1517=0, V1518=0, V1519=0, V1520=0, V1521=0, V1522=0, V1523=0, V1524=0, V1525=0, V1526=0, V1527=0, V1528=0, V1529=0, V1530=0, V1531=0, V1532=0, V1533=0, V1534=0, V1535=0, V1536=0, V1537=1, V1538=0, V1539=0, V1540=0, V1541=0, V1542=0, V1543=1, V1544=0, V1545=0, V1546=0, V1547=0, V1548=1, V1549=0, V1550=0, V1551=0, V1552=0, V1553=0, V1554=0, V1555=1, V1556=0, V1557=0, V1558=0, V1559=0, V1560=0, V1561=0, V1562=0, V1563=1, V1564=0, V1565=0, V1566=0, V1567=0, V1568=1, V1569=0, V1570=0, V1571=0, V1572=0, V1573=0, V1574=0, V1575=0, V1576=1, V1577=0, V1578=0, V1579=0, V1580=0, V1581=0, V1582=1, V1583=0, V1584=1, V1585=0, V1586=0, V1587=0, V1588=0, V1589=0, V1590=0, V1591=0, V1592=1, V1593=0, V1594=0, V1595=0, V1596=0, V1597=0, V1598=0, V1599=0, V1600=0, V1601=1, V1602=0, V1603=0, V1604=1, V1605=0, V1606=0, V1607=0, V1608=0, V1609=0, V1610=0, V1611=0, V1612=1, V1613=0, V1614=0, V1615=1, V1616=0, V1617=0, V1618=0, V1619=0, V1620=0, V1621=0, V1622=1, V1623=0, V1624=0, V1625=0, V1626=0, V1627=1, V1628=0, V1629=0, V1630=0, V1631=0, V1632=0, V1633=0, V1634=0, V1635=1, V1636=0, V1637=0, V1638=0, V1639=0, V1640=0, V1641=0, V1642=1, V1643=0, V1644=0, V1645=0, V1646=1, V1647=0, V1648=0, V1649=0, V1650=0, V1651=0, V1652=0, V1653=0, V1654=0, V1655=1, V1656=0, V1657=0, V1658=0, V1659=0, V1660=1, V1661=0, V1662=0, V1663=0, V1664=0, V1665=0, V1666=1, V1667=0, V1668=0, V1669=1, V1670=0, V1671=0, V1672=0, V1673=0, V1674=0, V1675=0, V1676=0, V1677=0, V1678=1, V1679=0, V1680=0, V1681=1, V1682=0, V1683=0, V1684=0, V1685=0, V1686=0, V1687=0, V1688=0, V1689=1, V1690=0, V1691=0, V1692=0, V1693=0, V1694=0, V1695=0, V1696=0, V1697=1, V1698=0, V1699=0, V1700=0, V1701=1, V1702=0, V1703=0, V1704=0, V1705=0, V1706=0, V1707=0, V1708=0, V1709=1, V1710=1, V1711=0, V1712=0, V1713=0, V1714=0, V1715=0, V1716=0, V1717=1, V1718=0, V1719=0, V1720=0, V1721=0, V1722=0, V1723=1, V1724=0, V1725=0, V1726=0, V1727=0, V1728=0, V1729=1, V1730=0, V1731=0, V1732=0, V1733=0, V1734=0, V1735=0, V1736=0, V1737=0, V1738=1, V1739=0, V1740=0, V1741=0, V1742=1, V1743=0, V1744=0, V1745=0, V1746=0, V1747=0, V1748=1, V1749=0, V1750=0, V1751=0, V1752=0, V1753=0, V1754=1, V1755=0, V1756=0, V1757=0, V1758=0, V1759=0, V1760=1, V1761=0, V1762=0, V1763=0, V1764=0, V1765=0, V1766=0, V1767=0, V1768=1, V1769=0, V1770=0, V1771=0, V1772=0, V1773=0, V1774=0, V1775=1, V1776=1, V1777=0, V1778=0, V1779=0, V1780=0, V1781=0, V1782=0, V1783=0, V1784=0, V1785=0, V1786=1, V1787=0, V1788=0, V1789=0, V1790=0, V1791=1, V1792=0, V1793=0, V1794=0, V1795=0, V1796=0, V1797=0, V1798=1, V1799=0, V1800=0, V1801=0, V1802=0, V1803=0, V1804=0, V1805=1, V1806=0, V1807=0, V1808=1, V1809=0, V1810=0, V1811=0, V1812=0, V1813=0, V1814=0, V1815=0, V1816=1, V1817=0, V1818=0, V1819=0, V1820=0, V1821=0, V1822=0, V1823=0, V1824=0, V1825=0, V1826=0, V1827=0, V1828=1, V1829=0, V1830=1, V1831=0, V1832=0, V1833=0, V1834=0, V1835=0, V1836=1, V1837=0, V1838=0, V1839=0, V1840=0, V1841=0, V1842=0, V1843=0, V1844=0, V1845=0, V1846=0, V1847=1, V1848=0, V1849=0, V1850=0, V1851=1, V1852=0, V1853=0, V1854=0, V1855=0, V1856=0, V1857=0, V1858=0, V1859=1, V1860=0, V1861=1, V1862=0, V1863=0, V1864=0, V1865=0, V1866=0, V1867=0, V1868=1, V1869=0, V1870=0, V1871=0, V1872=1, V1873=0, V1874=0, V1875=0, V1876=0, V1877=0, V1878=0, V1879=0, V1880=0, V1881=0, V1882=1, V1883=0, V1884=0, V1885=0, V1886=1, V1887=0, V1888=0, V1889=0, V1890=0, V1891=0, V1892=0, V1893=1, V1894=0, V1895=0, V1896=1, V1897=0, V1898=0, V1899=0, V1900=0, V1901=0, V1902=0, V1903=0, V1904=0, V1905=0, V1906=1, V1907=0, V1908=0, V1909=0, V1910=0, V1911=0, V1912=0, V1913=1, V1914=0, V1915=0, V1916=0, V1917=1, V1918=0, V1919=0, V1920=0, V1921=0, V1922=1, V1923=0, V1924=0, V1925=0, V1926=0, V1927=0, V1928=0, V1929=0, V1930=0, V1931=1, V1932=1, V1933=0, V1934=0, V1935=0, V1936=0, V1937=0, V1938=0, V1939=0, V1940=0, V1941=0, V1942=1, V1943=0, V1944=0, V1945=0, V1946=0, V1947=0, V1948=1, V1949=0, V1950=0, V1951=0, V1952=1, V1953=0, V1954=0, V1955=0, V1956=0, V1957=0, V1958=0, V1959=0, V1960=0, V1961=0, V1962=1, V1963=0, V1964=0, V1965=0, V1966=0, V1967=0, V1968=0, V1969=0, V1970=1, V1971=0, V1972=0, V1973=0, V1974=1, V1975=0, V1976=0, V1977=0, V1978=0, V1979=0, V1980=0, V1981=0, V1982=0, V1983=0, V1984=0, V1985=1, V1986=0, V1987=0, V1988=0, V1989=0, V1990=1, V1991=0, V1992=0, V1993=0, V1994=0, V1995=0, V1996=0, V1997=1, V1998=0, V1999=0, V2000=0, V2001=1, V2002=0, V2003=0, V2004=0, V2005=0, V2006=0, V2007=0, V2008=1, V2009=0, V2010=1, V2011=0, V2012=0, V2013=0, V2014=0, V2015=0, V2016=0, V2017=0, V2018=0, V2019=0, V2020=0, V2021=1, V2022=0, V2023=0, V2024=0, V2025=1, V2026=0, V2027=0, V2028=0, V2029=0, V2030=0, V2031=1, V2032=0, V2033=0, V2034=0, V2035=1, V2036=0, V2037=0, V2038=0, V2039=0, V2040=0, V2041=0, V2042=0, V2043=0, V2044=0, V2045=1, V2046=1, V2047=0, V2048=0, V2049=0, V2050=0, V2051=0, V2052=0, V2053=0, V2054=1, V2055=0, V2056=0, V2057=0, V2058=0, V2059=0, V2060=0, V2061=0, V2062=1, V2063=0, V2064=0, V2065=0, V2066=0, V2067=0, V2068=0, V2069=1, V2070=0, V2071=0, V2072=0, V2073=1, V2074=0, V2075=0, V2076=1, V2077=0, V2078=0, V2079=0, V2080=0, V2081=0, V2082=1, V2083=0, V2084=0, V2085=0, V2086=0, V2087=0, V2088=0, V2089=0, V2090=0, V2091=0, V2092=0, V2093=1, V2094=0, V2095=0, V2096=1, V2097=0, V2098=0, V2099=0, V2100=0, V2101=0, V2102=1, V2103=0, V2104=0, V2105=0, V2106=1, V2107=0, V2108=0, V2109=0, V2110=0, V2111=0, V2112=0, V2113=0, V2114=1, V2115=0, V2116=0, V2117=0, V2118=0, V2119=1, V2120=0, V2121=0, V2122=0, V2123=0, V2124=0, V2125=1, V2126=0, V2127=0, V2128=0, V2129=0, V2130=0, V2131=0, V2132=0, V2133=0, V2134=0, V2135=1, V2136=0, V2137=0, V2138=0, V2139=0, V2140=0, V2141=1, V2142=0, V2143=0, V2144=0, V2145=1, V2146=0, V2147=0, V2148=0, V2149=0, V2150=1, V2151=0, V2152=0, V2153=0, V2154=0, V2155=0, V2156=0, V2157=0, V2158=0, V2159=1, V2160=0, V2161=0, V2162=1, V2163=0, V2164=0, V2165=0, V2166=0, V2167=0, V2168=0, V2169=0, V2170=0, V2171=1, V2172=0, V2173=0, V2174=0, V2175=0, V2176=1, V2177=0, V2178=0, V2179=0, V2180=0, V2181=0, V2182=0, V2183=1, V2184=0, V2185=1, V2186=0, V2187=0, V2188=0, V2189=0, V2190=0, V2191=1, V2192=0, V2193=0, V2194=0, V2195=0, V2196=0, V2197=0, V2198=0, V2199=0, V2200=0, V2201=1, V2202=0, V2203=0, V2204=0, V2205=1, V2206=0, V2207=0, V2208=0, V2209=0, V2210=0, V2211=1, V2212=0, V2213=0, V2214=0, V2215=0, V2216=1, V2217=0, V2218=0, V2219=0, V2220=0, V2221=0, V2222=1, V2223=0, V2224=0, V2225=0, V2226=0, V2227=0, V2228=0, V2229=0, V2230=1, V2231=0, V2232=1, V2233=0, V2234=0, V2235=0, V2236=0, V2237=0, V2238=1, V2239=0, V2240=0, V2241=0, V2242=0, V2243=0, V2244=0, V2245=0, V2246=0, V2247=0, V2248=0, V2249=1, V2250=0, V2251=0, V2252=0, V2253=1, V2254=0, V2255=0, V2256=0, V2257=1, V2258=0, V2259=0, V2260=0, V2261=0, V2262=0, V2263=0, V2264=0, V2265=1, V2266=0, V2267=0, V2268=0, V2269=0, V2270=0, V2271=0, V2272=0, V2273=1, V2274=1, V2275=0, V2276=0, V2277=0, V2278=0, V2279=0, V2280=0, V2281=1, V2282=0, V2283=0, V2284=0, V2285=0, V2286=0, V2287=0, V2288=0, V2289=0, V2290=0, V2291=1, V2292=0, V2293=0, V2294=0, V2295=0, V2296=0, V2297=1, V2298=1, V2299=0, V2300=0, V2301=0, V2302=0, V2303=0, V2304=0, V2305=0, V2306=0, V2307=0, V2308=0, V2309=1, V2310=0, V2311=0, V2312=0, V2313=0, V2314=1, V2315=0, V2316=0, V2317=0, V2318=0, V2319=0, V2320=1, V2321=0, V2322=0, V2323=0, V2324=1, V2325=0, V2326=0, V2327=0, V2328=0, V2329=0, V2330=0, V2331=0, V2332=1, V2333=0, V2334=0, V2335=1, V2336=0, V2337=0, V2338=0, V2339=0, V2340=0, V2341=0, V2342=1, V2343=0, V2344=0, V2345=0, V2346=0, V2347=1, V2348=0, V2349=0, V2350=0, V2351=0, V2352=0, V2353=0, V2354=0, V2355=0, V2356=0, V2357=1, V2358=0, V2359=1, V2360=0, V2361=0, V2362=0, V2363=0, V2364=0, V2365=0, V2366=0, V2367=0, V2368=1, V2369=0, V2370=1, V2371=0, V2372=0, V2373=0, V2374=0, V2375=0, V2376=1, V2377=0, V2378=0, V2379=0, V2380=0, V2381=0, V2382=0, V2383=0, V2384=0, V2385=1, V2386=0, V2387=0, V2388=0, V2389=0, V2390=0, V2391=1, V2392=0, V2393=0, V2394=0, V2395=0, V2396=1, V2397=0, V2398=0, V2399=0, V2400=0, V2401=0, V2402=1, V2403=0, V2404=0, V2405=0, V2406=0, V2407=0, V2408=1, V2409=0, V2410=0, V2411=0, V2412=0, V2413=1, V2414=0, V2415=0, V2416=0, V2417=0, V2418=0, V2419=0, V2420=1, V2421=0, V2422=0, V2423=0, V2424=0, V2425=0, V2426=1, V2427=0, V2428=0, V2429=0, V2430=0, V2431=0, V2432=0, V2433=0, V2434=1, V2435=0, V2436=1, V2437=0, V2438=0, V2439=0, V2440=0, V2441=0, V2442=1, V2443=0, V2444=0, V2445=0, V2446=0, V2447=0, V2448=0, V2449=0, V2450=0, V2451=0, V2452=0, V2453=1, V2454=0, V2455=1, V2456=0, V2457=0, V2458=0, V2459=0, V2460=0, V2461=0, V2462=0, V2463=0, V2464=0, V2465=1, V2466=0, V2467=0, V2468=1, V2469=0, V2470=0, V2471=0, V2472=0, V2473=0, V2474=0, V2475=1, V2476=0, V2477=0, V2478=0, V2479=1, V2480=0, V2481=0, V2482=0, V2483=0, V2484=0, V2485=0, V2486=0, V2487=1, V2488=0, V2489=0, V2490=0, V2491=1, V2492=0, V2493=0, V2494=0, V2495=0, V2496=0, V2497=1, V2498=0, V2499=0, V2500=0, V2501=0, V2502=1, V2503=0, V2504=0, V2505=0, V2506=0, V2507=0, V2508=0, V2509=0, V2510=0, V2511=0, V2512=0, V2513=1, V2514=0, V2515=0, V2516=1, V2517=0, V2518=0, V2519=0, V2520=1, V2521=0, V2522=0, V2523=0, V2524=0, V2525=0, V2526=0, V2527=0, V2528=1, V2529=0, V2530=0, V2531=0, V2532=0, V2533=0, V2534=0, V2535=0, V2536=1, V2537=0, V2538=0, V2539=0, V2540=0, V2541=1, V2542=0, V2543=0, V2544=0, V2545=0, V2546=1, V2547=0, V2548=0, V2549=0, V2550=0, V2551=0, V2552=0, V2553=0, V2554=0, V2555=1, V2556=0, V2557=0, V2558=0, V2559=0, V2560=1, V2561=0, V2562=0, V2563=1, V2564=0, V2565=0, V2566=0, V2567=0, V2568=0, V2569=0, V2570=0, V2571=1, V2572=0, V2573=0, V2574=0, V2575=0, V2576=0, V2577=0, V2578=1, V2579=0, V2580=1, V2581=0, V2582=0, V2583=0, V2584=0, V2585=0, V2586=0, V2587=0, V2588=1, V2589=0, V2590=0, V2591=0, V2592=0, V2593=0, V2594=0, V2595=0, V2596=0, V2597=0, V2598=1, V2599=0, V2600=0, V2601=0, V2602=0, V2603=0, V2604=0, V2605=0, V2606=0, V2607=0, V2608=1, V2609=0, V2610=0, V2611=0, V2612=0, V2613=0, V2614=1, V2615=0, V2616=0, V2617=0, V2618=0, V2619=1, V2620=0, V2621=0, V2622=0, V2623=1, V2624=0, V2625=0, V2626=0, V2627=0, V2628=1, V2629=0, V2630=0, V2631=0, V2632=0, V2633=0, V2634=0, V2635=0, V2636=0, V2637=0, V2638=0, V2639=1, V2640=0, V2641=0, V2642=1, V2643=0, V2644=0, V2645=0, V2646=0, V2647=0, V2648=0, V2649=0, V2650=0, V2651=1, V2652=0, V2653=0, V2654=1, V2655=0, V2656=0, V2657=0, V2658=1, V2659=0, V2660=0, V2661=0, V2662=0, V2663=0, V2664=1, V2665=0, V2666=0, V2667=0, V2668=0, V2669=0, V2670=0, V2671=0, V2672=1, V2673=0, V2674=0, V2675=0, V2676=0, V2677=1, V2678=0, V2679=0, V2680=0, V2681=0, V2682=0, V2683=1, V2684=0, V2685=0, V2686=0, V2687=0, V2688=0, V2689=0, V2690=1, V2691=0, V2692=0, V2693=0, V2694=0, V2695=0, V2696=0, V2697=1, V2698=0, V2699=0, V2700=0, V2701=0, V2702=0, V2703=0, V2704=1, V2705=0, V2706=0, V2707=0, V2708=1, V2709=0, V2710=0, V2711=0, V2712=1, V2713=0, V2714=0, V2715=0, V2716=0, V2717=0, V2718=0, V2719=0, V2720=1, V2721=0, V2722=0, V2723=0, V2724=0, V2725=1, V2726=0, V2727=0, V2728=0, V2729=0, V2730=0, V2731=0, V2732=0, V2733=0, V2734=1, V2735=0, V2736=0, V2737=0, V2738=0, V2739=1, V2740=0, V2741=0, V2742=0, V2743=0, V2744=0, V2745=0, V2746=1, V2747=0, V2748=1, V2749=0, V2750=0, V2751=0, V2752=0, V2753=0, V2754=0, V2755=0, V2756=0, V2757=0, V2758=0, V2759=1, V2760=0, V2761=0, V2762=0, V2763=0, V2764=0, V2765=1, V2766=0, V2767=0, V2768=1, V2769=0, V2770=0, V2771=0, V2772=0, V2773=0, V2774=0, V2775=0, V2776=1, V2777=0, V2778=1, V2779=0, V2780=0, V2781=0, V2782=0, V2783=0, V2784=0, V2785=1, V2786=0, V2787=0, V2788=0, V2789=0, V2790=0, V2791=0, V2792=0, V2793=1, V2794=0, V2795=0, V2796=0, V2797=0, V2798=1, V2799=0, V2800=0, V2801=0, V2802=0, V2803=0, V2804=0, V2805=0, V2806=0, V2807=1, V2808=0, V2809=1, V2810=0, V2811=0, V2812=0, V2813=0, V2814=0, V2815=0, V2816=0, V2817=0, V2818=1, V2819=0, V2820=0, V2821=0, V2822=0, V2823=0, V2824=0, V2825=1, V2826=0, V2827=0, V2828=0, V2829=1, V2830=0, V2831=0, V2832=1, V2833=0, V2834=0, V2835=0, V2836=0, V2837=0, V2838=0, V2839=0, V2840=1, V2841=0, V2842=0, V2843=0, V2844=0, V2845=0, V2846=0, V2847=0, V2848=0, V2849=1, V2850=0, V2851=1, V2852=0, V2853=0, V2854=0, V2855=0, V2856=0, V2857=1, V2858=0, V2859=0, V2860=0, V2861=0, V2862=0, V2863=0, V2864=1, V2865=0, V2866=0, V2867=0, V2868=0, V2869=0, V2870=0, V2871=0, V2872=1, V2873=0, V2874=0, V2875=0, V2876=0, V2877=0, V2878=0, V2879=1, V2880=0, V2881=1, V2882=0, V2883=0, V2884=0, V2885=0, V2886=0, V2887=0, V2888=0, V2889=0, V2890=0, V2891=1, V2892=0, V2893=1, V2894=0, V2895=0, V2896=0, V2897=0, V2898=0, V2899=1, V2900=0, V2901=0, V2902=0, V2903=0, V2904=0, V2905=0, V2906=0, V2907=0, V2908=0, V2909=1, V2910=0, V2911=0, V2912=0, V2913=0, V2914=1, V2915=0, V2916=1, V2917=0, V2918=0, V2919=0, V2920=0, V2921=0, V2922=0, V2923=0, V2924=0, V2925=1, V2926=0, V2927=0, V2928=0, V2929=0, V2930=0, V2931=0, V2932=1, V2933=0, V2934=0, V2935=0, V2936=0, V2937=0, V2938=1, V2939=0, V2940=0, V2941=0, V2942=1, V2943=0, V2944=0, V2945=0, V2946=0, V2947=0, V2948=0, V2949=0, V2950=1, V2951=0, V2952=0, V2953=0, V2954=0, V2955=0, V2956=0, V2957=1, V2958=0, V2959=0, V2960=1, V2961=0, V2962=0, V2963=0, V2964=1, V2965=0, V2966=0, V2967=0, V2968=0, V2969=0, V2970=1, V2971=0, V2972=0, V2973=0, V2974=0, V2975=0, V2976=0, V2977=0, V2978=0, V2979=1, V2980=0, V2981=0, V2982=0, V2983=0, V2984=1, V2985=0, V2986=0, V2987=0, V2988=0, V2989=1, V2990=0, V2991=0, V2992=0, V2993=0, V2994=0, V2995=0, V2996=0, V2997=1, V2998=0, V2999=0, V3000=0, V3001=0, V3002=0, V3003=1, V3004=0, V3005=0, V3006=0, V3007=0, V3008=0, V3009=0, V3010=1, V3011=0, V3012=0, V3013=0, V3014=0, V3015=0, V3016=0, V3017=1, V3018=1, V3019=0, V3020=0, V3021=0, V3022=0, V3023=0, V3024=0, V3025=1, V3026=0, V3027=0, V3028=0, V3029=0, V3030=0, V3031=1, V3032=0, V3033=0, V3034=0, V3035=0, V3036=0, V3037=0, V3038=1, V3039=0, V3040=0, V3041=0, V3042=0, V3043=0, V3044=0, V3045=1, V3046=0, V3047=0, V3048=0, V3049=0, V3050=0, V3051=1, V3052=0, V3053=0, V3054=0, V3055=0, V3056=0, V3057=0, V3058=0, V3059=1, V3060=0, V3061=0, V3062=0, V3063=0, V3064=1, V3065=0, V3066=0, V3067=0, V3068=1, V3069=0, V3070=0, V3071=0, V3072=0, V3073=0, V3074=0, V3075=0, V3076=1, V3077=0, V3078=0, V3079=1, V3080=0, V3081=0, V3082=0, V3083=0, V3084=0, V3085=0, V3086=0, V3087=0, V3088=1, V3089=0, V3090=0, V3091=0, V3092=0, V3093=0, V3094=0, V3095=1, V3096=0, V3097=0, V3098=0, V3099=1, V3100=0, V3101=0, V3102=0, V3103=0, V3104=0, V3105=0, V3106=1, V3107=0, V3108=0, V3109=0, V3110=0, V3111=0, V3112=0, V3113=1, V3114=1, V3115=0, V3116=0, V3117=0, V3118=0, V3119=0, V3120=0, V3121=1, V3122=0, V3123=0, V3124=0, V3125=0, V3126=0, V3127=0, V3128=0, V3129=1, V3130=0, V3131=0, V3132=0, V3133=0, V3134=1, V3135=0, V3136=0, V3137=0, V3138=0, V3139=0, V3140=0, V3141=0, V3142=0, V3143=1, V3144=1, V3145=0, V3146=0, V3147=0, V3148=0, V3149=0, V3150=0, V3151=0, V3152=1, V3153=0, V3154=0, V3155=0, V3156=0, V3157=0, V3158=0, V3159=0, V3160=0, V3161=1, V3162=0, V3163=0, V3164=0, V3165=0, V3166=1, V3167=0, V3168=0, V3169=0, V3170=0, V3171=1, V3172=0, V3173=0, V3174=0, V3175=0, V3176=0, V3177=0, V3178=0, V3179=1, V3180=0, V3181=0, V3182=0, V3183=0, V3184=1, V3185=0, V3186=0, V3187=1, V3188=0, V3189=0, V3190=0, V3191=0, V3192=0, V3193=0, V3194=0, V3195=0, V3196=0, V3197=1, V3198=0, V3199=0, V3200=0, V3201=1, V3202=0, V3203=0, V3204=0, V3205=0, V3206=0, V3207=0, V3208=0, V3209=1, V3210=0, V3211=0, V3212=0, V3213=0, V3214=1, V3215=0, V3216=1, V3217=0, V3218=0, V3219=0, V3220=0, V3221=0, V3222=0, V3223=0, V3224=0, V3225=0, V3226=1, V3227=0, V3228=0, V3229=1, V3230=0, V3231=0, V3232=0, V3233=0, V3234=0, V3235=1, V3236=0, V3237=0, V3238=0, V3239=0, V3240=0, V3241=1, V3242=0, V3243=0, V3244=0, V3245=0, V3246=0, V3247=0, V3248=0, V3249=0, V3250=1, V3251=0, V3252=0, V3253=0, V3254=0, V3255=0, V3256=0, V3257=1, V3258=0, V3259=0, V3260=0, V3261=0, V3262=1, V3263=0, V3264=0, V3265=1, V3266=0, V3267=0, V3268=0, V3269=0, V3270=1, V3271=0, V3272=0, V3273=0, V3274=0, V3275=0, V3276=0, V3277=0, V3278=0, V3279=0, V3280=0, V3281=0, V3282=1, V3283=0, V3284=0, V3285=0, V3286=0, V3287=0, V3288=0, V3289=0, V3290=0, V3291=1, V3292=0, V3293=0, V3294=1, V3295=0, V3296=0, V3297=0, V3298=0, V3299=0, V3300=1, V3301=0, V3302=0, V3303=0, V3304=0, V3305=0, V3306=1, V3307=0, V3308=0, V3309=0, V3310=0, V3311=0, V3312=0, V3313=1, V3314=0, V3315=0, V3316=0, V3317=0, V3318=0, V3319=1, V3320=0, V3321=0, V3322=0, V3323=0, V3324=1, V3325=0, V3326=0, V3327=0, V3328=0, V3329=0, V3330=0, V3331=0, V3332=0, V3333=0, V3334=1, V3335=0, V3336=1, V3337=0, V3338=0, V3339=0, V3340=0, V3341=0, V3342=0, V3343=0, V3344=0, V3345=0, V3346=0, V3347=1, V3348=0, V3349=0, V3350=1, V3351=0, V3352=0, V3353=0, V3354=0, V3355=0, V3356=0, V3357=0, V3358=0, V3359=1, V3360=0, V3361=0, V3362=0, V3363=1, V3364=0, V3365=0, V3366=0, V3367=0, V3368=0, V3369=1, V3370=0, V3371=0, V3372=0, V3373=1, V3374=0, V3375=0, V3376=0, V3377=0, V3378=0, V3379=0, V3380=0, V3381=0, V3382=0, V3383=1, V3384=0, V3385=0, V3386=1, V3387=0, V3388=0, V3389=0, V3390=0, V3391=1, V3392=0, V3393=0, V3394=0, V3395=0, V3396=0, V3397=0, V3398=0, V3399=0, V3400=0, V3401=1, V3402=1, V3403=0, V3404=0, V3405=0, V3406=0, V3407=0, V3408=0, V3409=1, V3410=0, V3411=0, V3412=0, V3413=0, V3414=0, V3415=0, V3416=0, V3417=0, V3418=0, V3419=1, V3420=0, V3421=0, V3422=0, V3423=1, V3424=0, V3425=0, V3426=1, V3427=0, V3428=0, V3429=0, V3430=0, V3431=0, V3432=0, V3433=0, V3434=0, V3435=0, V3436=1, V3437=0, V3438=0, V3439=0, V3440=1, V3441=0, V3442=0, V3443=0, V3444=1, V3445=0, V3446=0, V3447=0, V3448=0, V3449=0, V3450=0, V3451=0, V3452=0, V3453=0, V3454=0, V3455=1, V3456=0, V3457=0, V3458=0, V3459=1, V3460=0, V3461=0, V3462=0, V3463=0, V3464=0, V3465=0, V3466=1, V3467=0, V3468=0, V3469=0, V3470=0, V3471=0, V3472=0, V3473=0, V3474=0, V3475=0, V3476=1, V3477=0, V3478=0, V3479=0, V3480=0, V3481=0, V3482=1, V3483=0, V3484=0, V3485=0, V3486=0, V3487=0, V3488=1, V3489=0, V3490=0, V3491=0, V3492=1, V3493=0, V3494=0, V3495=0, V3496=0, V3497=0, V3498=0, V3499=1, V3500=0, V3501=0, V3502=0, V3503=0, V3504=0, V3505=0, V3506=1, V3507=0, V3508=0, V3509=0, V3510=0, V3511=0, V3512=0, V3513=0, V3514=1, V3515=0, V3516=0, V3517=1, V3518=0, V3519=0, V3520=0, V3521=0, V3522=0, V3523=0, V3524=0, V3525=0, V3526=0, V3527=1, V3528=0, V3529=0, V3530=0, V3531=0, V3532=0, V3533=1, V3534=0, V3535=0, V3536=1, V3537=0, V3538=0, V3539=0, V3540=0, V3541=0, V3542=0, V3543=1, V3544=0, V3545=0, V3546=0, V3547=0, V3548=1, V3549=0, V3550=0, V3551=0, V3552=0, V3553=0, V3554=0, V3555=0, V3556=1, V3557=0, V3558=0, V3559=0, V3560=0, V3561=0, V3562=0, V3563=1, V3564=1, V3565=0, V3566=0, V3567=0, V3568=0, V3569=0, V3570=0, V3571=0, V3572=0, V3573=0, V3574=1, V3575=0, V3576=0, V3577=0, V3578=1, V3579=0, V3580=0, V3581=0, V3582=0, V3583=0, V3584=0, V3585=1, V3586=0, V3587=0, V3588=0, V3589=1, V3590=0, V3591=0, V3592=0, V3593=0, V3594=0, V3595=0, V3596=0, V3597=0, V3598=1, V3599=0, V3600=0, V3601=0, V3602=0, V3603=1, V3604=0, V3605=0, V3606=0, V3607=0, V3608=0, V3609=0, V3610=0, V3611=1, V3612=0, V3613=1, V3614=0, V3615=0, V3616=0, V3617=0, V3618=0, V3619=0, V3620=0, V3621=0, V3622=0, V3623=1, V3624=0, V3625=0, V3626=0, V3627=1, V3628=0, V3629=0, V3630=0, V3631=1, V3632=0, V3633=0, V3634=0, V3635=0, V3636=0, V3637=0, V3638=0, V3639=1, V3640=0, V3641=0, V3642=0, V3643=0, V3644=0, V3645=0, V3646=0, V3647=1, V3648=0, V3649=0, V3650=1, V3651=0, V3652=0, V3653=0, V3654=0, V3655=0, V3656=0, V3657=0, V3658=0, V3659=1, V3660=1, V3661=0, V3662=0, V3663=0, V3664=0, V3665=0, V3666=0, V3667=1, V3668=0, V3669=0, V3670=0, V3671=0, V3672=0, V3673=1, V3674=0, V3675=0, V3676=0, V3677=0, V3678=0, V3679=0, V3680=1, V3681=0, V3682=0, V3683=0, V3684=0, V3685=0, V3686=0, V3687=0, V3688=1, V3689=0, V3690=0, V3691=0, V3692=0, V3693=0, V3694=0, V3695=0, V3696=0, V3697=0, V3698=0, V3699=0, V3700=0, V3701=1, V3702=1, V3703=0, V3704=0, V3705=0, V3706=0, V3707=0, V3708=0, V3709=0, V3710=0, V3711=0, V3712=0, V3713=1, V3714=0, V3715=0, V3716=1, V3717=0, V3718=0, V3719=0, V3720=0, V3721=1, V3722=0, V3723=0, V3724=0, V3725=0, V3726=1, V3727=0, V3728=0, V3729=0, V3730=0, V3731=0, V3732=0, V3733=0, V3734=1, V3735=0, V3736=0, V3737=0, V3738=0, V3739=0, V3740=0, V3741=0, V3742=0, V3743=1, V3744=1, V3745=0, V3746=0, V3747=0, V3748=0, V3749=0, V3750=0, V3751=0, V3752=0, V3753=1, V3754=0, V3755=0, V3756=0, V3757=0, V3758=0, V3759=1, V3760=0, V3761=0, V3762=1, V3763=0, V3764=0, V3765=0, V3766=0, V3767=0, V3768=1, V3769=0, V3770=0, V3771=0, V3772=0, V3773=0, V3774=1, V3775=0, V3776=0, V3777=0, V3778=0, V3779=0, V3780=0, V3781=0, V3782=0, V3783=0, V3784=1, V3785=0, V3786=0, V3787=1, V3788=0, V3789=0, V3790=0, V3791=0, V3792=1, V3793=0, V3794=0, V3795=0, V3796=0, V3797=0, V3798=0, V3799=0, V3800=1, V3801=0, V3802=0, V3803=0, V3804=0, V3805=1, V3806=0, V3807=0, V3808=0, V3809=0, V3810=0, V3811=0, V3812=0, V3813=1, V3814=0, V3815=0, V3816=0, V3817=0, V3818=0, V3819=0, V3820=1, V3821=0, V3822=0, V3823=0, V3824=0, V3825=1, V3826=0, V3827=0, V3828=0, V3829=0, V3830=0, V3831=0, V3832=1, V3833=0, V3834=0, V3835=0, V3836=0, V3837=0, V3838=1, V3839=0, V3840=0, V3841=0, V3842=0, V3843=0, V3844=1, V3845=0, V3846=0, V3847=0, V3848=0, V3849=0, V3850=1, V3851=0, V3852=0, V3853=0, V3854=1, V3855=0, V3856=0, V3857=0, V3858=0, V3859=0, V3860=0, V3861=0, V3862=0, V3863=1, V3864=1, V3865=0, V3866=0, V3867=0, V3868=0, V3869=0, V3870=0, V3871=0, V3872=0, V3873=0, V3874=0, V3875=1, V3876=1, V3877=0, V3878=0, V3879=0, V3880=0, V3881=0, V3882=0, V3883=0, V3884=0, V3885=0, V3886=0, V3887=1, V3888=0, V3889=0, V3890=0, V3891=0, V3892=1, V3893=0, V3894=1, V3895=0, V3896=0, V3897=0, V3898=0, V3899=0, V3900=0, V3901=0, V3902=0, V3903=0, V3904=0, V3905=1, V3906=0, V3907=0, V3908=1, V3909=0, V3910=0, V3911=0, V3912=0, V3913=0, V3914=1, V3915=0, V3916=0, V3917=0, V3918=0, V3919=1, V3920=0, V3921=0, V3922=0, V3923=0, V3924=0, V3925=0, V3926=0, V3927=0, V3928=1, V3929=0, V3930=0, V3931=1, V3932=0, V3933=0, V3934=0, V3935=0, V3936=0, V3937=1, V3938=0, V3939=0, V3940=0, V3941=0, V3942=0, V3943=0, V3944=0, V3945=1, V3946=0, V3947=0, V3948=1, V3949=0, V3950=0, V3951=0, V3952=0, V3953=0, V3954=0, V3955=0, V3956=0, V3957=0, V3958=0, V3959=1, V3960=1, V3961=0, V3962=0, V3963=0, V3964=0, V3965=0, V3966=0, V3967=1, V3968=0, V3969=0, V3970=0, V3971=0, V3972=1, V3973=0, V3974=0, V3975=0, V3976=0, V3977=0, V3978=0, V3979=1, V3980=0, V3981=0, V3982=0, V3983=0, V3984=0, V3985=0, V3986=0, V3987=0, V3988=1, V3989=0, V3990=1, V3991=0, V3992=0, V3993=0, V3994=0, V3995=0, V3996=1, V3997=0, V3998=0, V3999=0, V4000=0, V4001=0, V4002=0, V4003=0, V4004=0, V4005=0, V4006=0, V4007=1, V4008=0, V4009=0, V4010=0, V4011=0, V4012=0, V4013=1, V4014=0, V4015=0, V4016=1, V4017=0, V4018=0, V4019=0, V4020=0, V4021=0, V4022=0, V4023=0, V4024=0, V4025=1, V4026=0, V4027=0, V4028=0, V4029=0, V4030=1, V4031=0, V4032=0, V4033=1, V4034=0, V4035=0, V4036=0, V4037=0, V4038=0, V4039=0, V4040=0, V4041=0, V4042=0, V4043=1, V4044=0, V4045=0, V4046=1, V4047=0, V4048=0, V4049=0, V4050=0, V4051=0, V4052=0, V4053=0, V4054=0, V4055=1, V4056=0, V4057=1, V4058=0, V4059=0, V4060=0, V4061=0, V4062=0, V4063=0, V4064=1, V4065=0, V4066=0, V4067=0, V4068=0, V4069=0, V4070=0, V4071=1, V4072=0, V4073=0, V4074=0, V4075=0, V4076=1, V4077=0, V4078=0, V4079=0, V4080=0, V4081=0, V4082=1, V4083=0, V4084=0, V4085=0, V4086=0, V4087=0, V4088=1, V4089=0, V4090=0, V4091=0, V4092=1, V4093=0, V4094=0, V4095=0, V4096=0, V4097=0, V4098=0, V4099=0, V4100=0, V4101=0, V4102=0, V4103=1, V4104=1, V4105=0, V4106=0, V4107=0, V4108=0, V4109=0, V4110=0, V4111=0, V4112=0, V4113=1, V4114=0, V4115=0, V4116=1, V4117=0, V4118=0, V4119=0, V4120=0, V4121=0, V4122=0, V4123=0, V4124=0, V4125=1, V4126=0, V4127=0, V4128=0, V4129=0, V4130=1, V4131=0, V4132=0, V4133=0, V4134=0, V4135=1, V4136=0, V4137=0, V4138=0, V4139=0, V4140=0, V4141=0, V4142=1, V4143=0, V4144=0, V4145=0, V4146=0, V4147=0, V4148=0, V4149=0, V4150=0, V4151=1, V4152=1, V4153=0, V4154=0, V4155=0, V4156=0, V4157=0, V4158=1, V4159=0, V4160=0, V4161=0, V4162=0, V4163=0, V4164=0, V4165=0, V4166=0, V4167=0, V4168=1, V4169=0, V4170=0, V4171=0, V4172=0, V4173=0, V4174=1, V4175=0, V4176=0, V4177=1, V4178=0, V4179=0, V4180=0, V4181=0, V4182=0, V4183=1, V4184=0, V4185=0, V4186=0, V4187=0, V4188=0, V4189=0, V4190=0, V4191=1, V4192=0, V4193=0, V4194=0, V4195=0, V4196=0, V4197=0, V4198=1, V4199=0, V4200=0, V4201=0, V4202=1, V4203=0, V4204=0, V4205=0, V4206=0, V4207=0, V4208=0, V4209=0, V4210=1, V4211=0, V4212=0, V4213=0, V4214=0, V4215=1, V4216=0, V4217=0, V4218=1, V4219=0, V4220=0, V4221=0, V4222=0, V4223=0, V4224=0, V4225=0, V4226=0, V4227=0, V4228=0, V4229=1, V4230=0, V4231=0, V4232=1, V4233=0, V4234=0, V4235=0, V4236=0, V4237=0, V4238=1, V4239=0, V4240=0, V4241=0, V4242=0, V4243=1, V4244=0, V4245=0, V4246=0, V4247=0, V4248=0, V4249=0, V4250=0, V4251=0, V4252=0, V4253=1, V4254=1, V4255=0, V4256=0, V4257=0, V4258=0, V4259=0, V4260=0, V4261=0, V4262=0, V4263=0, V4264=0, V4265=1, V4266=0, V4267=0, V4268=0, V4269=0, V4270=0, V4271=1, V4272=0, V4273=0, V4274=0, V4275=0, V4276=0, V4277=1, V4278=0, V4279=0, V4280=0, V4281=0, V4282=0, V4283=1, V4284=0, V4285=0, V4286=0, V4287=0, V4288=0, V4289=1, V4290=0, V4291=0, V4292=0, V4293=0, V4294=0, V4295=1, V4296=1, V4297=0, V4298=0, V4299=0, V4300=0, V4301=0, V4302=0, V4303=0, V4304=1, V4305=0, V4306=0, V4307=0, V4308=0, V4309=0, V4310=0, V4311=0, V4312=0, V4313=1, V4314=0, V4315=0, V4316=0, V4317=0, V4318=0, V4319=1, V4320=0, V4321=0, V4322=0, V4323=0, V4324=1, V4325=0, V4326=0, V4327=0, V4328=0, V4329=0, V4330=1, V4331=0, V4332=0, V4333=0, V4334=0, V4335=1, V4336=0, V4337=0, V4338=0, V4339=0, V4340=0, V4341=1, V4342=0, V4343=0, V4344=0, V4345=0, V4346=0, V4347=1, V4348=0, V4349=0, V4350=0, V4351=0, V4352=0, V4353=0, V4354=1, V4355=0, V4356=0, V4357=1, V4358=0, V4359=0, V4360=0, V4361=0, V4362=0, V4363=0, V4364=0, V4365=0, V4366=0, V4367=1, V4368=0, V4369=0, V4370=1, V4371=0, V4372=0, V4373=0, V4374=1, V4375=0, V4376=0, V4377=0, V4378=0, V4379=0, V4380=0, V4381=0, V4382=0, V4383=1, V4384=0, V4385=0, V4386=0, V4387=0, V4388=0, V4389=1, V4390=0, V4391=0, V4392=1, V4393=0, V4394=0, V4395=0, V4396=0, V4397=0, V4398=0, V4399=0, V4400=0, V4401=0, V4402=0, V4403=1, V4404=1, V4405=0, V4406=0, V4407=0, V4408=0, V4409=0, V4410=0, V4411=0, V4412=0, V4413=0, V4414=0, V4415=1, V4416=0, V4417=0, V4418=0, V4419=0, V4420=0, V4421=1, V4422=0, V4423=1, V4424=0, V4425=0, V4426=0, V4427=0, V4428=0, V4429=0, V4430=0, V4431=0, V4432=0, V4433=1, V4434=0, V4435=0, V4436=0, V4437=0, V4438=1, V4439=0, V4440=0, V4441=0, V4442=1, V4443=0, V4444=0, V4445=0, V4446=0, V4447=0, V4448=1, V4449=0, V4450=0, V4451=0, V4452=0, V4453=0, V4454=0, V4455=0, V4456=0, V4457=1, V4458=0, V4459=0, V4460=0, V4461=0, V4462=0, V4463=1, V4464=0, V4465=0, V4466=0, V4467=0, V4468=1, V4469=0, V4470=0, V4471=0, V4472=0, V4473=0, V4474=1, V4475=0, V4476=0, V4477=1, V4478=0, V4479=0, V4480=0, V4481=0, V4482=0, V4483=1, V4484=0, V4485=0, V4486=0, V4487=0, V4488=0, V4489=0, V4490=0, V4491=0, V4492=0, V4493=1, V4494=0, V4495=1, V4496=0, V4497=0, V4498=0, V4499=0, V4500=1, V4501=0, V4502=0, V4503=0, V4504=0, V4505=0, V4506=0, V4507=0, V4508=1, V4509=0, V4510=0, V4511=0, 
16.91/17.08	v 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 
17.01/17.15	d ASSIGNMENTS 452

OK

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2087302-1247727538/watcher-2087302-1247727538 -o /tmp/evaluation-result-2087302-1247727538/solver-2087302-1247727538 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 346164333 HOME/instance-2087302-1247727538.xml 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 2.00 2.02 4/73 19381
/proc/meminfo: memFree=1527112/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=880 CPUtime=0
/proc/19381/stat : 19381 (pcssolve) R 19379 19381 19046 0 -1 4194304 40 0 0 0 0 0 0 0 20 0 1 0 59818838 901120 25 996147200 4194304 4889804 548682068800 18446744073709551615 251276621193 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 220 25 18 169 0 8 0

[startup+0.025672 s]
/proc/loadavg: 1.99 2.00 2.02 4/73 19381
/proc/meminfo: memFree=1527112/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=5356 CPUtime=0
/proc/19381/stat : 19381 (pcssolve) S 19379 19381 19046 0 -1 4194304 367 649 0 0 0 0 0 0 23 0 1 0 59818838 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19381/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102682 s]
/proc/loadavg: 1.99 2.00 2.02 4/73 19381
/proc/meminfo: memFree=1527112/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=6228 CPUtime=0.08
/proc/19381/stat : 19381 (pcs.big) R 19379 19381 19046 0 -1 4194304 1292 827 0 0 6 0 2 0 18 0 1 0 59818838 6377472 815 996147200 134512640 135215973 4294956304 18446744073709551615 4476708 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 1557 815 385 171 0 482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6228

[startup+0.302706 s]
/proc/loadavg: 1.99 2.00 2.02 4/73 19381
/proc/meminfo: memFree=1527112/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=9116 CPUtime=0.28
/proc/19381/stat : 19381 (pcs.big) R 19379 19381 19046 0 -1 4194304 2163 827 0 0 25 1 2 0 20 0 1 0 59818838 9334784 1418 996147200 134512640 135215973 4294956304 18446744073709551615 134591518 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 2279 1418 385 171 0 1204 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9116

[startup+0.702756 s]
/proc/loadavg: 1.99 2.00 2.02 4/73 19381
/proc/meminfo: memFree=1527112/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=14080 CPUtime=0.68
/proc/19381/stat : 19381 (pcs.big) R 19379 19381 19046 0 -1 4194304 3831 827 0 0 65 1 2 0 24 0 1 0 59818838 14417920 2586 996147200 134512640 135215973 4294956304 18446744073709551615 4159198705 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 3520 2586 385 171 0 2445 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14080

[startup+1.50186 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19387
/proc/meminfo: memFree=1513984/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=28884 CPUtime=1.47
/proc/19381/stat : 19381 (pcs.big) R 19379 19381 19046 0 -1 4194304 7758 827 0 0 142 3 2 0 25 0 1 0 59818838 29577216 5418 996147200 134512640 135215973 4294956304 18446744073709551615 4478587 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 7221 5421 385 171 0 6146 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28884

[startup+3.10106 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19387
/proc/meminfo: memFree=1490112/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=56836 CPUtime=3.07
/proc/19381/stat : 19381 (pcs.big) R 19379 19381 19046 0 -1 4194304 19092 827 0 0 296 9 2 0 25 0 1 0 59818838 58200064 11605 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 14209 11605 405 171 0 13134 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 56836

[startup+6.30146 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19387
/proc/meminfo: memFree=1479744/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=57096 CPUtime=6.25
/proc/19381/stat : 19381 (pcs.big) R 19379 19381 19046 0 -1 4194304 24808 827 0 0 612 11 2 0 25 0 1 0 59818838 58466304 11777 996147200 134512640 135215973 4294956304 18446744073709551615 134585768 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 14274 11777 405 171 0 13199 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 57096

[startup+12.7013 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19387
/proc/meminfo: memFree=1477640/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=57360 CPUtime=12.63
/proc/19381/stat : 19381 (pcs.big) R 19379 19381 19046 0 -1 4194304 37693 827 0 0 1244 17 2 0 25 0 1 0 59818838 58736640 12006 996147200 134512640 135215973 4294956304 18446744073709551615 134583409 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 14340 12006 405 171 0 13265 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 57360

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

[startup+14.3065 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19387
/proc/meminfo: memFree=1477384/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=57624 CPUtime=14.22
/proc/19381/stat : 19381 (pcs.big) R 19379 19381 19046 0 -1 4194304 40986 827 0 0 1403 17 2 0 25 0 1 0 59818838 59006976 12051 996147200 134512640 135215973 4294956304 18446744073709551615 134951340 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 14406 12051 405 171 0 13331 0
Current children cumulated CPU time (s) 14.22
Current children cumulated vsize (KiB) 57624

[startup+15.9017 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19387
/proc/meminfo: memFree=1477384/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=57796 CPUtime=15.82
/proc/19381/stat : 19381 (pcs.big) R 19379 19381 19046 0 -1 4194304 42487 827 0 0 1562 18 2 0 25 0 1 0 59818838 59183104 12096 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 14449 12096 405 171 0 13374 0
Current children cumulated CPU time (s) 15.82
Current children cumulated vsize (KiB) 57796

[startup+16.7028 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19387
/proc/meminfo: memFree=1477064/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=57948 CPUtime=16.62
/proc/19381/stat : 19381 (pcs.big) R 19379 19381 19046 0 -1 4194304 43715 827 0 0 1641 19 2 0 25 0 1 0 59818838 59338752 12148 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 14487 12148 405 171 0 13412 0
Current children cumulated CPU time (s) 16.62
Current children cumulated vsize (KiB) 57948

[startup+17.1028 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19387
/proc/meminfo: memFree=1477064/2055920 swapFree=4192812/4192956
[pid=19381] ppid=19379 vsize=53848 CPUtime=17.01
/proc/19381/stat : 19381 (pcs.big) R 19379 19381 19046 0 -1 4194304 44382 827 0 0 1680 19 2 0 25 0 1 0 59818838 55140352 11704 996147200 134512640 135215973 4294956304 18446744073709551615 4472901 0 0 4096 0 0 0 0 17 1 0 0
/proc/19381/statm: 13462 11704 405 171 0 12387 0
Current children cumulated CPU time (s) 17.01
Current children cumulated vsize (KiB) 53848

Child status: 0
Real time (s): 17.1619
CPU time (s): 17.0934
CPU user time (s): 16.8804
CPU system time (s): 0.212967
CPU usage (%): 99.6008
Max. virtual memory (cumulated for all children) (KiB): 57948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8804
system time used= 0.212967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45212
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= 22
involuntary context switches= 214

runsolver used 0.016997 second user time and 0.055991 second system time

The end

Begin job on node92 at 2009-07-16 08:58:58
IDJOB=2087302
IDBENCH=58713
IDSOLVER=734
FILE ID=node92/2087302-1247727538
PBS_JOBID= 9521494
Free space on /tmp= 66300 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/socialGolfers/normalized-socialGolfer-6-4-8.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2087302-1247727538/watcher-2087302-1247727538 -o /tmp/evaluation-result-2087302-1247727538/solver-2087302-1247727538 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 346164333 HOME/instance-2087302-1247727538.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 9ca836038bbfff2e7075ea9f6ab9212e
RANDOM SEED=346164333

node92.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1527592 kB
Buffers:         81012 kB
Cached:         236004 kB
SwapCached:          0 kB
Active:         219636 kB
Inactive:       238500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1527592 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5480 kB
Writeback:           0 kB
Mapped:         152552 kB
Slab:            55176 kB
Committed_AS:   624096 kB
PageTables:       2140 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66300 MiB
End job on node92 at 2009-07-16 08:59:15