Trace number 1093250

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 703.673 710.246

DiagnosticValue
ASSIGNMENTS1258110
CHECKS150317000

General information on the benchmark

Namecsp/dag-half/
normalized-half-n25-d5-e56-r7-25.xml
MD5SUM023732cc0721336f3d429756d01d8832
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark91.2501
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Maximum constraint arity7
Maximum domain size5
Number of constraints which are defined in extension56
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
11.84/12.02	c CASE TO CLASSIFY:
11.84/12.02	c Case: 0
11.84/12.02	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  19.112000 | c 34 >  -1.000000 | c 16 >   7.000000 | c 13 >  10.717500 | c 14 >  12.243800 | c 11 >   4.643860 | c 12 >  12.667300 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   5.807350 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   6.965780 | c 31 >  -1.000000 | c 4 >   4.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
11.84/12.03	c choco : 1801.0
11.84/12.03	c mistral : 1801.0
11.84/12.03	c abscon : 1801.0
11.84/12.03	c
11.84/12.03	c
11.94/12.11	c List of same ones: 40
11.94/12.11	c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-9_ext.xml
11.94/12.11	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  18.071500 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >  11.387400 | c 14 >  12.391200 | c 11 >   4.321930 | c 12 >  13.208400 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.169930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   6.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
11.94/12.12	c choco : 1801.0
11.94/12.12	c mistral : 0.376941
11.94/12.12	c abscon : 120.175
11.94/12.12	c
11.94/12.12	c
11.94/12.12	c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-3_ext.xml
11.94/12.12	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  17.980300 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >  11.568500 | c 14 >  12.435100 | c 11 >   4.321930 | c 12 >  13.097600 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.169930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   6.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
11.94/12.13	c choco : 1801.0
11.94/12.13	c mistral : 0.381941
11.94/12.13	c abscon : 114.395
11.94/12.13	c
11.94/12.13	c
11.94/12.13	c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-1_ext.xml
11.94/12.13	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  17.985200 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >  11.789600 | c 14 >  12.374200 | c 11 >   4.321930 | c 12 >  13.244200 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.169930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   6.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
11.94/12.14	c choco : 1801.0
11.94/12.14	c mistral : 0.395938
11.94/12.14	c abscon : 283.768
11.94/12.14	c
11.94/12.14	c
11.94/12.14	c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-13_ext.xml
11.94/12.14	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  18.376900 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >  11.847200 | c 14 >  12.758000 | c 11 >   4.321930 | c 12 >  13.525400 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.169930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   6.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
11.94/12.15	c choco : 1801.0
11.94/12.15	c mistral : 0.394939
11.94/12.15	c abscon : 54.6227
11.94/12.15	c
11.94/12.15	c
11.94/12.15	c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-17_ext.xml
11.94/12.15	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  18.168900 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >  11.906000 | c 14 >  12.528900 | c 11 >   4.321930 | c 12 >  13.384000 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.169930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   6.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
11.94/12.16	c choco : 1801.0
11.94/12.16	c mistral : 0.372942
11.94/12.16	c abscon : 17.1624
11.94/12.16	c
11.94/12.16	c
11.94/12.16	c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-19_ext.xml
11.94/12.16	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  18.154200 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >  11.865400 | c 14 >  12.509500 | c 11 >   4.321930 | c 12 >  13.544000 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.169930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   6.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
11.94/12.17	c choco : 1801.0
11.94/12.17	c mistral : 0.39294
11.94/12.17	c abscon : 110.339
11.94/12.17	c
11.94/12.17	c
11.94/12.17	c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-5_ext.xml
11.94/12.17	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  18.266900 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >  11.746800 | c 14 >  12.757400 | c 11 >   4.321930 | c 12 >  13.701400 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.169930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   6.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
11.94/12.17	c choco : 1801.0
11.94/12.17	c mistral : 0.364944
11.94/12.17	c abscon : 238.94
11.94/12.17	c
11.94/12.17	c
11.94/12.17	c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-15_ext.xml
11.94/12.17	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  18.235400 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >  12.017500 | c 14 >  12.640000 | c 11 >   4.321930 | c 12 >  13.456800 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.169930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   6.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
11.94/12.18	c choco : 1801.0
11.94/12.18	c mistral : 0.400938
11.94/12.18	c abscon : 23.1755
11.94/12.18	c
11.94/12.18	c
11.94/12.18	c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-11_ext.xml
11.94/12.18	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  18.033000 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >  11.993700 | c 14 >  12.472200 | c 11 >   4.321930 | c 12 >  13.306700 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.169930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   6.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
11.94/12.19	c choco : 1801.0
11.94/12.19	c mistral : 0.378941
11.94/12.19	c abscon : 108.028
11.94/12.19	c
11.94/12.19	c
11.94/12.19	c /home/eomahony/cpZilla/CSP/random/rand-8-20-5/rand-8-20-5-18-800-7_ext.xml
11.94/12.19	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  18.026400 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >  12.432000 | c 14 >  12.470400 | c 11 >   4.321930 | c 12 >  13.399000 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.169930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   6.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.20	c choco : 1801.0
12.00/12.20	c mistral : 0.400938
12.00/12.20	c abscon : 22.6236
12.00/12.20	c
12.00/12.20	c
12.00/12.20	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-6_ext.xml
12.00/12.20	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  16.160400 | c 34 >  -1.000000 | c 16 >   6.000000 | c 13 >   6.896720 | c 14 >   9.945440 | c 11 >   4.906890 | c 12 >   9.893550 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.459430 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   9.607330 | c 31 >  -1.000000 | c 4 >   4.906890 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.21	c choco : 195.58
12.00/12.21	c mistral : 69.51
12.00/12.21	c abscon : 19.8
12.00/12.21	c
12.00/12.21	c
12.00/12.21	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-7_ext.xml
12.00/12.21	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.530000 | c 34 >  -1.000000 | c 16 >   7.000000 | c 13 >   6.792590 | c 14 >   9.174930 | c 11 >   5.129280 | c 12 >   8.975560 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.584960 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   9.829720 | c 31 >  -1.000000 | c 4 >   5.129280 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.23	c choco : 1801.0
12.00/12.23	c mistral : 492.76
12.00/12.23	c abscon : 95.65
12.00/12.23	c
12.00/12.23	c
12.00/12.23	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-6_ext.xml
12.00/12.23	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.860800 | c 34 >  -1.000000 | c 16 >   6.000000 | c 13 >   6.508230 | c 14 >   9.364130 | c 11 >   5.169930 | c 12 >   8.629960 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.584960 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   9.870360 | c 31 >  -1.000000 | c 4 >   5.169930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.23	c choco : 15.86
12.00/12.23	c mistral : 34.19
12.00/12.23	c abscon : 6.11
12.00/12.23	c
12.00/12.23	c
12.00/12.23	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-8_ext.xml
12.00/12.23	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.480800 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >   5.882850 | c 14 >   8.894820 | c 11 >   5.321930 | c 12 >   8.183640 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.700440 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.022400 | c 31 >  -1.000000 | c 4 >   5.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.24	c choco : 952.36
12.00/12.24	c mistral : 331.59
12.00/12.24	c abscon : 52.73
12.00/12.24	c
12.00/12.24	c
12.00/12.24	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-7_ext.xml
12.00/12.24	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.116400 | c 34 >  -1.000000 | c 16 >   7.000000 | c 13 >   5.893840 | c 14 >   8.396600 | c 11 >   5.392320 | c 12 >   7.851300 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.700440 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.092800 | c 31 >  -1.000000 | c 4 >   5.392320 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.25	c choco : 1801.0
12.00/12.25	c mistral : 711.03
12.00/12.25	c abscon : 160.78
12.00/12.25	c
12.00/12.25	c
12.00/12.25	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-7_ext.xml
12.00/12.25	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.352500 | c 34 >  -1.000000 | c 16 >   7.000000 | c 13 >   5.541390 | c 14 >   8.592460 | c 11 >   5.614710 | c 12 >   7.926510 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.807350 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.315100 | c 31 >  -1.000000 | c 4 >   5.614710 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.25	c choco : 1801.0
12.00/12.25	c mistral : 461.55
12.00/12.25	c abscon : 119.24
12.00/12.25	c
12.00/12.25	c
12.00/12.25	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-8_ext.xml
12.00/12.25	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.250000 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >   5.285280 | c 14 >   8.396600 | c 11 >   5.584960 | c 12 >   7.741750 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.807350 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.285400 | c 31 >  -1.000000 | c 4 >   5.584960 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.26	c choco : 1149.65
12.00/12.26	c mistral : 387.27
12.00/12.26	c abscon : 83.11
12.00/12.26	c
12.00/12.26	c
12.00/12.26	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg5-9_ext.xml
12.00/12.26	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.311500 | c 34 >  -1.000000 | c 16 >   9.000000 | c 13 >   5.201180 | c 14 >   8.647460 | c 11 >   5.491850 | c 12 >   7.766420 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.807350 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.192300 | c 31 >  -1.000000 | c 4 >   5.491850 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.27	c choco : 257.0
12.00/12.27	c mistral : 85.15
12.00/12.27	c abscon : 27.98
12.00/12.27	c
12.00/12.27	c
12.00/12.27	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-9_ext.xml
12.00/12.27	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.120000 | c 34 >  -1.000000 | c 16 >   9.000000 | c 13 >   5.652310 | c 14 >   8.199670 | c 11 >   5.754890 | c 12 >   7.535280 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.906890 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.455300 | c 31 >  -1.000000 | c 4 >   5.754890 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.28	c choco : 419.03
12.00/12.28	c mistral : 108.95
12.00/12.28	c abscon : 41.83
12.00/12.28	c
12.00/12.28	c
12.00/12.28	c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-6_ext.xml
12.00/12.28	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  14.139200 | c 34 >  -1.000000 | c 16 >   6.000000 | c 13 >   6.045130 | c 14 >   8.179910 | c 11 >   4.906890 | c 12 >   7.007490 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.459430 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   9.607330 | c 31 >  -1.000000 | c 4 >   4.906890 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.29	c choco : 7.99
12.00/12.29	c mistral : 4.74
12.00/12.29	c abscon : 5.29
12.00/12.29	c
12.00/12.29	c
12.00/12.29	c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-7_ext.xml
12.00/12.29	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  14.616300 | c 34 >  -1.000000 | c 16 >   7.000000 | c 13 >   4.827460 | c 14 >   8.199670 | c 11 >   5.129280 | c 12 >   7.288310 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.584960 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   9.829720 | c 31 >  -1.000000 | c 4 >   5.129280 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.00/12.30	c choco : 61.64
12.00/12.30	c mistral : 39.17
12.00/12.30	c abscon : 7.89
12.00/12.30	c
12.00/12.30	c
12.00/12.30	c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg6-6_ext.xml
12.00/12.30	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  13.950400 | c 34 >  -1.000000 | c 16 >   6.000000 | c 13 >   6.102740 | c 14 >   7.826550 | c 11 >   5.169930 | c 12 >   7.013090 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.584960 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   9.870360 | c 31 >  -1.000000 | c 4 >   5.169930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.30	c choco : 10.76
12.08/12.30	c mistral : 4.42
12.08/12.30	c abscon : 4.74
12.08/12.30	c
12.08/12.30	c
12.08/12.30	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-8_ext.xml
12.08/12.30	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  14.891400 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >   4.986610 | c 14 >   7.954200 | c 11 >   5.807350 | c 12 >   7.031060 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.906890 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.507800 | c 31 >  -1.000000 | c 4 >   5.807350 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.31	c choco : 1078.47
12.08/12.31	c mistral : 441.78
12.08/12.31	c abscon : 97.35
12.08/12.31	c
12.08/12.31	c
12.08/12.31	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg6-10_ext.xml
12.08/12.31	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.317900 | c 34 >  -1.000000 | c 16 >  10.000000 | c 13 >   4.604050 | c 14 >   8.204570 | c 11 >   5.906890 | c 12 >   7.565550 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.000000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.607300 | c 31 >  -1.000000 | c 4 >   5.906890 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.32	c choco : 113.92
12.08/12.32	c mistral : 1801.0
12.08/12.32	c abscon : 16.64
12.08/12.32	c
12.08/12.32	c
12.08/12.32	c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-8_ext.xml
12.08/12.32	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  14.245700 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >   5.324780 | c 14 >   7.741470 | c 11 >   5.321930 | c 12 >   6.751210 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.700440 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.022400 | c 31 >  -1.000000 | c 4 >   5.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.32	c choco : 1801.0
12.08/12.32	c mistral : 693.86
12.08/12.32	c abscon : 1801.0
12.08/12.32	c
12.08/12.32	c
12.08/12.32	c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-11_ext.xml
12.08/12.32	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  10.961400 | c 34 >  -1.000000 | c 16 >  10.000000 | c 13 >   6.976610 | c 14 >   7.467610 | c 11 >   4.321930 | c 12 >   7.614710 | c 21 >   3.162280 | c 20 >   0.000000 | c 22 >   3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   2.321930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   7.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.33	c choco : 17.79
12.08/12.33	c mistral : 0.368943
12.08/12.33	c abscon : 12.0622
12.08/12.33	c
12.08/12.33	c
12.08/12.33	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-9_ext.xml
12.08/12.33	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  14.974500 | c 34 >  -1.000000 | c 16 >   9.000000 | c 13 >   4.384800 | c 14 >   7.781360 | c 11 >   5.977280 | c 12 >   6.698680 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.000000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.677700 | c 31 >  -1.000000 | c 4 >   5.977280 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.33	c choco : 422.1
12.08/12.33	c mistral : 144.09
12.08/12.33	c abscon : 38.22
12.08/12.33	c
12.08/12.33	c
12.08/12.33	c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-19_ext.xml
12.08/12.33	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  10.839200 | c 34 >  -1.000000 | c 16 >  10.000000 | c 13 >   6.996420 | c 14 >   7.400880 | c 11 >   4.321930 | c 12 >   7.554590 | c 21 >   3.162280 | c 20 >   0.000000 | c 22 >   3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   2.321930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   7.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.34	c choco : 16.19
12.08/12.34	c mistral : 0.367943
12.08/12.34	c abscon : 18.0253
12.08/12.34	c
12.08/12.34	c
12.08/12.34	c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-15_ext.xml
12.08/12.34	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  10.884900 | c 34 >  -1.000000 | c 16 >  10.000000 | c 13 >   6.563780 | c 14 >   7.475730 | c 11 >   4.321930 | c 12 >   7.629360 | c 21 >   3.162280 | c 20 >   0.000000 | c 22 >   3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   2.321930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   7.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.34	c choco : 19.01
12.08/12.34	c mistral : 0.372942
12.08/12.35	c abscon : 4.08338
12.08/12.35	c
12.08/12.35	c
12.08/12.35	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-8_ext.xml
12.08/12.35	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.104700 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >   3.650460 | c 14 >   8.060700 | c 11 >   6.000000 | c 12 >   6.738090 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.000000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.700400 | c 31 >  -1.000000 | c 4 >   6.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.35	c choco : 679.84
12.08/12.35	c mistral : 200.01
12.08/12.35	c abscon : 45.48
12.08/12.35	c
12.08/12.35	c
12.08/12.35	c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-1_ext.xml
12.08/12.35	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  10.802500 | c 34 >  -1.000000 | c 16 >  10.000000 | c 13 >   6.831110 | c 14 >   7.417850 | c 11 >   4.321930 | c 12 >   7.558420 | c 21 >   3.162280 | c 20 >   0.000000 | c 22 >   3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >   0.000000 | c 10 >   2.321930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   7.643860 | c 31 >  -1.000000 | c 4 >   4.247930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.36	c choco : 17.5
12.08/12.36	c mistral : 0.370943
12.08/12.36	c abscon : 3.36349
12.08/12.36	c
12.08/12.36	c
12.08/12.36	c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-7_ext.xml
12.08/12.36	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  10.687400 | c 34 >  -1.000000 | c 16 >  10.000000 | c 13 >   7.246250 | c 14 >   7.285400 | c 11 >   4.321930 | c 12 >   7.442940 | c 21 >   3.162280 | c 20 >   0.000000 | c 22 >   3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   2.321930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   7.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.36	c choco : 15.04
12.08/12.36	c mistral : 0.364943
12.08/12.36	c abscon : 13.8239
12.08/12.36	c
12.08/12.36	c
12.08/12.36	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-9_ext.xml
12.08/12.36	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.034100 | c 34 >  -1.000000 | c 16 >   9.000000 | c 13 >   5.012300 | c 14 >   7.741470 | c 11 >   6.339850 | c 12 >   6.046820 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.169930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  11.040300 | c 31 >  -1.000000 | c 4 >   6.339850 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.37	c choco : 128.5
12.08/12.37	c mistral : 26.94
12.08/12.37	c abscon : 13.66
12.08/12.37	c
12.08/12.37	c
12.08/12.37	c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-9_ext.xml
12.08/12.37	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  14.228000 | c 34 >  -1.000000 | c 16 >   9.000000 | c 13 >   4.132830 | c 14 >   7.577430 | c 11 >   5.491850 | c 12 >   6.683700 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.807350 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.192300 | c 31 >  -1.000000 | c 4 >   5.491850 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.38	c choco : 1801.0
12.08/12.38	c mistral : 256.55
12.08/12.38	c abscon : 1801.0
12.08/12.38	c
12.08/12.38	c
12.08/12.38	c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-5_ext.xml
12.08/12.38	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  10.879600 | c 34 >  -1.000000 | c 16 >  10.000000 | c 13 >   6.378470 | c 14 >   7.321930 | c 11 >   4.321930 | c 12 >   7.438790 | c 21 >   3.162280 | c 20 >   0.000000 | c 22 >   3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   2.321930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   7.643860 | c 31 >  -1.000000 | c 4 >   4.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.38	c choco : 18.94
12.08/12.38	c mistral : 0.335948
12.08/12.38	c abscon : 4.94625
12.08/12.38	c
12.08/12.38	c
12.08/12.38	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg8-11_ext.xml
12.08/12.38	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  14.985300 | c 34 >  -1.000000 | c 16 >  11.000000 | c 13 >   5.468270 | c 14 >   7.554590 | c 11 >   6.459430 | c 12 >   6.648930 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.247930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  11.159900 | c 31 >  -1.000000 | c 4 >   6.459430 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.08/12.39	c choco : 37.76
12.08/12.39	c mistral : 19.41
12.08/12.39	c abscon : 7.14
12.08/12.39	c
12.08/12.39	c
12.08/12.39	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg4-8_ext.xml
12.08/12.39	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.725000 | c 34 >  -1.000000 | c 16 >   8.000000 | c 13 >   6.965660 | c 14 >   9.483820 | c 11 >   5.000000 | c 12 >   9.495110 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   6.666670 | c 28 >   3.333330 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   3.584960 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   9.700440 | c 31 >  -1.000000 | c 4 >   5.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.14/12.40	c choco : 1801.0
12.14/12.40	c mistral : 85.4
12.14/12.40	c abscon : 10.28
12.14/12.40	c
12.14/12.40	c
12.14/12.40	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg7-10_ext.xml
12.14/12.40	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  14.948500 | c 34 >  -1.000000 | c 16 >  10.000000 | c 13 >   4.412020 | c 14 >   7.761550 | c 11 >   6.129280 | c 12 >   6.525800 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.087460 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.829700 | c 31 >  -1.000000 | c 4 >   6.129280 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.14/12.41	c choco : 109.22
12.14/12.41	c mistral : 1801.0
12.14/12.41	c abscon : 13.55
12.14/12.41	c
12.14/12.41	c
12.14/12.41	c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-13_ext.xml
12.14/12.41	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  10.730500 | c 34 >  -1.000000 | c 16 >  10.000000 | c 13 >   6.610230 | c 14 >   7.348730 | c 11 >   4.321930 | c 12 >   7.463520 | c 21 >   3.162280 | c 20 >   0.000000 | c 22 >   3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >   0.000000 | c 10 >   2.321930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   7.643860 | c 31 >  -1.000000 | c 4 >   4.247930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.14/12.41	c choco : 17.39
12.14/12.41	c mistral : 0.360944
12.14/12.41	c abscon : 3.55346
12.14/12.41	c
12.14/12.41	c
12.14/12.41	c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-10_ext.xml
12.14/12.41	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 > 100.000000 | c 18 >   0.000000 | c 33 >  -1.000000 | c 15 >  15.142600 | c 34 >  -1.000000 | c 16 >  10.000000 | c 13 >   5.295870 | c 14 >   7.562240 | c 11 >   6.643860 | c 12 >   6.217230 | c 21 >   5.099020 | c 20 >   0.000000 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   0.000000 | c 28 >  10.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.321930 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  11.344300 | c 31 >  -1.000000 | c 4 >   6.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
12.14/12.42	c choco : 42.25
12.14/12.42	c mistral : 28.91
12.14/12.42	c abscon : 6.97
12.14/12.42	c
12.14/12.42	c
12.14/12.42	c Length: 40
12.14/12.42	c 2.4161905600759215  2.4937430225666795  2.600182496018308  2.609480013834174  2.624683857648383  2.6582530396107886  2.664367629025694  2.689008524084667  2.691835981741829  2.949037919830805  8.142990839746782  9.015983030490906  9.176215774528188  9.998642254116305  10.438294543281483  10.499016045049174  10.84759095561314  10.865884389132804  11.087608815348782  11.186164763706994  11.410425529405114  11.434263408173697  11.708222380314615  11.79929382071656  11.837563931514795  12.340913573034209  12.399743477374841  12.466366219460264  12.513386754100585  12.527588030295375  12.574829629851848  12.587060122717297  12.59797179554312  12.689814172847447  12.715843073060473  12.720122795378192  12.735044114246326  12.751321795374782  12.757128210416324  12.784423750298641  
12.14/12.42	c 
12.14/12.42	c 1.0  0.9925757176081234  0.9825636836077195  0.9816987133130459  0.9802875400235557  0.9771860759521701  0.9766232593794735  0.9743617467809788  0.9741029157023618  0.9511197667688109  0.6441883584533654  0.6110453506841912  0.6053290968212398  0.5775954097056363  0.5637870090388288  0.5619316144802514  0.5515125144819999  0.550976373731289  0.5445600314640028  0.5417557128967294  0.5354809678593507  0.5348225272895236  0.5273699609189239  0.5249383106817316  0.5239231592561875  0.5109276877361739  0.5094507742684469  0.5077884994169  0.506621825301322  0.5062705164038764  0.5051053593989386  0.5048045825067462  0.5045365407267655  0.5022916925147323  0.5016591120693958  0.5015552544592414  0.5011934893651881  0.5007994341944504  0.5006590205878464  0.5  
12.14/12.44	c
12.14/12.44	c solver 0
12.14/12.44	c	  before 0.0 seconds: {} 0
12.14/12.44	c	  before 18.0 seconds: {4, 12, 19, 20, 21, 23, 25, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 9260
12.14/12.44	c	  before 36.0 seconds: {4, 7, 9, 10, 12, 17, 19, 20, 21, 23, 25, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 12888
12.14/12.44	c	  before 54.0 seconds: {4, 7, 9, 10, 12, 13, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 15026
12.14/12.44	c	  before 72.0 seconds: {3, 4, 7, 9, 10, 12, 13, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 16008
12.14/12.44	c	  before 90.0 seconds: {3, 4, 7, 9, 10, 12, 13, 16, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 16559
12.14/12.44	c	  before 108.0 seconds: {3, 4, 7, 9, 10, 11, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 17698
12.14/12.44	c	  before 126.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 22204
12.14/12.44	c	  before 162.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 22767
12.14/12.44	c	  before 252.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 23744
12.14/12.44	c	  before 288.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, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 24727
12.14/12.44	c
12.14/12.44	c solver 1
12.14/12.44	c	  before 0.0 seconds: {} 0
12.14/12.44	c	  before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 19, 21, 25, 27, 28, 30, 31, 34, 38} 14404
12.14/12.44	c	  before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 19, 21, 25, 27, 28, 30, 31, 32, 34, 35, 38, 39} 16516
12.14/12.44	c	  before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 19, 20, 21, 25, 27, 28, 30, 31, 32, 34, 35, 38, 39} 17051
12.14/12.44	c	  before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 19, 20, 21, 25, 27, 28, 30, 31, 32, 34, 35, 38, 39} 17695
12.14/12.44	c	  before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 17, 19, 20, 21, 25, 27, 28, 30, 31, 32, 34, 35, 36, 38, 39} 18747
12.14/12.44	c	  before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 17, 18, 19, 20, 21, 25, 27, 28, 30, 31, 32, 34, 35, 36, 38, 39} 19292
12.14/12.44	c	  before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 17, 18, 19, 20, 21, 25, 26, 27, 28, 30, 31, 32, 34, 35, 36, 38, 39} 19801
12.14/12.44	c	  before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 17, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 38, 39} 20308
12.14/12.44	c	  before 270.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 17, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 20810
12.14/12.44	c	  before 342.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 17, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 21388
12.14/12.44	c	  before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 17, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 21939
12.14/12.44	c	  before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 17, 18, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 22466
12.14/12.44	c	  before 468.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 23028
12.14/12.44	c	  before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 23639
12.14/12.44	c	  before 702.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 24163
12.14/12.44	c	  before 720.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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 24727
12.14/12.44	c
12.14/12.44	c solver 2
12.14/12.44	c	  before 0.0 seconds: {} 0
12.14/12.44	c	  before 18.0 seconds: {12, 19, 21, 25, 27, 30, 31, 38} 4211
12.14/12.44	c	  before 36.0 seconds: {12, 19, 21, 25, 27, 28, 30, 31, 34, 38} 5219
12.14/12.44	c	  before 54.0 seconds: {12, 19, 21, 25, 27, 28, 30, 31, 34, 35, 38, 39} 6221
12.14/12.44	c	  before 72.0 seconds: {12, 19, 20, 21, 25, 27, 28, 30, 31, 34, 35, 38, 39} 6756
12.14/12.44	c	  before 126.0 seconds: {12, 19, 20, 21, 23, 25, 27, 28, 30, 31, 34, 35, 37, 38, 39} 7782
12.14/12.44	c	  before 144.0 seconds: {12, 19, 20, 21, 23, 25, 27, 28, 30, 31, 32, 34, 35, 37, 38, 39} 8286
12.14/12.44	c	  before 198.0 seconds: {10, 12, 19, 20, 21, 23, 25, 27, 28, 30, 31, 32, 34, 35, 37, 38, 39} 8930
12.14/12.44	c	  before 270.0 seconds: {10, 12, 17, 19, 20, 21, 23, 25, 27, 28, 30, 31, 32, 34, 35, 37, 38, 39} 9481
12.14/12.44	c	  before 432.0 seconds: {10, 12, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 30, 31, 32, 34, 35, 37, 38, 39} 10535
12.14/12.44	c	  before 684.0 seconds: {10, 12, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 11042
12.14/12.44	c	  before 954.0 seconds: {10, 12, 13, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 11619
12.14/12.44	c	  before 1080.0 seconds: {10, 12, 13, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 12147
12.14/12.44	c	  before 1152.0 seconds: {10, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 12698
12.14/12.44	c
12.14/12.44	cTotal time: 120
12.14/12.45	c	  run abscon for 288.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, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 24727
12.14/12.45	c	  run mistral for 720.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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 24727
12.14/12.45	c	  run choco for 684.0 seconds {10, 12, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 11042
12.14/12.45	c Starting solver: HOME/cpHydra_k_40/solver/abscon
12.14/12.45	c On Instance: HOME/instance-1093250-1215249196.xml
12.14/12.45	c Running for: 288 seconds
302.08/305.28	c Starting solver: HOME/cpHydra_k_40/solver/mistral
302.08/305.28	c On Instance: HOME/instance-1093250-1215249196.xml
302.08/305.28	c Running for: 720 seconds
703.59/710.21	c mistral-prime version 1.313
703.59/710.21	s SATISFIABLE
703.59/710.21	v 1 4 2 1 1 0 4 3 2 2 4 1 2 2 1 3 1 2 2 4 0 2 3 2 2
703.59/710.21	d CHECKS 150316550
703.59/710.21	d ASSIGNMENTS 1258114

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-1093250-1215249196/watcher-1093250-1215249196 -o /tmp/evaluation-result-1093250-1215249196/solver-1093250-1215249196 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1093250-1215249196.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.00 2.00 1.98 4/80 8128
/proc/meminfo: memFree=1533864/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5260 CPUtime=0
/proc/8128/stat : 8128 (hydra) R 8126 8128 5925 0 -1 4194304 67 0 0 0 0 0 0 0 21 0 1 0 2003894283 5386240 50 996147200 4194304 4889804 548682068816 18446744073709551615 255233937248 0 0 4096 0 0 0 0 17 1 0 0
/proc/8128/statm: 1315 50 36 169 0 14 0

[startup+0.0668481 s]
/proc/loadavg: 2.00 2.00 1.98 4/80 8128
/proc/meminfo: memFree=1533864/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=0
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003894283 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.10185 s]
/proc/loadavg: 2.00 2.00 1.98 4/80 8128
/proc/meminfo: memFree=1533864/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=0
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003894283 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301888 s]
/proc/loadavg: 2.00 2.00 1.98 4/80 8128
/proc/meminfo: memFree=1533864/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=0
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003894283 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701964 s]
/proc/loadavg: 2.00 2.00 1.98 4/80 8128
/proc/meminfo: memFree=1533864/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=0
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003894283 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50111 s]
/proc/loadavg: 2.00 2.00 1.98 3/82 8132
/proc/meminfo: memFree=1515992/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=0
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003894283 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 236 195 169 0 51 0
[pid=8132] ppid=8128 vsize=32488 CPUtime=1.47
/proc/8132/stat : 8132 (xsolve) R 8128 8128 5925 0 -1 4194304 7406 0 0 0 144 3 0 0 25 0 1 0 2003894284 33267712 7365 996147200 134512640 135239763 4294956176 18446744073709551615 134524375 0 0 4096 0 0 0 0 17 1 0 0
/proc/8132/statm: 8122 7365 355 177 0 7025 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 37848

[startup+3.10141 s]
/proc/loadavg: 2.00 2.00 1.98 3/82 8132
/proc/meminfo: memFree=1496344/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=0
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003894283 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 236 195 169 0 51 0
[pid=8132] ppid=8128 vsize=62464 CPUtime=3.05
/proc/8132/stat : 8132 (xsolve) R 8128 8128 5925 0 -1 4194304 14889 0 0 0 297 8 0 0 25 0 1 0 2003894284 63963136 14848 996147200 134512640 135239763 4294956176 18446744073709551615 134642428 0 0 4096 0 0 0 0 17 1 0 0
/proc/8132/statm: 15616 14848 355 177 0 14519 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 67824

[startup+6.30202 s]
/proc/loadavg: 2.00 2.00 1.98 3/82 8132
/proc/meminfo: memFree=1455704/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=5.88
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 375 21008 0 0 0 0 576 12 18 0 1 0 2003894283 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 5360

[startup+12.7022 s]
/proc/loadavg: 2.00 2.00 1.98 3/90 8144
/proc/meminfo: memFree=1507992/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=5.88
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 375 21008 0 0 0 0 576 12 18 0 1 0 2003894283 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 238 196 169 0 51 0
[pid=8136] ppid=8128 vsize=197432 CPUtime=6.3
/proc/8136/stat : 8136 (java) S 8128 8128 5925 0 -1 0 13907 0 1 0 613 17 0 0 18 0 10 0 2003894879 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8136/statm: 49358 9477 2544 9 0 43940 0
[pid=8136/tid=8137] ppid=8128 vsize=197432 CPUtime=4.91
/proc/8136/task/8137/stat : 8137 (java) S 8128 8128 5925 0 -1 64 3965 0 1 0 485 6 0 0 25 0 10 0 2003894880 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8136/tid=8138] ppid=8128 vsize=197432 CPUtime=1.12
/proc/8136/task/8138/stat : 8138 (java) S 8128 8128 5925 0 -1 64 8473 0 0 0 103 9 0 0 16 0 10 0 2003894881 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8139] ppid=8128 vsize=197432 CPUtime=0
/proc/8136/task/8139/stat : 8139 (java) S 8128 8128 5925 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003894881 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8140] ppid=8128 vsize=197432 CPUtime=0
/proc/8136/task/8140/stat : 8140 (java) S 8128 8128 5925 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003894881 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8141] ppid=8128 vsize=197432 CPUtime=0
/proc/8136/task/8141/stat : 8141 (java) S 8128 8128 5925 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003894884 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8142] ppid=8128 vsize=197432 CPUtime=0.23
/proc/8136/task/8142/stat : 8142 (java) S 8128 8128 5925 0 -1 64 667 0 0 0 23 0 0 0 15 0 10 0 2003894884 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8143] ppid=8128 vsize=197432 CPUtime=0
/proc/8136/task/8143/stat : 8143 (java) S 8128 8128 5925 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003894884 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8144] ppid=8128 vsize=197432 CPUtime=0
/proc/8136/task/8144/stat : 8144 (java) S 8128 8128 5925 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2003894884 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 202792

[startup+25.5026 s]
/proc/loadavg: 2.00 2.00 1.98 3/102 8156
/proc/meminfo: memFree=1303608/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=5.88
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 375 21008 0 0 0 0 576 12 18 0 1 0 2003894283 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 238 196 169 0 51 0
[pid=8136] ppid=8128 vsize=197432 CPUtime=6.3
/proc/8136/stat : 8136 (java) S 8128 8128 5925 0 -1 0 13933 0 1 0 613 17 0 0 18 0 10 0 2003894879 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8136/statm: 49358 9477 2544 9 0 43940 0
[pid=8146] ppid=8136 vsize=5356 CPUtime=0
/proc/8146/stat : 8146 (abscon) S 8136 8128 5925 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2003895528 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8146/statm: 1339 237 196 169 0 50 0
[pid=8147] ppid=8146 vsize=655328 CPUtime=13.02
/proc/8147/stat : 8147 (java) S 8146 8128 5925 0 -1 0 54633 0 1 0 1274 28 0 0 18 0 9 0 2003895529 671055872 53337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8147/statm: 163832 53337 2614 9 0 158360 0
[pid=8147/tid=8149] ppid=8146 vsize=655328 CPUtime=11.06
/proc/8147/task/8149/stat : 8149 (java) R 8146 8128 5925 0 -1 64 12500 0 1 0 1095 11 0 0 25 0 9 0 2003895530 671055872 53337 996147200 134512640 134550740 4294955808 18446744073709551615 4126805250 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8150] ppid=8146 vsize=655328 CPUtime=1.72
/proc/8147/task/8150/stat : 8150 (java) S 8146 8128 5925 0 -1 64 41079 0 0 0 157 15 0 0 16 0 9 0 2003895531 671055872 53337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8151] ppid=8146 vsize=655328 CPUtime=0
/proc/8147/task/8151/stat : 8151 (java) S 8146 8128 5925 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003895531 671055872 53337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8152] ppid=8146 vsize=655328 CPUtime=0
/proc/8147/task/8152/stat : 8152 (java) S 8146 8128 5925 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003895531 671055872 53337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8153] ppid=8146 vsize=655328 CPUtime=0
/proc/8147/task/8153/stat : 8153 (java) S 8146 8128 5925 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003895533 671055872 53337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8154] ppid=8146 vsize=655328 CPUtime=0.21
/proc/8147/task/8154/stat : 8154 (java) S 8146 8128 5925 0 -1 64 508 0 0 0 21 0 0 0 16 0 9 0 2003895533 671055872 53337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8155] ppid=8146 vsize=655328 CPUtime=0
/proc/8147/task/8155/stat : 8155 (java) S 8146 8128 5925 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003895533 671055872 53337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8156] ppid=8146 vsize=655328 CPUtime=0
/proc/8147/task/8156/stat : 8156 (java) S 8146 8128 5925 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003895533 671055872 53337 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8148] ppid=8146 vsize=7044 CPUtime=0
/proc/8148/stat : 8148 (translate) S 8146 8128 5925 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003895529 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255236735058 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/8148/statm: 1761 213 182 1 0 41 0
[pid=8136/tid=8137] ppid=8128 vsize=197432 CPUtime=4.91
/proc/8136/task/8137/stat : 8137 (java) S 8128 8128 5925 0 -1 64 3965 0 1 0 485 6 0 0 25 0 10 0 2003894880 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8136/tid=8138] ppid=8128 vsize=197432 CPUtime=1.12
/proc/8136/task/8138/stat : 8138 (java) S 8128 8128 5925 0 -1 64 8476 0 0 0 103 9 0 0 16 0 10 0 2003894881 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8139] ppid=8128 vsize=197432 CPUtime=0
/proc/8136/task/8139/stat : 8139 (java) S 8128 8128 5925 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003894881 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8140] ppid=8128 vsize=197432 CPUtime=0
/proc/8136/task/8140/stat : 8140 (java) S 8128 8128 5925 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003894881 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8141] ppid=8128 vsize=197432 CPUtime=0
/proc/8136/task/8141/stat : 8141 (java) S 8128 8128 5925 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003894884 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8142] ppid=8128 vsize=197432 CPUtime=0.23
/proc/8136/task/8142/stat : 8142 (java) S 8128 8128 5925 0 -1 64 667 0 0 0 23 0 0 0 15 0 10 0 2003894884 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8143] ppid=8128 vsize=197432 CPUtime=0
/proc/8136/task/8143/stat : 8143 (java) S 8128 8128 5925 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003894884 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8144] ppid=8128 vsize=197432 CPUtime=0
/proc/8136/task/8144/stat : 8144 (java) S 8128 8128 5925 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2003894884 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8145] ppid=8128 vsize=197432 CPUtime=0
/proc/8136/task/8145/stat : 8145 (java) S 8128 8128 5925 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003895528 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 870520

[startup+51.1024 s]
/proc/loadavg: 2.00 2.00 1.98 3/102 8156
/proc/meminfo: memFree=1303224/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=5.88
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 375 21008 0 0 0 0 576 12 18 0 1 0 2003894283 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 238 196 169 0 51 0
[pid=8136] ppid=8128 vsize=197432 CPUtime=6.3
/proc/8136/stat : 8136 (java) S 8128 8128 5925 0 -1 0 13933 0 1 0 613 17 0 0 18 0 10 0 2003894879 202170368 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8136/statm: 49358 9477 2544 9 0 43940 0
[pid=8146] ppid=8136 vsize=5356 CPUtime=0
/proc/8146/stat : 8146 (abscon) S 8136 8128 5925 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2003895528 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8146/statm: 1339 237 196 169 0 50 0
[pid=8147] ppid=8146 vsize=655328 CPUtime=38.61
/proc/8147/stat : 8147 (java) S 8146 8128 5925 0 -1 0 54658 0 1 0 3832 29 0 0 18 0 9 0 2003895529 671055872 53353 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8147/statm: 163832 53353 2614 9 0 158360 0
[pid=8147/tid=8149] ppid=8146 vsize=655328 CPUtime=36.61
/proc/8147/task/8149/stat : 8149 (java) R 8146 8128 5925 0 -1 64 12503 0 1 0 3649 12 0 0 25 0 9 0 2003895530 671055872 53353 996147200 134512640 134550740 4294955808 18446744073709551615 4126805250 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8150] ppid=8146 vsize=655328 CPUtime=1.72
/proc/8147/task/8150/stat : 8150 (java) S 8146 8128 5925 0 -1 64 41079 0 0 0 157 15 0 0 16 0 9 0 2003895531 671055872 53353 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8151] ppid=8146 vsize=655328 CPUtime=0
/proc/8147/task/8151/stat : 8151 (java) S 8146 8128 5925 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003895531 671055872 53353 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8152] ppid=8146 vsize=655328 CPUtime=0
/proc/8147/task/8152/stat : 8152 (java) S 8146 8128 5925 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003895531 671055872 53353 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8153] ppid=8146 vsize=655328 CPUtime=0
/proc/8147/task/8153/stat : 8153 (java) S 8146 8128 5925 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003895533 671055872 53353 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8154] ppid=8146 vsize=655328 CPUtime=0.24
/proc/8147/task/8154/stat : 8154 (java) S 8146 8128 5925 0 -1 64 530 0 0 0 24 0 0 0 16 0 9 0 2003895533 671055872 53353 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8147/tid=8155] ppid=8146 vsize=655328 CPUtime=0

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

[pid=8187] ppid=8136 vsize=5356 CPUtime=0
/proc/8187/stat : 8187 (mistral) S 8136 8128 5925 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 2003924812 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8187/statm: 1339 238 198 169 0 50 0
[pid=8188] ppid=8187 vsize=84260 CPUtime=399.93
/proc/8188/stat : 8188 (xsolve) R 8187 8128 5925 0 -1 4194304 20387 0 0 0 39981 12 0 0 25 0 1 0 2003924813 86282240 20351 996147200 134512640 135239763 4294955952 18446744073709551615 135013628 0 4 0 0 0 0 0 17 1 0 0
/proc/8188/statm: 21065 20351 393 177 0 19968 0
[pid=8136/tid=8137] ppid=8128 vsize=197756 CPUtime=294.89
/proc/8136/task/8137/stat : 8137 (java) S 8128 8128 5925 0 -1 64 4046 55235 1 1 485 6 28959 39 16 0 10 0 2003894880 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8136/tid=8138] ppid=8128 vsize=197756 CPUtime=291.1
/proc/8136/task/8138/stat : 8138 (java) S 8128 8128 5925 0 -1 64 8500 55235 0 1 103 9 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8139] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8139/stat : 8139 (java) S 8128 8128 5925 0 -1 64 11 55235 0 1 0 0 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8140] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8140/stat : 8140 (java) S 8128 8128 5925 0 -1 64 5 55235 0 1 0 0 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8141] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8141/stat : 8141 (java) S 8128 8128 5925 0 -1 64 1 55235 0 1 0 0 28959 39 18 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8142] ppid=8128 vsize=197756 CPUtime=290.22
/proc/8136/task/8142/stat : 8142 (java) S 8128 8128 5925 0 -1 64 700 55235 0 1 24 0 28959 39 16 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8143] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8143/stat : 8143 (java) S 8128 8128 5925 0 -1 64 1 55235 0 1 0 0 28959 39 19 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8144] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8144/stat : 8144 (java) S 8128 8128 5925 0 -1 64 37 55235 0 1 0 0 28959 39 15 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8186] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8186/stat : 8186 (java) S 8128 8128 5925 0 -1 64 50 55235 0 1 0 0 28959 39 17 0 10 0 2003924811 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 292732

[startup+709.508 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 8188
/proc/meminfo: memFree=1476672/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=5.88
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 375 21008 0 0 0 0 576 12 18 0 1 0 2003894283 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 238 196 169 0 51 0
[pid=8136] ppid=8128 vsize=197756 CPUtime=296.29
/proc/8136/stat : 8136 (java) S 8128 8128 5925 0 -1 0 14132 55235 1 1 613 18 28959 39 18 0 10 0 2003894879 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8136/statm: 49439 9483 2545 9 0 44021 0
[pid=8187] ppid=8136 vsize=5356 CPUtime=0
/proc/8187/stat : 8187 (mistral) S 8136 8128 5925 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 2003924812 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8187/statm: 1339 238 198 169 0 50 0
[pid=8188] ppid=8187 vsize=84260 CPUtime=400.73
/proc/8188/stat : 8188 (xsolve) R 8187 8128 5925 0 -1 4194304 20387 0 0 0 40061 12 0 0 25 0 1 0 2003924813 86282240 20351 996147200 134512640 135239763 4294955952 18446744073709551615 135013649 0 4 0 0 0 0 0 17 1 0 0
/proc/8188/statm: 21065 20351 393 177 0 19968 0
[pid=8136/tid=8137] ppid=8128 vsize=197756 CPUtime=294.89
/proc/8136/task/8137/stat : 8137 (java) S 8128 8128 5925 0 -1 64 4046 55235 1 1 485 6 28959 39 16 0 10 0 2003894880 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8136/tid=8138] ppid=8128 vsize=197756 CPUtime=291.1
/proc/8136/task/8138/stat : 8138 (java) S 8128 8128 5925 0 -1 64 8500 55235 0 1 103 9 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8139] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8139/stat : 8139 (java) S 8128 8128 5925 0 -1 64 11 55235 0 1 0 0 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8140] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8140/stat : 8140 (java) S 8128 8128 5925 0 -1 64 5 55235 0 1 0 0 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8141] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8141/stat : 8141 (java) S 8128 8128 5925 0 -1 64 1 55235 0 1 0 0 28959 39 18 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8142] ppid=8128 vsize=197756 CPUtime=290.22
/proc/8136/task/8142/stat : 8142 (java) S 8128 8128 5925 0 -1 64 700 55235 0 1 24 0 28959 39 16 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8143] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8143/stat : 8143 (java) S 8128 8128 5925 0 -1 64 1 55235 0 1 0 0 28959 39 19 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8144] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8144/stat : 8144 (java) S 8128 8128 5925 0 -1 64 37 55235 0 1 0 0 28959 39 15 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8186] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8186/stat : 8186 (java) S 8128 8128 5925 0 -1 64 50 55235 0 1 0 0 28959 39 17 0 10 0 2003924811 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702.9
Current children cumulated vsize (KiB) 292732

[startup+709.902 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 8188
/proc/meminfo: memFree=1476672/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=5.88
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 375 21008 0 0 0 0 576 12 18 0 1 0 2003894283 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 238 196 169 0 51 0
[pid=8136] ppid=8128 vsize=197756 CPUtime=296.29
/proc/8136/stat : 8136 (java) S 8128 8128 5925 0 -1 0 14132 55235 1 1 613 18 28959 39 18 0 10 0 2003894879 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8136/statm: 49439 9483 2545 9 0 44021 0
[pid=8187] ppid=8136 vsize=5356 CPUtime=0
/proc/8187/stat : 8187 (mistral) S 8136 8128 5925 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 2003924812 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8187/statm: 1339 238 198 169 0 50 0
[pid=8188] ppid=8187 vsize=84260 CPUtime=401.12
/proc/8188/stat : 8188 (xsolve) R 8187 8128 5925 0 -1 4194304 20387 0 0 0 40100 12 0 0 25 0 1 0 2003924813 86282240 20351 996147200 134512640 135239763 4294955952 18446744073709551615 135013649 0 4 0 0 0 0 0 17 1 0 0
/proc/8188/statm: 21065 20351 393 177 0 19968 0
[pid=8136/tid=8137] ppid=8128 vsize=197756 CPUtime=294.89
/proc/8136/task/8137/stat : 8137 (java) S 8128 8128 5925 0 -1 64 4046 55235 1 1 485 6 28959 39 16 0 10 0 2003894880 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8136/tid=8138] ppid=8128 vsize=197756 CPUtime=291.1
/proc/8136/task/8138/stat : 8138 (java) S 8128 8128 5925 0 -1 64 8500 55235 0 1 103 9 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8139] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8139/stat : 8139 (java) S 8128 8128 5925 0 -1 64 11 55235 0 1 0 0 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8140] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8140/stat : 8140 (java) S 8128 8128 5925 0 -1 64 5 55235 0 1 0 0 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8141] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8141/stat : 8141 (java) S 8128 8128 5925 0 -1 64 1 55235 0 1 0 0 28959 39 18 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8142] ppid=8128 vsize=197756 CPUtime=290.22
/proc/8136/task/8142/stat : 8142 (java) S 8128 8128 5925 0 -1 64 700 55235 0 1 24 0 28959 39 16 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8143] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8143/stat : 8143 (java) S 8128 8128 5925 0 -1 64 1 55235 0 1 0 0 28959 39 19 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8144] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8144/stat : 8144 (java) S 8128 8128 5925 0 -1 64 37 55235 0 1 0 0 28959 39 15 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8186] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8186/stat : 8186 (java) S 8128 8128 5925 0 -1 64 50 55235 0 1 0 0 28959 39 17 0 10 0 2003924811 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 703.29
Current children cumulated vsize (KiB) 292732

[startup+710.102 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 8188
/proc/meminfo: memFree=1476672/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=5.88
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 375 21008 0 0 0 0 576 12 18 0 1 0 2003894283 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 238 196 169 0 51 0
[pid=8136] ppid=8128 vsize=197756 CPUtime=296.29
/proc/8136/stat : 8136 (java) S 8128 8128 5925 0 -1 0 14133 55235 1 1 613 18 28959 39 18 0 10 0 2003894879 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8136/statm: 49439 9483 2545 9 0 44021 0
[pid=8187] ppid=8136 vsize=5356 CPUtime=0
/proc/8187/stat : 8187 (mistral) S 8136 8128 5925 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 2003924812 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8187/statm: 1339 238 198 169 0 50 0
[pid=8188] ppid=8187 vsize=78248 CPUtime=401.32
/proc/8188/stat : 8188 (xsolve) R 8187 8128 5925 0 -1 4194304 20402 0 0 0 40119 13 0 0 25 0 1 0 2003924813 80125952 18863 996147200 134512640 135239763 4294955952 18446744073709551615 7601265 0 4 0 0 0 0 0 17 1 0 0
/proc/8188/statm: 19562 18863 408 177 0 18465 0
[pid=8136/tid=8137] ppid=8128 vsize=197756 CPUtime=294.89
/proc/8136/task/8137/stat : 8137 (java) S 8128 8128 5925 0 -1 64 4047 55235 1 1 485 6 28959 39 16 0 10 0 2003894880 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8136/tid=8138] ppid=8128 vsize=197756 CPUtime=291.1
/proc/8136/task/8138/stat : 8138 (java) S 8128 8128 5925 0 -1 64 8500 55235 0 1 103 9 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8139] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8139/stat : 8139 (java) S 8128 8128 5925 0 -1 64 11 55235 0 1 0 0 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8140] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8140/stat : 8140 (java) S 8128 8128 5925 0 -1 64 5 55235 0 1 0 0 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8141] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8141/stat : 8141 (java) S 8128 8128 5925 0 -1 64 1 55235 0 1 0 0 28959 39 18 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8142] ppid=8128 vsize=197756 CPUtime=290.22
/proc/8136/task/8142/stat : 8142 (java) S 8128 8128 5925 0 -1 64 700 55235 0 1 24 0 28959 39 16 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8143] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8143/stat : 8143 (java) S 8128 8128 5925 0 -1 64 1 55235 0 1 0 0 28959 39 19 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8144] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8144/stat : 8144 (java) S 8128 8128 5925 0 -1 64 37 55235 0 1 0 0 28959 39 15 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8186] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8186/stat : 8186 (java) S 8128 8128 5925 0 -1 64 50 55235 0 1 0 0 28959 39 17 0 10 0 2003924811 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 703.49
Current children cumulated vsize (KiB) 286720

[startup+710.202 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 8188
/proc/meminfo: memFree=1476672/2055920 swapFree=4180456/4192956
[pid=8128] ppid=8126 vsize=5360 CPUtime=5.88
/proc/8128/stat : 8128 (hydra) S 8126 8128 5925 0 -1 4194304 375 21008 0 0 0 0 576 12 18 0 1 0 2003894283 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8128/statm: 1340 238 196 169 0 51 0
[pid=8136] ppid=8128 vsize=197756 CPUtime=296.29
/proc/8136/stat : 8136 (java) S 8128 8128 5925 0 -1 0 14133 55235 1 1 613 18 28959 39 18 0 10 0 2003894879 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8136/statm: 49439 9483 2545 9 0 44021 0
[pid=8187] ppid=8136 vsize=5356 CPUtime=0
/proc/8187/stat : 8187 (mistral) S 8136 8128 5925 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 2003924812 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8187/statm: 1339 238 198 169 0 50 0
[pid=8188] ppid=8187 vsize=0 CPUtime=401.42
/proc/8188/stat : 8188 (xsolve) R 8187 8128 5925 0 -1 4194308 20403 0 0 0 40129 13 0 0 25 0 1 0 2003924813 0 0 996147200 0 0 0 0 0 0 4 0 0 0 0 0 17 1 0 0
/proc/8188/statm: 0 0 0 0 0 0 0
[pid=8136/tid=8137] ppid=8128 vsize=197756 CPUtime=294.89
/proc/8136/task/8137/stat : 8137 (java) S 8128 8128 5925 0 -1 64 4047 55235 1 1 485 6 28959 39 16 0 10 0 2003894880 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8136/tid=8138] ppid=8128 vsize=197756 CPUtime=291.1
/proc/8136/task/8138/stat : 8138 (java) S 8128 8128 5925 0 -1 64 8500 55235 0 1 103 9 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8139] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8139/stat : 8139 (java) S 8128 8128 5925 0 -1 64 11 55235 0 1 0 0 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8140] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8140/stat : 8140 (java) S 8128 8128 5925 0 -1 64 5 55235 0 1 0 0 28959 39 16 0 10 0 2003894881 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8141] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8141/stat : 8141 (java) S 8128 8128 5925 0 -1 64 1 55235 0 1 0 0 28959 39 18 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8142] ppid=8128 vsize=197756 CPUtime=290.22
/proc/8136/task/8142/stat : 8142 (java) S 8128 8128 5925 0 -1 64 700 55235 0 1 24 0 28959 39 16 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8143] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8143/stat : 8143 (java) S 8128 8128 5925 0 -1 64 1 55235 0 1 0 0 28959 39 19 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8144] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8144/stat : 8144 (java) S 8128 8128 5925 0 -1 64 37 55235 0 1 0 0 28959 39 15 0 10 0 2003894884 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8136/tid=8186] ppid=8128 vsize=197756 CPUtime=289.98
/proc/8136/task/8186/stat : 8186 (java) S 8128 8128 5925 0 -1 64 50 55235 0 1 0 0 28959 39 17 0 10 0 2003924811 202502144 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 703.59
Current children cumulated vsize (KiB) 208472

Child status: 0
Real time (s): 710.246
CPU time (s): 703.673
CPU user time (s): 702.8
CPU system time (s): 0.872867
CPU usage (%): 99.0745
Max. virtual memory (cumulated for all children) (KiB): 871524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 702.8
system time used= 0.872867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111601
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= 30535
involuntary context switches= 45069

runsolver used 1.9597 second user time and 4.31334 second system time

The end

Launcher Data (download as text)

Begin job on node19 at 2008-07-05 11:13:19
IDJOB=1093250
IDBENCH=58693
IDSOLVER=366
FILE ID=node19/1093250-1215249196
PBS_JOBID= 7881910
Free space on /tmp= 66500 MiB

SOLVER NAME= cpHydra k_40
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-25.xml
COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093250-1215249196/watcher-1093250-1215249196 -o /tmp/evaluation-result-1093250-1215249196/solver-1093250-1215249196 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/cpHydra_k_40/hydra HOME/instance-1093250-1215249196.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 023732cc0721336f3d429756d01d8832
RANDOM SEED=1535024265

node19.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	: 5931.00
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:       1534344 kB
Buffers:         11376 kB
Cached:         213464 kB
SwapCached:       6496 kB
Active:         391740 kB
Inactive:        73028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1534344 kB
SwapTotal:     4192956 kB
SwapFree:      4180456 kB
Dirty:           54968 kB
Writeback:           0 kB
Mapped:         256348 kB
Slab:            41532 kB
Committed_AS:  4268952 kB
PageTables:       2312 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= 66476 MiB
End job on node19 at 2008-07-05 11:25:09