Trace number 1114739

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)5 3600.08 3608.62

General information on the benchmark

Namecsp/rand-2-40-19/
normalized-rand-2-40-19-443-230-43_ext.xml
MD5SUM01a0fbda45d526076a1329b5ddc0e633
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark1592.21
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints340
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension340
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.06/0.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.06/0.08	c 0	BEGIN Sun Jul 13 02:00:32 2008
0.06/0.08	c 0	PID 20883
0.06/0.08	c 0	HOST node30.alineos.net
0.06/0.08	c 0	CONVERTING HOME/instance-1114739-1215907232.xml TO HOME/temp.csp
0.06/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1114739-1215907232.xml' 'HOME/temp.csp'
0.06/0.65	c 0	1 domains, 40 variables, 0 predicates, 340 relations, 340 constraints
0.06/0.68	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.69	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.61/0.77	c 0	Parsing HOME/temp.csp
0.91/1.07	c 1	parsed 721 expressions
0.91/1.07	c 1	Heap : 4 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.91/1.07	c 1	MAX CSP: 340 constraints
0.91/1.07	c 1	Converting to clausal form CSP
1.01/1.11	c 1	converted 107 (10%) expressions
1.01/1.11	c 1	converted 213 (20%) expressions
1.01/1.11	c 1	converted 320 (30%) expressions
1.01/1.18	c 1	converted 426 (40%) expressions
1.10/1.21	c 1	converted 532 (50%) expressions
1.10/1.23	c 1	converted 639 (60%) expressions
1.10/1.25	c 1	converted 745 (70%) expressions
1.10/1.27	c 1	converted 852 (80%) expressions
1.10/1.29	c 1	converted 958 (90%) expressions
1.40/1.53	c 1	converted 1064 (100%) expressions
1.40/1.53	c 1	CSP : 720 integers, 0 booleans, 1019 clauses, largest domain size 511
1.40/1.54	c 1	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.40/1.54	c 1	Propagation in CSP
1.40/1.57	c 1	336 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.40/1.57	c 1	CSP : 720 integers, 0 booleans, 1019 clauses, largest domain size 341
1.40/1.57	c 1	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.40/1.57	c 1	Simplifing CSP by introducing new Boolean variables
1.40/1.58	c 1	CSP : 720 integers, 0 booleans, 1019 clauses, largest domain size 341
1.40/1.58	c 1	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.49/1.62	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.49/1.64	c 1	72 (10%) CSP integer variables are encoded (680 clauses, 7340 bytes)
1.49/1.64	c 1	144 (20%) CSP integer variables are encoded (680 clauses, 7340 bytes)
1.49/1.64	c 1	216 (30%) CSP integer variables are encoded (680 clauses, 7340 bytes)
1.49/1.64	c 1	288 (40%) CSP integer variables are encoded (680 clauses, 7340 bytes)
1.49/1.64	c 1	360 (50%) CSP integer variables are encoded (680 clauses, 7340 bytes)
1.49/1.65	c 1	432 (60%) CSP integer variables are encoded (1233 clauses, 14529 bytes)
1.49/1.65	c 1	504 (70%) CSP integer variables are encoded (3821 clauses, 48173 bytes)
1.49/1.65	c 1	576 (80%) CSP integer variables are encoded (4593 clauses, 58209 bytes)
1.49/1.65	c 1	648 (90%) CSP integer variables are encoded (5009 clauses, 63617 bytes)
1.49/1.66	c 1	720 (100%) CSP integer variables are encoded (5613 clauses, 71469 bytes)
1.59/1.74	c 1	102 (10%) CSP clauses are encoded (12128 clauses, 213293 bytes)
1.59/1.78	c 1	204 (20%) CSP clauses are encoded (18412 clauses, 362708 bytes)
1.69/1.83	c 2	306 (30%) CSP clauses are encoded (25111 clauses, 523624 bytes)
1.69/1.86	c 2	408 (40%) CSP clauses are encoded (28115 clauses, 590902 bytes)
1.79/1.99	c 2	510 (50%) CSP clauses are encoded (90577 clauses, 1715579 bytes)
1.79/2.00	c 2	612 (60%) CSP clauses are encoded (92963 clauses, 1756609 bytes)
1.89/2.10	c 2	714 (70%) CSP clauses are encoded (150427 clauses, 2811428 bytes)
1.99/2.11	c 2	816 (80%) CSP clauses are encoded (153117 clauses, 2857824 bytes)
1.99/2.12	c 2	918 (90%) CSP clauses are encoded (159299 clauses, 2968111 bytes)
1.99/2.17	c 2	1019 (100%) CSP clauses are encoded (181609 clauses, 3373284 bytes)
1.99/2.17	c 2	1019 CSP clauses encoded
1.99/2.17	c 2	Writing map file : HOME/temp.map
1.99/2.18	c 2	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.99/2.18	c 2	SAT : 6333 SAT variables, 181609 SAT clauses, 3373284 bytes
1.99/2.18	c 2	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.07/2.21	c 2	OBJECTIVE minimize _COST
2.07/2.21	c 2	SOLVING HOME/temp.cnf
2.07/2.21	c 2	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2.07/2.21	c 2	This is MiniSat 2.0 beta incremental
2.07/2.21	c 2	WARNING: for repeatability, setting FPU to use double precision
2.07/2.21	c 2	============================[ Problem Statistics ]=============================
2.07/2.21	c 2	|                                                                             |
2.07/2.21	c 2	|  Number of variables:  6333                                                 |
2.07/2.21	c 2	|  Number of clauses:    181609                                               |
2.07/2.30	c 2	|  Parsing time:         0.08         s                                       |
2.10/2.30	c 2	OK
2.10/2.30	c 2	OBJECTIVE BOUND: 0 <= _COST <= 
2.10/2.30	c 2	SEARCHING: _COST <= 170
2.10/2.30	c 2	============================[ Search Statistics ]==============================
2.10/2.30	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.10/2.30	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.10/2.30	c 2	===============================================================================
2.10/2.30	c 2	|         0 |    6333   181609   566322 |    60536        0    nan |  0.000 % |
2.10/2.31	c 2	===============================================================================
2.10/2.32	c 2	restarts              : 1
2.10/2.32	c 2	conflicts             : 2             (20 /sec)
2.10/2.32	c 2	decisions             : 30            (0.00 % random) (297 /sec)
2.10/2.32	c 2	propagations          : 6440           (63772 /sec)
2.10/2.32	c 2	conflict literals     : 55             (3.51 % deleted)
2.10/2.32	c 2	Memory used           : 9.70 MB
2.10/2.32	c 2	CPU time              : 0.100984 s
2.10/2.32	c 2	
2.10/2.32	c 2	SATISFIABLE
2.10/2.32	c 2	OK
2.10/2.32	c 2	FOUND: _COST <= 170
2.10/2.32	s SATISFIABLE
2.10/2.32	c 2	DECODING HOME/temp.out WITH HOME/temp.map
2.10/2.32	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'
2.10/2.40	c 2	Decoding HOME/temp.out
2.10/2.48	c 2	OBJECTIVE _COST 170
2.10/2.48	o 170
2.10/2.49	v 18 5 4 7 14 3 17 1 16 10 13 18 10 16 18 8 14 5 12 12 10 17 12 15 18 18 16 18 18 18 14 18 10 18 18 18 18 18 18 18
2.10/2.49	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.10/2.53	c 2	OK
2.10/2.53	c 2	OBJECTIVE BOUND: 0 <= _COST <= 170
2.10/2.53	c 2	SEARCHING: _COST <= 85
2.10/2.54	c 2	============================[ Search Statistics ]==============================
2.10/2.55	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.10/2.55	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.10/2.55	c 2	===============================================================================
2.10/2.55	c 2	|         2 |    6333   181609   566322 |    60536        2     28 |  0.000 % |
2.10/2.56	c 2	===============================================================================
2.10/2.56	c 2	restarts              : 2
2.10/2.56	c 2	conflicts             : 93            (694 /sec)
2.10/2.56	c 2	decisions             : 250           (0.00 % random) (1866 /sec)
2.10/2.56	c 2	propagations          : 41416          (309123 /sec)
2.10/2.56	c 2	conflict literals     : 4070           (22.08 % deleted)
2.10/2.56	c 2	Memory used           : 9.82 MB
2.10/2.56	c 2	CPU time              : 0.133979 s
2.10/2.56	c 2	
2.10/2.56	c 2	SATISFIABLE
2.10/2.57	c 2	OK
2.10/2.57	c 2	FOUND: _COST <= 85
2.10/2.57	c 2	DECODING HOME/temp.out WITH HOME/temp.map
2.10/2.57	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'
2.28/2.65	c 2	Decoding HOME/temp.out
2.28/2.75	c 2	OBJECTIVE _COST 85
2.28/2.75	o 85
2.28/2.76	v 18 11 17 18 16 17 18 17 17 16 5 18 17 16 18 7 18 16 18 12 16 10 18 5 6 15 6 18 18 10 1 18 18 5 8 18 17 18 1 18
2.28/2.78	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.28/2.82	c 2	OK
2.28/2.82	c 2	OBJECTIVE BOUND: 0 <= _COST <= 85
2.28/2.82	c 2	SEARCHING: _COST <= 42
2.28/2.82	c 2	============================[ Search Statistics ]==============================
2.28/2.83	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.28/2.83	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.28/2.83	c 3	===============================================================================
2.28/2.83	c 3	|        93 |    4803   181609   566322 |    60536       93     44 |  0.000 % |
2.28/2.85	c 3	|       193 |    4803   181609   566322 |    66589      193     37 | 37.582 % |
2.28/2.86	c 3	===============================================================================
2.28/2.86	c 3	restarts              : 4
2.28/2.86	c 3	conflicts             : 218           (1253 /sec)
2.28/2.86	c 3	decisions             : 540           (0.19 % random) (3104 /sec)
2.28/2.86	c 3	propagations          : 100756         (579147 /sec)
2.28/2.86	c 3	conflict literals     : 7819           (24.93 % deleted)
2.28/2.86	c 3	Memory used           : 9.95 MB
2.28/2.86	c 3	CPU time              : 0.173973 s
2.28/2.86	c 3	
2.28/2.86	c 3	SATISFIABLE
2.28/2.86	c 3	OK
2.28/2.86	c 3	FOUND: _COST <= 42
2.28/2.86	c 3	DECODING HOME/temp.out WITH HOME/temp.map
2.28/2.86	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'
2.50/2.94	c 3	Decoding HOME/temp.out
2.50/3.02	c 3	OBJECTIVE _COST 42
2.50/3.02	o 42
2.50/3.03	v 18 13 4 8 18 10 18 8 10 16 17 13 8 12 2 9 18 17 18 5 18 18 12 18 18 13 10 18 18 2 1 10 14 18 2 18 0 17 18 14
2.50/3.03	c 3	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.50/3.07	c 3	OK
2.50/3.07	c 3	OBJECTIVE BOUND: 0 <= _COST <= 42
2.50/3.07	c 3	SEARCHING: _COST <= 21
2.50/3.08	c 3	============================[ Search Statistics ]==============================
2.50/3.08	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.50/3.08	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.50/3.08	c 3	===============================================================================
2.50/3.08	c 3	|       218 |    3953   181609   566322 |    60536      218     36 | 37.582 % |
2.67/3.12	c 3	|       319 |    3953   181609   566322 |    66589      319     31 | 46.472 % |
2.67/3.14	c 3	|       469 |    3953   181609   566322 |    73248      469     34 | 46.472 % |
2.67/3.19	c 3	|       694 |    3953   181609   566322 |    80573      694     33 | 46.472 % |
2.96/3.26	c 3	|      1031 |    3953   181609   566322 |    88631     1031     32 | 46.472 % |
3.06/3.36	c 3	|      1537 |    3953   181609   566322 |    97494     1537     40 | 46.472 % |
3.26/3.54	c 3	|      2296 |    3953   181609   566322 |   107243     2296     36 | 46.472 % |
3.55/3.82	c 3	|      3435 |    3390    61116   213374 |   117968     3390     38 | 46.472 % |
3.86/4.17	c 4	|      5143 |    3390    61116   213374 |   129765     5098     43 | 46.472 % |
4.45/4.79	c 4	|      7706 |    3390    61116   213374 |   142741     7661     43 | 46.472 % |
5.34/5.64	c 5	|     11550 |    3390    61116   213374 |   157015    11505     39 | 46.472 % |
6.93/7.26	c 7	|     17317 |    3390    61116   213374 |   172717    17272     37 | 46.472 % |
9.80/10.12	c 10	|     25966 |    3390    61116   213374 |   189988    25921     38 | 46.472 % |
14.26/14.69	c 14	|     38940 |    3390    61116   213374 |   208987    38895     42 | 46.472 % |
23.86/24.36	c 24	|     58401 |    3390    61116   213374 |   229886    58356     47 | 46.472 % |
41.09/41.77	c 41	|     87593 |    3390    61116   213374 |   252875    87548     45 | 46.472 % |
80.82/81.84	c 82	|    131382 |    3390    61116   213374 |   278162   131337     50 | 46.472 % |
88.84/89.99	c 90	===============================================================================
88.84/89.99	c 90	restarts              : 21
88.84/89.99	c 90	conflicts             : 139968        (1624 /sec)
88.84/89.99	c 90	decisions             : 159080        (0.57 % random) (1846 /sec)
88.84/89.99	c 90	propagations          : 46666636       (541521 /sec)
88.84/89.99	c 90	conflict literals     : 6916203        (30.75 % deleted)
88.84/89.99	c 90	Memory used           : 39.09 MB
88.84/89.99	c 90	CPU time              : 86.1769 s
88.84/89.99	c 90	
88.84/89.99	c 90	SATISFIABLE
88.84/89.99	c 90	OK
88.84/89.99	c 90	FOUND: _COST <= 21
88.84/89.99	c 90	DECODING HOME/temp.out WITH HOME/temp.map
88.84/89.99	c 90	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
88.93/90.08	c 90	Decoding HOME/temp.out
89.01/90.19	c 90	OBJECTIVE _COST 21
89.01/90.19	o 21
89.01/90.19	v 18 8 17 3 18 16 18 8 11 15 18 3 17 16 18 7 15 17 18 18 16 8 11 3 15 13 4 18 2 2 18 5 7 15 18 10 15 3 1 18
89.10/90.23	c 90	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
89.21/90.32	c 90	OK
89.21/90.32	c 90	OBJECTIVE BOUND: 0 <= _COST <= 21
89.21/90.32	c 90	SEARCHING: _COST <= 10
89.21/90.32	c 90	============================[ Search Statistics ]==============================
89.21/90.32	c 90	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
89.21/90.32	c 90	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
89.21/90.32	c 90	===============================================================================
89.21/90.32	c 90	|    139968 |    2966    44493   164756 |    14831   139916     49 | 46.472 % |
90.01/91.13	c 91	|    140068 |    2966    44493   164756 |    16314    16181     47 | 53.167 % |
90.01/91.18	c 91	|    140218 |    2966    44493   164756 |    17945    16331     47 | 53.167 % |
90.11/91.27	c 91	|    140444 |    2966    44493   164756 |    19740    16557     47 | 53.167 % |
90.21/91.37	c 91	|    140781 |    2966    44493   164756 |    21714    16894     47 | 53.167 % |
90.40/91.53	c 91	|    141288 |    2966    44493   164756 |    23885    17401     46 | 53.167 % |
90.60/91.76	c 91	|    142047 |    2966    44493   164756 |    26274    18160     46 | 53.167 % |
90.90/92.08	c 92	|    143187 |    2966    44493   164756 |    28901    19300     45 | 53.167 % |
91.49/92.61	c 92	|    144895 |    2966    44493   164756 |    31791    21008     44 | 53.167 % |
92.39/93.52	c 93	|    147457 |    2966    44493   164756 |    34970    23570     44 | 53.167 % |
93.77/94.91	c 95	|    151301 |    2966    44493   164756 |    38467    27414     45 | 53.167 % |
96.15/97.30	c 97	|    157067 |    2966    44493   164756 |    42314    33180     44 | 53.167 % |
100.60/101.82	c 101	|    165716 |    2966    44493   164756 |    46546    41829     44 | 53.167 % |
106.65/107.94	c 108	|    178690 |    2966    44493   164756 |    51200    16881     45 | 53.167 % |
115.07/116.44	c 116	|    198153 |    2966    44493   164756 |    56320    36344     45 | 53.167 % |
128.34/129.83	c 129	|    227345 |    2966    44493   164756 |    61952    18337     56 | 53.167 % |
152.41/154.17	c 154	|    271134 |    2966    44493   164756 |    68148    62126     46 | 53.167 % |
192.14/194.20	c 194	|    336818 |    2966    44493   164756 |    74962    67942     51 | 53.167 % |
261.99/264.70	c 264	|    435344 |    2966    44493   164756 |    82459    38042     49 | 53.167 % |
384.04/387.92	c 388	|    583133 |    2966    44493   164756 |    90705    46130     41 | 53.167 % |
573.96/579.63	c 579	|    804816 |    2966    44493   164756 |    99775    32826     41 | 53.167 % |
881.36/888.94	c 889	|   1137341 |    2966    44493   164756 |   109753   102258     50 | 53.167 % |
1350.47/1358.23	c 1358	|   1636129 |    2966    44493   164756 |   120728   112520     42 | 53.167 % |
2055.33/2063.35	c 2063	|   2384311 |    2966    44493   164756 |   132801   101770     47 | 53.167 % |
2173.98/2182.04	c 2182	===============================================================================
2173.98/2182.04	c 2182	restarts              : 45
2173.98/2182.04	c 2182	conflicts             : 2517503       (1160 /sec)
2173.98/2182.04	c 2182	decisions             : 2697667       (0.60 % random) (1243 /sec)
2173.98/2182.04	c 2182	propagations          : 950892326      (438003 /sec)
2173.98/2182.04	c 2182	conflict literals     : 112487241      (36.51 % deleted)
2173.98/2182.04	c 2182	Memory used           : 48.93 MB
2173.98/2182.04	c 2182	CPU time              : 2170.97 s
2173.98/2182.04	c 2182	
2173.98/2182.04	c 2182	SATISFIABLE
2173.98/2182.04	c 2182	OK
2173.98/2182.04	c 2182	FOUND: _COST <= 10
2173.98/2182.04	c 2182	DECODING HOME/temp.out WITH HOME/temp.map
2173.98/2182.04	c 2182	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2174.03/2182.13	c 2182	Decoding HOME/temp.out
2174.03/2182.23	c 2182	OBJECTIVE _COST 10
2174.03/2182.24	o 10
2174.03/2182.24	v 18 18 17 18 16 0 18 6 6 15 1 9 17 15 18 8 6 0 13 12 16 10 13 14 18 12 4 18 2 1 10 4 18 16 16 12 14 0 1 18
2174.03/2182.25	c 2182	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2174.27/2182.31	c 2182	OK
2174.27/2182.31	c 2182	OBJECTIVE BOUND: 0 <= _COST <= 10
2174.27/2182.31	c 2182	SEARCHING: _COST <= 5
2174.27/2182.31	c 2182	============================[ Search Statistics ]==============================
2174.27/2182.31	c 2182	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2174.27/2182.31	c 2182	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2174.27/2182.31	c 2182	===============================================================================
2174.27/2182.31	c 2182	|   2517503 |    2561    34516   136029 |    11505   112566     42 | 53.167 % |
2175.07/2183.19	c 2183	|   2517603 |    2561    34516   136029 |    12655     8614     35 | 59.562 % |
2175.17/2183.24	c 2183	|   2517754 |    2561    34516   136029 |    13921     8765     35 | 59.562 % |
2175.17/2183.29	c 2183	|   2517979 |    2561    34516   136029 |    15313     8990     35 | 59.562 % |
2175.26/2183.38	c 2183	|   2518316 |    2561    34516   136029 |    16844     9327     35 | 59.562 % |
2175.47/2183.52	c 2183	|   2518822 |    2561    34516   136029 |    18529     9833     35 | 59.562 % |
2175.57/2183.69	c 2183	|   2519581 |    2561    34516   136029 |    20382    10592     35 | 59.562 % |
2175.86/2183.95	c 2184	|   2520721 |    2561    34516   136029 |    22420    11732     34 | 59.562 % |
2176.26/2184.37	c 2184	|   2522429 |    2561    34516   136029 |    24662    13440     34 | 59.562 % |
2176.96/2185.05	c 2185	|   2524992 |    2561    34516   136029 |    27128    16003     32 | 59.562 % |
2178.07/2186.15	c 2186	|   2528836 |    2561    34516   136029 |    29841    19847     33 | 59.562 % |
2180.07/2188.14	c 2188	|   2534602 |    2561    34516   136029 |    32826    25613     32 | 59.562 % |
2183.88/2191.91	c 2192	|   2543251 |    2561    34516   136029 |    36108    34262     34 | 59.562 % |
2189.38/2197.43	c 2197	|   2556225 |    2561    34516   136029 |    39719    19210     48 | 59.562 % |
2199.17/2207.24	c 2207	|   2575687 |    2561    34516   136029 |    43691    38672     40 | 59.562 % |
2213.56/2221.65	c 2221	|   2604879 |    2561    34516   136029 |    48060    33908     37 | 59.562 % |
2237.46/2245.51	c 2245	|   2648668 |    2561    34516   136029 |    52866    38642     31 | 59.562 % |
2275.34/2283.43	c 2283	|   2714352 |    2561    34516   136029 |    58153    20221     30 | 59.562 % |
2336.62/2344.75	c 2344	|   2812878 |    2561    34516   136029 |    63968    24008     41 | 59.562 % |
2422.80/2430.91	c 2431	|   2960667 |    2561    34516   136029 |    70365    63134     39 | 59.562 % |
2553.64/2561.88	c 2562	|   3182350 |    2561    34516   136029 |    77402    44848     39 | 59.562 % |
2601.32/2609.58	c 2609	===============================================================================
2601.32/2609.58	c 2609	restarts              : 66
2601.32/2609.58	c 2609	conflicts             : 3270339       (1259 /sec)
2601.32/2609.58	c 2609	decisions             : 3517466       (0.62 % random) (1354 /sec)
2601.32/2609.58	c 2609	propagations          : 1236072456     (475758 /sec)
2601.32/2609.58	c 2609	conflict literals     : 140720252      (35.87 % deleted)
2601.32/2609.58	c 2609	Memory used           : 48.93 MB
2601.32/2609.58	c 2609	CPU time              : 2598.11 s
2601.32/2609.58	c 2609	
2601.32/2609.58	c 2609	SATISFIABLE
2601.32/2609.58	c 2609	OK
2601.32/2609.58	c 2609	FOUND: _COST <= 5
2601.32/2609.58	c 2609	DECODING HOME/temp.out WITH HOME/temp.map
2601.32/2609.58	c 2609	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2601.40/2609.67	c 2609	Decoding HOME/temp.out
2601.40/2609.78	c 2609	OBJECTIVE _COST 5
2601.40/2609.78	o 5
2601.40/2609.78	v 18 17 9 14 5 16 3 0 6 1 18 7 1 4 6 7 0 12 18 0 17 8 2 11 7 9 12 14 9 4 10 18 7 0 0 8 16 14 11 18
2601.40/2609.78	c 2609	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2601.59/2609.82	c 2609	OK
2601.59/2609.82	c 2609	OBJECTIVE BOUND: 0 <= _COST <= 5
2601.59/2609.82	c 2609	SEARCHING: _COST <= 2
2601.59/2609.82	c 2609	============================[ Search Statistics ]==============================
2601.59/2609.82	c 2609	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2601.59/2609.82	c 2609	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2601.59/2609.82	c 2609	===============================================================================
2601.59/2609.82	c 2609	|   3270339 |    2211    29411   121759 |     9803    65523     37 | 59.562 % |
2601.99/2610.25	c 2610	|   3270439 |    2211    29411   121759 |    10784    14072     42 | 65.089 % |
2601.99/2610.28	c 2610	|   3270591 |    2211    29411   121759 |    11862    14224     42 | 65.089 % |
2602.10/2610.33	c 2610	|   3270816 |    2211    29411   121759 |    13048    14449     42 | 65.089 % |
2602.19/2610.42	c 2610	|   3271153 |    2211    29411   121759 |    14353    14786     42 | 65.089 % |
2602.29/2610.55	c 2610	|   3271660 |    2211    29411   121759 |    15788    15293     43 | 65.089 % |
2602.49/2610.74	c 2610	|   3272424 |    2211    29411   121759 |    17367    16057     44 | 65.089 % |
2602.79/2611.02	c 2611	|   3273563 |    2211    29411   121759 |    19104    17196     45 | 65.089 % |
2603.20/2611.46	c 2611	|   3275272 |    2211    29411   121759 |    21015    18905     45 | 65.089 % |
2603.99/2612.25	c 2612	|   3277834 |    2211    29411   121759 |    23116    21467     48 | 65.089 % |
2605.79/2614.01	c 2614	|   3281678 |    2211    29411   121759 |    25428    25311     53 | 65.089 % |
2608.88/2617.17	c 2617	|   3287444 |    2211    29411   121759 |    27971    12580     68 | 65.089 % |
2611.79/2620.10	c 2620	|   3296094 |    2211    29411   121759 |    30768    21230     63 | 65.089 % |
2617.58/2625.82	c 2625	|   3309070 |    2211    29411   121759 |    33844    34206     54 | 65.089 % |
2626.78/2635.06	c 2635	|   3328531 |    2211    29411   121759 |    37229    27349     46 | 65.089 % |
2641.18/2649.45	c 2649	|   3357723 |    2211    29411   121759 |    40952    27177     60 | 65.089 % |
2667.36/2675.65	c 2675	|   3401512 |    2211    29411   121759 |    45047    40120     68 | 65.089 % |
2708.45/2716.77	c 2716	|   3467196 |    2211    29411   121759 |    49552    37998     57 | 65.089 % |
2773.12/2781.48	c 2781	|   3565722 |    2211    29411   121759 |    54507    25567     50 | 65.089 % |
2860.41/2868.71	c 2868	|   3713511 |    2211    29411   121759 |    59958    42043     53 | 65.089 % |
2996.85/3005.27	c 3005	|   3935194 |    2211    29411   121759 |    65954    22826     31 | 65.089 % |
3215.58/3224.08	c 3224	|   4267719 |    2211    29411   121759 |    72549    26129     48 | 65.089 % |
3532.66/3541.28	c 3541	|   4766507 |    2211    29411   121759 |    79804    35766     38 | 65.089 % |
3600.03/3608.61	c ERROR INTERRUPTED
3600.03/3608.61	c 3608	CPU 3599.56 (0.07 0.03 3599.49 0.47)
3600.03/3608.61	c 3608	END Sun Jul 13 03:00:40 2008

Verifier Data (download as text)

OK	5	335
5 unsatisfied constraints, 335 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-1114739-1215907232/watcher-1114739-1215907232 -o /tmp/evaluation-result-1114739-1215907232/solver-1114739-1215907232 -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-1114739-1215907232.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.01 2.03 2.00 4/81 20883
/proc/meminfo: memFree=1932952/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=12000 CPUtime=0
/proc/20883/stat : 20883 (sugar++) R 20881 20883 19634 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 47424881 12288000 170 996147200 4194304 4206940 548682068528 18446744073709551615 264907458192 0 0 4224 0 0 0 0 17 1 0 0
/proc/20883/statm: 3000 170 131 3 0 100 0

[startup+0.0761929 s]
/proc/loadavg: 2.01 2.03 2.00 4/81 20883
/proc/meminfo: memFree=1932952/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16608 CPUtime=0.06
/proc/20883/stat : 20883 (sugar++) R 20881 20883 19634 0 -1 4194304 1065 0 0 0 5 1 0 0 18 0 1 0 47424881 17006592 1033 996147200 4194304 4206940 548682068528 18446744073709551615 264925491669 0 0 4224 0 0 0 0 17 1 0 0
/proc/20883/statm: 4152 1033 380 3 0 731 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16608

[startup+0.101196 s]
/proc/loadavg: 2.01 2.03 2.00 4/81 20883
/proc/meminfo: memFree=1932952/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16740 CPUtime=0.06
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 47424881 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.301203 s]
/proc/loadavg: 2.01 2.03 2.00 4/81 20883
/proc/meminfo: memFree=1932952/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16740 CPUtime=0.06
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 47424881 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701238 s]
/proc/loadavg: 2.01 2.03 2.00 4/81 20883
/proc/meminfo: memFree=1932952/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16740 CPUtime=0.61
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1279 4749 0 1 5 2 51 3 16 0 1 0 47424881 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 16740

[startup+1.50228 s]
/proc/loadavg: 2.01 2.03 2.00 4/92 20905
/proc/meminfo: memFree=1921280/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16740 CPUtime=0.61
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1296 4749 0 1 5 2 51 3 15 0 1 0 47424881 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4185 1104 409 3 0 764 0
[pid=20896] ppid=20883 vsize=5356 CPUtime=0
/proc/20896/stat : 20896 (sh) S 20883 20883 19634 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 47424950 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20896/statm: 1339 233 193 169 0 50 0
[pid=20897] ppid=20896 vsize=868360 CPUtime=0.79
/proc/20897/stat : 20897 (java) S 20896 20883 19634 0 -1 0 7995 0 1 0 75 4 0 0 18 0 9 0 47424950 889200640 7242 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20897/statm: 217090 7242 2540 9 0 211665 0
[pid=20897/tid=20898] ppid=20896 vsize=868360 CPUtime=0.39
/proc/20897/task/20898/stat : 20898 (java) R 20896 20883 19634 0 -1 64 2641 0 1 0 38 1 0 0 18 0 9 0 47424951 889200640 7242 996147200 134512640 134550740 4294955920 18446744073709551615 4125950632 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20897/tid=20899] ppid=20896 vsize=868360 CPUtime=0.19
/proc/20897/task/20899/stat : 20899 (java) S 20896 20883 19634 0 -1 64 3220 0 0 0 18 1 0 0 16 0 9 0 47424952 889200640 7242 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20897/tid=20900] ppid=20896 vsize=868360 CPUtime=0
/proc/20897/task/20900/stat : 20900 (java) S 20896 20883 19634 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 47424953 889200640 7242 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20897/tid=20901] ppid=20896 vsize=868360 CPUtime=0
/proc/20897/task/20901/stat : 20901 (java) S 20896 20883 19634 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 47424953 889200640 7242 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20897/tid=20902] ppid=20896 vsize=868360 CPUtime=0
/proc/20897/task/20902/stat : 20902 (java) S 20896 20883 19634 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 47424955 889200640 7242 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20897/tid=20903] ppid=20896 vsize=868360 CPUtime=0.17
/proc/20897/task/20903/stat : 20903 (java) S 20896 20883 19634 0 -1 64 1441 0 0 0 17 0 0 0 16 0 9 0 47424955 889200640 7242 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20897/tid=20904] ppid=20896 vsize=868360 CPUtime=0
/proc/20897/task/20904/stat : 20904 (java) S 20896 20883 19634 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 47424955 889200640 7242 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20897/tid=20905] ppid=20896 vsize=868360 CPUtime=0
/proc/20897/task/20905/stat : 20905 (java) S 20896 20883 19634 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 47424955 889200640 7242 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 890456

[startup+3.10239 s]
/proc/loadavg: 2.09 2.04 2.01 3/92 20905
/proc/meminfo: memFree=1906880/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=2.67
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1696 24890 0 5 6 2 240 19 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 16872

[startup+6.3016 s]
/proc/loadavg: 2.09 2.04 2.01 3/83 20936
/proc/meminfo: memFree=1916104/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=2.67
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1696 24890 0 5 6 2 240 19 15 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=10584 CPUtime=3.37
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 2566 0 0 0 336 1 0 0 25 0 1 0 47425102 10838016 2509 996147200 134512640 135134323 4294956192 18446744073709551615 134532177 0 0 4096 3 0 0 0 17 1 0 0
/proc/20906/statm: 2646 2509 79 151 0 2492 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 27456

[startup+12.703 s]
/proc/loadavg: 2.07 2.04 2.01 3/83 20936
/proc/meminfo: memFree=1913160/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=2.67
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1696 24890 0 5 6 2 240 19 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=13968 CPUtime=9.71
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 3409 0 0 0 969 2 0 0 25 0 1 0 47425102 14303232 3352 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 1 0 0
/proc/20906/statm: 3492 3352 79 151 0 3338 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 30840

[startup+25.5018 s]
/proc/loadavg: 2.06 2.04 2.01 3/83 20936
/proc/meminfo: memFree=1906376/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=2.67
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1696 24890 0 5 6 2 240 19 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=20672 CPUtime=22.38
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 5079 0 0 0 2235 3 0 0 25 0 1 0 47425102 21168128 5022 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20906/statm: 5168 5022 79 151 0 5014 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 37544

[startup+51.1015 s]
/proc/loadavg: 2.04 2.03 2.00 3/83 20942
/proc/meminfo: memFree=1897920/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=2.67
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1696 24890 0 5 6 2 240 19 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=29348 CPUtime=47.72
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 7227 0 0 0 4766 6 0 0 25 0 1 0 47425102 30052352 7170 996147200 134512640 135134323 4294956192 18446744073709551615 134523220 0 0 4096 3 0 0 0 17 1 0 0
/proc/20906/statm: 7337 7170 79 151 0 7183 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 46220

[startup+102.307 s]
/proc/loadavg: 2.01 2.03 2.00 3/83 20952
/proc/meminfo: memFree=1886592/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=2.9
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1767 28745 0 6 6 2 260 22 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=40020 CPUtime=98.2
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 9852 0 0 0 9811 9 0 0 25 0 1 0 47425102 40980480 9793 996147200 134512640 135134323 4294956192 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 1 0 0
/proc/20906/statm: 10005 9793 79 151 0 9851 0
Current children cumulated CPU time (s) 101.1
Current children cumulated vsize (KiB) 56892

[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 20952
/proc/meminfo: memFree=1886656/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=2.9
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1767 28745 0 6 6 2 260 22 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=40020 CPUtime=157.64
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 9852 0 0 0 15755 9 0 0 25 0 1 0 47425102 40980480 9793 996147200 134512640 135134323 4294956192 18446744073709551615 134524784 0 0 4096 3 0 0 0 17 1 0 0
/proc/20906/statm: 10005 9793 79 151 0 9851 0
Current children cumulated CPU time (s) 160.54
Current children cumulated vsize (KiB) 56892

[startup+222.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 20952
/proc/meminfo: memFree=1886656/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=2.9
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1767 28745 0 6 6 2 260 22 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=40020 CPUtime=217.08
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 9853 0 0 0 21699 9 0 0 25 0 1 0 47425102 40980480 9794 996147200 134512640 135134323 4294956192 18446744073709551615 134528329 0 0 4096 3 0 0 0 17 1 0 0
/proc/20906/statm: 10005 9794 79 151 0 9851 0
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (KiB) 56892

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 20952
/proc/meminfo: memFree=1886656/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=2.9
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1767 28745 0 6 6 2 260 22 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=40020 CPUtime=276.53
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 9854 0 0 0 27643 10 0 0 25 0 1 0 47425102 40980480 9795 996147200 134512640 135134323 4294956192 18446744073709551615 134531876 0 0 4096 3 0 0 0 17 1 0 0
/proc/20906/statm: 10005 9795 79 151 0 9851 0
Current children cumulated CPU time (s) 279.43
Current children cumulated vsize (KiB) 56892

[startup+342.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/83 20952
/proc/meminfo: memFree=1886664/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=2.9
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1767 28745 0 6 6 2 260 22 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=40020 CPUtime=335.97
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 9854 0 0 0 33587 10 0 0 25 0 1 0 47425102 40980480 9795 996147200 134512640 135134323 4294956192 18446744073709551615 134529108 0 0 4096 3 0 0 0 17 1 0 0

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

[pid=20906] ppid=20883 vsize=50104 CPUtime=2850.69
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12203 0 0 0 285051 18 0 0 25 0 1 0 47425102 51306496 12140 996147200 134512640 135134323 4294956192 18446744073709551615 134532016 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12140 79 151 0 12372 0
Current children cumulated CPU time (s) 2854
Current children cumulated vsize (KiB) 66976

[startup+2922.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/75 21056
/proc/meminfo: memFree=1785032/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=2910.67
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12203 0 0 0 291049 18 0 0 25 0 1 0 47425102 51306496 12140 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12140 79 151 0 12372 0
Current children cumulated CPU time (s) 2913.98
Current children cumulated vsize (KiB) 66976

[startup+2982.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/75 21056
/proc/meminfo: memFree=1784904/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=2970.64
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12203 0 0 0 297046 18 0 0 25 0 1 0 47425102 51306496 12140 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12140 79 151 0 12372 0
Current children cumulated CPU time (s) 2973.95
Current children cumulated vsize (KiB) 66976

[startup+3042.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/75 21056
/proc/meminfo: memFree=1784776/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=3030.62
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12203 0 0 0 303044 18 0 0 25 0 1 0 47425102 51306496 12140 996147200 134512640 135134323 4294956192 18446744073709551615 134529123 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12140 79 151 0 12372 0
Current children cumulated CPU time (s) 3033.93
Current children cumulated vsize (KiB) 66976

[startup+3102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/75 21056
/proc/meminfo: memFree=1784712/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=3090.6
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12206 0 0 0 309042 18 0 0 25 0 1 0 47425102 51306496 12143 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12143 79 151 0 12372 0
Current children cumulated CPU time (s) 3093.91
Current children cumulated vsize (KiB) 66976

[startup+3162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/75 21066
/proc/meminfo: memFree=1784264/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=3150.59
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12207 0 0 0 315040 19 0 0 25 0 1 0 47425102 51306496 12144 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12144 79 151 0 12372 0
Current children cumulated CPU time (s) 3153.9
Current children cumulated vsize (KiB) 66976

[startup+3222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 21066
/proc/meminfo: memFree=1784264/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=3210.56
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12207 0 0 0 321037 19 0 0 25 0 1 0 47425102 51306496 12144 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12144 79 151 0 12372 0
Current children cumulated CPU time (s) 3213.87
Current children cumulated vsize (KiB) 66976

[startup+3282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 21066
/proc/meminfo: memFree=1784264/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=3270.54
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12207 0 0 0 327035 19 0 0 25 0 1 0 47425102 51306496 12144 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12144 79 151 0 12372 0
Current children cumulated CPU time (s) 3273.85
Current children cumulated vsize (KiB) 66976

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 21066
/proc/meminfo: memFree=1784264/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=3330.52
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12207 0 0 0 333033 19 0 0 25 0 1 0 47425102 51306496 12144 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12144 79 151 0 12372 0
Current children cumulated CPU time (s) 3333.83
Current children cumulated vsize (KiB) 66976

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 21066
/proc/meminfo: memFree=1784200/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=3390.5
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12207 0 0 0 339031 19 0 0 25 0 1 0 47425102 51306496 12144 996147200 134512640 135134323 4294956192 18446744073709551615 134532094 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12144 79 151 0 12372 0
Current children cumulated CPU time (s) 3393.81
Current children cumulated vsize (KiB) 66976

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 21066
/proc/meminfo: memFree=1784136/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=3450.48
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12207 0 0 0 345029 19 0 0 25 0 1 0 47425102 51306496 12144 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12144 79 151 0 12372 0
Current children cumulated CPU time (s) 3453.79
Current children cumulated vsize (KiB) 66976

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 21066
/proc/meminfo: memFree=1784136/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=3510.45
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12207 0 0 0 351026 19 0 0 25 0 1 0 47425102 51306496 12144 996147200 134512640 135134323 4294956192 18446744073709551615 134529527 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12144 79 151 0 12372 0
Current children cumulated CPU time (s) 3513.76
Current children cumulated vsize (KiB) 66976

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 21066
/proc/meminfo: memFree=1784072/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=3570.43
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12207 0 0 0 357024 19 0 0 25 0 1 0 47425102 51306496 12144 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12144 79 151 0 12372 0
Current children cumulated CPU time (s) 3573.74
Current children cumulated vsize (KiB) 66976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 21066
/proc/meminfo: memFree=1784072/2055920 swapFree=4180348/4192956
[pid=20883] ppid=20881 vsize=16872 CPUtime=3.31
/proc/20883/stat : 20883 (sugar++) S 20881 20883 19634 0 -1 4194304 1906 36440 0 8 7 3 295 26 16 0 1 0 47424881 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20883/statm: 4218 1122 414 3 0 797 0
[pid=20906] ppid=20883 vsize=50104 CPUtime=3596.72
/proc/20906/stat : 20906 (minisat-inc) R 20883 20883 19634 0 -1 4194304 12207 0 0 0 359653 19 0 0 25 0 1 0 47425102 51306496 12144 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20906/statm: 12526 12144 79 151 0 12372 0
Current children cumulated CPU time (s) 3600.03
Current children cumulated vsize (KiB) 66976

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

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

Child status: 0
Real time (s): 3608.62
CPU time (s): 3600.08
CPU user time (s): 3599.56
CPU system time (s): 0.511922
CPU usage (%): 99.7633
Max. virtual memory (cumulated for all children) (KiB): 890568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.56
system time used= 0.511922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50633
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= 4416
involuntary context switches= 46890

runsolver used 4.65329 second user time and 11.7722 second system time

The end

Launcher Data (download as text)

Begin job on node30 at 2008-07-13 02:00:32
IDJOB=1114739
IDBENCH=61771
IDSOLVER=367
FILE ID=node30/1114739-1215907232
PBS_JOBID= 7903660
Free space on /tmp= 66552 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/rand-2-40-19/normalized-rand-2-40-19-443-230-43_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114739-1215907232/watcher-1114739-1215907232 -o /tmp/evaluation-result-1114739-1215907232/solver-1114739-1215907232 -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-1114739-1215907232.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 01a0fbda45d526076a1329b5ddc0e633
RANDOM SEED=1971888400

node30.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.234
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.234
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:       1933432 kB
Buffers:         12068 kB
Cached:          50196 kB
SwapCached:       6144 kB
Active:          63560 kB
Inactive:        19116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1933432 kB
SwapTotal:     4192956 kB
SwapFree:      4180348 kB
Dirty:            1068 kB
Writeback:           0 kB
Mapped:          36692 kB
Slab:            24972 kB
Committed_AS:   283904 kB
PageTables:       1916 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= 66548 MiB
End job on node30 at 2008-07-13 03:00:42