Trace number 1110589

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-incMSAT (TO)8 3600.12 3630.16

General information on the benchmark

Namecsp/golombRulerArity3/
normalized-ruler-44-10-a3.xml
MD5SUMdd4d223519a83ea5641752c7c726f6c4
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints7
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables55
Number of constraints1080
Maximum constraint arity3
Maximum domain size45
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1080
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.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08	c 0	BEGIN Sat Jul 12 04:23:06 2008
0.00/0.08	c 0	PID 17173
0.00/0.08	c 0	HOST node70.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-1110589-1215829386.xml TO HOME/temp.csp
0.00/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110589-1215829386.xml' 'HOME/temp.csp'
0.06/0.66	c 0	2 domains, 55 variables, 3 predicates, 0 relations, 1080 constraints
0.06/0.71	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.71	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.06/0.79	c 1	Parsing HOME/temp.csp
0.62/0.93	c 1	parsed 1140 expressions
0.62/0.94	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.62/0.96	c 1	MAX CSP: 1080 constraints
0.62/0.96	c 1	Converting to clausal form CSP
0.89/1.02	c 1	converted 223 (10%) expressions
0.89/1.06	c 1	converted 445 (20%) expressions
0.99/1.14	c 1	converted 667 (30%) expressions
0.99/1.17	c 1	converted 890 (40%) expressions
0.99/1.18	c 1	converted 1112 (50%) expressions
0.99/1.19	c 1	converted 1334 (60%) expressions
1.08/1.20	c 1	converted 1557 (70%) expressions
1.08/1.21	c 1	converted 1779 (80%) expressions
1.08/1.22	c 1	converted 2001 (90%) expressions
1.19/1.33	c 1	converted 2223 (100%) expressions
1.19/1.33	c 1	CSP : 2215 integers, 45 booleans, 3329 clauses, largest domain size 1621
1.19/1.33	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.19/1.33	c 1	Propagation in CSP
1.19/1.40	c 1	1076 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.28/1.40	c 1	CSP : 2215 integers, 45 booleans, 3329 clauses, largest domain size 1081
1.28/1.40	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.28/1.40	c 1	Simplifing CSP by introducing new Boolean variables
1.28/1.42	c 1	CSP : 2215 integers, 2025 booleans, 5309 clauses, largest domain size 1081
1.28/1.42	c 1	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.28/1.46	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.28/1.49	c 1	222 (10%) CSP integer variables are encoded (2320 clauses, 28062 bytes)
1.28/1.49	c 1	443 (20%) CSP integer variables are encoded (2320 clauses, 28062 bytes)
1.28/1.49	c 1	665 (30%) CSP integer variables are encoded (2320 clauses, 28062 bytes)
1.28/1.49	c 1	886 (40%) CSP integer variables are encoded (2320 clauses, 28062 bytes)
1.28/1.49	c 1	1108 (50%) CSP integer variables are encoded (2320 clauses, 28062 bytes)
1.38/1.51	c 1	1329 (60%) CSP integer variables are encoded (12815 clauses, 172664 bytes)
1.38/1.51	c 1	1551 (70%) CSP integer variables are encoded (15353 clauses, 210734 bytes)
1.38/1.52	c 1	1772 (80%) CSP integer variables are encoded (17931 clauses, 249404 bytes)
1.38/1.52	c 1	1994 (90%) CSP integer variables are encoded (19614 clauses, 274649 bytes)
1.38/1.52	c 1	2215 (100%) CSP integer variables are encoded (21877 clauses, 308594 bytes)
1.38/1.58	c 1	531 (10%) CSP clauses are encoded (38320 clauses, 608894 bytes)
1.48/1.62	c 1	1062 (20%) CSP clauses are encoded (54073 clauses, 902258 bytes)
1.48/1.66	c 1	1593 (30%) CSP clauses are encoded (69826 clauses, 1199578 bytes)
1.48/1.69	c 1	2124 (40%) CSP clauses are encoded (85579 clauses, 1510744 bytes)
1.58/1.74	c 2	2655 (50%) CSP clauses are encoded (101332 clauses, 1821910 bytes)
1.77/1.98	c 2	3186 (60%) CSP clauses are encoded (201585 clauses, 4031945 bytes)
3.24/3.47	c 3	3717 (70%) CSP clauses are encoded (807281 clauses, 16503640 bytes)
4.34/4.54	c 4	4248 (80%) CSP clauses are encoded (1396975 clauses, 29136757 bytes)
4.43/4.69	c 4	4779 (90%) CSP clauses are encoded (1473898 clauses, 30761270 bytes)
4.93/5.12	c 5	5309 (100%) CSP clauses are encoded (1698271 clauses, 35544896 bytes)
4.93/5.12	c 5	5309 CSP clauses encoded
4.93/5.12	c 5	Writing map file : HOME/temp.map
4.93/5.14	c 5	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.93/5.14	c 5	SAT : 26117 SAT variables, 1698271 SAT clauses, 35544896 bytes
4.93/5.14	c 5	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.01/5.20	c 5	OBJECTIVE minimize _COST
5.01/5.20	c 5	SOLVING HOME/temp.cnf
5.01/5.20	c 5	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
5.01/5.20	c 5	This is MiniSat 2.0 beta incremental
5.01/5.20	c 5	WARNING: for repeatability, setting FPU to use double precision
5.01/5.20	c 5	============================[ Problem Statistics ]=============================
5.01/5.20	c 5	|                                                                             |
5.01/5.20	c 5	|  Number of variables:  26117                                                |
5.01/5.20	c 5	|  Number of clauses:    1698271                                              |
5.79/6.00	c 6	|  Parsing time:         0.69         s                                       |
5.79/6.03	c 6	OK
5.79/6.03	c 6	OBJECTIVE BOUND: 0 <= _COST <= 
5.79/6.03	c 6	SEARCHING: _COST <= 540
5.79/6.03	c 6	============================[ Search Statistics ]==============================
5.79/6.03	c 6	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.79/6.03	c 6	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.79/6.03	c 6	===============================================================================
5.79/6.03	c 6	|         0 |   26117  1698271  5111762 |   566090        0    nan |  0.000 % |
5.99/6.22	c 6	===============================================================================
5.99/6.23	c 6	restarts              : 1
5.99/6.23	c 6	conflicts             : 65            (72 /sec)
5.99/6.23	c 6	decisions             : 1202          (0.67 % random) (1330 /sec)
5.99/6.23	c 6	propagations          : 42538          (47062 /sec)
5.99/6.23	c 6	conflict literals     : 1152           (5.11 % deleted)
5.99/6.23	c 6	Memory used           : 72.94 MB
5.99/6.23	c 6	CPU time              : 0.903862 s
5.99/6.23	c 6	
5.99/6.23	c 6	SATISFIABLE
5.99/6.24	c 6	OK
5.99/6.24	c 6	FOUND: _COST <= 540
5.99/6.24	s SATISFIABLE
5.99/6.24	c 6	DECODING HOME/temp.out WITH HOME/temp.map
5.99/6.24	c 6	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
6.03/6.32	c 6	Decoding HOME/temp.out
6.03/6.46	c 6	OBJECTIVE _COST 540
6.03/6.46	o 540
6.03/6.46	v 2 10 16 17 38 39 40 41 43 44 8 14 15 36 37 38 39 41 42 40 7 28 29 30 31 33 39 1 22 23 24 25 27 28 44 22 23 24 26 27 1 39 3 5 6 1 2 4 44 1 3 4 2 3 1
6.03/6.47	c 6	Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
6.25/6.51	c 6	OK
6.25/6.51	c 6	OBJECTIVE BOUND: 0 <= _COST <= 540
6.25/6.51	c 6	SEARCHING: _COST <= 270
6.25/6.51	c 6	============================[ Search Statistics ]==============================
6.25/6.51	c 6	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.25/6.51	c 6	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.25/6.51	c 6	===============================================================================
6.25/6.51	c 6	|        65 |   26117  1698271  5111762 |   566090       65     18 |  0.000 % |
6.35/6.62	c 6	|       165 |   20528  1698271  5111762 |   622699      165     20 | 22.744 % |
6.35/6.68	c 6	===============================================================================
6.35/6.69	c 6	restarts              : 3
6.35/6.69	c 6	conflicts             : 174           (160 /sec)
6.35/6.69	c 6	decisions             : 2942          (0.65 % random) (2699 /sec)
6.35/6.69	c 6	propagations          : 114648         (105198 /sec)
6.35/6.69	c 6	conflict literals     : 3355           (2.58 % deleted)
6.35/6.69	c 6	Memory used           : 73.97 MB
6.35/6.69	c 6	CPU time              : 1.08983 s
6.35/6.69	c 6	
6.35/6.69	c 6	SATISFIABLE
6.35/6.70	c 6	OK
6.35/6.70	c 6	FOUND: _COST <= 270
6.35/6.70	c 6	DECODING HOME/temp.out WITH HOME/temp.map
6.35/6.70	c 6	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
6.44/6.77	c 7	Decoding HOME/temp.out
6.44/7.11	c 7	OBJECTIVE _COST 270
6.44/7.11	o 270
6.44/7.12	v 5 14 38 33 39 41 43 44 44 44 42 38 29 34 36 44 43 39 37 24 42 44 40 43 43 43 30 2 35 38 43 44 43 44 6 43 41 44 44 31 40 4 5 5 28 32 44 32 3 33 39 33 42 42 41
6.44/7.12	c 7	Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
6.44/7.14	c 7	OK
6.44/7.14	c 7	OBJECTIVE BOUND: 0 <= _COST <= 270
6.44/7.14	c 7	SEARCHING: _COST <= 135
6.44/7.15	c 7	============================[ Search Statistics ]==============================
6.44/7.16	c 7	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.44/7.16	c 7	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.44/7.16	c 7	===============================================================================
6.44/7.16	c 7	|       174 |   20177  1698271  5111762 |   566090      174     19 | 22.744 % |
7.12/7.46	c 7	|       274 |   20177  1698271  5111762 |   622699      274     26 | 35.150 % |
7.21/7.55	c 7	===============================================================================
7.21/7.55	c 7	restarts              : 5
7.21/7.55	c 7	conflicts             : 296           (199 /sec)
7.21/7.55	c 7	decisions             : 3989          (0.60 % random) (2676 /sec)
7.21/7.55	c 7	propagations          : 316731         (212461 /sec)
7.21/7.55	c 7	conflict literals     : 7389           (9.87 % deleted)
7.21/7.55	c 7	Memory used           : 74.62 MB
7.21/7.55	c 7	CPU time              : 1.49077 s
7.21/7.55	c 7	
7.21/7.55	c 7	SATISFIABLE
7.21/7.56	c 7	OK
7.21/7.56	c 7	FOUND: _COST <= 135
7.21/7.56	c 7	DECODING HOME/temp.out WITH HOME/temp.map
7.21/7.56	c 7	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.29/7.65	c 7	Decoding HOME/temp.out
7.39/7.80	c 8	OBJECTIVE _COST 69
7.39/7.80	o 69
7.49/7.80	v 0 1 12 18 20 23 25 44 44 44 10 12 18 20 23 25 44 39 41 11 17 43 22 42 43 4 43 9 8 40 13 32 42 42 2 5 44 26 26 29 3 5 30 24 28 2 31 21 21 38 19 16 15 7 19
7.49/7.80	c 8	Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
7.49/7.86	c 8	OK
7.49/7.86	c 8	OBJECTIVE BOUND: 0 <= _COST <= 69
7.49/7.86	c 8	SEARCHING: _COST <= 34
7.49/7.86	c 8	============================[ Search Statistics ]==============================
7.49/7.86	c 8	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.49/7.86	c 8	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.49/7.86	c 8	===============================================================================
7.49/7.86	c 8	|       296 |   16937  1698271  5111762 |   566090      296     25 | 35.150 % |
7.68/8.06	c 8	|       396 |   16936  1698271  5111762 |   622699      396     23 | 48.463 % |
7.98/8.39	c 8	|       547 |   16936  1698271  5111762 |   684969      547     21 | 48.463 % |
8.27/8.61	c 8	===============================================================================
8.27/8.61	c 8	restarts              : 8
8.27/8.61	c 8	conflicts             : 726           (323 /sec)
8.27/8.61	c 8	decisions             : 5263          (0.57 % random) (2338 /sec)
8.27/8.61	c 8	propagations          : 859830         (382035 /sec)
8.27/8.61	c 8	conflict literals     : 14377          (13.63 % deleted)
8.27/8.61	c 8	Memory used           : 74.88 MB
8.27/8.61	c 8	CPU time              : 2.25066 s
8.27/8.61	c 8	
8.27/8.61	c 8	SATISFIABLE
8.27/8.62	c 8	OK
8.27/8.62	c 8	FOUND: _COST <= 34
8.27/8.62	c 8	DECODING HOME/temp.out WITH HOME/temp.map
8.27/8.62	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'
8.27/8.70	c 8	Decoding HOME/temp.out
8.65/9.04	c 9	OBJECTIVE _COST 34
8.65/9.04	o 34
8.65/9.05	v 13 24 37 41 38 42 43 44 44 44 11 26 28 25 29 30 44 31 31 13 27 14 18 19 20 17 20 12 22 5 8 7 7 37 10 23 2 9 3 3 4 5 41 24 6 1 2 40 42 38 1 43 16 36 39
8.65/9.05	c 9	Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
8.72/9.10	c 9	OK
8.72/9.10	c 9	OBJECTIVE BOUND: 0 <= _COST <= 34
8.72/9.10	c 9	SEARCHING: _COST <= 17
8.72/9.11	c 9	============================[ Search Statistics ]==============================
8.72/9.12	c 9	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.72/9.12	c 9	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.72/9.12	c 9	===============================================================================
8.72/9.12	c 9	|       726 |   13460  1698271  5111762 |   566090      726     20 | 48.463 % |
8.91/9.34	c 9	|       827 |   13460  1698271  5111762 |   622699      827     19 | 53.337 % |
9.11/9.55	c 9	|       977 |   13460  1698271  5111762 |   684969      977     18 | 53.337 % |
9.60/10.01	c 10	|      1202 |   13460  1698271  5111762 |   753466     1202     18 | 53.337 % |
10.11/10.56	c 10	|      1541 |   13460  1698271  5111762 |   828812     1541     17 | 53.337 % |
11.20/11.64	c 11	|      2048 |   13460  1698271  5111762 |   911694     2048     17 | 53.337 % |
12.89/13.36	c 13	|      2808 |   13460  1698271  5111762 |  1002863     2808     16 | 53.337 % |
15.27/15.73	c 16	|      3947 |   13460  1698271  5111762 |  1103149     3947     16 | 53.337 % |
19.13/19.68	c 19	|      5656 |   12187   289627   926574 |  1213464     5621     17 | 53.337 % |
22.00/22.51	c 22	|      8218 |   12187   289627   926574 |  1334811     8183     17 | 53.337 % |
22.49/23.10	c 23	===============================================================================
22.59/23.10	c 23	restarts              : 18
22.59/23.10	c 23	conflicts             : 8814          (547 /sec)
22.59/23.10	c 23	decisions             : 15687         (0.72 % random) (973 /sec)
22.59/23.10	c 23	propagations          : 12138918       (753289 /sec)
22.59/23.10	c 23	conflict literals     : 149797         (30.33 % deleted)
22.59/23.10	c 23	Memory used           : 75.14 MB
22.59/23.10	c 23	CPU time              : 16.1146 s
22.59/23.10	c 23	
22.59/23.10	c 23	SATISFIABLE
22.59/23.11	c 23	OK
22.59/23.11	c 23	FOUND: _COST <= 17
22.59/23.11	c 23	DECODING HOME/temp.out WITH HOME/temp.map
22.59/23.11	c 23	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
22.59/23.19	c 23	Decoding HOME/temp.out
22.60/23.34	c 23	OBJECTIVE _COST 17
22.60/23.34	o 17
22.60/23.34	v 0 3 9 13 20 43 28 44 44 42 3 9 13 20 43 28 44 36 42 6 10 17 40 25 41 41 39 4 11 34 19 35 32 33 7 30 15 31 31 29 23 8 24 12 22 5 1 37 38 16 16 14 21 18 27
22.60/23.34	c 23	Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
22.60/23.40	c 23	OK
22.60/23.40	c 23	OBJECTIVE BOUND: 0 <= _COST <= 17
22.60/23.40	c 23	SEARCHING: _COST <= 8
22.85/23.40	c 23	============================[ Search Statistics ]==============================
22.85/23.40	c 23	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.85/23.40	c 23	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
22.85/23.40	c 23	===============================================================================
22.85/23.40	c 23	|      8814 |   11038   241946   786961 |    80648     8695     17 | 53.337 % |
22.85/23.47	c 23	|      8914 |   11038   241946   786961 |    88713     8795     17 | 57.737 % |
22.95/23.54	c 23	|      9064 |   11038   241946   786961 |    97584     8945     17 | 57.737 % |
23.05/23.69	c 23	|      9289 |   11038   241946   786961 |   107343     9170     17 | 57.737 % |
23.34/23.97	c 24	|      9626 |   11038   241946   786961 |   118077     9507     18 | 57.737 % |
23.74/24.30	c 24	|     10132 |   11038   241946   786961 |   129885    10013     18 | 57.737 % |
24.14/24.73	c 25	|     10891 |   11038   241946   786961 |   142874    10772     19 | 57.737 % |
25.72/26.38	c 26	|     12031 |   11038   241946   786961 |   157161    11912     20 | 57.737 % |
27.21/27.82	c 28	|     13739 |   11038   241946   786961 |   172877    13620     22 | 57.737 % |
29.48/30.13	c 30	|     16301 |   11038   241946   786961 |   190165    16182     25 | 57.737 % |
33.64/34.36	c 34	|     20145 |   11038   241946   786961 |   209181    20026     29 | 57.737 % |
38.20/38.97	c 39	|     25912 |   11038   241946   786961 |   230100    25793     32 | 57.737 % |
46.21/47.08	c 47	|     34561 |   11038   241946   786961 |   253110    34442     38 | 57.737 % |
59.88/60.81	c 61	|     47536 |   11038   241946   786961 |   278421    47417     42 | 57.737 % |
81.66/82.86	c 83	|     66997 |   11038   241946   786961 |   306263    66878     46 | 57.737 % |
120.87/122.44	c 122	|     96191 |   11038   241946   786961 |   336889    96072     51 | 57.737 % |
191.96/194.24	c 194	|    139981 |   11038   241946   786961 |   370578   139862     51 | 57.737 % |
317.04/320.54	c 320	|    205666 |   11038   241946   786961 |   407636   205547     51 | 57.737 % |
522.81/528.37	c 528	|    304192 |   11038   241946   786961 |   448399   304073     60 | 57.737 % |
1027.26/1037.76	c 1038	|    451981 |   11038   241946   786961 |   493239   451862     63 | 57.737 % |
1697.60/1714.73	c 1715	|    673664 |   11038   241946   786961 |   542563   184172    108 | 57.737 % |
2298.53/2321.98	c 2322	===============================================================================
2298.53/2321.98	c 2322	restarts              : 39
2298.53/2321.98	c 2322	conflicts             : 851575        (372 /sec)
2298.53/2321.98	c 2322	decisions             : 998239        (0.34 % random) (436 /sec)
2298.53/2321.98	c 2322	propagations          : 403511063      (176090 /sec)
2298.53/2321.98	c 2322	conflict literals     : 68904755       (11.61 % deleted)
2298.53/2321.98	c 2322	Memory used           : 206.02 MB
2298.53/2321.98	c 2322	CPU time              : 2291.5 s
2298.53/2321.98	c 2322	
2298.53/2321.98	c 2322	SATISFIABLE
2298.53/2321.99	c 2322	OK
2298.53/2321.99	c 2322	FOUND: _COST <= 8
2298.53/2321.99	c 2322	DECODING HOME/temp.out WITH HOME/temp.map
2298.53/2321.99	c 2322	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2298.63/2322.08	c 2322	Decoding HOME/temp.out
2298.90/2322.36	c 2322	OBJECTIVE _COST 8
2298.90/2322.36	o 8
2298.90/2322.37	v 1 3 12 24 29 30 36 40 43 44 2 11 23 28 29 35 39 42 43 9 21 26 27 33 37 40 41 12 17 18 24 25 31 32 5 30 38 16 19 20 44 22 11 14 15 6 10 13 34 36 7 8 3 4 1
2298.90/2322.37	c 2322	Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2299.18/2322.84	c 2323	OK
2299.18/2322.84	c 2323	OBJECTIVE BOUND: 0 <= _COST <= 8
2299.18/2322.84	c 2323	SEARCHING: _COST <= 4
2299.18/2322.84	c 2323	============================[ Search Statistics ]==============================
2299.18/2322.84	c 2323	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2299.18/2322.84	c 2323	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2299.18/2322.84	c 2323	===============================================================================
2299.18/2322.84	c 2323	|    851575 |    9810   214245   707533 |    71415   362083    103 | 57.737 % |
2305.64/2329.31	c 2329	|    851677 |    9810   214245   707533 |    78556    26262     69 | 62.438 % |
2305.84/2329.56	c 2329	|    851827 |    9810   214245   707533 |    86412    26412     69 | 62.438 % |
2306.24/2329.98	c 2330	|    852053 |    9810   214245   707533 |    95053    26638     68 | 62.438 % |
2306.64/2330.37	c 2330	|    852392 |    9810   214245   707533 |   104558    26977     68 | 62.438 % |
2307.14/2330.86	c 2331	|    852899 |    9810   214245   707533 |   115014    27484     68 | 62.438 % |
2308.24/2331.90	c 2332	|    853658 |    9810   214245   707533 |   126516    28243     67 | 62.438 % |
2309.43/2333.19	c 2333	|    854797 |    9810   214245   707533 |   139167    29382     66 | 62.438 % |
2311.02/2334.79	c 2335	|    856505 |    9810   214245   707533 |   153084    31090     64 | 62.438 % |
2314.00/2337.76	c 2338	|    859068 |    9810   214245   707533 |   168392    33653     63 | 62.438 % |
2317.99/2341.73	c 2342	|    862913 |    9810   214245   707533 |   185232    37498     62 | 62.438 % |
2323.85/2347.69	c 2347	|    868679 |    9810   214245   707533 |   203755    43264     59 | 62.438 % |
2334.30/2358.17	c 2358	|    877328 |    9810   214245   707533 |   224130    51913     58 | 62.438 % |
2353.01/2376.94	c 2377	|    890302 |    9810   214245   707533 |   246543    64887     57 | 62.438 % |
2391.81/2415.92	c 2416	|    909763 |    9810   214245   707533 |   271198    84348     61 | 62.438 % |
2449.63/2474.02	c 2474	|    938956 |    9810   214245   707533 |   298318   113541     64 | 62.438 % |
2540.29/2565.15	c 2565	|    982747 |    9810   214245   707533 |   328149   157332     65 | 62.438 % |
2718.61/2744.31	c 2744	|   1048431 |    9810   214245   707533 |   360964   223016     70 | 62.438 % |
3033.24/3060.54	c 3060	|   1146958 |    9810   214245   707533 |   397061   321543     72 | 62.438 % |
3596.36/3626.41	c 3626	|   1294747 |    9810   214245   707533 |   436767    75422     91 | 62.438 % |
3600.04/3630.11	c ERROR INTERRUPTED
3600.04/3630.15	c 3630	CPU 3598.92 (0.07 0.03 3598.85 1.12)
3600.04/3630.15	c 3630	END Sat Jul 12 05:23:36 2008

Verifier Data (download as text)

OK	8	1072
8 unsatisfied constraints, 1072 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-1110589-1215829386/watcher-1110589-1215829386 -o /tmp/evaluation-result-1110589-1215829386/solver-1110589-1215829386 -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-1110589-1215829386.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: 1.92 1.98 1.99 4/87 17173
/proc/meminfo: memFree=1659688/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=12268 CPUtime=0
/proc/17173/stat : 17173 (sugar++) R 17171 17173 15275 0 -1 4194304 348 0 0 0 0 0 0 0 22 0 1 0 39636371 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 233402235493 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/17173/statm: 3067 316 241 3 0 167 0

[startup+0.0948729 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 17173
/proc/meminfo: memFree=1659688/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16740 CPUtime=0.06
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 39636371 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.101871 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 17173
/proc/meminfo: memFree=1659688/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16740 CPUtime=0.06
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 39636371 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.301884 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 17173
/proc/meminfo: memFree=1659688/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16740 CPUtime=0.06
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 39636371 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701924 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 17173
/proc/meminfo: memFree=1659688/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16740 CPUtime=0.06
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1236 128 0 0 5 1 0 0 15 0 1 0 39636371 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+1.50301 s]
/proc/loadavg: 1.92 1.98 1.99 3/98 17195
/proc/meminfo: memFree=1649936/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16740 CPUtime=0.62
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1297 4803 0 1 5 1 54 2 15 0 1 0 39636371 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4185 1104 409 3 0 764 0
[pid=17186] ppid=17173 vsize=5356 CPUtime=0
/proc/17186/stat : 17186 (sh) S 17173 17173 15275 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39636443 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17186/statm: 1339 233 193 169 0 50 0
[pid=17187] ppid=17186 vsize=868492 CPUtime=0.76
/proc/17187/stat : 17187 (java) S 17186 17173 15275 0 -1 0 6899 0 1 0 71 5 0 0 18 0 9 0 39636443 889335808 6133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17187/statm: 217123 6133 2562 9 0 211670 0
[pid=17187/tid=17188] ppid=17186 vsize=868492 CPUtime=0.44
/proc/17187/task/17188/stat : 17188 (java) R 17186 17173 15275 0 -1 64 2710 0 1 0 42 2 0 0 18 0 9 0 39636444 889335808 6133 996147200 134512640 134550740 4294955920 18446744073709551615 4126963429 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17189] ppid=17186 vsize=868492 CPUtime=0.07
/proc/17187/task/17189/stat : 17189 (java) S 17186 17173 15275 0 -1 64 2020 0 0 0 7 0 0 0 16 0 9 0 39636445 889335808 6133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17190] ppid=17186 vsize=868492 CPUtime=0
/proc/17187/task/17190/stat : 17190 (java) S 17186 17173 15275 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39636445 889335808 6133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17191] ppid=17186 vsize=868492 CPUtime=0
/proc/17187/task/17191/stat : 17191 (java) S 17186 17173 15275 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39636445 889335808 6133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17192] ppid=17186 vsize=868492 CPUtime=0
/proc/17187/task/17192/stat : 17192 (java) S 17186 17173 15275 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39636447 889335808 6133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17193] ppid=17186 vsize=868492 CPUtime=0.22
/proc/17187/task/17193/stat : 17193 (java) S 17186 17173 15275 0 -1 64 1476 0 0 0 22 0 0 0 16 0 9 0 39636447 889335808 6133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17194] ppid=17186 vsize=868492 CPUtime=0
/proc/17187/task/17194/stat : 17194 (java) S 17186 17173 15275 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39636447 889335808 6133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17195] ppid=17186 vsize=868492 CPUtime=0
/proc/17187/task/17195/stat : 17195 (java) S 17186 17173 15275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39636447 889335808 6133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 890588

[startup+3.10217 s]
/proc/loadavg: 1.92 1.98 1.99 3/98 17195
/proc/meminfo: memFree=1637392/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16740 CPUtime=0.62
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1297 4803 0 1 5 1 54 2 15 0 1 0 39636371 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4185 1104 409 3 0 764 0
[pid=17186] ppid=17173 vsize=5356 CPUtime=0
/proc/17186/stat : 17186 (sh) S 17173 17173 15275 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39636443 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17186/statm: 1339 233 193 169 0 50 0
[pid=17187] ppid=17186 vsize=868492 CPUtime=2.33
/proc/17187/stat : 17187 (java) S 17186 17173 15275 0 -1 0 7302 0 1 0 218 15 0 0 18 0 9 0 39636443 889335808 6152 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17187/statm: 217123 6152 2562 9 0 211670 0
[pid=17187/tid=17188] ppid=17186 vsize=868492 CPUtime=1.89
/proc/17187/task/17188/stat : 17188 (java) R 17186 17173 15275 0 -1 64 3095 0 1 0 178 11 0 0 25 0 9 0 39636444 889335808 6152 996147200 134512640 134550740 4294955920 18446744073709551615 4126966690 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17189] ppid=17186 vsize=868492 CPUtime=0.17
/proc/17187/task/17189/stat : 17189 (java) S 17186 17173 15275 0 -1 64 2020 0 0 0 15 2 0 0 16 0 9 0 39636445 889335808 6152 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17190] ppid=17186 vsize=868492 CPUtime=0
/proc/17187/task/17190/stat : 17190 (java) S 17186 17173 15275 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39636445 889335808 6152 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17191] ppid=17186 vsize=868492 CPUtime=0
/proc/17187/task/17191/stat : 17191 (java) S 17186 17173 15275 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39636445 889335808 6152 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17192] ppid=17186 vsize=868492 CPUtime=0
/proc/17187/task/17192/stat : 17192 (java) S 17186 17173 15275 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39636447 889335808 6152 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17193] ppid=17186 vsize=868492 CPUtime=0.25
/proc/17187/task/17193/stat : 17193 (java) S 17186 17173 15275 0 -1 64 1494 0 0 0 25 0 0 0 16 0 9 0 39636447 889335808 6152 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17194] ppid=17186 vsize=868492 CPUtime=0
/proc/17187/task/17194/stat : 17194 (java) S 17186 17173 15275 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39636447 889335808 6152 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17187/tid=17195] ppid=17186 vsize=868492 CPUtime=0
/proc/17187/task/17195/stat : 17195 (java) S 17186 17173 15275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39636447 889335808 6152 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 890588

[startup+6.30149 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 17196
/proc/meminfo: memFree=1601752/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=5.01
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1543 13038 0 2 6 2 457 36 15 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=74688 CPUtime=1.02
/proc/17196/stat : 17196 (minisat-inc) S 17173 17173 15275 0 -1 4194304 17964 0 0 0 91 11 0 0 25 0 1 0 39636892 76480512 17911 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/17196/statm: 18672 17911 78 151 0 18518 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 91560

[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 17236
/proc/meminfo: memFree=1546776/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.35
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1791 28574 0 6 7 3 578 47 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=76804 CPUtime=5.95
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 18502 0 0 0 582 13 0 0 25 0 1 0 39636892 78647296 18443 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17196/statm: 19201 18443 80 151 0 19047 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 93676

[startup+25.5014 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 17246
/proc/meminfo: memFree=1546776/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.58
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1861 32456 0 7 7 3 598 50 15 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=76944 CPUtime=18.35
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 18517 0 0 0 1822 13 0 0 25 0 1 0 39636892 78790656 18456 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17196/statm: 19236 18456 80 151 0 19082 0
Current children cumulated CPU time (s) 24.93
Current children cumulated vsize (KiB) 93816

[startup+51.102 s]
/proc/loadavg: 1.96 1.98 1.99 3/89 17246
/proc/meminfo: memFree=1546776/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.58
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1861 32456 0 7 7 3 598 50 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=77088 CPUtime=43.7
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 18570 0 0 0 4357 13 0 0 25 0 1 0 39636892 78938112 18509 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17196/statm: 19272 18509 80 151 0 19118 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 93960

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 17246
/proc/meminfo: memFree=1546648/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.58
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1861 32456 0 7 7 3 598 50 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=77288 CPUtime=94.39
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 18613 0 0 0 9426 13 0 0 25 0 1 0 39636892 79142912 18552 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17196/statm: 19322 18552 80 151 0 19168 0
Current children cumulated CPU time (s) 100.97
Current children cumulated vsize (KiB) 94160

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 17246
/proc/meminfo: memFree=1546456/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.58
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1861 32456 0 7 7 3 598 50 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=77468 CPUtime=153.79
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 18651 0 0 0 15366 13 0 0 25 0 1 0 39636892 79327232 18590 996147200 134512640 135134323 4294956192 18446744073709551615 134528318 0 0 4096 3 0 0 0 17 1 0 0
/proc/17196/statm: 19367 18590 80 151 0 19213 0
Current children cumulated CPU time (s) 160.37
Current children cumulated vsize (KiB) 94340

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 17246
/proc/meminfo: memFree=1546200/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.58
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1861 32456 0 7 7 3 598 50 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=77960 CPUtime=213.2
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 18719 0 0 0 21307 13 0 0 25 0 1 0 39636892 79831040 18658 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17196/statm: 19490 18658 80 151 0 19336 0
Current children cumulated CPU time (s) 219.78

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

[pid=17196] ppid=17173 vsize=210956 CPUtime=2888.78
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51649 0 0 0 288823 55 0 0 25 0 1 0 39636892 216018944 51578 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52739 51578 80 151 0 52585 0
Current children cumulated CPU time (s) 2895.73
Current children cumulated vsize (KiB) 227828

[startup+2982.3 s]
/proc/loadavg: 2.47 2.57 2.46 4/88 17300
/proc/meminfo: memFree=1351968/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210956 CPUtime=2948.48
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51649 0 0 0 294793 55 0 0 25 0 1 0 39636892 216018944 51578 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52739 51578 80 151 0 52585 0
Current children cumulated CPU time (s) 2955.43
Current children cumulated vsize (KiB) 227828

[startup+3042.3 s]
/proc/loadavg: 2.51 2.57 2.46 4/88 17300
/proc/meminfo: memFree=1351968/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210956 CPUtime=3008.18
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51649 0 0 0 300763 55 0 0 25 0 1 0 39636892 216018944 51578 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52739 51578 80 151 0 52585 0
Current children cumulated CPU time (s) 3015.13
Current children cumulated vsize (KiB) 227828

[startup+3102.3 s]
/proc/loadavg: 2.58 2.57 2.47 4/88 17300
/proc/meminfo: memFree=1351968/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210956 CPUtime=3067.89
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51649 0 0 0 306734 55 0 0 25 0 1 0 39636892 216018944 51578 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52739 51578 80 151 0 52585 0
Current children cumulated CPU time (s) 3074.84
Current children cumulated vsize (KiB) 227828

[startup+3162.3 s]
/proc/loadavg: 2.73 2.61 2.48 4/88 17300
/proc/meminfo: memFree=1351968/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210956 CPUtime=3127.6
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51649 0 0 0 312704 56 0 0 25 0 1 0 39636892 216018944 51578 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52739 51578 80 151 0 52585 0
Current children cumulated CPU time (s) 3134.55
Current children cumulated vsize (KiB) 227828

[startup+3222.3 s]
/proc/loadavg: 2.53 2.58 2.48 4/88 17300
/proc/meminfo: memFree=1351968/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210956 CPUtime=3187.3
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51649 0 0 0 318674 56 0 0 25 0 1 0 39636892 216018944 51578 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52739 51578 80 151 0 52585 0
Current children cumulated CPU time (s) 3194.25
Current children cumulated vsize (KiB) 227828

[startup+3282.3 s]
/proc/loadavg: 2.61 2.59 2.48 4/88 17300
/proc/meminfo: memFree=1351840/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210956 CPUtime=3247.01
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51650 0 0 0 324645 56 0 0 25 0 1 0 39636892 216018944 51579 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52739 51579 80 151 0 52585 0
Current children cumulated CPU time (s) 3253.96
Current children cumulated vsize (KiB) 227828

[startup+3342.3 s]
/proc/loadavg: 2.54 2.57 2.48 3/88 17300
/proc/meminfo: memFree=1351840/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210956 CPUtime=3306.71
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51651 0 0 0 330615 56 0 0 25 0 1 0 39636892 216018944 51580 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52739 51580 80 151 0 52585 0
Current children cumulated CPU time (s) 3313.66
Current children cumulated vsize (KiB) 227828

[startup+3402.31 s]
/proc/loadavg: 2.63 2.59 2.49 3/88 17302
/proc/meminfo: memFree=1351712/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210956 CPUtime=3366.41
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51652 0 0 0 336585 56 0 0 25 0 1 0 39636892 216018944 51581 996147200 134512640 135134323 4294956192 18446744073709551615 134532322 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52739 51581 80 151 0 52585 0
Current children cumulated CPU time (s) 3373.36
Current children cumulated vsize (KiB) 227828

[startup+3462.3 s]
/proc/loadavg: 2.57 2.57 2.49 3/88 17302
/proc/meminfo: memFree=1351712/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210956 CPUtime=3426.12
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51652 0 0 0 342556 56 0 0 25 0 1 0 39636892 216018944 51581 996147200 134512640 135134323 4294956192 18446744073709551615 134531911 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52739 51581 80 151 0 52585 0
Current children cumulated CPU time (s) 3433.07
Current children cumulated vsize (KiB) 227828

[startup+3522.3 s]
/proc/loadavg: 2.57 2.57 2.49 4/88 17302
/proc/meminfo: memFree=1351712/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210928 CPUtime=3485.82
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51652 0 0 0 348526 56 0 0 25 0 1 0 39636892 215990272 51581 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52732 51581 80 151 0 52578 0
Current children cumulated CPU time (s) 3492.77
Current children cumulated vsize (KiB) 227800

[startup+3582.3 s]
/proc/loadavg: 2.44 2.54 2.48 5/88 17302
/proc/meminfo: memFree=1351712/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210928 CPUtime=3545.52
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51652 0 0 0 354496 56 0 0 25 0 1 0 39636892 215990272 51581 996147200 134512640 135134323 4294956192 18446744073709551615 134532046 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52732 51581 80 151 0 52578 0
Current children cumulated CPU time (s) 3552.47
Current children cumulated vsize (KiB) 227800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3630.1 s]
/proc/loadavg: 2.42 2.51 2.47 4/88 17302
/proc/meminfo: memFree=1351712/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210928 CPUtime=3593.09
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51654 0 0 0 359252 57 0 0 25 0 1 0 39636892 215990272 51583 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52732 51583 80 151 0 52578 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 227800

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

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

[startup+3630.1 s]
/proc/loadavg: 2.42 2.51 2.47 4/88 17302
/proc/meminfo: memFree=1351712/2055920 swapFree=4176480/4192956
[pid=17173] ppid=17171 vsize=16872 CPUtime=6.95
/proc/17173/stat : 17173 (sugar++) S 17171 17173 15275 0 -1 4194304 1931 36349 0 8 7 3 633 52 16 0 1 0 39636371 17276928 1146 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17173/statm: 4218 1146 414 3 0 797 0
[pid=17196] ppid=17173 vsize=210928 CPUtime=3593.09
/proc/17196/stat : 17196 (minisat-inc) R 17173 17173 15275 0 -1 4194304 51654 0 0 0 359252 57 0 0 25 0 1 0 39636892 215990272 51583 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17196/statm: 52732 51583 80 151 0 52578 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 227800

Child status: 0
Real time (s): 3630.16
CPU time (s): 3600.12
CPU user time (s): 3598.94
CPU system time (s): 1.18082
CPU usage (%): 99.1725
Max. virtual memory (cumulated for all children) (KiB): 890588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.94
system time used= 1.18082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90013
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= 10835
involuntary context switches= 103653

runsolver used 4.22336 second user time and 12.3071 second system time

The end

Launcher Data (download as text)

Begin job on node70 at 2008-07-12 04:23:06
IDJOB=1110589
IDBENCH=61125
IDSOLVER=367
FILE ID=node70/1110589-1215829386
PBS_JOBID= 7903311
Free space on /tmp= 66440 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/golombRulerArity3/normalized-ruler-44-10-a3.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-1110589-1215829386/watcher-1110589-1215829386 -o /tmp/evaluation-result-1110589-1215829386/solver-1110589-1215829386 -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-1110589-1215829386.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= dd4d223519a83ea5641752c7c726f6c4
RANDOM SEED=1560851565

node70.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.221
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.221
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:       1660168 kB
Buffers:         58200 kB
Cached:         243888 kB
SwapCached:       7244 kB
Active:         152360 kB
Inactive:       177464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1660168 kB
SwapTotal:     4192956 kB
SwapFree:      4176480 kB
Dirty:             948 kB
Writeback:           0 kB
Mapped:          42236 kB
Slab:            50372 kB
Committed_AS:   232108 kB
PageTables:       2468 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= 66440 MiB
End job on node70 at 2008-07-12 05:23:38