Trace number 1086016

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 1275.33 1294.56

DiagnosticValue
ASSIGNMENTS18799
CHECKS3106840000

General information on the benchmark

Namecsp/fapp/fapp12/
normalized-fapp12-1500-10.xml
MD5SUM029bcf31114915c1681378a4f18ed14e
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 benchmark1072.47
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
29.80/30.02	c CASE TO CLASSIFY:
29.80/30.07	c Case: 0
29.80/30.07	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >  14.640500 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | 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.633100 | 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 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
29.80/30.07	c choco : 1801.0
29.80/30.07	c mistral : 1801.0
29.80/30.07	c abscon : 1801.0
29.80/30.07	c
29.80/30.07	c
29.90/30.10	c List of same ones: 40
29.90/30.10	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
29.90/30.10	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >  10.879600 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | 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.633100 | 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 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
29.90/30.11	c choco : 1801.0
29.90/30.11	c mistral : 1800.05
29.90/30.11	c abscon : 156.38
29.90/30.11	c
29.90/30.11	c
29.90/30.11	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
29.90/30.11	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >  10.689100 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | 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.633100 | 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 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
29.90/30.12	c choco : 1801.0
29.90/30.12	c mistral : 1800.06
29.90/30.12	c abscon : 441.864
29.90/30.12	c
29.90/30.12	c
29.90/30.12	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
29.90/30.12	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >  10.563200 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | 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.633100 | 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 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
29.90/30.13	c choco : 1801.0
29.90/30.13	c mistral : 1800.07
29.90/30.13	c abscon : 349.37
29.90/30.13	c
29.90/30.13	c
29.90/30.13	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
29.90/30.13	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >  10.630300 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | 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.875700 | 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 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
29.90/30.14	c choco : 1801.0
29.90/30.14	c mistral : 228.6
29.90/30.14	c abscon : 55.2496
29.90/30.14	c
29.90/30.14	c
29.90/30.14	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
29.90/30.14	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >  10.695200 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.315100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.08/30.34	c choco : 1801.0
30.08/30.34	c mistral : 1800.04
30.08/30.34	c abscon : 331.113
30.08/30.34	c
30.08/30.34	c
30.08/30.34	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
30.08/30.34	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >  10.047100 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | 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.633100 | 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 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.08/30.35	c choco : 1801.0
30.08/30.35	c mistral : 1800.03
30.08/30.35	c abscon : 20.0829
30.08/30.35	c
30.08/30.35	c
30.08/30.35	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
30.08/30.35	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >  10.433600 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | 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.875700 | 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 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.08/30.36	c choco : 1801.0
30.08/30.36	c mistral : 1800.03
30.08/30.36	c abscon : 129.181
30.08/30.36	c
30.08/30.36	c
30.08/30.36	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
30.08/30.36	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >  10.502800 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.315100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.08/30.36	c choco : 1801.0
30.08/30.36	c mistral : 1800.09
30.08/30.36	c abscon : 506.936
30.08/30.36	c
30.08/30.36	c
30.08/30.36	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
30.08/30.36	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >  10.260900 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | 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.875700 | 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 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.08/30.37	c choco : 1801.0
30.08/30.37	c mistral : 1800.02
30.08/30.37	c abscon : 85.215
30.08/30.37	c
30.08/30.37	c
30.08/30.37	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
30.08/30.37	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
30.08/30.38	c choco : 1801.0
30.08/30.38	c mistral : 81.4206
30.08/30.38	c abscon : 52.605
30.08/30.38	c
30.08/30.38	c
30.08/30.38	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-7.xml
30.08/30.38	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >  10.177400 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | 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.875700 | 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 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.08/30.39	c choco : 1801.0
30.08/30.39	c mistral : 1800.1
30.08/30.39	c abscon : 11.7712
30.08/30.39	c
30.08/30.39	c
30.08/30.39	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-0.xml
30.08/30.39	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >   9.684750 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | 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.633100 | 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 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.40	c choco : 1801.0
30.16/30.40	c mistral : 71.15
30.16/30.40	c abscon : 8.93264
30.16/30.40	c
30.16/30.40	c
30.16/30.40	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-6.xml
30.16/30.40	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >  10.049800 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | 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.875700 | 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 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.41	c choco : 1801.0
30.16/30.41	c mistral : 80.98
30.16/30.41	c abscon : 8.12576
30.16/30.41	c
30.16/30.41	c
30.16/30.41	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-5.xml
30.16/30.41	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.911390 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | 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.875700 | 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 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.42	c choco : 1801.0
30.16/30.42	c mistral : 108.251
30.16/30.42	c abscon : 8.62069
30.16/30.42	c
30.16/30.42	c
30.16/30.42	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
30.16/30.42	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >  10.001400 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.315100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.43	c choco : 1801.0
30.16/30.43	c mistral : 1800.08
30.16/30.43	c abscon : 15.1547
30.16/30.43	c
30.16/30.43	c
30.16/30.43	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-2.xml
30.16/30.43	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >   9.977280 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.315100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.43	c choco : 1801.0
30.16/30.43	c mistral : 1800.08
30.16/30.43	c abscon : 12.863
30.16/30.44	c
30.16/30.44	c
30.16/30.44	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-4.xml
30.16/30.44	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.879580 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | 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.875700 | 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 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.44	c choco : 1801.0
30.16/30.44	c mistral : 233.323
30.16/30.44	c abscon : 8.47971
30.16/30.44	c
30.16/30.44	c
30.16/30.44	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml
30.16/30.44	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.592460 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.45	c choco : 1801.0
30.16/30.45	c mistral : 155.051
30.16/30.45	c abscon : 7.09492
30.16/30.45	c
30.16/30.45	c
30.16/30.45	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-1.xml
30.16/30.45	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.575540 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.45	c choco : 1801.0
30.16/30.45	c mistral : 71.9411
30.16/30.45	c abscon : 6.95394
30.16/30.45	c
30.16/30.45	c
30.16/30.45	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-3.xml
30.16/30.45	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.848620 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | 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.875700 | 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 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.46	c choco : 1801.0
30.16/30.46	c mistral : 158.535
30.16/30.46	c abscon : 8.39572
30.16/30.46	c
30.16/30.46	c
30.16/30.46	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
30.16/30.46	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
30.16/30.47	c choco : 1801.0
30.16/30.47	c mistral : 866.057
30.16/30.47	c abscon : 36.8914
30.16/30.47	c
30.16/30.47	c
30.16/30.47	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
30.16/30.47	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
30.16/30.47	c choco : 1801.0
30.16/30.47	c mistral : 1800.02
30.16/30.47	c abscon : 55.4456
30.16/30.47	c
30.16/30.47	c
30.16/30.47	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-8.xml
30.16/30.47	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.543030 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.48	c choco : 1801.0
30.16/30.48	c mistral : 1800.03
30.16/30.48	c abscon : 11.3953
30.16/30.48	c
30.16/30.48	c
30.16/30.48	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-5.xml
30.16/30.48	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.533330 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.49	c choco : 1801.0
30.16/30.49	c mistral : 152.693
30.16/30.49	c abscon : 6.91295
30.16/30.49	c
30.16/30.49	c
30.16/30.49	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-2.xml
30.16/30.49	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.807350 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | 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.875700 | 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 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.49	c choco : 1801.0
30.16/30.49	c mistral : 1800.05
30.16/30.49	c abscon : 8.65568
30.16/30.49	c
30.16/30.49	c
30.16/30.49	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-6.xml
30.16/30.49	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.525520 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.16/30.50	c choco : 1801.0
30.21/30.50	c mistral : 145.44
30.21/30.50	c abscon : 7.14491
30.21/30.50	c
30.21/30.50	c
30.21/30.50	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-1.xml
30.21/30.50	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.800900 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | 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.875700 | 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 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.21/30.50	c choco : 1801.0
30.21/30.50	c mistral : 79.088
30.21/30.50	c abscon : 8.44271
30.21/30.50	c
30.21/30.50	c
30.21/30.50	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-2.xml
30.21/30.50	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.511750 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.21/30.51	c choco : 1801.0
30.21/30.51	c mistral : 73.3329
30.21/30.51	c abscon : 6.84696
30.21/30.51	c
30.21/30.51	c
30.21/30.51	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
30.21/30.51	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.485830 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.21/30.51	c choco : 1801.0
30.21/30.51	c mistral : 1800.04
30.21/30.51	c abscon : 11.0943
30.21/30.51	c
30.21/30.51	c
30.21/30.51	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
30.21/30.51	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
30.21/30.52	c choco : 1801.0
30.21/30.52	c mistral : 22.7995
30.21/30.52	c abscon : 8.06777
30.21/30.52	c
30.21/30.52	c
30.21/30.52	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-0.xml
30.21/30.52	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.428360 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.21/30.53	c choco : 1801.0
30.21/30.53	c mistral : 72.111
30.21/30.53	c abscon : 6.68698
30.21/30.53	c
30.21/30.53	c
30.21/30.53	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml
30.21/30.53	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
30.21/30.53	c choco : 1801.0
30.21/30.53	c mistral : 19.3181
30.21/30.53	c abscon : 8.28274
30.21/30.53	c
30.21/30.53	c
30.21/30.53	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-7.xml
30.21/30.53	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.405140 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.21/30.54	c choco : 1801.0
30.21/30.54	c mistral : 113.54
30.21/30.54	c abscon : 11.2793
30.21/30.54	c
30.21/30.54	c
30.21/30.54	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-4.xml
30.21/30.54	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.400880 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.21/30.54	c choco : 1801.0
30.21/30.54	c mistral : 146.632
30.21/30.54	c abscon : 6.95894
30.21/30.54	c
30.21/30.54	c
30.21/30.54	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml
30.21/30.54	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
30.21/30.55	c choco : 1801.0
30.21/30.55	c mistral : 28.7696
30.21/30.55	c abscon : 7.97079
30.21/30.55	c
30.21/30.55	c
30.21/30.55	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-1.xml
30.21/30.55	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >   9.658210 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.315100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.21/30.55	c choco : 1801.0
30.21/30.55	c mistral : 1800.05
30.21/30.55	c abscon : 13.29
30.21/30.55	c
30.21/30.55	c
30.21/30.55	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-3.xml
30.21/30.55	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.801300 | c 15 >   9.419960 | c 34 >  68.864900 | c 16 >   2.000000 | c 13 >   2.636770 | c 14 >  -1.000000 | c 11 >  11.167400 | c 12 >   4.398460 | c 21 >  16.617500 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.791620 | c 24 >   0.748797 | 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.565900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.276700 | c 31 >  -1.000000 | c 4 >  11.167400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.21/30.56	c choco : 1801.0
30.21/30.56	c mistral : 9.51455
30.21/30.56	c abscon : 7.00294
30.21/30.56	c
30.21/30.56	c
30.21/30.56	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-4.xml
30.21/30.56	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.801300 | c 15 >   9.407270 | c 34 >  68.864900 | c 16 >   2.000000 | c 13 >   2.636770 | c 14 >  -1.000000 | c 11 >  11.167400 | c 12 >   4.398460 | c 21 >  16.617500 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.791620 | c 24 >   0.748797 | 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.565900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.276700 | c 31 >  -1.000000 | c 4 >  11.167400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.21/30.57	c choco : 1801.0
30.21/30.57	c mistral : 1800.04
30.21/30.57	c abscon : 7.55785
30.21/30.57	c
30.21/30.57	c
30.21/30.57	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-8.xml
30.21/30.57	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.801300 | c 15 >   9.407270 | c 34 >  68.864900 | c 16 >   2.000000 | c 13 >   2.636770 | c 14 >  -1.000000 | c 11 >  11.167400 | c 12 >   4.398460 | c 21 >  16.617500 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.791620 | c 24 >   0.748797 | 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.565900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.276700 | c 31 >  -1.000000 | c 4 >  11.167400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.21/30.57	c choco : 1801.0
30.21/30.57	c mistral : 1800.03
30.21/30.57	c abscon : 11.9272
30.21/30.57	c
30.21/30.57	c
30.21/30.57	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-9.xml
30.21/30.57	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.801300 | c 15 >   9.407270 | c 34 >  68.864900 | c 16 >   2.000000 | c 13 >   2.636770 | c 14 >  -1.000000 | c 11 >  11.167400 | c 12 >   4.398460 | c 21 >  16.617500 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.791620 | c 24 >   0.748797 | 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.565900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.276700 | c 31 >  -1.000000 | c 4 >  11.167400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
30.21/30.58	c choco : 1801.0
30.21/30.58	c mistral : 1800.06
30.21/30.58	c abscon : 12.5081
30.21/30.58	c
30.21/30.58	c
30.21/30.58	c Length: 40
30.21/30.58	c 3.7608999999999995  3.9513999999999996  4.077299999999999  4.46221601048638  4.499645253128739  4.593399999999999  4.639792591726595  4.669258678206208  4.796932753775166  4.862310059418772  4.873287319073336  4.95575  4.990410221038045  5.118021988653525  5.118853790059254  5.14072330342764  5.147429157418388  5.150110565278767  5.166696313370468  5.176077821926655  5.19111894912118  5.191699631520008  5.198570129746831  5.2080818351765545  5.2143078741805216  5.2157407329540435  5.220286950373608  5.229245409759996  5.254669713873175  5.272973273583414  5.311057745176189  5.32713794770935  5.3338471409102075  5.33802854407842  5.405738586347382  5.431816359018775  5.442815761491841  5.454988703457047  5.454988703457047  5.454988703457047  
30.21/30.59	c 
30.21/30.59	c 1.0  0.8989169362786952  0.8426253281324346  0.7072244174839911  0.6963437430125782  0.6705043449054776  0.6584146983999486  0.6509598293489164  0.6205177058952196  0.6060058855881172  0.6036355521504216  0.586405208746664  0.5794531832883394  0.5552185261533736  0.5550672073065612  0.5511181516135696  0.5499184838770067  0.5494402442976745  0.5465004973606444  0.5448515557050826  0.5422285164711799  0.5421277568529456  0.5409384290692479  0.5393004781415439  0.5382336919738884  0.5379887792556698  0.5372131861551455  0.5356913829055886  0.5314190536968131  0.5283852517709736  0.5221824945422217  0.5196070469966495  0.5185399806304086  0.5178771616997838  0.5073751407016338  0.5034431366384368  0.5018028622431621  0.5  0.5  0.5  
30.27/30.60	c
30.27/30.60	c solver 0
30.27/30.60	c	  before 0.0 seconds: {} 0
30.27/30.60	c	  before 18.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15001
30.27/30.60	c	  before 36.0 seconds: {5, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15672
30.27/30.60	c	  before 54.0 seconds: {5, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16820
30.27/30.60	c	  before 72.0 seconds: {3, 5, 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} 18069
30.27/30.60	c	  before 90.0 seconds: {3, 5, 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} 18690
30.27/30.60	c	  before 144.0 seconds: {3, 5, 6, 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} 19348
30.27/30.60	c	  before 162.0 seconds: {0, 3, 5, 6, 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} 20348
30.27/30.60	c	  before 342.0 seconds: {0, 3, 4, 5, 6, 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} 21044
30.27/30.60	c	  before 360.0 seconds: {0, 2, 3, 4, 5, 6, 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} 21887
30.27/30.60	c	  before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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} 22786
30.27/30.60	c	  before 522.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} 23437
30.27/30.60	c
30.27/30.60	c solver 1
30.27/30.60	c	  before 0.0 seconds: {} 0
30.27/30.60	c	  before 18.0 seconds: {36} 501
30.27/30.60	c	  before 36.0 seconds: {29, 31, 34, 36} 2057
30.27/30.60	c	  before 72.0 seconds: {11, 18, 29, 31, 34, 36} 3190
30.27/30.60	c	  before 90.0 seconds: {9, 11, 12, 18, 26, 27, 29, 30, 31, 34, 36} 5970
30.27/30.60	c	  before 126.0 seconds: {9, 11, 12, 13, 18, 26, 27, 29, 30, 31, 32, 34, 36} 7044
30.27/30.60	c	  before 162.0 seconds: {9, 11, 12, 13, 17, 18, 19, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36} 9733
30.27/30.60	c	  before 234.0 seconds: {3, 9, 11, 12, 13, 16, 17, 18, 19, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36} 10990
30.27/30.60	c	  before 882.0 seconds: {3, 9, 11, 12, 13, 16, 17, 18, 19, 20, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36} 11533
30.27/30.60	c
30.27/30.60	c solver 2
30.27/30.60	c	  before 0.0 seconds: {} 0
30.27/30.60	c
30.27/30.60	cTotal time: 78
30.27/30.60	c 1404.0 seconds unused
30.27/30.60	c 0 c 19 c 40 
30.27/30.60	c 0 c 0 c 21 
30.27/30.60	c 0 c 0 c 0 
30.27/30.60	c is solver0 dominated by:
30.27/30.60	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)
30.27/30.60	c	solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
30.27/30.60	c is dominated? false
30.27/30.60	c
30.27/30.60	c is solver1 dominated by:
30.27/30.60	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)
30.27/30.60	c is dominated? true
30.27/30.60	c
30.27/30.60	c is solver2 dominated by:
30.27/30.60	c	solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
30.27/30.60	c is dominated? true
30.27/30.60	c
30.27/30.60	c Number of non-dominated solvers: 1
30.27/30.60	c remove dominated solvers
30.27/30.60	c solver 0 is not dominated by another solver
30.27/30.60	c solver 2 is dominated by another solver
30.27/30.60	c solver 1 is dominated by another solver
30.27/30.60	c
30.27/30.60	c solver 0: 522.0
30.27/30.60	c
30.27/30.60	c+ 29/29 of 71
30.27/30.60	c
30.27/30.60	c solver 1: 0.0
30.27/30.60	c
30.27/30.60	c solver 2: 0.0
30.27/30.60	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} 23437
30.27/30.60	c	 do not run mistral
30.27/30.60	c	 do not run choco
30.27/30.60	c Starting solver: HOME/cpHydra_k_40/solver/abscon
30.27/30.60	c On Instance: HOME/instance-1086016-1215236900.xml
30.27/30.60	c Running for: 1800 seconds
1275.25/1294.52	s SAT
1275.25/1294.52	v  -2160 2532 -2260 -2696 2408 -2624 2532 2628 2208 -2696 -2356 -2212 -2548 2260 -2560 -2596 -2692 2344 2736 -2160 -2384 -2684 -2208 -2152 -2648 2400 -2736 2244 2424 2160 -2524 -2736 -2340 -2340 -2696 -2616 -2184 2160 2460 2568 -2692 -2680 -2236 -2456 2140 -2308 -2328 -2584 2120 -2400 2368 -2444 -2664 -2360 2480 2180 -2208 2592 -2512 2588 2572 2620 2340 -2616 2676 2480 -2696 -2352 2144 2224 -2660 2696 2696 -2612 -2120 2656 -2512 -2664 -2320 2148 -2316 -2336 -2176 2632 -2508 2240 -2644 -2332 2172 2680 2664 -2472 -2192 2600 2688 2688 -2684 2300 -2300 -2120 2720 -2260 2368 -2684 -2120 2300 -2524 2600 -2268 -2680 2256 -2256 2600 -2532 -2172 2688 2696 -2332 -2576 2376 2488 -2696 2580 -2152 2220 2600 2496 -2644 -2664 -2548 2256 -2160 -2512 -2496 2168 -2304 -2496 -2512 -2396 -2284 -2424 -2736 2244 -2192 -2144 2556 2716 2508 -2428 -2252 2296 2136 -2400 -2160 -2452 2392 -2284 -2508 -2588 -2736 -2412 -2608 -2168 2132 -2420 -2672 2660 -2568 2684 -2160 2728 -2512 -2356 -2496 2736 2560 -2600 2592 -2612 -2256 -2400 -2488 -2396 -2340 2672 -2464 -2476 -2696 -2124 -2156 -2308 -2120 -2548 -2160 -2736 2728 2432 2120 -2716 -2248 2616 -2316 2640 2688 2732 -2324 -2736 -2144 2388 -2372 -2276 2572 2564 2592 2356 -2664 -2228 -2696 2524 2308 2720 -2160 2544 -2552 2320 -2244 2168 2680 2344 2604 -2468 -2628 2492 -2456 -2188 -2436 2680 -2264 2400 2276 2248 -2652 -2360 -2660 -2472 -2216 2164 2300 -2612 -2664 -2372 2444 2120 2324 -2596 -2412 -2472 2688 -2412 -2388 2200 -2160 2348 -2432 -2276 2220 -2236 -2196 -2416 -2668 2240 2288 -2440 2404 2160 2192 -2668 -2560 2316 2480 2160 -2188 -2476 -2620 2552 2144 -2424 2640 2308 -2680 -2352 -2160 2460 -2356 2632 2692 -2736 -2488 2504 -2724 -2528 -2556 -2160 -2688 2516 -2696 2484 -2616 2128 2660 2128 -2240 2608 2348 -2208 2584 -2316 2628 -2696 -2236 -2724 -2380 2568 -2340 -2244 2160 -2564 2532 2272 2672 -2220 -2368 -2396 -2168 2384 2300 -2156 2316 2120 -2704 2620 -2260 2204 -2308 -2280 -2660 2216 -2632 -2628 2424 2608 -2260 -2516 -2588 -2232 -2160 -2420 -2448 2728 2120 2640 2676 -2328 2412 -2736 -2276 2728 -2452 2120 2244 2216 -2276 -2312 -2120 -2680 2680 2508 2128 2664 2520 2136 2488 -2696 2728 -2360 2296 -2464 -2268 2228 -2556 2296 2368 2416 -2168 -2176 -2296 2632 2172 -2432 -2380 2164 -2708 -2160 -2324 -2364 2120 -2396 2696 -2496 -2736 2376 -2496 2640 2120 -2664 -2196 -2292 -2696 2292 2496 -2628 -2468 -2456 -2244 -2248 2584 -2640 2552 2720 2160 -2468 2600 2604 2636 2556 2484 2352 2440 -2204 2572 -2396 -2696 -2120 -2328 -2636 2120 2532 -2428 2680 -2732 2188 2408 2580 2432 -2580 -2428 2656 2264 -2284 -2588 2672 -2556 2248 -2160 -2736 -2344 -2148 -2652 -2712 2696 -2700 -2200 2316 2592 2176 2492 2392 2308 2188 -2676 -2512 2240 -2420 -2440 2268 -2276 2320 -2160 2228 2388 -2608 2564 -2512 -2188 -2164 2696 -2304 -2456 -2736 2564 2120 2248 -2344 2164 2448 2724 -2652 -2360 -2448 2220 -2696 -2696 2684 2508 2628 2160 -2388 2676 -2244 -2492 -2148 2592 -2268 2584 -2696 -2372 -2528 2160 -2708 -2488 2600 -2584 2216 -2648 -2296 -2720 2472 -2680 -2696 2368 -2356 -2168 2324 2164 -2652 2288 2124 -2356 2524 2624 2224 -2612 -2680 -2580 -2160 2544 -2480 -2576 -2196 2148 2420 -2576 -2484 -2212 2120 2668 2220 2176 2204 -2736 2256 -2160 -2232 2640 2252 -2736 2404 -2468 -2248 -2240 2292 -2160 -2624 -2160 2588 2696 -2376 2264 2568 -2448 -2696 2648 -2616 -2140 -2736 2380 2736 2432 2364 2284 2164 -2208 2572 2160 -2536 -2168 -2200 -2568 -2384 -2692 -2492 -2220 -2700 -2456 2456 -2364 -2652 2716 -2488 -2188 2408 2628 -2260 -2628 -2552 2256 -2736 2208 2136 2220 2324 -2268 -2628 2728 -2640 -2464 2256 -2640 2336 2496 2140 -2696 2356 2332 -2684 2696 2336 -2396 -2648 2492 2120 -2652 2516 -2392 -2612 -2348 -2736 -2676 -2404 2120 2136 2440 2152 -2632 2696 -2500 2676 -2200 -2636 -2408 -2656 2488 2240 2164 2616 -2320 2688 -2256 2284 -2240 -2676 2128 2688 -2692 2736 2352 2668 2424 -2664 2304 -2524 -2232 2128 -2704 -2320 -2508 2360 2552 -2732 2212 -2716 -2200 2312 -2196 -2564 -2548 -2696 2492 -2724 2540 2552 2332 -2624 2660 2292 2172 -2300 -2620 -2696 2120 2120 -2164 -2212 2396 2360 -2272 -2532 2584 -2216 -2192 -2712 -2360 -2244 2428 -2120 2444 2248 2312 -2300 -2688 -2608 -2160 2284 -2344 -2196 2736 -2340 -2672 2364 -2228 2720 -2736 -2680 -2248 2384 2508 -2468 -2352 -2408 -2652 2448 -2624 2188 -2428 -2572 2120 2176 -2356 2120 -2472 -2120 2336 2624 -2328 2548 -2696 2696 2736 2452 -2240 -2160 2124 2736 -2696 2200 -2456 -2696 -2432 2220 -2628 -2508 -2500 2436 2132 -2736 -2440 2304 -2136 -2188 2736 -2312 -2692 -2268 -2356 2356 -2548 -2284 2120 -2304 2580 -2392 2168 -2160 -2328 -2172 -2496 -2176 -2308 2400 -2148 -2660 2160 -2404 -2216 2164 -2736 -2212 -2736 -2184 2120 -2120 -2156 2148 -2268 2500 2604 -2440 2212 -2584 -2656 2532 -2552 -2492 -2204 2468 -2160 -2368 -2324 -2712 2664 -2684 -2200 -2508 2484 2544 2200 -2496 -2612 -2664 2188 2392 2668 2216 -2536 -2252 -2428 2320 -2736 -2456 -2296 -2528 2364 2668 2272 -2176 -2392 -2316 -2520 2164 -2524 2736 2336 -2124 2544 -2672 2212 -2588 2736 -2312 -2140 -2120 2284 2628 2340 -2160 2168 2696 2628 -2160 -2124 -2736 2416 2444 2312 2560 -2696 2120 2296 2372 2192 2584 -2296 -2624 -2184 -2136 -2160 2688 2400 -2392 -2156 -2188 2120 2672 -2148 -2696 2296 2612 2256 -2560 2468 2560 -2584 2120 -2352 2684 2664 -2312 -2204 2352 2124 -2316 2556 -2588 -2692 -2668 -2696 -2304 2704 -2420 2388 2676 2476 -2720 -2352 -2708 2624 -2200 -2688 2120 -2452 2120 2728 2264 -2552 -2696 2488 -2424 2528 2156 2264 -2160 -2160 -2228 2176 2696 2556 -2584 2452 -2512 2204 -2316 2556 -2684 2352 2592 -2552 -2520 2172 -2268 2324 2120 -2608 -2736 2284 2156 -2604 2120 -2620 -2416 -2224 -2292 -2584 -2304 2692 2584 -2552 -2360 2152 -2624 2580 -2160 2620 -2280 -2320 2376 -2228 -2176 -2736 2592 -2160 2460 -2404 -2160 -2732 2680 -2188 2648 2684 2552 2348 2640 2572 -2508 2412 -2120 2588 -2336 -2460 -2636 -2596 2392 2160 -2384 -2668 2144 -2696 -2160 2668 2352 2120 2176 2432 2468 2628 -2168 2652 2444 2204 -2736 -2412 2360 -2484 -2672 -2356 2328 -2572 -2452 2120 2456 -2160 -2516 -2480 -2216 -2160 -2640 -2160 2696 -2716 2344 2328 -2252 2356 -2652 -2120 2288 -2736 2732 2624 2260 2448 -2460 2288 2624 -2532 -2120 -2160 -2612 -2376 -2184 -2192 -2252 -2736 2276 -2624 -2736 -2232 2260 -2164 2568 -2728 -2676 -2120 2316 2264 2452 2672 -2464 -2332 2704 2724 -2516 2288 -2712 2248 2296 2620 2340 -2508 2396 -2500 -2260 -2412 -2628 -2260 -2132 2256 -2396 -2696 2624 2720 -2160 -2128 -2632 2696 -2736 2592 -2696 2400 -2244 -2380 -2492 -2312 2528 -2724 2676 2372 2152 2284 2668 2600 -2536 -2448 2192 -2696 -2220 -2360 2536 -2648 -2712 2504 -2368 -2736 -2724 -2184 2252 2736 -2660 -2288 -2180 2500 -2440 -2192 2224 2164 2640 2620 -2452 -2304 -2440 -2128 -2280 2624 -2404 -2260 2272 2268 -2168 2580 2120 2608 -2396 -2440 2452 -2516 2716 -2644 -2304 -2460 -2524 -2180 -2348 -2552 -2584 -2136 -2372 -2560 -2736 -2460 -2352 -2188 -2624 -2192 2380 2444 -2512 2692 -2564 -2176 -2324 2160 2688 2524 2440 2708 -2696 -2632 -2280 2680 -2736 2408 2308 2188 2548 -2624 -2488 2536 2700 2524 2464 2228 -2736 -2736 2492 2128 2716 -2144 -2712 -2236 2264 -2732 -2296 -2596 -2208 -2548 2544 2216 -2228 2180 -2668 -2248 2132 -2468 2556 -2736 2660 -2120 -2540 2296 2244 2160 2288 -2300 2444 -2600 -2452 2288 2572 -2232 -2276 2600 2220 -2120 -2624 -2640 -2228 -2268 -2696 -2160 2528 -2188 2680 -2204 -2316 -2696 2736 -2124 2724 2688 2676 -2328 2124 -2416 2420 2540 2172 2652 2652 2164 2588 -2532 2600 2424 2512 -2448 -2232 2496 -2456 -2696 -2176 -2484 2572 2664 -2148 -2728 2120 2164 2160 -2712 2700 2284 2288 -2520 2320 -2184 -2392 2232 2356 2124 2652 -2364 2676 2620 -2624 2240 -2436 -2736 -2188 2328 -2400 -2668 -2396 2128 -2132 -2120 -2332 -2384 2700 -2736 -2704 -2440 -2472 -2516 -2120 2356 -2632 -2508 -2712 -2664 2512 -2696 2172 -2428 -2280 -2396 -2160 2608 -2288 2412 -2452 -2256 -2596 -2632 -2436 2148 2324 2336 -2736 -2484 -2564 2600 -2260 -2648 2204 2120 -2336 -2160 -2672 2120 -2388 -2428 -2612 2716 -2696 2692 2692 -2452 -2380 -2720 -2468 -2688 2120 2484 -2480 -2416 -2620 -2568 -2160 -2656 -2492 -2532 -2196 2124 -2172 -2544 -2192 -2176 -2436 -2512 2648 -2132 -2364 -2216 2612 -2596 -2532 -2548 -2348 2736 -2692 2592 -2160 2472 -2504 -2420 2720 -2664 -2228 -2652 -2432 -2164 -2696 2180 2716 2220 -2696 -2124 2356 2120 -2196 2236 2120 -2272 -2472 -2344 -2596 2244 -2696 2484 2672 -2184 2396 2572 -2160 2456 -2336 -2736 2480 -2384 -2556 2336 -2636 2196 2148 -2148 -2640 -2172 2216 -2160 2260 -2504 
1275.25/1294.53	d ASSIGNMENTS 18799
1275.25/1294.53	d CHECKS 3106839565

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-1086016-1215236900/watcher-1086016-1215236900 -o /tmp/evaluation-result-1086016-1215236900/solver-1086016-1215236900 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1086016-1215236900.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.91 2.05 2.02 3/88 1240
/proc/meminfo: memFree=1106512/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=0
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679419040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1240/statm: 1340 236 195 169 0 51 0
[pid=1243] ppid=1240 vsize=5360 CPUtime=0
/proc/1243/stat : 1243 (hydra) R 1240 1240 1203 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 679419041 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 240153849127 0 0 4096 0 0 0 0 17 0 0 0
/proc/1243/statm: 1340 239 198 169 0 51 0

[startup+0.043963 s]
/proc/loadavg: 1.91 2.05 2.02 3/88 1240
/proc/meminfo: memFree=1106512/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=0
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679419040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1240/statm: 1340 236 195 169 0 51 0
[pid=1243] ppid=1240 vsize=6172 CPUtime=0.03
/proc/1243/stat : 1243 (xsolve) R 1240 1240 1203 0 -1 4194304 869 0 0 0 3 0 0 0 20 0 1 0 679419041 6320128 828 996147200 134512640 135239763 4294956176 18446744073709551615 4159729914 0 0 4096 0 0 0 0 17 0 0 0
/proc/1243/statm: 1543 828 379 177 0 446 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11532

[startup+0.102962 s]
/proc/loadavg: 1.91 2.05 2.02 3/88 1240
/proc/meminfo: memFree=1106512/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=0
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679419040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1240/statm: 1340 236 195 169 0 51 0
[pid=1243] ppid=1240 vsize=6992 CPUtime=0.08
/proc/1243/stat : 1243 (xsolve) R 1240 1240 1203 0 -1 4194304 1088 0 0 0 8 0 0 0 21 0 1 0 679419041 7159808 1047 996147200 134512640 135239763 4294956176 18446744073709551615 4159010263 0 0 4096 0 0 0 0 17 0 0 0
/proc/1243/statm: 1748 1047 379 177 0 651 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12352

[startup+0.30199 s]
/proc/loadavg: 1.91 2.05 2.02 3/88 1240
/proc/meminfo: memFree=1106512/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=0
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679419040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1240/statm: 1340 236 195 169 0 51 0
[pid=1243] ppid=1240 vsize=10016 CPUtime=0.28
/proc/1243/stat : 1243 (xsolve) R 1240 1240 1203 0 -1 4194304 1809 0 0 0 28 0 0 0 22 0 1 0 679419041 10256384 1768 996147200 134512640 135239763 4294956176 18446744073709551615 134667296 0 0 4096 0 0 0 0 17 0 0 0
/proc/1243/statm: 2504 1768 379 177 0 1407 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15376

[startup+0.70203 s]
/proc/loadavg: 1.91 2.05 2.02 3/88 1240
/proc/meminfo: memFree=1106512/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=0
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679419040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1240/statm: 1340 236 195 169 0 51 0
[pid=1243] ppid=1240 vsize=15676 CPUtime=0.69
/proc/1243/stat : 1243 (xsolve) R 1240 1240 1203 0 -1 4194304 3287 0 0 0 67 2 0 0 25 0 1 0 679419041 16052224 3180 996147200 134512640 135239763 4294956176 18446744073709551615 4159157543 0 0 4096 0 0 0 0 17 0 0 0
/proc/1243/statm: 3919 3180 379 177 0 2822 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21036

[startup+1.50211 s]
/proc/loadavg: 1.91 2.05 2.02 3/90 1244
/proc/meminfo: memFree=1090816/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=0
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679419040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1240/statm: 1340 236 195 169 0 51 0
[pid=1243] ppid=1240 vsize=67336 CPUtime=1.47
/proc/1243/stat : 1243 (xsolve) R 1240 1240 1203 0 -1 4194304 11403 0 0 0 141 6 0 0 25 0 1 0 679419041 68952064 11166 996147200 134512640 135239763 4294956176 18446744073709551615 134535352 0 0 4096 0 0 0 0 17 0 0 0
/proc/1243/statm: 16834 11166 416 177 0 15737 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 72696

[startup+3.10129 s]
/proc/loadavg: 1.91 2.05 2.02 3/90 1244
/proc/meminfo: memFree=1062912/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=0
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679419040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1240/statm: 1340 236 195 169 0 51 0
[pid=1243] ppid=1240 vsize=67336 CPUtime=3.07
/proc/1243/stat : 1243 (xsolve) R 1240 1240 1203 0 -1 4194304 11403 0 0 0 301 6 0 0 25 0 1 0 679419041 68952064 11166 996147200 134512640 135239763 4294956176 18446744073709551615 134543095 0 0 4096 0 0 0 0 17 0 0 0
/proc/1243/statm: 16834 11166 416 177 0 15737 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 72696

[startup+6.30165 s]
/proc/loadavg: 1.91 2.05 2.02 3/90 1244
/proc/meminfo: memFree=1061888/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=0
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679419040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1240/statm: 1340 236 195 169 0 51 0
[pid=1243] ppid=1240 vsize=67336 CPUtime=6.24
/proc/1243/stat : 1243 (xsolve) R 1240 1240 1203 0 -1 4194304 11403 0 0 0 618 6 0 0 25 0 1 0 679419041 68952064 11166 996147200 134512640 135239763 4294956176 18446744073709551615 134543153 0 0 4096 0 0 0 0 17 0 0 0
/proc/1243/statm: 16834 11166 416 177 0 15737 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 72696

[startup+12.7014 s]
/proc/loadavg: 2.00 2.06 2.03 3/90 1244
/proc/meminfo: memFree=1062784/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=0
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 679419040 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1240/statm: 1340 236 195 169 0 51 0
[pid=1243] ppid=1240 vsize=67336 CPUtime=12.61
/proc/1243/stat : 1243 (xsolve) R 1240 1240 1203 0 -1 4194304 11403 0 0 0 1254 7 0 0 25 0 1 0 679419041 68952064 11166 996147200 134512640 135239763 4294956176 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 0 0 0
/proc/1243/statm: 16834 11166 416 177 0 15737 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 72696

[startup+25.5028 s]
/proc/loadavg: 2.00 2.06 2.03 3/98 1256
/proc/meminfo: memFree=1098560/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=24.33
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 375 12008 0 0 0 0 2425 8 20 0 1 0 679419040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1240/statm: 1340 238 196 169 0 51 0
[pid=1248] ppid=1240 vsize=197108 CPUtime=1
/proc/1248/stat : 1248 (java) S 1240 1240 1203 0 -1 0 4549 0 1 0 96 4 0 0 18 0 9 0 679421488 201838592 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 49277 3841 1678 9 0 43859 0
[pid=1248/tid=1249] ppid=1240 vsize=197108 CPUtime=0.78
/proc/1248/task/1249/stat : 1249 (java) R 1240 1240 1203 0 -1 64 2633 0 1 0 77 1 0 0 24 0 9 0 679421489 201838592 3841 996147200 134512640 134550740 4294955968 18446744073709551615 103205681 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1250] ppid=1240 vsize=197108 CPUtime=0.07
/proc/1248/task/1250/stat : 1250 (java) S 1240 1240 1203 0 -1 64 589 0 0 0 6 1 0 0 16 0 9 0 679421490 201838592 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1251] ppid=1240 vsize=197108 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1240 1240 1203 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 679421490 201838592 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1252] ppid=1240 vsize=197108 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1240 1240 1203 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 679421490 201838592 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1253] ppid=1240 vsize=197108 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 679421492 201838592 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1254] ppid=1240 vsize=197108 CPUtime=0.12
/proc/1248/task/1254/stat : 1254 (java) S 1240 1240 1203 0 -1 64 601 0 0 0 12 0 0 0 16 0 9 0 679421492 201838592 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1255] ppid=1240 vsize=197108 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 679421492 201838592 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1256] ppid=1240 vsize=197108 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 679421492 201838592 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 202468

[startup+51.1026 s]
/proc/loadavg: 2.05 2.07 2.03 3/110 1268
/proc/meminfo: memFree=998176/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=24.33
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 375 12008 0 0 0 0 2425 8 20 0 1 0 679419040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1240/statm: 1340 238 196 169 0 51 0
[pid=1248] ppid=1240 vsize=197432 CPUtime=5.95
/proc/1248/stat : 1248 (java) S 1240 1240 1203 0 -1 0 14174 0 1 0 575 20 0 0 18 0 10 0 679421488 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 49358 9547 2545 9 0 43940 0
[pid=1258] ppid=1248 vsize=5356 CPUtime=0
/proc/1258/stat : 1258 (abscon) S 1248 1240 1203 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 679422101 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1258/statm: 1339 235 194 169 0 50 0
[pid=1259] ppid=1258 vsize=655728 CPUtime=20.15
/proc/1259/stat : 1259 (java) S 1258 1240 1203 0 -1 0 22107 0 1 0 2000 15 0 0 20 0 9 0 679422102 671465472 21606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1259/statm: 163932 21606 2008 9 0 158460 0
[pid=1259/tid=1261] ppid=1258 vsize=655728 CPUtime=19.61
/proc/1259/task/1261/stat : 1261 (java) R 1258 1240 1203 0 -1 64 12456 0 1 0 1951 10 0 0 25 0 9 0 679422103 671465472 21606 996147200 134512640 134550740 4294955808 18446744073709551615 4126899191 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1262] ppid=1258 vsize=655728 CPUtime=0.29
/proc/1259/task/1262/stat : 1262 (java) S 1258 1240 1203 0 -1 64 8449 0 0 0 26 3 0 0 17 0 9 0 679422104 671465472 21606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1263] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1263/stat : 1263 (java) S 1258 1240 1203 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 679422104 671465472 21606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1264] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1264/stat : 1264 (java) S 1258 1240 1203 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 679422104 671465472 21606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1265] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1265/stat : 1265 (java) S 1258 1240 1203 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 679422106 671465472 21606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1266] ppid=1258 vsize=655728 CPUtime=0.22
/proc/1259/task/1266/stat : 1266 (java) S 1258 1240 1203 0 -1 64 657 0 0 0 22 0 0 0 15 0 9 0 679422106 671465472 21606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1267] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1267/stat : 1267 (java) S 1258 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 679422106 671465472 21606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1268] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1268/stat : 1268 (java) S 1258 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 679422106 671465472 21606 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1260] ppid=1258 vsize=7044 CPUtime=0
/proc/1260/stat : 1260 (translate) S 1258 1240 1203 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 679422102 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 240154017874 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1260/statm: 1761 213 182 1 0 41 0
[pid=1248/tid=1249] ppid=1240 vsize=197432 CPUtime=4.59
/proc/1248/task/1249/stat : 1249 (java) S 1240 1240 1203 0 -1 64 3977 0 1 0 452 7 0 0 24 0 10 0 679421489 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1248/tid=1250] ppid=1240 vsize=197432 CPUtime=1.1
/proc/1248/task/1250/stat : 1250 (java) S 1240 1240 1203 0 -1 64 8693 0 0 0 100 10 0 0 16 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1240 1240 1203 0 -1 64 19 0 0 0 0 0 0 0 16 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1240 1240 1203 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1254] ppid=1240 vsize=197432 CPUtime=0.22
/proc/1248/task/1254/stat : 1254 (java) S 1240 1240 1203 0 -1 64 665 0 0 0 22 0 0 0 16 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1255] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1256] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1240 1240 1203 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1257] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1257/stat : 1257 (java) S 1240 1240 1203 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 679422101 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.43

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

[pid=1248/tid=1255] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1256] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1240 1240 1203 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1257] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1257/stat : 1257 (java) S 1240 1240 1203 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 679422101 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1273.5
Current children cumulated vsize (KiB) 870920

[startup+1293.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/110 1276
/proc/meminfo: memFree=935080/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=24.33
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 375 12008 0 0 0 0 2425 8 20 0 1 0 679419040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1240/statm: 1340 238 196 169 0 51 0
[pid=1248] ppid=1240 vsize=197432 CPUtime=5.95
/proc/1248/stat : 1248 (java) S 1240 1240 1203 0 -1 0 14174 0 1 0 575 20 0 0 18 0 10 0 679421488 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 49358 9547 2545 9 0 43940 0
[pid=1258] ppid=1248 vsize=5356 CPUtime=0
/proc/1258/stat : 1258 (abscon) S 1248 1240 1203 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 679422101 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1258/statm: 1339 235 194 169 0 50 0
[pid=1259] ppid=1258 vsize=655728 CPUtime=1244.01
/proc/1259/stat : 1259 (java) S 1258 1240 1203 0 -1 0 38569 0 1 0 124374 27 0 0 20 0 9 0 679422102 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1259/statm: 163932 37819 2617 9 0 158460 0
[pid=1259/tid=1261] ppid=1258 vsize=655728 CPUtime=1242.34
/proc/1259/task/1261/stat : 1261 (java) R 1258 1240 1203 0 -1 64 12581 0 1 0 124220 14 0 0 25 0 9 0 679422103 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4126897873 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1262] ppid=1258 vsize=655728 CPUtime=1.2
/proc/1259/task/1262/stat : 1262 (java) S 1258 1240 1203 0 -1 64 24652 0 0 0 110 10 0 0 16 0 9 0 679422104 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1263] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1263/stat : 1263 (java) S 1258 1240 1203 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 679422104 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1264] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1264/stat : 1264 (java) S 1258 1240 1203 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 679422104 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1265] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1265/stat : 1265 (java) S 1258 1240 1203 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 679422106 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1266] ppid=1258 vsize=655728 CPUtime=0.43
/proc/1259/task/1266/stat : 1266 (java) S 1258 1240 1203 0 -1 64 777 0 0 0 42 1 0 0 16 0 9 0 679422106 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1267] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1267/stat : 1267 (java) S 1258 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 679422106 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1268] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1268/stat : 1268 (java) S 1258 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 679422106 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1260] ppid=1258 vsize=7044 CPUtime=0
/proc/1260/stat : 1260 (translate) S 1258 1240 1203 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 679422102 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 240154017874 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1260/statm: 1761 213 182 1 0 41 0
[pid=1248/tid=1249] ppid=1240 vsize=197432 CPUtime=4.59
/proc/1248/task/1249/stat : 1249 (java) S 1240 1240 1203 0 -1 64 3977 0 1 0 452 7 0 0 24 0 10 0 679421489 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1248/tid=1250] ppid=1240 vsize=197432 CPUtime=1.1
/proc/1248/task/1250/stat : 1250 (java) S 1240 1240 1203 0 -1 64 8693 0 0 0 100 10 0 0 16 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1240 1240 1203 0 -1 64 19 0 0 0 0 0 0 0 16 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1240 1240 1203 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1254] ppid=1240 vsize=197432 CPUtime=0.22
/proc/1248/task/1254/stat : 1254 (java) S 1240 1240 1203 0 -1 64 665 0 0 0 22 0 0 0 16 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1255] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1256] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1240 1240 1203 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1257] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1257/stat : 1257 (java) S 1240 1240 1203 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 679422101 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1274.29
Current children cumulated vsize (KiB) 870920

[startup+1294.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/110 1276
/proc/meminfo: memFree=935080/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=24.33
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 375 12008 0 0 0 0 2425 8 20 0 1 0 679419040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1240/statm: 1340 238 196 169 0 51 0
[pid=1248] ppid=1240 vsize=197432 CPUtime=5.95
/proc/1248/stat : 1248 (java) S 1240 1240 1203 0 -1 0 14174 0 1 0 575 20 0 0 18 0 10 0 679421488 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 49358 9547 2545 9 0 43940 0
[pid=1258] ppid=1248 vsize=5356 CPUtime=0
/proc/1258/stat : 1258 (abscon) S 1248 1240 1203 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 679422101 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1258/statm: 1339 235 194 169 0 50 0
[pid=1259] ppid=1258 vsize=655728 CPUtime=1244.79
/proc/1259/stat : 1259 (java) S 1258 1240 1203 0 -1 0 38569 0 1 0 124452 27 0 0 20 0 9 0 679422102 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1259/statm: 163932 37819 2617 9 0 158460 0
[pid=1259/tid=1261] ppid=1258 vsize=655728 CPUtime=1243.13
/proc/1259/task/1261/stat : 1261 (java) R 1258 1240 1203 0 -1 64 12581 0 1 0 124299 14 0 0 25 0 9 0 679422103 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4126932944 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1262] ppid=1258 vsize=655728 CPUtime=1.2
/proc/1259/task/1262/stat : 1262 (java) S 1258 1240 1203 0 -1 64 24652 0 0 0 110 10 0 0 16 0 9 0 679422104 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1263] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1263/stat : 1263 (java) S 1258 1240 1203 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 679422104 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1264] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1264/stat : 1264 (java) S 1258 1240 1203 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 679422104 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1265] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1265/stat : 1265 (java) S 1258 1240 1203 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 679422106 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1266] ppid=1258 vsize=655728 CPUtime=0.43
/proc/1259/task/1266/stat : 1266 (java) S 1258 1240 1203 0 -1 64 777 0 0 0 42 1 0 0 16 0 9 0 679422106 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1267] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1267/stat : 1267 (java) S 1258 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 679422106 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1268] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1268/stat : 1268 (java) S 1258 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 679422106 671465472 37819 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1260] ppid=1258 vsize=7044 CPUtime=0
/proc/1260/stat : 1260 (translate) S 1258 1240 1203 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 679422102 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 240154017874 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1260/statm: 1761 213 182 1 0 41 0
[pid=1248/tid=1249] ppid=1240 vsize=197432 CPUtime=4.59
/proc/1248/task/1249/stat : 1249 (java) S 1240 1240 1203 0 -1 64 3977 0 1 0 452 7 0 0 24 0 10 0 679421489 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1248/tid=1250] ppid=1240 vsize=197432 CPUtime=1.1
/proc/1248/task/1250/stat : 1250 (java) S 1240 1240 1203 0 -1 64 8693 0 0 0 100 10 0 0 16 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1240 1240 1203 0 -1 64 19 0 0 0 0 0 0 0 16 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1240 1240 1203 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1254] ppid=1240 vsize=197432 CPUtime=0.22
/proc/1248/task/1254/stat : 1254 (java) S 1240 1240 1203 0 -1 64 665 0 0 0 22 0 0 0 16 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1255] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1256] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1240 1240 1203 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1257] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1257/stat : 1257 (java) S 1240 1240 1203 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 679422101 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1275.07
Current children cumulated vsize (KiB) 870920

[startup+1294.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/110 1276
/proc/meminfo: memFree=935080/2055920 swapFree=4178892/4192956
[pid=1240] ppid=1238 vsize=5360 CPUtime=24.33
/proc/1240/stat : 1240 (hydra) S 1238 1240 1203 0 -1 4194304 375 12008 0 0 0 0 2425 8 20 0 1 0 679419040 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1240/statm: 1340 238 196 169 0 51 0
[pid=1248] ppid=1240 vsize=197432 CPUtime=5.95
/proc/1248/stat : 1248 (java) S 1240 1240 1203 0 -1 0 14189 0 1 0 575 20 0 0 18 0 10 0 679421488 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 49358 9547 2545 9 0 43940 0
[pid=1258] ppid=1248 vsize=5356 CPUtime=0
/proc/1258/stat : 1258 (abscon) S 1248 1240 1203 0 -1 4194304 302 290 0 0 0 0 0 0 16 0 1 0 679422101 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1258/statm: 1339 235 194 169 0 50 0
[pid=1259] ppid=1258 vsize=655728 CPUtime=1244.97
/proc/1259/stat : 1259 (java) S 1258 1240 1203 0 -1 0 38578 0 1 0 124470 27 0 0 20 0 9 0 679422102 671465472 37827 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1259/statm: 163932 37827 2617 9 0 158460 0
[pid=1259/tid=1261] ppid=1258 vsize=655728 CPUtime=1243.3
/proc/1259/task/1261/stat : 1261 (java) S 1258 1240 1203 0 -1 64 12585 0 1 0 124316 14 0 0 25 0 9 0 679422103 671465472 37827 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1262] ppid=1258 vsize=655728 CPUtime=1.2
/proc/1259/task/1262/stat : 1262 (java) S 1258 1240 1203 0 -1 64 24652 0 0 0 110 10 0 0 16 0 9 0 679422104 671465472 37827 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1263] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1263/stat : 1263 (java) S 1258 1240 1203 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 679422104 671465472 37827 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1264] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1264/stat : 1264 (java) S 1258 1240 1203 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 679422104 671465472 37827 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1265] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1265/stat : 1265 (java) S 1258 1240 1203 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 679422106 671465472 37827 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1266] ppid=1258 vsize=655728 CPUtime=0.44
/proc/1259/task/1266/stat : 1266 (java) S 1258 1240 1203 0 -1 64 782 0 0 0 43 1 0 0 16 0 9 0 679422106 671465472 37827 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1267] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1267/stat : 1267 (java) S 1258 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 679422106 671465472 37827 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1259/tid=1268] ppid=1258 vsize=655728 CPUtime=0
/proc/1259/task/1268/stat : 1268 (java) S 1258 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 679422106 671465472 37827 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1249] ppid=1240 vsize=197432 CPUtime=4.59
/proc/1248/task/1249/stat : 1249 (java) S 1240 1240 1203 0 -1 64 3992 0 1 0 452 7 0 0 16 0 10 0 679421489 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1248/tid=1250] ppid=1240 vsize=197432 CPUtime=1.1
/proc/1248/task/1250/stat : 1250 (java) S 1240 1240 1203 0 -1 64 8693 0 0 0 100 10 0 0 16 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1240 1240 1203 0 -1 64 19 0 0 0 0 0 0 0 16 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1240 1240 1203 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 679421490 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1254] ppid=1240 vsize=197432 CPUtime=0.22
/proc/1248/task/1254/stat : 1254 (java) S 1240 1240 1203 0 -1 64 665 0 0 0 22 0 0 0 16 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1255] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1240 1240 1203 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1256] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1240 1240 1203 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 679421492 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1257] ppid=1240 vsize=197432 CPUtime=0
/proc/1248/task/1257/stat : 1257 (java) S 1240 1240 1203 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 679422101 202170368 9547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1275.25
Current children cumulated vsize (KiB) 863876

Child status: 0
Real time (s): 1294.56
CPU time (s): 1275.33
CPU user time (s): 1274.73
CPU system time (s): 0.603908
CPU usage (%): 98.5149
Max. virtual memory (cumulated for all children) (KiB): 870920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1274.73
system time used= 0.603908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65866
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= 62861
involuntary context switches= 60579

runsolver used 4.82727 second user time and 13.8359 second system time

The end

Launcher Data (download as text)

Begin job on node86 at 2008-07-05 07:48:20
IDJOB=1086016
IDBENCH=57740
IDSOLVER=366
FILE ID=node86/1086016-1215236900
PBS_JOBID= 7881972
Free space on /tmp= 66552 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 029bcf31114915c1681378a4f18ed14e
RANDOM SEED=1454428184

node86.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.220
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.220
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:       1106992 kB
Buffers:         88060 kB
Cached:         252892 kB
SwapCached:       6392 kB
Active:         804540 kB
Inactive:        89856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1106992 kB
SwapTotal:     4192956 kB
SwapFree:      4178892 kB
Dirty:           27928 kB
Writeback:           0 kB
Mapped:         567028 kB
Slab:            37960 kB
Committed_AS:  2002248 kB
PageTables:       3464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66528 MiB
End job on node86 at 2008-07-05 08:09:55