Trace number 1056125

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.05 1804.23

General information on the benchmark

Namecsp/largeQueens/
normalized-queens-800.xml
MD5SUMa5cb3ae7953c75d065027fcec4cf35e2
Bench Category2-ARY-INT (binary constraints in intension)
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 variables800
Number of constraints319600
Maximum constraint arity2
Maximum domain size800
Number of constraints which are defined in extension0
Number of constraints which are defined in intension319600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
162.14/163.66	c CASE TO CLASSIFY:
162.14/163.66	c Case: 0
162.14/163.66	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  18.285900 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >  -1.000000 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   9.643860 | c 21 >  28.284300 | c 20 >   0.000000 | c 22 >  28.284300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  18.285900 | 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.287700 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.14/163.67	c choco : 1801.0
162.14/163.67	c mistral : 1801.0
162.14/163.67	c abscon : 1801.0
162.14/163.67	c
162.14/163.67	c
162.23/163.74	c List of same ones: 40
162.23/163.74	c /home/eomahony/cpZilla/CSP/largeQueens/queens-800.xml
162.23/163.74	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  11.864200 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >  -1.000000 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   9.643860 | c 21 >  28.284300 | c 20 >   0.000000 | c 22 >  28.284300 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  18.285900 | 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.287700 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.23/163.75	c choco : 1801.0
162.23/163.75	c mistral : 398.828
162.23/163.75	c abscon : 1800.13
162.23/163.75	c
162.23/163.75	c
162.23/163.75	c /home/eomahony/cpZilla/CSP/largeQueens/queens-1000.xml
162.23/163.75	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  11.658700 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >  -1.000000 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   9.965780 | c 21 >  31.622800 | c 20 >   0.000000 | c 22 >  31.622800 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  18.930100 | 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.931600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.23/163.76	c choco : 1801.0
162.23/163.76	c mistral : 440.78
162.23/163.76	c abscon : 326.362
162.23/163.76	c
162.23/163.76	c
162.23/163.76	c /home/eomahony/cpZilla/CSP/largeQueens/queens-500.xml
162.23/163.76	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  12.603600 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >  -1.000000 | c 14 >  -1.000000 | c 11 >   8.965780 | c 12 >   8.965780 | c 21 >  22.360700 | c 20 >   0.000000 | c 22 >  22.360700 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.928700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.931600 | c 31 >  -1.000000 | c 4 >   8.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.23/163.77	c choco : 1801.0
162.23/163.77	c mistral : 27.5908
162.23/163.77	c abscon : 385.886
162.23/163.77	c
162.23/163.77	c
162.23/163.77	c /home/eomahony/cpZilla/CSP/largeQueens/queens-400.xml
162.23/163.77	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  13.023600 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >  -1.000000 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   8.643860 | c 21 >  20.000000 | c 20 >   0.000000 | c 22 >  20.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.284100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.287700 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.23/163.78	c choco : 1801.0
162.23/163.78	c mistral : 15.5676
162.23/163.78	c abscon : 182.693
162.23/163.78	c
162.23/163.78	c
162.23/163.78	c /home/eomahony/cpZilla/CSP/largeQueens/queens-300.xml
162.23/163.78	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  13.411600 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >  -1.000000 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   8.228820 | c 21 >  17.320500 | c 20 >   0.000000 | c 22 >  17.320500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.452900 | 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 >  16.457600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.23/163.79	c choco : 1801.0
162.23/163.79	c mistral : 15.2227
162.23/163.79	c abscon : 50.8443
162.23/163.79	c
162.23/163.79	c
162.23/163.79	c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-9.xml
162.23/163.79	c 19 >  99.666100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >   0.000000 | c 34 >  49.866400 | c 16 >   2.000000 | c 13 >   7.636620 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   8.643860 | c 21 >  14.142100 | c 20 >   0.333890 | c 22 >  14.142100 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.875100 | 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 >  16.287700 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.32/163.81	c choco : 1801.0
162.32/163.81	c mistral : 5.05
162.32/163.81	c abscon : 23.11
162.32/163.81	c
162.32/163.81	c
162.32/163.81	c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-7.xml
162.32/163.81	c 19 >  99.628900 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >   0.000000 | c 34 >  49.851600 | c 16 >   2.000000 | c 13 >   7.483820 | c 14 >  -1.000000 | c 11 >   8.491850 | c 12 >   8.491850 | c 21 >  13.416400 | c 20 >   0.371058 | c 22 >  13.416400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.571300 | 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 >  15.983700 | c 31 >  -1.000000 | c 4 >   8.491850 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.32/163.81	c choco : 111.44
162.32/163.81	c mistral : 4.02
162.32/163.81	c abscon : 18.94
162.32/163.81	c
162.32/163.81	c
162.32/163.81	c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-6.xml
162.32/163.81	c 19 >  99.554600 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >   0.000000 | c 34 >  49.821800 | c 16 >   2.000000 | c 13 >   7.219170 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   8.228820 | c 21 >  12.247400 | c 20 >   0.445434 | c 22 >  12.247400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.045800 | 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 >  15.457600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.32/163.82	c choco : 90.37
162.32/163.82	c mistral : 2.44
162.32/163.82	c abscon : 15.9
162.32/163.82	c
162.32/163.82	c
162.32/163.82	c /home/eomahony/cpZilla/CSP/queens/queens-4.xml
162.32/163.82	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >   5.044390 | c 34 >  50.000000 | c 16 >   2.000000 | c 13 >   1.114410 | c 14 >   1.000000 | c 11 >   2.000000 | c 12 >   1.459430 | c 21 >   2.000000 | c 20 >   0.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   2.807350 | 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 >   4.000000 | c 31 >  -1.000000 | c 4 >   2.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.32/163.83	c choco : 1.09
162.32/163.83	c mistral : 0.01
162.32/163.83	c abscon : 0.624904
162.32/163.83	c
162.32/163.83	c
162.32/163.83	c /home/eomahony/cpZilla/CSP/pseudoSeries/ssa/ssa-6288-047.xml
162.32/163.83	c 19 > 100.000000 | c 35 >  24.244900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  13.990700 | c 15 >  15.465100 | c 34 >  28.908500 | c 16 >   6.000000 | c 13 >   1.192460 | c 14 >  -1.000000 | c 11 >  14.345400 | c 12 >   2.373140 | c 21 >   1.414150 | c 20 >   0.000000 | 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 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.446200 | c 1 >  14.345400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  15.345400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.32/163.84	c choco : 42.82
162.32/163.84	c mistral : 3.65
162.32/163.84	c abscon : 7.65084
162.32/163.84	c
162.32/163.84	c
162.32/163.84	c /home/eomahony/cpZilla/CSP/zhou/schur.xml
162.32/163.84	c 19 > 100.000000 | c 35 >  29.818200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  30.000000 | c 15 >  14.850400 | c 34 >  40.000000 | c 16 >   3.000000 | c 13 >   4.983360 | c 14 >   5.906890 | c 11 >   6.781360 | c 12 >   5.768670 | c 21 >   2.236070 | c 20 >   0.000000 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.562700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   9.103290 | c 31 >  -1.000000 | c 4 >   6.781360 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.32/163.85	c choco : 5.74
162.32/163.85	c mistral : 0.291955
162.32/163.85	c abscon : 2.07068
162.32/163.85	c
162.32/163.85	c
162.32/163.85	c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-11.xml
162.32/163.85	c 19 >  81.818200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >   0.000000 | c 34 >  42.727300 | c 16 >   2.000000 | c 13 >   1.584960 | c 14 >  -1.000000 | c 11 >   3.000000 | c 12 >   3.000000 | c 21 >   2.000000 | c 20 >  18.181800 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   4.700440 | 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 >   5.000000 | c 31 >  -1.000000 | c 4 >   3.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.32/163.86	c choco : 2.55
162.32/163.86	c mistral : 0.01
162.32/163.86	c abscon : 1.2
162.32/163.86	c
162.32/163.86	c
162.32/163.86	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-03-02.xml
162.32/163.86	c 19 >  81.213500 | c 35 >  21.686200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  18.768300 | c 34 >  32.893500 | c 16 >  19.000000 | c 13 >   3.971790 | c 14 >   8.977280 | c 11 >  13.865200 | c 12 >   3.625610 | c 21 >   1.414210 | c 20 >  18.786500 | 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 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.617600 | c 1 >  13.865200 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.796400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.748800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  10.346500 | c
162.32/163.87	c choco : 78.05
162.32/163.87	c mistral : 0.348946
162.32/163.87	c abscon : 631.841
162.32/163.87	c
162.32/163.87	c
162.32/163.87	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-03-04.xml
162.32/163.87	c 19 >  80.880300 | c 35 >  20.283400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.121300 | c 34 >  30.497300 | c 16 >  19.000000 | c 13 >   3.971840 | c 14 >   8.543030 | c 11 >  13.865200 | c 12 >   3.625100 | c 21 >   2.000000 | c 20 >  19.119700 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.660800 | c 1 >  13.865200 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.943700 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.153200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  10.734700 | c
162.32/163.88	c choco : 79.26
162.32/163.88	c mistral : 0.340947
162.32/163.88	c abscon : 719.561
162.32/163.88	c
162.32/163.88	c
162.32/163.88	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-03-08.xml
162.32/163.88	c 19 >  78.434200 | c 35 >  19.310900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.350300 | c 34 >  28.907000 | c 16 >  19.000000 | c 13 >   3.870880 | c 14 >   6.523560 | c 11 >  13.865200 | c 12 >   3.616910 | c 21 >   2.828430 | c 20 >  21.565800 | c 22 >   2.828430 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.864500 | c 1 >  13.865200 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.527200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.665300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  11.904300 | c
162.32/163.88	c choco : 79.52
162.32/163.89	c mistral : 0.340947
162.32/163.89	c abscon : 630.42
162.32/163.89	c
162.32/163.89	c
162.32/163.89	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-04-02.xml
162.32/163.89	c 19 >  81.426300 | c 35 >  21.467600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.093400 | c 34 >  32.772000 | c 16 >  26.000000 | c 13 >   4.291300 | c 14 >   7.330920 | c 11 >  14.781300 | c 12 >   3.650340 | c 21 >   1.414210 | c 20 >  18.573700 | 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 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  17.496100 | c 1 >  14.781300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.462500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.599700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  11.452800 | c
162.48/164.08	c choco : 1801.0
162.48/164.08	c mistral : 0.621904
162.48/164.08	c abscon : 28.6406
162.48/164.08	c
162.48/164.08	c
162.48/164.08	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-03-16.xml
162.48/164.08	c 19 >  77.069300 | c 35 >  17.808400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.238300 | c 34 >  26.612800 | c 16 >  19.000000 | c 13 >   3.867740 | c 14 >   6.000000 | c 11 >  13.865200 | c 12 >   3.617180 | c 21 >   4.000000 | c 20 >  22.930700 | c 22 >   4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.943700 | c 1 >  13.865200 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.719400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  21.850900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  12.293800 | c
162.48/164.09	c choco : 80.78
162.48/164.09	c mistral : 0.370942
162.48/164.09	c abscon : 59.7389
162.48/164.09	c
162.48/164.09	c
162.48/164.09	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-07-04.xml
162.48/164.09	c 19 >  79.141600 | c 35 >  20.318200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  11.575500 | c 34 >  30.826500 | c 16 >  33.000000 | c 13 >   3.948740 | c 14 >  -1.000000 | c 11 >  13.084800 | c 12 >   3.543210 | c 21 >   2.000000 | c 20 >  20.858400 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.745500 | c 1 >  13.084800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.890300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.938000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  10.431500 | c
162.59/164.10	c choco : 34.99
162.59/164.10	c mistral : 0.223965
162.59/164.10	c abscon : 7.49286
162.59/164.10	c
162.59/164.10	c
162.59/164.10	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-07-02.xml
162.59/164.10	c 19 >  79.141600 | c 35 >  20.837800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  11.575500 | c 34 >  31.519900 | c 16 >  33.000000 | c 13 >   3.948740 | c 14 >  -1.000000 | c 11 >  13.084800 | c 12 >   3.543210 | c 21 >   1.414210 | c 20 >  20.858400 | 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 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.745500 | c 1 >  13.084800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.890300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.683200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  10.230000 | c
162.59/164.11	c choco : 34.85
162.59/164.11	c mistral : 0.198969
162.59/164.11	c abscon : 6.76897
162.59/164.11	c
162.59/164.11	c
162.59/164.11	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-01-02.xml
162.59/164.11	c 19 >  81.580400 | c 35 >  22.836900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.002300 | c 34 >  33.615900 | c 16 >  39.000000 | c 13 >   4.223980 | c 14 >   9.707360 | c 11 >  13.240900 | c 12 >   3.893920 | c 21 >   1.414210 | c 20 >  18.419600 | 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 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.483800 | c 1 >  13.240900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.126900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.126500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  11.192900 | c
162.59/164.12	c choco : 59.39
162.59/164.12	c mistral : 0.271957
162.59/164.12	c abscon : 40.3879
162.59/164.12	c
162.59/164.12	c
162.59/164.12	c /home/eomahony/cpZilla/CSP/haystacks/haystacks_04.xml
162.59/164.12	c 19 >  66.666700 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  10.000000 | c 15 >   8.876520 | c 34 >  30.000000 | c 16 >   2.000000 | c 13 >   3.114580 | c 14 >   4.000000 | c 11 >   3.700440 | c 12 >   4.212450 | c 21 >   2.000000 | c 20 >  33.333300 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   1.584960 | c 2 >  -1.000000 | c 10 >   4.807350 | 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 >   5.700440 | c 31 >  -1.000000 | c 4 >   3.321930 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.59/164.12	c choco : 1.21
162.59/164.12	c mistral : 0.01
162.59/164.12	c abscon : 0.724889
162.59/164.12	c
162.59/164.12	c
162.59/164.12	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-01-04.xml
162.59/164.12	c 19 >  81.397300 | c 35 >  19.526200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.491300 | c 34 >  29.309900 | c 16 >  39.000000 | c 13 >   4.223410 | c 14 >   8.219170 | c 11 >  13.240900 | c 12 >   3.893500 | c 21 >   2.000000 | c 20 >  18.602700 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.500100 | c 1 >  13.240900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.168400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.541200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  11.291200 | c
162.59/164.13	c choco : 59.56
162.59/164.13	c mistral : 0.280956
162.59/164.13	c abscon : 84.8411
162.59/164.13	c
162.59/164.13	c
162.59/164.13	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-01-08.xml
162.59/164.13	c 19 >  79.742200 | c 35 >  18.061300 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.469100 | c 34 >  27.253600 | c 16 >  39.000000 | c 13 >   4.223120 | c 14 >   7.366320 | c 11 >  13.240900 | c 12 >   3.893940 | c 21 >   2.828430 | c 20 >  20.257800 | c 22 >   2.828430 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.610600 | c 1 >  13.240900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.431800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.861500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  11.810200 | c
162.59/164.14	c choco : 59.95
162.59/164.14	c mistral : 0.262959
162.59/164.14	c abscon : 83.4103
162.59/164.14	c
162.59/164.14	c
162.59/164.14	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-07-08.xml
162.59/164.14	c 19 >  73.700600 | c 35 >  18.937200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  16.227300 | c 34 >  28.572500 | c 16 >  33.000000 | c 13 >   3.950340 | c 14 >  -1.000000 | c 11 >  13.084800 | c 12 >   3.501590 | c 21 >   2.828430 | c 20 >  26.299400 | c 22 >   2.828430 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.118900 | c 1 >  13.084800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.939200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.809200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  11.972600 | c
162.59/164.14	c choco : 35.08
162.59/164.14	c mistral : 0.222965
162.59/164.14	c abscon : 7.65783
162.59/164.14	c
162.59/164.14	c
162.59/164.14	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-01-16.xml
162.59/164.14	c 19 >  78.177100 | c 35 >  16.997900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  18.899400 | c 34 >  25.796800 | c 16 >  39.000000 | c 13 >   4.220530 | c 14 >   2.000000 | c 11 >  13.240900 | c 12 >   3.894560 | c 21 >   4.000000 | c 20 >  21.822900 | c 22 >   4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.686000 | c 1 >  13.240900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.597200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  22.024500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  12.172700 | c
162.59/164.15	c choco : 59.49
162.59/164.15	c mistral : 0.262959
162.59/164.15	c abscon : 102.45
162.59/164.15	c
162.59/164.15	c
162.59/164.15	c /home/eomahony/cpZilla/CSP/haystacks/haystacks_06.xml
162.59/164.15	c 19 >  63.157900 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  11.052600 | c 15 >  14.220500 | c 34 >  28.947400 | c 16 >   2.000000 | c 13 >   7.731740 | c 14 >   8.562240 | c 11 >   4.954200 | c 12 >   8.316680 | c 21 >   2.449490 | c 20 >  36.842100 | c 22 >   2.449490 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   2.321930 | c 2 >  -1.000000 | c 10 >   6.584960 | 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 >   7.539160 | c 31 >  -1.000000 | c 4 >   4.700440 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.59/164.15	c choco : 1.57
162.59/164.15	c mistral : 0.013997
162.59/164.15	c abscon : 110.442
162.59/164.15	c
162.59/164.15	c
162.59/164.15	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-07-16.xml
162.59/164.15	c 19 >  71.883500 | c 35 >  17.078600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  17.435600 | c 34 >  25.627200 | c 16 >  33.000000 | c 13 >   3.927040 | c 14 >  -1.000000 | c 11 >  13.084800 | c 12 >   3.456470 | c 21 >   4.000000 | c 20 >  28.116500 | c 22 >   4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.184600 | c 1 >  13.084800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.083900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.973400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  12.258600 | c
162.59/164.16	c choco : 34.9
162.59/164.16	c mistral : 0.223965
162.59/164.16	c abscon : 7.74782
162.59/164.16	c
162.59/164.16	c
162.59/164.16	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-04.xml
162.59/164.16	c 19 >  64.513900 | c 35 >  19.859900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  16.867800 | c 34 >  30.569200 | c 16 >  17.000000 | c 13 >   3.582900 | c 14 >   9.036170 | c 11 >  11.455800 | c 12 >   2.819480 | c 21 >   2.000000 | c 20 >  35.486100 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.526500 | c 1 >  11.455800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.540900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.017900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  11.187400 | c
162.59/164.17	c choco : 13.24
162.59/164.17	c mistral : 0.076987
162.59/164.17	c abscon : 26.238
162.59/164.17	c
162.59/164.17	c
162.59/164.17	c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml
162.59/164.17	c 19 > 100.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  60.000000 | c 15 >  15.187400 | c 34 >  50.000000 | c 16 >   3.000000 | c 13 >   3.029710 | c 14 >   8.285400 | c 11 >   8.764870 | c 12 >   4.249850 | c 21 >   2.000000 | c 20 >   0.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.987300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.764900 | c 31 >  -1.000000 | c 4 >   8.764870 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.59/164.17	c choco : 6.47
162.59/164.17	c mistral : 0.41
162.59/164.17	c abscon : 2.32765
162.59/164.17	c
162.59/164.17	c
162.59/164.17	c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml
162.59/164.17	c 19 > 100.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  60.000000 | c 15 >  14.462300 | c 34 >  50.000000 | c 16 >   3.000000 | c 13 >   2.824500 | c 14 >   8.022370 | c 11 >   8.228820 | c 12 >   3.986710 | c 21 >   2.000000 | c 20 >   0.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.167400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.228800 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.59/164.18	c choco : 4.54
162.59/164.18	c mistral : 0.22
162.59/164.18	c abscon : 1.44478
162.59/164.18	c
162.59/164.18	c
162.59/164.18	c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml
162.59/164.18	c 19 > 100.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  60.000000 | c 15 >  19.659700 | c 34 >  50.000000 | c 16 >   3.000000 | c 13 >   7.011290 | c 14 >  11.151700 | c 11 >   9.216750 | c 12 >   6.484070 | c 21 >   2.000000 | c 20 >   0.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.676200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  11.216700 | c 31 >  -1.000000 | c 4 >   9.216750 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.59/164.18	c choco : 1801.0
162.59/164.18	c mistral : 1053.11
162.59/164.18	c abscon : 4.93525
162.59/164.18	c
162.59/164.18	c
162.59/164.18	c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml
162.59/164.18	c 19 > 100.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  60.000000 | c 15 >  14.540600 | c 34 >  50.000000 | c 16 >   3.000000 | c 13 >   4.542180 | c 14 >   6.209450 | c 11 >   6.044390 | c 12 >   5.198780 | c 21 >   2.000000 | c 20 >   0.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.044400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   8.044390 | c 31 >  -1.000000 | c 4 >   6.044390 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.59/164.19	c choco : 2.93
162.59/164.19	c mistral : 1800.03
162.59/164.19	c abscon : 753.112
162.59/164.19	c
162.59/164.19	c
162.59/164.19	c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml
162.59/164.19	c 19 > 100.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  60.000000 | c 15 >  19.846800 | c 34 >  50.000000 | c 16 >   3.000000 | c 13 >   7.663050 | c 14 >  11.258000 | c 11 >   9.044390 | c 12 >   7.151360 | c 21 >   2.000000 | c 20 >   0.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.413600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  11.044400 | c 31 >  -1.000000 | c 4 >   9.044390 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.59/164.19	c choco : 1801.0
162.59/164.19	c mistral : 20.05
162.59/164.20	c abscon : 4.68729
162.59/164.20	c
162.59/164.20	c
162.59/164.20	c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml
162.59/164.20	c 19 > 100.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  60.000000 | c 15 >  19.714900 | c 34 >  50.000000 | c 16 >   3.000000 | c 13 >   7.567570 | c 14 >  11.431000 | c 11 >   9.131860 | c 12 >   6.926300 | c 21 >   2.000000 | c 20 >   0.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.546900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  11.131900 | c 31 >  -1.000000 | c 4 >   9.131860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.64/164.20	c choco : 1801.0
162.64/164.20	c mistral : 26.38
162.64/164.20	c abscon : 9.93749
162.64/164.20	c
162.64/164.20	c
162.64/164.20	c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml
162.64/164.20	c 19 > 100.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  60.000000 | c 15 >  19.893500 | c 34 >  50.000000 | c 16 >   3.000000 | c 13 >   8.099220 | c 14 >  11.470700 | c 11 >   8.954200 | c 12 >   7.521510 | c 21 >   2.000000 | c 20 >   0.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.276100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.954200 | c 31 >  -1.000000 | c 4 >   8.954200 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.64/164.21	c choco : 1801.0
162.64/164.21	c mistral : 3.82
162.64/164.21	c abscon : 2.82057
162.64/164.21	c
162.64/164.21	c
162.64/164.21	c /home/eomahony/cpZilla/CSP/haystacks/haystacks_05.xml
162.64/164.21	c 19 >  61.111100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   9.444440 | c 15 >  11.731700 | c 34 >  28.333300 | c 16 >   2.000000 | c 13 >   6.117960 | c 14 >   6.857980 | c 11 >   4.392320 | c 12 >   6.801210 | c 21 >   2.236070 | c 20 >  38.888900 | c 22 >   2.236070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   2.000000 | c 2 >  -1.000000 | c 10 >   5.781360 | 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 >   6.714250 | c 31 >  -1.000000 | c 4 >   4.087460 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.64/164.22	c choco : 1.39
162.64/164.22	c mistral : 0.01
162.64/164.22	c abscon : 1.42478
162.64/164.22	c
162.64/164.22	c
162.64/164.22	c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-13-3.xml
162.64/164.22	c 19 > 100.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  60.000000 | c 15 >  10.997200 | c 34 >  50.000000 | c 16 >   3.000000 | c 13 >   1.840080 | c 14 >   5.781360 | c 11 >   6.285400 | c 12 >   2.957770 | c 21 >   1.732050 | c 20 >   0.000000 | c 22 >   1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   8.159870 | 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 >   7.870360 | c 31 >  -1.000000 | c 4 >   6.285400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.64/164.22	c choco : 1.92
162.64/164.22	c mistral : 0.03
162.64/164.22	c abscon : 0.867867
162.64/164.22	c
162.64/164.22	c
162.64/164.22	c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-100.xml
162.64/164.22	c 19 >  80.400000 | c 35 >  33.780000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  48.240000 | c 15 >  13.281900 | c 34 >  41.820000 | c 16 >  16.000000 | c 13 >   0.325073 | c 14 >   5.781360 | c 11 >  10.253800 | c 12 >   0.694520 | c 21 >   1.413400 | c 20 >  19.600000 | 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 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.215500 | c 1 >   8.761550 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.620220 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  12.594100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.64/164.23	c choco : 2.44
162.64/164.23	c mistral : 0.067988
162.64/164.23	c abscon : 1.14282
162.64/164.23	c
162.64/164.23	c
162.64/164.23	c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-98.xml
162.64/164.23	c 19 >  79.831900 | c 35 >  33.655500 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  47.899200 | c 15 >  13.155300 | c 34 >  41.638700 | c 16 >  16.000000 | c 13 >   0.306703 | c 14 >   5.426260 | c 11 >  10.174900 | c 12 >   0.695439 | c 21 >   1.413350 | c 20 >  20.168100 | 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 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  10.137000 | c 1 >   8.679480 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.543030 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  12.478800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.64/164.24	c choco : 2.37
162.64/164.24	c mistral : 0.066989
162.64/164.24	c abscon : 1.19982
162.64/164.24	c
162.64/164.24	c
162.64/164.24	c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-10-3.xml
162.64/164.24	c 19 > 100.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  60.000000 | c 15 >   9.375040 | c 34 >  50.000000 | c 16 >   3.000000 | c 13 >   1.310420 | c 14 >   5.321930 | c 11 >   5.491850 | c 12 >   2.485430 | c 21 >   1.732050 | c 20 >   0.000000 | c 22 >   1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   6.906890 | 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 >   7.076820 | c 31 >  -1.000000 | c 4 >   5.491850 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
162.64/164.24	c choco : 1.46
162.64/164.24	c mistral : 0.02
162.64/164.24	c abscon : 0.777881
162.64/164.24	c
162.64/164.24	c
162.64/164.25	c Length: 40
162.64/164.25	c 6.421700000000001  8.206792470216365  10.369521865505664  13.264925838842828  16.917771454443997  28.757986070942106  29.51309054491014  30.78793097939607  47.145291778976194  50.78117028783208  52.24992387976944  54.3871179560197  60.25419069804523  60.67661612062179  62.241619507364206  62.919155506142964  63.23366279652951  66.11751127479997  66.39794429558418  68.45392208829966  68.64525510726797  69.01252780457908  70.05053247083994  70.12763870276468  70.38107100152781  71.64706368806681  71.78184211704865  72.96656299015666  73.05982373092888  73.22652159288054  73.5079563966541  73.61693759114951  73.61955886912322  73.62110108982682  73.72006472787514  74.06561830052863  74.28577554645842  74.67807655954142  74.7319237918719  74.83355650151542  
162.64/164.25	c 
162.64/164.25	c 1.0  0.9745702271058074  0.9454416885951094  0.9090662633535795  0.8669833092018063  0.7538650881685234  0.7476440313293541  0.7373708421785558  0.6268527557213902  0.6066422950694386  0.5988428603445105  0.5878454949250268  0.5596320653570581  0.5577048701872294  0.5506792118678686  0.5476922048639655  0.5463166423529098  0.5340184369054873  0.5328520016791222  0.5244535224679562  0.5236853901941216  0.5222172115318462  0.5181119322683816  0.5178095531774295  0.5168181771219325  0.511922175606946  0.5114064019973582  0.5069170083504955  0.5065669493898985  0.5059424433852494  0.5048915814268851  0.5044858232473242  0.5044760717514751  0.5044703346655123  0.5041024609773428  0.5028221448229746  0.5020098228161968  0.500568822536487  0.5003716762845672  0.5  
162.64/164.26	c
162.64/164.26	c solver 0
162.64/164.26	c	  before 0.0 seconds: {} 0
162.64/164.26	c	  before 18.0 seconds: {7, 8, 9, 10, 11, 17, 18, 20, 23, 26, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 11313
162.64/164.26	c	  before 36.0 seconds: {5, 6, 7, 8, 9, 10, 11, 15, 17, 18, 20, 23, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 13869
162.64/164.26	c	  before 54.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 15, 17, 18, 19, 20, 23, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 15261
162.64/164.26	c	  before 72.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 18, 19, 20, 23, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 15807
162.64/164.26	c	  before 90.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 16847
162.64/164.26	c	  before 108.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 17364
162.64/164.26	c	  before 126.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 17876
162.64/164.26	c	  before 198.0 seconds: {3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 18785
162.64/164.26	c	  before 342.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 19760
162.64/164.26	c	  before 396.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 20705
162.64/164.26	c	  before 648.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 21815
162.64/164.26	c	  before 720.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 22373
162.64/164.26	c	  before 756.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22878
162.64/164.26	c
162.64/164.26	c solver 1
162.64/164.26	c	  before 0.0 seconds: {} 0
162.64/164.26	c	  before 18.0 seconds: {3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 34, 35, 36, 37, 38, 39} 18939
162.64/164.26	c	  before 36.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 32, 33, 34, 35, 36, 37, 38, 39} 20894
162.64/164.26	c	  before 414.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 32, 33, 34, 35, 36, 37, 38, 39} 21894
162.64/164.26	c	  before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 32, 33, 34, 35, 36, 37, 38, 39} 22868
162.64/164.26	c	  before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 23373
162.64/164.26	c
162.64/164.26	c solver 2
162.64/164.26	c	  before 0.0 seconds: {} 0
162.64/164.26	c	  before 18.0 seconds: {8, 10, 11, 20, 25, 27, 28, 29, 31, 35, 36, 37, 38, 39} 7378
162.64/164.26	c	  before 36.0 seconds: {8, 10, 11, 17, 18, 20, 23, 25, 26, 27, 28, 29, 31, 35, 36, 37, 38, 39} 9474
162.64/164.26	c	  before 54.0 seconds: {8, 9, 10, 11, 17, 18, 20, 23, 25, 26, 27, 28, 29, 31, 35, 36, 37, 38, 39} 10081
162.64/164.26	c	  before 72.0 seconds: {8, 9, 10, 11, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 35, 36, 37, 38, 39} 12163
162.64/164.26	c	  before 90.0 seconds: {8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 35, 36, 37, 38, 39} 14377
162.64/164.26	c	  before 108.0 seconds: {7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 35, 36, 37, 38, 39} 15114
162.64/164.26	c	  before 126.0 seconds: {6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 35, 36, 37, 38, 39} 15862
162.64/164.26	c
162.64/164.26	cTotal time: 108
162.64/164.27	c	  run abscon for 756.0 seconds {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22878
162.64/164.27	c	  run mistral for 450.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 32, 33, 34, 35, 36, 37, 38, 39} 22868
162.64/164.27	c	  run choco for 126.0 seconds {6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 35, 36, 37, 38, 39} 15862
162.64/164.27	c Starting solver: HOME/cpHydra_k_40/solver/abscon
162.64/164.27	c On Instance: HOME/instance-1056125-1215061682.xml
162.64/164.27	c Running for: 756 seconds
775.33/777.27	c Starting solver: HOME/cpHydra_k_40/solver/mistral
775.33/777.27	c On Instance: HOME/instance-1056125-1215061682.xml
775.33/777.27	c Running for: 450 seconds
1225.34/1229.32	c Starting solver: HOME/cpHydra_k_40/solver/choco
1225.34/1229.32	c On Instance: HOME/instance-1056125-1215061682.xml
1225.34/1229.32	c Running for: 126 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-1056125-1215061682/watcher-1056125-1215061682 -o /tmp/evaluation-result-1056125-1215061682/solver-1056125-1215061682 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1056125-1215061682.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/80 21475
/proc/meminfo: memFree=1583448/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=18572 CPUtime=0
/proc/21475/stat : 21475 (runsolver) R 21473 21475 17535 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1985138284 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 257203694887 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21475/statm: 4643 292 257 25 0 2626 0

[startup+0.097199 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 21475
/proc/meminfo: memFree=1583448/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=0
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1985138284 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.102194 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 21475
/proc/meminfo: memFree=1583448/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=0
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1985138284 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301214 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 21475
/proc/meminfo: memFree=1583448/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=0
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1985138284 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.702247 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 21475
/proc/meminfo: memFree=1583448/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=0
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1985138284 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50231 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 21479
/proc/meminfo: memFree=1571656/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=0
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1985138284 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 236 195 169 0 51 0
[pid=21479] ppid=21475 vsize=22016 CPUtime=1.46
/proc/21479/stat : 21479 (xsolve) R 21475 21475 17535 0 -1 4194304 4890 0 0 0 144 2 0 0 25 0 1 0 1985138285 22544384 4620 996147200 134512640 135239763 4294956176 18446744073709551615 134683394 0 0 4096 0 0 0 0 17 1 0 0
/proc/21479/statm: 5504 4620 375 177 0 4407 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 27376

[startup+3.10145 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 21479
/proc/meminfo: memFree=1559624/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=0
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1985138284 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 236 195 169 0 51 0
[pid=21479] ppid=21475 vsize=39476 CPUtime=3.03
/proc/21479/stat : 21479 (xsolve) R 21475 21475 17535 0 -1 4194304 9386 0 0 0 297 6 0 0 25 0 1 0 1985138285 40423424 8793 996147200 134512640 135239763 4294956176 18446744073709551615 134617963 0 0 4096 0 0 0 0 17 1 0 0
/proc/21479/statm: 9869 8793 375 177 0 8772 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 44836

[startup+6.30171 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 21479
/proc/meminfo: memFree=1525704/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=0
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1985138284 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 236 195 169 0 51 0
[pid=21479] ppid=21475 vsize=74044 CPUtime=6.19
/proc/21479/stat : 21479 (xsolve) R 21475 21475 17535 0 -1 4194304 18307 0 0 0 606 13 0 0 25 0 1 0 1985138285 75821056 17071 996147200 134512640 135239763 4294956176 18446744073709551615 6119538 0 0 4096 0 0 0 0 17 1 0 0
/proc/21479/statm: 18511 17071 375 177 0 17414 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 79404

[startup+12.7012 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 21479
/proc/meminfo: memFree=1458888/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=0
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1985138284 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 236 195 169 0 51 0
[pid=21479] ppid=21475 vsize=141968 CPUtime=12.53
/proc/21479/stat : 21479 (xsolve) R 21475 21475 17535 0 -1 4194304 35788 0 0 0 1229 24 0 0 25 0 1 0 1985138285 145375232 33269 996147200 134512640 135239763 4294956176 18446744073709551615 134617938 0 0 4096 0 0 0 0 17 1 0 0
/proc/21479/statm: 35492 33269 375 177 0 34395 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 147328

[startup+25.5013 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 21479
/proc/meminfo: memFree=1433096/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=0
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1985138284 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 236 195 169 0 51 0
[pid=21479] ppid=21475 vsize=163524 CPUtime=25.22
/proc/21479/stat : 21479 (xsolve) R 21475 21475 17535 0 -1 4194304 40555 0 0 0 2495 27 0 0 25 0 1 0 1985138285 167448576 38036 996147200 134512640 135239763 4294956176 18446744073709551615 134543813 0 0 4096 0 0 0 0 17 1 0 0
/proc/21479/statm: 40881 38036 377 177 0 39784 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 168884

[startup+51.1014 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 21479
/proc/meminfo: memFree=1292488/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=0
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1985138284 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 236 195 169 0 51 0
[pid=21479] ppid=21475 vsize=306748 CPUtime=50.6
/proc/21479/stat : 21479 (xsolve) R 21475 21475 17535 0 -1 4194304 78960 0 0 0 5019 41 0 0 25 0 1 0 1985138285 314109952 73178 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/21479/statm: 76687 73178 423 177 0 75590 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 312108

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 4/82 21479
/proc/meminfo: memFree=1292744/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=0
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1985138284 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 236 195 169 0 51 0
[pid=21479] ppid=21475 vsize=306748 CPUtime=101.38
/proc/21479/stat : 21479 (xsolve) R 21475 21475 17535 0 -1 4194304 78960 0 0 0 10097 41 0 0 25 0 1 0 1985138285 314109952 73178 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/21479/statm: 76687 73178 423 177 0 75590 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 312108

[startup+162.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 21491
/proc/meminfo: memFree=1565192/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=156.51
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 375 79560 0 0 0 0 15604 47 18 0 1 0 1985138284 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 238 196 169 0 51 0
[pid=21483] ppid=21475 vsize=197112 CPUtime=4.34
/proc/21483/stat : 21483 (java) S 21475 21475 17535 0 -1 0 9586 0 1 0 420 14 0 0 18 0 9 0 1985154074 201842688 7940 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21483/statm: 49278 7940 2541 9 0 43860 0
[pid=21483/tid=21484] ppid=21475 vsize=197112 CPUtime=3.45
/proc/21483/task/21484/stat : 21484 (java) R 21475 21475 17535 0 -1 64 3490 0 1 0 341 4 0 0 25 0 9 0 1985154075 201842688 7940 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21485] ppid=21475 vsize=197112 CPUtime=0.69
/proc/21483/task/21485/stat : 21485 (java) S 21475 21475 17535 0 -1 64 4743 0 0 0 61 8 0 0 15 0 9 0 1985154076 201842688 7940 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21486] ppid=21475 vsize=197112 CPUtime=0
/proc/21483/task/21486/stat : 21486 (java) S 21475 21475 17535 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1985154077 201842688 7940 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21487] ppid=21475 vsize=197112 CPUtime=0
/proc/21483/task/21487/stat : 21487 (java) S 21475 21475 17535 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1985154077 201842688 7940 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21488] ppid=21475 vsize=197112 CPUtime=0
/proc/21483/task/21488/stat : 21488 (java) S 21475 21475 17535 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1985154079 201842688 7940 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21489] ppid=21475 vsize=197112 CPUtime=0.17
/proc/21483/task/21489/stat : 21489 (java) S 21475 21475 17535 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1985154079 201842688 7940 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21490] ppid=21475 vsize=197112 CPUtime=0
/proc/21483/task/21490/stat : 21490 (java) S 21475 21475 17535 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1985154079 201842688 7940 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21491] ppid=21475 vsize=197112 CPUtime=0
/proc/21483/task/21491/stat : 21491 (java) S 21475 21475 17535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985154079 201842688 7940 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 202472

[startup+222.304 s]
/proc/loadavg: 2.07 2.02 2.00 3/102 21503
/proc/meminfo: memFree=1072232/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=156.51
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 375 79560 0 0 0 0 15604 47 18 0 1 0 1985138284 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 238 196 169 0 51 0
[pid=21483] ppid=21475 vsize=197436 CPUtime=6.18
/proc/21483/stat : 21483 (java) S 21475 21475 17535 0 -1 0 13914 0 1 0 596 22 0 0 18 0 10 0 1985154074 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21483/statm: 49359 9411 2544 9 0 43941 0
[pid=21493] ppid=21483 vsize=5356 CPUtime=0
/proc/21493/stat : 21493 (abscon) S 21483 21475 17535 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1985154712 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21493/statm: 1339 237 196 169 0 50 0
[pid=21494] ppid=21493 vsize=655880 CPUtime=57.98
/proc/21494/stat : 21494 (java) S 21493 21475 17535 0 -1 0 123141 0 1 0 5742 56 0 0 18 0 9 0 1985154712 671621120 122543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21494/statm: 163970 122543 2013 9 0 158498 0
[pid=21494/tid=21496] ppid=21493 vsize=655880 CPUtime=50.9
/proc/21494/task/21496/stat : 21496 (java) R 21493 21475 17535 0 -1 64 12559 0 1 0 5079 11 0 0 25 0 9 0 1985154713 671621120 122543 996147200 134512640 134550740 4294955808 18446744073709551615 4127111523 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21494/tid=21497] ppid=21493 vsize=655880 CPUtime=6.81
/proc/21494/task/21497/stat : 21497 (java) S 21493 21475 17535 0 -1 64 109337 0 0 0 638 43 0 0 16 0 9 0 1985154714 671621120 122543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21494/tid=21498] ppid=21493 vsize=655880 CPUtime=0
/proc/21494/task/21498/stat : 21498 (java) S 21493 21475 17535 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1985154714 671621120 122543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21494/tid=21499] ppid=21493 vsize=655880 CPUtime=0
/proc/21494/task/21499/stat : 21499 (java) S 21493 21475 17535 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1985154714 671621120 122543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21494/tid=21500] ppid=21493 vsize=655880 CPUtime=0
/proc/21494/task/21500/stat : 21500 (java) S 21493 21475 17535 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1985154716 671621120 122543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21494/tid=21501] ppid=21493 vsize=655880 CPUtime=0.24
/proc/21494/task/21501/stat : 21501 (java) S 21493 21475 17535 0 -1 64 700 0 0 0 24 0 0 0 16 0 9 0 1985154716 671621120 122543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21494/tid=21502] ppid=21493 vsize=655880 CPUtime=0
/proc/21494/task/21502/stat : 21502 (java) S 21493 21475 17535 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1985154716 671621120 122543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21494/tid=21503] ppid=21493 vsize=655880 CPUtime=0
/proc/21494/task/21503/stat : 21503 (java) S 21493 21475 17535 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1985154716 671621120 122543 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21495] ppid=21493 vsize=7044 CPUtime=0

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

/proc/21483/statm: 49440 9453 2545 9 0 44022 0
[pid=21610] ppid=21483 vsize=5356 CPUtime=0
/proc/21610/stat : 21610 (choco) S 21483 21475 17535 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1985261216 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21610/statm: 1339 238 197 169 0 50 0
[pid=21611] ppid=21610 vsize=658000 CPUtime=492.77
/proc/21611/stat : 21611 (java) S 21610 21475 17535 0 -1 0 1874935 0 1 0 48500 777 0 0 19 0 9 0 1985261217 673792000 146705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21611/statm: 164500 146705 2594 9 0 159029 0
[pid=21611/tid=21612] ppid=21610 vsize=658000 CPUtime=93.9
/proc/21611/task/21612/stat : 21612 (java) S 21610 21475 17535 0 -1 64 12433 0 1 0 9377 13 0 0 17 0 9 0 1985261218 673792000 146705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21613] ppid=21610 vsize=658000 CPUtime=398.55
/proc/21611/task/21613/stat : 21613 (java) R 21610 21475 17535 0 -1 64 1861311 0 0 0 39093 762 0 0 25 0 9 0 1985261219 673792000 146705 996147200 134512640 134550740 4294955936 18446744073709551615 103828982 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21614] ppid=21610 vsize=658000 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21610 21475 17535 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1985261219 673792000 146705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21615] ppid=21610 vsize=658000 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21610 21475 17535 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1985261219 673792000 146705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21616] ppid=21610 vsize=658000 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21610 21475 17535 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1985261221 673792000 146705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21617] ppid=21610 vsize=658000 CPUtime=0.3
/proc/21611/task/21617/stat : 21617 (java) S 21610 21475 17535 0 -1 64 635 0 0 0 29 1 0 0 16 0 9 0 1985261221 673792000 146705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21618] ppid=21610 vsize=658000 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21610 21475 17535 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1985261221 673792000 146705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21619] ppid=21610 vsize=658000 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21610 21475 17535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985261221 673792000 146705 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21483/tid=21484] ppid=21475 vsize=197760 CPUtime=1067.54
/proc/21483/task/21484/stat : 21484 (java) S 21475 21475 17535 0 -1 64 4013 492317 1 1 477 8 106040 229 16 0 10 0 1985154075 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=21483/tid=21485] ppid=21475 vsize=197760 CPUtime=1063.76
/proc/21483/task/21485/stat : 21485 (java) S 21475 21475 17535 0 -1 64 8600 492317 0 1 95 12 106040 229 16 0 10 0 1985154076 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21486] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21486/stat : 21486 (java) S 21475 21475 17535 0 -1 64 11 492317 0 1 0 0 106040 229 16 0 10 0 1985154077 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21487] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21487/stat : 21487 (java) S 21475 21475 17535 0 -1 64 5 492317 0 1 0 0 106040 229 15 0 10 0 1985154077 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21488] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21488/stat : 21488 (java) S 21475 21475 17535 0 -1 64 0 492317 0 1 0 0 106040 229 18 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21489] ppid=21475 vsize=197760 CPUtime=1062.92
/proc/21483/task/21489/stat : 21489 (java) S 21475 21475 17535 0 -1 64 696 492317 0 1 23 0 106040 229 16 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21483/tid=21490] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21490/stat : 21490 (java) S 21475 21475 17535 0 -1 64 1 492317 0 1 0 0 106040 229 19 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21491] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21491/stat : 21491 (java) S 21475 21475 17535 0 -1 64 46 492317 0 1 0 0 106040 229 15 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21609] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21609/stat : 21609 (java) S 21475 21475 17535 0 -1 64 51 492317 0 1 0 0 106040 229 17 0 10 0 1985261216 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1718.17
Current children cumulated vsize (KiB) 866476

[startup+1782.3 s]
/proc/loadavg: 2.14 2.13 2.07 3/101 21621
/proc/meminfo: memFree=944352/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=156.51
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 375 79560 0 0 0 0 15604 47 18 0 1 0 1985138284 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 238 196 169 0 51 0
[pid=21483] ppid=21475 vsize=197760 CPUtime=1068.89
/proc/21483/stat : 21483 (java) S 21475 21475 17535 0 -1 0 14255 492317 1 1 597 23 106040 229 18 0 10 0 1985154074 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21483/statm: 49440 9453 2545 9 0 44022 0
[pid=21610] ppid=21483 vsize=5356 CPUtime=0
/proc/21610/stat : 21610 (choco) S 21483 21475 17535 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1985261216 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21610/statm: 1339 238 197 169 0 50 0
[pid=21611] ppid=21610 vsize=679840 CPUtime=552.75
/proc/21611/stat : 21611 (java) S 21610 21475 17535 0 -1 0 2127386 0 1 0 54396 879 0 0 19 0 9 0 1985261217 696156160 152165 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21611/statm: 169960 152165 2594 9 0 164489 0
[pid=21611/tid=21612] ppid=21610 vsize=679840 CPUtime=96.9
/proc/21611/task/21612/stat : 21612 (java) S 21610 21475 17535 0 -1 64 12453 0 1 0 9677 13 0 0 17 0 9 0 1985261218 696156160 152165 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21613] ppid=21610 vsize=679840 CPUtime=455.53
/proc/21611/task/21613/stat : 21613 (java) R 21610 21475 17535 0 -1 64 2113742 0 0 0 44689 864 0 0 25 0 9 0 1985261219 696156160 152165 996147200 134512640 134550740 4294955936 18446744073709551615 103736814 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21614] ppid=21610 vsize=679840 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21610 21475 17535 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1985261219 696156160 152165 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21615] ppid=21610 vsize=679840 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21610 21475 17535 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1985261219 696156160 152165 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21616] ppid=21610 vsize=679840 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21610 21475 17535 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1985261221 696156160 152165 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21617] ppid=21610 vsize=679840 CPUtime=0.3
/proc/21611/task/21617/stat : 21617 (java) S 21610 21475 17535 0 -1 64 635 0 0 0 29 1 0 0 16 0 9 0 1985261221 696156160 152165 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21618] ppid=21610 vsize=679840 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21610 21475 17535 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1985261221 696156160 152165 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21619] ppid=21610 vsize=679840 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21610 21475 17535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985261221 696156160 152165 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21483/tid=21484] ppid=21475 vsize=197760 CPUtime=1067.54
/proc/21483/task/21484/stat : 21484 (java) S 21475 21475 17535 0 -1 64 4013 492317 1 1 477 8 106040 229 16 0 10 0 1985154075 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=21483/tid=21485] ppid=21475 vsize=197760 CPUtime=1063.76
/proc/21483/task/21485/stat : 21485 (java) S 21475 21475 17535 0 -1 64 8600 492317 0 1 95 12 106040 229 16 0 10 0 1985154076 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21486] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21486/stat : 21486 (java) S 21475 21475 17535 0 -1 64 11 492317 0 1 0 0 106040 229 16 0 10 0 1985154077 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21487] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21487/stat : 21487 (java) S 21475 21475 17535 0 -1 64 5 492317 0 1 0 0 106040 229 15 0 10 0 1985154077 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21488] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21488/stat : 21488 (java) S 21475 21475 17535 0 -1 64 0 492317 0 1 0 0 106040 229 18 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21489] ppid=21475 vsize=197760 CPUtime=1062.92
/proc/21483/task/21489/stat : 21489 (java) S 21475 21475 17535 0 -1 64 696 492317 0 1 23 0 106040 229 16 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21483/tid=21490] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21490/stat : 21490 (java) S 21475 21475 17535 0 -1 64 1 492317 0 1 0 0 106040 229 19 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21491] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21491/stat : 21491 (java) S 21475 21475 17535 0 -1 64 46 492317 0 1 0 0 106040 229 15 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21609] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21609/stat : 21609 (java) S 21475 21475 17535 0 -1 64 51 492317 0 1 0 0 106040 229 17 0 10 0 1985261216 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1778.15
Current children cumulated vsize (KiB) 888316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.2 s]
/proc/loadavg: 2.09 2.12 2.07 3/101 21621
/proc/meminfo: memFree=967776/2055920 swapFree=4180772/4192956
[pid=21475] ppid=21473 vsize=5360 CPUtime=156.51
/proc/21475/stat : 21475 (hydra) S 21473 21475 17535 0 -1 4194304 375 79560 0 0 0 0 15604 47 18 0 1 0 1985138284 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21475/statm: 1340 238 196 169 0 51 0
[pid=21483] ppid=21475 vsize=197760 CPUtime=1068.89
/proc/21483/stat : 21483 (java) S 21475 21475 17535 0 -1 0 14255 492317 1 1 597 23 106040 229 18 0 10 0 1985154074 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21483/statm: 49440 9453 2545 9 0 44022 0
[pid=21610] ppid=21483 vsize=5356 CPUtime=0
/proc/21610/stat : 21610 (choco) S 21483 21475 17535 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1985261216 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 257203692356 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21610/statm: 1339 238 197 169 0 50 0
[pid=21611] ppid=21610 vsize=656352 CPUtime=574.65
/proc/21611/stat : 21611 (java) S 21610 21475 17535 0 -1 0 2212359 0 1 0 56550 915 0 0 19 0 9 0 1985261217 672104448 146293 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21611/statm: 164088 146293 2594 9 0 158617 0
[pid=21611/tid=21612] ppid=21610 vsize=656352 CPUtime=98.04
/proc/21611/task/21612/stat : 21612 (java) S 21610 21475 17535 0 -1 64 12461 0 1 0 9791 13 0 0 17 0 9 0 1985261218 672104448 146293 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21613] ppid=21610 vsize=656352 CPUtime=476.29
/proc/21611/task/21613/stat : 21613 (java) R 21610 21475 17535 0 -1 64 2198707 0 0 0 46729 900 0 0 25 0 9 0 1985261219 672104448 146293 996147200 134512640 134550740 4294955936 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21614] ppid=21610 vsize=656352 CPUtime=0
/proc/21611/task/21614/stat : 21614 (java) S 21610 21475 17535 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1985261219 672104448 146293 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21615] ppid=21610 vsize=656352 CPUtime=0
/proc/21611/task/21615/stat : 21615 (java) S 21610 21475 17535 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1985261219 672104448 146293 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21616] ppid=21610 vsize=656352 CPUtime=0
/proc/21611/task/21616/stat : 21616 (java) S 21610 21475 17535 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1985261221 672104448 146293 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21617] ppid=21610 vsize=656352 CPUtime=0.3
/proc/21611/task/21617/stat : 21617 (java) S 21610 21475 17535 0 -1 64 635 0 0 0 29 1 0 0 16 0 9 0 1985261221 672104448 146293 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21618] ppid=21610 vsize=656352 CPUtime=0
/proc/21611/task/21618/stat : 21618 (java) S 21610 21475 17535 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1985261221 672104448 146293 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21611/tid=21619] ppid=21610 vsize=656352 CPUtime=0
/proc/21611/task/21619/stat : 21619 (java) S 21610 21475 17535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1985261221 672104448 146293 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21483/tid=21484] ppid=21475 vsize=197760 CPUtime=1067.54
/proc/21483/task/21484/stat : 21484 (java) S 21475 21475 17535 0 -1 64 4013 492317 1 1 477 8 106040 229 16 0 10 0 1985154075 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=21483/tid=21485] ppid=21475 vsize=197760 CPUtime=1063.76
/proc/21483/task/21485/stat : 21485 (java) S 21475 21475 17535 0 -1 64 8600 492317 0 1 95 12 106040 229 16 0 10 0 1985154076 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21486] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21486/stat : 21486 (java) S 21475 21475 17535 0 -1 64 11 492317 0 1 0 0 106040 229 16 0 10 0 1985154077 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21487] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21487/stat : 21487 (java) S 21475 21475 17535 0 -1 64 5 492317 0 1 0 0 106040 229 15 0 10 0 1985154077 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21488] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21488/stat : 21488 (java) S 21475 21475 17535 0 -1 64 0 492317 0 1 0 0 106040 229 18 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21489] ppid=21475 vsize=197760 CPUtime=1062.92
/proc/21483/task/21489/stat : 21489 (java) S 21475 21475 17535 0 -1 64 696 492317 0 1 23 0 106040 229 16 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21483/tid=21490] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21490/stat : 21490 (java) S 21475 21475 17535 0 -1 64 1 492317 0 1 0 0 106040 229 19 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21491] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21491/stat : 21491 (java) S 21475 21475 17535 0 -1 64 46 492317 0 1 0 0 106040 229 15 0 10 0 1985154079 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21483/tid=21609] ppid=21475 vsize=197760 CPUtime=1062.69
/proc/21483/task/21609/stat : 21609 (java) S 21475 21475 17535 0 -1 64 51 492317 0 1 0 0 106040 229 17 0 10 0 1985261216 202506240 9453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 864828

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21475 and gives
#  childrusage.ru_utime.tv_sec=156
#  childrusage.ru_utime.tv_usec=41278
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=476927
# CPU time returned by wait4() is 156.518
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1804.23
CPU time (s): 1800.05
CPU user time (s): 1787.91
CPU system time (s): 12.14
CPU usage (%): 99.7681
Max. virtual memory (cumulated for all children) (KiB): 893440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.041
system time used= 0.476927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79935
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= 91
involuntary context switches= 6485

runsolver used 5.51716 second user time and 14.5478 second system time

The end

Launcher Data (download as text)

Begin job on node65 at 2008-07-03 07:08:05
IDJOB=1056125
IDBENCH=57399
IDSOLVER=366
FILE ID=node65/1056125-1215061682
PBS_JOBID= 7875046
Free space on /tmp= 66504 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a5cb3ae7953c75d065027fcec4cf35e2
RANDOM SEED=1894521062

node65.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1583864 kB
Buffers:         52268 kB
Cached:         271868 kB
SwapCached:       6072 kB
Active:         307360 kB
Inactive:        92804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1583864 kB
SwapTotal:     4192956 kB
SwapFree:      4180772 kB
Dirty:           67664 kB
Writeback:           0 kB
Mapped:          89612 kB
Slab:            56876 kB
Committed_AS:  4635764 kB
PageTables:       1992 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= 66484 MiB
End job on node65 at 2008-07-03 07:38:11