Trace number 1125412

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+minisatOPTIMUM 191.015 193.126

General information on the benchmark

Namemaxcsp/celar/subs6/
normalized-scenw-6-sub1_ext.xml
MD5SUM6d433b555f0807d5d4be76b8144711a1
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints22
Best CPU time to get the best result obtained on this benchmark0.25696
Satisfiable
(Un)Satisfiability was proved
Number of variables14
Number of constraints300
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension300
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.05	c 0	Sugar v1-13 + HOME/minisat
0.00/0.05	c 0	BEGIN Wed Jul 16 03:05:01 2008
0.00/0.05	c 0	PID 30680
0.00/0.05	c 0	HOST node71.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1125412-1216170301.xml TO HOME/temp.csp
0.00/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1125412-1216170301.xml' 'HOME/temp.csp'
0.03/0.69	c 1	1 domains, 14 variables, 0 predicates, 80 relations, 300 constraints
0.03/0.73	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.73	c 1	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.67/0.82	c 1	Parsing HOME/temp.csp
1.20/1.40	c 1	parsed 395 expressions
1.30/1.40	c 1	Heap : 5 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.30/1.41	c 1	MAX CSP: 300 constraints
1.30/1.41	c 1	Converting to clausal form CSP
1.30/1.44	c 1	converted 70 (10%) expressions
1.30/1.50	c 1	converted 140 (20%) expressions
1.50/1.61	c 2	converted 210 (30%) expressions
1.50/1.66	c 2	converted 280 (40%) expressions
1.60/1.71	c 2	converted 349 (50%) expressions
1.70/1.83	c 2	converted 419 (60%) expressions
1.70/1.87	c 2	converted 489 (70%) expressions
1.80/1.92	c 2	converted 559 (80%) expressions
1.80/1.98	c 2	converted 629 (90%) expressions
1.99/2.18	c 2	converted 698 (100%) expressions
1.99/2.18	c 2	CSP : 614 integers, 0 booleans, 899 clauses, largest domain size 451
1.99/2.18	c 2	Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.99/2.18	c 2	Propagation in CSP
2.09/2.22	c 2	296 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.09/2.22	c 2	CSP : 614 integers, 0 booleans, 899 clauses, largest domain size 301
2.09/2.22	c 2	Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.09/2.22	c 2	Simplifing CSP by introducing new Boolean variables
2.09/2.22	c 2	CSP : 614 integers, 0 booleans, 899 clauses, largest domain size 301
2.09/2.22	c 2	Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.19/2.33	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.19/2.35	c 2	62 (10%) CSP integer variables are encoded (588 clauses, 6322 bytes)
2.19/2.35	c 2	123 (20%) CSP integer variables are encoded (588 clauses, 6322 bytes)
2.19/2.35	c 2	185 (30%) CSP integer variables are encoded (588 clauses, 6322 bytes)
2.19/2.35	c 2	246 (40%) CSP integer variables are encoded (588 clauses, 6322 bytes)
2.19/2.36	c 2	307 (50%) CSP integer variables are encoded (588 clauses, 6322 bytes)
2.19/2.36	c 2	369 (60%) CSP integer variables are encoded (1098 clauses, 12759 bytes)
2.19/2.36	c 2	430 (70%) CSP integer variables are encoded (3408 clauses, 42789 bytes)
2.19/2.36	c 2	492 (80%) CSP integer variables are encoded (4025 clauses, 50810 bytes)
2.19/2.36	c 2	553 (90%) CSP integer variables are encoded (4368 clauses, 55269 bytes)
2.19/2.37	c 2	614 (100%) CSP integer variables are encoded (4881 clauses, 61938 bytes)
2.39/2.51	c 2	90 (10%) CSP clauses are encoded (8710 clauses, 140099 bytes)
2.49/2.61	c 3	180 (20%) CSP clauses are encoded (12509 clauses, 225150 bytes)
2.58/2.71	c 3	270 (30%) CSP clauses are encoded (16544 clauses, 317856 bytes)
2.58/2.75	c 3	360 (40%) CSP clauses are encoded (18516 clauses, 358078 bytes)
2.68/2.86	c 3	450 (50%) CSP clauses are encoded (67684 clauses, 1240138 bytes)
2.68/2.86	c 3	540 (60%) CSP clauses are encoded (69582 clauses, 1272557 bytes)
2.78/2.95	c 3	630 (70%) CSP clauses are encoded (114442 clauses, 2095265 bytes)
2.78/2.95	c 3	720 (80%) CSP clauses are encoded (116594 clauses, 2132155 bytes)
2.78/2.96	c 3	810 (90%) CSP clauses are encoded (121430 clauses, 2218105 bytes)
2.78/3.00	c 3	899 (100%) CSP clauses are encoded (138916 clauses, 2535013 bytes)
2.78/3.00	c 3	899 CSP clauses encoded
2.88/3.00	c 3	Writing map file : HOME/temp.map
2.88/3.01	c 3	Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.88/3.01	c 3	SAT : 5495 SAT variables, 138916 SAT clauses, 2535013 bytes
2.88/3.01	c 3	Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.88/3.05	c 3	OBJECTIVE minimize _COST
2.88/3.05	c 3	OBJECTIVE BOUND: 0 <= _COST <= 
2.88/3.05	c 3	SEARCHING: _COST <= 150
2.88/3.05	c 3	SOLVING HOME/temp.cnf
2.88/3.05	c 3	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
2.88/3.05	c 3	This is MiniSat 2.0 beta
2.88/3.05	c 3	WARNING: for repeatability, setting FPU to use double precision
2.88/3.05	c 3	============================[ Problem Statistics ]=============================
2.88/3.05	c 3	|                                                                             |
2.88/3.05	c 3	|  Number of variables:  5495                                                 |
2.88/3.05	c 3	|  Number of clauses:    138917                                               |
2.91/3.13	c 3	|  Parsing time:         0.06         s                                       |
2.91/3.15	c 3	============================[ Search Statistics ]==============================
2.91/3.15	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.91/3.15	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.91/3.15	c 3	===============================================================================
2.91/3.15	c 3	|         0 |    4145    93862   291251 |    31287        0    nan |  0.000 % |
2.91/3.18	c 3	===============================================================================
2.91/3.18	c 3	restarts              : 1
2.91/3.18	c 3	conflicts             : 74             (612 /sec)
2.91/3.18	c 3	decisions             : 328            (0.00 % random) (2711 /sec)
2.91/3.18	c 3	propagations          : 30258          (250105 /sec)
2.91/3.18	c 3	conflict literals     : 1646           (19.71 % deleted)
2.91/3.18	c 3	Memory used           : 7.67 MB
2.91/3.18	c 3	CPU time              : 0.120981 s
2.91/3.18	c 3	
2.91/3.19	c 3	SATISFIABLE
2.91/3.19	c 3	FOUND: _COST <= 150
2.91/3.19	s SATISFIABLE
2.91/3.19	c 3	DECODING HOME/temp.out WITH HOME/temp.map
2.91/3.19	c 3	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.06/3.28	c 3	Decoding HOME/temp.out
3.15/3.37	c 3	OBJECTIVE _COST 150
3.15/3.37	o 150
3.15/3.37	v 43 43 43 11 33 36 1 35 41 36 35 35 1 43
3.25/3.40	c 3	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.25/3.41	c 3	OBJECTIVE BOUND: 0 <= _COST <= 150
3.25/3.41	c 3	SEARCHING: _COST <= 75
3.25/3.41	c 3	SOLVING HOME/temp.cnf
3.25/3.41	c 3	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
3.25/3.41	c 3	This is MiniSat 2.0 beta
3.25/3.41	c 3	WARNING: for repeatability, setting FPU to use double precision
3.25/3.41	c 3	============================[ Problem Statistics ]=============================
3.25/3.41	c 3	|                                                                             |
3.25/3.41	c 3	|  Number of variables:  5495                                                 |
3.25/3.41	c 3	|  Number of clauses:    138917                                               |
3.25/3.49	c 3	|  Parsing time:         0.07         s                                       |
3.26/3.52	c 4	============================[ Search Statistics ]==============================
3.26/3.52	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.26/3.52	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.26/3.52	c 4	===============================================================================
3.26/3.52	c 4	|         0 |    3395    66412   211076 |    22137        0    nan |  0.000 % |
3.26/3.55	c 4	|       100 |    3395    66412   211076 |    24351      100     20 | 38.217 % |
3.26/3.58	c 4	|       251 |    3395    66412   211076 |    26786      251     20 | 38.217 % |
3.26/3.60	c 4	===============================================================================
3.26/3.60	c 4	restarts              : 3
3.26/3.60	c 4	conflicts             : 356            (2035 /sec)
3.26/3.60	c 4	decisions             : 718            (0.42 % random) (4103 /sec)
3.26/3.60	c 4	propagations          : 125280         (715996 /sec)
3.26/3.60	c 4	conflict literals     : 7243           (31.01 % deleted)
3.26/3.60	c 4	Memory used           : 7.80 MB
3.26/3.60	c 4	CPU time              : 0.174973 s
3.26/3.60	c 4	
3.26/3.60	c 4	SATISFIABLE
3.26/3.60	c 4	FOUND: _COST <= 75
3.26/3.60	c 4	DECODING HOME/temp.out WITH HOME/temp.map
3.26/3.60	c 4	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.26/3.68	c 4	Decoding HOME/temp.out
3.45/3.76	c 4	OBJECTIVE _COST 75
3.45/3.76	o 75
3.45/3.76	v 3 0 43 8 43 30 8 24 20 43 37 32 36 0
3.45/3.76	c 4	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.45/3.82	c 4	OBJECTIVE BOUND: 0 <= _COST <= 75
3.45/3.82	c 4	SEARCHING: _COST <= 37
3.45/3.82	c 4	SOLVING HOME/temp.cnf
3.45/3.82	c 4	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
3.45/3.82	c 4	This is MiniSat 2.0 beta
3.45/3.82	c 4	WARNING: for repeatability, setting FPU to use double precision
3.45/3.82	c 4	============================[ Problem Statistics ]=============================
3.45/3.82	c 4	|                                                                             |
3.45/3.82	c 4	|  Number of variables:  5495                                                 |
3.45/3.82	c 4	|  Number of clauses:    138917                                               |
3.61/3.90	c 4	|  Parsing time:         0.07         s                                       |
3.61/3.93	c 4	============================[ Search Statistics ]==============================
3.61/3.93	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.61/3.93	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.61/3.93	c 4	===============================================================================
3.61/3.93	c 4	|         0 |    2897    44193   145875 |    14731        0    nan |  0.000 % |
3.61/3.96	c 4	|       101 |    2897    44193   145875 |    16204      101     18 | 47.279 % |
3.61/3.99	c 4	|       253 |    2897    44193   145875 |    17824      253     15 | 47.279 % |
3.61/4.03	c 4	|       478 |    2897    44193   145875 |    19606      478     15 | 47.279 % |
3.61/4.09	c 4	|       820 |    2897    44193   145875 |    21567      820     15 | 47.280 % |
3.61/4.18	c 4	|      1327 |    2897    44193   145875 |    23724     1327     15 | 47.279 % |
4.07/4.33	c 4	|      2088 |    2897    44193   145875 |    26096     2088     15 | 47.279 % |
4.27/4.57	c 5	|      3227 |    2897    44193   145875 |    28706     3227     16 | 47.279 % |
4.67/4.96	c 5	|      4935 |    2897    44193   145875 |    31577     4935     16 | 47.279 % |
5.36/5.61	c 6	|      7498 |    2897    44193   145875 |    34734     7498     17 | 47.279 % |
6.25/6.56	c 7	|     11342 |    2897    44193   145875 |    38208    11342     17 | 47.279 % |
7.94/8.29	c 8	|     17108 |    2897    44193   145875 |    42029    17108     17 | 47.279 % |
11.10/11.42	c 11	|     25761 |    2897    44193   145875 |    46232    25761     17 | 47.279 % |
16.75/17.12	c 17	|     38735 |    2897    44193   145875 |    50855    38735     18 | 47.279 % |
27.45/27.95	c 28	|     58196 |    2897    44193   145875 |    55940    17319     17 | 47.279 % |
39.83/40.46	c 40	|     87389 |    2897    44193   145875 |    61535    46512     20 | 47.279 % |
45.28/45.95	c 46	===============================================================================
45.28/45.95	c 46	restarts              : 16
45.28/45.95	c 46	conflicts             : 96485          (2314 /sec)
45.28/45.95	c 46	decisions             : 123669         (0.92 % random) (2965 /sec)
45.28/45.95	c 46	propagations          : 38521922       (923728 /sec)
45.28/45.95	c 46	conflict literals     : 1837978        (38.13 % deleted)
45.28/45.95	c 46	Memory used           : 12.35 MB
45.28/45.95	c 46	CPU time              : 41.7027 s
45.28/45.95	c 46	
45.28/45.96	c 46	SATISFIABLE
45.28/45.96	c 46	FOUND: _COST <= 37
45.28/45.96	c 46	DECODING HOME/temp.out WITH HOME/temp.map
45.28/45.96	c 46	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
45.36/46.04	c 46	Decoding HOME/temp.out
45.48/46.12	c 46	OBJECTIVE _COST 37
45.48/46.12	o 37
45.48/46.13	v 43 43 37 2 6 25 38 30 25 1 43 2 9 43
45.48/46.13	c 46	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
45.48/46.17	c 46	OBJECTIVE BOUND: 0 <= _COST <= 37
45.48/46.17	c 46	SEARCHING: _COST <= 18
45.48/46.17	c 46	SOLVING HOME/temp.cnf
45.48/46.17	c 46	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
45.48/46.18	c 46	This is MiniSat 2.0 beta
45.48/46.18	c 46	WARNING: for repeatability, setting FPU to use double precision
45.48/46.18	c 46	============================[ Problem Statistics ]=============================
45.48/46.18	c 46	|                                                                             |
45.48/46.18	c 46	|  Number of variables:  5495                                                 |
45.48/46.18	c 46	|  Number of clauses:    138917                                               |
45.51/46.26	c 46	|  Parsing time:         0.07         s                                       |
45.51/46.29	c 46	============================[ Search Statistics ]==============================
45.51/46.30	c 46	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.51/46.30	c 46	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
45.51/46.30	c 46	===============================================================================
45.51/46.30	c 46	|         0 |    2505    30675   106478 |    10225        0    nan |  0.000 % |
45.51/46.32	c 46	|       101 |    2505    30675   106478 |    11247      101     14 | 54.413 % |
45.51/46.35	c 46	|       252 |    2505    30675   106478 |    12372      252     12 | 54.413 % |
45.51/46.39	c 46	|       478 |    2505    30675   106478 |    13609      478     11 | 54.413 % |
45.51/46.44	c 46	|       815 |    2505    30675   106478 |    14970      815     11 | 54.413 % |
45.51/46.53	c 47	|      1321 |    2505    30675   106478 |    16467     1321     11 | 54.413 % |
45.51/46.65	c 47	|      2081 |    2505    30675   106478 |    18114     2081     13 | 54.413 % |
45.51/46.86	c 47	|      3221 |    2505    30675   106478 |    19925     3221     13 | 54.413 % |
46.51/47.20	c 47	|      4930 |    2505    30675   106478 |    21918     4930     13 | 54.413 % |
47.01/47.71	c 48	|      7492 |    2505    30675   106478 |    24110     7492     13 | 54.413 % |
47.90/48.65	c 49	|     11336 |    2505    30675   106478 |    26521    11336     13 | 54.413 % |
49.39/50.14	c 50	|     17103 |    2505    30675   106478 |    29173    17103     12 | 54.413 % |
51.87/52.64	c 53	|     25752 |    2505    30675   106478 |    32090    25752     13 | 54.413 % |
56.43/57.22	c 57	|     38727 |    2499    30411   105376 |    35299     6638     11 | 54.522 % |
60.68/61.55	c 62	|     58188 |    2488    29942   103291 |    38829    18785     15 | 54.723 % |
64.35/65.20	c 65	===============================================================================
64.35/65.20	c 65	restarts              : 15
64.35/65.20	c 65	conflicts             : 69412          (3685 /sec)
64.35/65.20	c 65	decisions             : 89636          (1.09 % random) (4758 /sec)
64.35/65.20	c 65	propagations          : 27497110       (1459651 /sec)
64.35/65.20	c 65	conflict literals     : 925804         (37.51 % deleted)
64.35/65.20	c 65	Memory used           : 8.65 MB
64.35/65.20	c 65	CPU time              : 18.8381 s
64.35/65.20	c 65	
64.35/65.21	c 65	UNSATISFIABLE
64.35/65.21	c 65	NOT FOUND: _COST <= 18
64.35/65.21	c 65	OBJECTIVE BOUND: 19 <= _COST <= 37
64.35/65.21	c 65	SEARCHING: _COST <= 28
64.35/65.21	c 65	SOLVING HOME/temp.cnf
64.35/65.21	c 65	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
64.35/65.21	c 65	This is MiniSat 2.0 beta
64.35/65.21	c 65	WARNING: for repeatability, setting FPU to use double precision
64.35/65.21	c 65	============================[ Problem Statistics ]=============================
64.35/65.21	c 65	|                                                                             |
64.35/65.22	c 65	|  Number of variables:  5495                                                 |
64.35/65.22	c 65	|  Number of clauses:    138917                                               |
64.35/65.29	c 65	|  Parsing time:         0.07         s                                       |
64.37/65.33	c 65	============================[ Search Statistics ]==============================
64.37/65.33	c 65	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
64.37/65.33	c 65	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
64.37/65.33	c 65	===============================================================================
64.37/65.33	c 65	|         0 |    2717    37416   126075 |    12472        0    nan |  0.000 % |
64.37/65.35	c 65	|       100 |    2717    37416   126075 |    13719      100     19 | 50.555 % |
64.37/65.38	c 65	|       251 |    2717    37416   126075 |    15091      251     16 | 50.555 % |
64.37/65.42	c 65	|       476 |    2717    37416   126075 |    16600      476     15 | 50.555 % |
64.37/65.47	c 65	|       813 |    2717    37416   126075 |    18260      813     14 | 50.555 % |
64.37/65.56	c 66	|      1320 |    2717    37416   126075 |    20086     1320     15 | 50.555 % |
64.37/65.71	c 66	|      2079 |    2717    37416   126075 |    22094     2079     14 | 50.555 % |
65.03/65.92	c 66	|      3218 |    2717    37416   126075 |    24304     3218     15 | 50.555 % |
65.43/66.30	c 66	|      4926 |    2717    37416   126075 |    26734     4926     16 | 50.555 % |
65.93/66.88	c 67	|      7489 |    2717    37416   126075 |    29408     7489     14 | 50.555 % |
66.92/67.86	c 68	|     11333 |    2717    37416   126075 |    32349    11333     15 | 50.555 % |
68.50/69.45	c 69	|     17099 |    2717    37416   126075 |    35584    17099     15 | 50.555 % |
70.88/71.88	c 72	|     25748 |    2717    37416   126075 |    39142    25748     16 | 50.555 % |
76.63/77.66	c 78	|     38723 |    2717    37416   126075 |    43056    38723     16 | 50.555 % |
82.77/83.86	c 84	|     58184 |    2717    37416   126075 |    47362    25661     18 | 50.555 % |
94.85/96.01	c 96	|     87377 |    2717    37416   126075 |    52098    17954     17 | 50.555 % |
104.96/106.22	c 106	===============================================================================
104.96/106.22	c 106	restarts              : 16
104.96/106.22	c 106	conflicts             : 114145         (2811 /sec)
104.96/106.22	c 106	decisions             : 148399         (1.04 % random) (3654 /sec)
104.96/106.22	c 106	propagations          : 45633794       (1123713 /sec)
104.96/106.22	c 106	conflict literals     : 1971105        (37.03 % deleted)
104.96/106.22	c 106	Memory used           : 11.06 MB
104.96/106.22	c 106	CPU time              : 40.6098 s
104.96/106.22	c 106	
104.96/106.23	c 106	SATISFIABLE
104.96/106.23	c 106	FOUND: _COST <= 28
104.96/106.23	c 106	DECODING HOME/temp.out WITH HOME/temp.map
104.96/106.23	c 106	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
105.01/106.32	c 106	Decoding HOME/temp.out
105.01/106.42	c 106	OBJECTIVE _COST 28
105.01/106.42	o 28
105.01/106.42	v 43 43 38 2 5 25 38 30 25 5 7 2 10 43
105.01/106.43	c 106	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
105.01/106.45	c 106	OBJECTIVE BOUND: 19 <= _COST <= 28
105.01/106.45	c 106	SEARCHING: _COST <= 23
105.01/106.45	c 106	SOLVING HOME/temp.cnf
105.01/106.45	c 106	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
105.01/106.45	c 106	This is MiniSat 2.0 beta
105.01/106.45	c 106	WARNING: for repeatability, setting FPU to use double precision
105.01/106.45	c 106	============================[ Problem Statistics ]=============================
105.01/106.45	c 106	|                                                                             |
105.01/106.45	c 106	|  Number of variables:  5495                                                 |
105.01/106.45	c 106	|  Number of clauses:    138917                                               |
105.19/106.53	c 107	|  Parsing time:         0.07         s                                       |
105.19/106.57	c 107	============================[ Search Statistics ]==============================
105.19/106.57	c 107	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
105.19/106.57	c 107	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
105.19/106.57	c 107	===============================================================================
105.19/106.57	c 107	|         0 |    2617    34036   116230 |    11345        0    nan |  0.000 % |
105.19/106.59	c 107	|       100 |    2617    34036   116230 |    12479      100     17 | 52.375 % |
105.32/106.63	c 107	|       252 |    2617    34036   116230 |    13727      252     15 | 52.375 % |
105.32/106.66	c 107	|       477 |    2617    34036   116230 |    15100      477     15 | 52.375 % |
105.42/106.72	c 107	|       814 |    2617    34036   116230 |    16610      814     14 | 52.375 % |
105.52/106.81	c 107	|      1320 |    2617    34036   116230 |    18271     1320     13 | 52.375 % |
105.62/106.94	c 107	|      2079 |    2617    34036   116230 |    20098     2079     13 | 52.375 % |
105.82/107.16	c 107	|      3220 |    2617    34036   116230 |    22108     3220     13 | 52.375 % |
106.22/107.52	c 108	|      4928 |    2617    34036   116230 |    24319     4928     13 | 52.375 % |
106.81/108.12	c 108	|      7491 |    2617    34036   116230 |    26751     7491     13 | 52.375 % |
107.69/109.07	c 109	|     11335 |    2617    34036   116230 |    29426    11335     13 | 52.375 % |
109.28/110.60	c 111	|     17101 |    2617    34036   116230 |    32369    17101     13 | 52.375 % |
112.25/113.65	c 114	|     25750 |    2617    34036   116230 |    35606    25750     13 | 52.375 % |
117.51/118.93	c 119	|     38725 |    2617    34036   116230 |    39167    38725     13 | 52.375 % |
118.50/119.95	c 120	===============================================================================
118.50/119.95	c 120	restarts              : 14
118.50/119.95	c 120	conflicts             : 42045          (3148 /sec)
118.50/119.95	c 120	decisions             : 54515          (1.14 % random) (4082 /sec)
118.50/119.95	c 120	propagations          : 17307821       (1295887 /sec)
118.50/119.95	c 120	conflict literals     : 563859         (41.71 % deleted)
118.50/119.95	c 120	Memory used           : 9.07 MB
118.50/119.95	c 120	CPU time              : 13.356 s
118.50/119.95	c 120	
118.50/119.95	c 120	SATISFIABLE
118.50/119.96	c 120	FOUND: _COST <= 23
118.50/119.96	c 120	DECODING HOME/temp.out WITH HOME/temp.map
118.50/119.96	c 120	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
118.57/120.04	c 120	Decoding HOME/temp.out
118.57/120.11	c 120	OBJECTIVE _COST 23
118.57/120.11	o 23
118.57/120.11	v 43 43 38 3 0 25 38 26 26 5 3 3 10 43
118.57/120.12	c 120	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
118.57/120.17	c 120	OBJECTIVE BOUND: 19 <= _COST <= 23
118.57/120.17	c 120	SEARCHING: _COST <= 21
118.57/120.17	c 120	SOLVING HOME/temp.cnf
118.57/120.17	c 120	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
118.57/120.17	c 120	This is MiniSat 2.0 beta
118.57/120.17	c 120	WARNING: for repeatability, setting FPU to use double precision
118.57/120.17	c 120	============================[ Problem Statistics ]=============================
118.57/120.17	c 120	|                                                                             |
118.57/120.17	c 120	|  Number of variables:  5495                                                 |
118.57/120.18	c 120	|  Number of clauses:    138917                                               |
118.73/120.25	c 120	|  Parsing time:         0.07         s                                       |
118.73/120.29	c 120	============================[ Search Statistics ]==============================
118.73/120.29	c 120	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
118.73/120.29	c 120	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
118.73/120.29	c 120	===============================================================================
118.73/120.29	c 120	|         0 |    2577    32761   112523 |    10920        0    nan |  0.000 % |
118.73/120.31	c 120	|       100 |    2577    32761   112523 |    12012      100     15 | 53.103 % |
118.73/120.34	c 120	|       250 |    2577    32761   112523 |    13213      250     12 | 53.103 % |
118.73/120.38	c 120	|       476 |    2577    32761   112523 |    14534      476     12 | 53.103 % |
118.73/120.43	c 120	|       814 |    2577    32761   112523 |    15988      814     12 | 53.103 % |
118.73/120.52	c 121	|      1320 |    2577    32761   112523 |    17587     1320     13 | 53.103 % |
118.73/120.66	c 121	|      2080 |    2577    32761   112523 |    19346     2080     12 | 53.103 % |
118.73/120.86	c 121	|      3220 |    2577    32761   112523 |    21280     3220     13 | 53.103 % |
119.63/121.19	c 121	|      4930 |    2577    32761   112523 |    23408     4930     12 | 53.103 % |
120.23/121.75	c 122	|      7493 |    2577    32761   112523 |    25749     7493     12 | 53.103 % |
121.12/122.67	c 123	|     11337 |    2577    32761   112523 |    28324    11337     12 | 53.103 % |
122.51/124.00	c 124	|     17103 |    2577    32761   112523 |    31156    17103     13 | 53.103 % |
125.18/126.73	c 127	|     25753 |    2577    32761   112523 |    34272    25753     13 | 53.103 % |
129.14/130.79	c 131	|     38727 |    2577    32761   112523 |    37699    13187     16 | 53.103 % |
135.69/137.34	c 137	|     58190 |    2577    32761   112523 |    41469    32650     15 | 53.103 % |
145.99/147.80	c 148	|     87383 |    2577    32761   112523 |    45616    30462     14 | 53.103 % |
161.75/163.65	c 164	|    131174 |    2544    31201   105620 |    50178     8743     11 | 53.703 % |
180.66/182.79	c 183	===============================================================================
180.66/182.79	c 183	restarts              : 17
180.66/182.79	c 183	conflicts             : 179574         (2896 /sec)
180.66/182.79	c 183	decisions             : 228997         (1.07 % random) (3693 /sec)
180.66/182.80	c 183	propagations          : 69291994       (1117602 /sec)
180.66/182.80	c 183	conflict literals     : 2777465        (35.97 % deleted)
180.66/182.80	c 183	Memory used           : 12.03 MB
180.66/182.80	c 183	CPU time              : 62.0006 s
180.66/182.80	c 183	
180.66/182.80	c 183	UNSATISFIABLE
180.77/182.80	c 183	NOT FOUND: _COST <= 21
180.77/182.80	c 183	OBJECTIVE BOUND: 22 <= _COST <= 23
180.77/182.80	c 183	SEARCHING: _COST <= 22
180.77/182.80	c 183	SOLVING HOME/temp.cnf
180.77/182.80	c 183	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
180.77/182.81	c 183	This is MiniSat 2.0 beta
180.77/182.81	c 183	WARNING: for repeatability, setting FPU to use double precision
180.77/182.81	c 183	============================[ Problem Statistics ]=============================
180.77/182.81	c 183	|                                                                             |
180.77/182.81	c 183	|  Number of variables:  5495                                                 |
180.77/182.81	c 183	|  Number of clauses:    138917                                               |
180.77/182.88	c 183	|  Parsing time:         0.07         s                                       |
180.78/182.92	c 183	============================[ Search Statistics ]==============================
180.78/182.92	c 183	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.78/182.92	c 183	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
180.78/182.92	c 183	===============================================================================
180.78/182.92	c 183	|         0 |    2597    33393   114360 |    11131        0    nan |  0.000 % |
180.78/182.95	c 183	|       100 |    2597    33393   114360 |    12244      100     16 | 52.739 % |
180.78/182.97	c 183	|       250 |    2597    33393   114360 |    13468      250     13 | 52.739 % |
180.78/183.01	c 183	|       475 |    2597    33393   114360 |    14815      475     13 | 52.739 % |
180.78/183.07	c 183	|       813 |    2597    33393   114360 |    16296      813     12 | 52.739 % |
180.79/183.16	c 183	|      1319 |    2597    33393   114360 |    17926     1319     12 | 52.739 % |
180.79/183.29	c 183	|      2078 |    2597    33393   114360 |    19719     2078     12 | 52.739 % |
180.79/183.49	c 183	|      3218 |    2597    33393   114360 |    21691     3218     12 | 52.739 % |
181.75/183.86	c 184	|      4927 |    2597    33393   114360 |    23860     4927     13 | 52.739 % |
182.35/184.44	c 184	|      7489 |    2597    33393   114360 |    26246     7489     13 | 52.739 % |
183.34/185.43	c 185	|     11335 |    2597    33393   114360 |    28870    11335     12 | 52.739 % |
184.93/187.09	c 187	|     17101 |    2597    33393   114360 |    31758    17101     13 | 52.739 % |
187.30/189.48	c 189	|     25750 |    2597    33393   114360 |    34933    25750     14 | 52.739 % |
190.67/192.90	c 193	===============================================================================
190.67/192.90	c 193	restarts              : 13
190.77/192.90	c 193	conflicts             : 35832          (3588 /sec)
190.77/192.90	c 193	decisions             : 45943          (1.11 % random) (4601 /sec)
190.77/192.90	c 193	propagations          : 14563016       (1458419 /sec)
190.77/192.90	c 193	conflict literals     : 527088         (36.58 % deleted)
190.77/192.90	c 193	Memory used           : 8.75 MB
190.77/192.90	c 193	CPU time              : 9.98548 s
190.77/192.90	c 193	
190.77/192.90	c 193	SATISFIABLE
190.77/192.90	c 193	FOUND: _COST <= 22
190.77/192.90	c 193	DECODING HOME/temp.out WITH HOME/temp.map
190.77/192.90	c 193	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
190.77/192.99	c 193	Decoding HOME/temp.out
190.79/193.08	c 193	OBJECTIVE _COST 22
190.79/193.08	o 22
190.79/193.08	v 43 43 38 5 4 25 38 26 26 4 0 0 10 43
190.79/193.08	c 193	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
190.79/193.12	c 193	OBJECTIVE _COST 22
190.79/193.12	s OPTIMUM FOUND
190.79/193.12	c 193	CPU 190.53 (0.05 0.02 190.48 0.45)
190.79/193.12	c 193	END Wed Jul 16 03:08:14 2008

Verifier Data (download as text)

OK	22	278
22 unsatisfied constraints, 278 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-1125412-1216170301/watcher-1125412-1216170301 -o /tmp/evaluation-result-1125412-1216170301/solver-1125412-1216170301 -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-1125412-1216170301.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.02 2.02 2.00 4/79 30680
/proc/meminfo: memFree=1615464/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=4708 CPUtime=0
/proc/30680/stat : 30680 (sugar) R 30678 30680 28541 0 -1 4194304 55 0 0 0 0 0 0 0 22 0 1 0 73727899 4820992 40 996147200 4194304 4206940 548682068592 18446744073709551615 231959754796 0 0 4096 0 0 0 0 17 1 0 0
/proc/30680/statm: 1177 40 31 3 0 8 0

[startup+0.0949019 s]
/proc/loadavg: 2.02 2.02 2.00 4/79 30680
/proc/meminfo: memFree=1615464/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13600 CPUtime=0.03
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 73727899 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.102133 s]
/proc/loadavg: 2.02 2.02 2.00 4/79 30680
/proc/meminfo: memFree=1615464/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13600 CPUtime=0.03
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 73727899 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301159 s]
/proc/loadavg: 2.02 2.02 2.00 4/79 30680
/proc/meminfo: memFree=1615464/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13600 CPUtime=0.03
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 73727899 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.702213 s]
/proc/loadavg: 2.02 2.02 2.00 4/79 30680
/proc/meminfo: memFree=1615464/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13600 CPUtime=0.03
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 916 127 0 0 3 0 0 0 16 0 1 0 73727899 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+1.50232 s]
/proc/loadavg: 2.02 2.02 2.00 4/90 30702
/proc/meminfo: memFree=1607568/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13600 CPUtime=0.67
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 974 4681 0 1 3 0 61 3 15 0 1 0 73727899 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3400 797 370 3 0 500 0
[pid=30693] ppid=30680 vsize=5356 CPUtime=0
/proc/30693/stat : 30693 (sh) S 30680 30680 28541 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73727973 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30693/statm: 1339 233 193 169 0 50 0
[pid=30694] ppid=30693 vsize=864196 CPUtime=0.73
/proc/30694/stat : 30694 (java) S 30693 30680 28541 0 -1 0 6604 0 1 0 70 3 0 0 18 0 9 0 73727973 884936704 5883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30694/statm: 216049 5883 2542 9 0 210624 0
[pid=30694/tid=30695] ppid=30693 vsize=864196 CPUtime=0.53
/proc/30694/task/30695/stat : 30695 (java) R 30693 30680 28541 0 -1 64 2590 0 1 0 52 1 0 0 22 0 9 0 73727974 884936704 5883 996147200 134512640 134550740 4294955936 18446744073709551615 4126553944 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30694/tid=30696] ppid=30693 vsize=864196 CPUtime=0.11
/proc/30694/task/30696/stat : 30696 (java) S 30693 30680 28541 0 -1 64 2992 0 0 0 10 1 0 0 16 0 9 0 73727976 884936704 5883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30694/tid=30697] ppid=30693 vsize=864196 CPUtime=0
/proc/30694/task/30697/stat : 30697 (java) S 30693 30680 28541 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73727976 884936704 5883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30694/tid=30698] ppid=30693 vsize=864196 CPUtime=0
/proc/30694/task/30698/stat : 30698 (java) S 30693 30680 28541 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73727976 884936704 5883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30694/tid=30699] ppid=30693 vsize=864196 CPUtime=0
/proc/30694/task/30699/stat : 30699 (java) S 30693 30680 28541 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 73727978 884936704 5883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30694/tid=30700] ppid=30693 vsize=864196 CPUtime=0.06
/proc/30694/task/30700/stat : 30700 (java) S 30693 30680 28541 0 -1 64 326 0 0 0 6 0 0 0 16 0 9 0 73727978 884936704 5883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30694/tid=30701] ppid=30693 vsize=864196 CPUtime=0
/proc/30694/task/30701/stat : 30701 (java) S 30693 30680 28541 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 73727978 884936704 5883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30694/tid=30702] ppid=30693 vsize=864196 CPUtime=0
/proc/30694/task/30702/stat : 30702 (java) S 30693 30680 28541 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 73727978 884936704 5883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 883152

[startup+3.10155 s]
/proc/loadavg: 2.02 2.02 2.00 4/90 30702
/proc/meminfo: memFree=1584848/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=2.91
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1063 16244 0 2 3 1 275 12 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 13728

[startup+6.30199 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 30728
/proc/meminfo: memFree=1602960/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=3.61
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1299 28037 0 4 3 1 336 21 15 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30727] ppid=30680 vsize=5356 CPUtime=0
/proc/30727/stat : 30727 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73728281 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30727/statm: 1339 232 193 169 0 50 0
[pid=30728] ppid=30727 vsize=7988 CPUtime=2.45
/proc/30728/stat : 30728 (minisat) R 30727 30680 28541 0 -1 4194304 1851 0 0 0 244 1 0 0 25 0 1 0 73728282 8179712 1837 996147200 134512640 135127466 4294956256 18446744073709551615 134530679 0 0 4096 3 0 0 0 17 1 0 0
/proc/30728/statm: 1997 1837 75 150 0 1844 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 27072

[startup+12.7019 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 30728
/proc/meminfo: memFree=1602128/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=3.61
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1299 28037 0 4 3 1 336 21 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30727] ppid=30680 vsize=5356 CPUtime=0
/proc/30727/stat : 30727 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73728281 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30727/statm: 1339 232 193 169 0 50 0
[pid=30728] ppid=30727 vsize=8956 CPUtime=8.78
/proc/30728/stat : 30728 (minisat) R 30727 30680 28541 0 -1 4194304 2055 0 0 0 877 1 0 0 25 0 1 0 73728282 9170944 2041 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/30728/statm: 2239 2041 75 150 0 2086 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 28040

[startup+25.5026 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 30728
/proc/meminfo: memFree=1599504/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=3.61
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1299 28037 0 4 3 1 336 21 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30727] ppid=30680 vsize=5356 CPUtime=0
/proc/30727/stat : 30727 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73728281 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30727/statm: 1339 232 193 169 0 50 0
[pid=30728] ppid=30727 vsize=11560 CPUtime=21.46
/proc/30728/stat : 30728 (minisat) R 30727 30680 28541 0 -1 4194304 2708 0 0 0 2144 2 0 0 25 0 1 0 73728282 11837440 2694 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 1 0 0
/proc/30728/statm: 2890 2694 75 150 0 2737 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 30644

[startup+51.1021 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 30740
/proc/meminfo: memFree=1602768/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=45.51
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1414 35085 0 5 4 1 4520 26 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30739] ppid=30680 vsize=5356 CPUtime=0
/proc/30739/stat : 30739 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73732517 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30739/statm: 1339 232 193 169 0 50 0
[pid=30740] ppid=30739 vsize=8316 CPUtime=4.87
/proc/30740/stat : 30740 (minisat) R 30739 30680 28541 0 -1 4194304 1899 0 0 0 486 1 0 0 25 0 1 0 73732517 8515584 1885 996147200 134512640 135127466 4294956256 18446744073709551615 134530762 0 0 4096 3 0 0 0 17 1 0 0
/proc/30740/statm: 2079 1885 75 150 0 1926 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 27400

[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 30742
/proc/meminfo: memFree=1599696/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=64.37
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1468 37424 0 5 4 1 6404 28 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30741] ppid=30680 vsize=5356 CPUtime=0
/proc/30741/stat : 30741 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73734420 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30741/statm: 1339 232 193 169 0 50 0
[pid=30742] ppid=30741 vsize=11176 CPUtime=36.72
/proc/30742/stat : 30742 (minisat) R 30741 30680 28541 0 -1 4194304 2630 0 0 0 3671 1 0 0 25 0 1 0 73734421 11444224 2616 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/30742/statm: 2794 2616 75 150 0 2641 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 30260

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 30766
/proc/meminfo: memFree=1599888/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=118.74
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1697 50364 0 7 4 2 11832 36 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30765] ppid=30680 vsize=5356 CPUtime=0
/proc/30765/stat : 30765 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73739917 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30765/statm: 1339 232 193 169 0 50 0
[pid=30766] ppid=30765 vsize=10852 CPUtime=41.72
/proc/30766/stat : 30766 (minisat) R 30765 30680 28541 0 -1 4194304 2543 0 0 0 4170 2 0 0 25 0 1 0 73739917 11112448 2529 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/30766/statm: 2713 2529 75 150 0 2560 0
Current children cumulated CPU time (s) 160.46
Current children cumulated vsize (KiB) 29936

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

[startup+179.103 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 30766
/proc/meminfo: memFree=1599056/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=118.74
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1697 50364 0 7 4 2 11832 36 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30765] ppid=30680 vsize=5356 CPUtime=0
/proc/30765/stat : 30765 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73739917 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30765/statm: 1339 232 193 169 0 50 0
[pid=30766] ppid=30765 vsize=11868 CPUtime=58.36
/proc/30766/stat : 30766 (minisat) R 30765 30680 28541 0 -1 4194304 2774 0 0 0 5834 2 0 0 25 0 1 0 73739917 12152832 2760 996147200 134512640 135127466 4294956256 18446744073709551615 134530644 0 0 4096 3 0 0 0 17 1 0 0
/proc/30766/statm: 2967 2760 75 150 0 2814 0
Current children cumulated CPU time (s) 177.1
Current children cumulated vsize (KiB) 30952

[startup+185.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 30768
/proc/meminfo: memFree=1602640/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=180.79
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1752 53541 0 7 5 2 18032 40 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30767] ppid=30680 vsize=5356 CPUtime=0
/proc/30767/stat : 30767 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73746180 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30767/statm: 1339 232 193 169 0 50 0
[pid=30768] ppid=30767 vsize=7984 CPUtime=2.65
/proc/30768/stat : 30768 (minisat) R 30767 30680 28541 0 -1 4194304 1849 0 0 0 265 0 0 0 25 0 1 0 73746180 8175616 1835 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/30768/statm: 1996 1835 75 150 0 1843 0
Current children cumulated CPU time (s) 183.44
Current children cumulated vsize (KiB) 27068

[startup+188.703 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 30768
/proc/meminfo: memFree=1602512/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=180.79
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1752 53541 0 7 5 2 18032 40 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30767] ppid=30680 vsize=5356 CPUtime=0
/proc/30767/stat : 30767 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73746180 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30767/statm: 1339 232 193 169 0 50 0
[pid=30768] ppid=30767 vsize=8116 CPUtime=5.83
/proc/30768/stat : 30768 (minisat) R 30767 30680 28541 0 -1 4194304 1883 0 0 0 583 0 0 0 25 0 1 0 73746180 8310784 1869 996147200 134512640 135127466 4294956256 18446744073709551615 134527053 0 0 4096 3 0 0 0 17 1 0 0
/proc/30768/statm: 2029 1869 75 150 0 1876 0
Current children cumulated CPU time (s) 186.62
Current children cumulated vsize (KiB) 27200

[startup+190.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 30768
/proc/meminfo: memFree=1602384/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=180.79
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1752 53541 0 7 5 2 18032 40 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30767] ppid=30680 vsize=5356 CPUtime=0
/proc/30767/stat : 30767 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73746180 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30767/statm: 1339 232 193 169 0 50 0
[pid=30768] ppid=30767 vsize=8428 CPUtime=7.41
/proc/30768/stat : 30768 (minisat) R 30767 30680 28541 0 -1 4194304 1920 0 0 0 741 0 0 0 25 0 1 0 73746180 8630272 1906 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 1 0 0
/proc/30768/statm: 2107 1906 75 150 0 1954 0
Current children cumulated CPU time (s) 188.2
Current children cumulated vsize (KiB) 27512

[startup+191.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 30768
/proc/meminfo: memFree=1602320/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=180.79
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1752 53541 0 7 5 2 18032 40 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30767] ppid=30680 vsize=5356 CPUtime=0
/proc/30767/stat : 30767 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73746180 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30767/statm: 1339 232 193 169 0 50 0
[pid=30768] ppid=30767 vsize=8560 CPUtime=8.99
/proc/30768/stat : 30768 (minisat) R 30767 30680 28541 0 -1 4194304 1971 0 0 0 899 0 0 0 25 0 1 0 73746180 8765440 1957 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/30768/statm: 2140 1957 75 150 0 1987 0
Current children cumulated CPU time (s) 189.78
Current children cumulated vsize (KiB) 27644

[startup+192.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 30768
/proc/meminfo: memFree=1602000/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=180.79
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1752 53541 0 7 5 2 18032 40 16 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
[pid=30767] ppid=30680 vsize=5356 CPUtime=0
/proc/30767/stat : 30767 (sh) S 30680 30680 28541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 73746180 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30767/statm: 1339 232 193 169 0 50 0
[pid=30768] ppid=30767 vsize=8824 CPUtime=9.78
/proc/30768/stat : 30768 (minisat) R 30767 30680 28541 0 -1 4194304 2040 0 0 0 978 0 0 0 25 0 1 0 73746180 9035776 2026 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/30768/statm: 2206 2026 75 150 0 2053 0
Current children cumulated CPU time (s) 190.57
Current children cumulated vsize (KiB) 27908

[startup+193.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 30768
/proc/meminfo: memFree=1602000/2055920 swapFree=4176684/4192956
[pid=30680] ppid=30678 vsize=13728 CPUtime=190.79
/proc/30680/stat : 30680 (sugar) S 30678 30680 28541 0 -1 4194304 1815 55893 0 7 5 2 19031 41 15 0 1 0 73727899 14057472 811 996147200 4194304 4206940 548682068592 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30680/statm: 3432 811 374 3 0 532 0
Current children cumulated CPU time (s) 190.79
Current children cumulated vsize (KiB) 13728

Child status: 0
Real time (s): 193.126
CPU time (s): 191.015
CPU user time (s): 190.538
CPU system time (s): 0.476927
CPU usage (%): 98.9068
Max. virtual memory (cumulated for all children) (KiB): 887464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 190.538
system time used= 0.476927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61540
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3607
involuntary context switches= 7428

runsolver used 0.219966 second user time and 0.690894 second system time

The end

Launcher Data (download as text)

Begin job on node71 at 2008-07-16 03:05:01
IDJOB=1125412
IDBENCH=63116
IDSOLVER=368
FILE ID=node71/1125412-1216170301
PBS_JOBID= 7905639
Free space on /tmp= 66520 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/celar/subs6/normalized-scenw-6-sub1_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-1125412-1216170301/watcher-1125412-1216170301 -o /tmp/evaluation-result-1125412-1216170301/solver-1125412-1216170301 -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-1125412-1216170301.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 6d433b555f0807d5d4be76b8144711a1
RANDOM SEED=394561974

node71.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.225
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.225
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:       1615944 kB
Buffers:         76880 kB
Cached:         193248 kB
SwapCached:       5680 kB
Active:         318012 kB
Inactive:        56432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1615944 kB
SwapTotal:     4192956 kB
SwapFree:      4176684 kB
Dirty:            1552 kB
Writeback:           0 kB
Mapped:         111520 kB
Slab:            49904 kB
Committed_AS:   403616 kB
PageTables:       2624 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66520 MiB
End job on node71 at 2008-07-16 03:08:14