0.00/0.05	c has operations which may create big domains
0.00/0.05	c big-domain mode
0.00/0.05	c Seed is 940713558
0.00/0.05	c Constructing HOME/instance-2067545-1247705573.xml  with 110316 constraints
2.57/2.63	c Solving 9900 backtracks 14 restarts
178.30/179.23	s SATISFIABLE
178.30/179.23	c V0=0, V1=0, V2=0, V3=0, V4=0, V5=0, V6=0, V7=0, V8=0, V9=1, V10=0, V11=1, V12=0, V13=0, V14=0, V15=0, V16=0, V17=0, V18=0, V19=0, V20=0, V21=0, V22=0, V23=0, V24=0, V25=0, V26=0, V27=0, V28=0, V29=0, V30=1, V31=0, V32=0, V33=0, V34=0, V35=0, V36=0, 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=1, V51=0, V52=0, V53=0, V54=0, V55=0, V56=0, V57=0, 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=0, V72=0, V73=0, V74=0, V75=0, V76=0, V77=0, V78=0, V79=0, V80=1, V81=0, V82=0, V83=0, V84=1, V85=1, V86=0, V87=0, V88=0, V89=0, V90=0, V91=0, V92=0, V93=0, V94=0, V95=0, V96=0, V97=0, V98=0, V99=0, V100=0, V101=0, V102=0, V103=0, V104=0, V105=0, V106=0, V107=0, V108=0, V109=0, V110=0, V111=0, V112=0, V113=0, V114=0, V115=0, V116=1, 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=1, V131=0, V132=0, V133=0, V134=0, V135=0, V136=0, V137=0, V138=0, V139=0, V140=0, V141=0, V142=0, V143=0, 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=1, V158=0, V159=0, V160=0, V161=0, V162=0, V163=0, V164=0, V165=0, V166=0, V167=0, V168=0, V169=0, V170=0, V171=0, V172=0, V173=0, V174=0, V175=0, V176=0, V177=0, V178=1, V179=0, V180=0, V181=0, V182=0, V183=1, V184=0, V185=0, V186=0, V187=0, V188=0, V189=0, V190=0, V191=0, V192=0, V193=0, V194=0, V195=1, 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=0, V209=0, V210=0, V211=1, V212=0, V213=0, V214=1, V215=0, V216=0, V217=0, V218=0, V219=0, V220=0, V221=0, V222=0, V223=0, V224=0, V225=0, V226=0, V227=0, V228=0, V229=0, V230=0, V231=0, V232=1, V233=1, V234=0, V235=0, V236=0, V237=0, V238=1, V239=0, V240=0, V241=0, V242=0, V243=0, V244=0, V245=0, V246=0, V247=0, V248=0, V249=0, V250=0, V251=0, V252=0, V253=0, V254=0, V255=0, V256=0, V257=0, V258=0, V259=0, V260=0, V261=0, V262=0, V263=0, V264=0, V265=0, V266=1, V267=0, V268=0, V269=0, V270=0, V271=0, V272=0, V273=0, V274=0, V275=1, V276=0, V277=0, V278=0, V279=0, V280=0, V281=0, V282=0, V283=0, V284=0, V285=1, 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=0, V301=0, V302=0, V303=0, V304=0, V305=0, V306=0, V307=0, V308=0, V309=0, V310=1, V311=0, V312=0, V313=0, V314=0, V315=0, V316=0, V317=1, 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=1, V336=0, V337=0, 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=1, V366=0, V367=0, V368=1, V369=0, V370=0, V371=1, V372=0, V373=0, V374=0, V375=0, V376=0, 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=1, V390=0, V391=0, V392=0, V393=0, V394=0, V395=0, V396=0, V397=0, V398=0, V399=0, V400=0, V401=0, V402=0, V403=1, V404=0, V405=0, V406=0, V407=0, V408=0, V409=0, 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=1, V423=0, V424=0, V425=0, V426=0, V427=0, V428=0, V429=0, V430=0, V431=1, 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=0, V446=0, V447=0, 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=0, V469=0, V470=0, V471=0, V472=0, V473=1, V474=0, V475=0, V476=0, V477=0, V478=1, V479=0, V480=0, V481=0, V482=0, V483=0, V484=0, V485=0, V486=0, 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=0, V500=0, V501=0, V502=0, V503=0, V504=0, V505=0, V506=0, V507=0, V508=1, V509=0, V510=0, V511=0, V512=0, V513=0, V514=0, V515=0, V516=0, V517=0, 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=1, V533=0, V534=1, V535=0, V536=0, V537=0, V538=0, V539=0, 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=1, V557=0, V558=0, V559=0, V560=0, V561=0, V562=0, V563=0, V564=1, 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=0, V579=0, V580=0, V581=0, V582=0, V583=0, V584=0, V585=0, V586=0, V587=1, V588=0, V589=1, 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=0, V607=0, V608=0, V609=0, V610=0, V611=1, V612=0, V613=0, V614=0, V615=0, V616=0, V617=0, V618=0, V619=0, V620=0, V621=0, V622=0, V623=0, V624=0, V625=0, V626=0, V627=0, V628=0, V629=1, V630=0, V631=0, V632=0, V633=0, V634=0, V635=0, V636=0, V637=0, V638=0, V639=0, V640=0, V641=0, V642=0, V643=0, V644=1, 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=1, V658=0, V659=0, V660=0, 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=0, V674=0, V675=0, V676=0, V677=0, 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=0, V691=0, V692=0, V693=1, V694=0, V695=1, V696=0, V697=0, V698=0, 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=0, V723=0, V724=0, V725=0, V726=0, V727=0, V728=0, V729=0, V730=0, V731=1, V732=1, V733=0, V734=0, V735=0, V736=0, V737=0, V738=0, V739=1, 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=0, 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=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=0, V795=0, V796=1, V797=0, V798=0, V799=0, V800=0, V801=0, V802=0, V803=0, V804=0, V805=0, V806=0, V807=0, V808=0, V809=0, V810=0, V811=0, V812=0, V813=0, V814=1, 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=0, V831=0, V832=0, V833=0, V834=0, V835=0, V836=1, 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=0, V850=1, 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=0, V876=0, V877=0, V878=0, V879=0, V880=0, V881=1, V882=0, V883=0, V884=1, 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=0, V906=0, V907=0, V908=0, V909=0, V910=0, V911=0, V912=0, V913=0, V914=0, V915=0, V916=0, V917=0, V918=1, V919=0, V920=1, V921=0, V922=0, V923=1, V924=0, V925=0, V926=1, V927=0, V928=0, V929=0, V930=0, V931=1, V932=0, V933=0, V934=0, V935=0, V936=0, V937=0, V938=0, V939=0, V940=0, V941=0, V942=0, 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=0, V956=1, V957=0, V958=0, V959=0, V960=0, V961=0, V962=0, V963=0, V964=0, V965=0, V966=0, V967=0, V968=0, V969=0, V970=0, V971=0, V972=0, V973=0, V974=1, V975=0, V976=0, V977=0, V978=0, V979=0, V980=0, V981=0, V982=1, V983=1, 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=1, V997=0, V998=0, V999=0, V1000=0, V1001=0, V1002=0, V1003=0, V1004=0, V1005=0, V1006=0, V1007=0, V1008=1, V1009=1, V1010=0, V1011=0, V1012=0, V1013=0, V1014=0, V1015=0, V1016=0, V1017=0, V1018=0, V1019=1, V1020=0, V1021=0, V1022=1, 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=0, V1038=0, V1039=0, V1040=0, V1041=0, V1042=0, V1043=0, V1044=0, V1045=0, V1046=0, V1047=0, V1048=0, V1049=0, V1050=1, V1051=0, V1052=0, V1053=0, V1054=0, V1055=0, V1056=0, V1057=0, V1058=0, V1059=0, V1060=0, V1061=0, V1062=1, V1063=0, V1064=0, V1065=0, V1066=1, V1067=0, V1068=0, V1069=0, V1070=1, V1071=0, V1072=0, V1073=0, V1074=0, V1075=0, V1076=1, V1077=0, V1078=0, V1079=0, V1080=0, V1081=0, V1082=1, V1083=0, V1084=0, V1085=0, V1086=0, V1087=0, V1088=0, 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=1, V1107=0, V1108=0, V1109=0, V1110=1, V1111=0, V1112=0, V1113=0, V1114=0, V1115=1, V1116=0, V1117=0, V1118=0, V1119=0, V1120=0, V1121=0, V1122=0, V1123=0, V1124=0, V1125=0, V1126=0, V1127=0, V1128=0, V1129=0, V1130=0, V1131=1, 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=1, V1148=0, V1149=0, V1150=0, V1151=0, V1152=0, V1153=0, V1154=0, V1155=0, V1156=0, V1157=0, V1158=0, V1159=0, 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=1, V1176=0, 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=0, V1193=0, 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=1, V1210=1, V1211=0, V1212=0, V1213=0, V1214=0, V1215=0, V1216=0, V1217=0, V1218=0, V1219=0, V1220=1, V1221=0, V1222=0, V1223=0, V1224=0, V1225=0, V1226=0, V1227=0, V1228=0, V1229=0, V1230=0, V1231=1, V1232=0, V1233=0, V1234=0, V1235=0, V1236=0, V1237=0, V1238=0, V1239=0, V1240=0, V1241=0, V1242=0, V1243=0, V1244=0, V1245=0, 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=1, V1263=0, V1264=0, V1265=0, V1266=0, V1267=0, 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=1, V1282=0, V1283=0, V1284=0, V1285=0, V1286=0, V1287=0, V1288=0, V1289=0, V1290=0, V1291=0, V1292=0, V1293=0, V1294=0, V1295=0, V1296=0, V1297=1, 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=0, V1314=0, V1315=0, V1316=1, V1317=0, V1318=0, V1319=0, V1320=0, V1321=0, V1322=0, 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=0, 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=1, V1351=0, V1352=0, V1353=0, V1354=0, V1355=0, V1356=0, V1357=0, V1358=0, V1359=0, V1360=1, V1361=0, V1362=0, V1363=1, 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=0, V1380=0, V1381=1, V1382=0, 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=1, V1401=0, V1402=0, V1403=0, V1404=0, V1405=0, V1406=0, V1407=0, V1408=0, V1409=0, V1410=0, V1411=1, V1412=0, V1413=0, V1414=0, V1415=0, V1416=1, V1417=0, V1418=0, V1419=0, V1420=0, V1421=0, V1422=1, V1423=0, V1424=0, V1425=1, V1426=0, V1427=0, V1428=0, V1429=0, 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=0, V1443=0, V1444=1, V1445=0, V1446=0, V1447=0, V1448=0, V1449=0, 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=1, V1471=0, V1472=0, V1473=0, V1474=0, V1475=0, V1476=0, V1477=0, V1478=0, V1479=0, V1480=0, V1481=0, V1482=0, V1483=0, V1484=0, V1485=0, V1486=0, V1487=0, V1488=0, V1489=0, V1490=0, V1491=0, V1492=0, V1493=0, V1494=1, V1495=0, V1496=0, V1497=0, V1498=0, V1499=0, V1500=0, V1501=0, V1502=0, V1503=0, V1504=0, V1505=0, V1506=0, V1507=1, 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=1, 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=0, V1545=0, V1546=0, V1547=0, V1548=0, V1549=0, 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=0, V1566=1, V1567=0, V1568=0, V1569=0, V1570=0, V1571=0, V1572=0, V1573=0, V1574=0, V1575=0, V1576=0, V1577=0, V1578=0, V1579=0, V1580=0, V1581=1, V1582=0, V1583=0, V1584=0, V1585=0, V1586=0, V1587=0, V1588=0, V1589=0, V1590=0, V1591=0, V1592=0, V1593=0, V1594=0, V1595=0, V1596=0, V1597=1, V1598=0, V1599=0, V1600=0, V1601=0, V1602=0, V1603=0, V1604=0, V1605=1, V1606=0, V1607=0, V1608=0, V1609=0, V1610=0, V1611=0, V1612=0, V1613=1, V1614=0, V1615=0, V1616=0, V1617=0, V1618=0, V1619=0, V1620=1, V1621=0, V1622=0, V1623=1, V1624=0, V1625=0, V1626=0, V1627=0, 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=0, V1643=0, V1644=0, V1645=0, V1646=0, V1647=0, V1648=0, V1649=0, V1650=1, V1651=1, V1652=0, V1653=0, V1654=0, V1655=0, V1656=0, V1657=0, V1658=0, V1659=1, V1660=0, V1661=0, V1662=0, V1663=0, V1664=0, V1665=0, V1666=0, V1667=0, V1668=0, V1669=0, V1670=0, V1671=0, V1672=0, V1673=0, V1674=1, V1675=0, V1676=0, V1677=0, V1678=0, V1679=0, V1680=0, V1681=0, V1682=0, V1683=1, V1684=0, V1685=1, V1686=0, V1687=0, V1688=0, V1689=0, V1690=0, V1691=0, V1692=0, V1693=0, V1694=0, V1695=0, V1696=0, V1697=0, V1698=0, V1699=1, V1700=0, V1701=0, V1702=0, V1703=0, V1704=0, V1705=0, V1706=0, V1707=0, V1708=0, V1709=0, V1710=0, V1711=0, V1712=0, V1713=0, V1714=0, V1715=0, V1716=0, V1717=0, V1718=0, V1719=0, V1720=0, V1721=0, V1722=0, V1723=0, V1724=1, V1725=1, V1726=0, V1727=0, V1728=0, V1729=0, V1730=0, V1731=0, V1732=0, V1733=1, V1734=0, V1735=1, V1736=0, V1737=0, V1738=0, V1739=0, V1740=0, V1741=0, V1742=0, V1743=0, V1744=0, V1745=0, V1746=0, V1747=1, V1748=0, V1749=0, V1750=0, V1751=0, V1752=0, V1753=0, V1754=0, V1755=0, V1756=1, V1757=0, V1758=0, V1759=0, V1760=0, V1761=0, V1762=0, V1763=0, V1764=0, V1765=0, V1766=0, V1767=1, V1768=0, V1769=1, V1770=0, V1771=0, V1772=0, V1773=0, V1774=0, V1775=0, V1776=0, V1777=0, V1778=0, V1779=0, V1780=0, V1781=0, V1782=0, V1783=0, V1784=0, V1785=0, V1786=0, V1787=0, V1788=0, V1789=1, V1790=0, V1791=1, 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=0, V1806=0, V1807=0, V1808=1, V1809=0, V1810=0, V1811=0, V1812=0, V1813=1, V1814=0, V1815=0, V1816=0, V1817=0, V1818=0, V1819=0, V1820=0, V1821=0, V1822=0, V1823=0, V1824=0, V1825=0, V1826=0, 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=1, V1840=0, V1841=0, V1842=0, V1843=0, V1844=0, V1845=1, V1846=0, V1847=0, V1848=0, V1849=0, V1850=1, V1851=0, V1852=0, V1853=0, V1854=0, V1855=0, V1856=0, V1857=0, V1858=0, V1859=0, V1860=0, V1861=0, V1862=0, V1863=0, V1864=0, V1865=0, V1866=0, V1867=1, V1868=0, V1869=0, V1870=0, V1871=0, V1872=0, V1873=0, V1874=0, V1875=0, V1876=0, V1877=0, V1878=0, V1879=0, V1880=0, V1881=0, V1882=0, V1883=0, V1884=1, V1885=0, V1886=1, V1887=0, V1888=0, V1889=0, V1890=0, V1891=0, V1892=0, V1893=0, V1894=0, V1895=0, V1896=0, V1897=0, V1898=0, V1899=0, V1900=0, V1901=0, V1902=0, V1903=0, V1904=1, V1905=0, V1906=0, V1907=0, V1908=0, V1909=0, V1910=1, V1911=0, V1912=1, V1913=0, V1914=0, V1915=1, V1916=0, V1917=0, V1918=0, V1919=0, V1920=0, V1921=0, V1922=0, V1923=0, V1924=0, V1925=0, V1926=0, V1927=0, V1928=0, V1929=0, V1930=0, V1931=0, V1932=0, V1933=0, V1934=0, V1935=0, V1936=0, V1937=0, V1938=0, V1939=0, V1940=0, V1941=0, V1942=0, V1943=0, V1944=0, V1945=0, V1946=0, V1947=0, V1948=0, V1949=0, V1950=0, V1951=0, V1952=0, V1953=0, V1954=0, V1955=0, V1956=0, V1957=1, V1958=0, V1959=0, V1960=0, V1961=0, V1962=0, V1963=0, V1964=0, V1965=0, V1966=0, V1967=0, V1968=0, V1969=0, V1970=0, V1971=0, V1972=1, V1973=0, V1974=0, V1975=0, V1976=0, V1977=0, V1978=0, V1979=0, V1980=0, V1981=0, V1982=0, V1983=0, V1984=0, V1985=0, V1986=0, V1987=0, V1988=0, V1989=0, V1990=0, V1991=1, V1992=0, V1993=0, V1994=0, V1995=0, V1996=0, V1997=0, V1998=0, V1999=0, V2000=0, V2001=0, V2002=0, V2003=0, V2004=0, V2005=1, V2006=1, V2007=0, V2008=1, V2009=0, V2010=0, V2011=0, V2012=0, V2013=0, V2014=0, V2015=0, V2016=0, V2017=0, V2018=0, V2019=0, V2020=0, V2021=0, V2022=0, V2023=0, V2024=0, V2025=0, V2026=0, V2027=0, V2028=0, V2029=0, V2030=0, V2031=1, V2032=0, V2033=0, V2034=0, V2035=0, V2036=0, V2037=0, V2038=0, V2039=0, V2040=0, V2041=0, V2042=0, V2043=1, V2044=0, V2045=0, V2046=0, V2047=0, V2048=0, V2049=0, V2050=0, V2051=0, V2052=0, V2053=0, V2054=0, V2055=0, V2056=0, V2057=0, V2058=0, V2059=0, V2060=1, V2061=0, V2062=0, V2063=0, V2064=0, V2065=0, V2066=1, V2067=0, V2068=0, V2069=0, V2070=0, V2071=0, V2072=0, V2073=0, V2074=0, V2075=0, V2076=1, V2077=0, V2078=0, V2079=0, V2080=0, V2081=0, V2082=0, V2083=0, V2084=0, V2085=0, V2086=0, V2087=0, V2088=0, V2089=0, V2090=0, V2091=0, V2092=0, V2093=0, V2094=0, V2095=0, V2096=0, V2097=0, V2098=0, V2099=0, V2100=0, V2101=0, V2102=0, V2103=0, V2104=0, V2105=0, V2106=1, V2107=0, V2108=0, V2109=0, V2110=0, V2111=0, V2112=0, V2113=0, V2114=0, V2115=0, V2116=0, V2117=0, V2118=0, V2119=0, V2120=0, V2121=0, V2122=0, V2123=0, V2124=0, V2125=0, V2126=0, V2127=0, V2128=0, V2129=0, V2130=0, V2131=0, V2132=0, V2133=0, V2134=0, V2135=0, V2136=0, V2137=0, V2138=0, V2139=0, V2140=0, V2141=0, V2142=0, V2143=0, V2144=0, V2145=1, 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=0, V2159=0, V2160=0, V2161=0, V2162=0, V2163=0, V2164=0, V2165=0, V2166=1, V2167=0, V2168=0, V2169=0, V2170=0, V2171=0, V2172=0, V2173=0, V2174=0, V2175=1, V2176=0, V2177=0, V2178=0, V2179=0, V2180=0, V2181=0, V2182=0, V2183=0, V2184=0, V2185=0, V2186=0, V2187=0, V2188=0, V2189=0, V2190=0, V2191=0, V2192=0, V2193=0, V2194=1, V2195=0, V2196=0, V2197=0, V2198=0, V2199=0, V2200=0, V2201=0, V2202=0, V2203=1, V2204=0, V2205=0, V2206=0, V2207=0, V2208=0, V2209=0, V2210=0, V2211=0, V2212=0, V2213=0, V2214=0, V2215=1, V2216=0, V2217=0, V2218=0, V2219=0, V2220=0, V2221=0, V2222=0, V2223=0, V2224=0, V2225=0, V2226=1, V2227=0, V2228=0, V2229=0, V2230=0, V2231=0, V2232=0, V2233=1, V2234=0, V2235=0, V2236=0, V2237=0, V2238=0, V2239=0, V2240=1, V2241=0, V2242=0, V2243=0, V2244=1, V2245=0, V2246=0, V2247=0, V2248=0, V2249=0, V2250=0, V2251=0, V2252=0, V2253=1, V2254=0, V2255=0, V2256=0, V2257=0, V2258=0, V2259=1, V2260=0, V2261=0, V2262=0, V2263=0, V2264=0, V2265=0, V2266=0, V2267=1, V2268=0, V2269=0, V2270=0, V2271=0, V2272=0, V2273=1, V2274=0, V2275=0, V2276=0, V2277=0, V2278=0, V2279=1, V2280=0, V2281=0, V2282=0, V2283=0, V2284=0, V2285=1, V2286=0, V2287=0, V2288=0, V2289=0, V2290=1, V2291=0, V2292=0, V2293=0, V2294=0, V2295=1, V2296=0, V2297=0, V2298=0, V2299=0, V2300=0, V2301=0, V2302=1, V2303=0, V2304=0, V2305=0, V2306=1, V2307=0, V2308=0, V2309=0, V2310=1, V2311=0, V2312=0, V2313=0, V2314=0, V2315=0, V2316=0, V2317=0, V2318=0, V2319=0, V2320=0, V2321=0, V2322=0, V2323=0, V2324=0, V2325=1, V2326=0, V2327=0, V2328=0, V2329=0, V2330=0, V2331=1, V2332=0, V2333=0, V2334=0, V2335=0, V2336=1, 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=1, V2355=0, V2356=0, V2357=0, 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=0, V2371=0, V2372=0, V2373=0, V2374=1, V2375=0, V2376=0, V2377=0, V2378=0, V2379=0, V2380=1, V2381=0, V2382=0, V2383=0, V2384=1, V2385=0, V2386=0, V2387=0, V2388=0, V2389=0, V2390=0, V2391=0, V2392=0, V2393=1, V2394=0, V2395=1, V2396=0, V2397=0, V2398=0, V2399=0, V2400=0, V2401=0, V2402=0, V2403=0, V2404=0, V2405=1, 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=1, V2425=0, V2426=0, V2427=0, V2428=0, V2429=0, V2430=0, V2431=0, V2432=0, V2433=0, V2434=0, V2435=1, V2436=0, V2437=0, V2438=0, V2439=1, V2440=0, V2441=0, V2442=0, V2443=0, V2444=1, V2445=0, V2446=0, V2447=0, V2448=1, V2449=0, V2450=0, V2451=0, V2452=0, V2453=0, V2454=0, V2455=0, V2456=0, V2457=1, V2458=0, V2459=0, V2460=0, V2461=0, V2462=0, V2463=0, V2464=1, V2465=0, V2466=0, V2467=0, V2468=0, V2469=1, V2470=0, V2471=0, V2472=0, V2473=0, V2474=1, V2475=0, V2476=0, V2477=0, V2478=1, V2479=0, V2480=0, 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=0, V2495=1, V2496=0, V2497=0, V2498=0, V2499=0, V2500=0, V2501=0, V2502=0, V2503=1, V2504=0, V2505=0, V2506=0, V2507=0, V2508=0, V2509=0, V2510=0, V2511=0, V2512=1, V2513=0, V2514=0, V2515=0, V2516=0, V2517=1, V2518=0, V2519=0, V2520=0, V2521=0, V2522=0, V2523=1, V2524=0, V2525=0, V2526=0, V2527=0, V2528=0, V2529=0, V2530=1, V2531=0, V2532=1, V2533=0, V2534=0, V2535=0, V2536=0, V2537=0, V2538=0, V2539=0, V2540=0, V2541=1, V2542=0, V2543=0, V2544=0, V2545=0, V2546=0, V2547=0, V2548=0, V2549=0, V2550=0, V2551=1, V2552=0, V2553=0, V2554=0, V2555=0, V2556=1, V2557=0, V2558=0, V2559=0, V2560=0, V2561=0, V2562=0, V2563=0, V2564=0, V2565=0, V2566=0, V2567=1, V2568=0, V2569=0, V2570=1, V2571=0, V2572=0, V2573=0, V2574=0, V2575=0, V2576=0, V2577=0, V2578=1, V2579=0, V2580=0, V2581=0, V2582=0, V2583=1, V2584=0, V2585=0, V2586=0, V2587=0, V2588=0, V2589=0, V2590=1, V2591=0, V2592=0, V2593=1, V2594=0, V2595=0, V2596=0, V2597=0, V2598=0, V2599=0, V2600=0, V2601=1, V2602=0, V2603=0, V2604=0, V2605=0, V2606=1, V2607=0, V2608=0, V2609=0, V2610=0, V2611=0, V2612=0, V2613=1, V2614=0, V2615=0, V2616=0, V2617=0, V2618=0, V2619=0, V2620=0, V2621=0, V2622=0, V2623=0, V2624=0, V2625=0, V2626=1, V2627=0, V2628=0, V2629=0, V2630=0, V2631=1, V2632=0, V2633=0, V2634=0, V2635=0, V2636=0, V2637=1, V2638=0, V2639=0, V2640=0, V2641=0, V2642=0, V2643=1, V2644=0, V2645=0, V2646=0, V2647=0, V2648=0, V2649=1, V2650=0, V2651=0, V2652=0, V2653=1, V2654=0, V2655=0, V2656=0, V2657=0, V2658=0, V2659=0, V2660=0, V2661=1, 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=1, V2680=0, V2681=0, V2682=0, V2683=0, V2684=0, V2685=0, V2686=1, 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=0, V2705=1, V2706=1, V2707=0, V2708=0, V2709=0, V2710=0, V2711=0, V2712=0, V2713=0, V2714=1, V2715=0, V2716=0, V2717=0, V2718=0, V2719=0, V2720=0, V2721=0, V2722=0, V2723=1, V2724=0, V2725=0, V2726=0, V2727=0, V2728=1, V2729=0, V2730=0, V2731=0, V2732=0, V2733=0, V2734=0, V2735=1, V2736=0, V2737=0, V2738=0, V2739=0, V2740=1, V2741=0, V2742=0, V2743=0, V2744=0, V2745=1, V2746=0, V2747=0, V2748=1, V2749=0, V2750=0, V2751=0, V2752=0, V2753=0, V2754=0, V2755=0, V2756=0, V2757=1, V2758=0, V2759=0, V2760=0, V2761=0, V2762=0, V2763=0, V2764=1, V2765=0, V2766=0, V2767=0, V2768=0, V2769=1, V2770=0, V2771=0, V2772=0, V2773=0, V2774=0, V2775=0, V2776=0, V2777=1, V2778=0, V2779=1, V2780=0, V2781=0, V2782=0, V2783=0, V2784=1, V2785=0, V2786=0, V2787=0, V2788=0, V2789=0, V2790=0, V2791=0, V2792=0, V2793=0, V2794=0, V2795=1, V2796=0, V2797=1, V2798=0, 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=1, V2824=0, V2825=0, V2826=0, V2827=0, V2828=0, V2829=0, V2830=1, V2831=0, V2832=0, V2833=0, V2834=0, V2835=0, V2836=0, V2837=1, V2838=0, V2839=0, V2840=0, V2841=0, V2842=1, V2843=0, V2844=0, V2845=0, V2846=0, V2847=0, V2848=0, V2849=1, V2850=0, V2851=0, V2852=0, V2853=0, V2854=1, V2855=0, V2856=0, V2857=0, V2858=0, V2859=0, V2860=1, V2861=0, V2862=0, V2863=0, V2864=0, V2865=1, V2866=0, V2867=0, V2868=0, V2869=0, V2870=0, V2871=0, V2872=1, V2873=0, V2874=0, V2875=1, V2876=0, V2877=0, V2878=0, V2879=0, V2880=0, V2881=0, V2882=1, V2883=0, V2884=0, V2885=0, V2886=0, V2887=0, V2888=0, V2889=1, V2890=0, V2891=0, V2892=0, V2893=0, V2894=1, V2895=0, V2896=0, V2897=0, V2898=1, V2899=0, V2900=0, V2901=0, V2902=0, V2903=0, V2904=0, V2905=0, V2906=0, V2907=0, V2908=1, V2909=0, V2910=0, V2911=0, V2912=0, V2913=1, V2914=0, V2915=0, V2916=0, V2917=0, V2918=0, V2919=0, V2920=1, V2921=0, V2922=0, V2923=1, 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=0, V2937=0, V2938=0, V2939=1, V2940=0, V2941=1, V2942=0, V2943=0, V2944=0, V2945=0, V2946=0, V2947=0, V2948=0, V2949=0, V2950=0, V2951=1, V2952=0, V2953=0, V2954=0, V2955=0, V2956=0, V2957=1, V2958=1, V2959=0, V2960=0, V2961=0, V2962=0, V2963=0, V2964=0, V2965=0, V2966=0, V2967=1, V2968=0, V2969=0, V2970=0, V2971=0, V2972=0, V2973=0, V2974=1, V2975=0, V2976=0, V2977=0, V2978=1, V2979=0, V2980=0, V2981=0, V2982=0, V2983=0, V2984=0, V2985=0, V2986=0, V2987=1, V2988=0, V2989=1, V2990=0, V2991=0, V2992=0, V2993=0, V2994=0, V2995=0, V2996=1, V2997=0, V2998=0, V2999=0, V3000=0, V3001=0, V3002=0, V3003=1, V3004=0, V3005=0, V3006=1, V3007=0, V3008=0, V3009=0, V3010=0, V3011=0, V3012=0, V3013=0, V3014=0, V3015=0, V3016=1, V3017=0, V3018=0, V3019=0, V3020=0, V3021=0, V3022=1, V3023=0, V3024=0, V3025=0, V3026=0, V3027=0, V3028=0, V3029=1, V3030=0, V3031=0, V3032=1, V3033=0, V3034=0, V3035=0, V3036=1, V3037=0, V3038=0, V3039=0, V3040=0, V3041=0, V3042=0, V3043=1, V3044=0, V3045=0, V3046=0, V3047=0, V3048=0, V3049=0, V3050=0, V3051=0, V3052=1, 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=0, V3069=0, V3070=1, V3071=0, V3072=0, V3073=0, V3074=0, V3075=1, V3076=0, V3077=0, V3078=0, V3079=0, V3080=0, V3081=1, V3082=0, V3083=0, V3084=0, V3085=0, V3086=0, V3087=1, V3088=0, V3089=0, V3090=0, V3091=1, V3092=0, V3093=0, V3094=0, V3095=0, V3096=0, V3097=1, V3098=0, V3099=0, V3100=0, V3101=0, V3102=0, V3103=1, V3104=0, V3105=0, V3106=0, V3107=0, V3108=0, V3109=0, V3110=0, V3111=0, V3112=0, V3113=1, V3114=0, V3115=0, V3116=0, V3117=1, V3118=0, V3119=0, V3120=0, V3121=0, V3122=0, V3123=0, V3124=1, V3125=0, V3126=0, V3127=0, V3128=0, V3129=0, V3130=0, V3131=0, V3132=0, V3133=0, V3134=0, V3135=0, V3136=1, V3137=0, V3138=0, V3139=0, V3140=1, V3141=0, V3142=0, V3143=0, V3144=0, V3145=0, V3146=0, V3147=0, V3148=0, V3149=0, V3150=1, V3151=0, V3152=0, V3153=0, V3154=0, V3155=0, V3156=1, V3157=0, V3158=0, V3159=0, V3160=0, V3161=0, V3162=0, V3163=0, V3164=0, V3165=1, V3166=0, V3167=0, V3168=0, V3169=0, V3170=0, V3171=0, V3172=1, V3173=0, V3174=0, V3175=0, V3176=0, V3177=0, V3178=0, V3179=1, V3180=0, V3181=0, V3182=0, V3183=1, V3184=0, V3185=0, V3186=0, V3187=0, V3188=0, V3189=1, V3190=0, V3191=0, V3192=0, V3193=0, V3194=0, V3195=1, V3196=0, V3197=0, V3198=0, V3199=0, V3200=0, V3201=0, V3202=0, V3203=0, V3204=0, V3205=0, V3206=0, V3207=0, V3208=0, V3209=1, V3210=0, V3211=0, V3212=1, V3213=0, V3214=0, V3215=0, V3216=0, V3217=0, V3218=0, V3219=1, V3220=0, V3221=0, V3222=1, V3223=0, V3224=0, V3225=0, V3226=0, V3227=0, V3228=0, V3229=0, V3230=0, V3231=0, V3232=1, V3233=0, V3234=0, V3235=0, V3236=0, V3237=0, V3238=0, V3239=1, V3240=1, V3241=0, V3242=0, V3243=0, V3244=0, V3245=0, V3246=1, V3247=0, V3248=0, V3249=0, V3250=0, V3251=0, V3252=0, V3253=0, V3254=1, V3255=0, V3256=0, V3257=0, V3258=0, V3259=0, V3260=0, V3261=0, V3262=1, V3263=0, V3264=1, V3265=0, V3266=0, V3267=0, V3268=0, V3269=0, V3270=0, V3271=1, V3272=0, V3273=0, V3274=0, V3275=0, V3276=0, V3277=1, V3278=0, V3279=0, V3280=0, V3281=0, V3282=0, V3283=0, V3284=0, V3285=1, V3286=0, V3287=0, V3288=1, V3289=0, V3290=0, V3291=0, 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=0, V3311=1, V3312=0, V3313=0, V3314=0, V3315=0, V3316=1, V3317=0, V3318=0, V3319=0, V3320=0, V3321=0, V3322=0, V3323=1, V3324=0, V3325=0, V3326=0, V3327=0, V3328=1, V3329=0, V3330=0, V3331=1, V3332=0, V3333=0, V3334=0, V3335=0, V3336=1, V3337=0, V3338=0, V3339=0, V3340=0, V3341=0, V3342=0, V3343=0, V3344=1, V3345=0, V3346=0, V3347=0, V3348=0, V3349=0, V3350=0, V3351=1, V3352=0, V3353=0, V3354=0, V3355=0, V3356=0, V3357=1, V3358=0, V3359=0, V3360=0, V3361=0, V3362=0, V3363=0, V3364=1, V3365=0, V3366=0, V3367=0, V3368=0, V3369=0, V3370=1, V3371=0, V3372=0, V3373=0, V3374=0, V3375=1, V3376=0, V3377=0, V3378=0, V3379=0, V3380=1, V3381=0, V3382=0, V3383=0, V3384=1, V3385=0, V3386=0, V3387=0, V3388=0, V3389=0, V3390=0, V3391=0, V3392=0, V3393=0, V3394=1, V3395=0, V3396=0, V3397=1, V3398=0, V3399=0, V3400=0, V3401=0, V3402=0, V3403=0, V3404=1, V3405=0, V3406=0, V3407=0, V3408=0, V3409=0, V3410=0, V3411=1, V3412=0, V3413=0, V3414=1, V3415=0, V3416=0, V3417=0, V3418=0, V3419=0, V3420=0, V3421=0, V3422=1, 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=0, V3441=1, V3442=0, V3443=0, V3444=0, V3445=0, V3446=1, V3447=0, V3448=0, V3449=0, V3450=1, V3451=0, V3452=0, V3453=0, V3454=0, V3455=0, V3456=0, V3457=0, V3458=0, V3459=0, V3460=0, V3461=0, V3462=0, V3463=0, V3464=0, V3465=1, V3466=0, V3467=0, V3468=0, V3469=0, V3470=1, V3471=0, V3472=0, V3473=0, V3474=1, V3475=0, V3476=0, V3477=0, V3478=0, V3479=0, V3480=0, V3481=0, V3482=0, V3483=1, V3484=0, V3485=0, V3486=1, V3487=0, V3488=0, V3489=0, V3490=0, V3491=0, V3492=1, V3493=0, V3494=0, V3495=0, V3496=0, V3497=0, V3498=0, V3499=0, V3500=0, V3501=0, V3502=0, V3503=1, V3504=0, V3505=0, V3506=1, V3507=0, V3508=0, V3509=0, V3510=0, V3511=0, V3512=0, V3513=1, V3514=0, V3515=0, V3516=0, V3517=0, V3518=0, V3519=0, V3520=1, V3521=0, V3522=0, V3523=1, V3524=0, V3525=0, V3526=0, V3527=0, 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=0, V3544=0, V3545=1, V3546=0, V3547=0, V3548=0, V3549=0, V3550=1, V3551=0, V3552=1, V3553=0, V3554=0, V3555=0, V3556=0, V3557=0, V3558=0, V3559=0, V3560=0, V3561=0, V3562=0, V3563=1, V3564=0, V3565=1, V3566=0, V3567=0, V3568=0, V3569=0, V3570=0, V3571=1, V3572=0, V3573=0, V3574=0, V3575=0, V3576=1, V3577=0, V3578=0, V3579=0, V3580=0, V3581=0, V3582=0, V3583=0, V3584=0, V3585=0, V3586=1, 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=1, V3610=0, V3611=0, V3612=0, V3613=0, V3614=1, V3615=0, V3616=0, V3617=0, V3618=0, V3619=0, V3620=0, V3621=1, V3622=0, V3623=0, V3624=0, V3625=0, V3626=0, V3627=0, V3628=1, V3629=0, V3630=0, V3631=0, V3632=0, V3633=1, V3634=0, V3635=0, V3636=0, V3637=0, V3638=0, V3639=0, V3640=1, V3641=0, V3642=0, V3643=0, V3644=1, V3645=0, V3646=0, V3647=0, V3648=0, V3649=0, V3650=1, V3651=0, V3652=0, V3653=0, V3654=0, V3655=0, V3656=0, V3657=0, V3658=1, V3659=0, V3660=0, V3661=0, V3662=1, V3663=0, V3664=0, V3665=0, V3666=0, V3667=0, V3668=1, V3669=0, V3670=0, V3671=0, V3672=0, V3673=0, V3674=0, V3675=0, V3676=1, V3677=0, V3678=0, V3679=0, V3680=0, V3681=0, V3682=0, V3683=1, V3684=0, V3685=0, V3686=0, V3687=1, V3688=0, V3689=0, V3690=0, V3691=0, V3692=0, V3693=1, V3694=0, V3695=0, V3696=0, V3697=0, V3698=0, V3699=0, V3700=1, V3701=0, V3702=0, V3703=0, V3704=0, V3705=0, V3706=0, V3707=1, V3708=0, V3709=0, V3710=0, V3711=0, V3712=1, V3713=0, 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=0, V3727=0, V3728=1, V3729=0, V3730=0, V3731=0, V3732=0, V3733=0, V3734=0, V3735=0, V3736=1, V3737=0, V3738=0, V3739=0, V3740=0, V3741=1, V3742=0, V3743=0, V3744=0, V3745=0, V3746=1, V3747=0, V3748=0, V3749=0, V3750=0, V3751=0, V3752=0, V3753=0, V3754=1, V3755=0, V3756=0, V3757=0, V3758=0, V3759=0, V3760=1, V3761=0, V3762=0, V3763=0, V3764=0, V3765=0, V3766=0, V3767=1, V3768=0, V3769=0, V3770=0, V3771=1, V3772=0, V3773=0, V3774=0, V3775=0, V3776=1, V3777=0, V3778=0, V3779=0, V3780=0, V3781=0, V3782=1, V3783=0, V3784=0, V3785=0, V3786=0, V3787=0, V3788=1, V3789=0, V3790=0, V3791=0, V3792=0, V3793=0, V3794=0, V3795=0, V3796=0, V3797=1, V3798=1, V3799=0, V3800=0, V3801=0, V3802=0, V3803=0, V3804=0, V3805=1, V3806=0, V3807=0, V3808=0, V3809=0, V3810=1, V3811=0, V3812=0, V3813=0, V3814=0, V3815=0, V3816=1, V3817=0, V3818=0, V3819=0, V3820=0, V3821=0, V3822=0, V3823=0, V3824=0, V3825=0, V3826=1, V3827=0, V3828=0, V3829=0, V3830=0, V3831=1, V3832=0, V3833=0, V3834=0, V3835=0, V3836=0, V3837=0, V3838=0, V3839=1, V3840=0, V3841=1, V3842=0, V3843=0, V3844=0, V3845=0, V3846=0, V3847=1, V3848=0, V3849=0, V3850=0, V3851=0, V3852=0, V3853=0, V3854=0, V3855=0, V3856=0, V3857=1, V3858=0, V3859=0, V3860=0, V3861=0, V3862=1, V3863=0, V3864=0, V3865=0, V3866=0, V3867=1, V3868=0, V3869=0, V3870=0, V3871=0, V3872=1, V3873=0, V3874=0, V3875=0, V3876=0, V3877=0, V3878=0, V3879=1, V3880=0, V3881=0, V3882=0, V3883=0, V3884=1, V3885=0, V3886=0, V3887=0, V3888=0, V3889=1, V3890=0, V3891=0, V3892=0, V3893=0, V3894=0, V3895=0, V3896=0, V3897=0, V3898=1, V3899=0, V3900=0, V3901=0, V3902=1, V3903=0, V3904=0, V3905=0, V3906=0, V3907=0, V3908=0, V3909=0, V3910=0, V3911=1, V3912=0, V3913=0, V3914=0, V3915=0, V3916=0, V3917=0, V3918=0, V3919=0, V3920=0, V3921=1, V3922=0, V3923=0, V3924=0, V3925=0, V3926=0, V3927=1, V3928=0, V3929=0, V3930=0, V3931=0, V3932=0, V3933=0, V3934=0, V3935=1, V3936=0, V3937=1, V3938=0, V3939=0, V3940=0, V3941=0, V3942=0, V3943=0, V3944=0, V3945=0, V3946=1, V3947=0, V3948=0, V3949=1, V3950=0, V3951=0, V3952=0, V3953=0, V3954=0, V3955=0, V3956=0, V3957=1, V3958=0, V3959=0, V3960=0, V3961=0, V3962=0, V3963=0, V3964=0, V3965=1, V3966=0, V3967=0, V3968=1, V3969=0, V3970=0, V3971=0, V3972=0, V3973=0, V3974=0, V3975=0, V3976=0, V3977=0, V3978=0, V3979=0, V3980=0, V3981=1, V3982=0, V3983=0, V3984=0, V3985=0, V3986=1, V3987=0, V3988=0, V3989=0, V3990=0, V3991=0, V3992=0, V3993=0, V3994=1, V3995=0, V3996=1, V3997=0, V3998=0, V3999=0, V4000=0, V4001=0, V4002=0, V4003=0, V4004=1, V4005=0, V4006=0, V4007=0, V4008=0, V4009=0, V4010=0, V4011=1, V4012=0, V4013=0, V4014=1, V4015=0, V4016=0, V4017=0, V4018=0, V4019=0, V4020=0, V4021=0, V4022=0, V4023=0, V4024=0, V4025=1, V4026=0, V4027=0, V4028=1, V4029=0, V4030=0, V4031=0, V4032=0, V4033=1, V4034=0, V4035=0, V4036=0, V4037=0, V4038=0, V4039=0, V4040=1, V4041=0, V4042=0, V4043=0, V4044=0, V4045=0, V4046=0, V4047=1, V4048=0, V4049=0, V4050=0, V4051=0, V4052=1, V4053=0, V4054=0, V4055=0, V4056=0, V4057=0, V4058=1, V4059=0, V4060=0, V4061=0, V4062=0, V4063=0, V4064=0, V4065=0, V4066=0, V4067=1, V4068=0, V4069=0, V4070=0, V4071=1, V4072=0, V4073=0, V4074=0, V4075=0, V4076=0, V4077=1, V4078=0, V4079=0, V4080=0, V4081=0, V4082=0, V4083=1, V4084=0, V4085=0, V4086=0, V4087=0, V4088=0, V4089=0, V4090=1, V4091=0, V4092=0, V4093=0, V4094=1, V4095=0, V4096=0, V4097=0, V4098=1, V4099=0, V4100=0, V4101=0, V4102=0, V4103=0, 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=0, V4117=0, V4118=0, V4119=1, V4120=0, V4121=0, V4122=1, V4123=0, V4124=0, V4125=0, V4126=0, V4127=0, V4128=0, V4129=0, V4130=0, V4131=0, V4132=0, V4133=1, V4134=0, V4135=1, V4136=0, V4137=0, 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=0, V4156=0, V4157=1, V4158=0, V4159=0, V4160=0, V4161=0, V4162=1, V4163=0, V4164=0, V4165=0, V4166=1, V4167=0, V4168=0, V4169=0, V4170=0, V4171=0, V4172=0, V4173=1, V4174=0, V4175=0, V4176=0, V4177=1, V4178=0, V4179=0, V4180=0, V4181=0, V4182=0, V4183=0, V4184=0, V4185=0, V4186=0, V4187=0, V4188=0, V4189=0, V4190=0, V4191=0, V4192=1, V4193=0, V4194=1, V4195=0, V4196=0, V4197=0, V4198=0, V4199=0, V4200=0, V4201=0, V4202=0, V4203=0, V4204=1, V4205=0, V4206=0, V4207=0, V4208=0, V4209=1, V4210=0, V4211=0, V4212=0, V4213=1, V4214=0, V4215=0, V4216=0, V4217=0, V4218=0, V4219=0, V4220=0, V4221=0, V4222=0, V4223=1, V4224=0, V4225=1, V4226=0, V4227=0, V4228=0, V4229=0, V4230=0, V4231=0, V4232=0, V4233=0, V4234=1, V4235=0, V4236=0, V4237=0, V4238=0, V4239=1, V4240=0, V4241=0, V4242=0, V4243=1, V4244=0, V4245=0, V4246=0, V4247=0, V4248=0, V4249=0, V4250=1, V4251=0, V4252=0, V4253=0, V4254=0, V4255=1, V4256=0, V4257=0, V4258=0, V4259=0, V4260=0, V4261=1, V4262=0, V4263=0, V4264=0, V4265=0, V4266=0, V4267=0, V4268=1, V4269=0, V4270=0, V4271=0, V4272=0, V4273=0, V4274=0, V4275=1, V4276=0, V4277=0, V4278=0, V4279=0, V4280=1, V4281=0, V4282=0, V4283=0, V4284=0, V4285=1, V4286=0, V4287=0, V4288=0, V4289=0, V4290=0, V4291=0, V4292=0, V4293=1, 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=1, V4310=0, V4311=0, V4312=0, V4313=0, V4314=1, V4315=0, V4316=0, V4317=0, V4318=0, V4319=0, V4320=0, V4321=0, V4322=0, V4323=0, V4324=1, V4325=0, V4326=0, V4327=0, V4328=1, V4329=0, V4330=0, V4331=0, V4332=0, V4333=0, V4334=0, V4335=0, V4336=0, V4337=1, V4338=1, V4339=0, V4340=0, V4341=0, V4342=0, V4343=0, V4344=0, V4345=1, V4346=0, V4347=0, V4348=0, V4349=0, V4350=1, V4351=0, V4352=0, V4353=0, V4354=0, V4355=0, V4356=0, V4357=1, V4358=0, V4359=0, V4360=0, V4361=0, V4362=0, V4363=0, V4364=0, V4365=0, V4366=1, V4367=0, V4368=0, V4369=1, V4370=0, V4371=0, V4372=0, V4373=0, V4374=0, V4375=1, V4376=0, V4377=0, V4378=0, V4379=0, V4380=0, V4381=0, V4382=0, V4383=0, V4384=0, V4385=1, V4386=1, V4387=0, V4388=0, V4389=0, V4390=0, V4391=0, V4392=0, V4393=0, V4394=0, V4395=1, V4396=0, V4397=0, V4398=0, V4399=0, V4400=1, V4401=0, V4402=0, V4403=0, V4404=0, V4405=0, V4406=1, V4407=0, V4408=0, V4409=0, V4410=1, V4411=0, V4412=0, V4413=0, V4414=0, V4415=0, V4416=0, V4417=0, V4418=1, V4419=0, V4420=0, V4421=0, V4422=0, V4423=0, V4424=1, V4425=0, V4426=0, V4427=0, V4428=1, V4429=0, V4430=0, 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=0, V4447=0, V4448=1, V4449=0, V4450=0, V4451=0, V4452=0, V4453=0, V4454=1, V4455=0, V4456=0, V4457=0, V4458=0, V4459=0, V4460=0, V4461=0, V4462=1, V4463=0, V4464=0, V4465=1, V4466=0, V4467=0, V4468=0, V4469=0, V4470=0, V4471=0, V4472=1, V4473=0, V4474=0, V4475=0, V4476=0, V4477=0, V4478=1, V4479=0, V4480=0, V4481=0, V4482=0, V4483=0, V4484=0, V4485=0, V4486=1, V4487=0, V4488=0, V4489=0, V4490=0, V4491=1, V4492=0, V4493=0, 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=1, V4507=0, V4508=0, V4509=0, V4510=0, V4511=0, V4512=0, V4513=1, V4514=0, V4515=0, V4516=0, V4517=0, V4518=0, V4519=0, V4520=0, V4521=1, V4522=0, V4523=0, V4524=0, V4525=1, V4526=0, V4527=0, V4528=0, V4529=0, V4530=0, V4531=0, V4532=0, V4533=1, V4534=0, V4535=0, V4536=0, V4537=0, V4538=0, V4539=0, V4540=1, V4541=0, V4542=0, V4543=0, V4544=0, V4545=0, V4546=1, V4547=0, V4548=0, V4549=0, V4550=0, V4551=0, V4552=0, V4553=1, V4554=0, V4555=0, V4556=1, V4557=0, V4558=0, V4559=0, V4560=0, V4561=0, V4562=1, V4563=0, V4564=0, V4565=0, V4566=0, V4567=1, V4568=0, V4569=0, V4570=0, V4571=0, V4572=0, V4573=0, V4574=0, V4575=0, V4576=0, V4577=0, V4578=0, V4579=1, V4580=0, V4581=0, V4582=0, V4583=0, V4584=1, V4585=0, V4586=0, V4587=0, V4588=0, V4589=0, V4590=0, V4591=0, V4592=0, V4593=0, V4594=0, V4595=1, V4596=1, V4597=0, V4598=0, V4599=0, V4600=0, V4601=0, V4602=0, V4603=0, V4604=0, V4605=0, V4606=0, V4607=0, V4608=0, V4609=0, V4610=0, V4611=0, V4612=1, V4613=0, V4614=0, V4615=0, V4616=0, V4617=1, V4618=0, V4619=0, V4620=1, V4621=0, V4622=0, V4623=0, V4624=0, V4625=0, V4626=0, V4627=0, V4628=1, V4629=0, V4630=0, V4631=0, V4632=0, V4633=0, V4634=1, V4635=0, V4636=0, V4637=0, V4638=0, V4639=0, V4640=0, V4641=1, V4642=0, V4643=0, V4644=0, V4645=0, V4646=0, V4647=0, V4648=1, V4649=0, V4650=0, V4651=0, V4652=1, V4653=0, V4654=0, V4655=0, V4656=1, V4657=0, V4658=0, V4659=0, V4660=0, V4661=0, 
178.30/179.23	v 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 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 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 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 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 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 0 0 0 1 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 0 1 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 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 0 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 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 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 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 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 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 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 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 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 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 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 1 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 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 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 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 1 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 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 1 0 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 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 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 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 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 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 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 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 1 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 0 1 0 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 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 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 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 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 1 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 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 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 1 0 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 1 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 1 1 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 0 0 0 0 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 0 0 0 0 1 1 0 0 0 0 0 0 0 1 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 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 0 0 1 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 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 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 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 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 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 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 0 0 0 0 0 1 1 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 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 1 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 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 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 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 1 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 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 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 1 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 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 0 1 0 0 0 0 1 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 0 0 1 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 1 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 1 0 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 0 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 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 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 1 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 1 0 0 0 0 0 0 1 0 0 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 0 0 1 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 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 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 0 0 1 0 0 0 0 1 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 0 1 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 1 0 1 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 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 1 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 1 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 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 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 1 0 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 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 1 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 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 1 0 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 0 1 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 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 0 0 1 0 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 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 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 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 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 1 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 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 1 0 0 0 1 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 0 0 0 0 0 1 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 0 0 0 0 1 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 0 0 1 0 0 1 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 1 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 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 0 1 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 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 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 1 0 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 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 1 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 1 0 0 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 1 0 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 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 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 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 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 1 0 0 1 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 1 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 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 0 1 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 1 0 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 0 0 1 0 1 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 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 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 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 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 1 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 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 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 0 1 0 0 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 1 0 0 0 0 0 1 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 0 0 1 0 0 1 0 0 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 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 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 1 0 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 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 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 1 1 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 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 1 0 0 0 1 0 0 0 0 0 
178.49/179.46	d ASSIGNMENTS 9900

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2067545-1247705573/watcher-2067545-1247705573 -o /tmp/evaluation-result-2067545-1247705573/solver-2067545-1247705573 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 940713558 HOME/instance-2067545-1247705573.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.93 1.98 1.99 4/82 14799
/proc/meminfo: memFree=1000760/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=5356 CPUtime=0
/proc/14799/stat : 14799 (pcssolve) R 14797 14799 12845 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 57623106 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 228774701727 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14799/statm: 1339 241 200 169 0 50 0
[pid=14800] ppid=14799 vsize=3676 CPUtime=0
/proc/14800/stat : 14800 (fgrep) R 14799 14799 12845 0 -1 4194304 148 0 0 0 0 0 0 0 22 0 1 0 57623106 3764224 115 996147200 4194304 4274172 548682068976 18446744073709551615 228774871122 0 0 4096 0 0 0 0 17 1 0 0
/proc/14800/statm: 919 115 87 19 0 43 0
[pid=14801] ppid=14799 vsize=5356 CPUtime=0
/proc/14801/stat : 14801 (pcssolve) R 14799 14799 12845 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 57623106 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 228774701727 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14801/statm: 1339 241 200 169 0 50 0

[startup+0.072003 s]
/proc/loadavg: 1.93 1.98 1.99 4/82 14799
/proc/meminfo: memFree=1000760/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=4808 CPUtime=0.04
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 894 826 0 0 1 0 3 0 18 0 1 0 57623106 4923392 503 996147200 134512640 135215973 4294956304 18446744073709551615 134798473 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 1202 503 361 171 0 127 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4808

[startup+0.102015 s]
/proc/loadavg: 1.93 1.98 1.99 4/82 14799
/proc/meminfo: memFree=1000760/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=6128 CPUtime=0.07
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 1238 826 0 0 4 0 3 0 18 0 1 0 57623106 6275072 760 996147200 134512640 135215973 4294956304 18446744073709551615 4159137394 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 1532 760 385 171 0 457 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6128

[startup+0.301037 s]
/proc/loadavg: 1.93 1.98 1.99 4/82 14799
/proc/meminfo: memFree=1000760/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=8888 CPUtime=0.27
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 2076 826 0 0 23 1 3 0 19 0 1 0 57623106 9101312 1327 996147200 134512640 135215973 4294956304 18446744073709551615 10191221 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 2222 1327 385 171 0 1147 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8888

[startup+0.701082 s]
/proc/loadavg: 1.93 1.98 1.99 4/82 14799
/proc/meminfo: memFree=1000760/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=13356 CPUtime=0.67
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 3580 826 0 0 62 2 3 0 23 0 1 0 57623106 13676544 2325 996147200 134512640 135215973 4294956304 18446744073709551615 134762833 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 3339 2325 385 171 0 2264 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13356

[startup+1.50117 s]
/proc/loadavg: 1.93 1.98 1.99 3/83 14805
/proc/meminfo: memFree=990320/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=22420 CPUtime=1.47
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 6645 826 0 0 140 4 3 0 25 0 1 0 57623106 22958080 4316 996147200 134512640 135215973 4294956304 18446744073709551615 4159198660 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 5605 4316 385 171 0 4530 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 22420

[startup+3.10236 s]
/proc/loadavg: 1.93 1.98 1.99 3/83 14805
/proc/meminfo: memFree=979568/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=57988 CPUtime=3.06
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 19469 826 0 0 291 12 3 0 25 0 1 0 57623106 59379712 12491 996147200 134512640 135215973 4294956304 18446744073709551615 4159345951 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 14497 12491 406 171 0 13422 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 57988

[startup+6.30173 s]
/proc/loadavg: 1.94 1.98 1.99 3/83 14805
/proc/meminfo: memFree=939376/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=70196 CPUtime=6.24
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 31126 826 0 0 604 17 3 0 25 0 1 0 57623106 71880704 15595 996147200 134512640 135215973 4294956304 18446744073709551615 134902703 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 17549 15595 409 171 0 16474 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 70196

[startup+12.7015 s]
/proc/loadavg: 1.94 1.98 1.99 3/83 14805
/proc/meminfo: memFree=938928/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=70600 CPUtime=12.61
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 53024 826 0 0 1232 26 3 0 25 0 1 0 57623106 72294400 15681 996147200 134512640 135215973 4294956304 18446744073709551615 134592223 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 17650 15681 409 171 0 16575 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 70600

[startup+25.5019 s]
/proc/loadavg: 1.95 1.98 1.99 3/83 14805
/proc/meminfo: memFree=932976/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=75892 CPUtime=25.35
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 99547 826 0 0 2484 48 3 0 25 0 1 0 57623106 77713408 17186 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 18973 17186 409 171 0 17898 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 75892

[startup+51.1019 s]
/proc/loadavg: 1.97 1.98 1.99 3/83 14805
/proc/meminfo: memFree=918640/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=90712 CPUtime=50.82
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 255566 826 0 0 4961 118 3 0 25 0 1 0 57623106 92889088 20898 996147200 134512640 135215973 4294956304 18446744073709551615 134589293 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 22678 20898 409 171 0 21603 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 90712

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/83 14805
/proc/meminfo: memFree=862000/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=146592 CPUtime=101.78
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 566409 826 0 0 9916 259 3 0 25 0 1 0 57623106 150110208 34871 996147200 134512640 135215973 4294956304 18446744073709551615 134983170 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 36648 34871 409 171 0 35573 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 146592

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 14805
/proc/meminfo: memFree=858352/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=150128 CPUtime=161.48
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 791004 826 0 0 15797 348 3 0 25 0 1 0 57623106 153731072 35770 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 37532 35770 409 171 0 36457 0
Current children cumulated CPU time (s) 161.48
Current children cumulated vsize (KiB) 150128

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

[startup+166.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 14805
/proc/meminfo: memFree=857840/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=150652 CPUtime=165.46
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 803347 826 0 0 16189 354 3 0 25 0 1 0 57623106 154267648 35895 996147200 134512640 135215973 4294956304 18446744073709551615 134581776 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 37663 35895 409 171 0 36588 0
Current children cumulated CPU time (s) 165.46
Current children cumulated vsize (KiB) 150652

[startup+172.707 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 14805
/proc/meminfo: memFree=854512/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=153960 CPUtime=171.83
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 820916 826 0 0 16819 361 3 0 25 0 1 0 57623106 157655040 36736 996147200 134512640 135215973 4294956304 18446744073709551615 134583656 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 38490 36736 409 171 0 37415 0
Current children cumulated CPU time (s) 171.83
Current children cumulated vsize (KiB) 153960

[startup+175.901 s]
/proc/loadavg: 1.99 1.98 1.99 4/83 14805
/proc/meminfo: memFree=851504/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=156912 CPUtime=175.02
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 843223 826 0 0 17128 371 3 0 25 0 1 0 57623106 160677888 37477 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 39228 37477 409 171 0 38153 0
Current children cumulated CPU time (s) 175.02
Current children cumulated vsize (KiB) 156912

[startup+177.501 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 14805
/proc/meminfo: memFree=850032/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=158896 CPUtime=176.6
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 852655 826 0 0 17282 375 3 0 25 0 1 0 57623106 162709504 37971 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 39724 37971 409 171 0 38649 0
Current children cumulated CPU time (s) 176.6
Current children cumulated vsize (KiB) 158896

[startup+178.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 14805
/proc/meminfo: memFree=848944/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=160412 CPUtime=177.4
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 856561 826 0 0 17360 377 3 0 25 0 1 0 57623106 164261888 38351 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 40103 38351 409 171 0 39028 0
Current children cumulated CPU time (s) 177.4
Current children cumulated vsize (KiB) 160412

[startup+179.102 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 14805
/proc/meminfo: memFree=848944/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=182644 CPUtime=178.2
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 864836 826 0 0 17437 380 3 0 25 0 1 0 57623106 187027456 40837 996147200 134512640 135215973 4294956304 18446744073709551615 134976685 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 45661 40837 409 171 0 44586 0
Current children cumulated CPU time (s) 178.2
Current children cumulated vsize (KiB) 182644

[startup+179.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 14805
/proc/meminfo: memFree=837488/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=178680 CPUtime=178.4
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 865013 826 0 0 17457 380 3 0 25 0 1 0 57623106 182968320 40074 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 44670 40074 409 171 0 43595 0
Current children cumulated CPU time (s) 178.4
Current children cumulated vsize (KiB) 178680

[startup+179.402 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 14805
/proc/meminfo: memFree=837488/2055920 swapFree=4192812/4192956
[pid=14799] ppid=14797 vsize=178680 CPUtime=178.49
/proc/14799/stat : 14799 (pcs.big) R 14797 14799 12845 0 -1 4194304 865013 826 0 0 17466 380 3 0 25 0 1 0 57623106 182968320 40074 996147200 134512640 135215973 4294956304 18446744073709551615 134532680 0 0 4096 0 0 0 0 17 1 0 0
/proc/14799/statm: 44670 40074 409 171 0 43595 0
Current children cumulated CPU time (s) 178.49
Current children cumulated vsize (KiB) 178680

Child status: 0
Real time (s): 179.485
CPU time (s): 178.6
CPU user time (s): 174.755
CPU system time (s): 3.84442
CPU usage (%): 99.5067
Max. virtual memory (cumulated for all children) (KiB): 182780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 174.755
system time used= 3.84441
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 865842
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= 2181

runsolver used 0.236963 second user time and 0.58991 second system time

The end

Begin job on node74 at 2009-07-16 02:52:53
IDJOB=2067545
IDBENCH=54671
IDSOLVER=733
FILE ID=node74/2067545-1247705573
PBS_JOBID= 9521169
Free space on /tmp= 103028 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/pseudo/ppp/normalized-ppp-1-12-16.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2067545-1247705573/watcher-2067545-1247705573 -o /tmp/evaluation-result-2067545-1247705573/solver-2067545-1247705573 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 940713558 HOME/instance-2067545-1247705573.xml

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

MD5SUM BENCH= 96f1337b79f3da95716c335bb7a66475
RANDOM SEED=940713558

node74.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.234
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.234
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1001240 kB
Buffers:         67088 kB
Cached:         841324 kB
SwapCached:          0 kB
Active:         119632 kB
Inactive:       858664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1001240 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6600 kB
Writeback:           0 kB
Mapped:          90276 kB
Slab:            61304 kB
Committed_AS:   575212 kB
PageTables:       2024 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103028 MiB
End job on node74 at 2009-07-16 02:55:53