0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.03	c Seed is 1184599018
0.00/0.03	c Constructing HOME/instance-2080779-1247718519.xml 
2.46/2.57	c deduced all_different(V65,V386,V510,V775,V1040,V1141,V0)
2.46/2.57	c deduced all_different(V167,V323,V355,V1017,V1678,V1963,V1)
2.46/2.57	c deduced all_different(V120,V160,V747,V982,V1076,V1509,V2)
2.46/2.57	c deduced all_different(V116,V388,V504,V829,V857,V1960,V3)
2.46/2.57	c deduced all_different(V6,V135,V184,V738,V1075,V4)
2.46/2.57	c deduced all_different(V105,V185,V368,V589,V990,V5)
2.46/2.57	c deduced all_different(V26,V273,V1260,V1395,V1528,V1957,V7)
2.46/2.57	c deduced all_different(V18,V133,V731,V1172,V1377,V1853,V8)
2.46/2.57	c deduced all_different(V13,V50,V484,V844,V1068,V1578,V9)
2.46/2.57	c deduced all_different(V88,V143,V422,V625,V1370,V10)
2.46/2.57	c deduced all_different(V277,V289,V308,V671,V1692,V11)
2.46/2.57	c deduced all_different(V55,V61,V289,V785,V1772,V12)
2.46/2.57	c deduced all_different(V28,V70,V78,V297,V551,V1279,V14)
2.46/2.57	c deduced all_different(V80,V149,V267,V529,V702,V1781,V15)
2.46/2.57	c deduced all_different(V57,V252,V528,V1459,V2003,V16)
2.46/2.57	c deduced all_different(V105,V208,V239,V1427,V1648,V1656,V17)
2.46/2.57	c deduced all_different(V86,V142,V535,V1112,V1483,V19)
2.46/2.57	c deduced all_different(V32,V36,V272,V384,V20)
2.46/2.57	c deduced all_different(V139,V657,V665,V1044,V1122,V1424,V21)
2.46/2.57	c deduced all_different(V117,V281,V416,V781,V997,V1895,V2114,V22)
2.46/2.57	c deduced all_different(V24,V126,V130,V279,V423,V23)
2.46/2.57	c deduced all_different(V57,V181,V252,V320,V2003,V25)
2.46/2.57	c deduced all_different(V96,V186,V324,V581,V1153,V27)
2.46/2.57	c deduced all_different(V115,V199,V202,V547,V874,V1832,V29)
2.46/2.57	c deduced all_different(V108,V146,V1049,V1718,V1957,V1993,V2112,V30)
2.46/2.57	c deduced all_different(V81,V180,V1337,V1669,V1755,V31)
2.46/2.57	c deduced all_different(V115,V199,V547,V893,V1774,V33)
2.46/2.57	c deduced all_different(V223,V251,V341,V480,V1052,V1231,V34)
2.46/2.57	c deduced all_different(V139,V657,V665,V1085,V1284,V35)
2.46/2.57	c deduced all_different(V151,V264,V301,V1429,V37)
2.46/2.57	c deduced all_different(V82,V225,V304,V549,V1962,V1979,V38)
2.46/2.57	c deduced all_different(V79,V199,V547,V1291,V1805,V39)
2.46/2.57	c deduced all_different(V323,V355,V819,V1678,V1963,V40)
2.46/2.57	c deduced all_different(V135,V141,V680,V738,V1075,V41)
2.46/2.57	c deduced all_different(V159,V568,V703,V1153,V1415,V2036,V42)
2.46/2.57	c deduced all_different(V74,V92,V145,V343,V1423,V1657,V43)
2.46/2.57	c deduced all_different(V67,V262,V290,V423,V759,V1030,V44)
2.46/2.57	c deduced all_different(V114,V284,V413,V705,V45)
2.46/2.57	c deduced all_different(V366,V379,V582,V1372,V1600,V46)
2.46/2.57	c deduced all_different(V118,V340,V506,V650,V1072,V1150,V47)
2.46/2.57	c deduced all_different(V222,V353,V444,V500,V1226,V1285,V48)
2.46/2.57	c deduced all_different(V55,V61,V289,V645,V1904,V49)
2.46/2.57	c deduced all_different(V32,V36,V272,V384,V51)
2.46/2.57	c deduced all_different(V132,V246,V376,V672,V2084,V52)
2.46/2.57	c deduced all_different(V80,V123,V149,V267,V1781,V53)
2.46/2.57	c deduced all_different(V66,V83,V101,V327,V585,V1301,V54)
2.46/2.57	c deduced all_different(V88,V143,V1370,V1728,V2086,V56)
2.46/2.57	c deduced all_different(V347,V376,V709,V2084,V58)
2.46/2.57	c deduced all_different(V62,V602,V612,V620,V965,V1674,V59)
2.46/2.57	c deduced all_different(V127,V245,V1157,V1362,V1429,V1602,V60)
2.46/2.57	c deduced all_different(V61,V277,V289,V513,V635,V1300,V63)
2.46/2.57	c deduced all_different(V20,V32,V384,V441,V64)
2.46/2.57	c deduced all_different(V271,V365,V590,V1232,V1382,V68)
2.46/2.57	c deduced all_different(V103,V255,V430,V1029,V1250,V69)
2.46/2.57	c deduced all_different(V28,V70,V78,V406,V901,V1738,V1941,V71)
2.46/2.57	c deduced all_different(V128,V144,V165,V409,V72)
2.46/2.57	c deduced all_different(V9,V50,V244,V844,V1578,V73)
2.46/2.57	c deduced all_different(V59,V291,V714,V793,V1674,V75)
2.46/2.57	c deduced all_different(V140,V342,V434,V781,V1935,V1986,V76)
2.46/2.57	c deduced all_different(V265,V533,V751,V888,V1331,V1455,V77)
2.46/2.57	c deduced all_different(V95,V313,V590,V994,V1265,V84)
2.46/2.57	c deduced all_different(V31,V180,V286,V322,V1755,V85)
2.46/2.57	c deduced all_different(V164,V204,V840,V1015,V1153,V87)
2.46/2.57	c deduced all_different(V203,V245,V264,V979,V1429,V1970,V89)
2.46/2.57	c deduced all_different(V449,V675,V735,V1679,V1862,V90)
2.46/2.57	c deduced all_different(V12,V289,V371,V421,V729,V1797,V91)
2.46/2.57	c deduced all_different(V316,V413,V450,V705,V767,V93)
2.46/2.57	c deduced all_different(V128,V165,V760,V841,V1769,V94)
2.46/2.57	c deduced all_different(V188,V260,V684,V757,V1806,V97)
2.46/2.57	c deduced all_different(V158,V372,V639,V664,V1404,V98)
2.46/2.57	c deduced all_different(V176,V248,V508,V666,V1418,V1962,V99)
2.46/2.57	c deduced all_different(V70,V71,V78,V406,V1099,V1246,V1941,V100)
2.46/2.57	c deduced all_different(V7,V273,V498,V1001,V1528,V1957,V1993,V102)
2.46/2.58	c deduced all_different(V147,V457,V1008,V1355,V1644,V1713,V1766,V104)
2.46/2.58	c deduced all_different(V19,V182,V1421,V1483,V106)
2.46/2.58	c deduced all_different(V120,V160,V171,V753,V864,V1076,V1142,V107)
2.46/2.58	c deduced all_different(V499,V506,V650,V1414,V1706,V1989,V109)
2.46/2.58	c deduced all_different(V50,V73,V484,V844,V1578,V110)
2.46/2.58	c deduced all_different(V59,V291,V612,V1674,V111)
2.46/2.58	c deduced all_different(V4,V184,V375,V738,V1075,V112)
2.46/2.58	c deduced all_different(V38,V225,V248,V549,V717,V1574,V1962,V113)
2.46/2.58	c deduced all_different(V155,V379,V582,V604,V813,V119)
2.46/2.58	c deduced all_different(V190,V562,V711,V1539,V1659,V121)
2.46/2.58	c deduced all_different(V192,V561,V577,V667,V860,V122)
2.46/2.58	c deduced all_different(V157,V288,V292,V694,V1482,V124)
2.46/2.58	c deduced all_different(V75,V291,V714,V1674,V125)
2.46/2.58	c deduced all_different(V60,V245,V979,V1429,V1658,V1736,V129)
2.46/2.58	c deduced all_different(V346,V448,V1147,V1251,V1950,V1988,V131)
2.46/2.58	c deduced all_different(V74,V145,V343,V1270,V1423,V134)
2.46/2.58	c deduced all_different(V16,V252,V411,V831,V2003,V136)
2.46/2.58	c deduced all_different(V152,V538,V662,V1136,V1287,V1679,V137)
2.46/2.58	c deduced all_different(V86,V170,V535,V1112,V1483,V1870,V138)
2.46/2.58	c deduced all_different(V9,V13,V280,V296,V1578,V148)
2.46/2.58	c deduced all_different(V23,V262,V423,V1030,V1125,V150)
2.46/2.58	c deduced all_different(V123,V149,V267,V708,V1781,V153)
2.46/2.58	c deduced all_different(V240,V282,V598,V958,V969,V154)
2.46/2.58	c deduced all_different(V111,V291,V769,V1190,V1674,V156)
2.46/2.58	c deduced all_different(V36,V51,V474,V1575,V161)
2.46/2.58	c deduced all_different(V373,V387,V555,V961,V1950,V2076,V162)
2.46/2.58	c deduced all_different(V62,V294,V618,V710,V1674,V163)
2.46/2.58	c deduced all_different(V20,V272,V384,V1493,V166)
2.46/2.58	c deduced all_different(V8,V18,V649,V731,V168)
2.46/2.58	c deduced all_different(V119,V179,V485,V546,V582,V604,V169)
2.46/2.58	c deduced all_different(V133,V570,V731,V995,V1315,V172)
2.46/2.58	c deduced all_different(V30,V146,V670,V1078,V1957,V173)
2.46/2.58	c deduced all_different(V158,V372,V378,V664,V772,V174)
2.46/2.58	c deduced all_different(V104,V220,V823,V1644,V1785,V1936,V175)
2.46/2.58	c deduced all_different(V214,V436,V595,V646,V1110,V1231,V177)
2.46/2.58	c deduced all_different(V20,V333,V1575,V178)
2.46/2.58	c deduced all_different(V9,V244,V696,V920,V1578,V183)
2.46/2.58	c deduced all_different(V13,V296,V484,V1068,V1578,V187)
2.46/2.58	c deduced all_different(V73,V148,V280,V1129,V1410,V1578,V189)
2.46/2.58	c deduced all_different(V44,V262,V423,V429,V759,V1059,V1364,V191)
2.46/2.58	c deduced all_different(V114,V523,V630,V705,V1302,V193)
2.46/2.58	c deduced all_different(V197,V243,V402,V732,V1298,V1455,V194)
2.46/2.58	c deduced all_different(V65,V591,V952,V1040,V1141,V195)
2.46/2.58	c deduced all_different(V31,V637,V1322,V1755,V196)
2.46/2.58	c deduced all_different(V42,V186,V568,V1153,V1415,V1952,V198)
2.46/2.58	c deduced all_different(V105,V185,V368,V833,V1111,V200)
2.46/2.58	c deduced all_different(V86,V138,V633,V1112,V1483,V1870,V201)
2.46/2.58	c deduced all_different(V89,V264,V894,V1429,V1743,V205)
2.46/2.58	c deduced all_different(V124,V254,V364,V532,V694,V206)
2.46/2.58	c deduced all_different(V153,V348,V357,V596,V1781,V207)
2.46/2.58	c deduced all_different(V54,V83,V101,V585,V1790,V2095,V209)
2.46/2.58	c deduced all_different(V107,V120,V160,V753,V1076,V1142,V210)
2.46/2.58	c deduced all_different(V249,V275,V372,V482,V493,V1278,V211)
2.46/2.58	c deduced all_different(V92,V947,V1225,V1423,V2067,V212)
2.46/2.58	c deduced all_different(V137,V231,V349,V1351,V1679,V213)
2.46/2.58	c deduced all_different(V72,V144,V165,V439,V215)
2.46/2.58	c deduced all_different(V188,V260,V684,V757,V1806,V216)
2.46/2.58	c deduced all_different(V226,V383,V806,V832,V1659,V217)
2.46/2.58	c deduced all_different(V8,V133,V731,V1400,V218)
2.46/2.58	c deduced all_different(V103,V255,V295,V430,V768,V1390,V219)
2.46/2.58	c deduced all_different(V69,V255,V430,V1029,V1250,V221)
2.46/2.58	c deduced all_different(V54,V66,V101,V311,V1100,V224)
2.46/2.58	c deduced all_different(V394,V500,V542,V1285,V1701,V227)
2.46/2.58	c deduced all_different(V75,V291,V764,V793,V1674,V228)
2.46/2.58	c deduced all_different(V234,V420,V489,V577,V229)
2.46/2.58	c deduced all_different(V97,V261,V967,V1319,V1806,V2031,V230)
2.46/2.58	c deduced all_different(V97,V260,V967,V1173,V1319,V1806,V2031,V232)
2.46/2.58	c deduced all_different(V122,V488,V521,V577,V915,V233)
2.46/2.58	c deduced all_different(V388,V504,V829,V1559,V1771,V1960,V235)
2.46/2.58	c deduced all_different(V10,V143,V625,V931,V1244,V236)
2.46/2.58	c deduced all_different(V219,V255,V295,V430,V768,V1390,V237)
2.46/2.58	c deduced all_different(V65,V309,V591,V952,V1040,V238)
2.46/2.58	c deduced all_different(V106,V138,V170,V1112,V1483,V241)
2.46/2.58	c deduced all_different(V2,V460,V944,V1076,V1087,V1142,V242)
2.46/2.58	c deduced all_different(V24,V126,V279,V423,V2012,V247)
2.46/2.58	c deduced all_different(V282,V598,V792,V962,V1907,V250)
2.46/2.58	c deduced all_different(V136,V408,V1003,V2003,V253)
2.46/2.58	c deduced all_different(V407,V500,V1140,V1285,V1701,V256)
2.46/2.58	c deduced all_different(V192,V420,V577,V910,V953,V1206,V257)
2.46/2.58	c deduced all_different(V94,V165,V361,V502,V258)
2.46/2.58	c deduced all_different(V140,V342,V434,V781,V259)
2.46/2.58	c deduced all_different(V18,V325,V483,V731,V1315,V1879,V2033,V263)
2.46/2.58	c deduced all_different(V48,V444,V500,V1285,V1318,V1341,V266)
2.46/2.58	c deduced all_different(V310,V381,V1644,V1684,V1924,V268)
2.46/2.58	c deduced all_different(V213,V231,V449,V735,V1679,V1862,V269)
2.46/2.58	c deduced all_different(V167,V355,V453,V1577,V1963,V270)
2.46/2.58	c deduced all_different(V240,V282,V598,V958,V969,V274)
2.46/2.58	c deduced all_different(V81,V370,V459,V749,V1755,V276)
2.46/2.58	c deduced all_different(V5,V105,V239,V905,V1648,V1917,V278)
2.46/2.58	c deduced all_different(V404,V469,V574,V657,V283)
2.46/2.58	c deduced all_different(V44,V423,V429,V1059,V1149,V285)
2.46/2.58	c deduced all_different(V34,V223,V480,V1052,V1231,V287)
2.46/2.58	c deduced all_different(V38,V113,V225,V717,V743,V1962,V293)
2.46/2.58	c deduced all_different(V24,V67,V262,V423,V298)
2.46/2.58	c deduced all_different(V62,V294,V618,V620,V1674,V1770,V299)
2.46/2.58	c deduced all_different(V124,V157,V292,V674,V694,V300)
2.46/2.58	c deduced all_different(V13,V50,V1346,V1578,V302)
2.46/2.58	c deduced all_different(V16,V136,V1042,V1908,V2003,V303)
2.46/2.58	c deduced all_different(V282,V335,V598,V792,V1363,V305)
2.46/2.58	c deduced all_different(V54,V83,V101,V1301,V1745,V306)
2.46/2.58	c deduced all_different(V188,V216,V757,V1806,V307)
2.46/2.58	c deduced all_different(V188,V261,V689,V1806,V1975,V312)
2.46/2.58	c deduced all_different(V1,V323,V1017,V1290,V1963,V314)
2.46/2.58	c deduced all_different(V490,V582,V828,V1214,V315)
2.46/2.58	c deduced all_different(V124,V157,V288,V694,V720,V1482,V317)
2.46/2.58	c deduced all_different(V103,V219,V295,V430,V768,V1390,V318)
2.46/2.58	c deduced all_different(V66,V101,V311,V1100,V1645,V319)
2.46/2.58	c deduced all_different(V98,V372,V530,V567,V1081,V1241,V321)
2.46/2.58	c deduced all_different(V233,V420,V489,V561,V577,V2053,V326)
2.46/2.58	c deduced all_different(V43,V343,V1270,V1423,V1519,V328)
2.46/2.58	c deduced all_different(V15,V267,V491,V529,V1781,V1856,V329)
2.46/2.58	c deduced all_different(V52,V132,V376,V2040,V2084,V330)
2.46/2.58	c deduced all_different(V27,V96,V345,V1153,V1447,V331)
2.46/2.58	c deduced all_different(V61,V289,V308,V513,V332)
2.46/2.58	c deduced all_different(V62,V163,V602,V965,V1053,V1674,V334)
2.46/2.58	c deduced all_different(V105,V200,V239,V278,V494,V1568,V336)
2.46/2.58	c deduced all_different(V4,V375,V738,V1075,V337)
2.46/2.58	c deduced all_different(V51,V272,V333,V1575,V338)
2.46/2.58	c deduced all_different(V137,V662,V1148,V1156,V1287,V1679,V339)
2.46/2.58	c deduced all_different(V190,V383,V616,V1539,V1659,V344)
2.46/2.58	c deduced all_different(V14,V70,V78,V551,V938,V1196,V350)
2.46/2.58	c deduced all_different(V159,V568,V703,V1153,V1415,V2036,V351)
2.46/2.58	c deduced all_different(V234,V577,V697,V1086,V1352,V352)
2.46/2.58	c deduced all_different(V15,V367,V491,V642,V1781,V354)
2.46/2.58	c deduced all_different(V313,V590,V994,V1219,V1486,V356)
2.46/2.58	c deduced all_different(V134,V902,V1067,V1413,V1423,V1878,V358)
2.46/2.58	c deduced all_different(V35,V404,V574,V657,V1210,V1631,V359)
2.46/2.58	c deduced all_different(V177,V580,V595,V646,V991,V1231,V360)
2.46/2.58	c deduced all_different(V51,V333,V1768,V362)
2.46/2.58	c deduced all_different(V74,V145,V947,V1423,V1657,V2067,V363)
2.46/2.58	c deduced all_different(V54,V101,V209,V704,V1790,V369)
2.46/2.58	c deduced all_different(V52,V246,V405,V870,V1216,V1688,V2084,V374)
2.46/2.58	c deduced all_different(V68,V590,V682,V943,V1382,V377)
2.46/2.58	c deduced all_different(V132,V347,V376,V1426,V2084,V380)
2.46/2.58	c deduced all_different(V47,V650,V856,V1212,V1223,V382)
2.46/2.58	c deduced all_different(V107,V171,V685,V753,V1076,V1492,V385)
2.46/2.58	c deduced all_different(V74,V343,V926,V1225,V1423,V1657,V2067,V389)
2.46/2.58	c deduced all_different(V47,V650,V861,V1150,V1603,V1783,V390)
2.46/2.58	c deduced all_different(V19,V86,V535,V1152,V1483,V391)
2.46/2.58	c deduced all_different(V77,V1331,V1358,V1455,V392)
2.46/2.58	c deduced all_different(V4,V112,V184,V1075,V393)
2.46/2.58	c deduced all_different(V0,V655,V686,V1040,V395)
2.46/2.58	c deduced all_different(V18,V168,V325,V649,V731,V396)
2.46/2.58	c deduced all_different(V75,V291,V1190,V1674,V397)
2.46/2.58	c deduced all_different(V45,V114,V413,V705,V1536,V398)
2.46/2.58	c deduced all_different(V180,V286,V322,V766,V1013,V1380,V1755,V399)
2.46/2.58	c deduced all_different(V38,V113,V225,V717,V1574,V1731,V1962,V400)
2.46/2.58	c deduced all_different(V60,V129,V467,V1429,V1658,V1736,V401)
2.46/2.58	c deduced all_different(V388,V526,V651,V1508,V1960,V403)
2.46/2.58	c deduced all_different(V87,V568,V1015,V1153,V410)
2.46/2.58	c deduced all_different(V2,V747,V752,V982,V1076,V1452,V1814,V412)
2.46/2.58	c deduced all_different(V52,V132,V246,V672,V2084,V414)
2.46/2.58	c deduced all_different(V62,V294,V618,V620,V764,V1674,V415)
2.46/2.58	c deduced all_different(V27,V96,V186,V1153,V417)
2.46/2.58	c deduced all_different(V123,V153,V750,V1599,V1781,V2099,V418)
2.46/2.58	c deduced all_different(V387,V555,V644,V1950,V2060,V419)
2.46/2.58	c deduced all_different(V18,V133,V325,V731,V995,V424)
2.46/2.58	c deduced all_different(V379,V485,V546,V582,V604,V425)
2.46/2.58	c deduced all_different(V72,V165,V439,V919,V426)
2.46/2.58	c deduced all_different(V89,V203,V245,V979,V1429,V1970,V427)
2.46/2.58	c deduced all_different(V80,V123,V267,V1296,V1781,V428)
2.46/2.58	c deduced all_different(V9,V73,V280,V844,V1578,V431)
2.46/2.58	c deduced all_different(V80,V149,V515,V750,V1781,V432)
2.46/2.58	c deduced all_different(V64,V474,V899,V433)
2.46/2.58	c deduced all_different(V72,V144,V165,V409,V439,V435)
2.46/2.58	c deduced all_different(V114,V284,V450,V705,V787,V1998,V437)
2.46/2.58	c deduced all_different(V45,V316,V630,V658,V705,V438)
2.46/2.58	c deduced all_different(V132,V330,V376,V709,V1660,V2084,V440)
2.46/2.58	c deduced all_different(V32,V36,V272,V384,V1307,V442)
2.46/2.58	c deduced all_different(V243,V402,V732,V1455,V1672,V443)
2.46/2.58	c deduced all_different(V309,V464,V820,V1040,V1409,V1497,V445)
2.46/2.58	c deduced all_different(V30,V108,V505,V1151,V1957,V446)
2.46/2.58	c deduced all_different(V34,V223,V251,V436,V1110,V1231,V447)
2.46/2.58	c deduced all_different(V3,V116,V504,V857,V1039,V1960,V451)
2.46/2.58	c deduced all_different(V24,V67,V126,V279,V423,V452)
2.46/2.58	c deduced all_different(V65,V238,V591,V952,V1040,V1458,V1566,V454)
2.46/2.58	c deduced all_different(V270,V453,V583,V805,V1963,V455)
2.46/2.58	c deduced all_different(V206,V254,V364,V532,V694,V456)
2.46/2.58	c deduced all_different(V70,V100,V350,V715,V1664,V458)
2.46/2.58	c deduced all_different(V163,V294,V618,V1674,V461)
2.46/2.58	c deduced all_different(V94,V165,V215,V760,V841,V1258,V462)
2.46/2.58	c deduced all_different(V233,V234,V489,V577,V463)
2.46/2.58	c deduced all_different(V74,V134,V343,V926,V1261,V1423,V465)
2.46/2.58	c deduced all_different(V88,V143,V701,V906,V1864,V466)
2.46/2.58	c deduced all_different(V84,V313,V590,V1095,V468)
2.46/2.58	c deduced all_different(V23,V24,V126,V423,V470)
2.46/2.58	c deduced all_different(V167,V323,V819,V1017,V1678,V1963,V471)
2.46/2.58	c deduced all_different(V86,V142,V535,V1152,V1483,V472)
2.46/2.58	c deduced all_different(V167,V323,V355,V836,V1963,V473)
2.46/2.58	c deduced all_different(V221,V430,V1250,V1254,V1606,V475)
2.46/2.58	c deduced all_different(V97,V230,V684,V1806,V2031,V476)
2.46/2.58	c deduced all_different(V154,V598,V872,V889,V969,V1257,V477)
2.46/2.58	c deduced all_different(V43,V343,V1270,V1423,V1823,V478)
2.46/2.58	c deduced all_different(V158,V372,V482,V493,V1951,V2058,V479)
2.46/2.58	c deduced all_different(V175,V220,V823,V1411,V1644,V481)
2.46/2.58	c deduced all_different(V0,V655,V686,V1040,V1141,V486)
2.46/2.58	c deduced all_different(V54,V101,V209,V311,V704,V1790,V487)
2.46/2.58	c deduced all_different(V14,V28,V70,V297,V551,V780,V492)
2.46/2.58	c deduced all_different(V21,V404,V657,V665,V1349,V1631,V495)
2.46/2.58	c deduced all_different(V112,V375,V680,V738,V1075,V496)
2.46/2.58	c deduced all_different(V97,V188,V684,V1806,V2097,V497)
2.46/2.58	c deduced all_different(V11,V289,V308,V671,V1692,V501)
2.46/2.58	c deduced all_different(V68,V590,V682,V1382,V503)
2.46/2.58	c deduced all_different(V147,V457,V1023,V1644,V1766,V2004,V507)
2.46/2.58	c deduced all_different(V46,V546,V582,V1166,V509)
2.46/2.58	c deduced all_different(V54,V83,V101,V1301,V1645,V511)
2.46/2.58	c deduced all_different(V222,V444,V1061,V1183,V1285,V1681,V512)
2.46/2.58	c deduced all_different(V43,V74,V92,V926,V1423,V1878,V514)
2.46/2.58	c deduced all_different(V2,V120,V685,V982,V1076,V1452,V1983,V516)
2.46/2.58	c deduced all_different(V34,V223,V251,V480,V1052,V1231,V517)
2.46/2.58	c deduced all_different(V54,V101,V311,V487,V511,V1100,V1745,V518)
2.46/2.58	c deduced all_different(V52,V246,V405,V1688,V2084,V519)
2.46/2.58	c deduced all_different(V2,V120,V685,V1076,V1138,V1983,V520)
2.46/2.58	c deduced all_different(V1,V323,V1017,V1290,V1744,V1963,V522)
2.46/2.58	c deduced all_different(V46,V366,V582,V1184,V524)
2.46/2.59	c deduced all_different(V346,V448,V1950,V525)
2.46/2.59	c deduced all_different(V38,V248,V549,V951,V1962,V527)
2.46/2.59	c deduced all_different(V7,V273,V1001,V1528,V1957,V531)
2.46/2.59	c deduced all_different(V22,V117,V781,V783,V1242,V534)
2.46/2.59	c deduced all_different(V283,V469,V657,V804,V941,V2043,V536)
2.46/2.59	c deduced all_different(V18,V263,V731,V995,V1985,V537)
2.46/2.59	c deduced all_different(V346,V373,V883,V1147,V1950,V1988,V539)
2.46/2.59	c deduced all_different(V52,V246,V672,V1620,V2084,V540)
2.46/2.59	c deduced all_different(V283,V404,V574,V657,V1210,V1703,V541)
2.46/2.59	c deduced all_different(V18,V168,V731,V995,V543)
2.46/2.59	c deduced all_different(V16,V57,V1459,V1867,V2003,V544)
2.46/2.59	c deduced all_different(V131,V448,V1950,V1988,V545)
2.46/2.59	c deduced all_different(V144,V165,V258,V361,V409,V548)
2.46/2.59	c deduced all_different(V230,V307,V975,V1293,V1806,V2031,V550)
2.46/2.59	c deduced all_different(V48,V222,V353,V444,V1285,V552)
2.46/2.59	c deduced all_different(V176,V225,V248,V508,V1418,V1962,V553)
2.46/2.59	c deduced all_different(V180,V322,V399,V766,V1380,V1755,V554)
2.46/2.59	c deduced all_different(V346,V539,V883,V1147,V1950,V556)
2.46/2.59	c deduced all_different(V230,V307,V975,V1293,V1806,V2031,V557)
2.46/2.59	c deduced all_different(V3,V829,V1035,V1484,V1960,V558)
2.46/2.59	c deduced all_different(V104,V175,V310,V823,V1355,V1644,V559)
2.46/2.59	c deduced all_different(V325,V483,V731,V1315,V1377,V1853,V560)
2.46/2.59	c deduced all_different(V86,V138,V170,V633,V1112,V1483,V563)
2.46/2.59	c deduced all_different(V5,V105,V208,V833,V1810,V1917,V564)
2.46/2.59	c deduced all_different(V197,V533,V718,V773,V1455,V565)
2.46/2.59	c deduced all_different(V73,V148,V189,V1129,V1410,V1578,V566)
2.46/2.59	c deduced all_different(V121,V562,V970,V1659,V569)
2.46/2.59	c deduced all_different(V27,V186,V581,V1153,V571)
2.46/2.59	c deduced all_different(V29,V115,V199,V202,V874,V1613,V572)
2.46/2.59	c deduced all_different(V124,V157,V288,V694,V837,V573)
2.46/2.59	c deduced all_different(V31,V85,V286,V637,V1755,V1812,V575)
2.46/2.59	c deduced all_different(V38,V82,V601,V1962,V576)
2.46/2.59	c deduced all_different(V155,V582,V745,V828,V1166,V1214,V578)
2.46/2.59	c deduced all_different(V131,V448,V1950,V579)
2.46/2.59	c deduced all_different(V20,V32,V441,V584)
2.46/2.59	c deduced all_different(V111,V156,V620,V653,V921,V1674,V586)
2.46/2.59	c deduced all_different(V143,V422,V903,V1088,V1191,V587)
2.46/2.59	c deduced all_different(V41,V141,V636,V1075,V1317,V588)
2.46/2.59	c deduced all_different(V83,V101,V209,V585,V955,V1790,V592)
2.46/2.59	c deduced all_different(V37,V264,V979,V1195,V1362,V1429,V1749,V593)
2.46/2.59	c deduced all_different(V193,V630,V705,V767,V594)
2.46/2.59	c deduced all_different(V19,V391,V535,V1483,V1870,V597)
2.46/2.59	c deduced all_different(V84,V95,V590,V712,V1095,V599)
2.46/2.59	c deduced all_different(V69,V430,V1047,V1089,V1146,V2027,V600)
2.46/2.59	c deduced all_different(V8,V168,V218,V731,V603)
2.46/2.59	c deduced all_different(V250,V598,V969,V1257,V1416,V1959,V605)
2.46/2.59	c deduced all_different(V12,V289,V421,V635,V1692,V606)
2.46/2.59	c deduced all_different(V66,V83,V101,V327,V585,V1301,V607)
2.46/2.59	c deduced all_different(V121,V621,V711,V1356,V1659,V1685,V608)
2.46/2.59	c deduced all_different(V214,V436,V447,V1231,V1237,V2037,V609)
2.46/2.59	c deduced all_different(V44,V290,V423,V759,V1030,V610)
2.46/2.59	c deduced all_different(V194,V392,V402,V1083,V1455,V611)
2.46/2.59	c deduced all_different(V76,V434,V781,V1259,V1986,V613)
2.46/2.59	c deduced all_different(V104,V1008,V1098,V1420,V1644,V614)
2.46/2.59	c deduced all_different(V124,V157,V300,V674,V694,V615)
2.46/2.59	c deduced all_different(V131,V627,V1950,V2013,V2076,V617)
2.46/2.59	c deduced all_different(V66,V83,V101,V955,V1198,V1385,V619)
2.46/2.59	c deduced all_different(V143,V422,V701,V903,V1088,V622)
2.46/2.59	c deduced all_different(V6,V184,V738,V1075,V1333,V1680,V623)
2.46/2.59	c deduced all_different(V34,V223,V287,V595,V1231,V624)
2.46/2.59	c deduced all_different(V162,V373,V387,V579,V1792,V1950,V626)
2.46/2.59	c deduced all_different(V65,V454,V952,V1040,V1141,V628)
2.46/2.59	c deduced all_different(V70,V78,V100,V715,V629)
2.46/2.59	c deduced all_different(V77,V533,V718,V751,V1455,V1512,V631)
2.46/2.59	c deduced all_different(V117,V281,V416,V613,V781,V632)
2.46/2.59	c deduced all_different(V16,V303,V544,V2003,V634)
2.46/2.59	c deduced all_different(V125,V299,V586,V965,V1432,V1674,V638)
2.46/2.59	c deduced all_different(V34,V223,V251,V447,V1231,V640)
2.46/2.59	c deduced all_different(V292,V694,V706,V1402,V1438,V641)
2.46/2.59	c deduced all_different(V19,V535,V1112,V1483,V1786,V1870,V643)
2.46/2.59	c deduced all_different(V121,V569,V970,V1659,V647)
2.46/2.59	c deduced all_different(V48,V394,V542,V1220,V1285,V1699,V648)
2.46/2.59	c deduced all_different(V124,V206,V532,V694,V837,V973,V652)
2.46/2.59	c deduced all_different(V22,V117,V716,V781,V1286,V2114,V654)
2.46/2.59	c deduced all_different(V37,V871,V1429,V1743,V656)
2.46/2.59	c deduced all_different(V14,V28,V70,V297,V901,V659)
2.46/2.59	c deduced all_different(V346,V525,V626,V1950,V660)
2.46/2.59	c deduced all_different(V20,V32,V272,V384,V661)
2.46/2.59	c deduced all_different(V132,V330,V709,V2084,V663)
2.46/2.59	c deduced all_different(V36,V51,V272,V384,V668)
2.46/2.59	c deduced all_different(V21,V139,V657,V1349,V669)
2.46/2.59	c deduced all_different(V76,V140,V654,V716,V781,V673)
2.46/2.59	c deduced all_different(V112,V623,V1065,V1075,V1999,V676)
2.46/2.59	c deduced all_different(V49,V61,V289,V421,V1904,V2046,V677)
2.46/2.59	c deduced all_different(V250,V598,V969,V1757,V1959,V678)
2.46/2.59	c deduced all_different(V6,V680,V738,V1075,V1548,V679)
2.46/2.59	c deduced all_different(V98,V372,V567,V1278,V1404,V1748,V681)
2.46/2.59	c deduced all_different(V4,V112,V184,V738,V1075,V683)
2.46/2.59	c deduced all_different(V19,V106,V799,V1112,V1483,V687)
2.46/2.59	c deduced all_different(V25,V136,V252,V1463,V1733,V2003,V688)
2.46/2.59	c deduced all_different(V66,V101,V224,V1108,V1379,V690)
2.46/2.59	c deduced all_different(V16,V57,V528,V1459,V1867,V2003,V691)
2.46/2.59	c deduced all_different(V157,V288,V573,V694,V837,V1283,V692)
2.46/2.59	c deduced all_different(V86,V170,V535,V1483,V693)
2.46/2.59	c deduced all_different(V18,V325,V396,V424,V731,V1377,V695)
2.46/2.59	c deduced all_different(V21,V404,V657,V1044,V1122,V1489,V698)
2.46/2.59	c deduced all_different(V34,V251,V436,V447,V1231,V699)
2.46/2.59	c deduced all_different(V85,V180,V286,V1755,V700)
2.46/2.59	c deduced all_different(V366,V578,V582,V828,V707)
2.46/2.59	c deduced all_different(V31,V81,V1755,V2054,V713)
2.46/2.59	c deduced all_different(V116,V504,V829,V1960,V719)
2.46/2.59	c deduced all_different(V240,V598,V792,V958,V721)
2.46/2.59	c deduced all_different(V195,V952,V1040,V1466,V722)
2.46/2.59	c deduced all_different(V122,V521,V577,V667,V915,V723)
2.46/2.59	c deduced all_different(V275,V321,V372,V479,V530,V724)
2.46/2.59	c deduced all_different(V43,V74,V514,V1423,V1758,V725)
2.46/2.59	c deduced all_different(V17,V105,V208,V737,V833,V726)
2.46/2.59	c deduced all_different(V96,V331,V1153,V1689,V1753,V2106,V727)
2.46/2.59	c deduced all_different(V76,V716,V781,V891,V1259,V728)
2.46/2.59	c deduced all_different(V68,V271,V590,V943,V1232,V730)
2.46/2.59	c deduced all_different(V4,V184,V375,V738,V1075,V733)
2.46/2.59	c deduced all_different(V24,V67,V423,V452,V1573,V734)
2.46/2.59	c deduced all_different(V34,V223,V251,V447,V1231,V736)
2.46/2.59	c deduced all_different(V94,V165,V462,V760,V919,V739)
2.46/2.59	c deduced all_different(V50,V110,V484,V850,V1578,V740)
2.46/2.59	c deduced all_different(V8,V570,V731,V1172,V1723,V741)
2.46/2.59	c deduced all_different(V149,V153,V267,V529,V1781,V742)
2.46/2.59	c deduced all_different(V235,V388,V802,V1484,V1960,V744)
2.46/2.59	c deduced all_different(V190,V383,V621,V845,V1234,V1659,V1928,V746)
2.46/2.59	c deduced all_different(V33,V115,V199,V572,V748)
2.46/2.59	c deduced all_different(V131,V579,V1101,V1950,V754)
2.46/2.59	c deduced all_different(V20,V166,V384,V1493,V755)
2.46/2.59	c deduced all_different(V127,V151,V264,V1429,V1475,V1743,V756)
2.46/2.59	c deduced all_different(V270,V355,V453,V1678,V1963,V758)
2.46/2.59	c deduced all_different(V10,V143,V236,V701,V903,V1589,V761)
2.46/2.59	c deduced all_different(V284,V316,V705,V787,V812,V1590,V762)
2.46/2.59	c deduced all_different(V27,V186,V581,V1153,V763)
2.46/2.59	c deduced all_different(V35,V404,V657,V665,V1284,V1631,V765)
2.46/2.59	c deduced all_different(V143,V625,V931,V1244,V1405,V770)
2.46/2.59	c deduced all_different(V341,V609,V808,V1231,V1334,V771)
2.46/2.59	c deduced all_different(V105,V200,V239,V278,V774)
2.46/2.59	c deduced all_different(V85,V276,V637,V1755,V776)
2.46/2.59	c deduced all_different(V131,V448,V1251,V1950,V777)
2.46/2.59	c deduced all_different(V117,V281,V416,V781,V997,V778)
2.46/2.59	c deduced all_different(V12,V55,V289,V830,V1314,V1772,V779)
2.46/2.59	c deduced all_different(V344,V383,V800,V1038,V1539,V1659,V1685,V782)
2.46/2.59	c deduced all_different(V7,V803,V1049,V1957,V1982,V784)
2.46/2.59	c deduced all_different(V197,V243,V732,V1455,V1598,V786)
2.46/2.59	c deduced all_different(V28,V70,V406,V492,V780,V1488,V1747,V788)
2.46/2.59	c deduced all_different(V6,V184,V738,V1075,V1333,V1680,V789)
2.46/2.59	c deduced all_different(V233,V234,V489,V577,V1154,V1507,V790)
2.46/2.59	c deduced all_different(V132,V246,V376,V1426,V2084,V791)
2.46/2.59	c deduced all_different(V11,V277,V289,V308,V794)
2.46/2.59	c deduced all_different(V154,V282,V598,V969,V1416,V795)
2.46/2.59	c deduced all_different(V105,V200,V278,V1568,V796)
2.46/2.59	c deduced all_different(V240,V598,V721,V958,V1007,V1751,V797)
2.46/2.59	c deduced all_different(V10,V88,V143,V873,V903,V2086,V798)
2.46/2.59	c deduced all_different(V196,V459,V700,V1755,V1934,V801)
2.46/2.59	c deduced all_different(V15,V149,V367,V491,V1781,V807)
2.46/2.59	c deduced all_different(V59,V111,V291,V1674,V809)
2.46/2.59	c deduced all_different(V104,V147,V1008,V1355,V1644,V1713,V810)
2.46/2.59	c deduced all_different(V1,V167,V355,V1557,V1577,V1963,V811)
2.46/2.59	c deduced all_different(V52,V376,V672,V870,V2084,V814)
2.46/2.59	c deduced all_different(V36,V272,V1575,V1711,V815)
2.46/2.59	c deduced all_different(V137,V152,V1221,V1287,V1679,V816)
2.46/2.59	c deduced all_different(V9,V13,V280,V844,V1578,V817)
2.46/2.59	c deduced all_different(V404,V469,V657,V698,V1044,V1122,V1490,V2002,V818)
2.46/2.59	c deduced all_different(V25,V136,V303,V2003,V2034,V821)
2.46/2.59	c deduced all_different(V194,V197,V718,V732,V1298,V1455,V822)
2.46/2.59	c deduced all_different(V84,V95,V590,V599,V1240,V824)
2.46/2.59	c deduced all_different(V14,V28,V70,V551,V780,V1167,V1279,V825)
2.46/2.59	c deduced all_different(V15,V80,V1271,V1781,V826)
2.46/2.59	c deduced all_different(V152,V538,V1287,V1679,V1831,V827)
2.46/2.59	c deduced all_different(V105,V185,V737,V833,V834)
2.46/2.59	c deduced all_different(V40,V811,V989,V1342,V1963,V835)
2.46/2.59	c deduced all_different(V68,V365,V590,V1382,V838)
2.46/2.59	c deduced all_different(V190,V383,V616,V1539,V1659,V839)
2.46/2.59	c deduced all_different(V214,V624,V1231,V1288,V1367,V842)
2.46/2.59	c deduced all_different(V69,V103,V430,V1201,V1250,V843)
2.46/2.59	c deduced all_different(V152,V662,V675,V1563,V1679,V846)
2.46/2.59	c deduced all_different(V84,V95,V590,V599,V1265,V847)
2.46/2.59	c deduced all_different(V31,V85,V180,V322,V1755,V848)
2.46/2.59	c deduced all_different(V24,V126,V247,V423,V849)
2.46/2.59	c deduced all_different(V7,V26,V1260,V1957,V1982,V851)
2.46/2.59	c deduced all_different(V34,V447,V699,V736,V1019,V1231,V852)
2.46/2.59	c deduced all_different(V97,V232,V261,V1173,V1798,V1806,V853)
2.46/2.59	c deduced all_different(V82,V225,V304,V508,V1418,V1962,V1979,V854)
2.46/2.59	c deduced all_different(V157,V300,V674,V694,V1283,V855)
2.46/2.59	c deduced all_different(V48,V222,V444,V1061,V1226,V1285,V858)
2.46/2.59	c deduced all_different(V164,V331,V345,V1153,V2106,V859)
2.46/2.59	c deduced all_different(V34,V341,V808,V991,V1231,V862)
2.46/2.59	c deduced all_different(V149,V367,V529,V1781,V863)
2.46/2.59	c deduced all_different(V192,V234,V577,V667,V860,V865)
2.46/2.59	c deduced all_different(V103,V430,V1089,V1436,V1530,V866)
2.46/2.59	c deduced all_different(V3,V116,V451,V504,V1960,V2081,V867)
2.46/2.59	c deduced all_different(V118,V650,V1150,V1615,V1846,V868)
2.46/2.59	c deduced all_different(V175,V310,V507,V1644,V869)
2.46/2.59	c deduced all_different(V419,V525,V545,V660,V1950,V875)
2.46/2.59	c deduced all_different(V7,V784,V1049,V1957,V1982,V876)
2.46/2.59	c deduced all_different(V72,V165,V215,V1258,V1638,V877)
2.46/2.59	c deduced all_different(V121,V562,V711,V1202,V1659,V878)
2.46/2.59	c deduced all_different(V95,V271,V590,V824,V943,V879)
2.46/2.59	c deduced all_different(V219,V255,V295,V430,V1390,V880)
2.46/2.59	c deduced all_different(V295,V318,V430,V945,V2016,V2098,V881)
2.46/2.59	c deduced all_different(V39,V199,V572,V935,V882)
2.46/2.59	c deduced all_different(V90,V449,V735,V1679,V1694,V884)
2.46/2.59	c deduced all_different(V26,V108,V273,V1260,V1395,V1528,V1957,V885)
2.46/2.59	c deduced all_different(V48,V266,V552,V1285,V1318,V886)
2.46/2.59	c deduced all_different(V30,V146,V670,V1151,V1718,V1957,V887)
2.46/2.59	c deduced all_different(V86,V138,V563,V633,V1112,V1483,V890)
2.46/2.59	c deduced all_different(V188,V216,V260,V1806,V2097,V892)
2.46/2.59	c deduced all_different(V9,V280,V431,V1569,V1578,V895)
2.46/2.59	c deduced all_different(V227,V542,V971,V1158,V1285,V1681,V1699,V896)
2.46/2.59	c deduced all_different(V46,V524,V582,V1184,V1214,V1439,V897)
2.46/2.59	c deduced all_different(V48,V222,V353,V552,V1285,V898)
2.46/2.59	c deduced all_different(V59,V75,V653,V793,V1674,V900)
2.46/2.59	c deduced all_different(V157,V300,V317,V694,V1496,V904)
2.46/2.59	c deduced all_different(V39,V199,V547,V893,V1291,V1805,V907)
2.46/2.59	c deduced all_different(V145,V363,V1423,V1878,V2022,V908)
2.46/2.59	c deduced all_different(V206,V364,V456,V532,V694,V909)
2.46/2.59	c deduced all_different(V25,V181,V252,V320,V2003,V911)
2.46/2.59	c deduced all_different(V7,V26,V803,V1957,V912)
2.46/2.59	c deduced all_different(V122,V577,V860,V1028,V913)
2.46/2.59	c deduced all_different(V1,V314,V811,V1290,V1963,V914)
2.46/2.59	c deduced all_different(V30,V273,V1049,V1078,V1718,V1957,V1993,V916)
2.46/2.59	c deduced all_different(V14,V70,V78,V551,V1167,V1196,V917)
2.46/2.59	c deduced all_different(V50,V844,V1578,V1848,V918)
2.46/2.59	c deduced all_different(V14,V28,V70,V78,V297,V901,V1279,V922)
2.46/2.59	c deduced all_different(V113,V176,V225,V293,V743,V1962,V923)
2.46/2.59	c deduced all_different(V9,V50,V244,V696,V844,V1578,V924)
2.46/2.59	c deduced all_different(V14,V28,V70,V297,V492,V1320,V925)
2.46/2.59	c deduced all_different(V155,V582,V813,V1495,V927)
2.46/2.59	c deduced all_different(V16,V303,V544,V1459,V1867,V2003,V928)
2.46/2.59	c deduced all_different(V214,V447,V736,V1178,V1231,V929)
2.46/2.59	c deduced all_different(V56,V143,V761,V1417,V930)
2.46/2.59	c deduced all_different(V7,V102,V498,V1001,V1528,V1957,V1993,V932)
2.46/2.59	c deduced all_different(V81,V276,V459,V749,V1755,V933)
2.46/2.59	c deduced all_different(V126,V130,V423,V429,V934)
2.46/2.59	c deduced all_different(V21,V657,V665,V941,V1122,V1349,V1424,V936)
2.46/2.59	c deduced all_different(V194,V197,V533,V1331,V1455,V937)
2.46/2.59	c deduced all_different(V94,V128,V165,V760,V1769,V939)
2.46/2.59	c deduced all_different(V28,V70,V71,V780,V1488,V940)
2.46/2.59	c deduced all_different(V154,V477,V598,V889,V969,V1257,V942)
2.46/2.59	c deduced all_different(V45,V114,V398,V705,V1180,V946)
2.46/2.59	c deduced all_different(V3,V116,V388,V504,V829,V1960,V948)
2.46/2.59	c deduced all_different(V24,V247,V279,V423,V949)
2.46/2.59	c deduced all_different(V19,V86,V142,V1112,V1483,V950)
2.46/2.59	c deduced all_different(V190,V344,V616,V711,V1659,V954)
2.46/2.59	c deduced all_different(V60,V401,V593,V979,V1230,V1429,V956)
2.46/2.59	c deduced all_different(V188,V216,V757,V1806,V957)
2.46/2.59	c deduced all_different(V240,V274,V598,V969,V959)
2.46/2.59	c deduced all_different(V139,V657,V665,V1349,V960)
2.46/2.59	c deduced all_different(V192,V234,V577,V963)
2.46/2.59	c deduced all_different(V3,V526,V651,V1517,V1960,V1992,V964)
2.46/2.59	c deduced all_different(V26,V108,V803,V1260,V1528,V1957,V966)
2.46/2.59	c deduced all_different(V22,V117,V416,V781,V997,V1895,V1986,V968)
2.46/2.59	c deduced all_different(V190,V344,V616,V954,V1659,V972)
2.46/2.59	c deduced all_different(V271,V468,V590,V730,V1303,V974)
2.46/2.59	c deduced all_different(V59,V62,V602,V620,V965,V1674,V976)
2.46/2.59	c deduced all_different(V57,V252,V1733,V1923,V2003,V977)
2.46/2.59	c deduced all_different(V266,V407,V500,V1285,V1341,V978)
2.46/2.59	c deduced all_different(V117,V281,V613,V632,V781,V980)
2.46/2.59	c deduced all_different(V131,V346,V1251,V1875,V1950,V981)
2.46/2.59	c deduced all_different(V4,V135,V393,V1075,V983)
2.46/2.59	c deduced all_different(V190,V562,V711,V1659,V984)
2.46/2.59	c deduced all_different(V3,V451,V504,V857,V1039,V1960,V985)
2.46/2.59	c deduced all_different(V44,V191,V423,V1134,V986)
2.46/2.59	c deduced all_different(V85,V180,V700,V1755,V987)
2.46/2.59	c deduced all_different(V174,V372,V378,V664,V1209,V988)
2.46/2.59	c deduced all_different(V206,V364,V532,V694,V992)
2.46/2.59	c deduced all_different(V223,V251,V341,V1052,V1110,V1231,V993)
2.46/2.59	c deduced all_different(V17,V105,V208,V833,V1810,V996)
2.46/2.59	c deduced all_different(V101,V224,V311,V487,V607,V1100,V998)
2.46/2.59	c deduced all_different(V130,V191,V423,V429,V999)
2.46/2.59	c deduced all_different(V20,V32,V1493,V1000)
2.46/2.59	c deduced all_different(V90,V449,V884,V1526,V1679,V1002)
2.46/2.59	c deduced all_different(V70,V71,V406,V780,V1312,V1004)
2.46/2.59	c deduced all_different(V40,V323,V355,V1678,V1963,V1005)
2.46/2.59	c deduced all_different(V147,V381,V1126,V1361,V1644,V1785,V1006)
2.46/2.59	c deduced all_different(V74,V389,V1016,V1373,V1423,V1009)
2.46/2.59	c deduced all_different(V11,V289,V371,V671,V1294,V1010)
2.46/2.59	c deduced all_different(V13,V50,V1346,V1578,V1011)
2.46/2.59	c deduced all_different(V144,V165,V361,V439,V502,V1012)
2.46/2.59	c deduced all_different(V131,V545,V1950,V1014)
2.46/2.59	c deduced all_different(V22,V117,V416,V781,V1895,V2114,V1018)
2.46/2.59	c deduced all_different(V69,V103,V430,V1250,V1020)
2.46/2.59	c deduced all_different(V260,V684,V1485,V1727,V1806,V1021)
2.46/2.59	c deduced all_different(V20,V64,V1852,V1022)
2.46/2.59	c deduced all_different(V31,V81,V637,V1755,V1024)
2.46/2.59	c deduced all_different(V188,V684,V689,V1727,V1806,V1025)
2.46/2.59	c deduced all_different(V32,V51,V1000,V1493,V1026)
2.46/2.59	c deduced all_different(V98,V158,V372,V639,V1027)
2.46/2.59	c deduced all_different(V214,V609,V808,V1231,V1288,V2037,V1031)
2.46/2.59	c deduced all_different(V68,V365,V590,V1486,V1612,V1032)
2.46/2.59	c deduced all_different(V13,V187,V1410,V1578,V1825,V1033)
2.46/2.59	c deduced all_different(V42,V159,V703,V1153,V1415,V1034)
2.46/2.59	c deduced all_different(V172,V543,V603,V731,V1543,V1036)
2.46/2.59	c deduced all_different(V3,V116,V388,V526,V1960,V1037)
2.46/2.59	c deduced all_different(V45,V114,V413,V705,V1041)
2.46/2.59	c deduced all_different(V35,V495,V657,V665,V2002,V1043)
2.56/2.60	c deduced all_different(V89,V205,V979,V1429,V1045)
2.56/2.60	c deduced all_different(V110,V183,V740,V850,V1578,V1046)
2.56/2.60	c deduced all_different(V93,V316,V413,V705,V1121,V1663,V1048)
2.56/2.60	c deduced all_different(V53,V267,V529,V1697,V1781,V1050)
2.56/2.60	c deduced all_different(V177,V287,V480,V1231,V2037,V1051)
2.56/2.60	c deduced all_different(V131,V545,V627,V1950,V1054)
2.56/2.60	c deduced all_different(V119,V155,V582,V813,V1227,V1055)
2.56/2.60	c deduced all_different(V40,V355,V811,V1780,V1963,V1056)
2.56/2.60	c deduced all_different(V98,V321,V372,V2074,V1057)
2.56/2.60	c deduced all_different(V99,V176,V248,V508,V1418,V1962,V1058)
2.56/2.60	c deduced all_different(V124,V206,V254,V364,V694,V1060)
2.56/2.60	c deduced all_different(V3,V116,V388,V829,V857,V1960,V1062)
2.56/2.60	c deduced all_different(V284,V316,V450,V658,V705,V787,V812,V1063)
2.56/2.60	c deduced all_different(V88,V143,V903,V906,V1583,V1064)
2.56/2.60	c deduced all_different(V445,V464,V820,V1040,V1141,V1066)
2.56/2.60	c deduced all_different(V195,V1040,V1117,V1502,V1069)
2.56/2.60	c deduced all_different(V77,V265,V751,V1331,V1358,V1455,V1070)
2.56/2.60	c deduced all_different(V69,V255,V430,V1029,V1250,V1071)
2.56/2.60	c deduced all_different(V72,V128,V165,V1269,V1073)
2.56/2.60	c deduced all_different(V147,V1006,V1126,V1355,V1361,V1644,V1074)
2.56/2.60	c deduced all_different(V23,V290,V423,V1030,V1125,V1275,V1077)
2.56/2.60	c deduced all_different(V217,V562,V711,V1659,V1079)
2.56/2.60	c deduced all_different(V66,V83,V101,V327,V1470,V1080)
2.56/2.60	c deduced all_different(V133,V172,V570,V731,V1661,V2001,V1082)
2.56/2.60	c deduced all_different(V107,V120,V160,V864,V1076,V1842,V1084)
2.56/2.60	c deduced all_different(V72,V144,V165,V215,V1269,V1794,V1090)
2.56/2.60	c deduced all_different(V67,V126,V262,V423,V1229,V1573,V1091)
2.56/2.60	c deduced all_different(V305,V598,V1257,V1363,V1092)
2.56/2.60	c deduced all_different(V344,V569,V800,V1038,V1659,V1093)
2.56/2.60	c deduced all_different(V180,V322,V399,V1380,V1755,V1094)
2.56/2.60	c deduced all_different(V216,V230,V957,V967,V1419,V1806,V1096)
2.56/2.60	c deduced all_different(V154,V282,V598,V1757,V1907,V1097)
2.56/2.60	c deduced all_different(V119,V155,V379,V582,V813,V1649,V1102)
2.56/2.60	c deduced all_different(V89,V245,V894,V1429,V1103)
2.56/2.60	c deduced all_different(V249,V372,V482,V493,V1278,V1104)
2.56/2.60	c deduced all_different(V116,V451,V867,V1549,V1960,V1105)
2.56/2.60	c deduced all_different(V52,V374,V405,V1216,V2084,V1106)
2.56/2.60	c deduced all_different(V69,V430,V1029,V1047,V1201,V1107)
2.56/2.60	c deduced all_different(V148,V189,V280,V296,V850,V1578,V1109)
2.56/2.60	c deduced all_different(V222,V353,V444,V500,V1285,V1113)
2.56/2.60	c deduced all_different(V54,V66,V101,V224,V585,V1108,V2095,V1114)
2.56/2.60	c deduced all_different(V87,V164,V204,V1153,V1263,V1115)
2.56/2.60	c deduced all_different(V398,V658,V705,V1048,V1116)
2.56/2.60	c deduced all_different(V19,V106,V799,V1483,V1118)
2.56/2.60	c deduced all_different(V27,V204,V331,V1153,V1119)
2.56/2.60	c deduced all_different(V240,V598,V792,V958,V1120)
2.56/2.60	c deduced all_different(V42,V198,V345,V1153,V1123)
2.56/2.60	c deduced all_different(V31,V81,V1669,V1755,V2054,V1124)
2.56/2.60	c deduced all_different(V192,V257,V577,V910,V1690,V1779,V1127)
2.56/2.60	c deduced all_different(V25,V252,V688,V1463,V1733,V2003,V1128)
2.56/2.60	c deduced all_different(V268,V381,V810,V1098,V1644,V1684,V1924,V1130)
2.56/2.60	c deduced all_different(V61,V289,V308,V332,V645,V1131)
2.56/2.60	c deduced all_different(V287,V480,V929,V1231,V2037,V1132)
2.56/2.60	c deduced all_different(V20,V166,V272,V1022,V1133)
2.56/2.60	c deduced all_different(V121,V190,V711,V845,V1659,V1135)
2.56/2.60	c deduced all_different(V190,V383,V616,V1539,V1659,V1137)
2.56/2.60	c deduced all_different(V240,V274,V598,V1807,V1139)
2.56/2.60	c deduced all_different(V158,V249,V372,V772,V1143)
2.56/2.60	c deduced all_different(V1,V522,V914,V1614,V1678,V1963,V1144)
2.56/2.60	c deduced all_different(V193,V316,V705,V767,V1145)
2.56/2.60	c deduced all_different(V318,V430,V768,V1029,V1155)
2.56/2.60	c deduced all_different(V38,V113,V248,V549,V717,V1962,V1159)
2.56/2.60	c deduced all_different(V128,V165,V409,V1266,V1160)
2.56/2.60	c deduced all_different(V109,V499,V650,V1698,V1824,V1161)
2.56/2.60	c deduced all_different(V211,V321,V372,V378,V1057,V1441,V1162)
2.56/2.60	c deduced all_different(V18,V133,V325,V731,V1315,V1163)
2.56/2.60	c deduced all_different(V33,V199,V547,V1179,V1774,V1945,V1164)
2.56/2.60	c deduced all_different(V180,V286,V322,V766,V1380,V1755,V1165)
2.56/2.60	c deduced all_different(V105,V185,V368,V589,V990,V1168)
2.56/2.60	c deduced all_different(V88,V143,V422,V701,V1272,V1169)
2.56/2.60	c deduced all_different(V93,V413,V450,V705,V767,V1170)
2.56/2.60	c deduced all_different(V26,V273,V885,V1528,V1718,V1957,V1171)
2.56/2.60	c deduced all_different(V47,V118,V340,V506,V650,V1072,V1174)
2.56/2.60	c deduced all_different(V116,V719,V829,V1105,V1960,V1175)
2.56/2.60	c deduced all_different(V106,V138,V241,V1442,V1483,V1176)
2.56/2.60	c deduced all_different(V31,V85,V286,V322,V1755,V1177)
2.56/2.60	c deduced all_different(V65,V195,V591,V1040,V1607,V1181)
2.56/2.60	c deduced all_different(V47,V390,V650,V1276,V1587,V1182)
2.56/2.60	c deduced all_different(V52,V132,V330,V1292,V1389,V2040,V2084,V1185)
2.56/2.60	c deduced all_different(V179,V490,V582,V1274,V1186)
2.56/2.60	c deduced all_different(V105,V185,V589,V990,V1168,V1760,V1187)
2.56/2.60	c deduced all_different(V229,V420,V561,V577,V1188)
2.56/2.60	c deduced all_different(V49,V61,V289,V421,V645,V1189)
2.56/2.60	c deduced all_different(V88,V143,V422,V903,V1272,V1851,V1192)
2.56/2.60	c deduced all_different(V33,V115,V199,V572,V1193)
2.56/2.60	c deduced all_different(V15,V329,V491,V807,V1781,V1194)
2.56/2.60	c deduced all_different(V35,V139,V657,V665,V1424,V1197)
2.56/2.60	c deduced all_different(V396,V695,V731,V1163,V2001,V1199)
2.56/2.60	c deduced all_different(V408,V691,V1700,V2003,V1200)
2.56/2.60	c deduced all_different(V10,V143,V236,V701,V761,V1589,V1203)
2.56/2.60	c deduced all_different(V9,V13,V484,V1410,V1578,V1204)
2.56/2.60	c deduced all_different(V346,V373,V539,V883,V1950,V1205)
2.56/2.60	c deduced all_different(V60,V127,V1157,V1362,V1429,V1602,V1207)
2.56/2.60	c deduced all_different(V72,V165,V409,V435,V1431,V1208)
2.56/2.60	c deduced all_different(V31,V713,V848,V1755,V1211)
2.56/2.60	c deduced all_different(V132,V246,V791,V1256,V2084,V1213)
2.56/2.60	c deduced all_different(V58,V347,V376,V1984,V2084,V1215)
2.56/2.60	c deduced all_different(V22,V342,V416,V781,V968,V1406,V1217)
2.56/2.60	c deduced all_different(V93,V316,V630,V705,V1048,V1218)
2.56/2.60	c deduced all_different(V19,V106,V687,V1112,V1483,V1870,V1222)
2.56/2.60	c deduced all_different(V58,V374,V709,V1106,V2057,V2084,V1224)
2.56/2.60	c deduced all_different(V17,V105,V726,V990,V2087,V1228)
2.56/2.60	c deduced all_different(V81,V276,V459,V933,V1755,V1233)
2.56/2.60	c deduced all_different(V353,V500,V542,V1113,V1285,V1297,V1318,V1235)
2.56/2.60	c deduced all_different(V133,V172,V731,V995,V1879,V1236)
2.56/2.60	c deduced all_different(V47,V118,V340,V650,V856,V1223,V1709,V1238)
2.56/2.60	c deduced all_different(V86,V142,V472,V1152,V1483,V1239)
2.56/2.60	c deduced all_different(V147,V1006,V1023,V1644,V1766,V1785,V2004,V1243)
2.56/2.60	c deduced all_different(V62,V163,V294,V710,V1674,V1245)
2.56/2.60	c deduced all_different(V174,V372,V378,V664,V988,V1247)
2.56/2.60	c deduced all_different(V57,V181,V252,V1459,V2003,V1248)
2.56/2.60	c deduced all_different(V157,V292,V300,V674,V694,V1438,V1249)
2.56/2.60	c deduced all_different(V14,V28,V70,V78,V297,V1252)
2.56/2.60	c deduced all_different(V104,V220,V823,V1644,V1253)
2.56/2.60	c deduced all_different(V15,V267,V596,V1781,V1255)
2.56/2.60	c deduced all_different(V59,V75,V714,V793,V1053,V1674,V1262)
2.56/2.60	c deduced all_different(V22,V281,V781,V997,V1406,V2114,V1264)
2.56/2.60	c deduced all_different(V158,V372,V482,V1951,V1267)
2.56/2.60	c deduced all_different(V158,V372,V493,V664,V1268)
2.56/2.60	c deduced all_different(V260,V892,V1021,V1419,V1806,V1273)
2.56/2.60	c deduced all_different(V1,V314,V323,V1290,V1963,V1277)
2.56/2.60	c deduced all_different(V193,V316,V630,V705,V767,V1280)
2.56/2.60	c deduced all_different(V45,V114,V398,V705,V946,V1281)
2.56/2.60	c deduced all_different(V7,V102,V498,V803,V1528,V1957,V1282)
2.56/2.60	c deduced all_different(V254,V300,V317,V694,V1060,V1438,V1289)
2.56/2.60	c deduced all_different(V0,V386,V510,V1040,V1141,V1295)
2.56/2.60	c deduced all_different(V106,V241,V687,V1421,V1483,V1299)
2.56/2.60	c deduced all_different(V155,V379,V490,V582,V745,V828,V1304)
2.56/2.60	c deduced all_different(V117,V281,V416,V778,V781,V1305)
2.56/2.60	c deduced all_different(V33,V199,V547,V1854,V1955,V1306)
2.56/2.60	c deduced all_different(V132,V246,V376,V672,V2084,V1308)
2.56/2.60	c deduced all_different(V65,V238,V309,V591,V1040,V1181,V1309)
2.56/2.60	c deduced all_different(V2,V160,V747,V1076,V1474,V1983,V1310)
2.56/2.60	c deduced all_different(V104,V147,V810,V1126,V1644,V1311)
2.56/2.60	c deduced all_different(V168,V218,V543,V603,V731,V1313)
2.56/2.60	c deduced all_different(V15,V149,V491,V642,V1781,V1316)
2.56/2.60	c deduced all_different(V69,V221,V430,V1020,V1254,V1436,V1606,V1321)
2.56/2.60	c deduced all_different(V105,V208,V239,V368,V905,V1168,V1323)
2.56/2.60	c deduced all_different(V160,V171,V864,V1076,V1621,V1324)
2.56/2.60	c deduced all_different(V216,V260,V967,V1173,V1806,V2031,V1325)
2.56/2.60	c deduced all_different(V43,V92,V514,V902,V1423,V1878,V1326)
2.56/2.60	c deduced all_different(V167,V355,V473,V811,V836,V1963,V1327)
2.56/2.60	c deduced all_different(V5,V105,V239,V368,V1427,V1328)
2.56/2.60	c deduced all_different(V12,V289,V501,V671,V785,V1692,V1329)
2.56/2.60	c deduced all_different(V84,V365,V590,V1032,V1612,V1330)
2.56/2.60	c deduced all_different(V104,V823,V1644,V1791,V1936,V1332)
2.56/2.60	c deduced all_different(V254,V292,V300,V694,V1830,V1335)
2.56/2.60	c deduced all_different(V90,V449,V1002,V1526,V1679,V1336)
2.56/2.60	c deduced all_different(V221,V237,V430,V945,V1390,V1338)
2.56/2.60	c deduced all_different(V1,V355,V1017,V1577,V1963,V1339)
2.56/2.60	c deduced all_different(V99,V176,V508,V1872,V1962,V1340)
2.56/2.60	c deduced all_different(V139,V657,V804,V960,V1926,V1343)
2.56/2.60	c deduced all_different(V8,V18,V168,V731,V1377,V1344)
2.56/2.60	c deduced all_different(V20,V36,V441,V1345)
2.56/2.60	c deduced all_different(V33,V115,V199,V572,V1641,V1347)
2.56/2.60	c deduced all_different(V69,V103,V430,V843,V1201,V1348)
2.56/2.60	c deduced all_different(V52,V330,V540,V2084,V1350)
2.56/2.60	c deduced all_different(V84,V313,V468,V590,V1353)
2.56/2.60	c deduced all_different(V37,V151,V979,V1429,V1793,V1354)
2.56/2.60	c deduced all_different(V132,V330,V376,V440,V1660,V2084,V1357)
2.56/2.60	c deduced all_different(V121,V190,V562,V1539,V1659,V1928,V1359)
2.56/2.60	c deduced all_different(V254,V364,V532,V694,V720,V1360)
2.56/2.60	c deduced all_different(V195,V486,V1040,V1141,V1365)
2.56/2.60	c deduced all_different(V23,V130,V423,V1366)
2.56/2.60	c deduced all_different(V225,V293,V717,V1418,V1739,V1962,V1368)
2.56/2.60	c deduced all_different(V46,V379,V582,V1214,V1369)
2.56/2.60	c deduced all_different(V282,V335,V598,V889,V1416,V1732,V1751,V1371)
2.56/2.60	c deduced all_different(V186,V198,V763,V840,V1153,V1447,V1374)
2.56/2.60	c deduced all_different(V139,V657,V669,V1375)
2.56/2.60	c deduced all_different(V43,V343,V926,V1270,V1423,V1376)
2.56/2.60	c deduced all_different(V136,V181,V252,V320,V2003,V1378)
2.56/2.60	c deduced all_different(V174,V275,V372,V664,V1381)
2.56/2.60	c deduced all_different(V107,V120,V864,V1076,V1142,V1773,V1842,V1383)
2.56/2.60	c deduced all_different(V177,V214,V436,V646,V1110,V1231,V1384)
2.56/2.60	c deduced all_different(V373,V539,V754,V883,V1950,V1988,V1386)
2.56/2.60	c deduced all_different(V268,V481,V1006,V1644,V1791,V1387)
2.56/2.60	c deduced all_different(V29,V199,V202,V547,V874,V1832,V1388)
2.56/2.60	c deduced all_different(V9,V50,V73,V244,V1578,V1890,V1391)
2.56/2.60	c deduced all_different(V211,V275,V372,V479,V493,V1392)
2.56/2.60	c deduced all_different(V68,V271,V365,V590,V1232,V1393)
2.56/2.60	c deduced all_different(V58,V376,V405,V1106,V2040,V2084,V1394)
2.56/2.60	c deduced all_different(V19,V182,V1483,V1752,V1396)
2.56/2.60	c deduced all_different(V22,V281,V781,V1895,V2114,V1397)
2.56/2.60	c deduced all_different(V54,V101,V209,V311,V487,V1790,V1398)
2.56/2.60	c deduced all_different(V122,V192,V561,V577,V1206,V1833,V1399)
2.56/2.60	c deduced all_different(V47,V506,V650,V1072,V1174,V1587,V1401)
2.56/2.60	c deduced all_different(V48,V266,V444,V1285,V1318,V1341,V1403)
2.56/2.60	c deduced all_different(V168,V218,V731,V995,V1407)
2.56/2.60	c deduced all_different(V26,V273,V885,V1260,V1528,V1957,V1408)
2.56/2.60	c deduced all_different(V134,V145,V1423,V1604,V1412)
2.56/2.60	c deduced all_different(V122,V488,V561,V577,V1422)
2.56/2.60	c deduced all_different(V251,V341,V808,V993,V1052,V1231,V1425)
2.56/2.60	c deduced all_different(V279,V290,V423,V759,V1030,V1125,V1428)
2.56/2.60	c deduced all_different(V386,V686,V820,V1040,V1141,V1430)
2.56/2.60	c deduced all_different(V31,V286,V1024,V1755,V1812,V1433)
2.56/2.60	c deduced all_different(V0,V395,V686,V820,V1040,V1434)
2.56/2.60	c deduced all_different(V48,V552,V898,V1285,V1318,V1796,V1435)
2.56/2.60	c deduced all_different(V161,V474,V755,V1493,V2000,V1437)
2.56/2.60	c deduced all_different(V90,V662,V675,V735,V1679,V1862,V1440)
2.56/2.60	c deduced all_different(V131,V545,V1054,V1950,V1443)
2.56/2.60	c deduced all_different(V43,V328,V514,V725,V1423,V1519,V1444)
2.56/2.60	c deduced all_different(V59,V612,V965,V1674,V1445)
2.56/2.60	c deduced all_different(V0,V395,V1040,V1295,V1446)
2.56/2.60	c deduced all_different(V68,V365,V590,V1393,V1486,V1612,V1448)
2.56/2.60	c deduced all_different(V55,V289,V645,V779,V1449)
2.56/2.60	c deduced all_different(V116,V526,V1037,V1517,V1960,V1450)
2.56/2.60	c deduced all_different(V2,V120,V516,V1076,V1814,V1451)
2.56/2.60	c deduced all_different(V101,V306,V369,V955,V1301,V1745,V1453)
2.56/2.60	c deduced all_different(V250,V282,V598,V792,V1732,V1907,V1454)
2.56/2.60	c deduced all_different(V216,V230,V307,V1293,V1806,V2031,V1456)
2.56/2.60	c deduced all_different(V116,V504,V857,V1039,V1960,V1457)
2.56/2.60	c deduced all_different(V119,V379,V546,V582,V1460)
2.56/2.60	c deduced all_different(V31,V85,V637,V848,V1755,V1812,V2071,V1461)
2.56/2.61	c deduced all_different(V392,V402,V443,V1455,V1898,V1462)
2.56/2.61	c deduced all_different(V40,V323,V819,V1963,V1464)
2.56/2.61	c deduced all_different(V3,V504,V857,V985,V1039,V1960,V1465)
2.56/2.61	c deduced all_different(V16,V303,V544,V1459,V1867,V2003,V1467)
2.56/2.61	c deduced all_different(V89,V427,V467,V1429,V1602,V1736,V1743,V1468)
2.56/2.61	c deduced all_different(V22,V342,V781,V783,V968,V1986,V1469)
2.56/2.61	c deduced all_different(V1,V167,V1017,V1577,V1963,V1471)
2.56/2.61	c deduced all_different(V199,V547,V874,V907,V1533,V1472)
2.56/2.61	c deduced all_different(V107,V120,V171,V753,V1076,V1983,V1473)
2.56/2.61	c deduced all_different(V172,V570,V731,V995,V1476)
2.56/2.61	c deduced all_different(V65,V386,V591,V1040,V1141,V1477)
2.56/2.61	c deduced all_different(V42,V198,V703,V763,V840,V1153,V1478)
2.56/2.61	c deduced all_different(V217,V226,V383,V806,V1659,V1479)
2.56/2.61	c deduced all_different(V157,V300,V674,V694,V1249,V1438,V1480)
2.56/2.61	c deduced all_different(V155,V578,V582,V828,V1166,V1495,V1481)
2.56/2.61	c deduced all_different(V29,V199,V572,V874,V1613,V1487)
2.56/2.61	c deduced all_different(V89,V203,V245,V1429,V1658,V1491)
2.56/2.61	c deduced all_different(V68,V271,V590,V730,V1232,V2021,V1494)
2.56/2.61	c deduced all_different(V27,V204,V417,V1153,V1498)
2.56/2.61	c deduced all_different(V154,V477,V598,V872,V969,V1257,V1499)
2.56/2.61	c deduced all_different(V38,V82,V225,V549,V1574,V1962,V1979,V1500)
2.56/2.61	c deduced all_different(V94,V128,V165,V760,V1652,V1501)
2.56/2.61	c deduced all_different(V101,V224,V369,V704,V1114,V1198,V1503)
2.56/2.61	c deduced all_different(V98,V372,V681,V1504)
2.56/2.61	c deduced all_different(V42,V568,V703,V1153,V2036,V1505)
2.56/2.61	c deduced all_different(V39,V79,V199,V1805,V1506)
2.56/2.61	c deduced all_different(V170,V472,V535,V1483,V1510)
2.56/2.61	c deduced all_different(V199,V202,V874,V1164,V1843,V1511)
2.56/2.61	c deduced all_different(V4,V6,V636,V1075,V1695,V1513)
2.56/2.61	c deduced all_different(V340,V650,V856,V1514)
2.56/2.61	c deduced all_different(V45,V284,V658,V705,V812,V1705,V1515)
2.56/2.61	c deduced all_different(V120,V171,V685,V753,V1076,V1516)
2.56/2.61	c deduced all_different(V194,V243,V732,V1298,V1455,V1518)
2.56/2.61	c deduced all_different(V12,V55,V61,V289,V1520)
2.56/2.61	c deduced all_different(V53,V123,V149,V642,V1781,V1521)
2.56/2.61	c deduced all_different(V107,V171,V753,V864,V1076,V1142,V1522)
2.56/2.61	c deduced all_different(V23,V126,V423,V470,V1594,V1523)
2.56/2.61	c deduced all_different(V88,V143,V422,V625,V1524)
2.56/2.61	c deduced all_different(V29,V199,V202,V1291,V1805,V1525)
2.56/2.61	c deduced all_different(V64,V441,V668,V1715,V1527)
2.56/2.61	c deduced all_different(V373,V539,V617,V883,V1950,V1529)
2.56/2.61	c deduced all_different(V269,V538,V662,V1546,V1679,V1531)
2.56/2.61	c deduced all_different(V194,V392,V402,V1083,V1455,V1532)
2.56/2.61	c deduced all_different(V143,V236,V625,V1244,V1272,V1534)
2.56/2.61	c deduced all_different(V133,V172,V731,V1236,V1661,V1535)
2.56/2.61	c deduced all_different(V76,V140,V654,V673,V781,V1537)
2.56/2.61	c deduced all_different(V97,V232,V260,V1173,V1806,V2031,V1538)
2.56/2.61	c deduced all_different(V48,V266,V500,V1285,V1341,V1858,V1540)
2.56/2.61	c deduced all_different(V8,V18,V649,V731,V1853,V1541)
2.56/2.61	c deduced all_different(V118,V506,V650,V1072,V1150,V1542)
2.56/2.61	c deduced all_different(V6,V184,V789,V1075,V1317,V1333,V1544)
2.56/2.61	c deduced all_different(V59,V291,V612,V1674,V1545)
2.56/2.61	c deduced all_different(V132,V330,V376,V1984,V2084,V1547)
2.56/2.61	c deduced all_different(V84,V95,V590,V599,V712,V1550)
2.56/2.61	c deduced all_different(V404,V469,V657,V698,V818,V1044,V1122,V2002,V1551)
2.56/2.61	c deduced all_different(V373,V387,V555,V644,V961,V1950,V2076,V1552)
2.56/2.61	c deduced all_different(V124,V157,V317,V694,V837,V1553)
2.56/2.61	c deduced all_different(V38,V82,V304,V1962,V1972,V1554)
2.56/2.61	c deduced all_different(V10,V143,V422,V903,V2086,V1555)
2.56/2.61	c deduced all_different(V105,V208,V726,V833,V1111,V1323,V1556)
2.56/2.61	c deduced all_different(V66,V83,V101,V585,V955,V1301,V1558)
2.56/2.61	c deduced all_different(V109,V499,V650,V1238,V1414,V1560)
2.56/2.61	c deduced all_different(V122,V233,V488,V577,V915,V1561)
2.56/2.61	c deduced all_different(V3,V451,V867,V1549,V1960,V1562)
2.56/2.61	c deduced all_different(V147,V381,V1006,V1361,V1644,V1684,V1785,V1564)
2.56/2.61	c deduced all_different(V190,V562,V711,V1659,V1565)
2.56/2.61	c deduced all_different(V50,V73,V110,V484,V1346,V1578,V1567)
2.56/2.61	c deduced all_different(V5,V105,V208,V239,V368,V1648,V1570)
2.56/2.61	c deduced all_different(V72,V165,V409,V1090,V1571)
2.56/2.61	c deduced all_different(V10,V143,V625,V1976,V2024,V1572)
2.56/2.61	c deduced all_different(V112,V141,V636,V1075,V1317,V1576)
2.56/2.61	c deduced all_different(V353,V542,V1113,V1235,V1285,V1297,V1318,V1579)
2.56/2.61	c deduced all_different(V44,V67,V290,V423,V1077,V1580)
2.56/2.61	c deduced all_different(V179,V485,V509,V546,V582,V1581)
2.56/2.61	c deduced all_different(V181,V252,V320,V1378,V2003,V1582)
2.56/2.61	c deduced all_different(V86,V142,V563,V1483,V2103,V1584)
2.56/2.61	c deduced all_different(V9,V50,V73,V484,V844,V1578,V1585)
2.56/2.61	c deduced all_different(V94,V165,V215,V1258,V1501,V1652,V1586)
2.56/2.61	c deduced all_different(V177,V360,V595,V646,V991,V1231,V1588)
2.56/2.61	c deduced all_different(V48,V266,V500,V1285,V1540,V1591)
2.56/2.61	c deduced all_different(V226,V562,V711,V878,V984,V1659,V1592)
2.56/2.61	c deduced all_different(V32,V51,V64,V384,V1593)
2.56/2.61	c deduced all_different(V77,V1331,V1358,V1455,V1595)
2.56/2.61	c deduced all_different(V98,V372,V567,V1027,V1081,V1241,V1748,V1596)
2.56/2.61	c deduced all_different(V84,V95,V590,V712,V994,V1597)
2.56/2.61	c deduced all_different(V75,V125,V618,V900,V1432,V1674,V1601)
2.56/2.61	c deduced all_different(V222,V353,V444,V1226,V1285,V1605)
2.56/2.61	c deduced all_different(V171,V864,V1076,V1324,V1621,V1608)
2.56/2.61	c deduced all_different(V0,V386,V510,V1040,V1295,V1497,V1609)
2.56/2.61	c deduced all_different(V3,V388,V651,V829,V1062,V1960,V1610)
2.56/2.61	c deduced all_different(V246,V405,V519,V1215,V1688,V2084,V1611)
2.56/2.61	c deduced all_different(V127,V203,V245,V264,V756,V1429,V1616)
2.56/2.61	c deduced all_different(V112,V375,V680,V1075,V1617)
2.56/2.61	c deduced all_different(V118,V650,V1150,V1615,V1717,V1846,V1618)
2.56/2.61	c deduced all_different(V28,V70,V78,V297,V922,V1279,V1619)
2.56/2.61	c deduced all_different(V25,V57,V181,V252,V2003,V1622)
2.56/2.61	c deduced all_different(V94,V165,V215,V462,V841,V1623)
2.56/2.61	c deduced all_different(V221,V430,V475,V1250,V1338,V1624)
2.56/2.61	c deduced all_different(V7,V26,V273,V1260,V1395,V1957,V1625)
2.56/2.61	c deduced all_different(V388,V403,V651,V1508,V1960,V1626)
2.56/2.61	c deduced all_different(V81,V276,V370,V749,V1755,V1627)
2.56/2.61	c deduced all_different(V43,V74,V92,V1423,V1657,V1628)
2.56/2.61	c deduced all_different(V48,V222,V353,V444,V1226,V1285,V1629)
2.56/2.61	c deduced all_different(V473,V522,V583,V914,V1471,V1963,V1630)
2.56/2.61	c deduced all_different(V30,V146,V1049,V1078,V1718,V1957,V1993,V1632)
2.56/2.61	c deduced all_different(V219,V237,V318,V430,V768,V1390,V1633)
2.56/2.61	c deduced all_different(V174,V372,V664,V1209,V2074,V1634)
2.56/2.61	c deduced all_different(V4,V112,V1075,V1655,V1635)
2.56/2.61	c deduced all_different(V14,V70,V350,V659,V1312,V1636)
2.56/2.61	c deduced all_different(V40,V819,V1464,V1963,V1637)
2.56/2.61	c deduced all_different(V243,V402,V732,V1455,V1598,V1672,V1639)
2.56/2.61	c deduced all_different(V5,V105,V239,V905,V1648,V1640)
2.56/2.61	c deduced all_different(V93,V413,V705,V1048,V1121,V1663,V1642)
2.56/2.61	c deduced all_different(V167,V355,V473,V811,V836,V1963,V1643)
2.56/2.61	c deduced all_different(V38,V248,V601,V951,V1962,V1646)
2.56/2.61	c deduced all_different(V152,V538,V827,V1336,V1679,V1925,V1647)
2.56/2.61	c deduced all_different(V40,V323,V819,V1963,V1650)
2.56/2.61	c deduced all_different(V52,V246,V374,V1256,V2084,V1651)
2.56/2.61	c deduced all_different(V203,V756,V871,V1429,V1793,V1653)
2.56/2.61	c deduced all_different(V274,V282,V598,V889,V1732,V1654)
2.56/2.61	c deduced all_different(V193,V316,V630,V705,V1048,V1662)
2.56/2.61	c deduced all_different(V23,V126,V130,V279,V423,V1665)
2.56/2.61	c deduced all_different(V344,V569,V782,V1659,V2006,V1666)
2.56/2.61	c deduced all_different(V47,V382,V650,V861,V1587,V2005,V1667)
2.56/2.61	c deduced all_different(V11,V289,V308,V1692,V1668)
2.56/2.61	c deduced all_different(V28,V70,V297,V780,V901,V1906,V1670)
2.56/2.61	c deduced all_different(V31,V322,V766,V1024,V1755,V1671)
2.56/2.61	c deduced all_different(V86,V138,V563,V633,V1112,V1483,V1673)
2.56/2.61	c deduced all_different(V165,V215,V439,V1258,V1586,V1652,V1675)
2.56/2.61	c deduced all_different(V54,V66,V83,V101,V327,V585,V1676)
2.56/2.61	c deduced all_different(V14,V28,V70,V551,V1167,V1279,V1677)
2.56/2.61	c deduced all_different(V0,V395,V655,V1040,V1767,V1682)
2.56/2.61	c deduced all_different(V109,V650,V1150,V1161,V1667,V1698,V1683)
2.56/2.61	c deduced all_different(V109,V650,V856,V1150,V1989,V1686)
2.56/2.61	c deduced all_different(V197,V243,V402,V1455,V1911,V1938,V1687)
2.56/2.61	c deduced all_different(V68,V271,V365,V590,V1393,V1691)
2.56/2.61	c deduced all_different(V37,V245,V979,V1362,V1429,V1749,V1693)
2.56/2.61	c deduced all_different(V103,V318,V430,V768,V1020,V1696)
2.56/2.61	c deduced all_different(V11,V277,V289,V635,V794,V1702)
2.56/2.61	c deduced all_different(V157,V288,V292,V694,V1704)
2.56/2.61	c deduced all_different(V54,V66,V83,V101,V585,V1301,V1707)
2.56/2.61	c deduced all_different(V76,V140,V434,V781,V1935,V1986,V1708)
2.56/2.61	c deduced all_different(V46,V379,V546,V582,V1214,V1710)
2.56/2.61	c deduced all_different(V121,V569,V970,V1659,V1712)
2.56/2.61	c deduced all_different(V38,V113,V549,V1159,V1962,V1714)
2.56/2.61	c deduced all_different(V164,V204,V331,V840,V1153,V1478,V1716)
2.56/2.61	c deduced all_different(V216,V230,V307,V967,V1419,V1806,V1978,V1719)
2.56/2.61	c deduced all_different(V116,V504,V867,V1960,V1720)
2.56/2.61	c deduced all_different(V38,V82,V1914,V1962,V1721)
2.56/2.61	c deduced all_different(V108,V146,V498,V1151,V1957,V2112,V1722)
2.56/2.61	c deduced all_different(V79,V199,V547,V1306,V2088,V1724)
2.56/2.61	c deduced all_different(V10,V143,V625,V1405,V1725)
2.56/2.61	c deduced all_different(V28,V70,V71,V940,V1488,V1726)
2.56/2.61	c deduced all_different(V54,V83,V101,V209,V1729)
2.56/2.61	c deduced all_different(V4,V135,V184,V393,V1075,V1730)
2.56/2.61	c deduced all_different(V243,V402,V443,V732,V1455,V1734)
2.56/2.61	c deduced all_different(V99,V176,V1340,V1802,V1872,V1962,V1735)
2.56/2.61	c deduced all_different(V49,V61,V289,V501,V1189,V1737)
2.56/2.61	c deduced all_different(V240,V282,V598,V792,V1740)
2.56/2.61	c deduced all_different(V136,V181,V252,V1378,V2003,V1741)
2.56/2.61	c deduced all_different(V98,V158,V372,V1027,V1748,V1742)
2.56/2.61	c deduced all_different(V68,V590,V682,V943,V1746)
2.56/2.61	c deduced all_different(V21,V657,V665,V1044,V1490,V1750)
2.56/2.61	c deduced all_different(V45,V114,V413,V705,V1754)
2.56/2.61	c deduced all_different(V86,V138,V201,V1483,V1857,V1756)
2.56/2.61	c deduced all_different(V234,V489,V577,V667,V1759)
2.56/2.61	c deduced all_different(V159,V331,V568,V1153,V1952,V2036,V1761)
2.56/2.61	c deduced all_different(V6,V623,V738,V1075,V1680,V1762)
2.56/2.61	c deduced all_different(V21,V495,V657,V804,V1631,V1763)
2.56/2.61	c deduced all_different(V19,V106,V1118,V1152,V1483,V1764)
2.56/2.61	c deduced all_different(V125,V156,V291,V1545,V1674,V1765)
2.56/2.61	c deduced all_different(V119,V179,V485,V582,V604,V1775)
2.56/2.61	c deduced all_different(V120,V160,V171,V753,V1076,V1142,V1776)
2.56/2.61	c deduced all_different(V20,V64,V441,V474,V1777)
2.56/2.61	c deduced all_different(V25,V57,V252,V320,V528,V2003,V1778)
2.56/2.61	c deduced all_different(V113,V176,V248,V508,V1962,V1782)
2.56/2.61	c deduced all_different(V90,V449,V884,V1679,V1694,V1784)
2.56/2.61	c deduced all_different(V270,V355,V453,V1339,V1678,V1963,V1787)
2.56/2.61	c deduced all_different(V157,V300,V317,V694,V904,V1788)
2.56/2.61	c deduced all_different(V260,V684,V757,V1806,V1931,V1789)
2.56/2.61	c deduced all_different(V110,V183,V740,V850,V1578,V1795)
2.56/2.61	c deduced all_different(V115,V199,V547,V874,V907,V1799)
2.56/2.61	c deduced all_different(V64,V384,V1715,V1800)
2.56/2.61	c deduced all_different(V15,V267,V642,V1781,V1801)
2.56/2.61	c deduced all_different(V10,V88,V143,V422,V1370,V1728,V1803)
2.56/2.61	c deduced all_different(V95,V377,V590,V682,V1095,V1804)
2.56/2.61	c deduced all_different(V45,V284,V316,V705,V812,V1705,V1808)
2.56/2.61	c deduced all_different(V162,V373,V545,V1950,V1809)
2.56/2.61	c deduced all_different(V94,V128,V165,V841,V1769,V2082,V1811)
2.56/2.61	c deduced all_different(V274,V282,V335,V598,V1807,V1813)
2.56/2.61	c deduced all_different(V105,V185,V368,V905,V1964,V1815)
2.56/2.61	c deduced all_different(V147,V381,V1126,V1361,V1644,V1785,V1816)
2.56/2.61	c deduced all_different(V127,V203,V245,V756,V1429,V1616,V1817)
2.56/2.61	c deduced all_different(V77,V533,V718,V751,V1455,V1512,V1818)
2.56/2.61	c deduced all_different(V27,V204,V331,V763,V1153,V1819)
2.56/2.61	c deduced all_different(V194,V392,V402,V1455,V1820)
2.56/2.61	c deduced all_different(V47,V118,V650,V856,V1821)
2.56/2.61	c deduced all_different(V229,V420,V489,V577,V2064,V1822)
2.56/2.61	c deduced all_different(V274,V335,V598,V889,V942,V1732,V1826)
2.56/2.61	c deduced all_different(V87,V410,V1115,V1153,V1827)
2.56/2.61	c deduced all_different(V118,V340,V650,V856,V1828)
2.56/2.61	c deduced all_different(V222,V407,V500,V1285,V1341,V1829)
2.56/2.61	c deduced all_different(V93,V413,V705,V767,V1170,V1834)
2.56/2.61	c deduced all_different(V0,V510,V775,V820,V1040,V1835)
2.56/2.61	c deduced all_different(V221,V430,V880,V1029,V1047,V1836)
2.56/2.61	c deduced all_different(V255,V430,V768,V1071,V1390,V1837)
2.56/2.61	c deduced all_different(V5,V105,V208,V368,V833,V1427,V1838)
2.56/2.61	c deduced all_different(V53,V267,V357,V1781,V1839)
2.56/2.61	c deduced all_different(V37,V593,V979,V1429,V1749,V1840)
2.56/2.61	c deduced all_different(V4,V135,V184,V393,V1075,V1841)
2.56/2.61	c deduced all_different(V83,V101,V306,V592,V955,V1676,V1844)
2.56/2.61	c deduced all_different(V38,V400,V1574,V1646,V1962,V1979,V1845)
2.56/2.61	c deduced all_different(V188,V216,V307,V1806,V2031,V2097,V1847)
2.56/2.61	c deduced all_different(V124,V254,V292,V364,V532,V694,V1849)
2.56/2.61	c deduced all_different(V72,V165,V409,V502,V1431,V1850)
2.56/2.61	c deduced all_different(V194,V392,V937,V1455,V1532,V1938,V1996,V1855)
2.56/2.61	c deduced all_different(V194,V197,V533,V937,V1455,V1859)
2.56/2.61	c deduced all_different(V62,V294,V299,V620,V1674,V1770,V1900,V1860)
2.56/2.61	c deduced all_different(V17,V105,V239,V278,V1861)
2.56/2.61	c deduced all_different(V11,V277,V289,V371,V671,V1294,V1873,V1863)
2.56/2.61	c deduced all_different(V72,V165,V215,V1090,V1269,V1865)
2.56/2.61	c deduced all_different(V16,V252,V528,V1459,V2003,V1866)
2.56/2.61	c deduced all_different(V46,V509,V582,V1868)
2.56/2.61	c deduced all_different(V90,V449,V675,V1148,V1679,V1862,V1869)
2.56/2.61	c deduced all_different(V74,V92,V514,V1225,V1423,V2092,V1871)
2.56/2.61	c deduced all_different(V26,V108,V273,V885,V1260,V1957,V1874)
2.56/2.61	c deduced all_different(V90,V675,V735,V1440,V1679,V1876)
2.56/2.61	c deduced all_different(V211,V249,V372,V1241,V1877)
2.56/2.61	c deduced all_different(V6,V135,V680,V1075,V1317,V1880)
2.56/2.61	c deduced all_different(V174,V275,V372,V1881)
2.56/2.61	c deduced all_different(V104,V175,V823,V1644,V1785,V1882)
2.56/2.61	c deduced all_different(V160,V171,V753,V864,V1076,V1142,V1883)
2.56/2.61	c deduced all_different(V7,V102,V273,V498,V1001,V1886,V1957,V1884)
2.56/2.61	c deduced all_different(V213,V231,V269,V449,V735,V1679,V1885)
2.56/2.61	c deduced all_different(V3,V116,V388,V526,V1549,V1960,V1887)
2.56/2.61	c deduced all_different(V92,V145,V1016,V1423,V1905,V1888)
2.56/2.61	c deduced all_different(V2,V120,V160,V1076,V1142,V1773,V1889)
2.56/2.61	c deduced all_different(V388,V403,V526,V651,V1960,V1891)
2.56/2.61	c deduced all_different(V11,V277,V289,V671,V1300,V1892)
2.56/2.61	c deduced all_different(V103,V430,V768,V1348,V1390,V1696,V1893)
2.56/2.61	c deduced all_different(V97,V260,V757,V1173,V1319,V1806,V1894)
2.56/2.61	c deduced all_different(V94,V165,V215,V462,V1896)
2.56/2.61	c deduced all_different(V238,V454,V775,V1040,V1409,V1897)
2.56/2.61	c deduced all_different(V93,V705,V767,V1170,V1515,V1899)
2.56/2.61	c deduced all_different(V21,V139,V657,V669,V1901)
2.56/2.61	c deduced all_different(V53,V80,V123,V1781,V1902)
2.56/2.61	c deduced all_different(V140,V259,V434,V781,V1708,V1903)
2.56/2.61	c deduced all_different(V112,V375,V1075,V1909)
2.56/2.61	c deduced all_different(V66,V101,V224,V607,V1100,V1910)
2.56/2.61	c deduced all_different(V69,V430,V843,V1436,V1606,V1912)
2.56/2.61	c deduced all_different(V32,V36,V384,V441,V1913)
2.56/2.61	c deduced all_different(V90,V675,V735,V1679,V1862,V1915)
2.56/2.61	c deduced all_different(V35,V139,V657,V665,V1085,V1916)
2.56/2.61	c deduced all_different(V142,V241,V1421,V1442,V1483,V1918)
2.56/2.61	c deduced all_different(V9,V13,V148,V296,V1578,V1919)
2.56/2.61	c deduced all_different(V131,V448,V1950,V1920)
2.56/2.61	c deduced all_different(V403,V526,V651,V964,V1960,V1921)
2.56/2.61	c deduced all_different(V80,V123,V428,V1781,V1922)
2.56/2.61	c deduced all_different(V67,V262,V290,V423,V759,V1665,V1927)
2.56/2.61	c deduced all_different(V33,V115,V199,V547,V1832,V1929)
2.56/2.61	c deduced all_different(V97,V188,V261,V1806,V2031,V1930)
2.56/2.61	c deduced all_different(V33,V199,V1164,V1945,V1932)
2.56/2.61	c deduced all_different(V85,V276,V322,V637,V1755,V1933)
2.56/2.61	c deduced all_different(V124,V157,V292,V300,V694,V1937)
2.56/2.61	c deduced all_different(V106,V138,V170,V1483,V1939)
2.56/2.61	c deduced all_different(V22,V281,V781,V997,V1940)
2.56/2.62	c deduced all_different(V33,V115,V199,V748,V1942)
2.56/2.62	c deduced all_different(V94,V128,V165,V1073,V2082,V1943)
2.56/2.62	c deduced all_different(V132,V330,V440,V709,V2084,V1944)
2.56/2.62	c deduced all_different(V250,V282,V598,V792,V969,V1946)
2.56/2.62	c deduced all_different(V456,V532,V692,V694,V837,V1438,V1947)
2.56/2.62	c deduced all_different(V136,V303,V408,V1042,V2003,V1948)
2.56/2.62	c deduced all_different(V76,V140,V342,V654,V781,V1935,V1949)
2.56/2.62	c deduced all_different(V123,V149,V153,V1521,V1781,V1953)
2.56/2.62	c deduced all_different(V32,V384,V441,V661,V1954)
2.56/2.62	c deduced all_different(V77,V265,V751,V888,V1455,V1956)
2.56/2.62	c deduced all_different(V166,V338,V1022,V1913,V2000,V1958)
2.56/2.62	c deduced all_different(V175,V220,V481,V1006,V1411,V1644,V1713,V1961)
2.56/2.62	c deduced all_different(V7,V26,V1395,V1528,V1957,V1965)
2.56/2.62	c deduced all_different(V38,V113,V576,V717,V1731,V1962,V1966)
2.56/2.62	c deduced all_different(V284,V437,V705,V1180,V1967)
2.56/2.62	c deduced all_different(V24,V126,V423,V429,V2012,V1968)
2.56/2.62	c deduced all_different(V5,V105,V185,V368,V905,V1964,V1969)
2.56/2.62	c deduced all_different(V19,V142,V182,V1483,V1971)
2.56/2.62	c deduced all_different(V179,V546,V582,V745,V1973)
2.56/2.62	c deduced all_different(V133,V218,V424,V731,V1661,V1974)
2.56/2.62	c deduced all_different(V128,V165,V409,V760,V939,V1977)
2.56/2.62	c deduced all_different(V29,V199,V202,V547,V1291,V1980)
2.56/2.62	c deduced all_different(V35,V139,V657,V665,V1284,V1981)
2.56/2.62	c deduced all_different(V27,V581,V703,V1153,V1689,V1987)
2.56/2.62	c deduced all_different(V84,V95,V590,V847,V943,V994,V1746,V1990)
2.56/2.62	c deduced all_different(V101,V209,V311,V319,V1470,V1991)
2.56/2.62	c deduced all_different(V61,V277,V289,V635,V1300,V1994)
2.56/2.62	c deduced all_different(V22,V342,V434,V781,V1264,V1995)
2.56/2.62	c deduced all_different(V137,V152,V538,V1136,V1221,V1287,V1679,V1997)
2.56/2.62	c deduced all_different(V16,V252,V411,V831,V2003,V2007)
2.56/2.62	c deduced all_different(V6,V184,V738,V789,V1075,V1680,V2008)
2.56/2.62	c deduced all_different(V1,V314,V811,V1290,V1963,V2009)
2.56/2.62	c deduced all_different(V131,V448,V545,V1950,V2010)
2.56/2.62	c deduced all_different(V34,V251,V341,V1052,V1231,V2011)
2.56/2.62	c deduced all_different(V388,V504,V829,V857,V1960,V2014)
2.56/2.62	c deduced all_different(V28,V70,V71,V406,V901,V2015)
2.56/2.62	c deduced all_different(V64,V441,V668,V1575,V2017)
2.56/2.62	c deduced all_different(V104,V147,V457,V1023,V1644,V2018)
2.56/2.62	c deduced all_different(V31,V81,V1124,V1755,V2054,V2019)
2.56/2.62	c deduced all_different(V18,V168,V325,V731,V995,V2020)
2.56/2.62	c deduced all_different(V7,V102,V803,V1528,V1957,V2112,V2023)
2.56/2.62	c deduced all_different(V124,V292,V300,V694,V2025)
2.56/2.62	c deduced all_different(V50,V244,V696,V844,V924,V1578,V2026)
2.56/2.62	c deduced all_different(V192,V257,V420,V577,V953,V1206,V2028)
2.56/2.62	c deduced all_different(V62,V294,V415,V620,V764,V1674,V2029)
2.56/2.62	c deduced all_different(V47,V650,V856,V1150,V1709,V2030)
2.56/2.62	c deduced all_different(V90,V662,V1148,V1156,V1440,V1679,V1862,V2032)
2.56/2.62	c deduced all_different(V6,V679,V680,V1075,V2035)
2.56/2.62	c deduced all_different(V69,V103,V430,V843,V1250,V1390,V2038)
2.56/2.62	c deduced all_different(V41,V135,V141,V738,V1075,V2039)
2.56/2.62	c deduced all_different(V206,V532,V694,V706,V1553,V2041)
2.56/2.62	c deduced all_different(V76,V140,V654,V781,V1537,V1986,V2042)
2.56/2.62	c deduced all_different(V123,V149,V267,V642,V1781,V2044)
2.56/2.62	c deduced all_different(V4,V112,V636,V1075,V2045)
2.56/2.62	c deduced all_different(V70,V71,V78,V901,V1738,V2047)
2.56/2.62	c deduced all_different(V190,V344,V383,V621,V1234,V1539,V1659,V2048)
2.56/2.62	c deduced all_different(V105,V185,V200,V1111,V1964,V2049)
2.56/2.62	c deduced all_different(V468,V590,V730,V879,V1303,V2050)
2.56/2.62	c deduced all_different(V120,V160,V753,V864,V1076,V1142,V2051)
2.56/2.62	c deduced all_different(V270,V453,V583,V1963,V2052)
2.56/2.62	c deduced all_different(V10,V88,V143,V873,V903,V2055)
2.56/2.62	c deduced all_different(V137,V213,V349,V1679,V2056)
2.56/2.62	c deduced all_different(V386,V510,V775,V1040,V2059)
2.56/2.62	c deduced all_different(V19,V142,V535,V1112,V1483,V2061)
2.56/2.62	c deduced all_different(V4,V135,V184,V683,V1075,V1730,V2062)
2.56/2.62	c deduced all_different(V95,V271,V590,V599,V712,V2063)
2.56/2.62	c deduced all_different(V140,V673,V781,V968,V2065)
2.56/2.62	c deduced all_different(V105,V185,V200,V368,V1568,V1964,V2066)
2.56/2.62	c deduced all_different(V48,V222,V353,V1285,V1629,V2068)
2.56/2.62	c deduced all_different(V16,V252,V528,V2003,V2069)
2.56/2.62	c deduced all_different(V162,V387,V448,V961,V1950,V2070)
2.56/2.62	c deduced all_different(V79,V199,V874,V1179,V1347,V1832,V2072)
2.56/2.62	c deduced all_different(V20,V166,V384,V755,V2073)
2.56/2.62	c deduced all_different(V92,V343,V926,V1423,V1657,V2067,V2075)
2.56/2.62	c deduced all_different(V213,V231,V349,V1440,V1679,V1862,V2077)
2.56/2.62	c deduced all_different(V56,V143,V761,V930,V2078)
2.56/2.62	c deduced all_different(V233,V234,V577,V790,V1399,V1507,V2079)
2.56/2.62	c deduced all_different(V119,V366,V524,V582,V2080)
2.56/2.62	c deduced all_different(V76,V140,V434,V781,V1708,V1986,V2083)
2.56/2.62	c deduced all_different(V147,V457,V1126,V1644,V2018,V2085)
2.56/2.62	c deduced all_different(V13,V50,V302,V1578,V2089)
2.56/2.62	c deduced all_different(V402,V443,V631,V1455,V1898,V2090)
2.56/2.62	c deduced all_different(V127,V264,V871,V1429,V2091)
2.56/2.62	c deduced all_different(V25,V57,V181,V691,V2003,V2093)
2.56/2.62	c deduced all_different(V121,V569,V647,V1659,V2094)
2.56/2.62	c deduced all_different(V83,V101,V209,V2096)
2.56/2.62	c deduced all_different(V274,V282,V598,V958,V969,V1813,V2100)
2.56/2.62	c deduced all_different(V47,V118,V506,V650,V1698,V2101)
2.56/2.62	c deduced all_different(V235,V388,V829,V1484,V1771,V1960,V2102)
2.56/2.62	c deduced all_different(V58,V347,V519,V2084,V2104)
2.65/2.70	c deduced all_different(V90,V449,V675,V1148,V1679,V1869,V2105)
2.65/2.70	c deduced all_different(V154,V477,V598,V872,V969,V2107)
2.65/2.70	c deduced all_different(V29,V115,V199,V202,V547,V874,V2108)
2.65/2.70	c deduced all_different(V107,V412,V944,V1076,V1087,V1473,V1814,V2109)
2.65/2.70	c deduced all_different(V131,V346,V981,V1251,V1950,V2110)
2.65/2.70	c deduced all_different(V177,V214,V436,V595,V646,V1231,V2111)
2.65/2.70	c deduced all_different(V359,V536,V657,V698,V1981,V2113)
2.65/2.70	c deduced all_different(V38,V82,V225,V1500,V1962,V2115)
2.65/2.70	c  with 121719 constraints
2.65/2.70	c Solving 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080779-1247718519/watcher-2080779-1247718519 -o /tmp/evaluation-result-2080779-1247718519/solver-2080779-1247718519 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1184599018 HOME/instance-2080779-1247718519.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.92 1.98 1.99 4/82 17656
/proc/meminfo: memFree=1516456/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (pcssolve) R 17654 17656 16857 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 58916497 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 226686986911 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/17656/statm: 1339 241 200 169 0 50 0
[pid=17657] ppid=17656 vsize=3544 CPUtime=0
/proc/17657/stat : 17657 (fgrep) R 17656 17656 16857 0 -1 4194304 91 0 0 0 0 0 0 0 19 0 1 0 58916497 3629056 59 996147200 4194304 4274172 548682068976 18446744073709551615 226686556695 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 886 59 43 19 0 10 0
[pid=17658] ppid=17656 vsize=5356 CPUtime=0
/proc/17658/stat : 17658 (pcssolve) R 17656 17656 16857 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 58916497 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 226686986911 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/17658/statm: 1339 241 200 169 0 50 0

[startup+0.0725831 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 17656
/proc/meminfo: memFree=1516456/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=5628 CPUtime=0.05
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 1044 660 0 0 4 0 1 0 22 0 1 0 58916497 5763072 675 996147200 134512640 135215973 4294956304 18446744073709551615 134698769 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 1407 675 386 171 0 332 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5628

[startup+0.101587 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 17656
/proc/meminfo: memFree=1516456/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=5888 CPUtime=0.08
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 1137 660 0 0 7 0 1 0 22 0 1 0 58916497 6029312 768 996147200 134512640 135215973 4294956304 18446744073709551615 4158847756 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 1472 768 386 171 0 397 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5888

[startup+0.301633 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 17656
/proc/meminfo: memFree=1516456/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=9400 CPUtime=0.28
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 2180 660 0 0 26 1 1 0 23 0 1 0 58916497 9625600 1466 996147200 134512640 135215973 4294956304 18446744073709551615 134762918 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 2350 1466 386 171 0 1275 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9400

[startup+0.701714 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 17656
/proc/meminfo: memFree=1516456/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=17292 CPUtime=0.67
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 4263 660 0 0 65 1 1 0 25 0 1 0 58916497 17707008 3060 996147200 134512640 135215973 4294956304 18446744073709551615 6148554 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 4323 3060 386 171 0 3248 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 17292

[startup+1.50187 s]
/proc/loadavg: 1.92 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1503200/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=28052 CPUtime=1.47
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 8107 660 0 0 143 3 1 0 25 0 1 0 58916497 28725248 5253 996147200 134512640 135215973 4294956304 18446744073709551615 4159732736 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 7013 5253 386 171 0 5938 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28052

[startup+3.1012 s]
/proc/loadavg: 1.92 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1489760/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=53320 CPUtime=3.05
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 17173 660 0 0 297 7 1 0 25 0 1 0 58916497 54599680 11670 996147200 134512640 135215973 4294956304 18446744073709551615 135003429 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 13330 11670 409 171 0 12255 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 53320

[startup+6.30186 s]
/proc/loadavg: 1.93 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1454368/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=96232 CPUtime=6.25
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 31357 660 0 0 611 13 1 0 25 0 1 0 58916497 98541568 19610 996147200 134512640 135215973 4294956304 18446744073709551615 134533172 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 24058 19610 418 171 0 22983 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 96232

[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1384680/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=145548 CPUtime=12.61
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 52824 660 0 0 1240 20 1 0 25 0 1 0 58916497 149041152 34420 996147200 134512640 135215973 4294956304 18446744073709551615 6145621 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 36387 34420 418 171 0 35312 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 145548

[startup+25.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1297192/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=243016 CPUtime=25.36
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 87781 660 0 0 2501 34 1 0 25 0 1 0 58916497 248848384 54912 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 60754 54912 419 171 0 59679 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 243016

[startup+51.102 s]
/proc/loadavg: 1.96 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1170728/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=446400 CPUtime=50.86
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 148005 660 0 0 5029 56 1 0 25 0 1 0 58916497 457113600 86423 996147200 134512640 135215973 4294956304 18446744073709551615 134648403 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 111600 86423 419 171 0 110525 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 446400

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1170600/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=446400 CPUtime=101.86
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 160032 660 0 0 10125 60 1 0 25 0 1 0 58916497 457113600 86426 996147200 134512640 135215973 4294956304 18446744073709551615 6180486 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 111600 86426 419 171 0 110525 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 446400

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1170536/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=446400 CPUtime=161.62
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 198850 660 0 0 16090 71 1 0 25 0 1 0 58916497 457113600 86436 996147200 134512640 135215973 4294956304 18446744073709551615 135094939 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 111600 86436 419 171 0 110525 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 446400

[startup+222.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1170472/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=446500 CPUtime=221.38
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 211960 660 0 0 22061 76 1 0 25 0 1 0 58916497 457216000 86442 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 111625 86442 419 171 0 110550 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 446500

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1170472/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=446500 CPUtime=281.14
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 220529 660 0 0 28034 79 1 0 25 0 1 0 58916497 457216000 86443 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 111625 86443 419 171 0 110550 0
Current children cumulated CPU time (s) 281.14
Current children cumulated vsize (KiB) 446500

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1170472/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=446500 CPUtime=340.9
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 227513 660 0 0 34007 82 1 0 25 0 1 0 58916497 457216000 86443 996147200 134512640 135215973 4294956304 18446744073709551615 134532661 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 111625 86443 419 171 0 110550 0
Current children cumulated CPU time (s) 340.9
Current children cumulated vsize (KiB) 446500

[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1170408/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=446500 CPUtime=400.66
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 277349 660 0 0 39967 98 1 0 25 0 1 0 58916497 457216000 86455 996147200 134512640 135215973 4294956304 18446744073709551615 4158960029 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 111625 86455 419 171 0 110550 0
Current children cumulated CPU time (s) 400.66
Current children cumulated vsize (KiB) 446500

[startup+462.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1170408/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=446500 CPUtime=460.42
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 417711 660 0 0 45901 140 1 0 25 0 1 0 58916497 457216000 86489 996147200 134512640 135215973 4294956304 18446744073709551615 134583375 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 111625 86489 419 171 0 110550 0
Current children cumulated CPU time (s) 460.42
Current children cumulated vsize (KiB) 446500

[startup+522.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1170408/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=446500 CPUtime=520.18
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 450980 660 0 0 51866 151 1 0 25 0 1 0 58916497 457216000 86494 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 111625 86494 419 171 0 110550 0
Current children cumulated CPU time (s) 520.18
Current children cumulated vsize (KiB) 446500

[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1170408/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=446500 CPUtime=579.94
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 459981 660 0 0 57838 155 1 0 25 0 1 0 58916497 457216000 86495 996147200 134512640 135215973 4294956304 18446744073709551615 134989379 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 111625 86495 419 171 0 110550 0
Current children cumulated CPU time (s) 579.94
Current children cumulated vsize (KiB) 446500

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1170344/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=446500 CPUtime=639.7

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 17661
/proc/meminfo: memFree=1169704/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=447124 CPUtime=818.98
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 674104 660 0 0 81669 228 1 0 25 0 1 0 58916497 457854976 86634 996147200 134512640 135215973 4294956304 18446744073709551615 134583626 0 0 4096 0 0 0 0 17 1 0 0
/proc/17656/statm: 111781 86634 419 171 0 110706 0
Current children cumulated CPU time (s) 818.98
Current children cumulated vsize (KiB) 447124

[startup+882.301 s]
/proc/loadavg: 2.00 1.98 1.99 3/84 17704
/proc/meminfo: memFree=1168224/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=878.66
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819798 660 0 0 87586 279 1 0 25 0 1 0 58916497 463081472 86781 996147200 134512640 135215973 4294956304 18446744073709551615 134587694 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86781 419 171 0 111982 0
Current children cumulated CPU time (s) 878.66
Current children cumulated vsize (KiB) 452228

[startup+942.302 s]
/proc/loadavg: 2.00 1.98 1.99 3/84 17704
/proc/meminfo: memFree=1111136/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=938.62
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819799 660 0 0 93582 279 1 0 25 0 1 0 58916497 463081472 86782 996147200 134512640 135215973 4294956304 18446744073709551615 4158853402 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86782 419 171 0 111982 0
Current children cumulated CPU time (s) 938.62
Current children cumulated vsize (KiB) 452228

[startup+1002.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/84 17704
/proc/meminfo: memFree=1110432/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=998.59
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819800 660 0 0 99579 279 1 0 25 0 1 0 58916497 463081472 86783 996147200 134512640 135215973 4294956304 18446744073709551615 4158960484 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86783 419 171 0 111982 0
Current children cumulated CPU time (s) 998.59
Current children cumulated vsize (KiB) 452228

[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17704
/proc/meminfo: memFree=1110304/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=1058.56
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819801 660 0 0 105576 279 1 0 25 0 1 0 58916497 463081472 86784 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86784 419 171 0 111982 0
Current children cumulated CPU time (s) 1058.56
Current children cumulated vsize (KiB) 452228

[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17704
/proc/meminfo: memFree=1110240/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=1118.53
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819801 660 0 0 111573 279 1 0 25 0 1 0 58916497 463081472 86784 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86784 419 171 0 111982 0
Current children cumulated CPU time (s) 1118.53
Current children cumulated vsize (KiB) 452228

[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17704
/proc/meminfo: memFree=1110240/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=1178.5
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819802 660 0 0 117570 279 1 0 25 0 1 0 58916497 463081472 86785 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86785 419 171 0 111982 0
Current children cumulated CPU time (s) 1178.5
Current children cumulated vsize (KiB) 452228

[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17704
/proc/meminfo: memFree=1110176/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=1238.48
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819803 660 0 0 123567 280 1 0 25 0 1 0 58916497 463081472 86786 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86786 419 171 0 111982 0
Current children cumulated CPU time (s) 1238.48
Current children cumulated vsize (KiB) 452228

[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17704
/proc/meminfo: memFree=1110176/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=1298.45
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819803 660 0 0 129564 280 1 0 25 0 1 0 58916497 463081472 86786 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86786 419 171 0 111982 0
Current children cumulated CPU time (s) 1298.45
Current children cumulated vsize (KiB) 452228

[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17704
/proc/meminfo: memFree=1110176/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=1358.42
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819827 660 0 0 135561 280 1 0 25 0 1 0 58916497 463081472 86810 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86810 419 171 0 111982 0
Current children cumulated CPU time (s) 1358.42
Current children cumulated vsize (KiB) 452228

[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17706
/proc/meminfo: memFree=1109920/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=1418.39
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819848 660 0 0 141558 280 1 0 25 0 1 0 58916497 463081472 86831 996147200 134512640 135215973 4294956304 18446744073709551615 135094316 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86831 419 171 0 111982 0
Current children cumulated CPU time (s) 1418.39
Current children cumulated vsize (KiB) 452228

[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17706
/proc/meminfo: memFree=1109920/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=1478.36
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819858 660 0 0 147555 280 1 0 25 0 1 0 58916497 463081472 86841 996147200 134512640 135215973 4294956304 18446744073709551615 134599994 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86841 419 171 0 111982 0
Current children cumulated CPU time (s) 1478.36
Current children cumulated vsize (KiB) 452228

[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17706
/proc/meminfo: memFree=1109920/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=1538.32
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 819866 660 0 0 153551 280 1 0 25 0 1 0 58916497 463081472 86849 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86849 419 171 0 111982 0
Current children cumulated CPU time (s) 1538.32
Current children cumulated vsize (KiB) 452228

[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.99 4/83 17706
/proc/meminfo: memFree=1109792/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=1598.29
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 855731 660 0 0 159538 290 1 0 25 0 1 0 58916497 463081472 86858 996147200 134512640 135215973 4294956304 18446744073709551615 134532657 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86858 419 171 0 111982 0
Current children cumulated CPU time (s) 1598.29
Current children cumulated vsize (KiB) 452228

[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17706
/proc/meminfo: memFree=1109728/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452228 CPUtime=1658.26
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 894183 660 0 0 165520 305 1 0 25 0 1 0 58916497 463081472 86862 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113057 86862 419 171 0 111982 0
Current children cumulated CPU time (s) 1658.26
Current children cumulated vsize (KiB) 452228

[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17706
/proc/meminfo: memFree=1109600/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452356 CPUtime=1718.23
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 962766 660 0 0 171495 327 1 0 25 0 1 0 58916497 463212544 86901 996147200 134512640 135215973 4294956304 18446744073709551615 134533375 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113089 86901 419 171 0 112014 0
Current children cumulated CPU time (s) 1718.23
Current children cumulated vsize (KiB) 452356

[startup+1782.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17706
/proc/meminfo: memFree=1109344/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452560 CPUtime=1778.21
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 1015811 660 0 0 177475 345 1 0 25 0 1 0 58916497 463421440 86954 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113140 86954 419 171 0 112065 0
Current children cumulated CPU time (s) 1778.21
Current children cumulated vsize (KiB) 452560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.2 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 17706
/proc/meminfo: memFree=1109280/2055920 swapFree=4192812/4192956
[pid=17656] ppid=17654 vsize=452560 CPUtime=1800.1
/proc/17656/stat : 17656 (pcs.big) R 17654 17656 16857 0 -1 4194304 1034399 660 0 0 179659 350 1 0 25 0 1 0 58916497 463421440 86966 996147200 134512640 135215973 4294956304 18446744073709551615 134591416 0 0 4096 0 0 0 0 17 0 0 0
/proc/17656/statm: 113140 86966 419 171 0 112065 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 452560

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.26
CPU time (s): 1800.18
CPU user time (s): 1796.61
CPU system time (s): 3.57146
CPU usage (%): 99.7736
Max. virtual memory (cumulated for all children) (KiB): 552900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.61
system time used= 3.57146
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1035059
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= 15
involuntary context switches= 13609

runsolver used 1.50777 second user time and 5.08523 second system time

The end

Begin job on node80 at 2009-07-16 06:28:39
IDJOB=2080779
IDBENCH=57149
IDSOLVER=734
FILE ID=node80/2080779-1247718519
PBS_JOBID= 9521430
Free space on /tmp= 66316 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-46.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080779-1247718519/watcher-2080779-1247718519 -o /tmp/evaluation-result-2080779-1247718519/solver-2080779-1247718519 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1184599018 HOME/instance-2080779-1247718519.xml

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

MD5SUM BENCH= bf3260c27f381e64bb908b737ec83dbb
RANDOM SEED=1184599018

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:       1516936 kB
Buffers:         73524 kB
Cached:         317476 kB
SwapCached:          0 kB
Active:         140564 kB
Inactive:       313076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1516936 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7620 kB
Writeback:           0 kB
Mapped:          83068 kB
Slab:            70472 kB
Committed_AS:   602396 kB
PageTables:       1944 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= 66312 MiB
End job on node80 at 2009-07-16 06:58:45