Trace number 2080679

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.13 1801.83

General information on the benchmark

Namecsp/haystacks/
normalized-haystacks-33.xml
MD5SUMa33ade48f1369c9e2e6c8441d1f4ca57
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 variables1089
Number of constraints17456
Maximum constraint arity2
Maximum domain size33
Number of constraints which are defined in extension0
Number of constraints which are defined in intension17456
Global constraints used (with number of constraints)

Solver Data 

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

[startup+0.0213911 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14642
/proc/meminfo: memFree=1637712/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=5356 CPUtime=0
/proc/14642/stat : 14642 (pcssolve) S 14640 14642 13366 0 -1 4194304 339 474 0 0 0 0 0 0 23 0 1 0 58875765 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14642/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10138 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14642
/proc/meminfo: memFree=1637712/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=5816 CPUtime=0.07
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 1098 658 0 0 7 0 0 0 18 0 1 0 58875765 5955584 729 996147200 134512640 135215973 4294956304 18446744073709551615 7671390 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 1454 729 386 171 0 379 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5816

[startup+0.301408 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14642
/proc/meminfo: memFree=1637712/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=8828 CPUtime=0.27
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 2029 658 0 0 27 0 0 0 19 0 1 0 58875765 9039872 1397 996147200 134512640 135215973 4294956304 18446744073709551615 4159314573 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 2207 1397 386 171 0 1132 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8828

[startup+0.702586 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14642
/proc/meminfo: memFree=1637712/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=14492 CPUtime=0.67
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 3823 658 0 0 65 2 0 0 23 0 1 0 58875765 14839808 2611 996147200 134512640 135215973 4294956304 18446744073709551615 134762865 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 3623 2611 386 171 0 2548 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 14492

[startup+1.50157 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14647
/proc/meminfo: memFree=1625864/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=23204 CPUtime=1.46
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 7003 658 0 0 142 4 0 0 25 0 1 0 58875765 23760896 4864 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 5801 4864 409 171 0 4726 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 23204

[startup+3.1028 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14647
/proc/meminfo: memFree=1613512/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=43828 CPUtime=3.05
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 14093 658 0 0 298 7 0 0 25 0 1 0 58875765 44879872 9039 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 10957 9039 418 171 0 9882 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 43828

[startup+6.30125 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14647
/proc/meminfo: memFree=1579016/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=71280 CPUtime=6.21
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 25053 658 0 0 609 12 0 0 25 0 1 0 58875765 72990720 16670 996147200 134512640 135215973 4294956304 18446744073709551615 134533264 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 17820 16670 419 171 0 16745 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 71280

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14647
/proc/meminfo: memFree=1571280/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=71280 CPUtime=12.56
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 25054 658 0 0 1244 12 0 0 25 0 1 0 58875765 72990720 16671 996147200 134512640 135215973 4294956304 18446744073709551615 134632806 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 17820 16671 419 171 0 16745 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 71280

[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14647
/proc/meminfo: memFree=1541392/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=123064 CPUtime=25.25
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 38929 658 0 0 2505 20 0 0 25 0 1 0 58875765 126017536 23889 996147200 134512640 135215973 4294956304 18446744073709551615 134532941 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 30766 23889 419 171 0 29691 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 123064

[startup+51.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14647
/proc/meminfo: memFree=1538960/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=123064 CPUtime=50.62
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 39051 658 0 0 5042 20 0 0 25 0 1 0 58875765 126017536 24011 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 30766 24011 419 171 0 29691 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 123064

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14647
/proc/meminfo: memFree=1534864/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=123212 CPUtime=101.36
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 39107 658 0 0 10116 20 0 0 25 0 1 0 58875765 126169088 24061 996147200 134512640 135215973 4294956304 18446744073709551615 4158512689 0 0 4096 0 0 0 0 17 1 0 0
/proc/14642/statm: 30803 24061 419 171 0 29728 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 123212

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1623496/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=123392 CPUtime=161.28
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 39169 658 0 0 16108 20 0 0 25 0 1 0 58875765 126353408 24123 996147200 134512640 135215973 4294956304 18446744073709551615 134532901 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 30848 24123 419 171 0 29773 0
Current children cumulated CPU time (s) 161.28
Current children cumulated vsize (KiB) 123392

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1623368/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=123416 CPUtime=221.26
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 39179 658 0 0 22106 20 0 0 25 0 1 0 58875765 126377984 24133 996147200 134512640 135215973 4294956304 18446744073709551615 135094929 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 30854 24133 419 171 0 29779 0
Current children cumulated CPU time (s) 221.26
Current children cumulated vsize (KiB) 123416

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14688
/proc/meminfo: memFree=1621896/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=124804 CPUtime=281.24
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 39561 658 0 0 28103 21 0 0 25 0 1 0 58875765 127799296 24515 996147200 134512640 135215973 4294956304 18446744073709551615 134587525 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 31201 24515 419 171 0 30126 0
Current children cumulated CPU time (s) 281.24
Current children cumulated vsize (KiB) 124804

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1621832/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=124852 CPUtime=341.21
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 39573 658 0 0 34100 21 0 0 25 0 1 0 58875765 127848448 24527 996147200 134512640 135215973 4294956304 18446744073709551615 134583594 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 31213 24527 419 171 0 30138 0
Current children cumulated CPU time (s) 341.21
Current children cumulated vsize (KiB) 124852

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1620104/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=126464 CPUtime=401.18
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 40039 658 0 0 40096 22 0 0 25 0 1 0 58875765 129499136 24960 996147200 134512640 135215973 4294956304 18446744073709551615 4158960071 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 31616 24960 419 171 0 30541 0
Current children cumulated CPU time (s) 401.18
Current children cumulated vsize (KiB) 126464

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1619976/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=126632 CPUtime=461.15
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 40088 658 0 0 46093 22 0 0 25 0 1 0 58875765 129671168 25009 996147200 134512640 135215973 4294956304 18446744073709551615 135003429 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 31658 25009 419 171 0 30583 0
Current children cumulated CPU time (s) 461.15
Current children cumulated vsize (KiB) 126632

[startup+522.302 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 14688
/proc/meminfo: memFree=1619912/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=126704 CPUtime=521.14
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 40113 658 0 0 52091 23 0 0 25 0 1 0 58875765 129744896 25034 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 31676 25034 419 171 0 30601 0
Current children cumulated CPU time (s) 521.14
Current children cumulated vsize (KiB) 126704

[startup+582.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 14688
/proc/meminfo: memFree=1619656/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=126944 CPUtime=581.11
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 40177 658 0 0 58088 23 0 0 25 0 1 0 58875765 129990656 25098 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 31736 25098 419 171 0 30661 0
Current children cumulated CPU time (s) 581.11
Current children cumulated vsize (KiB) 126944

[startup+642.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/82 14688
/proc/meminfo: memFree=1619464/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=127044 CPUtime=641.08
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 40210 658 0 0 64085 23 0 0 25 0 1 0 58875765 130093056 25131 996147200 134512640 135215973 4294956304 18446744073709551615 135094995 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 31761 25131 419 171 0 30686 0
Current children cumulated CPU time (s) 641.08

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 14688
/proc/meminfo: memFree=1618952/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=127256 CPUtime=821
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 40267 658 0 0 82077 23 0 0 25 0 1 0 58875765 130310144 25188 996147200 134512640 135215973 4294956304 18446744073709551615 134592374 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 31814 25188 419 171 0 30739 0
Current children cumulated CPU time (s) 821
Current children cumulated vsize (KiB) 127256

[startup+882.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 14688
/proc/meminfo: memFree=1618760/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=127388 CPUtime=880.98
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 40302 658 0 0 88075 23 0 0 25 0 1 0 58875765 130445312 25223 996147200 134512640 135215973 4294956304 18446744073709551615 134589782 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 31847 25223 419 171 0 30772 0
Current children cumulated CPU time (s) 880.98
Current children cumulated vsize (KiB) 127388

[startup+942.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 14688
/proc/meminfo: memFree=1618760/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=127388 CPUtime=940.95
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 40308 658 0 0 94072 23 0 0 25 0 1 0 58875765 130445312 25229 996147200 134512640 135215973 4294956304 18446744073709551615 4158960484 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 31847 25229 419 171 0 30772 0
Current children cumulated CPU time (s) 940.95
Current children cumulated vsize (KiB) 127388

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1618632/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=127512 CPUtime=1000.93
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 40339 658 0 0 100069 24 0 0 25 0 1 0 58875765 130572288 25260 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 31878 25260 419 171 0 30803 0
Current children cumulated CPU time (s) 1000.93
Current children cumulated vsize (KiB) 127512

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1616840/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=131516 CPUtime=1060.9
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 41366 658 0 0 106066 24 0 0 25 0 1 0 58875765 134672384 25709 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 32879 25709 419 171 0 31804 0
Current children cumulated CPU time (s) 1060.9
Current children cumulated vsize (KiB) 131516

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1613896/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=134324 CPUtime=1120.87
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 42193 658 0 0 112061 26 0 0 25 0 1 0 58875765 137547776 26471 996147200 134512640 135215973 4294956304 18446744073709551615 134907454 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 33581 26471 419 171 0 32506 0
Current children cumulated CPU time (s) 1120.87
Current children cumulated vsize (KiB) 134324

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1611464/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=136520 CPUtime=1180.85
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 42806 658 0 0 118058 27 0 0 25 0 1 0 58875765 139796480 27084 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 34130 27084 419 171 0 33055 0
Current children cumulated CPU time (s) 1180.85
Current children cumulated vsize (KiB) 136520

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1608456/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=138928 CPUtime=1240.82
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 43499 658 0 0 124054 28 0 0 25 0 1 0 58875765 142262272 27777 996147200 134512640 135215973 4294956304 18446744073709551615 134532901 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 34732 27777 419 171 0 33657 0
Current children cumulated CPU time (s) 1240.82
Current children cumulated vsize (KiB) 138928

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1606472/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=141044 CPUtime=1300.8
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 44107 658 0 0 130051 29 0 0 25 0 1 0 58875765 144429056 28256 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 35261 28256 419 171 0 34186 0
Current children cumulated CPU time (s) 1300.8
Current children cumulated vsize (KiB) 141044

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1594248/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=152828 CPUtime=1360.77
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 47217 658 0 0 136046 31 0 0 25 0 1 0 58875765 156495872 31366 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 38207 31366 419 171 0 37132 0
Current children cumulated CPU time (s) 1360.77
Current children cumulated vsize (KiB) 152828

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1586952/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=159560 CPUtime=1420.75
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 48957 658 0 0 142042 33 0 0 25 0 1 0 58875765 163389440 33106 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 39890 33106 419 171 0 38815 0
Current children cumulated CPU time (s) 1420.75
Current children cumulated vsize (KiB) 159560

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14688
/proc/meminfo: memFree=1586824/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=159680 CPUtime=1480.71
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 48992 658 0 0 148038 33 0 0 25 0 1 0 58875765 163512320 33141 996147200 134512640 135215973 4294956304 18446744073709551615 135095040 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 39920 33141 419 171 0 38845 0
Current children cumulated CPU time (s) 1480.71
Current children cumulated vsize (KiB) 159680

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1586760/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=159756 CPUtime=1540.69
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 49009 658 0 0 154036 33 0 0 25 0 1 0 58875765 163590144 33158 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 39939 33158 419 171 0 38864 0
Current children cumulated CPU time (s) 1540.69
Current children cumulated vsize (KiB) 159756

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1586120/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=160408 CPUtime=1600.66
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 49177 658 0 0 160033 33 0 0 25 0 1 0 58875765 164257792 33326 996147200 134512640 135215973 4294956304 18446744073709551615 134585680 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 40102 33326 419 171 0 39027 0
Current children cumulated CPU time (s) 1600.66
Current children cumulated vsize (KiB) 160408

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1584200/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=162264 CPUtime=1660.63
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 49647 658 0 0 166030 33 0 0 25 0 1 0 58875765 166158336 33796 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 40566 33796 419 171 0 39491 0
Current children cumulated CPU time (s) 1660.63
Current children cumulated vsize (KiB) 162264

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1582408/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=164040 CPUtime=1720.61
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 50089 658 0 0 172027 34 0 0 25 0 1 0 58875765 167976960 34238 996147200 134512640 135215973 4294956304 18446744073709551615 134594460 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 41010 34238 419 171 0 39935 0
Current children cumulated CPU time (s) 1720.61
Current children cumulated vsize (KiB) 164040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1582216/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=164064 CPUtime=1780.59
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 50107 658 0 0 178025 34 0 0 25 0 1 0 58875765 168001536 34256 996147200 134512640 135215973 4294956304 18446744073709551615 135094909 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 41016 34256 419 171 0 39941 0
Current children cumulated CPU time (s) 1780.59
Current children cumulated vsize (KiB) 164064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14688
/proc/meminfo: memFree=1582152/2055920 swapFree=4192812/4192956
[pid=14642] ppid=14640 vsize=164108 CPUtime=1800.09
/proc/14642/stat : 14642 (pcs.big) R 14640 14642 13366 0 -1 4194304 50119 658 0 0 179975 34 0 0 25 0 1 0 58875765 168046592 34268 996147200 134512640 135215973 4294956304 18446744073709551615 134532979 0 0 4096 0 0 0 0 17 0 0 0
/proc/14642/statm: 41027 34268 419 171 0 39952 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 164108

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.83
CPU time (s): 1800.13
CPU user time (s): 1799.76
CPU system time (s): 0.374943
CPU usage (%): 99.9056
Max. virtual memory (cumulated for all children) (KiB): 164108

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

runsolver used 2.00169 second user time and 4.6263 second system time

The end

Launcher Data 

Begin job on node71 at 2009-07-16 06:22:12
IDJOB=2080679
IDBENCH=57127
IDSOLVER=733
FILE ID=node71/2080679-1247718132
PBS_JOBID= 9521428
Free space on /tmp= 66392 MiB

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

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

MD5SUM BENCH= a33ade48f1369c9e2e6c8441d1f4ca57
RANDOM SEED=1767373371

node71.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.222
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.222
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:       1638192 kB
Buffers:         67712 kB
Cached:         145740 kB
SwapCached:          0 kB
Active:         189012 kB
Inactive:       138768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1638192 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3832 kB
Writeback:           0 kB
Mapped:         125832 kB
Slab:            75024 kB
Committed_AS:   634876 kB
PageTables:       2024 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= 66392 MiB
End job on node71 at 2009-07-16 06:52:16