0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.03	c Seed is 861729240
0.00/0.03	c Constructing HOME/instance-2083991-1247724176.xml  with 379758 constraints
6.58/6.67	c Solving 60 backtracks 2 restarts
243.70/244.11	s SATISFIABLE
243.70/244.11	c V0=2136, V1=1280, V2=1880, V3=1436, V4=-1616, V5=-1872, V6=1306, V7=1396, V8=1782, V9=1886, V10=1934, V11=1514, V12=2084, V13=1886, V14=2176, V15=1592, V16=-1614, V17=2120, V18=1516, V19=1846, V20=1740, V21=1404, V22=2086, V23=1728, V24=1968, V25=2018, V26=1330, V27=1382, V28=1800, V29=1742, V30=1728, V31=1428, V32=2156, V33=1632, V34=2154, V35=1514, V36=1518, V37=2046, V38=1614, V39=2050, V40=1732, V41=1364, V42=1780, V43=1388, V44=1804, V45=1728, V46=2122, V47=1978, V48=1594, V49=1654, V50=1780, V51=1598, V52=1554, V53=2046, V54=2136, V55=1712, V56=1702, V57=2196, V58=2002, V59=2008, V60=2054, V61=1936, V62=1606, V63=1964, V64=1784, V65=1974, V66=1686, V67=1388, V68=1584, V69=2180, V70=1844, V71=2018, V72=1634, V73=2184, V74=2162, V75=-1224, V76=1634, V77=-1574, V78=-1814, V79=1284, V80=1622, V81=1740, V82=-1734, V83=1886, V84=2176, V85=1976, V86=1694, V87=1804, V88=1572, V89=1514, V90=2176, V91=1518, V92=1740, V93=1514, V94=1288, V95=1952, V96=1866, V97=1672, V98=1960, V99=1232, V100=2084, V101=2132, V102=1556, V103=2062, V104=2080, V105=2144, V106=-1964, V107=2044, V108=1388, V109=1290, V110=-1630, V111=1810, V112=1924, V113=1630, V114=1952, V115=-1532, V116=1260, V117=1638, V118=2046, V119=1434, V120=1382, V121=1342, V122=1976, V123=1442, V124=-1354, V125=1926, V126=1594, V127=1686, V128=2082, V129=1514, V130=-1734, V131=1220, V132=-1510, V133=1382, V134=1590, V135=1686, V136=1592, V137=1414, V138=1776, V139=2154, V140=1932, V141=1976, V142=1740, V143=-1872, V144=2048, V145=1978, V146=-1860, V147=-1350, V148=1668, V149=2054, V150=2086, V151=2008, V152=2008, V153=2018, V154=1592, V155=1886, V156=-1390, V157=1886, V158=1718, V159=2086, V160=1290, V161=2046, V162=1554, V163=1396, V164=2046, V165=1396, V166=1966, V167=1740, V168=2094, V169=1886, V170=1970, V171=1846, V172=1654, V173=1746, V174=-1882, V175=2098, V176=-1328, V177=1694, V178=1518, V179=1688, V180=1288, V181=2044, V182=1326, V183=1348, V184=2136, V185=1850, V186=-1290, V187=1528, V188=1798, V189=2056, V190=1692, V191=1726, V192=1342, V193=1798, V194=2088, V195=2056, V196=1804, V197=2084, V198=1382, V199=1746, V200=1832, V201=-1974, V202=2018, V203=1572, V204=1688, V205=1430, V206=2182, V207=1404, V208=-1320, V209=2054, V210=1930, V211=2096, V212=1382, V213=1616, V214=1594, V215=1798, V216=-1520, V217=1706, V218=-1534, V219=1632, V220=-1220, V221=-1924, V222=2094, V223=-1588, V224=-1532, V225=1884, V226=1850, V227=1382, V228=2184, V229=2050, V230=2094, V231=1612, V232=2086, V233=1660, V234=1632, V235=1268, V236=1328, V237=1838, V238=1846, V239=-1574, V240=1568, V241=1288, V242=1642, V243=1790, V244=1556, V245=2008, V246=1700, V247=2046, V248=1942, V249=1838, V250=1498, V251=1728, V252=1516, V253=2142, V254=2176, V255=1388, V256=1886, V257=1530, V258=1964, V259=1896, V260=1274, V261=1582, V262=2184, V263=1640, V264=1886, V265=1448, V266=1702, V267=1672, V268=2018, V269=1686, V270=2018, V271=1476, V272=2016, V273=1688, V274=2084, V275=1706, V276=1328, V277=1634, V278=1884, V279=1924, V280=1594, V281=1308, V282=-1424, V283=1634, V284=-1680, V285=1926, V286=1404, V287=1574, V288=1612, V289=1328, V290=1364, V291=2130, V292=1924, V293=2048, V294=1924, V295=1780, V296=1388, V297=2140, V298=2056, V299=-1718, V300=2046, V301=2094, V302=-1624, V303=1270, V304=1348, V305=2084, V306=2194, V307=1978, V308=1640, V309=-1506, V310=1810, V311=1630, V312=1822, V313=-1664, V314=2044, V315=1594, V316=-1884, V317=2118, V318=2116, V319=1984, V320=2018, V321=2084, V322=1288, V323=1742, V324=1632, V325=2054, V326=1552, V327=-2024, V328=1704, V329=1396, V330=1850, V331=1520, V332=1386, V333=1476, V334=-1978, V335=2018, V336=1654, V337=1686, V338=2034, V339=1396, V340=1966, V341=2094, V342=-2164, V343=1846, V344=1644, V345=1926, V346=-2120, V347=2054, V348=2078, V349=2156, V350=1572, V351=2046, V352=2046, V353=1316, V354=-1694, V355=1514, V356=1936, V357=2126, V358=1594, V359=2144, V360=2010, V361=1728, V362=1982, V363=1554, V364=1688, V365=2054, V366=1558, V367=1404, V368=1846, V369=-1594, V370=1612, V371=2096, V372=2144, V373=1634, V374=1706, V375=1976, V376=-1220, V377=1924, V378=-1226, V379=2054, V380=1702, V381=1728, V382=1908, V383=1850, V384=1646, V385=1514, V386=1528, V387=2054, V388=1330, V389=2046, V390=2086, V391=1652, V392=1992, V393=1672, V394=1632, V395=2122, V396=1572, V397=-1244, V398=2182, V399=1672, V400=1886, V401=2054, V402=1886, V403=-2012, V404=2044, V405=-2026, V406=-1980, V407=1886, V408=1886, V409=1592, V410=-1630, V411=1594, V412=2136, V413=1924, V414=1936, V415=1822, V416=1436, V417=1780, V418=1702, V419=-1806, V420=1632, V421=1802, V422=1632, V423=1436, V424=1740, V425=-1404, V426=2196, V427=2096, V428=2196, V429=-1614, V430=1646, V431=2052, V432=1694, V433=2176, V434=1476, V435=2054, V436=1850, V437=1424, V438=2046, V439=-1626, V440=1572, V441=1616, V442=2014, V443=2148, V444=1552, V445=1428, V446=1436, V447=1364, V448=1594, V449=-1738, V450=1654, V451=1712, V452=1594, V453=1886, V454=1604, V455=1926, V456=1428, V457=1706, V458=1388, V459=1746, V460=1574, V461=-1868, V462=1290, V463=1846, V464=1948, V465=1388, V466=1556, V467=1290, V468=1986, V469=1496, V470=1594, V471=2156, V472=2040, V473=1936, V474=2154, V475=-1676, V476=1926, V477=2128, V478=-1266, V479=2140, V480=1364, V481=2084, V482=1968, V483=2184, V484=-1576, V485=1260, V486=1780, V487=1780, V488=1646, V489=2050, V490=1612, V491=2090, V492=1780, V493=2008, V494=2144, V495=-1260, V496=1388, V497=1596, V498=2054, V499=-1522, V500=-1730, V501=1428, V502=2084, V503=-1876, V504=1926, V505=-1826, V506=1558, V507=1540, V508=1686, V509=1764, V510=1732, V511=1308, V512=1968, V513=2194, V514=1672, V515=1552, V516=-1680, V517=1804, V518=2086, V519=1976, V520=1404, V521=1636, V522=1746, V523=1886, V524=1330, V525=2086, V526=1458, V527=2048, V528=2094, V529=-2100, V530=1948, V531=2038, V532=1554, V533=1514, V534=2122, V535=1852, V536=1706, V537=2184, V538=1732, V539=-2216, V540=2016, V541=1688, V542=1886, V543=1312, V544=2148, V545=2054, V546=1454, V547=1846, V548=-1260, V549=2078, V550=1290, V551=1742, V552=2090, V553=2176, V554=1544, V555=1938, V556=2046, V557=1516, V558=1690, V559=-1762, V560=1572, V561=1770, V562=1388, V563=-2088, V564=1686, V565=-1778, V566=1670, V567=1784, V568=1706, V569=1220, V570=1976, V571=1616, V572=1324, V573=2094, V574=1886, V575=-1770, V576=2216, V577=2194, V578=1636, V579=1436, V580=1290, V581=2044, V582=-2018, V583=1688, V584=1712, V585=1972, V586=1882, V587=1492, V588=1634, V589=2084, V590=2182, V591=1656, V592=-1576, V593=1266, V594=-1798, V595=2136, V596=1290, V597=-1596, V598=2046, V599=2054, V600=1226, V601=2094, V602=1404, V603=1654, V604=2084, V605=1940, V606=-1276, V607=1590, V608=1330, V609=1290, V610=1846, V611=1742, V612=1970, V613=1518, V614=2196, V615=1476, V616=1976, V617=1480, V618=2056, V619=1470, V620=1586, V621=1936, V622=1862, V623=-2080, V624=1396, V625=2184, V626=1616, V627=2094, V628=1742, V629=2046, V630=1780, V631=1632, V632=1922, V633=1740, V634=1688, V635=1630, V636=2136, V637=1516, V638=2026, V639=1850, V640=-2146, V641=1906, V642=1764, V643=1618, V644=1764, V645=1556, V646=1936, V647=1382, V648=1388, V649=1846, V650=2184, V651=1388, V652=2044, V653=-1924, V654=1578, V655=1968, V656=1686, V657=1654, V658=1780, V659=1348, V660=1612, V661=1740, V662=1740, V663=1480, V664=2044, V665=1288, V666=1632, V667=2044, V668=1458, V669=1726, V670=1348, V671=1924, V672=1554, V673=1846, V674=1398, V675=1476, V676=1656, V677=1732, V678=-1324, V679=-1654, V680=1718, V681=1440, V682=1802, V683=1290, V684=1492, V685=1514, V686=2096, V687=1342, V688=1518, V689=2184, V690=1604, V691=2056, V692=2130, V693=1330, V694=2122, V695=1328, V696=1298, V697=2086, V698=1428, V699=1428, V700=2142, V701=1380, V702=-1596, V703=2142, V704=1388, V705=1616, V706=2054, V707=2086, V708=2046, V709=2184, V710=1960, V711=2118, V712=1634, V713=1976, V714=2176, V715=1846, V716=1862, V717=2144, V718=-1632, V719=1320, V720=1342, V721=2108, V722=1436, V723=-1350, V724=1694, V725=1798, V726=1396, V727=1500, V728=2196, V729=-1222, V730=2048, V731=1726, V732=-1426, V733=1558, V734=1554, V735=2008, V736=1518, V737=-1576, V738=1572, V739=1726, V740=1924, V741=2086, V742=1554, V743=1786, V744=1452, V745=1728, V746=1966, V747=-1772, V748=1516, V749=1572, V750=2056, V751=1712, V752=2086, V753=2094, V754=1700, V755=2054, V756=1706, V757=2054, V758=1502, V759=1248, V760=1634, V761=2084, V762=1730, V763=1692, V764=-1730, V765=1516, V766=1886, V767=1314, V768=2092, V769=1692, V770=1310, V771=1828, V772=1330, V773=1832, V774=1886, V775=-1238, V776=-1414, V777=1554, V778=1612, V779=1712, V780=1612, V781=1290, V782=1388, V783=1678, V784=1742, V785=-1836, V786=2136, V787=1706, V788=2044, V789=1428, V790=1694, V791=2046, V792=1594, V793=2080, V794=1702, V795=2182, V796=2028, V797=1288, V798=2162, V799=1802, V800=1656, V801=2136, V802=1318, V803=2054, V804=2048, V805=1692, V806=1428, V807=-1750, V808=1570, V809=1948, V810=1554, V811=1634, V812=-2194, V813=2048, V814=1834, V815=1706, V816=1732, V817=1794, V818=1256, V819=1780, V820=1592, V821=1314, V822=2120, V823=1456, V824=1328, V825=1592, V826=1886, V827=-1600, V828=1842, V829=2094, V830=1694, V831=2084, V832=2136, V833=1584, V834=1388, V835=1612, V836=1530, V837=1978, V838=1516, V839=1436, V840=1388, V841=2084, V842=2090, V843=1388, V844=1634, V845=1634, V846=2008, V847=1460, V848=-2056, V849=1694, V850=1692, V851=1594, V852=2082, V853=1688, V854=-1390, V855=1740, V856=2056, V857=-1970, V858=1988, V859=2038, V860=1694, V861=1810, V862=2084, V863=1812, V864=1826, V865=2216, V866=1284, V867=1392, V868=1290, V869=2016, V870=1456, V871=1422, V872=1614, V873=1460, V874=1794, V875=1936, V876=1634, V877=1810, V878=1946, V879=1936, V880=1838, V881=-1300, V882=2194, V883=1422, V884=1678, V885=2136, V886=-2064, V887=1838, V888=-1522, V889=2216, V890=1886, V891=1342, V892=1306, V893=-1220, V894=2162, V895=-1260, V896=1592, V897=2046, V898=1634, V899=2196, V900=1976, V901=1388, V902=1260, V903=1328, V904=1654, V905=1686, V906=-1820, V907=-1778, V908=1764, V909=1936, V910=2176, V911=1780, V912=1428, V913=-1976, V914=2194, V915=1516, V916=2008, V917=1978, V918=2086, V919=1828, V920=-1828, V921=-1484, V922=1572, V923=2136, V924=1654, V925=2144, V926=2144, V927=1634, V928=-1968, V929=1672, V930=2180, V931=1846, V932=1732, V933=1290, V934=1702, V935=-1854, V936=2156, V937=1686, V938=2048, V939=2084, V940=1404, V941=1342, V942=2090, V943=1870, V944=1654, V945=1518, V946=2096, V947=1328, V948=-1836, V949=1770, V950=1884, V951=1638, V952=1632, V953=1290, V954=2176, V955=1708, V956=2054, V957=1564, V958=2108, V959=1446, V960=1978, V961=1388, V962=2184, V963=1780, V964=1694, V965=2084, V966=1632, V967=1846, V968=1728, V969=1448, V970=1514, V971=-1670, V972=1976, V973=1254, V974=1668, V975=1728, V976=1428, V977=1764, V978=2044, V979=1594, V980=1290, V981=-1900, V982=2080, V983=1592, V984=2062, V985=1746, V986=2044, V987=1288, V988=2176, V989=-1642, V990=1846, V991=-1416, V992=-1278, V993=1428, V994=2194, V995=2044, V996=2176, V997=1798, V998=1290, V999=1798, V1000=-2006, V1001=1990, V1002=1398, V1003=1364, V1004=1382, V1005=1712, V1006=1220, V1007=1740, V1008=1388, V1009=1706, V1010=1498, V1011=1330, V1012=2046, V1013=2176, V1014=1634, V1015=1740, V1016=1968, V1017=1846, V1018=-2084, V1019=2154, V1020=2048, V1021=2014, V1022=1780, V1023=-2208, V1024=1572, V1025=-2028, V1026=1804, V1027=1692, V1028=1594, V1029=1512, V1030=1656, V1031=1922, V1032=2084, V1033=1272, V1034=1612, V1035=1612, V1036=1746, V1037=1978, V1038=1646, V1039=1964, V1040=1688, V1041=2046, V1042=1842, V1043=1838, V1044=-1854, V1045=-1848, V1046=-1222, V1047=2094, V1048=1296, V1049=1686, V1050=1964, V1051=-2022, V1052=2046, V1053=1516, V1054=1692, V1055=1342, V1056=-1220, V1057=2086, V1058=1288, V1059=1804, V1060=1398, V1061=2018, V1062=-1494, V1063=-2136, V1064=-1370, V1065=1388, V1066=-1892, V1067=2144, V1068=-1748, V1069=1950, V1070=-2120, V1071=1348, V1072=1698, V1073=1592, V1074=1792, V1075=2048, V1076=1850, V1077=1388, V1078=1688, V1079=1632, V1080=1656, V1081=1926, V1082=2046, V1083=2144, V1084=1518, V1085=2096, V1086=2078, V1087=1388, V1088=1778, V1089=2016, V1090=2048, V1091=1546, V1092=1886, V1093=-2174, V1094=1328, V1095=2014, V1096=1804, V1097=2086, V1098=1436, V1099=1654, V1100=2156, V1101=1632, V1102=-1862, V1103=2160, V1104=1924, V1105=2122, V1106=2018, V1107=-1260, V1108=1630, V1109=2176, V1110=1220, V1111=1804, V1112=1976, V1113=1886, V1114=1886, V1115=1514, V1116=2046, V1117=1702, V1118=2176, V1119=1976, V1120=1558, V1121=2054, V1122=-1402, V1123=1850, V1124=-1954, V1125=1324, V1126=1672, V1127=1342, V1128=1268, V1129=1780, V1130=2056, V1131=1646, V1132=2156, V1133=1886, V1134=2094, V1135=1976, V1136=1692, V1137=1542, V1138=1266, V1139=1364, V1140=-1824, V1141=1810, V1142=1724, V1143=1846, V1144=1460, V1145=1460, V1146=1260, V1147=1434, V1148=2040, V1149=1362, V1150=1594, V1151=2014, V1152=1318, V1153=2044, V1154=2162, V1155=1612, V1156=-1866, V1157=1620, V1158=1742, V1159=1558, V1160=2118, V1161=2142, V1162=1742, V1163=1646, V1164=1810, V1165=1538, V1166=1926, V1167=1712, V1168=-2084, V1169=-2022, V1170=1976, V1171=-2054, V1172=2136, V1173=-1854, V1174=1858, V1175=2056, V1176=-1630, V1177=1886, V1178=-1264, V1179=2044, V1180=1342, V1181=1634, V1182=1780, V1183=2044, V1184=-2080, V1185=1290, V1186=-1272, V1187=2086, V1188=1706, V1189=1798, V1190=2136, V1191=1482, V1192=-2018, V1193=1554, V1194=1694, V1195=-1838, V1196=2054, V1197=1290, V1198=1514, V1199=2094, V1200=1436, V1201=1886, V1202=1978, V1203=1558, V1204=1692, V1205=2176, V1206=1726, V1207=1702, V1208=1520, V1209=2054, V1210=1342, V1211=-1900, V1212=-1248, V1213=2086, V1214=2044, V1215=2058, V1216=2092, V1217=2054, V1218=1810, V1219=-1988, V1220=2162, V1221=1922, V1222=1964, V1223=2094, V1224=2136, V1225=1514, V1226=1592, V1227=1706, V1228=1662, V1229=1764, V1230=2176, V1231=2094, V1232=1592, V1233=1330, V1234=2194, V1235=-2018, V1236=1220, V1237=2134, V1238=1936, V1239=1404, V1240=1260, V1241=1220, V1242=1794, V1243=1878, V1244=-1510, V1245=1742, V1246=1884, V1247=2086, V1248=-2114, V1249=1288, V1250=1350, V1251=1572, V1252=1740, V1253=1436, V1254=1428, V1255=2154, V1256=1740, V1257=1632, V1258=1396, V1259=2020, V1260=2054, V1261=1388, V1262=1356, V1263=1290, V1264=1678, V1265=2084, V1266=1516, V1267=-2148, V1268=1518, V1269=1722, V1270=1646, V1271=2142, V1272=1936, V1273=1590, V1274=1602, V1275=1964, V1276=2144, V1277=1836, V1278=1766, V1279=1802, V1280=-1828, V1281=1516, V1282=2162, V1283=1976, V1284=-1492, V1285=1612, V1286=1686, V1287=1964, V1288=1554, V1289=1740, V1290=1680, V1291=2014, V1292=1330, V1293=1554, V1294=1260, V1295=2054, V1296=2054, V1297=-1736, V1298=2064, V1299=2036, V1300=1396, V1301=1330, V1302=1740, V1303=2194, V1304=2086, V1305=1886, V1306=1694, V1307=1606, V1308=1328, V1309=1538, V1310=1396, V1311=1702, V1312=1980, V1313=1850, V1314=1636, V1315=1980, V1316=1592, V1317=1778, V1318=2148, V1319=1654, V1320=2154, V1321=1386, V1322=1688, V1323=-2176, V1324=1264, V1325=-1592, V1326=1388, V1327=-1618, V1328=1818, V1329=2086, V1330=2176, V1331=1964, V1332=-1536, V1333=1220, V1334=2054, V1335=2044, V1336=1694, V1337=1732, V1338=1888, V1339=1788, V1340=2118, V1341=1922, V1342=1594, V1343=2122, V1344=1846, V1345=-1220, V1346=-1852, V1347=1702, V1348=1886, V1349=2130, V1350=1706, V1351=1694, V1352=1220, V1353=2044, V1354=2094, V1355=1762, V1356=-1588, V1357=1850, V1358=-1882, V1359=2136, V1360=1946, V1361=1396, V1362=1762, V1363=1518, V1364=1290, V1365=1740, V1366=1594, V1367=1328, V1368=-1826, V1369=-1934, V1370=1976, V1371=1722, V1372=1328, V1373=1382, V1374=2014, V1375=1358, V1376=1964, V1377=1594, V1378=2084, V1379=1926, V1380=1516, V1381=1390, V1382=1260, V1383=-1260, V1384=1654, V1385=1500, V1386=1910, V1387=1694, V1388=-1360, V1389=2086, V1390=1742, V1391=1406, V1392=1926, V1393=-1520, V1394=-1936, V1395=1688, V1396=2086, V1397=1780, V1398=1634, V1399=1606, V1400=2054, V1401=1396, V1402=1352, V1403=1290, V1404=1702, V1405=2086, V1406=1568, V1407=1348, V1408=1396, V1409=1634, V1410=2046, V1411=1744, V1412=-2176, V1413=1290, V1414=2066, V1415=-1684, V1416=1936, V1417=2046, V1418=2156, V1419=1920, V1420=2182, V1421=-1762, V1422=1260, V1423=1670, V1424=2174, V1425=2044, V1426=-2216, V1427=1742, V1428=1572, V1429=2108, V1430=1302, V1431=2048, V1432=1686, V1433=1364, V1434=1382, V1435=-1670, V1436=2018, V1437=1616, V1438=1460, V1439=1936, V1440=1274, V1441=1396, V1442=1692, V1443=2084, V1444=1978, V1445=2184, V1446=2196, V1447=1260, V1448=1734, V1449=1342, V1450=-2050, V1451=2182, V1452=1342, V1453=1328, V1454=1924, V1455=1702, V1456=1622, V1457=1926, V1458=1728, V1459=1838, V1460=1742, V1461=1742, V1462=1288, V1463=1672, V1464=1886, V1465=1328, V1466=1764, V1467=1974, V1468=-2216, V1469=2008, V1470=2044, V1471=1428, V1472=1592, V1473=2054, V1474=1612, V1475=-1492, V1476=-2176, V1477=1634, V1478=2054, V1479=2154, V1480=1624, V1481=2010, V1482=2176, V1483=1592, V1484=1612, V1485=2086, V1486=1566, V1487=2058, V1488=-1824, V1489=1572, V1490=1258, V1491=1728, V1492=1606, V1493=-1870, V1494=1810, V1495=1592, V1496=2122, V1497=2084, V1498=1728, V1499=1498, V1500=-1232, V1501=1728, V1502=-1832, V1503=1964, V1504=1810, V1505=-1746, V1506=-2216, V1507=-1432, V1508=1926, V1509=2084, V1510=1700, V1511=2142, V1512=1728, V1513=1478, V1514=1428, V1515=2196, V1516=1572, V1517=1976, V1518=1804, V1519=2110, V1520=1832, V1521=2108, V1522=2044, V1523=2130, V1524=-1484, V1525=1558, V1526=-1270, V1527=2184, V1528=1358, V1529=1224, V1530=1396, V1531=2004, V1532=-1928, V1533=1396, V1534=1516, V1535=1886, V1536=1822, V1537=1740, V1538=1886, V1539=1734, V1540=1594, V1541=1404, V1542=1646, V1543=1978, V1544=2094, V1545=2196, V1546=2108, V1547=1320, V1548=1884, V1549=1436, V1550=1552, V1551=1656, V1552=1612, V1553=2154, V1554=2084, V1555=1882, V1556=-1346, V1557=1728, V1558=1330, V1559=2014, V1560=2044, V1561=1346, V1562=2044, V1563=2008, V1564=2008, V1565=2094, V1566=1882, V1567=-1710, V1568=-1818, V1569=2040, V1570=1810, V1571=1726, V1572=1404, V1573=1592, V1574=1436, V1575=1686, V1576=2198, V1577=1694, V1578=1966, V1579=1738, V1580=2014, V1581=1594, V1582=-1382, V1583=1810, V1584=1436, V1585=1988, V1586=1422, V1587=1846, V1588=1388, V1589=1746, V1590=2044, V1591=1290, V1592=2056, V1593=1330, V1594=1384, V1595=1554, V1596=1740, V1597=2080, V1598=1742, V1599=1516, V1600=1764, V1601=1926, V1602=-1618, V1603=2144, V1604=1860, V1605=2084, V1606=1306, V1607=1710, V1608=1592, V1609=1688, V1610=1976, V1611=2054, V1612=2044, V1613=1820, V1614=1998, V1615=2082, V1616=2182, V1617=-2008, V1618=1780, V1619=1978, V1620=1686, V1621=-1824, V1622=2122, V1623=2094, V1624=1554, V1625=1572, V1626=-1438, V1627=1348, V1628=2194, V1629=2044, V1630=1926, V1631=1592, V1632=1798, V1633=1582, V1634=1594, V1635=2094, V1636=1382, V1637=1330, V1638=2136, V1639=1364, V1640=1694, V1641=1758, V1642=1404, V1643=1632, V1644=1558, V1645=1562, V1646=1798, V1647=1392, V1648=1290, V1649=1886, V1650=1394, V1651=-1606, V1652=1796, V1653=1260, V1654=2084, V1655=1260, V1656=1780, V1657=2134, V1658=1814, V1659=1592, V1660=1328, V1661=2020, V1662=1936, V1663=1628, V1664=1900, V1665=-1260, V1666=1646, V1667=1978, V1668=1732, V1669=-1786, V1670=1476, V1671=1690, V1672=2142, V1673=1924, V1674=1228, V1675=2084, V1676=1616, V1677=2094, V1678=1754, V1679=-1784, V1680=1594, V1681=2194, V1682=1348, V1683=1926, V1684=2054, V1685=1348, V1686=2142, V1687=1382, V1688=1590, V1689=1348, V1690=2148, V1691=1320, V1692=2162, V1693=1740, V1694=-1694, V1695=1882, V1696=1924, V1697=1342, V1698=1788, V1699=1850, V1700=1964, V1701=1342, V1702=-2214, V1703=1518, V1704=-1928, V1705=1288, V1706=1632, V1707=1544, V1708=1828, V1709=1740, V1710=1976, V1711=1634, V1712=-1858, V1713=1822, V1714=1746, V1715=1702, V1716=1886, V1717=-1742, V1718=2124, V1719=2014, V1720=2018, V1721=1396, V1722=1926, V1723=1700, V1724=1936, V1725=1820, V1726=2144, V1727=1742, V1728=1978, V1729=-1986, V1730=2154, V1731=-1466, V1732=1584, V1733=1614, V1734=2194, V1735=2156, V1736=2094, V1737=1692, V1738=2184, V1739=1886, V1740=-1878, V1741=1572, V1742=1846, V1743=1392, V1744=1936, V1745=1634, V1746=1886, V1747=1554, V1748=-1230, V1749=1630, V1750=1262, V1751=1594, V1752=1612, V1753=1742, V1754=1342, V1755=2118, V1756=1886, V1757=1616, V1758=2184, V1759=1740, V1760=2044, V1761=1694, V1762=1306, V1763=2094, V1764=1244, V1765=1364, V1766=-1420, V1767=-2010, V1768=1780, V1769=-1748, V1770=1592, V1771=1516, V1772=2084, V1773=1732, V1774=1936, V1775=1694, V1776=1364, V1777=1844, V1778=1740, V1779=1672, V1780=2008, V1781=1840, V1782=1428, V1783=2162, V1784=1288, V1785=1612, V1786=1396, V1787=1964, V1788=2046, V1789=1976, V1790=-1670, V1791=1648, V1792=1740, V1793=1746, V1794=1926, V1795=2086, V1796=2086, V1797=2046, V1798=2016, V1799=1404, V1800=1328, V1801=1976, V1802=1732, V1803=1436, V1804=2122, V1805=1586, V1806=1436, V1807=1746, V1808=2094, V1809=1692, V1810=2010, V1811=-1700, V1812=-2134, V1813=2086, V1814=1554, V1815=1330, V1816=1288, V1817=1926, V1818=1810, V1819=1476, V1820=1612, V1821=2020, V1822=1614, V1823=1342, V1824=1938, V1825=2046, V1826=-2172, V1827=1632, V1828=2084, V1829=-1886, V1830=1936, V1831=1838, V1832=1342, V1833=1728, V1834=1670, V1835=2194, V1836=1330, V1837=1330, V1838=1220, V1839=1288, V1840=-1350, V1841=1746, V1842=1662, V1843=2024, V1844=-1622, V1845=1850, V1846=1646, V1847=-1260, V1848=2182, V1849=1558, V1850=1558, V1851=1712, V1852=1850, V1853=1780, V1854=1592, V1855=1742, V1856=1692, V1857=1328, V1858=2154, V1859=1572, V1860=1388, V1861=-2130, V1862=-1552, V1863=-1926, V1864=1686, V1865=-1462, V1866=1310, V1867=1476, V1868=1558, V1869=2060, V1870=1936, V1871=1634, V1872=1654, V1873=1396, V1874=-1260, V1875=1328, V1876=1818, V1877=2046, V1878=1702, V1879=1382, V1880=1288, V1881=1846, V1882=2046, V1883=1336, V1884=2194, V1885=1632, V1886=1926, V1887=1572, V1888=1554, V1889=1592, V1890=1382, V1891=1978, V1892=-1478, V1893=1342, V1894=2176, V1895=-1718, V1896=1260, V1897=1556, V1898=1612, V1899=1634, V1900=2148, V1901=2162, V1902=1654, V1903=2122, V1904=1396, V1905=1966, V1906=1632, V1907=1976, V1908=1396, V1909=1742, V1910=1382, V1911=1428, V1912=2024, V1913=1978, V1914=1886, V1915=1688, V1916=2118, V1917=1632, V1918=1782, V1919=1554, V1920=1388, V1921=2048, V1922=1762, V1923=1940, V1924=-1682, V1925=1220, V1926=1396, V1927=2008, V1928=-1992, V1929=1438, V1930=1730, V1931=1740, V1932=1544, V1933=1514, V1934=1516, V1935=1646, V1936=1592, V1937=1746, V1938=2096, V1939=2156, V1940=1382, V1941=-1346, V1942=-1464, V1943=1616, V1944=-1684, V1945=1360, V1946=1594, V1947=1328, V1948=1288, V1949=1290, V1950=1514, V1951=2108, V1952=2084, V1953=1348, V1954=-1872, V1955=1382, V1956=1654, V1957=1688, V1958=1654, V1959=1388, V1960=1926, V1961=1724, V1962=1342, V1963=-1526, V1964=1330, V1965=-1872, V1966=1572, V1967=1436, V1968=1976, V1969=1220, V1970=-1260, V1971=1832, V1972=1684, V1973=1382, V1974=1926, V1975=1436, V1976=2094, V1977=2046, V1978=1640, V1979=1480, V1980=1692, V1981=1672, V1982=1388, V1983=1616, V1984=-1390, V1985=1948, V1986=1976, V1987=2084, V1988=1476, V1989=1276, V1990=1612, V1991=1554, V1992=1922, V1993=1554, V1994=1266, V1995=1872, V1996=1632, V1997=1330, V1998=1780, V1999=2176, V2000=1710, V2001=1722, V2002=1686, V2003=2154, V2004=1436, V2005=2196, V2006=1220, V2007=-1770, V2008=1294, V2009=2074, V2010=-1432, V2011=1742, V2012=2160, V2013=2046, V2014=1594, V2015=1712, V2016=1672, V2017=-2176, V2018=1706, V2019=-2040, V2020=1428, V2021=2144, V2022=2108, V2023=1516, V2024=-1260, V2025=1586, V2026=1688, V2027=1544, V2028=1288, V2029=2176, V2030=1556, V2031=1558, V2032=1364, V2033=1778, V2034=-1376, V2035=2054, V2036=2150, V2037=2086, V2038=1798, V2039=1962, V2040=1592, V2041=1746, V2042=1702, V2043=1594, V2044=1600, V2045=2084, V2046=-1748, V2047=1518, V2048=1860, V2049=1996, V2050=2044, V2051=1804, V2052=1740, V2053=1740, V2054=1836, V2055=2014, V2056=1810, V2057=1436, V2058=1762, V2059=1830, V2060=1436, V2061=2176, V2062=1692, V2063=1688, V2064=2122, V2065=2084, V2066=1968, V2067=1648, V2068=1762, V2069=1936, V2070=1330, V2071=1428, V2072=1476, V2073=2154, V2074=2078, V2075=1594, V2076=1428, V2077=1644, V2078=1348, V2079=2084, V2080=1572, V2081=1456, V2082=1964, V2083=2034, V2084=-2188, V2085=1388, V2086=1862, V2087=2094, V2088=1732, V2089=2044, V2090=2046, V2091=1916, V2092=1500, V2093=-1482, V2094=1260, V2095=1850, V2096=2144, V2097=1260, V2098=1388, V2099=1388, V2100=2054, V2101=1850, V2102=1846, V2103=2086, V2104=1764, V2105=1886, V2106=2054, V2107=1558, V2108=2144, V2109=-1976, V2110=2002, V2111=1686, V2112=2160, V2113=1584, V2114=2176, V2115=1428, V2116=-1612, V2117=2094, V2118=2118, V2119=-2216, V2120=-1978, V2121=-2016, V2122=2158, V2123=1250, V2124=1924, V2125=1444, V2126=2054, V2127=2156, V2128=-1846, V2129=1572, V2130=1514, V2131=-1886, V2132=1634, V2133=1964, V2134=1298, V2135=2086, V2136=2080, V2137=2052, V2138=2142, V2139=2086, V2140=1554, V2141=-1220, V2142=-1542, V2143=2122, V2144=1450, V2145=1780, V2146=-1884, V2147=2044, V2148=2184, V2149=-2038, V2150=2216, V2151=1342, V2152=1964, V2153=1558, V2154=2046, V2155=1918, V2156=1936, V2157=1396, V2158=1594, V2159=1616, V2160=1688, V2161=1616, V2162=1930, V2163=1536, V2164=1330, V2165=2176, V2166=1594, V2167=2194, V2168=1654, V2169=2122, V2170=1808, V2171=1632, V2172=2086, V2173=1978, V2174=2136, V2175=1612, V2176=2094, V2177=-1590, V2178=2044, V2179=1290, V2180=1236, V2181=1304, V2182=1694, V2183=2154, V2184=1404, V2185=2096, V2186=2014, V2187=1976, V2188=2094, V2189=1592, V2190=2084, V2191=1702, V2192=1348, V2193=2056, V2194=2044, V2195=1686, V2196=1926, V2197=1886, V2198=1758, V2199=2038, V2200=1396, V2201=1428, V2202=2074, V2203=1500, V2204=1622, V2205=-1230, V2206=1594, V2207=2018, V2208=1284, V2209=2000, V2210=1656, V2211=1850, V2212=1740, V2213=-1570, V2214=1656, V2215=1926, V2216=-1770, V2217=1636, V2218=1602, V2219=1388, V2220=1712, V2221=1546, V2222=1976, V2223=2046, V2224=1936, V2225=1846, V2226=1908, V2227=1926, V2228=-1722, V2229=1732, V2230=1388, V2231=1578, V2232=1348, V2233=2054, V2234=-1610, V2235=1578, V2236=1966, V2237=2044, V2238=2054, V2239=1554, V2240=1634, V2241=2084, V2242=1798, V2243=1886, V2244=-2096, V2245=1288, V2246=1732, V2247=1632, V2248=1692, V2249=1226, V2250=1924, V2251=1700, V2252=1594, V2253=1694, V2254=2054, V2255=1594, V2256=1516, V2257=1886, V2258=1744, V2259=1476, V2260=1764, V2261=2176, V2262=1260, V2263=1438, V2264=2086, V2265=1574, V2266=1640, V2267=-1676, V2268=1762, V2269=1684, V2270=1804, V2271=2018, V2272=1364, V2273=1672, V2274=1612, V2275=1654, V2276=1302, V2277=2144, V2278=1646, V2279=2010, V2280=1582, V2281=2094, V2282=2044, V2283=2018, V2284=1738, V2285=1688, V2286=1692, V2287=2044, V2288=1784, V2289=1428, V2290=2184, V2291=1686, V2292=1396, V2293=-1260, V2294=1518, V2295=2136, V2296=1632, V2297=1330, V2298=2054, V2299=2044, V2300=1592, V2301=2176, V2302=2044, V2303=1328, V2304=1728, V2305=-1680, V2306=1914, V2307=1678, V2308=1886, V2309=1718, V2310=-1834, V2311=2108, V2312=1222, V2313=1290, V2314=2184, V2315=1672, V2316=1428, V2317=2176, V2318=2136, V2319=1702, V2320=1688, V2321=1936, V2322=2056, V2323=-1258, V2324=1732, V2325=1632, V2326=2044, V2327=1592, V2328=2176, V2329=1672, V2330=-2186, V2331=1226, V2332=-1700, V2333=1634, V2334=1592, V2335=1934, V2336=2018, V2337=1476, V2338=2044, V2339=1584, V2340=2084, V2341=1732, V2342=1876, V2343=1634, V2344=2046, V2345=1810, V2346=1234, V2347=1936, V2348=1632, V2349=1740, V2350=1788, V2351=1436, V2352=1592, V2353=2156, V2354=1968, V2355=1592, V2356=2008, V2357=1732, V2358=1382, V2359=1732, V2360=2048, V2361=2154, V2362=2216, V2363=1364, V2364=1744, V2365=1436, V2366=-1846, V2367=-1474, V2368=1982, V2369=1594, V2370=1458, V2371=1876, V2372=1404, V2373=2156, V2374=2096, V2375=1732, V2376=1480, V2377=2096, V2378=1646, V2379=1398, V2380=1436, V2381=2122, V2382=1416, V2383=2082, V2384=1936, V2385=1726, V2386=-1220, V2387=1692, V2388=1612, V2389=1966, V2390=1342, V2391=1634, V2392=1364, V2393=1926, V2394=-1918, V2395=1620, V2396=1686, V2397=2008, V2398=-1426, V2399=1846, V2400=1514, V2401=1732, V2402=1410, V2403=1560, V2404=1388, V2405=2148, V2406=1382, V2407=1592, V2408=1740, V2409=-1726, V2410=1764, V2411=2162, V2412=1978, V2413=1712, V2414=-1278, V2415=2046, V2416=1622, V2417=1364, V2418=2018, V2419=2184, V2420=1452, V2421=1846, V2422=1964, V2423=-1364, V2424=-2216, V2425=1342, V2426=2054, V2427=1382, V2428=1936, V2429=2056, V2430=1538, V2431=-1872, V2432=1780, V2433=2084, V2434=1940, V2435=1544, V2436=2074, V2437=1728, V2438=1772, V2439=2078, V2440=2086, V2441=2056, V2442=-1590, V2443=2054, V2444=1262, V2445=-1930, V2446=1886, V2447=2044, V2448=-1708, V2449=1976, V2450=1220, V2451=1708, V2452=1572, V2453=1746, V2454=1728, V2455=1592, V2456=1976, V2457=1678, V2458=1832, V2459=-1732, V2460=1594, V2461=-1830, V2462=1288, V2463=1428, V2464=1514, V2465=1454, V2466=2048, V2467=-1582, V2468=2086, V2469=1766, V2470=1580, V2471=-1578, V2472=1740, V2473=2058, V2474=1266, V2475=2156, V2476=1358, V2477=1812, V2478=1592, V2479=1382, V2480=1746, V2481=1832, V2482=1476, V2483=1712, V2484=2136, V2485=1742, V2486=2084, V2487=2044, V2488=1288, V2489=2144, V2490=1342, V2491=-2148, V2492=1572, V2493=-1872, V2494=1302, V2495=1342, V2496=1634, V2497=1326, V2498=1654, V2499=1388, V2500=-1382, V2501=1632, V2502=2108, V2503=1396, V2504=1348, V2505=1646, V2506=-1692, V2507=-1724, V2508=1388, V2509=1780, V2510=1594, V2511=1788, V2512=1330, V2513=1838, V2514=2030, V2515=2054, V2516=-1220, V2517=2056, V2518=1838, V2519=-1970, V2520=2182, V2521=1898, V2522=1804, V2523=2086, V2524=1780, V2525=2008, V2526=1732, V2527=1330, V2528=1810, V2529=1596, V2530=1728, V2531=1886, V2532=1976, V2533=1646, V2534=2046, V2535=1646, V2536=-1330, V2537=1500, V2538=1634, V2539=1634, V2540=2086, V2541=1936, V2542=1692, V2543=1740, V2544=1404, V2545=1936, V2546=2142, V2547=2086, V2548=2094, V2549=1548, V2550=1692, V2551=2046, V2552=2086, V2553=1936, V2554=1330, V2555=1688, V2556=1612, V2557=1634, V2558=-1444, V2559=-1630, V2560=1886, V2561=2084, V2562=1364, V2563=1730, V2564=1712, V2565=1436, V2566=1746, V2567=1556, V2568=1280, V2569=1572, V2570=1634, V2571=1342, V2572=2084, V2573=-2216, V2574=1288, V2575=1654, V2576=2044, V2577=1436, V2578=1388, V2579=1634, V2580=1686, V2581=-1238, V2582=1288, V2583=2162, V2584=1712, V2585=1686, V2586=1656, V2587=1342, V2588=1578, V2589=2194, V2590=1436, V2591=2094, V2592=1592, V2593=1566, V2594=2176, V2595=1706, V2596=-1968, V2597=1514, V2598=1740, V2599=1514, V2600=2094, V2601=2044, V2602=-1748, V2603=-1262, V2604=2056, V2605=1476, V2606=1906, V2607=1694, V2608=1672, V2609=1728, V2610=1330, V2611=1388, V2612=1558, V2613=1726, V2614=-1728, V2615=2078, V2616=1428, V2617=1342, V2618=2176, V2619=1632, V2620=1482, V2621=-1578, V2622=1838, V2623=2054, V2624=1832, V2625=1636, V2626=1936, V2627=1656, V2628=1978, V2629=2168, V2630=1634, V2631=1288, V2632=2078, V2633=1596, V2634=1730, V2635=-2122, V2636=1548, V2637=-1432, V2638=2094, V2639=1560, V2640=1220, V2641=1706, V2642=1764, V2643=2092, V2644=1382, V2645=2148, V2646=1632, V2647=1742, V2648=1556, V2649=2176, V2650=1936, V2651=1704, V2652=2086, V2653=1220, V2654=1612, V2655=1630, V2656=1846, V2657=-1534, V2658=1404, V2659=1886, V2660=2136, V2661=1688, V2662=-1602, V2663=2154, V2664=2182, V2665=1654, V2666=1780, V2667=1844, V2668=1632, V2669=1702, V2670=1926, V2671=1646, V2672=2084, V2673=1844, V2674=-1470, V2675=1508, V2676=1728, V2677=1706, V2678=1958, V2679=1388, V2680=1268, V2681=-2176, V2682=1846, V2683=1288, V2684=2196, V2685=2086, V2686=1844, V2687=2000, V2688=2090, V2689=1328, V2690=1702, V2691=1924, V2692=-1682, V2693=2046, V2694=2176, V2695=1936, V2696=2084, V2697=1518, V2698=1612, V2699=2042, V2700=2084, V2701=1328, V2702=2078, V2703=1732, V2704=1634, V2705=-1518, V2706=1666, V2707=-1924, V2708=-1286, V2709=1460, V2710=2078, V2711=-1896, V2712=1476, V2713=1570, V2714=1642, V2715=2094, V2716=2216, V2717=1518, V2718=-1708, V2719=1486, V2720=1556, V2721=1408, V2722=1850, V2723=-1978, V2724=1656, V2725=2084, V2726=1592, V2727=-1288, V2728=2154, V2729=2044, V2730=1768, V2731=1968, V2732=-1558, V2733=1810, V2734=1780, V2735=2042, V2736=1400, V2737=2084, V2738=1692, V2739=1618, V2740=2044, V2741=1818, V2742=1632, V2743=1838, V2744=1810, V2745=1594, V2746=2078, V2747=1936, V2748=1428, V2749=2078, V2750=1702, V2751=-1678, V2752=1388, V2753=2120, V2754=1742, V2755=1370, V2756=1706, V2757=1330, V2758=1584, V2759=-2120, V2760=-2022, V2761=1220, V2762=1514, V2763=1396, V2764=2048, V2765=1634, V2766=1810, V2767=1460, V2768=2054, V2769=1388, V2770=1348, V2771=1572, V2772=2044, V2773=1594, V2774=2008, V2775=2008, V2776=1964, V2777=2096, V2778=2198, V2779=2018, V2780=1518, V2781=2184, V2782=2016, V2783=1692, V2784=1632, V2785=1558, V2786=1558, V2787=1976, V2788=1284, V2789=1688, V2790=1500, V2791=1976, V2792=1516, V2793=2004, V2794=1364, V2795=1328, V2796=1270, V2797=2136, V2798=1908, V2799=2094, V2800=1656, V2801=1220, V2802=1634, V2803=2018, V2804=1594, V2805=2196, V2806=1820, V2807=1632, V2808=-1438, V2809=1700, V2810=1516, V2811=1950, V2812=-2054, V2813=1634, V2814=2044, V2815=1738, V2816=2118, V2817=1750, V2818=-2158, V2819=1694, V2820=2008, V2821=1698, V2822=1646, V2823=2144, V2824=1548, V2825=1516, V2826=1850, V2827=1516, V2828=1558, V2829=1516, V2830=2148, V2831=1344, V2832=1382, V2833=2086, V2834=2052, V2835=-1572, V2836=1330, V2837=1844, V2838=1572, V2839=-1814, V2840=1330, V2841=1732, V2842=-1732, V2843=2008, V2844=1592, V2845=-1578, V2846=-1688, V2847=1592, V2848=1818, V2849=1556, V2850=-2042, V2851=1342, V2852=1976, V2853=1692, V2854=1810, V2855=2008, V2856=2014, V2857=1802, V2858=2046, V2859=-1518, V2860=1980, V2861=1886, V2862=1290, V2863=-1500, V2864=1702, V2865=-1990, V2866=1972, V2867=1920, V2868=1728, V2869=1290, V2870=-1876, V2871=2176, V2872=1732, V2873=1236, V2874=2040, V2875=1884, V2876=2054, V2877=-1488, V2878=2136, V2879=-1366, V2880=1852, V2881=2056, V2882=1500, V2883=1978, V2884=2144, V2885=1330, V2886=2136, V2887=-2016, V2888=1594, V2889=1938, V2890=1558, V2891=2162, V2892=1436, V2893=1382, V2894=1552, V2895=2008, V2896=1688, V2897=1518, V2898=1518, V2899=-1708, 
243.70/244.11	v 2136 1280 1880 1436 -1616 -1872 1306 1396 1782 1886 1934 1514 2084 1886 2176 1592 -1614 2120 1516 1846 1740 1404 2086 1728 1968 2018 1330 1382 1800 1742 1728 1428 2156 1632 2154 1514 1518 2046 1614 2050 1732 1364 1780 1388 1804 1728 2122 1978 1594 1654 1780 1598 1554 2046 2136 1712 1702 2196 2002 2008 2054 1936 1606 1964 1784 1974 1686 1388 1584 2180 1844 2018 1634 2184 2162 -1224 1634 -1574 -1814 1284 1622 1740 -1734 1886 2176 1976 1694 1804 1572 1514 2176 1518 1740 1514 1288 1952 1866 1672 1960 1232 2084 2132 1556 2062 2080 2144 -1964 2044 1388 1290 -1630 1810 1924 1630 1952 -1532 1260 1638 2046 1434 1382 1342 1976 1442 -1354 1926 1594 1686 2082 1514 -1734 1220 -1510 1382 1590 1686 1592 1414 1776 2154 1932 1976 1740 -1872 2048 1978 -1860 -1350 1668 2054 2086 2008 2008 2018 1592 1886 -1390 1886 1718 2086 1290 2046 1554 1396 2046 1396 1966 1740 2094 1886 1970 1846 1654 1746 -1882 2098 -1328 1694 1518 1688 1288 2044 1326 1348 2136 1850 -1290 1528 1798 2056 1692 1726 1342 1798 2088 2056 1804 2084 1382 1746 1832 -1974 2018 1572 1688 1430 2182 1404 -1320 2054 1930 2096 1382 1616 1594 1798 -1520 1706 -1534 1632 -1220 -1924 2094 -1588 -1532 1884 1850 1382 2184 2050 2094 1612 2086 1660 1632 1268 1328 1838 1846 -1574 1568 1288 1642 1790 1556 2008 1700 2046 1942 1838 1498 1728 1516 2142 2176 1388 1886 1530 1964 1896 1274 1582 2184 1640 1886 1448 1702 1672 2018 1686 2018 1476 2016 1688 2084 1706 1328 1634 1884 1924 1594 1308 -1424 1634 -1680 1926 1404 1574 1612 1328 1364 2130 1924 2048 1924 1780 1388 2140 2056 -1718 2046 2094 -1624 1270 1348 2084 2194 1978 1640 -1506 1810 1630 1822 -1664 2044 1594 -1884 2118 2116 1984 2018 2084 1288 1742 1632 2054 1552 -2024 1704 1396 1850 1520 1386 1476 -1978 2018 1654 1686 2034 1396 1966 2094 -2164 1846 1644 1926 -2120 2054 2078 2156 1572 2046 2046 1316 -1694 1514 1936 2126 1594 2144 2010 1728 1982 1554 1688 2054 1558 1404 1846 -1594 1612 2096 2144 1634 1706 1976 -1220 1924 -1226 2054 1702 1728 1908 1850 1646 1514 1528 2054 1330 2046 2086 1652 1992 1672 1632 2122 1572 -1244 2182 1672 1886 2054 1886 -2012 2044 -2026 -1980 1886 1886 1592 -1630 1594 2136 1924 1936 1822 1436 1780 1702 -1806 1632 1802 1632 1436 1740 -1404 2196 2096 2196 -1614 1646 2052 1694 2176 1476 2054 1850 1424 2046 -1626 1572 1616 2014 2148 1552 1428 1436 1364 1594 -1738 1654 1712 1594 1886 1604 1926 1428 1706 1388 1746 1574 -1868 1290 1846 1948 1388 1556 1290 1986 1496 1594 2156 2040 1936 2154 -1676 1926 2128 -1266 2140 1364 2084 1968 2184 -1576 1260 1780 1780 1646 2050 1612 2090 1780 2008 2144 -1260 1388 1596 2054 -1522 -1730 1428 2084 -1876 1926 -1826 1558 1540 1686 1764 1732 1308 1968 2194 1672 1552 -1680 1804 2086 1976 1404 1636 1746 1886 1330 2086 1458 2048 2094 -2100 1948 2038 1554 1514 2122 1852 1706 2184 1732 -2216 2016 1688 1886 1312 2148 2054 1454 1846 -1260 2078 1290 1742 2090 2176 1544 1938 2046 1516 1690 -1762 1572 1770 1388 -2088 1686 -1778 1670 1784 1706 1220 1976 1616 1324 2094 1886 -1770 2216 2194 1636 1436 1290 2044 -2018 1688 1712 1972 1882 1492 1634 2084 2182 1656 -1576 1266 -1798 2136 1290 -1596 2046 2054 1226 2094 1404 1654 2084 1940 -1276 1590 1330 1290 1846 1742 1970 1518 2196 1476 1976 1480 2056 1470 1586 1936 1862 -2080 1396 2184 1616 2094 1742 2046 1780 1632 1922 1740 1688 1630 2136 1516 2026 1850 -2146 1906 1764 1618 1764 1556 1936 1382 1388 1846 2184 1388 2044 -1924 1578 1968 1686 1654 1780 1348 1612 1740 1740 1480 2044 1288 1632 2044 1458 1726 1348 1924 1554 1846 1398 1476 1656 1732 -1324 -1654 1718 1440 1802 1290 1492 1514 2096 1342 1518 2184 1604 2056 2130 1330 2122 1328 1298 2086 1428 1428 2142 1380 -1596 2142 1388 1616 2054 2086 2046 2184 1960 2118 1634 1976 2176 1846 1862 2144 -1632 1320 1342 2108 1436 -1350 1694 1798 1396 1500 2196 -1222 2048 1726 -1426 1558 1554 2008 1518 -1576 1572 1726 1924 2086 1554 1786 1452 1728 1966 -1772 1516 1572 2056 1712 2086 2094 1700 2054 1706 2054 1502 1248 1634 2084 1730 1692 -1730 1516 1886 1314 2092 1692 1310 1828 1330 1832 1886 -1238 -1414 1554 1612 1712 1612 1290 1388 1678 1742 -1836 2136 1706 2044 1428 1694 2046 1594 2080 1702 2182 2028 1288 2162 1802 1656 2136 1318 2054 2048 1692 1428 -1750 1570 1948 1554 1634 -2194 2048 1834 1706 1732 1794 1256 1780 1592 1314 2120 1456 1328 1592 1886 -1600 1842 2094 1694 2084 2136 1584 1388 1612 1530 1978 1516 1436 1388 2084 2090 1388 1634 1634 2008 1460 -2056 1694 1692 1594 2082 1688 -1390 1740 2056 -1970 1988 2038 1694 1810 2084 1812 1826 2216 1284 1392 1290 2016 1456 1422 1614 1460 1794 1936 1634 1810 1946 1936 1838 -1300 2194 1422 1678 2136 -2064 1838 -1522 2216 1886 1342 1306 -1220 2162 -1260 1592 2046 1634 2196 1976 1388 1260 1328 1654 1686 -1820 -1778 1764 1936 2176 1780 1428 -1976 2194 1516 2008 1978 2086 1828 -1828 -1484 1572 2136 1654 2144 2144 1634 -1968 1672 2180 1846 1732 1290 1702 -1854 2156 1686 2048 2084 1404 1342 2090 1870 1654 1518 2096 1328 -1836 1770 1884 1638 1632 1290 2176 1708 2054 1564 2108 1446 1978 1388 2184 1780 1694 2084 1632 1846 1728 1448 1514 -1670 1976 1254 1668 1728 1428 1764 2044 1594 1290 -1900 2080 1592 2062 1746 2044 1288 2176 -1642 1846 -1416 -1278 1428 2194 2044 2176 1798 1290 1798 -2006 1990 1398 1364 1382 1712 1220 1740 1388 1706 1498 1330 2046 2176 1634 1740 1968 1846 -2084 2154 2048 2014 1780 -2208 1572 -2028 1804 1692 1594 1512 1656 1922 2084 1272 1612 1612 1746 1978 1646 1964 1688 2046 1842 1838 -1854 -1848 -1222 2094 1296 1686 1964 -2022 2046 1516 1692 1342 -1220 2086 1288 1804 1398 2018 -1494 -2136 -1370 1388 -1892 2144 -1748 1950 -2120 1348 1698 1592 1792 2048 1850 1388 1688 1632 1656 1926 2046 2144 1518 2096 2078 1388 1778 2016 2048 1546 1886 -2174 1328 2014 1804 2086 1436 1654 2156 1632 -1862 2160 1924 2122 2018 -1260 1630 2176 1220 1804 1976 1886 1886 1514 2046 1702 2176 1976 1558 2054 -1402 1850 -1954 1324 1672 1342 1268 1780 2056 1646 2156 1886 2094 1976 1692 1542 1266 1364 -1824 1810 1724 1846 1460 1460 1260 1434 2040 1362 1594 2014 1318 2044 2162 1612 -1866 1620 1742 1558 2118 2142 1742 1646 1810 1538 1926 1712 -2084 -2022 1976 -2054 2136 -1854 1858 2056 -1630 1886 -1264 2044 1342 1634 1780 2044 -2080 1290 -1272 2086 1706 1798 2136 1482 -2018 1554 1694 -1838 2054 1290 1514 2094 1436 1886 1978 1558 1692 2176 1726 1702 1520 2054 1342 -1900 -1248 2086 2044 2058 2092 2054 1810 -1988 2162 1922 1964 2094 2136 1514 1592 1706 1662 1764 2176 2094 1592 1330 2194 -2018 1220 2134 1936 1404 1260 1220 1794 1878 -1510 1742 1884 2086 -2114 1288 1350 1572 1740 1436 1428 2154 1740 1632 1396 2020 2054 1388 1356 1290 1678 2084 1516 -2148 1518 1722 1646 2142 1936 1590 1602 1964 2144 1836 1766 1802 -1828 1516 2162 1976 -1492 1612 1686 1964 1554 1740 1680 2014 1330 1554 1260 2054 2054 -1736 2064 2036 1396 1330 1740 2194 2086 1886 1694 1606 1328 1538 1396 1702 1980 1850 1636 1980 1592 1778 2148 1654 2154 1386 1688 -2176 1264 -1592 1388 -1618 1818 2086 2176 1964 -1536 1220 2054 2044 1694 1732 1888 1788 2118 1922 1594 2122 1846 -1220 -1852 1702 1886 2130 1706 1694 1220 2044 2094 1762 -1588 1850 -1882 2136 1946 1396 1762 1518 1290 1740 1594 1328 -1826 -1934 1976 1722 1328 1382 2014 1358 1964 1594 2084 1926 1516 1390 1260 -1260 1654 1500 1910 1694 -1360 2086 1742 1406 1926 -1520 -1936 1688 2086 1780 1634 1606 2054 1396 1352 1290 1702 2086 1568 1348 1396 1634 2046 1744 -2176 1290 2066 -1684 1936 2046 2156 1920 2182 -1762 1260 1670 2174 2044 -2216 1742 1572 2108 1302 2048 1686 1364 1382 -1670 2018 1616 1460 1936 1274 1396 1692 2084 1978 2184 2196 1260 1734 1342 -2050 2182 1342 1328 1924 1702 1622 1926 1728 1838 1742 1742 1288 1672 1886 1328 1764 1974 -2216 2008 2044 1428 1592 2054 1612 -1492 -2176 1634 2054 2154 1624 2010 2176 1592 1612 2086 1566 2058 -1824 1572 1258 1728 1606 -1870 1810 1592 2122 2084 1728 1498 -1232 1728 -1832 1964 1810 -1746 -2216 -1432 1926 2084 1700 2142 1728 1478 1428 2196 1572 1976 1804 2110 1832 2108 2044 2130 -1484 1558 -1270 2184 1358 1224 1396 2004 -1928 1396 1516 1886 1822 1740 1886 1734 1594 1404 1646 1978 2094 2196 2108 1320 1884 1436 1552 1656 1612 2154 2084 1882 -1346 1728 1330 2014 2044 1346 2044 2008 2008 2094 1882 -1710 -1818 2040 1810 1726 1404 1592 1436 1686 2198 1694 1966 1738 2014 1594 -1382 1810 1436 1988 1422 1846 1388 1746 2044 1290 2056 1330 1384 1554 1740 2080 1742 1516 1764 1926 -1618 2144 1860 2084 1306 1710 1592 1688 1976 2054 2044 1820 1998 2082 2182 -2008 1780 1978 1686 -1824 2122 2094 1554 1572 -1438 1348 2194 2044 1926 1592 1798 1582 1594 2094 1382 1330 2136 1364 1694 1758 1404 1632 1558 1562 1798 1392 1290 1886 1394 -1606 1796 1260 2084 1260 1780 2134 1814 1592 1328 2020 1936 1628 1900 -1260 1646 1978 1732 -1786 1476 1690 2142 1924 1228 2084 1616 2094 1754 -1784 1594 2194 1348 1926 2054 1348 2142 1382 1590 1348 2148 1320 2162 1740 -1694 1882 1924 1342 1788 1850 1964 1342 -2214 1518 -1928 1288 1632 1544 1828 1740 1976 1634 -1858 1822 1746 1702 1886 -1742 2124 2014 2018 1396 1926 1700 1936 1820 2144 1742 1978 -1986 2154 -1466 1584 1614 2194 2156 2094 1692 2184 1886 -1878 1572 1846 1392 1936 1634 1886 1554 -1230 1630 1262 1594 1612 1742 1342 2118 1886 1616 2184 1740 2044 1694 1306 2094 1244 1364 -1420 -2010 1780 -1748 1592 1516 2084 1732 1936 1694 1364 1844 1740 1672 2008 1840 1428 2162 1288 1612 1396 1964 2046 1976 -1670 1648 1740 1746 1926 2086 2086 2046 2016 1404 1328 1976 1732 1436 2122 1586 1436 1746 2094 1692 2010 -1700 -2134 2086 1554 1330 1288 1926 1810 1476 1612 2020 1614 1342 1938 2046 -2172 1632 2084 -1886 1936 1838 1342 1728 1670 2194 1330 1330 1220 1288 -1350 1746 1662 2024 -1622 1850 1646 -1260 2182 1558 1558 1712 1850 1780 1592 1742 1692 1328 2154 1572 1388 -2130 -1552 -1926 1686 -1462 1310 1476 1558 2060 1936 1634 1654 1396 -1260 1328 1818 2046 1702 1382 1288 1846 2046 1336 2194 1632 1926 1572 1554 1592 1382 1978 -1478 1342 2176 -1718 1260 1556 1612 1634 2148 2162 1654 2122 1396 1966 1632 1976 1396 1742 1382 1428 2024 1978 1886 1688 2118 1632 1782 1554 1388 2048 1762 1940 -1682 1220 1396 2008 -1992 1438 1730 1740 1544 1514 1516 1646 1592 1746 2096 2156 1382 -1346 -1464 1616 -1684 1360 1594 1328 1288 1290 1514 2108 2084 1348 -1872 1382 1654 1688 1654 1388 1926 1724 1342 -1526 1330 -1872 1572 1436 1976 1220 -1260 1832 1684 1382 1926 1436 2094 2046 1640 1480 1692 1672 1388 1616 -1390 1948 1976 2084 1476 1276 1612 1554 1922 1554 1266 1872 1632 1330 1780 2176 1710 1722 1686 2154 1436 2196 1220 -1770 1294 2074 -1432 1742 2160 2046 1594 1712 1672 -2176 1706 -2040 1428 2144 2108 1516 -1260 1586 1688 1544 1288 2176 1556 1558 1364 1778 -1376 2054 2150 2086 1798 1962 1592 1746 1702 1594 1600 2084 -1748 1518 1860 1996 2044 1804 1740 1740 1836 2014 1810 1436 1762 1830 1436 2176 1692 1688 2122 2084 1968 1648 1762 1936 1330 1428 1476 2154 2078 1594 1428 1644 1348 2084 1572 1456 1964 2034 -2188 1388 1862 2094 1732 2044 2046 1916 1500 -1482 1260 1850 2144 1260 1388 1388 2054 1850 1846 2086 1764 1886 2054 1558 2144 -1976 2002 1686 2160 1584 2176 1428 -1612 2094 2118 -2216 -1978 -2016 2158 1250 1924 1444 2054 2156 -1846 1572 1514 -1886 1634 1964 1298 2086 2080 2052 2142 2086 1554 -1220 -1542 2122 1450 1780 -1884 2044 2184 -2038 2216 1342 1964 1558 2046 1918 1936 1396 1594 1616 1688 1616 1930 1536 1330 2176 1594 2194 1654 2122 1808 1632 2086 1978 2136 1612 2094 -1590 2044 1290 1236 1304 1694 2154 1404 2096 2014 1976 2094 1592 2084 1702 1348 2056 2044 1686 1926 1886 1758 2038 1396 1428 2074 1500 1622 -1230 1594 2018 1284 2000 1656 1850 1740 -1570 1656 1926 -1770 1636 1602 1388 1712 1546 1976 2046 1936 1846 1908 1926 -1722 1732 1388 1578 1348 2054 -1610 1578 1966 2044 2054 1554 1634 2084 1798 1886 -2096 1288 1732 1632 1692 1226 1924 1700 1594 1694 2054 1594 1516 1886 1744 1476 1764 2176 1260 1438 2086 1574 1640 -1676 1762 1684 1804 2018 1364 1672 1612 1654 1302 2144 1646 2010 1582 2094 2044 2018 1738 1688 1692 2044 1784 1428 2184 1686 1396 -1260 1518 2136 1632 1330 2054 2044 1592 2176 2044 1328 1728 -1680 1914 1678 1886 1718 -1834 2108 1222 1290 2184 1672 1428 2176 2136 1702 1688 1936 2056 -1258 1732 1632 2044 1592 2176 1672 -2186 1226 -1700 1634 1592 1934 2018 1476 2044 1584 2084 1732 1876 1634 2046 1810 1234 1936 1632 1740 1788 1436 1592 2156 1968 1592 2008 1732 1382 1732 2048 2154 2216 1364 1744 1436 -1846 -1474 1982 1594 1458 1876 1404 2156 2096 1732 1480 2096 1646 1398 1436 2122 1416 2082 1936 1726 -1220 1692 1612 1966 1342 1634 1364 1926 -1918 1620 1686 2008 -1426 1846 1514 1732 1410 1560 1388 2148 1382 1592 1740 -1726 1764 2162 1978 1712 -1278 2046 1622 1364 2018 2184 1452 1846 1964 -1364 -2216 1342 2054 1382 1936 2056 1538 -1872 1780 2084 1940 1544 2074 1728 1772 2078 2086 2056 -1590 2054 1262 -1930 1886 2044 -1708 1976 1220 1708 1572 1746 1728 1592 1976 1678 1832 -1732 1594 -1830 1288 1428 1514 1454 2048 -1582 2086 1766 1580 -1578 1740 2058 1266 2156 1358 1812 1592 1382 1746 1832 1476 1712 2136 1742 2084 2044 1288 2144 1342 -2148 1572 -1872 1302 1342 1634 1326 1654 1388 -1382 1632 2108 1396 1348 1646 -1692 -1724 1388 1780 1594 1788 1330 1838 2030 2054 -1220 2056 1838 -1970 2182 1898 1804 2086 1780 2008 1732 1330 1810 1596 1728 1886 1976 1646 2046 1646 -1330 1500 1634 1634 2086 1936 1692 1740 1404 1936 2142 2086 2094 1548 1692 2046 2086 1936 1330 1688 1612 1634 -1444 -1630 1886 2084 1364 1730 1712 1436 1746 1556 1280 1572 1634 1342 2084 -2216 1288 1654 2044 1436 1388 1634 1686 -1238 1288 2162 1712 1686 1656 1342 1578 2194 1436 2094 1592 1566 2176 1706 -1968 1514 1740 1514 2094 2044 -1748 -1262 2056 1476 1906 1694 1672 1728 1330 1388 1558 1726 -1728 2078 1428 1342 2176 1632 1482 -1578 1838 2054 1832 1636 1936 1656 1978 2168 1634 1288 2078 1596 1730 -2122 1548 -1432 2094 1560 1220 1706 1764 2092 1382 2148 1632 1742 1556 2176 1936 1704 2086 1220 1612 1630 1846 -1534 1404 1886 2136 1688 -1602 2154 2182 1654 1780 1844 1632 1702 1926 1646 2084 1844 -1470 1508 1728 1706 1958 1388 1268 -2176 1846 1288 2196 2086 1844 2000 2090 1328 1702 1924 -1682 2046 2176 1936 2084 1518 1612 2042 2084 1328 2078 1732 1634 -1518 1666 -1924 -1286 1460 2078 -1896 1476 1570 1642 2094 2216 1518 -1708 1486 1556 1408 1850 -1978 1656 2084 1592 -1288 2154 2044 1768 1968 -1558 1810 1780 2042 1400 2084 1692 1618 2044 1818 1632 1838 1810 1594 2078 1936 1428 2078 1702 -1678 1388 2120 1742 1370 1706 1330 1584 -2120 -2022 1220 1514 1396 2048 1634 1810 1460 2054 1388 1348 1572 2044 1594 2008 2008 1964 2096 2198 2018 1518 2184 2016 1692 1632 1558 1558 1976 1284 1688 1500 1976 1516 2004 1364 1328 1270 2136 1908 2094 1656 1220 1634 2018 1594 2196 1820 1632 -1438 1700 1516 1950 -2054 1634 2044 1738 2118 1750 -2158 1694 2008 1698 1646 2144 1548 1516 1850 1516 1558 1516 2148 1344 1382 2086 2052 -1572 1330 1844 1572 -1814 1330 1732 -1732 2008 1592 -1578 -1688 1592 1818 1556 -2042 1342 1976 1692 1810 2008 2014 1802 2046 -1518 1980 1886 1290 -1500 1702 -1990 1972 1920 1728 1290 -1876 2176 1732 1236 2040 1884 2054 -1488 2136 -1366 1852 2056 1500 1978 2144 1330 2136 -2016 1594 1938 1558 2162 1436 1382 1552 2008 1688 1518 1518 -1708 
243.90/244.33	d ASSIGNMENTS 60

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083991-1247724176/watcher-2083991-1247724176 -o /tmp/evaluation-result-2083991-1247724176/solver-2083991-1247724176 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 861729240 HOME/instance-2083991-1247724176.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: 2.26 2.12 2.03 4/73 18044
/proc/meminfo: memFree=1275640/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=5356 CPUtime=0
/proc/18044/stat : 18044 (pcssolve) S 18042 18044 16857 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 59482236 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18044/statm: 1339 242 201 169 0 50 0
[pid=18045] ppid=18044 vsize=5356 CPUtime=0
/proc/18045/stat : 18045 (pcssolve) R 18044 18044 16857 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 59482237 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 226686987559 0 0 4096 0 0 0 0 17 1 0 0
/proc/18045/statm: 1339 243 202 169 0 50 0
[pid=18046] ppid=18044 vsize=5356 CPUtime=0
/proc/18046/stat : 18046 (pcssolve) R 18044 18044 16857 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 59482237 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 226686987559 0 0 4096 0 0 0 0 17 1 0 0
/proc/18046/statm: 1339 244 203 169 0 50 0

[startup+0.074855 s]
/proc/loadavg: 2.26 2.12 2.03 4/73 18044
/proc/meminfo: memFree=1275640/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=5888 CPUtime=0.05
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 1104 668 0 0 3 0 1 1 20 0 1 0 59482236 6029312 735 996147200 134512640 135215973 4294956304 18446744073709551615 134906926 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 1472 735 386 171 0 397 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5888

[startup+0.102856 s]
/proc/loadavg: 2.26 2.12 2.03 4/73 18044
/proc/meminfo: memFree=1275640/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=6588 CPUtime=0.08
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 1309 668 0 0 6 0 1 1 20 0 1 0 59482236 6746112 899 996147200 134512640 135215973 4294956304 18446744073709551615 134906919 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 1647 899 386 171 0 572 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6588

[startup+0.302901 s]
/proc/loadavg: 2.26 2.12 2.03 4/73 18044
/proc/meminfo: memFree=1275640/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=10896 CPUtime=0.28
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 2774 668 0 0 25 1 1 1 21 0 1 0 59482236 11157504 1909 996147200 134512640 135215973 4294956304 18446744073709551615 134906926 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 2724 1909 386 171 0 1649 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10896

[startup+0.702983 s]
/proc/loadavg: 2.26 2.12 2.03 4/73 18044
/proc/meminfo: memFree=1275640/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=21912 CPUtime=0.68
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 6265 668 0 0 63 3 1 1 25 0 1 0 59482236 22437888 3968 996147200 134512640 135215973 4294956304 18446744073709551615 4159345943 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 5478 3968 386 171 0 4403 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21912

[startup+1.50115 s]
/proc/loadavg: 2.26 2.12 2.03 3/74 18049
/proc/meminfo: memFree=1255024/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=39804 CPUtime=1.48
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 12390 668 0 0 140 6 1 1 25 0 1 0 59482236 40759296 7789 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 9951 7789 386 171 0 8876 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39804

[startup+3.10147 s]
/proc/loadavg: 2.24 2.12 2.03 3/74 18049
/proc/meminfo: memFree=1233584/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=75380 CPUtime=3.08
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 24569 668 0 0 294 12 1 1 25 0 1 0 59482236 77189120 15368 996147200 134512640 135215973 4294956304 18446744073709551615 6180474 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 18845 15368 386 171 0 17770 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 75380

[startup+6.30112 s]
/proc/loadavg: 2.24 2.12 2.03 3/74 18049
/proc/meminfo: memFree=1175152/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=146248 CPUtime=6.27
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 48584 668 0 0 601 24 1 1 25 0 1 0 59482236 149757952 30190 996147200 134512640 135215973 4294956304 18446744073709551615 4159156368 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 36562 30190 386 171 0 35487 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 146248

[startup+12.7014 s]
/proc/loadavg: 2.20 2.12 2.03 3/74 18049
/proc/meminfo: memFree=1113728/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=180536 CPUtime=12.67
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 64396 668 0 0 1235 30 1 1 25 0 1 0 59482236 184868864 40292 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 45134 40292 410 171 0 44059 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 180536

[startup+25.502 s]
/proc/loadavg: 2.17 2.11 2.03 3/74 18049
/proc/meminfo: memFree=1110976/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=183032 CPUtime=25.46
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 65334 668 0 0 2514 30 1 1 25 0 1 0 59482236 187424768 40604 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 45758 40604 410 171 0 44683 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 183032

[startup+51.1022 s]
/proc/loadavg: 2.11 2.10 2.02 3/74 18049
/proc/meminfo: memFree=1104640/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=187152 CPUtime=51.05
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 66981 668 0 0 5072 31 1 1 25 0 1 0 59482236 191643648 41418 996147200 134512640 135215973 4294956304 18446744073709551615 134597296 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 46788 41418 410 171 0 45713 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 187152

[startup+102.306 s]
/proc/loadavg: 2.04 2.08 2.02 3/74 18049
/proc/meminfo: memFree=1074944/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=211496 CPUtime=102.22
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 74131 668 0 0 10186 34 1 1 25 0 1 0 59482236 216571904 46903 996147200 134512640 135215973 4294956304 18446744073709551615 134597631 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 52874 46903 410 171 0 51799 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 211496

[startup+162.302 s]
/proc/loadavg: 2.01 2.07 2.01 3/74 18049
/proc/meminfo: memFree=1067776/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=212156 CPUtime=162.19
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 74813 668 0 0 16182 35 1 1 25 0 1 0 59482236 217247744 47585 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 53039 47585 410 171 0 51964 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 212156

[startup+222.301 s]
/proc/loadavg: 2.15 2.08 2.02 3/84 18123
/proc/meminfo: memFree=1211640/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=285524 CPUtime=222.01
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 100955 668 0 0 22151 48 1 1 25 0 1 0 59482236 292376576 63741 996147200 134512640 135215973 4294956304 18446744073709551615 134908154 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 71381 63741 411 171 0 70306 0
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (KiB) 285524

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

[startup+230.302 s]
/proc/loadavg: 2.14 2.08 2.02 3/84 18123
/proc/meminfo: memFree=1178744/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=285524 CPUtime=229.98
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 111017 668 0 0 22944 52 1 1 25 0 1 0 59482236 292376576 65151 996147200 134512640 135215973 4294956304 18446744073709551615 134592025 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 71381 65151 413 171 0 70306 0
Current children cumulated CPU time (s) 229.98
Current children cumulated vsize (KiB) 285524

[startup+236.701 s]
/proc/loadavg: 2.12 2.08 2.02 3/84 18123
/proc/meminfo: memFree=1154360/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=285524 CPUtime=236.34
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 118887 668 0 0 23577 55 1 1 25 0 1 0 59482236 292376576 65605 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 71381 65605 413 171 0 70306 0
Current children cumulated CPU time (s) 236.34
Current children cumulated vsize (KiB) 285524

[startup+239.902 s]
/proc/loadavg: 2.12 2.08 2.02 3/84 18123
/proc/meminfo: memFree=1143416/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=285524 CPUtime=239.52
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 121461 668 0 0 23895 55 1 1 25 0 1 0 59482236 292376576 65707 996147200 134512640 135215973 4294956304 18446744073709551615 134590036 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 71381 65707 413 171 0 70306 0
Current children cumulated CPU time (s) 239.52
Current children cumulated vsize (KiB) 285524

[startup+241.501 s]
/proc/loadavg: 2.12 2.08 2.02 3/84 18123
/proc/meminfo: memFree=1138936/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=285524 CPUtime=241.11
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 121461 668 0 0 24054 55 1 1 25 0 1 0 59482236 292376576 65707 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 71381 65707 413 171 0 70306 0
Current children cumulated CPU time (s) 241.11
Current children cumulated vsize (KiB) 285524

[startup+243.106 s]
/proc/loadavg: 2.11 2.08 2.02 3/84 18123
/proc/meminfo: memFree=1128568/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=287104 CPUtime=242.71
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 122746 668 0 0 24213 56 1 1 25 0 1 0 59482236 293994496 66959 996147200 134512640 135215973 4294956304 18446744073709551615 134604672 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 71776 66959 413 171 0 70701 0
Current children cumulated CPU time (s) 242.71
Current children cumulated vsize (KiB) 287104

[startup+243.903 s]
/proc/loadavg: 2.11 2.08 2.02 3/84 18123
/proc/meminfo: memFree=1128568/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=385356 CPUtime=243.5
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 147506 668 0 0 24279 69 1 1 25 0 1 0 59482236 394604544 78341 996147200 134512640 135215973 4294956304 18446744073709551615 134688137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 96339 78341 413 171 0 95264 0
Current children cumulated CPU time (s) 243.5
Current children cumulated vsize (KiB) 385356

[startup+244.303 s]
/proc/loadavg: 2.11 2.08 2.02 3/84 18123
/proc/meminfo: memFree=1080184/2055920 swapFree=4192812/4192956
[pid=18044] ppid=18042 vsize=195784 CPUtime=243.9
/proc/18044/stat : 18044 (pcs.big) R 18042 18044 16857 0 -1 4194304 147506 668 0 0 24317 71 1 1 25 0 1 0 59482236 200482816 46112 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/18044/statm: 48946 46112 413 171 0 47871 0
Current children cumulated CPU time (s) 243.9
Current children cumulated vsize (KiB) 195784

Child status: 0
Real time (s): 244.363
CPU time (s): 243.978
CPU user time (s): 243.21
CPU system time (s): 0.767883
CPU usage (%): 99.8425
Max. virtual memory (cumulated for all children) (KiB): 438352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.21
system time used= 0.767883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148176
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= 53
involuntary context switches= 1526

runsolver used 0.210967 second user time and 0.693894 second system time

The end

Begin job on node80 at 2009-07-16 08:02:57
IDJOB=2083991
IDBENCH=58003
IDSOLVER=734
FILE ID=node80/2083991-1247724176
PBS_JOBID= 9521430
Free space on /tmp= 66308 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp29/normalized-fapp29-2900-10.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083991-1247724176/watcher-2083991-1247724176 -o /tmp/evaluation-result-2083991-1247724176/solver-2083991-1247724176 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 861729240 HOME/instance-2083991-1247724176.xml

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

MD5SUM BENCH= ca469f3f7e98ebe7c882bce7bb3fd65e
RANDOM SEED=861729240

node80.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.285
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.285
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:       1275928 kB
Buffers:         76260 kB
Cached:         330788 kB
SwapCached:          0 kB
Active:         374632 kB
Inactive:       319300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1275928 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11140 kB
Writeback:           0 kB
Mapped:         298376 kB
Slab:            70708 kB
Committed_AS:   801328 kB
PageTables:       2356 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= 66308 MiB
End job on node80 at 2009-07-16 08:07:01