Trace number 1115163

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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar++ v1.13+minisat-incOPTIMUM1 1214.03 1258.55

General information on the benchmark

Namecsp/tightness0.8/
normalized-rand-2-40-80-103-800-94_ext.xml
MD5SUMff582e16aee3eb55b2d45d7d6abdcec0
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark1214.03
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints103
Maximum constraint arity2
Maximum domain size80
Number of constraints which are defined in extension103
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.09	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.09	c 0	BEGIN Sun Jul 13 04:22:16 2008
0.00/0.09	c 0	PID 20924
0.06/0.09	c 0	HOST node49.alineos.net
0.06/0.09	c 0	CONVERTING HOME/instance-1115163-1215915735.xml TO HOME/temp.csp
0.06/0.09	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1115163-1215915735.xml' 'HOME/temp.csp'
0.06/0.76	c 0	1 domains, 40 variables, 0 predicates, 103 relations, 103 constraints
0.06/0.81	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.81	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.67/1.09	c 1	Parsing HOME/temp.csp
1.51/1.94	c 1	parsed 247 expressions
1.51/1.97	c 1	Heap : 13 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.51/1.97	c 2	MAX CSP: 103 constraints
1.51/1.97	c 2	Converting to clausal form CSP
1.51/1.99	c 2	converted 36 (10%) expressions
1.58/2.01	c 2	converted 71 (20%) expressions
1.58/2.01	c 2	converted 106 (30%) expressions
1.58/2.03	c 2	converted 142 (40%) expressions
1.58/2.09	c 2	converted 177 (50%) expressions
1.70/2.15	c 2	converted 212 (60%) expressions
1.88/2.35	c 2	converted 248 (70%) expressions
1.98/2.42	c 2	converted 283 (80%) expressions
1.98/2.49	c 2	converted 318 (90%) expressions
2.17/2.60	c 2	converted 353 (100%) expressions
2.17/2.60	c 2	CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 155
2.17/2.60	c 2	Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.17/2.60	c 2	Propagation in CSP
2.17/2.62	c 2	98 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.17/2.62	c 2	CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 104
2.17/2.62	c 2	Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.17/2.62	c 2	Simplifing CSP by introducing new Boolean variables
2.17/2.62	c 2	CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 104
2.17/2.62	c 2	Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.26/2.71	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.26/2.74	c 2	25 (10%) CSP integer variables are encoded (1950 clauses, 23229 bytes)
2.26/2.75	c 2	50 (20%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.26/2.75	c 2	74 (30%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.26/2.75	c 2	99 (40%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.26/2.75	c 2	123 (50%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.26/2.75	c 2	148 (60%) CSP integer variables are encoded (3228 clauses, 39843 bytes)
2.26/2.75	c 2	173 (70%) CSP integer variables are encoded (3327 clauses, 41130 bytes)
2.26/2.75	c 2	197 (80%) CSP integer variables are encoded (3473 clauses, 43028 bytes)
2.26/2.75	c 2	222 (90%) CSP integer variables are encoded (3572 clauses, 44315 bytes)
2.26/2.75	c 2	246 (100%) CSP integer variables are encoded (4234 clauses, 52921 bytes)
2.54/3.07	c 3	31 (10%) CSP clauses are encoded (36528 clauses, 901067 bytes)
2.81/3.34	c 3	62 (20%) CSP clauses are encoded (68762 clauses, 1770051 bytes)
3.08/3.62	c 3	93 (30%) CSP clauses are encoded (101172 clauses, 2713577 bytes)
3.17/3.71	c 3	124 (40%) CSP clauses are encoded (111644 clauses, 3017578 bytes)
3.17/3.72	c 3	154 (50%) CSP clauses are encoded (112416 clauses, 3030844 bytes)
3.17/3.73	c 3	185 (60%) CSP clauses are encoded (112701 clauses, 3035478 bytes)
3.17/3.73	c 3	216 (70%) CSP clauses are encoded (114830 clauses, 3073402 bytes)
3.17/3.73	c 3	247 (80%) CSP clauses are encoded (115125 clauses, 3078199 bytes)
3.17/3.74	c 3	278 (90%) CSP clauses are encoded (115864 clauses, 3090896 bytes)
3.24/3.80	c 3	308 (100%) CSP clauses are encoded (126953 clauses, 3288256 bytes)
3.24/3.80	c 3	308 CSP clauses encoded
3.24/3.80	c 3	Writing map file : HOME/temp.map
3.24/3.80	c 3	Heap : 13 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.24/3.80	c 3	SAT : 4480 SAT variables, 126953 SAT clauses, 3288256 bytes
3.24/3.80	c 3	Heap : 13 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.24/3.89	c 3	OBJECTIVE minimize _COST
3.24/3.89	c 3	SOLVING HOME/temp.cnf
3.24/3.89	c 3	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
3.24/3.89	c 3	This is MiniSat 2.0 beta incremental
3.24/3.89	c 3	WARNING: for repeatability, setting FPU to use double precision
3.24/3.89	c 3	============================[ Problem Statistics ]=============================
3.24/3.89	c 3	|                                                                             |
3.24/3.89	c 3	|  Number of variables:  4480                                                 |
3.24/3.89	c 3	|  Number of clauses:    126953                                               |
3.27/3.97	c 4	|  Parsing time:         0.07         s                                       |
3.27/3.97	c 4	OK
3.27/3.97	c 4	OBJECTIVE BOUND: 0 <= _COST <= 
3.27/3.97	c 4	SEARCHING: _COST <= 52
3.27/3.97	c 4	============================[ Search Statistics ]==============================
3.27/3.97	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.27/3.97	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.27/3.97	c 4	===============================================================================
3.27/3.97	c 4	|         0 |    4480   126953   573161 |    42317        0    nan |  0.000 % |
3.27/4.03	c 4	|       103 |    4480   126953   573161 |    46549      103     27 |  0.002 % |
3.27/4.05	c 4	===============================================================================
3.27/4.05	c 4	restarts              : 2
3.27/4.05	c 4	conflicts             : 119           (875 /sec)
3.27/4.05	c 4	decisions             : 502           (1.20 % random) (3692 /sec)
3.27/4.05	c 4	propagations          : 31221          (229602 /sec)
3.27/4.05	c 4	conflict literals     : 3099           (23.65 % deleted)
3.27/4.05	c 4	Memory used           : 8.25 MB
3.27/4.05	c 4	CPU time              : 0.135979 s
3.27/4.05	c 4	
3.27/4.05	c 4	SATISFIABLE
3.27/4.05	c 4	OK
3.27/4.05	c 4	FOUND: _COST <= 52
3.27/4.05	s SATISFIABLE
3.27/4.05	c 4	DECODING HOME/temp.out WITH HOME/temp.map
3.27/4.05	c 4	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.27/4.14	c 4	Decoding HOME/temp.out
3.27/4.21	c 4	OBJECTIVE _COST 52
3.27/4.21	o 52
3.27/4.21	v 63 79 72 79 69 79 35 57 74 76 73 79 69 79 39 69 79 79 78 79 79 79 2 70 75 78 78 79 79 31 79 79 27 12 53 13 79 62 79 79
3.27/4.21	c 4	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.27/4.27	c 4	OK
3.27/4.27	c 4	OBJECTIVE BOUND: 0 <= _COST <= 52
3.27/4.27	c 4	SEARCHING: _COST <= 26
3.27/4.28	c 4	============================[ Search Statistics ]==============================
3.27/4.28	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.27/4.28	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.27/4.28	c 4	===============================================================================
3.27/4.28	c 4	|       119 |    4480   126953   573161 |    42317      119     26 |  0.002 % |
3.61/4.33	c 4	|       219 |    4480   126953   573161 |    46549      219     24 |  7.970 % |
3.61/4.34	c 4	===============================================================================
3.61/4.34	c 4	restarts              : 4
3.61/4.34	c 4	conflicts             : 282           (1417 /sec)
3.61/4.34	c 4	decisions             : 900           (1.44 % random) (4523 /sec)
3.61/4.34	c 4	propagations          : 83665          (420493 /sec)
3.61/4.34	c 4	conflict literals     : 6230           (29.65 % deleted)
3.61/4.34	c 4	Memory used           : 8.25 MB
3.61/4.34	c 4	CPU time              : 0.198969 s
3.61/4.34	c 4	
3.61/4.34	c 4	SATISFIABLE
3.61/4.34	c 4	OK
3.61/4.34	c 4	FOUND: _COST <= 26
3.61/4.34	c 4	DECODING HOME/temp.out WITH HOME/temp.map
3.61/4.34	c 4	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.64/4.43	c 4	Decoding HOME/temp.out
3.64/4.48	c 4	OBJECTIVE _COST 26
3.64/4.48	o 26
3.64/4.49	v 22 79 75 22 30 79 26 47 79 72 75 77 28 46 71 78 69 3 57 75 79 28 77 41 79 32 50 55 59 53 72 33 78 33 60 52 79 76 55 78
3.64/4.49	c 4	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.64/4.52	c 4	OK
3.64/4.52	c 4	OBJECTIVE BOUND: 0 <= _COST <= 26
3.64/4.52	c 4	SEARCHING: _COST <= 13
3.64/4.53	c 4	============================[ Search Statistics ]==============================
3.64/4.53	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.64/4.53	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.64/4.53	c 4	===============================================================================
3.64/4.53	c 4	|       282 |    4123   126953   573161 |    42317      282     22 |  7.970 % |
3.64/4.54	c 4	|       383 |    4123   126953   573161 |    46549      383     21 | 12.612 % |
3.64/4.59	c 4	|       533 |    4123   126953   573161 |    51204      533     20 | 12.612 % |
3.86/4.65	c 4	|       758 |    4123   126953   573161 |    56324      758     19 | 12.612 % |
3.96/4.72	c 4	===============================================================================
3.96/4.72	c 4	restarts              : 8
3.96/4.72	c 4	conflicts             : 968           (2420 /sec)
3.96/4.72	c 4	decisions             : 1992          (1.10 % random) (4981 /sec)
3.96/4.72	c 4	propagations          : 267545         (668965 /sec)
3.96/4.72	c 4	conflict literals     : 19261          (33.69 % deleted)
3.96/4.72	c 4	Memory used           : 8.38 MB
3.96/4.72	c 4	CPU time              : 0.399939 s
3.96/4.72	c 4	
3.96/4.72	c 4	SATISFIABLE
3.96/4.72	c 4	OK
3.96/4.72	c 4	FOUND: _COST <= 13
3.96/4.72	c 4	DECODING HOME/temp.out WITH HOME/temp.map
3.96/4.72	c 4	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.99/4.82	c 4	Decoding HOME/temp.out
3.99/4.88	c 4	OBJECTIVE _COST 13
3.99/4.88	o 13
3.99/4.88	v 1 31 46 45 69 79 5 66 17 62 73 79 5 28 60 79 29 57 79 21 33 19 48 74 79 78 2 73 7 35 66 51 3 51 48 71 78 26 5 39
3.99/4.88	c 4	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.99/4.93	c 4	OK
3.99/4.93	c 4	OBJECTIVE BOUND: 0 <= _COST <= 13
3.99/4.93	c 4	SEARCHING: _COST <= 6
3.99/4.93	c 4	============================[ Search Statistics ]==============================
3.99/4.93	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.93	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.99/4.93	c 4	===============================================================================
3.99/4.93	c 4	|       968 |    3915   126953   573161 |    42317      968     20 | 12.612 % |
3.99/4.97	c 4	|      1068 |    3915   126953   573161 |    46549     1068     20 | 15.804 % |
4.22/5.02	c 5	|      1220 |    3915   126953   573161 |    51204     1220     20 | 15.804 % |
4.22/5.09	c 5	|      1445 |    3915   126953   573161 |    56324     1445     21 | 15.804 % |
4.32/5.19	c 5	|      1784 |    3915   126953   573161 |    61957     1784     20 | 15.804 % |
4.52/5.38	c 5	|      2290 |    3915   126953   573161 |    68153     2290     21 | 15.804 % |
4.82/5.63	c 5	|      3049 |    3915   126953   573161 |    74968     3049     22 | 15.804 % |
5.11/5.99	c 6	|      4188 |    3772   114795   538721 |    82465     4188     24 | 15.804 % |
5.71/6.51	c 6	|      5897 |    3772   114795   538721 |    90711     5897     25 | 15.804 % |
6.39/7.27	c 7	|      8460 |    3772   114795   538721 |    99782     8460     26 | 15.804 % |
7.56/8.45	c 8	===============================================================================
7.56/8.45	c 8	restarts              : 18
7.56/8.45	c 8	conflicts             : 11552         (2979 /sec)
7.56/8.45	c 8	decisions             : 17301         (1.14 % random) (4461 /sec)
7.56/8.45	c 8	propagations          : 2391566        (616636 /sec)
7.56/8.45	c 8	conflict literals     : 308488         (27.48 % deleted)
7.56/8.45	c 8	Memory used           : 9.70 MB
7.56/8.45	c 8	CPU time              : 3.87841 s
7.56/8.45	c 8	
7.56/8.45	c 8	SATISFIABLE
7.56/8.46	c 8	OK
7.56/8.46	c 8	FOUND: _COST <= 6
7.56/8.46	c 8	DECODING HOME/temp.out WITH HOME/temp.map
7.56/8.46	c 8	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
7.62/8.57	c 8	Decoding HOME/temp.out
7.62/8.63	c 8	OBJECTIVE _COST 6
7.62/8.63	o 6
7.62/8.63	v 72 9 62 51 7 52 61 29 36 52 35 26 40 75 59 61 31 15 13 11 79 59 79 61 79 15 24 34 45 61 70 46 2 4 42 26 67 56 79 65
7.62/8.64	c 8	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
7.76/8.70	c 8	OK
7.76/8.70	c 8	OBJECTIVE BOUND: 0 <= _COST <= 6
7.76/8.70	c 8	SEARCHING: _COST <= 3
7.76/8.70	c 8	============================[ Search Statistics ]==============================
7.76/8.70	c 8	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.76/8.70	c 8	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.76/8.70	c 8	===============================================================================
7.76/8.70	c 8	|     11552 |    3639   112828   533212 |    37609    11525     27 | 15.804 % |
7.76/8.74	c 8	|     11653 |    3639   112828   533212 |    41370    11626     27 | 18.773 % |
7.86/8.83	c 8	|     11804 |    3639   112828   533212 |    45507    11777     27 | 18.773 % |
7.96/8.92	c 8	|     12030 |    3639   112828   533212 |    50058    12003     27 | 18.773 % |
8.05/9.06	c 9	|     12367 |    3639   112828   533212 |    55063    12340     27 | 18.773 % |
8.24/9.23	c 9	|     12874 |    3639   112828   533212 |    60570    12847     27 | 18.773 % |
8.49/9.58	c 9	|     13635 |    3639   112828   533212 |    66627    13608     26 | 18.773 % |
9.04/10.21	c 10	|     14775 |    3639   112828   533212 |    73289    14748     27 | 18.773 % |
9.83/11.32	c 11	|     16484 |    3639   112828   533212 |    80618    16457     27 | 18.773 % |
11.20/13.00	c 13	|     19047 |    3639   112828   533212 |    88680    19020     27 | 18.773 % |
12.86/14.99	c 15	|     22891 |    3639   112828   533212 |    97548    22864     28 | 18.773 % |
15.51/17.97	c 18	|     28657 |    3639   112828   533212 |   107303    28630     28 | 18.773 % |
20.25/23.34	c 23	|     37306 |    3639   112828   533212 |   118034    37279     29 | 18.773 % |
26.51/31.15	c 31	|     50283 |    3639   112828   533212 |   129837    50256     30 | 18.773 % |
39.81/46.87	c 46	|     69744 |    3639   112828   533212 |   142821    69717     33 | 18.773 % |
68.97/81.59	c 81	===============================================================================
68.97/81.59	c 81	restarts              : 33
68.97/81.59	c 81	conflicts             : 97035         (1490 /sec)
68.97/81.59	c 81	decisions             : 139112        (1.26 % random) (2137 /sec)
68.97/81.59	c 81	propagations          : 22282247       (342250 /sec)
68.97/81.59	c 81	conflict literals     : 3414842        (27.88 % deleted)
68.97/81.59	c 81	Memory used           : 24.96 MB
68.97/81.59	c 81	CPU time              : 65.1051 s
68.97/81.59	c 81	
68.97/81.59	c 81	SATISFIABLE
68.97/81.59	c 81	OK
68.97/81.59	c 81	FOUND: _COST <= 3
68.97/81.59	c 81	DECODING HOME/temp.out WITH HOME/temp.map
68.97/81.59	c 81	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
69.06/81.85	c 81	Decoding HOME/temp.out
69.06/81.91	c 81	OBJECTIVE _COST 3
69.06/81.91	o 3
69.06/81.91	v 72 37 32 62 63 4 69 18 62 2 53 33 43 30 40 49 8 25 36 64 13 78 22 79 48 79 71 78 44 54 67 76 48 60 62 30 36 45 37 72
69.06/81.92	c 81	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
69.23/82.05	c 82	OK
69.23/82.05	c 82	OBJECTIVE BOUND: 0 <= _COST <= 3
69.23/82.05	c 82	SEARCHING: _COST <= 1
69.23/82.05	c 82	============================[ Search Statistics ]==============================
69.23/82.05	c 82	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
69.23/82.05	c 82	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
69.23/82.05	c 82	===============================================================================
69.23/82.05	c 82	|     97035 |    3533   111802   530449 |    37267    96911     35 | 18.773 % |
69.50/82.39	c 82	|     97136 |    3533   111802   530449 |    40994    21121     35 | 21.139 % |
69.71/82.53	c 82	|     97287 |    3533   111802   530449 |    45093    21272     35 | 21.139 % |
69.98/82.85	c 82	|     97512 |    3533   111802   530449 |    49602    21497     35 | 21.139 % |
70.23/83.11	c 83	|     97851 |    3533   111802   530449 |    54563    21836     35 | 21.139 % |
70.60/83.56	c 83	|     98358 |    3533   111802   530449 |    60019    22343     35 | 21.139 % |
71.10/84.27	c 84	|     99117 |    3533   111802   530449 |    66021    23102     35 | 21.139 % |
72.19/85.54	c 85	|    100257 |    3533   111802   530449 |    72623    24242     36 | 21.139 % |
72.99/86.53	c 86	|    101965 |    3533   111802   530449 |    79885    25950     35 | 21.139 % |
74.22/88.07	c 88	|    104527 |    3533   111802   530449 |    87874    28512     35 | 21.139 % |
75.95/90.17	c 90	|    108371 |    3533   111802   530449 |    96661    32356     34 | 21.139 % |
79.09/93.89	c 93	|    114137 |    3533   111802   530449 |   106328    38122     34 | 21.139 % |
84.57/100.38	c 100	|    122786 |    3533   111802   530449 |   116960    46771     34 | 21.139 % |
92.63/109.85	c 109	|    135761 |    3533   111802   530449 |   128656    59746     34 | 21.139 % |
105.46/125.09	c 125	|    155222 |    3533   111802   530449 |   141522    79207     34 | 21.139 % |
131.38/156.42	c 156	|    184415 |    3533   111802   530449 |   155674   108400     33 | 21.139 % |
172.52/205.40	c 205	|    228204 |    3533   111802   530449 |   171242   152189     34 | 21.139 % |
185.45/220.51	c 220	===============================================================================
185.45/220.51	c 220	restarts              : 50
185.45/220.51	c 220	conflicts             : 237984        (1313 /sec)
185.45/220.51	c 220	decisions             : 345518        (1.33 % random) (1906 /sec)
185.45/220.51	c 220	propagations          : 51889664       (286286 /sec)
185.45/220.51	c 220	conflict literals     : 8136550        (26.78 % deleted)
185.45/220.51	c 220	Memory used           : 35.73 MB
185.45/220.51	c 220	CPU time              : 181.251 s
185.45/220.51	c 220	
185.45/220.51	c 220	SATISFIABLE
185.45/220.51	c 220	OK
185.45/220.51	c 220	FOUND: _COST <= 1
185.45/220.51	c 220	DECODING HOME/temp.out WITH HOME/temp.map
185.45/220.51	c 220	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
185.46/220.60	c 220	Decoding HOME/temp.out
185.46/220.65	c 220	OBJECTIVE _COST 1
185.46/220.65	o 1
185.46/220.66	v 10 40 7 67 68 78 72 64 66 57 57 76 23 14 16 41 43 9 45 52 53 29 77 77 55 56 47 67 0 37 3 79 60 70 76 67 45 76 48 68
185.46/220.66	c 220	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
185.46/220.78	c 220	OK
185.46/220.78	c 220	OBJECTIVE BOUND: 0 <= _COST <= 1
185.46/220.78	c 220	SEARCHING: _COST <= 0
185.46/220.78	c 220	============================[ Search Statistics ]==============================
185.46/220.78	c 220	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.46/220.78	c 220	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
185.46/220.78	c 220	===============================================================================
185.46/220.78	c 220	|    237984 |    3366   110810   527972 |    36936   161919     34 | 21.139 % |
186.28/221.41	c 221	|    238084 |    3366   110810   527972 |    40630    17961     27 | 24.867 % |
186.38/221.51	c 221	|    238235 |    3366   110810   527972 |    44693    18112     27 | 24.867 % |
186.48/221.62	c 221	|    238460 |    3366   110810   527972 |    49162    18337     27 | 24.867 % |
186.68/221.80	c 221	|    238797 |    3366   110810   527972 |    54078    18674     27 | 24.867 % |
186.88/222.00	c 222	|    239304 |    3366   110810   527972 |    59486    19181     28 | 24.867 % |
187.18/222.35	c 222	|    240065 |    3366   110810   527972 |    65435    19942     28 | 24.867 % |
187.78/222.90	c 222	|    241204 |    3366   110810   527972 |    71979    21081     28 | 24.867 % |
188.63/223.80	c 223	|    242914 |    3366   110810   527972 |    79177    22791     30 | 24.867 % |
189.78/225.05	c 225	|    245476 |    3366   110810   527972 |    87094    25353     30 | 24.867 % |
191.57/226.95	c 226	|    249321 |    3366   110810   527972 |    95804    29198     30 | 24.867 % |
194.47/229.97	c 230	|    255087 |    3366   110810   527972 |   105384    34964     30 | 24.867 % |
200.24/235.81	c 235	|    263737 |    3366   110810   527972 |   115923    43614     32 | 24.867 % |
208.30/243.90	c 243	|    276713 |    3366   110810   527972 |   127515    56590     33 | 24.867 % |
223.87/259.97	c 260	|    296174 |    3366   110810   527972 |   140266    76051     34 | 24.867 % |
249.75/286.37	c 286	|    325367 |    3366   110810   527972 |   154293   105244     35 | 24.867 % |
294.71/332.65	c 332	|    369156 |    3366   110810   527972 |   169722   149033     36 | 24.867 % |
348.34/387.53	c 387	|    434840 |    3366   110810   527972 |   186695    62299     40 | 24.867 % |
444.40/486.28	c 486	|    533366 |    3366   110810   527972 |   205364   160825     46 | 24.867 % |
587.42/631.75	c 631	|    681156 |    3366   110810   527972 |   225901   122300     41 | 24.867 % |
837.42/881.87	c 881	|    902840 |    3366   110810   527972 |   248491   139841     43 | 24.867 % |
1213.96/1258.53	c 1258	===============================================================================
1213.96/1258.53	c 1258	restarts              : 71
1213.96/1258.53	c 1258	conflicts             : 1216718       (1006 /sec)
1213.96/1258.53	c 1258	decisions             : 1789949       (1.47 % random) (1480 /sec)
1213.96/1258.53	c 1258	propagations          : 254139540      (210146 /sec)
1213.96/1258.53	c 1258	conflict literals     : 52443624       (21.91 % deleted)
1213.96/1258.53	c 1258	Memory used           : 62.57 MB
1213.96/1258.53	c 1258	CPU time              : 1209.35 s
1213.96/1258.53	c 1258	
1213.96/1258.53	c 1258	UNSATISFIABLE
1213.96/1258.53	c 1258	OK
1213.96/1258.53	c 1258	NOT FOUND: _COST <= 0
1213.96/1258.53	c 1258	OK
1213.96/1258.53	c 1258	OBJECTIVE _COST 1
1213.96/1258.53	s OPTIMUM FOUND
1213.96/1258.55	c 1258	CPU 1213.18 (0.06 0.03 1213.12 0.8)
1213.96/1258.55	c 1258	END Sun Jul 13 04:43:14 2008

Verifier Data (download as text)

OK	1	102
1 unsatisfied constraints, 102 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-1115163-1215915735/watcher-1115163-1215915735 -o /tmp/evaluation-result-1115163-1215915735/solver-1115163-1215915735 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1115163-1215915735.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: 3.33 3.24 2.94 5/86 20924
/proc/meminfo: memFree=1796968/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=12268 CPUtime=0
/proc/20924/stat : 20924 (sugar++) R 20920 20924 18830 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 48269240 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 224627751525 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/20924/statm: 3067 316 241 3 0 167 0

[startup+0.091598 s]
/proc/loadavg: 3.33 3.24 2.94 5/86 20924
/proc/meminfo: memFree=1796968/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16740 CPUtime=0.06
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1143 0 0 0 5 1 0 0 18 0 1 0 48269240 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20924/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.101622 s]
/proc/loadavg: 3.33 3.24 2.94 5/86 20924
/proc/meminfo: memFree=1796968/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16740 CPUtime=0.06
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 48269240 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20924/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.301654 s]
/proc/loadavg: 3.33 3.24 2.94 5/86 20924
/proc/meminfo: memFree=1796968/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16740 CPUtime=0.06
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 48269240 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20924/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701708 s]
/proc/loadavg: 3.33 3.24 2.94 5/86 20924
/proc/meminfo: memFree=1796968/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16740 CPUtime=0.06
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 48269240 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20924/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+1.50282 s]
/proc/loadavg: 3.33 3.24 2.94 5/90 20991
/proc/meminfo: memFree=1791432/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16740 CPUtime=0.66
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1296 5150 0 1 5 1 56 4 16 0 1 0 48269240 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20924/statm: 4185 1104 409 3 0 764 0
[pid=20987] ppid=20924 vsize=5356 CPUtime=0
/proc/20987/stat : 20987 (sh) S 20924 20924 18830 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 48269321 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20987/statm: 1339 233 193 169 0 50 0
[pid=20988] ppid=20987 vsize=864012 CPUtime=0.46
/proc/20988/stat : 20988 (java) S 20987 20924 18830 0 -1 0 6251 0 1 0 42 4 0 0 20 0 9 0 48269321 884748288 5545 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20988/statm: 216003 5545 2532 9 0 210585 0
[pid=20988/tid=20992] ppid=20987 vsize=864012 CPUtime=0.3
/proc/20988/task/20992/stat : 20992 (java) R 20987 20924 18830 0 -1 64 2453 0 1 0 29 1 0 0 21 0 9 0 48269340 884748288 5545 996147200 134512640 134550740 4294955920 18446744073709551615 101444655 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 886108

[startup+3.10105 s]
/proc/loadavg: 3.33 3.24 2.94 5/97 21028
/proc/meminfo: memFree=1767440/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16740 CPUtime=0.67
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1297 5150 0 1 5 2 56 4 15 0 1 0 48269240 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20924/statm: 4185 1104 409 3 0 764 0
[pid=20987] ppid=20924 vsize=5356 CPUtime=0
/proc/20987/stat : 20987 (sh) S 20924 20924 18830 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 48269321 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20987/statm: 1339 233 193 169 0 50 0
[pid=20988] ppid=20987 vsize=864404 CPUtime=1.96
/proc/20988/stat : 20988 (java) S 20987 20924 18830 0 -1 0 11954 0 1 0 189 7 0 0 20 0 9 0 48269321 885149696 11168 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20988/statm: 216101 11168 2565 9 0 210648 0
[pid=20988/tid=20992] ppid=20987 vsize=864404 CPUtime=1.08
/proc/20988/task/20992/stat : 20992 (java) R 20987 20924 18830 0 -1 64 2982 0 1 0 106 2 0 0 20 0 9 0 48269340 885149696 11168 996147200 134512640 134550740 4294955920 18446744073709551615 102064828 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20988/tid=20995] ppid=20987 vsize=864404 CPUtime=0.72
/proc/20988/task/20995/stat : 20995 (java) S 20987 20924 18830 0 -1 64 7912 0 0 0 69 3 0 0 16 0 9 0 48269342 885149696 11168 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20988/tid=20996] ppid=20987 vsize=864404 CPUtime=0
/proc/20988/task/20996/stat : 20996 (java) S 20987 20924 18830 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 48269342 885149696 11168 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20988/tid=20997] ppid=20987 vsize=864404 CPUtime=0
/proc/20988/task/20997/stat : 20997 (java) S 20987 20924 18830 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 48269342 885149696 11168 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20988/tid=20998] ppid=20987 vsize=864404 CPUtime=0
/proc/20988/task/20998/stat : 20998 (java) S 20987 20924 18830 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 48269344 885149696 11168 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20988/tid=21001] ppid=20987 vsize=864404 CPUtime=0.13
/proc/20988/task/21001/stat : 21001 (java) S 20987 20924 18830 0 -1 64 364 0 0 0 13 0 0 0 15 0 9 0 48269344 885149696 11168 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20988/tid=21003] ppid=20987 vsize=864404 CPUtime=0
/proc/20988/task/21003/stat : 21003 (java) S 20987 20924 18830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 48269345 885149696 11168 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20988/tid=21004] ppid=20987 vsize=864404 CPUtime=0
/proc/20988/task/21004/stat : 21004 (java) S 20987 20924 18830 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 48269345 885149696 11168 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 886500

[startup+6.30151 s]
/proc/loadavg: 3.54 3.29 2.95 4/89 21162
/proc/meminfo: memFree=1781008/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=3.72
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1690 28644 0 5 5 2 342 23 15 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=8976 CPUtime=1.79
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 2198 0 0 0 177 2 0 0 25 0 1 0 48269629 9191424 2140 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 2244 2140 79 151 0 2090 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 25848

[startup+12.7014 s]
/proc/loadavg: 3.50 3.28 2.95 4/89 21687
/proc/meminfo: memFree=1777920/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=3.86
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1759 32372 0 6 5 2 353 26 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=11048 CPUtime=7.1
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 2684 0 0 0 707 3 0 0 25 0 1 0 48269629 11313152 2624 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21092/statm: 2762 2624 79 151 0 2608 0
Current children cumulated CPU time (s) 10.96
Current children cumulated vsize (KiB) 27920

[startup+25.5012 s]
/proc/loadavg: 3.68 3.33 2.97 5/88 22481
/proc/meminfo: memFree=1773576/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=3.86
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1759 32372 0 6 5 2 353 26 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=14748 CPUtime=18.11
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 3597 0 0 0 1807 4 0 0 25 0 1 0 48269629 15101952 3537 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21092/statm: 3687 3537 79 151 0 3533 0
Current children cumulated CPU time (s) 21.97
Current children cumulated vsize (KiB) 31620

[startup+51.1018 s]
/proc/loadavg: 3.72 3.37 3.00 5/89 24447
/proc/meminfo: memFree=1764480/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=3.86
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1759 32372 0 6 5 2 353 26 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=20556 CPUtime=39.39
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 5063 0 0 0 3932 7 0 0 25 0 1 0 48269629 21049344 5003 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21092/statm: 5139 5003 79 151 0 4985 0
Current children cumulated CPU time (s) 43.25
Current children cumulated vsize (KiB) 37428

[startup+102.307 s]
/proc/loadavg: 3.79 3.45 3.04 5/88 28124
/proc/meminfo: memFree=1755144/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.05
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1829 36098 0 7 6 3 367 29 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=25560 CPUtime=82.2
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 6286 0 0 0 8211 9 0 0 25 0 1 0 48269629 26173440 6224 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21092/statm: 6390 6224 79 151 0 6236 0
Current children cumulated CPU time (s) 86.25
Current children cumulated vsize (KiB) 42432

[startup+162.302 s]
/proc/loadavg: 3.78 3.50 3.08 5/88 32402
/proc/meminfo: memFree=1747104/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.05
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1829 36098 0 7 6 3 367 29 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=28220 CPUtime=132.51
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 6977 0 0 0 13238 13 0 0 25 0 1 0 48269629 28897280 6915 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21092/statm: 7055 6915 79 151 0 6901 0
Current children cumulated CPU time (s) 136.56
Current children cumulated vsize (KiB) 45092

[startup+222.301 s]
/proc/loadavg: 3.93 3.60 3.14 4/88 4287
/proc/meminfo: memFree=1734216/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 15 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=36588 CPUtime=182.99
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 9039 0 0 0 18283 16 0 0 25 0 1 0 48269629 37466112 8975 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 9147 8975 79 151 0 8993 0
Current children cumulated CPU time (s) 187.18
Current children cumulated vsize (KiB) 53460

[startup+282.302 s]
/proc/loadavg: 3.90 3.64 3.18 4/88 7014
/proc/meminfo: memFree=1731464/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=36588 CPUtime=241.7
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 9039 0 0 0 24152 18 0 0 25 0 1 0 48269629 37466112 8975 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 9147 8975 79 151 0 8993 0
Current children cumulated CPU time (s) 245.89
Current children cumulated vsize (KiB) 53460


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


[startup+822.303 s]
/proc/loadavg: 2.75 3.20 3.20 3/82 23003
/proc/meminfo: memFree=1687688/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=61928 CPUtime=773.75
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15328 0 0 0 77331 44 0 0 25 0 1 0 48269629 63414272 15264 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 15482 15264 79 151 0 15328 0
Current children cumulated CPU time (s) 777.94
Current children cumulated vsize (KiB) 78800

[startup+882.302 s]
/proc/loadavg: 2.63 3.08 3.16 3/82 23003
/proc/meminfo: memFree=1687560/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=61928 CPUtime=833.73
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15328 0 0 0 83329 44 0 0 25 0 1 0 48269629 63414272 15264 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 15482 15264 79 151 0 15328 0
Current children cumulated CPU time (s) 837.92
Current children cumulated vsize (KiB) 78800

[startup+942.303 s]
/proc/loadavg: 2.82 3.05 3.14 3/82 23003
/proc/meminfo: memFree=1687560/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=61928 CPUtime=893.7
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15328 0 0 0 89326 44 0 0 25 0 1 0 48269629 63414272 15264 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 15482 15264 79 151 0 15328 0
Current children cumulated CPU time (s) 897.89
Current children cumulated vsize (KiB) 78800

[startup+1002.3 s]
/proc/loadavg: 2.80 3.00 3.11 3/82 23003
/proc/meminfo: memFree=1687496/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=61928 CPUtime=953.68
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15336 0 0 0 95323 45 0 0 25 0 1 0 48269629 63414272 15272 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 15482 15272 79 151 0 15328 0
Current children cumulated CPU time (s) 957.87
Current children cumulated vsize (KiB) 78800

[startup+1062.3 s]
/proc/loadavg: 2.86 2.95 3.09 3/82 23003
/proc/meminfo: memFree=1685384/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=64068 CPUtime=1013.65
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15875 0 0 0 101319 46 0 0 25 0 1 0 48269629 65605632 15811 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 16017 15811 79 151 0 15863 0
Current children cumulated CPU time (s) 1017.84
Current children cumulated vsize (KiB) 80940

[startup+1122.3 s]
/proc/loadavg: 2.63 2.87 3.05 3/82 23003
/proc/meminfo: memFree=1685384/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=64068 CPUtime=1073.63
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15875 0 0 0 107317 46 0 0 25 0 1 0 48269629 65605632 15811 996147200 134512640 135134323 4294956192 18446744073709551615 134531924 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 16017 15811 79 151 0 15863 0
Current children cumulated CPU time (s) 1077.82
Current children cumulated vsize (KiB) 80940

[startup+1182.3 s]
/proc/loadavg: 2.61 2.82 3.02 3/82 23003
/proc/meminfo: memFree=1685384/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=64068 CPUtime=1133.6
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15875 0 0 0 113314 46 0 0 25 0 1 0 48269629 65605632 15811 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 16017 15811 79 151 0 15863 0
Current children cumulated CPU time (s) 1137.79
Current children cumulated vsize (KiB) 80940

[startup+1242.3 s]
/proc/loadavg: 2.74 2.82 3.00 3/82 23003
/proc/meminfo: memFree=1685320/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=64068 CPUtime=1193.57
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15875 0 0 0 119311 46 0 0 25 0 1 0 48269629 65605632 15811 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 16017 15811 79 151 0 15863 0
Current children cumulated CPU time (s) 1197.76
Current children cumulated vsize (KiB) 80940

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

[startup+1247.9 s]
/proc/loadavg: 2.68 2.80 2.99 3/82 23003
/proc/meminfo: memFree=1685320/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=64068 CPUtime=1199.17
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15875 0 0 0 119871 46 0 0 25 0 1 0 48269629 65605632 15811 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 16017 15811 79 151 0 15863 0
Current children cumulated CPU time (s) 1203.36
Current children cumulated vsize (KiB) 80940

[startup+1254.3 s]
/proc/loadavg: 2.70 2.81 2.99 3/82 23003
/proc/meminfo: memFree=1685320/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=64068 CPUtime=1205.56
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15875 0 0 0 120510 46 0 0 25 0 1 0 48269629 65605632 15811 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 16017 15811 79 151 0 15863 0
Current children cumulated CPU time (s) 1209.75
Current children cumulated vsize (KiB) 80940

[startup+1255.9 s]
/proc/loadavg: 2.65 2.79 2.99 4/82 23003
/proc/meminfo: memFree=1685320/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=64068 CPUtime=1207.16
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15875 0 0 0 120670 46 0 0 25 0 1 0 48269629 65605632 15811 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 16017 15811 79 151 0 15863 0
Current children cumulated CPU time (s) 1211.35
Current children cumulated vsize (KiB) 80940

[startup+1257.5 s]
/proc/loadavg: 2.65 2.79 2.99 3/82 23003
/proc/meminfo: memFree=1685320/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=64068 CPUtime=1208.76
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15875 0 0 0 120830 46 0 0 25 0 1 0 48269629 65605632 15811 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 16017 15811 79 151 0 15863 0
Current children cumulated CPU time (s) 1212.95
Current children cumulated vsize (KiB) 80940

[startup+1258.3 s]
/proc/loadavg: 2.65 2.79 2.99 3/82 23003
/proc/meminfo: memFree=1685320/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=64068 CPUtime=1209.57
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15875 0 0 0 120911 46 0 0 25 0 1 0 48269629 65605632 15811 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 16017 15811 79 151 0 15863 0
Current children cumulated CPU time (s) 1213.76
Current children cumulated vsize (KiB) 80940

[startup+1258.5 s]
/proc/loadavg: 2.65 2.79 2.99 3/82 23003
/proc/meminfo: memFree=1685320/2055920 swapFree=4180188/4192956
[pid=20924] ppid=20920 vsize=16872 CPUtime=4.19
/proc/20924/stat : 20924 (sugar++) S 20920 20924 18830 0 -1 4194304 1900 39828 0 8 6 3 378 32 16 0 1 0 48269240 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20924/statm: 4218 1116 414 3 0 797 0
[pid=21092] ppid=20924 vsize=64068 CPUtime=1209.77
/proc/21092/stat : 21092 (minisat-inc) R 20924 20924 18830 0 -1 4194304 15875 0 0 0 120931 46 0 0 25 0 1 0 48269629 65605632 15811 996147200 134512640 135134323 4294956192 18446744073709551615 134532774 0 0 4096 3 0 0 0 17 0 0 0
/proc/21092/statm: 16017 15811 79 151 0 15863 0
Current children cumulated CPU time (s) 1213.96
Current children cumulated vsize (KiB) 80940

Child status: 0
Real time (s): 1258.55
CPU time (s): 1214.03
CPU user time (s): 1213.19
CPU system time (s): 0.836872
CPU usage (%): 96.4623
Max. virtual memory (cumulated for all children) (KiB): 886500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1213.19
system time used= 0.836872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57684
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= 3818
involuntary context switches= 41743

runsolver used 1.67974 second user time and 4.05738 second system time

The end

Launcher Data (download as text)

Begin job on node49 at 2008-07-13 04:22:16
IDJOB=1115163
IDBENCH=61824
IDSOLVER=367
FILE ID=node49/1115163-1215915735
PBS_JOBID= 7903697
Free space on /tmp= 66556 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/tightness0.8/normalized-rand-2-40-80-103-800-94_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1115163-1215915735/watcher-1115163-1215915735 -o /tmp/evaluation-result-1115163-1215915735/solver-1115163-1215915735 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1115163-1215915735.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= ff582e16aee3eb55b2d45d7d6abdcec0
RANDOM SEED=581439091

node49.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.239
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.239
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:       1797440 kB
Buffers:         30836 kB
Cached:          96648 kB
SwapCached:       6272 kB
Active:         135576 kB
Inactive:        79152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797440 kB
SwapTotal:     4192956 kB
SwapFree:      4180188 kB
Dirty:            2064 kB
Writeback:           0 kB
Mapped:         103628 kB
Slab:            28204 kB
Committed_AS:  1097044 kB
PageTables:       2284 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= 66556 MiB
End job on node49 at 2008-07-13 04:43:14