Trace number 1128028

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+minisatMSAT (TO) 3600.09 3633.41

General information on the benchmark

Namemaxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-50/
normalized-kbtree-5-2-4-5-50-22_ext.xml
MD5SUM4c00b3c53798f728af93debdff964050
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 benchmark10.1485
Satisfiable
(Un)Satisfiability was proved
Number of variables62
Number of constraints211
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension211
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.05	c 0	Sugar v1-13 + HOME/minisat
0.00/0.05	c 0	BEGIN Wed Jul 23 04:19:00 2008
0.00/0.05	c 0	PID 4836
0.03/0.05	c 0	HOST node74.alineos.net
0.03/0.05	c 0	CONVERTING HOME/instance-1128028-1216779540.xml TO HOME/temp.csp
0.03/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1128028-1216779540.xml' 'HOME/temp.csp'
0.03/0.40	c 0	1 domains, 62 variables, 0 predicates, 211 relations, 211 constraints
0.03/0.42	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.42	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.38/0.50	c 0	Parsing HOME/temp.csp
0.38/0.65	c 0	parsed 485 expressions
0.38/0.66	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.38/0.66	c 0	MAX CSP: 211 constraints
0.38/0.66	c 0	Converting to clausal form CSP
0.38/0.69	c 0	converted 70 (10%) expressions
0.38/0.69	c 0	converted 140 (20%) expressions
0.38/0.69	c 0	converted 210 (30%) expressions
0.38/0.70	c 1	converted 280 (40%) expressions
0.38/0.71	c 1	converted 350 (50%) expressions
0.38/0.72	c 1	converted 420 (60%) expressions
0.38/0.72	c 1	converted 490 (70%) expressions
0.38/0.73	c 1	converted 560 (80%) expressions
0.38/0.74	c 1	converted 630 (90%) expressions
0.38/0.87	c 1	converted 699 (100%) expressions
0.38/0.87	c 1	CSP : 484 integers, 0 booleans, 632 clauses, largest domain size 317
0.38/0.87	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.38/0.87	c 1	Propagation in CSP
0.38/0.90	c 1	206 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.38/0.90	c 1	CSP : 484 integers, 0 booleans, 632 clauses, largest domain size 212
0.38/0.90	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.38/0.90	c 1	Simplifing CSP by introducing new Boolean variables
0.38/0.90	c 1	CSP : 484 integers, 0 booleans, 632 clauses, largest domain size 212
0.38/0.90	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.38/0.93	c 1	Encoding CSP to SAT : HOME/temp.cnf
0.38/0.94	c 1	49 (10%) CSP integer variables are encoded (147 clauses, 1519 bytes)
0.38/0.94	c 1	97 (20%) CSP integer variables are encoded (186 clauses, 1948 bytes)
0.38/0.94	c 1	146 (30%) CSP integer variables are encoded (186 clauses, 1948 bytes)
0.38/0.94	c 1	194 (40%) CSP integer variables are encoded (186 clauses, 1948 bytes)
0.38/0.94	c 1	242 (50%) CSP integer variables are encoded (186 clauses, 1948 bytes)
0.38/0.94	c 1	291 (60%) CSP integer variables are encoded (443 clauses, 4775 bytes)
0.38/0.95	c 1	339 (70%) CSP integer variables are encoded (692 clauses, 7566 bytes)
0.38/0.95	c 1	388 (80%) CSP integer variables are encoded (1030 clauses, 11960 bytes)
0.38/0.95	c 1	436 (90%) CSP integer variables are encoded (1274 clauses, 15132 bytes)
0.38/0.95	c 1	484 (100%) CSP integer variables are encoded (2890 clauses, 36140 bytes)
0.38/0.98	c 1	64 (10%) CSP clauses are encoded (3327 clauses, 43373 bytes)
0.38/1.00	c 1	127 (20%) CSP clauses are encoded (3735 clauses, 50656 bytes)
0.93/1.00	c 1	190 (30%) CSP clauses are encoded (4153 clauses, 58888 bytes)
0.93/1.02	c 1	253 (40%) CSP clauses are encoded (4685 clauses, 67024 bytes)
0.93/1.03	c 1	316 (50%) CSP clauses are encoded (7670 clauses, 111231 bytes)
0.93/1.03	c 1	380 (60%) CSP clauses are encoded (8714 clauses, 128444 bytes)
0.93/1.05	c 1	443 (70%) CSP clauses are encoded (16993 clauses, 272494 bytes)
0.93/1.05	c 1	506 (80%) CSP clauses are encoded (18122 clauses, 291506 bytes)
0.93/1.07	c 1	569 (90%) CSP clauses are encoded (27569 clauses, 453637 bytes)
1.03/1.14	c 1	632 (100%) CSP clauses are encoded (65251 clauses, 1140822 bytes)
1.03/1.14	c 1	632 CSP clauses encoded
1.03/1.14	c 1	Writing map file : HOME/temp.map
1.03/1.14	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.03/1.14	c 1	SAT : 3374 SAT variables, 65251 SAT clauses, 1140822 bytes
1.03/1.14	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.03/1.15	c 1	OBJECTIVE minimize _COST
1.03/1.15	c 1	OBJECTIVE BOUND: 0 <= _COST <= 
1.03/1.15	c 1	SEARCHING: _COST <= 106
1.03/1.15	c 1	SOLVING HOME/temp.cnf
1.03/1.15	c 1	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1.03/1.16	c 1	This is MiniSat 2.0 beta
1.03/1.16	c 1	WARNING: for repeatability, setting FPU to use double precision
1.03/1.16	c 1	============================[ Problem Statistics ]=============================
1.03/1.16	c 1	|                                                                             |
1.03/1.16	c 1	|  Number of variables:  3374                                                 |
1.03/1.16	c 1	|  Number of clauses:    65252                                                |
1.03/1.19	c 1	|  Parsing time:         0.03         s                                       |
1.10/1.20	c 1	============================[ Search Statistics ]==============================
1.10/1.20	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.20	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.10/1.20	c 1	===============================================================================
1.10/1.20	c 1	|         0 |    2534    42697   123142 |    14232        0    nan |  0.000 % |
1.10/1.20	c 1	===============================================================================
1.10/1.21	c 1	restarts              : 1
1.10/1.21	c 1	conflicts             : 17             (425 /sec)
1.10/1.21	c 1	decisions             : 360            (1.11 % random) (9002 /sec)
1.10/1.21	c 1	propagations          : 9366           (234191 /sec)
1.10/1.21	c 1	conflict literals     : 128            (5.88 % deleted)
1.10/1.21	c 1	Memory used           : 4.60 MB
1.10/1.21	c 1	CPU time              : 0.039993 s
1.10/1.21	c 1	
1.10/1.21	c 1	SATISFIABLE
1.10/1.21	c 1	FOUND: _COST <= 106
1.10/1.21	s SATISFIABLE
1.10/1.21	c 1	DECODING HOME/temp.out WITH HOME/temp.map
1.10/1.21	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.10/1.29	c 1	Decoding HOME/temp.out
1.16/1.35	c 1	OBJECTIVE _COST 52
1.16/1.35	o 52
1.16/1.36	v 3 2 1 4 3 1 0 4 1 2 2 4 1 1 4 0 0 4 2 3 1 4 3 0 3 4 1 0 4 4 4 3 3 1 0 1 2 4 2 4 1 4 3 4 4 3 3 3 4 2 3 3 0 3 1 3 3 1 4 0 4 4
1.16/1.36	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.16/1.37	c 1	OBJECTIVE BOUND: 0 <= _COST <= 52
1.16/1.37	c 1	SEARCHING: _COST <= 26
1.16/1.37	c 1	SOLVING HOME/temp.cnf
1.16/1.37	c 1	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1.16/1.37	c 1	This is MiniSat 2.0 beta
1.16/1.37	c 1	WARNING: for repeatability, setting FPU to use double precision
1.16/1.37	c 1	============================[ Problem Statistics ]=============================
1.16/1.37	c 1	|                                                                             |
1.16/1.38	c 1	|  Number of variables:  3374                                                 |
1.16/1.38	c 1	|  Number of clauses:    65252                                                |
1.30/1.41	c 1	|  Parsing time:         0.03         s                                       |
1.30/1.42	c 1	============================[ Search Statistics ]==============================
1.30/1.42	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.30/1.42	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.30/1.42	c 1	===============================================================================
1.30/1.42	c 1	|         0 |    1730    17492    49859 |     5830        0    nan |  0.000 % |
1.30/1.44	c 1	|       103 |    1730    17492    49859 |     6413      103     23 | 48.726 % |
1.30/1.45	c 1	|       255 |    1730    17492    49859 |     7055      255     17 | 48.726 % |
1.30/1.46	c 1	|       482 |    1730    17492    49859 |     7760      482     16 | 48.727 % |
1.30/1.49	c 1	|       819 |    1730    17492    49859 |     8536      819     16 | 48.726 % |
1.30/1.52	c 1	|      1325 |    1730    17492    49859 |     9390     1325     16 | 48.726 % |
1.30/1.59	c 1	|      2084 |    1730    17492    49859 |    10329     2084     16 | 48.726 % |
1.30/1.70	c 2	|      3223 |    1730    17492    49859 |    11362     3223     16 | 48.726 % |
1.30/1.88	c 2	|      4932 |    1730    17492    49859 |    12498     4932     18 | 48.726 % |
2.01/2.17	c 2	|      7494 |    1730    17492    49859 |    13748     7494     19 | 48.726 % |
2.50/2.64	c 2	|     11338 |    1730    17492    49859 |    15123    11338     19 | 48.726 % |
3.29/3.49	c 3	|     17105 |    1730    17492    49859 |    16635    17105     19 | 48.726 % |
4.48/4.65	c 4	|     25755 |    1730    17492    49859 |    18299    16373     18 | 48.726 % |
6.96/7.15	c 7	|     38731 |    1730    17492    49859 |    20129    18984     28 | 48.726 % |
11.22/11.45	c 11	|     58192 |    1730    17492    49859 |    22141    15948     29 | 48.726 % |
13.39/13.68	c 13	===============================================================================
13.39/13.68	c 13	restarts              : 15
13.39/13.68	c 13	conflicts             : 68481          (5628 /sec)
13.39/13.68	c 13	decisions             : 78192          (0.85 % random) (6426 /sec)
13.39/13.68	c 13	propagations          : 15925174       (1308759 /sec)
13.39/13.68	c 13	conflict literals     : 1732045        (30.25 % deleted)
13.39/13.68	c 13	Memory used           : 7.54 MB
13.39/13.68	c 13	CPU time              : 12.1682 s
13.39/13.68	c 13	
13.39/13.68	c 13	SATISFIABLE
13.39/13.68	c 13	FOUND: _COST <= 26
13.39/13.68	c 13	DECODING HOME/temp.out WITH HOME/temp.map
13.39/13.68	c 13	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
13.49/13.77	c 14	Decoding HOME/temp.out
13.49/13.84	c 14	OBJECTIVE _COST 26
13.49/13.84	o 26
13.49/13.84	v 4 4 4 1 4 3 4 4 4 1 1 2 0 3 1 4 2 4 4 2 0 2 3 0 3 1 1 0 4 0 4 3 1 1 4 4 1 4 0 1 3 0 1 4 3 4 1 2 3 2 2 1 2 0 0 3 3 0 3 2 4 1
13.49/13.84	c 14	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
13.49/13.90	c 14	OBJECTIVE BOUND: 0 <= _COST <= 26
13.49/13.90	c 14	SEARCHING: _COST <= 13
13.49/13.90	c 14	SOLVING HOME/temp.cnf
13.49/13.90	c 14	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
13.68/13.90	c 14	This is MiniSat 2.0 beta
13.68/13.90	c 14	WARNING: for repeatability, setting FPU to use double precision
13.68/13.90	c 14	============================[ Problem Statistics ]=============================
13.68/13.90	c 14	|                                                                             |
13.68/13.90	c 14	|  Number of variables:  3374                                                 |
13.68/13.90	c 14	|  Number of clauses:    65252                                                |
13.68/13.94	c 14	|  Parsing time:         0.03         s                                       |
13.68/13.95	c 14	============================[ Search Statistics ]==============================
13.68/13.95	c 14	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.68/13.95	c 14	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
13.68/13.95	c 14	===============================================================================
13.68/13.95	c 14	|         0 |    1480    10853    30679 |     3617        0    nan |  0.000 % |
13.68/13.96	c 14	|       100 |    1480    10853    30679 |     3979      100     19 | 56.135 % |
13.68/13.97	c 14	|       251 |    1480    10853    30679 |     4377      251     15 | 56.135 % |
13.68/13.99	c 14	|       476 |    1480    10853    30679 |     4815      476     14 | 56.135 % |
13.68/14.01	c 14	|       813 |    1480    10853    30679 |     5296      813     15 | 56.136 % |
13.68/14.06	c 14	|      1319 |    1480    10853    30679 |     5826     1319     15 | 56.136 % |
13.68/14.12	c 14	|      2078 |    1480    10853    30679 |     6408     2078     14 | 56.136 % |
13.97/14.23	c 14	|      3219 |    1480    10853    30679 |     7049     3219     14 | 56.136 % |
14.16/14.41	c 14	|      4928 |    1480    10853    30679 |     7754     4928     14 | 56.136 % |
14.36/14.68	c 14	|      7491 |    1480    10853    30679 |     8530     7491     14 | 56.135 % |
14.86/15.19	c 15	|     11335 |    1480    10853    30679 |     9383     5794     15 | 56.135 % |
15.65/15.90	c 16	|     17101 |    1480    10853    30679 |    10321    11560     15 | 56.135 % |
16.84/17.18	c 17	|     25750 |    1480    10853    30679 |    11353     7517     17 | 56.135 % |
18.82/19.19	c 19	|     38724 |    1480    10853    30679 |    12489     6885     17 | 56.135 % |
21.60/21.98	c 22	|     58185 |    1480    10853    30679 |    13738    11534     16 | 56.135 % |
26.25/26.63	c 26	|     87377 |    1480    10853    30679 |    15111     8642     14 | 56.135 % |
33.68/34.18	c 34	|    131166 |    1480    10853    30679 |    16623     8895     18 | 56.135 % |
44.87/45.40	c 45	|    196851 |    1480    10853    30679 |    18285    17925     16 | 56.135 % |
62.60/63.34	c 63	|    295377 |    1480    10853    30679 |    20113    13724     17 | 56.135 % |
89.95/90.96	c 91	|    443167 |    1480    10853    30679 |    22125    16047     18 | 56.135 % |
134.52/135.98	c 136	|    664850 |    1480    10853    30679 |    24337    17889     13 | 56.136 % |
202.18/204.22	c 204	|    997375 |    1479    10838    30628 |    26771    18984     18 | 56.165 % |
313.11/316.28	c 316	|   1496164 |    1479    10838    30628 |    29448    23811     19 | 56.165 % |
484.38/489.18	c 489	|   2244348 |    1479    10838    30628 |    32393    21963     16 | 56.165 % |
763.89/771.30	c 771	|   3366623 |    1479    10838    30628 |    35633    15619     22 | 56.165 % |
1196.46/1208.05	c 1208	|   5050034 |    1477    10798    30484 |    39196    37187     21 | 56.225 % |
1450.23/1464.26	c 1464	===============================================================================
1450.23/1464.26	c 1464	restarts              : 26
1450.23/1464.26	c 1464	conflicts             : 5989113        (4169 /sec)
1450.23/1464.26	c 1464	decisions             : 6821318        (1.02 % random) (4748 /sec)
1450.23/1464.26	c 1464	propagations          : 1356167816     (944031 /sec)
1450.23/1464.26	c 1464	conflict literals     : 116986617      (28.71 % deleted)
1450.23/1464.26	c 1464	Memory used           : 16.58 MB
1450.23/1464.26	c 1464	CPU time              : 1436.57 s
1450.23/1464.26	c 1464	
1450.23/1464.26	c 1464	UNSATISFIABLE
1450.23/1464.26	c 1464	NOT FOUND: _COST <= 13
1450.23/1464.26	c 1464	OBJECTIVE BOUND: 14 <= _COST <= 26
1450.23/1464.26	c 1464	SEARCHING: _COST <= 20
1450.23/1464.26	c 1464	SOLVING HOME/temp.cnf
1450.23/1464.26	c 1464	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1450.23/1464.27	c 1464	This is MiniSat 2.0 beta
1450.23/1464.27	c 1464	WARNING: for repeatability, setting FPU to use double precision
1450.23/1464.27	c 1464	============================[ Problem Statistics ]=============================
1450.23/1464.27	c 1464	|                                                                             |
1450.23/1464.27	c 1464	|  Number of variables:  3374                                                 |
1450.23/1464.27	c 1464	|  Number of clauses:    65252                                                |
1450.30/1464.30	c 1464	|  Parsing time:         0.03         s                                       |
1450.30/1464.32	c 1464	============================[ Search Statistics ]==============================
1450.30/1464.32	c 1464	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1450.30/1464.32	c 1464	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1450.30/1464.32	c 1464	===============================================================================
1450.30/1464.32	c 1464	|         0 |    1616    14219    40376 |     4739        0    nan |  0.000 % |
1450.30/1464.32	c 1464	|       100 |    1616    14219    40376 |     5213      100     19 | 52.104 % |
1450.30/1464.34	c 1464	|       250 |    1616    14219    40376 |     5734      250     17 | 52.104 % |
1450.30/1464.35	c 1464	|       475 |    1616    14219    40376 |     6308      475     19 | 52.104 % |
1450.30/1464.37	c 1464	|       813 |    1616    14219    40376 |     6939      813     19 | 52.105 % |
1450.30/1464.41	c 1464	|      1321 |    1616    14219    40376 |     7633     1321     19 | 52.104 % |
1450.30/1464.48	c 1464	|      2080 |    1616    14219    40376 |     8396     2080     19 | 52.104 % |
1450.30/1464.57	c 1464	|      3219 |    1616    14219    40376 |     9236     3219     20 | 52.104 % |
1450.30/1464.74	c 1465	|      4927 |    1616    14219    40376 |    10159     4927     20 | 52.104 % |
1450.30/1465.02	c 1465	|      7489 |    1616    14219    40376 |    11175     7489     19 | 52.104 % |
1451.42/1465.46	c 1465	|     11333 |    1616    14219    40376 |    12293    11333     19 | 52.104 % |
1452.22/1466.22	c 1466	|     17100 |    1616    14219    40376 |    13522     9892     20 | 52.104 % |
1453.42/1467.46	c 1467	|     25750 |    1616    14219    40376 |    14875    10633     20 | 52.104 % |
1455.31/1469.33	c 1469	|     38726 |    1616    14219    40376 |    16362    15006     21 | 52.104 % |
1458.11/1472.11	c 1472	|     58188 |    1616    14219    40376 |    17998    15819     22 | 52.104 % |
1463.12/1477.18	c 1477	|     87380 |    1616    14219    40376 |    19798    14488     22 | 52.104 % |
1471.21/1485.20	c 1485	|    131169 |    1616    14219    40376 |    21778    13951     20 | 52.104 % |
1483.11/1497.16	c 1497	|    196855 |    1616    14219    40376 |    23956    19378     21 | 52.104 % |
1502.59/1516.68	c 1516	|    295381 |    1616    14219    40376 |    26352    25645     20 | 52.104 % |
1534.37/1548.45	c 1548	|    443173 |    1616    14219    40376 |    28987    20573     22 | 52.104 % |
1584.95/1599.01	c 1599	|    664856 |    1616    14219    40376 |    31886    24262     21 | 52.104 % |
1591.85/1605.97	c 1606	===============================================================================
1591.85/1605.97	c 1606	restarts              : 21
1591.85/1605.97	c 1606	conflicts             : 697700         (4927 /sec)
1591.85/1605.97	c 1606	decisions             : 791898         (0.95 % random) (5592 /sec)
1591.85/1605.97	c 1606	propagations          : 161995367      (1143902 /sec)
1591.85/1605.97	c 1606	conflict literals     : 15817769       (27.62 % deleted)
1591.85/1605.97	c 1606	Memory used           : 11.05 MB
1591.85/1605.97	c 1606	CPU time              : 141.616 s
1591.85/1605.97	c 1606	
1591.85/1605.98	c 1606	SATISFIABLE
1591.85/1605.98	c 1606	FOUND: _COST <= 20
1591.85/1605.98	c 1606	DECODING HOME/temp.out WITH HOME/temp.map
1591.85/1605.98	c 1606	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1591.94/1606.10	c 1606	Decoding HOME/temp.out
1591.94/1606.16	c 1606	OBJECTIVE _COST 20
1591.94/1606.16	o 20
1591.94/1606.16	v 3 2 1 0 3 0 4 2 4 1 2 0 2 4 3 1 1 0 4 2 0 2 3 0 4 4 4 0 0 3 0 3 3 0 0 1 4 0 4 1 3 4 4 3 2 0 1 2 3 2 1 1 0 0 0 3 4 2 3 2 4 1
1591.94/1606.17	c 1606	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1591.94/1606.21	c 1606	OBJECTIVE BOUND: 14 <= _COST <= 20
1591.94/1606.21	c 1606	SEARCHING: _COST <= 17
1591.94/1606.21	c 1606	SOLVING HOME/temp.cnf
1591.94/1606.21	c 1606	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1591.94/1606.21	c 1606	This is MiniSat 2.0 beta
1591.94/1606.21	c 1606	WARNING: for repeatability, setting FPU to use double precision
1591.94/1606.21	c 1606	============================[ Problem Statistics ]=============================
1591.94/1606.21	c 1606	|                                                                             |
1591.94/1606.21	c 1606	|  Number of variables:  3374                                                 |
1591.94/1606.21	c 1606	|  Number of clauses:    65252                                                |
1591.94/1606.24	c 1606	|  Parsing time:         0.03         s                                       |
1591.94/1606.26	c 1606	============================[ Search Statistics ]==============================
1591.94/1606.26	c 1606	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1591.94/1606.26	c 1606	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1591.94/1606.26	c 1606	===============================================================================
1591.94/1606.26	c 1606	|         0 |    1559    12731    36080 |     4243        0    nan |  0.000 % |
1591.94/1606.27	c 1606	|       100 |    1559    12731    36080 |     4668      100     19 | 53.794 % |
1591.94/1606.28	c 1606	|       251 |    1559    12731    36080 |     5134      251     16 | 53.794 % |
1592.09/1606.30	c 1606	|       477 |    1559    12731    36080 |     5648      477     16 | 53.794 % |
1592.09/1606.32	c 1606	|       814 |    1559    12731    36080 |     6213      814     14 | 53.794 % |
1592.09/1606.36	c 1606	|      1321 |    1559    12731    36080 |     6834     1321     15 | 53.794 % |
1592.09/1606.42	c 1606	|      2082 |    1559    12731    36080 |     7517     2082     16 | 53.794 % |
1592.09/1606.52	c 1606	|      3222 |    1559    12731    36080 |     8269     3222     16 | 53.794 % |
1592.09/1606.70	c 1607	|      4930 |    1559    12731    36080 |     9096     4930     16 | 53.794 % |
1592.09/1606.99	c 1607	|      7492 |    1559    12731    36080 |    10006     7492     16 | 53.794 % |
1593.36/1607.50	c 1607	|     11337 |    1559    12731    36080 |    11006    11337     16 | 53.794 % |
1594.05/1608.27	c 1608	|     17103 |    1559    12731    36080 |    12107    10490     19 | 53.794 % |
1595.34/1609.52	c 1609	|     25753 |    1559    12731    36080 |    13318    11858     21 | 53.794 % |
1597.51/1611.79	c 1612	|     38727 |    1559    12731    36080 |    14650     9106     18 | 53.794 % |
1600.49/1614.74	c 1615	|     58189 |    1559    12731    36080 |    16115    11574     16 | 53.794 % |
1605.44/1619.77	c 1620	|     87382 |    1559    12731    36080 |    17726    12999     16 | 53.794 % |
1613.27/1627.65	c 1627	|    131171 |    1559    12731    36080 |    19499    16749     19 | 53.794 % |
1626.83/1641.33	c 1641	|    196855 |    1559    12731    36080 |    21449    16842     21 | 53.794 % |
1649.52/1664.29	c 1664	|    295384 |    1559    12731    36080 |    23594    20061     20 | 53.794 % |
1683.11/1698.15	c 1698	|    443173 |    1559    12731    36080 |    25953    24496     19 | 53.794 % |
1735.70/1751.29	c 1751	|    664856 |    1559    12731    36080 |    28549    26921     21 | 53.794 % |
1820.29/1836.63	c 1836	|    997381 |    1559    12731    36080 |    31404    14463     21 | 53.794 % |
1956.29/1973.99	c 1974	|   1496169 |    1559    12731    36080 |    34544    19189     21 | 53.794 % |
2183.81/2203.69	c 2203	|   2244351 |    1559    12731    36080 |    37999    33233     25 | 53.794 % |
2527.51/2550.64	c 2550	|   3366626 |    1559    12731    36080 |    41798    16393     23 | 53.795 % |
3038.91/3066.97	c 3067	|   5050038 |    1559    12731    36080 |    45978    41347     20 | 53.794 % |
3600.04/3633.41	sh: line 1:  4936 Terminated              HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out' 2>&1
3600.04/3633.41	c ERROR unknown output  in HOME/temp.out
3600.04/3633.41	c 3633	CPU 3599.72 (0.04 0.01 3599.68 0.33)
3600.04/3633.41	c 3633	END Wed Jul 23 05:19:33 2008

Verifier Data (download as text)

OK	20	191
20 unsatisfied constraints, 191 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-1128028-1216779540/watcher-1128028-1216779540 -o /tmp/evaluation-result-1128028-1216779540/solver-1128028-1216779540 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1128028-1216779540.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.00 2.00 2.00 4/74 4836
/proc/meminfo: memFree=1546096/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=12268 CPUtime=0
/proc/4836/stat : 4836 (sugar) R 4834 4836 3879 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 5040760 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 228774869605 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/4836/statm: 3067 316 241 3 0 167 0

[startup+0.0508669 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 4836
/proc/meminfo: memFree=1546096/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=0.03
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 838 0 0 0 3 0 0 0 18 0 1 0 5040760 13926400 792 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.102491 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 4836
/proc/meminfo: memFree=1546096/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=0.03
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 5040760 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301246 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 4836
/proc/meminfo: memFree=1546096/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=0.03
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 5040760 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701327 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 4836
/proc/meminfo: memFree=1546096/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=0.38
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 974 4569 0 1 3 0 32 3 15 0 1 0 5040760 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/4836/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 13600

[startup+1.50148 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4858
/proc/meminfo: memFree=1531544/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1.3
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1179 16390 0 3 4 1 114 11 15 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 13600

[startup+3.10179 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 4872
/proc/meminfo: memFree=1538520/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1.3
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1179 16390 0 3 4 1 114 11 15 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4871] ppid=4836 vsize=5356 CPUtime=0
/proc/4871/stat : 4871 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5040898 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4871/statm: 1339 232 193 169 0 50 0
[pid=4872] ppid=4871 vsize=5104 CPUtime=1.69
/proc/4872/stat : 4872 (minisat) R 4871 4836 3879 0 -1 4194304 1177 0 0 0 169 0 0 0 25 0 1 0 5040898 5226496 1163 996147200 134512640 135127466 4294956256 18446744073709551615 134530739 0 0 4096 3 0 0 0 17 1 0 0
/proc/4872/statm: 1276 1163 75 150 0 1123 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 24060

[startup+6.30142 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 4872
/proc/meminfo: memFree=1536984/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1.3
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1179 16390 0 3 4 1 114 11 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4871] ppid=4836 vsize=5356 CPUtime=0
/proc/4871/stat : 4871 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5040898 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4871/statm: 1339 232 193 169 0 50 0
[pid=4872] ppid=4871 vsize=6132 CPUtime=4.86
/proc/4872/stat : 4872 (minisat) R 4871 4836 3879 0 -1 4194304 1426 0 0 0 486 0 0 0 25 0 1 0 5040898 6279168 1412 996147200 134512640 135127466 4294956256 18446744073709551615 134530736 0 0 4096 3 0 0 0 17 1 0 0
/proc/4872/statm: 1533 1412 75 150 0 1380 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 25088

[startup+12.7027 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 4872
/proc/meminfo: memFree=1535704/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1.3
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1179 16390 0 3 4 1 114 11 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4871] ppid=4836 vsize=5356 CPUtime=0
/proc/4871/stat : 4871 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5040898 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4871/statm: 1339 232 193 169 0 50 0
[pid=4872] ppid=4871 vsize=7320 CPUtime=11.2
/proc/4872/stat : 4872 (minisat) R 4871 4836 3879 0 -1 4194304 1730 0 0 0 1119 1 0 0 25 0 1 0 5040898 7495680 1716 996147200 134512640 135127466 4294956256 18446744073709551615 134530775 0 0 4096 3 0 0 0 17 1 0 0
/proc/4872/statm: 1830 1716 75 150 0 1677 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 26276

[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 4884
/proc/meminfo: memFree=1537816/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=13.68
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1295 22261 0 4 4 1 1347 16 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4883] ppid=4836 vsize=5356 CPUtime=0
/proc/4883/stat : 4883 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5042150 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4883/statm: 1339 232 193 169 0 50 0
[pid=4884] ppid=4883 vsize=5528 CPUtime=11.48
/proc/4884/stat : 4884 (minisat) R 4883 4836 3879 0 -1 4194304 1252 0 0 0 1148 0 0 0 25 0 1 0 5042151 5660672 1238 996147200 134512640 135127466 4294956256 18446744073709551615 134530766 0 0 4096 3 0 0 0 17 1 0 0
/proc/4884/statm: 1382 1238 75 150 0 1229 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 24484

[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 4884
/proc/meminfo: memFree=1536536/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=13.68
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1295 22261 0 4 4 1 1347 16 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4883] ppid=4836 vsize=5356 CPUtime=0
/proc/4883/stat : 4883 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5042150 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4883/statm: 1339 232 193 169 0 50 0
[pid=4884] ppid=4883 vsize=6696 CPUtime=36.84
/proc/4884/stat : 4884 (minisat) R 4883 4836 3879 0 -1 4194304 1541 0 0 0 3683 1 0 0 25 0 1 0 5042151 6856704 1527 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4884/statm: 1674 1527 75 150 0 1521 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 25652

[startup+102.306 s]
/proc/loadavg: 1.95 1.98 1.99 3/84 4922
/proc/meminfo: memFree=1612576/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=13.68
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1295 22261 0 4 4 1 1347 16 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4883] ppid=4836 vsize=5356 CPUtime=0
/proc/4883/stat : 4883 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5042150 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4883/statm: 1339 232 193 169 0 50 0
[pid=4884] ppid=4883 vsize=8032 CPUtime=87.55
/proc/4884/stat : 4884 (minisat) R 4883 4836 3879 0 -1 4194304 1864 0 0 0 8754 1 0 0 25 0 1 0 5042151 8224768 1850 996147200 134512640 135127466 4294956256 18446744073709551615 134530644 0 0 4096 3 0 0 0 17 1 0 0
/proc/4884/statm: 2008 1850 75 150 0 1855 0
Current children cumulated CPU time (s) 101.23
Current children cumulated vsize (KiB) 26988

[startup+162.302 s]
/proc/loadavg: 2.24 2.06 2.02 3/84 4922
/proc/meminfo: memFree=1558496/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=13.68
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1295 22261 0 4 4 1 1347 16 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4883] ppid=4836 vsize=5356 CPUtime=0
/proc/4883/stat : 4883 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5042150 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4883/statm: 1339 232 193 169 0 50 0
[pid=4884] ppid=4883 vsize=9116 CPUtime=146.99
/proc/4884/stat : 4884 (minisat) R 4883 4836 3879 0 -1 4194304 2141 0 0 0 14697 2 0 0 25 0 1 0 5042151 9334784 2127 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4884/statm: 2279 2127 75 150 0 2126 0
Current children cumulated CPU time (s) 160.67
Current children cumulated vsize (KiB) 28072

[startup+222.302 s]
/proc/loadavg: 2.34 2.12 2.04 4/84 4922
/proc/meminfo: memFree=1557472/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=13.68
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1295 22261 0 4 4 1 1347 16 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4883] ppid=4836 vsize=5356 CPUtime=0
/proc/4883/stat : 4883 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5042150 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4883/statm: 1339 232 193 169 0 50 0
[pid=4884] ppid=4883 vsize=9968 CPUtime=206.42
/proc/4884/stat : 4884 (minisat) R 4883 4836 3879 0 -1 4194304 2345 0 0 0 20640 2 0 0 25 0 1 0 5042151 10207232 2331 996147200 134512640 135127466 4294956256 18446744073709551615 134530936 0 0 4096 3 0 0 0 17 1 0 0
/proc/4884/statm: 2492 2331 75 150 0 2339 0
Current children cumulated CPU time (s) 220.1
Current children cumulated vsize (KiB) 28924

[startup+282.301 s]
/proc/loadavg: 2.51 2.20 2.07 3/84 4922
/proc/meminfo: memFree=1556832/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=13.68
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1295 22261 0 4 4 1 1347 16 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4883] ppid=4836 vsize=5356 CPUtime=0
/proc/4883/stat : 4883 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5042150 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4883/statm: 1339 232 193 169 0 50 0
[pid=4884] ppid=4883 vsize=10400 CPUtime=265.86
/proc/4884/stat : 4884 (minisat) R 4883 4836 3879 0 -1 4194304 2450 0 0 0 26584 2 0 0 25 0 1 0 5042151 10649600 2436 996147200 134512640 135127466 4294956256 18446744073709551615 134530837 0 0 4096 3 0 0 0 17 1 0 0
/proc/4884/statm: 2600 2436 75 150 0 2447 0
Current children cumulated CPU time (s) 279.54
Current children cumulated vsize (KiB) 29356


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

[pid=4836] ppid=4834 vsize=13600 CPUtime=1592.09
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1464 33276 0 5 4 1 159178 26 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4935] ppid=4836 vsize=5356 CPUtime=0
/proc/4935/stat : 4935 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5201381 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4935/statm: 1339 232 193 169 0 50 0
[pid=4936] ppid=4935 vsize=19392 CPUtime=1422.45
/proc/4936/stat : 4936 (minisat) R 4935 4836 3879 0 -1 4194304 4586 0 0 0 142241 4 0 0 25 0 1 0 5201382 19857408 4572 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4936/statm: 4848 4572 75 150 0 4695 0
Current children cumulated CPU time (s) 3014.54
Current children cumulated vsize (KiB) 38348

[startup+3102.3 s]
/proc/loadavg: 2.80 2.72 2.62 4/84 4942
/proc/meminfo: memFree=1544992/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1592.09
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1464 33276 0 5 4 1 159178 26 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4935] ppid=4836 vsize=5356 CPUtime=0
/proc/4935/stat : 4935 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5201381 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4935/statm: 1339 232 193 169 0 50 0
[pid=4936] ppid=4935 vsize=20764 CPUtime=1481.89
/proc/4936/stat : 4936 (minisat) R 4935 4836 3879 0 -1 4194304 4893 0 0 0 148184 5 0 0 25 0 1 0 5201382 21262336 4879 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4936/statm: 5191 4879 75 150 0 5038 0
Current children cumulated CPU time (s) 3073.98
Current children cumulated vsize (KiB) 39720

[startup+3162.3 s]
/proc/loadavg: 2.92 2.77 2.64 4/84 4942
/proc/meminfo: memFree=1544288/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1592.09
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1464 33276 0 5 4 1 159178 26 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4935] ppid=4836 vsize=5356 CPUtime=0
/proc/4935/stat : 4935 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5201381 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4935/statm: 1339 232 193 169 0 50 0
[pid=4936] ppid=4935 vsize=21340 CPUtime=1541.32
/proc/4936/stat : 4936 (minisat) R 4935 4836 3879 0 -1 4194304 5047 0 0 0 154127 5 0 0 25 0 1 0 5201382 21852160 5033 996147200 134512640 135127466 4294956256 18446744073709551615 134530834 0 0 4096 3 0 0 0 17 1 0 0
/proc/4936/statm: 5335 5033 75 150 0 5182 0
Current children cumulated CPU time (s) 3133.41
Current children cumulated vsize (KiB) 40296

[startup+3222.3 s]
/proc/loadavg: 2.75 2.75 2.64 4/84 4942
/proc/meminfo: memFree=1544032/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1592.09
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1464 33276 0 5 4 1 159178 26 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4935] ppid=4836 vsize=5356 CPUtime=0
/proc/4935/stat : 4935 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5201381 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4935/statm: 1339 232 193 169 0 50 0
[pid=4936] ppid=4935 vsize=21540 CPUtime=1600.75
/proc/4936/stat : 4936 (minisat) R 4935 4836 3879 0 -1 4194304 5091 0 0 0 160070 5 0 0 25 0 1 0 5201382 22056960 5077 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 1 0 0
/proc/4936/statm: 5385 5077 75 150 0 5232 0
Current children cumulated CPU time (s) 3192.84
Current children cumulated vsize (KiB) 40496

[startup+3282.3 s]
/proc/loadavg: 2.70 2.72 2.64 4/84 4942
/proc/meminfo: memFree=1543520/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1592.09
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1464 33276 0 5 4 1 159178 26 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4935] ppid=4836 vsize=5356 CPUtime=0
/proc/4935/stat : 4935 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5201381 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4935/statm: 1339 232 193 169 0 50 0
[pid=4936] ppid=4935 vsize=22024 CPUtime=1660.18
/proc/4936/stat : 4936 (minisat) R 4935 4836 3879 0 -1 4194304 5215 0 0 0 166013 5 0 0 25 0 1 0 5201382 22552576 5201 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/4936/statm: 5506 5201 75 150 0 5353 0
Current children cumulated CPU time (s) 3252.27
Current children cumulated vsize (KiB) 40980

[startup+3342.3 s]
/proc/loadavg: 2.70 2.72 2.64 3/84 4942
/proc/meminfo: memFree=1543264/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1592.09
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1464 33276 0 5 4 1 159178 26 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4935] ppid=4836 vsize=5356 CPUtime=0
/proc/4935/stat : 4935 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5201381 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4935/statm: 1339 232 193 169 0 50 0
[pid=4936] ppid=4935 vsize=22308 CPUtime=1719.62
/proc/4936/stat : 4936 (minisat) R 4935 4836 3879 0 -1 4194304 5264 0 0 0 171956 6 0 0 25 0 1 0 5201382 22843392 5250 996147200 134512640 135127466 4294956256 18446744073709551615 134530739 0 0 4096 3 0 0 0 17 1 0 0
/proc/4936/statm: 5577 5250 75 150 0 5424 0
Current children cumulated CPU time (s) 3311.71
Current children cumulated vsize (KiB) 41264

[startup+3402.31 s]
/proc/loadavg: 2.85 2.76 2.65 4/84 4942
/proc/meminfo: memFree=1543136/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1592.09
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1464 33276 0 5 4 1 159178 26 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4935] ppid=4836 vsize=5356 CPUtime=0
/proc/4935/stat : 4935 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5201381 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4935/statm: 1339 232 193 169 0 50 0
[pid=4936] ppid=4935 vsize=22472 CPUtime=1779.05
/proc/4936/stat : 4936 (minisat) R 4935 4836 3879 0 -1 4194304 5292 0 0 0 177899 6 0 0 25 0 1 0 5201382 23011328 5278 996147200 134512640 135127466 4294956256 18446744073709551615 134530752 0 0 4096 3 0 0 0 17 1 0 0
/proc/4936/statm: 5618 5278 75 150 0 5465 0
Current children cumulated CPU time (s) 3371.14
Current children cumulated vsize (KiB) 41428

[startup+3462.3 s]
/proc/loadavg: 2.63 2.70 2.64 4/84 4942
/proc/meminfo: memFree=1542944/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1592.09
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1464 33276 0 5 4 1 159178 26 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4935] ppid=4836 vsize=5356 CPUtime=0
/proc/4935/stat : 4935 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5201381 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4935/statm: 1339 232 193 169 0 50 0
[pid=4936] ppid=4935 vsize=22472 CPUtime=1838.48
/proc/4936/stat : 4936 (minisat) R 4935 4836 3879 0 -1 4194304 5314 0 0 0 183842 6 0 0 25 0 1 0 5201382 23011328 5300 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4936/statm: 5618 5300 75 150 0 5465 0
Current children cumulated CPU time (s) 3430.57
Current children cumulated vsize (KiB) 41428

[startup+3522.3 s]
/proc/loadavg: 2.69 2.70 2.64 4/84 4942
/proc/meminfo: memFree=1542880/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1592.09
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1464 33276 0 5 4 1 159178 26 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4935] ppid=4836 vsize=5356 CPUtime=0
/proc/4935/stat : 4935 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5201381 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4935/statm: 1339 232 193 169 0 50 0
[pid=4936] ppid=4935 vsize=22616 CPUtime=1897.91
/proc/4936/stat : 4936 (minisat) R 4935 4836 3879 0 -1 4194304 5336 0 0 0 189785 6 0 0 25 0 1 0 5201382 23158784 5322 996147200 134512640 135127466 4294956256 18446744073709551615 134529452 0 0 4096 3 0 0 0 17 1 0 0
/proc/4936/statm: 5654 5322 75 150 0 5501 0
Current children cumulated CPU time (s) 3490
Current children cumulated vsize (KiB) 41572

[startup+3582.3 s]
/proc/loadavg: 2.64 2.69 2.63 4/84 4942
/proc/meminfo: memFree=1542368/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1592.09
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1464 33276 0 5 4 1 159178 26 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4935] ppid=4836 vsize=5356 CPUtime=0
/proc/4935/stat : 4935 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5201381 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4935/statm: 1339 232 193 169 0 50 0
[pid=4936] ppid=4935 vsize=23068 CPUtime=1957.34
/proc/4936/stat : 4936 (minisat) R 4935 4836 3879 0 -1 4194304 5431 0 0 0 195728 6 0 0 25 0 1 0 5201382 23621632 5417 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4936/statm: 5767 5417 75 150 0 5614 0
Current children cumulated CPU time (s) 3549.43
Current children cumulated vsize (KiB) 42024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3633.4 s]
/proc/loadavg: 2.72 2.69 2.64 3/84 4942
/proc/meminfo: memFree=1542240/2055920 swapFree=4192956/4192956
[pid=4836] ppid=4834 vsize=13600 CPUtime=1592.09
/proc/4836/stat : 4836 (sugar) S 4834 4836 3879 0 -1 4194304 1464 33276 0 5 4 1 159178 26 16 0 1 0 5040760 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4836/statm: 3400 808 374 3 0 500 0
[pid=4935] ppid=4836 vsize=5356 CPUtime=0
/proc/4935/stat : 4935 (sh) S 4836 4836 3879 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 5201381 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4935/statm: 1339 232 193 169 0 50 0
[pid=4936] ppid=4935 vsize=23068 CPUtime=2007.95
/proc/4936/stat : 4936 (minisat) R 4935 4836 3879 0 -1 4194304 5443 0 0 0 200789 6 0 0 25 0 1 0 5201382 23621632 5429 996147200 134512640 135127466 4294956256 18446744073709551615 134527694 0 0 4096 3 0 0 0 17 1 0 0
/proc/4936/statm: 5767 5429 75 150 0 5614 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 42024

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 3633.41
CPU time (s): 3600.09
CPU user time (s): 3599.73
CPU system time (s): 0.358945
CPU usage (%): 99.0829
Max. virtual memory (cumulated for all children) (KiB): 887312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.73
system time used= 0.358945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40537
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2767
involuntary context switches= 81769

runsolver used 6.00209 second user time and 10.5384 second system time

The end

Launcher Data (download as text)

Begin job on node74 at 2008-07-23 04:19:00
IDJOB=1128028
IDBENCH=64555
IDSOLVER=368
FILE ID=node74/1128028-1216779540
PBS_JOBID= 7974106
Free space on /tmp= 103228 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-50/normalized-kbtree-5-2-4-5-50-22_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1128028-1216779540/watcher-1128028-1216779540 -o /tmp/evaluation-result-1128028-1216779540/solver-1128028-1216779540 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1128028-1216779540.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 4c00b3c53798f728af93debdff964050
RANDOM SEED=567147433

node74.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.263
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.263
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:       1546576 kB
Buffers:         29744 kB
Cached:         333512 kB
SwapCached:          0 kB
Active:         394608 kB
Inactive:        69712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1546576 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1308 kB
Writeback:           0 kB
Mapped:         112292 kB
Slab:            30048 kB
Committed_AS:   168740 kB
PageTables:       2016 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= 103240 MiB
End job on node74 at 2008-07-23 05:19:33