Trace number 1087590

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_10SAT 120.927 121.89

DiagnosticValue
ASSIGNMENTS2000
CHECKS17345800

General information on the benchmark

Namecsp/fapp/fapp36/
normalized-fapp36-2000-10.xml
MD5SUMd5e3aabb8926151d3fb7baec2a204317
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark37.0944
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints18600
Maximum constraint arity2
Maximum domain size454
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_10 version 0.0
86.06/86.97	c CASE TO CLASSIFY:
86.06/86.97	c Case: 0
86.06/86.97	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >  14.631900 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.183000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.06/86.98	c choco : 1801.0
86.06/86.98	c mistral : 1801.0
86.06/86.98	c abscon : 1801.0
86.06/86.98	c
86.06/86.98	c
86.35/87.24	c List of same ones: 12
86.35/87.24	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
86.35/87.24	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >  10.695200 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.315100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.35/87.25	c choco : 1801.0
86.35/87.25	c mistral : 1800.04
86.35/87.25	c abscon : 331.113
86.35/87.25	c
86.35/87.25	c
86.35/87.25	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
86.35/87.25	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >  10.502800 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.315100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.35/87.26	c choco : 1801.0
86.35/87.26	c mistral : 1800.09
86.35/87.26	c abscon : 506.936
86.35/87.26	c
86.35/87.26	c
86.35/87.26	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
86.35/87.26	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.703900 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.183000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.35/87.27	c choco : 1801.0
86.35/87.27	c mistral : 1800.02
86.35/87.27	c abscon : 20.4989
86.35/87.27	c
86.35/87.27	c
86.35/87.27	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
86.35/87.27	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.703900 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.183000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.35/87.28	c choco : 1801.0
86.35/87.28	c mistral : 1800.04
86.35/87.28	c abscon : 18.3632
86.35/87.28	c
86.35/87.28	c
86.35/87.28	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-5.xml
86.35/87.28	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.682990 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.183000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.35/87.29	c choco : 1801.0
86.35/87.29	c mistral : 44.9202
86.35/87.29	c abscon : 8.17176
86.35/87.29	c
86.35/87.29	c
86.35/87.29	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-8.xml
86.35/87.29	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.682990 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.183000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.43/87.30	c choco : 1801.0
86.43/87.30	c mistral : 1800.06
86.43/87.30	c abscon : 19.3081
86.43/87.30	c
86.43/87.30	c
86.43/87.30	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
86.43/87.30	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >  10.630300 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.43/87.30	c choco : 1801.0
86.43/87.30	c mistral : 228.6
86.43/87.30	c abscon : 55.2496
86.43/87.31	c
86.43/87.31	c
86.43/87.31	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-1.xml
86.43/87.31	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.672430 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.183000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.43/87.31	c choco : 1801.0
86.43/87.31	c mistral : 91.75
86.43/87.31	c abscon : 7.97579
86.43/87.31	c
86.43/87.31	c
86.43/87.31	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-9.xml
86.43/87.31	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.665340 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.183000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.43/87.32	c choco : 1801.0
86.43/87.32	c mistral : 1800.05
86.43/87.32	c abscon : 19.2911
86.43/87.32	c
86.43/87.32	c
86.43/87.32	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-2.xml
86.43/87.32	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.661780 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.183000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.43/87.33	c choco : 1801.0
86.43/87.33	c mistral : 93.34
86.43/87.33	c abscon : 7.92479
86.43/87.33	c
86.43/87.33	c
86.43/87.33	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-3.xml
86.43/87.33	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.661780 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.183000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.43/87.34	c choco : 1801.0
86.43/87.34	c mistral : 108.08
86.43/87.34	c abscon : 8.13076
86.43/87.34	c
86.43/87.34	c
86.43/87.34	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-6.xml
86.43/87.34	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.661780 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.183000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
86.43/87.36	c choco : 1801.0
86.43/87.36	c mistral : 41.0328
86.43/87.36	c abscon : 8.14076
86.43/87.36	c
86.43/87.36	c
86.43/87.36	c Length: 12
86.43/87.36	c 5.5386326567484145  5.6769984698254055  5.927999999999999  5.927999999999999  5.94891  5.94891  5.949794801507781  5.95947  5.966559999999999  5.97012  5.97012  5.97012  
86.43/87.36	c 
86.43/87.36	c 1.0  0.7571904067910269  0.5256561853715127  0.5256561853715127  0.5125985327848034  0.5125985327848034  0.5120602924355866  0.5062476191107956  0.502071177078952  0.5  0.5  0.5  
86.43/87.36	c
86.43/87.36	c solver 0
86.43/87.36	c	  before 0.0 seconds: {} 0
86.43/87.36	c	  before 18.0 seconds: {4, 7, 9, 10, 11} 2518
86.43/87.37	c	  before 36.0 seconds: {2, 3, 4, 5, 7, 8, 9, 10, 11} 4584
86.43/87.37	c	  before 72.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 5096
86.43/87.37	c	  before 342.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6096
86.43/87.37	c	  before 522.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6854
86.43/87.37	c
86.43/87.37	c solver 1
86.43/87.37	c	  before 0.0 seconds: {} 0
86.43/87.37	c	  before 54.0 seconds: {4, 11} 1012
86.43/87.37	c	  before 108.0 seconds: {4, 7, 9, 11} 2018
86.43/87.37	c	  before 126.0 seconds: {4, 7, 9, 10, 11} 2518
86.43/87.37	c	  before 234.0 seconds: {4, 6, 7, 9, 10, 11} 3030
86.43/87.37	c
86.43/87.37	c solver 2
86.43/87.37	c	  before 0.0 seconds: {} 0
86.43/87.37	c
86.43/87.37	cTotal time: 42
86.43/87.37	c 756.0 seconds unused
86.43/87.37	c 0 c 6 c 12 
86.43/87.37	c 0 c 0 c 6 
86.43/87.37	c 0 c 0 c 0 
86.43/87.37	c is solver0 dominated by:
86.43/87.37	c	solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
86.43/87.37	c	solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
86.43/87.37	c is dominated? false
86.43/87.37	c
86.43/87.37	c is solver1 dominated by:
86.43/87.37	c	solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
86.43/87.37	c is dominated? true
86.43/87.37	c
86.43/87.37	c is solver2 dominated by:
86.43/87.37	c	solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
86.43/87.37	c is dominated? true
86.43/87.37	c
86.43/87.37	c Number of non-dominated solvers: 1
86.43/87.37	c remove dominated solvers
86.43/87.37	c solver 0 is not dominated by another solver
86.43/87.37	c solver 2 is dominated by another solver
86.43/87.37	c solver 1 is dominated by another solver
86.43/87.37	c
86.43/87.37	c solver 0: 522.0
86.43/87.37	c
86.43/87.37	c+ 29/29 of 71
86.43/87.37	c
86.43/87.37	c solver 1: 0.0
86.43/87.37	c
86.43/87.37	c solver 2: 0.0
86.43/87.37	c	  run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} 6854
86.43/87.37	c	 do not run mistral
86.43/87.37	c	 do not run choco
86.43/87.37	c Starting solver: HOME/cpHydra_k_10/solver/abscon
86.43/87.37	c On Instance: HOME/instance-1087590-1215244841.xml
86.43/87.37	c Running for: 1800 seconds
120.85/121.84	s SAT
120.85/121.84	v  -2194 -2518 -2454 -2894 -2694 2686 2270 2514 2538 -2658 2082 -2246 -2542 2642 2854 2758 2254 2202 -2030 -2894 2854 2442 2826 2498 -2390 -2274 -1990 1990 2546 -2382 2050 1990 2562 2606 -2894 -2806 2710 -2818 -2770 -2150 -2854 2766 2038 -2838 -2854 -2894 2574 -2578 -2686 2758 -2314 -2770 2474 -2034 -2562 -2518 -2854 2686 -2854 2654 -2730 -2150 -2238 -2030 -2382 -2098 2210 2458 -2482 -2642 -1990 2754 -2826 -2810 -2842 -2622 2642 -2266 -2422 -2070 2502 2386 2214 -2678 -2590 -2894 -2722 -2266 2714 -2338 -2110 -2818 -2166 -2778 1990 -2578 -2030 2766 -2442 2206 -2706 2266 -2486 -2722 -2582 -2610 -2018 -2742 2366 2838 -2222 2638 -2306 2414 -2530 2030 2518 -2290 2830 -2010 2810 -2894 2702 -2830 -2602 -2146 -2130 2078 2102 -2834 -2070 2518 -2646 -2478 2242 -2650 -2326 -2286 2854 -2274 -2650 -2718 -2194 -2502 2854 -2854 -2606 -2374 2270 -2314 -2462 -2818 -2534 -2894 2790 2194 -2174 2522 -2750 -2606 -2278 2650 -2474 -2634 -2030 -2854 -2594 -2518 -2702 -2146 2742 2666 -2386 -2562 2826 -2442 -2154 2406 -2834 2582 -2834 -2482 -2774 -2830 -2498 -2030 -2894 -2542 2446 2730 -2282 -2374 -2358 -1990 2450 -2174 -2190 -2762 -2294 -2122 -2266 -2118 -2486 2370 2726 -2262 -1998 -2434 2894 -2414 -2774 -2098 -2342 -2750 -2798 -2658 2722 2510 2382 -2622 -2894 -2618 -2190 -2522 -2394 -2278 -2854 -2378 -2738 2462 -2778 2838 2738 2286 -2714 -2790 -2490 -2374 -2746 2138 -2706 2030 2014 -2230 -2030 -2894 -2706 -2582 -2322 -2258 2458 -2030 -2518 -2578 2258 -2030 2386 2654 -2698 2178 -2418 -2854 2806 -2334 -2870 2270 2870 -2374 -2294 -1990 -2838 -2618 -2894 2766 -2626 1990 -2786 -2894 -2674 -2454 -2562 -2682 -2586 -2474 2034 2894 -1994 -2098 2342 -2314 -2494 2678 -2414 -2586 -2282 2262 -2602 -2786 -2190 -2846 -2814 -2566 -2258 -2754 2590 2242 -2074 -2482 -2646 -2646 2586 -2230 -2142 -2530 2142 -2426 -2894 -2894 -2718 1990 1990 -2882 -2894 -2710 -2786 -2474 2786 -2854 2622 -2862 -2486 -2582 -2558 2398 -2534 2478 -2582 2162 -2678 1990 -2402 -2446 -2362 -2334 -2010 2454 2834 -2042 -2742 -2378 -2030 -2614 2226 -2430 -2258 -2594 -2198 2030 -2854 -2230 -2854 2162 2030 -2650 -2010 -2726 -2046 2142 -2346 -2718 -2806 -2078 -2038 -2454 -2454 2606 -1990 2562 2414 -2586 -2374 2030 2766 2338 -1990 2014 2670 -2854 -2774 -2394 -2674 -2166 2842 2238 -2854 -2434 -2070 -2550 -2310 2714 -2882 2826 -2238 2266 2306 -2854 2242 -2002 -2434 2306 -2006 -2298 -2750 -2634 2650 -2174 2854 -2282 2882 -2378 2402 -2330 -2090 -2346 -2742 -2854 -2014 -2682 -2330 -2794 -2478 -2518 -2218 2230 -2538 2882 2166 2826 -2854 -2254 -2522 2254 2474 -2562 2854 -2450 2178 2758 -2546 2678 -2078 1990 -2254 2830 -2290 -2602 -2418 2514 -2594 -2182 -2318 -2062 -2710 -2438 -2822 -2530 -2894 2230 -2330 -2202 -2382 2306 2178 -2842 2030 -2334 2226 -2554 -2422 -2626 2490 -2030 -2542 -2358 -2826 -2534 -2482 -2230 -2358 2422 -2706 1990 -2314 -2658 -2014 -2758 -2474 -2854 2606 -2458 -2154 2798 2746 2738 -2462 -2854 2578 -2102 -2894 2858 1990 -2102 -2686 -2090 2774 -2854 -2794 2698 -2362 -2626 2826 -2394 -2030 -2466 -2854 -2514 -2790 -2270 -2666 -2882 -2618 -2510 -2426 -2706 -2110 -1990 2666 -2622 -2642 -2134 -2030 -2794 -2226 2482 -2030 -1990 -2206 -2662 -2614 2790 -2282 2866 -2886 -2250 -2674 -2398 2430 -2586 -2470 -2114 -2010 -2398 1990 -2090 2250 2254 2442 -1990 -2890 2626 -2822 -2374 -2610 2122 -2714 2038 -2314 -2726 -2190 2550 -2710 -2842 -1990 2846 -2362 -2894 -2798 -2066 2158 -2702 -2742 -2478 2358 -2530 -2062 -2714 -2058 -2782 2334 -2246 2494 -2654 -2798 1990 -2098 -2882 -2286 -2130 -2190 -2730 -2834 2658 -1990 -2354 -2730 -2186 2850 -2082 -2894 -2030 -2582 2702 -2702 2022 -1994 2886 -2894 -2350 2706 -1990 -2274 -2078 -2858 -2110 2162 2490 -2486 2726 -2894 -2218 2558 -2182 -2054 -2438 -2190 -2778 2618 -2854 -2710 2650 2870 -2494 -2242 -2394 2774 -2854 2498 -2682 2634 2786 -2658 -2750 -2602 -2290 -2478 2438 -2630 -2854 -2426 -2566 2518 -2754 2434 2362 -2602 -2674 -2126 -2662 -2870 -2390 -2414 -2894 2806 2818 -2078 -2226 -2358 -2878 -2894 -2382 -2246 -2878 -2414 -2602 -2226 2070 -2238 2422 -2722 -2626 -2014 2506 2438 2742 2526 -2618 2678 -2218 -2562 2662 2406 -2854 -2030 -2342 2694 -2882 -2054 2690 -2214 -2690 -2546 2706 -2142 2358 -2202 -2318 -2342 -2602 -2654 2814 -2050 2666 2346 -2154 -2322 -2490 -2562 -2394 -2466 -2438 2562 2178 -2478 2626 2086 2538 -2674 -2430 -2806 2434 -2206 -2090 2530 -2534 -2018 -2030 -2894 -2662 2302 -2794 -2854 -2138 -2682 -2478 2446 -2194 -2506 -2590 -2490 -2030 -2798 -2746 -2586 2134 2810 -2182 1994 -2422 2646 -2374 2126 -2218 2250 -2390 -2218 -2606 2462 -2494 -2030 -2766 -2654 -2882 -2618 2030 -2586 2806 2674 -2518 2814 2810 -1990 2606 2034 -2646 -2222 2158 -2462 -2654 -2030 -2174 -2854 -2334 2322 -2522 2518 -2514 -2394 2030 -2558 -2638 -2198 -2366 2038 -2034 2334 2818 2702 -2030 -2226 -2774 -2542 -2046 -2374 -2546 -2126 -2750 -2802 -2490 -1990 -2078 -2842 -2142 2374 2546 -2190 2814 2030 2314 -2834 -2638 2478 -1990 -2490 -2774 1990 1990 -2058 2830 -2130 -2462 -2474 2646 -2338 2434 -2426 -2154 -2586 -2894 2646 -2894 2538 -2374 -2690 -2786 -2642 -2126 -2478 2154 -2702 -2894 -2222 -2398 -2330 -2294 -2462 -2754 -2794 -2442 -2186 -2566 -2822 -2038 2030 -2262 -2642 2638 -2602 -2354 -2658 -2482 -2826 2798 -1998 2518 -2746 2498 2758 2682 -2826 2434 -2474 2702 -2798 -2854 -2578 -2490 -2202 -2710 2566 2162 -2090 2854 -2798 -2406 2510 -2574 2278 -2854 -2030 -2494 -2214 -2098 -2894 -2842 -2310 -2290 2526 -2894 -2470 -2198 -2122 -2274 2330 2726 -2042 2034 -2790 -2542 2774 2350 -2602 2662 2462 -2014 -2546 -2210 -2350 -2854 2794 -2814 2606 -2318 -2758 -2770 2370 -2854 -2410 2626 -2854 -2418 -2406 -2054 -2410 -2718 -2602 -2674 -2794 -2302 -2458 -2030 2374 2574 -2278 -2422 -2698 -2158 -2826 2686 -2414 2030 -2186 -2302 -2854 -2038 -2738 -2354 -2522 -2598 -2558 -2706 -2874 -2530 2798 -2814 2162 2482 -2554 2566 -2054 -2046 2030 -2414 2310 -2458 -1994 -2426 -2702 -2386 -2654 -2154 -2386 -2418 -2578 -2494 1990 -2442 2030 2722 2578 -2034 2606 2682 -2798 -2342 2370 -2226 2854 2230 2662 2378 -2818 -2118 -2802 2562 -2438 -2466 -2622 2058 -2270 -2662 -2178 -2838 2378 -2598 2702 -2474 2526 -2022 -2638 -2106 -2850 -2602 2446 -2894 -2894 2534 2546 2718 -2550 -2210 -2374 -2186 -2050 1990 -2746 2758 2686 -2106 2750 -2014 -2302 2226 -2814 2226 -2158 -2070 2634 2794 -2306 -2846 2534 -2398 -2362 -2854 -2894 -2750 -2246 -2474 -2826 2854 -2834 -2634 -2014 -2866 -2334 -2366 -2078 2430 -2746 2470 -2018 -2770 -1990 2862 -2742 -2330 -2842 2002 -2854 2290 -2802 2210 2566 2526 -2366 2786 2762 -2798 -2894 -2562 -2206 -2854 -2126 -2882 2798 -2426 -2614 -2370 -2746 -2642 -2758 2386 -2126 -2894 -1998 1990 -2562 -2082 -2706 -2282 -2030 2150 -2182 2290 2326 -2362 -2422 -2166 -2894 -1998 -1990 2250 2062 2178 2514 2718 2594 -1990 -2490 2582 -2030 2806 -2538 -2174 2462 2126 -2366 -2586 -2202 2830 -2242 -2662 -2290 -2030 -2574 2770 -2098 -2894 2382 -2678 -2882 2894 -2498 -2438 2814 2522 -2626 -2534 -2374 2838 2218 -2226 -2154 -2534 -2854 -2690 2206 -2602 -2622 2670 -2538 -2726 2546 -2734 2038 -2490 -2514 2514 2470 2614 -2198 -2242 -2826 -2842 -2786 -2686 -2894 2010 2442 2378 2374 2318 2842 -2390 -2486 -2502 -2286 -2090 -2710 -2522 -2490 2058 -2858 2690 2226 -2526 -2570 -2882 -2606 -2610 -2078 -2478 -2414 2730 2210 -2538 -2490 -2506 -2734 -2694 -2446 -2130 -2642 2326 2586 -2214 -2894 -2030 -2558 -2054 -2498 -2350 -2042 -2422 -2474 -2834 2846 2166 -2086 2746 -2370 2306 -2894 2374 -2282 -2794 -2854 -2854 -2306 -2674 -2414 -2402 -2042 -2274 2770 -2118 2310 -2690 -2702 -2894 -2666 -2534 -2374 2250 -2854 -2310 2658 -2314 2466 2838 2346 -2566 -2166 2322 -2550 -2266 -2058 -2738 -2518 -2322 -2190 -2374 -2242 2754 2802 -2230 -2690 -2854 2690 -2650 2894 2894 2714 -2334 -2106 -2134 -2450 2122 -2586 -2610 2894 -2322 2150 2222 2454 2326 -2826 -2842 -2062 1990 -2734 2750 2730 -2342 2486 -2178 2678 -2538 -1990 2854 2798 -2354 -2474 -2786 -2574 2794 -2222 2434 2254 -2466 -2578 -2558 2202 -2118 -2782 -2574 2134 2486 -2670 2490 2626 -2090 -2818 -2186 -2750 -2118 2454 2038 -2690 -2426 2050 -2546 -1990 -2742 -2210 -2194 -2854 2430 -2666 -2030 2118 -2646 -2266 2762 -2518 -2854 -2178 -2854 2602 -2894 2694 2502 2586 -2894 -2562 -2274 -2334 2030 -2506 -2218 2630 -2698 -2662 -2130 2538 2410 1998 2126 -2354 -2498 -2622 -2782 2226 -2294 -2374 -2406 -2750 -2266 2630 2082 -2562 -1990 2674 2554 -1990 2274 2302 -2094 2074 -2362 -2186 -2570 -2794 2498 -2458 2414 -2230 -2334 -2678 -2422 -2546 -2846 -2042 2830 -2794 -2030 2534 -2342 -2510 2002 -2318 -2706 -2290 -2642 -2854 -2450 2450 2346 2458 2662 -2398 2530 -2894 -2054 2498 -2854 -2278 -2542 -2182 -2078 -2182 -2374 2846 -2834 -2730 -2186 2670 2310 -2702 -2882 -2726 -2218 1998 -2894 2838 -2194 -2410 -2550 -2770 -2618 2326 2506 -2854 -2786 2846 -2030 -2834 -2490 2542 -2454 -2034 -2366 2858 2402 -2426 -2662 2006 -2854 -1990 -2218 -2442 -2482 -2598 -2430 2446 2654 2414 2578 2854 -2314 -2606 -2894 -2806 2166 -2590 1990 -2314 -2166 -2746 -2550 1990 -2294 -2350 -2806 -2854 -2334 -2442 2710 2730 -2094 2498 -2190 -2742 2294 -2414 -2486 2446 -2894 2494 -2682 -2238 -2382 -2894 -2046 -2530 -2710 -2106 -2642 -2770 -2014 -2746 -2750 -2282 -2274 -2386 -2318 -2070 -2714 -2894 -2118 -2582 2814 -2330 2090 2702 -2894 2518 2342 -2050 -2566 2078 -2314 -2138 -2350 -2746 -2470 -2074 -2206 -2054 -2510 -2338 -2014 1990 -2226 2578 -2102 2438 -2166 2146 -2882 -2230 -2458 2866 2650 -2166 -2894 2030 2842 -2054 2478 -2070 -2618 2050 -2638 -2758 -2806 2758 -2578 -2354 -2566 -2546 -2162 -2394 -2754 -2186 -2706 -2630 -2698 2606 -2542 -2354 2030 -1990 2358 -2622 -2882 2870 -2790 -2402 2394 -2082 -2818 -2602 -1990 -2030 2634 -2030 -2414 -2378 -2578 -2054 -2130 -2242 2322 2618 -2462 2786 -2494 2170 2842 2522 2354 2434 -2030 -2638 -2742 -2426 -2894 -2870 -2894 -2030 2778 2854 -2614 2642 2446 -2778 2418 2522 -2090 2582 -2158 -2618 -2334 -2546 -2802 -2494 -2750 -2802 -2734 -2466 -2558 -2854 2290 -2330 2286 -2802 -2586 -2854 2706 -2058 -2514 2466 2262 -2682 2114 2038 -2342 -2234 2646 2842 2102 2854 -2810 2714 2030 2894 -2042 -2170 -2534 -2846 -2466 -2470 2314 -2710 -2286 -2842 -2854 -2590 2790 -2834 -2854 -2202 2402 -2842 -2142 -2746 -2674 2754 -2030 -2174 -2470 2050 -2330 -2586 -2334 -2058 -2418 -2374 -2274 -2398 -2478 2282 2874 -2530 -2542 2866 2414 -2766 -2646 2658 -1990 -1990 -2894 2558 -2062 2678 -2066 -2282 -2350 -2406 2110 -2894 2034 2310 -2734 -1990 -1998 2010 -2214 2374 -2506 -2346 -2354 2390 -2294 -2214 2478 -2778 -2550 -2802 2618 -2854 -2278 -2294 -2854 2354 -2350 2254 -2750 -2878 2466 -2406 -2826 2854 -2514 -2030 -2698 2422 2758 2738 -2570 -1990 -2662 -2774 -2414 -2702 -1990 -2050 2474 2038 -2574 2474 -2826 2762 -2766 -2482 -2366 2022 -2438 -2662 -2854 2894 2590 2386 -2302 -2786 -2518 2170 1990 2678 2862 2650 2278 -2682 2350 -2606 -2478 -2030 -2518 -2582 -2766 -2438 -2098 -1990 2766 1994 -2474 -2854 2266 -2378 -2058 2110 -2282 -2054 -2250 -2346 1994 -2714 2146 2398 2558 -2786 -2338 -2054 -2646 -2522 -2830 -2426 -2058 2602 2690 -2714 2590 2398 2030 2858 2250 -2650 2538 -2834 -2530 -2842 -2690 2030 -2770 2050 2530 2682 -2326 2042 2702 -2894 -2282 -2718 -2322 -2894 2578 -2758 -2698 -2414 2846 -2666 -2690 2038 -2842 -2550 -2314 -2482 -2614 -2270 -2894 -2062 -2462 -2802 -2482 -2030 -2054 2838 -2762 -2506 -2530 -2730 2194 -2590 2082 -2582 -2014 2618 2254 -2038 2394 2830 -2774 2626 -2746 2226 -2294 -2582 -2246 -2558 -2478 -2798 2390 -2886 2550 -2106 -2498 -2030 2794 -2462 2322 -2322 -2786 -2894 -2562 -2266 -2006 -2842 2682 -2050 2278 -1990 -2574 2146 -2806 -2374 2422 -2266 2458 
120.85/121.84	d ASSIGNMENTS 2000
120.85/121.84	d CHECKS 17345796

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

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


[startup+0 s]
/proc/loadavg: 1.91 1.96 1.90 4/80 17562
/proc/meminfo: memFree=1381336/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) R 17560 17562 17457 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 647421293 5488640 232 996147200 4194304 4889804 548682068816 18446744073709551615 226913319770 0 0 4100 65536 0 0 0 17 1 0 0
/proc/17562/statm: 1340 232 193 169 0 51 0

[startup+0.0404879 s]
/proc/loadavg: 1.91 1.96 1.90 4/80 17562
/proc/meminfo: memFree=1381336/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101496 s]
/proc/loadavg: 1.91 1.96 1.90 4/80 17562
/proc/meminfo: memFree=1381336/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301535 s]
/proc/loadavg: 1.91 1.96 1.90 4/80 17562
/proc/meminfo: memFree=1381336/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701611 s]
/proc/loadavg: 1.91 1.96 1.90 4/80 17562
/proc/meminfo: memFree=1381336/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50176 s]
/proc/loadavg: 1.91 1.96 1.90 3/82 17566
/proc/meminfo: memFree=1336072/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=1.46
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11719 0 0 0 141 5 0 0 25 0 1 0 647421294 75104256 11612 996147200 134512640 135239763 4294956176 18446744073709551615 134532192 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11612 416 177 0 17239 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 78704

[startup+3.10107 s]
/proc/loadavg: 1.91 1.96 1.90 3/82 17566
/proc/meminfo: memFree=1334984/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=3.04
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11719 0 0 0 298 6 0 0 25 0 1 0 647421294 75104256 11612 996147200 134512640 135239763 4294956176 18446744073709551615 134543147 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11612 416 177 0 17239 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 78704

[startup+6.30168 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 17566
/proc/meminfo: memFree=1335944/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=6.22
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11720 0 0 0 615 7 0 0 25 0 1 0 647421294 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 135096889 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 78704

[startup+12.7019 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 17566
/proc/meminfo: memFree=1336072/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=12.55
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11720 0 0 0 1248 7 0 0 25 0 1 0 647421294 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134541399 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 78704

[startup+25.5014 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 17572
/proc/meminfo: memFree=1336392/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=25.22
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11720 0 0 0 2515 7 0 0 25 0 1 0 647421294 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134538497 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 78704

[startup+51.1013 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 17572
/proc/meminfo: memFree=1336264/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=0
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647421293 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 236 195 169 0 51 0
[pid=17566] ppid=17562 vsize=73344 CPUtime=50.58
/proc/17566/stat : 17566 (xsolve) R 17562 17562 17457 0 -1 4194304 11720 0 0 0 5051 7 0 0 25 0 1 0 647421294 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/17566/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 78704

[startup+102.307 s]
/proc/loadavg: 2.06 1.99 1.91 3/102 17596
/proc/meminfo: memFree=1274536/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=80.37
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 375 12326 0 0 0 0 8028 9 18 0 1 0 647421293 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 238 196 169 0 51 0
[pid=17576] ppid=17562 vsize=197432 CPUtime=6.12
/proc/17576/stat : 17576 (java) S 17562 17562 17457 0 -1 0 14000 0 1 0 593 19 0 0 18 0 10 0 647429407 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17576/statm: 49358 9514 2543 9 0 43941 0
[pid=17586] ppid=17576 vsize=5356 CPUtime=0
/proc/17586/stat : 17586 (abscon) S 17576 17562 17457 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 647430031 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17586/statm: 1339 235 194 169 0 50 0
[pid=17587] ppid=17586 vsize=655728 CPUtime=14.9
/proc/17587/stat : 17587 (java) S 17586 17562 17457 0 -1 0 21812 0 1 0 1478 12 0 0 18 0 9 0 647430032 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17587/statm: 163932 21313 2008 9 0 158460 0
[pid=17587/tid=17589] ppid=17586 vsize=655728 CPUtime=14.48
/proc/17587/task/17589/stat : 17589 (java) R 17586 17562 17457 0 -1 64 12453 0 1 0 1440 8 0 0 25 0 9 0 647430032 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4126899169 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17590] ppid=17586 vsize=655728 CPUtime=0.18
/proc/17587/task/17590/stat : 17590 (java) S 17586 17562 17457 0 -1 64 8162 0 0 0 15 3 0 0 16 0 9 0 647430034 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17591] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17591/stat : 17591 (java) S 17586 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647430034 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17592] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17592/stat : 17592 (java) S 17586 17562 17457 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 647430034 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17593] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17593/stat : 17593 (java) S 17586 17562 17457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 647430036 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17594] ppid=17586 vsize=655728 CPUtime=0.22
/proc/17587/task/17594/stat : 17594 (java) S 17586 17562 17457 0 -1 64 652 0 0 0 22 0 0 0 16 0 9 0 647430036 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17595] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17595/stat : 17595 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647430036 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17596] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17596/stat : 17596 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 647430036 671465472 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17588] ppid=17586 vsize=7044 CPUtime=0
/proc/17588/stat : 17588 (translate) S 17586 17562 17457 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 647430032 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17588/statm: 1761 213 182 1 0 41 0
[pid=17576/tid=17577] ppid=17562 vsize=197432 CPUtime=4.77
/proc/17576/task/17577/stat : 17577 (java) S 17562 17562 17457 0 -1 64 3990 0 1 0 472 5 0 0 25 0 10 0 647429408 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17576/tid=17578] ppid=17562 vsize=197432 CPUtime=1.1
/proc/17576/task/17578/stat : 17578 (java) S 17562 17562 17457 0 -1 64 8551 0 0 0 99 11 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17579] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17579/stat : 17579 (java) S 17562 17562 17457 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17580] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17580/stat : 17580 (java) S 17562 17562 17457 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17581] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17581/stat : 17581 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17582] ppid=17562 vsize=197432 CPUtime=0.21
/proc/17576/task/17582/stat : 17582 (java) S 17562 17562 17457 0 -1 64 651 0 0 0 21 0 0 0 16 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17583] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17583/stat : 17583 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17584] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17584/stat : 17584 (java) S 17562 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17585] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17585/stat : 17585 (java) S 17562 17562 17457 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 647430031 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 870920

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

[startup+115.104 s]
/proc/loadavg: 2.05 1.99 1.91 3/102 17596
/proc/meminfo: memFree=1208232/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=80.37
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 375 12326 0 0 0 0 8028 9 18 0 1 0 647421293 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 238 196 169 0 51 0
[pid=17576] ppid=17562 vsize=197432 CPUtime=6.12
/proc/17576/stat : 17576 (java) S 17562 17562 17457 0 -1 0 14000 0 1 0 593 19 0 0 18 0 10 0 647429407 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17576/statm: 49358 9514 2543 9 0 43941 0
[pid=17586] ppid=17576 vsize=5356 CPUtime=0
/proc/17586/stat : 17586 (abscon) S 17576 17562 17457 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 647430031 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17586/statm: 1339 235 194 169 0 50 0
[pid=17587] ppid=17586 vsize=655728 CPUtime=27.7
/proc/17587/stat : 17587 (java) S 17586 17562 17457 0 -1 0 39186 0 1 0 2749 21 0 0 18 0 9 0 647430032 671465472 38468 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17587/statm: 163932 38468 2617 9 0 158460 0

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

[pid=17576/tid=17583] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17583/stat : 17583 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17584] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17584/stat : 17584 (java) S 17562 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17585] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17585/stat : 17585 (java) S 17562 17562 17457 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 647430031 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 119.78
Current children cumulated vsize (KiB) 870920

[startup+121.504 s]
/proc/loadavg: 2.04 1.99 1.91 3/102 17596
/proc/meminfo: memFree=1208104/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=80.37
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 375 12326 0 0 0 0 8028 9 18 0 1 0 647421293 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 238 196 169 0 51 0
[pid=17576] ppid=17562 vsize=197432 CPUtime=6.12
/proc/17576/stat : 17576 (java) S 17562 17562 17457 0 -1 0 14000 0 1 0 593 19 0 0 18 0 10 0 647429407 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17576/statm: 49358 9514 2543 9 0 43941 0
[pid=17586] ppid=17576 vsize=5356 CPUtime=0
/proc/17586/stat : 17586 (abscon) S 17576 17562 17457 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 647430031 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17586/statm: 1339 235 194 169 0 50 0
[pid=17587] ppid=17586 vsize=655728 CPUtime=34.09
/proc/17587/stat : 17587 (java) S 17586 17562 17457 0 -1 0 39200 0 1 0 3388 21 0 0 18 0 9 0 647430032 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17587/statm: 163932 38478 2617 9 0 158460 0
[pid=17587/tid=17589] ppid=17586 vsize=655728 CPUtime=32.78
/proc/17587/task/17589/stat : 17589 (java) R 17586 17562 17457 0 -1 64 12559 0 1 0 3268 10 0 0 25 0 9 0 647430032 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4127366163 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17590] ppid=17586 vsize=655728 CPUtime=0.92
/proc/17587/task/17590/stat : 17590 (java) S 17586 17562 17457 0 -1 64 25344 0 0 0 83 9 0 0 17 0 9 0 647430034 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17591] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17591/stat : 17591 (java) S 17586 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647430034 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17592] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17592/stat : 17592 (java) S 17586 17562 17457 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 647430034 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17593] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17593/stat : 17593 (java) S 17586 17562 17457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 647430036 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17594] ppid=17586 vsize=655728 CPUtime=0.36
/proc/17587/task/17594/stat : 17594 (java) S 17586 17562 17457 0 -1 64 738 0 0 0 36 0 0 0 15 0 9 0 647430036 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17595] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17595/stat : 17595 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647430036 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17596] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17596/stat : 17596 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 647430036 671465472 38478 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17588] ppid=17586 vsize=7044 CPUtime=0
/proc/17588/stat : 17588 (translate) S 17586 17562 17457 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 647430032 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17588/statm: 1761 213 182 1 0 41 0
[pid=17576/tid=17577] ppid=17562 vsize=197432 CPUtime=4.77
/proc/17576/task/17577/stat : 17577 (java) S 17562 17562 17457 0 -1 64 3990 0 1 0 472 5 0 0 25 0 10 0 647429408 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17576/tid=17578] ppid=17562 vsize=197432 CPUtime=1.1
/proc/17576/task/17578/stat : 17578 (java) S 17562 17562 17457 0 -1 64 8551 0 0 0 99 11 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17579] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17579/stat : 17579 (java) S 17562 17562 17457 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17580] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17580/stat : 17580 (java) S 17562 17562 17457 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17581] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17581/stat : 17581 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17582] ppid=17562 vsize=197432 CPUtime=0.21
/proc/17576/task/17582/stat : 17582 (java) S 17562 17562 17457 0 -1 64 651 0 0 0 21 0 0 0 16 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17583] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17583/stat : 17583 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17584] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17584/stat : 17584 (java) S 17562 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17585] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17585/stat : 17585 (java) S 17562 17562 17457 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 647430031 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 120.58
Current children cumulated vsize (KiB) 870920

[startup+121.704 s]
/proc/loadavg: 2.04 1.99 1.91 3/102 17596
/proc/meminfo: memFree=1208104/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=80.37
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 375 12326 0 0 0 0 8028 9 18 0 1 0 647421293 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 238 196 169 0 51 0
[pid=17576] ppid=17562 vsize=197432 CPUtime=6.12
/proc/17576/stat : 17576 (java) S 17562 17562 17457 0 -1 0 14000 0 1 0 593 19 0 0 18 0 10 0 647429407 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17576/statm: 49358 9514 2543 9 0 43941 0
[pid=17586] ppid=17576 vsize=5356 CPUtime=0
/proc/17586/stat : 17586 (abscon) S 17576 17562 17457 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 647430031 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17586/statm: 1339 235 194 169 0 50 0
[pid=17587] ppid=17586 vsize=655728 CPUtime=34.29
/proc/17587/stat : 17587 (java) S 17586 17562 17457 0 -1 0 39212 0 1 0 3408 21 0 0 18 0 9 0 647430032 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17587/statm: 163932 38490 2617 9 0 158460 0
[pid=17587/tid=17589] ppid=17586 vsize=655728 CPUtime=32.96
/proc/17587/task/17589/stat : 17589 (java) R 17586 17562 17457 0 -1 64 12561 0 1 0 3286 10 0 0 25 0 9 0 647430032 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4127417275 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17590] ppid=17586 vsize=655728 CPUtime=0.92
/proc/17587/task/17590/stat : 17590 (java) S 17586 17562 17457 0 -1 64 25344 0 0 0 83 9 0 0 17 0 9 0 647430034 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17591] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17591/stat : 17591 (java) S 17586 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647430034 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17592] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17592/stat : 17592 (java) S 17586 17562 17457 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 647430034 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17593] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17593/stat : 17593 (java) S 17586 17562 17457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 647430036 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17594] ppid=17586 vsize=655728 CPUtime=0.38
/proc/17587/task/17594/stat : 17594 (java) S 17586 17562 17457 0 -1 64 748 0 0 0 38 0 0 0 16 0 9 0 647430036 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17595] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17595/stat : 17595 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647430036 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17596] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17596/stat : 17596 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 647430036 671465472 38490 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17588] ppid=17586 vsize=7044 CPUtime=0
/proc/17588/stat : 17588 (translate) S 17586 17562 17457 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 647430032 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226913648722 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17588/statm: 1761 213 182 1 0 41 0
[pid=17576/tid=17577] ppid=17562 vsize=197432 CPUtime=4.77
/proc/17576/task/17577/stat : 17577 (java) S 17562 17562 17457 0 -1 64 3990 0 1 0 472 5 0 0 25 0 10 0 647429408 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17576/tid=17578] ppid=17562 vsize=197432 CPUtime=1.1
/proc/17576/task/17578/stat : 17578 (java) S 17562 17562 17457 0 -1 64 8551 0 0 0 99 11 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17579] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17579/stat : 17579 (java) S 17562 17562 17457 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17580] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17580/stat : 17580 (java) S 17562 17562 17457 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17581] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17581/stat : 17581 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17582] ppid=17562 vsize=197432 CPUtime=0.21
/proc/17576/task/17582/stat : 17582 (java) S 17562 17562 17457 0 -1 64 651 0 0 0 21 0 0 0 16 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17583] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17583/stat : 17583 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17584] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17584/stat : 17584 (java) S 17562 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17585] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17585/stat : 17585 (java) S 17562 17562 17457 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 647430031 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 120.78
Current children cumulated vsize (KiB) 870920

[startup+121.803 s]
/proc/loadavg: 2.04 1.99 1.91 3/102 17596
/proc/meminfo: memFree=1208104/2055920 swapFree=4180232/4192956
[pid=17562] ppid=17560 vsize=5360 CPUtime=80.37
/proc/17562/stat : 17562 (hydra) S 17560 17562 17457 0 -1 4194304 375 12326 0 0 0 0 8028 9 18 0 1 0 647421293 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17562/statm: 1340 238 196 169 0 51 0
[pid=17576] ppid=17562 vsize=197432 CPUtime=6.12
/proc/17576/stat : 17576 (java) S 17562 17562 17457 0 -1 0 14023 0 1 0 593 19 0 0 18 0 10 0 647429407 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17576/statm: 49358 9514 2543 9 0 43941 0
[pid=17586] ppid=17576 vsize=5356 CPUtime=0
/proc/17586/stat : 17586 (abscon) S 17576 17562 17457 0 -1 4194304 304 291 0 0 0 0 0 0 16 0 1 0 647430031 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 226913477444 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17586/statm: 1339 235 194 169 0 50 0
[pid=17587] ppid=17586 vsize=655728 CPUtime=34.36
/proc/17587/stat : 17587 (java) S 17586 17562 17457 0 -1 0 39216 0 1 0 3415 21 0 0 18 0 9 0 647430032 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17587/statm: 163932 38493 2617 9 0 158460 0
[pid=17587/tid=17589] ppid=17586 vsize=655728 CPUtime=33.02
/proc/17587/task/17589/stat : 17589 (java) S 17586 17562 17457 0 -1 64 12564 0 1 0 3292 10 0 0 25 0 9 0 647430032 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17590] ppid=17586 vsize=655728 CPUtime=0.92
/proc/17587/task/17590/stat : 17590 (java) S 17586 17562 17457 0 -1 64 25344 0 0 0 83 9 0 0 17 0 9 0 647430034 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17591] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17591/stat : 17591 (java) S 17586 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647430034 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17592] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17592/stat : 17592 (java) S 17586 17562 17457 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 647430034 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17593] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17593/stat : 17593 (java) S 17586 17562 17457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 647430036 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17594] ppid=17586 vsize=655728 CPUtime=0.38
/proc/17587/task/17594/stat : 17594 (java) S 17586 17562 17457 0 -1 64 749 0 0 0 38 0 0 0 15 0 9 0 647430036 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17595] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17595/stat : 17595 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647430036 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17587/tid=17596] ppid=17586 vsize=655728 CPUtime=0
/proc/17587/task/17596/stat : 17596 (java) S 17586 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 647430036 671465472 38493 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17576/tid=17577] ppid=17562 vsize=197432 CPUtime=4.77
/proc/17576/task/17577/stat : 17577 (java) S 17562 17562 17457 0 -1 64 4013 0 1 0 472 5 0 0 16 0 10 0 647429408 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=17576/tid=17578] ppid=17562 vsize=197432 CPUtime=1.1
/proc/17576/task/17578/stat : 17578 (java) S 17562 17562 17457 0 -1 64 8551 0 0 0 99 11 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17579] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17579/stat : 17579 (java) S 17562 17562 17457 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17580] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17580/stat : 17580 (java) S 17562 17562 17457 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 647429410 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17581] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17581/stat : 17581 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17582] ppid=17562 vsize=197432 CPUtime=0.21
/proc/17576/task/17582/stat : 17582 (java) S 17562 17562 17457 0 -1 64 651 0 0 0 21 0 0 0 16 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17583] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17583/stat : 17583 (java) S 17562 17562 17457 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17584] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17584/stat : 17584 (java) S 17562 17562 17457 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 647429412 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17576/tid=17585] ppid=17562 vsize=197432 CPUtime=0
/proc/17576/task/17585/stat : 17585 (java) S 17562 17562 17457 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 647430031 202170368 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 120.85
Current children cumulated vsize (KiB) 863876

Child status: 0
Real time (s): 121.89
CPU time (s): 120.927
CPU user time (s): 120.388
CPU system time (s): 0.538918
CPU usage (%): 99.2097
Max. virtual memory (cumulated for all children) (KiB): 870920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.388
system time used= 0.538918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66672
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= 12734
involuntary context switches= 17164

runsolver used 0.286956 second user time and 0.578911 second system time

The end

Launcher Data (download as text)

Begin job on node5 at 2008-07-05 10:00:41
IDJOB=1087590
IDBENCH=58019
IDSOLVER=365
FILE ID=node5/1087590-1215244841
PBS_JOBID= 7882019
Free space on /tmp= 66528 MiB

SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/fapp/fapp36/normalized-fapp36-2000-10.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087590-1215244841/watcher-1087590-1215244841 -o /tmp/evaluation-result-1087590-1215244841/solver-1087590-1215244841 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/cpHydra_k_10/hydra HOME/instance-1087590-1215244841.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d5e3aabb8926151d3fb7baec2a204317
RANDOM SEED=1533784399

node5.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.279
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.279
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:       1381880 kB
Buffers:         10016 kB
Cached:         126228 kB
SwapCached:       6964 kB
Active:         558952 kB
Inactive:        63484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1381880 kB
SwapTotal:     4192956 kB
SwapFree:      4180232 kB
Dirty:           26924 kB
Writeback:           0 kB
Mapped:         499400 kB
Slab:            36076 kB
Committed_AS:  1785116 kB
PageTables:       2712 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= 66504 MiB
End job on node5 at 2008-07-05 10:02:44