Trace number 1116307

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 2498.04 2522.13

General information on the benchmark

Namemaxcsp/randomMaxCSP/sparseTight/
normalized-vcsp-25-10-21-85-24_ext.xml
MD5SUM0f56cf3094c7f048d58bba0c0e63009d
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints19
Best CPU time to get the best result obtained on this benchmark0.824873
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints63
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension63
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.09	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.09	c 0	BEGIN Mon Jul 14 16:45:18 2008
0.00/0.09	c 0	PID 19404
0.00/0.09	c 0	HOST node64.alineos.net
0.00/0.09	c 0	CONVERTING HOME/instance-1116307-1216046718.xml TO HOME/temp.csp
0.00/0.09	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1116307-1216046718.xml' 'HOME/temp.csp'
0.06/0.31	c 0	1 domains, 25 variables, 0 predicates, 63 relations, 63 constraints
0.06/0.36	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.36	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.30/0.44	c 0	Parsing HOME/temp.csp
0.30/0.52	c 0	parsed 152 expressions
0.30/0.52	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.30/0.53	c 0	MAX CSP: 63 constraints
0.30/0.53	c 0	Converting to clausal form CSP
0.30/0.55	c 0	converted 22 (10%) expressions
0.30/0.55	c 0	converted 44 (20%) expressions
0.30/0.55	c 0	converted 66 (30%) expressions
0.30/0.55	c 0	converted 88 (40%) expressions
0.30/0.56	c 0	converted 109 (50%) expressions
0.30/0.57	c 0	converted 131 (60%) expressions
0.30/0.57	c 0	converted 153 (70%) expressions
0.30/0.57	c 0	converted 175 (80%) expressions
0.30/0.58	c 0	converted 197 (90%) expressions
0.30/0.66	c 0	converted 218 (100%) expressions
0.30/0.66	c 0	CSP : 151 integers, 0 booleans, 188 clauses, largest domain size 95
0.30/0.66	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.30/0.66	c 0	Propagation in CSP
0.30/0.68	c 1	57 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.30/0.68	c 1	CSP : 151 integers, 0 booleans, 188 clauses, largest domain size 64
0.30/0.68	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.30/0.68	c 1	Simplifing CSP by introducing new Boolean variables
0.30/0.68	c 1	CSP : 151 integers, 0 booleans, 188 clauses, largest domain size 64
0.30/0.68	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.30/0.71	c 1	Encoding CSP to SAT : HOME/temp.cnf
0.30/0.75	c 1	16 (10%) CSP integer variables are encoded (128 clauses, 1280 bytes)
0.30/0.76	c 1	31 (20%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.30/0.76	c 1	46 (30%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.30/0.76	c 1	61 (40%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.30/0.76	c 1	76 (50%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.30/0.76	c 1	91 (60%) CSP integer variables are encoded (264 clauses, 2776 bytes)
0.30/0.76	c 1	106 (70%) CSP integer variables are encoded (313 clauses, 3315 bytes)
0.30/0.77	c 1	121 (80%) CSP integer variables are encoded (392 clauses, 4184 bytes)
0.30/0.77	c 1	136 (90%) CSP integer variables are encoded (441 clauses, 4723 bytes)
0.30/0.78	c 1	151 (100%) CSP integer variables are encoded (773 clauses, 8375 bytes)
0.30/0.81	c 1	19 (10%) CSP clauses are encoded (1141 clauses, 14746 bytes)
0.30/0.84	c 1	38 (20%) CSP clauses are encoded (1503 clauses, 21259 bytes)
0.30/0.87	c 1	57 (30%) CSP clauses are encoded (1848 clauses, 27910 bytes)
0.30/0.89	c 1	76 (40%) CSP clauses are encoded (2040 clauses, 31184 bytes)
0.30/0.90	c 1	94 (50%) CSP clauses are encoded (2331 clauses, 35282 bytes)
0.30/0.94	c 1	113 (60%) CSP clauses are encoded (2460 clauses, 37002 bytes)
0.30/0.94	c 1	132 (70%) CSP clauses are encoded (3303 clauses, 49412 bytes)
0.30/0.94	c 1	151 (80%) CSP clauses are encoded (3432 clauses, 51132 bytes)
0.30/0.94	c 1	170 (90%) CSP clauses are encoded (3747 clauses, 55574 bytes)
0.30/0.95	c 1	188 (100%) CSP clauses are encoded (8036 clauses, 118807 bytes)
0.30/0.95	c 1	188 CSP clauses encoded
0.30/0.95	c 1	Writing map file : HOME/temp.map
0.30/0.96	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.30/0.96	c 1	SAT : 924 SAT variables, 8036 SAT clauses, 118807 bytes
0.30/0.96	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.30/0.99	c 1	OBJECTIVE minimize _COST
0.30/0.99	c 1	SOLVING HOME/temp.cnf
0.30/0.99	c 1	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
0.30/0.99	c 1	This is MiniSat 2.0 beta incremental
0.30/0.99	c 1	WARNING: for repeatability, setting FPU to use double precision
0.30/0.99	c 1	============================[ Problem Statistics ]=============================
0.30/0.99	c 1	|                                                                             |
0.30/0.99	c 1	|  Number of variables:  924                                                  |
0.30/0.99	c 1	|  Number of clauses:    8036                                                 |
0.89/1.00	c 1	|  Parsing time:         0.00         s                                       |
0.89/1.00	c 1	OK
0.89/1.00	c 1	OBJECTIVE BOUND: 0 <= _COST <= 
0.89/1.00	c 1	SEARCHING: _COST <= 32
0.89/1.00	c 1	============================[ Search Statistics ]==============================
0.89/1.00	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/1.00	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.89/1.00	c 1	===============================================================================
0.89/1.00	c 1	|         0 |     924     8036    23135 |     2678        0    nan |  0.000 % |
0.89/1.01	c 1	|       102 |     924     8036    23135 |     2946      102     19 |  0.022 % |
0.89/1.01	c 1	|       252 |     924     8036    23135 |     3241      252     17 |  0.022 % |
0.89/1.02	c 1	|       477 |     924     8036    23135 |     3565      477     18 |  0.022 % |
0.89/1.03	c 1	===============================================================================
0.89/1.03	c 1	restarts              : 4
0.89/1.03	c 1	conflicts             : 700           (20003 /sec)
0.89/1.03	c 1	decisions             : 1092          (0.92 % random) (31205 /sec)
0.89/1.04	c 1	propagations          : 65244          (1864434 /sec)
0.89/1.04	c 1	conflict literals     : 11601          (26.41 % deleted)
0.89/1.04	c 1	Memory used           : 2.18 MB
0.89/1.04	c 1	CPU time              : 0.034994 s
0.89/1.04	c 1	
0.89/1.04	c 1	SATISFIABLE
0.89/1.04	c 1	OK
0.89/1.04	c 1	FOUND: _COST <= 32
0.89/1.04	s SATISFIABLE
0.89/1.04	c 1	DECODING HOME/temp.out WITH HOME/temp.map
0.89/1.04	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'
0.93/1.12	c 1	Decoding HOME/temp.out
0.93/1.16	c 1	OBJECTIVE _COST 32
0.93/1.16	o 32
0.93/1.16	v 9 5 3 4 9 3 9 9 9 5 7 9 1 0 3 8 7 8 2 0 6 9 7 9 2
0.93/1.17	c 1	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
0.93/1.20	c 1	OK
0.93/1.20	c 1	OBJECTIVE BOUND: 0 <= _COST <= 32
0.93/1.20	c 1	SEARCHING: _COST <= 16
0.93/1.20	c 1	============================[ Search Statistics ]==============================
0.93/1.21	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.93/1.21	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.93/1.21	c 1	===============================================================================
0.93/1.21	c 1	|       700 |     738     5773    16873 |     1924      700     17 |  0.022 % |
0.93/1.21	c 1	|       801 |     738     5773    16873 |     2116      801     16 | 20.143 % |
0.93/1.22	c 1	|       952 |     738     5773    16873 |     2328      952     15 | 20.143 % |
0.93/1.23	c 1	|      1177 |     738     5773    16873 |     2561     1177     15 | 20.143 % |
0.93/1.24	c 1	|      1514 |     738     5773    16873 |     2817     1514     14 | 20.143 % |
0.93/1.27	c 1	|      2021 |     738     5773    16873 |     3099     2021     14 | 20.143 % |
1.16/1.31	c 1	|      2780 |     738     5773    16873 |     3409     2780     14 | 20.143 % |
1.16/1.39	c 1	|      3920 |     738     5773    16873 |     3749     3920     14 | 20.143 % |
1.36/1.50	c 1	|      5628 |     738     5773    16873 |     4124     3532     13 | 20.143 % |
1.46/1.66	c 1	|      8190 |     738     5773    16873 |     4537     3785     13 | 20.143 % |
1.76/1.95	c 2	|     12035 |     738     5773    16873 |     4991     2584     14 | 20.143 % |
2.15/2.38	c 2	|     17801 |     738     5773    16873 |     5490     2862     15 | 20.143 % |
2.85/3.01	c 3	|     26450 |     738     5773    16873 |     6039     5543     16 | 20.143 % |
3.84/4.03	c 4	|     39424 |     738     5773    16873 |     6643     5397     17 | 20.143 % |
5.42/5.69	c 6	|     58886 |     738     5773    16873 |     7307     7021     15 | 20.143 % |
7.90/8.16	c 8	|     88079 |     738     5773    16873 |     8038     4979     15 | 20.143 % |
11.77/12.02	c 12	|    131868 |     738     5773    16873 |     8842     6114     18 | 20.143 % |
17.60/17.96	c 18	|    197552 |     738     5773    16873 |     9726     6506     16 | 20.143 % |
26.92/27.30	c 27	|    296079 |     738     5773    16873 |    10699     7894     16 | 20.143 % |
40.68/41.22	c 41	|    443868 |     738     5773    16873 |    11769    10440     19 | 20.143 % |
63.66/64.42	c 64	|    665552 |     738     5773    16873 |    12945    11381     19 | 20.144 % |
89.03/90.06	c 90	===============================================================================
89.03/90.06	c 90	restarts              : 25
89.03/90.06	c 90	conflicts             : 908823        (10321 /sec)
89.03/90.06	c 90	decisions             : 1064878       (0.96 % random) (12093 /sec)
89.03/90.06	c 90	propagations          : 85749542       (973800 /sec)
89.03/90.06	c 90	conflict literals     : 16589032       (31.48 % deleted)
89.03/90.06	c 90	Memory used           : 5.48 MB
89.03/90.06	c 90	CPU time              : 88.0566 s
89.03/90.06	c 90	
89.03/90.06	c 90	UNSATISFIABLE
89.03/90.06	c 90	OK
89.03/90.06	c 90	NOT FOUND: _COST <= 16
89.03/90.06	c 90	OK
89.03/90.06	c 90	OBJECTIVE BOUND: 17 <= _COST <= 32
89.03/90.06	c 90	SEARCHING: _COST <= 24
89.03/90.06	c 90	============================[ Search Statistics ]==============================
89.03/90.06	c 90	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
89.03/90.06	c 90	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
89.03/90.06	c 90	===============================================================================
89.03/90.06	c 90	|    908823 |     679     5360    15811 |     1786     8551     14 | 20.144 % |
89.03/90.08	c 90	|    908923 |     679     5360    15811 |     1965     1169     10 | 26.522 % |
89.03/90.09	c 90	|    909073 |     679     5360    15811 |     2161     1319     11 | 26.522 % |
89.03/90.10	c 90	|    909299 |     679     5360    15811 |     2378     1545     12 | 26.522 % |
89.13/90.12	c 90	|    909636 |     679     5360    15811 |     2615     1882     13 | 26.522 % |
89.13/90.15	c 90	|    910142 |     679     5360    15811 |     2877     2388     13 | 26.522 % |
89.13/90.20	c 90	|    910901 |     679     5360    15811 |     3165     3147     14 | 26.522 % |
89.23/90.27	c 90	|    912040 |     679     5360    15811 |     3481     2426     14 | 26.522 % |
89.32/90.39	c 90	===============================================================================
89.32/90.39	c 90	restarts              : 33
89.32/90.39	c 90	conflicts             : 913740        (10339 /sec)
89.32/90.39	c 90	decisions             : 1070794       (0.96 % random) (12116 /sec)
89.32/90.39	c 90	propagations          : 86223143       (975634 /sec)
89.32/90.39	c 90	conflict literals     : 16672518       (31.48 % deleted)
89.32/90.39	c 90	Memory used           : 5.48 MB
89.32/90.39	c 90	CPU time              : 88.3766 s
89.32/90.39	c 90	
89.32/90.39	c 90	SATISFIABLE
89.32/90.39	c 90	OK
89.32/90.39	c 90	FOUND: _COST <= 24
89.32/90.39	c 90	DECODING HOME/temp.out WITH HOME/temp.map
89.32/90.39	c 90	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
89.41/90.48	c 90	Decoding HOME/temp.out
89.42/90.51	c 90	OBJECTIVE _COST 24
89.42/90.51	o 24
89.42/90.51	v 9 6 2 3 9 9 4 9 5 4 8 4 6 1 3 6 7 6 8 0 1 7 2 9 1
89.42/90.51	c 90	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
89.42/90.57	c 90	OK
89.42/90.57	c 90	OBJECTIVE BOUND: 17 <= _COST <= 24
89.42/90.57	c 90	SEARCHING: _COST <= 20
89.42/90.57	c 90	============================[ Search Statistics ]==============================
89.42/90.57	c 90	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
89.42/90.57	c 90	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
89.42/90.57	c 90	===============================================================================
89.42/90.57	c 90	|    913740 |     623     4676    13919 |     1558     2140     16 | 26.522 % |
89.42/90.57	c 90	|    913840 |     623     4676    13919 |     1714     1170     13 | 32.579 % |
89.42/90.58	c 90	|    913990 |     623     4676    13919 |     1885     1320     13 | 32.579 % |
89.42/90.59	c 90	|    914215 |     623     4676    13919 |     2074     1545     13 | 32.579 % |
89.59/90.61	c 90	|    914552 |     623     4676    13919 |     2282     1882     14 | 32.579 % |
89.59/90.64	c 90	|    915058 |     623     4676    13919 |     2510     2388     14 | 32.579 % |
89.59/90.70	c 91	|    915817 |     623     4676    13919 |     2761     1643     13 | 32.579 % |
89.69/90.77	c 91	|    916956 |     623     4676    13919 |     3037     2782     15 | 32.579 % |
89.79/90.88	c 91	|    918665 |     623     4676    13919 |     3341     2722     14 | 32.579 % |
89.99/91.06	c 91	|    921227 |     623     4676    13919 |     3675     3365     15 | 32.579 % |
90.28/91.34	c 91	|    925071 |     623     4676    13919 |     4042     3027     16 | 32.579 % |
90.67/91.73	c 92	|    930838 |     623     4676    13919 |     4447     4222     16 | 32.579 % |
91.27/92.40	c 92	|    939488 |     623     4676    13919 |     4891     2974     16 | 32.579 % |
92.26/93.37	c 93	|    952462 |     623     4676    13919 |     5380     5135     19 | 32.579 % |
93.74/94.87	c 95	|    971924 |     623     4676    13919 |     5919     3834     18 | 32.579 % |
96.12/97.26	c 97	|   1001117 |     623     4676    13919 |     6510     4049     20 | 32.579 % |
99.89/101.10	c 101	|   1044907 |     623     4676    13919 |     7162     5645     18 | 32.579 % |
105.63/106.87	c 107	|   1110591 |     623     4676    13919 |     7878     6037     17 | 32.579 % |
114.45/115.78	c 116	|   1209118 |     623     4676    13919 |     8666     8104     20 | 32.579 % |
128.61/130.05	c 130	|   1356907 |     623     4676    13919 |     9532     9100     18 | 32.579 % |
150.80/152.48	c 152	|   1578590 |     623     4676    13919 |    10485     9785     18 | 32.579 % |
183.99/185.95	c 186	|   1911115 |     623     4676    13919 |    11534     6922     19 | 32.579 % |
238.76/241.25	c 241	|   2409903 |     623     4676    13919 |    12687    11643     17 | 32.579 % |
327.32/330.69	c 331	|   3158085 |     623     4676    13919 |    13956     6792     18 | 32.579 % |
459.85/464.46	c 464	|   4280360 |     623     4676    13919 |    15352     7611     19 | 32.579 % |
673.41/680.01	c 680	|   5963773 |     623     4676    13919 |    16887     8721     22 | 32.579 % |
704.72/711.65	c 711	===============================================================================
704.72/711.65	c 711	restarts              : 59
704.72/711.65	c 711	conflicts             : 6200963       (8814 /sec)
704.72/711.65	c 711	decisions             : 7137728       (1.10 % random) (10145 /sec)
704.72/711.65	c 711	propagations          : 568641819      (808218 /sec)
704.72/711.65	c 711	conflict literals     : 131971219      (31.56 % deleted)
704.72/711.65	c 711	Memory used           : 10.41 MB
704.72/711.65	c 711	CPU time              : 703.575 s
704.72/711.65	c 711	
704.72/711.65	c 711	SATISFIABLE
704.72/711.65	c 711	OK
704.72/711.65	c 711	FOUND: _COST <= 20
704.72/711.65	c 711	DECODING HOME/temp.out WITH HOME/temp.map
704.72/711.65	c 711	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
704.77/711.75	c 712	Decoding HOME/temp.out
704.77/711.78	c 712	OBJECTIVE _COST 20
704.77/711.78	o 20
704.77/711.78	v 4 7 6 6 7 9 1 0 0 9 8 8 6 6 7 9 7 6 5 0 4 0 5 9 7
704.77/711.78	c 712	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
704.77/711.84	c 712	OK
704.77/711.84	c 712	OBJECTIVE BOUND: 17 <= _COST <= 20
704.77/711.84	c 712	SEARCHING: _COST <= 18
704.77/711.84	c 712	============================[ Search Statistics ]==============================
704.77/711.84	c 712	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
704.77/711.84	c 712	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
704.77/711.84	c 712	===============================================================================
704.77/711.84	c 712	|   6200963 |     595     4310    12901 |     1436    10777     20 | 32.579 % |
704.77/711.85	c 712	|   6201063 |     595     4310    12901 |     1580     1448     15 | 35.608 % |
704.77/711.86	c 712	|   6201213 |     595     4310    12901 |     1738     1598     15 | 35.608 % |
704.77/711.87	c 712	|   6201439 |     595     4310    12901 |     1912     1824     15 | 35.608 % |
704.77/711.89	c 712	|   6201777 |     595     4310    12901 |     2103     2162     15 | 35.608 % |
704.96/711.93	c 712	|   6202283 |     595     4310    12901 |     2313     1356     12 | 35.608 % |
704.96/711.97	c 712	|   6203042 |     595     4310    12901 |     2545     2115     13 | 35.608 % |
705.06/712.04	c 712	|   6204182 |     595     4310    12901 |     2799     1764     12 | 35.608 % |
705.16/712.15	c 712	|   6205893 |     595     4310    12901 |     3079     1804     14 | 35.608 % |
705.36/712.33	c 712	|   6208456 |     595     4310    12901 |     3387     2544     14 | 35.608 % |
705.66/712.61	c 712	|   6212301 |     595     4310    12901 |     3726     2484     15 | 35.608 % |
706.05/713.05	c 713	|   6218067 |     595     4310    12901 |     4098     3997     15 | 35.608 % |
706.75/713.73	c 714	|   6226717 |     595     4310    12901 |     4508     3461     16 | 35.608 % |
707.74/714.76	c 715	|   6239691 |     595     4310    12901 |     4959     3874     16 | 35.608 % |
709.32/716.31	c 716	|   6259153 |     595     4310    12901 |     5455     4170     14 | 35.608 % |
711.50/718.50	c 718	|   6288346 |     595     4310    12901 |     6001     3481     16 | 35.608 % |
714.97/722.02	c 722	|   6332136 |     595     4310    12901 |     6601     4950     16 | 35.608 % |
720.42/727.54	c 727	|   6397820 |     595     4310    12901 |     7261     6597     15 | 35.608 % |
728.83/736.06	c 736	|   6496347 |     595     4310    12901 |     7987     4045     18 | 35.608 % |
742.71/750.06	c 750	|   6644139 |     595     4310    12901 |     8786     7494     19 | 35.608 % |
764.00/771.50	c 771	|   6865823 |     595     4310    12901 |     9665     6046     17 | 35.608 % |
795.80/803.69	c 804	|   7198349 |     595     4310    12901 |    10631     7778     19 | 35.608 % |
846.12/854.43	c 854	|   7697137 |     595     4310    12901 |    11694    10324     20 | 35.608 % |
923.86/932.99	c 933	|   8445319 |     595     4310    12901 |    12864     7566     19 | 35.608 % |
1045.09/1055.33	c 1055	|   9567593 |     595     4310    12901 |    14150    12558     19 | 35.608 % |
1242.12/1254.22	c 1254	|  11251005 |     595     4310    12901 |    15565     9855     15 | 35.608 % |
1546.10/1561.17	c 1561	|  13776121 |     595     4310    12901 |    17122     9886     17 | 35.611 % |
1568.29/1583.52	c 1583	===============================================================================
1568.29/1583.52	c 1583	restarts              : 86
1568.29/1583.52	c 1583	conflicts             : 13947632      (8901 /sec)
1568.29/1583.52	c 1583	decisions             : 16176523      (1.15 % random) (10323 /sec)
1568.29/1583.52	c 1583	propagations          : 1276304232     (814501 /sec)
1568.29/1583.52	c 1583	conflict literals     : 298405391      (30.48 % deleted)
1568.29/1583.52	c 1583	Memory used           : 12.18 MB
1568.29/1583.52	c 1583	CPU time              : 1566.98 s
1568.29/1583.52	c 1583	
1568.29/1583.52	c 1583	UNSATISFIABLE
1568.29/1583.52	c 1583	OK
1568.29/1583.52	c 1583	NOT FOUND: _COST <= 18
1568.29/1583.52	c 1583	OK
1568.29/1583.52	c 1583	OBJECTIVE BOUND: 19 <= _COST <= 20
1568.29/1583.52	c 1583	SEARCHING: _COST <= 19
1568.29/1583.52	c 1583	============================[ Search Statistics ]==============================
1568.29/1583.52	c 1583	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1568.29/1583.52	c 1583	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1568.29/1583.52	c 1583	===============================================================================
1568.29/1583.52	c 1583	|  13947632 |     585     4215    12646 |     1405     9705     16 | 35.611 % |
1568.29/1583.54	c 1583	|  13947732 |     585     4215    12646 |     1545     1314     11 | 36.689 % |
1568.29/1583.54	c 1583	|  13947882 |     585     4215    12646 |     1700     1464     11 | 36.689 % |
1568.29/1583.56	c 1583	|  13948107 |     585     4215    12646 |     1870     1689     12 | 36.689 % |
1568.29/1583.57	c 1583	|  13948444 |     585     4215    12646 |     2057     2026     13 | 36.689 % |
1568.39/1583.60	c 1583	|  13948953 |     585     4215    12646 |     2262     2535     13 | 36.689 % |
1568.39/1583.65	c 1583	|  13949712 |     585     4215    12646 |     2489     1897     13 | 36.689 % |
1568.49/1583.73	c 1584	|  13950854 |     585     4215    12646 |     2737     1540     13 | 36.689 % |
1568.59/1583.85	c 1584	|  13952562 |     585     4215    12646 |     3011     1629     15 | 36.689 % |
1568.79/1584.04	c 1584	|  13955126 |     585     4215    12646 |     3312     2432     17 | 36.689 % |
1569.08/1584.32	c 1584	|  13958970 |     585     4215    12646 |     3644     2469     14 | 36.689 % |
1569.48/1584.72	c 1585	|  13964737 |     585     4215    12646 |     4008     4063     15 | 36.689 % |
1570.07/1585.35	c 1585	|  13973386 |     585     4215    12646 |     4409     3612     16 | 36.689 % |
1571.06/1586.31	c 1586	|  13986362 |     585     4215    12646 |     4850     4239     16 | 36.689 % |
1572.55/1587.86	c 1588	|  14005823 |     585     4215    12646 |     5335     4793     18 | 36.689 % |
1574.93/1590.23	c 1590	|  14035015 |     585     4215    12646 |     5869     4764     16 | 36.689 % |
1578.51/1593.86	c 1594	|  14078804 |     585     4215    12646 |     6455     3757     17 | 36.689 % |
1584.24/1599.62	c 1599	|  14144490 |     585     4215    12646 |     7101     6737     19 | 36.689 % |
1592.86/1608.31	c 1608	|  14243017 |     585     4215    12646 |     7811     5984     19 | 36.689 % |
1605.93/1621.55	c 1621	|  14390806 |     585     4215    12646 |     8592     7908     19 | 36.689 % |
1626.35/1642.11	c 1642	|  14612491 |     585     4215    12646 |     9452     6361     16 | 36.689 % |
1658.33/1674.43	c 1674	|  14945017 |     585     4215    12646 |    10397     9777     18 | 36.689 % |
1708.07/1724.61	c 1724	|  15443808 |     585     4215    12646 |    11437     5998     20 | 36.689 % |
1789.19/1806.50	c 1806	|  16191991 |     585     4215    12646 |    12580     6926     20 | 36.689 % |
1914.68/1933.26	c 1933	|  17314265 |     585     4215    12646 |    13838     8295     20 | 36.689 % |
2109.92/2130.31	c 2130	|  18997677 |     585     4215    12646 |    15222    11160     20 | 36.689 % |
2414.71/2438.06	c 2438	|  21522793 |     585     4215    12646 |    16745    10002     18 | 36.689 % |
2497.81/2521.94	c 2522	===============================================================================
2497.81/2521.94	c 2522	restarts              : 113
2497.81/2521.94	c 2522	conflicts             : 22176170      (8883 /sec)
2497.81/2521.94	c 2522	decisions             : 25773845      (1.17 % random) (10324 /sec)
2497.81/2521.94	c 2522	propagations          : 2020732378     (809426 /sec)
2497.81/2521.94	c 2522	conflict literals     : 480771508      (30.09 % deleted)
2497.81/2521.94	c 2522	Memory used           : 13.25 MB
2497.81/2521.94	c 2522	CPU time              : 2496.5 s
2497.81/2521.94	c 2522	
2497.81/2521.94	c 2522	SATISFIABLE
2497.81/2521.94	c 2522	OK
2497.81/2521.94	c 2522	FOUND: _COST <= 19
2497.81/2521.94	c 2522	DECODING HOME/temp.out WITH HOME/temp.map
2497.81/2521.94	c 2522	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2497.85/2522.03	c 2522	Decoding HOME/temp.out
2497.85/2522.06	c 2522	OBJECTIVE _COST 19
2497.85/2522.06	o 19
2497.85/2522.06	v 2 7 6 6 9 9 1 0 0 9 8 4 6 6 7 9 7 6 5 0 4 0 5 9 7
2497.85/2522.06	c 2522	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2497.85/2522.12	c 2522	OK
2497.85/2522.12	c 2522	OBJECTIVE _COST 19
2497.85/2522.12	s OPTIMUM FOUND
2497.85/2522.12	c 2522	CPU 2497.75 (0.06 0.02 2497.69 0.24)
2497.85/2522.12	c 2522	END Mon Jul 14 17:27:20 2008

Verifier Data (download as text)

OK	19	44
19 unsatisfied constraints, 44 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-1116307-1216046718/watcher-1116307-1216046718 -o /tmp/evaluation-result-1116307-1216046718/solver-1116307-1216046718 -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-1116307-1216046718.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.68 2.66 2.64 4/87 19404
/proc/meminfo: memFree=1778372/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=12268 CPUtime=0
/proc/19404/stat : 19404 (sugar++) R 19402 19404 18663 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 61369864 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 251255290469 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/19404/statm: 3067 316 241 3 0 167 0

[startup+0.0347591 s]
/proc/loadavg: 2.68 2.66 2.64 4/87 19404
/proc/meminfo: memFree=1778372/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=12676 CPUtime=0
/proc/19404/stat : 19404 (sugar++) D 19402 19404 18663 0 -1 4194304 531 0 0 0 0 0 0 0 18 0 1 0 61369864 12980224 499 996147200 4194304 4206940 548682068528 18446744073709551615 251255290469 0 2147483391 4224 0 18446744072099937270 0 0 17 1 0 0
/proc/19404/statm: 3169 499 315 3 0 269 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12676

[startup+0.101404 s]
/proc/loadavg: 2.68 2.66 2.64 4/87 19404
/proc/meminfo: memFree=1778372/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=0.06
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 61369864 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.301442 s]
/proc/loadavg: 2.68 2.66 2.64 4/87 19404
/proc/meminfo: memFree=1778372/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=0.06
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 61369864 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701522 s]
/proc/loadavg: 2.68 2.66 2.64 4/87 19404
/proc/meminfo: memFree=1778372/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=0.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1297 4291 0 1 5 1 21 3 15 0 1 0 61369864 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16740

[startup+1.50166 s]
/proc/loadavg: 2.71 2.67 2.64 3/89 19427
/proc/meminfo: memFree=1774708/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.03
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1544 13333 0 3 5 2 87 9 15 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=2496 CPUtime=0.33
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 366 0 0 0 33 0 0 0 18 0 1 0 61369963 2555904 310 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 624 310 79 151 0 470 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 19236

[startup+3.10197 s]
/proc/loadavg: 2.71 2.67 2.64 3/89 19437
/proc/meminfo: memFree=1773940/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.03
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1544 13333 0 3 5 2 87 9 15 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=3028 CPUtime=1.92
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 478 0 0 0 192 0 0 0 25 0 1 0 61369963 3100672 422 996147200 134512640 135134323 4294956192 18446744073709551615 134528116 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 757 422 79 151 0 603 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 19768

[startup+6.30157 s]
/proc/loadavg: 2.71 2.67 2.64 3/89 19437
/proc/meminfo: memFree=1773364/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.03
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1544 13333 0 3 5 2 87 9 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=3304 CPUtime=5.09
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 555 0 0 0 509 0 0 0 25 0 1 0 61369963 3383296 499 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 826 499 79 151 0 672 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 20044

[startup+12.7018 s]
/proc/loadavg: 2.60 2.65 2.63 3/89 19437
/proc/meminfo: memFree=1772916/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.03
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1544 13333 0 3 5 2 87 9 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=3836 CPUtime=11.43
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 679 0 0 0 1143 0 0 0 25 0 1 0 61369963 3928064 623 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 959 623 79 151 0 805 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 20576

[startup+25.5012 s]
/proc/loadavg: 2.51 2.63 2.62 3/89 19437
/proc/meminfo: memFree=1772468/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.03
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1544 13333 0 3 5 2 87 9 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=4256 CPUtime=24.1
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 795 0 0 0 2410 0 0 0 25 0 1 0 61369963 4358144 739 996147200 134512640 135134323 4294956192 18446744073709551615 134532039 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 1064 739 79 151 0 910 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 20996

[startup+51.1011 s]
/proc/loadavg: 2.33 2.57 2.61 3/89 19437
/proc/meminfo: memFree=1771636/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.03
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1544 13333 0 3 5 2 87 9 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=5200 CPUtime=49.45
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 1020 0 0 0 4945 0 0 0 25 0 1 0 61369963 5324800 964 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 1300 964 79 151 0 1146 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 21940

[startup+102.307 s]
/proc/loadavg: 2.13 2.48 2.57 3/89 19447
/proc/meminfo: memFree=1770932/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.17
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1613 17040 0 4 6 2 97 12 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=5740 CPUtime=100.01
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 1166 0 0 0 10000 1 0 0 25 0 1 0 61369963 5877760 1106 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 1435 1106 79 151 0 1281 0
Current children cumulated CPU time (s) 101.18
Current children cumulated vsize (KiB) 22480

[startup+162.301 s]
/proc/loadavg: 2.05 2.39 2.53 3/89 19447
/proc/meminfo: memFree=1770164/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.17
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1613 17040 0 4 6 2 97 12 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=6420 CPUtime=159.44
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 1338 0 0 0 15943 1 0 0 25 0 1 0 61369963 6574080 1278 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 1605 1278 79 151 0 1451 0
Current children cumulated CPU time (s) 160.61
Current children cumulated vsize (KiB) 23160

[startup+222.302 s]
/proc/loadavg: 2.02 2.31 2.49 3/89 19447
/proc/meminfo: memFree=1769652/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.17
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1613 17040 0 4 6 2 97 12 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=7084 CPUtime=218.86
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 1483 0 0 0 21885 1 0 0 25 0 1 0 61369963 7254016 1423 996147200 134512640 135134323 4294956192 18446744073709551615 134532286 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 1771 1423 79 151 0 1617 0
Current children cumulated CPU time (s) 220.03
Current children cumulated vsize (KiB) 23824

[startup+282.302 s]
/proc/loadavg: 2.00 2.25 2.46 3/89 19447
/proc/meminfo: memFree=1768884/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.17
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1613 17040 0 4 6 2 97 12 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=7748 CPUtime=278.31
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 1672 0 0 0 27829 2 0 0 25 0 1 0 61369963 7933952 1612 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 1937 1612 79 151 0 1783 0
Current children cumulated CPU time (s) 279.48
Current children cumulated vsize (KiB) 24488

[startup+342.301 s]
/proc/loadavg: 2.00 2.20 2.43 3/89 19447
/proc/meminfo: memFree=1768244/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.17
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1613 17040 0 4 6 2 97 12 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=8444 CPUtime=337.73
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 1824 0 0 0 33771 2 0 0 25 0 1 0 61369963 8646656 1764 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 2111 1764 79 151 0 1957 0
Current children cumulated CPU time (s) 338.9
Current children cumulated vsize (KiB) 25184

[startup+402.301 s]
/proc/loadavg: 2.00 2.16 2.40 3/89 19447
/proc/meminfo: memFree=1767924/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.17
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1613 17040 0 4 6 2 97 12 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=8848 CPUtime=397.17
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 1925 0 0 0 39715 2 0 0 25 0 1 0 61369963 9060352 1865 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 2212 1865 79 151 0 2058 0
Current children cumulated CPU time (s) 398.34
Current children cumulated vsize (KiB) 25588


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


[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/89 19465
/proc/meminfo: memFree=1762932/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13008 CPUtime=2120.51
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 2920 0 0 0 212045 6 0 0 25 0 1 0 61369963 13320192 2856 996147200 134512640 135134323 4294956192 18446744073709551615 134529657 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3252 2856 79 151 0 3098 0
Current children cumulated CPU time (s) 2121.81
Current children cumulated vsize (KiB) 29748

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/89 19465
/proc/meminfo: memFree=1762612/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13272 CPUtime=2179.94
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 2986 0 0 0 217988 6 0 0 25 0 1 0 61369963 13590528 2922 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3318 2922 79 151 0 3164 0
Current children cumulated CPU time (s) 2181.24
Current children cumulated vsize (KiB) 30012

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/89 19465
/proc/meminfo: memFree=1762548/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13272 CPUtime=2239.37
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 2994 0 0 0 223931 6 0 0 25 0 1 0 61369963 13590528 2930 996147200 134512640 135134323 4294956192 18446744073709551615 134531941 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3318 2930 79 151 0 3164 0
Current children cumulated CPU time (s) 2240.67
Current children cumulated vsize (KiB) 30012

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/89 19465
/proc/meminfo: memFree=1762484/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13404 CPUtime=2298.8
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 3007 0 0 0 229874 6 0 0 25 0 1 0 61369963 13725696 2943 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3351 2943 79 151 0 3197 0
Current children cumulated CPU time (s) 2300.1
Current children cumulated vsize (KiB) 30144

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 19465
/proc/meminfo: memFree=1762228/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13404 CPUtime=2358.24
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 3029 0 0 0 235818 6 0 0 25 0 1 0 61369963 13725696 2965 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3351 2965 79 151 0 3197 0
Current children cumulated CPU time (s) 2359.54
Current children cumulated vsize (KiB) 30144

[startup+2442.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 19465
/proc/meminfo: memFree=1762100/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13560 CPUtime=2417.67
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 3045 0 0 0 241761 6 0 0 25 0 1 0 61369963 13885440 2981 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3390 2981 79 151 0 3236 0
Current children cumulated CPU time (s) 2418.97
Current children cumulated vsize (KiB) 30300

[startup+2502.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/89 19465
/proc/meminfo: memFree=1762100/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13560 CPUtime=2477.1
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 3079 0 0 0 247704 6 0 0 25 0 1 0 61369963 13885440 3015 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3390 3015 79 151 0 3236 0
Current children cumulated CPU time (s) 2478.4
Current children cumulated vsize (KiB) 30300

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

[startup+2508.7 s]
/proc/loadavg: 2.12 2.04 2.01 3/89 19465
/proc/meminfo: memFree=1762100/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13560 CPUtime=2483.44
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 3079 0 0 0 248338 6 0 0 25 0 1 0 61369963 13885440 3015 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3390 3015 79 151 0 3236 0
Current children cumulated CPU time (s) 2484.74
Current children cumulated vsize (KiB) 30300

[startup+2515.1 s]
/proc/loadavg: 2.11 2.04 2.01 3/89 19465
/proc/meminfo: memFree=1761908/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13560 CPUtime=2489.78
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 3079 0 0 0 248972 6 0 0 25 0 1 0 61369963 13885440 3015 996147200 134512640 135134323 4294956192 18446744073709551615 134529062 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3390 3015 79 151 0 3236 0
Current children cumulated CPU time (s) 2491.08
Current children cumulated vsize (KiB) 30300

[startup+2518.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/89 19465
/proc/meminfo: memFree=1761908/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13560 CPUtime=2492.95
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 3079 0 0 0 249289 6 0 0 25 0 1 0 61369963 13885440 3015 996147200 134512640 135134323 4294956192 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3390 3015 79 151 0 3236 0
Current children cumulated CPU time (s) 2494.25
Current children cumulated vsize (KiB) 30300

[startup+2519.9 s]
/proc/loadavg: 2.10 2.04 2.01 3/89 19465
/proc/meminfo: memFree=1761908/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13560 CPUtime=2494.53
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 3079 0 0 0 249447 6 0 0 25 0 1 0 61369963 13885440 3015 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3390 3015 79 151 0 3236 0
Current children cumulated CPU time (s) 2495.83
Current children cumulated vsize (KiB) 30300

[startup+2521.5 s]
/proc/loadavg: 2.10 2.04 2.01 3/89 19465
/proc/meminfo: memFree=1761908/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13560 CPUtime=2496.11
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 3079 0 0 0 249605 6 0 0 25 0 1 0 61369963 13885440 3015 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3390 3015 79 151 0 3236 0
Current children cumulated CPU time (s) 2497.41
Current children cumulated vsize (KiB) 30300

[startup+2521.9 s]
/proc/loadavg: 2.10 2.04 2.01 3/89 19465
/proc/meminfo: memFree=1761908/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1684 20746 0 5 6 2 107 15 16 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13560 CPUtime=2496.51
/proc/19427/stat : 19427 (minisat-inc) R 19404 19404 18663 0 -1 4194304 3079 0 0 0 249645 6 0 0 25 0 1 0 61369963 13885440 3015 996147200 134512640 135134323 4294956192 18446744073709551615 134531977 0 0 4096 3 0 0 0 17 1 0 0
/proc/19427/statm: 3390 3015 79 151 0 3236 0
Current children cumulated CPU time (s) 2497.81
Current children cumulated vsize (KiB) 30300

[startup+2522.1 s]
/proc/loadavg: 2.10 2.04 2.01 3/89 19465
/proc/meminfo: memFree=1761908/2055920 swapFree=4175516/4192956
[pid=19404] ppid=19402 vsize=16740 CPUtime=1.3
/proc/19404/stat : 19404 (sugar++) S 19402 19404 18663 0 -1 4194304 1736 20746 0 5 6 2 107 15 15 0 1 0 61369864 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19404/statm: 4185 1115 414 3 0 764 0
[pid=19427] ppid=19404 vsize=13560 CPUtime=2496.55
/proc/19427/stat : 19427 (minisat-inc) S 19404 19404 18663 0 -1 4194304 3081 0 0 0 249649 6 0 0 25 0 1 0 61369963 13885440 3015 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/19427/statm: 3390 3015 79 151 0 3236 0
Current children cumulated CPU time (s) 2497.85
Current children cumulated vsize (KiB) 30300

Child status: 0
Real time (s): 2522.13
CPU time (s): 2498.04
CPU user time (s): 2497.76
CPU system time (s): 0.270958
CPU usage (%): 99.0448
Max. virtual memory (cumulated for all children) (KiB): 30300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2497.76
system time used= 0.270958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29362
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1469
involuntary context switches= 99570

runsolver used 3.08453 second user time and 8.40072 second system time

The end

Launcher Data (download as text)

Begin job on node64 at 2008-07-14 16:45:18
IDJOB=1116307
IDBENCH=61978
IDSOLVER=367
FILE ID=node64/1116307-1216046718
PBS_JOBID= 7904805
Free space on /tmp= 66396 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/randomMaxCSP/sparseTight/normalized-vcsp-25-10-21-85-24_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-1116307-1216046718/watcher-1116307-1216046718 -o /tmp/evaluation-result-1116307-1216046718/solver-1116307-1216046718 -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-1116307-1216046718.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0f56cf3094c7f048d58bba0c0e63009d
RANDOM SEED=143647323

node64.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.266
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.266
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:       1778852 kB
Buffers:         54192 kB
Cached:         133944 kB
SwapCached:       7296 kB
Active:         140548 kB
Inactive:        68288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1778852 kB
SwapTotal:     4192956 kB
SwapFree:      4175516 kB
Dirty:             988 kB
Writeback:           0 kB
Mapped:          35340 kB
Slab:            52260 kB
Committed_AS:   209592 kB
PageTables:       2528 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66392 MiB
End job on node64 at 2008-07-14 17:27:20