Trace number 2080680

Some explanations

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

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

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

Solver answer on this benchmark

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

[startup+0.020732 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 12016
/proc/meminfo: memFree=1272312/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=5356 CPUtime=0
/proc/12016/stat : 12016 (pcssolve) S 12014 12016 11556 0 -1 4194304 339 474 0 0 0 0 0 0 19 0 1 0 58880669 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12016/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101908 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 12016
/proc/meminfo: memFree=1272312/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=5816 CPUtime=0.07
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 1114 658 0 0 7 0 0 0 17 0 1 0 58880669 5955584 745 996147200 134512640 135215973 4294956320 18446744073709551615 134597663 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 1454 745 386 171 0 379 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5816

[startup+0.301922 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 12016
/proc/meminfo: memFree=1272312/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=9300 CPUtime=0.28
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 2171 658 0 0 27 1 0 0 19 0 1 0 58880669 9523200 1453 996147200 134512640 135215973 4294956320 18446744073709551615 134739766 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 2325 1453 386 171 0 1250 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9300

[startup+0.70196 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 12016
/proc/meminfo: memFree=1272312/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=16300 CPUtime=0.67
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 4310 658 0 0 66 1 0 0 23 0 1 0 58880669 16691200 2808 996147200 134512640 135215973 4294956320 18446744073709551615 134761745 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 4075 2808 386 171 0 3000 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 16300

[startup+1.50103 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1256240/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=25792 CPUtime=1.46
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 7736 658 0 0 143 3 0 0 25 0 1 0 58880669 26411008 5180 996147200 134512640 135215973 4294956320 18446744073709551615 134591911 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 6448 5180 412 171 0 5373 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 25792

[startup+3.10119 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1247216/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=43696 CPUtime=3.05
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 14309 658 0 0 299 6 0 0 25 0 1 0 58880669 44744704 9255 996147200 134512640 135215973 4294956320 18446744073709551615 134972609 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 10924 9255 418 171 0 9849 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 43696

[startup+6.30149 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1218800/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=68296 CPUtime=6.23
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 21943 658 0 0 614 9 0 0 25 0 1 0 58880669 69935104 13560 996147200 134512640 135215973 4294956320 18446744073709551615 134532701 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 17074 13560 419 171 0 15999 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 68296

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1204912/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=121140 CPUtime=12.57
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 37906 658 0 0 1241 16 0 0 25 0 1 0 58880669 124047360 22866 996147200 134512640 135215973 4294956320 18446744073709551615 134523348 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 30285 22866 419 171 0 29210 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 121140

[startup+25.5023 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1178992/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=121212 CPUtime=25.27
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 38171 658 0 0 2511 16 0 0 25 0 1 0 58880669 124121088 23131 996147200 134512640 135215973 4294956320 18446744073709551615 135094718 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 30303 23131 419 171 0 29228 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 121212

[startup+51.1027 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1177008/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=121288 CPUtime=50.69
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 38199 658 0 0 5052 17 0 0 25 0 1 0 58880669 124198912 23159 996147200 134512640 135215973 4294956320 18446744073709551615 134929507 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 30322 23159 419 171 0 29247 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 121288

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1172336/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=121420 CPUtime=101.5
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 38509 658 0 0 10133 17 0 0 25 0 1 0 58880669 124334080 23459 996147200 134512640 135215973 4294956320 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 30355 23459 419 171 0 29280 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 121420

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1167984/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=121612 CPUtime=161.05
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 38569 658 0 0 16087 18 0 0 25 0 1 0 58880669 124530688 23519 996147200 134512640 135215973 4294956320 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 30403 23519 419 171 0 29328 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 121612

[startup+222.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1163888/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=121612 CPUtime=220.59
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 38577 658 0 0 22041 18 0 0 25 0 1 0 58880669 124530688 23527 996147200 134512640 135215973 4294956320 18446744073709551615 134596291 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 30403 23527 419 171 0 29328 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 121612

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1158384/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=122940 CPUtime=280.14
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 38948 658 0 0 27996 18 0 0 25 0 1 0 58880669 125890560 23898 996147200 134512640 135215973 4294956320 18446744073709551615 135097144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 30735 23898 419 171 0 29660 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 122940

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1154224/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=122968 CPUtime=339.68
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 38959 658 0 0 33950 18 0 0 25 0 1 0 58880669 125919232 23909 996147200 134512640 135215973 4294956320 18446744073709551615 3739380 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 30742 23909 419 171 0 29667 0
Current children cumulated CPU time (s) 339.68
Current children cumulated vsize (KiB) 122968

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1149936/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=123160 CPUtime=399.24
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 39014 658 0 0 39906 18 0 0 25 0 1 0 58880669 126115840 23964 996147200 134512640 135215973 4294956320 18446744073709551615 134597343 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 30790 23964 419 171 0 29715 0
Current children cumulated CPU time (s) 399.24
Current children cumulated vsize (KiB) 123160

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1141104/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=127972 CPUtime=458.78
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 40262 658 0 0 45859 19 0 0 25 0 1 0 58880669 131043328 25179 996147200 134512640 135215973 4294956320 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 31993 25179 419 171 0 30918 0
Current children cumulated CPU time (s) 458.78
Current children cumulated vsize (KiB) 127972

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12021
/proc/meminfo: memFree=1136688/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=128180 CPUtime=518.33
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 40322 658 0 0 51814 19 0 0 25 0 1 0 58880669 131256320 25239 996147200 134512640 135215973 4294956320 18446744073709551615 4158960335 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 32045 25239 419 171 0 30970 0
Current children cumulated CPU time (s) 518.33
Current children cumulated vsize (KiB) 128180

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12052
/proc/meminfo: memFree=902832/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=128368 CPUtime=577.84
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 40374 658 0 0 57764 20 0 0 25 0 1 0 58880669 131448832 25291 996147200 134512640 135215973 4294956320 18446744073709551615 134591034 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 32092 25291 419 171 0 31017 0
Current children cumulated CPU time (s) 577.84
Current children cumulated vsize (KiB) 128368

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12052
/proc/meminfo: memFree=859760/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=128448 CPUtime=637.39

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12052
/proc/meminfo: memFree=831920/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=128792 CPUtime=816.02
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 40498 658 0 0 81582 20 0 0 25 0 1 0 58880669 131883008 25415 996147200 134512640 135215973 4294956320 18446744073709551615 134600115 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 32198 25415 419 171 0 31123 0
Current children cumulated CPU time (s) 816.02
Current children cumulated vsize (KiB) 128792

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12052
/proc/meminfo: memFree=831792/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=128936 CPUtime=875.57
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 40540 658 0 0 87537 20 0 0 25 0 1 0 58880669 132030464 25457 996147200 134512640 135215973 4294956320 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 32234 25457 419 171 0 31159 0
Current children cumulated CPU time (s) 875.57
Current children cumulated vsize (KiB) 128936

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12052
/proc/meminfo: memFree=831664/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=129032 CPUtime=935.12
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 40568 658 0 0 93492 20 0 0 25 0 1 0 58880669 132128768 25485 996147200 134512640 135215973 4294956320 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 32258 25485 419 171 0 31183 0
Current children cumulated CPU time (s) 935.12
Current children cumulated vsize (KiB) 129032

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12052
/proc/meminfo: memFree=831664/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=129132 CPUtime=994.66
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 40594 658 0 0 99446 20 0 0 25 0 1 0 58880669 132231168 25511 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 32283 25511 419 171 0 31208 0
Current children cumulated CPU time (s) 994.66
Current children cumulated vsize (KiB) 129132

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 12052
/proc/meminfo: memFree=831600/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=129204 CPUtime=1054.21
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 40617 658 0 0 105401 20 0 0 25 0 1 0 58880669 132304896 25534 996147200 134512640 135215973 4294956320 18446744073709551615 3772033 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 32301 25534 419 171 0 31226 0
Current children cumulated CPU time (s) 1054.21
Current children cumulated vsize (KiB) 129204

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/74 12052
/proc/meminfo: memFree=830000/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=132892 CPUtime=1113.76
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 41550 658 0 0 111356 20 0 0 25 0 1 0 58880669 136081408 25889 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 33223 25889 419 171 0 32148 0
Current children cumulated CPU time (s) 1113.76
Current children cumulated vsize (KiB) 132892

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12052
/proc/meminfo: memFree=826480/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=136084 CPUtime=1173.3
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 42497 658 0 0 117309 21 0 0 25 0 1 0 58880669 139350016 26771 996147200 134512640 135215973 4294956320 18446744073709551615 134600018 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 34021 26771 419 171 0 32946 0
Current children cumulated CPU time (s) 1173.3
Current children cumulated vsize (KiB) 136084

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12052
/proc/meminfo: memFree=819888/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=142180 CPUtime=1232.85
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 44209 658 0 0 123262 23 0 0 25 0 1 0 58880669 145592320 28354 996147200 134512640 135215973 4294956320 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 35545 28354 419 171 0 34470 0
Current children cumulated CPU time (s) 1232.85
Current children cumulated vsize (KiB) 142180

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12052
/proc/meminfo: memFree=819120/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=142848 CPUtime=1292.4
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 44391 658 0 0 129217 23 0 0 25 0 1 0 58880669 146276352 28536 996147200 134512640 135215973 4294956320 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 35712 28536 419 171 0 34637 0
Current children cumulated CPU time (s) 1292.4
Current children cumulated vsize (KiB) 142848

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12052
/proc/meminfo: memFree=817200/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=144744 CPUtime=1351.94
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 44912 658 0 0 135170 24 0 0 25 0 1 0 58880669 148217856 29057 996147200 134512640 135215973 4294956320 18446744073709551615 134587435 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 36186 29057 419 171 0 35111 0
Current children cumulated CPU time (s) 1351.94
Current children cumulated vsize (KiB) 144744

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/74 12052
/proc/meminfo: memFree=815152/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=146556 CPUtime=1411.5
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 45414 658 0 0 141125 25 0 0 25 0 1 0 58880669 150073344 29559 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 36639 29559 419 171 0 35564 0
Current children cumulated CPU time (s) 1411.5
Current children cumulated vsize (KiB) 146556

[startup+1482.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/74 12052
/proc/meminfo: memFree=812848/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=148580 CPUtime=1471.04
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 45988 658 0 0 147078 26 0 0 25 0 1 0 58880669 152145920 30133 996147200 134512640 135215973 4294956320 18446744073709551615 134587322 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 37145 30133 419 171 0 36070 0
Current children cumulated CPU time (s) 1471.04
Current children cumulated vsize (KiB) 148580

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/74 12052
/proc/meminfo: memFree=807408/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=153632 CPUtime=1530.58
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 47358 658 0 0 153031 27 0 0 25 0 1 0 58880669 157319168 31503 996147200 134512640 135215973 4294956320 18446744073709551615 4158960273 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 38408 31503 419 171 0 37333 0
Current children cumulated CPU time (s) 1530.58
Current children cumulated vsize (KiB) 153632

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/74 12052
/proc/meminfo: memFree=807024/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=153964 CPUtime=1590.14
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 47455 658 0 0 158986 28 0 0 25 0 1 0 58880669 157659136 31600 996147200 134512640 135215973 4294956320 18446744073709551615 4158960045 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 38491 31600 419 171 0 37416 0
Current children cumulated CPU time (s) 1590.14
Current children cumulated vsize (KiB) 153964

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 12052
/proc/meminfo: memFree=806832/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=154152 CPUtime=1649.69
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 47509 658 0 0 164941 28 0 0 25 0 1 0 58880669 157851648 31654 996147200 134512640 135215973 4294956320 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 38538 31654 419 171 0 37463 0
Current children cumulated CPU time (s) 1649.69
Current children cumulated vsize (KiB) 154152

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 12052
/proc/meminfo: memFree=806576/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=154268 CPUtime=1709.23
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 47544 658 0 0 170895 28 0 0 25 0 1 0 58880669 157970432 31689 996147200 134512640 135215973 4294956320 18446744073709551615 134533339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 38567 31689 419 171 0 37492 0
Current children cumulated CPU time (s) 1709.23
Current children cumulated vsize (KiB) 154268

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12054
/proc/meminfo: memFree=805936/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=154600 CPUtime=1768.78
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 47631 658 0 0 176850 28 0 0 25 0 1 0 58880669 158310400 31776 996147200 134512640 135215973 4294956320 18446744073709551615 134591407 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 38650 31776 419 171 0 37575 0
Current children cumulated CPU time (s) 1768.78
Current children cumulated vsize (KiB) 154600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12054
/proc/meminfo: memFree=805616/2055920 swapFree=4192812/4192956
[pid=12016] ppid=12014 vsize=155132 CPUtime=1800.04
/proc/12016/stat : 12016 (pcs.big) R 12014 12016 11556 0 -1 4194304 47767 658 0 0 179976 28 0 0 25 0 1 0 58880669 158855168 31912 996147200 134512640 135215973 4294956320 18446744073709551615 134600822 0 0 4096 0 0 0 0 17 1 0 0
/proc/12016/statm: 38783 31912 419 171 0 37708 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 155132

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): 1813.83
CPU time (s): 1800.08
CPU user time (s): 1799.77
CPU system time (s): 0.314952
CPU usage (%): 99.2418
Max. virtual memory (cumulated for all children) (KiB): 155132

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

runsolver used 1.82672 second user time and 4.79627 second system time

The end

Launcher Data 

Begin job on node8 at 2009-07-16 06:22:14
IDJOB=2080680
IDBENCH=57127
IDSOLVER=734
FILE ID=node8/2080680-1247718134
PBS_JOBID= 9521433
Free space on /tmp= 66088 MiB

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

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

MD5SUM BENCH= a33ade48f1369c9e2e6c8441d1f4ca57
RANDOM SEED=710153988

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1272792 kB
Buffers:         68520 kB
Cached:         519136 kB
SwapCached:          0 kB
Active:         188512 kB
Inactive:       517040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1272792 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3844 kB
Writeback:           0 kB
Mapped:         129372 kB
Slab:            62656 kB
Committed_AS:   553148 kB
PageTables:       1928 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66080 MiB
End job on node8 at 2009-07-16 06:52:30