Trace number 1085890

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 58.8111 59.3007

DiagnosticValue
ASSIGNMENTS905
CHECKS45848900

General information on the benchmark

Namecsp/fapp/fapp10/
normalized-fapp10-0900-10.xml
MD5SUM55de9a4bee899e7bedf0b2c2b8000cef
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 benchmark52.5
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints11381
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension11381
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
15.47/15.67	c CASE TO CLASSIFY:
15.47/15.67	c Case: 0
15.47/15.68	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.855600 | c 15 >  13.474300 | c 34 >  68.221600 | c 16 >   2.000000 | c 13 >   2.899910 | c 14 >  -1.000000 | c 11 >   9.813780 | c 12 >   4.660560 | c 21 >  14.819800 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   4.138970 | c 24 >   0.847926 | 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 >  13.474300 | 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 >  17.592700 | c 31 >  -1.000000 | c 4 >   9.813780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.47/15.69	c choco : 1801.0
15.47/15.69	c mistral : 1801.0
15.47/15.69	c abscon : 1801.0
15.47/15.69	c
15.47/15.69	c
15.58/15.76	c List of same ones: 40
15.58/15.76	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
15.58/15.76	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  11.340400 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | 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 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.58/15.77	c choco : 1801.0
15.58/15.77	c mistral : 81.4206
15.58/15.77	c abscon : 52.605
15.58/15.77	c
15.58/15.77	c
15.58/15.77	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
15.58/15.77	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.872700 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | 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 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.58/15.78	c choco : 1801.0
15.58/15.78	c mistral : 866.057
15.58/15.78	c abscon : 36.8914
15.58/15.78	c
15.58/15.78	c
15.58/15.78	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
15.58/15.78	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.871900 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | 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 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.58/15.79	c choco : 1801.0
15.58/15.79	c mistral : 1800.02
15.58/15.79	c abscon : 55.4456
15.58/15.79	c
15.58/15.79	c
15.58/15.79	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
15.58/15.79	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.760700 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | 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 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.58/15.80	c choco : 1801.0
15.58/15.80	c mistral : 22.7995
15.58/15.80	c abscon : 8.06777
15.66/15.80	c
15.66/15.80	c
15.66/15.80	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
15.66/15.80	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.856000 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | 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 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.66/15.81	c choco : 1801.0
15.66/15.81	c mistral : 1800.03
15.66/15.81	c abscon : 25.9351
15.66/15.81	c
15.66/15.81	c
15.66/15.81	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml
15.66/15.81	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.687400 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | 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 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.66/15.82	c choco : 1801.0
15.66/15.82	c mistral : 19.3181
15.66/15.82	c abscon : 8.28274
15.66/15.82	c
15.66/15.82	c
15.66/15.82	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
15.66/15.82	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.668400 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | 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 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.66/15.83	c choco : 1801.0
15.66/15.83	c mistral : 1800.02
15.66/15.83	c abscon : 17.2824
15.66/15.83	c
15.66/15.83	c
15.66/15.83	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml
15.66/15.83	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.582100 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | 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 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.66/15.83	c choco : 1801.0
15.66/15.83	c mistral : 28.7696
15.66/15.83	c abscon : 7.97079
15.66/15.83	c
15.66/15.83	c
15.66/15.83	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
15.66/15.83	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.516200 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | 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 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.66/15.84	c choco : 1801.0
15.66/15.84	c mistral : 6.79996
15.66/15.84	c abscon : 6.95294
15.66/15.84	c
15.66/15.84	c
15.66/15.84	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml
15.66/15.84	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  12.097700 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.66/15.85	c choco : 1801.0
15.66/15.85	c mistral : 9.13061
15.66/15.85	c abscon : 16.3965
15.66/15.85	c
15.66/15.85	c
15.66/15.85	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml
15.66/15.85	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.461000 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | 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 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.66/15.86	c choco : 1801.0
15.66/15.86	c mistral : 4.03939
15.66/15.86	c abscon : 7.04993
15.66/15.86	c
15.66/15.86	c
15.66/15.86	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-3.xml
15.66/15.86	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.474700 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | 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 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.66/15.88	c choco : 1801.0
15.66/15.88	c mistral : 48.0167
15.66/15.88	c abscon : 8.41372
15.66/15.88	c
15.66/15.88	c
15.66/15.88	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-5.xml
15.66/15.88	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.468600 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | 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 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.66/15.89	c choco : 1801.0
15.66/15.89	c mistral : 19.2201
15.66/15.89	c abscon : 8.30374
15.66/15.89	c
15.66/15.89	c
15.66/15.89	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-2.xml
15.66/15.89	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.460500 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | 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 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.66/15.89	c choco : 1801.0
15.66/15.89	c mistral : 46.72
15.66/15.89	c abscon : 8.16376
15.66/15.89	c
15.66/15.89	c
15.66/15.89	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml
15.66/15.89	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.341500 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | 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 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.91	c choco : 1801.0
15.74/15.91	c mistral : 3.81642
15.74/15.91	c abscon : 7.04593
15.74/15.91	c
15.74/15.91	c
15.74/15.91	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-1.xml
15.74/15.91	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.411500 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | 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 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.91	c choco : 1801.0
15.74/15.91	c mistral : 46.277
15.74/15.91	c abscon : 8.15676
15.74/15.91	c
15.74/15.91	c
15.74/15.91	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml
15.74/15.91	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.258600 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | 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 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.92	c choco : 1801.0
15.74/15.92	c mistral : 4.28235
15.74/15.92	c abscon : 6.70698
15.74/15.92	c
15.74/15.92	c
15.74/15.92	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-9.xml
15.74/15.92	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.772700 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.92	c choco : 1801.0
15.74/15.92	c mistral : 10.4224
15.74/15.92	c abscon : 16.1016
15.74/15.92	c
15.74/15.92	c
15.74/15.92	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml
15.74/15.93	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.174900 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | 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 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.93	c choco : 1801.0
15.74/15.93	c mistral : 2.73858
15.74/15.93	c abscon : 6.30204
15.74/15.93	c
15.74/15.93	c
15.74/15.93	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-8.xml
15.74/15.93	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.681200 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.94	c choco : 1801.0
15.74/15.94	c mistral : 16.71
15.74/15.94	c abscon : 16.0216
15.74/15.94	c
15.74/15.94	c
15.74/15.94	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-7.xml
15.74/15.94	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.629800 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.95	c choco : 1801.0
15.74/15.95	c mistral : 19.43
15.74/15.95	c abscon : 19.1291
15.74/15.95	c
15.74/15.95	c
15.74/15.95	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml
15.74/15.95	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.078800 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | 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 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.95	c choco : 1801.0
15.74/15.95	c mistral : 2.6216
15.74/15.95	c abscon : 6.46502
15.74/15.95	c
15.74/15.95	c
15.74/15.95	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-6.xml
15.74/15.95	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.567500 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.96	c choco : 1801.0
15.74/15.96	c mistral : 36.3755
15.74/15.96	c abscon : 15.7406
15.74/15.96	c
15.74/15.96	c
15.74/15.96	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml
15.74/15.96	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.057300 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | 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 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.97	c choco : 1801.0
15.74/15.97	c mistral : 2.35864
15.74/15.97	c abscon : 6.51701
15.74/15.97	c
15.74/15.97	c
15.74/15.97	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml
15.74/15.97	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  11.096700 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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 >  16.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.97	c choco : 37.81
15.74/15.97	c mistral : 7.2519
15.74/15.97	c abscon : 12.7981
15.74/15.97	c
15.74/15.97	c
15.74/15.97	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml
15.74/15.97	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  11.077500 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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 >  16.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.98	c choco : 67.9
15.74/15.98	c mistral : 6.572
15.74/15.98	c abscon : 12.5521
15.74/15.98	c
15.74/15.98	c
15.74/15.98	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml
15.74/15.98	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  10.991500 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | 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 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.98	c choco : 1801.0
15.74/15.98	c mistral : 2.40163
15.74/15.98	c abscon : 6.25705
15.74/15.98	c
15.74/15.98	c
15.74/15.98	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-5.xml
15.74/15.98	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.466100 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/15.99	c choco : 1801.0
15.74/15.99	c mistral : 1800.04
15.74/15.99	c abscon : 15.5706
15.74/15.99	c
15.74/15.99	c
15.74/15.99	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml
15.74/15.99	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.995800 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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 >  16.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.74/16.00	c choco : 1801.0
15.74/16.00	c mistral : 5.8841
15.74/16.00	c abscon : 12.8071
15.74/16.00	c
15.74/16.00	c
15.74/16.00	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-3.xml
15.74/16.00	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.323100 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.80/16.00	c choco : 1801.0
15.80/16.00	c mistral : 1800.1
15.80/16.00	c abscon : 15.6316
15.80/16.00	c
15.80/16.00	c
15.80/16.00	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml
15.80/16.00	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.929300 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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 >  16.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.80/16.01	c choco : 104.95
15.80/16.01	c mistral : 7.41487
15.80/16.01	c abscon : 12.2871
15.80/16.01	c
15.80/16.01	c
15.80/16.01	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-2.xml
15.80/16.01	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.270900 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.80/16.01	c choco : 1801.0
15.80/16.01	c mistral : 39.545
15.80/16.01	c abscon : 6.47701
15.80/16.01	c
15.80/16.01	c
15.80/16.01	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-4.xml
15.80/16.01	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.218600 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.80/16.02	c choco : 1801.0
15.80/16.02	c mistral : 1800.05
15.80/16.02	c abscon : 14.8827
15.80/16.02	c
15.80/16.02	c
15.80/16.02	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-0.xml
15.80/16.02	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.000000 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | 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 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.80/16.03	c choco : 1801.0
15.80/16.03	c mistral : 56.79
15.80/16.03	c abscon : 7.94879
15.80/16.03	c
15.80/16.03	c
15.80/16.03	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-1.xml
15.80/16.03	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.163000 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.80/16.03	c choco : 1801.0
15.80/16.03	c mistral : 113.7
15.80/16.03	c abscon : 6.29104
15.80/16.03	c
15.80/16.03	c
15.80/16.03	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml
15.80/16.03	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.806500 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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 >  16.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.80/16.04	c choco : 201.72
15.80/16.04	c mistral : 9.30558
15.80/16.04	c abscon : 12.6881
15.80/16.04	c
15.80/16.04	c
15.80/16.04	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml
15.80/16.04	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.734700 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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 >  16.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.80/16.04	c choco : 1801.0
15.80/16.04	c mistral : 31.0823
15.80/16.04	c abscon : 15.9926
15.80/16.04	c
15.80/16.04	c
15.80/16.05	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml
15.80/16.05	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.730500 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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 >  16.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.80/16.05	c choco : 1801.0
15.80/16.05	c mistral : 1800.02
15.80/16.05	c abscon : 14.5538
15.80/16.05	c
15.80/16.05	c
15.80/16.05	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml
15.80/16.05	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  10.634800 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | 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 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.80/16.06	c choco : 1801.0
15.80/16.06	c mistral : 9.48556
15.80/16.06	c abscon : 6.47801
15.80/16.06	c
15.80/16.06	c
15.80/16.06	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml
15.80/16.06	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.645700 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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 >  16.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.80/16.07	c choco : 245.07
15.80/16.07	c mistral : 279.471
15.80/16.07	c abscon : 6.48201
15.80/16.07	c
15.80/16.07	c
15.80/16.07	c Length: 40
15.80/16.07	c 2.503515992927546  2.912453549302375  2.913168185471618  3.0129201909184387  3.0160566026653073  3.0791029094273545  3.120733463543626  3.174725808135877  3.2112082072766626  3.244489201970165  3.245162465960833  3.2728677450890067  3.278459334328245  3.285887027401277  3.32062319158332  3.3308868123735453  3.374467221722712  3.3951620258392676  3.4300062537087306  3.4419311776531787  3.46898585637085  3.4951570480424765  3.5025089381329204  3.5099275691217615  3.539298063447184  3.5522245511680404  3.555558800031437  3.55872868616041  3.6078541090128615  3.641338224018884  3.6538574167475373  3.6724180292691355  3.704033627236799  3.7127918884370557  3.7381533290785436  3.7404285666111825  3.791972729585616  3.7950082294931837  3.8131958762278386  3.856763796490652  
15.80/16.07	c 
15.80/16.07	c 1.0  0.7679372637681929  0.7676259609457924  0.7265167097418628  0.7252954268104829  0.7015882643998476  0.686765618910393  0.6684495595340438  0.65661678253692  0.6461819432703206  0.6459742711989019  0.6375426772861845  0.6358676036997237  0.6336560529720163  0.623514495176873  0.6205797700176091  0.608420282481773  0.60281149227445  0.5935979333451774  0.5905090802961483  0.5836190506583848  0.5771053065286933  0.5753015733068995  0.5734928588304471  0.5664423949837291  0.5633940004417767  0.5626130154758492  0.5618725344938654  0.5506410956963408  0.5432395656233832  0.5405230973044258  0.5365453638607931  0.5299029360701777  0.5280918198153056  0.5229164860510795  0.5224571480016095  0.5122631176042896  0.5116751677027702  0.5081804550077984  0.5  
15.80/16.09	c
15.80/16.09	c solver 0
15.80/16.09	c	  before 0.0 seconds: {} 0
15.80/16.09	c	  before 18.0 seconds: {3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20565
15.80/16.09	c	  before 36.0 seconds: {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} 21874
15.80/16.09	c	  before 54.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23642
15.80/16.09	c	  before 72.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} 24409
15.80/16.09	c
15.80/16.09	c solver 1
15.80/16.09	c	  before 0.0 seconds: {} 0
15.80/16.09	c	  before 18.0 seconds: {8, 9, 10, 14, 16, 17, 18, 19, 21, 23, 24, 25, 26, 28, 30, 35, 38} 9932
15.80/16.09	c	  before 36.0 seconds: {3, 5, 7, 8, 9, 10, 12, 14, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 30, 35, 36, 38} 13760
15.80/16.09	c	  before 54.0 seconds: {3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 35, 36, 38} 16764
15.80/16.09	c	  before 72.0 seconds: {3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 33, 35, 36, 38} 17292
15.80/16.09	c	  before 90.0 seconds: {0, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 33, 35, 36, 38} 18292
15.80/16.09	c	  before 126.0 seconds: {0, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 33, 34, 35, 36, 38} 18815
15.80/16.09	c	  before 288.0 seconds: {0, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 33, 34, 35, 36, 38, 39} 19315
15.80/16.09	c	  before 882.0 seconds: {0, 1, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 33, 34, 35, 36, 38, 39} 20083
15.80/16.09	c
15.80/16.09	c solver 2
15.80/16.09	c	  before 0.0 seconds: {} 0
15.80/16.09	c	  before 54.0 seconds: {24} 566
15.80/16.09	c	  before 72.0 seconds: {24, 25} 1129
15.80/16.09	c	  before 108.0 seconds: {24, 25, 30} 1670
15.80/16.09	c	  before 216.0 seconds: {24, 25, 30, 35} 2192
15.80/16.09	c	  before 252.0 seconds: {24, 25, 30, 35, 39} 2692
15.80/16.09	c
15.80/16.09	cTotal time: 67
15.80/16.09	c 1206.0 seconds unused
15.80/16.09	c 0 c 7 c 35 
15.80/16.09	c 0 c 0 c 28 
15.80/16.09	c 0 c 0 c 0 
15.80/16.09	c is solver0 dominated by:
15.80/16.09	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)
15.80/16.09	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: true) (0 is equally as fast as 2: false) (0 < 2: false)
15.80/16.09	c is dominated? false
15.80/16.09	c
15.80/16.09	c is solver1 dominated by:
15.80/16.09	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)
15.80/16.09	c is dominated? true
15.80/16.09	c
15.80/16.09	c is solver2 dominated by:
15.80/16.09	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: false) (2 is equally as fast as 0: false) (2 < 0: true)
15.80/16.09	c is dominated? true
15.80/16.09	c
15.80/16.09	c Number of non-dominated solvers: 1
15.80/16.09	c remove dominated solvers
15.80/16.09	c solver 0 is not dominated by another solver
15.80/16.09	c solver 2 is dominated by another solver
15.80/16.09	c solver 1 is dominated by another solver
15.80/16.09	c
15.80/16.09	c solver 0: 72.0
15.80/16.09	c
15.80/16.09	c+ 4/4 of 96
15.80/16.09	c
15.80/16.09	c solver 1: 0.0
15.80/16.09	c
15.80/16.09	c solver 2: 0.0
15.80/16.09	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} 24409
15.80/16.09	c	 do not run mistral
15.80/16.09	c	 do not run choco
15.80/16.09	c Starting solver: HOME/cpHydra_k_40/solver/abscon
15.80/16.09	c On Instance: HOME/instance-1085890-1215235988.xml
15.80/16.09	c Running for: 1800 seconds
58.73/59.25	s SAT
58.73/59.25	v  2664 -2656 2532 -2364 -2504 2444 -2256 -2660 -2408 -2528 -2288 -2396 -2528 -2492 -2392 -2364 2696 2060 2020 -2684 2248 2708 -2684 -2680 -2504 -2104 2672 2588 2608 2672 2324 2248 -2420 -2240 -2716 -2380 -2488 2520 -2584 2144 -2020 -2384 -2544 2520 -2472 -2084 -2104 2440 -2344 2656 -2140 2632 2420 2140 -2032 -2420 2464 2628 2712 -2280 2552 -2548 -2100 -2692 -2312 -2528 2020 -2124 -2420 -2720 -2648 -2272 2524 -2340 -2656 -2712 -2332 2480 2448 -2536 -2112 2092 2688 -2116 -2268 2188 2480 -2344 -2428 -2524 -2660 2700 2656 -2528 -2064 2560 -2408 -2620 -2584 -2640 2656 -2740 -2384 2456 2324 2680 -2700 2020 2444 2356 2568 -2572 -2720 -2616 2356 -2156 -2020 -2584 2712 2708 2208 2260 -2740 -2060 -2516 2696 2712 -2092 2668 -2036 2188 2544 2512 2740 -2332 -2740 -2084 -2392 2644 -2504 -2532 -2284 -2316 -2220 -2448 2644 -2716 -2424 -2728 2632 2532 -2316 -2432 -2344 -2168 2672 -2700 -2228 -2596 -2652 2396 -2436 2664 -2484 -2652 -2156 2020 -2076 -2528 -2092 -2620 -2484 -2052 -2304 -2284 -2488 -2740 -2240 2620 -2256 -2568 -2344 2692 2628 -2496 2556 2020 -2344 -2532 2212 -2480 -2328 -2412 -2088 -2660 -2572 2356 -2344 2352 -2672 2112 -2288 2356 2684 -2224 2556 2208 -2060 2104 2504 -2168 2584 -2292 -2476 2568 -2404 -2740 2600 -2408 2408 -2384 2124 -2404 2640 -2060 -2156 -2092 2276 -2532 2588 -2628 -2648 -2380 -2652 -2312 2264 -2420 2568 -2324 -2536 -2356 -2624 -2060 -2216 -2184 -2576 2660 -2504 -2508 2644 -2376 -2436 2072 2488 -2256 -2580 -2416 2688 -2628 2620 2228 -2448 -2208 2628 2592 -2036 -2284 -2484 2304 -2216 -2540 -2672 -2384 -2476 2620 -2376 -2052 -2656 -2228 2252 -2688 -2296 2584 -2688 -2020 -2680 -2548 2316 -2216 2372 -2708 2700 -2544 -2736 -2332 2556 -2172 2608 2236 -2120 -2348 -2128 -2548 -2456 -2728 -2216 -2376 -2496 2080 2088 -2380 -2740 -2708 2728 -2484 -2128 2588 -2712 -2680 2116 -2700 2660 -2432 -2440 -2700 -2476 -2412 -2712 -2740 -2672 -2216 2636 2660 2020 -2216 -2144 -2740 2644 -2376 2384 -2060 2384 2564 -2424 -2584 2608 -2288 2060 2448 2432 -2132 -2432 2340 -2540 -2480 2328 -2460 -2592 -2172 -2472 -2372 -2344 -2624 -2700 -2052 2620 2256 -2060 2100 2292 -2060 -2064 -2700 -2496 2080 -2488 -2432 2648 -2584 -2700 2348 2132 -2392 -2712 2540 -2452 -2088 -2156 -2740 -2616 -2228 -2088 -2544 2684 2544 2020 2020 -2668 2300 2020 2068 2244 -2532 -2256 -2676 2740 2696 -2712 -2060 -2496 -2592 2432 -2648 -2700 -2672 -2356 -2456 -2288 -2544 2700 -2484 -2124 2456 -2440 -2724 2584 2532 -2384 2140 -2664 -2408 -2052 -2164 -2312 -2740 2060 2576 -2292 -2572 -2684 -2476 -2600 -2108 2616 2704 2524 2140 -2688 -2512 -2256 2464 -2640 -2464 -2468 -2516 2492 -2072 -2616 2580 -2316 -2676 -2020 -2436 -2352 2156 2040 -2040 2644 -2628 -2712 -2260 2112 2340 2668 -2572 -2504 -2436 2388 -2552 -2532 -2700 -2700 -2276 2740 2332 -2740 -2616 -2444 -2544 2600 -2372 -2428 -2512 -2356 2696 -2676 -2464 -2292 -2724 -2528 -2564 -2740 -2316 2092 -2296 2632 -2064 -2472 -2284 -2692 2020 -2552 -2188 -2436 2448 2604 2728 2708 -2228 2740 2616 -2260 -2060 2500 -2076 2364 -2492 -2444 2300 2500 -2192 -2552 -2436 2316 -2700 -2468 -2164 2532 -2384 -2388 -2724 -2168 -2172 -2020 2720 -2436 -2448 -2648 -2612 2508 -2160 -2324 -2232 2132 2060 -2464 -2544 -2680 -2076 -2084 -2700 -2732 -2644 2300 -2544 2672 -2700 2572 2580 2664 -2528 -2444 -2256 -2680 -2464 -2048 -2400 -2244 2380 2424 2176 2548 2332 2616 -2720 -2380 -2132 2588 -2736 -2572 -2700 -2412 2684 -2596 -2660 -2680 2608 2044 -2252 -2720 2552 -2180 2528 2544 2700 -2128 -2152 -2544 2632 -2704 2180 -2364 2268 2020 2656 2544 -2332 -2656 -2584 -2096 -2652 -2128 2388 -2556 -2572 -2092 2396 2192 2644 -2060 2640 -2312 -2668 2656 -2068 2124 -2048 -2740 -2588 -2712 -2572 2592 -2416 2116 2624 2104 -2500 -2560 -2532 2700 -2688 -2740 2656 -2396 2700 -2404 -2344 -2128 -2584 -2168 -2628 2672 -2396 -2700 2080 -2524 -2152 -2684 -2428 2668 -2712 -2736 -2020 2616 -2484 -2352 -2688 2356 2648 -2668 2116 -2352 2208 -2424 2060 -2692 2172 -2424 -2740 2336 -2076 -2668 -2380 2680 2260 -2628 2376 -2424 -2216 -2700 2672 2544 2544 -2228 -2708 -2664 -2256 -2580 -2180 2052 2020 2424 -2276 -2644 2576 2556 2312 -2176 -2272 2656 -2300 -2488 -2456 -2700 2496 2692 2504 -2532 -2544 -2668 2072 2640 2540 2500 -2372 -2472 -2020 2168 -2316 -2488 2204 2672 -2684 -2532 2336 -2740 -2444 -2060 2248 -2696 2608 2316 -2340 2116 -2268 -2336 -2488 -2060 -2256 -2680 2644 2060 2696 -2720 -2068 -2052 -2584 2152 -2540 -2300 -2112 -2700 -2596 -2572 -2448 -2672 -2356 -2472 2132 -2324 -2520 2224 -2056 -2520 2480 -2700 2512 2696 -2228 -2104 2324 -2444 2684 -2188 -2644 2680 -2356 -2712 2580 -2648 -2028 -2424 -2440 -2384 2464 -2396 2216 -2180 -2448 -2292 -2684 2672 -2740 2616 -2344 -2672 2648 -2456 -2464 -2720 2216 2420 -2216 -2028 2668 -2248 2556 2260 -2668 -2280 -2572 -2020 -2560 2148 2688 -2028 -2488 2092 2256 -2200 -2216 -2068 2396 2728 2688 2508 -2480 -2680 -2384 -2564 2164 -2060 2696 2472 2220 -2712 -2640 -2488 2740 -2496 2060 -2700 2624 -2608 -2668 -2656 2688 -2608 -2460 -2468 -2708 2572 2440 2036 2416 2700 -2684 -2220 2584 -2408 -2220 -2436 2396 -2604 -2292 2060 -2432 -2424 -2656 2028 2672 -2668 -2116 -2740 2384 2684 -2436 -2596 -2396 -2648 
58.73/59.25	d ASSIGNMENTS 905
58.73/59.25	d CHECKS 45848915

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-1085890-1215235988/watcher-1085890-1215235988 -o /tmp/evaluation-result-1085890-1215235988/solver-1085890-1215235988 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1085890-1215235988.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.03 2.34 2.30 4/72 30534
/proc/meminfo: memFree=1715368/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=0
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 2002567720 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 236 195 169 0 51 0
[pid=30536] ppid=30534 vsize=0 CPUtime=0
/proc/30536/stat : 30536 (hydra) R 30534 30534 29288 0 -1 4194368 21 0 0 0 0 0 0 0 23 0 1 0 2002567721 0 0 996147200 0 0 0 18446744073709551615 233402068263 0 0 4096 0 0 0 0 17 1 0 0
/proc/30536/statm: 0 0 0 0 0 0 0

[startup+0.055668 s]
/proc/loadavg: 2.03 2.34 2.30 4/72 30534
/proc/meminfo: memFree=1715368/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=0
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002567720 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101673 s]
/proc/loadavg: 2.03 2.34 2.30 4/72 30534
/proc/meminfo: memFree=1715368/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=0
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002567720 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301711 s]
/proc/loadavg: 2.03 2.34 2.30 4/72 30534
/proc/meminfo: memFree=1715368/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=0
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002567720 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701774 s]
/proc/loadavg: 2.03 2.34 2.30 4/72 30534
/proc/meminfo: memFree=1715368/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=0
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002567720 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50192 s]
/proc/loadavg: 2.03 2.34 2.30 3/74 30538
/proc/meminfo: memFree=1693336/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=0
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002567720 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 236 195 169 0 51 0
[pid=30538] ppid=30534 vsize=37596 CPUtime=1.46
/proc/30538/stat : 30538 (xsolve) R 30534 30534 29288 0 -1 4194304 5733 0 0 0 143 3 0 0 25 0 1 0 2002567721 38498304 5626 996147200 134512640 135239763 4294956176 18446744073709551615 134535356 0 0 4096 0 0 0 0 17 1 0 0
/proc/30538/statm: 9399 5626 417 177 0 8302 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 42956

[startup+3.1012 s]
/proc/loadavg: 2.03 2.34 2.30 3/74 30538
/proc/meminfo: memFree=1693912/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=0
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002567720 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 236 195 169 0 51 0
[pid=30538] ppid=30534 vsize=37596 CPUtime=3.05
/proc/30538/stat : 30538 (xsolve) R 30534 30534 29288 0 -1 4194304 5733 0 0 0 302 3 0 0 25 0 1 0 2002567721 38498304 5626 996147200 134512640 135239763 4294956176 18446744073709551615 134532192 0 0 4096 0 0 0 0 17 1 0 0
/proc/30538/statm: 9399 5626 417 177 0 8302 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 42956

[startup+6.30178 s]
/proc/loadavg: 2.03 2.34 2.29 3/74 30538
/proc/meminfo: memFree=1693912/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=0
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002567720 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 236 195 169 0 51 0
[pid=30538] ppid=30534 vsize=37596 CPUtime=6.24
/proc/30538/stat : 30538 (xsolve) R 30534 30534 29288 0 -1 4194304 5733 0 0 0 621 3 0 0 25 0 1 0 2002567721 38498304 5626 996147200 134512640 135239763 4294956176 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/30538/statm: 9399 5626 417 177 0 8302 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 42956

[startup+12.7029 s]
/proc/loadavg: 2.03 2.33 2.29 3/82 30550
/proc/meminfo: memFree=1700952/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=9.59
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 375 6334 0 0 0 0 955 4 18 0 1 0 2002567720 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 238 196 169 0 51 0
[pid=30542] ppid=30534 vsize=197004 CPUtime=3
/proc/30542/stat : 30542 (java) S 30534 30534 29288 0 -1 0 7949 0 1 0 292 8 0 0 18 0 9 0 2002568687 201732096 6614 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30542/statm: 49251 6614 2541 9 0 43833 0
[pid=30542/tid=30543] ppid=30534 vsize=197004 CPUtime=2.4
/proc/30542/task/30543/stat : 30543 (java) R 30534 30534 29288 0 -1 64 3098 0 1 0 236 4 0 0 25 0 9 0 2002568688 201732096 6614 996147200 134512640 134550740 4294955968 18446744073709551615 4126520170 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30544] ppid=30534 vsize=197004 CPUtime=0.4
/proc/30542/task/30544/stat : 30544 (java) S 30534 30534 29288 0 -1 64 3499 0 0 0 37 3 0 0 16 0 9 0 2002568689 201732096 6614 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30545] ppid=30534 vsize=197004 CPUtime=0
/proc/30542/task/30545/stat : 30545 (java) S 30534 30534 29288 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002568689 201732096 6614 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30546] ppid=30534 vsize=197004 CPUtime=0
/proc/30542/task/30546/stat : 30546 (java) S 30534 30534 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002568689 201732096 6614 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30547] ppid=30534 vsize=197004 CPUtime=0
/proc/30542/task/30547/stat : 30547 (java) S 30534 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002568691 201732096 6614 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30548] ppid=30534 vsize=197004 CPUtime=0.17
/proc/30542/task/30548/stat : 30548 (java) S 30534 30534 29288 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 2002568691 201732096 6614 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30549] ppid=30534 vsize=197004 CPUtime=0
/proc/30542/task/30549/stat : 30549 (java) S 30534 30534 29288 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002568691 201732096 6614 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30550] ppid=30534 vsize=197004 CPUtime=0
/proc/30542/task/30550/stat : 30550 (java) S 30534 30534 29288 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002568691 201732096 6614 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 202364

[startup+25.5022 s]
/proc/loadavg: 2.02 2.31 2.29 3/94 30562
/proc/meminfo: memFree=1622704/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=9.59
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 375 6334 0 0 0 0 955 4 18 0 1 0 2002567720 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 238 196 169 0 51 0
[pid=30542] ppid=30534 vsize=197436 CPUtime=6.27
/proc/30542/stat : 30542 (java) S 30534 30534 29288 0 -1 0 13955 0 1 0 608 19 0 0 18 0 10 0 2002568687 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30542/statm: 49359 9496 2544 9 0 43941 0
[pid=30552] ppid=30542 vsize=5356 CPUtime=0
/proc/30552/stat : 30552 (abscon) S 30542 30534 29288 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002569330 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/30552/statm: 1339 235 194 169 0 50 0
[pid=30553] ppid=30552 vsize=655896 CPUtime=9.34
/proc/30553/stat : 30553 (java) S 30552 30534 29288 0 -1 0 18278 0 1 0 921 13 0 0 18 0 9 0 2002569331 671637504 17779 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30553/statm: 163974 17779 2008 9 0 158502 0
[pid=30553/tid=30555] ppid=30552 vsize=655896 CPUtime=8.97
/proc/30553/task/30555/stat : 30555 (java) R 30552 30534 29288 0 -1 64 12464 0 1 0 888 9 0 0 25 0 9 0 2002569332 671637504 17779 996147200 134512640 134550740 4294955808 18446744073709551615 4126890078 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30556] ppid=30552 vsize=655896 CPUtime=0.11
/proc/30553/task/30556/stat : 30556 (java) S 30552 30534 29288 0 -1 64 4590 0 0 0 10 1 0 0 17 0 9 0 2002569333 671637504 17779 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30557] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30557/stat : 30557 (java) S 30552 30534 29288 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002569333 671637504 17779 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30558] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30558/stat : 30558 (java) S 30552 30534 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002569333 671637504 17779 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30559] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30559/stat : 30559 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002569335 671637504 17779 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30560] ppid=30552 vsize=655896 CPUtime=0.22
/proc/30553/task/30560/stat : 30560 (java) S 30552 30534 29288 0 -1 64 679 0 0 0 22 0 0 0 16 0 9 0 2002569335 671637504 17779 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30561] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30561/stat : 30561 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002569335 671637504 17779 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30562] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30562/stat : 30562 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002569335 671637504 17779 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30554] ppid=30552 vsize=7044 CPUtime=0
/proc/30554/stat : 30554 (translate) S 30552 30534 29288 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002569331 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 233402237010 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/30554/statm: 1761 213 182 1 0 41 0
[pid=30542/tid=30543] ppid=30534 vsize=197436 CPUtime=4.95
/proc/30542/task/30543/stat : 30543 (java) S 30534 30534 29288 0 -1 64 3971 0 1 0 487 8 0 0 25 0 10 0 2002568688 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=30542/tid=30544] ppid=30534 vsize=197436 CPUtime=1.04
/proc/30542/task/30544/stat : 30544 (java) S 30534 30534 29288 0 -1 64 8496 0 0 0 95 9 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30545] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30545/stat : 30545 (java) S 30534 30534 29288 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30546] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30546/stat : 30546 (java) S 30534 30534 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30547] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30547/stat : 30547 (java) S 30534 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30548] ppid=30534 vsize=197436 CPUtime=0.24
/proc/30542/task/30548/stat : 30548 (java) S 30534 30534 29288 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30549] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30549/stat : 30549 (java) S 30534 30534 29288 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30550] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30550/stat : 30550 (java) S 30534 30534 29288 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30551] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30551/stat : 30551 (java) S 30534 30534 29288 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002569330 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 871092

[startup+51.1028 s]
/proc/loadavg: 2.01 2.29 2.28 3/94 30562
/proc/meminfo: memFree=1589488/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=9.59
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 375 6334 0 0 0 0 955 4 18 0 1 0 2002567720 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 238 196 169 0 51 0
[pid=30542] ppid=30534 vsize=197436 CPUtime=6.27
/proc/30542/stat : 30542 (java) S 30534 30534 29288 0 -1 0 13955 0 1 0 608 19 0 0 18 0 10 0 2002568687 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30542/statm: 49359 9496 2544 9 0 43941 0
[pid=30552] ppid=30542 vsize=5356 CPUtime=0
/proc/30552/stat : 30552 (abscon) S 30542 30534 29288 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002569330 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/30552/statm: 1339 235 194 169 0 50 0
[pid=30553] ppid=30552 vsize=655896 CPUtime=34.81
/proc/30553/stat : 30553 (java) S 30552 30534 29288 0 -1 0 27368 0 1 0 3461 20 0 0 18 0 9 0 2002569331 671637504 26654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30553/statm: 163974 26654 2617 9 0 158502 0
[pid=30553/tid=30555] ppid=30552 vsize=655896 CPUtime=33.76
/proc/30553/task/30555/stat : 30555 (java) R 30552 30534 29288 0 -1 64 12569 0 1 0 3363 13 0 0 25 0 9 0 2002569332 671637504 26654 996147200 134512640 134550740 4294955808 18446744073709551615 4127286820 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30556] ppid=30552 vsize=655896 CPUtime=0.68
/proc/30553/task/30556/stat : 30556 (java) S 30552 30534 29288 0 -1 64 13488 0 0 0 63 5 0 0 17 0 9 0 2002569333 671637504 26654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30557] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30557/stat : 30557 (java) S 30552 30534 29288 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002569333 671637504 26654 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30558] ppid=30552 vsize=655896 CPUtime=0

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

[pid=30542/tid=30549] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30549/stat : 30549 (java) S 30534 30534 29288 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30550] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30550/stat : 30550 (java) S 30534 30534 29288 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30551] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30551/stat : 30551 (java) S 30534 30534 29288 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002569330 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 57.85
Current children cumulated vsize (KiB) 871092

[startup+58.7022 s]
/proc/loadavg: 2.01 2.28 2.27 3/94 30562
/proc/meminfo: memFree=1589488/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=9.59
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 375 6334 0 0 0 0 955 4 18 0 1 0 2002567720 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 238 196 169 0 51 0
[pid=30542] ppid=30534 vsize=197436 CPUtime=6.27
/proc/30542/stat : 30542 (java) S 30534 30534 29288 0 -1 0 13955 0 1 0 608 19 0 0 18 0 10 0 2002568687 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30542/statm: 49359 9496 2544 9 0 43941 0
[pid=30552] ppid=30542 vsize=5356 CPUtime=0
/proc/30552/stat : 30552 (abscon) S 30542 30534 29288 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002569330 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/30552/statm: 1339 235 194 169 0 50 0
[pid=30553] ppid=30552 vsize=655896 CPUtime=42.38
/proc/30553/stat : 30553 (java) S 30552 30534 29288 0 -1 0 27380 0 1 0 4218 20 0 0 18 0 9 0 2002569331 671637504 26662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30553/statm: 163974 26662 2617 9 0 158502 0
[pid=30553/tid=30555] ppid=30552 vsize=655896 CPUtime=41.32
/proc/30553/task/30555/stat : 30555 (java) R 30552 30534 29288 0 -1 64 12573 0 1 0 4119 13 0 0 25 0 9 0 2002569332 671637504 26662 996147200 134512640 134550740 4294955808 18446744073709551615 4127325090 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30556] ppid=30552 vsize=655896 CPUtime=0.68
/proc/30553/task/30556/stat : 30556 (java) S 30552 30534 29288 0 -1 64 13488 0 0 0 63 5 0 0 16 0 9 0 2002569333 671637504 26662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30557] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30557/stat : 30557 (java) S 30552 30534 29288 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002569333 671637504 26662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30558] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30558/stat : 30558 (java) S 30552 30534 29288 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 2002569333 671637504 26662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30559] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30559/stat : 30559 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002569335 671637504 26662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30560] ppid=30552 vsize=655896 CPUtime=0.36
/proc/30553/task/30560/stat : 30560 (java) S 30552 30534 29288 0 -1 64 765 0 0 0 35 1 0 0 16 0 9 0 2002569335 671637504 26662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30561] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30561/stat : 30561 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002569335 671637504 26662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30562] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30562/stat : 30562 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002569335 671637504 26662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30554] ppid=30552 vsize=7044 CPUtime=0
/proc/30554/stat : 30554 (translate) S 30552 30534 29288 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002569331 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 233402237010 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/30554/statm: 1761 213 182 1 0 41 0
[pid=30542/tid=30543] ppid=30534 vsize=197436 CPUtime=4.95
/proc/30542/task/30543/stat : 30543 (java) S 30534 30534 29288 0 -1 64 3971 0 1 0 487 8 0 0 25 0 10 0 2002568688 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=30542/tid=30544] ppid=30534 vsize=197436 CPUtime=1.04
/proc/30542/task/30544/stat : 30544 (java) S 30534 30534 29288 0 -1 64 8496 0 0 0 95 9 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30545] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30545/stat : 30545 (java) S 30534 30534 29288 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30546] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30546/stat : 30546 (java) S 30534 30534 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30547] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30547/stat : 30547 (java) S 30534 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30548] ppid=30534 vsize=197436 CPUtime=0.24
/proc/30542/task/30548/stat : 30548 (java) S 30534 30534 29288 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30549] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30549/stat : 30549 (java) S 30534 30534 29288 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30550] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30550/stat : 30550 (java) S 30534 30534 29288 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30551] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30551/stat : 30551 (java) S 30534 30534 29288 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002569330 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 58.24
Current children cumulated vsize (KiB) 871092

[startup+59.1023 s]
/proc/loadavg: 2.01 2.28 2.27 3/94 30562
/proc/meminfo: memFree=1589488/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=9.59
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 375 6334 0 0 0 0 955 4 18 0 1 0 2002567720 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 238 196 169 0 51 0
[pid=30542] ppid=30534 vsize=197436 CPUtime=6.27
/proc/30542/stat : 30542 (java) S 30534 30534 29288 0 -1 0 13955 0 1 0 608 19 0 0 18 0 10 0 2002568687 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30542/statm: 49359 9496 2544 9 0 43941 0
[pid=30552] ppid=30542 vsize=5356 CPUtime=0
/proc/30552/stat : 30552 (abscon) S 30542 30534 29288 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002569330 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/30552/statm: 1339 235 194 169 0 50 0
[pid=30553] ppid=30552 vsize=655896 CPUtime=42.78
/proc/30553/stat : 30553 (java) S 30552 30534 29288 0 -1 0 27382 0 1 0 4258 20 0 0 18 0 9 0 2002569331 671637504 26663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30553/statm: 163974 26663 2617 9 0 158502 0
[pid=30553/tid=30555] ppid=30552 vsize=655896 CPUtime=41.71
/proc/30553/task/30555/stat : 30555 (java) R 30552 30534 29288 0 -1 64 12574 0 1 0 4158 13 0 0 25 0 9 0 2002569332 671637504 26663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30556] ppid=30552 vsize=655896 CPUtime=0.69
/proc/30553/task/30556/stat : 30556 (java) R 30552 30534 29288 0 -1 64 13489 0 0 0 64 5 0 0 17 0 9 0 2002569333 671637504 26663 996147200 134512640 134550740 4294955808 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30557] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30557/stat : 30557 (java) S 30552 30534 29288 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002569333 671637504 26663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30558] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30558/stat : 30558 (java) S 30552 30534 29288 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 2002569333 671637504 26663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30559] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30559/stat : 30559 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002569335 671637504 26663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30560] ppid=30552 vsize=655896 CPUtime=0.36
/proc/30553/task/30560/stat : 30560 (java) S 30552 30534 29288 0 -1 64 765 0 0 0 35 1 0 0 16 0 9 0 2002569335 671637504 26663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30561] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30561/stat : 30561 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002569335 671637504 26663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30562] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30562/stat : 30562 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002569335 671637504 26663 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30554] ppid=30552 vsize=7044 CPUtime=0
/proc/30554/stat : 30554 (translate) S 30552 30534 29288 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002569331 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 233402237010 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/30554/statm: 1761 213 182 1 0 41 0
[pid=30542/tid=30543] ppid=30534 vsize=197436 CPUtime=4.95
/proc/30542/task/30543/stat : 30543 (java) S 30534 30534 29288 0 -1 64 3971 0 1 0 487 8 0 0 25 0 10 0 2002568688 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=30542/tid=30544] ppid=30534 vsize=197436 CPUtime=1.04
/proc/30542/task/30544/stat : 30544 (java) S 30534 30534 29288 0 -1 64 8496 0 0 0 95 9 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30545] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30545/stat : 30545 (java) S 30534 30534 29288 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30546] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30546/stat : 30546 (java) S 30534 30534 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30547] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30547/stat : 30547 (java) S 30534 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30548] ppid=30534 vsize=197436 CPUtime=0.24
/proc/30542/task/30548/stat : 30548 (java) S 30534 30534 29288 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30549] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30549/stat : 30549 (java) S 30534 30534 29288 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30550] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30550/stat : 30550 (java) S 30534 30534 29288 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30551] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30551/stat : 30551 (java) S 30534 30534 29288 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002569330 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 58.64
Current children cumulated vsize (KiB) 871092

[startup+59.2023 s]
/proc/loadavg: 2.01 2.28 2.27 3/94 30562
/proc/meminfo: memFree=1589488/2055920 swapFree=4111052/4192956
[pid=30534] ppid=30532 vsize=5360 CPUtime=9.59
/proc/30534/stat : 30534 (hydra) S 30532 30534 29288 0 -1 4194304 375 6334 0 0 0 0 955 4 18 0 1 0 2002567720 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30534/statm: 1340 238 196 169 0 51 0
[pid=30542] ppid=30534 vsize=197436 CPUtime=6.27
/proc/30542/stat : 30542 (java) S 30534 30534 29288 0 -1 0 13960 0 1 0 608 19 0 0 18 0 10 0 2002568687 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30542/statm: 49359 9496 2544 9 0 43941 0
[pid=30552] ppid=30542 vsize=5356 CPUtime=0
/proc/30552/stat : 30552 (abscon) S 30542 30534 29288 0 -1 4194304 302 290 0 0 0 0 0 0 16 0 1 0 2002569330 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30552/statm: 1339 235 194 169 0 50 0
[pid=30553] ppid=30552 vsize=655896 CPUtime=42.87
/proc/30553/stat : 30553 (java) S 30552 30534 29288 0 -1 0 32189 0 1 0 4265 22 0 0 18 0 9 0 2002569331 671637504 31463 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30553/statm: 163974 31463 2617 9 0 158502 0
[pid=30553/tid=30555] ppid=30552 vsize=655896 CPUtime=41.76
/proc/30553/task/30555/stat : 30555 (java) S 30552 30534 29288 0 -1 64 12580 0 1 0 4163 13 0 0 25 0 9 0 2002569332 671637504 31463 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30556] ppid=30552 vsize=655896 CPUtime=0.73
/proc/30553/task/30556/stat : 30556 (java) S 30552 30534 29288 0 -1 64 18284 0 0 0 66 7 0 0 17 0 9 0 2002569333 671637504 31463 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30557] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30557/stat : 30557 (java) S 30552 30534 29288 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002569333 671637504 31463 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30558] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30558/stat : 30558 (java) S 30552 30534 29288 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 2002569333 671637504 31463 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30559] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30559/stat : 30559 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002569335 671637504 31463 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30560] ppid=30552 vsize=655896 CPUtime=0.36
/proc/30553/task/30560/stat : 30560 (java) S 30552 30534 29288 0 -1 64 766 0 0 0 35 1 0 0 16 0 9 0 2002569335 671637504 31463 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30561] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30561/stat : 30561 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002569335 671637504 31463 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30553/tid=30562] ppid=30552 vsize=655896 CPUtime=0
/proc/30553/task/30562/stat : 30562 (java) S 30552 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002569335 671637504 31463 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30542/tid=30543] ppid=30534 vsize=197436 CPUtime=4.95
/proc/30542/task/30543/stat : 30543 (java) S 30534 30534 29288 0 -1 64 3976 0 1 0 487 8 0 0 16 0 10 0 2002568688 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30542/tid=30544] ppid=30534 vsize=197436 CPUtime=1.04
/proc/30542/task/30544/stat : 30544 (java) S 30534 30534 29288 0 -1 64 8496 0 0 0 95 9 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30545] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30545/stat : 30545 (java) S 30534 30534 29288 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30546] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30546/stat : 30546 (java) S 30534 30534 29288 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2002568689 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30547] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30547/stat : 30547 (java) S 30534 30534 29288 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30548] ppid=30534 vsize=197436 CPUtime=0.24
/proc/30542/task/30548/stat : 30548 (java) S 30534 30534 29288 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30549] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30549/stat : 30549 (java) S 30534 30534 29288 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30550] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30550/stat : 30550 (java) S 30534 30534 29288 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 2002568691 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30542/tid=30551] ppid=30534 vsize=197436 CPUtime=0
/proc/30542/task/30551/stat : 30551 (java) S 30534 30534 29288 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002569330 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 58.73
Current children cumulated vsize (KiB) 864048

Child status: 0
Real time (s): 59.3007
CPU time (s): 58.8111
CPU user time (s): 58.3021
CPU system time (s): 0.508922
CPU usage (%): 99.1743
Max. virtual memory (cumulated for all children) (KiB): 871092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.3021
system time used= 0.508922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53597
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= 12859
involuntary context switches= 17645

runsolver used 0.226965 second user time and 0.597909 second system time

The end

Launcher Data (download as text)

Begin job on node70 at 2008-07-05 07:33:08
IDJOB=1085890
IDBENCH=57717
IDSOLVER=366
FILE ID=node70/1085890-1215235988
PBS_JOBID= 7881925
Free space on /tmp= 66340 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 55de9a4bee899e7bedf0b2c2b8000cef
RANDOM SEED=541937001

node70.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.256
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.256
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:       1715784 kB
Buffers:          5744 kB
Cached:         102140 kB
SwapCached:      74764 kB
Active:         263116 kB
Inactive:        21968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1715784 kB
SwapTotal:     4192956 kB
SwapFree:      4111052 kB
Dirty:           25880 kB
Writeback:           0 kB
Mapped:         185708 kB
Slab:            40156 kB
Committed_AS:  4282800 kB
PageTables:       2036 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66316 MiB
End job on node70 at 2008-07-05 07:34:08