Trace number 1125307

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sugar++ v1.13+minisat-incOPTIMUM 350.244 353.815

General information on the benchmark

Namemaxcsp/celar/subs7/
normalized-scenw-7-sub3_ext.xml
MD5SUMae63cdc1b7ff08347e2736071b0aeb10
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints20
Best CPU time to get the best result obtained on this benchmark0.71489
Satisfiable
(Un)Satisfiability was proved
Number of variables18
Number of constraints421
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension421
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.07	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.07	c 0	BEGIN Wed Jul 16 02:46:03 2008
0.00/0.07	c 0	PID 735
0.06/0.08	c 0	HOST node22.alineos.net
0.06/0.08	c 0	CONVERTING HOME/instance-1125307-1216169163.xml TO HOME/temp.csp
0.06/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1125307-1216169163.xml' 'HOME/temp.csp'
0.07/0.79	c 1	2 domains, 18 variables, 0 predicates, 140 relations, 421 constraints
0.07/0.81	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.81	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.07/0.89	c 1	Parsing HOME/temp.csp
1.31/1.48	c 2	parsed 581 expressions
1.31/1.49	c 2	Heap : 8 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.31/1.49	c 2	MAX CSP: 421 constraints
1.31/1.49	c 2	Converting to clausal form CSP
1.41/1.53	c 2	converted 101 (10%) expressions
1.41/1.59	c 2	converted 201 (20%) expressions
1.60/1.73	c 2	converted 302 (30%) expressions
1.71/1.80	c 2	converted 402 (40%) expressions
1.71/1.85	c 2	converted 503 (50%) expressions
1.81/1.91	c 2	converted 603 (60%) expressions
2.01/2.13	c 2	converted 704 (70%) expressions
2.11/2.21	c 2	converted 804 (80%) expressions
2.11/2.28	c 2	converted 905 (90%) expressions
2.40/2.52	c 3	converted 1005 (100%) expressions
2.40/2.52	c 3	CSP : 860 integers, 0 booleans, 1262 clauses, largest domain size 632
2.40/2.52	c 3	Heap : 29 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.40/2.52	c 3	Propagation in CSP
2.40/2.56	c 3	416 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.40/2.56	c 3	CSP : 860 integers, 0 booleans, 1262 clauses, largest domain size 422
2.40/2.56	c 3	Heap : 30 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.40/2.56	c 3	Simplifing CSP by introducing new Boolean variables
2.40/2.56	c 3	CSP : 860 integers, 0 booleans, 1262 clauses, largest domain size 422
2.40/2.56	c 3	Heap : 30 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.59/2.70	c 3	Encoding CSP to SAT : HOME/temp.cnf
2.59/2.72	c 3	86 (10%) CSP integer variables are encoded (740 clauses, 7994 bytes)
2.59/2.72	c 3	172 (20%) CSP integer variables are encoded (740 clauses, 7994 bytes)
2.59/2.72	c 3	258 (30%) CSP integer variables are encoded (740 clauses, 7994 bytes)
2.59/2.72	c 3	344 (40%) CSP integer variables are encoded (740 clauses, 7994 bytes)
2.59/2.72	c 3	430 (50%) CSP integer variables are encoded (740 clauses, 7994 bytes)
2.59/2.73	c 3	516 (60%) CSP integer variables are encoded (1481 clauses, 17627 bytes)
2.59/2.73	c 3	602 (70%) CSP integer variables are encoded (2038 clauses, 24868 bytes)
2.59/2.73	c 3	688 (80%) CSP integer variables are encoded (2734 clauses, 33916 bytes)
2.59/2.73	c 3	774 (90%) CSP integer variables are encoded (5997 clauses, 76335 bytes)
2.59/2.74	c 3	860 (100%) CSP integer variables are encoded (6970 clauses, 88984 bytes)
2.79/2.91	c 3	127 (10%) CSP clauses are encoded (11985 clauses, 192430 bytes)
2.90/3.03	c 3	253 (20%) CSP clauses are encoded (17332 clauses, 316699 bytes)
3.00/3.16	c 3	379 (30%) CSP clauses are encoded (22581 clauses, 441383 bytes)
3.09/3.22	c 3	505 (40%) CSP clauses are encoded (25664 clauses, 505914 bytes)
3.09/3.24	c 3	631 (50%) CSP clauses are encoded (36984 clauses, 709355 bytes)
3.09/3.25	c 3	758 (60%) CSP clauses are encoded (40553 clauses, 771414 bytes)
3.19/3.31	c 3	884 (70%) CSP clauses are encoded (72401 clauses, 1353237 bytes)
3.19/3.37	c 4	1010 (80%) CSP clauses are encoded (101719 clauses, 1868604 bytes)
3.29/3.48	c 4	1136 (90%) CSP clauses are encoded (168583 clauses, 3092468 bytes)
3.48/3.64	c 4	1262 (100%) CSP clauses are encoded (258215 clauses, 4738156 bytes)
3.48/3.65	c 4	1262 CSP clauses encoded
3.48/3.65	c 4	Writing map file : HOME/temp.map
3.48/3.65	c 4	Heap : 19 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.48/3.65	c 4	SAT : 7830 SAT variables, 258215 SAT clauses, 4738156 bytes
3.48/3.65	c 4	Heap : 19 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.48/3.70	c 4	OBJECTIVE minimize _COST
3.48/3.70	c 4	SOLVING HOME/temp.cnf
3.48/3.70	c 4	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
3.56/3.70	c 4	This is MiniSat 2.0 beta incremental
3.56/3.70	c 4	WARNING: for repeatability, setting FPU to use double precision
3.56/3.70	c 4	============================[ Problem Statistics ]=============================
3.56/3.70	c 4	|                                                                             |
3.56/3.70	c 4	|  Number of variables:  7830                                                 |
3.56/3.70	c 4	|  Number of clauses:    258215                                               |
3.56/3.82	c 4	|  Parsing time:         0.10         s                                       |
3.56/3.83	c 4	OK
3.56/3.83	c 4	OBJECTIVE BOUND: 0 <= _COST <= 
3.56/3.83	c 4	SEARCHING: _COST <= 211
3.56/3.83	c 4	============================[ Search Statistics ]==============================
3.56/3.83	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.56/3.83	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.56/3.83	c 4	===============================================================================
3.56/3.83	c 4	|         0 |    7830   258215   781136 |    86071        0    nan |  0.000 % |
3.56/3.94	c 4	|       101 |    7830   258215   781136 |    94678      101     18 |  0.003 % |
3.56/3.99	c 4	===============================================================================
3.56/4.00	c 4	restarts              : 2
3.56/4.00	c 4	conflicts             : 183           (670 /sec)
3.56/4.00	c 4	decisions             : 1557          (0.71 % random) (5704 /sec)
3.56/4.00	c 4	propagations          : 107236         (392866 /sec)
3.56/4.00	c 4	conflict literals     : 3284           (17.07 % deleted)
3.56/4.00	c 4	Memory used           : 13.06 MB
3.56/4.00	c 4	CPU time              : 0.272958 s
3.56/4.00	c 4	
3.56/4.00	c 4	SATISFIABLE
3.57/4.00	c 4	OK
3.57/4.00	c 4	FOUND: _COST <= 211
3.57/4.00	s SATISFIABLE
3.57/4.00	c 4	DECODING HOME/temp.out WITH HOME/temp.map
3.57/4.00	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.57/4.08	c 4	Decoding HOME/temp.out
3.57/4.17	c 4	OBJECTIVE _COST 204
3.57/4.17	o 204
3.57/4.17	v 0 6 15 43 41 32 39 43 2 13 38 27 32 32 41 14 43 34
3.57/4.17	c 4	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.57/4.21	c 4	OK
3.57/4.21	c 4	OBJECTIVE BOUND: 0 <= _COST <= 204
3.57/4.21	c 4	SEARCHING: _COST <= 102
3.57/4.21	c 4	============================[ Search Statistics ]==============================
3.57/4.22	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.57/4.22	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.57/4.22	c 4	===============================================================================
3.57/4.22	c 4	|       183 |    7830   258215   781136 |    86071      183     18 |  0.003 % |
3.57/4.28	c 4	|       284 |    7830   258215   781136 |    94678      284     16 | 25.034 % |
4.12/4.35	c 5	|       436 |    7830   258215   781136 |   104146      436     15 | 25.034 % |
4.22/4.45	c 5	|       661 |    7830   258215   781136 |   114561      661     17 | 25.034 % |
4.42/4.60	c 5	|       999 |    7830   258215   781136 |   126017      999     20 | 25.034 % |
4.51/4.77	c 5	|      1506 |    7830   258215   781136 |   138619     1506     22 | 25.034 % |
4.81/5.05	c 5	|      2266 |    7830   258215   781136 |   152481     2266     23 | 25.034 % |
5.21/5.44	c 6	|      3405 |    5870   168867   518755 |   167729     3405     24 | 25.034 % |
5.70/5.95	c 6	|      5113 |    5870   168867   518755 |   184502     5113     25 | 25.034 % |
6.79/7.08	c 7	|      7675 |    5870   168867   518755 |   202952     7675     26 | 25.034 % |
8.38/8.62	c 9	|     11519 |    5870   168867   518755 |   223247    11519     27 | 25.034 % |
11.05/11.30	c 11	|     17286 |    5870   168867   518755 |   245572    17286     28 | 25.034 % |
15.40/15.73	c 16	|     25935 |    5870   168867   518755 |   270129    25935     28 | 25.034 % |
23.53/23.95	c 24	|     38909 |    5870   168867   518755 |   297142    38909     29 | 25.034 % |
39.28/39.89	c 40	|     58371 |    5870   168867   518755 |   326857    58371     29 | 25.034 % |
45.53/46.18	c 46	===============================================================================
45.53/46.18	c 46	restarts              : 17
45.53/46.18	c 46	conflicts             : 66333         (1586 /sec)
45.53/46.18	c 46	decisions             : 88843         (0.59 % random) (2124 /sec)
45.53/46.18	c 46	propagations          : 29258762       (699608 /sec)
45.53/46.18	c 46	conflict literals     : 1902775        (38.38 % deleted)
45.53/46.18	c 46	Memory used           : 20.89 MB
45.53/46.18	c 46	CPU time              : 41.8216 s
45.53/46.18	c 46	
45.53/46.18	c 46	SATISFIABLE
45.53/46.19	c 46	OK
45.53/46.19	c 46	FOUND: _COST <= 102
45.53/46.19	c 46	DECODING HOME/temp.out WITH HOME/temp.map
45.53/46.19	c 46	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
45.61/46.27	c 46	Decoding HOME/temp.out
45.61/46.36	c 47	OBJECTIVE _COST 102
45.61/46.36	o 102
45.61/46.36	v 43 43 7 7 38 0 6 12 23 0 33 35 22 43 5 5 36 43
45.61/46.36	c 47	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
45.61/46.44	c 47	OK
45.61/46.44	c 47	OBJECTIVE BOUND: 0 <= _COST <= 102
45.61/46.44	c 47	SEARCHING: _COST <= 51
45.61/46.44	c 47	============================[ Search Statistics ]==============================
45.61/46.44	c 47	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.61/46.44	c 47	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
45.61/46.44	c 47	===============================================================================
45.61/46.44	c 47	|     66333 |    4840   116142   363568 |    38714    66298     29 | 25.034 % |
45.98/46.68	c 47	|     66433 |    4840   116142   363568 |    42585    13927     26 | 38.188 % |
46.08/46.75	c 47	|     66583 |    4840   116142   363568 |    46843    14077     25 | 38.188 % |
46.18/46.83	c 47	|     66808 |    4840   116142   363568 |    51528    14302     25 | 38.188 % |
46.28/46.95	c 47	|     67145 |    4840   116142   363568 |    56681    14639     25 | 38.188 % |
46.48/47.18	c 47	|     67652 |    4840   116142   363568 |    62349    15146     25 | 38.188 % |
46.87/47.51	c 48	|     68411 |    4840   116142   363568 |    68584    15905     25 | 38.188 % |
47.27/47.95	c 48	|     69552 |    4840   116142   363568 |    75442    17046     24 | 38.188 % |
47.96/48.60	c 49	|     71261 |    4840   116142   363568 |    82986    18755     24 | 38.188 % |
49.05/49.71	c 50	|     73824 |    4840   116142   363568 |    91285    21318     23 | 38.188 % |
50.84/51.55	c 52	|     77669 |    4840   116142   363568 |   100414    25163     23 | 38.188 % |
54.10/54.86	c 55	|     83437 |    4840   116142   363568 |   110455    30931     22 | 38.188 % |
59.65/60.42	c 61	|     92086 |    4840   116142   363568 |   121501    39580     22 | 38.188 % |
68.76/69.62	c 70	|    105060 |    4840   116142   363568 |   133651    52554     22 | 38.188 % |
85.60/86.65	c 87	|    124522 |    4840   116142   363568 |   147016    72016     22 | 38.188 % |
109.88/111.12	c 111	|    153714 |    4840   116142   363568 |   161717   101208     23 | 38.188 % |
165.16/166.96	c 167	|    197504 |    4840   116142   363568 |   177889   144998     23 | 38.188 % |
182.98/184.96	c 185	===============================================================================
182.98/184.96	c 185	restarts              : 34
182.98/184.96	c 185	conflicts             : 210750        (1177 /sec)
182.98/184.96	c 185	decisions             : 277109        (0.75 % random) (1548 /sec)
182.98/184.96	c 185	propagations          : 102747931      (573854 /sec)
182.98/184.96	c 185	conflict literals     : 5212826        (36.98 % deleted)
182.98/184.96	c 185	Memory used           : 30.52 MB
182.98/184.96	c 185	CPU time              : 179.049 s
182.98/184.96	c 185	
182.98/184.96	c 185	SATISFIABLE
182.98/184.96	c 185	OK
182.98/184.96	c 185	FOUND: _COST <= 51
182.98/184.96	c 185	DECODING HOME/temp.out WITH HOME/temp.map
182.98/184.96	c 185	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
183.05/185.05	c 185	Decoding HOME/temp.out
183.05/185.17	c 185	OBJECTIVE _COST 51
183.05/185.17	o 51
183.05/185.17	v 42 42 7 7 35 0 6 12 12 0 0 35 19 6 5 5 34 43
183.05/185.18	c 185	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
183.27/185.23	c 185	OK
183.27/185.23	c 185	OBJECTIVE BOUND: 0 <= _COST <= 51
183.27/185.23	c 185	SEARCHING: _COST <= 25
183.27/185.23	c 185	============================[ Search Statistics ]==============================
183.27/185.23	c 185	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.27/185.23	c 185	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
183.27/185.23	c 185	===============================================================================
183.27/185.23	c 185	|    210750 |    4165    75043   242245 |    25014   157445     23 | 38.188 % |
184.46/186.44	c 187	|    210850 |    4165    75043   242245 |    27515    15996     20 | 46.808 % |
184.56/186.52	c 187	|    211001 |    4165    75043   242245 |    30267    16147     20 | 46.808 % |
184.66/186.65	c 187	|    211226 |    4165    75043   242245 |    33294    16372     19 | 46.808 % |
184.86/186.81	c 187	|    211564 |    4165    75043   242245 |    36623    16710     19 | 46.808 % |
185.06/187.06	c 187	|    212070 |    4165    75043   242245 |    40285    17216     19 | 46.808 % |
185.45/187.42	c 188	|    212831 |    4165    75043   242245 |    44314    17977     19 | 46.808 % |
185.95/187.98	c 188	|    213971 |    4165    75043   242245 |    48745    19117     19 | 46.808 % |
186.84/188.83	c 189	|    215680 |    4165    75043   242245 |    53620    20826     18 | 46.808 % |
188.03/190.08	c 190	|    218242 |    4165    75043   242245 |    58982    23388     18 | 46.808 % |
189.81/191.80	c 192	|    222086 |    4165    75043   242245 |    64880    27232     17 | 46.808 % |
192.88/194.92	c 195	|    227852 |    4165    75043   242245 |    71368    32998     17 | 46.808 % |
198.04/200.13	c 200	|    236502 |    4165    75043   242245 |    78505    41648     17 | 46.808 % |
206.15/208.35	c 209	|    249477 |    4165    75043   242245 |    86356    54623     17 | 46.808 % |
219.73/222.04	c 222	|    268939 |    4165    75043   242245 |    94991    74085     18 | 46.808 % |
247.67/250.21	c 250	|    298132 |    4165    75043   242245 |   104491    19506     16 | 46.808 % |
269.96/272.79	c 273	===============================================================================
269.96/272.79	c 273	restarts              : 50
269.96/272.79	c 273	conflicts             : 334221        (1257 /sec)
269.96/272.79	c 273	decisions             : 437306        (0.84 % random) (1645 /sec)
269.96/272.79	c 273	propagations          : 167160971      (628804 /sec)
269.96/272.79	c 273	conflict literals     : 7365885        (35.89 % deleted)
269.96/272.79	c 273	Memory used           : 30.81 MB
269.96/272.79	c 273	CPU time              : 265.84 s
269.96/272.79	c 273	
269.96/272.79	c 273	SATISFIABLE
269.96/272.80	c 273	OK
269.96/272.80	c 273	FOUND: _COST <= 25
269.96/272.80	c 273	DECODING HOME/temp.out WITH HOME/temp.map
269.96/272.80	c 273	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
270.06/272.88	c 273	Decoding HOME/temp.out
270.06/273.01	c 273	OBJECTIVE _COST 25
270.06/273.01	o 25
270.06/273.01	v 43 43 10 5 3 2 7 13 13 1 1 26 21 9 8 8 36 32
270.06/273.05	c 273	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
270.64/273.47	c 274	OK
270.64/273.47	c 274	OBJECTIVE BOUND: 0 <= _COST <= 25
270.64/273.47	c 274	SEARCHING: _COST <= 12
270.64/273.47	c 274	============================[ Search Statistics ]==============================
270.64/273.47	c 274	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
270.64/273.47	c 274	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
270.64/273.47	c 274	===============================================================================
270.64/273.47	c 274	|    334221 |    3605    49172   165447 |    16390    27391     16 | 46.808 % |
270.74/273.56	c 274	|    334328 |    3605    49172   165447 |    18029    13803     17 | 53.960 % |
270.84/273.63	c 274	|    334478 |    3605    49172   165447 |    19832    13953     17 | 53.960 % |
270.94/273.75	c 274	|    334704 |    3605    49172   165447 |    21815    14179     17 | 53.960 % |
271.04/273.90	c 274	|    335041 |    3605    49172   165447 |    23997    14516     17 | 53.960 % |
271.33/274.13	c 274	|    335547 |    3605    49172   165447 |    26397    15022     17 | 53.960 % |
271.63/274.44	c 275	|    336306 |    3605    49172   165447 |    29037    15781     17 | 53.960 % |
272.03/274.85	c 275	|    337447 |    3605    49172   165447 |    31940    16922     16 | 53.960 % |
272.72/275.56	c 276	|    339155 |    3605    49172   165447 |    35134    18630     16 | 53.960 % |
273.61/276.42	c 277	|    341717 |    3605    49172   165447 |    38648    21192     16 | 53.960 % |
273.61/276.49	c 277	===============================================================================
273.61/276.49	c 277	restarts              : 60
273.61/276.49	c 277	conflicts             : 341864        (1270 /sec)
273.61/276.49	c 277	decisions             : 447348        (0.84 % random) (1661 /sec)
273.61/276.49	c 277	propagations          : 170896159      (634714 /sec)
273.61/276.49	c 277	conflict literals     : 7467735        (35.83 % deleted)
273.61/276.49	c 277	Memory used           : 30.81 MB
273.61/276.49	c 277	CPU time              : 269.249 s
273.61/276.49	c 277	
273.61/276.49	c 277	UNSATISFIABLE
273.61/276.50	c 277	OK
273.61/276.50	c 277	NOT FOUND: _COST <= 12
273.61/276.50	c 277	OK
273.61/276.50	c 277	OBJECTIVE BOUND: 13 <= _COST <= 25
273.61/276.50	c 277	SEARCHING: _COST <= 19
273.61/276.50	c 277	============================[ Search Statistics ]==============================
273.61/276.50	c 277	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
273.61/276.50	c 277	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
273.61/276.50	c 277	===============================================================================
273.61/276.50	c 277	|    341864 |    3563    48915   164802 |    16305    20862     16 | 53.960 % |
273.71/276.57	c 277	|    341966 |    3563    48915   164802 |    17935    10533     13 | 54.496 % |
273.81/276.63	c 277	|    342117 |    3563    48915   164802 |    19729    10684     13 | 54.496 % |
273.91/276.71	c 277	|    342342 |    3563    48915   164802 |    21701    10909     13 | 54.496 % |
274.01/276.84	c 277	|    342680 |    3563    48915   164802 |    23872    11247     13 | 54.496 % |
274.20/277.04	c 277	|    343186 |    3563    48915   164802 |    26259    11753     13 | 54.496 % |
274.50/277.35	c 277	|    343945 |    3563    48915   164802 |    28885    12512     13 | 54.496 % |
274.89/277.73	c 278	|    345084 |    3563    48915   164802 |    31773    13651     13 | 54.496 % |
275.49/278.35	c 279	|    346794 |    3563    48915   164802 |    34951    15361     13 | 54.496 % |
276.28/279.19	c 279	|    349356 |    3563    48915   164802 |    38446    17923     14 | 54.496 % |
277.96/280.83	c 281	|    353201 |    3563    48915   164802 |    42290    21768     14 | 54.496 % |
280.05/282.92	c 283	|    358967 |    3563    48915   164802 |    46520    27534     16 | 54.496 % |
284.60/287.51	c 288	|    367618 |    3563    48915   164802 |    51172    36185     16 | 54.496 % |
291.34/294.31	c 294	|    380593 |    3563    48915   164802 |    56289    49160     16 | 54.496 % |
301.94/305.09	c 305	|    400057 |    3563    48915   164802 |    61918    22843     18 | 54.496 % |
315.52/318.75	c 319	===============================================================================
315.52/318.75	c 319	restarts              : 75
315.52/318.75	c 319	conflicts             : 428286        (1377 /sec)
315.52/318.75	c 319	decisions             : 558671        (0.90 % random) (1796 /sec)
315.52/318.75	c 319	propagations          : 213480959      (686185 /sec)
315.52/318.75	c 319	conflict literals     : 9054467        (35.06 % deleted)
315.52/318.75	c 319	Memory used           : 30.81 MB
315.52/318.75	c 319	CPU time              : 311.113 s
315.52/318.75	c 319	
315.52/318.75	c 319	UNSATISFIABLE
315.52/318.75	c 319	OK
315.52/318.75	c 319	NOT FOUND: _COST <= 19
315.52/318.75	c 319	OK
315.52/318.75	c 319	OBJECTIVE BOUND: 20 <= _COST <= 25
315.52/318.75	c 319	SEARCHING: _COST <= 22
315.52/318.75	c 319	============================[ Search Statistics ]==============================
315.52/318.75	c 319	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
315.52/318.75	c 319	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
315.52/318.75	c 319	===============================================================================
315.52/318.75	c 319	|    428286 |    3528    48607   163983 |    16202    42698     19 | 54.496 % |
315.72/318.94	c 319	|    428386 |    3528    48607   163983 |    17822    11941     19 | 54.943 % |
315.82/319.01	c 319	|    428536 |    3528    48607   163983 |    19604    12091     19 | 54.943 % |
315.92/319.10	c 319	|    428762 |    3528    48607   163983 |    21565    12317     19 | 54.943 % |
316.02/319.22	c 319	|    429100 |    3528    48607   163983 |    23721    12655     19 | 54.943 % |
316.21/319.40	c 320	|    429606 |    3528    48607   163983 |    26094    13161     19 | 54.943 % |
316.41/319.67	c 320	|    430365 |    3528    48607   163983 |    28703    13920     18 | 54.943 % |
316.81/320.07	c 320	|    431504 |    3528    48607   163983 |    31573    15059     18 | 54.943 % |
317.50/320.70	c 321	|    433212 |    3528    48607   163983 |    34731    16767     18 | 54.943 % |
318.49/321.77	c 322	|    435774 |    3528    48607   163983 |    38204    19329     17 | 54.943 % |
320.27/323.50	c 324	|    439618 |    3528    48607   163983 |    42024    23173     17 | 54.943 % |
321.66/324.90	c 325	===============================================================================
321.66/324.90	c 325	restarts              : 86
321.66/324.90	c 325	conflicts             : 444294        (1401 /sec)
321.66/324.90	c 325	decisions             : 580056        (0.90 % random) (1829 /sec)
321.66/324.90	c 325	propagations          : 221575140      (698550 /sec)
321.66/324.90	c 325	conflict literals     : 9308741        (35.00 % deleted)
321.66/324.90	c 325	Memory used           : 30.81 MB
321.66/324.90	c 325	CPU time              : 317.193 s
321.66/324.90	c 325	
321.66/324.90	c 325	SATISFIABLE
321.66/324.90	c 325	OK
321.66/324.90	c 325	FOUND: _COST <= 22
321.66/324.90	c 325	DECODING HOME/temp.out WITH HOME/temp.map
321.66/324.90	c 325	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
321.66/324.98	c 325	Decoding HOME/temp.out
321.66/325.07	c 325	OBJECTIVE _COST 22
321.66/325.07	o 22
321.66/325.08	v 43 43 9 9 8 3 10 14 14 5 4 26 21 10 8 8 36 32
321.66/325.08	c 325	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
321.66/325.13	c 325	OK
321.66/325.13	c 325	OBJECTIVE BOUND: 20 <= _COST <= 22
321.66/325.13	c 325	SEARCHING: _COST <= 21
321.66/325.13	c 325	============================[ Search Statistics ]==============================
321.66/325.13	c 325	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
321.66/325.13	c 325	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
321.66/325.13	c 325	===============================================================================
321.66/325.13	c 325	|    444294 |    3423    45052   153630 |    15017    27849     17 | 54.943 % |
321.92/325.21	c 325	|    444394 |    3423    45052   153630 |    16519    12301     16 | 56.284 % |
321.92/325.27	c 325	|    444544 |    3423    45052   153630 |    18170    12451     16 | 56.284 % |
322.02/325.36	c 326	|    444769 |    3423    45052   153630 |    19988    12676     16 | 56.284 % |
322.22/325.51	c 326	|    445106 |    3423    45052   153630 |    21986    13013     15 | 56.284 % |
322.41/325.72	c 326	|    445614 |    3423    45052   153630 |    24185    13521     15 | 56.284 % |
322.71/326.03	c 326	|    446373 |    3423    45052   153630 |    26604    14280     15 | 56.284 % |
323.11/326.44	c 327	|    447514 |    3423    45052   153630 |    29264    15421     15 | 56.284 % |
323.80/327.11	c 327	|    449222 |    3423    45052   153630 |    32190    17129     15 | 56.284 % |
324.59/327.99	c 328	|    451784 |    3423    45052   153630 |    35410    19691     16 | 56.284 % |
326.58/329.90	c 330	|    455628 |    3423    45052   153630 |    38951    23535     15 | 56.284 % |
329.55/332.93	c 333	|    461394 |    3423    45052   153630 |    42846    29301     15 | 56.284 % |
333.31/336.79	c 337	|    470044 |    3423    45052   153630 |    47130    37951     16 | 56.284 % |
341.83/345.32	c 345	|    483020 |    3423    45052   153630 |    51843    50927     16 | 56.284 % |
346.78/350.38	c 351	===============================================================================
346.78/350.38	c 351	restarts              : 100
346.78/350.38	c 351	conflicts             : 493320        (1442 /sec)
346.78/350.38	c 351	decisions             : 643466        (0.92 % random) (1880 /sec)
346.78/350.38	c 351	propagations          : 245534408      (717484 /sec)
346.78/350.38	c 351	conflict literals     : 10203865       (34.67 % deleted)
346.78/350.38	c 351	Memory used           : 30.81 MB
346.78/350.38	c 351	CPU time              : 342.216 s
346.78/350.38	c 351	
346.78/350.38	c 351	SATISFIABLE
346.78/350.38	c 351	OK
346.78/350.38	c 351	FOUND: _COST <= 21
346.78/350.38	c 351	DECODING HOME/temp.out WITH HOME/temp.map
346.78/350.38	c 351	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
346.86/350.47	c 351	Decoding HOME/temp.out
346.86/350.60	c 351	OBJECTIVE _COST 21
346.86/350.60	o 21
346.86/350.60	v 43 43 9 9 8 3 10 15 15 5 3 26 21 10 8 8 36 32
346.86/350.63	c 351	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
346.86/350.66	c 351	OK
346.86/350.66	c 351	OBJECTIVE BOUND: 20 <= _COST <= 21
346.86/350.66	c 351	SEARCHING: _COST <= 20
346.86/350.66	c 351	============================[ Search Statistics ]==============================
346.86/350.66	c 351	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
346.86/350.66	c 351	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
346.86/350.66	c 351	===============================================================================
346.86/350.66	c 351	|    493320 |    3388    43921   150341 |    14640    19376     20 | 56.284 % |
347.15/350.72	c 351	|    493420 |    3388    43921   150341 |    16104     9788     24 | 56.731 % |
347.15/350.77	c 351	|    493570 |    3388    43921   150341 |    17714     9938     24 | 56.731 % |
347.25/350.85	c 351	|    493795 |    3388    43921   150341 |    19486    10163     24 | 56.731 % |
347.35/350.95	c 351	|    494132 |    3388    43921   150341 |    21434    10500     23 | 56.731 % |
347.54/351.17	c 351	|    494638 |    3388    43921   150341 |    23578    11006     23 | 56.731 % |
347.84/351.49	c 352	|    495401 |    3388    43921   150341 |    25936    11769     22 | 56.731 % |
348.34/351.91	c 352	|    496540 |    3388    43921   150341 |    28529    12908     22 | 56.731 % |
348.93/352.57	c 353	|    498248 |    3388    43921   150341 |    31382    14616     21 | 56.731 % |
349.92/353.52	c 354	===============================================================================
349.92/353.52	c 354	restarts              : 109
349.92/353.52	c 354	conflicts             : 500538        (1451 /sec)
349.92/353.52	c 354	decisions             : 653175        (0.92 % random) (1893 /sec)
349.92/353.52	c 354	propagations          : 249240913      (722325 /sec)
349.92/353.52	c 354	conflict literals     : 10327167       (34.66 % deleted)
349.92/353.52	c 354	Memory used           : 30.81 MB
349.92/353.52	c 354	CPU time              : 345.054 s
349.92/353.52	c 354	
349.92/353.52	c 354	SATISFIABLE
349.92/353.53	c 354	OK
349.92/353.53	c 354	FOUND: _COST <= 20
349.92/353.53	c 354	DECODING HOME/temp.out WITH HOME/temp.map
349.92/353.53	c 354	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
349.94/353.60	c 354	Decoding HOME/temp.out
349.94/353.73	c 354	OBJECTIVE _COST 20
349.94/353.73	o 20
349.94/353.73	v 43 43 8 8 5 0 7 13 13 1 1 26 21 7 5 10 36 32
349.94/353.75	c 354	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
350.20/353.80	c 354	OK
350.20/353.80	c 354	OBJECTIVE _COST 20
350.20/353.80	s OPTIMUM FOUND
350.20/353.81	c 354	CPU 349.77 (0.07 0.03 349.7 0.42)
350.20/353.81	c 354	END Wed Jul 16 02:51:57 2008

Verifier Data (download as text)

OK	20	401
20 unsatisfied constraints, 401 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-1125307-1216169163/watcher-1125307-1216169163 -o /tmp/evaluation-result-1125307-1216169163/solver-1125307-1216169163 -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-1125307-1216169163.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.08 2.03 2.01 4/81 735
/proc/meminfo: memFree=1666012/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=12132 CPUtime=0
/proc/735/stat : 735 (sugar++) R 733 735 31669 0 -1 4194304 217 0 0 0 0 0 0 0 20 0 1 0 73618817 12423168 185 996147200 4194304 4206940 548682068528 18446744073709551615 272467661537 0 0 4224 0 0 0 0 17 1 0 0
/proc/735/statm: 3033 185 142 3 0 133 0

[startup+0.080443 s]
/proc/loadavg: 2.08 2.03 2.01 4/81 735
/proc/meminfo: memFree=1666012/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16740 CPUtime=0.06
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1143 0 0 0 5 1 0 0 18 0 1 0 73618817 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.102102 s]
/proc/loadavg: 2.08 2.03 2.01 4/81 735
/proc/meminfo: memFree=1666012/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16740 CPUtime=0.07
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 73618817 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.30108 s]
/proc/loadavg: 2.08 2.03 2.01 4/81 735
/proc/meminfo: memFree=1666012/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16740 CPUtime=0.07
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 73618817 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701105 s]
/proc/loadavg: 2.08 2.03 2.01 4/81 735
/proc/meminfo: memFree=1666012/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16740 CPUtime=0.07
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 73618817 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+1.50216 s]
/proc/loadavg: 2.08 2.03 2.01 3/92 757
/proc/meminfo: memFree=1656196/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16740 CPUtime=0.75
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1296 4949 0 1 5 2 65 3 15 0 1 0 73618817 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4185 1104 409 3 0 764 0
[pid=748] ppid=735 vsize=5356 CPUtime=0
/proc/748/stat : 748 (sh) S 735 735 31669 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73618898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/748/statm: 1339 233 193 169 0 50 0
[pid=749] ppid=748 vsize=864172 CPUtime=0.66
/proc/749/stat : 749 (java) S 748 735 31669 0 -1 0 6817 0 1 0 63 3 0 0 19 0 9 0 73618899 884912128 6103 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/749/statm: 216043 6103 2540 9 0 210618 0
[pid=749/tid=750] ppid=748 vsize=864172 CPUtime=0.39
/proc/749/task/750/stat : 750 (java) R 748 735 31669 0 -1 64 2510 0 1 0 38 1 0 0 23 0 9 0 73618899 884912128 6103 996147200 134512640 134550740 4294955920 18446744073709551615 4159713045 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=751] ppid=748 vsize=864172 CPUtime=0.18
/proc/749/task/751/stat : 751 (java) S 748 735 31669 0 -1 64 3277 0 0 0 17 1 0 0 16 0 9 0 73618901 884912128 6103 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=752] ppid=748 vsize=864172 CPUtime=0
/proc/749/task/752/stat : 752 (java) S 748 735 31669 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73618901 884912128 6103 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=753] ppid=748 vsize=864172 CPUtime=0
/proc/749/task/753/stat : 753 (java) S 748 735 31669 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73618901 884912128 6103 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=754] ppid=748 vsize=864172 CPUtime=0
/proc/749/task/754/stat : 754 (java) S 748 735 31669 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 73618903 884912128 6103 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=755] ppid=748 vsize=864172 CPUtime=0.07
/proc/749/task/755/stat : 755 (java) S 748 735 31669 0 -1 64 333 0 0 0 7 0 0 0 16 0 9 0 73618903 884912128 6103 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=756] ppid=748 vsize=864172 CPUtime=0
/proc/749/task/756/stat : 756 (java) S 748 735 31669 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 73618903 884912128 6103 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=757] ppid=748 vsize=864172 CPUtime=0
/proc/749/task/757/stat : 757 (java) S 748 735 31669 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73618903 884912128 6103 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 886268

[startup+3.10127 s]
/proc/loadavg: 2.08 2.03 2.01 4/92 757
/proc/meminfo: memFree=1633220/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16740 CPUtime=0.75
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1297 4949 0 1 5 2 65 3 15 0 1 0 73618817 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4185 1104 409 3 0 764 0
[pid=748] ppid=735 vsize=5356 CPUtime=0
/proc/748/stat : 748 (sh) S 735 735 31669 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73618898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/748/statm: 1339 233 193 169 0 50 0
[pid=749] ppid=748 vsize=868468 CPUtime=2.25
/proc/749/stat : 749 (java) S 748 735 31669 0 -1 0 13699 0 1 0 218 7 0 0 19 0 9 0 73618899 889311232 12853 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/749/statm: 217117 12853 2565 9 0 211664 0
[pid=749/tid=750] ppid=748 vsize=868468 CPUtime=1.14
/proc/749/task/750/stat : 750 (java) R 748 735 31669 0 -1 64 3035 0 1 0 113 1 0 0 25 0 9 0 73618899 889311232 12853 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=751] ppid=748 vsize=868468 CPUtime=0.83
/proc/749/task/751/stat : 751 (java) S 748 735 31669 0 -1 64 8481 0 0 0 80 3 0 0 16 0 9 0 73618901 889311232 12853 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=752] ppid=748 vsize=868468 CPUtime=0
/proc/749/task/752/stat : 752 (java) S 748 735 31669 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73618901 889311232 12853 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=753] ppid=748 vsize=868468 CPUtime=0
/proc/749/task/753/stat : 753 (java) S 748 735 31669 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73618901 889311232 12853 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=754] ppid=748 vsize=868468 CPUtime=0
/proc/749/task/754/stat : 754 (java) S 748 735 31669 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 73618903 889311232 12853 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=755] ppid=748 vsize=868468 CPUtime=0.25
/proc/749/task/755/stat : 755 (java) R 748 735 31669 0 -1 64 1486 0 0 0 24 1 0 0 16 0 9 0 73618903 889311232 12853 996147200 134512640 134550740 4294955920 18446744073709551615 102010471 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=756] ppid=748 vsize=868468 CPUtime=0
/proc/749/task/756/stat : 756 (java) S 748 735 31669 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 73618903 889311232 12853 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=749/tid=757] ppid=748 vsize=868468 CPUtime=0
/proc/749/task/757/stat : 757 (java) S 748 735 31669 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73618903 889311232 12853 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 890564

[startup+6.30148 s]
/proc/loadavg: 2.07 2.03 2.00 3/83 768
/proc/meminfo: memFree=1644556/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=3.75
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1555 22883 0 3 6 2 350 17 15 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=13636 CPUtime=2.35
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 3311 0 0 0 233 2 0 0 25 0 1 0 73619187 13963264 3258 996147200 134512640 135134323 4294956192 18446744073709551615 134532135 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 3409 3258 80 151 0 3255 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 30508

[startup+12.7019 s]
/proc/loadavg: 2.07 2.03 2.00 3/83 768
/proc/meminfo: memFree=1644172/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=3.75
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1555 22883 0 3 6 2 350 17 16 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=14208 CPUtime=8.68
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 3445 0 0 0 866 2 0 0 25 0 1 0 73619187 14548992 3392 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 3552 3392 80 151 0 3398 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 31080

[startup+25.5018 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 768
/proc/meminfo: memFree=1641100/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=3.75
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1555 22883 0 3 6 2 350 17 16 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=17512 CPUtime=21.36
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 4243 0 0 0 2133 3 0 0 25 0 1 0 73619187 17932288 4190 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 4378 4190 80 151 0 4224 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 34384

[startup+51.1015 s]
/proc/loadavg: 2.03 2.02 2.00 3/83 778
/proc/meminfo: memFree=1637004/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=3.93
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1624 26749 0 4 6 2 365 20 16 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=21384 CPUtime=46.51
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 5217 0 0 0 4647 4 0 0 25 0 1 0 73619187 21897216 5162 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 5346 5162 80 151 0 5192 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 38256

[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/83 778
/proc/meminfo: memFree=1636492/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=3.93
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1624 26749 0 4 6 2 365 20 16 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=22076 CPUtime=97.23
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 5403 0 0 0 9719 4 0 0 25 0 1 0 73619187 22605824 5348 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 5519 5348 80 151 0 5365 0
Current children cumulated CPU time (s) 101.16
Current children cumulated vsize (KiB) 38948

[startup+162.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 778
/proc/meminfo: memFree=1629772/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=3.93
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1624 26749 0 4 6 2 365 20 16 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=29100 CPUtime=156.67
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 7072 0 0 0 15660 7 0 0 25 0 1 0 73619187 29798400 7017 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 7275 7017 80 151 0 7121 0
Current children cumulated CPU time (s) 160.6
Current children cumulated vsize (KiB) 45972

[startup+222.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 788
/proc/meminfo: memFree=1627340/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=4.14
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1694 30616 0 5 6 2 383 23 16 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=31412 CPUtime=215.89
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 7653 0 0 0 21582 7 0 0 25 0 1 0 73619187 32165888 7596 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 7853 7596 80 151 0 7699 0
Current children cumulated CPU time (s) 220.03
Current children cumulated vsize (KiB) 48284

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 798
/proc/meminfo: memFree=1626956/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=4.38
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1766 34491 0 6 6 2 404 26 16 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=31548 CPUtime=275.07
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 7695 0 0 0 27499 8 0 0 25 0 1 0 73619187 32305152 7634 996147200 134512640 135134323 4294956192 18446744073709551615 134532346 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 7887 7634 80 151 0 7733 0
Current children cumulated CPU time (s) 279.45
Current children cumulated vsize (KiB) 48420

[startup+342.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/83 808
/proc/meminfo: memFree=1626956/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=4.57
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1833 38357 0 7 7 3 418 29 16 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=31548 CPUtime=334.29
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 7701 0 0 0 33421 8 0 0 25 0 1 0 73619187 32305152 7636 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 7887 7636 80 151 0 7733 0
Current children cumulated CPU time (s) 338.86
Current children cumulated vsize (KiB) 48420

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

[startup+345.501 s]
/proc/loadavg: 2.10 2.03 2.00 3/83 808
/proc/meminfo: memFree=1626956/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=4.57
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1833 38357 0 7 7 3 418 29 16 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=31548 CPUtime=337.46
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 7701 0 0 0 33738 8 0 0 25 0 1 0 73619187 32305152 7636 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 7887 7636 80 151 0 7733 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 48420

[startup+348.706 s]
/proc/loadavg: 2.10 2.03 2.00 3/83 808
/proc/meminfo: memFree=1626956/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=4.57
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1833 38357 0 7 7 3 418 29 16 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=31548 CPUtime=340.63
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 7701 0 0 0 34055 8 0 0 25 0 1 0 73619187 32305152 7636 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 7887 7636 80 151 0 7733 0
Current children cumulated CPU time (s) 345.2
Current children cumulated vsize (KiB) 48420

[startup+351.903 s]
/proc/loadavg: 2.09 2.03 2.00 3/83 818
/proc/meminfo: memFree=1626892/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=4.81
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1901 42233 0 8 7 3 440 31 15 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=31548 CPUtime=343.53
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 7703 0 0 0 34345 8 0 0 25 0 1 0 73619187 32305152 7636 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 7887 7636 80 151 0 7733 0
Current children cumulated CPU time (s) 348.34
Current children cumulated vsize (KiB) 48420

[startup+352.703 s]
/proc/loadavg: 2.09 2.03 2.00 3/83 818
/proc/meminfo: memFree=1626892/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=4.81
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1901 42233 0 8 7 3 440 31 15 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=31548 CPUtime=344.32
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 7703 0 0 0 34424 8 0 0 25 0 1 0 73619187 32305152 7636 996147200 134512640 135134323 4294956192 18446744073709551615 134532056 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 7887 7636 80 151 0 7733 0
Current children cumulated CPU time (s) 349.13
Current children cumulated vsize (KiB) 48420

[startup+353.503 s]
/proc/loadavg: 2.09 2.03 2.00 3/83 818
/proc/meminfo: memFree=1626892/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=4.81
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1901 42233 0 8 7 3 440 31 15 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=31548 CPUtime=345.11
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 7703 0 0 0 34503 8 0 0 25 0 1 0 73619187 32305152 7636 996147200 134512640 135134323 4294956192 18446744073709551615 134528305 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 7887 7636 80 151 0 7733 0
Current children cumulated CPU time (s) 349.92
Current children cumulated vsize (KiB) 48420

[startup+353.702 s]
/proc/loadavg: 2.09 2.03 2.00 3/83 818
/proc/meminfo: memFree=1626892/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=4.81
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1952 42233 0 8 7 3 440 31 16 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=31548 CPUtime=345.13
/proc/758/stat : 758 (minisat-inc) S 735 735 31669 0 -1 4194304 7705 0 0 0 34505 8 0 0 25 0 1 0 73619187 32305152 7636 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/758/statm: 7887 7636 80 151 0 7733 0
Current children cumulated CPU time (s) 349.94
Current children cumulated vsize (KiB) 48420

[startup+353.802 s]
/proc/loadavg: 2.09 2.03 2.00 3/83 818
/proc/meminfo: memFree=1626892/2055920 swapFree=4192812/4192956
[pid=735] ppid=733 vsize=16872 CPUtime=5.06
/proc/735/stat : 735 (sugar++) S 733 735 31669 0 -1 4194304 1966 46099 0 9 7 3 463 33 15 0 1 0 73618817 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/735/statm: 4218 1124 414 3 0 797 0
[pid=758] ppid=735 vsize=31548 CPUtime=345.14
/proc/758/stat : 758 (minisat-inc) R 735 735 31669 0 -1 4194304 7705 0 0 0 34506 8 0 0 24 0 1 0 73619187 32305152 7636 996147200 134512640 135134323 4294956192 18446744073709551615 134532718 0 0 4096 3 0 0 0 17 1 0 0
/proc/758/statm: 7887 7636 80 151 0 7733 0
Current children cumulated CPU time (s) 350.2
Current children cumulated vsize (KiB) 48420

Child status: 0
Real time (s): 353.815
CPU time (s): 350.244
CPU user time (s): 349.779
CPU system time (s): 0.464929
CPU usage (%): 98.9908
Max. virtual memory (cumulated for all children) (KiB): 890564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 349.779
system time used= 0.464929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55851
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4540
involuntary context switches= 18082

runsolver used 0.45593 second user time and 1.17682 second system time

The end

Launcher Data (download as text)

Begin job on node22 at 2008-07-16 02:46:03
IDJOB=1125307
IDBENCH=63103
IDSOLVER=367
FILE ID=node22/1125307-1216169163
PBS_JOBID= 7905683
Free space on /tmp= 66560 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/celar/subs7/normalized-scenw-7-sub3_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-1125307-1216169163/watcher-1125307-1216169163 -o /tmp/evaluation-result-1125307-1216169163/solver-1125307-1216169163 -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-1125307-1216169163.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= ae63cdc1b7ff08347e2736071b0aeb10
RANDOM SEED=571600968

node22.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.253
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.253
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:       1666492 kB
Buffers:         84676 kB
Cached:         194668 kB
SwapCached:          0 kB
Active:         221300 kB
Inactive:        94620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1666492 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1320 kB
Writeback:           0 kB
Mapped:          56788 kB
Slab:            58720 kB
Committed_AS:   387412 kB
PageTables:       1828 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= 66560 MiB
End job on node22 at 2008-07-16 02:51:57