Trace number 1108967

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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar++ v1.13+minisat-incOPTIMUM4 100.84 100.826

General information on the benchmark

Namecsp/latinSquare/
normalized-latinSquare-dg-8_all.xml
MD5SUM0c177442828a6d2881a24fd8c0888647
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints4
Best CPU time to get the best result obtained on this benchmark100.84
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints32
Maximum constraint arity8
Maximum domain size8
Number of constraints which are defined in extension0
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)alldifferent(32)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.06	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.06	c 0	BEGIN Fri Jul 11 19:44:48 2008
0.00/0.06	c 0	PID 12591
0.00/0.07	c 0	HOST node20.alineos.net
0.00/0.07	c 0	CONVERTING HOME/instance-1108967-1215798288.xml TO HOME/temp.csp
0.00/0.07	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1108967-1215798288.xml' 'HOME/temp.csp'
0.06/0.21	c 0	1 domains, 64 variables, 0 predicates, 0 relations, 32 constraints
0.06/0.22	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.22	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.06/0.29	c 0	Parsing HOME/temp.csp
0.23/0.32	c 0	parsed 97 expressions
0.23/0.33	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.23/0.33	c 0	MAX CSP: 32 constraints
0.23/0.33	c 0	Converting to clausal form CSP
0.23/0.34	c 0	converted 14 (10%) expressions
0.23/0.35	c 0	converted 27 (20%) expressions
0.23/0.35	c 0	converted 40 (30%) expressions
0.23/0.35	c 0	converted 53 (40%) expressions
0.23/0.35	c 0	converted 66 (50%) expressions
0.23/0.40	c 0	converted 80 (60%) expressions
0.23/0.41	c 0	converted 93 (70%) expressions
0.23/0.44	c 0	converted 106 (80%) expressions
0.23/0.46	c 0	converted 119 (90%) expressions
0.23/0.48	c 0	converted 132 (100%) expressions
0.23/0.48	c 0	CSP : 128 integers, 32 booleans, 1055 clauses, largest domain size 49
0.23/0.48	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.23/0.48	c 0	Propagation in CSP
0.23/0.50	c 0	31 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.23/0.50	c 0	CSP : 128 integers, 32 booleans, 1055 clauses, largest domain size 33
0.23/0.50	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.23/0.50	c 0	Simplifing CSP by introducing new Boolean variables
0.23/0.52	c 0	CSP : 128 integers, 1824 booleans, 2847 clauses, largest domain size 33
0.23/0.52	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.23/0.55	c 0	Encoding CSP to SAT : HOME/temp.cnf
0.23/0.55	c 0	13 (10%) CSP integer variables are encoded (78 clauses, 751 bytes)
0.23/0.56	c 0	26 (20%) CSP integer variables are encoded (156 clauses, 1596 bytes)
0.23/0.56	c 0	39 (30%) CSP integer variables are encoded (234 clauses, 2454 bytes)
0.23/0.56	c 0	52 (40%) CSP integer variables are encoded (312 clauses, 3312 bytes)
0.23/0.56	c 0	64 (50%) CSP integer variables are encoded (384 clauses, 4104 bytes)
0.23/0.56	c 0	77 (60%) CSP integer variables are encoded (384 clauses, 4104 bytes)
0.23/0.56	c 0	90 (70%) CSP integer variables are encoded (384 clauses, 4104 bytes)
0.23/0.56	c 0	103 (80%) CSP integer variables are encoded (511 clauses, 5501 bytes)
0.23/0.56	c 0	116 (90%) CSP integer variables are encoded (598 clauses, 6458 bytes)
0.23/0.56	c 0	128 (100%) CSP integer variables are encoded (642 clauses, 6942 bytes)
0.23/0.58	c 0	285 (10%) CSP clauses are encoded (2215 clauses, 28780 bytes)
0.23/0.59	c 0	570 (20%) CSP clauses are encoded (3788 clauses, 53226 bytes)
0.23/0.59	c 0	855 (30%) CSP clauses are encoded (5361 clauses, 77820 bytes)
0.23/0.60	c 0	1139 (40%) CSP clauses are encoded (6912 clauses, 102089 bytes)
0.23/0.61	c 0	1424 (50%) CSP clauses are encoded (8485 clauses, 126600 bytes)
0.23/0.61	c 0	1709 (60%) CSP clauses are encoded (10058 clauses, 151273 bytes)
0.23/0.62	c 0	1993 (70%) CSP clauses are encoded (11623 clauses, 175982 bytes)
0.23/0.63	c 0	2278 (80%) CSP clauses are encoded (13182 clauses, 200169 bytes)
0.23/0.63	c 0	2563 (90%) CSP clauses are encoded (14755 clauses, 225392 bytes)
0.23/0.64	c 0	2847 (100%) CSP clauses are encoded (17766 clauses, 270262 bytes)
0.23/0.64	c 0	2847 CSP clauses encoded
0.23/0.64	c 0	Writing map file : HOME/temp.map
0.23/0.64	c 0	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.23/0.64	c 0	SAT : 2594 SAT variables, 17766 SAT clauses, 270262 bytes
0.23/0.64	c 0	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.23/0.69	c 0	OBJECTIVE minimize _COST
0.23/0.69	c 0	SOLVING HOME/temp.cnf
0.23/0.69	c 0	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
0.23/0.69	c 0	This is MiniSat 2.0 beta incremental
0.23/0.69	c 0	WARNING: for repeatability, setting FPU to use double precision
0.23/0.69	c 0	============================[ Problem Statistics ]=============================
0.23/0.69	c 0	|                                                                             |
0.23/0.69	c 0	|  Number of variables:  2594                                                 |
0.23/0.69	c 0	|  Number of clauses:    17766                                                |
0.83/0.70	c 0	|  Parsing time:         0.01         s                                       |
0.83/0.70	c 0	OK
0.83/0.70	c 0	OBJECTIVE BOUND: 0 <= _COST <= 
0.83/0.70	c 0	SEARCHING: _COST <= 16
0.83/0.70	c 0	============================[ Search Statistics ]==============================
0.83/0.70	c 0	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.83/0.70	c 0	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.83/0.70	c 0	===============================================================================
0.83/0.70	c 0	|         0 |    2594    17766    48876 |     5922        0    nan |  0.000 % |
0.83/0.71	c 0	===============================================================================
0.83/0.71	c 0	restarts              : 1
0.83/0.71	c 0	conflicts             : 45            (3215 /sec)
0.83/0.71	c 0	decisions             : 1010          (1.78 % random) (72158 /sec)
0.83/0.71	c 0	propagations          : 9960           (711581 /sec)
0.83/0.71	c 0	conflict literals     : 1072           (2.81 % deleted)
0.83/0.71	c 0	Memory used           : 2.61 MB
0.83/0.71	c 0	CPU time              : 0.013997 s
0.83/0.71	c 0	
0.83/0.71	c 0	SATISFIABLE
0.83/0.71	c 0	OK
0.83/0.71	c 0	FOUND: _COST <= 16
0.83/0.71	s SATISFIABLE
0.83/0.71	c 0	DECODING HOME/temp.out WITH HOME/temp.map
0.83/0.71	c 0	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
0.83/0.78	c 0	Decoding HOME/temp.out
0.83/0.81	c 0	OBJECTIVE _COST 16
0.83/0.81	o 16
0.83/0.81	v 7 5 1 3 4 2 0 6 3 6 0 2 0 5 7 5 4 2 5 1 7 6 6 0 6 7 3 2 3 4 2 7 1 4 6 7 1 7 5 7 5 0 7 0 6 0 4 6 0 1 2 1 2 1 3 6 2 3 4 3 5 0 7 4
0.83/0.82	c 0	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
0.83/0.87	c 0	OK
0.83/0.87	c 0	OBJECTIVE BOUND: 0 <= _COST <= 16
0.83/0.87	c 0	SEARCHING: _COST <= 8
0.83/0.87	c 0	============================[ Search Statistics ]==============================
0.83/0.87	c 0	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.83/0.87	c 0	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.83/0.87	c 0	===============================================================================
0.83/0.87	c 0	|        45 |    2594    17766    48876 |     5922       45     24 |  0.000 % |
0.83/0.87	c 0	|       147 |    2594    17766    48876 |     6514      147     30 |  3.702 % |
0.83/0.88	c 0	|       297 |    2594    17766    48876 |     7165      297     30 |  3.702 % |
0.95/0.90	c 1	|       522 |    2498    17033    46949 |     7882      522     30 |  3.702 % |
0.95/0.93	c 1	|       860 |    2498    17033    46949 |     8670      860     29 |  3.702 % |
0.95/0.96	c 1	|      1366 |    2498    17033    46949 |     9537     1366     28 |  3.702 % |
1.09/1.01	c 1	|      2125 |    2498    17033    46949 |    10491     2125     27 |  3.702 % |
1.09/1.09	c 1	|      3264 |    2498    17033    46949 |    11540     3264     27 |  3.702 % |
1.38/1.32	c 1	|      4972 |    2498    17033    46949 |    12694     4972     31 |  3.702 % |
1.68/1.64	c 1	|      7535 |    2498    17033    46949 |    13963     7535     34 |  3.702 % |
2.18/2.12	c 2	|     11380 |    2498    17033    46949 |    15360    11380     35 |  3.702 % |
2.78/2.77	c 2	|     17146 |    2498    17033    46949 |    16896     8782     33 |  3.702 % |
4.08/4.03	c 4	|     25795 |    2498    17033    46949 |    18585    17431     33 |  3.702 % |
6.08/6.07	c 6	|     38769 |    2498    17033    46949 |    20444    10377     36 |  3.702 % |
10.18/10.16	c 10	|     58230 |    2498    17033    46949 |    22488    19129     41 |  3.702 % |
16.77/16.74	c 16	|     87423 |    2498    17033    46949 |    24737    12702     42 |  3.702 % |
30.78/30.74	c 30	|    131213 |    2498    17033    46949 |    27211    17728     44 |  3.702 % |
47.77/47.73	c 47	|    196897 |    2498    17033    46949 |    29932    23952     45 |  3.702 % |
81.05/81.03	c 81	|    295423 |    2498    17033    46949 |    32925    26164     45 |  3.702 % |
83.65/83.64	c 83	===============================================================================
83.65/83.64	c 83	restarts              : 20
83.65/83.64	c 83	conflicts             : 310242        (3751 /sec)
83.65/83.64	c 83	decisions             : 386369        (1.05 % random) (4671 /sec)
83.65/83.64	c 83	propagations          : 64173305       (775823 /sec)
83.65/83.64	c 83	conflict literals     : 13940447       (6.33 % deleted)
83.65/83.64	c 83	Memory used           : 11.83 MB
83.65/83.64	c 83	CPU time              : 82.7164 s
83.65/83.64	c 83	
83.65/83.64	c 83	SATISFIABLE
83.65/83.64	c 83	OK
83.65/83.64	c 83	FOUND: _COST <= 8
83.65/83.64	c 83	DECODING HOME/temp.out WITH HOME/temp.map
83.65/83.64	c 83	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
83.69/83.72	c 83	Decoding HOME/temp.out
83.69/83.75	c 83	OBJECTIVE _COST 8
83.69/83.75	o 8
83.69/83.75	v 1 2 3 5 6 0 7 4 3 5 0 4 2 7 1 6 0 1 2 6 7 3 4 5 2 4 7 0 5 1 6 3 6 3 5 2 1 4 0 7 4 7 6 1 0 5 3 2 5 0 4 7 3 6 2 1 7 6 1 3 4 2 5 0
83.69/83.76	c 83	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
83.69/83.82	c 83	OK
83.69/83.82	c 83	OBJECTIVE BOUND: 0 <= _COST <= 8
83.69/83.82	c 83	SEARCHING: _COST <= 4
83.69/83.82	c 83	============================[ Search Statistics ]==============================
83.69/83.82	c 83	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
83.69/83.82	c 83	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
83.69/83.82	c 83	===============================================================================
83.69/83.82	c 83	|    310242 |    2442    16589    45777 |     5529    20597     38 |  3.702 % |
83.69/83.85	c 83	|    310342 |    2442    16589    45777 |     6082     5250     32 |  5.860 % |
83.69/83.86	c 83	|    310493 |    2442    16589    45777 |     6690     5401     32 |  5.860 % |
83.69/83.88	c 83	|    310718 |    2442    16589    45777 |     7359     5626     32 |  5.860 % |
83.92/83.90	c 84	|    311055 |    2442    16589    45777 |     8095     5963     31 |  5.860 % |
83.92/83.94	c 84	|    311561 |    2442    16589    45777 |     8905     6469     31 |  5.860 % |
84.02/84.05	c 84	|    312321 |    2442    16589    45777 |     9796     7229     31 |  5.860 % |
84.12/84.16	c 84	|    313460 |    2442    16589    45777 |    10775     8368     30 |  5.860 % |
84.32/84.33	c 84	|    315170 |    2442    16589    45777 |    11853    10078     29 |  5.860 % |
84.63/84.64	c 84	|    317732 |    2442    16589    45777 |    13038    12640     29 |  5.860 % |
85.12/85.10	c 85	|    321577 |    2442    16589    45777 |    14342     9788     25 |  5.860 % |
85.92/85.96	c 86	===============================================================================
85.92/85.96	c 86	restarts              : 31
85.92/85.96	c 86	conflicts             : 327126        (3854 /sec)
85.92/85.96	c 86	decisions             : 405266        (1.07 % random) (4775 /sec)
85.92/85.96	c 86	propagations          : 67387129       (794013 /sec)
85.92/85.96	c 86	conflict literals     : 14399453       (6.83 % deleted)
85.92/85.96	c 86	Memory used           : 11.83 MB
85.92/85.96	c 86	CPU time              : 84.8691 s
85.92/85.96	c 86	
85.92/85.96	c 86	SATISFIABLE
85.92/85.96	c 86	OK
85.92/85.96	c 86	FOUND: _COST <= 4
85.92/85.96	c 86	DECODING HOME/temp.out WITH HOME/temp.map
85.92/85.96	c 86	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
85.99/86.03	c 86	Decoding HOME/temp.out
85.99/86.07	c 86	OBJECTIVE _COST 4
85.99/86.07	o 4
85.99/86.07	v 0 6 7 3 1 2 5 4 6 1 4 7 2 0 3 5 4 2 3 5 6 1 7 0 1 0 5 2 7 6 4 3 5 7 1 0 4 3 2 6 7 4 6 1 3 5 0 2 3 5 2 4 0 7 6 1 2 3 0 6 5 4 1 7
85.99/86.07	c 86	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
85.99/86.12	c 86	OK
85.99/86.12	c 86	OBJECTIVE BOUND: 0 <= _COST <= 4
85.99/86.12	c 86	SEARCHING: _COST <= 2
85.99/86.12	c 86	============================[ Search Statistics ]==============================
85.99/86.12	c 86	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
85.99/86.12	c 86	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
85.99/86.12	c 86	===============================================================================
85.99/86.12	c 86	|    327126 |    2402    16243    44855 |     5414    15337     27 |  5.860 % |
85.99/86.15	c 86	|    327226 |    2402    16243    44855 |     5955     3935     32 |  7.402 % |
85.99/86.16	c 86	|    327376 |    2402    16243    44855 |     6551     4085     32 |  7.402 % |
85.99/86.18	c 86	|    327601 |    2402    16243    44855 |     7206     4310     32 |  7.402 % |
86.19/86.22	c 86	|    327938 |    2402    16243    44855 |     7927     4647     32 |  7.402 % |
86.19/86.27	c 86	|    328444 |    2402    16243    44855 |     8719     5153     32 |  7.402 % |
86.29/86.37	c 86	|    329203 |    2402    16243    44855 |     9591     5912     32 |  7.402 % |
86.49/86.55	c 86	|    330342 |    2402    16243    44855 |    10551     7051     32 |  7.402 % |
86.79/86.83	c 86	|    332051 |    2402    16243    44855 |    11606     8760     31 |  7.402 % |
87.29/87.34	c 87	|    334613 |    2402    16243    44855 |    12766    11322     30 |  7.402 % |
87.89/88.00	c 88	|    338457 |    2402    16243    44855 |    14043     8609     24 |  7.402 % |
88.19/88.23	c 88	===============================================================================
88.19/88.23	c 88	restarts              : 42
88.19/88.23	c 88	conflicts             : 339802        (3907 /sec)
88.19/88.23	c 88	decisions             : 420355        (1.09 % random) (4833 /sec)
88.19/88.23	c 88	propagations          : 69312777       (796911 /sec)
88.19/88.23	c 88	conflict literals     : 14731933       (7.24 % deleted)
88.19/88.23	c 88	Memory used           : 11.83 MB
88.19/88.23	c 88	CPU time              : 86.9768 s
88.19/88.23	c 88	
88.19/88.23	c 88	UNSATISFIABLE
88.19/88.23	c 88	OK
88.19/88.23	c 88	NOT FOUND: _COST <= 2
88.19/88.23	c 88	OK
88.19/88.23	c 88	OBJECTIVE BOUND: 3 <= _COST <= 4
88.19/88.23	c 88	SEARCHING: _COST <= 3
88.19/88.23	c 88	============================[ Search Statistics ]==============================
88.19/88.23	c 88	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
88.19/88.23	c 88	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
88.19/88.23	c 88	===============================================================================
88.19/88.23	c 88	|    339802 |    2396    16219    44801 |     5406     5053     26 |  7.402 % |
88.19/88.25	c 88	|    339905 |    2396    16219    44801 |     5946     5156     26 |  7.633 % |
88.19/88.28	c 88	|    340056 |    2396    16219    44801 |     6541     5307     26 |  7.633 % |
88.29/88.31	c 88	|    340281 |    2396    16219    44801 |     7195     5532     26 |  7.633 % |
88.29/88.37	c 88	|    340620 |    2396    16219    44801 |     7915     5871     27 |  7.633 % |
88.39/88.44	c 88	|    341126 |    2396    16219    44801 |     8706     6377     27 |  7.633 % |
88.49/88.57	c 88	|    341885 |    2396    16219    44801 |     9577     7136     27 |  7.633 % |
88.69/88.77	c 88	|    343025 |    2396    16219    44801 |    10535     8276     27 |  7.633 % |
89.09/89.13	c 89	|    344733 |    2396    16219    44801 |    11588     9984     27 |  7.633 % |
89.59/89.65	c 89	|    347299 |    2396    16219    44801 |    12747     6599     25 |  7.633 % |
90.19/90.28	c 90	|    351144 |    2396    16219    44801 |    14022    10444     27 |  7.633 % |
91.39/91.41	c 91	|    356910 |    2396    16219    44801 |    15424     9016     28 |  7.633 % |
92.99/93.06	c 93	|    365560 |    2396    16219    44801 |    16967     9769     26 |  7.633 % |
95.38/95.48	c 95	|    378534 |    2396    16219    44801 |    18664    14060     26 |  7.633 % |
99.88/99.93	c 100	|    397995 |    2396    16219    44801 |    20530    14494     25 |  7.634 % |
100.78/100.82	c 100	===============================================================================
100.78/100.82	c 100	restarts              : 57
100.78/100.82	c 100	conflicts             : 401842        (4036 /sec)
100.78/100.82	c 100	decisions             : 493507        (1.20 % random) (4957 /sec)
100.78/100.82	c 100	propagations          : 78447462       (787974 /sec)
100.78/100.82	c 100	conflict literals     : 16419045       (9.16 % deleted)
100.78/100.82	c 100	Memory used           : 12.12 MB
100.78/100.82	c 100	CPU time              : 99.5559 s
100.78/100.82	c 100	
100.78/100.82	c 100	UNSATISFIABLE
100.78/100.82	c 100	OK
100.78/100.82	c 100	NOT FOUND: _COST <= 3
100.78/100.82	c 100	OK
100.78/100.82	c 100	OBJECTIVE _COST 4
100.78/100.82	s OPTIMUM FOUND
100.78/100.82	c 100	CPU 100.64 (0.06 0.01 100.58 0.16)
100.78/100.82	c 100	END Fri Jul 11 19:46:28 2008

Verifier Data (download as text)

OK	4	28
4 unsatisfied constraints, 28 satisfied constraints

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-1108967-1215798288/watcher-1108967-1215798288 -o /tmp/evaluation-result-1108967-1215798288/solver-1108967-1215798288 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1108967-1215798288.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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: 0.87 0.98 1.27 2/64 12591
/proc/meminfo: memFree=1946432/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=12272 CPUtime=0
/proc/12591/stat : 12591 (sugar++) R 12589 12591 11448 0 -1 4194304 379 0 0 0 0 0 0 0 18 0 1 0 36530959 12566528 347 996147200 4194304 4206940 548682068528 18446744073709551615 273952445153 0 0 4224 0 0 0 0 17 0 0 0
/proc/12591/statm: 3068 348 258 3 0 168 0

[startup+0.0138779 s]
/proc/loadavg: 0.87 0.98 1.27 2/64 12591
/proc/meminfo: memFree=1946432/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=12544 CPUtime=0
/proc/12591/stat : 12591 (sugar++) R 12589 12591 11448 0 -1 4194304 501 0 0 0 0 0 0 0 18 0 1 0 36530959 12845056 469 996147200 4194304 4206940 548682068528 18446744073709551615 273952439156 0 0 4224 0 0 0 0 17 0 0 0
/proc/12591/statm: 3136 469 298 3 0 236 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12544

[startup+0.101898 s]
/proc/loadavg: 0.87 0.98 1.27 2/64 12591
/proc/meminfo: memFree=1946432/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=0.06
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 36530959 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.301937 s]
/proc/loadavg: 0.87 0.98 1.27 2/64 12591
/proc/meminfo: memFree=1946432/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=0.23
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1296 4139 0 1 5 1 15 2 15 0 1 0 36530959 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 16740

[startup+0.702023 s]
/proc/loadavg: 0.87 0.98 1.27 2/64 12591
/proc/meminfo: memFree=1946432/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=0.83
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1450 10859 0 2 5 1 71 6 16 0 1 0 36530959 17141760 1110 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1110 413 3 0 764 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 16740

[startup+1.50218 s]
/proc/loadavg: 0.87 0.98 1.27 2/66 12624
/proc/meminfo: memFree=1941488/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=0.95
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1544 14583 0 3 5 1 81 8 15 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=3864 CPUtime=0.63
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 724 0 0 0 63 0 0 0 21 0 1 0 36531028 3956736 671 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/12614/statm: 966 671 79 151 0 812 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 20604

[startup+3.10148 s]
/proc/loadavg: 0.87 0.98 1.27 2/66 12624
/proc/meminfo: memFree=1939632/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=0.95
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1544 14583 0 3 5 1 81 8 15 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=5600 CPUtime=2.23
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 1182 0 0 0 222 1 0 0 25 0 1 0 36531028 5734400 1129 996147200 134512640 135134323 4294956192 18446744073709551615 134532031 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 1400 1129 79 151 0 1246 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 22340

[startup+6.30111 s]
/proc/loadavg: 0.88 0.98 1.27 2/66 12624
/proc/meminfo: memFree=1938160/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=0.95
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1544 14583 0 3 5 1 81 8 16 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=6528 CPUtime=5.43
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 1400 0 0 0 542 1 0 0 25 0 1 0 36531028 6684672 1347 996147200 134512640 135134323 4294956192 18446744073709551615 134532322 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 1632 1347 79 151 0 1478 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 23268

[startup+12.7014 s]
/proc/loadavg: 0.89 0.98 1.26 2/66 12624
/proc/meminfo: memFree=1936496/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=0.95
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1544 14583 0 3 5 1 81 8 16 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=7848 CPUtime=11.82
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 1732 0 0 0 1181 1 0 0 25 0 1 0 36531028 8036352 1679 996147200 134512640 135134323 4294956192 18446744073709551615 134531141 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 1962 1679 79 151 0 1808 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 24588

[startup+25.5019 s]
/proc/loadavg: 0.91 0.98 1.26 2/66 12624
/proc/meminfo: memFree=1935152/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=0.96
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1544 14583 0 3 6 1 81 8 16 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=9300 CPUtime=24.61
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 2096 0 0 0 2460 1 0 0 25 0 1 0 36531028 9523200 2043 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 2325 2043 79 151 0 2171 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 26040

[startup+51.1019 s]
/proc/loadavg: 0.94 0.98 1.25 2/66 12624
/proc/meminfo: memFree=1934000/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=0.96
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1544 14583 0 3 6 1 81 8 16 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=10520 CPUtime=50.21
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 2400 0 0 0 5019 2 0 0 25 0 1 0 36531028 10772480 2347 996147200 134512640 135134323 4294956192 18446744073709551615 134532031 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 2630 2347 79 151 0 2476 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 27260

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

[startup+76.7019 s]
/proc/loadavg: 0.96 0.98 1.24 2/66 12624
/proc/meminfo: memFree=1933232/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=0.96
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1544 14583 0 3 6 1 81 8 16 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=11448 CPUtime=75.8
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 2600 0 0 0 7578 2 0 0 25 0 1 0 36531028 11722752 2547 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 2862 2547 79 151 0 2708 0
Current children cumulated CPU time (s) 76.76
Current children cumulated vsize (KiB) 28188

[startup+89.5014 s]
/proc/loadavg: 0.97 0.98 1.24 2/66 12644
/proc/meminfo: memFree=1932016/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=1.23
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1684 22028 0 5 6 1 102 14 15 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=12108 CPUtime=88.26
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 2784 0 0 0 8824 2 0 0 25 0 1 0 36531028 12398592 2725 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 3027 2725 79 151 0 2873 0
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (KiB) 28848

[startup+95.9017 s]
/proc/loadavg: 0.97 0.98 1.24 2/66 12644
/proc/meminfo: memFree=1932016/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=1.23
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1684 22028 0 5 6 1 102 14 16 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=12108 CPUtime=94.65
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 2800 0 0 0 9463 2 0 0 25 0 1 0 36531028 12398592 2741 996147200 134512640 135134323 4294956192 18446744073709551615 134532085 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 3027 2741 79 151 0 2873 0
Current children cumulated CPU time (s) 95.88
Current children cumulated vsize (KiB) 28848

[startup+99.1013 s]
/proc/loadavg: 0.97 0.98 1.24 2/66 12644
/proc/meminfo: memFree=1932016/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=1.23
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1684 22028 0 5 6 1 102 14 16 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=12412 CPUtime=97.85
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 2841 0 0 0 9783 2 0 0 25 0 1 0 36531028 12709888 2782 996147200 134512640 135134323 4294956192 18446744073709551615 134532046 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 3103 2782 79 151 0 2949 0
Current children cumulated CPU time (s) 99.08
Current children cumulated vsize (KiB) 29152

[startup+99.9015 s]
/proc/loadavg: 0.97 0.98 1.24 2/66 12644
/proc/meminfo: memFree=1932016/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=1.23
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1684 22028 0 5 6 1 102 14 16 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=12412 CPUtime=98.65
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 2841 0 0 0 9863 2 0 0 25 0 1 0 36531028 12709888 2782 996147200 134512640 135134323 4294956192 18446744073709551615 134522902 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 3103 2782 79 151 0 2949 0
Current children cumulated CPU time (s) 99.88
Current children cumulated vsize (KiB) 29152

[startup+100.302 s]
/proc/loadavg: 0.97 0.98 1.24 2/66 12644
/proc/meminfo: memFree=1932016/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=1.23
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1684 22028 0 5 6 1 102 14 16 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=12412 CPUtime=99.05
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 2841 0 0 0 9903 2 0 0 25 0 1 0 36531028 12709888 2782 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 3103 2782 79 151 0 2949 0
Current children cumulated CPU time (s) 100.28
Current children cumulated vsize (KiB) 29152

[startup+100.702 s]
/proc/loadavg: 0.97 0.98 1.24 2/66 12644
/proc/meminfo: memFree=1932016/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=1.23
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1684 22028 0 5 6 1 102 14 16 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=12412 CPUtime=99.45
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 2841 0 0 0 9943 2 0 0 25 0 1 0 36531028 12709888 2782 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 3103 2782 79 151 0 2949 0
Current children cumulated CPU time (s) 100.68
Current children cumulated vsize (KiB) 29152

[startup+100.802 s]
/proc/loadavg: 0.97 0.98 1.24 2/66 12644
/proc/meminfo: memFree=1932016/2055920 swapFree=4181068/4192956
[pid=12591] ppid=12589 vsize=16740 CPUtime=1.23
/proc/12591/stat : 12591 (sugar++) S 12589 12591 11448 0 -1 4194304 1684 22028 0 5 6 1 102 14 16 0 1 0 36530959 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12591/statm: 4185 1114 414 3 0 764 0
[pid=12614] ppid=12591 vsize=12412 CPUtime=99.55
/proc/12614/stat : 12614 (minisat-inc) R 12591 12591 11448 0 -1 4194304 2841 0 0 0 9953 2 0 0 25 0 1 0 36531028 12709888 2782 996147200 134512640 135134323 4294956192 18446744073709551615 134524688 0 0 4096 3 0 0 0 17 0 0 0
/proc/12614/statm: 3103 2782 79 151 0 2949 0
Current children cumulated CPU time (s) 100.78
Current children cumulated vsize (KiB) 29152

Child status: 0
Real time (s): 100.826
CPU time (s): 100.84
CPU user time (s): 100.651
CPU system time (s): 0.188971
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 29152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.651
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26632
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1137
involuntary context switches= 997

runsolver used 0.110983 second user time and 0.273958 second system time

The end

Launcher Data (download as text)

Begin job on node20 at 2008-07-11 19:44:48
IDJOB=1108967
IDBENCH=60846
IDSOLVER=367
FILE ID=node20/1108967-1215798288
PBS_JOBID= 7903155
Free space on /tmp= 66504 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/latinSquare/normalized-latinSquare-dg-8_all.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1108967-1215798288/watcher-1108967-1215798288 -o /tmp/evaluation-result-1108967-1215798288/solver-1108967-1215798288 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1108967-1215798288.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0c177442828a6d2881a24fd8c0888647
RANDOM SEED=1219033782

node20.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.263
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.263
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:       1946976 kB
Buffers:         12592 kB
Cached:          38280 kB
SwapCached:       5432 kB
Active:          40128 kB
Inactive:        18392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1946976 kB
SwapTotal:     4192956 kB
SwapFree:      4181068 kB
Dirty:            1188 kB
Writeback:           0 kB
Mapped:          13520 kB
Slab:            36432 kB
Committed_AS:    79012 kB
PageTables:       1476 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 node20 at 2008-07-11 19:46:29