Trace number 2080712

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs 0.3.2? (TO) 1800.09 1808.15

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 3/73 17433
/proc/meminfo: memFree=1240152/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=5356 CPUtime=0
/proc/17433/stat : 17433 (pcssolve) R 17431 17433 16016 0 -1 4194304 305 0 0 0 0 0 0 0 19 0 1 0 58897593 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 0 0 0 17 0 0 0
/proc/17433/statm: 1339 242 201 169 0 50 0
[pid=17434] ppid=17433 vsize=0 CPUtime=0
/proc/17434/stat : 17434 (fgrep) Z 17433 17433 16016 0 -1 4194316 155 0 0 0 0 0 0 0 18 0 1 0 58897593 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/17434/statm: 0 0 0 0 0 0 0
[pid=17435] ppid=17433 vsize=0 CPUtime=0
/proc/17435/stat : 17435 (grep) Z 17433 17433 16016 0 -1 4194316 162 0 0 0 0 0 0 0 18 0 1 0 58897593 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/17435/statm: 0 0 0 0 0 0 0

[startup+0.018894 s]
/proc/loadavg: 1.92 1.99 1.99 3/73 17433
/proc/meminfo: memFree=1240152/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=5356 CPUtime=0
/proc/17433/stat : 17433 (pcssolve) S 17431 17433 16016 0 -1 4194304 339 317 0 0 0 0 0 0 19 0 1 0 58897593 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17433/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102729 s]
/proc/loadavg: 1.92 1.99 1.99 3/73 17433
/proc/meminfo: memFree=1240152/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=5996 CPUtime=0.07
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1153 660 0 0 7 0 0 0 18 0 1 0 58897593 6139904 784 996147200 134512640 135215973 4294956304 18446744073709551615 4158960656 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 1499 784 386 171 0 424 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5996

[startup+0.302751 s]
/proc/loadavg: 1.92 1.99 1.99 3/73 17433
/proc/meminfo: memFree=1240152/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=9412 CPUtime=0.28
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 2193 660 0 0 27 1 0 0 20 0 1 0 58897593 9637888 1484 996147200 134512640 135215973 4294956304 18446744073709551615 134762865 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 2353 1484 386 171 0 1278 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9412

[startup+0.702794 s]
/proc/loadavg: 1.92 1.99 1.99 3/73 17433
/proc/meminfo: memFree=1240152/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=16376 CPUtime=0.67
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 4321 660 0 0 66 1 0 0 24 0 1 0 58897593 16769024 2840 996147200 134512640 135215973 4294956304 18446744073709551615 134762851 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 4094 2840 386 171 0 3019 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 16376

[startup+1.50188 s]
/proc/loadavg: 1.92 1.99 1.99 3/74 17438
/proc/meminfo: memFree=1226888/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=27844 CPUtime=1.46
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 8066 660 0 0 143 3 0 0 25 0 1 0 58897593 28512256 5238 996147200 134512640 135215973 4294956304 18446744073709551615 134761742 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 6961 5238 386 171 0 5886 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 27844

[startup+3.10105 s]
/proc/loadavg: 1.92 1.99 1.99 3/74 17438
/proc/meminfo: memFree=1213384/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=52916 CPUtime=3.04
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 17018 660 0 0 297 7 0 0 25 0 1 0 58897593 54185984 11197 996147200 134512640 135215973 4294956304 18446744073709551615 134600283 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 13229 11197 409 171 0 12154 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 52916

[startup+6.3014 s]
/proc/loadavg: 1.93 1.99 1.99 3/74 17438
/proc/meminfo: memFree=1179472/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=94036 CPUtime=6.21
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 30895 660 0 0 609 12 0 0 25 0 1 0 58897593 96292864 19247 996147200 134512640 135215973 4294956304 18446744073709551615 4158960069 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 23509 19247 418 171 0 22434 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 94036

[startup+12.7011 s]
/proc/loadavg: 1.93 1.99 1.99 3/74 17438
/proc/meminfo: memFree=1110480/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=144288 CPUtime=12.56
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 52501 660 0 0 1235 21 0 0 25 0 1 0 58897593 147750912 34196 996147200 134512640 135215973 4294956304 18446744073709551615 134591917 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 36072 34196 418 171 0 34997 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 144288

[startup+25.5015 s]
/proc/loadavg: 1.95 1.99 1.99 3/74 17438
/proc/meminfo: memFree=1037136/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241096 CPUtime=25.27
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 83458 660 0 0 2494 33 0 0 25 0 1 0 58897593 246882304 50768 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 60274 50768 419 171 0 59199 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 241096

[startup+51.1012 s]
/proc/loadavg: 1.96 1.99 1.99 3/74 17438
/proc/meminfo: memFree=1011856/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241096 CPUtime=50.67
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 95096 660 0 0 5030 37 0 0 25 0 1 0 58897593 246882304 56912 996147200 134512640 135215973 4294956304 18446744073709551615 134583660 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 60274 56912 419 171 0 59199 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 241096

[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/74 17438
/proc/meminfo: memFree=1010192/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241096 CPUtime=101.47
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 102669 660 0 0 10108 39 0 0 25 0 1 0 58897593 246882304 56914 996147200 134512640 135215973 4294956304 18446744073709551615 134597322 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 60274 56914 419 171 0 59199 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 241096

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17438
/proc/meminfo: memFree=1008528/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241208 CPUtime=161.01
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 143416 660 0 0 16051 50 0 0 25 0 1 0 58897593 246996992 56925 996147200 134512640 135215973 4294956304 18446744073709551615 134592882 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 60302 56925 419 171 0 59227 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 241208

[startup+222.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17438
/proc/meminfo: memFree=1006928/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241208 CPUtime=220.55
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 153400 660 0 0 22001 54 0 0 25 0 1 0 58897593 246996992 56926 996147200 134512640 135215973 4294956304 18446744073709551615 5996439 0 0 4096 0 0 0 0 17 0 0 0
/proc/17433/statm: 60302 56926 419 171 0 59227 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 241208

[startup+282.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=864272/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241208 CPUtime=280.21
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 161509 660 0 0 27963 58 0 0 25 0 1 0 58897593 246996992 56928 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60302 56928 419 171 0 59227 0
Current children cumulated CPU time (s) 280.21
Current children cumulated vsize (KiB) 241208

[startup+342.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=863184/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241208 CPUtime=339.97
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 168277 660 0 0 33937 60 0 0 25 0 1 0 58897593 246996992 56929 996147200 134512640 135215973 4294956304 18446744073709551615 135094436 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60302 56929 419 171 0 59227 0
Current children cumulated CPU time (s) 339.97
Current children cumulated vsize (KiB) 241208

[startup+402.303 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=863056/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241320 CPUtime=399.74
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 213467 660 0 0 39896 78 0 0 25 0 1 0 58897593 247111680 56961 996147200 134512640 135215973 4294956304 18446744073709551615 135094341 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60330 56961 419 171 0 59255 0
Current children cumulated CPU time (s) 399.74
Current children cumulated vsize (KiB) 241320

[startup+462.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=862864/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241320 CPUtime=459.5
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 321694 660 0 0 45839 111 0 0 25 0 1 0 58897593 247111680 56983 996147200 134512640 135215973 4294956304 18446744073709551615 134597419 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60330 56983 419 171 0 59255 0
Current children cumulated CPU time (s) 459.5
Current children cumulated vsize (KiB) 241320

[startup+522.303 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=862928/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241320 CPUtime=519.26
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 372355 660 0 0 51798 128 0 0 25 0 1 0 58897593 247111680 56992 996147200 134512640 135215973 4294956304 18446744073709551615 134600073 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60330 56992 419 171 0 59255 0
Current children cumulated CPU time (s) 519.26
Current children cumulated vsize (KiB) 241320

[startup+582.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=862800/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241320 CPUtime=579.02
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 381736 660 0 0 57770 132 0 0 25 0 1 0 58897593 247111680 56993 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60330 56993 419 171 0 59255 0
Current children cumulated CPU time (s) 579.02
Current children cumulated vsize (KiB) 241320

[startup+642.303 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=862800/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=241320 CPUtime=638.79

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

[startup+882.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=860048/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=242700 CPUtime=877.85
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 727525 660 0 0 87539 246 0 0 25 0 1 0 58897593 248524800 57364 996147200 134512640 135215973 4294956304 18446744073709551615 135097542 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60675 57364 419 171 0 59600 0
Current children cumulated CPU time (s) 877.85
Current children cumulated vsize (KiB) 242700

[startup+942.303 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=858512/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=242820 CPUtime=937.62
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 747581 660 0 0 93508 254 0 0 25 0 1 0 58897593 248647680 57387 996147200 134512640 135215973 4294956304 18446744073709551615 4158960109 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60705 57387 419 171 0 59630 0
Current children cumulated CPU time (s) 937.62
Current children cumulated vsize (KiB) 242820

[startup+1002.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=858384/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=242820 CPUtime=997.38
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 754149 660 0 0 99482 256 0 0 25 0 1 0 58897593 248647680 57389 996147200 134512640 135215973 4294956304 18446744073709551615 4158853402 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60705 57389 419 171 0 59630 0
Current children cumulated CPU time (s) 997.38
Current children cumulated vsize (KiB) 242820

[startup+1062.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=858192/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=242820 CPUtime=1057.15
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 757365 660 0 0 105458 257 0 0 25 0 1 0 58897593 248647680 57389 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60705 57389 419 171 0 59630 0
Current children cumulated CPU time (s) 1057.15
Current children cumulated vsize (KiB) 242820

[startup+1122.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=857936/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=242820 CPUtime=1116.91
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 767150 660 0 0 111431 260 0 0 25 0 1 0 58897593 248647680 57392 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60705 57392 419 171 0 59630 0
Current children cumulated CPU time (s) 1116.91
Current children cumulated vsize (KiB) 242820

[startup+1182.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=857744/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=242820 CPUtime=1176.68
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 779547 660 0 0 117404 264 0 0 25 0 1 0 58897593 248647680 57394 996147200 134512640 135215973 4294956304 18446744073709551615 134532969 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 60705 57394 419 171 0 59630 0
Current children cumulated CPU time (s) 1176.68
Current children cumulated vsize (KiB) 242820

[startup+1242.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=833360/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=266684 CPUtime=1236.44
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1096419 660 0 0 123285 359 0 0 25 0 1 0 58897593 273084416 63386 996147200 134512640 135215973 4294956304 18446744073709551615 134532689 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 66671 63386 419 171 0 65596 0
Current children cumulated CPU time (s) 1236.44
Current children cumulated vsize (KiB) 266684

[startup+1302.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=833040/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=266684 CPUtime=1296.21
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1163294 660 0 0 129243 378 0 0 25 0 1 0 58897593 273084416 63395 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 66671 63395 419 171 0 65596 0
Current children cumulated CPU time (s) 1296.21
Current children cumulated vsize (KiB) 266684

[startup+1362.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=832208/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=271820 CPUtime=1355.96
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1237554 660 0 0 135196 400 0 0 25 0 1 0 58897593 278343680 63538 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 67955 63538 419 171 0 66880 0
Current children cumulated CPU time (s) 1355.96
Current children cumulated vsize (KiB) 271820

[startup+1422.31 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=832208/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=271820 CPUtime=1415.73
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1237564 660 0 0 141173 400 0 0 25 0 1 0 58897593 278343680 63548 996147200 134512640 135215973 4294956304 18446744073709551615 4158960012 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 67955 63548 419 171 0 66880 0
Current children cumulated CPU time (s) 1415.73
Current children cumulated vsize (KiB) 271820

[startup+1482.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=832144/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=271820 CPUtime=1475.49
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1237569 660 0 0 147149 400 0 0 25 0 1 0 58897593 278343680 63553 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 67955 63553 419 171 0 66880 0
Current children cumulated CPU time (s) 1475.49
Current children cumulated vsize (KiB) 271820

[startup+1542.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17469
/proc/meminfo: memFree=830608/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=271820 CPUtime=1535.25
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1237580 660 0 0 153125 400 0 0 25 0 1 0 58897593 278343680 63564 996147200 134512640 135215973 4294956304 18446744073709551615 135095011 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 67955 63564 419 171 0 66880 0
Current children cumulated CPU time (s) 1535.25
Current children cumulated vsize (KiB) 271820

[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17471
/proc/meminfo: memFree=828688/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=271820 CPUtime=1595.02
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1237589 660 0 0 159102 400 0 0 25 0 1 0 58897593 278343680 63573 996147200 134512640 135215973 4294956304 18446744073709551615 134587287 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 67955 63573 419 171 0 66880 0
Current children cumulated CPU time (s) 1595.02
Current children cumulated vsize (KiB) 271820

[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17471
/proc/meminfo: memFree=826832/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=271820 CPUtime=1654.78
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1237590 660 0 0 165078 400 0 0 25 0 1 0 58897593 278343680 63574 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 67955 63574 419 171 0 66880 0
Current children cumulated CPU time (s) 1654.78
Current children cumulated vsize (KiB) 271820

[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17471
/proc/meminfo: memFree=824720/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=271820 CPUtime=1714.55
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1237591 660 0 0 171055 400 0 0 25 0 1 0 58897593 278343680 63575 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 67955 63575 419 171 0 66880 0
Current children cumulated CPU time (s) 1714.55
Current children cumulated vsize (KiB) 271820

[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17471
/proc/meminfo: memFree=821968/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=271820 CPUtime=1774.31
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1237592 660 0 0 177031 400 0 0 25 0 1 0 58897593 278343680 63576 996147200 134512640 135215973 4294956304 18446744073709551615 134581415 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 67955 63576 419 171 0 66880 0
Current children cumulated CPU time (s) 1774.31
Current children cumulated vsize (KiB) 271820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.1 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17471
/proc/meminfo: memFree=820816/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=271820 CPUtime=1800.02
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1237592 660 0 0 179602 400 0 0 25 0 1 0 58897593 278343680 63576 996147200 134512640 135215973 4294956304 18446744073709551615 134921858 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 67955 63576 419 171 0 66880 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 271820

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

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

[startup+1808.1 s]
/proc/loadavg: 1.99 1.99 1.99 3/74 17471
/proc/meminfo: memFree=820816/2055920 swapFree=4192812/4192956
[pid=17433] ppid=17431 vsize=271820 CPUtime=1800.02
/proc/17433/stat : 17433 (pcs.big) R 17431 17433 16016 0 -1 4194304 1237592 660 0 0 179602 400 0 0 25 0 1 0 58897593 278343680 63576 996147200 134512640 135215973 4294956304 18446744073709551615 134921858 0 0 4096 0 0 0 0 17 1 0 0
/proc/17433/statm: 67955 63576 419 171 0 66880 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 271820

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.15
CPU time (s): 1800.09
CPU user time (s): 1796.03
CPU system time (s): 4.05838
CPU usage (%): 99.5545
Max. virtual memory (cumulated for all children) (KiB): 294348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.03
system time used= 4.05838
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1238252
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= 20
involuntary context switches= 24607

runsolver used 1.65375 second user time and 4.95925 second system time

The end

Launcher Data 

Begin job on node81 at 2009-07-16 06:25:25
IDJOB=2080712
IDBENCH=57137
IDSOLVER=733
FILE ID=node81/2080712-1247718325
PBS_JOBID= 9521452
Free space on /tmp= 126660 MiB

SOLVER NAME= pcs 0.2
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-2080712-1247718325/watcher-2080712-1247718325 -o /tmp/evaluation-result-2080712-1247718325/solver-2080712-1247718325 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1375243709 HOME/instance-2080712-1247718325.xml

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

MD5SUM BENCH= c4567f2420b9c0b07f072179a1cd8341
RANDOM SEED=1375243709

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1240632 kB
Buffers:         93820 kB
Cached:         582644 kB
SwapCached:          0 kB
Active:         240492 kB
Inactive:       484036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1240632 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7264 kB
Writeback:           0 kB
Mapped:          59532 kB
Slab:            75860 kB
Committed_AS:   584316 kB
PageTables:       1868 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126656 MiB
End job on node81 at 2009-07-16 06:55:35