Trace number 1113711

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-incOPTIMUM6 1033.14 1039.12

General information on the benchmark

Namecsp/graphColoring/insertion/k-insertion/
normalized-1-insertions-4-3.xml
MD5SUMb65012ecce27aaef791da98f50a83a63
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints6
Best CPU time to get the best result obtained on this benchmark935.497
Satisfiable
(Un)Satisfiability was proved
Number of variables67
Number of constraints232
Maximum constraint arity2
Maximum domain size3
Number of constraints which are defined in extension0
Number of constraints which are defined in intension232
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.07	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.07	c 0	BEGIN Sat Jul 12 21:08:04 2008
0.00/0.07	c 0	PID 20336
0.05/0.07	c 0	HOST node22.alineos.net
0.05/0.07	c 0	CONVERTING HOME/instance-1113711-1215889684.xml TO HOME/temp.csp
0.05/0.07	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1113711-1215889684.xml' 'HOME/temp.csp'
0.05/0.35	c 0	1 domains, 67 variables, 1 predicates, 0 relations, 232 constraints
0.05/0.40	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.05/0.40	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.36/0.51	c 1	Parsing HOME/temp.csp
0.36/0.58	c 1	parsed 301 expressions
0.36/0.59	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.36/0.60	c 1	MAX CSP: 232 constraints
0.36/0.60	c 1	Converting to clausal form CSP
0.36/0.62	c 1	converted 54 (10%) expressions
0.36/0.64	c 1	converted 108 (20%) expressions
0.36/0.65	c 1	converted 161 (30%) expressions
0.36/0.66	c 1	converted 215 (40%) expressions
0.36/0.67	c 1	converted 268 (50%) expressions
0.36/0.68	c 1	converted 322 (60%) expressions
0.36/0.69	c 1	converted 376 (70%) expressions
0.36/0.69	c 1	converted 429 (80%) expressions
0.36/0.70	c 1	converted 483 (90%) expressions
0.36/0.81	c 1	converted 536 (100%) expressions
0.36/0.81	c 1	CSP : 531 integers, 0 booleans, 695 clauses, largest domain size 349
0.36/0.81	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.36/0.81	c 1	Propagation in CSP
0.36/0.84	c 1	228 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.36/0.84	c 1	CSP : 531 integers, 0 booleans, 695 clauses, largest domain size 233
0.36/0.84	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.36/0.84	c 1	Simplifing CSP by introducing new Boolean variables
0.36/0.85	c 1	CSP : 531 integers, 464 booleans, 1159 clauses, largest domain size 233
0.36/0.85	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.36/0.87	c 1	Encoding CSP to SAT : HOME/temp.cnf
0.36/0.88	c 1	54 (10%) CSP integer variables are encoded (54 clauses, 550 bytes)
0.36/0.88	c 1	107 (20%) CSP integer variables are encoded (67 clauses, 693 bytes)
0.36/0.89	c 1	160 (30%) CSP integer variables are encoded (67 clauses, 693 bytes)
0.36/0.89	c 1	213 (40%) CSP integer variables are encoded (67 clauses, 693 bytes)
0.36/0.89	c 1	266 (50%) CSP integer variables are encoded (67 clauses, 693 bytes)
0.36/0.89	c 1	319 (60%) CSP integer variables are encoded (580 clauses, 6336 bytes)
0.37/0.90	c 1	372 (70%) CSP integer variables are encoded (1908 clauses, 23401 bytes)
0.37/0.90	c 1	425 (80%) CSP integer variables are encoded (2398 clauses, 29771 bytes)
0.37/0.90	c 1	478 (90%) CSP integer variables are encoded (2671 clauses, 33320 bytes)
0.37/0.90	c 1	531 (100%) CSP integer variables are encoded (3064 clauses, 38429 bytes)
0.37/0.91	c 1	116 (10%) CSP clauses are encoded (3336 clauses, 41895 bytes)
0.37/0.91	c 1	232 (20%) CSP clauses are encoded (3606 clauses, 45484 bytes)
0.37/0.92	c 1	348 (30%) CSP clauses are encoded (3876 clauses, 49073 bytes)
0.37/0.93	c 1	464 (40%) CSP clauses are encoded (4148 clauses, 52751 bytes)
0.37/0.93	c 1	580 (50%) CSP clauses are encoded (4418 clauses, 56454 bytes)
0.37/0.94	c 1	696 (60%) CSP clauses are encoded (4688 clauses, 60263 bytes)
0.37/0.99	c 1	812 (70%) CSP clauses are encoded (34846 clauses, 584042 bytes)
0.92/1.05	c 1	928 (80%) CSP clauses are encoded (62906 clauses, 1096246 bytes)
0.92/1.05	c 1	1044 (90%) CSP clauses are encoded (66902 clauses, 1166136 bytes)
0.92/1.07	c 1	1159 (100%) CSP clauses are encoded (77962 clauses, 1364740 bytes)
0.92/1.08	c 1	1159 CSP clauses encoded
0.92/1.08	c 1	Writing map file : HOME/temp.map
0.92/1.08	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.92/1.08	c 1	SAT : 4059 SAT variables, 77962 SAT clauses, 1364740 bytes
0.92/1.08	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.00/1.12	c 1	OBJECTIVE minimize _COST
1.00/1.12	c 1	SOLVING HOME/temp.cnf
1.00/1.12	c 1	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.00/1.12	c 1	This is MiniSat 2.0 beta incremental
1.00/1.12	c 1	WARNING: for repeatability, setting FPU to use double precision
1.00/1.12	c 1	============================[ Problem Statistics ]=============================
1.00/1.12	c 1	|                                                                             |
1.00/1.12	c 1	|  Number of variables:  4059                                                 |
1.00/1.12	c 1	|  Number of clauses:    77962                                                |
1.00/1.16	c 1	|  Parsing time:         0.03         s                                       |
1.00/1.16	c 1	OK
1.00/1.16	c 1	OBJECTIVE BOUND: 0 <= _COST <= 
1.00/1.16	c 1	SEARCHING: _COST <= 116
1.00/1.16	c 1	============================[ Search Statistics ]==============================
1.00/1.16	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.00/1.16	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.00/1.16	c 1	===============================================================================
1.00/1.16	c 1	|         0 |    4059    77962   223668 |    25987        0    nan |  0.000 % |
1.00/1.16	c 1	===============================================================================
1.00/1.17	c 1	restarts              : 1
1.00/1.17	c 1	conflicts             : 2             (56 /sec)
1.00/1.17	c 1	decisions             : 253           (0.40 % random) (7029 /sec)
1.00/1.17	c 1	propagations          : 4351           (120881 /sec)
1.00/1.17	c 1	conflict literals     : 57             (0.00 % deleted)
1.00/1.17	c 1	Memory used           : 5.22 MB
1.00/1.17	c 1	CPU time              : 0.035994 s
1.00/1.17	c 1	
1.00/1.17	c 1	SATISFIABLE
1.00/1.17	c 1	OK
1.00/1.17	c 1	FOUND: _COST <= 116
1.00/1.17	s SATISFIABLE
1.00/1.17	c 1	DECODING HOME/temp.out WITH HOME/temp.map
1.00/1.17	c 1	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.03/1.25	c 1	Decoding HOME/temp.out
1.03/1.32	c 1	OBJECTIVE _COST 116
1.03/1.32	o 116
1.03/1.32	v 2 0 2 2 1 1 2 1 0 2 0 1 0 0 2 0 2 2 2 0 2 1 1 0 1 0 1 1 0 1 1 2 0 1 1 1 2 1 2 2 2 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.03/1.32	c 1	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.03/1.33	c 1	OK
1.03/1.33	c 1	OBJECTIVE BOUND: 0 <= _COST <= 116
1.03/1.33	c 1	SEARCHING: _COST <= 58
1.03/1.33	c 1	============================[ Search Statistics ]==============================
1.03/1.34	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.03/1.34	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.03/1.34	c 1	===============================================================================
1.03/1.34	c 1	|         2 |    4059    77962   223668 |    25987        2     28 |  0.000 % |
1.03/1.35	c 1	|       103 |    3270    77962   223668 |    28586      103     37 | 22.866 % |
1.03/1.35	c 1	===============================================================================
1.03/1.35	c 1	restarts              : 3
1.03/1.35	c 1	conflicts             : 103           (1840 /sec)
1.03/1.35	c 1	decisions             : 619           (0.48 % random) (11055 /sec)
1.03/1.35	c 1	propagations          : 44578          (796164 /sec)
1.03/1.35	c 1	conflict literals     : 3832           (26.88 % deleted)
1.03/1.35	c 1	Memory used           : 5.22 MB
1.03/1.35	c 1	CPU time              : 0.055991 s
1.03/1.35	c 1	
1.03/1.35	c 1	SATISFIABLE
1.03/1.35	c 1	OK
1.03/1.35	c 1	FOUND: _COST <= 58
1.03/1.35	c 1	DECODING HOME/temp.out WITH HOME/temp.map
1.03/1.35	c 1	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.18/1.83	c 2	Decoding HOME/temp.out
1.18/1.90	c 2	OBJECTIVE _COST 58
1.18/1.90	o 58
1.18/1.90	v 2 0 2 0 1 1 2 1 1 0 2 1 1 2 2 0 2 0 2 1 2 1 2 1 1 2 1 2 2 1 1 2 0 1 1 2 0 2 2 2 0 2 2 1 2 2 0 0 0 0 0 0 0 0 2 0 0 0 2 0 2 0 0 0 0 1 1
1.18/1.91	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.18/1.99	c 2	OK
1.18/1.99	c 2	OBJECTIVE BOUND: 0 <= _COST <= 58
1.18/1.99	c 2	SEARCHING: _COST <= 29
1.18/2.00	c 2	============================[ Search Statistics ]==============================
1.18/2.00	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.18/2.00	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.18/2.00	c 2	===============================================================================
1.18/2.00	c 2	|       103 |    3131    77962   223668 |    25987      103     37 | 22.866 % |
1.18/2.00	c 2	===============================================================================
1.18/2.00	c 2	restarts              : 4
1.18/2.00	c 2	conflicts             : 105           (1722 /sec)
1.18/2.00	c 2	decisions             : 683           (0.44 % random) (11199 /sec)
1.18/2.00	c 2	propagations          : 47839          (784374 /sec)
1.18/2.00	c 2	conflict literals     : 3859           (26.75 % deleted)
1.18/2.00	c 2	Memory used           : 5.22 MB
1.18/2.00	c 2	CPU time              : 0.06099 s
1.18/2.00	c 2	
1.18/2.00	c 2	SATISFIABLE
1.18/2.00	c 2	OK
1.18/2.00	c 2	FOUND: _COST <= 29
1.18/2.00	c 2	DECODING HOME/temp.out WITH HOME/temp.map
1.18/2.00	c 2	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.33/2.08	c 2	Decoding HOME/temp.out
1.48/2.15	c 2	OBJECTIVE _COST 29
1.48/2.15	o 29
1.48/2.15	v 1 0 2 0 0 1 2 1 0 1 2 1 1 2 2 0 2 0 2 0 2 1 2 0 2 2 0 0 2 1 0 2 1 1 0 2 0 2 2 2 0 0 0 1 1 0 1 2 0 1 2 1 1 1 1 1 1 1 2 0 1 0 0 0 2 1 2
1.48/2.15	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.48/2.19	c 2	OK
1.48/2.19	c 2	OBJECTIVE BOUND: 0 <= _COST <= 29
1.48/2.19	c 2	SEARCHING: _COST <= 14
1.48/2.19	c 2	============================[ Search Statistics ]==============================
1.48/2.19	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/2.19	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.48/2.19	c 2	===============================================================================
1.48/2.19	c 2	|       105 |    2609    77962   223668 |    25987      105     37 | 22.866 % |
1.55/2.20	c 2	|       206 |    2603    77962   223668 |    28586      206     30 | 44.298 % |
1.55/2.20	c 2	===============================================================================
1.55/2.20	c 2	restarts              : 6
1.55/2.20	c 2	conflicts             : 215           (2793 /sec)
1.55/2.20	c 2	decisions             : 876           (0.46 % random) (11378 /sec)
1.55/2.20	c 2	propagations          : 93545          (1215059 /sec)
1.55/2.20	c 2	conflict literals     : 6480           (26.61 % deleted)
1.55/2.20	c 2	Memory used           : 5.35 MB
1.55/2.20	c 2	CPU time              : 0.076988 s
1.55/2.20	c 2	
1.55/2.20	c 2	SATISFIABLE
1.55/2.20	c 2	OK
1.55/2.20	c 2	FOUND: _COST <= 14
1.55/2.20	c 2	DECODING HOME/temp.out WITH HOME/temp.map
1.55/2.20	c 2	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.55/2.33	c 2	Decoding HOME/temp.out
1.55/2.40	c 2	OBJECTIVE _COST 14
1.55/2.41	o 14
1.55/2.41	v 2 1 0 0 1 1 0 2 1 2 1 2 2 2 0 1 0 1 0 1 1 2 2 1 0 0 2 1 0 2 1 2 1 2 2 2 2 0 0 0 0 0 0 2 0 1 2 1 1 1 0 2 1 2 1 1 1 1 0 1 0 1 0 1 1 1 2
1.55/2.41	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.55/2.42	c 2	OK
1.55/2.42	c 2	OBJECTIVE BOUND: 0 <= _COST <= 14
1.55/2.42	c 2	SEARCHING: _COST <= 7
1.55/2.42	c 2	============================[ Search Statistics ]==============================
1.55/2.43	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.55/2.43	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.55/2.43	c 3	===============================================================================
1.55/2.43	c 3	|       215 |    2261    77962   223668 |    25987      215     30 | 44.298 % |
1.55/2.44	c 3	|       315 |    2261    77962   223668 |    28586      315     28 | 51.517 % |
1.55/2.45	c 3	|       465 |    2261    77962   223668 |    31444      465     29 | 51.517 % |
1.55/2.48	c 3	|       691 |    2261    77962   223668 |    34589      691     28 | 51.517 % |
1.78/2.54	c 3	|      1028 |    1968    12447    33178 |    38048      991     28 | 51.517 % |
1.78/2.54	c 3	===============================================================================
1.78/2.54	c 3	restarts              : 11
1.78/2.54	c 3	conflicts             : 1095          (5476 /sec)
1.78/2.54	c 3	decisions             : 1938          (0.72 % random) (9692 /sec)
1.78/2.54	c 3	propagations          : 399515         (1997885 /sec)
1.78/2.54	c 3	conflict literals     : 31047          (18.08 % deleted)
1.78/2.54	c 3	Memory used           : 5.35 MB
1.78/2.54	c 3	CPU time              : 0.199969 s
1.78/2.54	c 3	
1.78/2.54	c 3	SATISFIABLE
1.78/2.55	c 3	OK
1.78/2.55	c 3	FOUND: _COST <= 7
1.78/2.55	c 3	DECODING HOME/temp.out WITH HOME/temp.map
1.78/2.55	c 3	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.84/2.63	c 3	Decoding HOME/temp.out
1.84/2.69	c 3	OBJECTIVE _COST 7
1.84/2.69	o 7
1.84/2.69	v 1 2 1 2 1 1 2 0 0 0 2 0 0 2 1 1 1 1 1 1 1 2 1 2 2 2 1 1 2 0 2 0 2 0 2 2 1 1 1 1 1 1 1 2 1 1 0 2 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 2
1.84/2.70	c 3	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.84/2.71	c 3	OK
1.84/2.71	c 3	OBJECTIVE BOUND: 0 <= _COST <= 7
1.84/2.71	c 3	SEARCHING: _COST <= 3
1.84/2.72	c 3	============================[ Search Statistics ]==============================
1.84/2.73	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.84/2.73	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.84/2.73	c 3	===============================================================================
1.84/2.73	c 3	|      1095 |    1722     7957    20439 |     2652     1037     28 | 51.517 % |
1.84/2.73	c 3	|      1195 |    1722     7957    20439 |     2917     1137     28 | 57.578 % |
1.84/2.74	c 3	|      1345 |    1722     7957    20439 |     3209     1287     27 | 57.578 % |
1.84/2.76	c 3	|      1571 |    1722     7957    20439 |     3530     1513     27 | 57.578 % |
2.07/2.80	c 3	|      1908 |    1722     7957    20439 |     3883     1850     26 | 57.578 % |
2.07/2.86	c 3	|      2415 |    1722     7957    20439 |     4271     2357     26 | 57.578 % |
2.17/2.96	c 3	|      3174 |    1722     7957    20439 |     4698     3116     25 | 57.578 % |
2.37/3.11	c 3	|      4313 |    1722     7957    20439 |     5168     4255     25 | 57.578 % |
2.67/3.40	c 3	|      6021 |    1722     7957    20439 |     5685     5963     25 | 57.578 % |
3.07/3.80	c 4	|      8584 |    1722     7957    20439 |     6254     4284     25 | 57.578 % |
3.67/4.42	c 4	|     12430 |    1722     7957    20439 |     6879     8130     26 | 57.578 % |
4.66/5.40	c 5	|     18198 |    1722     7957    20439 |     7567     8982     27 | 57.578 % |
6.15/6.92	c 7	|     26847 |    1722     7957    20439 |     8324     7083     24 | 57.578 % |
8.54/9.37	c 9	|     39821 |    1722     7957    20439 |     9156     8832     24 | 57.578 % |
12.42/13.20	c 13	|     59283 |    1722     7957    20439 |    10072    10251     23 | 57.578 % |
18.79/19.66	c 20	|     88477 |    1722     7957    20439 |    11079     6934     21 | 57.578 % |
23.87/24.71	c 25	===============================================================================
23.87/24.71	c 25	restarts              : 27
23.87/24.71	c 25	conflicts             : 110427        (4998 /sec)
23.87/24.71	c 25	decisions             : 120812        (0.88 % random) (5468 /sec)
23.87/24.71	c 25	propagations          : 31552953       (1428146 /sec)
23.87/24.71	c 25	conflict literals     : 2786607        (31.04 % deleted)
23.87/24.71	c 25	Memory used           : 6.00 MB
23.87/24.71	c 25	CPU time              : 22.0936 s
23.87/24.71	c 25	
23.87/24.71	c 25	UNSATISFIABLE
23.87/24.71	c 25	OK
23.87/24.71	c 25	NOT FOUND: _COST <= 3
23.87/24.71	c 25	OK
23.87/24.71	c 25	OBJECTIVE BOUND: 4 <= _COST <= 7
23.87/24.71	c 25	SEARCHING: _COST <= 5
23.87/24.71	c 25	============================[ Search Statistics ]==============================
23.87/24.71	c 25	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.87/24.71	c 25	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
23.87/24.72	c 25	===============================================================================
23.87/24.72	c 25	|    110427 |    1714     7922    20358 |     2640     5710     21 | 57.578 % |
23.87/24.73	c 25	|    110529 |    1714     7922    20358 |     2904     2957     19 | 57.774 % |
23.87/24.75	c 25	|    110679 |    1714     7922    20358 |     3195     3107     19 | 57.774 % |
23.87/24.78	c 25	|    110904 |    1714     7922    20358 |     3514     3332     20 | 57.774 % |
23.97/24.82	c 25	|    111241 |    1714     7922    20358 |     3866     3669     21 | 57.774 % |
23.97/24.90	c 25	|    111747 |    1714     7922    20358 |     4252     4175     21 | 57.774 % |
24.16/25.01	c 25	|    112507 |    1714     7922    20358 |     4678     4935     22 | 57.774 % |
24.26/25.18	c 25	|    113646 |    1714     7922    20358 |     5145     6074     23 | 57.774 % |
24.56/25.46	c 26	|    115354 |    1714     7922    20358 |     5660     7782     23 | 57.774 % |
24.96/25.89	c 26	|    117916 |    1714     7922    20358 |     6226     6166     24 | 57.774 % |
25.66/26.57	c 27	|    121761 |    1714     7922    20358 |     6849     5412     24 | 57.774 % |
26.56/27.44	c 28	|    127527 |    1714     7922    20358 |     7534     6468     31 | 57.774 % |
28.15/29.05	c 29	|    136176 |    1714     7922    20358 |     8287     9959     28 | 57.774 % |
30.44/31.38	c 31	|    149150 |    1714     7922    20358 |     9116     6289     26 | 57.774 % |
34.32/35.22	c 35	|    168612 |    1714     7922    20358 |    10027     7738     31 | 57.774 % |
40.09/41.05	c 41	|    197804 |    1714     7922    20358 |    11030    11251     29 | 57.774 % |
49.04/50.10	c 50	|    241593 |    1714     7922    20358 |    12133    13476     31 | 57.774 % |
64.17/65.22	c 65	|    307277 |    1714     7922    20358 |    13347    11604     28 | 57.774 % |
86.76/87.95	c 88	|    405803 |    1714     7922    20358 |    14681    12822     26 | 57.774 % |
124.88/126.24	c 126	|    553593 |    1714     7922    20358 |    16150    11053     32 | 57.774 % |
183.10/184.78	c 185	|    775276 |    1714     7922    20358 |    17765    12606     36 | 57.774 % |
276.74/278.89	c 279	|   1107805 |    1714     7922    20358 |    19541    13810     27 | 57.774 % |
430.11/432.91	c 433	|   1606593 |    1714     7922    20358 |    21495    17864     32 | 57.774 % |
674.23/678.29	c 678	|   2354776 |    1714     7922    20358 |    23645    20880     27 | 57.774 % |
1004.73/1010.30	c 1010	===============================================================================
1004.73/1010.30	c 1010	restarts              : 51
1004.73/1010.30	c 1010	conflicts             : 3292167       (3283 /sec)
1004.73/1010.30	c 1010	decisions             : 3575028       (0.93 % random) (3565 /sec)
1004.73/1010.30	c 1010	propagations          : 919446845      (916776 /sec)
1004.73/1010.30	c 1010	conflict literals     : 101657687      (30.06 % deleted)
1004.73/1010.30	c 1010	Memory used           : 14.22 MB
1004.73/1010.30	c 1010	CPU time              : 1002.91 s
1004.73/1010.30	c 1010	
1004.73/1010.30	c 1010	UNSATISFIABLE
1004.73/1010.30	c 1010	OK
1004.73/1010.30	c 1010	NOT FOUND: _COST <= 5
1004.73/1010.31	c 1010	OK
1004.73/1010.31	c 1010	OBJECTIVE BOUND: 6 <= _COST <= 7
1004.73/1010.31	c 1010	SEARCHING: _COST <= 6
1004.73/1010.31	c 1010	============================[ Search Statistics ]==============================
1004.73/1010.31	c 1010	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1004.73/1010.31	c 1010	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1004.73/1010.31	c 1010	===============================================================================
1004.73/1010.31	c 1010	|   3292167 |    1708     7889    20277 |     2629    16386     28 | 57.774 % |
1004.73/1010.34	c 1010	|   3292267 |    1708     7889    20277 |     2892     4197     23 | 57.921 % |
1004.73/1010.37	c 1010	|   3292418 |    1708     7889    20277 |     3181     4348     24 | 57.921 % |
1004.83/1010.40	c 1010	|   3292644 |    1708     7889    20277 |     3500     4574     24 | 57.921 % |
1004.83/1010.46	c 1011	|   3292982 |    1708     7889    20277 |     3850     4912     23 | 57.921 % |
1004.93/1010.54	c 1011	|   3293488 |    1708     7889    20277 |     4235     5418     24 | 57.921 % |
1005.03/1010.66	c 1011	|   3294247 |    1708     7889    20277 |     4658     6177     24 | 57.921 % |
1005.23/1010.84	c 1011	|   3295386 |    1708     7889    20277 |     5124     7316     26 | 57.921 % |
1005.53/1011.11	c 1011	|   3297094 |    1708     7889    20277 |     5636     5023     26 | 57.921 % |
1005.93/1011.55	c 1012	|   3299656 |    1708     7889    20277 |     6200     7585     27 | 57.921 % |
1006.52/1012.16	c 1012	|   3303500 |    1708     7889    20277 |     6820     6839     26 | 57.921 % |
1007.52/1013.12	c 1013	|   3309267 |    1708     7889    20277 |     7502     7665     33 | 57.921 % |
1009.21/1014.85	c 1015	|   3317917 |    1708     7889    20277 |     8253     5903     27 | 57.921 % |
1011.50/1017.13	c 1017	|   3330893 |    1708     7889    20277 |     9078     7771     29 | 57.921 % |
1015.18/1020.83	c 1021	|   3350354 |    1708     7889    20277 |     9986     9125     32 | 57.921 % |
1021.05/1026.71	c 1027	|   3379547 |    1708     7889    20277 |    10984    12552     28 | 57.921 % |
1031.00/1036.77	c 1037	|   3423337 |    1708     7889    20277 |    12083     7253     32 | 57.921 % |
1032.89/1038.60	c 1039	===============================================================================
1032.89/1038.60	c 1039	restarts              : 68
1032.89/1038.60	c 1039	conflicts             : 3432852       (3329 /sec)
1032.89/1038.60	c 1039	decisions             : 3727798       (0.93 % random) (3615 /sec)
1032.89/1038.60	c 1039	propagations          : 960028664      (931101 /sec)
1032.89/1038.60	c 1039	conflict literals     : 106358002      (29.92 % deleted)
1032.89/1038.60	c 1039	Memory used           : 14.22 MB
1032.89/1038.60	c 1039	CPU time              : 1031.07 s
1032.89/1038.60	c 1039	
1032.89/1038.60	c 1039	SATISFIABLE
1032.89/1038.60	c 1039	OK
1032.89/1038.60	c 1039	FOUND: _COST <= 6
1032.89/1038.60	c 1039	DECODING HOME/temp.out WITH HOME/temp.map
1032.89/1038.60	c 1039	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1032.90/1038.76	c 1039	Decoding HOME/temp.out
1032.90/1038.83	c 1039	OBJECTIVE _COST 6
1032.90/1038.83	o 6
1032.90/1038.84	v 2 1 2 1 0 1 0 2 1 2 1 2 1 2 0 1 0 1 0 1 0 2 2 1 2 1 2 1 2 2 1 2 1 2 1 2 0 1 0 1 0 1 0 2 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 2 2
1032.90/1038.84	c 1039	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1033.10/1039.11	c 1039	OK
1033.10/1039.11	c 1039	OBJECTIVE _COST 6
1033.10/1039.11	s OPTIMUM FOUND
1033.10/1039.12	c 1039	CPU 1032.81 (0.06 0.02 1032.75 0.28)
1033.10/1039.12	c 1039	END Sat Jul 12 21:25:23 2008

Verifier Data (download as text)

OK	6	226
6 unsatisfied constraints, 226 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-1113711-1215889684/watcher-1113711-1215889684 -o /tmp/evaluation-result-1113711-1215889684/solver-1113711-1215889684 -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-1113711-1215889684.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.56 2.31 2.11 4/80 20336
/proc/meminfo: memFree=1850324/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=12268 CPUtime=0
/proc/20336/stat : 20336 (sugar++) R 20334 20336 19736 0 -1 4194304 348 0 0 0 0 0 0 0 21 0 1 0 45670908 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 272467982949 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/20336/statm: 3067 316 241 3 0 167 0

[startup+0.0768189 s]
/proc/loadavg: 2.56 2.31 2.11 4/80 20336
/proc/meminfo: memFree=1850324/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16740 CPUtime=0.05
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1143 0 0 0 4 1 0 0 20 0 1 0 45670908 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20336/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16740

[startup+0.102627 s]
/proc/loadavg: 2.56 2.31 2.11 4/80 20336
/proc/meminfo: memFree=1850324/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16740 CPUtime=0.05
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1219 128 0 0 4 1 0 0 17 0 1 0 45670908 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20336/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16740

[startup+0.301633 s]
/proc/loadavg: 2.56 2.31 2.11 4/80 20336
/proc/meminfo: memFree=1850324/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16740 CPUtime=0.05
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1219 128 0 0 4 1 0 0 17 0 1 0 45670908 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20336/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16740

[startup+0.701661 s]
/proc/loadavg: 2.56 2.31 2.11 4/80 20336
/proc/meminfo: memFree=1850324/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16740 CPUtime=0.36
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1296 4494 0 1 4 1 28 3 15 0 1 0 45670908 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20336/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 16740

[startup+1.50272 s]
/proc/loadavg: 2.56 2.31 2.11 3/91 20358
/proc/meminfo: memFree=1834940/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.18
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1584 14854 0 3 5 2 100 11 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 16872

[startup+3.10183 s]
/proc/loadavg: 2.56 2.31 2.11 5/92 20389
/proc/meminfo: memFree=1836596/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1831 29950 0 7 6 2 151 20 15 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=5472 CPUtime=0.58
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 1315 0 0 0 58 0 0 0 18 0 1 0 45671020 5603328 1254 996147200 134512640 135134323 4294956192 18446744073709551615 134529667 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 1368 1254 80 151 0 1214 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 22344

[startup+6.30103 s]
/proc/loadavg: 2.59 2.32 2.12 3/82 20409
/proc/meminfo: memFree=1840828/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1831 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=5472 CPUtime=3.76
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 1322 0 0 0 376 0 0 0 25 0 1 0 45671020 5603328 1261 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 1368 1261 80 151 0 1214 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 22344

[startup+12.7015 s]
/proc/loadavg: 2.55 2.31 2.12 3/82 20409
/proc/meminfo: memFree=1840900/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1831 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=5604 CPUtime=10.13
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 1356 0 0 0 1013 0 0 0 25 0 1 0 45671020 5738496 1295 996147200 134512640 135134323 4294956192 18446744073709551615 134532135 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 1401 1295 80 151 0 1247 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 22476

[startup+25.5013 s]
/proc/loadavg: 2.65 2.35 2.13 3/82 20409
/proc/meminfo: memFree=1840452/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 15 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=6144 CPUtime=22.87
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 1481 0 0 0 2286 1 0 0 25 0 1 0 45671020 6291456 1418 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 1536 1418 80 151 0 1382 0
Current children cumulated CPU time (s) 24.66
Current children cumulated vsize (KiB) 23016

[startup+51.1011 s]
/proc/loadavg: 2.77 2.40 2.15 3/82 20409
/proc/meminfo: memFree=1839172/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=7472 CPUtime=48.35
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 1803 0 0 0 4834 1 0 0 25 0 1 0 45671020 7651328 1740 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 1868 1740 80 151 0 1714 0
Current children cumulated CPU time (s) 50.14
Current children cumulated vsize (KiB) 24344

[startup+102.306 s]
/proc/loadavg: 2.71 2.44 2.18 3/82 20409
/proc/meminfo: memFree=1838148/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=8532 CPUtime=99.31
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 2056 0 0 0 9929 2 0 0 25 0 1 0 45671020 8736768 1993 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 2133 1993 80 151 0 1979 0
Current children cumulated CPU time (s) 101.1
Current children cumulated vsize (KiB) 25404

[startup+162.302 s]
/proc/loadavg: 2.85 2.53 2.22 3/82 20409
/proc/meminfo: memFree=1836932/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=9612 CPUtime=159.02
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 2347 0 0 0 15900 2 0 0 25 0 1 0 45671020 9842688 2284 996147200 134512640 135134323 4294956192 18446744073709551615 134529588 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 2403 2284 80 151 0 2249 0
Current children cumulated CPU time (s) 160.81
Current children cumulated vsize (KiB) 26484

[startup+222.302 s]
/proc/loadavg: 2.68 2.53 2.24 3/82 20409
/proc/meminfo: memFree=1836292/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=10296 CPUtime=218.72
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 2485 0 0 0 21870 2 0 0 25 0 1 0 45671020 10543104 2422 996147200 134512640 135134323 4294956192 18446744073709551615 134532322 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 2574 2422 80 151 0 2420 0
Current children cumulated CPU time (s) 220.51
Current children cumulated vsize (KiB) 27168

[startup+282.302 s]
/proc/loadavg: 2.82 2.60 2.28 3/82 20409
/proc/meminfo: memFree=1836036/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=10576 CPUtime=278.43
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 2551 0 0 0 27841 2 0 0 25 0 1 0 45671020 10829824 2488 996147200 134512640 135134323 4294956192 18446744073709551615 134529527 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 2644 2488 80 151 0 2490 0
Current children cumulated CPU time (s) 280.22
Current children cumulated vsize (KiB) 27448

[startup+342.302 s]
/proc/loadavg: 2.66 2.58 2.29 3/82 20409
/proc/meminfo: memFree=1835460/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=10988 CPUtime=338.15
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 2669 0 0 0 33812 3 0 0 25 0 1 0 45671020 11251712 2606 996147200 134512640 135134323 4294956192 18446744073709551615 134532019 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 2747 2606 80 151 0 2593 0
Current children cumulated CPU time (s) 339.94
Current children cumulated vsize (KiB) 27860

[startup+402.302 s]
/proc/loadavg: 2.54 2.56 2.30 3/82 20409
/proc/meminfo: memFree=1834884/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=11388 CPUtime=397.86
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 2780 0 0 0 39783 3 0 0 25 0 1 0 45671020 11661312 2717 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 2847 2717 80 151 0 2693 0
Current children cumulated CPU time (s) 399.65
Current children cumulated vsize (KiB) 28260

[startup+462.302 s]
/proc/loadavg: 2.57 2.56 2.31 3/82 20409
/proc/meminfo: memFree=1834244/2055920 swapFree=4192812/4192956

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


[startup+642.303 s]
/proc/loadavg: 2.52 2.55 2.35 3/82 20411
/proc/meminfo: memFree=1833156/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=12888 CPUtime=636.71
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3135 0 0 0 63668 3 0 0 25 0 1 0 45671020 13197312 3072 996147200 134512640 135134323 4294956192 18446744073709551615 134531982 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3222 3072 80 151 0 3068 0
Current children cumulated CPU time (s) 638.5
Current children cumulated vsize (KiB) 29760

[startup+702.303 s]
/proc/loadavg: 2.62 2.57 2.37 3/82 20411
/proc/meminfo: memFree=1833028/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=13024 CPUtime=696.43
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3172 0 0 0 69639 4 0 0 25 0 1 0 45671020 13336576 3109 996147200 134512640 135134323 4294956192 18446744073709551615 134528874 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3256 3109 80 151 0 3102 0
Current children cumulated CPU time (s) 698.22
Current children cumulated vsize (KiB) 29896

[startup+762.307 s]
/proc/loadavg: 2.57 2.58 2.38 3/82 20411
/proc/meminfo: memFree=1832516/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=13464 CPUtime=756.14
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3279 0 0 0 75610 4 0 0 25 0 1 0 45671020 13787136 3216 996147200 134512640 135134323 4294956192 18446744073709551615 134532004 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3366 3216 80 151 0 3212 0
Current children cumulated CPU time (s) 757.93
Current children cumulated vsize (KiB) 30336

[startup+822.303 s]
/proc/loadavg: 2.65 2.61 2.40 3/82 20411
/proc/meminfo: memFree=1832260/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=13740 CPUtime=815.85
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3332 0 0 0 81581 4 0 0 25 0 1 0 45671020 14069760 3269 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3435 3269 80 151 0 3281 0
Current children cumulated CPU time (s) 817.64
Current children cumulated vsize (KiB) 30612

[startup+882.303 s]
/proc/loadavg: 2.74 2.64 2.43 3/82 20411
/proc/meminfo: memFree=1831620/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=14268 CPUtime=875.56
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3470 0 0 0 87552 4 0 0 25 0 1 0 45671020 14610432 3407 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3567 3407 80 151 0 3413 0
Current children cumulated CPU time (s) 877.35
Current children cumulated vsize (KiB) 31140

[startup+942.303 s]
/proc/loadavg: 2.69 2.63 2.43 3/82 20411
/proc/meminfo: memFree=1831492/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=14424 CPUtime=935.27
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3495 0 0 0 93523 4 0 0 25 0 1 0 45671020 14770176 3432 996147200 134512640 135134323 4294956192 18446744073709551615 134530432 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3606 3432 80 151 0 3452 0
Current children cumulated CPU time (s) 937.06
Current children cumulated vsize (KiB) 31296

[startup+1002.3 s]
/proc/loadavg: 2.75 2.65 2.45 4/82 20411
/proc/meminfo: memFree=1831236/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=14560 CPUtime=994.98
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3528 0 0 0 99494 4 0 0 25 0 1 0 45671020 14909440 3465 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3640 3465 80 151 0 3486 0
Current children cumulated CPU time (s) 996.77
Current children cumulated vsize (KiB) 31432

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

[startup+1023.9 s]
/proc/loadavg: 2.76 2.66 2.46 3/82 20411
/proc/meminfo: memFree=1831172/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=14560 CPUtime=1016.47
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3530 0 0 0 101643 4 0 0 25 0 1 0 45671020 14909440 3465 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3640 3465 80 151 0 3486 0
Current children cumulated CPU time (s) 1018.26
Current children cumulated vsize (KiB) 31432

[startup+1030.3 s]
/proc/loadavg: 2.78 2.67 2.46 3/82 20411
/proc/meminfo: memFree=1831108/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=14560 CPUtime=1022.84
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3530 0 0 0 102280 4 0 0 25 0 1 0 45671020 14909440 3465 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3640 3465 80 151 0 3486 0
Current children cumulated CPU time (s) 1024.63
Current children cumulated vsize (KiB) 31432

[startup+1033.5 s]
/proc/loadavg: 2.78 2.67 2.46 3/82 20411
/proc/meminfo: memFree=1831108/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=14560 CPUtime=1026.03
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3530 0 0 0 102599 4 0 0 25 0 1 0 45671020 14909440 3465 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3640 3465 80 151 0 3486 0
Current children cumulated CPU time (s) 1027.82
Current children cumulated vsize (KiB) 31432

[startup+1036.7 s]
/proc/loadavg: 2.71 2.66 2.46 3/82 20411
/proc/meminfo: memFree=1831108/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=14560 CPUtime=1029.21
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3530 0 0 0 102917 4 0 0 25 0 1 0 45671020 14909440 3465 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3640 3465 80 151 0 3486 0
Current children cumulated CPU time (s) 1031
Current children cumulated vsize (KiB) 31432

[startup+1038.3 s]
/proc/loadavg: 2.74 2.66 2.46 3/82 20411
/proc/meminfo: memFree=1831108/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1833 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=14560 CPUtime=1030.8
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3530 0 0 0 103076 4 0 0 25 0 1 0 45671020 14909440 3465 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20359/statm: 3640 3465 80 151 0 3486 0
Current children cumulated CPU time (s) 1032.59
Current children cumulated vsize (KiB) 31432

[startup+1038.7 s]
/proc/loadavg: 2.74 2.66 2.46 3/82 20411
/proc/meminfo: memFree=1831108/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.79
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1865 29950 0 7 6 2 151 20 16 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=14560 CPUtime=1031.11
/proc/20359/stat : 20359 (minisat-inc) S 20336 20336 19736 0 -1 4194304 3532 0 0 0 103107 4 0 0 25 0 1 0 45671020 14909440 3465 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/20359/statm: 3640 3465 80 151 0 3486 0
Current children cumulated CPU time (s) 1032.9
Current children cumulated vsize (KiB) 31432

[startup+1039.1 s]
/proc/loadavg: 2.74 2.66 2.46 3/82 20411
/proc/meminfo: memFree=1831108/2055920 swapFree=4192812/4192956
[pid=20336] ppid=20334 vsize=16872 CPUtime=1.99
/proc/20336/stat : 20336 (sugar++) S 20334 20336 19736 0 -1 4194304 1898 33722 0 8 6 2 168 23 15 0 1 0 45670908 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20336/statm: 4218 1119 414 3 0 797 0
[pid=20359] ppid=20336 vsize=14560 CPUtime=1031.11
/proc/20359/stat : 20359 (minisat-inc) R 20336 20336 19736 0 -1 4194304 3532 0 0 0 103107 4 0 0 24 0 1 0 45671020 14909440 3465 996147200 134512640 135134323 4294956192 18446744073709551615 134533192 0 0 4096 3 0 0 0 17 0 0 0
/proc/20359/statm: 3640 3465 80 151 0 3486 0
Current children cumulated CPU time (s) 1033.1
Current children cumulated vsize (KiB) 31432

Child status: 0
Real time (s): 1039.12
CPU time (s): 1033.14
CPU user time (s): 1032.83
CPU system time (s): 0.309952
CPU usage (%): 99.4243
Max. virtual memory (cumulated for all children) (KiB): 890544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1032.83
system time used= 0.309952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39232
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= 3130
involuntary context switches= 16179

runsolver used 0.977851 second user time and 2.81957 second system time

The end

Launcher Data (download as text)

Begin job on node22 at 2008-07-12 21:08:04
IDJOB=1113711
IDBENCH=61628
IDSOLVER=367
FILE ID=node22/1113711-1215889684
PBS_JOBID= 7903613
Free space on /tmp= 66460 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/graphColoring/insertion/k-insertion/normalized-1-insertions-4-3.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-1113711-1215889684/watcher-1113711-1215889684 -o /tmp/evaluation-result-1113711-1215889684/solver-1113711-1215889684 -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-1113711-1215889684.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= b65012ecce27aaef791da98f50a83a63
RANDOM SEED=465126164

node22.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.253
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.253
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:       1850932 kB
Buffers:         12192 kB
Cached:          49416 kB
SwapCached:          0 kB
Active:         140192 kB
Inactive:        19804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850932 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             856 kB
Writeback:           0 kB
Mapped:         118680 kB
Slab:            29996 kB
Committed_AS:  1014020 kB
PageTables:       2048 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= 66460 MiB
End job on node22 at 2008-07-12 21:25:23