Trace number 1065411

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 985.394 991.735

DiagnosticValue
ASSIGNMENTS600158
CHECKS285535000

General information on the benchmark

Namecsp/small/
normalized-patat-02-small-4.xml
MD5SUM1f09980c5d7c107d636a478d0aef4777
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.5853
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints3335
Maximum constraint arity12
Maximum domain size45
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3270
Global constraints used (with number of constraints)alldifferent(65)

Solver Data (download as text)

0.18/0.25	c cpHydra_k_40 version 0.0
7.48/8.05	c CASE TO CLASSIFY:
7.48/8.05	c Case: 0
7.48/8.05	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   1.949030 | c 33 >  30.000000 | c 15 >  23.250300 | c 34 >  30.000000 | c 16 >  12.000000 | c 13 >   7.830760 | c 14 >  13.324900 | c 11 >  12.669100 | c 12 >   3.968070 | c 21 >   4.887740 | c 20 >  98.051000 | c 22 >   6.708200 | c 23 >  99.350000 | c 24 >  50.000000 | c 25 >  65.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.451210 | c 2 >  -1.000000 | c 10 >  13.477300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  12.629800 | c 32 >   0.000000 | c 5 >  14.089200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.48/8.06	c choco : 1801.0
7.48/8.06	c mistral : 1801.0
7.48/8.06	c abscon : 1801.0
7.48/8.06	c
7.48/8.06	c
7.57/8.14	c List of same ones: 40
7.57/8.14	c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-4.xml
7.57/8.14	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   1.949030 | c 33 >  30.000000 | c 15 >  21.524000 | c 34 >  30.000000 | c 16 >  12.000000 | c 13 >   6.061550 | c 14 >  11.531900 | c 11 >  12.669100 | c 12 >   2.868540 | c 21 >   4.887740 | c 20 >  98.051000 | c 22 >   6.708200 | c 23 >  99.350000 | c 24 >  50.000000 | c 25 >  65.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.451210 | c 2 >  -1.000000 | c 10 >  13.477300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  12.629800 | c 32 >   0.000000 | c 5 >  14.089200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.57/8.15	c choco : 1801.0
7.57/8.15	c mistral : 1801.0
7.57/8.15	c abscon : 11.05
7.57/8.15	c
7.57/8.15	c
7.57/8.15	c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-5.xml
7.57/8.15	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   2.459890 | c 33 >  30.000000 | c 15 >  21.370900 | c 34 >  30.000000 | c 16 >  19.000000 | c 13 >  11.389900 | c 14 >  16.796700 | c 11 >  12.409400 | c 12 >   7.399610 | c 21 >   4.865700 | c 20 >  97.540100 | c 22 >   6.708200 | c 23 >  92.808300 | c 24 >  50.000000 | c 25 >  69.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.375040 | c 2 >  -1.000000 | c 10 >  13.713900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  12.364700 | c 32 >   0.000000 | c 5 >  13.896400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.57/8.16	c choco : 1801.0
7.57/8.16	c mistral : 26.31
7.57/8.16	c abscon : 11.66
7.57/8.16	c
7.57/8.16	c
7.57/8.16	c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-1.xml
7.57/8.16	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   2.537630 | c 33 >  30.000000 | c 15 >  21.497200 | c 34 >  30.000000 | c 16 >  15.000000 | c 13 >   7.743320 | c 14 >  13.117000 | c 11 >  12.028600 | c 12 >   4.472700 | c 21 >   4.829600 | c 20 >  97.462400 | c 22 >   6.708200 | c 23 >  95.033300 | c 24 >  40.000000 | c 25 >  59.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.076820 | c 2 >  -1.000000 | c 10 >  13.196600 | c 1 >   4.087460 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  11.975100 | c 32 >   0.000000 | c 5 >  13.629000 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.57/8.18	c choco : 1801.0
7.57/8.18	c mistral : 1801.0
7.57/8.18	c abscon : 9.29
7.57/8.18	c
7.57/8.18	c
7.57/8.18	c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-3.xml
7.57/8.18	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   2.374100 | c 33 >  30.000000 | c 15 >  20.367100 | c 34 >  30.000000 | c 16 >  13.000000 | c 13 >   5.641070 | c 14 >  11.004200 | c 11 >  12.284200 | c 12 >   2.935000 | c 21 >   4.848200 | c 20 >  97.625900 | c 22 >   6.708200 | c 23 >  94.525000 | c 24 >  66.666700 | c 25 >  66.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.209450 | c 2 >  -1.000000 | c 10 >  13.356700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  12.240800 | c 32 >   0.000000 | c 5 >  13.806700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.57/8.18	c choco : 1801.0
7.57/8.18	c mistral : 6.57
7.57/8.18	c abscon : 10.45
7.57/8.18	c
7.57/8.18	c
7.57/8.18	c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-2.xml
7.57/8.18	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   4.399320 | c 33 >  30.000000 | c 15 >  16.020600 | c 34 >  30.000000 | c 16 >  17.000000 | c 13 >   4.058140 | c 14 >   7.118940 | c 11 >  11.503300 | c 12 >   1.983760 | c 21 >   4.826490 | c 20 >  95.600700 | c 22 >   6.708200 | c 23 >  95.233300 | c 24 >  40.000000 | c 25 >  78.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.118940 | c 2 >  -1.000000 | c 10 >  13.119600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  11.432500 | c 32 >   0.000000 | c 5 >  13.305800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.57/8.19	c choco : 13.82
7.57/8.19	c mistral : 0.32
7.57/8.19	c abscon : 7.62
7.57/8.19	c
7.57/8.19	c
7.57/8.19	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-18.xml
7.57/8.19	c 19 >   0.000000 | c 35 >  30.066200 | c 17 >   0.000000 | c 18 >   9.580840 | c 33 >   0.000000 | c 15 >  19.566600 | c 34 >  20.066200 | c 16 >  18.000000 | c 13 >   7.171760 | c 14 >  10.479800 | c 11 >   7.409390 | c 12 >   6.242450 | c 21 >   5.682050 | c 20 >  90.419200 | c 22 >   5.830950 | c 23 >  97.449000 | c 24 >  97.142900 | c 25 >  16.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.392320 | c 2 >  -1.000000 | c 10 >  10.151000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.423600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
7.65/8.20	c choco : 229.74
7.65/8.20	c mistral : 552.16
7.65/8.20	c abscon : 1801.0
7.65/8.20	c
7.65/8.20	c
7.65/8.20	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-17.xml
7.65/8.20	c 19 >   0.000000 | c 35 >  30.074600 | c 17 >   0.000000 | c 18 >  10.067100 | c 33 >   0.000000 | c 15 >  19.717200 | c 34 >  20.074600 | c 16 >  17.000000 | c 13 >   7.763330 | c 14 >  10.791200 | c 11 >   7.247930 | c 12 >   6.864670 | c 21 >   5.504540 | c 20 >  89.932900 | c 22 >   5.656850 | c 23 >  97.313100 | c 24 >  96.969700 | c 25 >  15.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.228820 | c 2 >  -1.000000 | c 10 >   9.915880 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.170900 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
7.65/8.21	c choco : 24.02
7.65/8.21	c mistral : 1801.0
7.65/8.21	c abscon : 1801.0
7.65/8.21	c
7.65/8.21	c
7.65/8.21	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-16.xml
7.65/8.21	c 19 >   0.000000 | c 35 >  30.084700 | c 17 >   0.000000 | c 18 >  10.606100 | c 33 >   0.000000 | c 15 >  19.923600 | c 34 >  20.084700 | c 16 >  16.000000 | c 13 >   8.520580 | c 14 >  11.147200 | c 11 >   7.076820 | c 12 >   7.612850 | c 21 >   5.321260 | c 20 >  89.393900 | c 22 >   5.477230 | c 23 >  97.162300 | c 24 >  96.774200 | c 25 >  14.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.055280 | c 2 >  -1.000000 | c 10 >   9.667110 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.902400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
7.65/8.22	c choco : 81.95
7.65/8.22	c mistral : 110.72
7.65/8.22	c abscon : 72.55
7.65/8.22	c
7.65/8.22	c
7.65/8.22	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-15.xml
7.65/8.22	c 19 >   0.000000 | c 35 >  30.097100 | c 17 >   0.000000 | c 18 >  11.206900 | c 33 >   0.000000 | c 15 >  20.200100 | c 34 >  20.097100 | c 16 >  15.000000 | c 13 >   8.563910 | c 14 >  11.674600 | c 11 >   6.894820 | c 12 >   7.884080 | c 21 >   5.131600 | c 20 >  88.793100 | c 22 >   5.291500 | c 23 >  96.993800 | c 24 >  96.551700 | c 25 >  13.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   6.870360 | c 2 >  -1.000000 | c 10 >   9.403010 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.616100 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
7.65/8.23	c choco : 33.25
7.65/8.23	c mistral : 36.8
7.65/8.23	c abscon : 10.75
7.65/8.23	c
7.65/8.23	c
7.65/8.23	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-14.xml
7.65/8.23	c 19 >   0.000000 | c 35 >  30.112400 | c 17 >   0.000000 | c 18 >  11.881200 | c 33 >   0.000000 | c 15 >  20.330700 | c 34 >  20.112400 | c 16 >  14.000000 | c 13 >   8.939850 | c 14 >  11.970800 | c 11 >   6.700440 | c 12 >   8.323700 | c 21 >   4.934870 | c 20 >  88.118800 | c 22 >   5.099020 | c 23 >  96.804600 | c 24 >  96.296300 | c 25 >  12.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   6.672430 | c 2 >  -1.000000 | c 10 >   9.121530 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.309500 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
7.65/8.23	c choco : 17.59
7.65/8.23	c mistral : 7.72
7.65/8.24	c abscon : 7.11
7.65/8.24	c
7.65/8.24	c
7.65/8.24	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-13.xml
7.65/8.24	c 19 >   0.000000 | c 35 >  30.131600 | c 17 >   0.000000 | c 18 >  12.643700 | c 33 >   0.000000 | c 15 >  17.286500 | c 34 >  20.131600 | c 16 >  13.000000 | c 13 >   6.100340 | c 14 >   9.131860 | c 11 >   6.491850 | c 12 >   5.083210 | c 21 >   4.730220 | c 20 >  87.356300 | c 22 >   4.898980 | c 23 >  96.590900 | c 24 >  96.000000 | c 25 >  11.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   6.459430 | c 2 >  -1.000000 | c 10 >   8.820180 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.979400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
7.65/8.24	c choco : 17.72
7.65/8.24	c mistral : 0.2
7.65/8.24	c abscon : 6.83
7.65/8.24	c
7.65/8.24	c
7.65/8.24	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-12.xml
7.65/8.24	c 19 >   0.000000 | c 35 >  30.156200 | c 17 >   0.000000 | c 18 >  13.513500 | c 33 >   0.000000 | c 15 >  15.511500 | c 34 >  20.156200 | c 16 >  12.000000 | c 13 >   4.685810 | c 14 >   7.569860 | c 11 >   6.266790 | c 12 >   4.069720 | c 21 >   4.516640 | c 20 >  86.486500 | c 22 >   4.690420 | c 23 >  96.347800 | c 24 >  95.652200 | c 25 >  10.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   6.228820 | c 2 >  -1.000000 | c 10 >   8.495860 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.622100 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
7.65/8.26	c choco : 12.41
7.65/8.26	c mistral : 0.15
7.65/8.26	c abscon : 5.75
7.65/8.26	c
7.65/8.26	c
7.65/8.26	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-11.xml
7.65/8.26	c 19 >   0.000000 | c 35 >  30.188700 | c 17 >   0.000000 | c 18 >  14.516100 | c 33 >   0.000000 | c 15 >  16.090600 | c 34 >  20.188700 | c 16 >  11.000000 | c 13 >   5.307610 | c 14 >   8.426260 | c 11 >   6.022370 | c 12 >   4.572890 | c 21 >   4.292850 | c 20 >  85.483900 | c 22 >   4.472140 | c 23 >  96.069500 | c 24 >  95.238100 | c 25 >   9.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   5.977280 | c 2 >  -1.000000 | c 10 >   8.144660 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.232400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
7.65/8.27	c choco : 16.54
7.65/8.27	c mistral : 0.03
7.65/8.27	c abscon : 4.59
7.65/8.27	c
7.65/8.27	c
7.65/8.27	c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-10.xml
7.65/8.27	c 19 >   0.000000 | c 35 >  30.232600 | c 17 >   0.000000 | c 18 >  15.686300 | c 33 >   0.000000 | c 15 >  11.582600 | c 34 >  20.232600 | c 16 >  10.000000 | c 13 >   2.476970 | c 14 >   4.087460 | c 11 >   5.754890 | c 12 >   2.567040 | c 21 >   4.057280 | c 20 >  84.313700 | c 22 >   4.242640 | c 23 >  95.749000 | c 24 >  94.736800 | c 25 >   8.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   5.700440 | c 2 >  -1.000000 | c 10 >   7.761550 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >   9.804130 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   1.000000 | c
7.65/8.28	c choco : 3.04
7.65/8.28	c mistral : 0.03
7.65/8.28	c abscon : 2.48
7.65/8.28	c
7.65/8.28	c
7.65/8.28	c /home/eomahony/cpZilla/CSP/xml/nengfa/protein.xml
7.65/8.28	c 19 >   3.236250 | c 35 >  24.350600 | c 17 >   0.000000 | c 18 >   0.323625 | c 33 >   8.766230 | c 15 >  20.288100 | c 34 >  25.746800 | c 16 >  27.000000 | c 13 >   8.883710 | c 14 >  12.222500 | c 11 >   8.988680 | c 12 >   7.640540 | c 21 >   9.363670 | c 20 >  96.440100 | c 22 >  31.796200 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   1.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   7.199670 | c 2 >   6.442940 | c 10 >   9.660000 | c 1 >   5.643860 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >   4.643860 | c 6 >   6.000000 | c 32 >   0.000000 | c 5 >  15.647000 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >   7.321930 | c
7.65/8.28	c choco : 53.77
7.65/8.28	c mistral : 0.019996
7.65/8.28	c abscon : 639.803
7.65/8.29	c
7.65/8.29	c
7.65/8.29	c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-5.xml
7.65/8.29	c 19 >  10.679600 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   9.611650 | c 15 >  18.333100 | c 34 >  32.330100 | c 16 >   2.000000 | c 13 >  11.606500 | c 14 >  11.786700 | c 11 >   4.700440 | c 12 >  13.370800 | c 21 >   4.926380 | c 20 >  89.320400 | c 22 >   5.000000 | c 23 >  97.929000 | c 24 >  46.153800 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   8.276120 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   9.301500 | c 31 >  -1.000000 | c 4 >   4.700440 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.65/8.29	c choco : 5.92
7.65/8.29	c mistral : 0.085986
7.65/8.29	c abscon : 1.46978
7.65/8.29	c
7.65/8.29	c
7.65/8.29	c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-6.xml
7.65/8.29	c 19 >   7.176290 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   6.458660 | c 15 >  18.248000 | c 34 >  25.101400 | c 16 >   2.000000 | c 13 >  10.934600 | c 14 >  11.374500 | c 11 >   5.209450 | c 12 >  11.118300 | c 21 >   5.932050 | c 20 >  92.823700 | c 22 >   6.000000 | c 23 >  98.378400 | c 24 >  40.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 >  -1.000000 | c 10 >   9.326430 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.346500 | c 31 >  -1.000000 | c 4 >   5.209450 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.65/8.30	c choco : 1801.0
7.65/8.30	c mistral : 1.74573
7.65/8.30	c abscon : 81.7776
7.65/8.30	c
7.65/8.30	c
7.65/8.30	c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-7.xml
7.65/8.30	c 19 >   5.289670 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   4.760710 | c 15 >  18.053700 | c 34 >  21.133500 | c 16 >   2.000000 | c 13 >   9.539650 | c 14 >  10.849400 | c 11 >   5.643860 | c 12 >  12.164900 | c 21 >   6.944060 | c 20 >  94.710300 | c 22 >   7.000000 | c 23 >  98.800000 | c 24 >  40.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 >  -1.000000 | c 10 >  10.219200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  11.235400 | c 31 >  -1.000000 | c 4 >   5.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.30	c choco : 1801.0
7.72/8.30	c mistral : 496.858
7.72/8.30	c abscon : 1800.18
7.72/8.30	c
7.72/8.30	c
7.72/8.30	c /home/eomahony/cpZilla/CSP/queenAttacking/queenAttacking-4.xml
7.72/8.30	c 19 >  16.666700 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  15.000000 | c 15 >  14.513200 | c 34 >  44.761900 | c 16 >   2.000000 | c 13 >   6.650280 | c 14 >   8.388020 | c 11 >   4.087460 | c 12 >   8.438790 | c 21 >   3.903240 | c 20 >  83.333300 | c 22 >   4.000000 | c 23 >  97.058800 | c 24 >  50.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 >  -1.000000 | c 10 >   6.988680 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   8.016810 | c 31 >  -1.000000 | c 4 >   4.087460 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.31	c choco : 5.51
7.72/8.31	c mistral : 0.056991
7.72/8.31	c abscon : 0.809876
7.72/8.31	c
7.72/8.31	c
7.72/8.31	c /home/eomahony/cpZilla/CSP/xml/nengfa/queens2.xml
7.72/8.31	c 19 >   0.000000 | c 35 >  19.807700 | c 17 >   0.000000 | c 18 >   1.421800 | c 33 >   0.000000 | c 15 >  15.868300 | c 34 >  19.807700 | c 16 > 104.000000 | c 13 >   5.052650 | c 14 >   6.523560 | c 11 >   8.276120 | c 12 >   5.750310 | c 21 >  10.198000 | c 20 >  98.578200 | c 22 >  10.198000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   3.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   8.276120 | c 2 >  -1.000000 | c 10 >  13.990500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  14.976600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.32	c choco : 7.96
7.72/8.32	c mistral : 0.043992
7.72/8.32	c abscon : 4.92825
7.72/8.32	c
7.72/8.32	c
7.72/8.32	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-5.xml
7.72/8.32	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.144400 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   6.235190 | c 14 >  10.104600 | c 11 >  10.501800 | c 12 >   4.124560 | c 21 >  10.368200 | c 20 > 100.000000 | c 22 >  10.770300 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.387600 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.32	c choco : 22.11
7.72/8.32	c mistral : 45.91
7.72/8.32	c abscon : 1801.0
7.72/8.32	c
7.72/8.32	c
7.72/8.32	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-1.xml
7.72/8.32	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.338300 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   5.928610 | c 14 >   9.951280 | c 11 >  10.501800 | c 12 >   3.846340 | c 21 >  10.373000 | c 20 > 100.000000 | c 22 >  10.723800 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.389000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.33	c choco : 36.03
7.72/8.33	c mistral : 104.09
7.72/8.33	c abscon : 1801.0
7.72/8.33	c
7.72/8.33	c
7.72/8.33	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-3.xml
7.72/8.33	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.359100 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   6.907760 | c 14 >  10.626600 | c 11 >  10.501800 | c 12 >   4.606160 | c 21 >  10.705100 | c 20 > 100.000000 | c 22 >  11.225000 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.478500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.34	c choco : 20.77
7.72/8.34	c mistral : 32.33
7.72/8.34	c abscon : 7.44
7.72/8.34	c
7.72/8.34	c
7.72/8.34	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-4.xml
7.72/8.34	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.287600 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   6.851260 | c 14 >  10.092800 | c 11 >  10.501800 | c 12 >   4.461010 | c 21 >  10.611300 | c 20 > 100.000000 | c 22 >  11.225000 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.453500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.34	c choco : 1801.0
7.72/8.34	c mistral : 3.25
7.72/8.34	c abscon : 1801.0
7.72/8.34	c
7.72/8.34	c
7.72/8.34	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-5.xml
7.72/8.34	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.228000 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   5.792060 | c 14 >  10.250300 | c 11 >  10.501800 | c 12 >   3.813600 | c 21 >  10.568800 | c 20 > 100.000000 | c 22 >  11.090500 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.442100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.35	c choco : 18.6
7.72/8.35	c mistral : 8.49
7.72/8.35	c abscon : 12.34
7.72/8.35	c
7.72/8.35	c
7.72/8.35	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-1.xml
7.72/8.35	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.215600 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   7.335620 | c 14 >  10.120200 | c 11 >  10.501800 | c 12 >   5.270890 | c 21 >  10.601900 | c 20 > 100.000000 | c 22 >  11.313700 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.451000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.35	c choco : 19.39
7.72/8.35	c mistral : 1.34
7.72/8.35	c abscon : 19.6
7.72/8.35	c
7.72/8.35	c
7.72/8.35	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-1.xml
7.72/8.35	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.680800 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   6.997040 | c 14 >  10.641100 | c 11 >  10.501800 | c 12 >   4.861960 | c 21 >  11.013600 | c 20 > 100.000000 | c 22 >  11.313700 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.559300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.36	c choco : 36.56
7.72/8.36	c mistral : 1801.0
7.72/8.36	c abscon : 1801.0
7.72/8.36	c
7.72/8.36	c
7.72/8.36	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-3.xml
7.72/8.36	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  20.870900 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   4.918020 | c 14 >  10.299200 | c 11 >  10.501800 | c 12 >   2.984370 | c 21 >  10.425900 | c 20 > 100.000000 | c 22 >  10.862800 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.403400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.36	c choco : 22.1
7.72/8.36	c mistral : 16.74
7.72/8.36	c abscon : 9.2
7.72/8.36	c
7.72/8.36	c
7.72/8.36	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-9.xml
7.72/8.36	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.227900 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   4.977270 | c 14 >   9.975850 | c 11 >  10.501800 | c 12 >   3.293390 | c 21 >  10.695800 | c 20 > 100.000000 | c 22 >  11.045400 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.476000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.37	c choco : 23.53
7.72/8.37	c mistral : 9.27
7.72/8.37	c abscon : 1801.0
7.72/8.37	c
7.72/8.37	c
7.72/8.37	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-4.xml
7.72/8.37	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.398200 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   6.008480 | c 14 >  10.194800 | c 11 >  10.501800 | c 12 >   3.994330 | c 21 >  11.135500 | c 20 > 100.000000 | c 22 >  11.532600 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.590600 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.37	c choco : 24.47
7.72/8.37	c mistral : 47.71
7.72/8.37	c abscon : 1801.0
7.72/8.37	c
7.72/8.37	c
7.72/8.37	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-3.xml
7.72/8.37	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.112600 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   5.651960 | c 14 >   9.774790 | c 11 >  10.501800 | c 12 >   4.012010 | c 21 >  10.986400 | c 20 > 100.000000 | c 22 >  11.269400 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.552200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.38	c choco : 1801.0
7.72/8.38	c mistral : 624.82
7.72/8.38	c abscon : 1801.0
7.72/8.38	c
7.72/8.38	c
7.72/8.38	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-2.xml
7.72/8.38	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.136300 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   4.926470 | c 14 >   9.722810 | c 11 >  10.501800 | c 12 >   3.257110 | c 21 >  10.733100 | c 20 > 100.000000 | c 22 >  11.180300 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.485900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.38	c choco : 1801.0
7.72/8.38	c mistral : 5.76
7.72/8.38	c abscon : 1801.0
7.72/8.38	c
7.72/8.38	c
7.72/8.38	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-1.xml
7.72/8.38	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.432900 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   6.295840 | c 14 >  10.732200 | c 11 >  10.501800 | c 12 >   4.158160 | c 21 >  11.327000 | c 20 > 100.000000 | c 22 >  11.789800 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.639100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.39	c choco : 80.29
7.72/8.39	c mistral : 11.08
7.72/8.39	c abscon : 13.73
7.72/8.39	c
7.72/8.39	c
7.72/8.39	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-8.xml
7.72/8.39	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  20.789000 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   4.186030 | c 14 >   9.625710 | c 11 >  10.501800 | c 12 >   2.273360 | c 21 >  10.411500 | c 20 > 100.000000 | c 22 >  10.862800 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.399500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.72/8.39	c choco : 49.15
7.72/8.39	c mistral : 19.48
7.72/8.39	c abscon : 1801.0
7.72/8.39	c
7.72/8.39	c
7.72/8.39	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-6.xml
7.72/8.40	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.295900 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   6.760440 | c 14 >  10.099300 | c 11 >  10.501800 | c 12 >   4.615640 | c 21 >  11.300400 | c 20 > 100.000000 | c 22 >  11.747300 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.632500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.77/8.40	c choco : 1801.0
7.77/8.40	c mistral : 1.4
7.77/8.40	c abscon : 7.93
7.77/8.40	c
7.77/8.40	c
7.77/8.40	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr1/super-jobShop-e0ddr1-6.xml
7.77/8.40	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  19.793800 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   4.766770 | c 14 >   9.550750 | c 11 >  10.501800 | c 12 >   2.573470 | c 21 >  10.540400 | c 20 > 100.000000 | c 22 >  10.954500 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.434400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.77/8.41	c choco : 19.79
7.77/8.41	c mistral : 6.41
7.77/8.41	c abscon : 496.48
7.77/8.41	c
7.77/8.41	c
7.77/8.41	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-6.xml
7.77/8.41	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.498800 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   7.414900 | c 14 >  10.803300 | c 11 >  10.501800 | c 12 >   5.164800 | c 21 >  11.584500 | c 20 > 100.000000 | c 22 >  12.165500 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.703200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.77/8.42	c choco : 26.5
7.77/8.42	c mistral : 1.86
7.77/8.42	c abscon : 8.39
7.77/8.42	c
7.77/8.42	c
7.77/8.42	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-e0ddr2/super-jobShop-e0ddr2-9.xml
7.77/8.42	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.123400 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   4.720140 | c 14 >   9.654640 | c 11 >  10.501800 | c 12 >   3.099240 | c 21 >  11.117600 | c 20 > 100.000000 | c 22 >  11.489100 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.586000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.77/8.42	c choco : 28.09
7.77/8.42	c mistral : 1801.0
7.77/8.42	c abscon : 9.71
7.77/8.42	c
7.77/8.42	c
7.77/8.42	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr1/super-jobShop-enddr1-8.xml
7.77/8.42	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.081800 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   4.313200 | c 14 >   9.184880 | c 11 >  10.501800 | c 12 >   2.795650 | c 21 >  10.788900 | c 20 > 100.000000 | c 22 >  11.269400 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.500700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.77/8.43	c choco : 1801.0
7.77/8.43	c mistral : 2.04
7.77/8.43	c abscon : 19.23
7.77/8.43	c
7.77/8.43	c
7.77/8.43	c /home/ehebrard/new_instances/competition_4c/data/super-jobShop/super-jobShop-enddr2/super-jobShop-enddr2-3.xml
7.77/8.43	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  23.964500 | c 15 >  21.027000 | c 34 >  43.372800 | c 16 >   2.000000 | c 13 >   4.636430 | c 14 >   9.381540 | c 11 >  10.501800 | c 12 >   3.260340 | c 21 >  11.238300 | c 20 > 100.000000 | c 22 >  11.789800 | 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 >   6.643860 | c 2 >  -1.000000 | c 10 >  11.839600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.521600 | c 6 >  10.398700 | c 32 >  -1.000000 | c 5 >  17.616800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.77/8.43	c choco : 1801.0
7.77/8.43	c mistral : 11.18
7.77/8.43	c abscon : 1801.0
7.77/8.43	c
7.77/8.43	c
7.77/8.44	c Length: 40
7.77/8.44	c 3.2456171886098937  12.189400341333446  13.95925944575141  17.98430443428658  20.86998313874738  78.33815330243176  78.92079601543374  79.54811539298967  80.18290182048851  80.87957442290421  81.76242067949433  82.79868648817866  83.48300821456124  85.35873340801807  92.19671338476998  126.87118596662995  127.13996963091977  127.533846583872  128.2241905812468  128.76107878708652  133.68928909164714  133.6929573567389  133.7007182466912  133.7086953230814  133.71042948456903  133.7144403613574  133.71601857467752  133.72067514500742  133.73837935458917  133.75033956647366  133.75330914824016  133.75397150412695  133.75477810151497  133.76346217220194  133.7643219094924  133.77867368740655  133.77875777653753  133.79221241351794  133.79421332516367  133.82013677663912  
7.77/8.44	c 
7.77/8.44	c 1.0  0.9358952698174481  0.9241716919717452  0.8985729682330705  0.8810762585282833  0.6348830110025929  0.6330895055438583  0.6311697692735226  0.6292389971688291  0.6271335422114255  0.6244855963666593  0.6214058814422341  0.6193887205316654  0.6139262354970575  0.5948031127100634  0.5136682698552069  0.5131257058916875  0.5123326971435501  0.5109486958857032  0.5098775008028685  0.5002506485931968  0.5002436183314666  0.5002287451700927  0.5002134586253666  0.5002101355594161  0.5002024499344896  0.5001994258336325  0.5001905033376558  0.5001565830492061  0.5001336705469954  0.5001279819640005  0.5001267131610797  0.5001251680591424  0.5001085336304839  0.5001068868548666  0.5000793984798411  0.5000792374304026  0.5000534701361496  0.5000496383696318  0.5  
7.77/8.45	c
7.77/8.45	c solver 0
7.77/8.45	c	  before 0.0 seconds: {} 0
7.77/8.45	c	  before 18.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 15, 18, 19, 22, 24, 27, 32, 34, 36, 37} 13410
7.77/8.45	c	  before 36.0 seconds: {0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 15, 18, 19, 22, 24, 25, 27, 32, 34, 36, 37, 38} 14411
7.77/8.45	c	  before 90.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 15, 16, 18, 19, 22, 24, 25, 27, 32, 34, 36, 37, 38} 15555
7.77/8.45	c	  before 504.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 15, 16, 18, 19, 22, 24, 25, 27, 32, 34, 35, 36, 37, 38} 16055
7.77/8.45	c	  before 648.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 22, 24, 25, 27, 32, 34, 35, 36, 37, 38} 16650
7.77/8.45	c
7.77/8.45	c solver 1
7.77/8.45	c	  before 0.0 seconds: {} 0
7.77/8.45	c	  before 18.0 seconds: {3, 4, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 23, 24, 25, 27, 28, 31, 32, 34, 35, 36, 38, 39} 13529
7.77/8.45	c	  before 36.0 seconds: {1, 3, 4, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 22, 23, 24, 25, 27, 28, 31, 32, 33, 34, 35, 36, 38, 39} 15466
7.77/8.45	c	  before 54.0 seconds: {1, 3, 4, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 22, 23, 24, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 38, 39} 17095
7.77/8.45	c	  before 108.0 seconds: {1, 3, 4, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 38, 39} 17596
7.77/8.45	c	  before 126.0 seconds: {1, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 38, 39} 18227
7.77/8.45	c	  before 504.0 seconds: {1, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 38, 39} 18739
7.77/8.45	c	  before 558.0 seconds: {1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 38, 39} 19374
7.77/8.45	c	  before 630.0 seconds: {1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 19874
7.77/8.45	c
7.77/8.45	c solver 2
7.77/8.45	c	  before 0.0 seconds: {} 0
7.77/8.45	c	  before 18.0 seconds: {4, 9, 10, 11, 12, 13, 15, 18, 19} 5521
7.77/8.45	c	  before 36.0 seconds: {4, 6, 8, 9, 10, 11, 12, 13, 15, 18, 19, 20, 22, 24, 25, 27, 28, 29, 35, 36, 37} 11785
7.77/8.45	c	  before 54.0 seconds: {4, 6, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 33, 35, 36, 37} 13881
7.77/8.45	c	  before 90.0 seconds: {4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 32, 33, 35, 36, 37} 15012
7.77/8.45	c	  before 234.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 32, 33, 35, 36, 37} 15647
7.77/8.45	c
7.77/8.45	cTotal time: 84
7.77/8.45	c 1512.0 seconds unused
7.77/8.45	c 0 c 3 c 7 
7.77/8.45	c 11 c 0 c 10 
7.77/8.45	c 8 c 3 c 0 
7.77/8.45	c is solver0 dominated by:
7.77/8.45	c	solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.77/8.45	c	solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.77/8.45	c is dominated? false
7.77/8.45	c
7.77/8.45	c is solver1 dominated by:
7.77/8.45	c	solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.77/8.45	c	solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.77/8.45	c is dominated? false
7.77/8.45	c
7.77/8.45	c is solver2 dominated by:
7.77/8.45	c	solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.77/8.45	c	solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.77/8.45	c is dominated? false
7.77/8.45	c
7.77/8.45	c Number of non-dominated solvers: 3
7.77/8.45	c remove dominated solvers
7.77/8.45	c solver 0 is not dominated by another solver
7.77/8.45	c solver 1 is not dominated by another solver
7.77/8.45	c solver 2 is not dominated by another solver
7.77/8.45	c
7.77/8.45	c solver 0: 648.0
7.77/8.45	c
7.77/8.45	c+ 36/84 of 16
7.77/8.46	c
7.77/8.46	c solver 1: 630.0
7.77/8.46	c
7.77/8.46	c+ 35/84 of 16
7.77/8.46	c
7.77/8.46	c solver 2: 234.0
7.77/8.46	c
7.77/8.46	c+ 13/84 of 16
7.77/8.46	c	  run abscon for 756.0 seconds {0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 22, 24, 25, 27, 32, 34, 35, 36, 37, 38} 16650
7.77/8.46	c	  run mistral for 738.0 seconds {1, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 19874
7.77/8.46	c	  run choco for 270.0 seconds {4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 32, 33, 35, 36, 37} 15647
7.77/8.46	c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.77/8.46	c On Instance: HOME/instance-1065411-1215146665.xml
7.77/8.46	c Running for: 756 seconds
764.39/769.37	c Starting solver: HOME/cpHydra_k_40/solver/mistral
764.39/769.37	c On Instance: HOME/instance-1065411-1215146665.xml
764.39/769.37	c Running for: 738 seconds
985.32/991.71	c mistral-prime version 1.313
985.32/991.71	s SATISFIABLE
985.32/991.71	v 1 12 10 2 5 9 11 9 13 0 8 6 4 21 17 11 5 5 8 15 13 0 33 3 6 1 0 31 7 2 21 11 11 2 12 25 26 6 37 3 13 18 5 5 14 16 35 20 2 3 13 19 18 4 34 10 25 16 6 15 3 38 7 27 19 7 19 8 22 4 8 10 17 36 7 32 7 1 30 3 29 10 14 9 4 20 12 28 1 12 0 1 22 6 22 4 23 0 24 9 4 4 4 0 3 1 2 4 1 0 0 4 3 0 1 4 4 2 2 0 4 4 0 1 0 3 3 0 3 4 1 1 0 1 2 0 0 1 0 2 0 1 0 1 0 0 0 0 2 0 2 1 0 0 0 1 4 1 3 1 3 0 2 0 0 1 4 1 0 2 4 2 0 0 4 0 0 1 0 4 0 0 1 0 1 1 0 0 0 1 2 2 1 2 4 4 0 1 0 2
985.32/991.71	d CHECKS 285535151
985.32/991.71	d ASSIGNMENTS 600158

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.16 2.12 3/79 24697
/proc/meminfo: memFree=1283724/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=0
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 670393078 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24697/statm: 1340 236 195 169 0 51 0
[pid=24700] ppid=24697 vsize=6468 CPUtime=0.1
/proc/24700/stat : 24700 (xsolve) R 24697 24697 21995 0 -1 4194304 913 0 0 0 10 0 0 0 18 0 1 0 670393079 6623232 872 996147200 134512640 135239763 4294956176 18446744073709551615 4159148814 0 0 4096 0 0 0 0 17 0 0 0
/proc/24700/statm: 1617 872 377 177 0 520 0

[startup+0.198816 s]
/proc/loadavg: 2.19 2.16 2.12 3/79 24697
/proc/meminfo: memFree=1283724/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=0
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 670393078 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24697/statm: 1340 236 195 169 0 51 0
[pid=24700] ppid=24697 vsize=10420 CPUtime=0.18
/proc/24700/stat : 24700 (xsolve) R 24697 24697 21995 0 -1 4194304 1964 0 0 0 18 0 0 0 18 0 1 0 670393079 10670080 1923 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/24700/statm: 2605 1923 431 177 0 1508 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 15780

[startup+0.201812 s]
/proc/loadavg: 2.19 2.16 2.12 3/79 24697
/proc/meminfo: memFree=1283724/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=0
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 670393078 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24697/statm: 1340 236 195 169 0 51 0
[pid=24700] ppid=24697 vsize=10568 CPUtime=0.18
/proc/24700/stat : 24700 (xsolve) R 24697 24697 21995 0 -1 4194304 1971 0 0 0 18 0 0 0 18 0 1 0 670393079 10821632 1930 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/24700/statm: 2642 1930 431 177 0 1545 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 15928

[startup+0.301826 s]
/proc/loadavg: 2.19 2.16 2.12 3/79 24697
/proc/meminfo: memFree=1283724/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=0
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 670393078 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24697/statm: 1340 236 195 169 0 51 0
[pid=24700] ppid=24697 vsize=10568 CPUtime=0.29
/proc/24700/stat : 24700 (xsolve) R 24697 24697 21995 0 -1 4194304 1988 0 0 0 28 1 0 0 19 0 1 0 670393079 10821632 1947 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/24700/statm: 2642 1947 432 177 0 1545 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15928

[startup+0.711195 s]
/proc/loadavg: 2.19 2.16 2.12 3/79 24697
/proc/meminfo: memFree=1283724/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=0
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 670393078 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24697/statm: 1340 236 195 169 0 51 0
[pid=24700] ppid=24697 vsize=10568 CPUtime=0.69
/proc/24700/stat : 24700 (xsolve) R 24697 24697 21995 0 -1 4194304 1988 0 0 0 68 1 0 0 24 0 1 0 670393079 10821632 1947 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/24700/statm: 2642 1947 432 177 0 1545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15928

[startup+1.50195 s]
/proc/loadavg: 2.19 2.16 2.12 3/81 24701
/proc/meminfo: memFree=1276476/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=0
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 670393078 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24697/statm: 1340 236 195 169 0 51 0
[pid=24700] ppid=24697 vsize=10568 CPUtime=1.48
/proc/24700/stat : 24700 (xsolve) R 24697 24697 21995 0 -1 4194304 1988 0 0 0 146 2 0 0 25 0 1 0 670393079 10821632 1947 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/24700/statm: 2642 1947 432 177 0 1545 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15928

[startup+3.10211 s]
/proc/loadavg: 2.25 2.18 2.12 4/89 24713
/proc/meminfo: memFree=1276220/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=1.64
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 375 2585 0 0 0 0 162 2 19 0 1 0 670393078 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1340 238 196 169 0 51 0
[pid=24705] ppid=24697 vsize=197032 CPUtime=1.38
/proc/24705/stat : 24705 (java) S 24697 24697 21995 0 -1 0 4891 0 1 0 134 4 0 0 18 0 9 0 670393245 201760768 4112 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24705/statm: 49258 4112 1678 9 0 43840 0
[pid=24705/tid=24706] ppid=24697 vsize=197032 CPUtime=1.01
/proc/24705/task/24706/stat : 24706 (java) R 24697 24697 21995 0 -1 64 2705 0 1 0 100 1 0 0 25 0 9 0 670393246 201760768 4112 996147200 134512640 134550740 4294955968 18446744073709551615 4126436154 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24707] ppid=24697 vsize=197032 CPUtime=0.12
/proc/24705/task/24707/stat : 24707 (java) S 24697 24697 21995 0 -1 64 857 0 0 0 11 1 0 0 16 0 9 0 670393247 201760768 4112 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24708] ppid=24697 vsize=197032 CPUtime=0
/proc/24705/task/24708/stat : 24708 (java) S 24697 24697 21995 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 670393247 201760768 4112 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24709] ppid=24697 vsize=197032 CPUtime=0
/proc/24705/task/24709/stat : 24709 (java) S 24697 24697 21995 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 670393248 201760768 4112 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24710] ppid=24697 vsize=197032 CPUtime=0
/proc/24705/task/24710/stat : 24710 (java) S 24697 24697 21995 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 670393249 201760768 4112 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24711] ppid=24697 vsize=197032 CPUtime=0.22
/proc/24705/task/24711/stat : 24711 (java) S 24697 24697 21995 0 -1 64 604 0 0 0 22 0 0 0 16 0 9 0 670393249 201760768 4112 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24712] ppid=24697 vsize=197032 CPUtime=0
/proc/24705/task/24712/stat : 24712 (java) S 24697 24697 21995 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 670393250 201760768 4112 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24713] ppid=24697 vsize=197032 CPUtime=0
/proc/24705/task/24713/stat : 24713 (java) S 24697 24697 21995 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 670393250 201760768 4112 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 202392

[startup+6.30145 s]
/proc/loadavg: 2.25 2.18 2.12 3/89 24713
/proc/meminfo: memFree=1262076/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=1.64
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 375 2585 0 0 0 0 162 2 19 0 1 0 670393078 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1340 238 196 169 0 51 0
[pid=24705] ppid=24697 vsize=197032 CPUtime=4.57
/proc/24705/stat : 24705 (java) S 24697 24697 21995 0 -1 0 10033 0 1 0 443 14 0 0 18 0 9 0 670393245 201760768 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24705/statm: 49258 8323 2541 9 0 43840 0
[pid=24705/tid=24706] ppid=24697 vsize=197032 CPUtime=3.55
/proc/24705/task/24706/stat : 24706 (java) R 24697 24697 21995 0 -1 64 3568 0 1 0 351 4 0 0 25 0 9 0 670393246 201760768 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4126488700 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24707] ppid=24697 vsize=197032 CPUtime=0.73
/proc/24705/task/24707/stat : 24707 (java) S 24697 24697 21995 0 -1 64 5111 0 0 0 66 7 0 0 16 0 9 0 670393247 201760768 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24708] ppid=24697 vsize=197032 CPUtime=0
/proc/24705/task/24708/stat : 24708 (java) S 24697 24697 21995 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 670393247 201760768 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24709] ppid=24697 vsize=197032 CPUtime=0
/proc/24705/task/24709/stat : 24709 (java) S 24697 24697 21995 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 670393248 201760768 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24710] ppid=24697 vsize=197032 CPUtime=0
/proc/24705/task/24710/stat : 24710 (java) S 24697 24697 21995 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 670393249 201760768 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24711] ppid=24697 vsize=197032 CPUtime=0.25
/proc/24705/task/24711/stat : 24711 (java) S 24697 24697 21995 0 -1 64 629 0 0 0 25 0 0 0 16 0 9 0 670393249 201760768 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24712] ppid=24697 vsize=197032 CPUtime=0
/proc/24705/task/24712/stat : 24712 (java) S 24697 24697 21995 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 670393250 201760768 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24713] ppid=24697 vsize=197032 CPUtime=0
/proc/24705/task/24713/stat : 24713 (java) S 24697 24697 21995 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 670393250 201760768 8323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202392

[startup+12.7031 s]
/proc/loadavg: 2.44 2.22 2.14 3/101 24725
/proc/meminfo: memFree=1185884/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=1.64
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 375 2585 0 0 0 0 162 2 19 0 1 0 670393078 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1340 238 196 169 0 51 0
[pid=24705] ppid=24697 vsize=197356 CPUtime=6.17
/proc/24705/stat : 24705 (java) S 24697 24697 21995 0 -1 0 11454 0 1 0 598 19 0 0 18 0 10 0 670393245 202092544 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24705/statm: 49339 9405 2544 9 0 43921 0
[pid=24715] ppid=24705 vsize=5356 CPUtime=0
/proc/24715/stat : 24715 (abscon) S 24705 24697 21995 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 670393925 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/24715/statm: 1339 237 196 169 0 50 0
[pid=24716] ppid=24715 vsize=655936 CPUtime=4.11
/proc/24716/stat : 24716 (java) S 24715 24697 21995 0 -1 0 20173 0 1 0 384 27 0 0 20 0 9 0 670393925 671678464 19486 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24716/statm: 163984 19486 2616 9 0 158512 0
[pid=24716/tid=24718] ppid=24715 vsize=655936 CPUtime=3.52
/proc/24716/task/24718/stat : 24718 (java) R 24715 24697 21995 0 -1 64 12557 0 1 0 329 23 0 0 25 0 9 0 670393926 671678464 19486 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24716/tid=24719] ppid=24715 vsize=655936 CPUtime=0.23
/proc/24716/task/24719/stat : 24719 (java) S 24715 24697 21995 0 -1 64 6319 0 0 0 21 2 0 0 16 0 9 0 670393928 671678464 19486 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24716/tid=24720] ppid=24715 vsize=655936 CPUtime=0
/proc/24716/task/24720/stat : 24720 (java) S 24715 24697 21995 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 670393928 671678464 19487 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24716/tid=24721] ppid=24715 vsize=655936 CPUtime=0
/proc/24716/task/24721/stat : 24721 (java) S 24715 24697 21995 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 670393928 671678464 19487 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24716/tid=24722] ppid=24715 vsize=655936 CPUtime=0
/proc/24716/task/24722/stat : 24722 (java) S 24715 24697 21995 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 670393930 671678464 19487 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24716/tid=24723] ppid=24715 vsize=655936 CPUtime=0.33
/proc/24716/task/24723/stat : 24723 (java) S 24715 24697 21995 0 -1 64 753 0 0 0 33 0 0 0 16 0 9 0 670393930 671678464 19487 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24716/tid=24724] ppid=24715 vsize=655936 CPUtime=0
/proc/24716/task/24724/stat : 24724 (java) S 24715 24697 21995 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 670393930 671678464 19487 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24716/tid=24725] ppid=24715 vsize=655936 CPUtime=0
/proc/24716/task/24725/stat : 24725 (java) S 24715 24697 21995 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 670393930 671678464 19487 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24717] ppid=24715 vsize=7044 CPUtime=0
/proc/24717/stat : 24717 (translate) S 24715 24697 21995 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 670393926 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 256365002834 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/24717/statm: 1761 213 182 1 0 41 0
[pid=24705/tid=24706] ppid=24697 vsize=197356 CPUtime=4.9
/proc/24705/task/24706/stat : 24706 (java) S 24697 24697 21995 0 -1 64 3865 0 1 0 483 7 0 0 25 0 10 0 670393246 202092544 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24705/tid=24707] ppid=24697 vsize=197356 CPUtime=0.92
/proc/24705/task/24707/stat : 24707 (java) S 24697 24697 21995 0 -1 64 6101 0 0 0 83 9 0 0 16 0 10 0 670393247 202092544 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24708] ppid=24697 vsize=197356 CPUtime=0
/proc/24705/task/24708/stat : 24708 (java) S 24697 24697 21995 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 670393247 202092544 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24709] ppid=24697 vsize=197356 CPUtime=0
/proc/24705/task/24709/stat : 24709 (java) S 24697 24697 21995 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 670393248 202092544 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24710] ppid=24697 vsize=197356 CPUtime=0
/proc/24705/task/24710/stat : 24710 (java) S 24697 24697 21995 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 670393249 202092544 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24711] ppid=24697 vsize=197356 CPUtime=0.32
/proc/24705/task/24711/stat : 24711 (java) S 24697 24697 21995 0 -1 64 664 0 0 0 31 1 0 0 16 0 10 0 670393249 202092544 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24712] ppid=24697 vsize=197356 CPUtime=0
/proc/24705/task/24712/stat : 24712 (java) S 24697 24697 21995 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 670393250 202092544 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24713] ppid=24697 vsize=197356 CPUtime=0
/proc/24705/task/24713/stat : 24713 (java) S 24697 24697 21995 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 670393250 202092544 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24714] ppid=24697 vsize=197356 CPUtime=0
/proc/24705/task/24714/stat : 24714 (java) S 24697 24697 21995 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 670393925 202092544 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 871052

[startup+25.5028 s]
/proc/loadavg: 2.60 2.26 2.15 3/101 24725
/proc/meminfo: memFree=1185692/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=1.64
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 375 2585 0 0 0 0 162 2 19 0 1 0 670393078 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1340 238 196 169 0 51 0

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

[pid=24728] ppid=24705 vsize=5356 CPUtime=0
/proc/24728/stat : 24728 (mistral) S 24705 24697 21995 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 670470016 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24728/statm: 1339 238 198 169 0 50 0
[pid=24729] ppid=24728 vsize=10568 CPUtime=215.44
/proc/24729/stat : 24729 (xsolve) R 24728 24697 21995 0 -1 4194304 1967 0 0 0 21543 1 0 0 25 0 1 0 670470017 10821632 1931 996147200 134512640 135239763 4294955968 18446744073709551615 134842477 0 4 0 0 0 0 0 17 0 0 0
/proc/24729/statm: 2642 1931 414 177 0 1545 0
[pid=24705/tid=24706] ppid=24697 vsize=197680 CPUtime=761.48
/proc/24705/task/24706/stat : 24706 (java) S 24697 24697 21995 0 -1 64 3945 20783 1 1 483 7 75624 34 16 0 10 0 670393246 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24705/tid=24707] ppid=24697 vsize=197680 CPUtime=757.5
/proc/24705/task/24707/stat : 24707 (java) S 24697 24697 21995 0 -1 64 6126 20783 0 1 83 9 75624 34 16 0 10 0 670393247 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24708] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24708/stat : 24708 (java) S 24697 24697 21995 0 -1 64 10 20783 0 1 0 0 75624 34 16 0 10 0 670393247 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24709] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24709/stat : 24709 (java) S 24697 24697 21995 0 -1 64 5 20783 0 1 0 0 75624 34 16 0 10 0 670393248 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24710] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24710/stat : 24710 (java) S 24697 24697 21995 0 -1 64 1 20783 0 1 0 0 75624 34 18 0 10 0 670393249 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24711] ppid=24697 vsize=197680 CPUtime=756.91
/proc/24705/task/24711/stat : 24711 (java) S 24697 24697 21995 0 -1 64 697 20783 0 1 32 1 75624 34 16 0 10 0 670393249 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24705/tid=24712] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24712/stat : 24712 (java) S 24697 24697 21995 0 -1 64 1 20783 0 1 0 0 75624 34 19 0 10 0 670393250 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24713] ppid=24697 vsize=197680 CPUtime=756.66
/proc/24705/task/24713/stat : 24713 (java) S 24697 24697 21995 0 -1 64 37 20783 0 1 4 4 75624 34 15 0 10 0 670393250 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24727] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24727/stat : 24727 (java) S 24697 24697 21995 0 -1 64 48 20783 0 1 0 0 75624 34 16 0 10 0 670470016 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 979.93
Current children cumulated vsize (KiB) 218964

[startup+989.501 s]
/proc/loadavg: 3.23 2.44 2.21 2/88 24800
/proc/meminfo: memFree=1526340/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=1.64
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 375 2585 0 0 0 0 162 2 19 0 1 0 670393078 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1340 238 196 169 0 51 0
[pid=24705] ppid=24697 vsize=197680 CPUtime=762.85
/proc/24705/stat : 24705 (java) S 24697 24697 21995 0 -1 0 11652 20783 1 1 603 24 75624 34 18 0 10 0 670393245 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24705/statm: 49420 9411 2545 9 0 44002 0
[pid=24728] ppid=24705 vsize=5356 CPUtime=0
/proc/24728/stat : 24728 (mistral) S 24705 24697 21995 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 670470016 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24728/statm: 1339 238 198 169 0 50 0
[pid=24729] ppid=24728 vsize=10568 CPUtime=218.63
/proc/24729/stat : 24729 (xsolve) R 24728 24697 21995 0 -1 4194304 1967 0 0 0 21862 1 0 0 25 0 1 0 670470017 10821632 1931 996147200 134512640 135239763 4294955968 18446744073709551615 135097610 0 4 0 0 0 0 0 17 0 0 0
/proc/24729/statm: 2642 1931 414 177 0 1545 0
[pid=24705/tid=24706] ppid=24697 vsize=197680 CPUtime=761.48
/proc/24705/task/24706/stat : 24706 (java) S 24697 24697 21995 0 -1 64 3945 20783 1 1 483 7 75624 34 16 0 10 0 670393246 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24705/tid=24707] ppid=24697 vsize=197680 CPUtime=757.5
/proc/24705/task/24707/stat : 24707 (java) S 24697 24697 21995 0 -1 64 6126 20783 0 1 83 9 75624 34 16 0 10 0 670393247 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24708] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24708/stat : 24708 (java) S 24697 24697 21995 0 -1 64 10 20783 0 1 0 0 75624 34 16 0 10 0 670393247 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24709] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24709/stat : 24709 (java) S 24697 24697 21995 0 -1 64 5 20783 0 1 0 0 75624 34 16 0 10 0 670393248 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24710] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24710/stat : 24710 (java) S 24697 24697 21995 0 -1 64 1 20783 0 1 0 0 75624 34 18 0 10 0 670393249 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24711] ppid=24697 vsize=197680 CPUtime=756.91
/proc/24705/task/24711/stat : 24711 (java) S 24697 24697 21995 0 -1 64 697 20783 0 1 32 1 75624 34 16 0 10 0 670393249 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24705/tid=24712] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24712/stat : 24712 (java) S 24697 24697 21995 0 -1 64 1 20783 0 1 0 0 75624 34 19 0 10 0 670393250 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24713] ppid=24697 vsize=197680 CPUtime=756.66
/proc/24705/task/24713/stat : 24713 (java) S 24697 24697 21995 0 -1 64 37 20783 0 1 4 4 75624 34 15 0 10 0 670393250 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24727] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24727/stat : 24727 (java) S 24697 24697 21995 0 -1 64 48 20783 0 1 0 0 75624 34 16 0 10 0 670470016 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 983.12
Current children cumulated vsize (KiB) 218964

[startup+991.101 s]
/proc/loadavg: 3.23 2.44 2.21 2/88 24800
/proc/meminfo: memFree=1526596/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=1.64
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 375 2585 0 0 0 0 162 2 19 0 1 0 670393078 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1340 238 196 169 0 51 0
[pid=24705] ppid=24697 vsize=197680 CPUtime=762.85
/proc/24705/stat : 24705 (java) S 24697 24697 21995 0 -1 0 11652 20783 1 1 603 24 75624 34 18 0 10 0 670393245 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24705/statm: 49420 9411 2545 9 0 44002 0
[pid=24728] ppid=24705 vsize=5356 CPUtime=0
/proc/24728/stat : 24728 (mistral) S 24705 24697 21995 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 670470016 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24728/statm: 1339 238 198 169 0 50 0
[pid=24729] ppid=24728 vsize=10568 CPUtime=220.23
/proc/24729/stat : 24729 (xsolve) R 24728 24697 21995 0 -1 4194304 1967 0 0 0 22022 1 0 0 25 0 1 0 670470017 10821632 1931 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 0 0 0
/proc/24729/statm: 2642 1931 414 177 0 1545 0
[pid=24705/tid=24706] ppid=24697 vsize=197680 CPUtime=761.48
/proc/24705/task/24706/stat : 24706 (java) S 24697 24697 21995 0 -1 64 3945 20783 1 1 483 7 75624 34 16 0 10 0 670393246 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24705/tid=24707] ppid=24697 vsize=197680 CPUtime=757.5
/proc/24705/task/24707/stat : 24707 (java) S 24697 24697 21995 0 -1 64 6126 20783 0 1 83 9 75624 34 16 0 10 0 670393247 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24708] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24708/stat : 24708 (java) S 24697 24697 21995 0 -1 64 10 20783 0 1 0 0 75624 34 16 0 10 0 670393247 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24709] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24709/stat : 24709 (java) S 24697 24697 21995 0 -1 64 5 20783 0 1 0 0 75624 34 16 0 10 0 670393248 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24710] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24710/stat : 24710 (java) S 24697 24697 21995 0 -1 64 1 20783 0 1 0 0 75624 34 18 0 10 0 670393249 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24711] ppid=24697 vsize=197680 CPUtime=756.91
/proc/24705/task/24711/stat : 24711 (java) S 24697 24697 21995 0 -1 64 697 20783 0 1 32 1 75624 34 16 0 10 0 670393249 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24705/tid=24712] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24712/stat : 24712 (java) S 24697 24697 21995 0 -1 64 1 20783 0 1 0 0 75624 34 19 0 10 0 670393250 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24713] ppid=24697 vsize=197680 CPUtime=756.66
/proc/24705/task/24713/stat : 24713 (java) S 24697 24697 21995 0 -1 64 37 20783 0 1 4 4 75624 34 15 0 10 0 670393250 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24727] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24727/stat : 24727 (java) S 24697 24697 21995 0 -1 64 48 20783 0 1 0 0 75624 34 16 0 10 0 670470016 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 984.72
Current children cumulated vsize (KiB) 218964

[startup+991.503 s]
/proc/loadavg: 3.23 2.44 2.21 2/88 24800
/proc/meminfo: memFree=1526596/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=1.64
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 375 2585 0 0 0 0 162 2 19 0 1 0 670393078 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1340 238 196 169 0 51 0
[pid=24705] ppid=24697 vsize=197680 CPUtime=762.85
/proc/24705/stat : 24705 (java) S 24697 24697 21995 0 -1 0 11652 20783 1 1 603 24 75624 34 18 0 10 0 670393245 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24705/statm: 49420 9411 2545 9 0 44002 0
[pid=24728] ppid=24705 vsize=5356 CPUtime=0
/proc/24728/stat : 24728 (mistral) S 24705 24697 21995 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 670470016 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24728/statm: 1339 238 198 169 0 50 0
[pid=24729] ppid=24728 vsize=10568 CPUtime=220.63
/proc/24729/stat : 24729 (xsolve) R 24728 24697 21995 0 -1 4194304 1967 0 0 0 22062 1 0 0 25 0 1 0 670470017 10821632 1931 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 0 0 0
/proc/24729/statm: 2642 1931 414 177 0 1545 0
[pid=24705/tid=24706] ppid=24697 vsize=197680 CPUtime=761.48
/proc/24705/task/24706/stat : 24706 (java) S 24697 24697 21995 0 -1 64 3945 20783 1 1 483 7 75624 34 16 0 10 0 670393246 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24705/tid=24707] ppid=24697 vsize=197680 CPUtime=757.5
/proc/24705/task/24707/stat : 24707 (java) S 24697 24697 21995 0 -1 64 6126 20783 0 1 83 9 75624 34 16 0 10 0 670393247 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24708] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24708/stat : 24708 (java) S 24697 24697 21995 0 -1 64 10 20783 0 1 0 0 75624 34 16 0 10 0 670393247 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24709] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24709/stat : 24709 (java) S 24697 24697 21995 0 -1 64 5 20783 0 1 0 0 75624 34 16 0 10 0 670393248 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24710] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24710/stat : 24710 (java) S 24697 24697 21995 0 -1 64 1 20783 0 1 0 0 75624 34 18 0 10 0 670393249 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24711] ppid=24697 vsize=197680 CPUtime=756.91
/proc/24705/task/24711/stat : 24711 (java) S 24697 24697 21995 0 -1 64 697 20783 0 1 32 1 75624 34 16 0 10 0 670393249 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24705/tid=24712] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24712/stat : 24712 (java) S 24697 24697 21995 0 -1 64 1 20783 0 1 0 0 75624 34 19 0 10 0 670393250 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24713] ppid=24697 vsize=197680 CPUtime=756.66
/proc/24705/task/24713/stat : 24713 (java) S 24697 24697 21995 0 -1 64 37 20783 0 1 4 4 75624 34 15 0 10 0 670393250 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24727] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24727/stat : 24727 (java) S 24697 24697 21995 0 -1 64 48 20783 0 1 0 0 75624 34 16 0 10 0 670470016 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 985.12
Current children cumulated vsize (KiB) 218964

[startup+991.703 s]
/proc/loadavg: 3.23 2.44 2.21 2/88 24800
/proc/meminfo: memFree=1526596/2055920 swapFree=4146776/4192956
[pid=24697] ppid=24695 vsize=5360 CPUtime=1.64
/proc/24697/stat : 24697 (hydra) S 24695 24697 21995 0 -1 4194304 375 2585 0 0 0 0 162 2 19 0 1 0 670393078 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1340 238 196 169 0 51 0
[pid=24705] ppid=24697 vsize=197680 CPUtime=762.85
/proc/24705/stat : 24705 (java) S 24697 24697 21995 0 -1 0 11652 20783 1 1 603 24 75624 34 18 0 10 0 670393245 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24705/statm: 49420 9411 2545 9 0 44002 0
[pid=24728] ppid=24705 vsize=5356 CPUtime=0
/proc/24728/stat : 24728 (mistral) S 24705 24697 21995 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 670470016 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24728/statm: 1339 238 198 169 0 50 0
[pid=24729] ppid=24728 vsize=10568 CPUtime=220.83
/proc/24729/stat : 24729 (xsolve) R 24728 24697 21995 0 -1 4194304 1974 0 0 0 22082 1 0 0 25 0 1 0 670470017 10821632 1938 996147200 134512640 135239763 4294955968 18446744073709551615 10690712 0 4 0 0 0 0 0 17 0 0 0
/proc/24729/statm: 2642 1938 421 177 0 1545 0
[pid=24705/tid=24706] ppid=24697 vsize=197680 CPUtime=761.48
/proc/24705/task/24706/stat : 24706 (java) S 24697 24697 21995 0 -1 64 3945 20783 1 1 483 7 75624 34 16 0 10 0 670393246 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24705/tid=24707] ppid=24697 vsize=197680 CPUtime=757.5
/proc/24705/task/24707/stat : 24707 (java) S 24697 24697 21995 0 -1 64 6126 20783 0 1 83 9 75624 34 16 0 10 0 670393247 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24708] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24708/stat : 24708 (java) S 24697 24697 21995 0 -1 64 10 20783 0 1 0 0 75624 34 16 0 10 0 670393247 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24709] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24709/stat : 24709 (java) S 24697 24697 21995 0 -1 64 5 20783 0 1 0 0 75624 34 16 0 10 0 670393248 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24710] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24710/stat : 24710 (java) S 24697 24697 21995 0 -1 64 1 20783 0 1 0 0 75624 34 18 0 10 0 670393249 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24711] ppid=24697 vsize=197680 CPUtime=756.91
/proc/24705/task/24711/stat : 24711 (java) S 24697 24697 21995 0 -1 64 697 20783 0 1 32 1 75624 34 16 0 10 0 670393249 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24705/tid=24712] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24712/stat : 24712 (java) S 24697 24697 21995 0 -1 64 1 20783 0 1 0 0 75624 34 19 0 10 0 670393250 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24713] ppid=24697 vsize=197680 CPUtime=756.66
/proc/24705/task/24713/stat : 24713 (java) S 24697 24697 21995 0 -1 64 37 20783 0 1 4 4 75624 34 15 0 10 0 670393250 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24705/tid=24727] ppid=24697 vsize=197680 CPUtime=756.58
/proc/24705/task/24727/stat : 24727 (java) S 24697 24697 21995 0 -1 64 48 20783 0 1 0 0 75624 34 16 0 10 0 670470016 202424320 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 985.32
Current children cumulated vsize (KiB) 218964

Child status: 0
Real time (s): 991.735
CPU time (s): 985.394
CPU user time (s): 984.743
CPU system time (s): 0.650901
CPU usage (%): 99.3607
Max. virtual memory (cumulated for all children) (KiB): 871052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 984.743
system time used= 0.650901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37828
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46188
involuntary context switches= 45193

runsolver used 3.90341 second user time and 12.0822 second system time

The end

Launcher Data (download as text)

Begin job on node90 at 2008-07-04 06:44:25
IDJOB=1065411
IDBENCH=55065
IDSOLVER=366
FILE ID=node90/1065411-1215146665
PBS_JOBID= 7877348
Free space on /tmp= 66556 MiB

SOLVER NAME= cpHydra k_40
BENCH NAME= CPAI08/csp/small/normalized-patat-02-small-4.xml
COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1065411-1215146665/watcher-1065411-1215146665 -o /tmp/evaluation-result-1065411-1215146665/solver-1065411-1215146665 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/cpHydra_k_40/hydra HOME/instance-1065411-1215146665.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 1f09980c5d7c107d636a478d0aef4777
RANDOM SEED=605427152

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1284204 kB
Buffers:         46520 kB
Cached:         280552 kB
SwapCached:      38088 kB
Active:         445256 kB
Inactive:       268716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1284204 kB
SwapTotal:     4192956 kB
SwapFree:      4146776 kB
Dirty:           24752 kB
Writeback:           0 kB
Mapped:         341052 kB
Slab:            41788 kB
Committed_AS:  1179272 kB
PageTables:       2932 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66516 MiB
End job on node90 at 2008-07-04 07:00:57