Trace number 1085659

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 684.029 688.333

DiagnosticValue
ASSIGNMENTS3004
CHECKS61181600

General information on the benchmark

Namecsp/fapp/fapp40/
normalized-fapp40-3000-7.xml
MD5SUM03c519ee722ebb3400aacaf8b7a2d565
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark72.287
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints53548
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension53548
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
609.59/612.36	c CASE TO CLASSIFY:
609.59/612.36	c Case: 0
609.59/612.37	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >  16.236200 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.59/612.38	c choco : 1801.0
609.59/612.38	c mistral : 1801.0
609.59/612.38	c abscon : 1801.0
609.59/612.38	c
609.59/612.38	c
609.68/612.45	c List of same ones: 40
609.68/612.45	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-10.xml
609.68/612.45	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.199670 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.68/612.46	c choco : 1801.0
609.68/612.46	c mistral : 1800.08
609.68/612.46	c abscon : 76.7213
609.68/612.46	c
609.68/612.46	c
609.68/612.46	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-9.xml
609.68/612.46	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.199670 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.68/612.47	c choco : 1801.0
609.68/612.47	c mistral : 1800.06
609.68/612.47	c abscon : 72.15
609.68/612.47	c
609.68/612.47	c
609.68/612.47	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-8.xml
609.68/612.47	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.179910 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.68/612.47	c choco : 1801.0
609.68/612.48	c mistral : 1800.08
609.68/612.48	c abscon : 61.9576
609.68/612.48	c
609.68/612.48	c
609.68/612.48	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-2.xml
609.68/612.48	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.118940 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.68/612.48	c choco : 1801.0
609.68/612.48	c mistral : 1800.09
609.68/612.48	c abscon : 15.7326
609.68/612.48	c
609.68/612.48	c
609.68/612.48	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-3.xml
609.68/612.48	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.108520 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.68/612.49	c choco : 1801.0
609.68/612.49	c mistral : 1800.08
609.68/612.49	c abscon : 16.2085
609.68/612.49	c
609.68/612.49	c
609.68/612.49	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-6.xml
609.68/612.49	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.108520 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.50	c choco : 1801.0
609.77/612.50	c mistral : 1800.11
609.77/612.50	c abscon : 56.2494
609.77/612.50	c
609.77/612.50	c
609.77/612.50	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-7.xml
609.77/612.50	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.108520 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.51	c choco : 1801.0
609.77/612.51	c mistral : 1800.05
609.77/612.51	c abscon : 57.1643
609.77/612.51	c
609.77/612.51	c
609.77/612.51	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-1.xml
609.77/612.51	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.076820 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.52	c choco : 1801.0
609.77/612.52	c mistral : 1800.03
609.77/612.52	c abscon : 16.8424
609.77/612.52	c
609.77/612.52	c
609.77/612.52	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-0.xml
609.77/612.52	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.066090 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.53	c choco : 1801.0
609.77/612.53	c mistral : 1800.04
609.77/612.53	c abscon : 16.5865
609.77/612.53	c
609.77/612.53	c
609.77/612.53	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-4.xml
609.77/612.53	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.066090 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.53	c choco : 1801.0
609.77/612.53	c mistral : 1800.05
609.77/612.53	c abscon : 50.0494
609.77/612.53	c
609.77/612.53	c
609.77/612.53	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-5.xml
609.77/612.53	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.066090 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | 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 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.54	c choco : 1801.0
609.77/612.54	c mistral : 1800.05
609.77/612.55	c abscon : 50.7403
609.77/612.55	c
609.77/612.55	c
609.77/612.55	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-10.xml
609.77/612.55	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   7.118940 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | 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 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.56	c choco : 1801.0
609.77/612.56	c mistral : 1800.11
609.77/612.56	c abscon : 63.4264
609.77/612.56	c
609.77/612.56	c
609.77/612.56	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-8.xml
609.77/612.56	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   7.022370 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | 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 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.57	c choco : 1801.0
609.77/612.57	c mistral : 1800.07
609.77/612.57	c abscon : 60.5128
609.77/612.57	c
609.77/612.57	c
609.77/612.57	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-9.xml
609.77/612.57	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   7.022370 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | 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 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.57	c choco : 1801.0
609.77/612.57	c mistral : 1800.05
609.77/612.57	c abscon : 61.2877
609.77/612.57	c
609.77/612.57	c
609.77/612.57	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-7.xml
609.77/612.57	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.988680 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | 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 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.59	c choco : 1801.0
609.77/612.59	c mistral : 1800.03
609.77/612.59	c abscon : 47.3168
609.77/612.59	c
609.77/612.59	c
609.77/612.59	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-3.xml
609.77/612.59	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.977280 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | 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 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.59	c choco : 1801.0
609.77/612.59	c mistral : 1800.03
609.77/612.59	c abscon : 40.7268
609.77/612.59	c
609.77/612.59	c
609.77/612.59	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-4.xml
609.77/612.59	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.930740 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | 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 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.77/612.60	c choco : 1801.0
609.77/612.60	c mistral : 1800.08
609.77/612.60	c abscon : 44.5392
609.77/612.60	c
609.77/612.60	c
609.77/612.60	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-5.xml
609.77/612.60	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.906890 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | 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 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.60	c choco : 1801.0
609.85/612.60	c mistral : 1800.04
609.85/612.60	c abscon : 45.897
609.85/612.60	c
609.85/612.60	c
609.85/612.61	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-1.xml
609.85/612.61	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.845490 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | 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 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.61	c choco : 1801.0
609.85/612.61	c mistral : 992.64
609.85/612.61	c abscon : 16.1165
609.85/612.61	c
609.85/612.61	c
609.85/612.61	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-0.xml
609.85/612.61	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.832890 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | 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 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.62	c choco : 1801.0
609.85/612.62	c mistral : 1800.04
609.85/612.62	c abscon : 15.1307
609.85/612.62	c
609.85/612.62	c
609.85/612.62	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-2.xml
609.85/612.62	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.832890 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | 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 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.63	c choco : 1801.0
609.85/612.63	c mistral : 1800.11
609.85/612.63	c abscon : 15.5996
609.85/612.63	c
609.85/612.63	c
609.85/612.63	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-6.xml
609.85/612.63	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.832890 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | 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 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.63	c choco : 1801.0
609.85/612.63	c mistral : 1800.03
609.85/612.63	c abscon : 47.1378
609.85/612.63	c
609.85/612.63	c
609.85/612.63	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
609.85/612.63	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.459430 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | 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 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.64	c choco : 1801.0
609.85/612.64	c mistral : 91.925
609.85/612.64	c abscon : 8.97863
609.85/612.64	c
609.85/612.64	c
609.85/612.64	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
609.85/612.64	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.442940 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | 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 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.64	c choco : 1801.0
609.85/612.64	c mistral : 1800.05
609.85/612.64	c abscon : 15.7666
609.85/612.64	c
609.85/612.64	c
609.85/612.64	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
609.85/612.64	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.400880 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | 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 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.65	c choco : 1801.0
609.85/612.65	c mistral : 93.1378
609.85/612.65	c abscon : 8.34573
609.85/612.65	c
609.85/612.65	c
609.85/612.65	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
609.85/612.65	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.400880 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | 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 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.66	c choco : 1801.0
609.85/612.66	c mistral : 574.22
609.85/612.66	c abscon : 8.86065
609.85/612.66	c
609.85/612.66	c
609.85/612.66	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
609.85/612.66	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.392320 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | 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 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.66	c choco : 1801.0
609.85/612.66	c mistral : 81.4106
609.85/612.66	c abscon : 8.81466
609.85/612.66	c
609.85/612.66	c
609.85/612.66	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
609.85/612.66	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | 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 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.67	c choco : 1801.0
609.85/612.67	c mistral : 1800.03
609.85/612.67	c abscon : 16.9624
609.85/612.67	c
609.85/612.67	c
609.85/612.67	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
609.85/612.67	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | 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 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.67	c choco : 1801.0
609.85/612.67	c mistral : 69.4484
609.85/612.67	c abscon : 8.71567
609.85/612.67	c
609.85/612.67	c
609.85/612.67	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
609.85/612.67	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | 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 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.68	c choco : 1801.0
609.85/612.68	c mistral : 146.325
609.85/612.68	c abscon : 9.08962
609.85/612.68	c
609.85/612.68	c
609.85/612.68	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
609.85/612.68	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | 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 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.68	c choco : 1801.0
609.85/612.68	c mistral : 182.049
609.85/612.68	c abscon : 8.90564
609.85/612.68	c
609.85/612.68	c
609.85/612.68	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
609.85/612.68	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | 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 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.69	c choco : 1801.0
609.85/612.69	c mistral : 744.68
609.85/612.69	c abscon : 15.7856
609.85/612.69	c
609.85/612.69	c
609.85/612.69	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
609.85/612.69	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | 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 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.69	c choco : 1801.0
609.85/612.69	c mistral : 1800.06
609.85/612.69	c abscon : 16.5685
609.85/612.69	c
609.85/612.69	c
609.85/612.69	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-10.xml
609.85/612.69	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | 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 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.85/612.70	c choco : 1801.0
609.85/612.70	c mistral : 1800.11
609.85/612.70	c abscon : 71.1032
609.85/612.70	c
609.85/612.70	c
609.85/612.70	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-4.xml
609.85/612.70	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | 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 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.91/612.71	c choco : 1801.0
609.91/612.71	c mistral : 1800.09
609.91/612.71	c abscon : 10.1455
609.91/612.71	c
609.91/612.71	c
609.91/612.71	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-6.xml
609.91/612.71	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | 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 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.91/612.71	c choco : 1801.0
609.91/612.71	c mistral : 1800.04
609.91/612.71	c abscon : 10.1615
609.91/612.71	c
609.91/612.71	c
609.91/612.71	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-7.xml
609.91/612.71	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | 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 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.91/612.72	c choco : 1801.0
609.91/612.72	c mistral : 1800.03
609.91/612.72	c abscon : 65.728
609.91/612.72	c
609.91/612.72	c
609.91/612.72	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-8.xml
609.91/612.72	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | 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 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.91/612.73	c choco : 1801.0
609.91/612.73	c mistral : 1800.03
609.91/612.73	c abscon : 68.0856
609.91/612.73	c
609.91/612.73	c
609.91/612.73	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-9.xml
609.91/612.73	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | 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 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.91/612.73	c choco : 1801.0
609.91/612.73	c mistral : 1800.04
609.91/612.73	c abscon : 74.9176
609.91/612.73	c
609.91/612.73	c
609.91/612.73	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-5.xml
609.91/612.73	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.727920 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | 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 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
609.91/612.74	c choco : 1801.0
609.91/612.74	c mistral : 1800.05
609.91/612.74	c abscon : 10.0415
609.91/612.74	c
609.91/612.74	c
609.91/612.74	c Length: 40
609.91/612.74	c 9.036529999999999  9.036529999999999  9.05629  9.11726  9.12768  9.12768  9.12768  9.15938  9.170110000000001  9.170110000000001  9.170110000000001  9.19406128478188  9.289832951653386  9.289832951653386  9.323248315427678  9.334555831271514  9.380720591315201  9.404379728447006  9.465292774385006  9.477793622823038  9.477793622823038  9.477793622823038  9.862434959314053  9.877112590296822  9.914575694209006  9.914575694209006  9.922204651598353  9.929888616887904  9.929888616887904  9.929888616887904  9.929888616887904  9.929888616887904  9.929888616887904  10.296932385686526  10.296932385686526  10.296932385686526  10.296932385686526  10.296932385686526  10.296932385686526  10.309428080204063  
609.91/612.74	c 
609.91/612.74	c 1.0  1.0  0.9847136684459652  0.9403602797691443  0.9331768422808348  0.9331768422808348  0.9331768422808348  0.9119826838794289  0.9050251817784314  0.9050251817784314  0.9050251817784314  0.8898713291002466  0.8340304151510718  0.8340304151510718  0.8161610020061759  0.8102862722411697  0.7871541632953046  0.7758036143595813  0.7480327685574294  0.7425775981088629  0.7425775981088629  0.7425775981088629  0.6064876294901496  0.6022757141669964  0.5917858455186259  0.5917858455186259  0.589694320441632  0.5876026058743777  0.5876026058743777  0.5876026058743777  0.5876026058743777  0.5876026058743777  0.5876026058743777  0.5024662874944729  0.5024662874944729  0.5024662874944729  0.5024662874944729  0.5024662874944729  0.5024662874944729  0.5  
609.91/612.76	c
609.91/612.76	c solver 0
609.91/612.76	c	  before 0.0 seconds: {} 0
609.91/612.76	c	  before 18.0 seconds: {3, 4, 7, 8, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 39} 13936
609.91/612.76	c	  before 54.0 seconds: {3, 4, 7, 8, 9, 10, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 39} 19678
609.91/612.76	c	  before 72.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 26594
609.91/612.76	c	  before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 29097
609.91/612.76	c
609.91/612.76	c solver 1
609.91/612.76	c	  before 0.0 seconds: {} 0
609.91/612.76	c	  before 72.0 seconds: {28} 587
609.91/612.76	c	  before 90.0 seconds: {26, 28} 1177
609.91/612.76	c	  before 108.0 seconds: {22, 24, 26, 28} 2375
609.91/612.76	c	  before 162.0 seconds: {22, 24, 26, 28, 29} 2963
609.91/612.76	c	  before 198.0 seconds: {22, 24, 26, 28, 29, 30} 3550
609.91/612.76	c	  before 576.0 seconds: {22, 24, 25, 26, 28, 29, 30} 4142
609.91/612.76	c	  before 756.0 seconds: {22, 24, 25, 26, 28, 29, 30, 31} 4730
609.91/612.76	c	  before 1008.0 seconds: {18, 22, 24, 25, 26, 28, 29, 30, 31} 5478
609.91/612.76	c
609.91/612.76	c solver 2
609.91/612.76	c	  before 0.0 seconds: {} 0
609.91/612.76	c
609.91/612.76	cTotal time: 61
609.91/612.76	c 1098.0 seconds unused
609.91/612.76	c 0 c 31 c 40 
609.91/612.76	c 0 c 0 c 9 
609.91/612.76	c 0 c 0 c 0 
609.91/612.76	c is solver0 dominated by:
609.91/612.76	c	solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
609.91/612.76	c	solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
609.91/612.76	c is dominated? false
609.91/612.76	c
609.91/612.76	c is solver1 dominated by:
609.91/612.76	c	solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
609.91/612.76	c is dominated? true
609.91/612.76	c
609.91/612.76	c is solver2 dominated by:
609.91/612.76	c	solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
609.91/612.76	c is dominated? true
609.91/612.76	c
609.91/612.76	c Number of non-dominated solvers: 1
609.91/612.76	c remove dominated solvers
609.91/612.76	c solver 0 is not dominated by another solver
609.91/612.76	c solver 2 is dominated by another solver
609.91/612.76	c solver 1 is dominated by another solver
609.91/612.76	c
609.91/612.76	c solver 0: 90.0
609.91/612.76	c
609.91/612.76	c+ 5/5 of 95
609.91/612.76	c
609.91/612.76	c solver 1: 0.0
609.91/612.76	c
609.91/612.76	c solver 2: 0.0
609.91/612.76	c	  run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 29097
609.91/612.76	c	 do not run mistral
609.91/612.76	c	 do not run choco
609.91/612.76	c Starting solver: HOME/cpHydra_k_40/solver/abscon
609.91/612.76	c On Instance: HOME/instance-1085659-1215478944.xml
609.91/612.76	c Running for: 1800 seconds
683.96/688.32	s SAT
683.96/688.32	v  -3414 3190 -3226 -3574 4026 -4158 -3998 -3150 -3542 -3770 -3666 -3302 -3258 4002 -4502 3574 -3298 -4174 -3550 -3886 3614 3650 -3486 3354 -4502 -3358 3730 4062 -3806 3542 3702 4166 -3626 -3870 -3510 -4134 -3318 -3990 3974 -3806 -4042 4118 3914 -4310 -4226 -4322 -3150 -4218 3974 -3502 4418 -3482 -4434 4494 -4102 -3262 4190 -4542 4282 4034 3650 -3394 4430 3890 4106 -3958 -4166 4490 -4542 -3754 4302 -3642 3286 -3730 -4298 -4502 -4542 3530 4246 4434 4322 -4178 -4026 4138 -3498 -3250 -4502 3566 -4338 3290 -4306 -4210 -3970 -3370 -4334 3166 -4118 -4214 -4086 4306 3958 -4502 3246 -3198 -4482 -3974 3714 3174 3866 3202 -3406 3762 3414 3538 3998 -4254 -3650 -3970 -3218 -3210 3998 3830 -3702 -4502 -3826 -3474 -4186 -4258 4270 -4442 3730 -3478 4254 -3406 4102 -4530 -3914 -3578 4190 3582 -3350 4230 3150 -3638 -3214 3806 -3650 -4414 -3238 -3314 3938 3694 4042 4290 -3618 -3902 -4054 3474 -3290 -4458 3442 -4290 -4298 3258 -3550 -4006 -3582 -4186 4106 4466 3222 -3586 4242 4278 -3538 -4542 -3602 -4146 -4262 -3590 -3330 -4074 3650 3530 3746 -3274 3198 -3926 3810 -4542 -3582 -3478 -3350 -3546 3306 -4134 3546 3410 3898 3982 -4470 3930 -4186 4082 -3210 4086 3190 -3354 4498 -4346 3510 3390 -4522 -4190 -4426 3622 -3242 3194 -3302 -3154 3210 -4106 3522 -4122 3710 4226 -3910 -4446 3854 3190 -3566 4450 -4174 -3638 4002 -3506 -4426 -3598 4490 -3202 -4386 -3246 4138 3318 -3190 -4542 4330 -3954 3814 3258 3698 -3306 3782 3770 3810 3918 -3330 4206 -3286 -3726 -3574 -4302 4014 -4146 3398 3210 -3434 -3158 -3586 -3610 -4422 -3582 -3946 -3286 4174 3414 -3534 -4538 -3810 3638 3150 -4482 3618 -4522 -3638 -3558 3202 4462 4130 -3806 -3750 -4322 -4346 -3546 3150 -4318 -3190 -3302 3690 -3190 -4014 -4422 -4006 3266 3702 -3670 -3782 -3630 3606 3466 3842 3814 4462 -4338 -3650 -4542 -3310 -3734 -4486 -3558 3446 -4186 -4118 4426 -4278 4398 3662 -3198 -3154 -3158 -3302 4226 -3426 -3778 -3418 -3758 4230 4490 -4422 -4350 -3238 3302 -4522 -3574 -3958 -3718 4186 -3642 3966 -3518 3150 3330 4166 3582 -3594 3218 -3974 -3354 3422 -3366 3354 -4166 -4398 3382 3326 -3670 3334 4166 4138 -3258 -3866 -3762 -3350 4330 3798 -4502 -3650 -4114 -4330 -4522 -4230 3474 -3478 -4530 -3194 3766 -4422 3650 -3182 3330 -4090 3574 3690 -3578 3202 -3690 -4146 -3302 3850 -4230 -3426 -4158 4502 -3594 -4322 4462 -4410 -3462 4410 4238 -4146 3382 -3322 3314 4186 -4306 3278 -3574 -3302 3518 -3822 3614 -4082 3822 4122 -3714 -4046 -4254 -4266 -3370 -3266 -3566 -3582 -4502 4350 -3558 -3254 3250 3446 -3486 3386 3338 -3906 -4294 3602 4374 -3262 -4482 -3518 -3630 3586 -4462 3210 -3290 4146 -3330 3362 3510 3438 -3550 -3470 -4238 -3254 3414 -3698 3294 -3910 3442 -3446 -4306 -4454 -4470 4214 -4066 3222 -3954 3590 3386 -3678 3614 4298 -4274 3606 3190 4342 -3190 4334 3170 -3170 4470 -3454 -3354 3974 4202 -3306 -4502 3158 -3298 -4162 4202 -4014 -4502 -4382 -3642 -4390 -4130 -3286 -3650 3770 -4178 -3206 3158 -4282 4210 4506 -4502 4198 -3310 -3586 -3366 4502 3646 -4502 -4414 -3614 3962 -3382 -4014 3346 3882 -4522 4434 -4202 -3634 4078 4030 -3298 3150 -3998 3218 3194 3602 -3434 3714 -3206 4094 3334 -4502 3402 4126 -3766 -4438 -4366 -3758 -3974 3770 -3558 -4134 3978 -3934 -4466 3150 4074 -3690 3314 3966 3586 -4470 4366 3306 -3690 3790 4338 -3286 -4342 -3914 -3638 4186 -4030 -3622 3602 3422 -4146 -3822 -3594 3586 -4350 -3582 -4502 -3810 -3574 3662 -4358 -3206 4242 -3562 -4026 -4462 -4522 4514 3394 4134 -3974 -3510 -3638 4518 -4010 -3730 -4146 -4186 -3490 4262 -3222 3238 -4086 -4182 -3682 -3574 -3194 3826 -4386 -4282 -4214 3958 -3770 4446 -4374 -3198 3438 3374 3718 -3562 -3862 -3586 -3798 3550 -3446 -4042 4034 3958 -3678 -4118 4126 -4398 3998 -3666 3974 -4522 3994 -3338 -3278 -3698 -3966 4050 -4082 3690 -3270 -3190 3830 -3638 -4478 3150 -3678 -3150 3210 -3310 3494 -3242 4006 -3574 -3634 -3262 -3406 -3638 -3622 -3174 4102 4274 3630 -4502 3934 4010 4206 -3194 3594 4326 -4334 -4146 4482 -3474 -3870 3806 -3218 3230 -3686 -4030 -3626 -3818 3214 -3738 3502 -4218 4410 3430 -4322 4398 4126 3150 -3534 -4502 3198 4398 -4246 3670 -3762 -4034 -3754 -3370 4534 3198 3270 3766 3518 4542 3230 3274 3262 -3766 4390 -3370 -3750 -3670 -4230 4146 4230 -4026 4542 -3446 3830 4226 -4158 4238 -3426 -3730 4026 -3190 -4462 -4426 4542 3414 -3850 -4542 -4322 4242 -3954 -3854 -4310 -4242 4186 -4450 -4238 3898 -3530 -3154 3442 -3554 4438 3846 -3614 -3310 3266 -3418 -4014 -4218 3330 -3374 -3578 4226 4230 -4462 -4326 -3730 -4454 3726 -4046 -3918 -4502 4118 -3250 -4398 -4502 3190 -3238 4474 -3374 -3722 -3654 -4294 3394 3774 3198 -4394 -3866 -4446 4482 -3550 -3762 -3310 -3266 -3210 -4542 -4502 -3994 -3298 -3314 -3974 -4410 -3662 -3862 -4482 4014 3790 4130 -3170 3806 4162 3710 3674 3710 -3606 -3806 3870 3522 -3630 3478 -4362 3958 -3582 -3370 3386 -3818 4166 4066 4038 3402 4386 -3366 3206 4426 -3910 -3762 -4186 4442 3950 4070 3914 3882 3778 4110 -3594 4310 4090 -4346 -3318 3362 3158 -4426 -3910 -3634 -3246 4266 4086 -3766 -4434 -3386 -3162 -4374 -3462 -4502 4094 3346 3846 4342 3814 3906 3246 3470 3222 3194 -4458 -3862 -3390 4170 3190 -3574 -3966 -3426 -3910 -3906 -4542 -3690 4262 3786 -4226 -3734 -4470 3566 -3482 -3818 -3602 4186 3610 -4374 -4470 3454 -4542 -4154 -3386 -4322 3694 -3850 3170 -3818 3418 -4502 -4502 -4502 -4462 -4518 3150 -3806 3214 -4414 -3510 3806 -4466 3726 -4362 4118 4074 -3850 -4186 -3726 -4118 -3742 3850 -3838 3314 -3278 4322 -3706 3230 -4502 -4126 4006 3810 -3582 3678 3934 3802 -4322 -3246 3654 -3674 -3574 -3334 -4322 4278 -4542 -3862 3814 3430 -3662 -3914 4158 -4126 -3734 4362 -3634 -4362 -4018 -3974 4106 -3410 -3370 -3858 3162 -3310 4242 -3294 -3578 -3482 -4482 -4498 -3190 -4330 3962 4266 4502 -4066 -3274 4502 -4502 -3694 -3546 -3478 -3546 4470 -4178 3574 -3734 -3586 -3218 4150 -3346 -3706 -3718 -4446 -3718 3746 3594 3526 -3518 3494 3510 3850 3606 -4542 4366 3806 4078 -4154 4514 -4322 -3826 -3318 -3454 -3998 3506 3370 -3950 -3858 3810 -4014 3194 -3658 4438 -4346 3618 3418 3802 3286 -3334 3190 -4158 3870 -3710 3298 -4066 -3678 -3838 4462 4502 3942 3710 -3446 -3430 4362 -4186 4118 -4206 3766 3170 -3614 -3498 -4446 3998 -3866 -3810 3422 3586 -3906 -3706 -3542 -3650 -4286 4498 -4022 -4038 -3978 4282 -3342 3378 3698 -3190 3214 3998 -3202 4210 -4110 -3598 -4374 -3838 4434 4050 -4186 3206 3534 -3574 -3458 3610 4374 -3746 3150 -3278 -4042 -3334 4342 -4198 -3642 4246 3694 -4378 -3982 3606 -3514 4170 -3522 -4338 -3290 3150 4126 3422 -3818 3930 -3974 3338 4198 -3274 -4542 -3854 3610 -4010 3150 -4126 -3734 -4198 3866 -3198 -3390 -3890 -3366 -3546 3286 -4422 3902 4014 -3282 3278 3242 3862 3934 -3614 -4110 -4510 -4542 -4322 -3626 -4358 -3294 3202 -3818 -3810 3462 -4034 -4074 4494 -4282 3918 3910 4046 -3294 -4542 4190 -3326 4010 -3642 -3662 -3662 -3662 -3974 -3386 -4002 4102 -3302 -4446 3326 4322 -3222 -3614 -4426 4098 -4334 3150 -4334 -4502 3850 -4482 -4314 -4406 3286 4014 -3546 3586 4198 -3974 3446 -3162 3282 4502 3654 -4542 3754 -3154 3274 -4258 -3150 -3550 4038 -4266 3174 -3342 -4502 4086 4494 -3958 -3286 -4346 -3758 -3354 -4226 -4146 3530 -4398 -3930 -3586 3838 3930 -3454 3218 -4454 -3354 -3774 -3822 4490 -4258 -3858 3750 -3190 -3622 -4502 -3190 -3238 -3598 3602 -3618 -3166 -4046 -3450 -4014 -3718 4418 3190 4042 -3562 -4254 -4170 4006 -4282 -3514 -3342 -4042 -3526 -4282 -3626 -3330 -3214 4502 4238 -3258 -3222 3806 3210 -4058 -3154 -3622 3962 -4542 3590 -3370 3674 3298 -4534 4254 -3810 -3358 -3886 -3722 3274 3810 -3690 -4542 3658 -4374 -3534 -4122 4202 -3486 -4282 4422 3998 -3754 -3458 -3470 -4134 -4146 -3798 -3654 -3846 3326 -3154 -3634 -4402 -3910 -3614 3762 4310 3878 -3202 3278 -3470 -4490 -4346 -3262 4494 4282 3258 -3550 -3966 -4318 -3854 -4322 -4514 -3786 -4358 -3318 4146 3974 3270 3518 -4278 -3902 3370 4258 -3722 -3198 4534 3570 -3250 3314 -3458 3974 3450 -3654 -4422 -3154 3190 -4062 -3754 -3590 -3274 -3810 -4398 -3322 -4038 3158 -3998 3786 -4050 -4222 -4082 3686 -3254 3630 -3710 -3534 3758 3438 -3766 -4186 -4510 4298 -4026 4390 3354 3862 3262 -3970 3770 4038 -3406 4254 -4146 -3194 3754 -4466 -3974 4446 4462 -4266 -3150 3710 -4354 -3162 -3826 -4146 -3770 3886 -4050 -3622 -4386 -4038 -4262 -3170 3254 -4306 -4522 3206 4118 4006 -4502 -4430 -3610 3718 -3786 4406 3290 -4018 3930 -4294 3866 3606 3338 -4526 -4014 3190 -3654 -3210 -4530 -4098 -4334 -4542 4422 4190 3874 4266 -4358 3790 4038 4542 -4346 -3742 4206 4070 4042 -3190 -3842 -3294 3150 -3722 -4302 -4222 3822 -3190 -3890 -4394 -3786 4502 -4190 3654 -4462 4250 4310 4170 3150 3802 -3966 -3890 -4542 -4306 4174 4214 -3334 -3902 -3994 3966 4374 -4042 3450 -3162 -4158 -3762 3810 -3810 -3342 -4350 3150 -3766 4046 -3222 -3210 3190 -3274 3470 3950 -3190 -3966 3182 -4502 -4158 3214 -4462 3246 -4322 4174 3222 -4062 -4234 -4482 4086 3910 -4414 -3806 4114 -4538 -4486 -4362 -3590 3662 -4346 3266 4050 -3546 4030 3966 -3810 -4138 3706 -3298 3242 -3210 -3210 -3478 3538 -3198 -3522 -3254 -3626 -3926 3590 -3546 -4390 -4290 -3430 3270 3974 -3938 -4058 -4098 -3490 -3546 -3278 3734 -3418 -4386 -4002 -4118 -3726 3406 -3822 4138 3238 3550 -4066 4158 3458 -3774 -3614 3966 -3622 -3190 -3626 3842 -3974 -3842 4106 3282 -3166 3370 -3170 -3166 3846 3858 3306 3578 4158 3190 -4170 -3666 -3978 -4542 -3290 4142 3726 4310 -3582 3722 3722 3938 -3974 -3738 4338 -3274 -3626 4070 4278 3746 -4270 3910 3282 -4474 -3258 -4138 -3822 4198 3190 4538 -3222 -4310 -4502 -3622 -3402 3642 4486 3770 -3614 -3322 -4270 -3190 -3626 3766 3238 -4286 3962 -4366 3494 4158 4078 -4538 4486 -3974 4298 3726 3986 3150 3294 -3422 -4502 -3526 3190 4126 -3158 4170 4242 4226 4226 -3362 4106 3198 4118 3358 4522 -4322 -4542 -4462 4350 -3186 -3670 4082 -3774 -4334 -4306 4374 3870 -3770 3642 3798 -3662 -4146 4110 3618 -3838 -3510 -3198 -3210 -4486 3826 3298 3850 4070 -3490 4038 -3670 -3718 4282 3622 -3590 -3198 -4066 -4150 -3242 -3290 -3190 -4298 -3722 -3838 -3510 3970 3570 -4194 4006 -4542 4334 -3426 -3582 -4206 4130 -4070 3370 -3286 3346 -4306 -3982 -3210 -3202 -4126 -3578 3298 4382 4014 -4138 -3478 3346 -3450 -4146 -3262 3830 3282 -3838 -3930 -4490 -4510 -4014 -4498 -4458 -4474 3314 -4006 -4106 -3794 -4006 3706 -3710 -3694 -4522 -4370 3634 -3534 -4234 -3330 -4410 -3614 4106 -3942 -3242 3378 -4030 -4338 3322 -3550 3474 -4214 -3502 3590 -3206 -3222 3874 3762 -3190 -4078 -3510 -4522 -3318 -3622 -3386 -3318 -3622 4518 3670 3762 -4114 -4182 -3622 4198 -3486 3206 4030 -3534 3442 -4502 -3178 -3286 -4310 4130 -3654 3858 3374 -3590 4502 3190 3746 -3770 -3250 3598 3190 4478 -3190 -3878 4462 3658 -3154 4422 3278 -3674 -4422 4194 -3246 -4534 -3190 -4542 3314 4522 -3622 3862 3330 -4306 -3518 3558 -4542 -3274 -4542 4514 3578 3334 3822 -3286 4142 4322 -4338 -3890 -4126 -4066 -3734 3862 -4302 -3462 3798 -3674 4006 -4090 3790 -3394 -3798 3458 -3150 -4502 3626 4542 4494 -4418 4118 3998 3502 -4086 -3282 -3302 -3386 3602 -3954 -4334 -4086 -4402 -3914 3390 3418 -4502 4030 -3646 -4094 -4154 3414 -3150 -3214 -3170 -3190 -3426 3238 4454 3510 4254 -3318 3866 4278 -3350 -4006 3974 3226 3558 -4098 -3878 4006 3830 3150 -3974 -4462 4086 -3590 3314 -4174 3518 -4366 -4226 4086 -3150 3950 -4410 3926 -4322 -3254 -3402 3714 3478 -4502 -3902 3938 3390 -3446 -4170 -3482 -4466 -4266 -3150 -4114 4282 -3598 -4186 -4542 4458 -3322 -3582 -3714 3306 -4386 3754 -3870 -3674 3630 -4134 -3666 -3534 -3558 3730 3210 3998 -4462 -4470 -4378 -3494 4282 3278 4106 4082 3190 -3238 3322 -4374 -4014 -3586 -4534 3942 -4474 -3862 -3422 -3238 -3578 3226 4178 -3386 -4014 -4126 -4186 -4434 3626 -3594 3866 3406 -4430 4018 3974 3190 -4106 4082 -3314 -3150 -4246 -3586 4338 4002 3178 -3694 3326 -3954 -3726 -3554 -3974 4394 -3894 -3150 4154 -3182 3966 3406 3190 -3230 -3170 -3190 -4270 -4542 3766 -4198 -3758 -4046 -4158 4502 4478 -3826 -3450 3678 -4542 -3810 3902 -3838 -3638 4458 -4542 4226 4482 4470 -4542 3266 3374 -3254 -3366 -4278 -4362 -3654 3494 3518 4102 3290 -3934 -3190 4250 -3150 4162 -3514 -4014 -4218 -3258 3566 4134 -4046 4370 -3394 3350 -3986 -4102 -3326 -3942 3338 3250 -4246 -3346 3698 3954 -3514 -3814 4266 -3546 4450 3714 4050 -3674 -3738 -4394 -3294 3534 -3474 3258 -4090 -4202 4274 -4186 4502 -4010 3714 -4066 4078 -3198 -3626 -3594 4166 4350 -3994 -3550 -3942 4242 -3590 -4534 3402 -4198 -3786 -3294 3326 3958 4498 3514 -3158 -4542 4226 3746 3746 -4482 4502 -3802 -3194 -4270 4082 3862 -4542 3374 4530 -4414 3614 -3758 -3874 4210 -3190 3386 -4286 -3910 3590 -3898 -3954 -4542 4542 -4542 -4346 4402 -3686 -3578 -4474 4042 -4206 3634 -4494 3830 -3982 3162 3346 4086 -3158 3782 3622 3582 3710 3222 -4094 4222 4002 3602 -3190 3990 3250 -3374 -3858 -4186 3826 -4250 -3190 -3562 -3326 3686 -4322 4370 3922 -3254 -3354 4474 -3490 -4542 3382 4410 -3522 -3378 -3966 -4542 -3150 4030 -3414 -4266 3950 3614 -3326 -3574 3842 4482 -3422 3966 4318 -3338 4462 -3582 -3990 4038 3238 4238 -3262 -3258 4118 -3798 -3478 -3338 3814 3690 -4066 -4394 -4082 -4222 3478 -3278 -4022 -3526 -3398 -3954 -4334 -4510 3150 3170 3730 -4314 3326 -4394 3598 -3474 -3554 3494 3550 3150 -4502 -3870 -4238 -3330 -4398 4066 -4326 3766 -3642 4042 3150 -4158 -3390 -3278 -3834 -3718 3854 3546 3162 -3594 -3390 -3310 -3714 -3698 -4118 -4014 -3230 -3550 3858 -3974 3778 3710 3850 -4502 -3766 3862 -3914 -4294 3622 -4362 -3310 -4542 -3150 -3818 -4318 -3466 3870 4158 -4170 3158 3190 -4126 4046 3914 -3150 4438 -3326 -4158 3998 -3262 3430 -3998 -3606 -4014 -4434 -4322 4450 -3586 -4146 4470 3378 3770 -3758 3270 -3706 -4514 -3386 -4158 -3510 3626 4386 3646 4114 -4450 -3426 4058 -3294 -3514 -3634 3150 -3846 -4474 -3702 -4350 4542 3614 -4134 -3602 -3542 -4374 3382 3326 3902 -3358 -3794 3190 -4014 3574 -4266 -3706 4482 -3502 -4454 -3714 3654 -3410 -4402 -3878 -3826 -3934 4178 -3998 -3970 -3730 -3294 -3518 3786 3826 -3894 -3882 -3666 -3150 4114 4038 -4062 3286 -3714 -3754 3894 -3582 -3386 4534 -3426 -3622 -4098 -3550 -4502 -3790 -4422 -3250 3566 3554 4242 -4306 3970 3538 -3586 4030 -3378 3190 3434 3770 4450 -4082 3350 -3882 -3466 3206 3254 -3298 -4450 3350 3578 -3198 -3750 3974 -3990 -4002 -3706 -3150 3442 -4270 -3758 3538 -3810 3810 4242 -3174 -4346 -3582 -3950 4310 3794 -3262 -4542 4510 -3406 -3746 -3490 -4178 4042 -4454 -3326 -3226 -3374 -3590 -3706 4318 3766 4362 -3218 -3158 -3974 -4362 4374 3686 -4370 3810 4218 3806 3874 4070 3150 -4226 -3842 3934 -3182 -3926 -4506 -4494 -4394 -3702 3930 -3722 3202 -3558 3326 -3158 4166 -4410 3150 4046 -3286 -4210 4474 -3994 3634 -3838 -3186 -3390 -4250 -4418 4418 3566 3850 4094 -3942 -3574 -3586 3350 3318 -3806 -3302 -4510 3666 3890 3378 -3210 -4422 -3762 -4158 4106 -3410 -4274 -3990 -4090 4078 3462 -3302 3366 -4354 -3622 3738 -3982 -3722 3182 -3854 4466 -4474 -4206 -4522 3326 -4422 3258 -4362 -3614 3150 -3582 -3314 -4362 -4130 3206 -4358 -4010 3714 -3846 -3646 3614 3958 4010 -4194 3810 3690 -3198 -3238 4358 -4290 4486 -3986 -3506 -4542 3150 3286 -4502 3310 -3870 3798 -3622 -4210 -4106 -4334 -4018 -3598 -4090 -3810 4050 -3238 3622 4302 3366 -3346 3858 3406 -4014 -3446 -3234 -3314 -3182 -4078 4270 -3974 4290 3826 -4282 -4462 4302 3202 -4422 -3902 -3974 -4362 -4282 -3590 -3262 -3950 -3994 4430 3670 -3986 3270 3334 3590 -3614 3490 -4218 -4158 -4542 3238 -4278 -3390 3878 -4238 -4014 -3210 -4014 3722 4502 -3674 4322 3162 4306 -4298 4422 -4482 -3974 -4542 -3742 -4542 -3370 -3618 4170 -3586 -4278 -3526 -4026 -4174 3330 3950 3486 -3246 3230 -3702 -4022 -3350 3770 4030 3842 4478 -3550 3150 3198 3838 3934 3990 -4502 -3190 3718 3758 -3330 -4202 -4366 3354 -3694 3730 3150 -4182 -3762 -4330 4542 3990 -3422 3850 4202 -3622 3750 -3446 3990 -3942 3810 3670 3854 3150 -3926 -4522 -3982 -4494 3774 -4422 4430 4406 4434 -3470 4214 -3306 -3954 -4334 3430 -4338 3942 4362 -4406 4098 -4074 -3510 -4482 3766 -3450 4542 -3974 -3438 -3598 3426 3690 3818 -3470 -3270 -4074 4458 3614 4118 -3258 3482 3566 -3174 3218 -3438 3326 -3182 3282 -4210 -4198 3698 -4542 3850 4282 -3246 -3350 3190 -3526 -3550 -3950 -3642 -3170 -4130 -3534 -3214 4242 3350 -3434 -3758 -4306 3470 3218 4042 -3678 3210 3218 -4518 4542 -3270 -3586 -3430 3990 -4146 -3990 3366 -4134 3774 3926 -3358 -3702 -4230 4454 -4502 -3718 3830 -4282 -4542 -3578 -3674 -3598 3330 -3178 -4026 -4246 -3638 -3586 4170 -4478 -4346 -4162 -3198 -4322 3734 4058 4122 4290 -4422 3190 4466 -4542 -3822 -3710 -4422 -4502 -4346 4070 -4414 -3370 -3166 3362 3678 4050 3334 -4230 -3998 4258 -4002 -3234 -4378 -4502 -3498 -3250 -4314 4062 4438 -4478 -3522 3378 4378 -3602 -4502 3230 3330 -3242 -4446 3978 -4278 -4378 -3762 3310 -3722 4118 -4146 -4462 3550 3610 -4522 -3766 4266 -4502 3926 3902 3798 -3410 3374 -4346 -4070 -4486 4482 -3614 3506 3254 -4482 3782 -3226 -3482 -4414 -3862 -4158 3314 -4222 -3406 -3550 -4414 -3802 4190 -3554 -3522 -3422 3598 -4002 -4362 -3934 3186 3202 -4206 -4074 -4010 3574 4406 3150 3790 -4374 -3250 3202 3314 -3926 -3518 -3518 -4362 3866 -3418 -4106 3818 -4542 4294 4418 -3462 3690 -4422 4342 3826 -4014 3602 4042 -3262 -3250 -4386 3198 -4326 4010 -3878 4414 4434 -4374 3978 -3582 -4382 -4182 3566 -3810 -3718 -3170 -3382 -3718 -3482 -3706 -3714 -4350 -3154 
683.96/688.32	d ASSIGNMENTS 3004
683.96/688.32	d CHECKS 61181624

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-1085659-1215478944/watcher-1085659-1215478944 -o /tmp/evaluation-result-1085659-1215478944/solver-1085659-1215478944 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1085659-1215478944.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.09 2.00 1.83 4/80 2843
/proc/meminfo: memFree=1758144/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=18572 CPUtime=0
/proc/2843/stat : 2843 (runsolver) R 2841 2843 2691 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 4593239 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/2843/statm: 4643 292 257 25 0 2626 0

[startup+0.074112 s]
/proc/loadavg: 2.09 2.00 1.83 4/80 2843
/proc/meminfo: memFree=1758144/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101112 s]
/proc/loadavg: 2.09 2.00 1.83 4/80 2843
/proc/meminfo: memFree=1758144/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.30115 s]
/proc/loadavg: 2.09 2.00 1.83 4/80 2843
/proc/meminfo: memFree=1758144/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.70122 s]
/proc/loadavg: 2.09 2.00 1.83 4/80 2843
/proc/meminfo: memFree=1758144/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50136 s]
/proc/loadavg: 2.09 2.00 1.83 3/82 2847
/proc/meminfo: memFree=1741424/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=27176 CPUtime=1.46
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 6248 0 0 0 144 2 0 0 25 0 1 0 4593240 27828224 6011 996147200 134512640 135239763 4294956176 18446744073709551615 134683161 0 0 4096 0 0 0 0 17 1 0 0
/proc/2847/statm: 6794 6011 379 177 0 5697 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 32536

[startup+3.10163 s]
/proc/loadavg: 2.08 2.00 1.83 3/82 2847
/proc/meminfo: memFree=1726704/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=177200 CPUtime=3.05
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 28240 0 0 0 293 12 0 0 25 0 1 0 4593240 181452800 27712 996147200 134512640 135239763 4294956176 18446744073709551615 135095094 0 0 4096 0 0 0 0 17 1 0 0
/proc/2847/statm: 44300 27712 416 177 0 43203 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 182560

[startup+6.30118 s]
/proc/loadavg: 2.08 2.00 1.83 3/82 2847
/proc/meminfo: memFree=1648240/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=177200 CPUtime=6.22
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 28240 0 0 0 610 12 0 0 25 0 1 0 4593240 181452800 27712 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/2847/statm: 44300 27712 416 177 0 43203 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 182560

[startup+12.7013 s]
/proc/loadavg: 2.07 2.00 1.83 3/82 2847
/proc/meminfo: memFree=1648240/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=177200 CPUtime=12.56
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 28240 0 0 0 1244 12 0 0 25 0 1 0 4593240 181452800 27712 996147200 134512640 135239763 4294956176 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/2847/statm: 44300 27712 416 177 0 43203 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 182560

[startup+25.5015 s]
/proc/loadavg: 2.06 2.00 1.83 3/82 2847
/proc/meminfo: memFree=1648432/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=177200 CPUtime=25.25
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 28240 0 0 0 2513 12 0 0 25 0 1 0 4593240 181452800 27712 996147200 134512640 135239763 4294956176 18446744073709551615 134543076 0 0 4096 0 0 0 0 17 1 0 0
/proc/2847/statm: 44300 27712 416 177 0 43203 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 182560

[startup+51.102 s]
/proc/loadavg: 2.04 2.00 1.83 3/82 2847
/proc/meminfo: memFree=1648560/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=177200 CPUtime=50.64
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 28241 0 0 0 5052 12 0 0 25 0 1 0 4593240 181452800 27713 996147200 134512640 135239763 4294956176 18446744073709551615 134535374 0 0 4096 0 0 0 0 17 1 0 0
/proc/2847/statm: 44300 27713 417 177 0 43203 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 182560

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.84 3/82 2847
/proc/meminfo: memFree=1648432/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=177200 CPUtime=101.42
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 28241 0 0 0 10129 13 0 0 25 0 1 0 4593240 181452800 27713 996147200 134512640 135239763 4294956176 18446744073709551615 134539303 0 0 4096 0 0 0 0 17 1 0 0
/proc/2847/statm: 44300 27713 417 177 0 43203 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 182560

[startup+162.301 s]
/proc/loadavg: 2.04 2.01 1.85 3/82 2847
/proc/meminfo: memFree=1648432/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=177200 CPUtime=160.92
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 28241 0 0 0 16079 13 0 0 25 0 1 0 4593240 181452800 27713 996147200 134512640 135239763 4294956176 18446744073709551615 134543206 0 0 4096 0 0 0 0 17 1 0 0
/proc/2847/statm: 44300 27713 417 177 0 43203 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 182560

[startup+222.302 s]
/proc/loadavg: 2.05 2.02 1.86 3/82 2847
/proc/meminfo: memFree=1648432/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=177200 CPUtime=220.42
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 28241 0 0 0 22029 13 0 0 25 0 1 0 4593240 181452800 27713 996147200 134512640 135239763 4294956176 18446744073709551615 134532182 0 0 4096 0 0 0 0 17 1 0 0
/proc/2847/statm: 44300 27713 417 177 0 43203 0
Current children cumulated CPU time (s) 220.42
Current children cumulated vsize (KiB) 182560

[startup+282.301 s]
/proc/loadavg: 2.05 2.03 1.87 3/82 2847
/proc/meminfo: memFree=1648368/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=177200 CPUtime=279.93
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 28241 0 0 0 27980 13 0 0 25 0 1 0 4593240 181452800 27713 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/2847/statm: 44300 27713 417 177 0 43203 0
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (KiB) 182560

[startup+342.302 s]
/proc/loadavg: 2.04 2.03 1.88 3/74 2877
/proc/meminfo: memFree=1733552/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=177200 CPUtime=339.77
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 28241 0 0 0 33963 14 0 0 25 0 1 0 4593240 181452800 27713 996147200 134512640 135239763 4294956176 18446744073709551615 134535340 0 0 4096 0 0 0 0 17 0 0 0
/proc/2847/statm: 44300 27713 417 177 0 43203 0
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (KiB) 182560

[startup+402.301 s]
/proc/loadavg: 2.02 2.03 1.89 3/74 2877
/proc/meminfo: memFree=1733424/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=0
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 4593239 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2843/statm: 1340 236 195 169 0 51 0
[pid=2847] ppid=2843 vsize=177200 CPUtime=399.75
/proc/2847/stat : 2847 (xsolve) R 2843 2843 2691 0 -1 4194304 28241 0 0 0 39961 14 0 0 25 0 1 0 4593240 181452800 27713 996147200 134512640 135239763 4294956176 18446744073709551615 134543123 0 0 4096 0 0 0 0 17 0 0 0
/proc/2847/statm: 44300 27713 417 177 0 43203 0
Current children cumulated CPU time (s) 399.75
Current children cumulated vsize (KiB) 182560


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

/proc/2958/task/2967/stat : 2967 (java) S 2957 2843 2691 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4654521 671498240 90373 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2959] ppid=2957 vsize=7044 CPUtime=0
/proc/2959/stat : 2959 (translate) S 2957 2843 2691 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 4654517 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 246406676562 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/2959/statm: 1761 213 182 1 0 41 0
[pid=2947/tid=2948] ppid=2843 vsize=197428 CPUtime=4.58
/proc/2947/task/2948/stat : 2948 (java) S 2843 2843 2691 0 -1 64 3857 0 1 0 451 7 0 0 25 0 10 0 4653933 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2947/tid=2949] ppid=2843 vsize=197428 CPUtime=0.86
/proc/2947/task/2949/stat : 2949 (java) S 2843 2843 2691 0 -1 64 6121 0 0 0 78 8 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2950] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2950/stat : 2950 (java) S 2843 2843 2691 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2951] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2951/stat : 2951 (java) S 2843 2843 2691 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2952] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2952/stat : 2952 (java) S 2843 2843 2691 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2953] ppid=2843 vsize=197428 CPUtime=0.23
/proc/2947/task/2953/stat : 2953 (java) S 2843 2843 2691 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2954] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2954/stat : 2954 (java) S 2843 2843 2691 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2955] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2955/stat : 2955 (java) S 2843 2843 2691 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2956] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2956/stat : 2956 (java) S 2843 2843 2691 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 4654516 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.05
Current children cumulated vsize (KiB) 870948

[startup+687.102 s]
/proc/loadavg: 2.05 2.01 1.91 3/94 2967
/proc/meminfo: memFree=1449432/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=604.25
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 375 28851 0 0 0 0 60405 20 20 0 1 0 4593239 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2843/statm: 1340 238 196 169 0 51 0
[pid=2947] ppid=2843 vsize=197428 CPUtime=5.71
/proc/2947/stat : 2947 (java) S 2843 2843 2691 0 -1 0 11472 0 1 0 553 18 0 0 21 0 10 0 4653932 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2947/statm: 49357 9425 2544 9 0 43939 0
[pid=2957] ppid=2947 vsize=5356 CPUtime=0
/proc/2957/stat : 2957 (abscon) S 2947 2843 2691 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 4654516 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 246406505284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2957/statm: 1339 235 194 169 0 50 0
[pid=2958] ppid=2957 vsize=655760 CPUtime=72.87
/proc/2958/stat : 2958 (java) S 2957 2843 2691 0 -1 0 91167 0 1 0 7241 46 0 0 19 0 9 0 4654517 671498240 90375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2958/statm: 163940 90375 2617 9 0 158468 0
[pid=2958/tid=2960] ppid=2957 vsize=655760 CPUtime=69.71
/proc/2958/task/2960/stat : 2960 (java) R 2957 2843 2691 0 -1 64 12580 0 1 0 6961 10 0 0 25 0 9 0 4654517 671498240 90375 996147200 134512640 134550740 4294955808 18446744073709551615 4127467091 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2961] ppid=2957 vsize=655760 CPUtime=2.7
/proc/2958/task/2961/stat : 2961 (java) S 2957 2843 2691 0 -1 64 77249 0 0 0 236 34 0 0 17 0 9 0 4654519 671498240 90375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2962] ppid=2957 vsize=655760 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2957 2843 2691 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4654519 671498240 90375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2963] ppid=2957 vsize=655760 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2957 2843 2691 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 4654519 671498240 90375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2964] ppid=2957 vsize=655760 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2957 2843 2691 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4654521 671498240 90375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2965] ppid=2957 vsize=655760 CPUtime=0.44
/proc/2958/task/2965/stat : 2965 (java) S 2957 2843 2691 0 -1 64 780 0 0 0 43 1 0 0 16 0 9 0 4654521 671498240 90375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2966] ppid=2957 vsize=655760 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2957 2843 2691 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 4654521 671498240 90375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2967] ppid=2957 vsize=655760 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2957 2843 2691 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4654521 671498240 90375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2959] ppid=2957 vsize=7044 CPUtime=0
/proc/2959/stat : 2959 (translate) S 2957 2843 2691 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 4654517 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 246406676562 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/2959/statm: 1761 213 182 1 0 41 0
[pid=2947/tid=2948] ppid=2843 vsize=197428 CPUtime=4.58
/proc/2947/task/2948/stat : 2948 (java) S 2843 2843 2691 0 -1 64 3857 0 1 0 451 7 0 0 25 0 10 0 4653933 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2947/tid=2949] ppid=2843 vsize=197428 CPUtime=0.86
/proc/2947/task/2949/stat : 2949 (java) S 2843 2843 2691 0 -1 64 6121 0 0 0 78 8 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2950] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2950/stat : 2950 (java) S 2843 2843 2691 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2951] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2951/stat : 2951 (java) S 2843 2843 2691 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2952] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2952/stat : 2952 (java) S 2843 2843 2691 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2953] ppid=2843 vsize=197428 CPUtime=0.23
/proc/2947/task/2953/stat : 2953 (java) S 2843 2843 2691 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2954] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2954/stat : 2954 (java) S 2843 2843 2691 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2955] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2955/stat : 2955 (java) S 2843 2843 2691 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2956] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2956/stat : 2956 (java) S 2843 2843 2691 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 4654516 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.83
Current children cumulated vsize (KiB) 870948

[startup+687.902 s]
/proc/loadavg: 2.04 2.01 1.91 3/94 2967
/proc/meminfo: memFree=1449432/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=604.25
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 375 28851 0 0 0 0 60405 20 20 0 1 0 4593239 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2843/statm: 1340 238 196 169 0 51 0
[pid=2947] ppid=2843 vsize=197428 CPUtime=5.71
/proc/2947/stat : 2947 (java) S 2843 2843 2691 0 -1 0 11472 0 1 0 553 18 0 0 21 0 10 0 4653932 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2947/statm: 49357 9425 2544 9 0 43939 0
[pid=2957] ppid=2947 vsize=5356 CPUtime=0
/proc/2957/stat : 2957 (abscon) S 2947 2843 2691 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 4654516 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 246406505284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2957/statm: 1339 235 194 169 0 50 0
[pid=2958] ppid=2957 vsize=655760 CPUtime=73.65
/proc/2958/stat : 2958 (java) S 2957 2843 2691 0 -1 0 91174 0 1 0 7319 46 0 0 19 0 9 0 4654517 671498240 90381 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2958/statm: 163940 90381 2617 9 0 158468 0
[pid=2958/tid=2960] ppid=2957 vsize=655760 CPUtime=70.48
/proc/2958/task/2960/stat : 2960 (java) R 2957 2843 2691 0 -1 64 12580 0 1 0 7038 10 0 0 25 0 9 0 4654517 671498240 90381 996147200 134512640 134550740 4294955808 18446744073709551615 4126913154 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2961] ppid=2957 vsize=655760 CPUtime=2.7
/proc/2958/task/2961/stat : 2961 (java) S 2957 2843 2691 0 -1 64 77249 0 0 0 236 34 0 0 17 0 9 0 4654519 671498240 90381 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2962] ppid=2957 vsize=655760 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2957 2843 2691 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4654519 671498240 90381 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2963] ppid=2957 vsize=655760 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2957 2843 2691 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 4654519 671498240 90381 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2964] ppid=2957 vsize=655760 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2957 2843 2691 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4654521 671498240 90381 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2965] ppid=2957 vsize=655760 CPUtime=0.45
/proc/2958/task/2965/stat : 2965 (java) S 2957 2843 2691 0 -1 64 787 0 0 0 44 1 0 0 15 0 9 0 4654521 671498240 90381 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2966] ppid=2957 vsize=655760 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2957 2843 2691 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 4654521 671498240 90381 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2967] ppid=2957 vsize=655760 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2957 2843 2691 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4654521 671498240 90381 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2959] ppid=2957 vsize=7044 CPUtime=0
/proc/2959/stat : 2959 (translate) S 2957 2843 2691 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 4654517 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 246406676562 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/2959/statm: 1761 213 182 1 0 41 0
[pid=2947/tid=2948] ppid=2843 vsize=197428 CPUtime=4.58
/proc/2947/task/2948/stat : 2948 (java) S 2843 2843 2691 0 -1 64 3857 0 1 0 451 7 0 0 25 0 10 0 4653933 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2947/tid=2949] ppid=2843 vsize=197428 CPUtime=0.86
/proc/2947/task/2949/stat : 2949 (java) S 2843 2843 2691 0 -1 64 6121 0 0 0 78 8 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2950] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2950/stat : 2950 (java) S 2843 2843 2691 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2951] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2951/stat : 2951 (java) S 2843 2843 2691 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2952] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2952/stat : 2952 (java) S 2843 2843 2691 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2953] ppid=2843 vsize=197428 CPUtime=0.23
/proc/2947/task/2953/stat : 2953 (java) S 2843 2843 2691 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2954] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2954/stat : 2954 (java) S 2843 2843 2691 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2955] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2955/stat : 2955 (java) S 2843 2843 2691 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2956] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2956/stat : 2956 (java) S 2843 2843 2691 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 4654516 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.61
Current children cumulated vsize (KiB) 870948

[startup+688.302 s]
/proc/loadavg: 2.04 2.01 1.91 3/94 2967
/proc/meminfo: memFree=1449432/2055920 swapFree=4192956/4192956
[pid=2843] ppid=2841 vsize=5360 CPUtime=604.25
/proc/2843/stat : 2843 (hydra) S 2841 2843 2691 0 -1 4194304 375 28851 0 0 0 0 60405 20 20 0 1 0 4593239 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2843/statm: 1340 238 196 169 0 51 0
[pid=2947] ppid=2843 vsize=197428 CPUtime=5.71
/proc/2947/stat : 2947 (java) S 2843 2843 2691 0 -1 0 11514 0 1 0 553 18 0 0 21 0 10 0 4653932 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2947/statm: 49357 9425 2544 9 0 43939 0
[pid=2957] ppid=2947 vsize=5356 CPUtime=0
/proc/2957/stat : 2957 (abscon) S 2947 2843 2691 0 -1 4194304 302 292 0 0 0 0 0 0 16 0 1 0 4654516 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 246406505284 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2957/statm: 1339 235 194 169 0 50 0
[pid=2958] ppid=2957 vsize=0 CPUtime=74
/proc/2958/stat : 2958 (java) Z 2957 2843 2691 0 -1 12 91189 0 1 0 7350 50 0 0 16 0 2 0 4654517 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2958/statm: 0 0 0 0 0 0 0
[pid=2947/tid=2948] ppid=2843 vsize=197428 CPUtime=4.58
/proc/2947/task/2948/stat : 2948 (java) S 2843 2843 2691 0 -1 64 3899 0 1 0 451 7 0 0 16 0 10 0 4653933 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2947/tid=2949] ppid=2843 vsize=197428 CPUtime=0.86
/proc/2947/task/2949/stat : 2949 (java) S 2843 2843 2691 0 -1 64 6121 0 0 0 78 8 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2950] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2950/stat : 2950 (java) S 2843 2843 2691 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2951] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2951/stat : 2951 (java) S 2843 2843 2691 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 4653936 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2952] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2952/stat : 2952 (java) S 2843 2843 2691 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2953] ppid=2843 vsize=197428 CPUtime=0.23
/proc/2947/task/2953/stat : 2953 (java) S 2843 2843 2691 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2954] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2954/stat : 2954 (java) S 2843 2843 2691 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2955] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2955/stat : 2955 (java) S 2843 2843 2691 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 4653938 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2947/tid=2956] ppid=2843 vsize=197428 CPUtime=0
/proc/2947/task/2956/stat : 2956 (java) S 2843 2843 2691 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 4654516 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.96
Current children cumulated vsize (KiB) 208144

Child status: 0
Real time (s): 688.333
CPU time (s): 684.029
CPU user time (s): 683.102
CPU system time (s): 0.926859
CPU usage (%): 99.3748
Max. virtual memory (cumulated for all children) (KiB): 871112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 683.102
system time used= 0.926859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132670
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= 14679
involuntary context switches= 25979

runsolver used 0.964853 second user time and 2.46962 second system time

The end

Launcher Data (download as text)

Begin job on node61 at 2008-07-08 03:02:24
IDJOB=1085659
IDBENCH=57673
IDSOLVER=366
FILE ID=node61/1085659-1215478944
PBS_JOBID= 7888642
Free space on /tmp= 66480 MiB

SOLVER NAME= cpHydra k_40
BENCH NAME= CPAI08/csp/fapp/fapp40/normalized-fapp40-3000-7.xml
COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085659-1215478944/watcher-1085659-1215478944 -o /tmp/evaluation-result-1085659-1215478944/solver-1085659-1215478944 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/cpHydra_k_40/hydra HOME/instance-1085659-1215478944.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 03c519ee722ebb3400aacaf8b7a2d565
RANDOM SEED=1256347456

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
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:       1758560 kB
Buffers:         24404 kB
Cached:         145392 kB
SwapCached:          0 kB
Active:         198648 kB
Inactive:        66688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1758560 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           31832 kB
Writeback:           0 kB
Mapped:         112972 kB
Slab:            17260 kB
Committed_AS:   883476 kB
PageTables:       1912 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66460 MiB
End job on node61 at 2008-07-08 03:13:53