Trace number 1058339

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
cpHydra k_40SAT 769.533 775.77

DiagnosticValue
ASSIGNMENTS24672
CHECKS382082000

General information on the benchmark

Namecsp/compet02/
normalized-patat-02-comp-6.xml
MD5SUM4557782171b25598d03a057775c7d656
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark118.276
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints45572
Maximum constraint arity20
Maximum domain size45
Number of constraints which are defined in extension0
Number of constraints which are defined in intension45272
Global constraints used (with number of constraints)alldifferent(300)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
10.06/10.24	c CASE TO CLASSIFY:
10.06/10.25	c Case: 0
10.06/10.25	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.658299 | c 33 >  30.000000 | c 15 >  21.488900 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.217200 | c 14 >   8.930740 | c 11 >   9.411510 | c 12 >   8.643940 | c 21 >   4.928780 | c 20 >  99.341700 | c 22 >   6.708200 | c 23 >  83.238900 | c 24 >  40.000000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.411510 | c 2 >  -1.000000 | c 10 >  17.463900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.462700 | c 32 >   0.000000 | c 5 >  17.592400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.06/10.26	c choco : 1801.0
10.06/10.26	c mistral : 1801.0
10.06/10.26	c abscon : 1801.0
10.06/10.26	c
10.06/10.26	c
10.16/10.33	c List of same ones: 40
10.16/10.33	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml
10.16/10.33	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.658299 | c 33 >  30.000000 | c 15 >  20.669000 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.208980 | c 14 >   8.592460 | c 11 >   9.411510 | c 12 >   8.640030 | c 21 >   4.928780 | c 20 >  99.341700 | c 22 >   6.708200 | c 23 >  83.238900 | c 24 >  40.000000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.411510 | c 2 >  -1.000000 | c 10 >  17.463900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.462700 | c 32 >   0.000000 | c 5 >  17.592400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.16/10.34	c choco : 1801.0
10.16/10.34	c mistral : 467.31
10.16/10.34	c abscon : 1801.0
10.16/10.34	c
10.16/10.34	c
10.16/10.34	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml
10.16/10.34	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.468187 | c 33 >  30.000000 | c 15 >  20.496000 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.978730 | c 14 >   8.690000 | c 11 >   9.611020 | c 12 >   8.780590 | c 21 >   4.946840 | c 20 >  99.531800 | c 22 >   6.708200 | c 23 >  84.598700 | c 24 >  33.333300 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.611020 | c 2 >  -1.000000 | c 10 >  17.848000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.958200 | c 32 >   0.000000 | c 5 >  18.064900 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.16/10.36	c choco : 1801.0
10.16/10.36	c mistral : 265.78
10.16/10.36	c abscon : 1801.0
10.16/10.36	c
10.16/10.36	c
10.16/10.36	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
10.16/10.36	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.644026 | c 33 >  30.000000 | c 15 >  20.714400 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.106580 | c 14 >   8.422060 | c 11 >   9.392320 | c 12 >   8.650280 | c 21 >   4.920950 | c 20 >  99.356000 | c 22 >   6.708200 | c 23 >  78.650500 | c 24 >  25.000000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.392320 | c 2 >  -1.000000 | c 10 >  17.473800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.489900 | c 32 >   0.000000 | c 5 >  17.616800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.16/10.37	c choco : 1801.0
10.16/10.37	c mistral : 654.08
10.16/10.37	c abscon : 1801.0
10.16/10.37	c
10.16/10.37	c
10.16/10.37	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml
10.16/10.37	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   2.579810 | c 33 >  30.000000 | c 15 >  20.881300 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.129480 | c 14 >   8.209450 | c 11 >   8.774790 | c 12 >   8.261650 | c 21 >   4.836470 | c 20 >  97.420200 | c 22 >   6.708200 | c 23 >  93.217300 | c 24 >  28.571400 | c 25 > 299.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   8.774790 | c 2 >  -1.000000 | c 10 >  16.155800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  14.022200 | c 32 >   0.000000 | c 5 >  15.591900 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.16/10.38	c choco : 1801.0
10.16/10.38	c mistral : 71.99
10.16/10.38	c abscon : 45.66
10.16/10.38	c
10.16/10.38	c
10.16/10.38	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-4.xml
10.16/10.38	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.849594 | c 33 >  30.000000 | c 15 >  20.736900 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.115770 | c 14 >   8.299210 | c 11 >   9.400880 | c 12 >   8.339510 | c 21 >   4.870700 | c 20 >  99.150400 | c 22 >   6.708200 | c 23 >  87.351200 | c 24 >  22.222200 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.400880 | c 2 >  -1.000000 | c 10 >  17.155900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.044900 | c 32 >   0.000000 | c 5 >  17.233300 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.16/10.39	c choco : 1801.0
10.16/10.39	c mistral : 293.62
10.16/10.39	c abscon : 1801.0
10.16/10.39	c
10.16/10.39	c
10.16/10.39	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
10.16/10.39	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   1.399450 | c 33 >  30.000000 | c 15 >  20.959000 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.186680 | c 14 >   8.194760 | c 11 >   9.090110 | c 12 >   8.259910 | c 21 >   4.857540 | c 20 >  98.600600 | c 22 >   6.708200 | c 23 >  83.019000 | c 24 >  20.000000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.090110 | c 2 >  -1.000000 | c 10 >  16.675800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.264400 | c 32 >   0.000000 | c 5 >  16.536900 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.16/10.40	c choco : 1801.0
10.16/10.40	c mistral : 106.17
10.16/10.40	c abscon : 39.95
10.23/10.40	c
10.23/10.40	c
10.23/10.40	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-17.xml
10.23/10.40	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   5.178660 | c 33 >  30.000000 | c 15 >  19.878000 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.754490 | c 14 >  10.632100 | c 11 >  11.879600 | c 12 >   5.045030 | c 21 >   4.801340 | c 20 >  94.821300 | c 22 >   6.708200 | c 23 >  97.911900 | c 24 >  25.000000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   8.554590 | c 2 >  -1.000000 | c 10 >  15.707800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  11.727900 | c 32 >   0.000000 | c 5 >  14.463800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.23/10.40	c choco : 1801.0
10.23/10.40	c mistral : 440.15
10.23/10.40	c abscon : 13.8
10.23/10.40	c
10.23/10.40	c
10.23/10.40	c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
10.23/10.41	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   1.226990 | c 33 >  30.000000 | c 15 >  20.404900 | c 34 >  30.000000 | c 16 >  24.000000 | c 13 >   7.487570 | c 14 >   8.546890 | c 11 >   9.255030 | c 12 >   8.456330 | c 21 >   3.902400 | c 20 >  98.773000 | c 22 >   6.000000 | c 23 >  66.609100 | c 24 >  13.333300 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.255030 | c 2 >  -1.000000 | c 10 >  17.018100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.512500 | c 32 >   0.000000 | c 5 >  16.686600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.23/10.41	c choco : 1801.0
10.23/10.41	c mistral : 43.86
10.23/10.41	c abscon : 262.21
10.23/10.41	c
10.23/10.41	c
10.23/10.41	c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
10.23/10.41	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.716829 | c 33 >  30.000000 | c 15 >  20.502000 | c 34 >  30.000000 | c 16 >  24.000000 | c 13 >   7.462510 | c 14 >   8.149750 | c 11 >   9.467610 | c 12 >   8.672580 | c 21 >   4.149400 | c 20 >  99.283200 | c 22 >   5.830950 | c 23 >  65.344800 | c 24 >  11.764700 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.467610 | c 2 >  -1.000000 | c 10 >  17.526000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.333300 | c 32 >   0.000000 | c 5 >  17.448100 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.23/10.42	c choco : 1801.0
10.23/10.42	c mistral : 1156.77
10.23/10.42	c abscon : 1801.0
10.23/10.42	c
10.23/10.42	c
10.23/10.42	c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
10.23/10.42	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.895683 | c 33 >  30.000000 | c 15 >  20.466700 | c 34 >  30.000000 | c 16 >  23.000000 | c 13 >   7.445010 | c 14 >   8.507790 | c 11 >   9.394460 | c 12 >   8.546470 | c 21 >   4.014350 | c 20 >  99.104300 | c 22 >   5.830950 | c 23 >  63.995800 | c 24 >  12.500000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.394460 | c 2 >  -1.000000 | c 10 >  17.300500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.994000 | c 32 >   0.000000 | c 5 >  17.128600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.23/10.43	c choco : 1801.0
10.23/10.43	c mistral : 38.33
10.23/10.43	c abscon : 568.38
10.23/10.43	c
10.23/10.43	c
10.23/10.43	c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-6.xml
10.23/10.43	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.753258 | c 33 >  30.000000 | c 15 >  20.543200 | c 34 >  30.000000 | c 16 >  24.000000 | c 13 >   7.454780 | c 14 >   8.353150 | c 11 >   9.493860 | c 12 >   8.600780 | c 21 >   4.062170 | c 20 >  99.246700 | c 22 >   6.000000 | c 23 >  61.086600 | c 24 >  13.333300 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.493860 | c 2 >  -1.000000 | c 10 >  17.464800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.264800 | c 32 >   0.000000 | c 5 >  17.380300 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.23/10.44	c choco : 1801.0
10.23/10.44	c mistral : 963.3
10.23/10.44	c abscon : 1801.0
10.23/10.44	c
10.23/10.44	c
10.23/10.44	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-7.xml
10.23/10.44	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   1.032270 | c 33 >  30.000000 | c 15 >  20.714300 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.395630 | c 14 >   8.348730 | c 11 >   9.192290 | c 12 >   8.606890 | c 21 >   4.892560 | c 20 >  98.967700 | c 22 >   6.708200 | c 23 >  86.853200 | c 24 >  25.000000 | c 25 > 348.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.192290 | c 2 >  -1.000000 | c 10 >  17.188200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.994700 | c 32 >   0.000000 | c 5 >  17.167700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.23/10.46	c choco : 1801.0
10.23/10.46	c mistral : 98.85
10.23/10.46	c abscon : 1801.0
10.23/10.46	c
10.23/10.46	c
10.23/10.46	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-13.xml
10.23/10.46	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.827705 | c 33 >  30.000000 | c 15 >  20.694100 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.951770 | c 14 >   8.379380 | c 11 >   9.308340 | c 12 >   8.185690 | c 21 >   4.869800 | c 20 >  99.172300 | c 22 >   6.708200 | c 23 >  85.063200 | c 24 >  33.333300 | c 25 > 250.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.308340 | c 2 >  -1.000000 | c 10 >  16.904800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.759000 | c 32 >   0.000000 | c 5 >  16.985000 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.23/10.47	c choco : 1801.0
10.23/10.47	c mistral : 114.2
10.23/10.47	c abscon : 1801.0
10.23/10.47	c
10.23/10.47	c
10.23/10.47	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-14.xml
10.23/10.47	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   1.049790 | c 33 >  30.000000 | c 15 >  20.795500 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.418740 | c 14 >   8.118940 | c 11 >   9.219170 | c 12 >   8.571470 | c 21 >   4.902910 | c 20 >  98.950200 | c 22 >   6.708200 | c 23 >  82.224100 | c 24 >  22.222200 | c 25 > 350.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.219170 | c 2 >  -1.000000 | c 10 >  17.177700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.980400 | c 32 >   0.000000 | c 5 >  17.155900 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.23/10.48	c choco : 1801.0
10.23/10.48	c mistral : 137.37
10.23/10.48	c abscon : 1046.72
10.23/10.48	c
10.23/10.48	c
10.23/10.48	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-16.xml
10.23/10.48	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.498934 | c 33 >  30.000000 | c 15 >  20.578600 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.573960 | c 14 >   8.339850 | c 11 >   9.513730 | c 12 >   8.266280 | c 21 >   4.907900 | c 20 >  99.501100 | c 22 >   6.708200 | c 23 >  87.740100 | c 24 >  28.571400 | c 25 > 220.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.513730 | c 2 >  -1.000000 | c 10 >  17.297500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.360800 | c 32 >   0.000000 | c 5 >  17.530800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.23/10.49	c choco : 1801.0
10.23/10.49	c mistral : 793.29
10.23/10.49	c abscon : 1801.0
10.23/10.49	c
10.23/10.49	c
10.23/10.49	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-11.xml
10.23/10.49	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.765670 | c 33 >  30.000000 | c 15 >  20.735200 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.584730 | c 14 >   8.588710 | c 11 >   9.353150 | c 12 >   8.024060 | c 21 >   4.851030 | c 20 >  99.234300 | c 22 >   6.708200 | c 23 >  83.020000 | c 24 >  25.000000 | c 25 > 220.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.353150 | c 2 >  -1.000000 | c 10 >  16.798500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.711800 | c 32 >   0.000000 | c 5 >  16.943200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.23/10.49	c choco : 1801.0
10.23/10.49	c mistral : 807.54
10.23/10.49	c abscon : 1801.0
10.23/10.49	c
10.23/10.49	c
10.23/10.49	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-9.xml
10.23/10.49	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.450580 | c 33 >  30.000000 | c 15 >  20.707300 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.953550 | c 14 >   8.451210 | c 11 >   9.552670 | c 12 >   8.368340 | c 21 >   4.877240 | c 20 >  99.549400 | c 22 >   6.708200 | c 23 >  84.802900 | c 24 >  25.000000 | c 25 > 220.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.552670 | c 2 >  -1.000000 | c 10 >  17.406200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.513100 | c 32 >   0.000000 | c 5 >  17.665300 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.50	c choco : 1801.0
10.30/10.50	c mistral : 499.22
10.30/10.50	c abscon : 1801.0
10.30/10.50	c
10.30/10.50	c
10.30/10.50	c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-2.xml
10.30/10.50	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.307064 | c 33 >  30.000000 | c 15 >  20.498000 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.362750 | c 14 >   8.658210 | c 11 >   9.599910 | c 12 >   8.664880 | c 21 >   4.940900 | c 20 >  99.692900 | c 22 >   6.708200 | c 23 >  80.681200 | c 24 >  30.000000 | c 25 > 200.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.599910 | c 2 >  -1.000000 | c 10 >  17.774600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.981900 | c 32 >   0.000000 | c 5 >  18.086700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.51	c choco : 1801.0
10.30/10.51	c mistral : 628.57
10.30/10.51	c abscon : 1801.0
10.30/10.51	c
10.30/10.51	c
10.30/10.51	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-12.xml
10.30/10.51	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.704225 | c 33 >  30.000000 | c 15 >  20.751900 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.592960 | c 14 >   8.897850 | c 11 >   9.262090 | c 12 >   8.033320 | c 21 >   4.845360 | c 20 >  99.295800 | c 22 >   6.708200 | c 23 >  87.711200 | c 24 >  30.000000 | c 25 > 200.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.262090 | c 2 >  -1.000000 | c 10 >  16.738200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.657900 | c 32 >   0.000000 | c 5 >  16.896500 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.51	c choco : 1801.0
10.30/10.51	c mistral : 62.47
10.30/10.51	c abscon : 40.58
10.30/10.51	c
10.30/10.51	c
10.30/10.51	c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-3.xml
10.30/10.51	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.312402 | c 33 >  30.000000 | c 15 >  20.565500 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.410480 | c 14 >   8.643860 | c 11 >   9.605480 | c 12 >   8.645100 | c 21 >   4.940900 | c 20 >  99.687600 | c 22 >   6.708200 | c 23 >  80.177400 | c 24 >  28.571400 | c 25 > 200.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.605480 | c 2 >  -1.000000 | c 10 >  17.754100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.958200 | c 32 >   0.000000 | c 5 >  18.064700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.52	c choco : 1801.0
10.30/10.52	c mistral : 407.7
10.30/10.52	c abscon : 1801.0
10.30/10.52	c
10.30/10.52	c
10.30/10.52	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-2.xml
10.30/10.52	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.880514 | c 33 >  30.000000 | c 15 >  20.863000 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.515360 | c 14 >   8.523560 | c 11 >   9.209450 | c 12 >   7.870430 | c 21 >   4.843420 | c 20 >  99.119500 | c 22 >   6.708200 | c 23 >  89.800000 | c 24 >  25.000000 | c 25 > 200.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.209450 | c 2 >  -1.000000 | c 10 >  16.477400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.303100 | c 32 >   0.000000 | c 5 >  16.601200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.53	c choco : 1801.0
10.30/10.53	c mistral : 126.19
10.30/10.53	c abscon : 898.95
10.30/10.53	c
10.30/10.53	c
10.30/10.53	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-18.xml
10.30/10.53	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   1.116690 | c 33 >  30.000000 | c 15 >  20.815500 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.401820 | c 14 >   9.033420 | c 11 >   9.164910 | c 12 >   7.749760 | c 21 >   4.834770 | c 20 >  98.883300 | c 22 >   6.708200 | c 23 >  93.380500 | c 24 >  25.000000 | c 25 > 200.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.154820 | c 2 >  -1.000000 | c 10 >  16.226100 | c 1 >   2.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  14.852000 | c 32 >   0.000000 | c 5 >  16.244200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.53	c choco : 1801.0
10.30/10.53	c mistral : 138.39
10.30/10.54	c abscon : 905.44
10.30/10.54	c
10.30/10.54	c
10.30/10.54	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-1.xml
10.30/10.54	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.590982 | c 33 >  30.000000 | c 15 >  20.740500 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.609820 | c 14 >   8.471680 | c 11 >   9.381540 | c 12 >   8.121300 | c 21 >   4.845750 | c 20 >  99.409000 | c 22 >   6.708200 | c 23 >  86.663700 | c 24 >  20.000000 | c 25 > 200.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.381540 | c 2 >  -1.000000 | c 10 >  16.960100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.961200 | c 32 >   0.000000 | c 5 >  17.158000 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.54	c choco : 1801.0
10.30/10.54	c mistral : 223.88
10.30/10.54	c abscon : 1801.0
10.30/10.54	c
10.30/10.54	c
10.30/10.54	c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-7.xml
10.30/10.54	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >  12.442600 | c 33 >  30.000000 | c 15 >  19.734000 | c 34 >  30.000000 | c 16 >  15.000000 | c 13 >   6.396280 | c 14 >   8.434630 | c 11 >  12.538400 | c 12 >   4.143190 | c 21 >   3.130890 | c 20 >  87.557400 | c 22 >   4.898980 | c 23 >  64.366700 | c 24 >  20.000000 | c 25 > 461.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   8.174930 | c 2 >  -1.000000 | c 10 >  15.494700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  12.466600 | c 32 >   0.000000 | c 5 >  13.885100 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.55	c choco : 1801.0
10.30/10.55	c mistral : 5.03
10.30/10.55	c abscon : 102.03
10.30/10.55	c
10.30/10.55	c
10.30/10.55	c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-8.xml
10.30/10.55	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >  14.579000 | c 33 >  30.000000 | c 15 >  19.452200 | c 34 >  30.000000 | c 16 >  15.000000 | c 13 >   7.059480 | c 14 >   9.417850 | c 11 >  12.164600 | c 12 >   4.765530 | c 21 >   3.107250 | c 20 >  85.421000 | c 22 >   5.000000 | c 23 >  65.371600 | c 24 >  25.000000 | c 25 > 490.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.960000 | c 2 >  -1.000000 | c 10 >  15.614100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  12.084100 | c 32 >   0.000000 | c 5 >  13.597500 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.55	c choco : 1801.0
10.30/10.55	c mistral : 3.36
10.30/10.55	c abscon : 15.51
10.30/10.55	c
10.30/10.55	c
10.30/10.55	c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-15.xml
10.30/10.55	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >  23.800200 | c 33 >  30.000000 | c 15 >  19.804600 | c 34 >  30.000000 | c 16 >  15.000000 | c 13 >   7.050950 | c 14 >   8.751540 | c 11 >  11.493900 | c 12 >   5.236670 | c 21 >   3.089090 | c 20 >  76.199800 | c 22 >   5.099020 | c 23 >  60.156700 | c 24 >  10.000000 | c 25 > 486.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   8.033420 | c 2 >  -1.000000 | c 10 >  15.550000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  11.356500 | c 32 >   0.000000 | c 5 >  13.123300 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.56	c choco : 1801.0
10.30/10.56	c mistral : 3.46
10.30/10.56	c abscon : 14.39
10.30/10.56	c
10.30/10.56	c
10.30/10.56	c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-2.xml
10.30/10.56	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   4.399320 | c 33 >  30.000000 | c 15 >  16.020600 | c 34 >  30.000000 | c 16 >  17.000000 | c 13 >   4.058140 | c 14 >   7.118940 | c 11 >  11.503300 | c 12 >   1.983760 | c 21 >   4.826490 | c 20 >  95.600700 | c 22 >   6.708200 | c 23 >  95.233300 | c 24 >  40.000000 | c 25 >  78.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.118940 | c 2 >  -1.000000 | c 10 >  13.119600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  11.432500 | c 32 >   0.000000 | c 5 >  13.305800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.57	c choco : 13.82
10.30/10.57	c mistral : 0.32
10.30/10.57	c abscon : 7.62
10.30/10.57	c
10.30/10.57	c
10.30/10.57	c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-5.xml
10.30/10.57	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   2.459890 | c 33 >  30.000000 | c 15 >  21.370900 | c 34 >  30.000000 | c 16 >  19.000000 | c 13 >  11.389900 | c 14 >  16.796700 | c 11 >  12.409400 | c 12 >   7.399610 | c 21 >   4.865700 | c 20 >  97.540100 | c 22 >   6.708200 | c 23 >  92.808300 | c 24 >  50.000000 | c 25 >  69.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.375040 | c 2 >  -1.000000 | c 10 >  13.713900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  12.364700 | c 32 >   0.000000 | c 5 >  13.896400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.57	c choco : 1801.0
10.30/10.57	c mistral : 26.31
10.30/10.57	c abscon : 11.66
10.30/10.57	c
10.30/10.57	c
10.30/10.57	c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-4.xml
10.30/10.57	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   1.949030 | c 33 >  30.000000 | c 15 >  21.524000 | c 34 >  30.000000 | c 16 >  12.000000 | c 13 >   6.061550 | c 14 >  11.531900 | c 11 >  12.669100 | c 12 >   2.868540 | c 21 >   4.887740 | c 20 >  98.051000 | c 22 >   6.708200 | c 23 >  99.350000 | c 24 >  50.000000 | c 25 >  65.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.451210 | c 2 >  -1.000000 | c 10 >  13.477300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  12.629800 | c 32 >   0.000000 | c 5 >  14.089200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.58	c choco : 1801.0
10.30/10.58	c mistral : 1801.0
10.30/10.58	c abscon : 11.05
10.30/10.58	c
10.30/10.58	c
10.30/10.58	c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-3.xml
10.30/10.58	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   2.374100 | c 33 >  30.000000 | c 15 >  20.367100 | c 34 >  30.000000 | c 16 >  13.000000 | c 13 >   5.641070 | c 14 >  11.004200 | c 11 >  12.284200 | c 12 >   2.935000 | c 21 >   4.848200 | c 20 >  97.625900 | c 22 >   6.708200 | c 23 >  94.525000 | c 24 >  66.666700 | c 25 >  66.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.209450 | c 2 >  -1.000000 | c 10 >  13.356700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  12.240800 | c 32 >   0.000000 | c 5 >  13.806700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.58	c choco : 1801.0
10.30/10.58	c mistral : 6.57
10.30/10.58	c abscon : 10.45
10.30/10.58	c
10.30/10.58	c
10.30/10.58	c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-1.xml
10.30/10.58	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   2.537630 | c 33 >  30.000000 | c 15 >  21.497200 | c 34 >  30.000000 | c 16 >  15.000000 | c 13 >   7.743320 | c 14 >  13.117000 | c 11 >  12.028600 | c 12 >   4.472700 | c 21 >   4.829600 | c 20 >  97.462400 | c 22 >   6.708200 | c 23 >  95.033300 | c 24 >  40.000000 | c 25 >  59.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.076820 | c 2 >  -1.000000 | c 10 >  13.196600 | c 1 >   4.087460 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  11.975100 | c 32 >   0.000000 | c 5 >  13.629000 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.59	c choco : 1801.0
10.30/10.59	c mistral : 1801.0
10.30/10.59	c abscon : 9.29
10.30/10.59	c
10.30/10.59	c
10.30/10.59	c /home/eomahony/cpZilla/CSP/xml/nengfa/sudoku368.xml
10.30/10.59	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 >   0.000000 | c 18 > 100.000000 | c 33 >  -1.000000 | c 15 >  16.785400 | c 34 >  -1.000000 | c 16 >  25.000000 | c 13 >   5.743680 | c 14 >   8.144660 | c 11 >   8.144660 | c 12 >   5.181070 | c 21 >   1.347550 | c 20 >   0.000000 | c 22 >   3.316620 | c 23 >  84.661800 | c 24 >   9.090910 | c 25 >  75.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   8.144660 | c 2 >  -1.000000 | c 10 >  12.317400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.399800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.30/10.60	c choco : 2.57
10.30/10.60	c mistral : 0.22
10.30/10.60	c abscon : 3.53246
10.30/10.60	c
10.30/10.60	c
10.30/10.60	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-18.xml
10.30/10.60	c 19 >   0.000000 | c 35 >  30.066200 | c 17 >   0.000000 | c 18 >   9.580840 | c 33 >   0.000000 | c 15 >  19.566600 | c 34 >  20.066200 | c 16 >  18.000000 | c 13 >   7.171760 | c 14 >  10.479800 | c 11 >   7.409390 | c 12 >   6.242450 | c 21 >   5.682050 | c 20 >  90.419200 | c 22 >   5.830950 | c 23 >  97.449000 | c 24 >  97.142900 | c 25 >  16.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.392320 | c 2 >  -1.000000 | c 10 >  10.151000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.423600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
10.37/10.60	c choco : 229.74
10.37/10.60	c mistral : 552.16
10.37/10.60	c abscon : 1801.0
10.37/10.60	c
10.37/10.60	c
10.37/10.60	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-17.xml
10.37/10.60	c 19 >   0.000000 | c 35 >  30.074600 | c 17 >   0.000000 | c 18 >  10.067100 | c 33 >   0.000000 | c 15 >  19.717200 | c 34 >  20.074600 | c 16 >  17.000000 | c 13 >   7.763330 | c 14 >  10.791200 | c 11 >   7.247930 | c 12 >   6.864670 | c 21 >   5.504540 | c 20 >  89.932900 | c 22 >   5.656850 | c 23 >  97.313100 | c 24 >  96.969700 | c 25 >  15.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.228820 | c 2 >  -1.000000 | c 10 >   9.915880 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.170900 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
10.37/10.61	c choco : 24.02
10.37/10.61	c mistral : 1801.0
10.37/10.61	c abscon : 1801.0
10.37/10.61	c
10.37/10.61	c
10.37/10.61	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-16.xml
10.37/10.61	c 19 >   0.000000 | c 35 >  30.084700 | c 17 >   0.000000 | c 18 >  10.606100 | c 33 >   0.000000 | c 15 >  19.923600 | c 34 >  20.084700 | c 16 >  16.000000 | c 13 >   8.520580 | c 14 >  11.147200 | c 11 >   7.076820 | c 12 >   7.612850 | c 21 >   5.321260 | c 20 >  89.393900 | c 22 >   5.477230 | c 23 >  97.162300 | c 24 >  96.774200 | c 25 >  14.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.055280 | c 2 >  -1.000000 | c 10 >   9.667110 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.902400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
10.37/10.62	c choco : 81.95
10.37/10.62	c mistral : 110.72
10.37/10.62	c abscon : 72.55
10.37/10.62	c
10.37/10.62	c
10.37/10.62	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-15.xml
10.37/10.62	c 19 >   0.000000 | c 35 >  30.097100 | c 17 >   0.000000 | c 18 >  11.206900 | c 33 >   0.000000 | c 15 >  20.200100 | c 34 >  20.097100 | c 16 >  15.000000 | c 13 >   8.563910 | c 14 >  11.674600 | c 11 >   6.894820 | c 12 >   7.884080 | c 21 >   5.131600 | c 20 >  88.793100 | c 22 >   5.291500 | c 23 >  96.993800 | c 24 >  96.551700 | c 25 >  13.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   6.870360 | c 2 >  -1.000000 | c 10 >   9.403010 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.616100 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
10.37/10.62	c choco : 33.25
10.37/10.62	c mistral : 36.8
10.37/10.62	c abscon : 10.75
10.37/10.62	c
10.37/10.62	c
10.37/10.62	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-14.xml
10.37/10.62	c 19 >   0.000000 | c 35 >  30.112400 | c 17 >   0.000000 | c 18 >  11.881200 | c 33 >   0.000000 | c 15 >  20.330700 | c 34 >  20.112400 | c 16 >  14.000000 | c 13 >   8.939850 | c 14 >  11.970800 | c 11 >   6.700440 | c 12 >   8.323700 | c 21 >   4.934870 | c 20 >  88.118800 | c 22 >   5.099020 | c 23 >  96.804600 | c 24 >  96.296300 | c 25 >  12.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   6.672430 | c 2 >  -1.000000 | c 10 >   9.121530 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.309500 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
10.37/10.63	c choco : 17.59
10.37/10.63	c mistral : 7.72
10.37/10.63	c abscon : 7.11
10.37/10.63	c
10.37/10.63	c
10.37/10.63	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-13.xml
10.37/10.63	c 19 >   0.000000 | c 35 >  30.131600 | c 17 >   0.000000 | c 18 >  12.643700 | c 33 >   0.000000 | c 15 >  17.286500 | c 34 >  20.131600 | c 16 >  13.000000 | c 13 >   6.100340 | c 14 >   9.131860 | c 11 >   6.491850 | c 12 >   5.083210 | c 21 >   4.730220 | c 20 >  87.356300 | c 22 >   4.898980 | c 23 >  96.590900 | c 24 >  96.000000 | c 25 >  11.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   6.459430 | c 2 >  -1.000000 | c 10 >   8.820180 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.979400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
10.37/10.64	c choco : 17.72
10.37/10.64	c mistral : 0.2
10.37/10.64	c abscon : 6.83
10.37/10.64	c
10.37/10.64	c
10.37/10.64	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-12.xml
10.37/10.64	c 19 >   0.000000 | c 35 >  30.156200 | c 17 >   0.000000 | c 18 >  13.513500 | c 33 >   0.000000 | c 15 >  15.511500 | c 34 >  20.156200 | c 16 >  12.000000 | c 13 >   4.685810 | c 14 >   7.569860 | c 11 >   6.266790 | c 12 >   4.069720 | c 21 >   4.516640 | c 20 >  86.486500 | c 22 >   4.690420 | c 23 >  96.347800 | c 24 >  95.652200 | c 25 >  10.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   6.228820 | c 2 >  -1.000000 | c 10 >   8.495860 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.622100 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
10.37/10.64	c choco : 12.41
10.37/10.64	c mistral : 0.15
10.37/10.64	c abscon : 5.75
10.37/10.64	c
10.37/10.64	c
10.37/10.64	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-11.xml
10.37/10.64	c 19 >   0.000000 | c 35 >  30.188700 | c 17 >   0.000000 | c 18 >  14.516100 | c 33 >   0.000000 | c 15 >  16.090600 | c 34 >  20.188700 | c 16 >  11.000000 | c 13 >   5.307610 | c 14 >   8.426260 | c 11 >   6.022370 | c 12 >   4.572890 | c 21 >   4.292850 | c 20 >  85.483900 | c 22 >   4.472140 | c 23 >  96.069500 | c 24 >  95.238100 | c 25 >   9.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   5.977280 | c 2 >  -1.000000 | c 10 >   8.144660 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.232400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
10.37/10.65	c choco : 16.54
10.37/10.65	c mistral : 0.03
10.37/10.65	c abscon : 4.59
10.37/10.65	c
10.37/10.65	c
10.37/10.65	c Length: 40
10.37/10.65	c 0.8869905438616582  6.941312324578398  15.713909009919494  15.877579183320767  18.289440842680918  20.137043897109155  23.279881108378135  31.768958541163748  33.7121263282754  33.7492608179106  34.93553873835183  50.43696736374562  50.499980130372684  53.09568661382656  80.94888441343541  81.41241443219542  81.41604503572475  100.54479990077371  100.61323321671348  100.70967648219911  101.35671908507658  101.71175154501215  102.04829213670746  164.48574030142734  192.6933833983386  192.87640531588593  222.76573177280105  231.7295125697441  236.11579857951514  236.11891856282887  241.61875212393048  274.582502462738  292.90655336093096  293.88427230743736  294.87051959543885  295.86488974566345  296.86671951527035  297.9025284056349  298.9723286520667  299.97122678711236  
10.37/10.66	c 
10.37/10.66	c 1.0  0.9801587782942816  0.9527671500562379  0.9522706455537872  0.9450136418408045  0.9395288098632174  0.9303437517098792  0.9064086939801009  0.9011021123510855  0.9010013070514531  0.8977928628310868  0.8578740268072574  0.8577190011522124  0.8513813081117863  0.7888363153126492  0.7878730908470001  0.787865555666083  0.7500694735943557  0.7499407664916669  0.7497594541793969  0.7485452845014013  0.7478807386283128  0.747251894075401  0.6464128686217198  0.6092685794246611  0.6090415065538665  0.5740988307738555  0.5643878735622466  0.5597546970744228  0.5597514285502204  0.5540484858715511  0.5221627286979322  0.505975831518434  0.5051403010350383  0.5043002735017456  0.5034561511300266  0.502608549209262  0.5017351947369746  0.5008363605397432  0.5  
10.37/10.67	c
10.37/10.67	c solver 0
10.37/10.67	c	  before 0.0 seconds: {} 0
10.37/10.67	c	  before 18.0 seconds: {6, 24, 25, 26, 27, 28, 29, 30, 31, 35, 36, 37, 38, 39} 7991
10.37/10.67	c	  before 54.0 seconds: {3, 5, 6, 18, 24, 25, 26, 27, 28, 29, 30, 31, 35, 36, 37, 38, 39} 10633
10.37/10.67	c	  before 90.0 seconds: {3, 5, 6, 18, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 11137
10.37/10.67	c	  before 108.0 seconds: {3, 5, 6, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 11783
10.37/10.67	c	  before 270.0 seconds: {3, 5, 6, 7, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 12690
10.37/10.67	c	  before 576.0 seconds: {3, 5, 6, 7, 9, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 13591
10.37/10.67	c	  before 900.0 seconds: {3, 5, 6, 7, 9, 18, 20, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 14339
10.37/10.67	c	  before 918.0 seconds: {3, 5, 6, 7, 9, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 15087
10.37/10.67	c	  before 1062.0 seconds: {3, 5, 6, 7, 9, 13, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 15939
10.37/10.67	c
10.37/10.67	c solver 1
10.37/10.67	c	  before 0.0 seconds: {} 0
10.37/10.67	c	  before 18.0 seconds: {23, 24, 25, 26, 29, 31, 36, 37, 38, 39} 5525
10.37/10.67	c	  before 36.0 seconds: {23, 24, 25, 26, 27, 29, 31, 36, 37, 38, 39} 6090
10.37/10.67	c	  before 54.0 seconds: {7, 9, 23, 24, 25, 26, 27, 29, 31, 35, 36, 37, 38, 39} 8401
10.37/10.67	c	  before 72.0 seconds: {3, 7, 9, 18, 23, 24, 25, 26, 27, 29, 31, 35, 36, 37, 38, 39} 10103
10.37/10.67	c	  before 108.0 seconds: {3, 5, 7, 9, 11, 18, 23, 24, 25, 26, 27, 29, 31, 35, 36, 37, 38, 39} 11900
10.37/10.67	c	  before 126.0 seconds: {3, 5, 7, 9, 11, 12, 18, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 13262
10.37/10.67	c	  before 144.0 seconds: {3, 5, 7, 9, 11, 12, 13, 18, 20, 21, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 15610
10.37/10.67	c	  before 234.0 seconds: {3, 5, 7, 9, 11, 12, 13, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 16357
10.37/10.67	c	  before 270.0 seconds: {1, 3, 5, 7, 9, 11, 12, 13, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 17338
10.37/10.67	c	  before 306.0 seconds: {1, 3, 4, 5, 7, 9, 11, 12, 13, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 18283
10.37/10.67	c	  before 414.0 seconds: {1, 3, 4, 5, 7, 9, 11, 12, 13, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 19032
10.37/10.67	c	  before 450.0 seconds: {1, 3, 4, 5, 6, 7, 9, 11, 12, 13, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 19963
10.37/10.67	c	  before 468.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9, 11, 12, 13, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 20963
10.37/10.67	c	  before 504.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9, 11, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 34, 35, 36, 37, 38, 39} 21751
10.37/10.67	c	  before 558.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9, 11, 12, 13, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 22256
10.37/10.67	c	  before 630.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9, 11, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 23007
10.37/10.67	c	  before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 23959
10.37/10.67	c	  before 810.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 25536
10.37/10.67	c	  before 972.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 26434
10.37/10.67	c	  before 1170.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 27335
10.37/10.67	c
10.37/10.67	c solver 2
10.37/10.67	c	  before 0.0 seconds: {} 0
10.37/10.67	c	  before 18.0 seconds: {26, 31, 36, 37, 38, 39} 3101
10.37/10.67	c	  before 36.0 seconds: {26, 31, 33, 35, 36, 37, 38, 39} 4110
10.37/10.67	c	  before 90.0 seconds: {26, 31, 33, 34, 35, 36, 37, 38, 39} 4614
10.37/10.67	c	  before 234.0 seconds: {26, 31, 32, 33, 34, 35, 36, 37, 38, 39} 5120
10.37/10.67	c
10.37/10.67	cTotal time: 137
10.37/10.68	c	  run abscon for 576.0 seconds {3, 5, 6, 7, 9, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39} 13591
10.37/10.68	c	  run mistral for 1170.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 34, 35, 36, 37, 38, 39} 27335
10.37/10.68	c	  run choco for 36.0 seconds {26, 31, 33, 35, 36, 37, 38, 39} 4110
10.37/10.68	c Starting solver: HOME/cpHydra_k_40/solver/abscon
10.37/10.68	c On Instance: HOME/instance-1058339-1215114415.xml
10.37/10.68	c Running for: 576 seconds
590.06/592.64	c Starting solver: HOME/cpHydra_k_40/solver/mistral
590.06/592.64	c On Instance: HOME/instance-1058339-1215114415.xml
590.06/592.64	c Running for: 1170 seconds
769.47/775.71	c mistral-prime version 1.313
769.47/775.71	s SATISFIABLE
769.47/775.71	v 1 10 6 31 4 23 38 18 25 21 28 33 20 0 39 25 18 41 20 0 12 37 1 43 24 17 9 26 16 1 27 44 26 15 10 41 44 22 19 32 22 35 27 44 23 11 3 31 28 6 7 5 39 3 39 10 21 19 19 5 17 36 14 28 18 2 34 18 7 40 14 32 1 21 23 18 10 8 23 36 12 5 17 33 30 14 19 0 30 9 13 12 31 13 33 43 22 40 16 30 40 10 37 14 15 15 8 34 32 38 17 1 31 0 3 7 14 15 0 0 8 3 26 5 11 6 33 36 38 16 9 6 18 35 43 29 25 16 41 8 10 34 2 21 16 19 24 13 39 4 35 10 11 4 9 28 29 7 18 23 27 7 17 29 6 27 3 16 44 7 11 21 12 15 37 23 25 3 0 17 43 20 5 36 25 2 7 6 15 2 24 12 36 9 6 26 27 38 19 9 27 37 17 4 24 42 25 42 40 38 26 4 13 8 16 19 21 8 24 41 25 44 8 33 6 20 7 36 5 10 19 12 31 22 42 22 15 3 38 28 33 32 4 13 28 35 16 40 8 21 4 27 30 16 13 15 13 18 2 39 5 39 32 29 34 34 12 11 23 1 30 37 8 4 28 11 35 25 22 14 26 43 9 37 11 9 19 8 14 30 10 12 29 4 13 40 4 11 42 13 33 11 11 21 14 14 41 1 2 20 22 20 24 35 3 34 29 12 22 31 20 6 28 30 41 35 6 33 34 5 22 20 26 5 2 32 7 36 29 42 3 2 17 2 5 9 1 24 0 30 0 2 3 5 5 5 0 2 3 2 7 4 2 8 1 1 4 0 0 6 6 3 9 0 0 0 3 0 1 6 5 5 6 7 5 6 6 9 3 3 2 5 2 2 3 1 9 6 6 2 6 6 0 2 6 0 6 0 9 9 7 4 3 1 0 6 6 9 3 2 6 0 2 4 9 3 3 1 4 1 9 5 5 3 9 2 6 5 6 0 5 0 4 2 0 2 7 3 6 1 6 1 5 9 5 6 8 2 5 3 1 5 3 9 8 2 1 0 0 4 4 4 5 2 5 1 8 3 2 8 5 8 6 4 3 9 5 0 3 6 4 0 3 1 3 1 5 9 3 1 3 7 2 2 4 2 2 0 5 6 1 5 3 3 7 0 0 7 0 8 6 0 7 4 2 0 4 6 3 2 6 5 8 6 0 1 4 6 1 8 6 1 5 2 0 2 6 1 5 9 3 0 4 8 9 3 6 6 5 6 1 7 6 7 2 4 5 0 1 5 2 3 3 1 5 1 7 0 7 8 2 4 0 0 0 5 2 1 5 3 2 4 0 3 4 2 4 1 5 3 4 4 7 5 8 3 0 1 2 2 4 5 2 6 3 7 2 8 2 4 5 1 2 3 5 3 0 7 3 4 7 5 6 6 7 1 7 9 5 0 6 5 5 6 1 0 9 4 2 4 6 0 9 7 8 0 1 3 7 4 6 9 3 6 3 5 0 3 1 2 3 9 0 3 2 1 4 5 1 0 4 6 3 1 5 6 1 2 1 5 5 4 6 0 3 8 1 2 2 2
769.47/775.71	d CHECKS 382082077
769.47/775.71	d ASSIGNMENTS 24672

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058339-1215114415/watcher-1058339-1215114415 -o /tmp/evaluation-result-1058339-1215114415/solver-1058339-1215114415 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1058339-1215114415.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.04 2.00 4/84 6715
/proc/meminfo: memFree=1522416/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=18572 CPUtime=0
/proc/6715/stat : 6715 (runsolver) R 6713 6715 5840 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1990415801 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 221236489511 0 0 4096 24578 0 0 0 17 1 0 0
/proc/6715/statm: 4643 292 257 25 0 2626 0

[startup+0.058544 s]
/proc/loadavg: 2.06 2.04 2.00 4/84 6715
/proc/meminfo: memFree=1522416/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=0
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990415801 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101553 s]
/proc/loadavg: 2.06 2.04 2.00 4/84 6715
/proc/meminfo: memFree=1522416/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=0
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990415801 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301593 s]
/proc/loadavg: 2.06 2.04 2.00 4/84 6715
/proc/meminfo: memFree=1522416/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=0
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990415801 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701667 s]
/proc/loadavg: 2.06 2.04 2.00 4/84 6715
/proc/meminfo: memFree=1522416/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=0
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990415801 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50182 s]
/proc/loadavg: 2.06 2.04 2.00 3/86 6719
/proc/meminfo: memFree=1509088/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=0
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990415801 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 236 195 169 0 51 0
[pid=6719] ppid=6715 vsize=23736 CPUtime=1.47
/proc/6719/stat : 6719 (xsolve) R 6715 6715 5840 0 -1 4194304 5383 0 0 0 142 5 0 0 25 0 1 0 1990415802 24305664 5146 996147200 134512640 135239763 4294956176 18446744073709551615 8872768 0 0 4096 0 0 0 0 17 1 0 0
/proc/6719/statm: 5934 5146 377 177 0 4837 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29096

[startup+3.10212 s]
/proc/loadavg: 2.06 2.04 2.00 3/86 6719
/proc/meminfo: memFree=1494752/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=0
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990415801 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 236 195 169 0 51 0
[pid=6719] ppid=6715 vsize=88236 CPUtime=3.05
/proc/6719/stat : 6719 (xsolve) R 6715 6715 5840 0 -1 4194304 21587 0 0 0 291 14 0 0 25 0 1 0 1990415802 90353664 20734 996147200 134512640 135239763 4294956176 18446744073709551615 135030883 0 0 4096 0 0 0 0 17 1 0 0
/proc/6719/statm: 22059 20734 431 177 0 20962 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 93596

[startup+6.30272 s]
/proc/loadavg: 2.14 2.06 2.01 3/94 6731
/proc/meminfo: memFree=1513696/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=4.37
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 375 22255 0 0 0 0 421 16 18 0 1 0 1990415801 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 238 196 169 0 51 0
[pid=6723] ppid=6715 vsize=197000 CPUtime=1.84
/proc/6723/stat : 6723 (java) S 6715 6715 5840 0 -1 0 6612 0 1 0 178 6 0 0 18 0 9 0 1990416244 201728000 5553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6723/statm: 49250 5553 2541 9 0 43832 0
[pid=6723/tid=6724] ppid=6715 vsize=197000 CPUtime=1.43
/proc/6723/task/6724/stat : 6724 (java) R 6715 6715 5840 0 -1 64 2820 0 1 0 141 2 0 0 25 0 9 0 1990416246 201728000 5553 996147200 134512640 134550740 4294955968 18446744073709551615 4126443992 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6725] ppid=6715 vsize=197000 CPUtime=0.24
/proc/6723/task/6725/stat : 6725 (java) S 6715 6715 5840 0 -1 64 2452 0 0 0 21 3 0 0 16 0 9 0 1990416247 201728000 5553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6726] ppid=6715 vsize=197000 CPUtime=0
/proc/6723/task/6726/stat : 6726 (java) S 6715 6715 5840 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1990416247 201728000 5553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6727] ppid=6715 vsize=197000 CPUtime=0
/proc/6723/task/6727/stat : 6727 (java) S 6715 6715 5840 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990416247 201728000 5553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6728] ppid=6715 vsize=197000 CPUtime=0
/proc/6723/task/6728/stat : 6728 (java) S 6715 6715 5840 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1990416249 201728000 5553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6729] ppid=6715 vsize=197000 CPUtime=0.15
/proc/6723/task/6729/stat : 6729 (java) S 6715 6715 5840 0 -1 64 615 0 0 0 15 0 0 0 16 0 9 0 1990416249 201728000 5553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6730] ppid=6715 vsize=197000 CPUtime=0
/proc/6723/task/6730/stat : 6730 (java) S 6715 6715 5840 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1990416249 201728000 5553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6731] ppid=6715 vsize=197000 CPUtime=0
/proc/6723/task/6731/stat : 6731 (java) S 6715 6715 5840 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990416249 201728000 5553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202360

[startup+12.7039 s]
/proc/loadavg: 2.21 2.07 2.01 3/106 6743
/proc/meminfo: memFree=1445176/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=4.37
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 375 22255 0 0 0 0 421 16 18 0 1 0 1990415801 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 238 196 169 0 51 0
[pid=6723] ppid=6715 vsize=197436 CPUtime=6.06
/proc/6723/stat : 6723 (java) S 6715 6715 5840 0 -1 0 11453 0 1 0 588 18 0 0 18 0 10 0 1990416244 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6723/statm: 49359 9428 2544 9 0 43941 0
[pid=6733] ppid=6723 vsize=5356 CPUtime=0
/proc/6733/stat : 6733 (abscon) S 6723 6715 5840 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1990416870 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 221236486980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6733/statm: 1339 237 196 169 0 50 0
[pid=6734] ppid=6733 vsize=655796 CPUtime=2
/proc/6734/stat : 6734 (java) S 6733 6715 5840 0 -1 0 16572 0 1 0 191 9 0 0 18 0 9 0 1990416870 671535104 16080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6734/statm: 163949 16080 2006 9 0 158477 0
[pid=6734/tid=6736] ppid=6733 vsize=655796 CPUtime=1.69
/proc/6734/task/6736/stat : 6736 (java) R 6733 6715 5840 0 -1 64 12418 0 1 0 163 6 0 0 25 0 9 0 1990416871 671535104 16080 996147200 134512640 134550740 4294955808 18446744073709551615 102606033 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6733 vsize=655796 CPUtime=0.12
/proc/6734/task/6737/stat : 6737 (java) S 6733 6715 5840 0 -1 64 2975 0 0 0 11 1 0 0 16 0 9 0 1990416872 671535104 16080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6733 vsize=655796 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6733 6715 5840 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1990416873 671535104 16080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6733 vsize=655796 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6733 6715 5840 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990416873 671535104 16080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6733 vsize=655796 CPUtime=0
/proc/6734/task/6740/stat : 6740 (java) S 6733 6715 5840 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1990416875 671535104 16080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6733 vsize=655796 CPUtime=0.16
/proc/6734/task/6741/stat : 6741 (java) S 6733 6715 5840 0 -1 64 634 0 0 0 16 0 0 0 17 0 9 0 1990416875 671535104 16080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6733 vsize=655796 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6733 6715 5840 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1990416875 671535104 16080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6743] ppid=6733 vsize=655796 CPUtime=0
/proc/6734/task/6743/stat : 6743 (java) S 6733 6715 5840 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990416875 671535104 16080 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6735] ppid=6733 vsize=7044 CPUtime=0
/proc/6735/stat : 6735 (translate) S 6733 6715 5840 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1990416871 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 221236658258 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/6735/statm: 1761 213 182 1 0 41 0
[pid=6723/tid=6724] ppid=6715 vsize=197436 CPUtime=4.89
/proc/6723/task/6724/stat : 6724 (java) S 6715 6715 5840 0 -1 64 3858 0 1 0 482 7 0 0 25 0 10 0 1990416246 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6723/tid=6725] ppid=6715 vsize=197436 CPUtime=0.91
/proc/6723/task/6725/stat : 6725 (java) S 6715 6715 5840 0 -1 64 6124 0 0 0 82 9 0 0 16 0 10 0 1990416247 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6726] ppid=6715 vsize=197436 CPUtime=0
/proc/6723/task/6726/stat : 6726 (java) S 6715 6715 5840 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990416247 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6727] ppid=6715 vsize=197436 CPUtime=0
/proc/6723/task/6727/stat : 6727 (java) S 6715 6715 5840 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990416247 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6728] ppid=6715 vsize=197436 CPUtime=0
/proc/6723/task/6728/stat : 6728 (java) S 6715 6715 5840 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1990416249 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6729] ppid=6715 vsize=197436 CPUtime=0.24
/proc/6723/task/6729/stat : 6729 (java) S 6715 6715 5840 0 -1 64 670 0 0 0 24 0 0 0 15 0 10 0 1990416249 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6730] ppid=6715 vsize=197436 CPUtime=0
/proc/6723/task/6730/stat : 6730 (java) S 6715 6715 5840 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1990416249 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6731] ppid=6715 vsize=197436 CPUtime=0
/proc/6723/task/6731/stat : 6731 (java) S 6715 6715 5840 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1990416249 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6732] ppid=6715 vsize=197436 CPUtime=0
/proc/6723/task/6732/stat : 6732 (java) S 6715 6715 5840 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990416870 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 870992

[startup+25.5023 s]
/proc/loadavg: 2.38 2.12 2.03 3/106 6743
/proc/meminfo: memFree=1089400/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=4.37
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 375 22255 0 0 0 0 421 16 18 0 1 0 1990415801 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 238 196 169 0 51 0
[pid=6723] ppid=6715 vsize=197436 CPUtime=6.06
/proc/6723/stat : 6723 (java) S 6715 6715 5840 0 -1 0 11477 0 1 0 588 18 0 0 18 0 10 0 1990416244 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6723/statm: 49359 9428 2544 9 0 43941 0
[pid=6733] ppid=6723 vsize=5356 CPUtime=0
/proc/6733/stat : 6733 (abscon) S 6723 6715 5840 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1990416870 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 221236486980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6733/statm: 1339 237 196 169 0 50 0
[pid=6734] ppid=6733 vsize=655900 CPUtime=14.79
/proc/6734/stat : 6734 (java) S 6733 6715 5840 0 -1 0 104236 0 1 0 1263 216 0 0 18 0 9 0 1990416870 671641600 103387 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6734/statm: 163975 103387 2616 9 0 158503 0
[pid=6734/tid=6736] ppid=6733 vsize=655900 CPUtime=11.16
/proc/6734/task/6736/stat : 6736 (java) R 6733 6715 5840 0 -1 64 12572 0 1 0 946 170 0 0 25 0 9 0 1990416871 671641600 103387 996147200 134512640 134550740 4294955808 18446744073709551615 4127273980 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6733 vsize=655900 CPUtime=3.28
/proc/6734/task/6737/stat : 6737 (java) S 6733 6715 5840 0 -1 64 90368 0 0 0 284 44 0 0 17 0 9 0 1990416872 671641600 103387 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6733 vsize=655900 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6733 6715 5840 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1990416873 671641600 103387 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6733 vsize=655900 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6733 6715 5840 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 1990416873 671641600 103387 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6733 vsize=655900 CPUtime=0
/proc/6734/task/6740/stat : 6740 (java) S 6733 6715 5840 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1990416875 671641600 103387 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6733 vsize=655900 CPUtime=0.31
/proc/6734/task/6741/stat : 6741 (java) S 6733 6715 5840 0 -1 64 742 0 0 0 31 0 0 0 15 0 9 0 1990416875 671641600 103387 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6733 vsize=655900 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6733 6715 5840 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1990416875 671641600 103387 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6734/tid=6743] ppid=6733 vsize=655900 CPUtime=0
/proc/6734/task/6743/stat : 6743 (java) S 6733 6715 5840 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990416875 671641600 103387 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6735] ppid=6733 vsize=7044 CPUtime=0
/proc/6735/stat : 6735 (translate) S 6733 6715 5840 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1990416871 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 221236658258 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/6735/statm: 1761 213 182 1 0 41 0
[pid=6723/tid=6724] ppid=6715 vsize=197436 CPUtime=4.89
/proc/6723/task/6724/stat : 6724 (java) S 6715 6715 5840 0 -1 64 3858 0 1 0 482 7 0 0 25 0 10 0 1990416246 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6723/tid=6725] ppid=6715 vsize=197436 CPUtime=0.91

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

[pid=6859] ppid=6723 vsize=5356 CPUtime=0
/proc/6859/stat : 6859 (mistral) S 6723 6715 5840 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1990475065 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221236486980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6859/statm: 1339 238 198 169 0 50 0
[pid=6860] ppid=6859 vsize=88624 CPUtime=174.84
/proc/6860/stat : 6860 (xsolve) R 6859 6715 5840 0 -1 4194304 21681 0 0 0 17474 10 0 0 25 0 1 0 1990475066 90750976 20768 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/6860/statm: 22156 20768 414 177 0 21059 0
[pid=6723/tid=6724] ppid=6715 vsize=197760 CPUtime=584.57
/proc/6723/task/6724/stat : 6724 (java) S 6715 6715 5840 0 -1 64 3941 104875 1 1 482 7 57736 232 16 0 10 0 1990416246 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6723/tid=6725] ppid=6715 vsize=197760 CPUtime=580.59
/proc/6723/task/6725/stat : 6725 (java) S 6715 6715 5840 0 -1 64 6148 104875 0 1 82 9 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6726] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6726/stat : 6726 (java) S 6715 6715 5840 0 -1 64 11 104875 0 1 0 0 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6727] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6727/stat : 6727 (java) S 6715 6715 5840 0 -1 64 5 104875 0 1 0 0 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6728] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6728/stat : 6728 (java) S 6715 6715 5840 0 -1 64 0 104875 0 1 0 0 57736 232 18 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6729] ppid=6715 vsize=197760 CPUtime=579.92
/proc/6723/task/6729/stat : 6729 (java) S 6715 6715 5840 0 -1 64 703 104875 0 1 24 0 57736 232 16 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6730] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6730/stat : 6730 (java) S 6715 6715 5840 0 -1 64 1 104875 0 1 0 0 57736 232 19 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6731] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6731/stat : 6731 (java) S 6715 6715 5840 0 -1 64 38 104875 0 1 0 0 57736 232 15 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6858] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6858/stat : 6858 (java) S 6715 6715 5840 0 -1 64 49 104875 0 1 0 0 57736 232 17 0 10 0 1990475065 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 764.97
Current children cumulated vsize (KiB) 297100

[startup+774.302 s]
/proc/loadavg: 2.00 2.06 2.06 3/106 6860
/proc/meminfo: memFree=1196912/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=4.37
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 375 22255 0 0 0 0 421 16 18 0 1 0 1990415801 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 238 196 169 0 51 0
[pid=6723] ppid=6715 vsize=197760 CPUtime=585.76
/proc/6723/stat : 6723 (java) S 6715 6715 5840 0 -1 0 11677 104875 1 1 589 19 57736 232 18 0 10 0 1990416244 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6723/statm: 49440 9434 2545 9 0 44022 0
[pid=6859] ppid=6723 vsize=5356 CPUtime=0
/proc/6859/stat : 6859 (mistral) S 6723 6715 5840 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1990475065 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221236486980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6859/statm: 1339 238 198 169 0 50 0
[pid=6860] ppid=6859 vsize=88624 CPUtime=177.97
/proc/6860/stat : 6860 (xsolve) R 6859 6715 5840 0 -1 4194304 21682 0 0 0 17787 10 0 0 25 0 1 0 1990475066 90750976 20769 996147200 134512640 135239763 4294955968 18446744073709551615 134737464 0 4 0 0 0 0 0 17 1 0 0
/proc/6860/statm: 22156 20769 414 177 0 21059 0
[pid=6723/tid=6724] ppid=6715 vsize=197760 CPUtime=584.57
/proc/6723/task/6724/stat : 6724 (java) S 6715 6715 5840 0 -1 64 3941 104875 1 1 482 7 57736 232 16 0 10 0 1990416246 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6723/tid=6725] ppid=6715 vsize=197760 CPUtime=580.59
/proc/6723/task/6725/stat : 6725 (java) S 6715 6715 5840 0 -1 64 6148 104875 0 1 82 9 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6726] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6726/stat : 6726 (java) S 6715 6715 5840 0 -1 64 11 104875 0 1 0 0 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6727] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6727/stat : 6727 (java) S 6715 6715 5840 0 -1 64 5 104875 0 1 0 0 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6728] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6728/stat : 6728 (java) S 6715 6715 5840 0 -1 64 0 104875 0 1 0 0 57736 232 18 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6729] ppid=6715 vsize=197760 CPUtime=579.92
/proc/6723/task/6729/stat : 6729 (java) S 6715 6715 5840 0 -1 64 703 104875 0 1 24 0 57736 232 16 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6730] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6730/stat : 6730 (java) S 6715 6715 5840 0 -1 64 1 104875 0 1 0 0 57736 232 19 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6731] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6731/stat : 6731 (java) S 6715 6715 5840 0 -1 64 38 104875 0 1 0 0 57736 232 15 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6858] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6858/stat : 6858 (java) S 6715 6715 5840 0 -1 64 49 104875 0 1 0 0 57736 232 17 0 10 0 1990475065 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 768.1
Current children cumulated vsize (KiB) 297100

[startup+775.103 s]
/proc/loadavg: 2.00 2.06 2.06 3/106 6860
/proc/meminfo: memFree=1196912/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=4.37
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 375 22255 0 0 0 0 421 16 18 0 1 0 1990415801 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 238 196 169 0 51 0
[pid=6723] ppid=6715 vsize=197760 CPUtime=585.76
/proc/6723/stat : 6723 (java) S 6715 6715 5840 0 -1 0 11677 104875 1 1 589 19 57736 232 18 0 10 0 1990416244 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6723/statm: 49440 9434 2545 9 0 44022 0
[pid=6859] ppid=6723 vsize=5356 CPUtime=0
/proc/6859/stat : 6859 (mistral) S 6723 6715 5840 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1990475065 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221236486980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6859/statm: 1339 238 198 169 0 50 0
[pid=6860] ppid=6859 vsize=88624 CPUtime=178.75
/proc/6860/stat : 6860 (xsolve) R 6859 6715 5840 0 -1 4194304 21685 0 0 0 17865 10 0 0 25 0 1 0 1990475066 90750976 20772 996147200 134512640 135239763 4294955968 18446744073709551615 134821584 0 4 0 0 0 0 0 17 1 0 0
/proc/6860/statm: 22156 20772 414 177 0 21059 0
[pid=6723/tid=6724] ppid=6715 vsize=197760 CPUtime=584.57
/proc/6723/task/6724/stat : 6724 (java) S 6715 6715 5840 0 -1 64 3941 104875 1 1 482 7 57736 232 16 0 10 0 1990416246 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6723/tid=6725] ppid=6715 vsize=197760 CPUtime=580.59
/proc/6723/task/6725/stat : 6725 (java) S 6715 6715 5840 0 -1 64 6148 104875 0 1 82 9 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6726] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6726/stat : 6726 (java) S 6715 6715 5840 0 -1 64 11 104875 0 1 0 0 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6727] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6727/stat : 6727 (java) S 6715 6715 5840 0 -1 64 5 104875 0 1 0 0 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6728] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6728/stat : 6728 (java) S 6715 6715 5840 0 -1 64 0 104875 0 1 0 0 57736 232 18 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6729] ppid=6715 vsize=197760 CPUtime=579.92
/proc/6723/task/6729/stat : 6729 (java) S 6715 6715 5840 0 -1 64 703 104875 0 1 24 0 57736 232 16 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6730] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6730/stat : 6730 (java) S 6715 6715 5840 0 -1 64 1 104875 0 1 0 0 57736 232 19 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6731] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6731/stat : 6731 (java) S 6715 6715 5840 0 -1 64 38 104875 0 1 0 0 57736 232 15 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6858] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6858/stat : 6858 (java) S 6715 6715 5840 0 -1 64 49 104875 0 1 0 0 57736 232 17 0 10 0 1990475065 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 768.88
Current children cumulated vsize (KiB) 297100

[startup+775.509 s]
/proc/loadavg: 2.00 2.06 2.06 3/106 6860
/proc/meminfo: memFree=1196848/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=4.37
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 375 22255 0 0 0 0 421 16 18 0 1 0 1990415801 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 238 196 169 0 51 0
[pid=6723] ppid=6715 vsize=197760 CPUtime=585.76
/proc/6723/stat : 6723 (java) S 6715 6715 5840 0 -1 0 11677 104875 1 1 589 19 57736 232 18 0 10 0 1990416244 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6723/statm: 49440 9434 2545 9 0 44022 0
[pid=6859] ppid=6723 vsize=5356 CPUtime=0
/proc/6859/stat : 6859 (mistral) S 6723 6715 5840 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1990475065 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221236486980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6859/statm: 1339 238 198 169 0 50 0
[pid=6860] ppid=6859 vsize=88268 CPUtime=179.15
/proc/6860/stat : 6860 (xsolve) R 6859 6715 5840 0 -1 4194304 21708 0 0 0 17905 10 0 0 25 0 1 0 1990475066 90386432 20706 996147200 134512640 135239763 4294955968 18446744073709551615 8867992 0 4 0 0 0 0 0 17 1 0 0
/proc/6860/statm: 22067 20706 421 177 0 20970 0
[pid=6723/tid=6724] ppid=6715 vsize=197760 CPUtime=584.57
/proc/6723/task/6724/stat : 6724 (java) S 6715 6715 5840 0 -1 64 3941 104875 1 1 482 7 57736 232 16 0 10 0 1990416246 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6723/tid=6725] ppid=6715 vsize=197760 CPUtime=580.59
/proc/6723/task/6725/stat : 6725 (java) S 6715 6715 5840 0 -1 64 6148 104875 0 1 82 9 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6726] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6726/stat : 6726 (java) S 6715 6715 5840 0 -1 64 11 104875 0 1 0 0 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6727] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6727/stat : 6727 (java) S 6715 6715 5840 0 -1 64 5 104875 0 1 0 0 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6728] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6728/stat : 6728 (java) S 6715 6715 5840 0 -1 64 0 104875 0 1 0 0 57736 232 18 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6729] ppid=6715 vsize=197760 CPUtime=579.92
/proc/6723/task/6729/stat : 6729 (java) S 6715 6715 5840 0 -1 64 703 104875 0 1 24 0 57736 232 16 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6730] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6730/stat : 6730 (java) S 6715 6715 5840 0 -1 64 1 104875 0 1 0 0 57736 232 19 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6731] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6731/stat : 6731 (java) S 6715 6715 5840 0 -1 64 38 104875 0 1 0 0 57736 232 15 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6858] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6858/stat : 6858 (java) S 6715 6715 5840 0 -1 64 49 104875 0 1 0 0 57736 232 17 0 10 0 1990475065 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 769.28
Current children cumulated vsize (KiB) 296744

[startup+775.702 s]
/proc/loadavg: 2.00 2.06 2.06 3/106 6860
/proc/meminfo: memFree=1196848/2055920 swapFree=4180412/4192956
[pid=6715] ppid=6713 vsize=5360 CPUtime=4.37
/proc/6715/stat : 6715 (hydra) S 6713 6715 5840 0 -1 4194304 375 22255 0 0 0 0 421 16 18 0 1 0 1990415801 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1340 238 196 169 0 51 0
[pid=6723] ppid=6715 vsize=197760 CPUtime=585.76
/proc/6723/stat : 6723 (java) S 6715 6715 5840 0 -1 0 11677 104875 1 1 589 19 57736 232 18 0 10 0 1990416244 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6723/statm: 49440 9434 2545 9 0 44022 0
[pid=6859] ppid=6723 vsize=5356 CPUtime=0
/proc/6859/stat : 6859 (mistral) S 6723 6715 5840 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1990475065 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221236486980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6859/statm: 1339 238 198 169 0 50 0
[pid=6860] ppid=6859 vsize=36216 CPUtime=179.34
/proc/6860/stat : 6860 (xsolve) R 6859 6715 5840 0 -1 4194304 21714 0 0 0 17923 11 0 0 25 0 1 0 1990475066 37085184 8026 996147200 134512640 135239763 4294955968 18446744073709551615 8867847 0 4 0 0 0 0 0 17 1 0 0
/proc/6860/statm: 9054 8026 427 177 0 7957 0
[pid=6723/tid=6724] ppid=6715 vsize=197760 CPUtime=584.57
/proc/6723/task/6724/stat : 6724 (java) S 6715 6715 5840 0 -1 64 3941 104875 1 1 482 7 57736 232 16 0 10 0 1990416246 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6723/tid=6725] ppid=6715 vsize=197760 CPUtime=580.59
/proc/6723/task/6725/stat : 6725 (java) S 6715 6715 5840 0 -1 64 6148 104875 0 1 82 9 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6726] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6726/stat : 6726 (java) S 6715 6715 5840 0 -1 64 11 104875 0 1 0 0 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6727] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6727/stat : 6727 (java) S 6715 6715 5840 0 -1 64 5 104875 0 1 0 0 57736 232 16 0 10 0 1990416247 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6728] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6728/stat : 6728 (java) S 6715 6715 5840 0 -1 64 0 104875 0 1 0 0 57736 232 18 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6729] ppid=6715 vsize=197760 CPUtime=579.92
/proc/6723/task/6729/stat : 6729 (java) S 6715 6715 5840 0 -1 64 703 104875 0 1 24 0 57736 232 16 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6730] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6730/stat : 6730 (java) S 6715 6715 5840 0 -1 64 1 104875 0 1 0 0 57736 232 19 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6731] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6731/stat : 6731 (java) S 6715 6715 5840 0 -1 64 38 104875 0 1 0 0 57736 232 15 0 10 0 1990416249 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6723/tid=6858] ppid=6715 vsize=197760 CPUtime=579.68
/proc/6723/task/6858/stat : 6858 (java) S 6715 6715 5840 0 -1 64 49 104875 0 1 0 0 57736 232 17 0 10 0 1990475065 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 769.47
Current children cumulated vsize (KiB) 244692

Child status: 0
Real time (s): 775.77
CPU time (s): 769.533
CPU user time (s): 766.715
CPU system time (s): 2.81757
CPU usage (%): 99.196
Max. virtual memory (cumulated for all children) (KiB): 871600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 766.715
system time used= 2.81757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161341
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38596
involuntary context switches= 42381

runsolver used 2.34364 second user time and 7.2489 second system time

The end

Launcher Data (download as text)

Begin job on node21 at 2008-07-03 21:46:55
IDJOB=1058339
IDBENCH=54121
IDSOLVER=366
FILE ID=node21/1058339-1215114415
PBS_JOBID= 7877161
Free space on /tmp= 66524 MiB

SOLVER NAME= cpHydra k_40
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-6.xml
COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058339-1215114415/watcher-1058339-1215114415 -o /tmp/evaluation-result-1058339-1215114415/solver-1058339-1215114415 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/cpHydra_k_40/hydra HOME/instance-1058339-1215114415.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 4557782171b25598d03a057775c7d656
RANDOM SEED=1875543886

node21.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1522832 kB
Buffers:         51492 kB
Cached:         351396 kB
SwapCached:       6608 kB
Active:         274764 kB
Inactive:       192384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1522832 kB
SwapTotal:     4192956 kB
SwapFree:      4180412 kB
Dirty:           30664 kB
Writeback:           0 kB
Mapped:          81376 kB
Slab:            50672 kB
Committed_AS:  3508744 kB
PageTables:       2060 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= 66500 MiB
End job on node21 at 2008-07-03 21:59:51