Trace number 1117619

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 455.526 458.125

General information on the benchmark

Namemaxcsp/randomMaxCSP/completeLoose/
normalized-vcsp-25-10-100-18-25_ext.xml
MD5SUM0a952ad9d3f48d706fc5231b2ede8fcc
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 benchmark74.3987
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints300
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension300
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 Mon Jul 14 21:46:40 2008
0.00/0.08	c 0	PID 23515
0.07/0.08	c 0	HOST node41.alineos.net
0.07/0.08	c 0	CONVERTING HOME/instance-1117619-1216064800.xml TO HOME/temp.csp
0.07/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1117619-1216064800.xml' 'HOME/temp.csp'
0.07/0.48	c 0	1 domains, 25 variables, 0 predicates, 300 relations, 300 constraints
0.07/0.50	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.50	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.07/0.58	c 0	Parsing HOME/temp.csp
0.46/0.78	c 0	parsed 626 expressions
0.46/0.79	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.46/0.79	c 0	MAX CSP: 300 constraints
0.46/0.79	c 0	Converting to clausal form CSP
0.46/0.82	c 0	converted 93 (10%) expressions
0.46/0.82	c 0	converted 186 (20%) expressions
0.46/0.82	c 0	converted 279 (30%) expressions
0.46/0.84	c 1	converted 372 (40%) expressions
0.46/0.86	c 1	converted 465 (50%) expressions
0.46/0.86	c 1	converted 558 (60%) expressions
0.46/0.87	c 1	converted 651 (70%) expressions
0.46/0.88	c 1	converted 744 (80%) expressions
0.46/0.89	c 1	converted 837 (90%) expressions
0.94/1.05	c 1	converted 929 (100%) expressions
0.94/1.05	c 1	CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 451
0.94/1.05	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.94/1.05	c 1	Propagation in CSP
0.94/1.09	c 1	296 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.94/1.09	c 1	CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 301
0.94/1.09	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.94/1.09	c 1	Simplifing CSP by introducing new Boolean variables
0.94/1.09	c 1	CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 301
0.94/1.09	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.04/1.12	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.04/1.14	c 1	63 (10%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.04/1.14	c 1	125 (20%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.04/1.14	c 1	188 (30%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.04/1.14	c 1	250 (40%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.04/1.14	c 1	313 (50%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.04/1.15	c 1	375 (60%) CSP integer variables are encoded (693 clauses, 7608 bytes)
1.04/1.15	c 1	438 (70%) CSP integer variables are encoded (3016 clauses, 37807 bytes)
1.04/1.15	c 1	500 (80%) CSP integer variables are encoded (3623 clauses, 45698 bytes)
1.04/1.15	c 1	563 (90%) CSP integer variables are encoded (3979 clauses, 50326 bytes)
1.04/1.15	c 1	625 (100%) CSP integer variables are encoded (4493 clauses, 57008 bytes)
1.14/1.20	c 1	90 (10%) CSP clauses are encoded (5721 clauses, 81492 bytes)
1.14/1.22	c 1	180 (20%) CSP clauses are encoded (6953 clauses, 107168 bytes)
1.14/1.23	c 1	270 (30%) CSP clauses are encoded (8187 clauses, 134633 bytes)
1.14/1.24	c 1	360 (40%) CSP clauses are encoded (9280 clauses, 153481 bytes)
1.23/1.35	c 1	450 (50%) CSP clauses are encoded (58448 clauses, 1026289 bytes)
1.23/1.35	c 1	540 (60%) CSP clauses are encoded (60346 clauses, 1058708 bytes)
1.33/1.43	c 1	630 (70%) CSP clauses are encoded (105206 clauses, 1881416 bytes)
1.33/1.44	c 1	720 (80%) CSP clauses are encoded (107358 clauses, 1918306 bytes)
1.33/1.45	c 1	810 (90%) CSP clauses are encoded (112194 clauses, 2004256 bytes)
1.33/1.49	c 1	899 (100%) CSP clauses are encoded (129680 clauses, 2321164 bytes)
1.33/1.49	c 1	899 CSP clauses encoded
1.33/1.49	c 1	Writing map file : HOME/temp.map
1.42/1.50	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.42/1.50	c 1	SAT : 5118 SAT variables, 129680 SAT clauses, 2321164 bytes
1.42/1.50	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.42/1.54	c 1	OBJECTIVE minimize _COST
1.42/1.54	c 1	SOLVING HOME/temp.cnf
1.42/1.54	c 1	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.42/1.55	c 1	This is MiniSat 2.0 beta incremental
1.42/1.55	c 1	WARNING: for repeatability, setting FPU to use double precision
1.42/1.55	c 1	============================[ Problem Statistics ]=============================
1.42/1.55	c 1	|                                                                             |
1.42/1.55	c 1	|  Number of variables:  5118                                                 |
1.42/1.55	c 1	|  Number of clauses:    129680                                               |
1.44/1.61	c 1	|  Parsing time:         0.05         s                                       |
1.44/1.61	c 1	OK
1.44/1.61	c 1	OBJECTIVE BOUND: 0 <= _COST <= 
1.44/1.61	c 1	SEARCHING: _COST <= 150
1.44/1.61	c 1	============================[ Search Statistics ]==============================
1.44/1.61	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.44/1.61	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.44/1.61	c 1	===============================================================================
1.44/1.61	c 1	|         0 |    5118   129680   381958 |    43226        0    nan |  0.000 % |
1.44/1.62	c 1	===============================================================================
1.44/1.62	c 1	restarts              : 1
1.44/1.62	c 1	conflicts             : 13            (206 /sec)
1.44/1.62	c 1	decisions             : 38            (0.00 % random) (603 /sec)
1.44/1.62	c 1	propagations          : 5633           (89427 /sec)
1.44/1.62	c 1	conflict literals     : 553            (6.59 % deleted)
1.44/1.62	c 1	Memory used           : 7.12 MB
1.44/1.62	c 1	CPU time              : 0.06299 s
1.44/1.62	c 1	
1.44/1.62	c 1	SATISFIABLE
1.44/1.62	c 1	OK
1.44/1.62	c 1	FOUND: _COST <= 150
1.44/1.62	s SATISFIABLE
1.44/1.62	c 1	DECODING HOME/temp.out WITH HOME/temp.map
1.44/1.62	c 1	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.44/1.70	c 1	Decoding HOME/temp.out
1.44/1.78	c 1	OBJECTIVE _COST 150
1.44/1.78	o 150
1.44/1.78	v 5 8 6 4 2 8 4 8 1 9 2 4 5 6 3 9 8 7 9 7 9 9 8 9 9
1.44/1.78	c 1	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.44/1.84	c 2	OK
1.44/1.84	c 2	OBJECTIVE BOUND: 0 <= _COST <= 150
1.44/1.84	c 2	SEARCHING: _COST <= 75
1.44/1.84	c 2	============================[ Search Statistics ]==============================
1.44/1.85	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.44/1.85	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.44/1.85	c 2	===============================================================================
1.44/1.85	c 2	|        13 |    5118   129680   381958 |    43226       13     43 |  0.000 % |
1.44/1.86	c 2	|       113 |    5118   129680   381958 |    47549      113     33 | 26.380 % |
1.44/1.86	c 2	===============================================================================
1.44/1.86	c 2	restarts              : 3
1.44/1.86	c 2	conflicts             : 116           (1275 /sec)
1.44/1.86	c 2	decisions             : 383           (0.00 % random) (4209 /sec)
1.44/1.86	c 2	propagations          : 48909          (537544 /sec)
1.44/1.86	c 2	conflict literals     : 3764           (23.01 % deleted)
1.44/1.86	c 2	Memory used           : 7.38 MB
1.44/1.86	c 2	CPU time              : 0.090986 s
1.44/1.86	c 2	
1.44/1.86	c 2	SATISFIABLE
1.44/1.87	c 2	OK
1.44/1.87	c 2	FOUND: _COST <= 75
1.44/1.87	c 2	DECODING HOME/temp.out WITH HOME/temp.map
1.44/1.87	c 2	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.60/1.95	c 2	Decoding HOME/temp.out
1.60/2.02	c 2	OBJECTIVE _COST 75
1.60/2.02	o 75
1.60/2.02	v 9 9 9 7 9 9 4 9 9 9 1 8 9 9 6 9 8 9 9 9 9 9 9 9 9
1.60/2.02	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.60/2.08	c 2	OK
1.60/2.08	c 2	OBJECTIVE BOUND: 0 <= _COST <= 75
1.60/2.08	c 2	SEARCHING: _COST <= 37
1.60/2.08	c 2	============================[ Search Statistics ]==============================
1.60/2.09	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.60/2.09	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.60/2.09	c 2	===============================================================================
1.60/2.09	c 2	|       116 |    3768   129680   381958 |    43226      116     32 | 26.380 % |
1.86/2.10	c 2	|       216 |    3768   129680   381958 |    47549      216     28 | 41.034 % |
1.86/2.12	c 2	|       366 |    3768   129680   381958 |    52304      366     27 | 41.034 % |
1.86/2.14	c 2	===============================================================================
1.86/2.14	c 2	restarts              : 6
1.86/2.14	c 2	conflicts             : 516           (3441 /sec)
1.86/2.14	c 2	decisions             : 938           (0.85 % random) (6254 /sec)
1.86/2.14	c 2	propagations          : 168636         (1124412 /sec)
1.86/2.14	c 2	conflict literals     : 13765          (29.47 % deleted)
1.86/2.14	c 2	Memory used           : 7.38 MB
1.86/2.14	c 2	CPU time              : 0.149977 s
1.86/2.14	c 2	
1.86/2.14	c 2	SATISFIABLE
1.86/2.15	c 2	OK
1.86/2.15	c 2	FOUND: _COST <= 37
1.86/2.15	c 2	DECODING HOME/temp.out WITH HOME/temp.map
1.86/2.15	c 2	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.91/2.23	c 2	Decoding HOME/temp.out
1.91/2.30	c 2	OBJECTIVE _COST 37
1.91/2.30	o 37
1.91/2.30	v 9 9 9 9 9 9 2 9 9 9 2 9 9 4 7 2 9 9 6 9 9 9 9 5 9
1.91/2.30	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.91/2.31	c 2	OK
1.91/2.31	c 2	OBJECTIVE BOUND: 0 <= _COST <= 37
1.91/2.31	c 2	SEARCHING: _COST <= 18
1.91/2.31	c 2	============================[ Search Statistics ]==============================
1.91/2.32	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.91/2.32	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.91/2.32	c 2	===============================================================================
1.91/2.32	c 2	|       516 |    3018   129680   381958 |    43226      516     27 | 41.034 % |
1.91/2.33	c 2	|       616 |    3018   129680   381958 |    47549      616     25 | 50.764 % |
1.91/2.35	c 2	|       766 |    3018   129680   381958 |    52304      766     25 | 50.764 % |
1.91/2.38	c 2	|       991 |    3018   129680   381958 |    57534      991     24 | 50.764 % |
2.15/2.43	c 2	|      1331 |    3018   129680   381958 |    63288     1331     24 | 50.764 % |
2.25/2.53	c 2	|      1837 |    2520    34957   105320 |    69616     1825     24 | 50.764 % |
2.35/2.64	c 2	|      2596 |    2520    34957   105320 |    76578     2584     24 | 50.764 % |
2.55/2.80	c 2	|      3735 |    2520    34957   105320 |    84236     3723     23 | 50.764 % |
2.75/3.03	c 3	|      5445 |    2520    34957   105320 |    92660     5433     24 | 50.764 % |
3.14/3.41	c 3	|      8008 |    2520    34957   105320 |   101926     7996     25 | 50.764 % |
3.34/3.61	c 3	===============================================================================
3.34/3.61	c 3	restarts              : 16
3.34/3.61	c 3	conflicts             : 9716          (6776 /sec)
3.34/3.61	c 3	decisions             : 11747         (0.52 % random) (8193 /sec)
3.34/3.61	c 3	propagations          : 2883427        (2011064 /sec)
3.34/3.61	c 3	conflict literals     : 269143         (28.36 % deleted)
3.34/3.61	c 3	Memory used           : 7.51 MB
3.34/3.61	c 3	CPU time              : 1.43378 s
3.34/3.61	c 3	
3.34/3.61	c 3	SATISFIABLE
3.34/3.61	c 3	OK
3.34/3.61	c 3	FOUND: _COST <= 18
3.34/3.61	c 3	DECODING HOME/temp.out WITH HOME/temp.map
3.34/3.61	c 3	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.34/3.69	c 3	Decoding HOME/temp.out
3.35/3.78	c 3	OBJECTIVE _COST 18
3.35/3.78	o 18
3.35/3.78	v 6 4 9 8 9 6 4 9 4 4 9 8 1 9 5 9 9 9 9 1 7 8 7 9 8
3.35/3.80	c 3	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.35/3.83	c 3	OK
3.35/3.83	c 3	OBJECTIVE BOUND: 0 <= _COST <= 18
3.35/3.83	c 3	SEARCHING: _COST <= 9
3.35/3.83	c 3	============================[ Search Statistics ]==============================
3.35/3.84	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.35/3.84	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.35/3.84	c 4	===============================================================================
3.35/3.84	c 4	|      9716 |    2128    21439    65923 |     7146     9635     28 | 50.764 % |
3.35/3.85	c 4	|      9816 |    2128    21439    65923 |     7860     9735     28 | 58.423 % |
3.35/3.87	c 4	|      9966 |    2128    21439    65923 |     8647     9885     27 | 58.423 % |
3.63/3.91	c 4	|     10193 |    2128    21439    65923 |     9511    10112     27 | 58.423 % |
3.63/3.96	c 4	|     10530 |    2128    21439    65923 |    10462    10449     27 | 58.423 % |
3.73/4.04	c 4	|     11036 |    2128    21439    65923 |    11509    10955     27 | 58.423 % |
3.82/4.16	c 4	|     11797 |    2128    21439    65923 |    12660    11716     27 | 58.423 % |
4.02/4.34	c 4	|     12937 |    2128    21439    65923 |    13926    12856     26 | 58.423 % |
4.32/4.64	c 4	|     14645 |    2128    21439    65923 |    15318    14564     26 | 58.423 % |
4.81/5.10	c 5	|     17207 |    2128    21439    65923 |    16850    17126     25 | 58.423 % |
5.51/5.87	c 6	|     21051 |    2128    21439    65923 |    18535    10678     22 | 58.423 % |
6.70/7.03	c 7	|     26818 |    2128    21439    65923 |    20389    16445     22 | 58.423 % |
8.69/9.02	c 9	|     35467 |    2128    21439    65923 |    22428    12788     23 | 58.423 % |
11.85/12.29	c 12	|     48441 |    2128    21439    65923 |    24671    25762     24 | 58.423 % |
17.60/18.04	c 18	|     67902 |    2128    21439    65923 |    27138    14137     24 | 58.423 % |
25.23/25.79	c 25	|     97095 |    2128    21439    65923 |    29852    25343     24 | 58.423 % |
37.42/38.01	c 38	|    140884 |    2128    21439    65923 |    32837    29026     23 | 58.423 % |
56.83/57.65	c 57	|    206569 |    2128    21439    65923 |    36120    25949     24 | 58.423 % |
89.52/90.68	c 90	|    305097 |    2128    21439    65923 |    39733    20473     25 | 58.423 % |
144.30/145.98	c 146	|    452887 |    2128    21439    65923 |    43706    22683     23 | 58.423 % |
193.54/195.61	c 195	===============================================================================
193.54/195.61	c 195	restarts              : 36
193.54/195.61	c 195	conflicts             : 583232        (3047 /sec)
193.54/195.61	c 195	decisions             : 650087        (0.64 % random) (3396 /sec)
193.54/195.61	c 195	propagations          : 170295704      (889696 /sec)
193.54/195.61	c 195	conflict literals     : 14628652       (32.98 % deleted)
193.54/195.61	c 195	Memory used           : 13.83 MB
193.54/195.61	c 195	CPU time              : 191.409 s
193.54/195.61	c 195	
193.54/195.61	c 195	SATISFIABLE
193.54/195.61	c 195	OK
193.54/195.61	c 195	FOUND: _COST <= 9
193.54/195.61	c 195	DECODING HOME/temp.out WITH HOME/temp.map
193.54/195.61	c 195	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
193.54/195.70	c 195	Decoding HOME/temp.out
193.63/195.79	c 195	OBJECTIVE _COST 9
193.63/195.79	o 9
193.63/195.79	v 8 9 9 9 1 0 2 7 8 4 9 2 8 9 7 4 6 7 9 9 7 8 7 2 3
193.72/195.82	c 195	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
193.72/195.84	c 196	OK
193.72/195.84	c 196	OBJECTIVE BOUND: 0 <= _COST <= 9
193.72/195.84	c 196	SEARCHING: _COST <= 4
193.72/195.84	c 196	============================[ Search Statistics ]==============================
193.72/195.84	c 196	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.72/195.84	c 196	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
193.72/195.84	c 196	===============================================================================
193.72/195.84	c 196	|    583232 |    1801    14221    45241 |     4740    22207     22 | 58.423 % |
193.83/195.91	c 196	|    583333 |    1801    14221    45241 |     5214     5653     21 | 64.812 % |
193.83/195.93	c 196	|    583483 |    1801    14221    45241 |     5735     5803     21 | 64.812 % |
193.83/195.96	c 196	|    583708 |    1801    14221    45241 |     6309     6028     21 | 64.812 % |
193.93/196.01	c 196	|    584045 |    1801    14221    45241 |     6940     6365     21 | 64.812 % |
193.93/196.08	c 196	|    584552 |    1801    14221    45241 |     7634     6872     21 | 64.812 % |
194.13/196.20	c 196	|    585311 |    1801    14221    45241 |     8397     7631     21 | 64.812 % |
194.23/196.38	c 196	|    586451 |    1801    14221    45241 |     9237     8771     20 | 64.812 % |
194.52/196.65	c 196	|    588160 |    1801    14221    45241 |    10161    10480     21 | 64.812 % |
194.92/197.06	c 197	|    590722 |    1801    14221    45241 |    11177    13042     21 | 64.812 % |
195.61/197.71	c 197	|    594566 |    1801    14221    45241 |    12295     9326     21 | 64.812 % |
196.50/198.68	c 198	|    600332 |    1801    14221    45241 |    13524    15092     21 | 64.812 % |
198.19/200.38	c 200	|    608981 |    1801    14221    45241 |    14877    14913     23 | 64.812 % |
200.66/202.82	c 202	|    621955 |    1801    14221    45241 |    16364    18403     24 | 64.812 % |
204.83/207.02	c 207	|    641416 |    1801    14221    45241 |    18001    17358     25 | 64.812 % |
211.66/213.99	c 214	|    670608 |    1801    14221    45241 |    19801    13408     27 | 64.812 % |
222.07/224.46	c 224	|    714399 |    1801    14221    45241 |    21781    21260     24 | 64.812 % |
230.08/232.59	c 232	===============================================================================
230.08/232.59	c 232	restarts              : 53
230.08/232.59	c 232	conflicts             : 744114        (3266 /sec)
230.08/232.59	c 232	decisions             : 829418        (0.65 % random) (3641 /sec)
230.08/232.59	c 232	propagations          : 215889684      (947623 /sec)
230.08/232.59	c 232	conflict literals     : 18639743       (32.25 % deleted)
230.08/232.59	c 232	Memory used           : 13.97 MB
230.08/232.59	c 232	CPU time              : 227.822 s
230.08/232.59	c 232	
230.08/232.59	c 232	SATISFIABLE
230.08/232.59	c 232	OK
230.08/232.59	c 232	FOUND: _COST <= 4
230.08/232.59	c 232	DECODING HOME/temp.out WITH HOME/temp.map
230.08/232.59	c 232	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
230.19/232.67	c 232	Decoding HOME/temp.out
230.19/232.75	c 232	OBJECTIVE _COST 4
230.19/232.75	o 4
230.19/232.76	v 5 2 3 8 9 4 9 9 6 2 9 7 1 5 1 5 0 5 3 9 0 6 9 5 2
230.19/232.76	c 232	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
230.19/232.81	c 232	OK
230.19/232.81	c 232	OBJECTIVE BOUND: 0 <= _COST <= 4
230.19/232.81	c 232	SEARCHING: _COST <= 2
230.19/232.81	c 232	============================[ Search Statistics ]==============================
230.19/232.81	c 232	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
230.19/232.81	c 232	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
230.19/232.81	c 232	===============================================================================
230.19/232.81	c 232	|    744114 |    1427     9456    32063 |     3152    25089     23 | 64.812 % |
230.45/232.95	c 233	|    744215 |    1427     9456    32063 |     3467     6374     19 | 72.119 % |
230.45/232.97	c 233	|    744365 |    1427     9456    32063 |     3813     6524     19 | 72.119 % |
230.54/233.00	c 233	|    744591 |    1427     9456    32063 |     4195     6750     19 | 72.119 % |
230.54/233.04	c 233	|    744928 |    1427     9456    32063 |     4614     7087     19 | 72.119 % |
230.65/233.11	c 233	|    745434 |    1427     9456    32063 |     5076     7593     19 | 72.119 % |
230.75/233.22	c 233	|    746194 |    1427     9456    32063 |     5583     8353     20 | 72.119 % |
230.84/233.38	c 233	|    747333 |    1427     9456    32063 |     6142     9492     20 | 72.119 % |
231.14/233.61	c 233	|    749041 |    1427     9456    32063 |     6756     6079     21 | 72.119 % |
231.44/233.94	c 234	|    751604 |    1427     9456    32063 |     7432     8642     23 | 72.119 % |
231.94/234.49	c 234	|    755450 |    1427     9456    32063 |     8175     6594     25 | 72.119 % |
232.84/235.32	c 235	|    761216 |    1427     9456    32063 |     8993    12360     25 | 72.119 % |
234.05/236.58	c 236	|    769866 |    1427     9456    32063 |     9892     7630     24 | 72.119 % |
235.84/238.39	c 238	|    782841 |    1427     9456    32063 |    10881    13625     25 | 72.119 % |
238.94/241.46	c 241	|    802302 |    1427     9456    32063 |    11969    10490     25 | 72.119 % |
243.94/246.45	c 246	|    831494 |    1427     9456    32063 |    13166    15013     33 | 72.119 % |
251.43/253.94	c 254	|    875284 |    1427     9456    32063 |    14483    15528     22 | 72.119 % |
262.22/264.77	c 264	|    940968 |    1427     9456    32063 |    15931    15798     23 | 72.119 % |
279.62/282.11	c 282	|   1039494 |    1427     9456    32063 |    17524    13322     27 | 72.119 % |
308.51/311.06	c 311	|   1187283 |    1427     9456    32063 |    19277    19398     25 | 72.119 % |
351.70/354.29	c 354	|   1408968 |    1427     9456    32063 |    21205    17392     24 | 72.119 % |
372.79/375.32	c 375	===============================================================================
372.79/375.32	c 375	restarts              : 74
372.79/375.32	c 375	conflicts             : 1510953       (4081 /sec)
372.79/375.32	c 375	decisions             : 1676514       (0.68 % random) (4528 /sec)
372.79/375.32	c 375	propagations          : 426145287      (1150865 /sec)
372.79/375.32	c 375	conflict literals     : 38532090       (29.60 % deleted)
372.79/375.32	c 375	Memory used           : 14.77 MB
372.79/375.32	c 375	CPU time              : 370.283 s
372.79/375.32	c 375	
372.79/375.32	c 375	SATISFIABLE
372.79/375.33	c 375	OK
372.79/375.33	c 375	FOUND: _COST <= 2
372.79/375.33	c 375	DECODING HOME/temp.out WITH HOME/temp.map
372.79/375.33	c 375	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
372.82/375.41	c 375	Decoding HOME/temp.out
372.82/375.49	c 375	OBJECTIVE _COST 2
372.82/375.49	o 2
372.82/375.49	v 4 6 6 7 0 4 4 8 5 8 8 3 0 2 1 0 7 4 5 9 9 3 1 3 0
372.82/375.50	c 375	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
372.82/375.54	c 375	OK
372.82/375.54	c 375	OBJECTIVE BOUND: 0 <= _COST <= 2
372.82/375.54	c 375	SEARCHING: _COST <= 1
372.82/375.54	c 375	============================[ Search Statistics ]==============================
372.82/375.54	c 375	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
372.82/375.54	c 375	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
372.82/375.54	c 375	===============================================================================
372.82/375.54	c 375	|   1510953 |    1125     7119    25956 |     2373    15389     26 | 72.119 % |
372.82/375.59	c 375	|   1511053 |    1125     7119    25956 |     2610     3948     21 | 78.020 % |
373.06/375.61	c 375	|   1511203 |    1125     7119    25956 |     2871     4098     21 | 78.020 % |
373.06/375.63	c 375	|   1511429 |    1125     7119    25956 |     3158     4324     21 | 78.020 % |
373.06/375.66	c 375	|   1511767 |    1125     7119    25956 |     3474     4662     22 | 78.020 % |
373.16/375.72	c 375	|   1512273 |    1125     7119    25956 |     3821     5168     22 | 78.020 % |
373.16/375.80	c 375	|   1513032 |    1125     7119    25956 |     4203     5927     22 | 78.020 % |
373.36/375.92	c 376	|   1514171 |    1125     7119    25956 |     4624     7066     22 | 78.020 % |
373.56/376.13	c 376	|   1515879 |    1125     7119    25956 |     5086     8774     23 | 78.020 % |
373.86/376.43	c 376	|   1518443 |    1125     7119    25956 |     5595     6621     24 | 78.020 % |
374.26/376.88	c 377	|   1522287 |    1125     7119    25956 |     6154     5472     26 | 78.020 % |
374.96/377.54	c 377	|   1528054 |    1125     7119    25956 |     6770     5819     24 | 78.020 % |
376.06/378.60	c 378	|   1536704 |    1125     7119    25956 |     7447     8880     27 | 78.020 % |
377.65/380.26	c 380	|   1549679 |    1125     7119    25956 |     8192     9703     32 | 78.020 % |
380.15/382.78	c 382	|   1569140 |    1125     7119    25956 |     9011    10349     21 | 78.020 % |
384.15/386.71	c 386	|   1598332 |    1125     7119    25956 |     9912    12647     38 | 78.020 % |
390.35/392.95	c 393	|   1642121 |    1125     7119    25956 |    10903    13559     22 | 78.020 % |
399.24/401.84	c 402	|   1707806 |    1125     7119    25956 |    11994     9081     48 | 78.020 % |
413.74/416.37	c 416	|   1806333 |    1125     7119    25956 |    13193     9051     24 | 78.020 % |
436.63/439.20	c 439	|   1954123 |    1125     7119    25956 |    14513    16035     27 | 78.020 % |
453.42/456.07	c 456	===============================================================================
453.42/456.07	c 456	restarts              : 94
453.42/456.07	c 456	conflicts             : 2061619       (4573 /sec)
453.42/456.07	c 456	decisions             : 2300850       (0.70 % random) (5104 /sec)
453.42/456.07	c 456	propagations          : 548820721      (1217498 /sec)
453.42/456.07	c 456	conflict literals     : 54985321       (27.41 % deleted)
453.42/456.07	c 456	Memory used           : 14.90 MB
453.42/456.07	c 456	CPU time              : 450.777 s
453.42/456.07	c 456	
453.42/456.07	c 456	SATISFIABLE
453.42/456.07	c 456	OK
453.42/456.07	c 456	FOUND: _COST <= 1
453.42/456.07	c 456	DECODING HOME/temp.out WITH HOME/temp.map
453.42/456.07	c 456	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.49/456.15	c 456	Decoding HOME/temp.out
453.49/456.24	c 456	OBJECTIVE _COST 1
453.49/456.24	o 1
453.49/456.24	v 7 4 8 7 6 6 5 4 4 3 1 5 4 7 6 3 2 7 5 6 4 1 6 0 7
453.49/456.25	c 456	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
453.49/456.29	c 456	OK
453.49/456.29	c 456	OBJECTIVE BOUND: 0 <= _COST <= 1
453.49/456.29	c 456	SEARCHING: _COST <= 0
453.49/456.29	c 456	============================[ Search Statistics ]==============================
453.49/456.29	c 456	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
453.49/456.29	c 456	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
453.49/456.29	c 456	===============================================================================
453.49/456.29	c 456	|   2061619 |     820     5331    21346 |     1777    18855     32 | 78.020 % |
453.67/456.34	c 456	|   2061721 |     820     5331    21346 |     1954     4816     30 | 83.980 % |
453.67/456.35	c 456	|   2061872 |     820     5331    21346 |     2150     4967     30 | 83.980 % |
453.67/456.37	c 456	|   2062097 |     820     5331    21346 |     2365     5192     30 | 83.980 % |
453.67/456.40	c 456	|   2062436 |     820     5331    21346 |     2601     5531     32 | 83.980 % |
453.77/456.45	c 456	|   2062942 |     820     5331    21346 |     2861     6037     34 | 83.980 % |
453.87/456.52	c 456	|   2063701 |     820     5331    21346 |     3148     6796     35 | 83.980 % |
453.97/456.63	c 456	|   2064841 |     820     5331    21346 |     3462     7936     35 | 83.980 % |
454.07/456.79	c 456	|   2066549 |     820     5331    21346 |     3809     5676     40 | 83.980 % |
454.37/457.03	c 457	|   2069111 |     820     5331    21346 |     4190     8238     41 | 83.980 % |
454.77/457.40	c 457	|   2072955 |     820     5331    21346 |     4609     7509     40 | 83.980 % |
455.26/457.98	c 458	|   2078722 |     820     5331    21346 |     5069     8502     42 | 83.981 % |
455.46/458.11	c 458	===============================================================================
455.46/458.11	c 458	restarts              : 106
455.46/458.11	c 458	conflicts             : 2079773       (4595 /sec)
455.46/458.11	c 458	decisions             : 2322577       (0.70 % random) (5132 /sec)
455.46/458.11	c 458	propagations          : 549681851      (1214484 /sec)
455.46/458.11	c 458	conflict literals     : 55774561       (27.29 % deleted)
455.46/458.11	c 458	Memory used           : 14.90 MB
455.46/458.11	c 458	CPU time              : 452.605 s
455.46/458.11	c 458	
455.46/458.11	c 458	UNSATISFIABLE
455.46/458.11	c 458	OK
455.46/458.11	c 458	NOT FOUND: _COST <= 0
455.46/458.11	c 458	OK
455.46/458.11	c 458	OBJECTIVE _COST 1
455.46/458.11	s OPTIMUM FOUND
455.46/458.12	c 458	CPU 455.12 (0.06 0.03 455.06 0.35)
455.46/458.12	c 458	END Mon Jul 14 21:54:18 2008

Verifier Data (download as text)

OK	1	299
1 unsatisfied constraints, 299 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-1117619-1216064800/watcher-1117619-1216064800 -o /tmp/evaluation-result-1117619-1216064800/solver-1117619-1216064800 -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-1117619-1216064800.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: 1.99 1.98 2.07 4/81 23515
/proc/meminfo: memFree=1809008/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=12268 CPUtime=0
/proc/23515/stat : 23515 (sugar++) R 23513 23515 22438 0 -1 4194304 348 0 0 0 0 0 0 0 22 0 1 0 63179928 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 209136089701 0 0 4224 0 0 0 0 17 1 0 0
/proc/23515/statm: 3067 316 241 3 0 167 0

[startup+0.0819859 s]
/proc/loadavg: 1.99 1.98 2.07 4/81 23515
/proc/meminfo: memFree=1809008/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16740 CPUtime=0.07
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1143 0 0 0 5 2 0 0 18 0 1 0 63179928 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.105363 s]
/proc/loadavg: 1.99 1.98 2.07 4/81 23515
/proc/meminfo: memFree=1809008/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16740 CPUtime=0.07
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 63179928 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.301379 s]
/proc/loadavg: 1.99 1.98 2.07 4/81 23515
/proc/meminfo: memFree=1809008/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16740 CPUtime=0.07
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 63179928 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701414 s]
/proc/loadavg: 1.99 1.98 2.07 4/81 23515
/proc/meminfo: memFree=1809008/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16740 CPUtime=0.46
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1296 4626 0 1 5 2 35 4 16 0 1 0 63179928 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 16740

[startup+1.50148 s]
/proc/loadavg: 1.99 1.98 2.07 4/92 23537
/proc/meminfo: memFree=1794520/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16740 CPUtime=0.46
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1297 4626 0 1 5 2 35 4 15 0 1 0 63179928 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4185 1104 409 3 0 764 0
[pid=23528] ppid=23515 vsize=5356 CPUtime=0
/proc/23528/stat : 23528 (sh) S 23515 23515 22438 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 63179978 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23528/statm: 1339 233 193 169 0 50 0
[pid=23529] ppid=23528 vsize=868484 CPUtime=0.96
/proc/23529/stat : 23529 (java) S 23528 23515 22438 0 -1 0 6710 0 1 0 92 4 0 0 18 0 9 0 63179978 889327616 5868 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23529/statm: 217121 5868 2566 9 0 211668 0
[pid=23529/tid=23530] ppid=23528 vsize=868484 CPUtime=0.63
/proc/23529/task/23530/stat : 23530 (java) R 23528 23515 22438 0 -1 64 2792 0 1 0 61 2 0 0 22 0 9 0 63179979 889327616 5868 996147200 134512640 134550740 4294955920 18446744073709551615 4125973289 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23531] ppid=23528 vsize=868484 CPUtime=0.07
/proc/23529/task/23531/stat : 23531 (java) S 23528 23515 22438 0 -1 64 1743 0 0 0 7 0 0 0 16 0 9 0 63179980 889327616 5868 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23532] ppid=23528 vsize=868484 CPUtime=0
/proc/23529/task/23532/stat : 23532 (java) S 23528 23515 22438 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 63179981 889327616 5868 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23533] ppid=23528 vsize=868484 CPUtime=0
/proc/23529/task/23533/stat : 23533 (java) S 23528 23515 22438 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 63179981 889327616 5868 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23534] ppid=23528 vsize=868484 CPUtime=0
/proc/23529/task/23534/stat : 23534 (java) S 23528 23515 22438 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 63179983 889327616 5868 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23535] ppid=23528 vsize=868484 CPUtime=0.22
/proc/23529/task/23535/stat : 23535 (java) S 23528 23515 22438 0 -1 64 1482 0 0 0 22 0 0 0 16 0 9 0 63179983 889327616 5868 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23536] ppid=23528 vsize=868484 CPUtime=0
/proc/23529/task/23536/stat : 23536 (java) S 23528 23515 22438 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 63179983 889327616 5868 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23529/tid=23537] ppid=23528 vsize=868484 CPUtime=0
/proc/23529/task/23537/stat : 23537 (java) S 23528 23515 22438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 63179983 889327616 5868 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 890580

[startup+3.10163 s]
/proc/loadavg: 1.99 1.98 2.07 3/83 23558
/proc/meminfo: memFree=1796512/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=1.91
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1695 22969 0 5 5 2 168 16 15 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=7688 CPUtime=0.94
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 1875 0 0 0 93 1 0 0 22 0 1 0 63180083 7872512 1818 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/23538/statm: 1922 1818 80 151 0 1768 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 24560

[startup+6.30191 s]
/proc/loadavg: 1.99 1.98 2.07 3/83 23578
/proc/meminfo: memFree=1796192/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.11
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1765 26746 0 6 5 2 185 19 15 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=7844 CPUtime=3.89
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 1898 0 0 0 388 1 0 0 25 0 1 0 63180083 8032256 1839 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/23538/statm: 1961 1839 80 151 0 1807 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 24716

[startup+12.7015 s]
/proc/loadavg: 1.99 1.98 2.07 3/83 23578
/proc/meminfo: memFree=1795552/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.12
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1765 26746 0 6 6 2 185 19 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=8636 CPUtime=10.23
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 2117 0 0 0 1022 1 0 0 25 0 1 0 63180083 8843264 2058 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 1 0 0
/proc/23538/statm: 2159 2058 80 151 0 2005 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 25508

[startup+25.5016 s]
/proc/loadavg: 1.99 1.98 2.07 3/83 23578
/proc/meminfo: memFree=1794592/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.12
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1765 26746 0 6 6 2 185 19 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=9460 CPUtime=22.91
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 2310 0 0 0 2290 1 0 0 25 0 1 0 63180083 9687040 2251 996147200 134512640 135134323 4294956192 18446744073709551615 134523954 0 0 4096 3 0 0 0 17 1 0 0
/proc/23538/statm: 2365 2251 80 151 0 2211 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 26332

[startup+51.1019 s]
/proc/loadavg: 1.99 1.98 2.07 3/83 23578
/proc/meminfo: memFree=1793568/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.12
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1765 26746 0 6 6 2 185 19 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=10576 CPUtime=48.27
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 2585 0 0 0 4825 2 0 0 25 0 1 0 63180083 10829824 2526 996147200 134512640 135134323 4294956192 18446744073709551615 134532028 0 0 4096 3 0 0 0 17 1 0 0
/proc/23538/statm: 2644 2526 80 151 0 2490 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 27448

[startup+102.307 s]
/proc/loadavg: 1.99 1.98 2.06 3/83 23578
/proc/meminfo: memFree=1791328/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.12
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1765 26746 0 6 6 2 185 19 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=12904 CPUtime=99
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3108 0 0 0 9898 2 0 0 25 0 1 0 63180083 13213696 3049 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 1 0 0
/proc/23538/statm: 3226 3049 80 151 0 3072 0
Current children cumulated CPU time (s) 101.12
Current children cumulated vsize (KiB) 29776

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 2.06 3/83 23578
/proc/meminfo: memFree=1790240/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.12
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1765 26746 0 6 6 2 185 19 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=13872 CPUtime=158.43
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3354 0 0 0 15840 3 0 0 25 0 1 0 63180083 14204928 3295 996147200 134512640 135134323 4294956192 18446744073709551615 134532046 0 0 4096 3 0 0 0 17 1 0 0
/proc/23538/statm: 3468 3295 80 151 0 3314 0
Current children cumulated CPU time (s) 160.55
Current children cumulated vsize (KiB) 30744

[startup+222.302 s]
/proc/loadavg: 1.99 1.98 2.05 3/83 23588
/proc/meminfo: memFree=1789792/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.33
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1836 30531 0 7 6 2 203 22 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=14156 CPUtime=217.65
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3436 0 0 0 21762 3 0 0 25 0 1 0 63180083 14495744 3375 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 1 0 0
/proc/23538/statm: 3539 3375 80 151 0 3385 0
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (KiB) 31028

[startup+282.301 s]
/proc/loadavg: 2.06 2.00 2.05 3/83 23598
/proc/meminfo: memFree=1789792/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.5
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1905 34315 0 8 6 3 216 25 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=14300 CPUtime=277.32
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3465 0 0 0 27729 3 0 0 25 0 1 0 63180083 14643200 3402 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 0 0 0
/proc/23538/statm: 3575 3402 80 151 0 3421 0
Current children cumulated CPU time (s) 279.82
Current children cumulated vsize (KiB) 31172

[startup+342.302 s]
/proc/loadavg: 2.08 2.02 2.05 3/83 23598
/proc/meminfo: memFree=1789472/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.5
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1905 34315 0 8 6 3 216 25 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=14852 CPUtime=337.3
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3576 0 0 0 33726 4 0 0 25 0 1 0 63180083 15208448 3513 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 0 0 0
/proc/23538/statm: 3713 3513 80 151 0 3559 0
Current children cumulated CPU time (s) 339.8
Current children cumulated vsize (KiB) 31724

[startup+402.302 s]
/proc/loadavg: 2.13 2.04 2.06 3/83 23608
/proc/meminfo: memFree=1788896/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.68
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1975 38104 0 9 6 3 231 28 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=15120 CPUtime=397.06
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3648 0 0 0 39702 4 0 0 25 0 1 0 63180083 15482880 3583 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 0 0 0
/proc/23538/statm: 3780 3583 80 151 0 3626 0
Current children cumulated CPU time (s) 399.74
Current children cumulated vsize (KiB) 31992

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

[startup+409.503 s]
/proc/loadavg: 2.11 2.04 2.06 3/83 23608
/proc/meminfo: memFree=1788896/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.68
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1975 38104 0 9 6 3 231 28 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=15120 CPUtime=404.26
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3662 0 0 0 40422 4 0 0 25 0 1 0 63180083 15482880 3597 996147200 134512640 135134323 4294956192 18446744073709551615 134532135 0 0 4096 3 0 0 0 17 0 0 0
/proc/23538/statm: 3780 3597 80 151 0 3626 0
Current children cumulated CPU time (s) 406.94
Current children cumulated vsize (KiB) 31992

[startup+435.103 s]
/proc/loadavg: 2.07 2.03 2.05 3/83 23608
/proc/meminfo: memFree=1788896/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.68
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1975 38104 0 9 6 3 231 28 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=15252 CPUtime=429.85
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3685 0 0 0 42981 4 0 0 25 0 1 0 63180083 15618048 3620 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/23538/statm: 3813 3620 80 151 0 3659 0
Current children cumulated CPU time (s) 432.53
Current children cumulated vsize (KiB) 32124

[startup+447.902 s]
/proc/loadavg: 2.06 2.03 2.05 3/83 23608
/proc/meminfo: memFree=1788832/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.68
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1975 38104 0 9 6 3 231 28 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=15252 CPUtime=442.65
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3697 0 0 0 44261 4 0 0 25 0 1 0 63180083 15618048 3632 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 0 0 0
/proc/23538/statm: 3813 3632 80 151 0 3659 0
Current children cumulated CPU time (s) 445.33
Current children cumulated vsize (KiB) 32124

[startup+454.305 s]
/proc/loadavg: 2.05 2.03 2.05 3/83 23608
/proc/meminfo: memFree=1788832/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.68
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1975 38104 0 9 6 3 231 28 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=15252 CPUtime=449.05
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3701 0 0 0 44901 4 0 0 25 0 1 0 63180083 15618048 3636 996147200 134512640 135134323 4294956192 18446744073709551615 134532325 0 0 4096 3 0 0 0 17 0 0 0
/proc/23538/statm: 3813 3636 80 151 0 3659 0
Current children cumulated CPU time (s) 451.73
Current children cumulated vsize (KiB) 32124

[startup+455.902 s]
/proc/loadavg: 2.05 2.03 2.05 3/83 23608
/proc/meminfo: memFree=1788832/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.68
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 1975 38104 0 9 6 3 231 28 16 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=15252 CPUtime=450.64
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3701 0 0 0 45060 4 0 0 25 0 1 0 63180083 15618048 3636 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/23538/statm: 3813 3636 80 151 0 3659 0
Current children cumulated CPU time (s) 453.32
Current children cumulated vsize (KiB) 32124

[startup+457.502 s]
/proc/loadavg: 2.05 2.03 2.05 3/83 23618
/proc/meminfo: memFree=1788640/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.84
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 2046 41888 0 10 6 3 245 30 15 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=15252 CPUtime=452.03
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3703 0 0 0 45199 4 0 0 25 0 1 0 63180083 15618048 3636 996147200 134512640 135134323 4294956192 18446744073709551615 134531891 0 0 4096 3 0 0 0 17 0 0 0
/proc/23538/statm: 3813 3636 80 151 0 3659 0
Current children cumulated CPU time (s) 454.87
Current children cumulated vsize (KiB) 32124

[startup+457.902 s]
/proc/loadavg: 2.05 2.03 2.05 3/83 23618
/proc/meminfo: memFree=1788640/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.84
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 2046 41888 0 10 6 3 245 30 15 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=15252 CPUtime=452.42
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3703 0 0 0 45238 4 0 0 25 0 1 0 63180083 15618048 3636 996147200 134512640 135134323 4294956192 18446744073709551615 134531941 0 0 4096 3 0 0 0 17 0 0 0
/proc/23538/statm: 3813 3636 80 151 0 3659 0
Current children cumulated CPU time (s) 455.26
Current children cumulated vsize (KiB) 32124

[startup+458.102 s]
/proc/loadavg: 2.05 2.03 2.05 3/83 23618
/proc/meminfo: memFree=1788640/2055920 swapFree=4179832/4192956
[pid=23515] ppid=23513 vsize=16872 CPUtime=2.84
/proc/23515/stat : 23515 (sugar++) S 23513 23515 22438 0 -1 4194304 2046 41888 0 10 6 3 245 30 15 0 1 0 63179928 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 209144819810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23515/statm: 4218 1121 414 3 0 797 0
[pid=23538] ppid=23515 vsize=15252 CPUtime=452.62
/proc/23538/stat : 23538 (minisat-inc) R 23515 23515 22438 0 -1 4194304 3703 0 0 0 45258 4 0 0 25 0 1 0 63180083 15618048 3636 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/23538/statm: 3813 3636 80 151 0 3659 0
Current children cumulated CPU time (s) 455.46
Current children cumulated vsize (KiB) 32124

Child status: 0
Real time (s): 458.125
CPU time (s): 455.526
CPU user time (s): 455.132
CPU system time (s): 0.39394
CPU usage (%): 99.4327
Max. virtual memory (cumulated for all children) (KiB): 890580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 455.132
system time used= 0.39394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47718
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4258
involuntary context switches= 13942

runsolver used 0.58991 second user time and 1.3188 second system time

The end

Launcher Data (download as text)

Begin job on node41 at 2008-07-14 21:46:40
IDJOB=1117619
IDBENCH=62142
IDSOLVER=367
FILE ID=node41/1117619-1216064800
PBS_JOBID= 7905018
Free space on /tmp= 66160 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/randomMaxCSP/completeLoose/normalized-vcsp-25-10-100-18-25_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-1117619-1216064800/watcher-1117619-1216064800 -o /tmp/evaluation-result-1117619-1216064800/solver-1117619-1216064800 -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-1117619-1216064800.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0a952ad9d3f48d706fc5231b2ede8fcc
RANDOM SEED=2083693439

node41.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.216
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.216
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:       1809488 kB
Buffers:         54536 kB
Cached:         125244 kB
SwapCached:       7492 kB
Active:         143592 kB
Inactive:        56544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1809488 kB
SwapTotal:     4192956 kB
SwapFree:      4179832 kB
Dirty:             904 kB
Writeback:           0 kB
Mapped:          36012 kB
Slab:            31532 kB
Committed_AS:   250032 kB
PageTables:       1856 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= 66160 MiB
End job on node41 at 2008-07-14 21:54:18