Trace number 2080713

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-restart 0.3.2? (TO) 1800.14 1803.85

General information on the benchmark

Namecsp/haystacks/
normalized-haystacks-45.xml
MD5SUMc4567f2420b9c0b07f072179a1cd8341
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 variables2025
Number of constraints44594
Maximum constraint arity2
Maximum domain size45
Number of constraints which are defined in extension0
Number of constraints which are defined in intension44594
Global constraints used (with number of constraints)

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 1.93 2.00 1.99 4/72 14935
/proc/meminfo: memFree=1447464/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=18576 CPUtime=0
/proc/14935/stat : 14935 (runsolver) R 14933 14935 12281 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 58895895 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 217051622695 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14935/statm: 4644 284 249 26 0 2626 0

[startup+0.096696 s]
/proc/loadavg: 1.93 2.00 1.99 4/72 14935
/proc/meminfo: memFree=1447464/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=5740 CPUtime=0.07
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 1101 660 0 0 6 0 1 0 18 0 1 0 58895895 5877760 732 996147200 134512640 135215973 4294956304 18446744073709551615 9719533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 1435 732 386 171 0 360 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5740

[startup+0.101695 s]
/proc/loadavg: 1.93 2.00 1.99 4/72 14935
/proc/meminfo: memFree=1447464/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=5868 CPUtime=0.08
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 1111 660 0 0 7 0 1 0 18 0 1 0 58895895 6008832 742 996147200 134512640 135215973 4294956304 18446744073709551615 4159741424 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 1467 742 386 171 0 392 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5868

[startup+0.30174 s]
/proc/loadavg: 1.93 2.00 1.99 4/72 14935
/proc/meminfo: memFree=1447464/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=9156 CPUtime=0.28
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 2114 660 0 0 26 1 1 0 19 0 1 0 58895895 9375744 1405 996147200 134512640 135215973 4294956304 18446744073709551615 134761006 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 2289 1405 386 171 0 1214 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9156

[startup+0.701815 s]
/proc/loadavg: 1.93 2.00 1.99 4/72 14935
/proc/meminfo: memFree=1447464/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=14436 CPUtime=0.67
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 3794 660 0 0 65 1 1 0 23 0 1 0 58895895 14782464 2603 996147200 134512640 135215973 4294956304 18446744073709551615 4158960610 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 3609 2603 386 171 0 2534 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 14436

[startup+1.50197 s]
/proc/loadavg: 1.93 2.00 1.99 3/73 14940
/proc/meminfo: memFree=1435224/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=27588 CPUtime=1.47
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 7877 660 0 0 143 3 1 0 25 0 1 0 58895895 28250112 5114 996147200 134512640 135215973 4294956304 18446744073709551615 9719895 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 6897 5114 386 171 0 5822 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 27588

[startup+3.10128 s]
/proc/loadavg: 1.93 2.00 1.99 3/73 14940
/proc/meminfo: memFree=1422680/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=51252 CPUtime=3.06
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 16404 660 0 0 298 7 1 0 25 0 1 0 58895895 52482048 11000 996147200 134512640 135215973 4294956304 18446744073709551615 134683493 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 12813 11000 409 171 0 11738 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 51252

[startup+6.30189 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 14940
/proc/meminfo: memFree=1388952/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=94168 CPUtime=6.24
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 30415 660 0 0 611 12 1 0 25 0 1 0 58895895 96428032 18767 996147200 134512640 135215973 4294956304 18446744073709551615 134936708 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 23542 18767 418 171 0 22467 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 94168

[startup+12.7021 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 14940
/proc/meminfo: memFree=1320992/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=142308 CPUtime=12.6
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 51129 660 0 0 1239 20 1 0 25 0 1 0 58895895 145723392 32824 996147200 134512640 135215973 4294956304 18446744073709551615 134600149 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 35577 32824 418 171 0 34502 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 142308

[startup+25.5016 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 14940
/proc/meminfo: memFree=1256544/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=240944 CPUtime=25.34
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 80531 660 0 0 2502 31 1 0 25 0 1 0 58895895 246726656 47841 996147200 134512640 135215973 4294956304 18446744073709551615 134581308 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 60236 47841 419 171 0 59161 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 240944

[startup+51.1014 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14940
/proc/meminfo: memFree=1242272/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=240944 CPUtime=50.81
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 88038 660 0 0 5047 33 1 0 25 0 1 0 58895895 246726656 51194 996147200 134512640 135215973 4294956304 18446744073709551615 134591602 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 60236 51194 419 171 0 59161 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 240944

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14940
/proc/meminfo: memFree=1227040/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=240944 CPUtime=101.76
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 100470 660 0 0 10138 37 1 0 25 0 1 0 58895895 246726656 54715 996147200 134512640 135215973 4294956304 18446744073709551615 134590245 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 60236 54715 419 171 0 59161 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 240944

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14940
/proc/meminfo: memFree=1218336/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=241076 CPUtime=161.47
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 141169 660 0 0 16094 52 1 0 25 0 1 0 58895895 246861824 56554 996147200 134512640 135215973 4294956304 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 60269 56554 419 171 0 59194 0
Current children cumulated CPU time (s) 161.47
Current children cumulated vsize (KiB) 241076

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14940
/proc/meminfo: memFree=1216928/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=241076 CPUtime=221.16
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 149813 660 0 0 22060 55 1 0 25 0 1 0 58895895 246861824 56555 996147200 134512640 135215973 4294956304 18446744073709551615 134582267 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 60269 56555 419 171 0 59194 0
Current children cumulated CPU time (s) 221.16
Current children cumulated vsize (KiB) 241076

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14940
/proc/meminfo: memFree=1215584/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=241076 CPUtime=280.88
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 157787 660 0 0 28029 58 1 0 25 0 1 0 58895895 246861824 56556 996147200 134512640 135215973 4294956304 18446744073709551615 135003467 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 60269 56556 419 171 0 59194 0
Current children cumulated CPU time (s) 280.88
Current children cumulated vsize (KiB) 241076

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14940
/proc/meminfo: memFree=1214432/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=241076 CPUtime=340.58
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 164755 660 0 0 33996 61 1 0 25 0 1 0 58895895 246861824 56556 996147200 134512640 135215973 4294956304 18446744073709551615 134533172 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 60269 56556 419 171 0 59194 0
Current children cumulated CPU time (s) 340.58
Current children cumulated vsize (KiB) 241076

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14940
/proc/meminfo: memFree=1212960/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=241204 CPUtime=400.29
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 210618 660 0 0 39951 77 1 0 25 0 1 0 58895895 246992896 56591 996147200 134512640 135215973 4294956304 18446744073709551615 134532715 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 60301 56591 419 171 0 59226 0
Current children cumulated CPU time (s) 400.29
Current children cumulated vsize (KiB) 241204

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14940
/proc/meminfo: memFree=1211744/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=241204 CPUtime=459.99
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 218324 660 0 0 45919 79 1 0 25 0 1 0 58895895 246992896 56592 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 60301 56592 419 171 0 59226 0
Current children cumulated CPU time (s) 459.99
Current children cumulated vsize (KiB) 241204

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14940
/proc/meminfo: memFree=1202208/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=249648 CPUtime=519.69
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 247832 660 0 0 51879 89 1 0 25 0 1 0 58895895 255639552 58697 996147200 134512640 135215973 4294956304 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 62412 58697 419 171 0 61337 0
Current children cumulated CPU time (s) 519.69
Current children cumulated vsize (KiB) 249648

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14940
/proc/meminfo: memFree=1200800/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=249648 CPUtime=579.4
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 345149 660 0 0 57817 122 1 0 25 0 1 0 58895895 255639552 58730 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/14935/statm: 62412 58730 419 171 0 61337 0
Current children cumulated CPU time (s) 579.4
Current children cumulated vsize (KiB) 249648

[startup+642.302 s]
/proc/loadavg: 2.08 2.02 2.01 4/82 14980
/proc/meminfo: memFree=1233104/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=249648 CPUtime=639.1
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 376243 660 0 0 63775 134 1 0 25 0 1 0 58895895 255639552 58736 996147200 134512640 135215973 4294956304 18446744073709551615 134641051 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 62412 58736 419 171 0 61337 0
Current children cumulated CPU time (s) 639.1
Current children cumulated vsize (KiB) 249648

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 15024
/proc/meminfo: memFree=1210048/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=249796 CPUtime=819.02
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 503038 660 0 0 81725 176 1 0 25 0 1 0 58895895 255791104 58767 996147200 134512640 135215973 4294956304 18446744073709551615 134532976 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 62449 58767 419 171 0 61374 0
Current children cumulated CPU time (s) 819.02
Current children cumulated vsize (KiB) 249796

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 15024
/proc/meminfo: memFree=1209536/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=250176 CPUtime=878.99
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 628976 660 0 0 87679 219 1 0 25 0 1 0 58895895 256180224 58879 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 62544 58879 419 171 0 61469 0
Current children cumulated CPU time (s) 878.99
Current children cumulated vsize (KiB) 250176

[startup+942.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15024
/proc/meminfo: memFree=1208832/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=250940 CPUtime=938.96
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 723061 660 0 0 93639 256 1 0 25 0 1 0 58895895 256962560 59064 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 62735 59064 419 171 0 61660 0
Current children cumulated CPU time (s) 938.96
Current children cumulated vsize (KiB) 250940

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15024
/proc/meminfo: memFree=1208840/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=250940 CPUtime=998.94
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 730700 660 0 0 99633 260 1 0 25 0 1 0 58895895 256962560 59065 996147200 134512640 135215973 4294956304 18446744073709551615 134648314 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 62735 59065 419 171 0 61660 0
Current children cumulated CPU time (s) 998.94
Current children cumulated vsize (KiB) 250940

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15024
/proc/meminfo: memFree=1208840/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=250940 CPUtime=1058.91
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 736262 660 0 0 105628 262 1 0 25 0 1 0 58895895 256962560 59066 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 62735 59066 419 171 0 61660 0
Current children cumulated CPU time (s) 1058.91
Current children cumulated vsize (KiB) 250940

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15024
/proc/meminfo: memFree=1208776/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=250940 CPUtime=1118.88
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 743365 660 0 0 111622 265 1 0 25 0 1 0 58895895 256962560 59067 996147200 134512640 135215973 4294956304 18446744073709551615 134585075 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 62735 59067 419 171 0 61660 0
Current children cumulated CPU time (s) 1118.88
Current children cumulated vsize (KiB) 250940

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15024
/proc/meminfo: memFree=1208776/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=250940 CPUtime=1178.85
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 747185 660 0 0 117618 266 1 0 25 0 1 0 58895895 256962560 59068 996147200 134512640 135215973 4294956304 18446744073709551615 134533248 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 62735 59068 419 171 0 61660 0
Current children cumulated CPU time (s) 1178.85
Current children cumulated vsize (KiB) 250940

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15024
/proc/meminfo: memFree=1208712/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=250940 CPUtime=1238.83
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 754490 660 0 0 123612 270 1 0 25 0 1 0 58895895 256962560 59070 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 62735 59070 419 171 0 61660 0
Current children cumulated CPU time (s) 1238.83
Current children cumulated vsize (KiB) 250940

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15024
/proc/meminfo: memFree=1208712/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=250940 CPUtime=1298.8
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 758980 660 0 0 129607 272 1 0 25 0 1 0 58895895 256962560 59071 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 62735 59071 419 171 0 61660 0
Current children cumulated CPU time (s) 1298.8
Current children cumulated vsize (KiB) 250940

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15024
/proc/meminfo: memFree=1208712/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=250940 CPUtime=1358.77
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 764274 660 0 0 135602 274 1 0 25 0 1 0 58895895 256962560 59072 996147200 134512640 135215973 4294956304 18446744073709551615 134590208 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 62735 59072 419 171 0 61660 0
Current children cumulated CPU time (s) 1358.77
Current children cumulated vsize (KiB) 250940

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15024
/proc/meminfo: memFree=1189960/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=269668 CPUtime=1418.75
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 777399 660 0 0 141595 279 1 0 25 0 1 0 58895895 276140032 63755 996147200 134512640 135215973 4294956304 18446744073709551615 134532901 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 67417 63755 419 171 0 66342 0
Current children cumulated CPU time (s) 1418.75
Current children cumulated vsize (KiB) 269668

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15024
/proc/meminfo: memFree=1189064/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=270308 CPUtime=1478.72
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 1150467 660 0 0 147487 384 1 0 25 0 1 0 58895895 276795392 63968 996147200 134512640 135215973 4294956304 18446744073709551615 4158853402 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 67577 63968 419 171 0 66502 0
Current children cumulated CPU time (s) 1478.72
Current children cumulated vsize (KiB) 270308

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15024
/proc/meminfo: memFree=1188296/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=275708 CPUtime=1538.7
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 1238180 660 0 0 153457 412 1 0 25 0 1 0 58895895 282324992 64164 996147200 134512640 135215973 4294956304 18446744073709551615 135094988 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 68927 64164 419 171 0 67852 0
Current children cumulated CPU time (s) 1538.7
Current children cumulated vsize (KiB) 275708

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15026
/proc/meminfo: memFree=1188232/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=275708 CPUtime=1598.67
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 1238189 660 0 0 159454 412 1 0 25 0 1 0 58895895 282324992 64173 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 68927 64173 419 171 0 67852 0
Current children cumulated CPU time (s) 1598.67
Current children cumulated vsize (KiB) 275708

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15026
/proc/meminfo: memFree=1188296/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=275708 CPUtime=1658.64
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 1238194 660 0 0 165451 412 1 0 25 0 1 0 58895895 282324992 64178 996147200 134512640 135215973 4294956304 18446744073709551615 134593974 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 68927 64178 419 171 0 67852 0
Current children cumulated CPU time (s) 1658.64
Current children cumulated vsize (KiB) 275708

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15026
/proc/meminfo: memFree=1188296/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=275708 CPUtime=1718.61
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 1238203 660 0 0 171448 412 1 0 25 0 1 0 58895895 282324992 64187 996147200 134512640 135215973 4294956304 18446744073709551615 135094922 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 68927 64187 419 171 0 67852 0
Current children cumulated CPU time (s) 1718.61
Current children cumulated vsize (KiB) 275708

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15026
/proc/meminfo: memFree=1188232/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=275708 CPUtime=1778.58
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 1238215 660 0 0 177445 412 1 0 25 0 1 0 58895895 282324992 64199 996147200 134512640 135215973 4294956304 18446744073709551615 134600016 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 68927 64199 419 171 0 67852 0
Current children cumulated CPU time (s) 1778.58
Current children cumulated vsize (KiB) 275708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15026
/proc/meminfo: memFree=1188232/2055920 swapFree=4192812/4192956
[pid=14935] ppid=14933 vsize=275708 CPUtime=1800.08
/proc/14935/stat : 14935 (pcs.big) R 14933 14935 12281 0 -1 4194304 1238215 660 0 0 179595 412 1 0 25 0 1 0 58895895 282324992 64199 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14935/statm: 68927 64199 419 171 0 67852 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 275708

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.85
CPU time (s): 1800.14
CPU user time (s): 1795.96
CPU system time (s): 4.17637
CPU usage (%): 99.7943
Max. virtual memory (cumulated for all children) (KiB): 293028

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

runsolver used 2.54061 second user time and 5.62914 second system time

The end

Launcher Data 

Begin job on node59 at 2009-07-16 06:25:28
IDJOB=2080713
IDBENCH=57137
IDSOLVER=734
FILE ID=node59/2080713-1247718327
PBS_JOBID= 9521389
Free space on /tmp= 66340 MiB

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

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

MD5SUM BENCH= c4567f2420b9c0b07f072179a1cd8341
RANDOM SEED=171554884

node59.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.263
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.263
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:       1447944 kB
Buffers:        102504 kB
Cached:         362480 kB
SwapCached:          0 kB
Active:          97136 kB
Inactive:       414160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1447944 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7240 kB
Writeback:           0 kB
Mapped:          57844 kB
Slab:            81904 kB
Committed_AS:   570796 kB
PageTables:       1880 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= 66340 MiB
End job on node59 at 2009-07-16 06:55:34