Trace number 2080723

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs 0.3.2? (TO) 1800.14 1812.16

General information on the benchmark

Namecsp/haystacks/
normalized-haystacks-47.xml
MD5SUM7b978f7e72f5ef3bb3f2c0a43fe68f37
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2209
Number of constraints50853
Maximum constraint arity2
Maximum domain size47
Number of constraints which are defined in extension0
Number of constraints which are defined in intension50853
Global constraints used (with number of constraints)

Solver Data 

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

Verifier Data 

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

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.79 2.40 2.15 4/72 17076
/proc/meminfo: memFree=1440984/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=5260 CPUtime=0
/proc/17076/stat : 17076 (pcssolve) R 17074 17076 15251 0 -1 4194304 66 0 0 0 0 0 0 0 20 0 1 0 58901129 5386240 50 996147200 4194304 4889804 548682068800 18446744073709551615 238484988570 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 1315 50 37 169 0 14 0

[startup+0.0112291 s]
/proc/loadavg: 2.79 2.40 2.15 4/72 17076
/proc/meminfo: memFree=1440984/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=5356 CPUtime=0
/proc/17076/stat : 17076 (pcssolve) S 17074 17076 15251 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 58901129 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17076/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101245 s]
/proc/loadavg: 2.79 2.40 2.15 4/72 17076
/proc/meminfo: memFree=1440984/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=5784 CPUtime=0.07
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 1108 660 0 0 6 0 0 1 18 0 1 0 58901129 5922816 739 996147200 134512640 135215973 4294956304 18446744073709551615 134732000 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 1446 739 386 171 0 371 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5784

[startup+0.301284 s]
/proc/loadavg: 2.79 2.40 2.15 4/72 17076
/proc/meminfo: memFree=1440984/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=9280 CPUtime=0.27
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 2126 660 0 0 25 1 0 1 19 0 1 0 58901129 9502720 1406 996147200 134512640 135215973 4294956304 18446744073709551615 4159782506 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 2320 1406 386 171 0 1245 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9280

[startup+0.701361 s]
/proc/loadavg: 2.79 2.40 2.15 4/72 17076
/proc/meminfo: memFree=1440984/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=14628 CPUtime=0.67
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 3843 660 0 0 64 2 0 1 23 0 1 0 58901129 14979072 2627 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 3657 2627 386 171 0 2582 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 14628

[startup+1.50151 s]
/proc/loadavg: 2.79 2.40 2.15 3/73 17081
/proc/meminfo: memFree=1428688/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=29660 CPUtime=1.46
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 7635 660 0 0 141 4 0 1 25 0 1 0 58901129 30371840 5331 996147200 134512640 135215973 4294956304 18446744073709551615 134636734 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 7415 5331 386 171 0 6340 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29660

[startup+3.10183 s]
/proc/loadavg: 2.72 2.39 2.15 3/73 17081
/proc/meminfo: memFree=1415888/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=45080 CPUtime=3.04
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 13691 660 0 0 295 8 0 1 25 0 1 0 58901129 46161920 9218 996147200 134512640 135215973 4294956304 18446744073709551615 134742342 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 11270 9218 393 171 0 10195 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 45080

[startup+6.30349 s]
/proc/loadavg: 2.72 2.39 2.15 3/73 17081
/proc/meminfo: memFree=1378704/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=74740 CPUtime=6.21
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 25321 660 0 0 608 12 0 1 25 0 1 0 58901129 76533760 16805 996147200 134512640 135215973 4294956304 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 18685 16805 418 171 0 17610 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 74740

[startup+12.7017 s]
/proc/loadavg: 2.61 2.38 2.15 3/73 17081
/proc/meminfo: memFree=1312848/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=147412 CPUtime=12.55
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 51526 660 0 0 1230 24 0 1 25 0 1 0 58901129 150949888 33024 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 36853 33024 418 171 0 35778 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 147412

[startup+25.5011 s]
/proc/loadavg: 2.52 2.37 2.14 3/73 17081
/proc/meminfo: memFree=1102288/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=445360 CPUtime=25.23
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 143140 660 0 0 2461 61 0 1 25 0 1 0 58901129 456048640 84700 996147200 134512640 135215973 4294956304 18446744073709551615 134532976 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 111340 84700 418 171 0 110265 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 445360

[startup+51.1011 s]
/proc/loadavg: 2.34 2.33 2.14 3/73 17081
/proc/meminfo: memFree=1096272/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=445360 CPUtime=50.59
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 146742 660 0 0 4995 63 0 1 25 0 1 0 58901129 456048640 85145 996147200 134512640 135215973 4294956304 18446744073709551615 4158960659 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 111340 85145 419 171 0 110265 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 445360

[startup+102.307 s]
/proc/loadavg: 2.13 2.28 2.13 3/73 17081
/proc/meminfo: memFree=1090576/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=445360 CPUtime=101.32
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 153673 660 0 0 10066 65 0 1 25 0 1 0 58901129 456048640 85146 996147200 134512640 135215973 4294956304 18446744073709551615 134583485 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 111340 85146 419 171 0 110265 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 445360

[startup+162.301 s]
/proc/loadavg: 2.05 2.23 2.12 3/73 17081
/proc/meminfo: memFree=1076496/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=445360 CPUtime=160.77
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 171895 660 0 0 16005 71 0 1 25 0 1 0 58901129 456048640 87814 996147200 134512640 135215973 4294956304 18446744073709551615 134902564 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 111340 87814 419 171 0 110265 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 445360

[startup+222.301 s]
/proc/loadavg: 2.02 2.18 2.10 3/73 17081
/proc/meminfo: memFree=1071888/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=445360 CPUtime=220.22
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 212405 660 0 0 21936 85 0 1 25 0 1 0 58901129 456048640 87822 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 111340 87822 419 171 0 110265 0
Current children cumulated CPU time (s) 220.22
Current children cumulated vsize (KiB) 445360

[startup+282.302 s]
/proc/loadavg: 2.00 2.15 2.09 3/73 17081
/proc/meminfo: memFree=1068176/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=445360 CPUtime=279.67
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 220800 660 0 0 27877 89 0 1 25 0 1 0 58901129 456048640 87824 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 111340 87824 419 171 0 110265 0
Current children cumulated CPU time (s) 279.67
Current children cumulated vsize (KiB) 445360

[startup+342.302 s]
/proc/loadavg: 2.00 2.12 2.09 3/73 17081
/proc/meminfo: memFree=1062672/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=445360 CPUtime=339.11
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 228192 660 0 0 33818 92 0 1 25 0 1 0 58901129 456048640 87824 996147200 134512640 135215973 4294956304 18446744073709551615 134649104 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 111340 87824 419 171 0 110265 0
Current children cumulated CPU time (s) 339.11
Current children cumulated vsize (KiB) 445360

[startup+402.303 s]
/proc/loadavg: 2.00 2.09 2.08 3/73 17081
/proc/meminfo: memFree=1055696/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=445360 CPUtime=398.55
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 234045 660 0 0 39760 94 0 1 25 0 1 0 58901129 456048640 87825 996147200 134512640 135215973 4294956304 18446744073709551615 134583396 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 111340 87825 419 171 0 110265 0
Current children cumulated CPU time (s) 398.55
Current children cumulated vsize (KiB) 445360

[startup+462.301 s]
/proc/loadavg: 2.00 2.07 2.07 3/73 17081
/proc/meminfo: memFree=1046992/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=445360 CPUtime=457.99
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 239127 660 0 0 45702 96 0 1 25 0 1 0 58901129 456048640 87825 996147200 134512640 135215973 4294956304 18446744073709551615 134533180 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 111340 87825 419 171 0 110265 0
Current children cumulated CPU time (s) 457.99
Current children cumulated vsize (KiB) 445360

[startup+522.302 s]
/proc/loadavg: 2.00 2.06 2.07 3/73 17081
/proc/meminfo: memFree=1039440/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=517.44
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240827 660 0 0 51646 97 0 1 25 0 1 0 58901129 460767232 87832 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 112492 87832 419 171 0 111417 0
Current children cumulated CPU time (s) 517.44
Current children cumulated vsize (KiB) 449968

[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.06 3/73 17081
/proc/meminfo: memFree=1031248/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=576.89
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240827 660 0 0 57591 97 0 1 25 0 1 0 58901129 460767232 87832 996147200 134512640 135215973 4294956304 18446744073709551615 134533076 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 112492 87832 419 171 0 111417 0
Current children cumulated CPU time (s) 576.89
Current children cumulated vsize (KiB) 449968

[startup+642.303 s]
/proc/loadavg: 2.00 2.03 2.06 3/73 17081
/proc/meminfo: memFree=1022992/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=636.35
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240828 660 0 0 63537 97 0 1 25 0 1 0 58901129 460767232 87833 996147200 134512640 135215973 4294956304 18446744073709551615 134581371 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 112492 87833 419 171 0 111417 0
Current children cumulated CPU time (s) 636.35
Current children cumulated vsize (KiB) 449968

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.03 3/73 17081
/proc/meminfo: memFree=988112/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=874.17
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240831 660 0 0 87319 97 0 1 25 0 1 0 58901129 460767232 87836 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 112492 87836 419 171 0 111417 0
Current children cumulated CPU time (s) 874.17
Current children cumulated vsize (KiB) 449968

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 17081
/proc/meminfo: memFree=979152/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=933.63
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240831 660 0 0 93265 97 0 1 25 0 1 0 58901129 460767232 87836 996147200 134512640 135215973 4294956304 18446744073709551615 134589885 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 112492 87836 419 171 0 111417 0
Current children cumulated CPU time (s) 933.63
Current children cumulated vsize (KiB) 449968

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 17081
/proc/meminfo: memFree=969488/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=993.08
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240832 660 0 0 99210 97 0 1 25 0 1 0 58901129 460767232 87837 996147200 134512640 135215973 4294956304 18446744073709551615 134600408 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 112492 87837 419 171 0 111417 0
Current children cumulated CPU time (s) 993.08
Current children cumulated vsize (KiB) 449968

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 17081
/proc/meminfo: memFree=962256/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1052.54
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240832 660 0 0 105155 98 0 1 25 0 1 0 58901129 460767232 87837 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 112492 87837 419 171 0 111417 0
Current children cumulated CPU time (s) 1052.54
Current children cumulated vsize (KiB) 449968

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 17081
/proc/meminfo: memFree=953232/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1112
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240833 660 0 0 111101 98 0 1 25 0 1 0 58901129 460767232 87838 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 112492 87838 419 171 0 111417 0
Current children cumulated CPU time (s) 1112
Current children cumulated vsize (KiB) 449968

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17081
/proc/meminfo: memFree=943248/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1171.45
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240834 660 0 0 117046 98 0 1 25 0 1 0 58901129 460767232 87839 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 112492 87839 419 171 0 111417 0
Current children cumulated CPU time (s) 1171.45
Current children cumulated vsize (KiB) 449968

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17081
/proc/meminfo: memFree=931728/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1230.9
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240834 660 0 0 122991 98 0 1 25 0 1 0 58901129 460767232 87839 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17076/statm: 112492 87839 419 171 0 111417 0
Current children cumulated CPU time (s) 1230.9
Current children cumulated vsize (KiB) 449968

[startup+1302.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/82 17121
/proc/meminfo: memFree=1100744/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1290.5
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240842 660 0 0 128946 103 0 1 25 0 1 0 58901129 460767232 87847 996147200 134512640 135215973 4294956304 18446744073709551615 134600085 0 0 4096 0 0 0 0 17 0 0 0
/proc/17076/statm: 112492 87847 419 171 0 111417 0
Current children cumulated CPU time (s) 1290.5
Current children cumulated vsize (KiB) 449968

[startup+1362.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/82 17121
/proc/meminfo: memFree=1083208/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1350.47
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240847 660 0 0 134942 104 0 1 25 0 1 0 58901129 460767232 87852 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 0 0 0
/proc/17076/statm: 112492 87852 419 171 0 111417 0
Current children cumulated CPU time (s) 1350.47
Current children cumulated vsize (KiB) 449968

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17121
/proc/meminfo: memFree=1073736/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1410.44
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240849 660 0 0 140939 104 0 1 25 0 1 0 58901129 460767232 87854 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/17076/statm: 112492 87854 419 171 0 111417 0
Current children cumulated CPU time (s) 1410.44
Current children cumulated vsize (KiB) 449968

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17121
/proc/meminfo: memFree=1065480/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1470.41
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240850 660 0 0 146936 104 0 1 25 0 1 0 58901129 460767232 87855 996147200 134512640 135215973 4294956304 18446744073709551615 134590020 0 0 4096 0 0 0 0 17 0 0 0
/proc/17076/statm: 112492 87855 419 171 0 111417 0
Current children cumulated CPU time (s) 1470.41
Current children cumulated vsize (KiB) 449968

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17123
/proc/meminfo: memFree=1056072/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1530.38
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240850 660 0 0 152933 104 0 1 25 0 1 0 58901129 460767232 87855 996147200 134512640 135215973 4294956304 18446744073709551615 134951769 0 0 4096 0 0 0 0 17 0 0 0
/proc/17076/statm: 112492 87855 419 171 0 111417 0
Current children cumulated CPU time (s) 1530.38
Current children cumulated vsize (KiB) 449968

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17123
/proc/meminfo: memFree=1050888/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1590.35
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240851 660 0 0 158930 104 0 1 25 0 1 0 58901129 460767232 87856 996147200 134512640 135215973 4294956304 18446744073709551615 134970419 0 0 4096 0 0 0 0 17 0 0 0
/proc/17076/statm: 112492 87856 419 171 0 111417 0
Current children cumulated CPU time (s) 1590.35
Current children cumulated vsize (KiB) 449968

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17123
/proc/meminfo: memFree=1045000/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1650.32
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240860 660 0 0 164927 104 0 1 25 0 1 0 58901129 460767232 87865 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 0 0 0
/proc/17076/statm: 112492 87865 419 171 0 111417 0
Current children cumulated CPU time (s) 1650.32
Current children cumulated vsize (KiB) 449968

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 17123
/proc/meminfo: memFree=1039944/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1710.3
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 240876 660 0 0 170924 105 0 1 25 0 1 0 58901129 460767232 87881 996147200 134512640 135215973 4294956304 18446744073709551615 2960994 0 0 4096 0 0 0 0 17 0 0 0
/proc/17076/statm: 112492 87881 419 171 0 111417 0
Current children cumulated CPU time (s) 1710.3
Current children cumulated vsize (KiB) 449968

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17123
/proc/meminfo: memFree=1034440/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1770.27
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 303185 660 0 0 176900 126 0 1 25 0 1 0 58901129 460767232 87897 996147200 134512640 135215973 4294956304 18446744073709551615 134533327 0 0 4096 0 0 0 0 17 0 0 0
/proc/17076/statm: 112492 87897 419 171 0 111417 0
Current children cumulated CPU time (s) 1770.27
Current children cumulated vsize (KiB) 449968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17123
/proc/meminfo: memFree=1033160/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1800.06
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 308654 660 0 0 179877 128 0 1 25 0 1 0 58901129 460767232 87899 996147200 134512640 135215973 4294956304 18446744073709551615 134589864 0 0 4096 0 0 0 0 17 0 0 0
/proc/17076/statm: 112492 87899 419 171 0 111417 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 449968

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

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

[startup+1812.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17123
/proc/meminfo: memFree=1033160/2055920 swapFree=4192812/4192956
[pid=17076] ppid=17074 vsize=449968 CPUtime=1800.06
/proc/17076/stat : 17076 (pcs.big) R 17074 17076 15251 0 -1 4194304 308654 660 0 0 179877 128 0 1 25 0 1 0 58901129 460767232 87899 996147200 134512640 135215973 4294956304 18446744073709551615 134589864 0 0 4096 0 0 0 0 17 0 0 0
/proc/17076/statm: 112492 87899 419 171 0 111417 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 449968

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.16
CPU time (s): 1800.14
CPU user time (s): 1798.78
CPU system time (s): 1.35679
CPU usage (%): 99.3364
Max. virtual memory (cumulated for all children) (KiB): 551860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.35679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309314
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= 19
involuntary context switches= 28597

runsolver used 2.30065 second user time and 5.52916 second system time

The end

Launcher Data 

Begin job on node23 at 2009-07-16 06:25:47
IDJOB=2080723
IDBENCH=57138
IDSOLVER=733
FILE ID=node23/2080723-1247718347
PBS_JOBID= 9521392
Free space on /tmp= 66388 MiB

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

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

MD5SUM BENCH= 7b978f7e72f5ef3bb3f2c0a43fe68f37
RANDOM SEED=1634047283

node23.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.277
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.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1441464 kB
Buffers:         80260 kB
Cached:         353784 kB
SwapCached:          0 kB
Active:         147392 kB
Inactive:       388288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1441464 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            8032 kB
Writeback:           0 kB
Mapped:         113104 kB
Slab:            64100 kB
Committed_AS:   563936 kB
PageTables:       1900 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= 66344 MiB
End job on node23 at 2009-07-16 06:56:02