Trace number 2080745

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.11 1811.74

General information on the benchmark

Namecsp/haystacks/
normalized-haystacks-35.xml
MD5SUM1eb3c150032c50ac46662d9f9a65bfe6
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 variables1225
Number of constraints20859
Maximum constraint arity2
Maximum domain size35
Number of constraints which are defined in extension0
Number of constraints which are defined in intension20859
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.02	c Seed is 1813078639
0.00/0.02	c Constructing HOME/instance-2080745-1247718406.xml 
1.06/1.17	c deduced all_different(V51,V59,V192,V317,V1046,V0)
1.06/1.17	c deduced all_different(V4,V35,V185,V460,V612,V1)
1.06/1.17	c deduced all_different(V3,V133,V209,V390,V513,V1137,V2)
1.06/1.17	c deduced all_different(V11,V38,V184,V401,V435,V1034,V5)
1.06/1.17	c deduced all_different(V12,V18,V217,V462,V485,V614,V6)
1.06/1.17	c deduced all_different(V50,V83,V259,V344,V797,V7)
1.06/1.17	c deduced all_different(V94,V124,V139,V773,V1124,V8)
1.06/1.17	c deduced all_different(V32,V234,V542,V635,V940,V9)
1.06/1.17	c deduced all_different(V47,V383,V634,V648,V10)
1.06/1.17	c deduced all_different(V25,V42,V271,V609,V990,V13)
1.06/1.17	c deduced all_different(V23,V156,V187,V988,V14)
1.06/1.17	c deduced all_different(V27,V146,V196,V518,V735,V15)
1.06/1.17	c deduced all_different(V98,V111,V547,V730,V1022,V16)
1.06/1.17	c deduced all_different(V155,V197,V334,V470,V1026,V17)
1.06/1.17	c deduced all_different(V29,V105,V321,V860,V1022,V19)
1.06/1.17	c deduced all_different(V57,V75,V260,V596,V918,V1131,V20)
1.06/1.17	c deduced all_different(V147,V187,V221,V265,V988,V21)
1.06/1.17	c deduced all_different(V125,V131,V416,V554,V776,V22)
1.06/1.17	c deduced all_different(V55,V186,V450,V638,V818,V24)
1.06/1.17	c deduced all_different(V18,V162,V217,V485,V614,V624,V26)
1.06/1.17	c deduced all_different(V123,V142,V396,V739,V781,V28)
1.06/1.17	c deduced all_different(V129,V201,V213,V452,V736,V813,V30)
1.06/1.17	c deduced all_different(V78,V260,V333,V535,V683,V941,V31)
1.06/1.17	c deduced all_different(V72,V118,V449,V652,V1063,V33)
1.06/1.17	c deduced all_different(V194,V309,V494,V688,V1067,V34)
1.06/1.17	c deduced all_different(V37,V203,V1184,V36)
1.06/1.17	c deduced all_different(V115,V471,V607,V980,V1152,V39)
1.06/1.17	c deduced all_different(V36,V244,V262,V1184,V40)
1.06/1.17	c deduced all_different(V50,V83,V90,V114,V948,V1014,V1207,V41)
1.06/1.17	c deduced all_different(V5,V11,V82,V184,V1034,V43)
1.06/1.17	c deduced all_different(V143,V280,V365,V411,V656,V1199,V44)
1.06/1.17	c deduced all_different(V86,V188,V305,V615,V984,V45)
1.06/1.17	c deduced all_different(V202,V226,V923,V942,V1071,V46)
1.06/1.17	c deduced all_different(V129,V198,V201,V237,V419,V48)
1.06/1.17	c deduced all_different(V88,V148,V356,V1071,V49)
1.06/1.17	c deduced all_different(V110,V305,V368,V984,V52)
1.06/1.17	c deduced all_different(V47,V67,V69,V307,V648,V924,V53)
1.06/1.17	c deduced all_different(V10,V176,V383,V634,V648,V859,V54)
1.06/1.17	c deduced all_different(V11,V38,V184,V698,V56)
1.06/1.17	c deduced all_different(V85,V94,V139,V549,V773,V58)
1.06/1.17	c deduced all_different(V7,V83,V175,V60)
1.06/1.17	c deduced all_different(V11,V184,V433,V1149,V61)
1.06/1.17	c deduced all_different(V73,V294,V635,V786,V62)
1.06/1.17	c deduced all_different(V13,V42,V475,V659,V990,V63)
1.06/1.17	c deduced all_different(V195,V303,V386,V632,V994,V64)
1.06/1.17	c deduced all_different(V185,V429,V612,V1085,V65)
1.06/1.17	c deduced all_different(V7,V83,V175,V332,V667,V1207,V66)
1.06/1.17	c deduced all_different(V215,V415,V567,V675,V68)
1.06/1.17	c deduced all_different(V149,V466,V612,V983,V1123,V70)
1.06/1.17	c deduced all_different(V205,V215,V245,V567,V671,V71)
1.06/1.17	c deduced all_different(V73,V234,V336,V635,V74)
1.06/1.17	c deduced all_different(V20,V75,V260,V333,V481,V1154,V76)
1.06/1.17	c deduced all_different(V60,V83,V121,V649,V77)
1.06/1.17	c deduced all_different(V6,V485,V614,V624,V79)
1.06/1.17	c deduced all_different(V20,V75,V260,V481,V596,V80)
1.06/1.17	c deduced all_different(V9,V234,V336,V635,V81)
1.06/1.17	c deduced all_different(V145,V179,V212,V747,V897,V1069,V84)
1.06/1.17	c deduced all_different(V85,V132,V139,V773,V87)
1.06/1.17	c deduced all_different(V100,V456,V600,V723,V1073,V89)
1.06/1.17	c deduced all_different(V152,V415,V567,V572,V1136,V91)
1.06/1.17	c deduced all_different(V32,V406,V542,V635,V92)
1.06/1.17	c deduced all_different(V20,V57,V260,V550,V596,V1131,V93)
1.06/1.17	c deduced all_different(V6,V12,V388,V462,V485,V650,V95)
1.06/1.17	c deduced all_different(V2,V133,V277,V589,V1137,V96)
1.06/1.17	c deduced all_different(V102,V200,V290,V822,V97)
1.06/1.17	c deduced all_different(V86,V181,V821,V984,V1003,V99)
1.06/1.17	c deduced all_different(V103,V225,V470,V700,V1026,V1167,V101)
1.06/1.17	c deduced all_different(V252,V398,V952,V1152,V104)
1.06/1.17	c deduced all_different(V113,V284,V591,V846,V850,V106)
1.06/1.17	c deduced all_different(V0,V51,V192,V317,V107)
1.06/1.17	c deduced all_different(V140,V515,V548,V822,V1160,V108)
1.06/1.17	c deduced all_different(V31,V260,V355,V505,V777,V109)
1.06/1.17	c deduced all_different(V280,V365,V1106,V1199,V112)
1.06/1.17	c deduced all_different(V51,V59,V192,V317,V348,V116)
1.06/1.17	c deduced all_different(V14,V156,V221,V272,V988,V117)
1.06/1.17	c deduced all_different(V8,V139,V339,V380,V773,V119)
1.06/1.17	c deduced all_different(V57,V93,V260,V596,V918,V1131,V120)
1.06/1.17	c deduced all_different(V95,V162,V335,V485,V122)
1.06/1.17	c deduced all_different(V89,V301,V443,V766,V1073,V1159,V126)
1.06/1.17	c deduced all_different(V469,V591,V850,V877,V937,V127)
1.06/1.17	c deduced all_different(V22,V131,V416,V554,V776,V128)
1.06/1.17	c deduced all_different(V148,V428,V942,V1071,V130)
1.06/1.17	c deduced all_different(V103,V470,V503,V1026,V1167,V134)
1.06/1.17	c deduced all_different(V159,V179,V519,V1069,V135)
1.06/1.17	c deduced all_different(V53,V67,V69,V176,V307,V648,V924,V136)
1.06/1.17	c deduced all_different(V55,V352,V489,V638,V1146,V137)
1.06/1.17	c deduced all_different(V190,V230,V451,V878,V138)
1.06/1.17	c deduced all_different(V256,V399,V576,V627,V892,V895,V141)
1.06/1.17	c deduced all_different(V142,V300,V739,V902,V144)
1.06/1.17	c deduced all_different(V201,V237,V419,V728,V150)
1.06/1.17	c deduced all_different(V9,V336,V635,V785,V825,V151)
1.06/1.17	c deduced all_different(V145,V174,V557,V1069,V153)
1.06/1.17	c deduced all_different(V103,V470,V503,V700,V1026,V1167,V154)
1.06/1.17	c deduced all_different(V36,V170,V203,V1184,V157)
1.06/1.17	c deduced all_different(V8,V94,V124,V453,V773,V1148,V158)
1.06/1.17	c deduced all_different(V0,V51,V261,V1033,V1194,V160)
1.06/1.17	c deduced all_different(V89,V443,V723,V1073,V1090,V161)
1.06/1.17	c deduced all_different(V11,V56,V184,V295,V716,V1076,V163)
1.06/1.17	c deduced all_different(V41,V66,V83,V90,V948,V1014,V164)
1.06/1.17	c deduced all_different(V41,V66,V83,V175,V1207,V165)
1.06/1.17	c deduced all_different(V70,V466,V612,V753,V983,V1123,V166)
1.06/1.17	c deduced all_different(V284,V509,V846,V850,V167)
1.06/1.17	c deduced all_different(V23,V156,V265,V988,V168)
1.06/1.17	c deduced all_different(V15,V27,V196,V490,V735,V956,V169)
1.06/1.17	c deduced all_different(V38,V56,V184,V698,V844,V171)
1.06/1.17	c deduced all_different(V15,V196,V302,V490,V725,V172)
1.06/1.17	c deduced all_different(V319,V512,V806,V927,V1152,V173)
1.06/1.17	c deduced all_different(V8,V124,V132,V453,V773,V970,V177)
1.06/1.17	c deduced all_different(V191,V349,V413,V552,V1199,V178)
1.06/1.17	c deduced all_different(V103,V470,V939,V1026,V180)
1.06/1.17	c deduced all_different(V358,V359,V496,V678,V1063,V182)
1.06/1.17	c deduced all_different(V16,V105,V269,V748,V917,V1022,V183)
1.06/1.17	c deduced all_different(V185,V208,V612,V1085,V1202,V189)
1.06/1.17	c deduced all_different(V16,V111,V730,V741,V1022,V193)
1.06/1.17	c deduced all_different(V14,V117,V585,V601,V653,V988,V199)
1.06/1.17	c deduced all_different(V100,V456,V600,V1073,V204)
1.06/1.17	c deduced all_different(V128,V131,V554,V909,V206)
1.06/1.17	c deduced all_different(V113,V591,V760,V850,V207)
1.06/1.17	c deduced all_different(V220,V231,V414,V1075,V210)
1.06/1.17	c deduced all_different(V22,V125,V482,V554,V709,V863,V211)
1.06/1.17	c deduced all_different(V49,V293,V737,V1071,V214)
1.06/1.17	c deduced all_different(V1,V4,V612,V983,V216)
1.06/1.17	c deduced all_different(V18,V162,V217,V485,V218)
1.06/1.17	c deduced all_different(V186,V450,V638,V745,V911,V1142,V219)
1.06/1.17	c deduced all_different(V100,V243,V743,V1056,V1073,V222)
1.06/1.17	c deduced all_different(V25,V271,V967,V990,V1061,V223)
1.06/1.17	c deduced all_different(V71,V205,V245,V567,V671,V224)
1.06/1.17	c deduced all_different(V22,V131,V416,V554,V1220,V227)
1.06/1.17	c deduced all_different(V53,V69,V176,V307,V648,V924,V228)
1.06/1.17	c deduced all_different(V8,V124,V132,V773,V970,V1124,V229)
1.06/1.17	c deduced all_different(V106,V284,V570,V850,V1119,V232)
1.06/1.17	c deduced all_different(V86,V99,V984,V233)
1.06/1.17	c deduced all_different(V126,V301,V443,V1073,V235)
1.06/1.17	c deduced all_different(V198,V201,V213,V377,V838,V236)
1.06/1.17	c deduced all_different(V52,V181,V188,V446,V984,V238)
1.06/1.17	c deduced all_different(V28,V123,V739,V746,V239)
1.06/1.17	c deduced all_different(V135,V212,V557,V1069,V240)
1.06/1.17	c deduced all_different(V26,V335,V468,V485,V857,V1125,V241)
1.06/1.17	c deduced all_different(V210,V231,V414,V932,V1075,V242)
1.06/1.17	c deduced all_different(V351,V373,V431,V530,V545,V627,V246)
1.06/1.17	c deduced all_different(V36,V40,V497,V1147,V1184,V247)
1.06/1.17	c deduced all_different(V37,V595,V617,V1019,V1184,V248)
1.06/1.17	c deduced all_different(V84,V343,V454,V985,V1069,V249)
1.06/1.17	c deduced all_different(V190,V230,V275,V473,V250)
1.06/1.17	c deduced all_different(V17,V334,V537,V1026,V251)
1.06/1.17	c deduced all_different(V190,V230,V275,V473,V500,V718,V253)
1.06/1.17	c deduced all_different(V1,V35,V460,V612,V254)
1.06/1.17	c deduced all_different(V1,V35,V185,V460,V612,V255)
1.06/1.17	c deduced all_different(V17,V197,V470,V1026,V257)
1.06/1.17	c deduced all_different(V71,V205,V215,V565,V567,V258)
1.06/1.17	c deduced all_different(V283,V337,V643,V957,V1008,V1067,V263)
1.06/1.17	c deduced all_different(V64,V303,V386,V681,V994,V1037,V264)
1.06/1.17	c deduced all_different(V256,V399,V576,V627,V892,V895,V266)
1.06/1.17	c deduced all_different(V231,V364,V414,V932,V1075,V267)
1.06/1.17	c deduced all_different(V3,V133,V209,V589,V1137,V268)
1.06/1.17	c deduced all_different(V13,V63,V990,V270)
1.06/1.17	c deduced all_different(V37,V329,V929,V1184,V273)
1.06/1.17	c deduced all_different(V203,V244,V262,V426,V1184,V274)
1.06/1.17	c deduced all_different(V183,V193,V463,V1022,V276)
1.06/1.17	c deduced all_different(V30,V201,V213,V278)
1.06/1.17	c deduced all_different(V12,V18,V462,V468,V485,V1041,V279)
1.06/1.17	c deduced all_different(V8,V132,V177,V453,V773,V281)
1.06/1.17	c deduced all_different(V133,V209,V268,V277,V589,V1137,V282)
1.06/1.17	c deduced all_different(V19,V327,V712,V1022,V285)
1.06/1.17	c deduced all_different(V13,V25,V967,V990,V286)
1.06/1.17	c deduced all_different(V49,V202,V514,V737,V1071,V287)
1.06/1.17	c deduced all_different(V45,V188,V446,V984,V1000,V288)
1.06/1.17	c deduced all_different(V34,V313,V839,V957,V1067,V289)
1.06/1.17	c deduced all_different(V19,V29,V321,V463,V1022,V291)
1.06/1.17	c deduced all_different(V200,V430,V608,V822,V292)
1.06/1.17	c deduced all_different(V106,V417,V610,V840,V850,V296)
1.06/1.17	c deduced all_different(V10,V176,V383,V634,V648,V297)
1.06/1.17	c deduced all_different(V5,V43,V82,V184,V523,V1034,V298)
1.06/1.17	c deduced all_different(V57,V75,V260,V918,V299)
1.06/1.17	c deduced all_different(V2,V96,V589,V879,V1137,V304)
1.06/1.17	c deduced all_different(V270,V400,V448,V990,V306)
1.06/1.17	c deduced all_different(V108,V474,V569,V822,V308)
1.06/1.17	c deduced all_different(V51,V107,V192,V317,V310)
1.06/1.17	c deduced all_different(V4,V460,V612,V991,V1053,V311)
1.06/1.17	c deduced all_different(V31,V80,V260,V355,V312)
1.06/1.17	c deduced all_different(V36,V40,V497,V1147,V1184,V314)
1.06/1.17	c deduced all_different(V194,V494,V566,V1067,V315)
1.06/1.17	c deduced all_different(V263,V337,V643,V1067,V316)
1.06/1.17	c deduced all_different(V98,V111,V639,V730,V1022,V318)
1.06/1.17	c deduced all_different(V5,V11,V184,V295,V435,V320)
1.06/1.17	c deduced all_different(V52,V110,V368,V984,V1129,V322)
1.06/1.17	c deduced all_different(V231,V414,V1075,V323)
1.06/1.17	c deduced all_different(V68,V567,V800,V837,V1011,V324)
1.06/1.17	c deduced all_different(V64,V303,V386,V640,V994,V325)
1.06/1.17	c deduced all_different(V511,V668,V824,V1047,V1075,V326)
1.06/1.17	c deduced all_different(V56,V171,V184,V298,V698,V779,V328)
1.06/1.17	c deduced all_different(V352,V638,V818,V1004,V1142,V330)
1.06/1.17	c deduced all_different(V9,V234,V542,V635,V331)
1.06/1.17	c deduced all_different(V44,V365,V411,V1199,V338)
1.06/1.17	c deduced all_different(V35,V460,V612,V753,V765,V340)
1.06/1.17	c deduced all_different(V140,V430,V532,V822,V341)
1.06/1.17	c deduced all_different(V64,V195,V640,V788,V994,V342)
1.06/1.17	c deduced all_different(V20,V76,V260,V481,V505,V683,V802,V345)
1.06/1.17	c deduced all_different(V195,V303,V686,V831,V994,V1037,V346)
1.06/1.17	c deduced all_different(V143,V280,V349,V778,V1106,V1199,V347)
1.06/1.17	c deduced all_different(V134,V461,V1026,V1083,V350)
1.06/1.17	c deduced all_different(V12,V18,V162,V485,V614,V624,V353)
1.06/1.17	c deduced all_different(V115,V607,V1084,V1152,V354)
1.06/1.17	c deduced all_different(V125,V131,V554,V909,V357)
1.06/1.17	c deduced all_different(V36,V170,V247,V1184,V360)
1.06/1.17	c deduced all_different(V330,V638,V818,V1001,V1004,V1213,V361)
1.06/1.17	c deduced all_different(V89,V443,V720,V723,V1073,V362)
1.06/1.17	c deduced all_different(V5,V11,V43,V184,V363)
1.06/1.17	c deduced all_different(V46,V202,V564,V942,V1071,V366)
1.06/1.17	c deduced all_different(V53,V54,V648,V859,V965,V367)
1.06/1.17	c deduced all_different(V91,V415,V567,V572,V675,V369)
1.06/1.17	c deduced all_different(V16,V98,V730,V963,V1022,V370)
1.06/1.17	c deduced all_different(V24,V55,V450,V638,V818,V371)
1.06/1.17	c deduced all_different(V112,V338,V365,V1139,V1199,V1206,V372)
1.06/1.17	c deduced all_different(V28,V142,V715,V739,V374)
1.06/1.17	c deduced all_different(V3,V268,V393,V584,V879,V1137,V375)
1.06/1.17	c deduced all_different(V153,V174,V249,V605,V1069,V376)
1.06/1.17	c deduced all_different(V210,V220,V668,V1075,V378)
1.06/1.17	c deduced all_different(V137,V352,V489,V638,V379)
1.06/1.17	c deduced all_different(V96,V277,V589,V1137,V381)
1.06/1.17	c deduced all_different(V47,V383,V648,V904,V955,V382)
1.06/1.17	c deduced all_different(V303,V325,V788,V994,V384)
1.06/1.17	c deduced all_different(V44,V143,V365,V411,V521,V1199,V385)
1.06/1.17	c deduced all_different(V32,V234,V406,V635,V785,V387)
1.06/1.17	c deduced all_different(V44,V280,V413,V1199,V389)
1.06/1.17	c deduced all_different(V115,V407,V980,V1152,V391)
1.06/1.17	c deduced all_different(V169,V196,V490,V1209,V392)
1.06/1.17	c deduced all_different(V195,V303,V524,V663,V994,V394)
1.06/1.17	c deduced all_different(V145,V212,V557,V1069,V1161,V395)
1.06/1.17	c deduced all_different(V39,V252,V471,V789,V1152,V397)
1.06/1.17	c deduced all_different(V102,V412,V822,V901,V1036,V402)
1.06/1.17	c deduced all_different(V58,V94,V139,V773,V403)
1.06/1.17	c deduced all_different(V88,V148,V356,V1071,V1195,V404)
1.06/1.17	c deduced all_different(V57,V75,V109,V260,V777,V405)
1.06/1.17	c deduced all_different(V230,V250,V451,V884,V408)
1.06/1.17	c deduced all_different(V37,V203,V617,V1184,V409)
1.06/1.17	c deduced all_different(V210,V364,V932,V1075,V410)
1.06/1.17	c deduced all_different(V36,V262,V1184,V418)
1.06/1.17	c deduced all_different(V9,V234,V336,V635,V785,V420)
1.06/1.17	c deduced all_different(V72,V118,V358,V1063,V421)
1.06/1.17	c deduced all_different(V190,V230,V253,V473,V660,V422)
1.06/1.17	c deduced all_different(V195,V342,V640,V994,V423)
1.06/1.17	c deduced all_different(V58,V85,V139,V549,V773,V424)
1.06/1.17	c deduced all_different(V117,V156,V988,V425)
1.06/1.17	c deduced all_different(V64,V264,V386,V681,V994,V427)
1.06/1.17	c deduced all_different(V297,V307,V648,V761,V978,V432)
1.06/1.17	c deduced all_different(V106,V113,V591,V850,V434)
1.06/1.17	c deduced all_different(V84,V145,V179,V985,V1069,V436)
1.06/1.17	c deduced all_different(V41,V60,V83,V649,V1014,V437)
1.06/1.17	c deduced all_different(V27,V169,V196,V506,V518,V676,V438)
1.06/1.17	c deduced all_different(V8,V119,V139,V339,V773,V439)
1.06/1.17	c deduced all_different(V386,V423,V625,V632,V994,V440)
1.06/1.17	c deduced all_different(V9,V32,V635,V785,V441)
1.06/1.17	c deduced all_different(V194,V692,V946,V981,V1067,V442)
1.06/1.17	c deduced all_different(V123,V239,V739,V902,V1038,V444)
1.06/1.17	c deduced all_different(V224,V567,V671,V827,V998,V445)
1.06/1.17	c deduced all_different(V83,V90,V164,V259,V667,V447)
1.06/1.17	c deduced all_different(V58,V85,V139,V549,V773,V455)
1.06/1.17	c deduced all_different(V32,V73,V406,V635,V785,V457)
1.06/1.17	c deduced all_different(V45,V86,V305,V615,V984,V458)
1.06/1.17	c deduced all_different(V0,V107,V192,V459)
1.06/1.17	c deduced all_different(V28,V239,V722,V739,V896,V464)
1.06/1.17	c deduced all_different(V134,V257,V470,V987,V1026,V465)
1.06/1.17	c deduced all_different(V141,V576,V627,V895,V467)
1.06/1.17	c deduced all_different(V137,V379,V489,V638,V472)
1.06/1.17	c deduced all_different(V13,V271,V734,V990,V1102,V476)
1.06/1.17	c deduced all_different(V89,V100,V600,V1073,V477)
1.06/1.17	c deduced all_different(V123,V239,V739,V858,V478)
1.06/1.17	c deduced all_different(V27,V146,V196,V841,V479)
1.06/1.17	c deduced all_different(V13,V63,V475,V990,V1186,V480)
1.06/1.17	c deduced all_different(V36,V203,V314,V1184,V483)
1.06/1.17	c deduced all_different(V38,V171,V184,V698,V484)
1.06/1.17	c deduced all_different(V282,V304,V628,V879,V1137,V486)
1.06/1.17	c deduced all_different(V91,V415,V567,V971,V1136,V487)
1.06/1.17	c deduced all_different(V9,V32,V635,V940,V488)
1.06/1.17	c deduced all_different(V220,V378,V606,V668,V1075,V491)
1.06/1.17	c deduced all_different(V25,V42,V498,V990,V1130,V492)
1.06/1.17	c deduced all_different(V84,V212,V1058,V1069,V493)
1.06/1.17	c deduced all_different(V62,V92,V294,V635,V793,V495)
1.06/1.17	c deduced all_different(V8,V132,V177,V453,V773,V499)
1.06/1.17	c deduced all_different(V13,V270,V448,V609,V990,V501)
1.06/1.17	c deduced all_different(V18,V26,V353,V485,V614,V502)
1.06/1.17	c deduced all_different(V58,V85,V94,V773,V970,V1024,V1124,V504)
1.06/1.17	c deduced all_different(V102,V200,V290,V822,V1092,V507)
1.06/1.17	c deduced all_different(V84,V179,V519,V897,V1069,V508)
1.06/1.17	c deduced all_different(V106,V417,V570,V610,V850,V510)
1.06/1.17	c deduced all_different(V146,V196,V479,V546,V516)
1.06/1.17	c deduced all_different(V138,V190,V230,V500,V660,V517)
1.06/1.17	c deduced all_different(V182,V358,V496,V678,V762,V1063,V520)
1.06/1.17	c deduced all_different(V28,V374,V602,V739,V854,V522)
1.06/1.17	c deduced all_different(V166,V254,V311,V612,V849,V525)
1.06/1.17	c deduced all_different(V147,V199,V976,V988,V526)
1.06/1.17	c deduced all_different(V51,V160,V261,V527)
1.06/1.17	c deduced all_different(V44,V143,V280,V411,V656,V1199,V528)
1.06/1.17	c deduced all_different(V112,V365,V372,V385,V1106,V1199,V529)
1.06/1.17	c deduced all_different(V52,V238,V322,V615,V701,V984,V531)
1.06/1.17	c deduced all_different(V256,V576,V627,V1054,V533)
1.06/1.17	c deduced all_different(V41,V60,V83,V121,V175,V534)
1.06/1.17	c deduced all_different(V264,V427,V681,V994,V536)
1.06/1.17	c deduced all_different(V126,V235,V763,V1073,V538)
1.06/1.17	c deduced all_different(V182,V359,V560,V678,V757,V1063,V539)
1.06/1.17	c deduced all_different(V118,V358,V762,V1055,V1063,V540)
1.06/1.17	c deduced all_different(V108,V140,V822,V541)
1.06/1.17	c deduced all_different(V131,V227,V416,V554,V543)
1.06/1.17	c deduced all_different(V34,V283,V1008,V1067,V544)
1.06/1.17	c deduced all_different(V123,V239,V739,V746,V551)
1.06/1.17	c deduced all_different(V33,V449,V652,V1063,V1096,V1101,V1172,V553)
1.06/1.17	c deduced all_different(V17,V155,V334,V470,V1026,V555)
1.06/1.17	c deduced all_different(V21,V221,V265,V272,V629,V988,V556)
1.06/1.17	c deduced all_different(V530,V545,V627,V714,V558)
1.06/1.17	c deduced all_different(V83,V114,V121,V175,V797,V559)
1.06/1.17	c deduced all_different(V17,V197,V225,V700,V861,V1026,V1167,V561)
1.06/1.17	c deduced all_different(V11,V56,V184,V716,V1149,V562)
1.06/1.17	c deduced all_different(V21,V147,V221,V653,V988,V995,V563)
1.06/1.17	c deduced all_different(V27,V196,V302,V490,V568)
1.06/1.17	c deduced all_different(V21,V187,V265,V272,V629,V988,V571)
1.06/1.17	c deduced all_different(V55,V137,V638,V702,V818,V573)
1.06/1.17	c deduced all_different(V283,V315,V643,V812,V1067,V574)
1.06/1.17	c deduced all_different(V101,V103,V700,V1026,V1167,V575)
1.06/1.17	c deduced all_different(V59,V192,V317,V862,V1113,V577)
1.06/1.17	c deduced all_different(V86,V181,V188,V984,V578)
1.06/1.17	c deduced all_different(V2,V3,V133,V513,V1137,V1187,V579)
1.06/1.17	c deduced all_different(V2,V133,V393,V513,V1137,V580)
1.06/1.17	c deduced all_different(V133,V268,V277,V282,V1137,V581)
1.06/1.17	c deduced all_different(V138,V230,V500,V517,V687,V582)
1.06/1.17	c deduced all_different(V195,V342,V640,V994,V583)
1.06/1.17	c deduced all_different(V35,V466,V612,V586)
1.06/1.17	c deduced all_different(V97,V822,V1115,V1185,V587)
1.06/1.17	c deduced all_different(V0,V59,V317,V661,V1012,V588)
1.06/1.17	c deduced all_different(V2,V3,V133,V209,V589,V1137,V590)
1.06/1.17	c deduced all_different(V21,V147,V221,V653,V988,V995,V592)
1.06/1.17	c deduced all_different(V313,V337,V494,V566,V1025,V1067,V593)
1.06/1.17	c deduced all_different(V46,V226,V724,V950,V1071,V594)
1.06/1.17	c deduced all_different(V410,V606,V668,V1075,V597)
1.06/1.17	c deduced all_different(V89,V126,V456,V723,V1073,V1090,V598)
1.06/1.17	c deduced all_different(V57,V75,V109,V260,V918,V599)
1.06/1.17	c deduced all_different(V57,V93,V260,V299,V550,V603)
1.06/1.17	c deduced all_different(V30,V129,V201,V736,V1035,V604)
1.06/1.17	c deduced all_different(V230,V623,V664,V611)
1.06/1.17	c deduced all_different(V358,V359,V553,V1063,V1096,V613)
1.06/1.17	c deduced all_different(V125,V416,V554,V1153,V616)
1.06/1.17	c deduced all_different(V106,V284,V591,V850,V1119,V618)
1.06/1.17	c deduced all_different(V134,V461,V503,V561,V891,V1026,V619)
1.06/1.17	c deduced all_different(V34,V194,V309,V1067,V620)
1.06/1.17	c deduced all_different(V72,V449,V652,V1063,V1096,V1172,V621)
1.06/1.17	c deduced all_different(V58,V139,V339,V403,V773,V622)
1.06/1.17	c deduced all_different(V141,V627,V714,V767,V626)
1.06/1.17	c deduced all_different(V16,V105,V269,V547,V1022,V630)
1.06/1.17	c deduced all_different(V351,V431,V530,V545,V627,V631)
1.06/1.17	c deduced all_different(V31,V109,V260,V355,V777,V633)
1.06/1.17	c deduced all_different(V130,V287,V737,V906,V1071,V636)
1.06/1.17	c deduced all_different(V96,V268,V277,V589,V1137,V637)
1.06/1.17	c deduced all_different(V113,V434,V850,V641)
1.06/1.17	c deduced all_different(V0,V51,V783,V794,V1194,V642)
1.06/1.17	c deduced all_different(V123,V142,V715,V739,V746,V644)
1.06/1.17	c deduced all_different(V102,V200,V822,V1092,V645)
1.06/1.17	c deduced all_different(V91,V152,V567,V1136,V646)
1.06/1.17	c deduced all_different(V194,V309,V688,V1067,V647)
1.06/1.17	c deduced all_different(V39,V115,V980,V1152,V651)
1.06/1.17	c deduced all_different(V125,V554,V799,V1164,V654)
1.06/1.17	c deduced all_different(V97,V200,V822,V1115,V1160,V655)
1.06/1.17	c deduced all_different(V45,V110,V305,V755,V984,V657)
1.06/1.17	c deduced all_different(V144,V239,V464,V739,V1038,V658)
1.06/1.17	c deduced all_different(V17,V155,V470,V1026,V662)
1.06/1.17	c deduced all_different(V138,V230,V500,V582,V687,V665)
1.06/1.17	c deduced all_different(V34,V194,V494,V688,V1067,V666)
1.06/1.17	c deduced all_different(V169,V196,V392,V690,V1209,V669)
1.06/1.17	c deduced all_different(V15,V27,V196,V490,V956,V670)
1.06/1.17	c deduced all_different(V52,V181,V188,V984,V672)
1.06/1.17	c deduced all_different(V94,V139,V403,V773,V1072,V673)
1.06/1.17	c deduced all_different(V210,V220,V378,V1075,V674)
1.06/1.17	c deduced all_different(V169,V196,V438,V506,V727,V677)
1.06/1.17	c deduced all_different(V172,V196,V438,V518,V676,V679)
1.06/1.17	c deduced all_different(V68,V215,V415,V567,V800,V680)
1.06/1.17	c deduced all_different(V30,V129,V201,V452,V736,V813,V682)
1.06/1.17	c deduced all_different(V267,V414,V491,V1075,V684)
1.06/1.17	c deduced all_different(V107,V192,V310,V1091,V685)
1.06/1.17	c deduced all_different(V14,V23,V187,V653,V988,V995,V689)
1.06/1.17	c deduced all_different(V17,V155,V197,V470,V1026,V691)
1.06/1.17	c deduced all_different(V141,V256,V399,V627,V892,V693)
1.06/1.17	c deduced all_different(V54,V367,V648,V965,V1065,V694)
1.06/1.17	c deduced all_different(V24,V371,V638,V836,V1004,V1142,V695)
1.06/1.18	c deduced all_different(V266,V373,V399,V545,V627,V696)
1.06/1.18	c deduced all_different(V9,V81,V234,V635,V697)
1.06/1.18	c deduced all_different(V135,V179,V212,V1069,V699)
1.06/1.18	c deduced all_different(V342,V423,V640,V826,V994,V703)
1.06/1.18	c deduced all_different(V303,V384,V788,V994,V704)
1.06/1.18	c deduced all_different(V22,V482,V554,V709,V863,V1005,V705)
1.06/1.18	c deduced all_different(V145,V174,V179,V985,V1069,V706)
1.06/1.18	c deduced all_different(V0,V261,V459,V707)
1.06/1.18	c deduced all_different(V150,V201,V237,V728,V708)
1.06/1.18	c deduced all_different(V21,V187,V221,V653,V988,V710)
1.06/1.18	c deduced all_different(V141,V627,V693,V714,V892,V711)
1.06/1.18	c deduced all_different(V6,V18,V462,V485,V713)
1.06/1.18	c deduced all_different(V290,V569,V822,V717)
1.06/1.18	c deduced all_different(V205,V215,V245,V567,V719)
1.06/1.18	c deduced all_different(V14,V117,V156,V988,V721)
1.06/1.18	c deduced all_different(V31,V80,V260,V535,V726)
1.06/1.18	c deduced all_different(V138,V230,V500,V517,V729)
1.06/1.18	c deduced all_different(V129,V201,V213,V377,V736,V731)
1.06/1.18	c deduced all_different(V60,V83,V437,V649,V1014,V1027,V732)
1.06/1.18	c deduced all_different(V100,V204,V600,V1073,V733)
1.06/1.18	c deduced all_different(V89,V161,V456,V600,V723,V1073,V1090,V738)
1.06/1.18	c deduced all_different(V267,V414,V1075,V740)
1.06/1.18	c deduced all_different(V118,V762,V883,V1063,V742)
1.06/1.18	c deduced all_different(V88,V202,V942,V1071,V744)
1.06/1.18	c deduced all_different(V64,V264,V303,V994,V1037,V749)
1.06/1.18	c deduced all_different(V160,V588,V794,V1091,V750)
1.06/1.18	c deduced all_different(V210,V242,V414,V1075,V751)
1.06/1.18	c deduced all_different(V99,V181,V701,V984,V752)
1.06/1.18	c deduced all_different(V64,V195,V303,V524,V994,V754)
1.06/1.18	c deduced all_different(V89,V161,V456,V600,V738,V1073,V756)
1.06/1.18	c deduced all_different(V15,V146,V196,V735,V758)
1.06/1.18	c deduced all_different(V0,V51,V192,V317,V759)
1.06/1.18	c deduced all_different(V79,V162,V218,V485,V764)
1.06/1.18	c deduced all_different(V146,V196,V479,V768)
1.06/1.18	c deduced all_different(V10,V54,V176,V648,V859,V965,V769)
1.06/1.18	c deduced all_different(V58,V85,V94,V549,V773,V770)
1.06/1.18	c deduced all_different(V62,V92,V495,V635,V793,V1181,V771)
1.06/1.18	c deduced all_different(V43,V56,V184,V298,V1076,V772)
1.06/1.18	c deduced all_different(V246,V351,V627,V873,V774)
1.06/1.18	c deduced all_different(V169,V196,V392,V1209,V775)
1.06/1.18	c deduced all_different(V89,V100,V723,V766,V1073,V780)
1.06/1.18	c deduced all_different(V220,V378,V491,V1075,V782)
1.06/1.18	c deduced all_different(V44,V143,V280,V528,V656,V1199,V784)
1.06/1.18	c deduced all_different(V71,V205,V258,V565,V567,V787)
1.06/1.18	c deduced all_different(V39,V471,V789,V1152,V790)
1.06/1.18	c deduced all_different(V157,V248,V1019,V1184,V791)
1.06/1.18	c deduced all_different(V17,V225,V470,V700,V1026,V792)
1.06/1.18	c deduced all_different(V45,V188,V446,V984,V1000,V795)
1.06/1.18	c deduced all_different(V1,V4,V460,V612,V1120,V796)
1.06/1.18	c deduced all_different(V21,V187,V265,V571,V988,V798)
1.06/1.18	c deduced all_different(V161,V235,V443,V1073,V801)
1.06/1.18	c deduced all_different(V30,V201,V278,V419,V803)
1.06/1.18	c deduced all_different(V22,V211,V482,V554,V1220,V804)
1.06/1.18	c deduced all_different(V141,V256,V399,V627,V895,V805)
1.06/1.18	c deduced all_different(V36,V157,V497,V1162,V1184,V807)
1.06/1.18	c deduced all_different(V14,V23,V187,V988,V808)
1.06/1.18	c deduced all_different(V123,V142,V396,V739,V781,V809)
1.06/1.18	c deduced all_different(V138,V230,V451,V687,V810)
1.06/1.18	c deduced all_different(V142,V374,V739,V781,V811)
1.06/1.18	c deduced all_different(V142,V300,V396,V739,V814)
1.06/1.18	c deduced all_different(V0,V51,V59,V317,V1012,V1046,V815)
1.06/1.18	c deduced all_different(V202,V293,V737,V1071,V816)
1.06/1.18	c deduced all_different(V104,V252,V919,V1152,V817)
1.06/1.18	c deduced all_different(V280,V347,V413,V1106,V1199,V819)
1.06/1.18	c deduced all_different(V34,V313,V494,V688,V1067,V820)
1.06/1.18	c deduced all_different(V16,V98,V111,V917,V1022,V823)
1.06/1.18	c deduced all_different(V55,V371,V638,V886,V828)
1.06/1.18	c deduced all_different(V326,V606,V908,V1075,V1108,V829)
1.06/1.18	c deduced all_different(V167,V284,V618,V850,V830)
1.06/1.18	c deduced all_different(V5,V43,V184,V363,V832)
1.06/1.18	c deduced all_different(V148,V356,V404,V961,V1071,V833)
1.06/1.18	c deduced all_different(V244,V262,V329,V1184,V834)
1.06/1.18	c deduced all_different(V102,V290,V822,V1092,V835)
1.06/1.18	c deduced all_different(V56,V163,V184,V295,V298,V842)
1.06/1.18	c deduced all_different(V72,V118,V652,V855,V1063,V843)
1.06/1.18	c deduced all_different(V29,V105,V269,V327,V1022,V845)
1.06/1.18	c deduced all_different(V129,V198,V201,V237,V604,V847)
1.06/1.18	c deduced all_different(V9,V81,V441,V635,V697,V848)
1.06/1.18	c deduced all_different(V2,V209,V277,V982,V1137,V851)
1.06/1.18	c deduced all_different(V11,V38,V184,V435,V1034,V852)
1.06/1.18	c deduced all_different(V64,V303,V325,V386,V994,V853)
1.06/1.18	c deduced all_different(V60,V83,V175,V534,V856)
1.06/1.18	c deduced all_different(V42,V63,V734,V990,V864)
1.06/1.18	c deduced all_different(V287,V947,V1071,V865)
1.06/1.18	c deduced all_different(V33,V118,V652,V762,V1063,V866)
1.06/1.18	c deduced all_different(V13,V42,V271,V475,V990,V867)
1.06/1.18	c deduced all_different(V13,V42,V63,V990,V868)
1.06/1.18	c deduced all_different(V89,V126,V301,V600,V1073,V869)
1.06/1.18	c deduced all_different(V71,V224,V565,V567,V870)
1.06/1.18	c deduced all_different(V263,V289,V337,V957,V1067,V871)
1.06/1.18	c deduced all_different(V44,V143,V365,V411,V1199,V872)
1.06/1.18	c deduced all_different(V10,V297,V634,V648,V874)
1.06/1.18	c deduced all_different(V102,V608,V822,V835,V901,V875)
1.06/1.18	c deduced all_different(V293,V356,V404,V428,V1071,V876)
1.06/1.18	c deduced all_different(V0,V59,V261,V317,V880)
1.06/1.18	c deduced all_different(V108,V402,V515,V548,V822,V881)
1.06/1.18	c deduced all_different(V135,V159,V519,V1069,V882)
1.06/1.18	c deduced all_different(V44,V385,V411,V521,V1199,V885)
1.06/1.18	c deduced all_different(V71,V324,V567,V1011,V887)
1.06/1.18	c deduced all_different(V107,V310,V317,V1012,V1051,V888)
1.06/1.18	c deduced all_different(V14,V199,V585,V907,V988,V889)
1.06/1.18	c deduced all_different(V15,V196,V518,V670,V890)
1.06/1.18	c deduced all_different(V45,V188,V288,V984,V893)
1.06/1.18	c deduced all_different(V246,V431,V530,V545,V627,V894)
1.06/1.18	c deduced all_different(V96,V133,V277,V589,V1137,V898)
1.06/1.18	c deduced all_different(V118,V358,V540,V1055,V1063,V899)
1.06/1.18	c deduced all_different(V45,V110,V984,V900)
1.06/1.18	c deduced all_different(V195,V342,V423,V994,V903)
1.06/1.18	c deduced all_different(V48,V129,V201,V419,V973,V1151,V905)
1.06/1.18	c deduced all_different(V230,V253,V408,V660,V910)
1.06/1.18	c deduced all_different(V86,V188,V305,V578,V984,V912)
1.06/1.18	c deduced all_different(V10,V297,V383,V634,V648,V913)
1.06/1.18	c deduced all_different(V14,V156,V272,V988,V914)
1.06/1.18	c deduced all_different(V84,V249,V343,V1069,V915)
1.06/1.18	c deduced all_different(V22,V128,V131,V554,V916)
1.06/1.18	c deduced all_different(V6,V12,V95,V388,V485,V920)
1.06/1.18	c deduced all_different(V129,V201,V237,V604,V736,V921)
1.06/1.18	c deduced all_different(V135,V179,V436,V985,V1069,V922)
1.06/1.18	c deduced all_different(V21,V265,V272,V556,V889,V988,V925)
1.06/1.18	c deduced all_different(V138,V230,V451,V687,V926)
1.06/1.18	c deduced all_different(V125,V211,V554,V709,V863,V928)
1.06/1.18	c deduced all_different(V194,V494,V981,V1067,V930)
1.06/1.18	c deduced all_different(V43,V56,V184,V363,V832,V931)
1.06/1.18	c deduced all_different(V371,V450,V638,V702,V818,V933)
1.06/1.18	c deduced all_different(V75,V78,V260,V333,V535,V934)
1.06/1.18	c deduced all_different(V60,V77,V83,V121,V935)
1.06/1.18	c deduced all_different(V100,V243,V723,V766,V780,V1073,V936)
1.06/1.18	c deduced all_different(V45,V305,V615,V657,V984,V938)
1.06/1.18	c deduced all_different(V143,V349,V365,V385,V521,V1199,V943)
1.06/1.18	c deduced all_different(V14,V221,V272,V907,V988,V944)
1.06/1.18	c deduced all_different(V29,V269,V327,V639,V1022,V945)
1.06/1.18	c deduced all_different(V44,V365,V385,V1106,V1199,V949)
1.06/1.18	c deduced all_different(V95,V122,V485,V920,V951)
1.06/1.18	c deduced all_different(V47,V382,V648,V904,V924,V1065,V953)
1.06/1.18	c deduced all_different(V142,V374,V715,V739,V954)
1.06/1.18	c deduced all_different(V39,V471,V607,V980,V1152,V958)
1.06/1.18	c deduced all_different(V40,V247,V1147,V1184,V959)
1.06/1.18	c deduced all_different(V42,V63,V475,V659,V990,V1061,V960)
1.06/1.18	c deduced all_different(V106,V113,V284,V591,V850,V962)
1.06/1.18	c deduced all_different(V25,V492,V498,V990,V1130,V964)
1.06/1.18	c deduced all_different(V96,V133,V513,V1137,V966)
1.06/1.18	c deduced all_different(V84,V212,V897,V985,V1069,V968)
1.06/1.18	c deduced all_different(V211,V227,V543,V554,V1174,V969)
1.06/1.18	c deduced all_different(V8,V119,V339,V773,V970,V1148,V972)
1.06/1.18	c deduced all_different(V22,V128,V554,V776,V1005,V974)
1.06/1.18	c deduced all_different(V143,V347,V521,V778,V1199,V1205,V975)
1.06/1.18	c deduced all_different(V25,V42,V492,V990,V1130,V977)
1.06/1.18	c deduced all_different(V6,V12,V18,V217,V485,V624,V979)
1.06/1.18	c deduced all_different(V194,V309,V494,V1067,V986)
1.06/1.18	c deduced all_different(V211,V227,V482,V554,V989)
1.06/1.18	c deduced all_different(V37,V409,V617,V929,V1184,V992)
1.06/1.18	c deduced all_different(V5,V38,V184,V435,V993)
1.06/1.18	c deduced all_different(V72,V118,V421,V449,V1063,V996)
1.06/1.18	c deduced all_different(V30,V201,V419,V736,V1171,V997)
1.06/1.18	c deduced all_different(V30,V201,V278,V604,V803,V999)
1.06/1.18	c deduced all_different(V45,V86,V446,V984,V1002)
1.06/1.18	c deduced all_different(V32,V73,V234,V542,V635,V1006)
1.06/1.18	c deduced all_different(V129,V201,V419,V736,V1007)
1.06/1.18	c deduced all_different(V17,V251,V334,V1026,V1009)
1.06/1.18	c deduced all_different(V10,V176,V297,V383,V648,V978,V1010)
1.06/1.18	c deduced all_different(V115,V391,V952,V980,V1152,V1013)
1.06/1.18	c deduced all_different(V1,V35,V254,V612,V1015)
1.06/1.18	c deduced all_different(V170,V203,V314,V959,V1184,V1016)
1.06/1.18	c deduced all_different(V39,V252,V397,V806,V1152,V1017)
1.06/1.18	c deduced all_different(V113,V207,V850,V1119,V1018)
1.06/1.18	c deduced all_different(V1,V208,V466,V612,V1020)
1.06/1.18	c deduced all_different(V33,V678,V1063,V1021)
1.06/1.18	c deduced all_different(V141,V467,V627,V693,V1023)
1.06/1.18	c deduced all_different(V85,V94,V504,V773,V970,V1024,V1028)
1.06/1.18	c deduced all_different(V210,V378,V674,V1075,V1029)
1.06/1.18	c deduced all_different(V91,V567,V572,V887,V1030)
1.06/1.18	c deduced all_different(V123,V142,V396,V739,V781,V1031)
1.06/1.18	c deduced all_different(V50,V83,V1014,V1032)
1.06/1.18	c deduced all_different(V19,V285,V463,V712,V963,V1022,V1039)
1.06/1.18	c deduced all_different(V127,V641,V850,V937,V1040)
1.06/1.18	c deduced all_different(V256,V266,V530,V627,V1074,V1042)
1.06/1.18	c deduced all_different(V16,V105,V183,V269,V1022,V1043)
1.06/1.18	c deduced all_different(V96,V133,V268,V1137,V1044)
1.06/1.18	c deduced all_different(V64,V264,V342,V749,V994,V1045)
1.06/1.18	c deduced all_different(V19,V29,V291,V321,V1022,V1048)
1.06/1.18	c deduced all_different(V6,V79,V485,V624,V1049)
1.06/1.18	c deduced all_different(V40,V244,V497,V929,V1184,V1050)
1.06/1.18	c deduced all_different(V231,V267,V606,V1075,V1052)
1.06/1.18	c deduced all_different(V222,V301,V456,V1073,V1057)
1.06/1.18	c deduced all_different(V55,V371,V450,V638,V702,V818,V1059)
1.06/1.18	c deduced all_different(V106,V417,V570,V850,V1060)
1.06/1.18	c deduced all_different(V4,V35,V460,V612,V991,V1062)
1.06/1.18	c deduced all_different(V173,V407,V512,V1152,V1064)
1.06/1.18	c deduced all_different(V210,V364,V932,V1075,V1066)
1.06/1.18	c deduced all_different(V207,V296,V591,V850,V1068)
1.06/1.18	c deduced all_different(V32,V73,V406,V441,V635,V1070)
1.06/1.18	c deduced all_different(V12,V18,V462,V468,V485,V614,V1077)
1.06/1.18	c deduced all_different(V127,V469,V850,V877,V1122,V1078)
1.06/1.18	c deduced all_different(V104,V919,V952,V980,V1152,V1079)
1.06/1.18	c deduced all_different(V46,V202,V366,V1071,V1195,V1080)
1.06/1.18	c deduced all_different(V150,V201,V419,V731,V1081)
1.06/1.18	c deduced all_different(V7,V50,V83,V259,V1082)
1.06/1.18	c deduced all_different(V39,V115,V512,V806,V1152,V1086)
1.06/1.18	c deduced all_different(V89,V100,V456,V1073,V1087)
1.06/1.18	c deduced all_different(V138,V230,V500,V660,V665,V1088)
1.06/1.18	c deduced all_different(V128,V206,V554,V654,V1089)
1.06/1.18	c deduced all_different(V34,V289,V946,V1067,V1093)
1.06/1.18	c deduced all_different(V24,V371,V450,V638,V836,V1094)
1.06/1.18	c deduced all_different(V2,V133,V209,V513,V1137,V1095)
1.06/1.18	c deduced all_different(V45,V86,V188,V305,V984,V1097)
1.06/1.18	c deduced all_different(V28,V123,V739,V746,V781,V1098)
1.06/1.18	c deduced all_different(V84,V145,V343,V436,V1069,V1099)
1.06/1.18	c deduced all_different(V24,V55,V450,V638,V1100)
1.06/1.18	c deduced all_different(V100,V204,V456,V1073,V1103)
1.06/1.18	c deduced all_different(V28,V123,V739,V781,V1104)
1.06/1.18	c deduced all_different(V39,V252,V607,V806,V1017,V1152,V1105)
1.06/1.18	c deduced all_different(V10,V634,V648,V859,V1107)
1.06/1.18	c deduced all_different(V154,V334,V470,V1026,V1109)
1.06/1.18	c deduced all_different(V264,V342,V749,V994,V1037,V1110)
1.06/1.18	c deduced all_different(V138,V190,V230,V500,V878,V1111)
1.06/1.18	c deduced all_different(V351,V431,V545,V627,V1112)
1.06/1.18	c deduced all_different(V153,V174,V376,V605,V1069,V1114)
1.06/1.18	c deduced all_different(V39,V397,V806,V919,V1152,V1116)
1.06/1.18	c deduced all_different(V141,V399,V627,V1117)
1.06/1.18	c deduced all_different(V190,V230,V422,V473,V660,V1118)
1.06/1.18	c deduced all_different(V25,V271,V990,V1130,V1121)
1.06/1.18	c deduced all_different(V96,V133,V589,V898,V966,V1137,V1126)
1.06/1.18	c deduced all_different(V71,V245,V567,V1127)
1.06/1.18	c deduced all_different(V36,V157,V203,V1184,V1128)
1.06/1.18	c deduced all_different(V231,V242,V932,V1075,V1132)
1.06/1.18	c deduced all_different(V55,V137,V352,V638,V818,V1133)
1.06/1.18	c deduced all_different(V47,V69,V307,V648,V924,V1166,V1134)
1.06/1.18	c deduced all_different(V230,V250,V408,V451,V1135)
1.06/1.18	c deduced all_different(V102,V412,V822,V1036,V1138)
1.06/1.18	c deduced all_different(V46,V366,V594,V950,V1071,V1140)
1.06/1.18	c deduced all_different(V138,V190,V230,V1111,V1141)
1.06/1.18	c deduced all_different(V230,V253,V275,V718,V729,V1143)
1.16/1.21	c deduced all_different(V138,V190,V230,V878,V1221,V1144)
1.16/1.21	c deduced all_different(V330,V361,V638,V818,V1169,V1145)
1.16/1.21	c deduced all_different(V146,V196,V506,V518,V768,V1150)
1.16/1.21	c deduced all_different(V125,V416,V554,V616,V1155)
1.16/1.21	c deduced all_different(V106,V284,V618,V850,V1119,V1156)
1.16/1.21	c deduced all_different(V104,V252,V919,V952,V1152,V1157)
1.16/1.21	c deduced all_different(V144,V478,V739,V858,V1158)
1.16/1.21	c deduced all_different(V87,V119,V139,V380,V773,V1163)
1.16/1.21	c deduced all_different(V106,V296,V434,V610,V850,V1165)
1.16/1.21	c deduced all_different(V38,V56,V184,V844,V1168)
1.16/1.21	c deduced all_different(V16,V463,V748,V823,V1022,V1170)
1.16/1.21	c deduced all_different(V2,V3,V513,V584,V1137,V1187,V1173)
1.16/1.21	c deduced all_different(V42,V659,V867,V990,V1175)
1.16/1.21	c deduced all_different(V6,V95,V462,V485,V1176)
1.16/1.21	c deduced all_different(V15,V27,V146,V196,V1177)
1.16/1.21	c deduced all_different(V84,V249,V454,V985,V1069,V1178)
1.16/1.21	c deduced all_different(V220,V414,V1075,V1190,V1179)
1.16/1.21	c deduced all_different(V15,V196,V302,V490,V725,V1180)
1.16/1.21	c deduced all_different(V230,V408,V664,V884,V1182)
1.16/1.21	c deduced all_different(V39,V397,V1017,V1152,V1183)
1.16/1.21	c deduced all_different(V74,V92,V294,V635,V1188)
1.16/1.21	c deduced all_different(V22,V416,V554,V1220,V1189)
1.16/1.21	c deduced all_different(V75,V76,V260,V333,V1154,V1191)
1.16/1.21	c deduced all_different(V68,V324,V567,V800,V1192)
1.16/1.21	c deduced all_different(V22,V128,V416,V554,V1193)
1.16/1.21	c deduced all_different(V178,V191,V1106,V1199,V1196)
1.16/1.21	c deduced all_different(V30,V201,V419,V736,V1171,V1197)
1.16/1.21	c deduced all_different(V72,V118,V358,V1063,V1198)
1.16/1.21	c deduced all_different(V143,V349,V365,V372,V385,V1106,V1199,V1200)
1.16/1.21	c deduced all_different(V62,V73,V635,V786,V1201)
1.16/1.21	c deduced all_different(V7,V50,V83,V332,V797,V1203)
1.16/1.21	c deduced all_different(V3,V375,V584,V589,V879,V1137,V1204)
1.16/1.21	c deduced all_different(V7,V60,V83,V1027,V1082,V1208)
1.16/1.21	c deduced all_different(V6,V12,V462,V485,V614,V1210)
1.16/1.21	c deduced all_different(V6,V18,V217,V485,V624,V1211)
1.16/1.21	c deduced all_different(V10,V383,V648,V859,V978,V1212)
1.16/1.21	c deduced all_different(V107,V192,V459,V1051,V1214)
1.16/1.21	c deduced all_different(V144,V464,V658,V739,V1215)
1.16/1.21	c deduced all_different(V266,V399,V576,V627,V696,V895,V1216)
1.16/1.21	c deduced all_different(V25,V42,V271,V609,V990,V1130,V1217)
1.16/1.21	c deduced all_different(V9,V32,V234,V635,V1218)
1.16/1.21	c deduced all_different(V33,V118,V449,V1063,V1219)
1.16/1.21	c deduced all_different(V210,V231,V932,V1075,V1222)
1.16/1.21	c deduced all_different(V150,V201,V237,V604,V999,V1223)
1.16/1.21	c deduced all_different(V7,V50,V83,V259,V797,V1224)
1.16/1.21	c  with 53659 constraints
1.16/1.21	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-2080745-1247718406/watcher-2080745-1247718406 -o /tmp/evaluation-result-2080745-1247718406/solver-2080745-1247718406 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1813078639 HOME/instance-2080745-1247718406.xml 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12899
/proc/meminfo: memFree=1164264/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=5356 CPUtime=0
/proc/12899/stat : 12899 (pcssolve) R 12897 12899 10842 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58907457 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237788261023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12899/statm: 1339 241 200 169 0 50 0
[pid=12900] ppid=12899 vsize=5356 CPUtime=0
/proc/12900/stat : 12900 (pcssolve) R 12899 12899 10842 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 58907457 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 237788261671 0 0 4096 0 0 0 0 17 1 0 0
/proc/12900/statm: 1339 243 202 169 0 50 0
[pid=12901] ppid=12899 vsize=5356 CPUtime=0
/proc/12901/stat : 12901 (pcssolve) R 12899 12899 10842 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58907457 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237788261023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12901/statm: 1339 241 200 169 0 50 0

[startup+0.0312539 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12899
/proc/meminfo: memFree=1164264/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=4624 CPUtime=0
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 798 659 0 0 0 0 0 0 23 0 1 0 58907457 4734976 429 996147200 134512640 135215973 4294956304 18446744073709551615 134878898 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 1156 429 361 171 0 81 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4624

[startup+0.101268 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12899
/proc/meminfo: memFree=1164264/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=5872 CPUtime=0.07
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 1103 659 0 0 7 0 0 0 23 0 1 0 58907457 6012928 734 996147200 134512640 135215973 4294956304 18446744073709551615 134689638 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 1468 734 386 171 0 393 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5872

[startup+0.301308 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12899
/proc/meminfo: memFree=1164264/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=8928 CPUtime=0.27
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 2032 659 0 0 27 0 0 0 25 0 1 0 58907457 9142272 1395 996147200 134512640 135215973 4294956304 18446744073709551615 134761742 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 2232 1395 386 171 0 1157 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8928

[startup+0.701384 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12899
/proc/meminfo: memFree=1164264/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=14864 CPUtime=0.67
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 3907 659 0 0 66 1 0 0 25 0 1 0 58907457 15220736 2659 996147200 134512640 135215973 4294956304 18446744073709551615 4160505748 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 3716 2659 386 171 0 2641 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 14864

[startup+1.50153 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=1151832/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=25136 CPUtime=1.45
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 7542 659 0 0 142 3 0 0 25 0 1 0 58907457 25739264 5315 996147200 134512640 135215973 4294956304 18446744073709551615 135008571 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 6284 5315 409 171 0 5209 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 25136

[startup+3.10183 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=1139992/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=46288 CPUtime=3.05
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 14531 659 0 0 298 7 0 0 25 0 1 0 58907457 47398912 9389 996147200 134512640 135215973 4294956304 18446744073709551615 135008150 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 11572 9389 418 171 0 10497 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 46288

[startup+6.30142 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=1103704/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=71216 CPUtime=6.22
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 25084 659 0 0 610 12 0 0 25 0 1 0 58907457 72925184 16613 996147200 134512640 135215973 4294956304 18446744073709551615 134911241 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 17804 16613 419 171 0 16729 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 71216

[startup+12.7016 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=1064032/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=121864 CPUtime=12.55
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 40771 659 0 0 1236 19 0 0 25 0 1 0 58907457 124788736 25643 996147200 134512640 135215973 4294956304 18446744073709551615 135094436 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 30466 25643 419 171 0 29391 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 121864

[startup+25.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=1054304/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=121916 CPUtime=25.23
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 41661 659 0 0 2504 19 0 0 25 0 1 0 58907457 124841984 26533 996147200 134512640 135215973 4294956304 18446744073709551615 134583434 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 30479 26533 419 171 0 29404 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 121916

[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=1044192/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=127260 CPUtime=50.58
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 42998 659 0 0 5038 20 0 0 25 0 1 0 58907457 130314240 27870 996147200 134512640 135215973 4294956304 18446744073709551615 134610629 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 31815 27870 419 171 0 30740 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 127260

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=1034464/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=127404 CPUtime=101.3
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 43039 659 0 0 10110 20 0 0 25 0 1 0 58907457 130461696 27911 996147200 134512640 135215973 4294956304 18446744073709551615 134923818 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 31851 27911 419 171 0 30776 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 127404

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=1020768/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=127712 CPUtime=160.73
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 43135 659 0 0 16053 20 0 0 25 0 1 0 58907457 130777088 28007 996147200 134512640 135215973 4294956304 18446744073709551615 134533002 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 31928 28007 419 171 0 30853 0
Current children cumulated CPU time (s) 160.73
Current children cumulated vsize (KiB) 127712

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=1007136/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=127712 CPUtime=220.16
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 43143 659 0 0 21996 20 0 0 25 0 1 0 58907457 130777088 28015 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 31928 28015 419 171 0 30853 0
Current children cumulated CPU time (s) 220.16
Current children cumulated vsize (KiB) 127712

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=993504/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=127712 CPUtime=279.6
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 43145 659 0 0 27940 20 0 0 25 0 1 0 58907457 130777088 28017 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 31928 28017 419 171 0 30853 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 127712

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=978464/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=128728 CPUtime=339.03
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 43525 659 0 0 33882 21 0 0 25 0 1 0 58907457 131817472 28298 996147200 134512640 135215973 4294956304 18446744073709551615 134583360 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 32182 28298 419 171 0 31107 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 128728

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=963424/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=129608 CPUtime=398.47
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 43846 659 0 0 39825 22 0 0 25 0 1 0 58907457 132718592 28555 996147200 134512640 135215973 4294956304 18446744073709551615 4158960080 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 32402 28555 419 171 0 31327 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 129608

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=949344/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=133128 CPUtime=457.89
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 44786 659 0 0 45767 22 0 0 25 0 1 0 58907457 136323072 28871 996147200 134512640 135215973 4294956304 18446744073709551615 134590918 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 33282 28871 419 171 0 32207 0
Current children cumulated CPU time (s) 457.89
Current children cumulated vsize (KiB) 133128

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=936608/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=133244 CPUtime=517.33
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 44826 659 0 0 51711 22 0 0 25 0 1 0 58907457 136441856 28906 996147200 134512640 135215973 4294956304 18446744073709551615 4158512784 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 33311 28906 419 171 0 32236 0
Current children cumulated CPU time (s) 517.33
Current children cumulated vsize (KiB) 133244

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=922528/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=133368 CPUtime=576.77
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 44870 659 0 0 57654 23 0 0 25 0 1 0 58907457 136568832 28941 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 33342 28941 419 171 0 32267 0
Current children cumulated CPU time (s) 576.77
Current children cumulated vsize (KiB) 133368

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=909152/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=133496 CPUtime=636.21

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=860320/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=133896 CPUtime=873.93
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 45041 659 0 0 87370 23 0 0 25 0 1 0 58907457 137109504 29096 996147200 134512640 135215973 4294956304 18446744073709551615 134581357 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 33474 29096 419 171 0 32399 0
Current children cumulated CPU time (s) 873.93
Current children cumulated vsize (KiB) 133896

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=849248/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=133936 CPUtime=933.37
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 45054 659 0 0 93314 23 0 0 25 0 1 0 58907457 137150464 29107 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 33484 29107 419 171 0 32409 0
Current children cumulated CPU time (s) 933.37
Current children cumulated vsize (KiB) 133936

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=838048/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=134008 CPUtime=992.79
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 45077 659 0 0 99256 23 0 0 25 0 1 0 58907457 137224192 29128 996147200 134512640 135215973 4294956304 18446744073709551615 135094336 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 33502 29128 419 171 0 32427 0
Current children cumulated CPU time (s) 992.79
Current children cumulated vsize (KiB) 134008

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=827296/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=134060 CPUtime=1052.23
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 45094 659 0 0 105200 23 0 0 25 0 1 0 58907457 137277440 29144 996147200 134512640 135215973 4294956304 18446744073709551615 135094762 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 33515 29144 419 171 0 32440 0
Current children cumulated CPU time (s) 1052.23
Current children cumulated vsize (KiB) 134060

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=806048/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=134100 CPUtime=1111.66
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 45105 659 0 0 111143 23 0 0 25 0 1 0 58907457 137318400 29155 996147200 134512640 135215973 4294956304 18446744073709551615 4158960274 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 33525 29155 419 171 0 32450 0
Current children cumulated CPU time (s) 1111.66
Current children cumulated vsize (KiB) 134100

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=800416/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=134152 CPUtime=1171.1
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 45120 659 0 0 117087 23 0 0 25 0 1 0 58907457 137371648 29169 996147200 134512640 135215973 4294956304 18446744073709551615 3036742 0 0 4096 0 0 0 0 17 1 0 0
/proc/12899/statm: 33538 29169 419 171 0 32463 0
Current children cumulated CPU time (s) 1171.1
Current children cumulated vsize (KiB) 134152

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1207328/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=134200 CPUtime=1230.91
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 45135 659 0 0 123066 25 0 0 25 0 1 0 58907457 137420800 29183 996147200 134512640 135215973 4294956304 18446744073709551615 4158960165 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 33550 29183 419 171 0 32475 0
Current children cumulated CPU time (s) 1230.91
Current children cumulated vsize (KiB) 134200

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1199456/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=134240 CPUtime=1290.88
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 45148 659 0 0 129063 25 0 0 25 0 1 0 58907457 137461760 29195 996147200 134512640 135215973 4294956304 18446744073709551615 134585745 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 33560 29195 419 171 0 32485 0
Current children cumulated CPU time (s) 1290.88
Current children cumulated vsize (KiB) 134240

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1187232/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=134280 CPUtime=1350.85
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 45161 659 0 0 135060 25 0 0 25 0 1 0 58907457 137502720 29207 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 33570 29207 419 171 0 32495 0
Current children cumulated CPU time (s) 1350.85
Current children cumulated vsize (KiB) 134280

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1173472/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=135636 CPUtime=1410.83
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 45544 659 0 0 141057 26 0 0 25 0 1 0 58907457 138891264 29584 996147200 134512640 135215973 4294956304 18446744073709551615 134937283 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 33909 29584 419 171 0 32834 0
Current children cumulated CPU time (s) 1410.83
Current children cumulated vsize (KiB) 135636

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12938
/proc/meminfo: memFree=1159264/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=139932 CPUtime=1470.79
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 46896 659 0 0 147050 29 0 0 25 0 1 0 58907457 143290368 30748 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 34983 30748 419 171 0 33908 0
Current children cumulated CPU time (s) 1470.79
Current children cumulated vsize (KiB) 139932

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12938
/proc/meminfo: memFree=1149408/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=142712 CPUtime=1530.77
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 47848 659 0 0 153044 33 0 0 25 0 1 0 58907457 146137088 31539 996147200 134512640 135215973 4294956304 18446744073709551615 135094460 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 35678 31539 419 171 0 34603 0
Current children cumulated CPU time (s) 1530.77
Current children cumulated vsize (KiB) 142712

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12938
/proc/meminfo: memFree=1139808/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=144152 CPUtime=1590.74
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 48333 659 0 0 159040 34 0 0 25 0 1 0 58907457 147611648 31817 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 36038 31817 419 171 0 34963 0
Current children cumulated CPU time (s) 1590.74
Current children cumulated vsize (KiB) 144152

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12938
/proc/meminfo: memFree=1121824/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=155224 CPUtime=1650.72
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 51344 659 0 0 165033 39 0 0 25 0 1 0 58907457 158949376 34743 996147200 134512640 135215973 4294956304 18446744073709551615 134600148 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 38806 34743 419 171 0 37731 0
Current children cumulated CPU time (s) 1650.72
Current children cumulated vsize (KiB) 155224

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12938
/proc/meminfo: memFree=1109152/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=161760 CPUtime=1710.69
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 53121 659 0 0 171028 41 0 0 25 0 1 0 58907457 165642240 36509 996147200 134512640 135215973 4294956304 18446744073709551615 4158960162 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 40440 36509 419 171 0 39365 0
Current children cumulated CPU time (s) 1710.69
Current children cumulated vsize (KiB) 161760

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/73 12938
/proc/meminfo: memFree=1103584/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=161968 CPUtime=1770.66
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 53183 659 0 0 177025 41 0 0 25 0 1 0 58907457 165855232 36569 996147200 134512640 135215973 4294956304 18446744073709551615 134590043 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 40492 36569 419 171 0 39417 0
Current children cumulated CPU time (s) 1770.66
Current children cumulated vsize (KiB) 161968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.71 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 12938
/proc/meminfo: memFree=1100704/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=162020 CPUtime=1800.06
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 53201 659 0 0 179965 41 0 0 25 0 1 0 58907457 165908480 36584 996147200 134512640 135215973 4294956304 18446744073709551615 134590688 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 40505 36584 419 171 0 39430 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 162020

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

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

[startup+1811.71 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 12938
/proc/meminfo: memFree=1100704/2055920 swapFree=4192812/4192956
[pid=12899] ppid=12897 vsize=162020 CPUtime=1800.06
/proc/12899/stat : 12899 (pcs.big) R 12897 12899 10842 0 -1 4194304 53201 659 0 0 179965 41 0 0 25 0 1 0 58907457 165908480 36584 996147200 134512640 135215973 4294956304 18446744073709551615 134590688 0 0 4096 0 0 0 0 17 0 0 0
/proc/12899/statm: 40505 36584 419 171 0 39430 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 162020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.74
CPU time (s): 1800.11
CPU user time (s): 1799.66
CPU system time (s): 0.445932
CPU usage (%): 99.3582
Max. virtual memory (cumulated for all children) (KiB): 162020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.445932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53860
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= 18
involuntary context switches= 28037

runsolver used 2.77158 second user time and 5.45717 second system time

The end

Launcher Data 

Begin job on node24 at 2009-07-16 06:26:46
IDJOB=2080745
IDBENCH=57143
IDSOLVER=733
FILE ID=node24/2080745-1247718406
PBS_JOBID= 9521371
Free space on /tmp= 66412 MiB

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

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

MD5SUM BENCH= 1eb3c150032c50ac46662d9f9a65bfe6
RANDOM SEED=1813078639

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1164744 kB
Buffers:         90728 kB
Cached:         524264 kB
SwapCached:          0 kB
Active:         374404 kB
Inactive:       426500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1164744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4256 kB
Writeback:           0 kB
Mapped:         197496 kB
Slab:            75280 kB
Committed_AS:   717988 kB
PageTables:       2156 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66408 MiB
End job on node24 at 2009-07-16 06:57:00