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

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2087301-1247727514/watcher-2087301-1247727514 -o /tmp/evaluation-result-2087301-1247727514/solver-2087301-1247727514 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 996655249 HOME/instance-2087301-1247727514.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 19349
/proc/meminfo: memFree=1530824/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=5356 CPUtime=0
/proc/19349/stat : 19349 (pcssolve) S 19347 19349 19046 0 -1 4194304 339 317 0 0 0 0 0 0 19 0 1 0 59816442 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19349/statm: 1339 242 201 169 0 50 0
[pid=19352] ppid=19349 vsize=3680 CPUtime=0
/proc/19352/stat : 19352 (fgrep) R 19349 19349 19046 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 59816443 3768320 123 996147200 4194304 4274172 548682068976 18446744073709551615 251279409234 0 0 4096 0 0 0 0 17 0 0 0
/proc/19352/statm: 920 123 94 19 0 44 0
[pid=19353] ppid=19349 vsize=5356 CPUtime=0
/proc/19353/stat : 19353 (pcssolve) R 19349 19349 19046 0 -1 4194368 22 0 0 0 0 0 0 0 18 0 1 0 59816443 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 251279240487 0 0 4096 0 0 0 0 17 0 0 0
/proc/19353/statm: 1339 244 203 169 0 50 0

[startup+0.077653 s]
/proc/loadavg: 1.99 2.00 2.02 4/73 19349
/proc/meminfo: memFree=1530824/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=6100 CPUtime=0.05
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 1240 827 0 0 3 0 1 1 17 0 1 0 59816442 6246400 763 996147200 134512640 135215973 4294956304 18446744073709551615 4476456 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 1525 763 385 171 0 450 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6100

[startup+0.101657 s]
/proc/loadavg: 1.99 2.00 2.02 4/73 19349
/proc/meminfo: memFree=1530824/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=6356 CPUtime=0.09
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 1304 827 0 0 6 1 1 1 17 0 1 0 59816442 6508544 827 996147200 134512640 135215973 4294956304 18446744073709551615 4478587 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 1589 827 385 171 0 514 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6356

[startup+0.30168 s]
/proc/loadavg: 1.99 2.00 2.02 4/73 19349
/proc/meminfo: memFree=1530824/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=9116 CPUtime=0.28
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 2179 827 0 0 25 1 1 1 19 0 1 0 59816442 9334784 1434 996147200 134512640 135215973 4294956304 18446744073709551615 134906919 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 2279 1434 385 171 0 1204 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9116

[startup+0.701733 s]
/proc/loadavg: 1.99 2.00 2.02 4/73 19349
/proc/meminfo: memFree=1530824/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=14208 CPUtime=0.68
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 3858 827 0 0 64 2 1 1 22 0 1 0 59816442 14548992 2613 996147200 134512640 135215973 4294956304 18446744073709551615 134807716 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 3552 2614 385 171 0 2477 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14208

[startup+1.50183 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19355
/proc/meminfo: memFree=1517568/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=27352 CPUtime=1.49
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 8027 827 0 0 143 4 1 1 25 0 1 0 59816442 28008448 5109 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 6838 5109 385 171 0 5763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27352

[startup+3.10103 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19355
/proc/meminfo: memFree=1493568/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=56704 CPUtime=3.08
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 19006 827 0 0 297 9 1 1 25 0 1 0 59816442 58064896 11631 996147200 134512640 135215973 4294956304 18446744073709551615 135097662 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 14176 11631 405 171 0 13101 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 56704

[startup+6.30243 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19355
/proc/meminfo: memFree=1483904/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=57192 CPUtime=6.28
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 23625 827 0 0 616 10 1 1 25 0 1 0 59816442 58564608 11938 996147200 134512640 135215973 4294956304 18446744073709551615 134584373 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 14298 11938 405 171 0 13223 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 57192

[startup+12.7012 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19355
/proc/meminfo: memFree=1482888/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=57376 CPUtime=12.67
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 33546 827 0 0 1250 15 1 1 25 0 1 0 59816442 58753024 12003 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 14344 12003 405 171 0 13269 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 57376

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

[startup+15.9016 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19355
/proc/meminfo: memFree=1482184/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=57644 CPUtime=15.88
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 39319 827 0 0 1568 18 1 1 25 0 1 0 59816442 59027456 12064 996147200 134512640 135215973 4294956304 18446744073709551615 4158961131 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 14411 12064 405 171 0 13336 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 57644

[startup+19.101 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19355
/proc/meminfo: memFree=1480456/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=58168 CPUtime=19.07
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 49606 827 0 0 1884 21 1 1 25 0 1 0 59816442 59564032 12215 996147200 134512640 135215973 4294956304 18446744073709551615 134680740 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 14542 12215 405 171 0 13467 0
Current children cumulated CPU time (s) 19.07
Current children cumulated vsize (KiB) 58168

[startup+20.7012 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19355
/proc/meminfo: memFree=1480264/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=58432 CPUtime=20.67
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 53700 827 0 0 2042 23 1 1 25 0 1 0 59816442 59834368 12277 996147200 134512640 135215973 4294956304 18446744073709551615 134612766 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 14608 12277 405 171 0 13533 0
Current children cumulated CPU time (s) 20.67
Current children cumulated vsize (KiB) 58432

[startup+21.5013 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19355
/proc/meminfo: memFree=1480008/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=58696 CPUtime=21.48
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 57458 827 0 0 2121 25 1 1 25 0 1 0 59816442 60104704 12339 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 14674 12339 405 171 0 13599 0
Current children cumulated CPU time (s) 21.48
Current children cumulated vsize (KiB) 58696

[startup+21.7014 s]
/proc/loadavg: 1.99 2.00 2.02 3/74 19355
/proc/meminfo: memFree=1480008/2055920 swapFree=4192812/4192956
[pid=19349] ppid=19347 vsize=27440 CPUtime=21.67
/proc/19349/stat : 19349 (pcs.big) R 19347 19349 19046 0 -1 4194304 57734 827 0 0 2140 25 1 1 25 0 1 0 59816442 28098560 6138 996147200 134512640 135215973 4294956304 18446744073709551615 4472984 0 0 4096 0 0 0 0 17 0 0 0
/proc/19349/statm: 6860 6138 405 171 0 5785 0
Current children cumulated CPU time (s) 21.67
Current children cumulated vsize (KiB) 27440

Child status: 0
Real time (s): 21.7104
CPU time (s): 21.7017
CPU user time (s): 21.4257
CPU system time (s): 0.275958
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (KiB): 58960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.4257
system time used= 0.275958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58564
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= 24
involuntary context switches= 112

runsolver used 0.028995 second user time and 0.05999 second system time

The end

Begin job on node92 at 2009-07-16 08:58:34
IDJOB=2087301
IDBENCH=58713
IDSOLVER=733
FILE ID=node92/2087301-1247727514
PBS_JOBID= 9521494
Free space on /tmp= 66300 MiB

SOLVER NAME= pcs 0.2
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-2087301-1247727514/watcher-2087301-1247727514 -o /tmp/evaluation-result-2087301-1247727514/solver-2087301-1247727514 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 996655249 HOME/instance-2087301-1247727514.xml

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

MD5SUM BENCH= 9ca836038bbfff2e7075ea9f6ab9212e
RANDOM SEED=996655249

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:       1531240 kB
Buffers:         80960 kB
Cached:         236056 kB
SwapCached:          0 kB
Active:         215856 kB
Inactive:       238708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1531240 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5276 kB
Writeback:           0 kB
Mapped:         149052 kB
Slab:            55128 kB
Committed_AS:   620996 kB
PageTables:       2132 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:58:56