Trace number 1112429

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)3 3600.1 3662.26

General information on the benchmark

Namecsp/super-os/super-os-taillard-5/
normalized-super-os-taillard-5-5.xml
MD5SUM2e5c5c0c698ee4230add174259a929af
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints3
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints325
Maximum constraint arity2
Maximum domain size325
Number of constraints which are defined in extension0
Number of constraints which are defined in intension325
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.42	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.06/0.42	c 0	BEGIN Sat Jul 12 15:05:02 2008
0.06/0.42	c 0	PID 20566
0.06/0.42	c 0	HOST node92.alineos.net
0.06/0.42	c 0	CONVERTING HOME/instance-1112429-1215867901.xml TO HOME/temp.csp
0.06/0.42	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112429-1215867901.xml' 'HOME/temp.csp'
0.08/0.96	c 0	22 domains, 50 variables, 2 predicates, 0 relations, 325 constraints
0.36/1.02	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.36/1.02	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.38/1.15	c 1	Parsing HOME/temp.csp
0.38/1.23	c 1	parsed 399 expressions
0.38/1.26	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.38/1.27	c 1	MAX CSP: 325 constraints
0.38/1.27	c 1	Converting to clausal form CSP
0.38/1.29	c 1	converted 73 (10%) expressions
0.38/1.31	c 1	converted 146 (20%) expressions
0.38/1.33	c 1	converted 219 (30%) expressions
0.38/1.34	c 1	converted 291 (40%) expressions
0.38/1.36	c 1	converted 364 (50%) expressions
0.38/1.37	c 1	converted 437 (60%) expressions
0.38/1.38	c 1	converted 509 (70%) expressions
0.38/1.44	c 1	converted 582 (80%) expressions
0.38/1.45	c 1	converted 655 (90%) expressions
0.38/1.51	c 1	converted 727 (100%) expressions
0.38/1.52	c 1	CSP : 700 integers, 0 booleans, 974 clauses, largest domain size 488
0.38/1.52	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.38/1.52	c 1	Propagation in CSP
0.38/1.55	c 1	321 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.38/1.55	c 1	CSP : 700 integers, 0 booleans, 974 clauses, largest domain size 326
0.38/1.55	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.38/1.55	c 1	Simplifing CSP by introducing new Boolean variables
0.38/1.56	c 1	CSP : 700 integers, 650 booleans, 1624 clauses, largest domain size 326
0.38/1.56	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.38/1.59	c 1	Encoding CSP to SAT : HOME/temp.cnf
0.38/1.62	c 1	70 (10%) CSP integer variables are encoded (13306 clauses, 177526 bytes)
0.38/1.63	c 1	140 (20%) CSP integer variables are encoded (13306 clauses, 177526 bytes)
0.38/1.63	c 1	210 (30%) CSP integer variables are encoded (13306 clauses, 177526 bytes)
0.38/1.63	c 1	280 (40%) CSP integer variables are encoded (13306 clauses, 177526 bytes)
0.38/1.63	c 1	350 (50%) CSP integer variables are encoded (13306 clauses, 177526 bytes)
0.38/1.63	c 1	420 (60%) CSP integer variables are encoded (13819 clauses, 185221 bytes)
0.38/1.63	c 1	490 (70%) CSP integer variables are encoded (14184 clauses, 190696 bytes)
0.38/1.63	c 1	560 (80%) CSP integer variables are encoded (14756 clauses, 199276 bytes)
0.38/1.63	c 1	630 (90%) CSP integer variables are encoded (17265 clauses, 236911 bytes)
0.38/1.64	c 1	700 (100%) CSP integer variables are encoded (17999 clauses, 247921 bytes)
0.38/1.69	c 1	163 (10%) CSP clauses are encoded (40123 clauses, 669480 bytes)
0.38/1.73	c 1	325 (20%) CSP clauses are encoded (63732 clauses, 1145045 bytes)
0.38/1.78	c 1	488 (30%) CSP clauses are encoded (87399 clauses, 1621684 bytes)
0.38/1.82	c 1	650 (40%) CSP clauses are encoded (110871 clauses, 2095901 bytes)
0.38/1.87	c 1	812 (50%) CSP clauses are encoded (134415 clauses, 2576600 bytes)
0.39/1.91	c 1	975 (60%) CSP clauses are encoded (157874 clauses, 3084011 bytes)
0.39/1.93	c 1	1137 (70%) CSP clauses are encoded (165572 clauses, 3242654 bytes)
0.39/1.97	c 1	1300 (80%) CSP clauses are encoded (186705 clauses, 3688122 bytes)
1.38/2.12	c 1	1462 (90%) CSP clauses are encoded (244629 clauses, 4898641 bytes)
1.48/2.23	c 2	1624 (100%) CSP clauses are encoded (299129 clauses, 6057629 bytes)
1.48/2.23	c 2	1624 CSP clauses encoded
1.48/2.23	c 2	Writing map file : HOME/temp.map
1.48/2.23	c 2	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.27/3.50	c 2	SAT : 19349 SAT variables, 299129 SAT clauses, 6057629 bytes
2.27/3.50	c 2	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.27/3.50	c 2	OBJECTIVE minimize _COST
2.27/3.50	c 2	SOLVING HOME/temp.cnf
2.27/3.50	c 2	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2.27/3.50	c 2	This is MiniSat 2.0 beta incremental
2.27/3.50	c 2	WARNING: for repeatability, setting FPU to use double precision
2.27/3.50	c 2	============================[ Problem Statistics ]=============================
2.27/3.50	c 2	|                                                                             |
2.27/3.50	c 2	|  Number of variables:  19349                                                |
2.27/3.50	c 2	|  Number of clauses:    299129                                               |
2.27/3.50	c 2	|  Parsing time:         0.12         s                                       |
2.27/3.50	c 2	OK
2.27/3.50	c 2	OBJECTIVE BOUND: 0 <= _COST <= 
2.27/3.50	c 2	SEARCHING: _COST <= 163
2.27/3.50	c 2	============================[ Search Statistics ]==============================
2.27/3.50	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.27/3.50	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.27/3.50	c 2	===============================================================================
2.27/3.50	c 2	|         0 |   19349   299129   868377 |    99709        0    nan |  0.000 % |
2.27/3.50	c 2	===============================================================================
2.27/3.50	c 2	restarts              : 1
2.27/3.50	c 2	conflicts             : 0             (0 /sec)
2.27/3.50	c 2	decisions             : 429           (1.17 % random) (2768 /sec)
2.27/3.50	c 2	propagations          : 19349          (124852 /sec)
2.27/3.50	c 2	conflict literals     : 0              ( nan % deleted)
2.27/3.50	c 2	Memory used           : 15.02 MB
2.27/3.50	c 2	CPU time              : 0.154976 s
2.27/3.50	c 2	
2.27/3.50	c 2	SATISFIABLE
2.27/3.50	c 2	OK
2.27/3.50	c 2	FOUND: _COST <= 163
2.27/3.50	s SATISFIABLE
2.27/3.50	c 2	DECODING HOME/temp.out WITH HOME/temp.map
2.27/3.50	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.27/3.50	c 2	Decoding HOME/temp.out
2.27/3.50	c 2	OBJECTIVE _COST 163
2.27/3.50	o 163
2.27/3.50	v 127 128 0 1 267 268 206 207 74 75 13 14 47 48 100 101 193 232 280 280 295 295 143 143 181 181 267 267 246 246 241 241 324 324 270 270 175 175 321 321 235 235 277 277 251 251 248 248 239 239
2.27/3.50	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.27/3.50	c 2	OK
2.27/3.50	c 2	OBJECTIVE BOUND: 0 <= _COST <= 163
2.27/3.50	c 2	SEARCHING: _COST <= 81
2.27/3.50	c 2	============================[ Search Statistics ]==============================
2.27/3.50	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.27/3.50	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.27/3.50	c 2	===============================================================================
2.27/3.50	c 2	|         0 |   19349   299129   868377 |    99709        0    nan |  0.000 % |
2.27/3.50	c 2	|       100 |   17891   299129   868377 |   109680      100     26 |  7.535 % |
2.27/3.51	c 2	===============================================================================
2.27/3.51	c 2	restarts              : 3
2.27/3.51	c 2	conflicts             : 135           (372 /sec)
2.27/3.51	c 2	decisions             : 1289          (1.09 % random) (3552 /sec)
2.27/3.51	c 2	propagations          : 311894         (859345 /sec)
2.27/3.51	c 2	conflict literals     : 3540           (15.59 % deleted)
2.27/3.51	c 2	Memory used           : 15.41 MB
2.27/3.51	c 2	CPU time              : 0.362944 s
2.27/3.51	c 2	
2.27/3.51	c 2	SATISFIABLE
2.27/3.51	c 2	OK
2.27/3.51	c 2	FOUND: _COST <= 81
2.27/3.51	c 2	DECODING HOME/temp.out WITH HOME/temp.map
2.27/3.51	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.27/3.51	c 3	Decoding HOME/temp.out
2.27/3.51	c 3	OBJECTIVE _COST 81
2.27/3.51	o 81
2.27/3.51	v 160 161 250 146 239 102 266 60 274 92 264 143 212 179 231 127 278 96 280 6 292 180 262 263 211 90 267 85 246 182 238 35 324 323 120 268 176 28 1 47 52 53 3 2 144 143 219 66 297 298
2.27/3.54	c 3	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.27/3.54	c 3	OK
2.27/3.54	c 3	OBJECTIVE BOUND: 0 <= _COST <= 81
2.27/3.54	c 3	SEARCHING: _COST <= 40
2.27/3.54	c 3	============================[ Search Statistics ]==============================
2.27/3.54	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.27/3.54	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.27/3.54	c 3	===============================================================================
2.27/3.54	c 3	|       135 |   17891   299129   868377 |    99709      135     26 |  7.535 % |
2.27/3.54	c 3	===============================================================================
2.27/3.54	c 3	restarts              : 4
2.27/3.54	c 3	conflicts             : 153           (378 /sec)
2.27/3.54	c 3	decisions             : 1551          (0.97 % random) (3830 /sec)
2.27/3.54	c 3	propagations          : 354558         (875586 /sec)
2.27/3.54	c 3	conflict literals     : 3843           (15.11 % deleted)
2.27/3.54	c 3	Memory used           : 15.41 MB
2.27/3.54	c 3	CPU time              : 0.404938 s
2.27/3.54	c 3	
2.27/3.54	c 3	SATISFIABLE
2.27/3.55	c 3	OK
2.27/3.55	c 3	FOUND: _COST <= 40
2.27/3.55	c 3	DECODING HOME/temp.out WITH HOME/temp.map
2.27/3.55	c 3	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.32/3.68	c 3	Decoding HOME/temp.out
2.32/3.80	c 3	OBJECTIVE _COST 40
2.32/3.80	o 40
2.32/3.80	v 248 247 160 159 2 268 69 100 48 129 15 293 48 133 233 234 185 133 87 110 86 129 203 204 180 117 267 266 6 5 181 241 84 83 269 270 88 87 0 1 156 157 277 154 79 78 0 6 240 60
2.32/3.81	c 3	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.32/3.88	c 3	OK
2.32/3.88	c 3	OBJECTIVE BOUND: 0 <= _COST <= 40
2.32/3.88	c 3	SEARCHING: _COST <= 20
2.32/3.88	c 3	============================[ Search Statistics ]==============================
2.32/3.88	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.32/3.88	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.32/3.88	c 3	===============================================================================
2.32/3.88	c 3	|       153 |   17070   299129   868377 |    99709      153     25 |  7.535 % |
2.65/4.05	c 3	|       254 |   17070   299129   868377 |   109680      254     29 | 14.559 % |
2.85/4.28	c 4	|       406 |   17070   299129   868377 |   120648      406     30 | 14.559 % |
3.32/4.75	c 4	|       632 |   16532   188707   545277 |   132713      632     32 | 14.559 % |
4.01/5.42	c 5	|       969 |   16532   188707   545277 |   145984      969     36 | 14.559 % |
4.78/6.25	c 6	|      1475 |   16532   188707   545277 |   160583     1475     39 | 14.559 % |
6.05/7.54	c 7	|      2236 |   16532   188707   545277 |   176641     2236     43 | 14.559 % |
8.19/9.76	c 9	|      3375 |   16532   188707   545277 |   194305     3375     46 | 14.559 % |
11.75/13.44	c 13	|      5085 |   16532   188707   545277 |   213736     5085     47 | 14.559 % |
16.72/18.56	c 18	|      7647 |   16532   188707   545277 |   235110     7647     50 | 14.559 % |
19.42/21.32	c 21	===============================================================================
19.42/21.32	c 21	restarts              : 14
19.42/21.32	c 21	conflicts             : 8844          (511 /sec)
19.42/21.32	c 21	decisions             : 12383         (1.32 % random) (715 /sec)
19.42/21.32	c 21	propagations          : 21612392       (1248090 /sec)
19.42/21.32	c 21	conflict literals     : 445080         (13.50 % deleted)
19.42/21.32	c 21	Memory used           : 15.54 MB
19.42/21.32	c 21	CPU time              : 17.3164 s
19.42/21.32	c 21	
19.42/21.32	c 21	SATISFIABLE
19.42/21.33	c 21	OK
19.42/21.33	c 21	FOUND: _COST <= 20
19.42/21.33	c 21	DECODING HOME/temp.out WITH HOME/temp.map
19.42/21.33	c 21	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
19.45/21.50	c 21	Decoding HOME/temp.out
19.45/21.62	c 21	OBJECTIVE _COST 20
19.45/21.62	o 20
19.45/21.63	v 97 98 12 13 268 267 207 208 0 216 2 1 65 64 234 233 133 134 187 186 86 85 117 118 181 180 266 267 5 6 182 181 153 152 269 270 35 36 176 177 234 235 3 2 52 53 155 156 128 127
19.45/21.63	c 21	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
19.67/21.90	c 21	OK
19.67/21.90	c 21	OBJECTIVE BOUND: 0 <= _COST <= 20
19.67/21.90	c 21	SEARCHING: _COST <= 10
19.67/21.90	c 21	============================[ Search Statistics ]==============================
19.67/21.90	c 21	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.67/21.90	c 21	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
19.67/21.90	c 21	===============================================================================
19.67/21.90	c 21	|      8844 |   16127   173522   500917 |    57840     8838     50 | 14.559 % |
19.87/22.16	c 22	|      8946 |   16127   173522   500917 |    63624     8940     50 | 16.652 % |
20.27/22.53	c 22	|      9097 |   16127   173522   500917 |    69987     9091     51 | 16.652 % |
20.80/23.07	c 22	|      9323 |   16127   173522   500917 |    76985     9317     51 | 16.652 % |
21.67/23.95	c 23	|      9661 |   16127   173522   500917 |    84684     9655     51 | 16.652 % |
22.87/25.17	c 25	|     10167 |   16127   173522   500917 |    93152    10161     52 | 16.652 % |
24.77/27.06	c 26	|     10926 |   16127   173522   500917 |   102468    10920     53 | 16.652 % |
27.68/29.94	c 29	|     12066 |   16127   173522   500917 |   112715    12060     55 | 16.652 % |
32.07/34.36	c 34	|     13775 |   16127   173522   500917 |   123986    13769     59 | 16.652 % |
33.77/36.07	c 35	===============================================================================
33.77/36.07	c 35	restarts              : 23
33.77/36.07	c 35	conflicts             : 14309         (454 /sec)
33.77/36.07	c 35	decisions             : 18785         (1.34 % random) (596 /sec)
33.77/36.07	c 35	propagations          : 36054536       (1144799 /sec)
33.77/36.07	c 35	conflict literals     : 857489         (13.19 % deleted)
33.77/36.07	c 35	Memory used           : 16.82 MB
33.77/36.07	c 35	CPU time              : 31.4942 s
33.77/36.07	c 35	
33.77/36.07	c 35	SATISFIABLE
33.77/36.08	c 35	OK
33.77/36.08	c 35	FOUND: _COST <= 10
33.77/36.08	c 35	DECODING HOME/temp.out WITH HOME/temp.map
33.77/36.08	c 35	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
33.86/36.28	c 36	Decoding HOME/temp.out
34.03/36.41	c 36	OBJECTIVE _COST 10
34.03/36.41	o 10
34.03/36.41	v 75 76 1 2 154 155 265 266 213 212 87 86 213 212 120 121 277 278 28 29 214 213 149 150 0 1 89 88 245 246 148 128 118 117 19 20 234 233 14 13 154 153 76 75 0 1 248 247 125 126
34.03/36.42	c 36	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
34.06/36.51	c 36	OK
34.06/36.51	c 36	OBJECTIVE BOUND: 0 <= _COST <= 10
34.06/36.51	c 36	SEARCHING: _COST <= 5
34.06/36.51	c 36	============================[ Search Statistics ]==============================
34.06/36.51	c 36	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.06/36.51	c 36	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
34.06/36.51	c 36	===============================================================================
34.06/36.51	c 36	|     14309 |   15772   164922   476172 |    54974    14286     60 | 16.652 % |
34.37/36.89	c 36	|     14410 |   15772   164922   476172 |    60471    14387     60 | 18.487 % |
34.86/37.34	c 37	|     14563 |   15772   164922   476172 |    66518    14540     61 | 18.487 % |
35.64/38.14	c 38	|     14790 |   15772   164922   476172 |    73170    14767     61 | 18.487 % |
36.70/39.29	c 39	|     15127 |   15772   164922   476172 |    80487    15104     62 | 18.487 % |
38.34/40.93	c 40	|     15633 |   15772   164922   476172 |    88536    15610     63 | 18.487 % |
40.78/43.46	c 43	|     16393 |   15772   164922   476172 |    97389    16370     65 | 18.487 % |
44.75/47.51	c 47	|     17532 |   15772   164922   476172 |   107128    17509     68 | 18.487 % |
50.09/53.06	c 52	|     19242 |   15772   164922   476172 |   117841    19219     72 | 18.487 % |
59.98/63.25	c 63	|     21804 |   15772   164922   476172 |   129625    21781     79 | 18.487 % |
74.36/78.06	c 77	|     25650 |   15772   164922   476172 |   142588    25627     87 | 18.487 % |
97.45/101.84	c 101	|     31418 |   15772   164922   476172 |   156847    31395     97 | 18.487 % |
135.59/141.17	c 141	|     40069 |   15772   164922   476172 |   172531    40046    112 | 18.487 % |
196.20/202.76	c 202	|     53043 |   15772   164922   476172 |   189785    53020    123 | 18.487 % |
284.89/292.74	c 292	|     72504 |   15772   164922   476172 |   208763    72481    129 | 18.487 % |
448.79/459.02	c 458	|    101696 |   15772   164922   476172 |   229640   101673    139 | 18.487 % |
727.18/741.56	c 741	|    145485 |   15772   164922   476172 |   252604   145462    147 | 18.487 % |
1256.80/1278.95	c 1278	|    211169 |   15772   164922   476172 |   277864   211146    156 | 18.487 % |
1701.06/1729.72	c 1729	===============================================================================
1701.06/1729.72	c 1729	restarts              : 41
1701.06/1729.72	c 1729	conflicts             : 264576        (156 /sec)
1701.06/1729.72	c 1729	decisions             : 276731        (1.64 % random) (163 /sec)
1701.06/1729.72	c 1729	propagations          : 657652608      (387306 /sec)
1701.06/1729.72	c 1729	conflict literals     : 41665607       (10.95 % deleted)
1701.06/1729.72	c 1729	Memory used           : 189.73 MB
1701.06/1729.72	c 1729	CPU time              : 1698.02 s
1701.06/1729.72	c 1729	
1701.06/1729.72	c 1729	SATISFIABLE
1701.06/1729.73	c 1729	OK
1701.06/1729.73	c 1729	FOUND: _COST <= 5
1701.06/1729.73	c 1729	DECODING HOME/temp.out WITH HOME/temp.map
1701.06/1729.73	c 1729	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1701.10/1729.82	c 1729	Decoding HOME/temp.out
1701.10/1729.94	c 1729	OBJECTIVE _COST 5
1701.10/1729.94	o 5
1701.10/1729.94	v 75 76 1 2 154 155 265 266 213 212 87 86 213 212 120 121 278 277 28 29 214 215 149 148 0 1 89 88 246 245 148 149 117 118 19 20 234 233 14 13 154 155 76 77 1 0 247 248 126 125
1701.10/1729.95	c 1729	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1701.40/1730.36	c 1730	OK
1701.40/1730.36	c 1730	OBJECTIVE BOUND: 0 <= _COST <= 5
1701.40/1730.36	c 1730	SEARCHING: _COST <= 2
1701.40/1730.36	c 1730	============================[ Search Statistics ]==============================
1701.40/1730.36	c 1730	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1701.40/1730.37	c 1730	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1701.40/1730.37	c 1730	===============================================================================
1701.40/1730.37	c 1730	|    264576 |   15437   160012   462442 |    53337   264538    157 | 18.487 % |
1713.05/1742.38	c 1742	|    264678 |   15437   160012   462442 |    58671    23604    121 | 20.218 % |
1713.63/1742.98	c 1742	|    264831 |   15437   160012   462442 |    64538    23757    121 | 20.218 % |
1714.80/1744.10	c 1743	|    265058 |   15437   160012   462442 |    70991    23984    121 | 20.218 % |
1716.07/1745.43	c 1745	|    265395 |   15437   160012   462442 |    78091    24321    122 | 20.218 % |
1718.67/1748.12	c 1747	|    265901 |   15437   160012   462442 |    85900    24827    123 | 20.218 % |
1722.27/1751.85	c 1751	|    266660 |   15437   160012   462442 |    94490    25586    124 | 20.218 % |
1727.51/1757.26	c 1757	|    267800 |   15437   160012   462442 |   103939    26726    125 | 20.218 % |
1734.32/1764.21	c 1764	|    269508 |   15437   160012   462442 |   114333    28434    126 | 20.218 % |
1746.33/1776.67	c 1776	|    272070 |   15437   160012   462442 |   125766    30996    131 | 20.218 % |
1764.22/1795.00	c 1794	|    275915 |   15437   160012   462442 |   138343    34841    135 | 20.218 % |
1792.09/1823.81	c 1823	|    281685 |   15437   160012   462442 |   152177    40611    140 | 20.218 % |
1839.45/1872.53	c 1872	|    290334 |   15437   160012   462442 |   167395    49260    146 | 20.218 % |
1912.48/1947.71	c 1947	|    303308 |   15437   160012   462442 |   184134    62234    152 | 20.218 % |
2028.30/2067.05	c 2066	|    322769 |   15437   160012   462442 |   202548    81695    158 | 20.218 % |
2247.77/2292.37	c 2292	|    351962 |   15437   160012   462442 |   222803   110888    163 | 20.218 % |
2636.80/2687.27	c 2687	|    395752 |   15437   160012   462442 |   245083   154678    169 | 20.218 % |
3533.12/3595.16	c 3595	===============================================================================
3533.12/3595.16	c 3595	restarts              : 58
3533.12/3595.16	c 3595	conflicts             : 458076        (130 /sec)
3533.12/3595.16	c 3595	decisions             : 474251        (1.67 % random) (134 /sec)
3533.12/3595.16	c 3595	propagations          : 1050329203     (297567 /sec)
3533.12/3595.16	c 3595	conflict literals     : 76442057       (11.37 % deleted)
3533.12/3595.16	c 3595	Memory used           : 275.44 MB
3533.12/3595.16	c 3595	CPU time              : 3529.72 s
3533.12/3595.16	c 3595	
3533.12/3595.16	c 3595	UNSATISFIABLE
3533.12/3595.16	c 3595	OK
3533.12/3595.16	c 3595	NOT FOUND: _COST <= 2
3533.12/3595.16	c 3595	OK
3533.12/3595.16	c 3595	OBJECTIVE BOUND: 3 <= _COST <= 5
3533.12/3595.16	c 3595	SEARCHING: _COST <= 4
3533.12/3595.16	c 3595	============================[ Search Statistics ]==============================
3533.12/3595.16	c 3595	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3533.12/3595.16	c 3595	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3533.12/3595.16	c 3595	===============================================================================
3533.12/3595.16	c 3595	|    458076 |   15431   159988   462388 |    53329   195386    188 | 20.218 % |
3535.03/3597.08	c 3596	|    458176 |   15431   159988   462388 |    58662    37071    176 | 20.249 % |
3535.71/3597.74	c 3597	|    458326 |   15431   159988   462388 |    64528    37221    176 | 20.249 % |
3536.71/3598.70	c 3598	|    458553 |   15431   159988   462388 |    70981    37448    175 | 20.249 % |
3538.33/3600.35	c 3600	|    458890 |   15431   159988   462388 |    78079    37785    175 | 20.249 % |
3541.11/3603.16	c 3603	|    459396 |   15431   159988   462388 |    85887    38291    175 | 20.249 % |
3544.51/3606.51	c 3606	|    460155 |   15431   159988   462388 |    94476    39050    174 | 20.249 % |
3549.91/3611.97	c 3611	|    461296 |   15431   159988   462388 |   103923    40191    172 | 20.249 % |
3558.02/3620.07	c 3619	|    463006 |   15431   159988   462388 |   114316    41901    171 | 20.249 % |
3569.70/3631.76	c 3631	|    465571 |   15431   159988   462388 |   125747    44466    169 | 20.249 % |
3588.70/3650.71	c 3650	|    469416 |   15431   159988   462388 |   138322    48311    168 | 20.249 % |
3591.49/3653.59	c 3653	===============================================================================
3591.49/3653.59	c 3653	restarts              : 69
3591.49/3653.59	c 3653	conflicts             : 469977        (131 /sec)
3591.49/3653.59	c 3653	decisions             : 486804        (1.67 % random) (136 /sec)
3591.49/3653.59	c 3653	propagations          : 1088175072     (303271 /sec)
3591.49/3653.59	c 3653	conflict literals     : 78102638       (11.37 % deleted)
3591.49/3653.59	c 3653	Memory used           : 275.44 MB
3591.49/3653.59	c 3653	CPU time              : 3588.13 s
3591.49/3653.59	c 3653	
3591.49/3653.59	c 3653	SATISFIABLE
3591.60/3653.60	c 3653	OK
3591.60/3653.60	c 3653	FOUND: _COST <= 4
3591.60/3653.60	c 3653	DECODING HOME/temp.out WITH HOME/temp.map
3591.60/3653.60	c 3653	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3591.60/3653.81	c 3653	Decoding HOME/temp.out
3591.60/3654.03	c 3653	OBJECTIVE _COST 4
3591.60/3654.03	o 4
3591.60/3654.04	v 0 1 253 252 79 78 137 138 198 199 2 1 212 213 35 36 150 149 275 274 128 127 64 65 239 240 2 1 159 195 61 62 33 251 265 264 147 146 321 260 81 80 0 1 251 250 172 173 50 49
3591.60/3654.04	c 3653	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3591.92/3654.15	c 3654	OK
3591.92/3654.15	c 3654	OBJECTIVE BOUND: 3 <= _COST <= 4
3591.92/3654.15	c 3654	SEARCHING: _COST <= 3
3591.92/3654.15	c 3654	============================[ Search Statistics ]==============================
3591.92/3654.15	c 3654	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3591.92/3654.15	c 3654	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3591.92/3654.15	c 3654	===============================================================================
3591.92/3654.15	c 3654	|    469977 |   15302   158719   458967 |    52906    48872    167 | 20.249 % |
3592.61/3654.80	c 3654	|    470078 |   15302   158719   458967 |    58196    48973    167 | 20.916 % |
3593.51/3655.73	c 3655	|    470229 |   15302   158719   458967 |    64016    49124    167 | 20.916 % |
3594.41/3656.69	c 3656	|    470459 |   15302   158719   458967 |    70418    49354    167 | 20.916 % |
3596.32/3658.57	c 3658	|    470797 |   15302   158719   458967 |    77460    49692    167 | 20.916 % |
3598.62/3660.83	c 3660	|    471304 |   15302   158719   458967 |    85206    50199    167 | 20.916 % |
3600.02/3662.22	c ERROR INTERRUPTED
3600.02/3662.26	c 3662	CPU 3599.01 (0.07 0.04 3598.94 1.02)
3600.02/3662.26	c 3662	END Sat Jul 12 16:06:04 2008

Verifier Data (download as text)

OK	3	322
3 unsatisfied constraints, 322 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-1112429-1215867901/watcher-1112429-1215867901 -o /tmp/evaluation-result-1112429-1215867901/solver-1112429-1215867901 -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-1112429-1215867901.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.54 2.54 2.27 4/240 20566
/proc/meminfo: memFree=1751264/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=18572 CPUtime=0
/proc/20566/stat : 20566 (runsolver) R 20564 20566 20375 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 43487085 19017728 292 996147200 4194304 4296836 548682068192 18446744073709551615 251279240487 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20566/statm: 4643 292 257 25 0 2626 0

[startup+0.087451 s]
/proc/loadavg: 2.54 2.54 2.27 4/240 20566
/proc/meminfo: memFree=1751264/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=3672 CPUtime=0
/proc/20566/stat : 20566 (sugar++) R 20564 20566 20375 0 -1 4194304 55 0 0 0 0 0 0 0 19 0 1 0 43487085 3760128 40 996147200 4194304 4206940 548682068528 18446744073709551615 251276621138 0 0 4096 0 0 0 0 17 0 0 0
/proc/20566/statm: 918 40 31 3 0 8 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3672

[startup+0.10145 s]
/proc/loadavg: 2.54 2.54 2.27 4/240 20566
/proc/meminfo: memFree=1751264/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=6268 CPUtime=0
/proc/20566/stat : 20566 (sugar++) D 20564 20566 20375 0 -1 4194304 62 0 0 0 0 0 0 0 19 0 1 0 43487085 6418432 47 996147200 4194304 4206940 548682068528 18446744073709551615 251276621193 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/20566/statm: 1567 47 36 3 0 8 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6268

[startup+0.301478 s]
/proc/loadavg: 2.54 2.54 2.27 4/240 20566
/proc/meminfo: memFree=1751264/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=13204 CPUtime=0.03
/proc/20566/stat : 20566 (sugar++) R 20564 20566 20375 0 -1 4194304 654 0 0 0 2 1 0 0 18 0 1 0 43487085 13520896 622 996147200 4194304 4206940 548682068528 18446744073709551615 251292796289 0 0 4224 0 0 0 0 17 0 0 0
/proc/20566/statm: 3301 622 316 3 0 401 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13204

[startup+0.701527 s]
/proc/loadavg: 2.54 2.54 2.27 4/240 20566
/proc/meminfo: memFree=1751264/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16740 CPUtime=0.08
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1219 128 0 0 6 2 0 0 19 0 1 0 43487085 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16740

[startup+1.50163 s]
/proc/loadavg: 2.54 2.54 2.27 4/248 20578
/proc/meminfo: memFree=1739744/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16740 CPUtime=0.38
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1296 4511 0 1 6 2 27 3 15 0 1 0 43487085 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 16740

[startup+3.10183 s]
/proc/loadavg: 2.54 2.54 2.27 5/251 20588
/proc/meminfo: memFree=1729544/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=1.68
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1588 15148 0 3 6 3 147 12 15 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 16872

[startup+6.30124 s]
/proc/loadavg: 2.65 2.56 2.28 5/242 20619
/proc/meminfo: memFree=1725200/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.11
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1695 22856 0 5 6 3 185 17 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=15904 CPUtime=2.77
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 3865 0 0 0 275 2 0 0 25 0 1 0 43487316 16285696 3808 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 0 0 0
/proc/20589/statm: 3976 3808 80 151 0 3822 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 32776

[startup+12.702 s]
/proc/loadavg: 2.68 2.57 2.28 5/242 20619
/proc/meminfo: memFree=1725144/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.11
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1695 22856 0 5 6 3 185 17 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=15904 CPUtime=8.97
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 3870 0 0 0 895 2 0 0 25 0 1 0 43487316 16285696 3813 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20589/statm: 3976 3813 80 151 0 3822 0
Current children cumulated CPU time (s) 11.08
Current children cumulated vsize (KiB) 32776

[startup+25.5017 s]
/proc/loadavg: 2.90 2.62 2.30 4/242 20629
/proc/meminfo: memFree=1725528/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.33
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1765 26709 0 6 6 3 205 19 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=15904 CPUtime=20.94
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 3878 0 0 0 2092 2 0 0 25 0 1 0 43487316 16285696 3819 996147200 134512640 135134323 4294956192 18446744073709551615 134528238 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 3976 3819 80 151 0 3822 0
Current children cumulated CPU time (s) 23.27
Current children cumulated vsize (KiB) 32776

[startup+51.1019 s]
/proc/loadavg: 2.87 2.64 2.31 4/242 20639
/proc/meminfo: memFree=1722648/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.55
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1835 30562 0 7 6 4 223 22 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=19156 CPUtime=45.7
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 4668 0 0 0 4566 4 0 0 25 0 1 0 43487316 19615744 4607 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/20589/statm: 4789 4607 80 151 0 4635 0
Current children cumulated CPU time (s) 48.25
Current children cumulated vsize (KiB) 36028

[startup+102.316 s]
/proc/loadavg: 2.95 2.70 2.35 4/242 20639
/proc/meminfo: memFree=1712472/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.55
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1835 30562 0 7 6 4 223 22 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=28380 CPUtime=95.38
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 6966 0 0 0 9531 7 0 0 25 0 1 0 43487316 29061120 6905 996147200 134512640 135134323 4294956192 18446744073709551615 134530468 0 0 4096 3 0 0 0 17 0 0 0
/proc/20589/statm: 7095 6905 80 151 0 6941 0
Current children cumulated CPU time (s) 97.93
Current children cumulated vsize (KiB) 45252

[startup+162.302 s]
/proc/loadavg: 3.00 2.76 2.39 4/242 20639
/proc/meminfo: memFree=1703000/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.55
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1835 30562 0 7 6 4 223 22 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=38268 CPUtime=153.85
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 9413 0 0 0 15376 9 0 0 25 0 1 0 43487316 39186432 9352 996147200 134512640 135134323 4294956192 18446744073709551615 134532028 0 0 4096 3 0 0 0 17 0 0 0
/proc/20589/statm: 9567 9352 80 151 0 9413 0
Current children cumulated CPU time (s) 156.4
Current children cumulated vsize (KiB) 55140

[startup+222.301 s]
/proc/loadavg: 2.93 2.77 2.42 4/242 20639
/proc/meminfo: memFree=1694616/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.55
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1835 30562 0 7 6 4 223 22 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=46384 CPUtime=212.96
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 11439 0 0 0 21286 10 0 0 25 0 1 0 43487316 47497216 11378 996147200 134512640 135134323 4294956192 18446744073709551615 134708315 0 0 4096 3 0 0 0 17 0 0 0
/proc/20589/statm: 11596 11378 80 151 0 11442 0
Current children cumulated CPU time (s) 215.51
Current children cumulated vsize (KiB) 63256

[startup+282.302 s]
/proc/loadavg: 2.96 2.80 2.45 4/242 20639
/proc/meminfo: memFree=1686744/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.55
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1835 30562 0 7 6 4 223 22 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=54356 CPUtime=272.1
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 13425 0 0 0 27197 13 0 0 25 0 1 0 43487316 55660544 13364 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20589/statm: 13589 13364 80 151 0 13435 0
Current children cumulated CPU time (s) 274.65
Current children cumulated vsize (KiB) 71228

[startup+342.302 s]
/proc/loadavg: 2.81 2.79 2.46 4/242 20639
/proc/meminfo: memFree=1678936/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.55
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1835 30562 0 7 6 4 223 22 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=62056 CPUtime=331.22
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 15337 0 0 0 33108 14 0 0 25 0 1 0 43487316 63545344 15276 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20589/statm: 15514 15276 80 151 0 15360 0
Current children cumulated CPU time (s) 333.77
Current children cumulated vsize (KiB) 78928

[startup+402.301 s]
/proc/loadavg: 2.63 2.73 2.46 4/242 20639
/proc/meminfo: memFree=1671896/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.55
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1835 30562 0 7 6 4 223 22 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=69296 CPUtime=390.37
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 17124 0 0 0 39021 16 0 0 25 0 1 0 43487316 70959104 17063 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/20589/statm: 17324 17063 80 151 0 17170 0
Current children cumulated CPU time (s) 392.92
Current children cumulated vsize (KiB) 86168

[startup+462.302 s]
/proc/loadavg: 2.78 2.75 2.48 4/242 20639
/proc/meminfo: memFree=1664472/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.55
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1835 30562 0 7 6 4 223 22 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0

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

[pid=20589] ppid=20566 vsize=234616 CPUtime=2865.64
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 56311 0 0 0 286504 60 0 0 25 0 1 0 43487316 240246784 56240 996147200 134512640 135134323 4294956192 18446744073709551615 134532028 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 58654 56240 80 151 0 58500 0
Current children cumulated CPU time (s) 2868.4
Current children cumulated vsize (KiB) 251488

[startup+2982.3 s]
/proc/loadavg: 2.55 2.53 2.54 4/242 20651
/proc/meminfo: memFree=1508376/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1905 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=239172 CPUtime=2924.74
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 57267 0 0 0 292413 61 0 0 25 0 1 0 43487316 244912128 57196 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 59793 57196 80 151 0 59639 0
Current children cumulated CPU time (s) 2927.5
Current children cumulated vsize (KiB) 256044

[startup+3042.3 s]
/proc/loadavg: 2.54 2.54 2.54 4/242 20651
/proc/meminfo: memFree=1504280/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1905 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=244552 CPUtime=2983.85
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 58400 0 0 0 298323 62 0 0 25 0 1 0 43487316 250421248 58329 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 61138 58329 80 151 0 60984 0
Current children cumulated CPU time (s) 2986.61
Current children cumulated vsize (KiB) 261424

[startup+3102.3 s]
/proc/loadavg: 2.58 2.55 2.54 4/242 20651
/proc/meminfo: memFree=1499800/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1905 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=249908 CPUtime=3042.96
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 59524 0 0 0 304233 63 0 0 25 0 1 0 43487316 255905792 59453 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 62477 59453 80 151 0 62323 0
Current children cumulated CPU time (s) 3045.72
Current children cumulated vsize (KiB) 266780

[startup+3162.3 s]
/proc/loadavg: 2.72 2.60 2.56 4/242 20651
/proc/meminfo: memFree=1496152/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1905 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=253216 CPUtime=3102.07
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 60366 0 0 0 310143 64 0 0 25 0 1 0 43487316 259293184 60295 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 63304 60295 80 151 0 63150 0
Current children cumulated CPU time (s) 3104.83
Current children cumulated vsize (KiB) 270088

[startup+3222.3 s]
/proc/loadavg: 2.46 2.56 2.54 4/242 20651
/proc/meminfo: memFree=1491288/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1905 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=258068 CPUtime=3161.18
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 61600 0 0 0 316053 65 0 0 25 0 1 0 43487316 264261632 61529 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 64517 61529 80 151 0 64363 0
Current children cumulated CPU time (s) 3163.94
Current children cumulated vsize (KiB) 274940

[startup+3282.3 s]
/proc/loadavg: 2.54 2.56 2.54 4/242 20651
/proc/meminfo: memFree=1483800/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1905 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=267024 CPUtime=3220.3
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 63460 0 0 0 321963 67 0 0 25 0 1 0 43487316 273432576 63389 996147200 134512640 135134323 4294956192 18446744073709551615 134532028 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 66756 63389 80 151 0 66602 0
Current children cumulated CPU time (s) 3223.06
Current children cumulated vsize (KiB) 283896

[startup+3342.3 s]
/proc/loadavg: 2.35 2.50 2.53 4/242 20651
/proc/meminfo: memFree=1476312/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1905 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=276420 CPUtime=3279.4
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 65309 0 0 0 327872 68 0 0 25 0 1 0 43487316 283054080 65238 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 69105 65238 80 151 0 68951 0
Current children cumulated CPU time (s) 3282.16
Current children cumulated vsize (KiB) 293292

[startup+3402.32 s]
/proc/loadavg: 2.58 2.53 2.53 4/242 20657
/proc/meminfo: memFree=1475800/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1905 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=277224 CPUtime=3338.51
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 65366 0 0 0 333783 68 0 0 25 0 1 0 43487316 283877376 65295 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 69306 65295 80 151 0 69152 0
Current children cumulated CPU time (s) 3341.27
Current children cumulated vsize (KiB) 294096

[startup+3462.3 s]
/proc/loadavg: 2.64 2.55 2.54 3/229 20663
/proc/meminfo: memFree=1526656/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1905 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=279100 CPUtime=3397.64
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 65489 0 0 0 339696 68 0 0 25 0 1 0 43487316 285798400 65418 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 69775 65418 80 151 0 69621 0
Current children cumulated CPU time (s) 3400.4
Current children cumulated vsize (KiB) 295972

[startup+3522.3 s]
/proc/loadavg: 2.25 2.45 2.51 3/242 20695
/proc/meminfo: memFree=1476176/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1905 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=280440 CPUtime=3457.58
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 65642 0 0 0 345688 70 0 0 25 0 1 0 43487316 287170560 65571 996147200 134512640 135134323 4294956192 18446744073709551615 134532028 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 70110 65571 80 151 0 69956 0
Current children cumulated CPU time (s) 3460.34
Current children cumulated vsize (KiB) 297312

[startup+3582.3 s]
/proc/loadavg: 2.13 2.38 2.48 3/242 20695
/proc/meminfo: memFree=1474128/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1905 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=281376 CPUtime=3517.56
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 65937 0 0 0 351686 70 0 0 25 0 1 0 43487316 288129024 65866 996147200 134512640 135134323 4294956192 18446744073709551615 134532046 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 70344 65866 80 151 0 70190 0
Current children cumulated CPU time (s) 3520.32
Current children cumulated vsize (KiB) 298248

[startup+3642.3 s]
/proc/loadavg: 2.29 2.37 2.46 3/242 20695
/proc/meminfo: memFree=1319568/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=2.76
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1907 34416 0 8 6 4 242 24 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=282044 CPUtime=3577.54
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 66047 0 0 0 357684 70 0 0 25 0 1 0 43487316 288813056 65974 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 70511 65974 80 151 0 70357 0
Current children cumulated CPU time (s) 3580.3
Current children cumulated vsize (KiB) 298916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3662.2 s]
/proc/loadavg: 2.49 2.41 2.47 3/242 20705
/proc/meminfo: memFree=1318928/2055920 swapFree=4192812/4192956
[pid=20566] ppid=20564 vsize=16872 CPUtime=3.08
/proc/20566/stat : 20566 (sugar++) S 20564 20566 20375 0 -1 4194304 1975 38269 0 9 7 4 270 27 16 0 1 0 43487085 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20566/statm: 4218 1122 414 3 0 797 0
[pid=20589] ppid=20566 vsize=282044 CPUtime=3596.94
/proc/20589/stat : 20589 (minisat-inc) R 20566 20566 20375 0 -1 4194304 66049 0 0 0 359624 70 0 0 25 0 1 0 43487316 288813056 65974 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/20589/statm: 70511 65974 80 151 0 70357 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 298916

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): 3662.26
CPU time (s): 3600.1
CPU user time (s): 3599.02
CPU system time (s): 1.07384
CPU usage (%): 98.3025
Max. virtual memory (cumulated for all children) (KiB): 890584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.02
system time used= 1.07384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106373
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4803
involuntary context switches= 94462

runsolver used 13.34 second user time and 38.1182 second system time

The end

Launcher Data (download as text)

Begin job on node92 at 2008-07-12 15:05:01
IDJOB=1112429
IDBENCH=61416
IDSOLVER=367
FILE ID=node92/1112429-1215867901
PBS_JOBID= 7903522
Free space on /tmp= 66480 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-5.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-1112429-1215867901/watcher-1112429-1215867901 -o /tmp/evaluation-result-1112429-1215867901/solver-1112429-1215867901 -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-1112429-1215867901.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 2e5c5c0c698ee4230add174259a929af
RANDOM SEED=793700229

node92.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.236
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.236
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1751744 kB
Buffers:          4800 kB
Cached:          46744 kB
SwapCached:          0 kB
Active:         220288 kB
Inactive:        12488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             896 kB
Writeback:           0 kB
Mapped:         201148 kB
Slab:            42316 kB
Committed_AS:  1224452 kB
PageTables:      11592 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= 66476 MiB
End job on node92 at 2008-07-12 16:06:06