Trace number 1091873

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_40? (TO) 1800.04 1811.53

General information on the benchmark

Namecsp/bibdVariousK/
normalized-bibd-15-75-40-8-20_glb.xml
MD5SUMf7470a8c664894812a78068eb633ff7c
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables9000
Number of constraints8070
Maximum constraint arity75
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7875
Global constraints used (with number of constraints)weightedsum(195)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
7.78/7.97	c CASE TO CLASSIFY:
7.78/7.97	c Case: 0
7.78/7.98	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   2.416360 | c 33 >  60.000000 | c 15 >  21.058500 | c 34 >  20.000000 | c 16 >  75.000000 | c 13 >   9.552150 | c 14 >  13.019400 | c 11 >  13.135700 | c 12 >   6.655710 | c 21 >   1.414210 | c 20 >  97.583600 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.978400 | c 1 >  13.135700 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  14.135700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
7.78/7.99	c choco : 1801.0
7.78/7.99	c mistral : 1801.0
7.78/7.99	c abscon : 1801.0
7.78/7.99	c
7.78/7.99	c
8.07/8.26	c List of same ones: 40
8.07/8.26	c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-77-33-3-11_glb.xml
8.07/8.26	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   6.097560 | c 33 >  60.000000 | c 15 >  20.860800 | c 34 >  20.000000 | c 16 >  77.000000 | c 13 >  11.902600 | c 14 >  14.472400 | c 11 >  11.074100 | c 12 >  10.069800 | c 21 >   1.414210 | c 20 >  93.902400 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.749900 | c 1 >  11.074100 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.074100 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.07/8.26	c choco : 1801.0
8.07/8.26	c mistral : 1.6
8.07/8.26	c abscon : 11.26
8.07/8.26	c
8.07/8.26	c
8.07/8.26	c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-80-15-3-2_glb.xml
8.07/8.26	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   2.200490 | c 33 >  60.000000 | c 15 >  17.365100 | c 34 >  20.000000 | c 16 >  80.000000 | c 13 >  13.481000 | c 14 >  10.774000 | c 11 >  13.409400 | c 12 >  10.451800 | c 21 >   1.414210 | c 20 >  97.799500 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.260900 | c 1 >  13.409400 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  14.409400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.07/8.27	c choco : 1801.0
8.07/8.27	c mistral : 1801.0
8.07/8.27	c abscon : 0.63
8.07/8.27	c
8.07/8.27	c
8.07/8.27	c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-70-35-4-15_glb.xml
8.07/8.27	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.130690 | c 33 >  60.000000 | c 15 >  20.273800 | c 34 >  20.000000 | c 16 >  70.000000 | c 13 >  12.698900 | c 14 >  13.022900 | c 11 >  11.299200 | c 12 >  10.515100 | c 21 >   1.414210 | c 20 >  94.869300 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.012600 | c 1 >  11.299200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.299200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.07/8.28	c choco : 1801.0
8.07/8.28	c mistral : 2.44
8.07/8.28	c abscon : 1801.0
8.07/8.28	c
8.07/8.28	c
8.07/8.28	c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-70-30-3-10_glb.xml
8.07/8.28	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   6.250000 | c 33 >  60.000000 | c 15 >  20.902600 | c 34 >  20.000000 | c 16 >  70.000000 | c 13 >  11.685600 | c 14 >  14.416700 | c 11 >  10.936600 | c 12 >   9.908070 | c 21 >   1.414210 | c 20 >  93.750000 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.614700 | c 1 >  10.936600 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.936600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.07/8.29	c choco : 1801.0
8.07/8.29	c mistral : 11.53
8.07/8.29	c abscon : 10.67
8.07/8.29	c
8.07/8.29	c
8.07/8.29	c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-72-24-3-6_glb.xml
8.07/8.29	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   4.318940 | c 33 >  60.000000 | c 15 >  20.877800 | c 34 >  20.000000 | c 16 >  72.000000 | c 13 >  15.759400 | c 14 >  14.282600 | c 11 >  11.661800 | c 12 >  13.426100 | c 21 >   1.414210 | c 20 >  95.681100 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.403500 | c 1 >  11.661800 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.661800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.16/8.30	c choco : 1801.0
8.16/8.30	c mistral : 3.07
8.16/8.30	c abscon : 1801.0
8.16/8.30	c
8.16/8.30	c
8.16/8.30	c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-84-36-3-12_glb.xml
8.16/8.30	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.970150 | c 33 >  60.000000 | c 15 >  20.445100 | c 34 >  20.000000 | c 16 >  84.000000 | c 13 >  10.967300 | c 14 >  13.729000 | c 11 >  11.199700 | c 12 >   9.361060 | c 21 >   1.414210 | c 20 >  94.029900 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.873400 | c 1 >  11.199700 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.199700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.16/8.31	c choco : 1801.0
8.16/8.31	c mistral : 1801.0
8.16/8.31	c abscon : 13.53
8.16/8.31	c
8.16/8.31	c
8.16/8.31	c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-80-40-3-16_glb.xml
8.16/8.31	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   7.763260 | c 33 >  60.000000 | c 15 >  20.669300 | c 34 >  20.000000 | c 16 >  80.000000 | c 13 >  14.163300 | c 14 >  13.801900 | c 11 >  10.714200 | c 12 >  12.382000 | c 21 >   1.414210 | c 20 >  92.236700 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.345400 | c 1 >  10.714200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.714200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.16/8.32	c choco : 1801.0
8.16/8.32	c mistral : 0.2
8.16/8.32	c abscon : 1801.0
8.16/8.32	c
8.16/8.32	c
8.16/8.32	c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-70-35-3-14_glb.xml
8.16/8.32	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   7.975460 | c 33 >  60.000000 | c 15 >  21.159200 | c 34 >  20.000000 | c 16 >  70.000000 | c 13 >  14.354800 | c 14 >  14.459000 | c 11 >  10.521600 | c 12 >  13.063400 | c 21 >   1.414210 | c 20 >  92.024500 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.156100 | c 1 >  10.521600 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.521600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.16/8.33	c choco : 1801.0
8.16/8.33	c mistral : 1.73
8.16/8.33	c abscon : 1801.0
8.16/8.33	c
8.16/8.33	c
8.16/8.33	c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-63-27-3-9_glb.xml
8.16/8.33	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   6.435640 | c 33 >  60.000000 | c 15 >  21.279400 | c 34 >  20.000000 | c 16 >  63.000000 | c 13 >  12.359700 | c 14 >  14.844100 | c 11 >  10.784600 | c 12 >  10.556100 | c 21 >   1.414210 | c 20 >  93.564400 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.465600 | c 1 >  10.784600 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.784600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.16/8.34	c choco : 1801.0
8.16/8.34	c mistral : 0.27
8.16/8.34	c abscon : 9.51
8.16/8.34	c
8.16/8.34	c
8.16/8.34	c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-90-27-3-6_glb.xml
8.16/8.34	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   3.456500 | c 33 >  60.000000 | c 15 >  19.917700 | c 34 >  20.000000 | c 16 >  90.000000 | c 13 >  15.060300 | c 14 >  13.684400 | c 11 >  12.273200 | c 12 >  12.697100 | c 21 >   1.414210 | c 20 >  96.543500 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.034500 | c 1 >  12.273200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  13.273200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.16/8.35	c choco : 1801.0
8.16/8.35	c mistral : 1.7
8.16/8.35	c abscon : 1801.0
8.16/8.35	c
8.16/8.35	c
8.16/8.35	c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-91-39-3-13_glb.xml
8.16/8.35	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.862070 | c 33 >  60.000000 | c 15 >  20.445600 | c 34 >  20.000000 | c 16 >  91.000000 | c 13 >  11.211100 | c 14 >  14.129000 | c 11 >  11.315100 | c 12 >   9.331050 | c 21 >   1.414210 | c 20 >  94.137900 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.987300 | c 1 >  11.315100 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.315100 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.16/8.36	c choco : 1801.0
8.16/8.36	c mistral : 0.54
8.16/8.36	c abscon : 14.27
8.16/8.36	c
8.16/8.36	c
8.16/8.36	c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml
8.16/8.36	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   7.597540 | c 33 >  60.000000 | c 15 >  21.043400 | c 34 >  20.000000 | c 16 >  90.000000 | c 13 >  13.730600 | c 14 >  13.581800 | c 11 >  10.884200 | c 12 >  12.360000 | c 21 >   1.414210 | c 20 >  92.402500 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.512700 | c 1 >  10.884200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.884200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.16/8.37	c choco : 1801.0
8.16/8.37	c mistral : 64.09
8.16/8.37	c abscon : 1801.0
8.16/8.37	c
8.16/8.37	c
8.16/8.37	c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-60-20-3-5_glb.xml
8.16/8.37	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   4.635760 | c 33 >  60.000000 | c 15 >  20.663800 | c 34 >  20.000000 | c 16 >  60.000000 | c 13 >  16.416800 | c 14 >  14.459500 | c 11 >  11.398700 | c 12 >  14.513500 | c 21 >   1.414210 | c 20 >  95.364200 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.145300 | c 1 >  11.398700 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.398700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.16/8.38	c choco : 1801.0
8.16/8.38	c mistral : 75.53
8.16/8.38	c abscon : 1801.0
8.16/8.38	c
8.16/8.38	c
8.16/8.38	c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-60-30-3-12_glb.xml
8.16/8.38	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   8.256880 | c 33 >  60.000000 | c 15 >  20.985500 | c 34 >  20.000000 | c 16 >  60.000000 | c 13 >  13.027000 | c 14 >  14.700000 | c 11 >  10.299200 | c 12 >  11.970200 | c 21 >   1.414210 | c 20 >  91.743100 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   9.938110 | c 1 >  10.299200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.299200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.16/8.38	c choco : 1801.0
8.16/8.38	c mistral : 1.03
8.16/8.38	c abscon : 1801.0
8.16/8.38	c
8.16/8.38	c
8.16/8.38	c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-56-28-4-12_glb.xml
8.16/8.39	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.542170 | c 33 >  60.000000 | c 15 >  21.000600 | c 34 >  20.000000 | c 16 >  56.000000 | c 13 >  11.528100 | c 14 >  14.110600 | c 11 >  10.977300 | c 12 >   9.894620 | c 21 >   1.414210 | c 20 >  94.457800 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.697000 | c 1 >  10.977300 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.977300 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.16/8.39	c choco : 1801.0
8.16/8.39	c mistral : 0.39
8.16/8.39	c abscon : 1801.0
8.16/8.39	c
8.16/8.39	c
8.16/8.39	c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-56-24-3-8_glb.xml
8.16/8.39	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   6.666670 | c 33 >  60.000000 | c 15 >  21.294400 | c 34 >  20.000000 | c 16 >  56.000000 | c 13 >  12.822500 | c 14 >  15.104600 | c 11 >  10.614700 | c 12 >  11.441800 | c 21 >   1.414210 | c 20 >  93.333300 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.299200 | c 1 >  10.614700 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.614700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.40	c choco : 1801.0
8.23/8.40	c mistral : 0.28
8.23/8.40	c abscon : 8.76
8.23/8.40	c
8.23/8.40	c
8.23/8.40	c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-8-56-21-3-6_glb.xml
8.23/8.40	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.542170 | c 33 >  60.000000 | c 15 >  21.135200 | c 34 >  20.000000 | c 16 >  56.000000 | c 13 >  16.046000 | c 14 >  14.712300 | c 11 >  10.977300 | c 12 >  13.857300 | c 21 >   1.414210 | c 20 >  94.457800 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.697000 | c 1 >  10.977300 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.977300 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.41	c choco : 1801.0
8.23/8.41	c mistral : 0.29
8.23/8.41	c abscon : 1801.0
8.23/8.41	c
8.23/8.41	c
8.23/8.41	c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml
8.23/8.41	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.769230 | c 33 >  60.000000 | c 15 >  20.189000 | c 34 >  20.000000 | c 16 >  98.000000 | c 13 >  11.267000 | c 14 >  13.952600 | c 11 >  11.422100 | c 12 >   9.350030 | c 21 >   1.414210 | c 20 >  94.230800 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.092800 | c 1 >  11.422100 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.422100 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.42	c choco : 1801.0
8.23/8.42	c mistral : 11.66
8.23/8.42	c abscon : 16.56
8.23/8.42	c
8.23/8.42	c
8.23/8.42	c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml
8.23/8.42	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   4.656010 | c 33 >  60.000000 | c 15 >  19.889800 | c 34 >  20.000000 | c 16 >  98.000000 | c 13 >  14.236200 | c 14 >  13.363900 | c 11 >  11.784600 | c 12 >  12.139700 | c 21 >   1.414210 | c 20 >  95.344000 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.490900 | c 1 >  11.784600 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.784600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.42	c choco : 1801.0
8.23/8.42	c mistral : 16.49
8.23/8.42	c abscon : 1801.0
8.23/8.42	c
8.23/8.42	c
8.23/8.42	c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml
8.23/8.42	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   7.464530 | c 33 >  60.000000 | c 15 >  20.218500 | c 34 >  20.000000 | c 16 > 100.000000 | c 13 >  13.204400 | c 14 >  12.708000 | c 11 >  11.036200 | c 12 >  11.253500 | c 21 >   1.414210 | c 20 >  92.535500 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.662700 | c 1 >  11.036200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.036200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.43	c choco : 1801.0
8.23/8.43	c mistral : 0.25
8.23/8.43	c abscon : 1801.0
8.23/8.43	c
8.23/8.43	c
8.23/8.43	c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-50-25-3-10_glb.xml
8.23/8.43	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   8.647990 | c 33 >  60.000000 | c 15 >  20.097800 | c 34 >  20.000000 | c 16 >  50.000000 | c 13 >  14.123500 | c 14 >  13.848100 | c 11 >  10.036200 | c 12 >  12.797800 | c 21 >   1.414210 | c 20 >  91.352000 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   9.681240 | c 1 >  10.036200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.036200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.44	c choco : 21.63
8.23/8.44	c mistral : 0.12
8.23/8.44	c abscon : 1801.0
8.23/8.44	c
8.23/8.44	c
8.23/8.44	c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-49-21-3-7_glb.xml
8.23/8.44	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   6.962030 | c 33 >  60.000000 | c 15 >  21.331700 | c 34 >  20.000000 | c 16 >  49.000000 | c 13 >  15.019500 | c 14 >  14.726200 | c 11 >  10.422100 | c 12 >  13.311600 | c 21 >   1.414210 | c 20 >  93.038000 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.111100 | c 1 >  10.422100 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.422100 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.45	c choco : 1801.0
8.23/8.45	c mistral : 5.51
8.23/8.45	c abscon : 13.54
8.23/8.45	c
8.23/8.45	c
8.23/8.45	c /home/ehebrard/new_instances/competition_5c/data5/bibd12-13/bibd-12-44-11-3-2_glb.xml
8.23/8.45	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   4.031730 | c 33 >  60.000000 | c 15 >  17.568800 | c 34 >  20.000000 | c 16 >  44.000000 | c 13 >  12.364900 | c 14 >  11.355900 | c 11 >  11.744800 | c 12 >  10.486500 | c 21 >   1.414210 | c 20 >  95.968300 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.563200 | c 1 >  11.744800 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.744800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.45	c choco : 1801.0
8.23/8.45	c mistral : 0.6
8.23/8.45	c abscon : 1801.0
8.23/8.45	c
8.23/8.45	c
8.23/8.45	c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-42-18-3-6_glb.xml
8.23/8.45	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   7.352940 | c 33 >  60.000000 | c 15 >  21.569500 | c 34 >  20.000000 | c 16 >  42.000000 | c 13 >  14.373200 | c 14 >  15.327600 | c 11 >  10.199700 | c 12 >  13.080700 | c 21 >   1.414210 | c 20 >  92.647100 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   9.894820 | c 1 >  10.199700 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.199700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.46	c choco : 1801.0
8.23/8.46	c mistral : 0.08
8.23/8.46	c abscon : 11.27
8.23/8.46	c
8.23/8.46	c
8.23/8.46	c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-42-21-4-9_glb.xml
8.23/8.46	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   6.220100 | c 33 >  60.000000 | c 15 >  21.183000 | c 34 >  20.000000 | c 16 >  42.000000 | c 13 >  16.723700 | c 14 >  14.802500 | c 11 >  10.562200 | c 12 >  14.690000 | c 21 >   1.414210 | c 20 >  93.779900 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.292300 | c 1 >  10.562200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.562200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.46	c choco : 1801.0
8.23/8.46	c mistral : 0.46
8.23/8.46	c abscon : 1801.0
8.23/8.46	c
8.23/8.46	c
8.23/8.46	c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-40-20-3-8_glb.xml
8.23/8.46	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   9.228440 | c 33 >  60.000000 | c 15 >  20.109800 | c 34 >  20.000000 | c 16 >  40.000000 | c 13 >  12.788500 | c 14 >  14.052800 | c 11 >   9.714250 | c 12 >  12.169700 | c 21 >   1.414210 | c 20 >  90.771600 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   9.368510 | c 1 >   9.714250 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.714200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.47	c choco : 59.6
8.23/8.47	c mistral : 0.23
8.23/8.47	c abscon : 26.24
8.23/8.47	c
8.23/8.47	c
8.23/8.47	c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-36-12-3-3_glb.xml
8.23/8.47	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.882350 | c 33 >  60.000000 | c 15 >  14.457800 | c 34 >  20.000000 | c 16 >  36.000000 | c 13 >   7.081620 | c 14 >   8.629360 | c 11 >  10.661800 | c 12 >   5.136390 | c 21 >   1.414210 | c 20 >  94.117600 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.427300 | c 1 >  10.661800 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.661800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.48	c choco : 1801.0
8.23/8.48	c mistral : 40.43
8.23/8.48	c abscon : 37.33
8.23/8.48	c
8.23/8.48	c
8.23/8.48	c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-15-35-7-3-1_glb.xml
8.23/8.48	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   4.047000 | c 33 >  60.000000 | c 15 >  15.303000 | c 34 >  20.000000 | c 16 >  35.000000 | c 13 >   7.223010 | c 14 >   9.092760 | c 11 >  12.036200 | c 12 >   5.235750 | c 21 >   1.414210 | c 20 >  95.953000 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.903100 | c 1 >  12.036200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  13.036200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.48	c choco : 65.48
8.23/8.48	c mistral : 0.98
8.23/8.48	c abscon : 1801.0
8.23/8.48	c
8.23/8.48	c
8.23/8.48	c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-35-15-3-5_glb.xml
8.23/8.48	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   7.894740 | c 33 >  60.000000 | c 15 >  21.534600 | c 34 >  20.000000 | c 16 >  35.000000 | c 13 >  13.806700 | c 14 >  15.884600 | c 11 >   9.936640 | c 12 >  12.828000 | c 21 >   1.414210 | c 20 >  92.105300 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   9.640240 | c 1 >   9.936640 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.936600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.49	c choco : 12.35
8.23/8.49	c mistral : 0.12
8.23/8.49	c abscon : 8.74
8.23/8.49	c
8.23/8.49	c
8.23/8.49	c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-31-31-6-6-1_glb.xml
8.23/8.49	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   3.526970 | c 33 >  60.000000 | c 15 >  18.227100 | c 34 >  20.000000 | c 16 >  31.000000 | c 13 >   7.541670 | c 14 >   9.864190 | c 11 >  13.908400 | c 12 >   4.826320 | c 21 >   1.414210 | c 20 >  96.473000 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.867100 | c 1 >  13.908400 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  14.908400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.23/8.49	c choco : 1801.0
8.23/8.49	c mistral : 6.96
8.23/8.49	c abscon : 1801.0
8.23/8.49	c
8.23/8.49	c
8.23/8.49	c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-25-30-6-5-1_glb.xml
8.23/8.49	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   3.794760 | c 33 >  60.000000 | c 15 >  18.308900 | c 34 >  20.000000 | c 16 >  30.000000 | c 13 >   7.093370 | c 14 >  10.011200 | c 11 >  13.251200 | c 12 >   5.872660 | c 21 >   1.414210 | c 20 >  96.205200 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.191500 | c 1 >  13.251200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  14.251200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.30/8.50	c choco : 1801.0
8.30/8.50	c mistral : 5.2
8.30/8.50	c abscon : 1801.0
8.30/8.50	c
8.30/8.50	c
8.30/8.50	c /home/ehebrard/new_instances/competition_5c/data5/bibd10-11/bibd-10-30-9-3-2_glb.xml
8.30/8.50	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.923340 | c 33 >  60.000000 | c 15 >  14.368300 | c 34 >  20.000000 | c 16 >  30.000000 | c 13 >   4.219610 | c 14 >   8.092760 | c 11 >  10.688300 | c 12 >   3.234800 | c 21 >   1.414210 | c 20 >  94.076700 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.486800 | c 1 >  10.688300 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.688300 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.30/8.51	c choco : 90.14
8.30/8.51	c mistral : 0.17
8.30/8.51	c abscon : 15.55
8.30/8.51	c
8.30/8.51	c
8.30/8.51	c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-30-15-3-6_glb.xml
8.30/8.51	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >  10.179600 | c 33 >  60.000000 | c 15 >  19.126400 | c 34 >  20.000000 | c 16 >  30.000000 | c 13 >  14.779900 | c 14 >  13.233900 | c 11 >   9.299210 | c 12 >  13.140000 | c 21 >   1.414210 | c 20 >  89.820400 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   8.968670 | c 1 >   9.299210 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.299200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.30/8.51	c choco : 20.41
8.30/8.51	c mistral : 0.14
8.30/8.51	c abscon : 16.64
8.30/8.51	c
8.30/8.51	c
8.30/8.51	c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-28-14-4-6_glb.xml
8.30/8.52	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   7.547170 | c 33 >  60.000000 | c 15 >  21.674800 | c 34 >  20.000000 | c 16 >  28.000000 | c 13 >  14.230600 | c 14 >  15.096100 | c 11 >   9.977280 | c 12 >  13.458900 | c 21 >   1.414210 | c 20 >  92.452800 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   9.727920 | c 1 >   9.977280 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.977300 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.30/8.52	c choco : 1801.0
8.30/8.52	c mistral : 0.14
8.30/8.52	c abscon : 39.3
8.30/8.52	c
8.30/8.52	c
8.30/8.52	c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-28-12-3-4_glb.xml
8.30/8.52	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   8.695650 | c 33 >  60.000000 | c 15 >  21.072700 | c 34 >  20.000000 | c 16 >  28.000000 | c 13 >  13.848200 | c 14 >  15.923900 | c 11 >   9.614710 | c 12 >  12.540400 | c 21 >   1.414210 | c 20 >  91.304300 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   9.330920 | c 1 >   9.614710 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  10.614700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.30/8.53	c choco : 10.93
8.30/8.53	c mistral : 0.1
8.30/8.53	c abscon : 7.43
8.30/8.53	c
8.30/8.53	c
8.30/8.53	c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-13-26-8-4-2_glb.xml
8.30/8.53	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.454550 | c 33 >  60.000000 | c 15 >  19.978400 | c 34 >  20.000000 | c 16 >  26.000000 | c 13 >  11.244700 | c 14 >  12.756600 | c 11 >  11.208200 | c 12 >  10.227100 | c 21 >   1.414210 | c 20 >  94.545500 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.066800 | c 1 >  11.208200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.208200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.30/8.53	c choco : 54.96
8.30/8.53	c mistral : 1.09
8.30/8.53	c abscon : 13.0
8.30/8.53	c
8.30/8.53	c
8.30/8.53	c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-14-26-13-7-6_glb.xml
8.30/8.53	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.246300 | c 33 >  60.000000 | c 15 >  20.769600 | c 34 >  20.000000 | c 16 >  26.000000 | c 13 >  12.618400 | c 14 >  13.912900 | c 11 >  11.414700 | c 12 >  10.501300 | c 21 >   1.414210 | c 20 >  94.753700 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.286000 | c 1 >  11.414700 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.414700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.30/8.54	c choco : 1801.0
8.30/8.54	c mistral : 41.67
8.30/8.54	c abscon : 1801.0
8.30/8.54	c
8.30/8.54	c
8.30/8.54	c /home/ehebrard/new_instances/competition_5c/data5/bibd12-13/bibd-13-26-6-3-1_glb.xml
8.30/8.54	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.454550 | c 33 >  60.000000 | c 15 >  15.721800 | c 34 >  20.000000 | c 16 >  26.000000 | c 13 >   9.674550 | c 14 >   9.465570 | c 11 >  11.208200 | c 12 >   7.542560 | c 21 >   1.414210 | c 20 >  94.545500 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.066800 | c 1 >  11.208200 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.208200 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.30/8.55	c choco : 1801.0
8.30/8.55	c mistral : 0.29
8.30/8.55	c abscon : 29.41
8.30/8.55	c
8.30/8.55	c
8.30/8.55	c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-16-24-9-6-3_glb.xml
8.30/8.55	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.263160 | c 33 >  60.000000 | c 15 >  20.784700 | c 34 >  20.000000 | c 16 >  24.000000 | c 13 >  12.111600 | c 14 >  13.564000 | c 11 >  11.672400 | c 12 >  10.659900 | c 21 >   1.414210 | c 20 >  94.736800 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.569900 | c 1 >  11.672400 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  12.672400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.30/8.55	c choco : 1801.0
8.30/8.55	c mistral : 1.77
8.30/8.55	c abscon : 1801.0
8.30/8.55	c
8.30/8.55	c
8.30/8.55	c /home/ehebrard/new_instances/competition_5c/data5/bibd9/bibd-9-24-8-3-2_glb.xml
8.30/8.55	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   7.395500 | c 33 >  60.000000 | c 15 >  14.156200 | c 34 >  20.000000 | c 16 >  24.000000 | c 13 >   6.285980 | c 14 >   8.276120 | c 11 >  10.076800 | c 12 >   4.846560 | c 21 >   1.414210 | c 20 >  92.604500 | c 22 >   1.414210 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   9.865730 | c 1 >  10.076800 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  11.076800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.30/8.56	c choco : 18.65
8.30/8.56	c mistral : 0.13
8.30/8.56	c abscon : 9.76
8.30/8.56	c
8.30/8.56	c
8.30/8.56	c Length: 40
8.30/8.56	c 8.255312400545485  8.598077710599037  8.895519732061755  9.570511548590286  10.546716578679833  11.494993689389311  12.709021966563755  13.471438161851912  15.022631722937229  17.28780276334156  17.469127510330907  18.716055867062373  18.93043038962929  19.22893148349903  20.37918442128389  21.479761993250765  22.285128473641343  23.99322259705436  24.499386131597262  27.015452506028844  28.33002319806851  28.71965305280515  31.80498336304391  35.25931842513976  35.555538284551396  37.53404295417828  40.51109034517585  40.81772011627302  42.02980303158462  44.34420756083821  45.30070351849847  46.72198404369938  47.73807238491412  48.734038019005766  48.988542821697614  49.50874534141115  49.53623817110257  49.761151440029  51.4642791736035  52.65381215779442  
8.30/8.57	c 
8.30/8.57	c 1.0  0.9923389446065517  0.9857853972083499  0.971229649327447  0.9509229194108956  0.931994017871731  0.9088329959337771  0.8948671746125414  0.8677374965529571  0.8309503465591315  0.82813995007235  0.8093166647624271  0.8061663928043905  0.80182049535395  0.7855031266494014  0.7705002999344777  0.759879848088836  0.7382964794770652  0.7321341625749834  0.7029679526624343  0.6886348512074028  0.6844982346894003  0.6534171455530541  0.6218059054243855  0.6192369440343638  0.6026081541055367  0.5792044630558227  0.5768967806524204  0.5679519171099888  0.5516205339076342  0.5451421743256548  0.5357920463679039  0.5293017760344947  0.5230908475238073  0.5215270459581633  0.518359578805234  0.5181932474890375  0.5168365228013108  0.506788993172057  0.5  
8.30/8.58	c
8.30/8.58	c solver 0
8.30/8.58	c	  before 0.0 seconds: {} 0
8.30/8.58	c	  before 18.0 seconds: {0, 1, 3, 5, 8, 10, 15, 17, 21, 23, 28, 31, 32, 34, 35, 39} 11579
8.30/8.58	c	  before 36.0 seconds: {0, 1, 3, 5, 8, 10, 15, 17, 21, 23, 25, 28, 31, 32, 34, 35, 37, 39} 12698
8.30/8.58	c	  before 54.0 seconds: {0, 1, 3, 5, 8, 10, 15, 17, 21, 23, 25, 26, 28, 31, 32, 33, 34, 35, 37, 39} 13801
8.30/8.58	c
8.30/8.58	c solver 1
8.30/8.58	c	  before 0.0 seconds: {} 0
8.30/8.58	c	  before 18.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 23793
8.30/8.58	c	  before 54.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24890
8.30/8.58	c	  before 72.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25699
8.30/8.58	c	  before 90.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26505
8.30/8.58	c
8.30/8.58	c solver 2
8.30/8.58	c	  before 0.0 seconds: {} 0
8.30/8.58	c	  before 18.0 seconds: {28, 34} 1089
8.30/8.58	c	  before 36.0 seconds: {20, 28, 32, 34, 39} 2807
8.30/8.58	c	  before 72.0 seconds: {20, 25, 27, 28, 32, 34, 35, 39} 4505
8.30/8.58	c	  before 108.0 seconds: {20, 25, 27, 28, 31, 32, 34, 35, 39} 5041
8.30/8.58	c
8.30/8.58	cTotal time: 14
8.30/8.58	c 252.0 seconds unused
8.30/8.58	c 0 c 2 c 13 
8.30/8.58	c 20 c 0 c 29 
8.30/8.58	c 2 c 0 c 0 
8.30/8.58	c is solver0 dominated by:
8.30/8.58	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: true) (0 is equally as fast as 1: false) (0 < 1: false)
8.30/8.58	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: true) (0 is equally as fast as 2: false) (0 < 2: false)
8.30/8.58	c is dominated? false
8.30/8.58	c
8.30/8.58	c is solver1 dominated by:
8.30/8.58	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: false) (1 is equally as fast as 0: false) (1 < 0: true)
8.30/8.58	c	solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
8.30/8.58	c is dominated? false
8.30/8.58	c
8.30/8.58	c is solver2 dominated by:
8.30/8.58	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: false) (2 is equally as fast as 0: false) (2 < 0: true)
8.30/8.58	c	solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
8.30/8.58	c is dominated? true
8.30/8.58	c
8.30/8.58	c Number of non-dominated solvers: 2
8.30/8.58	c remove dominated solvers
8.30/8.58	c solver 0 is not dominated by another solver
8.30/8.58	c solver 1 is not dominated by another solver
8.30/8.58	c solver 2 is dominated by another solver
8.30/8.58	c
8.30/8.58	c solver 0: 54.0
8.30/8.58	c
8.30/8.58	c+ 3/8 of 92
8.30/8.58	c
8.30/8.58	c solver 1: 90.0
8.30/8.58	c
8.30/8.58	c+ 5/8 of 92
8.30/8.58	c
8.30/8.58	c solver 2: 0.0
8.30/8.58	c	  run abscon for 666.0 seconds {0, 1, 3, 5, 8, 10, 15, 17, 21, 23, 25, 26, 28, 31, 32, 33, 34, 35, 37, 39} 13801
8.30/8.58	c	  run mistral for 1116.0 seconds {0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26505
8.30/8.58	c	 do not run choco
8.30/8.58	c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.30/8.58	c On Instance: HOME/instance-1091873-1215263336.xml
8.30/8.58	c Running for: 666 seconds
675.01/675.88	c Starting solver: HOME/cpHydra_k_40/solver/mistral
675.01/675.88	c On Instance: HOME/instance-1091873-1215263336.xml
675.01/675.88	c Running for: 1116 seconds

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer:

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-1091873-1215263336/watcher-1091873-1215263336 -o /tmp/evaluation-result-1091873-1215263336/solver-1091873-1215263336 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1091873-1215263336.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.00 2.00 2.00 4/72 11668
/proc/meminfo: memFree=1729904/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=0
/proc/11668/stat : 11668 (hydra) R 11666 11668 9359 0 -1 4194304 306 124 0 0 0 0 0 0 21 0 1 0 1010738233 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 0 0 0 17 1 0 0
/proc/11668/statm: 1340 236 195 169 0 51 0
[pid=11670] ppid=11668 vsize=0 CPUtime=0
/proc/11670/stat : 11670 (rm) Z 11668 11668 9359 0 -1 4194316 123 0 0 0 0 0 0 0 23 0 1 0 1010738233 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/11670/statm: 0 0 0 0 0 0 0

[startup+0.079943 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 11668
/proc/meminfo: memFree=1729904/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=0
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1010738233 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.102936 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 11668
/proc/meminfo: memFree=1729904/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=0
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1010738233 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301962 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 11668
/proc/meminfo: memFree=1729904/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=0
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1010738233 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.702002 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 11668
/proc/meminfo: memFree=1729904/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=0
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1010738233 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50208 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11672
/proc/meminfo: memFree=1719456/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=0
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1010738233 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 236 195 169 0 51 0
[pid=11672] ppid=11668 vsize=14636 CPUtime=1.47
/proc/11672/stat : 11672 (xsolve) R 11668 11668 9359 0 -1 4194304 2996 0 0 0 146 1 0 0 25 0 1 0 1010738234 14987264 2955 996147200 134512640 135239763 4294956176 18446744073709551615 135097600 0 0 4096 0 0 0 0 17 1 0 0
/proc/11672/statm: 3659 2955 427 177 0 2562 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19996

[startup+3.10125 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11676
/proc/meminfo: memFree=1729248/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=2.06
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 375 3591 0 0 0 0 204 2 18 0 1 0 1010738233 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 238 196 169 0 51 0
[pid=11676] ppid=11668 vsize=197004 CPUtime=0.98
/proc/11676/stat : 11676 (java) S 11668 11668 9359 0 -1 0 4411 0 1 0 93 5 0 0 18 0 9 0 1010738442 201732096 3739 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11676/statm: 49251 3739 1678 9 0 43833 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202364

[startup+6.30258 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11684
/proc/meminfo: memFree=1712288/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=2.06
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 375 3591 0 0 0 0 204 2 18 0 1 0 1010738233 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 238 196 169 0 51 0
[pid=11676] ppid=11668 vsize=197112 CPUtime=4.14
/proc/11676/stat : 11676 (java) S 11668 11668 9359 0 -1 0 9300 0 1 0 401 13 0 0 18 0 9 0 1010738442 201842688 7708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11676/statm: 49278 7708 2541 9 0 43860 0
[pid=11676/tid=11677] ppid=11668 vsize=197112 CPUtime=3.22
/proc/11676/task/11677/stat : 11677 (java) R 11668 11668 9359 0 -1 64 3435 0 1 0 318 4 0 0 25 0 9 0 1010738444 201842688 7708 996147200 134512640 134550740 4294955968 18446744073709551615 4126634186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11678] ppid=11668 vsize=197112 CPUtime=0.71
/proc/11676/task/11678/stat : 11678 (java) S 11668 11668 9359 0 -1 64 4515 0 0 0 64 7 0 0 16 0 9 0 1010738445 201842688 7708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11679] ppid=11668 vsize=197112 CPUtime=0
/proc/11676/task/11679/stat : 11679 (java) S 11668 11668 9359 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1010738445 201842688 7708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11680] ppid=11668 vsize=197112 CPUtime=0
/proc/11676/task/11680/stat : 11680 (java) S 11668 11668 9359 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1010738445 201842688 7708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11681] ppid=11668 vsize=197112 CPUtime=0
/proc/11676/task/11681/stat : 11681 (java) S 11668 11668 9359 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1010738449 201842688 7708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11682] ppid=11668 vsize=197112 CPUtime=0.17
/proc/11676/task/11682/stat : 11682 (java) S 11668 11668 9359 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 1010738449 201842688 7708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11683] ppid=11668 vsize=197112 CPUtime=0
/proc/11676/task/11683/stat : 11683 (java) S 11668 11668 9359 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1010738449 201842688 7708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11684] ppid=11668 vsize=197112 CPUtime=0
/proc/11676/task/11684/stat : 11684 (java) S 11668 11668 9359 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1010738449 201842688 7708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202472

[startup+12.7022 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 11696
/proc/meminfo: memFree=1618880/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=2.06
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 375 3591 0 0 0 0 204 2 18 0 1 0 1010738233 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 238 196 169 0 51 0
[pid=11676] ppid=11668 vsize=197436 CPUtime=6.29
/proc/11676/stat : 11676 (java) S 11668 11668 9359 0 -1 0 14035 0 1 0 608 21 0 0 18 0 10 0 1010738442 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11676/statm: 49359 9562 2544 9 0 43941 0
[pid=11686] ppid=11676 vsize=5356 CPUtime=0
/proc/11686/stat : 11686 (abscon) S 11676 11668 9359 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1010739092 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11686/statm: 1339 237 196 169 0 50 0
[pid=11687] ppid=11686 vsize=655808 CPUtime=4.08
/proc/11687/stat : 11687 (java) S 11686 11668 9359 0 -1 0 23670 0 1 0 362 46 0 0 18 0 9 0 1010739092 671547392 22983 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11687/statm: 163952 22983 2617 9 0 158480 0
[pid=11687/tid=11689] ppid=11686 vsize=655808 CPUtime=3.3
/proc/11687/task/11689/stat : 11689 (java) R 11686 11668 9359 0 -1 64 12550 0 1 0 289 41 0 0 25 0 9 0 1010739093 671547392 22983 996147200 134512640 134550740 4294955808 18446744073709551615 4127224332 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11690] ppid=11686 vsize=655808 CPUtime=0.42
/proc/11687/task/11690/stat : 11690 (java) S 11686 11668 9359 0 -1 64 9856 0 0 0 38 4 0 0 17 0 9 0 1010739094 671547392 22983 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11691] ppid=11686 vsize=655808 CPUtime=0
/proc/11687/task/11691/stat : 11691 (java) S 11686 11668 9359 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1010739095 671547392 22983 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11692] ppid=11686 vsize=655808 CPUtime=0
/proc/11687/task/11692/stat : 11692 (java) S 11686 11668 9359 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1010739095 671547392 22983 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11693] ppid=11686 vsize=655808 CPUtime=0
/proc/11687/task/11693/stat : 11693 (java) S 11686 11668 9359 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1010739097 671547392 22983 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11694] ppid=11686 vsize=655808 CPUtime=0.34
/proc/11687/task/11694/stat : 11694 (java) S 11686 11668 9359 0 -1 64 719 0 0 0 34 0 0 0 15 0 9 0 1010739097 671547392 22983 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11695] ppid=11686 vsize=655808 CPUtime=0
/proc/11687/task/11695/stat : 11695 (java) S 11686 11668 9359 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1010739097 671547392 22983 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11696] ppid=11686 vsize=655808 CPUtime=0
/proc/11687/task/11696/stat : 11696 (java) S 11686 11668 9359 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1010739097 671547392 22983 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11688] ppid=11686 vsize=7044 CPUtime=0
/proc/11688/stat : 11688 (translate) S 11686 11668 9359 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1010739093 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 206381482066 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/11688/statm: 1761 213 182 1 0 41 0
[pid=11676/tid=11677] ppid=11668 vsize=197436 CPUtime=4.86
/proc/11676/task/11677/stat : 11677 (java) S 11668 11668 9359 0 -1 64 3988 0 1 0 479 7 0 0 25 0 10 0 1010738444 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11676/tid=11678] ppid=11668 vsize=197436 CPUtime=1.15
/proc/11676/task/11678/stat : 11678 (java) S 11668 11668 9359 0 -1 64 8556 0 0 0 104 11 0 0 16 0 10 0 1010738445 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11679] ppid=11668 vsize=197436 CPUtime=0
/proc/11676/task/11679/stat : 11679 (java) S 11668 11668 9359 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1010738445 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11680] ppid=11668 vsize=197436 CPUtime=0
/proc/11676/task/11680/stat : 11680 (java) S 11668 11668 9359 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1010738445 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11681] ppid=11668 vsize=197436 CPUtime=0
/proc/11676/task/11681/stat : 11681 (java) S 11668 11668 9359 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1010738449 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11682] ppid=11668 vsize=197436 CPUtime=0.24
/proc/11676/task/11682/stat : 11682 (java) S 11668 11668 9359 0 -1 64 665 0 0 0 24 0 0 0 16 0 10 0 1010738449 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11683] ppid=11668 vsize=197436 CPUtime=0
/proc/11676/task/11683/stat : 11683 (java) S 11668 11668 9359 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1010738449 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11684] ppid=11668 vsize=197436 CPUtime=0
/proc/11676/task/11684/stat : 11684 (java) S 11668 11668 9359 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 1010738449 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11685] ppid=11668 vsize=197436 CPUtime=0
/proc/11676/task/11685/stat : 11685 (java) S 11668 11668 9359 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1010739092 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 871004

[startup+25.5026 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 11696
/proc/meminfo: memFree=1618560/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=2.06
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 375 3591 0 0 0 0 204 2 18 0 1 0 1010738233 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 238 196 169 0 51 0
[pid=11676] ppid=11668 vsize=197436 CPUtime=6.29
/proc/11676/stat : 11676 (java) S 11668 11668 9359 0 -1 0 14035 0 1 0 608 21 0 0 18 0 10 0 1010738442 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11676/statm: 49359 9562 2544 9 0 43941 0
[pid=11686] ppid=11676 vsize=5356 CPUtime=0
/proc/11686/stat : 11686 (abscon) S 11676 11668 9359 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1010739092 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11686/statm: 1339 237 196 169 0 50 0
[pid=11687] ppid=11686 vsize=655808 CPUtime=16.89
/proc/11687/stat : 11687 (java) S 11686 11668 9359 0 -1 0 23697 0 1 0 1642 47 0 0 18 0 9 0 1010739092 671547392 23002 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11687/statm: 163952 23002 2617 9 0 158480 0
[pid=11687/tid=11689] ppid=11686 vsize=655808 CPUtime=16.06
/proc/11687/task/11689/stat : 11689 (java) R 11686 11668 9359 0 -1 64 12553 0 1 0 1565 41 0 0 25 0 9 0 1010739093 671547392 23002 996147200 134512640 134550740 4294955808 18446744073709551615 4127301395 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11690] ppid=11686 vsize=655808 CPUtime=0.42
/proc/11687/task/11690/stat : 11690 (java) S 11686 11668 9359 0 -1 64 9856 0 0 0 38 4 0 0 16 0 9 0 1010739094 671547392 23002 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11691] ppid=11686 vsize=655808 CPUtime=0
/proc/11687/task/11691/stat : 11691 (java) S 11686 11668 9359 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1010739095 671547392 23002 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11692] ppid=11686 vsize=655808 CPUtime=0
/proc/11687/task/11692/stat : 11692 (java) S 11686 11668 9359 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1010739095 671547392 23002 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11693] ppid=11686 vsize=655808 CPUtime=0
/proc/11687/task/11693/stat : 11693 (java) S 11686 11668 9359 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1010739097 671547392 23002 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11694] ppid=11686 vsize=655808 CPUtime=0.39
/proc/11687/task/11694/stat : 11694 (java) S 11686 11668 9359 0 -1 64 743 0 0 0 38 1 0 0 16 0 9 0 1010739097 671547392 23002 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11695] ppid=11686 vsize=655808 CPUtime=0
/proc/11687/task/11695/stat : 11695 (java) S 11686 11668 9359 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1010739097 671547392 23002 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11687/tid=11696] ppid=11686 vsize=655808 CPUtime=0
/proc/11687/task/11696/stat : 11696 (java) S 11686 11668 9359 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1010739097 671547392 23002 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11688] ppid=11686 vsize=7044 CPUtime=0
/proc/11688/stat : 11688 (translate) S 11686 11668 9359 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1010739093 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 206381482066 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/11688/statm: 1761 213 182 1 0 41 0

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

/proc/11676/task/11938/stat : 11938 (java) S 11668 11668 9359 0 -1 64 49 24275 0 1 0 0 66619 56 17 0 10 0 1010805821 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1652.24
Current children cumulated vsize (KiB) 223268

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 11940
/proc/meminfo: memFree=1603496/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=2.06
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 375 3591 0 0 0 0 204 2 18 0 1 0 1010738233 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 238 196 169 0 51 0
[pid=11676] ppid=11668 vsize=197760 CPUtime=673.04
/proc/11676/stat : 11676 (java) S 11668 11668 9359 0 -1 0 14226 24275 1 1 608 21 66619 56 18 0 10 0 1010738442 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11676/statm: 49440 9568 2545 9 0 44022 0
[pid=11939] ppid=11676 vsize=5356 CPUtime=0
/proc/11939/stat : 11939 (mistral) S 11676 11668 9359 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1010805821 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11939/statm: 1339 236 196 169 0 50 0
[pid=11940] ppid=11939 vsize=14792 CPUtime=1036.58
/proc/11940/stat : 11940 (xsolve) R 11939 11668 9359 0 -1 4194304 2999 0 0 0 103655 3 0 0 25 0 1 0 1010805822 15147008 2963 996147200 134512640 135239763 4294955952 18446744073709551615 134821139 0 4 0 0 0 0 0 17 1 0 0
/proc/11940/statm: 3698 2963 409 177 0 2601 0
[pid=11676/tid=11677] ppid=11668 vsize=197760 CPUtime=671.62
/proc/11676/task/11677/stat : 11677 (java) S 11668 11668 9359 0 -1 64 4063 24275 1 1 479 8 66619 56 16 0 10 0 1010738444 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11676/tid=11678] ppid=11668 vsize=197760 CPUtime=667.9
/proc/11676/task/11678/stat : 11678 (java) S 11668 11668 9359 0 -1 64 8578 24275 0 1 104 11 66619 56 16 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11676/tid=11679] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11679/stat : 11679 (java) S 11668 11668 9359 0 -1 64 11 24275 0 1 0 0 66619 56 16 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11680] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11680/stat : 11680 (java) S 11668 11668 9359 0 -1 64 6 24275 0 1 0 0 66619 56 15 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11681] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11681/stat : 11681 (java) S 11668 11668 9359 0 -1 64 1 24275 0 1 0 0 66619 56 18 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11682] ppid=11668 vsize=197760 CPUtime=666.99
/proc/11676/task/11682/stat : 11682 (java) S 11668 11668 9359 0 -1 64 698 24275 0 1 24 0 66619 56 16 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11676/tid=11683] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11683/stat : 11683 (java) S 11668 11668 9359 0 -1 64 0 24275 0 1 0 0 66619 56 19 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11684] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11684/stat : 11684 (java) S 11668 11668 9359 0 -1 64 34 24275 0 1 0 0 66619 56 15 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11938] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11938/stat : 11938 (java) S 11668 11668 9359 0 -1 64 49 24275 0 1 0 0 66619 56 17 0 10 0 1010805821 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.68
Current children cumulated vsize (KiB) 223268

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 11940
/proc/meminfo: memFree=1603432/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=2.06
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 375 3591 0 0 0 0 204 2 18 0 1 0 1010738233 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 238 196 169 0 51 0
[pid=11676] ppid=11668 vsize=197760 CPUtime=673.04
/proc/11676/stat : 11676 (java) S 11668 11668 9359 0 -1 0 14226 24275 1 1 608 21 66619 56 18 0 10 0 1010738442 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11676/statm: 49440 9568 2545 9 0 44022 0
[pid=11939] ppid=11676 vsize=5356 CPUtime=0
/proc/11939/stat : 11939 (mistral) S 11676 11668 9359 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1010805821 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11939/statm: 1339 236 196 169 0 50 0
[pid=11940] ppid=11939 vsize=14792 CPUtime=1096.01
/proc/11940/stat : 11940 (xsolve) R 11939 11668 9359 0 -1 4194304 2999 0 0 0 109598 3 0 0 25 0 1 0 1010805822 15147008 2963 996147200 134512640 135239763 4294955952 18446744073709551615 134842488 0 4 0 0 0 0 0 17 1 0 0
/proc/11940/statm: 3698 2963 409 177 0 2601 0
[pid=11676/tid=11677] ppid=11668 vsize=197760 CPUtime=671.62
/proc/11676/task/11677/stat : 11677 (java) S 11668 11668 9359 0 -1 64 4063 24275 1 1 479 8 66619 56 16 0 10 0 1010738444 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11676/tid=11678] ppid=11668 vsize=197760 CPUtime=667.9
/proc/11676/task/11678/stat : 11678 (java) S 11668 11668 9359 0 -1 64 8578 24275 0 1 104 11 66619 56 16 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11676/tid=11679] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11679/stat : 11679 (java) S 11668 11668 9359 0 -1 64 11 24275 0 1 0 0 66619 56 16 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11680] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11680/stat : 11680 (java) S 11668 11668 9359 0 -1 64 6 24275 0 1 0 0 66619 56 15 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11681] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11681/stat : 11681 (java) S 11668 11668 9359 0 -1 64 1 24275 0 1 0 0 66619 56 18 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11682] ppid=11668 vsize=197760 CPUtime=666.99
/proc/11676/task/11682/stat : 11682 (java) S 11668 11668 9359 0 -1 64 698 24275 0 1 24 0 66619 56 16 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11676/tid=11683] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11683/stat : 11683 (java) S 11668 11668 9359 0 -1 64 0 24275 0 1 0 0 66619 56 19 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11684] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11684/stat : 11684 (java) S 11668 11668 9359 0 -1 64 34 24275 0 1 0 0 66619 56 15 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11938] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11938/stat : 11938 (java) S 11668 11668 9359 0 -1 64 49 24275 0 1 0 0 66619 56 17 0 10 0 1010805821 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1771.11
Current children cumulated vsize (KiB) 223268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 11940
/proc/meminfo: memFree=1603432/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=2.06
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 375 3591 0 0 0 0 204 2 18 0 1 0 1010738233 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 238 196 169 0 51 0
[pid=11676] ppid=11668 vsize=197760 CPUtime=673.04
/proc/11676/stat : 11676 (java) S 11668 11668 9359 0 -1 0 14226 24275 1 1 608 21 66619 56 18 0 10 0 1010738442 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11676/statm: 49440 9568 2545 9 0 44022 0
[pid=11939] ppid=11676 vsize=5356 CPUtime=0
/proc/11939/stat : 11939 (mistral) S 11676 11668 9359 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1010805821 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11939/statm: 1339 236 196 169 0 50 0
[pid=11940] ppid=11939 vsize=14792 CPUtime=1124.94
/proc/11940/stat : 11940 (xsolve) R 11939 11668 9359 0 -1 4194304 2999 0 0 0 112491 3 0 0 25 0 1 0 1010805822 15147008 2963 996147200 134512640 135239763 4294955952 18446744073709551615 135097610 0 4 0 0 0 0 0 17 1 0 0
/proc/11940/statm: 3698 2963 409 177 0 2601 0
[pid=11676/tid=11677] ppid=11668 vsize=197760 CPUtime=671.62
/proc/11676/task/11677/stat : 11677 (java) S 11668 11668 9359 0 -1 64 4063 24275 1 1 479 8 66619 56 16 0 10 0 1010738444 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11676/tid=11678] ppid=11668 vsize=197760 CPUtime=667.9
/proc/11676/task/11678/stat : 11678 (java) S 11668 11668 9359 0 -1 64 8578 24275 0 1 104 11 66619 56 16 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11676/tid=11679] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11679/stat : 11679 (java) S 11668 11668 9359 0 -1 64 11 24275 0 1 0 0 66619 56 16 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11680] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11680/stat : 11680 (java) S 11668 11668 9359 0 -1 64 6 24275 0 1 0 0 66619 56 15 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11681] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11681/stat : 11681 (java) S 11668 11668 9359 0 -1 64 1 24275 0 1 0 0 66619 56 18 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11682] ppid=11668 vsize=197760 CPUtime=666.99
/proc/11676/task/11682/stat : 11682 (java) S 11668 11668 9359 0 -1 64 698 24275 0 1 24 0 66619 56 16 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11676/tid=11683] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11683/stat : 11683 (java) S 11668 11668 9359 0 -1 64 0 24275 0 1 0 0 66619 56 19 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11684] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11684/stat : 11684 (java) S 11668 11668 9359 0 -1 64 34 24275 0 1 0 0 66619 56 15 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11938] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11938/stat : 11938 (java) S 11668 11668 9359 0 -1 64 49 24275 0 1 0 0 66619 56 17 0 10 0 1010805821 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 223268

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1811.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 11940
/proc/meminfo: memFree=1603432/2055920 swapFree=4180884/4192956
[pid=11668] ppid=11666 vsize=5360 CPUtime=2.06
/proc/11668/stat : 11668 (hydra) S 11666 11668 9359 0 -1 4194304 375 3591 0 0 0 0 204 2 18 0 1 0 1010738233 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11668/statm: 1340 238 196 169 0 51 0
[pid=11676] ppid=11668 vsize=197760 CPUtime=673.04
/proc/11676/stat : 11676 (java) S 11668 11668 9359 0 -1 0 14226 24275 1 1 608 21 66619 56 18 0 10 0 1010738442 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11676/statm: 49440 9568 2545 9 0 44022 0
[pid=11939] ppid=11676 vsize=5356 CPUtime=0
/proc/11939/stat : 11939 (mistral) S 11676 11668 9359 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1010805821 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11939/statm: 1339 236 196 169 0 50 0
[pid=11940] ppid=11939 vsize=14792 CPUtime=1124.94
/proc/11940/stat : 11940 (xsolve) R 11939 11668 9359 0 -1 4194304 2999 0 0 0 112491 3 0 0 25 0 1 0 1010805822 15147008 2963 996147200 134512640 135239763 4294955952 18446744073709551615 135097610 0 4 0 0 0 0 0 17 1 0 0
/proc/11940/statm: 3698 2963 409 177 0 2601 0
[pid=11676/tid=11677] ppid=11668 vsize=197760 CPUtime=671.62
/proc/11676/task/11677/stat : 11677 (java) S 11668 11668 9359 0 -1 64 4063 24275 1 1 479 8 66619 56 16 0 10 0 1010738444 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11676/tid=11678] ppid=11668 vsize=197760 CPUtime=667.9
/proc/11676/task/11678/stat : 11678 (java) S 11668 11668 9359 0 -1 64 8578 24275 0 1 104 11 66619 56 16 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11676/tid=11679] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11679/stat : 11679 (java) S 11668 11668 9359 0 -1 64 11 24275 0 1 0 0 66619 56 16 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11680] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11680/stat : 11680 (java) S 11668 11668 9359 0 -1 64 6 24275 0 1 0 0 66619 56 15 0 10 0 1010738445 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11681] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11681/stat : 11681 (java) S 11668 11668 9359 0 -1 64 1 24275 0 1 0 0 66619 56 18 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11682] ppid=11668 vsize=197760 CPUtime=666.99
/proc/11676/task/11682/stat : 11682 (java) S 11668 11668 9359 0 -1 64 698 24275 0 1 24 0 66619 56 16 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11676/tid=11683] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11683/stat : 11683 (java) S 11668 11668 9359 0 -1 64 0 24275 0 1 0 0 66619 56 19 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11684] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11684/stat : 11684 (java) S 11668 11668 9359 0 -1 64 34 24275 0 1 0 0 66619 56 15 0 10 0 1010738449 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11676/tid=11938] ppid=11668 vsize=197760 CPUtime=666.75
/proc/11676/task/11938/stat : 11938 (java) S 11668 11668 9359 0 -1 64 49 24275 0 1 0 0 66619 56 17 0 10 0 1010805821 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 223268

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11668 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=43689
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=27995
# CPU time returned by wait4() is 2.07168
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1811.53
CPU time (s): 1800.04
CPU user time (s): 1799.22
CPU system time (s): 0.82
CPU usage (%): 99.3658
Max. virtual memory (cumulated for all children) (KiB): 871036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.04369
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 57

runsolver used 3.58345 second user time and 11.4833 second system time

The end

Launcher Data (download as text)

Begin job on node2 at 2008-07-05 15:08:56
IDJOB=1091873
IDBENCH=58581
IDSOLVER=366
FILE ID=node2/1091873-1215263336
PBS_JOBID= 7882018
Free space on /tmp= 66508 MiB

SOLVER NAME= cpHydra k_40
BENCH NAME= CPAI08/csp/bibdVariousK/normalized-bibd-15-75-40-8-20_glb.xml
COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1091873-1215263336/watcher-1091873-1215263336 -o /tmp/evaluation-result-1091873-1215263336/solver-1091873-1215263336 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/cpHydra_k_40/hydra HOME/instance-1091873-1215263336.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= f7470a8c664894812a78068eb633ff7c
RANDOM SEED=682670424

node2.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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1730320 kB
Buffers:         27468 kB
Cached:         212784 kB
SwapCached:       5908 kB
Active:         196692 kB
Inactive:        71096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1730320 kB
SwapTotal:     4192956 kB
SwapFree:      4180884 kB
Dirty:           25844 kB
Writeback:           0 kB
Mapped:          35316 kB
Slab:            42788 kB
Committed_AS:  1740240 kB
PageTables:       1964 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264992 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66480 MiB
End job on node2 at 2008-07-05 15:39:10