Trace number 1115195

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-incOPTIMUM1 665.894 672.485

General information on the benchmark

Namecsp/tightness0.8/
normalized-rand-2-40-80-103-800-29_ext.xml
MD5SUM8823420e0241e370f98d21e03c99933a
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark615.293
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints103
Maximum constraint arity2
Maximum domain size80
Number of constraints which are defined in extension103
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

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.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08	c 0	BEGIN Sun Jul 13 04:33:01 2008
0.00/0.08	c 0	PID 15644
0.00/0.08	c 0	HOST node40.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-1115195-1215916381.xml TO HOME/temp.csp
0.00/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1115195-1215916381.xml' 'HOME/temp.csp'
0.07/0.75	c 1	1 domains, 40 variables, 0 predicates, 103 relations, 103 constraints
0.07/0.77	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.77	c 1	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.72/0.85	c 1	Parsing HOME/temp.csp
1.72/1.82	c 2	parsed 247 expressions
1.72/1.82	c 2	Heap : 13 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.72/1.82	c 2	MAX CSP: 103 constraints
1.72/1.82	c 2	Converting to clausal form CSP
1.72/1.84	c 2	converted 36 (10%) expressions
1.72/1.86	c 2	converted 71 (20%) expressions
1.72/1.86	c 2	converted 106 (30%) expressions
1.72/1.88	c 2	converted 142 (40%) expressions
1.82/1.95	c 2	converted 177 (50%) expressions
1.82/2.00	c 2	converted 212 (60%) expressions
2.01/2.20	c 3	converted 248 (70%) expressions
2.11/2.27	c 3	converted 283 (80%) expressions
2.21/2.34	c 3	converted 318 (90%) expressions
2.30/2.44	c 3	converted 353 (100%) expressions
2.30/2.44	c 3	CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 155
2.30/2.44	c 3	Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.30/2.44	c 3	Propagation in CSP
2.30/2.46	c 3	98 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.30/2.46	c 3	CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 104
2.30/2.46	c 3	Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.30/2.46	c 3	Simplifing CSP by introducing new Boolean variables
2.30/2.46	c 3	CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 104
2.30/2.46	c 3	Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.40/2.55	c 3	Encoding CSP to SAT : HOME/temp.cnf
2.40/2.58	c 3	25 (10%) CSP integer variables are encoded (1950 clauses, 23229 bytes)
2.40/2.58	c 3	50 (20%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.40/2.58	c 3	74 (30%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.40/2.58	c 3	99 (40%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.40/2.58	c 3	123 (50%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.40/2.58	c 3	148 (60%) CSP integer variables are encoded (3228 clauses, 39843 bytes)
2.40/2.58	c 3	173 (70%) CSP integer variables are encoded (3327 clauses, 41130 bytes)
2.40/2.58	c 3	197 (80%) CSP integer variables are encoded (3473 clauses, 43028 bytes)
2.40/2.58	c 3	222 (90%) CSP integer variables are encoded (3572 clauses, 44315 bytes)
2.40/2.58	c 3	246 (100%) CSP integer variables are encoded (4234 clauses, 52921 bytes)
2.70/2.88	c 3	31 (10%) CSP clauses are encoded (36524 clauses, 904028 bytes)
3.00/3.14	c 3	62 (20%) CSP clauses are encoded (68883 clauses, 1782767 bytes)
3.29/3.40	c 4	93 (30%) CSP clauses are encoded (101061 clauses, 2717968 bytes)
3.29/3.49	c 4	124 (40%) CSP clauses are encoded (111646 clauses, 3025133 bytes)
3.29/3.50	c 4	154 (50%) CSP clauses are encoded (112418 clauses, 3038399 bytes)
3.29/3.50	c 4	185 (60%) CSP clauses are encoded (112703 clauses, 3043033 bytes)
3.39/3.50	c 4	216 (70%) CSP clauses are encoded (114832 clauses, 3080957 bytes)
3.39/3.50	c 4	247 (80%) CSP clauses are encoded (115127 clauses, 3085754 bytes)
3.39/3.51	c 4	278 (90%) CSP clauses are encoded (115866 clauses, 3098451 bytes)
3.39/3.53	c 4	308 (100%) CSP clauses are encoded (126955 clauses, 3295811 bytes)
3.39/3.53	c 4	308 CSP clauses encoded
3.39/3.53	c 4	Writing map file : HOME/temp.map
3.39/3.54	c 4	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.39/3.54	c 4	SAT : 4480 SAT variables, 126955 SAT clauses, 3295811 bytes
3.39/3.54	c 4	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.39/3.58	c 4	OBJECTIVE minimize _COST
3.39/3.58	c 4	SOLVING HOME/temp.cnf
3.39/3.58	c 4	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
3.39/3.58	c 4	This is MiniSat 2.0 beta incremental
3.39/3.58	c 4	WARNING: for repeatability, setting FPU to use double precision
3.39/3.58	c 4	============================[ Problem Statistics ]=============================
3.39/3.58	c 4	|                                                                             |
3.39/3.58	c 4	|  Number of variables:  4480                                                 |
3.39/3.58	c 4	|  Number of clauses:    126955                                               |
3.46/3.66	c 4	|  Parsing time:         0.07         s                                       |
3.46/3.66	c 4	OK
3.46/3.66	c 4	OBJECTIVE BOUND: 0 <= _COST <= 
3.46/3.66	c 4	SEARCHING: _COST <= 52
3.46/3.66	c 4	============================[ Search Statistics ]==============================
3.46/3.66	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.46/3.66	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.46/3.66	c 4	===============================================================================
3.46/3.66	c 4	|         0 |    4480   126955   573110 |    42318        0    nan |  0.000 % |
3.46/3.71	c 4	|       100 |    4480   126955   573110 |    46550      100     29 |  0.002 % |
3.46/3.75	c 4	|       250 |    4480   126955   573110 |    51205      250     27 |  0.002 % |
3.46/3.76	c 4	===============================================================================
3.46/3.76	c 4	restarts              : 3
3.46/3.76	c 4	conflicts             : 257           (1486 /sec)
3.46/3.76	c 4	decisions             : 655           (1.07 % random) (3787 /sec)
3.46/3.76	c 4	propagations          : 80283          (464136 /sec)
3.46/3.76	c 4	conflict literals     : 6753           (28.22 % deleted)
3.46/3.76	c 4	Memory used           : 8.23 MB
3.46/3.76	c 4	CPU time              : 0.172973 s
3.46/3.76	c 4	
3.46/3.76	c 4	SATISFIABLE
3.46/3.76	c 4	OK
3.46/3.76	c 4	FOUND: _COST <= 52
3.46/3.76	s SATISFIABLE
3.46/3.76	c 4	DECODING HOME/temp.out WITH HOME/temp.map
3.46/3.76	c 4	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.46/3.84	c 4	Decoding HOME/temp.out
3.46/3.90	c 4	OBJECTIVE _COST 52
3.46/3.90	o 52
3.46/3.90	v 79 73 77 79 79 79 57 20 79 70 50 63 77 26 79 79 48 79 79 79 6 61 36 79 76 79 45 79 45 53 74 79 68 75 75 79 71 76 79 79
3.46/3.90	c 4	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.46/3.92	c 4	OK
3.46/3.92	c 4	OBJECTIVE BOUND: 0 <= _COST <= 52
3.46/3.92	c 4	SEARCHING: _COST <= 26
3.46/3.94	c 4	============================[ Search Statistics ]==============================
3.46/3.94	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.46/3.94	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.46/3.94	c 4	===============================================================================
3.46/3.94	c 4	|       257 |    4480   126955   573110 |    42318      257     26 |  0.002 % |
3.46/3.95	c 4	===============================================================================
3.46/3.95	c 4	restarts              : 4
3.46/3.95	c 4	conflicts             : 313           (1550 /sec)
3.46/3.95	c 4	decisions             : 991           (1.01 % random) (4907 /sec)
3.46/3.95	c 4	propagations          : 100960         (499879 /sec)
3.46/3.95	c 4	conflict literals     : 7449           (28.36 % deleted)
3.46/3.95	c 4	Memory used           : 8.23 MB
3.46/3.95	c 4	CPU time              : 0.201969 s
3.46/3.95	c 4	
3.46/3.95	c 4	SATISFIABLE
3.46/3.96	c 4	OK
3.46/3.96	c 4	FOUND: _COST <= 26
3.46/3.96	c 4	DECODING HOME/temp.out WITH HOME/temp.map
3.46/3.96	c 4	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.59/4.04	c 4	Decoding HOME/temp.out
3.59/4.09	c 4	OBJECTIVE _COST 26
3.59/4.09	o 26
3.59/4.09	v 69 79 32 66 79 50 70 40 71 38 24 60 72 79 79 79 55 79 23 77 46 73 66 79 76 79 75 76 76 53 10 76 11 66 73 46 14 74 79 48
3.59/4.10	c 4	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.59/4.12	c 4	OK
3.59/4.12	c 4	OBJECTIVE BOUND: 0 <= _COST <= 26
3.59/4.12	c 4	SEARCHING: _COST <= 13
3.59/4.13	c 4	============================[ Search Statistics ]==============================
3.59/4.13	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/4.13	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.59/4.13	c 4	===============================================================================
3.59/4.13	c 4	|       313 |    4123   126955   573110 |    42318      313     24 |  0.002 % |
3.59/4.14	c 4	|       413 |    4123   126955   573110 |    46550      413     22 | 12.612 % |
3.73/4.21	c 5	|       564 |    4123   126955   573110 |    51205      564     23 | 12.612 % |
3.73/4.23	c 5	===============================================================================
3.73/4.23	c 5	restarts              : 7
3.73/4.23	c 5	conflicts             : 640           (2000 /sec)
3.73/4.23	c 5	decisions             : 1561          (0.83 % random) (4879 /sec)
3.73/4.23	c 5	propagations          : 199478         (623464 /sec)
3.73/4.23	c 5	conflict literals     : 14650          (33.18 % deleted)
3.73/4.23	c 5	Memory used           : 8.36 MB
3.73/4.23	c 5	CPU time              : 0.319951 s
3.73/4.23	c 5	
3.73/4.23	c 5	SATISFIABLE
3.73/4.24	c 5	OK
3.73/4.24	c 5	FOUND: _COST <= 13
3.73/4.24	c 5	DECODING HOME/temp.out WITH HOME/temp.map
3.73/4.24	c 5	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
4.11/4.32	c 5	Decoding HOME/temp.out
4.11/4.38	c 5	OBJECTIVE _COST 13
4.11/4.38	o 13
4.11/4.38	v 18 79 13 66 79 10 70 67 71 71 50 49 39 47 51 79 43 79 14 79 71 10 40 25 66 79 75 63 9 13 10 58 11 1 79 46 25 62 65 36
4.11/4.38	c 5	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
4.11/4.40	c 5	OK
4.11/4.40	c 5	OBJECTIVE BOUND: 0 <= _COST <= 13
4.11/4.40	c 5	SEARCHING: _COST <= 6
4.21/4.41	c 5	============================[ Search Statistics ]==============================
4.21/4.41	c 5	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.21/4.41	c 5	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.21/4.41	c 5	===============================================================================
4.21/4.41	c 5	|       640 |    3915   126955   573110 |    42318      640     23 | 12.612 % |
4.21/4.44	c 5	|       740 |    3915   126955   573110 |    46550      740     22 | 15.804 % |
4.29/4.51	c 5	|       891 |    3915   126955   573110 |    51205      891     22 | 15.804 % |
4.39/4.60	c 5	|      1117 |    3915   126955   573110 |    56325     1117     21 | 15.804 % |
4.49/4.78	c 5	|      1454 |    3915   126955   573110 |    61958     1454     21 | 15.804 % |
4.69/4.95	c 5	|      1960 |    3915   126955   573110 |    68154     1960     20 | 15.804 % |
4.89/5.20	c 6	|      2720 |    3772   114797   538670 |    74969     2708     20 | 15.804 % |
5.39/5.67	c 6	|      3861 |    3772   114797   538670 |    82466     3849     21 | 15.804 % |
6.09/6.31	c 7	|      5570 |    3772   114797   538670 |    90713     5558     22 | 15.804 % |
7.17/7.47	c 8	|      8132 |    3772   114797   538670 |    99784     8120     23 | 15.804 % |
8.76/9.08	c 9	|     11976 |    3772   114797   538670 |   109762    11964     25 | 15.804 % |
11.03/11.34	c 12	===============================================================================
11.03/11.35	c 12	restarts              : 18
11.03/11.35	c 12	conflicts             : 16682         (2322 /sec)
11.03/11.35	c 12	decisions             : 23856         (1.29 % random) (3320 /sec)
11.03/11.35	c 12	propagations          : 4388745        (610828 /sec)
11.03/11.35	c 12	conflict literals     : 417904         (34.77 % deleted)
11.03/11.35	c 12	Memory used           : 10.30 MB
11.03/11.35	c 12	CPU time              : 7.18491 s
11.03/11.35	c 12	
11.03/11.35	c 12	SATISFIABLE
11.03/11.35	c 12	OK
11.03/11.35	c 12	FOUND: _COST <= 6
11.03/11.35	c 12	DECODING HOME/temp.out WITH HOME/temp.map
11.03/11.35	c 12	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
11.08/11.43	c 12	Decoding HOME/temp.out
11.08/11.49	c 12	OBJECTIVE _COST 6
11.08/11.49	o 6
11.08/11.49	v 60 16 44 37 79 74 23 78 57 79 61 67 33 30 43 35 21 70 79 10 5 6 7 63 78 78 18 11 70 32 67 71 38 50 66 78 5 66 53 78
11.08/11.49	c 12	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
11.08/11.56	c 12	OK
11.08/11.56	c 12	OBJECTIVE BOUND: 0 <= _COST <= 6
11.08/11.56	c 12	SEARCHING: _COST <= 3
11.08/11.56	c 12	============================[ Search Statistics ]==============================
11.08/11.56	c 12	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.08/11.56	c 12	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.08/11.56	c 12	===============================================================================
11.08/11.56	c 12	|     16682 |    3639   112830   533161 |    37610    16571     25 | 15.804 % |
11.30/11.64	c 12	|     16782 |    3639   112830   533161 |    41371    16671     25 | 18.773 % |
11.40/11.70	c 12	|     16933 |    3639   112830   533161 |    45508    16822     25 | 18.773 % |
11.50/11.82	c 12	|     17159 |    3639   112830   533161 |    50058    17048     25 | 18.773 % |
11.60/11.97	c 12	|     17497 |    3639   112830   533161 |    55064    17386     25 | 18.773 % |
11.89/12.25	c 13	|     18003 |    3639   112830   533161 |    60571    17892     25 | 18.773 % |
12.29/12.68	c 13	|     18762 |    3639   112830   533161 |    66628    18651     25 | 18.773 % |
12.89/13.26	c 14	|     19902 |    3639   112830   533161 |    73291    19791     25 | 18.773 % |
13.68/14.04	c 14	|     21611 |    3639   112830   533161 |    80620    21500     25 | 18.773 % |
15.26/15.62	c 16	|     24173 |    3639   112830   533161 |    88682    24062     26 | 18.773 % |
17.25/17.61	c 18	|     28017 |    3639   112830   533161 |    97550    27906     26 | 18.773 % |
19.61/20.07	c 20	|     33783 |    3639   112830   533161 |   107305    33672     26 | 18.773 % |
24.28/24.71	c 25	|     42434 |    3639   112830   533161 |   118036    42323     26 | 18.773 % |
32.10/32.61	c 33	|     55408 |    3639   112830   533161 |   129839    55297     27 | 18.773 % |
50.03/50.75	c 51	|     74869 |    3639   112830   533161 |   142823    74758     29 | 18.773 % |
81.92/82.95	c 83	|    104062 |    3639   112830   533161 |   157106   103951     31 | 18.773 % |
133.23/134.78	c 135	|    147851 |    3639   112830   533161 |   172816   147740     32 | 18.773 % |
190.09/192.11	c 192	===============================================================================
190.09/192.11	c 192	restarts              : 35
190.09/192.11	c 192	conflicts             : 182242        (980 /sec)
190.09/192.11	c 192	decisions             : 243869        (1.37 % random) (1312 /sec)
190.09/192.11	c 192	propagations          : 43502407       (233962 /sec)
190.09/192.11	c 192	conflict literals     : 6080336        (30.92 % deleted)
190.09/192.11	c 192	Memory used           : 37.07 MB
190.09/192.11	c 192	CPU time              : 185.938 s
190.09/192.11	c 192	
190.09/192.11	c 192	SATISFIABLE
190.09/192.11	c 192	OK
190.09/192.11	c 192	FOUND: _COST <= 3
190.09/192.11	c 192	DECODING HOME/temp.out WITH HOME/temp.map
190.09/192.11	c 192	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
190.09/192.20	c 193	Decoding HOME/temp.out
190.10/192.26	c 193	OBJECTIVE _COST 3
190.10/192.26	o 3
190.10/192.26	v 40 66 8 6 79 63 19 26 38 67 5 34 28 35 75 73 72 77 74 49 63 20 64 37 78 40 32 0 63 31 10 56 71 24 68 69 58 74 9 79
190.10/192.26	c 193	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
190.10/192.33	c 193	OK
190.10/192.33	c 193	OBJECTIVE BOUND: 0 <= _COST <= 3
190.10/192.33	c 193	SEARCHING: _COST <= 1
190.10/192.33	c 193	============================[ Search Statistics ]==============================
190.10/192.33	c 193	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.10/192.33	c 193	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
190.10/192.33	c 193	===============================================================================
190.10/192.33	c 193	|    182242 |    3533   111804   530398 |    37268    30988     32 | 18.773 % |
190.36/192.42	c 193	|    182343 |    3533   111804   530398 |    40994    31089     32 | 21.139 % |
190.46/192.56	c 193	|    182494 |    3533   111804   530398 |    45094    31240     32 | 21.139 % |
190.65/192.78	c 193	|    182719 |    3533   111804   530398 |    49603    31465     32 | 21.139 % |
191.04/193.12	c 193	|    183058 |    3533   111804   530398 |    54564    31804     32 | 21.139 % |
191.34/193.49	c 194	|    183564 |    3533   111804   530398 |    60020    32310     32 | 21.139 % |
191.83/193.93	c 194	|    184324 |    3533   111804   530398 |    66022    33070     32 | 21.139 % |
192.53/194.64	c 195	|    185463 |    3533   111804   530398 |    72624    34209     32 | 21.139 % |
193.72/195.85	c 196	|    187172 |    3533   111804   530398 |    79887    35918     32 | 21.139 % |
195.70/197.83	c 198	|    189734 |    3533   111804   530398 |    87875    38480     32 | 21.139 % |
199.17/201.36	c 202	|    193578 |    3533   111804   530398 |    96663    42324     33 | 21.139 % |
203.92/206.16	c 206	|    199344 |    3533   111804   530398 |   106329    48090     34 | 21.139 % |
211.44/213.73	c 214	|    207993 |    3533   111804   530398 |   116962    56739     35 | 21.139 % |
225.22/227.67	c 228	|    220969 |    3533   111804   530398 |   128659    69715     35 | 21.139 % |
252.25/254.98	c 255	|    240430 |    3533   111804   530398 |   141525    89176     37 | 21.139 % |
294.65/297.70	c 298	|    269623 |    3533   111804   530398 |   155677   118369     39 | 21.139 % |
354.78/358.46	c 359	|    313412 |    3533   111804   530398 |   171245    21585     27 | 21.139 % |
402.73/406.87	c 407	|    379096 |    3533   111804   530398 |   188369    87269     30 | 21.139 % |
453.14/457.72	c 458	===============================================================================
453.14/457.73	c 458	restarts              : 53
453.14/457.73	c 458	conflicts             : 422282        (941 /sec)
453.14/457.73	c 458	decisions             : 564347        (1.45 % random) (1257 /sec)
453.14/457.73	c 458	propagations          : 95144545       (211992 /sec)
453.14/457.73	c 458	conflict literals     : 14576554       (30.66 % deleted)
453.14/457.73	c 458	Memory used           : 39.09 MB
453.14/457.73	c 458	CPU time              : 448.812 s
453.14/457.73	c 458	
453.14/457.73	c 458	SATISFIABLE
453.14/457.73	c 458	OK
453.14/457.73	c 458	FOUND: _COST <= 1
453.14/457.73	c 458	DECODING HOME/temp.out WITH HOME/temp.map
453.14/457.73	c 458	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
453.17/457.81	c 458	Decoding HOME/temp.out
453.17/457.88	c 458	OBJECTIVE _COST 1
453.17/457.88	o 1
453.17/457.88	v 21 79 35 14 54 74 34 74 68 60 11 19 28 63 43 77 79 4 79 74 27 22 43 55 72 31 75 43 47 66 47 79 24 62 22 25 27 79 47 25
453.17/457.88	c 458	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
453.17/457.98	c 458	OK
453.17/457.98	c 458	OBJECTIVE BOUND: 0 <= _COST <= 1
453.17/457.98	c 458	SEARCHING: _COST <= 0
453.17/457.98	c 458	============================[ Search Statistics ]==============================
453.17/457.98	c 458	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
453.17/457.98	c 458	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
453.17/457.98	c 458	===============================================================================
453.17/457.98	c 458	|    422282 |    3365   110713   527533 |    36904   130454     31 | 21.139 % |
453.81/458.41	c 459	|    422382 |    3365   110713   527533 |    40594    21450     26 | 24.889 % |
453.92/458.53	c 459	|    422533 |    3365   110713   527533 |    44654    21601     26 | 24.889 % |
454.02/458.69	c 459	|    422759 |    3365   110713   527533 |    49119    21827     26 | 24.889 % |
454.31/458.90	c 459	|    423096 |    3365   110713   527533 |    54031    22164     26 | 24.889 % |
454.51/459.16	c 459	|    423602 |    3365   110713   527533 |    59434    22670     26 | 24.889 % |
454.91/459.58	c 460	|    424362 |    3365   110713   527533 |    65378    23430     26 | 24.889 % |
455.60/460.23	c 461	|    425501 |    3365   110713   527533 |    71916    24569     27 | 24.889 % |
456.49/461.17	c 461	|    427210 |    3365   110713   527533 |    79107    26278     27 | 24.889 % |
457.88/462.55	c 463	|    429772 |    3365   110713   527533 |    87018    28840     27 | 24.889 % |
459.96/464.62	c 465	|    433616 |    3365   110713   527533 |    95720    32684     28 | 24.889 % |
463.43/468.14	c 468	|    439384 |    3365   110713   527533 |   105292    38452     28 | 24.889 % |
468.87/473.65	c 474	|    448035 |    3365   110713   527533 |   115821    47103     29 | 24.890 % |
478.48/483.37	c 484	|    461009 |    3365   110713   527533 |   127403    60077     30 | 24.890 % |
493.93/498.95	c 499	|    480471 |    3365   110713   527533 |   140144    79539     31 | 24.890 % |
521.57/526.83	c 527	|    509664 |    3365   110713   527533 |   154158   108732     33 | 24.890 % |
572.97/578.77	c 579	|    553453 |    3365   110713   527533 |   169574   152521     37 | 24.890 % |
630.63/636.99	c 637	|    619138 |    3365   110713   527533 |   186531    69413     49 | 24.890 % |
665.78/672.47	c 673	===============================================================================
665.78/672.47	c 673	restarts              : 71
665.78/672.47	c 673	conflicts             : 655226        (991 /sec)
665.78/672.47	c 673	decisions             : 883598        (1.51 % random) (1336 /sec)
665.78/672.47	c 673	propagations          : 138994597      (210188 /sec)
665.78/672.47	c 673	conflict literals     : 24797027       (27.67 % deleted)
665.78/672.47	c 673	Memory used           : 43.23 MB
665.78/672.47	c 673	CPU time              : 661.288 s
665.78/672.47	c 673	
665.78/672.47	c 673	UNSATISFIABLE
665.78/672.47	c 673	OK
665.78/672.47	c 673	NOT FOUND: _COST <= 0
665.78/672.47	c 673	OK
665.78/672.47	c 673	OBJECTIVE _COST 1
665.78/672.47	s OPTIMUM FOUND
665.78/672.48	c 673	CPU 665.37 (0.07 0.02 665.3 0.47)
665.78/672.48	c 673	END Sun Jul 13 04:44:14 2008

Verifier Data (download as text)

OK	1	102
1 unsatisfied constraints, 102 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-1115195-1215916381/watcher-1115195-1215916381 -o /tmp/evaluation-result-1115195-1215916381/solver-1115195-1215916381 -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-1115195-1215916381.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: 2.01 2.30 2.14 4/81 15644
/proc/meminfo: memFree=1806480/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=12268 CPUtime=0
/proc/15644/stat : 15644 (sugar++) R 15642 15644 12479 0 -1 4194304 348 0 0 0 0 0 0 0 22 0 1 0 48337800 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 264519776869 0 0 4224 0 0 0 0 17 1 0 0
/proc/15644/statm: 3067 316 241 3 0 167 0

[startup+0.0916161 s]
/proc/loadavg: 2.01 2.30 2.14 4/81 15644
/proc/meminfo: memFree=1806480/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16740 CPUtime=0.07
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 48337800 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.101188 s]
/proc/loadavg: 2.01 2.30 2.14 4/81 15644
/proc/meminfo: memFree=1806480/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16740 CPUtime=0.07
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 48337800 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.301235 s]
/proc/loadavg: 2.01 2.30 2.14 4/81 15644
/proc/meminfo: memFree=1806480/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16740 CPUtime=0.07
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 48337800 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701322 s]
/proc/loadavg: 2.01 2.30 2.14 4/81 15644
/proc/meminfo: memFree=1806480/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16740 CPUtime=0.07
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 48337800 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+1.50249 s]
/proc/loadavg: 2.01 2.30 2.14 4/92 15666
/proc/meminfo: memFree=1796920/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16740 CPUtime=0.72
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1296 5145 0 1 5 2 60 5 16 0 1 0 48337800 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4185 1104 409 3 0 764 0
[pid=15657] ppid=15644 vsize=5356 CPUtime=0
/proc/15657/stat : 15657 (sh) S 15644 15644 12479 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 48337877 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15657/statm: 1339 233 193 169 0 50 0
[pid=15658] ppid=15657 vsize=864012 CPUtime=0.7
/proc/15658/stat : 15658 (java) S 15657 15644 12479 0 -1 0 6684 0 1 0 67 3 0 0 19 0 9 0 48337878 884748288 5973 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15658/statm: 216003 5973 2532 9 0 210585 0
[pid=15658/tid=15659] ppid=15657 vsize=864012 CPUtime=0.48
/proc/15658/task/15659/stat : 15659 (java) R 15657 15644 12479 0 -1 64 2456 0 1 0 47 1 0 0 21 0 9 0 48337879 884748288 5973 996147200 134512640 134550740 4294955920 18446744073709551615 103206926 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15660] ppid=15657 vsize=864012 CPUtime=0.16
/proc/15658/task/15660/stat : 15660 (java) S 15657 15644 12479 0 -1 64 3221 0 0 0 15 1 0 0 16 0 9 0 48337880 884748288 5973 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15661] ppid=15657 vsize=864012 CPUtime=0
/proc/15658/task/15661/stat : 15661 (java) S 15657 15644 12479 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 48337880 884748288 5973 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15662] ppid=15657 vsize=864012 CPUtime=0
/proc/15658/task/15662/stat : 15662 (java) S 15657 15644 12479 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 48337880 884748288 5973 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15663] ppid=15657 vsize=864012 CPUtime=0
/proc/15658/task/15663/stat : 15663 (java) S 15657 15644 12479 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 48337882 884748288 5973 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15664] ppid=15657 vsize=864012 CPUtime=0.04
/proc/15658/task/15664/stat : 15664 (java) S 15657 15644 12479 0 -1 64 310 0 0 0 4 0 0 0 16 0 9 0 48337882 884748288 5973 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15665] ppid=15657 vsize=864012 CPUtime=0
/proc/15658/task/15665/stat : 15665 (java) S 15657 15644 12479 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 48337882 884748288 5973 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15666] ppid=15657 vsize=864012 CPUtime=0
/proc/15658/task/15666/stat : 15666 (java) S 15657 15644 12479 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 48337882 884748288 5973 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 886108

[startup+3.10283 s]
/proc/loadavg: 2.01 2.30 2.14 4/92 15666
/proc/meminfo: memFree=1773624/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16740 CPUtime=0.72
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1297 5145 0 1 5 2 60 5 15 0 1 0 48337800 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4185 1104 409 3 0 764 0
[pid=15657] ppid=15644 vsize=5356 CPUtime=0
/proc/15657/stat : 15657 (sh) S 15644 15644 12479 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 48337877 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15657/statm: 1339 233 193 169 0 50 0
[pid=15658] ppid=15657 vsize=864348 CPUtime=2.28
/proc/15658/stat : 15658 (java) S 15657 15644 12479 0 -1 0 11973 0 1 0 221 7 0 0 19 0 9 0 48337878 885092352 11164 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15658/statm: 216087 11164 2565 9 0 210634 0
[pid=15658/tid=15659] ppid=15657 vsize=864348 CPUtime=1.41
/proc/15658/task/15659/stat : 15659 (java) R 15657 15644 12479 0 -1 64 2996 0 1 0 138 3 0 0 21 0 9 0 48337879 885092352 11164 996147200 134512640 134550740 4294955920 18446744073709551615 103215639 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15660] ppid=15657 vsize=864348 CPUtime=0.72
/proc/15658/task/15660/stat : 15660 (java) S 15657 15644 12479 0 -1 64 7916 0 0 0 69 3 0 0 16 0 9 0 48337880 885092352 11164 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15661] ppid=15657 vsize=864348 CPUtime=0
/proc/15658/task/15661/stat : 15661 (java) S 15657 15644 12479 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 48337880 885092352 11164 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15662] ppid=15657 vsize=864348 CPUtime=0
/proc/15658/task/15662/stat : 15662 (java) S 15657 15644 12479 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 48337880 885092352 11164 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15663] ppid=15657 vsize=864348 CPUtime=0
/proc/15658/task/15663/stat : 15663 (java) S 15657 15644 12479 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 48337882 885092352 11164 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15664] ppid=15657 vsize=864348 CPUtime=0.13
/proc/15658/task/15664/stat : 15664 (java) S 15657 15644 12479 0 -1 64 364 0 0 0 13 0 0 0 15 0 9 0 48337882 885092352 11164 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15665] ppid=15657 vsize=864348 CPUtime=0
/proc/15658/task/15665/stat : 15665 (java) S 15657 15644 12479 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 48337882 885092352 11164 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15658/tid=15666] ppid=15657 vsize=864348 CPUtime=0
/proc/15658/task/15666/stat : 15666 (java) S 15657 15644 12479 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 48337882 885092352 11164 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 886444

[startup+6.3015 s]
/proc/loadavg: 2.09 2.32 2.15 3/83 15697
/proc/meminfo: memFree=1790720/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=3.88
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1690 28642 0 5 6 2 358 22 15 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=8956 CPUtime=2.21
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 2195 0 0 0 220 1 0 0 25 0 1 0 48338158 9170944 2137 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 2239 2137 80 151 0 2085 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 25828

[startup+12.7018 s]
/proc/loadavg: 2.08 2.31 2.15 3/83 15707
/proc/meminfo: memFree=1788680/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.05
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1759 32370 0 6 6 2 372 25 15 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=10876 CPUtime=8.34
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 2643 0 0 0 832 2 0 0 25 0 1 0 48338158 11137024 2583 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 2719 2583 80 151 0 2565 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 27748

[startup+25.5015 s]
/proc/loadavg: 2.06 2.29 2.14 3/83 15707
/proc/meminfo: memFree=1785224/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.05
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1759 32370 0 6 6 2 372 25 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=14420 CPUtime=21.01
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 3523 0 0 0 2098 3 0 0 25 0 1 0 48338158 14766080 3463 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 3605 3463 80 151 0 3451 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 31292

[startup+51.1019 s]
/proc/loadavg: 2.04 2.27 2.14 3/83 15707
/proc/meminfo: memFree=1780104/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.05
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1759 32370 0 6 6 2 372 25 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=19724 CPUtime=46.38
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 4854 0 0 0 4633 5 0 0 25 0 1 0 48338158 20197376 4794 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 4931 4794 80 151 0 4777 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 36596

[startup+102.307 s]
/proc/loadavg: 2.02 2.23 2.13 3/83 15707
/proc/meminfo: memFree=1771528/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.05
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1759 32370 0 6 6 2 372 25 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=28112 CPUtime=97.09
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 6949 0 0 0 9701 8 0 0 25 0 1 0 48338158 28786688 6889 996147200 134512640 135134323 4294956192 18446744073709551615 134528704 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 7028 6889 80 151 0 6874 0
Current children cumulated CPU time (s) 101.14
Current children cumulated vsize (KiB) 44984

[startup+162.302 s]
/proc/loadavg: 2.00 2.18 2.12 3/83 15707
/proc/meminfo: memFree=1764040/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.05
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1759 32370 0 6 6 2 372 25 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=35700 CPUtime=156.52
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 8808 0 0 0 15641 11 0 0 25 0 1 0 48338158 36556800 8748 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 8925 8748 80 151 0 8771 0
Current children cumulated CPU time (s) 160.57
Current children cumulated vsize (KiB) 52572

[startup+222.303 s]
/proc/loadavg: 2.00 2.15 2.11 3/83 15717
/proc/meminfo: memFree=1761352/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.22
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1829 36097 0 7 6 2 387 27 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=38236 CPUtime=215.74
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 9421 0 0 0 21562 12 0 0 25 0 1 0 48338158 39153664 9359 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 9559 9359 80 151 0 9405 0
Current children cumulated CPU time (s) 219.96

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


[startup+342.302 s]
/proc/loadavg: 2.00 2.09 2.09 3/83 15717
/proc/meminfo: memFree=1760456/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.22
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1829 36097 0 7 6 2 387 27 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=39088 CPUtime=334.6
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 9650 0 0 0 33447 13 0 0 25 0 1 0 48338158 40026112 9588 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 9772 9588 80 151 0 9618 0
Current children cumulated CPU time (s) 338.82
Current children cumulated vsize (KiB) 55960

[startup+402.301 s]
/proc/loadavg: 2.00 2.07 2.08 3/83 15717
/proc/meminfo: memFree=1759560/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.22
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1829 36097 0 7 6 2 387 27 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=39880 CPUtime=394.05
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 9832 0 0 0 39391 14 0 0 25 0 1 0 48338158 40837120 9770 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 9970 9770 80 151 0 9816 0
Current children cumulated CPU time (s) 398.27
Current children cumulated vsize (KiB) 56752

[startup+462.302 s]
/proc/loadavg: 2.00 2.06 2.07 3/83 15727
/proc/meminfo: memFree=1759240/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=40024 CPUtime=453.27
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 9871 0 0 0 45313 14 0 0 25 0 1 0 48338158 40984576 9807 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 10006 9807 80 151 0 9852 0
Current children cumulated CPU time (s) 457.68
Current children cumulated vsize (KiB) 56896

[startup+522.303 s]
/proc/loadavg: 2.00 2.05 2.07 3/83 15727
/proc/meminfo: memFree=1759368/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=40024 CPUtime=512.7
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 9871 0 0 0 51256 14 0 0 25 0 1 0 48338158 40984576 9807 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 10006 9807 80 151 0 9852 0
Current children cumulated CPU time (s) 517.11
Current children cumulated vsize (KiB) 56896

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.06 3/83 15727
/proc/meminfo: memFree=1759304/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=40288 CPUtime=572.13
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 9928 0 0 0 57199 14 0 0 25 0 1 0 48338158 41254912 9864 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 10072 9864 80 151 0 9918 0
Current children cumulated CPU time (s) 576.54
Current children cumulated vsize (KiB) 57160

[startup+642.302 s]
/proc/loadavg: 2.00 2.03 2.06 3/83 15727
/proc/meminfo: memFree=1755272/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=44260 CPUtime=631.56
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 10913 0 0 0 63140 16 0 0 25 0 1 0 48338158 45322240 10849 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 11065 10849 80 151 0 10911 0
Current children cumulated CPU time (s) 635.97
Current children cumulated vsize (KiB) 61132

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

[startup+652.702 s]
/proc/loadavg: 2.00 2.02 2.06 3/83 15727
/proc/meminfo: memFree=1755144/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=44260 CPUtime=641.86
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 10913 0 0 0 64170 16 0 0 25 0 1 0 48338158 45322240 10849 996147200 134512640 135134323 4294956192 18446744073709551615 134531961 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 11065 10849 80 151 0 10911 0
Current children cumulated CPU time (s) 646.27
Current children cumulated vsize (KiB) 61132

[startup+665.507 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 15727
/proc/meminfo: memFree=1755144/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=44260 CPUtime=654.55
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 10913 0 0 0 65439 16 0 0 25 0 1 0 48338158 45322240 10849 996147200 134512640 135134323 4294956192 18446744073709551615 134531982 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 11065 10849 80 151 0 10911 0
Current children cumulated CPU time (s) 658.96
Current children cumulated vsize (KiB) 61132

[startup+668.701 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 15727
/proc/meminfo: memFree=1755144/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=44260 CPUtime=657.71
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 10913 0 0 0 65755 16 0 0 25 0 1 0 48338158 45322240 10849 996147200 134512640 135134323 4294956192 18446744073709551615 134531977 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 11065 10849 80 151 0 10911 0
Current children cumulated CPU time (s) 662.12
Current children cumulated vsize (KiB) 61132

[startup+670.303 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 15727
/proc/meminfo: memFree=1755144/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=44260 CPUtime=659.29
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 10913 0 0 0 65913 16 0 0 25 0 1 0 48338158 45322240 10849 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 11065 10849 80 151 0 10911 0
Current children cumulated CPU time (s) 663.7
Current children cumulated vsize (KiB) 61132

[startup+671.102 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 15727
/proc/meminfo: memFree=1755144/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=44260 CPUtime=660.08
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 10913 0 0 0 65992 16 0 0 25 0 1 0 48338158 45322240 10849 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 11065 10849 80 151 0 10911 0
Current children cumulated CPU time (s) 664.49
Current children cumulated vsize (KiB) 61132

[startup+671.902 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 15727
/proc/meminfo: memFree=1755144/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=44260 CPUtime=660.88
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 10913 0 0 0 66072 16 0 0 25 0 1 0 48338158 45322240 10849 996147200 134512640 135134323 4294956192 18446744073709551615 134533887 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 11065 10849 80 151 0 10911 0
Current children cumulated CPU time (s) 665.29
Current children cumulated vsize (KiB) 61132

[startup+672.302 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 15727
/proc/meminfo: memFree=1755144/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=44260 CPUtime=661.27
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 10913 0 0 0 66111 16 0 0 25 0 1 0 48338158 45322240 10849 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 11065 10849 80 151 0 10911 0
Current children cumulated CPU time (s) 665.68
Current children cumulated vsize (KiB) 61132

[startup+672.402 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 15727
/proc/meminfo: memFree=1755144/2055920 swapFree=4181028/4192956
[pid=15644] ppid=15642 vsize=16872 CPUtime=4.41
/proc/15644/stat : 15644 (sugar++) S 15642 15644 12479 0 -1 4194304 1900 39823 0 8 7 2 402 30 16 0 1 0 48337800 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15644/statm: 4218 1116 414 3 0 797 0
[pid=15667] ppid=15644 vsize=44260 CPUtime=661.37
/proc/15667/stat : 15667 (minisat-inc) R 15644 15644 12479 0 -1 4194304 10913 0 0 0 66121 16 0 0 25 0 1 0 48338158 45322240 10849 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/15667/statm: 11065 10849 80 151 0 10911 0
Current children cumulated CPU time (s) 665.78
Current children cumulated vsize (KiB) 61132

Child status: 0
Real time (s): 672.485
CPU time (s): 665.894
CPU user time (s): 665.381
CPU system time (s): 0.512922
CPU usage (%): 99.0199
Max. virtual memory (cumulated for all children) (KiB): 886444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 665.381
system time used= 0.512922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52717
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3712
involuntary context switches= 30471

runsolver used 0.860869 second user time and 2.20666 second system time

The end

Launcher Data (download as text)

Begin job on node40 at 2008-07-13 04:33:01
IDJOB=1115195
IDBENCH=61828
IDSOLVER=367
FILE ID=node40/1115195-1215916381
PBS_JOBID= 7903797
Free space on /tmp= 66560 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/tightness0.8/normalized-rand-2-40-80-103-800-29_ext.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-1115195-1215916381/watcher-1115195-1215916381 -o /tmp/evaluation-result-1115195-1215916381/solver-1115195-1215916381 -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-1115195-1215916381.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 8823420e0241e370f98d21e03c99933a
RANDOM SEED=1651935132

node40.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.261
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.261
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:       1806960 kB
Buffers:         34256 kB
Cached:         130436 kB
SwapCached:       5988 kB
Active:         113128 kB
Inactive:        73436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1806960 kB
SwapTotal:     4192956 kB
SwapFree:      4181028 kB
Dirty:            1588 kB
Writeback:           0 kB
Mapped:          37920 kB
Slab:            47640 kB
Committed_AS:   171080 kB
PageTables:       1868 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= 66556 MiB
End job on node40 at 2008-07-13 04:44:14