Trace number 1085869

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 66.9248 67.4038

DiagnosticValue
ASSIGNMENTS1872
CHECKS59243300

General information on the benchmark

Namecsp/fapp/fapp10/
normalized-fapp10-0900-9.xml
MD5SUMbb8fed9f370e164b93c37276047ba0d0
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 benchmark55.3086
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
14.90/15.09	c CASE TO CLASSIFY:
14.90/15.09	c Case: 0
14.90/15.09	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.00/15.10	c choco : 1801.0
15.00/15.10	c mistral : 1801.0
15.00/15.10	c abscon : 1801.0
15.00/15.10	c
15.00/15.10	c
15.00/15.17	c List of same ones: 40
15.00/15.17	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
15.00/15.17	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.00/15.18	c choco : 1801.0
15.00/15.18	c mistral : 81.4206
15.00/15.18	c abscon : 52.605
15.00/15.18	c
15.00/15.18	c
15.00/15.18	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
15.00/15.18	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.00/15.19	c choco : 1801.0
15.00/15.19	c mistral : 866.057
15.00/15.19	c abscon : 36.8914
15.00/15.19	c
15.00/15.19	c
15.00/15.19	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
15.00/15.19	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.00/15.20	c choco : 1801.0
15.00/15.20	c mistral : 1800.02
15.00/15.20	c abscon : 55.4456
15.00/15.20	c
15.00/15.20	c
15.00/15.20	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
15.00/15.20	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.10/15.21	c choco : 1801.0
15.10/15.21	c mistral : 22.7995
15.10/15.21	c abscon : 8.06777
15.10/15.21	c
15.10/15.21	c
15.10/15.21	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
15.10/15.21	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.10/15.22	c choco : 1801.0
15.10/15.22	c mistral : 1800.03
15.10/15.22	c abscon : 25.9351
15.10/15.22	c
15.10/15.22	c
15.10/15.22	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml
15.10/15.22	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.10/15.22	c choco : 1801.0
15.10/15.22	c mistral : 19.3181
15.10/15.22	c abscon : 8.28274
15.10/15.23	c
15.10/15.23	c
15.10/15.23	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
15.10/15.23	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.10/15.23	c choco : 1801.0
15.10/15.23	c mistral : 1800.02
15.10/15.23	c abscon : 17.2824
15.10/15.23	c
15.10/15.23	c
15.10/15.23	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml
15.10/15.23	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.10/15.24	c choco : 1801.0
15.10/15.24	c mistral : 28.7696
15.10/15.24	c abscon : 7.97079
15.10/15.24	c
15.10/15.24	c
15.10/15.24	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
15.10/15.24	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.10/15.25	c choco : 1801.0
15.10/15.25	c mistral : 6.79996
15.10/15.25	c abscon : 6.95294
15.10/15.25	c
15.10/15.25	c
15.10/15.25	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml
15.10/15.25	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.10/15.26	c choco : 1801.0
15.10/15.26	c mistral : 9.13061
15.10/15.26	c abscon : 16.3965
15.10/15.26	c
15.10/15.26	c
15.10/15.26	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml
15.10/15.26	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.28/15.44	c choco : 1801.0
15.28/15.44	c mistral : 4.03939
15.28/15.45	c abscon : 7.04993
15.28/15.45	c
15.28/15.45	c
15.28/15.45	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-3.xml
15.28/15.45	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.28/15.46	c choco : 1801.0
15.28/15.46	c mistral : 48.0167
15.28/15.46	c abscon : 8.41372
15.28/15.46	c
15.28/15.46	c
15.28/15.46	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-5.xml
15.28/15.46	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.28/15.47	c choco : 1801.0
15.28/15.47	c mistral : 19.2201
15.28/15.47	c abscon : 8.30374
15.28/15.47	c
15.28/15.47	c
15.28/15.47	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-2.xml
15.28/15.47	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.28/15.47	c choco : 1801.0
15.28/15.47	c mistral : 46.72
15.28/15.47	c abscon : 8.16376
15.28/15.47	c
15.28/15.47	c
15.28/15.47	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml
15.28/15.47	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.28/15.48	c choco : 1801.0
15.28/15.48	c mistral : 3.81642
15.28/15.48	c abscon : 7.04593
15.28/15.48	c
15.28/15.48	c
15.28/15.48	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-1.xml
15.28/15.48	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.28/15.49	c choco : 1801.0
15.28/15.49	c mistral : 46.277
15.28/15.49	c abscon : 8.15676
15.28/15.49	c
15.28/15.49	c
15.28/15.49	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml
15.28/15.49	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.28/15.49	c choco : 1801.0
15.28/15.49	c mistral : 4.28235
15.28/15.50	c abscon : 6.70698
15.28/15.50	c
15.28/15.50	c
15.28/15.50	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-9.xml
15.28/15.50	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.35/15.50	c choco : 1801.0
15.35/15.50	c mistral : 10.4224
15.35/15.50	c abscon : 16.1016
15.35/15.50	c
15.35/15.50	c
15.35/15.50	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml
15.35/15.50	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.35/15.51	c choco : 1801.0
15.35/15.51	c mistral : 2.73858
15.35/15.51	c abscon : 6.30204
15.35/15.51	c
15.35/15.51	c
15.35/15.51	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-8.xml
15.35/15.51	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.35/15.52	c choco : 1801.0
15.35/15.52	c mistral : 16.71
15.35/15.52	c abscon : 16.0216
15.35/15.52	c
15.35/15.52	c
15.35/15.52	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-7.xml
15.35/15.52	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.35/15.52	c choco : 1801.0
15.35/15.52	c mistral : 19.43
15.35/15.52	c abscon : 19.1291
15.35/15.52	c
15.35/15.52	c
15.35/15.52	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml
15.35/15.52	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.35/15.53	c choco : 1801.0
15.35/15.53	c mistral : 2.6216
15.35/15.53	c abscon : 6.46502
15.35/15.53	c
15.35/15.53	c
15.35/15.53	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-6.xml
15.35/15.53	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.35/15.53	c choco : 1801.0
15.35/15.53	c mistral : 36.3755
15.35/15.53	c abscon : 15.7406
15.35/15.53	c
15.35/15.53	c
15.35/15.53	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml
15.35/15.53	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.35/15.54	c choco : 1801.0
15.35/15.54	c mistral : 2.35864
15.35/15.54	c abscon : 6.51701
15.35/15.54	c
15.35/15.54	c
15.35/15.54	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml
15.35/15.54	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.35/15.55	c choco : 37.81
15.35/15.55	c mistral : 7.2519
15.35/15.55	c abscon : 12.7981
15.35/15.55	c
15.35/15.55	c
15.35/15.55	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml
15.35/15.55	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.35/15.55	c choco : 67.9
15.35/15.55	c mistral : 6.572
15.35/15.55	c abscon : 12.5521
15.35/15.55	c
15.35/15.55	c
15.35/15.55	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml
15.35/15.55	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.35/15.56	c choco : 1801.0
15.35/15.56	c mistral : 2.40163
15.35/15.56	c abscon : 6.25705
15.35/15.56	c
15.35/15.56	c
15.35/15.56	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-5.xml
15.35/15.56	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.35/15.56	c choco : 1801.0
15.35/15.56	c mistral : 1800.04
15.35/15.56	c abscon : 15.5706
15.35/15.56	c
15.35/15.56	c
15.35/15.56	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml
15.35/15.56	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.35/15.57	c choco : 1801.0
15.35/15.57	c mistral : 5.8841
15.35/15.57	c abscon : 12.8071
15.35/15.57	c
15.35/15.57	c
15.35/15.57	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-3.xml
15.35/15.57	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.35/15.57	c choco : 1801.0
15.35/15.57	c mistral : 1800.1
15.35/15.57	c abscon : 15.6316
15.35/15.57	c
15.35/15.57	c
15.35/15.57	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml
15.35/15.57	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.35/15.58	c choco : 104.95
15.35/15.58	c mistral : 7.41487
15.35/15.58	c abscon : 12.2871
15.35/15.58	c
15.35/15.58	c
15.35/15.58	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-2.xml
15.35/15.58	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.35/15.58	c choco : 1801.0
15.35/15.59	c mistral : 39.545
15.35/15.59	c abscon : 6.47701
15.35/15.59	c
15.35/15.59	c
15.35/15.59	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-4.xml
15.35/15.59	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.35/15.59	c choco : 1801.0
15.35/15.59	c mistral : 1800.05
15.35/15.59	c abscon : 14.8827
15.35/15.59	c
15.35/15.59	c
15.35/15.59	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-0.xml
15.35/15.59	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.35/15.60	c choco : 1801.0
15.35/15.60	c mistral : 56.79
15.35/15.60	c abscon : 7.94879
15.35/15.60	c
15.35/15.60	c
15.35/15.60	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-1.xml
15.35/15.60	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.42/15.60	c choco : 1801.0
15.42/15.60	c mistral : 113.7
15.42/15.60	c abscon : 6.29104
15.42/15.60	c
15.42/15.60	c
15.42/15.60	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml
15.42/15.60	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.42/15.61	c choco : 201.72
15.42/15.61	c mistral : 9.30558
15.42/15.61	c abscon : 12.6881
15.42/15.61	c
15.42/15.61	c
15.42/15.61	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml
15.42/15.61	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.42/15.61	c choco : 1801.0
15.42/15.61	c mistral : 31.0823
15.42/15.61	c abscon : 15.9926
15.42/15.61	c
15.42/15.61	c
15.42/15.61	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml
15.42/15.61	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.42/15.62	c choco : 1801.0
15.42/15.62	c mistral : 1800.02
15.42/15.62	c abscon : 14.5538
15.42/15.62	c
15.42/15.62	c
15.42/15.62	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml
15.42/15.62	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.42/15.63	c choco : 1801.0
15.42/15.63	c mistral : 9.48556
15.42/15.63	c abscon : 6.47801
15.42/15.63	c
15.42/15.63	c
15.42/15.63	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml
15.42/15.63	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.42/15.63	c choco : 245.07
15.42/15.63	c mistral : 279.471
15.42/15.63	c abscon : 6.48201
15.42/15.63	c
15.42/15.63	c
15.42/15.64	c Length: 40
15.42/15.64	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.42/15.64	c 
15.42/15.64	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.42/15.65	c
15.42/15.65	c solver 0
15.42/15.65	c	  before 0.0 seconds: {} 0
15.42/15.65	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.42/15.65	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.42/15.65	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.42/15.65	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.42/15.65	c
15.42/15.65	c solver 1
15.42/15.65	c	  before 0.0 seconds: {} 0
15.42/15.65	c	  before 18.0 seconds: {8, 9, 10, 14, 16, 17, 18, 19, 21, 23, 24, 25, 26, 28, 30, 35, 38} 9932
15.42/15.65	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.42/15.65	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.42/15.65	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.42/15.65	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.42/15.65	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.42/15.65	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.42/15.65	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.42/15.65	c
15.42/15.65	c solver 2
15.42/15.65	c	  before 0.0 seconds: {} 0
15.42/15.65	c	  before 54.0 seconds: {24} 566
15.42/15.65	c	  before 72.0 seconds: {24, 25} 1129
15.42/15.65	c	  before 108.0 seconds: {24, 25, 30} 1670
15.42/15.65	c	  before 216.0 seconds: {24, 25, 30, 35} 2192
15.42/15.65	c	  before 252.0 seconds: {24, 25, 30, 35, 39} 2692
15.42/15.65	c
15.42/15.65	cTotal time: 67
15.42/15.65	c 1206.0 seconds unused
15.42/15.65	c 0 c 7 c 35 
15.42/15.65	c 0 c 0 c 28 
15.42/15.65	c 0 c 0 c 0 
15.42/15.65	c is solver0 dominated by:
15.42/15.65	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.42/15.65	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.42/15.65	c is dominated? false
15.42/15.65	c
15.42/15.65	c is solver1 dominated by:
15.42/15.65	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.42/15.65	c is dominated? true
15.42/15.65	c
15.42/15.65	c is solver2 dominated by:
15.42/15.65	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.42/15.66	c is dominated? true
15.42/15.66	c
15.42/15.66	c Number of non-dominated solvers: 1
15.42/15.66	c remove dominated solvers
15.42/15.66	c solver 0 is not dominated by another solver
15.42/15.66	c solver 2 is dominated by another solver
15.42/15.66	c solver 1 is dominated by another solver
15.42/15.66	c
15.42/15.66	c solver 0: 72.0
15.42/15.66	c
15.42/15.66	c+ 4/4 of 96
15.42/15.66	c
15.42/15.66	c solver 1: 0.0
15.42/15.66	c
15.42/15.66	c solver 2: 0.0
15.42/15.66	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.42/15.66	c	 do not run mistral
15.42/15.66	c	 do not run choco
15.42/15.66	c Starting solver: HOME/cpHydra_k_40/solver/abscon
15.42/15.66	c On Instance: HOME/instance-1085869-1215235878.xml
15.42/15.66	c Running for: 1800 seconds
66.86/67.35	s SAT
66.86/67.35	v  2528 2640 2228 2364 -2484 -2312 -2256 2672 -2460 2540 -2284 2320 -2528 -2388 -2416 -2428 2612 2172 -2040 2672 2536 -2692 -2728 -2360 -2556 -2096 2672 -2424 2608 2684 -2324 -2220 -2420 2216 2592 2380 2488 2544 -2576 2172 -2032 2384 -2516 -2572 -2544 -2092 -2212 -2432 -2344 2656 -2176 -2584 2296 -2140 2028 -2420 2488 -2708 -2688 -2256 -2616 -2696 -2064 -2648 -2168 -2528 2544 -2072 2444 -2720 -2648 -2344 2236 -2352 -2656 2652 -2332 2472 -2108 -2528 -2684 -2504 2688 2104 2312 -2080 -2532 2340 -2456 -2592 2724 2700 -2656 2572 2048 -2584 2604 -2620 -2556 -2608 2656 -2740 -2384 2556 -2324 -2668 -2720 2696 2448 2340 2256 -2464 -2720 -2508 2268 -2144 2120 2584 -2712 -2060 2376 2340 -2604 -2136 2300 2696 -2692 -2100 2536 -2172 2192 2544 2408 2512 -2400 -2740 -2112 -2312 -2708 -2504 -2536 -2292 -2240 2216 -2364 -2632 -2716 -2400 -2728 2632 2660 -2308 -2476 -2040 2100 2692 -2700 2200 -2224 -2112 -2300 2424 -2628 -2476 2608 -2192 2068 -2060 -2296 -2060 -2620 -2476 -2132 -2080 -2284 -2428 -2740 2192 -2436 -2240 -2484 -2344 2564 -2696 -2532 -2264 -2076 2256 -2524 2652 -2496 2404 -2364 -2068 -2660 2564 -2400 -2344 -2268 -2672 -2112 2128 2420 2668 2676 2568 2456 2024 2088 -2456 -2268 -2176 2412 -2440 2664 -2396 -2024 -2684 2400 -2428 -2384 -2156 -2536 2644 -2472 -2252 -2160 2280 -2572 -2248 -2496 -2604 2060 -2672 -2216 2172 -2400 -2340 -2348 2444 2228 2588 2656 -2216 -2636 -2588 2476 2576 -2740 2644 2272 -2360 -2152 -2532 -2244 -2580 -2312 -2584 2728 -2540 -2300 -2468 2308 -2396 2656 -2020 2456 2552 -2316 -2204 -2740 2680 2216 -2476 2620 -2480 2464 2656 2040 -2216 -2712 -2368 2548 -2644 2212 -2680 -2548 -2268 -2204 2420 2532 2472 2604 -2072 -2292 -2432 -2740 2568 2216 -2068 2352 -2108 2528 -2460 2624 2280 2344 2420 2020 -2020 -2404 -2740 -2708 2672 -2484 2020 2656 2720 -2680 -2152 2680 2660 2500 2572 -2700 -2444 -2332 2664 2660 -2692 -2216 2672 2680 -2060 2216 -2136 2692 2644 -2380 2324 2132 -2432 2608 2424 -2584 2596 2444 -2160 -2420 -2456 2700 -2584 -2060 -2532 2532 -2088 -2336 2256 -2176 2540 2324 -2344 2136 2472 -2060 2516 -2216 -2060 -2180 2360 -2084 -2740 -2700 2456 -2108 -2500 -2412 -2696 -2664 -2064 -2396 -2688 -2452 -2712 2556 2020 -2088 -2184 -2684 -2584 -2540 2064 -2544 2020 2544 2096 2044 2668 2456 2020 -2084 2496 -2432 2216 -2676 2740 -2032 -2712 -2700 -2496 -2544 -2440 -2608 -2700 2672 -2204 -2644 -2180 2496 -2724 -2352 -2372 2456 -2392 -2060 -2680 2544 2312 -2020 -2664 -2408 -2200 -2332 -2372 2708 2080 2568 -2256 2700 -2676 -2464 -2584 2120 2616 -2712 2524 2368 -2580 -2576 -2592 -2440 -2632 -2532 -2700 2472 2060 2068 2600 2572 -2304 2632 -2512 2560 2272 -2596 -2060 2044 2636 -2628 -2712 -2264 -2292 -2496 -2020 -2472 2492 -2436 -2436 -2216 2484 2644 -2060 -2256 -2024 2372 2740 -2656 -2576 2552 2648 -2292 2396 -2644 -2356 -2700 -2712 -2524 2280 2684 -2528 2196 2540 -2460 -2648 -2284 -2616 -2060 -2368 -2284 2656 2040 2384 -2260 2420 2448 2644 -2672 2684 -2272 2732 2616 2168 -2060 -2240 2068 2364 -2496 2516 2412 -2700 2184 -2552 -2436 -2256 -2700 2356 -2196 -2516 -2384 -2392 2688 -2336 2076 -2096 2676 -2340 2360 -2512 -2740 2588 2136 -2388 -2164 -2116 2080 -2536 2536 -2716 -2068 2128 -2512 -2524 2564 2300 2704 2672 2500 -2584 2596 2672 -2528 -2492 -2256 2408 -2332 2028 -2432 2252 -2440 -2392 2244 -2464 -2320 2628 -2720 2020 -2136 -2568 -2740 -2464 2692 -2460 2524 -2472 2476 2020 -2704 -2052 2692 -2060 2604 -2280 2528 -2640 -2712 2140 -2144 2508 -2644 -2636 -2136 -2388 -2500 -2080 -2644 2564 -2332 -2468 -2584 -2028 2696 -2024 -2460 2716 2188 -2092 -2476 -2124 2568 -2072 2448 2304 -2572 2372 -2068 -2168 2048 2684 2500 -2608 -2532 2424 -2420 -2144 -2488 -2700 -2500 -2544 -2348 2700 2552 -2020 2656 -2396 -2668 2408 -2276 -2060 2512 -2148 -2288 2704 2164 2620 2084 -2588 -2644 -2684 -2500 2652 -2712 -2652 2740 -2412 -2532 -2128 -2656 2328 2660 2644 2556 -2332 2576 -2364 2028 2712 -2260 -2516 -2740 2304 -2212 2656 -2380 -2700 2356 2540 -2560 -2448 -2484 -2700 -2660 -2516 2656 -2232 -2696 -2596 -2164 -2580 -2328 -2020 -2120 -2448 -2264 -2684 -2484 -2512 2308 -2176 -2176 -2624 2312 2068 -2572 -2064 -2596 -2072 2696 2424 -2544 2632 -2252 -2708 2540 -2364 -2372 -2480 2172 -2060 -2216 -2488 2568 2672 -2724 2424 2520 -2740 -2516 -2020 -2244 -2696 -2380 2300 2452 -2212 -2160 -2328 -2488 -2120 -2228 -2672 2708 -2080 -2684 2740 2052 -2068 -2524 2192 2200 -2208 -2152 -2700 -2608 2444 -2468 -2732 -2256 -2496 -2220 -2324 -2512 2212 -2068 -2456 2500 -2724 2512 -2696 -2160 -2100 2324 -2436 2528 -2120 2644 2680 -2216 2700 2580 -2636 2044 -2372 -2548 -2384 -2408 2368 2268 -2060 -2564 2292 -2684 2728 -2720 -2696 -2344 2568 -2540 -2496 -2464 -2680 2552 2020 2256 2092 -2436 -2496 -2260 2256 -2688 -2232 -2620 -2020 2552 2160 2712 2028 -2488 -2028 2444 -2096 -2256 -2060 2380 2716 2676 2656 -2508 -2720 -2556 -2628 -2608 -2116 2692 2516 -2224 -2652 2320 -2488 2472 -2604 2584 -2732 -2624 -2608 2668 -2696 2700 -2524 2324 -2416 -2672 2556 2540 2028 -2440 2684 -2684 -2316 2644 -2324 -2320 2484 2440 -2648 -2332 2056 2456 -2352 2572 2020 2672 2668 -2028 2432 -2380 -2668 -2400 -2676 2520 -2648 
66.86/67.35	d ASSIGNMENTS 1872
66.86/67.35	d CHECKS 59243294

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-1085869-1215235878/watcher-1085869-1215235878 -o /tmp/evaluation-result-1085869-1215235878/solver-1085869-1215235878 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1085869-1215235878.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: 1.99 1.98 1.99 4/74 12545
/proc/meminfo: memFree=1341496/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=0
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 2002562893 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12545/statm: 1340 236 195 169 0 51 0
[pid=12546] ppid=12545 vsize=5360 CPUtime=0
/proc/12546/stat : 12546 (hydra) R 12545 12545 12402 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 2002562893 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 228706544935 0 0 4096 0 0 0 0 17 1 0 0
/proc/12546/statm: 1340 239 198 169 0 51 0

[startup+0.044833 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 12545
/proc/meminfo: memFree=1341496/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=0
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2002562893 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12545/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.102838 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 12545
/proc/meminfo: memFree=1341496/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=0
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2002562893 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12545/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.30186 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 12545
/proc/meminfo: memFree=1341496/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=0
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2002562893 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12545/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.70189 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 12545
/proc/meminfo: memFree=1341496/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=0
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2002562893 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12545/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50197 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12549
/proc/meminfo: memFree=1320360/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=0
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2002562893 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12545/statm: 1340 236 195 169 0 51 0
[pid=12549] ppid=12545 vsize=37528 CPUtime=1.47
/proc/12549/stat : 12549 (xsolve) R 12545 12545 12402 0 -1 4194304 5733 0 0 0 145 2 0 0 25 0 1 0 2002562894 38428672 5626 996147200 134512640 135239763 4294956176 18446744073709551615 134538577 0 0 4096 0 0 0 0 17 0 0 0
/proc/12549/statm: 9382 5626 416 177 0 8285 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42888

[startup+3.10112 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12549
/proc/meminfo: memFree=1319272/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=0
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2002562893 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12545/statm: 1340 236 195 169 0 51 0
[pid=12549] ppid=12545 vsize=37528 CPUtime=3.06
/proc/12549/stat : 12549 (xsolve) R 12545 12545 12402 0 -1 4194304 5733 0 0 0 304 2 0 0 25 0 1 0 2002562894 38428672 5626 996147200 134512640 135239763 4294956176 18446744073709551615 134540245 0 0 4096 0 0 0 0 17 0 0 0
/proc/12549/statm: 9382 5626 416 177 0 8285 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42888

[startup+6.30142 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12549
/proc/meminfo: memFree=1320168/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=0
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 2002562893 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12545/statm: 1340 236 195 169 0 51 0
[pid=12549] ppid=12545 vsize=37528 CPUtime=6.25
/proc/12549/stat : 12549 (xsolve) R 12545 12545 12402 0 -1 4194304 5733 0 0 0 623 2 0 0 25 0 1 0 2002562894 38428672 5626 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 0 0 0
/proc/12549/statm: 9382 5626 416 177 0 8285 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 42888

[startup+12.701 s]
/proc/loadavg: 1.99 1.98 1.99 3/84 12561
/proc/meminfo: memFree=1326824/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=9.83
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 375 6334 0 0 0 0 980 3 20 0 1 0 2002562893 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12545/statm: 1340 238 196 169 0 51 0
[pid=12553] ppid=12545 vsize=196988 CPUtime=2.77
/proc/12553/stat : 12553 (java) S 12545 12545 12402 0 -1 0 8167 0 1 0 268 9 0 0 21 0 9 0 2002563883 201715712 6775 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12553/statm: 49247 6775 2541 9 0 43829 0
[pid=12553/tid=12554] ppid=12545 vsize=196988 CPUtime=2.14
/proc/12553/task/12554/stat : 12554 (java) R 12545 12545 12402 0 -1 64 3152 0 1 0 211 3 0 0 25 0 9 0 2002563884 201715712 6775 996147200 134512640 134550740 4294955968 18446744073709551615 4126606114 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12555] ppid=12545 vsize=196988 CPUtime=0.45
/proc/12553/task/12555/stat : 12555 (java) S 12545 12545 12402 0 -1 64 3661 0 0 0 40 5 0 0 16 0 9 0 2002563885 201715712 6775 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12556] ppid=12545 vsize=196988 CPUtime=0
/proc/12553/task/12556/stat : 12556 (java) S 12545 12545 12402 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002563885 201715712 6775 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12557] ppid=12545 vsize=196988 CPUtime=0
/proc/12553/task/12557/stat : 12557 (java) S 12545 12545 12402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002563885 201715712 6775 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12558] ppid=12545 vsize=196988 CPUtime=0
/proc/12553/task/12558/stat : 12558 (java) S 12545 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002563887 201715712 6775 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12559] ppid=12545 vsize=196988 CPUtime=0.16
/proc/12553/task/12559/stat : 12559 (java) S 12545 12545 12402 0 -1 64 629 0 0 0 16 0 0 0 16 0 9 0 2002563887 201715712 6775 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12560] ppid=12545 vsize=196988 CPUtime=0
/proc/12553/task/12560/stat : 12560 (java) S 12545 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002563887 201715712 6775 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12561] ppid=12545 vsize=196988 CPUtime=0
/proc/12553/task/12561/stat : 12561 (java) S 12545 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002563887 201715712 6775 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 202348

[startup+25.5032 s]
/proc/loadavg: 1.99 1.98 1.99 3/96 12573
/proc/meminfo: memFree=1248776/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=9.83
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 375 6334 0 0 0 0 980 3 20 0 1 0 2002562893 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12545/statm: 1340 238 196 169 0 51 0
[pid=12553] ppid=12545 vsize=197420 CPUtime=5.65
/proc/12553/stat : 12553 (java) S 12545 12545 12402 0 -1 0 13950 0 1 0 545 20 0 0 21 0 10 0 2002563883 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12553/statm: 49355 9477 2544 9 0 43937 0
[pid=12563] ppid=12553 vsize=5356 CPUtime=0
/proc/12563/stat : 12563 (abscon) S 12553 12545 12402 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002564460 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12563/statm: 1339 235 194 169 0 50 0
[pid=12564] ppid=12563 vsize=655884 CPUtime=9.77
/proc/12564/stat : 12564 (java) S 12563 12545 12402 0 -1 0 18301 0 1 0 965 12 0 0 25 0 9 0 2002564460 671625216 17802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12564/statm: 163971 17802 2008 9 0 158499 0
[pid=12564/tid=12566] ppid=12563 vsize=655884 CPUtime=9.42
/proc/12564/task/12566/stat : 12566 (java) R 12563 12545 12402 0 -1 64 12463 0 1 0 933 9 0 0 25 0 9 0 2002564461 671625216 17802 996147200 134512640 134550740 4294955808 18446744073709551615 4126887083 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12567] ppid=12563 vsize=655884 CPUtime=0.11
/proc/12564/task/12567/stat : 12567 (java) S 12563 12545 12402 0 -1 64 4614 0 0 0 10 1 0 0 16 0 9 0 2002564462 671625216 17802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12568] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12568/stat : 12568 (java) S 12563 12545 12402 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002564463 671625216 17802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12569] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12569/stat : 12569 (java) S 12563 12545 12402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002564463 671625216 17802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12570] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12570/stat : 12570 (java) S 12563 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002564464 671625216 17802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12571] ppid=12563 vsize=655884 CPUtime=0.2
/proc/12564/task/12571/stat : 12571 (java) S 12563 12545 12402 0 -1 64 680 0 0 0 20 0 0 0 16 0 9 0 2002564464 671625216 17802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12572] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12572/stat : 12572 (java) S 12563 12545 12402 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002564464 671625216 17802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12573] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12573/stat : 12573 (java) S 12563 12545 12402 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002564464 671625216 17802 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12565] ppid=12563 vsize=7044 CPUtime=0
/proc/12565/stat : 12565 (translate) S 12563 12545 12402 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002564460 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 228706713682 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/12565/statm: 1761 213 182 1 0 41 0
[pid=12553/tid=12554] ppid=12545 vsize=197420 CPUtime=4.36
/proc/12553/task/12554/stat : 12554 (java) S 12545 12545 12402 0 -1 64 3898 0 1 0 429 7 0 0 25 0 10 0 2002563884 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=12553/tid=12555] ppid=12545 vsize=197420 CPUtime=1.03
/proc/12553/task/12555/stat : 12555 (java) S 12545 12545 12402 0 -1 64 8560 0 0 0 93 10 0 0 16 0 10 0 2002563885 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12556] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12556/stat : 12556 (java) S 12545 12545 12402 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002563885 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12557] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12557/stat : 12557 (java) S 12545 12545 12402 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002563885 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12558] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12558/stat : 12558 (java) S 12545 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12559] ppid=12545 vsize=197420 CPUtime=0.22
/proc/12553/task/12559/stat : 12559 (java) S 12545 12545 12402 0 -1 64 668 0 0 0 22 0 0 0 16 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12560] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12560/stat : 12560 (java) S 12545 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12561] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12561/stat : 12561 (java) S 12545 12545 12402 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12562] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12562/stat : 12562 (java) S 12545 12545 12402 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002564460 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 871064

[startup+51.1037 s]
/proc/loadavg: 1.99 1.98 1.99 3/96 12573
/proc/meminfo: memFree=1214920/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=9.83
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 375 6334 0 0 0 0 980 3 20 0 1 0 2002562893 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12545/statm: 1340 238 196 169 0 51 0
[pid=12553] ppid=12545 vsize=197420 CPUtime=5.65
/proc/12553/stat : 12553 (java) S 12545 12545 12402 0 -1 0 13950 0 1 0 545 20 0 0 21 0 10 0 2002563883 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12553/statm: 49355 9477 2544 9 0 43937 0
[pid=12563] ppid=12553 vsize=5356 CPUtime=0
/proc/12563/stat : 12563 (abscon) S 12553 12545 12402 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002564460 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12563/statm: 1339 235 194 169 0 50 0
[pid=12564] ppid=12563 vsize=655884 CPUtime=35.26
/proc/12564/stat : 12564 (java) S 12563 12545 12402 0 -1 0 27553 0 1 0 3506 20 0 0 25 0 9 0 2002564460 671625216 26840 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12564/statm: 163971 26840 2617 9 0 158499 0
[pid=12564/tid=12566] ppid=12563 vsize=655884 CPUtime=34.23
/proc/12564/task/12566/stat : 12566 (java) R 12563 12545 12402 0 -1 64 12568 0 1 0 3410 13 0 0 25 0 9 0 2002564461 671625216 26840 996147200 134512640 134550740 4294955808 18446744073709551615 4126891506 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12567] ppid=12563 vsize=655884 CPUtime=0.68
/proc/12564/task/12567/stat : 12567 (java) S 12563 12545 12402 0 -1 64 13677 0 0 0 63 5 0 0 17 0 9 0 2002564462 671625216 26840 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12568] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12568/stat : 12568 (java) S 12563 12545 12402 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002564463 671625216 26840 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12569] ppid=12563 vsize=655884 CPUtime=0

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

[pid=12545] ppid=12543 vsize=5360 CPUtime=9.83
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 375 6334 0 0 0 0 980 3 20 0 1 0 2002562893 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12545/statm: 1340 238 196 169 0 51 0
[pid=12553] ppid=12545 vsize=197420 CPUtime=5.65
/proc/12553/stat : 12553 (java) S 12545 12545 12402 0 -1 0 13950 0 1 0 545 20 0 0 21 0 10 0 2002563883 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12553/statm: 49355 9477 2544 9 0 43937 0
[pid=12563] ppid=12553 vsize=5356 CPUtime=0
/proc/12563/stat : 12563 (abscon) S 12553 12545 12402 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002564460 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12563/statm: 1339 235 194 169 0 50 0
[pid=12564] ppid=12563 vsize=655884 CPUtime=50.39
/proc/12564/stat : 12564 (java) S 12563 12545 12402 0 -1 0 27582 0 1 0 5019 20 0 0 25 0 9 0 2002564460 671625216 26861 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12564/statm: 163971 26861 2617 9 0 158499 0
[pid=12564/tid=12566] ppid=12563 vsize=655884 CPUtime=49.31
/proc/12564/task/12566/stat : 12566 (java) R 12563 12545 12402 0 -1 64 12573 0 1 0 4918 13 0 0 25 0 9 0 2002564461 671625216 26861 996147200 134512640 134550740 4294955808 18446744073709551615 4127283938 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12567] ppid=12563 vsize=655884 CPUtime=0.68
/proc/12564/task/12567/stat : 12567 (java) S 12563 12545 12402 0 -1 64 13677 0 0 0 63 5 0 0 17 0 9 0 2002564462 671625216 26861 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12568] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12568/stat : 12568 (java) S 12563 12545 12402 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002564463 671625216 26861 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12569] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12569/stat : 12569 (java) S 12563 12545 12402 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 2002564463 671625216 26861 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12570] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12570/stat : 12570 (java) S 12563 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002564464 671625216 26861 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12571] ppid=12563 vsize=655884 CPUtime=0.37
/proc/12564/task/12571/stat : 12571 (java) S 12563 12545 12402 0 -1 64 779 0 0 0 36 1 0 0 16 0 9 0 2002564464 671625216 26861 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12572] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12572/stat : 12572 (java) S 12563 12545 12402 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002564464 671625216 26861 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12573] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12573/stat : 12573 (java) S 12563 12545 12402 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002564464 671625216 26861 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12565] ppid=12563 vsize=7044 CPUtime=0
/proc/12565/stat : 12565 (translate) S 12563 12545 12402 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002564460 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 228706713682 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/12565/statm: 1761 213 182 1 0 41 0
[pid=12553/tid=12554] ppid=12545 vsize=197420 CPUtime=4.36
/proc/12553/task/12554/stat : 12554 (java) S 12545 12545 12402 0 -1 64 3898 0 1 0 429 7 0 0 25 0 10 0 2002563884 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=12553/tid=12555] ppid=12545 vsize=197420 CPUtime=1.03
/proc/12553/task/12555/stat : 12555 (java) S 12545 12545 12402 0 -1 64 8560 0 0 0 93 10 0 0 16 0 10 0 2002563885 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12556] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12556/stat : 12556 (java) S 12545 12545 12402 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002563885 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12557] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12557/stat : 12557 (java) S 12545 12545 12402 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002563885 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12558] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12558/stat : 12558 (java) S 12545 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12559] ppid=12545 vsize=197420 CPUtime=0.22
/proc/12553/task/12559/stat : 12559 (java) S 12545 12545 12402 0 -1 64 668 0 0 0 22 0 0 0 16 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12560] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12560/stat : 12560 (java) S 12545 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12561] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12561/stat : 12561 (java) S 12545 12545 12402 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12562] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12562/stat : 12562 (java) S 12545 12545 12402 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002564460 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 65.87
Current children cumulated vsize (KiB) 871064

[startup+67.1072 s]
/proc/loadavg: 1.99 1.98 1.99 3/96 12573
/proc/meminfo: memFree=1200456/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=9.83
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 375 6334 0 0 0 0 980 3 20 0 1 0 2002562893 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12545/statm: 1340 238 196 169 0 51 0
[pid=12553] ppid=12545 vsize=197420 CPUtime=5.65
/proc/12553/stat : 12553 (java) S 12545 12545 12402 0 -1 0 13950 0 1 0 545 20 0 0 21 0 10 0 2002563883 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12553/statm: 49355 9477 2544 9 0 43937 0
[pid=12563] ppid=12553 vsize=5356 CPUtime=0
/proc/12563/stat : 12563 (abscon) S 12553 12545 12402 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2002564460 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12563/statm: 1339 235 194 169 0 50 0
[pid=12564] ppid=12563 vsize=655884 CPUtime=51.19
/proc/12564/stat : 12564 (java) S 12563 12545 12402 0 -1 0 31204 0 1 0 5097 22 0 0 25 0 9 0 2002564460 671625216 30476 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12564/statm: 163971 30476 2617 9 0 158499 0
[pid=12564/tid=12566] ppid=12563 vsize=655884 CPUtime=50.07
/proc/12564/task/12566/stat : 12566 (java) R 12563 12545 12402 0 -1 64 12575 0 1 0 4994 13 0 0 25 0 9 0 2002564461 671625216 30476 996147200 134512640 134550740 4294955808 18446744073709551615 4127327165 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12567] ppid=12563 vsize=655884 CPUtime=0.72
/proc/12564/task/12567/stat : 12567 (java) S 12563 12545 12402 0 -1 64 17292 0 0 0 66 6 0 0 16 0 9 0 2002564462 671625216 30476 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12568] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12568/stat : 12568 (java) S 12563 12545 12402 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002564463 671625216 30476 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12569] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12569/stat : 12569 (java) S 12563 12545 12402 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 2002564463 671625216 30476 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12570] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12570/stat : 12570 (java) S 12563 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002564464 671625216 30476 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12571] ppid=12563 vsize=655884 CPUtime=0.37
/proc/12564/task/12571/stat : 12571 (java) S 12563 12545 12402 0 -1 64 779 0 0 0 36 1 0 0 15 0 9 0 2002564464 671625216 30476 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12572] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12572/stat : 12572 (java) S 12563 12545 12402 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002564464 671625216 30476 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12573] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12573/stat : 12573 (java) S 12563 12545 12402 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002564464 671625216 30476 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12565] ppid=12563 vsize=7044 CPUtime=0
/proc/12565/stat : 12565 (translate) S 12563 12545 12402 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002564460 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 228706713682 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/12565/statm: 1761 213 182 1 0 41 0
[pid=12553/tid=12554] ppid=12545 vsize=197420 CPUtime=4.36
/proc/12553/task/12554/stat : 12554 (java) S 12545 12545 12402 0 -1 64 3898 0 1 0 429 7 0 0 25 0 10 0 2002563884 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=12553/tid=12555] ppid=12545 vsize=197420 CPUtime=1.03
/proc/12553/task/12555/stat : 12555 (java) S 12545 12545 12402 0 -1 64 8560 0 0 0 93 10 0 0 16 0 10 0 2002563885 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12556] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12556/stat : 12556 (java) S 12545 12545 12402 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002563885 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12557] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12557/stat : 12557 (java) S 12545 12545 12402 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002563885 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12558] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12558/stat : 12558 (java) S 12545 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12559] ppid=12545 vsize=197420 CPUtime=0.22
/proc/12553/task/12559/stat : 12559 (java) S 12545 12545 12402 0 -1 64 668 0 0 0 22 0 0 0 16 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12560] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12560/stat : 12560 (java) S 12545 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12561] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12561/stat : 12561 (java) S 12545 12545 12402 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2002563887 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12562] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12562/stat : 12562 (java) S 12545 12545 12402 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002564460 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 66.67
Current children cumulated vsize (KiB) 871064

[startup+67.3032 s]
/proc/loadavg: 1.99 1.98 1.99 3/96 12573
/proc/meminfo: memFree=1200456/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=9.83
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 375 6334 0 0 0 0 980 3 20 0 1 0 2002562893 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12545/statm: 1340 238 196 169 0 51 0
[pid=12553] ppid=12545 vsize=197420 CPUtime=5.65
/proc/12553/stat : 12553 (java) S 12545 12545 12402 0 -1 0 13956 0 1 0 545 20 0 0 21 0 10 0 2002563883 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12553/statm: 49355 9479 2544 9 0 43937 0
[pid=12563] ppid=12553 vsize=5356 CPUtime=0
/proc/12563/stat : 12563 (abscon) S 12553 12545 12402 0 -1 4194304 302 290 0 0 0 0 0 0 16 0 1 0 2002564460 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/12563/statm: 1339 235 194 169 0 50 0
[pid=12564] ppid=12563 vsize=655884 CPUtime=51.38
/proc/12564/stat : 12564 (java) S 12563 12545 12402 0 -1 0 31210 0 1 0 5116 22 0 0 25 0 9 0 2002564460 671625216 30481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12564/statm: 163971 30481 2617 9 0 158499 0
[pid=12564/tid=12566] ppid=12563 vsize=655884 CPUtime=50.26
/proc/12564/task/12566/stat : 12566 (java) S 12563 12545 12402 0 -1 64 12580 0 1 0 5013 13 0 0 25 0 9 0 2002564461 671625216 30481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12567] ppid=12563 vsize=655884 CPUtime=0.72
/proc/12564/task/12567/stat : 12567 (java) S 12563 12545 12402 0 -1 64 17292 0 0 0 66 6 0 0 16 0 9 0 2002564462 671625216 30481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12568] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12568/stat : 12568 (java) S 12563 12545 12402 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002564463 671625216 30481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12569] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12569/stat : 12569 (java) S 12563 12545 12402 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 2002564463 671625216 30481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12570] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12570/stat : 12570 (java) S 12563 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002564464 671625216 30481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12571] ppid=12563 vsize=655884 CPUtime=0.37
/proc/12564/task/12571/stat : 12571 (java) S 12563 12545 12402 0 -1 64 780 0 0 0 36 1 0 0 16 0 9 0 2002564464 671625216 30481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12572] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12572/stat : 12572 (java) S 12563 12545 12402 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2002564464 671625216 30481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12564/tid=12573] ppid=12563 vsize=655884 CPUtime=0
/proc/12564/task/12573/stat : 12573 (java) S 12563 12545 12402 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002564464 671625216 30481 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12554] ppid=12545 vsize=197420 CPUtime=4.36
/proc/12553/task/12554/stat : 12554 (java) S 12545 12545 12402 0 -1 64 3904 0 1 0 429 7 0 0 16 0 10 0 2002563884 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=12553/tid=12555] ppid=12545 vsize=197420 CPUtime=1.03
/proc/12553/task/12555/stat : 12555 (java) S 12545 12545 12402 0 -1 64 8560 0 0 0 93 10 0 0 16 0 10 0 2002563885 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12556] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12556/stat : 12556 (java) S 12545 12545 12402 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002563885 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12557] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12557/stat : 12557 (java) S 12545 12545 12402 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002563885 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12558] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12558/stat : 12558 (java) S 12545 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2002563887 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12559] ppid=12545 vsize=197420 CPUtime=0.22
/proc/12553/task/12559/stat : 12559 (java) S 12545 12545 12402 0 -1 64 668 0 0 0 22 0 0 0 16 0 10 0 2002563887 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12560] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12560/stat : 12560 (java) S 12545 12545 12402 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2002563887 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12561] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12561/stat : 12561 (java) S 12545 12545 12402 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2002563887 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12553/tid=12562] ppid=12545 vsize=197420 CPUtime=0
/proc/12553/task/12562/stat : 12562 (java) S 12545 12545 12402 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002564460 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 66.86
Current children cumulated vsize (KiB) 864020

[startup+67.4022 s]
/proc/loadavg: 1.99 1.98 1.99 3/96 12573
/proc/meminfo: memFree=1200456/2055920 swapFree=4179560/4192956
[pid=12545] ppid=12543 vsize=5360 CPUtime=9.83
/proc/12545/stat : 12545 (hydra) S 12543 12545 12402 0 -1 4194304 375 6334 0 0 0 0 980 3 20 0 1 0 2002562893 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12545/statm: 1340 238 196 169 0 51 0
[pid=12553] ppid=12545 vsize=0 CPUtime=57.06
/proc/12553/stat : 12553 (java) Z 12545 12545 12402 0 -1 1036 14054 31821 1 1 545 20 5117 24 16 0 2 0 2002563883 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12553/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 66.89
Current children cumulated vsize (KiB) 5360

Child status: 0
Real time (s): 67.4038
CPU time (s): 66.9248
CPU user time (s): 66.4279
CPU system time (s): 0.496924
CPU usage (%): 99.2894
Max. virtual memory (cumulated for all children) (KiB): 871064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.4279
system time used= 0.496924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52596
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= 13928
involuntary context switches= 19704

runsolver used 0.241963 second user time and 0.622905 second system time

The end

Launcher Data (download as text)

Begin job on node8 at 2008-07-05 07:31:18
IDJOB=1085869
IDBENCH=57715
IDSOLVER=366
FILE ID=node8/1085869-1215235878
PBS_JOBID= 7881954
Free space on /tmp= 66328 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= bb8fed9f370e164b93c37276047ba0d0
RANDOM SEED=1525933938

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1341912 kB
Buffers:         75044 kB
Cached:         463824 kB
SwapCached:       6900 kB
Active:         322256 kB
Inactive:       328844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1341912 kB
SwapTotal:     4192956 kB
SwapFree:      4179560 kB
Dirty:           25840 kB
Writeback:           0 kB
Mapped:         118740 kB
Slab:            47812 kB
Committed_AS:  3506120 kB
PageTables:       1928 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66304 MiB
End job on node8 at 2008-07-05 07:32:26