Trace number 1117603

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 489.957 492.684

General information on the benchmark

Namemaxcsp/randomMaxCSP/completeLoose/
normalized-vcsp-25-10-100-18-46_ext.xml
MD5SUMbbcb1a8bfacc80750750f5a7ca595433
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints2
Best CPU time to get the best result obtained on this benchmark94.8816
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.01/0.15	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.01/0.15	c 0	BEGIN Mon Jul 14 21:42:35 2008
0.01/0.15	c 0	PID 22815
0.01/0.15	c 0	HOST node59.alineos.net
0.01/0.15	c 0	CONVERTING HOME/instance-1117603-1216064555.xml TO HOME/temp.csp
0.01/0.15	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1117603-1216064555.xml' 'HOME/temp.csp'
0.06/0.69	c 0	1 domains, 25 variables, 0 predicates, 300 relations, 300 constraints
0.06/0.73	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.73	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.61/0.81	c 0	Parsing HOME/temp.csp
0.61/0.99	c 1	parsed 626 expressions
0.61/1.00	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.61/1.00	c 1	MAX CSP: 300 constraints
0.61/1.00	c 1	Converting to clausal form CSP
0.86/1.02	c 1	converted 93 (10%) expressions
0.86/1.03	c 1	converted 186 (20%) expressions
0.86/1.03	c 1	converted 279 (30%) expressions
0.86/1.04	c 1	converted 372 (40%) expressions
0.86/1.06	c 1	converted 465 (50%) expressions
0.86/1.07	c 1	converted 558 (60%) expressions
0.86/1.07	c 1	converted 651 (70%) expressions
0.86/1.08	c 1	converted 744 (80%) expressions
0.86/1.09	c 1	converted 837 (90%) expressions
1.06/1.23	c 1	converted 929 (100%) expressions
1.06/1.23	c 1	CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 451
1.06/1.24	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.06/1.24	c 1	Propagation in CSP
1.06/1.27	c 1	296 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.06/1.27	c 1	CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 301
1.06/1.27	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.06/1.27	c 1	Simplifing CSP by introducing new Boolean variables
1.06/1.27	c 1	CSP : 625 integers, 0 booleans, 899 clauses, largest domain size 301
1.06/1.27	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.15/1.30	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.15/1.31	c 1	63 (10%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.15/1.31	c 1	125 (20%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.15/1.32	c 1	188 (30%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.15/1.32	c 1	250 (40%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.15/1.32	c 1	313 (50%) CSP integer variables are encoded (200 clauses, 2072 bytes)
1.15/1.32	c 1	375 (60%) CSP integer variables are encoded (693 clauses, 7608 bytes)
1.15/1.33	c 1	438 (70%) CSP integer variables are encoded (3016 clauses, 37807 bytes)
1.15/1.33	c 1	500 (80%) CSP integer variables are encoded (3623 clauses, 45698 bytes)
1.15/1.33	c 1	563 (90%) CSP integer variables are encoded (3979 clauses, 50326 bytes)
1.15/1.33	c 1	625 (100%) CSP integer variables are encoded (4493 clauses, 57008 bytes)
1.15/1.37	c 1	90 (10%) CSP clauses are encoded (5716 clauses, 81571 bytes)
1.15/1.39	c 1	180 (20%) CSP clauses are encoded (6960 clauses, 107337 bytes)
1.26/1.40	c 1	270 (30%) CSP clauses are encoded (8175 clauses, 134546 bytes)
1.26/1.41	c 1	360 (40%) CSP clauses are encoded (9258 clauses, 153153 bytes)
1.37/1.51	c 1	450 (50%) CSP clauses are encoded (58426 clauses, 1025961 bytes)
1.37/1.51	c 1	540 (60%) CSP clauses are encoded (60324 clauses, 1058380 bytes)
1.37/1.59	c 1	630 (70%) CSP clauses are encoded (105184 clauses, 1881088 bytes)
1.46/1.60	c 1	720 (80%) CSP clauses are encoded (107336 clauses, 1917978 bytes)
1.46/1.61	c 1	810 (90%) CSP clauses are encoded (112172 clauses, 2003928 bytes)
1.46/1.64	c 1	899 (100%) CSP clauses are encoded (129658 clauses, 2320836 bytes)
1.46/1.64	c 1	899 CSP clauses encoded
1.46/1.64	c 1	Writing map file : HOME/temp.map
1.46/1.65	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.46/1.65	c 1	SAT : 5118 SAT variables, 129658 SAT clauses, 2320836 bytes
1.46/1.65	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.51/1.73	c 1	OBJECTIVE minimize _COST
1.51/1.73	c 1	SOLVING HOME/temp.cnf
1.51/1.73	c 1	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.51/1.73	c 1	This is MiniSat 2.0 beta incremental
1.51/1.73	c 1	WARNING: for repeatability, setting FPU to use double precision
1.51/1.73	c 1	============================[ Problem Statistics ]=============================
1.51/1.73	c 1	|                                                                             |
1.51/1.73	c 1	|  Number of variables:  5118                                                 |
1.51/1.73	c 1	|  Number of clauses:    129658                                               |
1.51/1.79	c 1	|  Parsing time:         0.05         s                                       |
1.51/1.79	c 1	OK
1.51/1.79	c 1	OBJECTIVE BOUND: 0 <= _COST <= 
1.51/1.79	c 1	SEARCHING: _COST <= 150
1.51/1.79	c 1	============================[ Search Statistics ]==============================
1.51/1.79	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.51/1.79	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.51/1.79	c 1	===============================================================================
1.51/1.79	c 1	|         0 |    5118   129658   381876 |    43219        0    nan |  0.000 % |
1.52/1.80	c 1	===============================================================================
1.52/1.80	c 1	restarts              : 1
1.52/1.80	c 1	conflicts             : 1             (16 /sec)
1.52/1.80	c 1	decisions             : 20            (0.00 % random) (313 /sec)
1.52/1.80	c 1	propagations          : 5148           (80450 /sec)
1.52/1.80	c 1	conflict literals     : 30             (0.00 % deleted)
1.52/1.80	c 1	Memory used           : 7.12 MB
1.52/1.80	c 1	CPU time              : 0.06399 s
1.52/1.81	c 1	
1.52/1.81	c 1	SATISFIABLE
1.52/1.81	c 1	OK
1.52/1.81	c 1	FOUND: _COST <= 150
1.52/1.81	s SATISFIABLE
1.52/1.81	c 1	DECODING HOME/temp.out WITH HOME/temp.map
1.52/1.81	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.52/1.89	c 2	Decoding HOME/temp.out
1.52/1.96	c 2	OBJECTIVE _COST 150
1.52/1.96	o 150
1.52/1.96	v 2 7 3 4 2 9 5 1 6 3 5 6 5 9 7 8 8 8 9 9 9 9 9 9 9
1.52/2.06	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.52/2.07	c 2	OK
1.52/2.07	c 2	OBJECTIVE BOUND: 0 <= _COST <= 150
1.52/2.07	c 2	SEARCHING: _COST <= 75
1.52/2.07	c 2	============================[ Search Statistics ]==============================
1.52/2.07	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.52/2.07	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.52/2.07	c 2	===============================================================================
1.52/2.07	c 2	|         1 |    5118   129658   381876 |    43219        1     30 |  0.000 % |
1.52/2.08	c 2	===============================================================================
1.52/2.08	c 2	restarts              : 2
1.52/2.08	c 2	conflicts             : 11            (149 /sec)
1.52/2.08	c 2	decisions             : 213           (0.00 % random) (2879 /sec)
1.52/2.08	c 2	propagations          : 11082          (149781 /sec)
1.52/2.08	c 2	conflict literals     : 291            (5.21 % deleted)
1.52/2.08	c 2	Memory used           : 7.25 MB
1.52/2.08	c 2	CPU time              : 0.073988 s
1.52/2.08	c 2	
1.52/2.08	c 2	SATISFIABLE
1.52/2.08	c 2	OK
1.52/2.08	c 2	FOUND: _COST <= 75
1.52/2.08	c 2	DECODING HOME/temp.out WITH HOME/temp.map
1.52/2.08	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.77/2.28	c 2	Decoding HOME/temp.out
1.85/2.36	c 2	OBJECTIVE _COST 75
1.85/2.36	o 75
1.85/2.36	v 9 8 5 8 0 9 0 6 7 4 7 6 6 0 9 5 9 9 3 9 4 9 9 0 1
1.85/2.37	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.92/2.46	c 2	OK
1.92/2.46	c 2	OBJECTIVE BOUND: 0 <= _COST <= 75
1.92/2.46	c 2	SEARCHING: _COST <= 37
1.92/2.46	c 2	============================[ Search Statistics ]==============================
1.92/2.46	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.92/2.46	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.92/2.46	c 2	===============================================================================
1.92/2.46	c 2	|        11 |    3768   129658   381876 |    43219       11     26 |  0.000 % |
1.92/2.49	c 2	|       112 |    3768   129658   381876 |    47541      112     26 | 41.034 % |
1.98/2.51	c 2	|       262 |    3768   129658   381876 |    52295      262     21 | 41.034 % |
1.98/2.54	c 2	|       487 |    3768   129658   381876 |    57524      487     28 | 41.034 % |
1.98/2.56	c 2	===============================================================================
1.98/2.56	c 2	restarts              : 6
1.98/2.56	c 2	conflicts             : 680           (3954 /sec)
1.98/2.56	c 2	decisions             : 1176          (0.77 % random) (6838 /sec)
1.98/2.56	c 2	propagations          : 238620         (1387543 /sec)
1.98/2.56	c 2	conflict literals     : 18162          (32.01 % deleted)
1.98/2.56	c 2	Memory used           : 7.38 MB
1.98/2.56	c 2	CPU time              : 0.171973 s
1.98/2.56	c 2	
1.98/2.56	c 2	SATISFIABLE
1.98/2.56	c 2	OK
1.98/2.56	c 2	FOUND: _COST <= 37
1.98/2.56	c 2	DECODING HOME/temp.out WITH HOME/temp.map
1.98/2.56	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'
2.04/2.63	c 2	Decoding HOME/temp.out
2.04/2.72	c 2	OBJECTIVE _COST 37
2.04/2.72	o 37
2.04/2.72	v 1 9 9 9 9 9 9 9 9 5 1 6 9 9 9 9 6 8 2 9 9 9 2 9 0
2.04/2.73	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.04/2.78	c 2	OK
2.04/2.78	c 2	OBJECTIVE BOUND: 0 <= _COST <= 37
2.04/2.78	c 2	SEARCHING: _COST <= 18
2.04/2.78	c 2	============================[ Search Statistics ]==============================
2.22/2.80	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.22/2.80	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.22/2.80	c 2	===============================================================================
2.22/2.80	c 2	|       680 |    3018   129658   381876 |    43219      680     27 | 41.034 % |
2.22/2.80	c 2	|       781 |    3018   129658   381876 |    47541      781     26 | 50.764 % |
2.22/2.81	c 2	|       931 |    3018   129658   381876 |    52295      931     25 | 50.764 % |
2.22/2.84	c 3	|      1156 |    3018   129658   381876 |    57524     1156     24 | 50.764 % |
2.32/2.92	c 3	|      1493 |    2520    34935   105238 |    63277     1493     25 | 50.764 % |
2.32/2.96	c 3	|      2000 |    2520    34935   105238 |    69605     2000     26 | 50.764 % |
2.42/3.07	c 3	|      2759 |    2520    34935   105238 |    76565     2759     26 | 50.764 % |
2.62/3.22	c 3	|      3898 |    2520    34935   105238 |    84222     3898     24 | 50.764 % |
2.81/3.44	c 3	|      5606 |    2520    34935   105238 |    92644     5606     25 | 50.764 % |
3.21/3.82	c 3	|      8168 |    2520    34935   105238 |   101908     8168     24 | 50.764 % |
3.80/4.46	c 4	|     12012 |    2520    34935   105238 |   112099    12012     24 | 50.764 % |
4.99/5.63	c 5	|     17778 |    2520    34935   105238 |   123309    17778     25 | 50.764 % |
7.17/7.82	c 7	|     26429 |    2520    34935   105238 |   135640    26429     25 | 50.764 % |
11.13/11.87	c 12	|     39407 |    2520    34935   105238 |   149204    39407     25 | 50.764 % |
18.96/19.76	c 19	|     58869 |    2520    34935   105238 |   164125    58869     24 | 50.764 % |
36.70/37.62	c 37	|     88061 |    2520    34935   105238 |   180537    88061     25 | 50.764 % |
75.65/76.94	c 77	|    131852 |    2520    34935   105238 |   198591   131852     25 | 50.764 % |
102.01/103.50	c 103	===============================================================================
102.01/103.50	c 103	restarts              : 23
102.01/103.50	c 103	conflicts             : 155846        (1559 /sec)
102.01/103.50	c 103	decisions             : 177380        (0.63 % random) (1775 /sec)
102.01/103.50	c 103	propagations          : 47746562       (477734 /sec)
102.01/103.50	c 103	conflict literals     : 4028586        (33.82 % deleted)
102.01/103.50	c 103	Memory used           : 25.94 MB
102.01/103.50	c 103	CPU time              : 99.9438 s
102.01/103.50	c 103	
102.01/103.50	c 103	SATISFIABLE
102.01/103.50	c 103	OK
102.01/103.50	c 103	FOUND: _COST <= 18
102.01/103.50	c 103	DECODING HOME/temp.out WITH HOME/temp.map
102.01/103.50	c 103	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
102.01/103.59	c 103	Decoding HOME/temp.out
102.01/103.66	c 103	OBJECTIVE _COST 18
102.01/103.67	o 18
102.01/103.67	v 7 9 5 4 2 9 9 9 9 9 3 8 8 5 8 7 1 8 7 0 9 1 8 4 9
102.01/103.67	c 103	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
102.02/103.77	c 103	OK
102.02/103.77	c 103	OBJECTIVE BOUND: 0 <= _COST <= 18
102.02/103.77	c 103	SEARCHING: _COST <= 9
102.02/103.77	c 103	============================[ Search Statistics ]==============================
102.02/103.77	c 103	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
102.02/103.77	c 103	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
102.02/103.77	c 103	===============================================================================
102.02/103.77	c 103	|    155846 |    2128    21417    65841 |     7139   155696     26 | 50.764 % |
103.75/105.37	c 105	|    155946 |    2128    21417    65841 |     7852     8293     27 | 58.423 % |
103.85/105.40	c 105	|    156098 |    2128    21417    65841 |     8638     8445     27 | 58.423 % |
103.85/105.44	c 105	|    156323 |    2128    21417    65841 |     9502     8670     27 | 58.423 % |
103.85/105.49	c 105	|    156661 |    2128    21417    65841 |    10452     9008     27 | 58.423 % |
103.95/105.57	c 105	|    157167 |    2128    21417    65841 |    11497     9514     26 | 58.423 % |
104.14/105.70	c 105	|    157927 |    2128    21417    65841 |    12647    10274     26 | 58.423 % |
104.24/105.89	c 106	|    159067 |    2128    21417    65841 |    13911    11414     25 | 58.423 % |
104.54/106.19	c 106	|    160775 |    2128    21417    65841 |    15303    13122     24 | 58.423 % |
105.04/106.67	c 106	|    163337 |    2128    21417    65841 |    16833    15684     24 | 58.423 % |
105.83/107.41	c 107	|    167182 |    2128    21417    65841 |    18516    19529     23 | 58.423 % |
107.02/108.64	c 108	|    172948 |    2128    21417    65841 |    20368    14237     20 | 58.423 % |
108.90/110.51	c 110	|    181598 |    2128    21417    65841 |    22405    22887     21 | 58.423 % |
111.77/113.43	c 113	|    194572 |    2128    21417    65841 |    24645    22021     23 | 58.423 % |
116.33/118.04	c 118	|    214034 |    2128    21417    65841 |    27110    25058     25 | 58.423 % |
124.36/126.18	c 126	|    243226 |    2128    21417    65841 |    29821    17715     24 | 58.423 % |
136.55/138.49	c 138	|    287015 |    2128    21417    65841 |    32803    20110     23 | 58.423 % |
157.46/159.55	c 159	|    352700 |    2128    21417    65841 |    36083    15667     24 | 58.423 % |
164.79/166.97	c 167	===============================================================================
164.79/166.97	c 167	restarts              : 41
164.79/166.97	c 167	conflicts             : 376865        (2318 /sec)
164.79/166.97	c 167	decisions             : 422472        (0.64 % random) (2598 /sec)
164.79/166.97	c 167	propagations          : 118217599      (727000 /sec)
164.79/166.97	c 167	conflict literals     : 9471454        (32.24 % deleted)
164.79/166.97	c 167	Memory used           : 25.93 MB
164.79/166.97	c 167	CPU time              : 162.61 s
164.79/166.97	c 167	
164.79/166.97	c 167	SATISFIABLE
164.79/166.97	c 167	OK
164.79/166.97	c 167	FOUND: _COST <= 9
164.79/166.97	c 167	DECODING HOME/temp.out WITH HOME/temp.map
164.79/166.97	c 167	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
164.87/167.06	c 167	Decoding HOME/temp.out
164.97/167.15	c 167	OBJECTIVE _COST 9
164.97/167.15	o 9
164.97/167.15	v 6 9 9 6 7 3 0 9 9 8 9 5 9 4 8 9 2 4 6 7 5 2 1 4 6
164.97/167.18	c 167	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
165.07/167.21	c 167	OK
165.07/167.21	c 167	OBJECTIVE BOUND: 0 <= _COST <= 9
165.07/167.21	c 167	SEARCHING: _COST <= 4
165.07/167.21	c 167	============================[ Search Statistics ]==============================
165.07/167.21	c 167	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
165.07/167.21	c 167	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
165.07/167.21	c 167	===============================================================================
165.07/167.21	c 167	|    376865 |    1801    14199    45159 |     4733    39832     24 | 58.423 % |
165.26/167.43	c 167	|    376967 |    1801    14199    45159 |     5206     6414     25 | 64.812 % |
165.26/167.46	c 167	|    377117 |    1801    14199    45159 |     5726     6564     25 | 64.812 % |
165.26/167.49	c 167	|    377342 |    1801    14199    45159 |     6299     6789     25 | 64.812 % |
165.36/167.54	c 167	|    377681 |    1801    14199    45159 |     6929     7128     25 | 64.812 % |
165.46/167.61	c 167	|    378188 |    1801    14199    45159 |     7622     7635     24 | 64.812 % |
165.56/167.73	c 167	|    378949 |    1801    14199    45159 |     8384     8396     24 | 64.812 % |
165.76/167.91	c 168	|    380089 |    1801    14199    45159 |     9223     9536     24 | 64.812 % |
165.96/168.19	c 168	|    381797 |    1801    14199    45159 |    10145    11244     24 | 64.812 % |
166.35/168.58	c 168	|    384360 |    1801    14199    45159 |    11160    13807     24 | 64.812 % |
167.04/169.20	c 169	|    388205 |    1801    14199    45159 |    12276    10044     24 | 64.812 % |
168.03/170.28	c 170	|    393971 |    1801    14199    45159 |    13503    15810     24 | 64.812 % |
169.52/171.80	c 171	|    402621 |    1801    14199    45159 |    14854    15763     23 | 64.812 % |
172.29/174.51	c 174	|    415595 |    1801    14199    45159 |    16339     9899     23 | 64.812 % |
175.96/178.22	c 178	|    435057 |    1801    14199    45159 |    17973    19118     26 | 64.812 % |
182.20/184.56	c 184	|    464249 |    1801    14199    45159 |    19770    15227     22 | 64.812 % |
192.21/194.69	c 194	|    508038 |    1801    14199    45159 |    21748    23269     22 | 64.812 % |
207.75/210.26	c 210	|    573725 |    1801    14199    45159 |    23922    22418     28 | 64.812 % |
229.65/232.14	c 232	|    672251 |    1801    14199    45159 |    26315    12604     26 | 64.812 % |
252.53/255.07	c 255	===============================================================================
252.53/255.07	c 255	restarts              : 60
252.53/255.07	c 255	conflicts             : 767277        (3069 /sec)
252.53/255.07	c 255	decisions             : 855237        (0.64 % random) (3421 /sec)
252.53/255.07	c 255	propagations          : 230838874      (923385 /sec)
252.53/255.07	c 255	conflict literals     : 19601422       (29.91 % deleted)
252.53/255.07	c 255	Memory used           : 25.93 MB
252.53/255.07	c 255	CPU time              : 249.992 s
252.53/255.07	c 255	
252.53/255.07	c 255	SATISFIABLE
252.53/255.07	c 255	OK
252.53/255.07	c 255	FOUND: _COST <= 4
252.53/255.07	c 255	DECODING HOME/temp.out WITH HOME/temp.map
252.53/255.07	c 255	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
252.61/255.16	c 255	Decoding HOME/temp.out
252.71/255.24	c 255	OBJECTIVE _COST 4
252.71/255.24	o 4
252.71/255.24	v 7 9 5 4 1 2 1 7 0 1 8 9 8 0 2 9 4 2 7 6 1 1 2 4 9
252.71/255.27	c 255	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
252.79/255.31	c 255	OK
252.79/255.31	c 255	OBJECTIVE BOUND: 0 <= _COST <= 4
252.79/255.31	c 255	SEARCHING: _COST <= 2
252.79/255.31	c 255	============================[ Search Statistics ]==============================
252.79/255.31	c 255	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
252.79/255.31	c 255	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
252.79/255.31	c 255	===============================================================================
252.79/255.31	c 255	|    767277 |    1427     9434    31981 |     3144    20466     30 | 64.812 % |
252.79/255.38	c 255	|    767378 |    1427     9434    31981 |     3459     5218     25 | 72.119 % |
252.89/255.40	c 255	|    767528 |    1427     9434    31981 |     3805     5368     25 | 72.119 % |
252.89/255.43	c 255	|    767753 |    1427     9434    31981 |     4185     5593     25 | 72.119 % |
252.89/255.48	c 255	|    768090 |    1427     9434    31981 |     4604     5930     25 | 72.119 % |
252.99/255.57	c 255	|    768597 |    1427     9434    31981 |     5064     6437     25 | 72.119 % |
253.09/255.69	c 255	|    769357 |    1427     9434    31981 |     5570     7197     25 | 72.119 % |
253.28/255.89	c 256	|    770496 |    1427     9434    31981 |     6128     8336     25 | 72.119 % |
253.58/256.11	c 256	|    772204 |    1427     9434    31981 |     6740    10044     26 | 72.119 % |
253.98/256.51	c 256	|    774768 |    1427     9434    31981 |     7414     7201     24 | 72.119 % |
254.57/257.16	c 257	|    778612 |    1427     9434    31981 |     8156    11045     23 | 72.119 % |
255.46/258.04	c 258	|    784379 |    1427     9434    31981 |     8972    10626     22 | 72.119 % |
256.75/259.33	c 259	|    793028 |    1427     9434    31981 |     9869    12587     28 | 72.119 % |
258.83/261.41	c 261	|    806002 |    1427     9434    31981 |    10856    11611     21 | 72.119 % |
262.10/264.76	c 264	|    825463 |    1427     9434    31981 |    11941     7701     31 | 72.119 % |
267.01/269.65	c 269	|    854656 |    1427     9434    31981 |    13136    12415     28 | 72.119 % |
274.40/277.09	c 277	|    898445 |    1427     9434    31981 |    14449    12449     24 | 72.119 % |
286.20/288.83	c 289	|    964130 |    1427     9434    31981 |    15894    13012     25 | 72.119 % |
302.89/305.50	c 305	|   1062657 |    1427     9434    31981 |    17484    19337     35 | 72.119 % |
315.88/318.57	c 318	===============================================================================
315.88/318.57	c 318	restarts              : 79
315.88/318.57	c 318	conflicts             : 1135621       (3627 /sec)
315.88/318.57	c 318	decisions             : 1270069       (0.64 % random) (4056 /sec)
315.88/318.57	c 318	propagations          : 307863995      (983166 /sec)
315.88/318.57	c 318	conflict literals     : 31469262       (27.21 % deleted)
315.88/318.57	c 318	Memory used           : 25.93 MB
315.88/318.57	c 318	CPU time              : 313.135 s
315.88/318.57	c 318	
315.88/318.57	c 318	SATISFIABLE
315.88/318.57	c 318	OK
315.88/318.57	c 318	FOUND: _COST <= 2
315.88/318.57	c 318	DECODING HOME/temp.out WITH HOME/temp.map
315.88/318.57	c 318	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
315.95/318.65	c 318	Decoding HOME/temp.out
315.95/318.73	c 318	OBJECTIVE _COST 2
315.95/318.73	o 2
315.95/318.74	v 6 6 3 7 5 5 8 3 2 5 1 0 1 9 0 0 9 6 9 0 4 6 2 1 8
315.95/318.75	c 318	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
315.95/318.79	c 318	OK
315.95/318.79	c 318	OBJECTIVE BOUND: 0 <= _COST <= 2
315.95/318.79	c 318	SEARCHING: _COST <= 1
315.95/318.79	c 318	============================[ Search Statistics ]==============================
315.95/318.79	c 318	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
315.95/318.79	c 318	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
315.95/318.79	c 318	===============================================================================
315.95/318.79	c 318	|   1135621 |    1125     7097    25874 |     2365    15205     34 | 72.119 % |
316.14/318.84	c 319	|   1135722 |    1125     7097    25874 |     2602     3903     29 | 78.020 % |
316.14/318.86	c 319	|   1135872 |    1125     7097    25874 |     2862     4053     29 | 78.020 % |
316.14/318.88	c 319	|   1136098 |    1125     7097    25874 |     3148     4279     29 | 78.020 % |
316.25/318.91	c 319	|   1136435 |    1125     7097    25874 |     3463     4616     29 | 78.020 % |
316.25/318.97	c 319	|   1136942 |    1125     7097    25874 |     3809     5123     28 | 78.020 % |
316.35/319.05	c 319	|   1137702 |    1125     7097    25874 |     4190     5883     27 | 78.020 % |
316.44/319.18	c 319	|   1138841 |    1125     7097    25874 |     4610     7022     27 | 78.020 % |
316.64/319.36	c 319	|   1140549 |    1125     7097    25874 |     5071     8730     29 | 78.020 % |
317.04/319.70	c 319	|   1143111 |    1125     7097    25874 |     5578     6559     28 | 78.020 % |
317.46/320.18	c 320	|   1146957 |    1125     7097    25874 |     6135     5424     27 | 78.020 % |
318.15/320.89	c 321	|   1152724 |    1125     7097    25874 |     6749     5929     24 | 78.020 % |
319.25/321.97	c 322	|   1161373 |    1125     7097    25874 |     7424     9020     26 | 78.020 % |
320.65/323.33	c 323	|   1174347 |    1125     7097    25874 |     8166     9619     47 | 78.020 % |
323.35/326.02	c 326	|   1193808 |    1125     7097    25874 |     8983    10255     25 | 78.020 % |
327.35/330.03	c 330	|   1223001 |    1125     7097    25874 |     9881    12673     27 | 78.020 % |
333.54/336.21	c 336	|   1266790 |    1125     7097    25874 |    10870    13465     23 | 78.020 % |
343.04/345.77	c 345	|   1332474 |    1125     7097    25874 |    11957    10023     34 | 78.020 % |
357.93/360.70	c 360	|   1431000 |    1125     7097    25874 |    13152    10516     22 | 78.020 % |
381.31/384.04	c 384	|   1578789 |    1125     7097    25874 |    14468    16988     43 | 78.020 % |
417.40/420.10	c 420	|   1800473 |    1125     7097    25874 |    15915    11572     27 | 78.020 % |
472.56/475.31	c 475	|   2133000 |    1125     7097    25874 |    17506    18707     22 | 78.020 % |
489.86/492.67	c 492	===============================================================================
489.86/492.67	c 492	restarts              : 101
489.86/492.67	c 492	conflicts             : 2237803       (4596 /sec)
489.86/492.67	c 492	decisions             : 2512286       (0.69 % random) (5160 /sec)
489.86/492.67	c 492	propagations          : 565199231      (1160797 /sec)
489.86/492.67	c 492	conflict literals     : 63071229       (24.96 % deleted)
489.86/492.67	c 492	Memory used           : 25.93 MB
489.86/492.67	c 492	CPU time              : 486.906 s
489.86/492.67	c 492	
489.86/492.67	c 492	UNSATISFIABLE
489.86/492.67	c 492	OK
489.86/492.67	c 492	NOT FOUND: _COST <= 1
489.86/492.67	c 492	OK
489.86/492.67	c 492	OBJECTIVE _COST 2
489.86/492.67	s OPTIMUM FOUND
489.86/492.68	c 492	CPU 489.4 (0.08 0.02 489.32 0.52)
489.86/492.68	c 492	END Mon Jul 14 21:50:47 2008

Verifier Data (download as text)

OK	2	298
2 unsatisfied constraints, 298 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-1117603-1216064555/watcher-1117603-1216064555 -o /tmp/evaluation-result-1117603-1216064555/solver-1117603-1216064555 -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-1117603-1216064555.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.69 2.62 2.64 4/80 22815
/proc/meminfo: memFree=1721136/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=12268 CPUtime=0
/proc/22815/stat : 22815 (sugar++) R 22813 22815 22729 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 63153886 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 217051789925 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/22815/statm: 3067 316 241 3 0 167 0

[startup+0.0812621 s]
/proc/loadavg: 2.69 2.62 2.64 4/80 22815
/proc/meminfo: memFree=1721136/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=12272 CPUtime=0
/proc/22815/stat : 22815 (sugar++) R 22813 22815 22729 0 -1 4194304 393 0 0 0 0 0 0 0 18 0 1 0 63153886 12566528 361 996147200 4194304 4206940 548682068528 18446744073709551615 217071792124 0 0 4224 0 0 0 0 17 0 0 0
/proc/22815/statm: 3068 364 274 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.102265 s]
/proc/loadavg: 2.69 2.62 2.64 4/80 22815
/proc/meminfo: memFree=1721136/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=12676 CPUtime=0.01
/proc/22815/stat : 22815 (sugar++) R 22813 22815 22729 0 -1 4194304 550 0 0 0 1 0 0 0 18 0 1 0 63153886 12980224 518 996147200 4194304 4206940 548682068528 18446744073709551615 217071340456 0 0 4224 0 0 0 0 17 1 0 0
/proc/22815/statm: 3169 518 316 3 0 269 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12676

[startup+0.301306 s]
/proc/loadavg: 2.69 2.62 2.64 4/80 22815
/proc/meminfo: memFree=1721136/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16740 CPUtime=0.06
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1219 128 0 0 5 1 0 0 18 0 1 0 63153886 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22815/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.702379 s]
/proc/loadavg: 2.69 2.62 2.64 4/80 22815
/proc/meminfo: memFree=1721136/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16740 CPUtime=0.06
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1236 128 0 0 5 1 0 0 15 0 1 0 63153886 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22815/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+1.50153 s]
/proc/loadavg: 2.69 2.62 2.64 4/91 22837
/proc/meminfo: memFree=1711576/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16740 CPUtime=0.62
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1297 4631 0 1 6 1 51 4 15 0 1 0 63153886 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4185 1104 409 3 0 764 0
[pid=22828] ppid=22815 vsize=5356 CPUtime=0
/proc/22828/stat : 22828 (sh) S 22815 22815 22729 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 63153960 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22828/statm: 1339 233 193 169 0 50 0
[pid=22829] ppid=22828 vsize=868480 CPUtime=0.75
/proc/22829/stat : 22829 (java) S 22828 22815 22729 0 -1 0 6657 0 1 0 71 4 0 0 20 0 9 0 63153960 889323520 5861 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22829/statm: 217120 5861 2564 9 0 211667 0
[pid=22829/tid=22830] ppid=22828 vsize=868480 CPUtime=0.45
/proc/22829/task/22830/stat : 22830 (java) R 22828 22815 22729 0 -1 64 2739 0 1 0 43 2 0 0 25 0 9 0 63153961 889323520 5861 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22829/tid=22831] ppid=22828 vsize=868480 CPUtime=0.05
/proc/22829/task/22831/stat : 22831 (java) S 22828 22815 22729 0 -1 64 1741 0 0 0 5 0 0 0 16 0 9 0 63153962 889323520 5861 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22829/tid=22832] ppid=22828 vsize=868480 CPUtime=0
/proc/22829/task/22832/stat : 22832 (java) S 22828 22815 22729 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 63153962 889323520 5861 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22829/tid=22833] ppid=22828 vsize=868480 CPUtime=0
/proc/22829/task/22833/stat : 22833 (java) S 22828 22815 22729 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 63153962 889323520 5861 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22829/tid=22834] ppid=22828 vsize=868480 CPUtime=0
/proc/22829/task/22834/stat : 22834 (java) S 22828 22815 22729 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 63153964 889323520 5861 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22829/tid=22835] ppid=22828 vsize=868480 CPUtime=0.21
/proc/22829/task/22835/stat : 22835 (java) S 22828 22815 22729 0 -1 64 1484 0 0 0 21 0 0 0 16 0 9 0 63153964 889323520 5861 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22829/tid=22836] ppid=22828 vsize=868480 CPUtime=0
/proc/22829/task/22836/stat : 22836 (java) S 22828 22815 22729 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 63153964 889323520 5861 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22829/tid=22837] ppid=22828 vsize=868480 CPUtime=0
/proc/22829/task/22837/stat : 22837 (java) S 22828 22815 22729 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 63153964 889323520 5861 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 890576

[startup+3.10184 s]
/proc/loadavg: 2.71 2.63 2.64 4/84 22850
/proc/meminfo: memFree=1707536/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.02
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1695 22984 0 5 6 1 179 16 15 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=7688 CPUtime=0.5
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 1865 0 0 0 49 1 0 0 19 0 1 0 63154059 7872512 1808 996147200 134512640 135134323 4294956192 18446744073709551615 134528430 0 0 4096 3 0 0 0 17 1 0 0
/proc/22838/statm: 1922 1808 79 151 0 1768 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 24560

[startup+6.30145 s]
/proc/loadavg: 2.71 2.63 2.64 4/82 22868
/proc/meminfo: memFree=1708448/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.02
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1695 22984 0 5 6 1 179 16 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=8052 CPUtime=3.66
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 1964 0 0 0 365 1 0 0 25 0 1 0 63154059 8245248 1907 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/22838/statm: 2013 1907 79 151 0 1859 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 24924

[startup+12.7017 s]
/proc/loadavg: 2.60 2.61 2.63 3/82 22868
/proc/meminfo: memFree=1705440/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.02
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1695 22984 0 5 6 1 179 16 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=10856 CPUtime=10
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 2653 0 0 0 999 1 0 0 25 0 1 0 63154059 11116544 2596 996147200 134512640 135134323 4294956192 18446744073709551615 134523901 0 0 4096 3 0 0 0 17 1 0 0
/proc/22838/statm: 2714 2596 79 151 0 2560 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 27728

[startup+25.5021 s]
/proc/loadavg: 2.51 2.59 2.63 3/82 22868
/proc/meminfo: memFree=1701856/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.02
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1695 22984 0 5 6 1 179 16 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=14420 CPUtime=22.69
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 3529 0 0 0 2267 2 0 0 25 0 1 0 63154059 14766080 3472 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/22838/statm: 3605 3472 79 151 0 3451 0
Current children cumulated CPU time (s) 24.71
Current children cumulated vsize (KiB) 31292

[startup+51.103 s]
/proc/loadavg: 2.68 2.62 2.64 4/82 22868
/proc/meminfo: memFree=1696928/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.02
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1695 22984 0 5 6 1 179 16 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=19480 CPUtime=48.06
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 4785 0 0 0 4803 3 0 0 25 0 1 0 63154059 19947520 4728 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/22838/statm: 4870 4728 79 151 0 4716 0
Current children cumulated CPU time (s) 50.08
Current children cumulated vsize (KiB) 36352

[startup+102.307 s]
/proc/loadavg: 2.67 2.62 2.63 4/82 22868
/proc/meminfo: memFree=1690016/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.02
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1695 22984 0 5 6 1 179 16 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26296 CPUtime=98.8
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6469 0 0 0 9875 5 0 0 25 0 1 0 63154059 26927104 6412 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/22838/statm: 6574 6412 79 151 0 6420 0
Current children cumulated CPU time (s) 100.82
Current children cumulated vsize (KiB) 43168

[startup+162.301 s]
/proc/loadavg: 2.48 2.58 2.62 3/82 22878
/proc/meminfo: memFree=1689696/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.2
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1765 26763 0 6 6 2 193 19 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=158.03
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6511 0 0 0 15798 5 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 160.23
Current children cumulated vsize (KiB) 43416

[startup+222.302 s]
/proc/loadavg: 2.44 2.55 2.61 3/76 22989
/proc/meminfo: memFree=1753624/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.4
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1836 30548 0 7 7 2 210 21 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=217.45
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6513 0 0 0 21724 21 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134532135 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 219.85
Current children cumulated vsize (KiB) 43416

[startup+282.301 s]
/proc/loadavg: 2.17 2.45 2.57 3/76 23035
/proc/meminfo: memFree=1753752/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.6
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1905 34325 0 8 7 2 227 24 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=277.1
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6515 0 0 0 27688 22 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 279.7
Current children cumulated vsize (KiB) 43416

[startup+342.302 s]
/proc/loadavg: 2.06 2.36 2.53 3/76 23045
/proc/meminfo: memFree=1752280/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.79
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1975 38115 0 9 8 2 242 27 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=336.85
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6517 0 0 0 33663 22 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134531859 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 339.64
Current children cumulated vsize (KiB) 43416

[startup+402.303 s]
/proc/loadavg: 1.96 2.28 2.49 3/75 23146
/proc/meminfo: memFree=1751320/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.79
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1975 38115 0 9 8 2 242 27 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=396.81
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6517 0 0 0 39658 23 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134531891 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 399.6
Current children cumulated vsize (KiB) 43416

[startup+462.302 s]
/proc/loadavg: 1.98 2.22 2.45 3/75 23156
/proc/meminfo: memFree=1750168/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.79
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1975 38115 0 9 8 2 242 27 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=456.79
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6517 0 0 0 45655 24 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134532138 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 459.58
Current children cumulated vsize (KiB) 43416

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

[startup+473.502 s]
/proc/loadavg: 1.99 2.22 2.45 3/75 23166
/proc/meminfo: memFree=1749720/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.79
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1975 38115 0 9 8 2 242 27 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=467.97
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6517 0 0 0 46773 24 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134532039 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 470.76
Current children cumulated vsize (KiB) 43416

[startup+486.301 s]
/proc/loadavg: 1.99 2.21 2.44 3/75 23166
/proc/meminfo: memFree=1749784/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.79
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1975 38115 0 9 8 2 242 27 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=480.77
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6517 0 0 0 48053 24 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134532019 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 483.56
Current children cumulated vsize (KiB) 43416

[startup+489.507 s]
/proc/loadavg: 1.99 2.21 2.44 3/75 23166
/proc/meminfo: memFree=1749784/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.79
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1975 38115 0 9 8 2 242 27 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=483.97
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6517 0 0 0 48373 24 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 486.76
Current children cumulated vsize (KiB) 43416

[startup+491.102 s]
/proc/loadavg: 1.99 2.21 2.44 3/75 23166
/proc/meminfo: memFree=1749784/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.79
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1975 38115 0 9 8 2 242 27 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=485.57
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6517 0 0 0 48533 24 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 488.36
Current children cumulated vsize (KiB) 43416

[startup+491.901 s]
/proc/loadavg: 1.99 2.21 2.44 3/75 23166
/proc/meminfo: memFree=1749784/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.79
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1975 38115 0 9 8 2 242 27 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=486.37
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6517 0 0 0 48613 24 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 489.16
Current children cumulated vsize (KiB) 43416

[startup+492.301 s]
/proc/loadavg: 1.99 2.21 2.44 3/75 23166
/proc/meminfo: memFree=1749784/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.79
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1975 38115 0 9 8 2 242 27 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=486.77
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6517 0 0 0 48653 24 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134532019 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 489.56
Current children cumulated vsize (KiB) 43416

[startup+492.501 s]
/proc/loadavg: 1.99 2.21 2.44 3/75 23166
/proc/meminfo: memFree=1749784/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.79
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1975 38115 0 9 8 2 242 27 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=486.97
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6517 0 0 0 48673 24 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 489.76
Current children cumulated vsize (KiB) 43416

[startup+492.602 s]
/proc/loadavg: 1.99 2.21 2.44 3/75 23166
/proc/meminfo: memFree=1749784/2055920 swapFree=4192812/4192956
[pid=22815] ppid=22813 vsize=16872 CPUtime=2.79
/proc/22815/stat : 22815 (sugar++) S 22813 22815 22729 0 -1 4194304 1975 38115 0 9 8 2 242 27 16 0 1 0 63153886 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22815/statm: 4218 1121 414 3 0 797 0
[pid=22838] ppid=22815 vsize=26544 CPUtime=487.07
/proc/22838/stat : 22838 (minisat-inc) R 22815 22815 22729 0 -1 4194304 6517 0 0 0 48683 24 0 0 25 0 1 0 63154059 27181056 6452 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 0 0 0
/proc/22838/statm: 6636 6452 79 151 0 6482 0
Current children cumulated CPU time (s) 489.86
Current children cumulated vsize (KiB) 43416

Child status: 0
Real time (s): 492.684
CPU time (s): 489.957
CPU user time (s): 489.409
CPU system time (s): 0.548916
CPU usage (%): 99.4466
Max. virtual memory (cumulated for all children) (KiB): 890576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 489.409
system time used= 0.548916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46689
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= 3524
involuntary context switches= 12776

runsolver used 0.646901 second user time and 1.52977 second system time

The end

Launcher Data (download as text)

Begin job on node59 at 2008-07-14 21:42:35
IDJOB=1117603
IDBENCH=62140
IDSOLVER=367
FILE ID=node59/1117603-1216064555
PBS_JOBID= 7905077
Free space on /tmp= 66504 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= bbcb1a8bfacc80750750f5a7ca595433
RANDOM SEED=1963364840

node59.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.268
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.268
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:       1721680 kB
Buffers:         57832 kB
Cached:         124136 kB
SwapCached:          0 kB
Active:         221920 kB
Inactive:        49560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1721680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             884 kB
Writeback:           0 kB
Mapped:         109824 kB
Slab:            47940 kB
Committed_AS:  1004756 kB
PageTables:       2020 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66504 MiB
End job on node59 at 2008-07-14 21:50:47