Trace number 1092596

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 748.631 754.449

DiagnosticValue
ASSIGNMENTS899

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-7.xml
MD5SUM933af775481748d76719206dbc8b6623
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 benchmark18.9771
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1715
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
7.58/7.72	c CASE TO CLASSIFY:
7.58/7.72	c Case: 0
7.58/7.72	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.272700 | c 15 >  21.884900 | c 34 >  47.272700 | c 16 >   2.000000 | c 13 >   0.546271 | c 14 >   6.807350 | c 11 >   8.643860 | c 12 >   5.322020 | c 21 >  40.810500 | c 20 > 100.000000 | c 22 >  41.412600 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  14.270300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.962200 | c 6 >  12.891800 | c 32 >  -1.000000 | c 5 >  23.736100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.58/7.73	c choco : 1801.0
7.58/7.73	c mistral : 1801.0
7.58/7.73	c abscon : 1801.0
7.58/7.73	c
7.58/7.73	c
7.68/7.81	c List of same ones: 40
7.68/7.82	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-1.xml
7.68/7.82	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.272700 | c 15 >  20.637400 | c 34 >  47.272700 | c 16 >   2.000000 | c 13 >   0.553308 | c 14 >   7.366320 | c 11 >   8.643860 | c 12 >   5.323370 | c 21 >  40.714200 | c 20 > 100.000000 | c 22 >  41.315900 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  14.270300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.962200 | c 6 >  12.891800 | c 32 >  -1.000000 | c 5 >  23.729200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.68/7.82	c choco : 57.77
7.68/7.82	c mistral : 1800.05
7.68/7.82	c abscon : 1800.11
7.68/7.82	c
7.68/7.82	c
7.68/7.82	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-3.xml
7.68/7.82	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.272700 | c 15 >  20.601800 | c 34 >  47.272700 | c 16 >   2.000000 | c 13 >   1.164390 | c 14 >   6.599910 | c 11 >   8.643860 | c 12 >   5.323190 | c 21 >  41.206800 | c 20 > 100.000000 | c 22 >  41.809100 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  14.270300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.962200 | c 6 >  12.891800 | c 32 >  -1.000000 | c 5 >  23.763900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.68/7.83	c choco : 106.05
7.68/7.83	c mistral : 1800.02
7.68/7.83	c abscon : 1800.14
7.68/7.83	c
7.68/7.83	c
7.68/7.83	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-95-3.xml
7.68/7.83	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.272700 | c 15 >  20.755200 | c 34 >  47.272700 | c 16 >   2.000000 | c 13 >   0.679451 | c 14 >   6.169930 | c 11 >   8.643860 | c 12 >   5.322290 | c 21 >  39.140800 | c 20 > 100.000000 | c 22 >  39.774400 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  14.270300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.962200 | c 6 >  12.891800 | c 32 >  -1.000000 | c 5 >  23.615700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.68/7.84	c choco : 448.15
7.68/7.84	c mistral : 1800.07
7.68/7.84	c abscon : 1800.16
7.68/7.84	c
7.68/7.84	c
7.68/7.84	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-5.xml
7.68/7.84	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.272700 | c 15 >  20.193700 | c 34 >  47.272700 | c 16 >   2.000000 | c 13 >  -1.461240 | c 14 >   6.599910 | c 11 >   8.643860 | c 12 >   5.318680 | c 21 >  41.382600 | c 20 > 100.000000 | c 22 >  41.988100 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  14.270300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.962200 | c 6 >  12.891800 | c 32 >  -1.000000 | c 5 >  23.776100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.68/7.85	c choco : 145.34
7.68/7.85	c mistral : 1800.09
7.68/7.85	c abscon : 1800.11
7.68/7.85	c
7.68/7.85	c
7.68/7.85	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-7.xml
7.68/7.85	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.272700 | c 15 >  20.188700 | c 34 >  47.272700 | c 16 >   2.000000 | c 13 >  -1.736970 | c 14 >   5.781360 | c 11 >   8.643860 | c 12 >   5.318320 | c 21 >  40.810500 | c 20 > 100.000000 | c 22 >  41.412600 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  14.270300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.962200 | c 6 >  12.891800 | c 32 >  -1.000000 | c 5 >  23.736100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.68/7.86	c choco : 234.31
7.68/7.86	c mistral : 1800.04
7.68/7.86	c abscon : 1800.11
7.68/7.86	c
7.68/7.86	c
7.68/7.86	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-9.xml
7.68/7.86	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.272700 | c 15 >  20.703300 | c 34 >  47.272700 | c 16 >   2.000000 | c 13 >   5.926110 | c 14 >   9.226410 | c 11 >   8.643860 | c 12 >   5.519560 | c 21 >  40.594000 | c 20 > 100.000000 | c 22 >  41.194700 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  14.270300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.962200 | c 6 >  12.891800 | c 32 >  -1.000000 | c 5 >  23.720700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.68/7.87	c choco : 624.5
7.68/7.87	c mistral : 1800.09
7.68/7.87	c abscon : 1800.19
7.68/7.87	c
7.68/7.87	c
7.68/7.87	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-95-7.xml
7.68/7.87	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.272700 | c 15 >  20.747700 | c 34 >  47.272700 | c 16 >   2.000000 | c 13 >   5.488440 | c 14 >   8.717680 | c 11 >   8.643860 | c 12 >   5.429780 | c 21 >  38.749100 | c 20 > 100.000000 | c 22 >  39.382700 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  14.270300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.962200 | c 6 >  12.891800 | c 32 >  -1.000000 | c 5 >  23.586700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.68/7.88	c choco : 5.74
7.68/7.88	c mistral : 1800.09
7.68/7.88	c abscon : 1800.07
7.68/7.88	c
7.68/7.88	c
7.68/7.88	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-7.xml
7.68/7.88	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.316300 | c 15 >  20.567400 | c 34 >  47.316300 | c 16 >   2.000000 | c 13 >   3.115990 | c 14 >   6.741470 | c 11 >  12.550700 | c 12 >   2.002760 | c 21 >  38.148000 | c 20 > 100.000000 | c 22 >  38.781400 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.228820 | c 10 >  13.854300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.545900 | c 6 >  12.476700 | c 32 >  -1.000000 | c 5 >  23.125400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.68/7.89	c choco : 97.75
7.68/7.89	c mistral : 1800.08
7.68/7.89	c abscon : 1800.09
7.68/7.89	c
7.68/7.89	c
7.68/7.89	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-105-1.xml
7.68/7.89	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  20.983500 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   1.038070 | c 14 >   8.643860 | c 11 >   8.643860 | c 12 >   6.250490 | c 21 >  36.714900 | c 20 > 100.000000 | c 22 >  37.403200 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.327900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.68/7.89	c choco : 1801.0
7.68/7.89	c mistral : 0.763882
7.68/7.89	c abscon : 186.119
7.68/7.89	c
7.68/7.89	c
7.68/7.89	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-5.xml
7.68/7.89	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.316300 | c 15 >  20.570700 | c 34 >  47.316300 | c 16 >   2.000000 | c 13 >   3.131410 | c 14 >   7.044390 | c 11 >  12.550700 | c 12 >   2.009170 | c 21 >  37.459300 | c 20 > 100.000000 | c 22 >  38.131400 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.228820 | c 10 >  13.854300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.545900 | c 6 >  12.476700 | c 32 >  -1.000000 | c 5 >  23.072900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.76/7.90	c choco : 917.89
7.76/7.90	c mistral : 1800.02
7.76/7.90	c abscon : 1800.13
7.76/7.91	c
7.76/7.91	c
7.76/7.91	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-9.xml
7.76/7.91	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.316300 | c 15 >  20.525300 | c 34 >  47.316300 | c 16 >   2.000000 | c 13 >   3.101080 | c 14 >   6.643860 | c 11 >  12.550700 | c 12 >   1.992160 | c 21 >  37.450700 | c 20 > 100.000000 | c 22 >  38.105100 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.228820 | c 10 >  13.854300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.545900 | c 6 >  12.476700 | c 32 >  -1.000000 | c 5 >  23.072300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.10	c choco : 45.33
7.95/8.10	c mistral : 1800.04
7.95/8.10	c abscon : 1800.13
7.95/8.10	c
7.95/8.10	c
7.95/8.10	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-1.xml
7.95/8.10	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.316300 | c 15 >  20.539400 | c 34 >  47.316300 | c 16 >   2.000000 | c 13 >   3.205420 | c 14 >   7.055280 | c 11 >  12.550700 | c 12 >   2.037620 | c 21 >  37.405000 | c 20 > 100.000000 | c 22 >  38.078900 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.228820 | c 10 >  13.854300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.545900 | c 6 >  12.476700 | c 32 >  -1.000000 | c 5 >  23.068800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.11	c choco : 62.82
7.95/8.11	c mistral : 1800.06
7.95/8.11	c abscon : 1800.1
7.95/8.11	c
7.95/8.11	c
7.95/8.11	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-3.xml
7.95/8.11	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.316300 | c 15 >  20.560200 | c 34 >  47.316300 | c 16 >   2.000000 | c 13 >   3.308310 | c 14 >   6.375040 | c 11 >  12.550700 | c 12 >   2.022720 | c 21 >  37.112000 | c 20 > 100.000000 | c 22 >  37.735900 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.228820 | c 10 >  13.854300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.545900 | c 6 >  12.476700 | c 32 >  -1.000000 | c 5 >  23.046100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.12	c choco : 83.58
7.95/8.12	c mistral : 1800.03
7.95/8.12	c abscon : 1800.09
7.95/8.12	c
7.95/8.12	c
7.95/8.12	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-105-3.xml
7.95/8.12	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  21.347500 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   2.975770 | c 14 >   9.084810 | c 11 >   8.643860 | c 12 >   6.258570 | c 21 >  36.393500 | c 20 > 100.000000 | c 22 >  37.081000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.302600 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.13	c choco : 1801.0
7.95/8.13	c mistral : 0.804877
7.95/8.13	c abscon : 187.605
7.95/8.13	c
7.95/8.13	c
7.95/8.13	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-105-7.xml
7.95/8.13	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  21.139400 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   0.068584 | c 14 >   8.768180 | c 11 >   8.643860 | c 12 >   6.248920 | c 21 >  35.820400 | c 20 > 100.000000 | c 22 >  36.496600 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.256900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.14	c choco : 14.49
7.95/8.14	c mistral : 0.91586
7.95/8.14	c abscon : 116.232
7.95/8.14	c
7.95/8.14	c
7.95/8.14	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-105-9.xml
7.95/8.14	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  21.408300 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   2.615750 | c 14 >   9.019590 | c 11 >   8.643860 | c 12 >   6.257670 | c 21 >  36.032100 | c 20 > 100.000000 | c 22 >  36.715100 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.273800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.15	c choco : 14.67
7.95/8.15	c mistral : 0.792879
7.95/8.15	c abscon : 117.223
7.95/8.15	c
7.95/8.15	c
7.95/8.15	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-100-1.xml
7.95/8.15	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  21.424100 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >  -0.153809 | c 14 >   9.134430 | c 11 >   8.643860 | c 12 >   6.248780 | c 21 >  35.790800 | c 20 > 100.000000 | c 22 >  36.496600 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.254500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.15	c choco : 36.7
7.95/8.15	c mistral : 1.08383
7.95/8.15	c abscon : 481.424
7.95/8.15	c
7.95/8.15	c
7.95/8.15	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-9.xml
7.95/8.15	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.713600 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.128840 | c 14 >   6.870360 | c 11 >  11.720700 | c 12 >   2.093910 | c 21 >  35.840300 | c 20 > 100.000000 | c 22 >  36.524000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  22.136700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.16	c choco : 36.21
7.95/8.16	c mistral : 8.59169
7.95/8.16	c abscon : 1800.13
7.95/8.16	c
7.95/8.16	c
7.95/8.16	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-1.xml
7.95/8.16	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.916100 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.634900 | c 14 >   7.636620 | c 11 >  11.720700 | c 12 >   2.292390 | c 21 >  35.728500 | c 20 > 100.000000 | c 22 >  36.414300 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  22.127800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.17	c choco : 24.34
7.95/8.17	c mistral : 2.62
7.95/8.17	c abscon : 1800.1
7.95/8.17	c
7.95/8.17	c
7.95/8.17	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-5.xml
7.95/8.17	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.684300 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   2.945250 | c 14 >   6.894820 | c 11 >  11.720700 | c 12 >   2.020160 | c 21 >  35.490200 | c 20 > 100.000000 | c 22 >  36.180100 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  22.108500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.18	c choco : 60.7
7.95/8.18	c mistral : 1800.02
7.95/8.18	c abscon : 1800.08
7.95/8.18	c
7.95/8.18	c
7.95/8.18	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-100-9.xml
7.95/8.18	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  21.216600 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   3.273180 | c 14 >   9.011230 | c 11 >   8.643860 | c 12 >   6.261150 | c 21 >  35.132700 | c 20 > 100.000000 | c 22 >  35.832900 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.201000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.19	c choco : 14.31
7.95/8.19	c mistral : 1.90271
7.95/8.19	c abscon : 238.733
7.95/8.19	c
7.95/8.19	c
7.95/8.19	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-100-7.xml
7.95/8.19	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  21.060500 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   2.596540 | c 14 >   8.734710 | c 11 >   8.643860 | c 12 >   6.258330 | c 21 >  34.929900 | c 20 > 100.000000 | c 22 >  35.623000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.184300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.95/8.19	c choco : 14.33
7.95/8.19	c mistral : 0.916859
7.95/8.19	c abscon : 178.957
7.95/8.19	c
7.95/8.19	c
7.95/8.19	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-105-5.xml
7.95/8.19	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  21.185300 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   4.079100 | c 14 >  10.068800 | c 11 >   8.643860 | c 12 >   6.283550 | c 21 >  35.598000 | c 20 > 100.000000 | c 22 >  36.262900 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.238900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.20	c choco : 14.51
8.02/8.20	c mistral : 0.950854
8.02/8.20	c abscon : 115.872
8.02/8.20	c
8.02/8.20	c
8.02/8.20	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-100-3.xml
8.02/8.20	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  21.815000 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   4.436920 | c 14 >   9.787900 | c 11 >   8.643860 | c 12 >   6.288680 | c 21 >  35.489300 | c 20 > 100.000000 | c 22 >  36.193900 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.230100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.21	c choco : 14.12
8.02/8.21	c mistral : 4.08338
8.02/8.21	c abscon : 426.173
8.02/8.21	c
8.02/8.21	c
8.02/8.21	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-7.xml
8.02/8.21	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.686400 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   2.979520 | c 14 >   7.139550 | c 11 >  11.720700 | c 12 >   1.962210 | c 21 >  35.104500 | c 20 > 100.000000 | c 22 >  35.805000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  22.076900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.21	c choco : 93.42
8.02/8.21	c mistral : 1800.05
8.02/8.21	c abscon : 1800.14
8.02/8.21	c
8.02/8.21	c
8.02/8.21	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-100-9.xml
8.02/8.21	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.827700 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.136540 | c 14 >   7.033420 | c 11 >  11.720700 | c 12 >   2.124030 | c 21 >  34.936100 | c 20 > 100.000000 | c 22 >  35.637100 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  22.063100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.22	c choco : 1065.61
8.02/8.22	c mistral : 1800.03
8.02/8.22	c abscon : 1800.14
8.02/8.22	c
8.02/8.22	c
8.02/8.22	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-100-1.xml
8.02/8.22	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.809400 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   2.936190 | c 14 >   7.055280 | c 11 >  11.720700 | c 12 >   2.006500 | c 21 >  34.835700 | c 20 > 100.000000 | c 22 >  35.538700 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  22.054900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.22	c choco : 860.71
8.02/8.22	c mistral : 1800.03
8.02/8.22	c abscon : 1800.1
8.02/8.22	c
8.02/8.22	c
8.02/8.22	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-3.xml
8.02/8.22	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.744100 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.564180 | c 14 >   7.693490 | c 11 >  11.720700 | c 12 >   2.286000 | c 21 >  34.530200 | c 20 > 100.000000 | c 22 >  35.213600 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  22.029500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.23	c choco : 39.45
8.02/8.23	c mistral : 1146.73
8.02/8.23	c abscon : 1800.07
8.02/8.23	c
8.02/8.23	c
8.02/8.23	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-8.xml
8.02/8.23	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.683900 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.206080 | c 14 >   7.129280 | c 11 >  11.720700 | c 12 >   2.092410 | c 21 >  34.254900 | c 20 > 100.000000 | c 22 >  35.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  22.006400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.24	c choco : 42.84
8.02/8.24	c mistral : 20.7328
8.02/8.24	c abscon : 1800.11
8.02/8.24	c
8.02/8.24	c
8.02/8.24	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-9.xml
8.02/8.24	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.644600 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.711880 | c 14 >   7.459430 | c 11 >  11.720700 | c 12 >   2.316190 | c 21 >  34.022500 | c 20 > 100.000000 | c 22 >  34.741900 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  21.986800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.24	c choco : 31.0
8.02/8.24	c mistral : 1800.05
8.02/8.24	c abscon : 1800.13
8.02/8.24	c
8.02/8.24	c
8.02/8.24	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-1.xml
8.02/8.24	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.646800 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   4.145940 | c 14 >   7.774790 | c 11 >  11.720700 | c 12 >   2.462110 | c 21 >  33.919400 | c 20 > 100.000000 | c 22 >  34.641000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  21.978100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.25	c choco : 20.19
8.02/8.25	c mistral : 73.1569
8.02/8.25	c abscon : 1800.11
8.02/8.25	c
8.02/8.25	c
8.02/8.25	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-95-7.xml
8.02/8.25	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  21.397900 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   4.745700 | c 14 >   9.843920 | c 11 >   8.643860 | c 12 >   6.296640 | c 21 >  34.016100 | c 20 > 100.000000 | c 22 >  34.727500 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.108000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.25	c choco : 15.6
8.02/8.25	c mistral : 1.76473
8.02/8.25	c abscon : 636.088
8.02/8.25	c
8.02/8.25	c
8.02/8.25	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-0.xml
8.02/8.25	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.837000 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.090200 | c 14 >   7.257390 | c 11 >  11.720700 | c 12 >   2.063860 | c 21 >  33.676800 | c 20 > 100.000000 | c 22 >  34.423800 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  21.957400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.26	c choco : 3.74
8.02/8.26	c mistral : 12.841
8.02/8.26	c abscon : 1800.12
8.02/8.26	c
8.02/8.26	c
8.02/8.26	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-5.xml
8.02/8.26	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.535400 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.329200 | c 14 >   6.918860 | c 11 >  11.720700 | c 12 >   2.176230 | c 21 >  33.697900 | c 20 > 100.000000 | c 22 >  34.423800 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  21.959200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.27	c choco : 777.76
8.02/8.27	c mistral : 1800.11
8.02/8.27	c abscon : 1800.12
8.02/8.27	c
8.02/8.27	c
8.02/8.27	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-4.xml
8.02/8.27	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.605300 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.153650 | c 14 >   7.118940 | c 11 >  11.720700 | c 12 >   2.095410 | c 21 >  33.540900 | c 20 > 100.000000 | c 22 >  34.263700 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  21.945700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.27	c choco : 81.65
8.02/8.27	c mistral : 1800.02
8.02/8.27	c abscon : 1800.1
8.02/8.27	c
8.02/8.27	c
8.02/8.27	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-100-5.xml
8.02/8.27	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  21.686600 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   6.589970 | c 14 >  10.477800 | c 11 >   8.643860 | c 12 >   6.420340 | c 21 >  34.701800 | c 20 > 100.000000 | c 22 >  35.383600 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.165500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.28	c choco : 15.3
8.02/8.28	c mistral : 1.13783
8.02/8.28	c abscon : 112.772
8.02/8.28	c
8.02/8.28	c
8.02/8.28	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-6.xml
8.02/8.28	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.622900 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.126110 | c 14 >   7.475730 | c 11 >  11.720700 | c 12 >   2.090500 | c 21 >  33.506000 | c 20 > 100.000000 | c 22 >  34.249100 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  21.942700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.29	c choco : 47.22
8.02/8.29	c mistral : 31.1053
8.02/8.29	c abscon : 1800.07
8.02/8.29	c
8.02/8.29	c
8.02/8.29	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-2.xml
8.02/8.29	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.593600 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.074840 | c 14 >   7.294620 | c 11 >  11.720700 | c 12 >   2.078510 | c 21 >  33.500800 | c 20 > 100.000000 | c 22 >  34.219900 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  21.942200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.02/8.29	c choco : 19.83
8.02/8.29	c mistral : 7.62184
8.02/8.29	c abscon : 1800.11
8.02/8.29	c
8.02/8.29	c
8.02/8.29	c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-7.xml
8.02/8.29	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.470600 | c 15 >  20.707900 | c 34 >  46.470600 | c 16 >   2.000000 | c 13 >   3.387950 | c 14 >   7.199670 | c 11 >  11.720700 | c 12 >   2.192220 | c 21 >  33.321500 | c 20 > 100.000000 | c 22 >  34.058800 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.813780 | c 10 >  13.018000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.714200 | c 6 >  11.621100 | c 32 >  -1.000000 | c 5 >  21.926800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.08/8.30	c choco : 20.45
8.08/8.30	c mistral : 7.82681
8.08/8.30	c abscon : 1800.09
8.08/8.30	c
8.08/8.30	c
8.08/8.30	c /home/eomahony/cpZilla/CSP/taillard/os-taillard-20/os-taillard-20-95-1.xml
8.08/8.30	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  21.854600 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   6.716770 | c 14 >  11.898200 | c 11 >   8.643860 | c 12 >   6.416800 | c 21 >  34.842300 | c 20 > 100.000000 | c 22 >  35.566800 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   8.643860 | c 10 >  15.213700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.891800 | c 6 >  13.891800 | c 32 >  -1.000000 | c 5 >  24.177100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.08/8.30	c choco : 166.52
8.08/8.30	c mistral : 1800.05
8.08/8.31	c abscon : 1800.12
8.08/8.31	c
8.08/8.31	c
8.08/8.31	c Length: 40
8.08/8.31	c 1.373836687080745  1.5448262719998642  2.6807381113603745  2.755612277574804  3.023731647183822  6.026965188311693  6.14584538701235  7.050127083830545  7.49127218818012  7.604998757437175  7.623439454956075  7.67102340866595  8.00544912549077  8.275220493443113  8.512216530110196  8.549769706345367  8.6162815077271  9.263303563737988  9.482829154922122  9.624102293457863  9.73852129615071  9.767647074810847  9.80330461766036  9.918904724781914  10.084417941264679  10.244630858130563  10.350510553294505  10.834078518927253  11.059988272845542  11.438444978150697  11.67137812956383  11.690434025960752  11.724663337010616  11.757856729661277  11.92838770127132  11.94671761897388  11.966977331503596  11.974421674250532  12.207794120292206  12.361595089222948  
8.08/8.31	c 
8.08/8.31	c 1.0  0.9846766335150339  0.8937017011669544  0.8882920252843278  0.8694460978782579  0.7025022602632947  0.6972030951330708  0.659369072591337  0.6423638611930573  0.6381212120522542  0.6374385437403367  0.6356837307547524  0.623618090655831  0.6142138216620905  0.6061830850853774  0.6049298100931497  0.6027227600187703  0.5820642726811279  0.5753731866195546  0.5711479722281462  0.5677711282124049  0.5669179064536704  0.5658768257557818  0.5625278264762132  0.5578012458838619  0.5533010707424411  0.5503666848347111  0.5373512459119756  0.531479454470363  0.5219250910010488  0.516213465741555  0.5157517333877846  0.5149244139350861  0.5141246635398925  0.510054803771948  0.5096211773644891  0.5091427552871612  0.5089671867820136  0.5035240347296973  0.5  
8.08/8.32	c
8.08/8.32	c solver 0
8.08/8.32	c	  before 0.0 seconds: {} 0
8.08/8.32	c	  before 126.0 seconds: {14, 15, 22, 35} 2286
8.08/8.32	c	  before 180.0 seconds: {14, 15, 21, 22, 35} 2853
8.08/8.32	c	  before 198.0 seconds: {8, 13, 14, 15, 21, 22, 35} 4110
8.08/8.32	c	  before 252.0 seconds: {8, 13, 14, 15, 20, 21, 22, 35} 4677
8.08/8.32	c	  before 432.0 seconds: {8, 13, 14, 15, 20, 21, 22, 23, 35} 5240
8.08/8.32	c	  before 486.0 seconds: {8, 13, 14, 15, 16, 20, 21, 22, 23, 35} 5843
8.08/8.32	c	  before 648.0 seconds: {8, 13, 14, 15, 16, 20, 21, 22, 23, 31, 35} 6358
8.08/8.32	c
8.08/8.32	c solver 1
8.08/8.32	c	  before 0.0 seconds: {} 0
8.08/8.32	c	  before 18.0 seconds: {8, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 31, 32, 35, 37, 38} 9043
8.08/8.32	c	  before 36.0 seconds: {8, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 28, 31, 32, 35, 36, 37, 38} 10084
8.08/8.32	c	  before 90.0 seconds: {8, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 28, 30, 31, 32, 35, 36, 37, 38} 10600
8.08/8.32	c	  before 1152.0 seconds: {8, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 27, 28, 30, 31, 32, 35, 36, 37, 38} 11137
8.08/8.32	c
8.08/8.32	c solver 2
8.08/8.32	c	  before 0.0 seconds: {} 0
8.08/8.32	c	  before 18.0 seconds: {6, 14, 15, 20, 21, 22, 23, 31, 32, 35} 5711
8.08/8.32	c	  before 36.0 seconds: {6, 14, 15, 18, 20, 21, 22, 23, 29, 30, 31, 32, 35, 37, 38} 8337
8.08/8.32	c	  before 54.0 seconds: {6, 10, 14, 15, 16, 17, 18, 20, 21, 22, 23, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38} 11737
8.08/8.32	c	  before 72.0 seconds: {0, 6, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38} 13944
8.08/8.33	c	  before 90.0 seconds: {0, 6, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 15078
8.08/8.33	c	  before 108.0 seconds: {0, 1, 6, 7, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 17280
8.08/8.33	c	  before 162.0 seconds: {0, 1, 3, 6, 7, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 18168
8.08/8.33	c	  before 180.0 seconds: {0, 1, 3, 6, 7, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 18668
8.08/8.33	c	  before 252.0 seconds: {0, 1, 3, 4, 6, 7, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 19537
8.08/8.33	c	  before 450.0 seconds: {0, 1, 2, 3, 4, 6, 7, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20431
8.08/8.33	c	  before 630.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 21134
8.08/8.33	c	  before 792.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21648
8.08/8.33	c	  before 864.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22198
8.08/8.33	c	  before 918.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22836
8.08/8.33	c	  before 1080.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 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} 23390
8.08/8.33	c
8.08/8.33	cTotal time: 160
8.08/8.33	c	  run abscon for 648.0 seconds {8, 13, 14, 15, 16, 20, 21, 22, 23, 31, 35} 6358
8.08/8.33	c	  run mistral for 36.0 seconds {8, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 28, 31, 32, 35, 36, 37, 38} 10084
8.08/8.33	c	  run choco for 1080.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 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} 23390
8.08/8.33	c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.08/8.33	c On Instance: HOME/instance-1092596-1215276259.xml
8.08/8.33	c Running for: 648 seconds
659.09/663.43	c Starting solver: HOME/cpHydra_k_40/solver/mistral
659.09/663.43	c On Instance: HOME/instance-1092596-1215276259.xml
659.09/663.43	c Running for: 36 seconds
695.02/699.80	c Starting solver: HOME/cpHydra_k_40/solver/choco
695.02/699.80	c On Instance: HOME/instance-1092596-1215276259.xml
695.02/699.80	c Running for: 1080 seconds
748.56/754.41	s SATISFIABLE
748.56/754.41	v 245 269 332 456 866 964 978 1008 1107 1176 1208 1267 1287 1313 1348 1434 1459 1507 1558 1616 0 5 39 71 219 285 364 445 458 483 491 553 559 560 595 801 808 1053 1274 1514 13 80 168 380 426 516 545 566 603 700 769 802 803 876 911 1007 1086 1197 1289 1585 0 32 117 510 594 718 738 891 915 920 925 1061 1081 1089 1103 1137 1157 1215 1286 1342 174 251 263 342 431 458 496 568 651 702 711 756 769 800 891 957 962 1053 1077 1458 0 101 322 645 667 675 703 828 833 925 990 1086 1142 1210 1271 1353 1432 1515 1550 1662 136 174 270 374 395 483 775 796 806 875 961 1015 1050 1089 1157 1259 1421 1458 1598 1613 169 172 270 364 431 579 657 716 718 750 860 975 1072 1331 1365 1410 1436 1515 1547 1635 0 46 74 173 268 285 369 569 737 781 892 990 1049 1116 1160 1267 1337 1530 1600 1609 5 70 87 157 442 536 553 620 756 767 833 931 1049 1107 1168 1219 1336 1434 1528 1620 0 92 261 361 479 560 616 686 1092 1142 1220 1321 1358 1459 1515 1569 1635 1656 1662 1664 0 72 238 272 578 618 915 1017 1086 1158 1219 1313 1338 1457 1514 1530 1554 1633 1667 1709 176 270 405 566 637 645 696 783 869 906 999 1091 1092 1237 1286 1408 1460 1510 1613 1676 53 74 114 180 272 282 342 374 445 518 579 610 714 775 860 951 1250 1285 1514 1620 0 68 138 348 532 611 702 832 1014 1053 1091 1166 1220 1240 1269 1274 1336 1450 1457 1550 89 138 157 171 238 244 339 868 957 964 1015 1070 1173 1208 1211 1315 1395 1432 1530 1550 0 89 122 149 169 193 268 356 380 442 510 651 704 711 951 1017 1031 1053 1068 1076 0 88 176 267 339 356 637 713 806 883 943 1052 1166 1337 1408 1421 1510 1554 1569 1589 168 261 420 456 538 568 620 667 704 781 808 870 999 1051 1052 1165 1269 1331 1365 1464 0 15 53 136 168 180 252 411 516 606 618 636 685 704 795 870 875 957 1052 1158 
748.56/754.41	d ASSIGNMENTS 899
748.56/754.41	c SAT 54452 TIME      899 NDS    1015 PARSTIME      1938 BUILDPB       51499 RES       true RESTART       1 HEURISTIC

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-1092596-1215276259/watcher-1092596-1215276259 -o /tmp/evaluation-result-1092596-1215276259/solver-1092596-1215276259 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1092596-1215276259.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 17946
/proc/meminfo: memFree=1690032/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=18572 CPUtime=0
/proc/17946/stat : 17946 (runsolver) R 17944 17946 16397 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 155011211 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 217871609127 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17946/statm: 4643 292 257 25 0 2626 0

[startup+0.220598 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 17946
/proc/meminfo: memFree=1690032/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=0
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 155011211 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.30161 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 17946
/proc/meminfo: memFree=1690032/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=0
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 155011211 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.401623 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 17946
/proc/meminfo: memFree=1690032/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=0
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 155011211 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701659 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 17946
/proc/meminfo: memFree=1690032/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=0
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 155011211 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50175 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 17950
/proc/meminfo: memFree=1672480/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=0
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 155011211 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 236 195 169 0 51 0
[pid=17950] ppid=17946 vsize=21772 CPUtime=1.47
/proc/17950/stat : 17950 (xsolve) R 17946 17946 16397 0 -1 4194304 4779 0 0 0 145 2 0 0 25 0 1 0 155011212 22294528 4706 996147200 134512640 135239763 4294956176 18446744073709551615 135071053 0 0 4096 0 0 0 0 17 1 0 0
/proc/17950/statm: 5443 4706 423 177 0 4346 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 27132

[startup+3.10293 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 17962
/proc/meminfo: memFree=1683488/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=1.79
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 375 5379 0 0 0 0 176 3 18 0 1 0 155011211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 238 196 169 0 51 0
[pid=17954] ppid=17946 vsize=197000 CPUtime=1.24
/proc/17954/stat : 17954 (java) S 17946 17946 16397 0 -1 0 4716 0 1 0 119 5 0 0 18 0 9 0 155011394 201728000 3974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17954/statm: 49250 3974 1678 9 0 43832 0
[pid=17954/tid=17955] ppid=17946 vsize=197000 CPUtime=0.97
/proc/17954/task/17955/stat : 17955 (java) R 17946 17946 16397 0 -1 64 2666 0 1 0 95 2 0 0 25 0 9 0 155011395 201728000 3974 996147200 134512640 134550740 4294955968 18446744073709551615 4126529272 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17956] ppid=17946 vsize=197000 CPUtime=0.1
/proc/17954/task/17956/stat : 17956 (java) S 17946 17946 16397 0 -1 64 719 0 0 0 9 1 0 0 16 0 9 0 155011396 201728000 3974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17957] ppid=17946 vsize=197000 CPUtime=0
/proc/17954/task/17957/stat : 17957 (java) S 17946 17946 16397 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 155011396 201728000 3974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17958] ppid=17946 vsize=197000 CPUtime=0
/proc/17954/task/17958/stat : 17958 (java) S 17946 17946 16397 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 155011396 201728000 3974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17959] ppid=17946 vsize=197000 CPUtime=0
/proc/17954/task/17959/stat : 17959 (java) S 17946 17946 16397 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 155011398 201728000 3974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17960] ppid=17946 vsize=197000 CPUtime=0.14
/proc/17954/task/17960/stat : 17960 (java) S 17946 17946 16397 0 -1 64 606 0 0 0 14 0 0 0 16 0 9 0 155011398 201728000 3974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17961] ppid=17946 vsize=197000 CPUtime=0
/proc/17954/task/17961/stat : 17961 (java) S 17946 17946 16397 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 155011398 201728000 3974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17962] ppid=17946 vsize=197000 CPUtime=0
/proc/17954/task/17962/stat : 17962 (java) S 17946 17946 16397 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 155011398 201728000 3974 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202360

[startup+6.3023 s]
/proc/loadavg: 2.23 2.03 2.01 4/82 17962
/proc/meminfo: memFree=1669408/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=1.79
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 375 5379 0 0 0 0 176 3 18 0 1 0 155011211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 238 196 169 0 51 0
[pid=17954] ppid=17946 vsize=197112 CPUtime=4.4
/proc/17954/stat : 17954 (java) S 17946 17946 16397 0 -1 0 9565 0 1 0 426 14 0 0 18 0 9 0 155011394 201842688 7927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17954/statm: 49278 7927 2541 9 0 43860 0
[pid=17954/tid=17955] ppid=17946 vsize=197112 CPUtime=3.48
/proc/17954/task/17955/stat : 17955 (java) R 17946 17946 16397 0 -1 64 3478 0 1 0 344 4 0 0 25 0 9 0 155011395 201842688 7927 996147200 134512640 134550740 4294955968 18446744073709551615 4126443405 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17956] ppid=17946 vsize=197112 CPUtime=0.71
/proc/17954/task/17956/stat : 17956 (java) S 17946 17946 16397 0 -1 64 4730 0 0 0 63 8 0 0 16 0 9 0 155011396 201842688 7927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17957] ppid=17946 vsize=197112 CPUtime=0
/proc/17954/task/17957/stat : 17957 (java) S 17946 17946 16397 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 155011396 201842688 7927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17958] ppid=17946 vsize=197112 CPUtime=0
/proc/17954/task/17958/stat : 17958 (java) S 17946 17946 16397 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 155011396 201842688 7927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17959] ppid=17946 vsize=197112 CPUtime=0
/proc/17954/task/17959/stat : 17959 (java) S 17946 17946 16397 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 155011398 201842688 7927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17960] ppid=17946 vsize=197112 CPUtime=0.18
/proc/17954/task/17960/stat : 17960 (java) S 17946 17946 16397 0 -1 64 632 0 0 0 18 0 0 0 16 0 9 0 155011398 201842688 7927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17961] ppid=17946 vsize=197112 CPUtime=0
/proc/17954/task/17961/stat : 17961 (java) S 17946 17946 16397 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 155011398 201842688 7927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17962] ppid=17946 vsize=197112 CPUtime=0
/proc/17954/task/17962/stat : 17962 (java) S 17946 17946 16397 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 155011398 201842688 7927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202472

[startup+12.702 s]
/proc/loadavg: 2.46 2.08 2.02 8/90 17970
/proc/meminfo: memFree=1657440/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=1.79
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 375 5379 0 0 0 0 176 3 18 0 1 0 155011211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 238 196 169 0 51 0
[pid=17954] ppid=17946 vsize=197436 CPUtime=6.32
/proc/17954/stat : 17954 (java) S 17946 17946 16397 0 -1 0 13973 0 1 0 610 22 0 0 18 0 10 0 155011394 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17954/statm: 49359 9486 2544 9 0 43941 0
[pid=17964] ppid=17954 vsize=5356 CPUtime=0
/proc/17964/stat : 17964 (abscon) S 17954 17946 16397 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 155012045 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17964/statm: 1339 237 196 169 0 50 0
[pid=17965] ppid=17964 vsize=655192 CPUtime=0.72
/proc/17965/stat : 17965 (java) S 17964 17946 16397 0 -1 0 6450 0 1 0 49 23 0 0 19 0 9 0 155012046 670916608 5971 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17965/statm: 163798 5971 1969 9 0 158326 0
[pid=17965/tid=17967] ppid=17964 vsize=655192 CPUtime=0.63
/proc/17965/task/17967/stat : 17967 (java) R 17964 17946 16397 0 -1 64 5467 0 1 0 41 22 0 0 20 0 9 0 155012056 670916608 5972 996147200 134512640 134550740 4294955808 18446744073709551615 4125979668 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17965/tid=17968] ppid=17964 vsize=655192 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17964 17946 16397 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 155012293 670916608 5973 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17964 vsize=655192 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17964 17946 16397 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 155012293 670916608 5980 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17964 vsize=655192 CPUtime=0
/proc/17965/task/17970/stat : 17970 (java) S 17964 17946 16397 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 155012293 670916608 5980 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17966] ppid=17964 vsize=7044 CPUtime=0
/proc/17966/stat : 17966 (translate) S 17964 17946 16397 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 155012046 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 217871777874 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17966/statm: 1761 213 182 1 0 41 0
[pid=17954/tid=17955] ppid=17946 vsize=197436 CPUtime=4.96
/proc/17954/task/17955/stat : 17955 (java) S 17946 17946 16397 0 -1 64 3905 0 1 0 487 9 0 0 25 0 10 0 155011395 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17954/tid=17956] ppid=17946 vsize=197436 CPUtime=1.08
/proc/17954/task/17956/stat : 17956 (java) S 17946 17946 16397 0 -1 64 8571 0 0 0 97 11 0 0 16 0 10 0 155011396 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17957] ppid=17946 vsize=197436 CPUtime=0
/proc/17954/task/17957/stat : 17957 (java) S 17946 17946 16397 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 155011396 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17958] ppid=17946 vsize=197436 CPUtime=0
/proc/17954/task/17958/stat : 17958 (java) S 17946 17946 16397 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 155011396 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17959] ppid=17946 vsize=197436 CPUtime=0
/proc/17954/task/17959/stat : 17959 (java) S 17946 17946 16397 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 155011398 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17960] ppid=17946 vsize=197436 CPUtime=0.24
/proc/17954/task/17960/stat : 17960 (java) S 17946 17946 16397 0 -1 64 671 0 0 0 24 0 0 0 16 0 10 0 155011398 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17961] ppid=17946 vsize=197436 CPUtime=0
/proc/17954/task/17961/stat : 17961 (java) S 17946 17946 16397 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 155011398 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17962] ppid=17946 vsize=197436 CPUtime=0
/proc/17954/task/17962/stat : 17962 (java) S 17946 17946 16397 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 155011398 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17954/tid=17963] ppid=17946 vsize=197436 CPUtime=0
/proc/17954/task/17963/stat : 17963 (java) S 17946 17946 16397 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 155012045 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.83
Current children cumulated vsize (KiB) 870388

[startup+25.5075 s]
/proc/loadavg: 2.35 2.07 2.02 3/94 17974
/proc/meminfo: memFree=1561600/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=1.79
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 375 5379 0 0 0 0 176 3 18 0 1 0 155011211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 238 196 169 0 51 0
[pid=17954] ppid=17946 vsize=197436 CPUtime=6.32
/proc/17954/stat : 17954 (java) S 17946 17946 16397 0 -1 0 13973 0 1 0 610 22 0 0 18 0 10 0 155011394 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17954/statm: 49359 9486 2544 9 0 43941 0
[pid=17964] ppid=17954 vsize=5356 CPUtime=0
/proc/17964/stat : 17964 (abscon) S 17954 17946 16397 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 155012045 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17964/statm: 1339 237 196 169 0 50 0
[pid=17965] ppid=17964 vsize=655944 CPUtime=13.52
/proc/17965/stat : 17965 (java) S 17964 17946 16397 0 -1 0 28015 0 1 0 1301 51 0 0 19 0 9 0 155012046 671686656 27305 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17965/statm: 163986 27305 2616 9 0 158514 0
[pid=17965/tid=17967] ppid=17964 vsize=655944 CPUtime=12.85
/proc/17965/task/17967/stat : 17967 (java) R 17964 17946 16397 0 -1 64 12597 0 1 0 1243 42 0 0 25 0 9 0 155012056 671686656 27305 996147200 134512640 134550740 4294955808 18446744073709551615 4126644952 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17965/tid=17968] ppid=17964 vsize=655944 CPUtime=0.3
/proc/17965/task/17968/stat : 17968 (java) S 17964 17946 16397 0 -1 64 14127 0 0 0 24 6 0 0 16 0 9 0 155012293 671686656 27305 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17965/tid=17969] ppid=17964 vsize=655944 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17964 17946 16397 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 155012293 671686656 27305 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17965/tid=17970] ppid=17964 vsize=655944 CPUtime=0
/proc/17965/task/17970/stat : 17970 (java) S 17964 17946 16397 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 155012293 671686656 27305 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17965/tid=17971] ppid=17964 vsize=655944 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17964 17946 16397 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 155012443 671686656 27305 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17965/tid=17972] ppid=17964 vsize=655944 CPUtime=0.33
/proc/17965/task/17972/stat : 17972 (java) S 17964 17946 16397 0 -1 64 745 0 0 0 33 0 0 0 16 0 9 0 155012443 671686656 27305 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17965/tid=17973] ppid=17964 vsize=655944 CPUtime=0
/proc/17965/task/17973/stat : 17973 (java) S 17964 17946 16397 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 155012443 671686656 27305 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

[pid=17954/tid=17958] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17958/stat : 17958 (java) S 17946 17946 16397 0 -1 64 5 34963 0 1 0 0 68632 71 15 0 10 0 155011396 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17959] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17959/stat : 17959 (java) S 17946 17946 16397 0 -1 64 0 34963 0 1 0 0 68632 71 18 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17960] ppid=17946 vsize=197760 CPUtime=687.27
/proc/17954/task/17960/stat : 17960 (java) S 17946 17946 16397 0 -1 64 701 34963 0 1 24 0 68632 71 16 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17954/tid=17961] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17961/stat : 17961 (java) S 17946 17946 16397 0 -1 64 1 34963 0 1 0 0 68632 71 19 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17962] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17962/stat : 17962 (java) S 17946 17946 16397 0 -1 64 46 34963 0 1 0 0 68632 71 15 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17954/tid=17978] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17978/stat : 17978 (java) S 17946 17946 16397 0 -1 64 51 34963 0 1 0 0 68632 71 17 0 10 0 155081192 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 747.92
Current children cumulated vsize (KiB) 864240

[startup+754.103 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 17988
/proc/meminfo: memFree=1588792/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=1.79
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 375 5379 0 0 0 0 176 3 18 0 1 0 155011211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 238 196 169 0 51 0
[pid=17954] ppid=17946 vsize=197760 CPUtime=693.36
/proc/17954/stat : 17954 (java) S 17946 17946 16397 0 -1 0 14315 34963 1 1 610 23 68632 71 18 0 10 0 155011394 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17954/statm: 49440 9528 2545 9 0 44022 0
[pid=17979] ppid=17954 vsize=5356 CPUtime=0
/proc/17979/stat : 17979 (choco) S 17954 17946 16397 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 155081192 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17979/statm: 1339 238 197 169 0 50 0
[pid=17980] ppid=17979 vsize=655764 CPUtime=53.16
/proc/17980/stat : 17980 (java) S 17979 17946 16397 0 -1 0 20182 0 1 0 5299 17 0 0 18 0 9 0 155081193 671502336 19716 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17980/statm: 163941 19716 1944 9 0 158470 0
[pid=17980/tid=17981] ppid=17979 vsize=655764 CPUtime=52.37
/proc/17980/task/17981/stat : 17981 (java) R 17979 17946 16397 0 -1 64 12262 0 1 0 5226 11 0 0 25 0 9 0 155081193 671502336 19716 996147200 134512640 134550740 4294955920 18446744073709551615 4127365034 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17982] ppid=17979 vsize=655764 CPUtime=0.28
/proc/17980/task/17982/stat : 17982 (java) S 17979 17946 16397 0 -1 64 6620 0 0 0 25 3 0 0 16 0 9 0 155081195 671502336 19716 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17983] ppid=17979 vsize=655764 CPUtime=0
/proc/17980/task/17983/stat : 17983 (java) S 17979 17946 16397 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 155081195 671502336 19716 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17984] ppid=17979 vsize=655764 CPUtime=0
/proc/17980/task/17984/stat : 17984 (java) S 17979 17946 16397 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 155081195 671502336 19716 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17985] ppid=17979 vsize=655764 CPUtime=0
/proc/17980/task/17985/stat : 17985 (java) S 17979 17946 16397 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 155081197 671502336 19716 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17986] ppid=17979 vsize=655764 CPUtime=0.48
/proc/17980/task/17986/stat : 17986 (java) S 17979 17946 16397 0 -1 64 755 0 0 0 46 2 0 0 16 0 9 0 155081197 671502336 19716 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17987] ppid=17979 vsize=655764 CPUtime=0
/proc/17980/task/17987/stat : 17987 (java) S 17979 17946 16397 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 155081197 671502336 19716 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17988] ppid=17979 vsize=655764 CPUtime=0
/proc/17980/task/17988/stat : 17988 (java) S 17979 17946 16397 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 155081197 671502336 19716 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17955] ppid=17946 vsize=197760 CPUtime=691.99
/proc/17954/task/17955/stat : 17955 (java) S 17946 17946 16397 0 -1 64 4058 34963 1 1 487 9 68632 71 16 0 10 0 155011395 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17954/tid=17956] ppid=17946 vsize=197760 CPUtime=688.11
/proc/17954/task/17956/stat : 17956 (java) S 17946 17946 16397 0 -1 64 8610 34963 0 1 97 11 68632 71 16 0 10 0 155011396 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17957] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17957/stat : 17957 (java) S 17946 17946 16397 0 -1 64 11 34963 0 1 0 0 68632 71 16 0 10 0 155011396 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17958] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17958/stat : 17958 (java) S 17946 17946 16397 0 -1 64 5 34963 0 1 0 0 68632 71 15 0 10 0 155011396 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17959] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17959/stat : 17959 (java) S 17946 17946 16397 0 -1 64 0 34963 0 1 0 0 68632 71 18 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17960] ppid=17946 vsize=197760 CPUtime=687.27
/proc/17954/task/17960/stat : 17960 (java) S 17946 17946 16397 0 -1 64 701 34963 0 1 24 0 68632 71 16 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17954/tid=17961] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17961/stat : 17961 (java) S 17946 17946 16397 0 -1 64 1 34963 0 1 0 0 68632 71 19 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17962] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17962/stat : 17962 (java) S 17946 17946 16397 0 -1 64 46 34963 0 1 0 0 68632 71 15 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17954/tid=17978] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17978/stat : 17978 (java) S 17946 17946 16397 0 -1 64 51 34963 0 1 0 0 68632 71 17 0 10 0 155081192 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 748.31
Current children cumulated vsize (KiB) 864240

[startup+754.303 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 17988
/proc/meminfo: memFree=1588792/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=1.79
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 375 5379 0 0 0 0 176 3 18 0 1 0 155011211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 238 196 169 0 51 0
[pid=17954] ppid=17946 vsize=197760 CPUtime=693.36
/proc/17954/stat : 17954 (java) S 17946 17946 16397 0 -1 0 14315 34963 1 1 610 23 68632 71 18 0 10 0 155011394 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17954/statm: 49440 9528 2545 9 0 44022 0
[pid=17979] ppid=17954 vsize=5356 CPUtime=0
/proc/17979/stat : 17979 (choco) S 17954 17946 16397 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 155081192 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17979/statm: 1339 238 197 169 0 50 0
[pid=17980] ppid=17979 vsize=655764 CPUtime=53.36
/proc/17980/stat : 17980 (java) S 17979 17946 16397 0 -1 0 20183 0 1 0 5319 17 0 0 18 0 9 0 155081193 671502336 19717 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17980/statm: 163941 19717 1944 9 0 158470 0
[pid=17980/tid=17981] ppid=17979 vsize=655764 CPUtime=52.57
/proc/17980/task/17981/stat : 17981 (java) R 17979 17946 16397 0 -1 64 12262 0 1 0 5246 11 0 0 25 0 9 0 155081193 671502336 19717 996147200 134512640 134550740 4294955920 18446744073709551615 4127464279 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17982] ppid=17979 vsize=655764 CPUtime=0.28
/proc/17980/task/17982/stat : 17982 (java) S 17979 17946 16397 0 -1 64 6620 0 0 0 25 3 0 0 16 0 9 0 155081195 671502336 19717 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17983] ppid=17979 vsize=655764 CPUtime=0
/proc/17980/task/17983/stat : 17983 (java) S 17979 17946 16397 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 155081195 671502336 19717 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17984] ppid=17979 vsize=655764 CPUtime=0
/proc/17980/task/17984/stat : 17984 (java) S 17979 17946 16397 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 155081195 671502336 19717 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17985] ppid=17979 vsize=655764 CPUtime=0
/proc/17980/task/17985/stat : 17985 (java) S 17979 17946 16397 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 155081197 671502336 19717 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17986] ppid=17979 vsize=655764 CPUtime=0.49
/proc/17980/task/17986/stat : 17986 (java) S 17979 17946 16397 0 -1 64 756 0 0 0 47 2 0 0 15 0 9 0 155081197 671502336 19717 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17987] ppid=17979 vsize=655764 CPUtime=0
/proc/17980/task/17987/stat : 17987 (java) S 17979 17946 16397 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 155081197 671502336 19717 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17988] ppid=17979 vsize=655764 CPUtime=0
/proc/17980/task/17988/stat : 17988 (java) S 17979 17946 16397 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 155081197 671502336 19717 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17955] ppid=17946 vsize=197760 CPUtime=691.99
/proc/17954/task/17955/stat : 17955 (java) S 17946 17946 16397 0 -1 64 4058 34963 1 1 487 9 68632 71 16 0 10 0 155011395 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17954/tid=17956] ppid=17946 vsize=197760 CPUtime=688.11
/proc/17954/task/17956/stat : 17956 (java) S 17946 17946 16397 0 -1 64 8610 34963 0 1 97 11 68632 71 16 0 10 0 155011396 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17957] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17957/stat : 17957 (java) S 17946 17946 16397 0 -1 64 11 34963 0 1 0 0 68632 71 16 0 10 0 155011396 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17958] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17958/stat : 17958 (java) S 17946 17946 16397 0 -1 64 5 34963 0 1 0 0 68632 71 15 0 10 0 155011396 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17959] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17959/stat : 17959 (java) S 17946 17946 16397 0 -1 64 0 34963 0 1 0 0 68632 71 18 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17960] ppid=17946 vsize=197760 CPUtime=687.27
/proc/17954/task/17960/stat : 17960 (java) S 17946 17946 16397 0 -1 64 701 34963 0 1 24 0 68632 71 16 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17954/tid=17961] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17961/stat : 17961 (java) S 17946 17946 16397 0 -1 64 1 34963 0 1 0 0 68632 71 19 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17962] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17962/stat : 17962 (java) S 17946 17946 16397 0 -1 64 46 34963 0 1 0 0 68632 71 15 0 10 0 155011398 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17954/tid=17978] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17978/stat : 17978 (java) S 17946 17946 16397 0 -1 64 51 34963 0 1 0 0 68632 71 17 0 10 0 155081192 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 748.51
Current children cumulated vsize (KiB) 864240

[startup+754.403 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 17988
/proc/meminfo: memFree=1588792/2055920 swapFree=4192812/4192956
[pid=17946] ppid=17944 vsize=5360 CPUtime=1.79
/proc/17946/stat : 17946 (hydra) S 17944 17946 16397 0 -1 4194304 375 5379 0 0 0 0 176 3 18 0 1 0 155011211 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17946/statm: 1340 238 196 169 0 51 0
[pid=17954] ppid=17946 vsize=197760 CPUtime=693.36
/proc/17954/stat : 17954 (java) S 17946 17946 16397 0 -1 0 14322 34963 1 1 610 23 68632 71 18 0 10 0 155011394 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17954/statm: 49440 9529 2545 9 0 44022 0
[pid=17979] ppid=17954 vsize=5356 CPUtime=0
/proc/17979/stat : 17979 (choco) S 17954 17946 16397 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 155081192 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17979/statm: 1339 238 197 169 0 50 0
[pid=17980] ppid=17979 vsize=656088 CPUtime=53.41
/proc/17980/stat : 17980 (java) S 17979 17946 16397 0 -1 0 20194 0 1 0 5324 17 0 0 18 0 9 0 155081193 671834112 19727 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17980/statm: 164022 19727 1945 9 0 158551 0
[pid=17980/tid=17981] ppid=17979 vsize=656088 CPUtime=52.62
/proc/17980/task/17981/stat : 17981 (java) S 17979 17946 16397 0 -1 64 12267 0 1 0 5251 11 0 0 25 0 9 0 155081193 671834112 19727 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17982] ppid=17979 vsize=656088 CPUtime=0.28
/proc/17980/task/17982/stat : 17982 (java) S 17979 17946 16397 0 -1 64 6620 0 0 0 25 3 0 0 16 0 9 0 155081195 671834112 19727 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17983] ppid=17979 vsize=656088 CPUtime=0
/proc/17980/task/17983/stat : 17983 (java) S 17979 17946 16397 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 155081195 671834112 19727 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17984] ppid=17979 vsize=656088 CPUtime=0
/proc/17980/task/17984/stat : 17984 (java) S 17979 17946 16397 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 155081195 671834112 19727 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17985] ppid=17979 vsize=656088 CPUtime=0
/proc/17980/task/17985/stat : 17985 (java) S 17979 17946 16397 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 155081197 671834112 19727 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17986] ppid=17979 vsize=656088 CPUtime=0.49
/proc/17980/task/17986/stat : 17986 (java) S 17979 17946 16397 0 -1 64 756 0 0 0 47 2 0 0 15 0 9 0 155081197 671834112 19727 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17987] ppid=17979 vsize=656088 CPUtime=0
/proc/17980/task/17987/stat : 17987 (java) S 17979 17946 16397 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 155081197 671834112 19727 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17980/tid=17988] ppid=17979 vsize=656088 CPUtime=0
/proc/17980/task/17988/stat : 17988 (java) R 17979 17946 16397 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 155081197 671834112 19727 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17955] ppid=17946 vsize=197760 CPUtime=691.99
/proc/17954/task/17955/stat : 17955 (java) S 17946 17946 16397 0 -1 64 4065 34963 1 1 487 9 68632 71 16 0 10 0 155011395 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17954/tid=17956] ppid=17946 vsize=197760 CPUtime=688.11
/proc/17954/task/17956/stat : 17956 (java) S 17946 17946 16397 0 -1 64 8610 34963 0 1 97 11 68632 71 16 0 10 0 155011396 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17957] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17957/stat : 17957 (java) S 17946 17946 16397 0 -1 64 11 34963 0 1 0 0 68632 71 16 0 10 0 155011396 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17958] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17958/stat : 17958 (java) S 17946 17946 16397 0 -1 64 5 34963 0 1 0 0 68632 71 15 0 10 0 155011396 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17959] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17959/stat : 17959 (java) S 17946 17946 16397 0 -1 64 0 34963 0 1 0 0 68632 71 18 0 10 0 155011398 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17960] ppid=17946 vsize=197760 CPUtime=687.27
/proc/17954/task/17960/stat : 17960 (java) S 17946 17946 16397 0 -1 64 701 34963 0 1 24 0 68632 71 16 0 10 0 155011398 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17954/tid=17961] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17961/stat : 17961 (java) S 17946 17946 16397 0 -1 64 1 34963 0 1 0 0 68632 71 19 0 10 0 155011398 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17954/tid=17962] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17962/stat : 17962 (java) S 17946 17946 16397 0 -1 64 46 34963 0 1 0 0 68632 71 15 0 10 0 155011398 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17954/tid=17978] ppid=17946 vsize=197760 CPUtime=687.03
/proc/17954/task/17978/stat : 17978 (java) S 17946 17946 16397 0 -1 64 51 34963 0 1 0 0 68632 71 17 0 10 0 155081192 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 748.56
Current children cumulated vsize (KiB) 864564

Child status: 0
Real time (s): 754.449
CPU time (s): 748.631
CPU user time (s): 747.442
CPU system time (s): 1.18882
CPU usage (%): 99.2289
Max. virtual memory (cumulated for all children) (KiB): 871140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 747.442
system time used= 1.18882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75681
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50619
involuntary context switches= 45249

runsolver used 2.38264 second user time and 8.29074 second system time

The end

Launcher Data (download as text)

Begin job on node28 at 2008-07-05 18:44:19
IDJOB=1092596
IDBENCH=58637
IDSOLVER=366
FILE ID=node28/1092596-1215276259
PBS_JOBID= 7882149
Free space on /tmp= 66504 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 933af775481748d76719206dbc8b6623
RANDOM SEED=1916000674

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1690448 kB
Buffers:         43548 kB
Cached:         236884 kB
SwapCached:          0 kB
Active:         203460 kB
Inactive:       110660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1690448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           24884 kB
Writeback:           0 kB
Mapped:          45128 kB
Slab:            36420 kB
Committed_AS:   385644 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66480 MiB
End job on node28 at 2008-07-05 18:56:54