Trace number 1820597

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 NameAnswerCPU timeWall clock time
minisat_cumr r-2009-03-18SAT 70.97 70.9614

General information on the benchmark

Nameindustrial/grieu/
vmpc_24.cnf
MD5SUMa69847fa52646cc8016cf4fd8e9d428a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.21
Satisfiable
(Un)Satisfiability was proved
Number of variables576
Number of clauses67872
Sum of the clauses size178056
Maximum clause length24
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 226568
Number of clauses of size 341256
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 548

Solver Data 

0.00/0.00	c Parsing...
0.00/0.04	c ==============================================================================
0.00/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   67872   178056 |   20361       0        0     nan |  0.000 % |
0.00/0.04	c ==============================================================================
0.00/0.04	c Result  :   #vars: 576   #clauses: 67872   #literals: 178056
0.00/0.04	c CPU time:   0.04 s
0.00/0.04	c ==============================================================================
0.00/0.10	c This is MiniSat 2.0 beta
0.00/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.10	c ============================[ Problem Statistics ]=============================
0.00/0.10	c |                                                                             |
0.00/0.10	c |  Number of variables:  576                                                  |
0.00/0.10	c |  Number of clauses:    67872                                                |
0.11/0.13	c |  Parsing time:         0.03         s                                       |
0.11/0.14	c ============================[ Search Statistics ]==============================
0.11/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.11/0.14	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.11/0.14	c ===============================================================================
0.11/0.14	c |         0 |     576    67872   178056 |    22624        0    nan |  0.000 % |
0.11/0.20	c |       513 |     576    67872   178056 |    22624      513     39 |  0.000 % |
0.11/0.25	c |      1029 |     576    67872   178056 |    22624     1029     49 |  0.000 % |
0.11/0.30	c |      1541 |     576    67872   178056 |    22624     1541     56 |  0.000 % |
0.11/0.40	c |      2565 |     576    67872   178056 |    22624     2565     64 |  0.001 % |
0.11/0.47	c |      3077 |     576    67872   178056 |    22624     3077     65 |  0.000 % |
0.11/0.54	c |      3589 |     576    67872   178056 |    22624     3589     64 |  0.000 % |
0.11/0.71	c |      4615 |     576    67872   178056 |    22624     4615     62 |  0.000 % |
0.11/1.02	c |      6663 |     576    67872   178056 |    22624     6663     56 |  0.000 % |
0.11/1.11	c |      7175 |     576    67872   178056 |    22624     7175     54 |  0.018 % |
1.12/1.19	c |      7690 |     576    67872   178056 |    22624     7690     52 |  0.019 % |
1.32/1.34	c |      8714 |     576    67872   178056 |    22624     8714     48 |  0.018 % |
1.42/1.42	c |      9227 |     576    67872   178056 |    22624     9227     47 |  0.018 % |
1.42/1.50	c |      9741 |     576    67872   178056 |    22624     9741     46 |  0.018 % |
1.62/1.66	c |     10767 |     576    67872   178056 | 2147483647    10767     45 |  0.018 % |
2.02/2.04	c |     12815 |     576    67872   178056 | 2147483647    12815     44 |  0.000 % |
3.02/3.08	c |     16911 |     576    67872   178056 | 2147483647    16911     41 |  0.000 % |
3.22/3.25	c |     17423 |     576    67872   178056 | 2147483647    17423     41 |  0.019 % |
3.32/3.40	c |     17935 |     576    67872   178056 | 2147483647    17935     41 |  0.019 % |
3.72/3.73	c |     18959 |     576    67872   178056 | 2147483647    18959     40 |  0.019 % |
3.92/3.92	c |     19471 |     576    67872   178056 | 2147483647    19471     40 |  0.019 % |
4.02/4.10	c |     19985 |     576    67872   178056 | 2147483647    19985     39 |  0.019 % |
4.42/4.48	c |     21010 |     575    67636   177440 | 2147483647     9419     47 |  0.192 % |
4.82/4.89	c |     23059 |     575    67636   177440 | 2147483647    11468     48 |  0.174 % |
4.92/4.98	c |     23572 |     575    67636   177440 | 2147483647    11981     49 |  0.174 % |
5.02/5.08	c |     24086 |     575    67636   177440 | 2147483647    12495     50 |  0.175 % |
5.22/5.30	c |     25111 |     575    67636   177440 | 2147483647    13520     50 |  0.174 % |
5.32/5.41	c |     25625 |     575    67636   177440 | 2147483647    14034     50 |  0.174 % |
5.52/5.54	c |     26137 |     575    67636   177440 | 2147483647    14546     49 |  0.192 % |
5.82/5.81	c |     27161 |     575    67636   177440 | 2147483647    15570     48 |  0.174 % |
6.32/6.32	c |     29211 |     575    67636   177440 | 2147483647    17620     46 |  0.191 % |
7.52/7.51	c |     33308 |     575    67636   177440 | 2147483647    21717     43 |  0.191 % |
10.12/10.14	c |     41500 |     574    67402   176828 | 2147483647    23799     43 |  0.367 % |
10.22/10.28	c |     42013 |     574    67402   176828 | 2147483647    24312     43 |  0.348 % |
10.42/10.47	c |     42525 |     574    67402   176828 | 2147483647    24824     43 |  0.348 % |
10.72/10.81	c |     43549 |     574    67402   176828 | 2147483647    25848     45 |  0.348 % |
10.92/11.00	c |     44062 |     574    67402   176828 | 2147483647    26361     45 |  0.348 % |
11.12/11.20	c |     44574 |     574    67402   176828 | 2147483647    26873     45 |  0.348 % |
11.62/11.65	c |     45599 |     574    67402   176828 | 2147483647    27898     46 |  0.348 % |
12.52/12.59	c |     47649 |     574    67402   176828 | 2147483647    29948     46 |  0.348 % |
12.82/12.85	c |     48161 |     574    67402   176828 | 2147483647    30460     46 |  0.366 % |
13.12/13.14	c |     48675 |     574    67402   176828 | 2147483647    30974     46 |  0.366 % |
13.52/13.61	c |     49701 |     574    67402   176828 | 2147483647    32000     45 |  0.365 % |
13.82/13.89	c |     50214 |     574    67402   176828 |    32299    27972     41 |  0.365 % |
14.02/14.11	c |     50728 |     574    67402   176828 |    32299    28486     41 |  0.367 % |
14.52/14.54	c |     51753 |     574    67402   176828 |    32299    29511     41 |  0.366 % |
15.32/15.37	c |     53801 |     574    67402   176828 |    32299    31559     41 |  0.366 % |
17.12/17.14	c |     57898 |     574    67402   176828 |    32299    30747     39 |  0.367 % |
17.32/17.40	c |     58413 |     574    67402   176828 |    32299    31262     39 |  0.367 % |
17.62/17.64	c |     58926 |     574    67402   176828 |    32299    31775     38 |  0.367 % |
18.02/18.03	c |     59950 |     574    67402   176828 |    32299    27518     37 |  0.367 % |
18.22/18.28	c |     60464 |     574    67402   176828 |    27570    23372     37 |  0.370 % |
18.42/18.44	c |     60979 |     574    67402   176828 |    27570    23887     37 |  0.367 % |
18.72/18.80	c |     62007 |     574    67402   176828 |    27570    24915     36 |  0.367 % |
19.52/19.58	c |     64056 |     574    67402   176828 |    27570    26964     38 |  0.348 % |
19.72/19.80	c |     64568 |     574    67402   176828 |    27570    27476     38 |  0.348 % |
19.93/20.00	c |     65082 |     574    67402   176828 |    27570    23791     35 |  0.348 % |
20.22/20.31	c |     66106 |     574    67402   176828 |    27570    24815     36 |  0.348 % |
20.42/20.46	c |     66619 |     574    67402   176828 |    27570    25328     36 |  0.364 % |
20.62/20.65	c |     67131 |     574    67402   176828 |    27570    25840     36 |  0.364 % |
21.03/21.05	c |     68159 |     574    67402   176828 |    27570    26868     35 |  0.368 % |
21.72/21.75	c |     70209 |     574    67402   176828 |    24649    24857     34 |  0.348 % |
23.32/23.38	c |     74305 |     574    67402   176828 |    24649    22050     35 |  0.366 % |
26.72/26.71	c |     82497 |     573    67166   176212 |    24076    12447     31 |  0.540 % |
31.42/31.48	c |     98881 |     569    66240   173797 | 2147483647    13617     33 |  1.235 % |
31.62/31.61	c |     99394 |     569    66240   173797 | 2147483647    14130     32 |  1.235 % |
31.72/31.74	c |     99907 |     569    66240   173797 | 2147483647    14643     32 |  1.235 % |
32.03/32.04	c |    100932 |     569    66240   173797 | 2147483647    15668     31 |  1.237 % |
32.12/32.19	c |    101444 |     569    66240   173797 | 2147483647    16180     31 |  1.238 % |
32.32/32.36	c |    101958 |     569    66240   173797 | 2147483647    16694     31 |  1.238 % |
32.72/32.73	c |    102982 |     569    66240   173797 | 2147483647    17718     31 |  1.240 % |
33.22/33.30	c |    105032 |     568    66240   173797 | 2147483647    19767     31 |  1.390 % |
33.42/33.48	c |    105544 |     568    66013   173206 | 2147483647    16105     33 |  1.389 % |
33.62/33.64	c |    106058 |     568    66013   173206 | 2147483647    16619     34 |  1.389 % |
33.92/33.96	c |    107082 |     568    66013   173206 | 2147483647    17643     35 |  1.390 % |
34.12/34.12	c |    107595 |     568    66013   173206 | 2147483647    18156     35 |  1.389 % |
34.32/34.31	c |    108108 |     568    66013   173206 | 2147483647    18669     36 |  1.389 % |
34.62/34.66	c |    109132 |     568    66013   173206 | 2147483647    19693     36 |  1.390 % |
35.33/35.37	c |    111180 |     568    66013   173206 | 2147483647    21741     36 |  1.409 % |
37.22/37.30	c |    115276 |     567    65783   172606 | 2147483647    20055     36 |  1.582 % |
37.42/37.49	c |    115788 |     567    65783   172606 | 2147483647    20567     35 |  1.563 % |
37.62/37.67	c |    116302 |     567    65783   172606 | 2147483647    21081     35 |  1.581 % |
38.02/38.05	c |    117326 |     567    65783   172606 | 2147483647    22105     36 |  1.581 % |
38.22/38.24	c |    117838 |     567    65783   172606 | 2147483647    22617     35 |  1.581 % |
38.42/38.43	c |    118352 |     567    65783   172606 | 2147483647    23131     35 |  1.581 % |
38.72/38.73	c |    119377 |     567    65783   172606 | 2147483647    24156     35 |  1.580 % |
39.42/39.43	c |    121426 |     567    65783   172606 |    24779    22927     32 |  1.587 % |
39.62/39.61	c |    121938 |     567    65783   172606 |    24779    23439     32 |  1.582 % |
39.73/39.80	c |    122450 |     567    65783   172606 |    24779    23951     32 |  1.583 % |
40.12/40.18	c |    123476 |     567    65783   172606 |    24779    24977     32 |  1.583 % |
40.32/40.38	c |    123991 |     567    65783   172606 |    24779    22096     32 |  1.563 % |
40.52/40.55	c |    124503 |     567    65783   172606 |    24779    22608     32 |  1.581 % |
40.92/40.94	c |    125527 |     567    65783   172606 |    24779    23632     33 |  1.563 % |
41.82/41.83	c |    127575 |     567    65783   172606 |    24779    22184     35 |  1.563 % |
43.62/43.69	c |    131673 |     567    65783   172606 |    24610    22594     36 |  1.563 % |
47.32/47.39	c |    139869 |     565    65549   171996 |    24610    21312     37 |  1.910 % |
47.62/47.65	c |    140381 |     565    65549   171996 |    21444    18233     35 |  1.910 % |
47.82/47.88	c |    140894 |     565    65549   171996 |    21444    18746     35 |  1.910 % |
48.12/48.19	c |    141922 |     565    65549   171996 |    21444    19774     36 |  1.931 % |
48.33/48.36	c |    142434 |     565    65549   171996 |    21444    20286     36 |  1.910 % |
48.53/48.54	c |    142946 |     565    65549   171996 |    21444    20798     35 |  1.910 % |
48.83/48.91	c |    143975 |     565    65549   171996 |    21444    18679     33 |  1.927 % |
49.53/49.56	c |    146023 |     565    65319   171398 |    21444    16459     35 |  1.927 % |
49.73/49.74	c |    146535 |     565    65319   171398 |    21444    16971     36 |  1.910 % |
49.93/49.95	c |    147048 |     565    65319   171398 |    21444    17484     37 |  1.911 % |
50.23/50.28	c |    148072 |     565    65319   171398 |    21444    18508     38 |  1.910 % |
50.43/50.49	c |    148585 |     565    65319   171398 |    21444    19021     38 |  1.910 % |
50.73/50.75	c |    149097 |     565    65319   171398 |    21444    19533     39 |  1.910 % |
51.23/51.27	c |    150122 |     565    65319   171398 |    20438    20558     39 |  1.910 % |
52.03/52.10	c |    152172 |     564    65092   170803 |    20438    18356     38 |  2.102 % |
53.43/53.49	c |    156269 |     563    65092   170803 |    20438    20076     35 |  2.431 % |
53.63/53.69	c |    156782 |     563    65092   170803 |    20438    20589     35 |  2.451 % |
53.83/53.86	c |    157294 |     563    65092   170803 |    20438    18612     34 |  2.450 % |
54.13/54.19	c |    158319 |     563    65092   170803 |    20438    19637     34 |  2.451 % |
54.33/54.33	c |    158831 |     563    65092   170803 |    20438    20149     34 |  2.451 % |
54.53/54.52	c |    159343 |     563    65092   170803 |    20438    18254     33 |  2.431 % |
54.83/54.90	c |    160367 |     563    65092   170803 |    18911    17038     31 |  2.451 % |
55.63/55.62	c |    162416 |     562    64644   169640 |    18911    16834     32 |  2.451 % |
55.73/55.79	c |    162928 |     561    64644   169640 |    18911    17345     32 |  2.605 % |
55.93/55.95	c |    163440 |     561    64644   169640 |    18911    17857     32 |  2.621 % |
56.23/56.30	c |    164464 |     561    64644   169640 |    18911    18881     32 |  2.625 % |
56.43/56.48	c |    164978 |     561    64644   169640 |    18911    17406     29 |  2.625 % |
56.63/56.66	c |    165491 |     561    64644   169640 |    18911    17919     29 |  2.625 % |
56.93/56.97	c |    166516 |     561    64644   169640 |    18911    18944     29 |  2.625 % |
57.63/57.61	c |    168566 |     561    64427   169071 |    18911    15841     32 |  2.604 % |
59.13/59.12	c |    172664 |     561    64427   169071 | 2147483647    19939     35 |  2.604 % |
62.33/62.41	c |    180860 |     559    64202   168488 |    27273    24560     33 |  3.145 % |
69.23/69.26	c |    197245 |     559    64202   168488 |    23938    22970     29 |  3.126 % |
70.93/70.95	c ===============================================================================
70.93/70.95	c restarts              : 128
70.93/70.95	c conflicts             : 202365         (2857 /sec)
70.93/70.95	c decisions             : 345793         (1.16 % random) (4881 /sec)
70.93/70.95	c propagations          : 21213232       (299453 /sec)
70.93/70.95	c conflict literals     : 7233881        (42.32 % deleted)
70.93/70.95	c Memory used           : 12.15 MB
70.93/70.95	c CPU time              : 70.84 s
70.93/70.95	c 
70.93/70.95	s SATISFIABLE
70.93/70.95	s SATISFIABLE
70.93/70.95	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 283 -284 -285 -286 -287 -288 -289 -290 -291 292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 527 -528 529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 0

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1820597-1242457240/watcher-1820597-1242457240 -o /tmp/evaluation-result-1820597-1242457240/solver-1820597-1242457240 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820597-1242457240.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.98 1.01 1.00 2/93 7871
/proc/meminfo: memFree=1199800/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2412 CPUtime=0.01
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 367 646 0 0 0 0 0 1 18 0 1 0 1010225035 2469888 277 4294967295 134512640 135169312 3213343696 3213342232 3085135598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7871/statm: 603 277 235 161 0 42 0
[pid=7875] ppid=7871 vsize=816 CPUtime=0
/proc/7875/stat : 7875 (SatELite_releas) R 7871 7871 20977 0 -1 4194304 74 0 0 0 0 0 0 0 20 0 1 0 1010225035 835584 10 4294967295 134512640 135223648 3216148080 3216147476 134914413 0 0 0 0 0 0 0 17 3 0 0 0
/proc/7875/statm: 205 24 18 174 0 30 0

[startup+0.1138 s]
/proc/loadavg: 0.98 1.01 1.00 2/93 7871
/proc/meminfo: memFree=1199800/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2416

[startup+0.21379 s]
/proc/loadavg: 0.98 1.01 1.00 2/93 7871
/proc/meminfo: memFree=1199800/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2416

[startup+0.313779 s]
/proc/loadavg: 0.98 1.01 1.00 2/93 7871
/proc/meminfo: memFree=1199800/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2416

[startup+0.713741 s]
/proc/loadavg: 0.98 1.01 1.00 2/93 7871
/proc/meminfo: memFree=1199800/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2416

[startup+1.51366 s]
/proc/loadavg: 0.98 1.01 1.00 3/95 7877
/proc/meminfo: memFree=1193684/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=6828 CPUtime=1.41
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 1619 0 0 0 141 0 0 0 25 0 1 0 1010225045 6991872 1554 4294967295 134512640 135216591 3220292288 3220290480 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 1707 1554 75 172 0 1534 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9244

[startup+3.1135 s]
/proc/loadavg: 0.98 1.01 1.00 3/95 7877
/proc/meminfo: memFree=1192444/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=8200 CPUtime=3.01
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 1946 0 0 0 301 0 0 0 25 0 1 0 1010225045 8396800 1881 4294967295 134512640 135216591 3220292288 3220290480 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 2050 1881 75 172 0 1877 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10616

[startup+6.31319 s]
/proc/loadavg: 1.14 1.04 1.01 3/95 7877
/proc/meminfo: memFree=1191252/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=8952 CPUtime=6.21
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2131 0 0 0 620 1 0 0 25 0 1 0 1010225045 9166848 2066 4294967295 134512640 135216591 3220292288 3220290480 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 2238 2066 75 172 0 2065 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11368

[startup+12.7126 s]
/proc/loadavg: 1.13 1.04 1.01 3/95 7879
/proc/meminfo: memFree=1188308/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=11888 CPUtime=12.61
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2853 0 0 0 1260 1 0 0 25 0 1 0 1010225045 12173312 2788 4294967295 134512640 135216591 3220292288 3220290480 134528894 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 2972 2788 75 172 0 2799 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 14304

[startup+25.5113 s]
/proc/loadavg: 1.10 1.04 1.01 3/95 7880
/proc/meminfo: memFree=1187660/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=12292 CPUtime=25.41
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2957 0 0 0 2540 1 0 0 25 0 1 0 1010225045 12587008 2892 4294967295 134512640 135216591 3220292288 3220290480 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 3073 2892 75 172 0 2900 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 14708

[startup+51.1188 s]
/proc/loadavg: 1.06 1.03 1.00 2/95 8065
/proc/meminfo: memFree=1186956/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=12292 CPUtime=51.02
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2975 0 0 0 5101 1 0 0 25 0 1 0 1010225045 12587008 2910 4294967295 134512640 135216591 3220292288 3220290480 134528851 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 3073 2910 75 172 0 2900 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 14708

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

[startup+51.2188 s]
/proc/loadavg: 1.06 1.03 1.00 2/95 8065
/proc/meminfo: memFree=1186956/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=12292 CPUtime=51.12
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2975 0 0 0 5111 1 0 0 25 0 1 0 1010225045 12587008 2910 4294967295 134512640 135216591 3220292288 3220290480 134528862 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 3073 2910 75 172 0 2900 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 14708

[startup+64.0175 s]
/proc/loadavg: 1.05 1.03 1.00 2/95 8066
/proc/meminfo: memFree=1186928/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=12436 CPUtime=63.92
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2989 0 0 0 6391 1 0 0 25 0 1 0 1010225045 12734464 2924 4294967295 134512640 135216591 3220292288 3220290480 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 3109 2924 75 172 0 2936 0
Current children cumulated CPU time (s) 64.03
Current children cumulated vsize (KiB) 14852

[startup+67.2172 s]
/proc/loadavg: 1.05 1.03 1.00 2/95 8066
/proc/meminfo: memFree=1186960/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=12436 CPUtime=67.12
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2994 0 0 0 6711 1 0 0 25 0 1 0 1010225045 12734464 2929 4294967295 134512640 135216591 3220292288 3220290480 134529032 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 3109 2929 75 172 0 2936 0
Current children cumulated CPU time (s) 67.23
Current children cumulated vsize (KiB) 14852

[startup+68.817 s]
/proc/loadavg: 1.05 1.03 1.00 2/95 8066
/proc/meminfo: memFree=1186992/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=12436 CPUtime=68.72
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2999 0 0 0 6871 1 0 0 25 0 1 0 1010225045 12734464 2934 4294967295 134512640 135216591 3220292288 3220290480 134529023 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 3109 2934 75 172 0 2936 0
Current children cumulated CPU time (s) 68.83
Current children cumulated vsize (KiB) 14852

[startup+69.617 s]
/proc/loadavg: 1.05 1.03 1.00 2/95 8066
/proc/meminfo: memFree=1186992/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=12436 CPUtime=69.52
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2999 0 0 0 6951 1 0 0 25 0 1 0 1010225045 12734464 2934 4294967295 134512640 135216591 3220292288 3220290480 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 3109 2934 75 172 0 2936 0
Current children cumulated CPU time (s) 69.63
Current children cumulated vsize (KiB) 14852

[startup+70.4169 s]
/proc/loadavg: 1.04 1.03 1.00 2/95 8066
/proc/meminfo: memFree=1186992/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=12436 CPUtime=70.32
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2999 0 0 0 7031 1 0 0 25 0 1 0 1010225045 12734464 2934 4294967295 134512640 135216591 3220292288 3220290480 134528966 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 3109 2934 75 172 0 2936 0
Current children cumulated CPU time (s) 70.43
Current children cumulated vsize (KiB) 14852

[startup+70.8168 s]
/proc/loadavg: 1.04 1.03 1.00 2/95 8066
/proc/meminfo: memFree=1186992/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=12436 CPUtime=70.72
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2999 0 0 0 7071 1 0 0 25 0 1 0 1010225045 12734464 2934 4294967295 134512640 135216591 3220292288 3220290480 134528839 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 3109 2934 75 172 0 2936 0
Current children cumulated CPU time (s) 70.83
Current children cumulated vsize (KiB) 14852

[startup+70.9168 s]
/proc/loadavg: 1.04 1.03 1.00 2/95 8066
/proc/meminfo: memFree=1186992/2074464 swapFree=1951868/1959888
[pid=7871] ppid=7869 vsize=2416 CPUtime=0.11
/proc/7871/stat : 7871 (SatELiteGTI) S 7869 7871 20977 0 -1 4194304 386 1688 0 0 0 0 10 1 18 0 1 0 1010225035 2473984 278 4294967295 134512640 135169312 3213343696 3213339912 3085135598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7871/statm: 604 278 235 161 0 43 0
[pid=7877] ppid=7871 vsize=12436 CPUtime=70.82
/proc/7877/stat : 7877 (minisat_static) R 7871 7871 20977 0 -1 4202496 2999 0 0 0 7081 1 0 0 25 0 1 0 1010225045 12734464 2934 4294967295 134512640 135216591 3220292288 3220290480 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7877/statm: 3109 2934 75 172 0 2936 0
Current children cumulated CPU time (s) 70.93
Current children cumulated vsize (KiB) 14852

Child status: 10
Real time (s): 70.9614
CPU time (s): 70.97
CPU user time (s): 70.94
CPU system time (s): 0.03
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 14852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.94
system time used= 0.03
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 120

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-16 09:00:40
IDJOB=1820597
IDBENCH=20489
IDSOLVER=658
FILE ID=tipi10/1820597-1242457240
PBS_JOBID=
Free space on /tmp= 5406 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_24.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820597-1242457240/watcher-1820597-1242457240 -o /tmp/evaluation-result-1820597-1242457240/solver-1820597-1242457240 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820597-1242457240.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a69847fa52646cc8016cf4fd8e9d428a
RANDOM SEED= 2020253936

Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1199824 kB
Buffers:         33508 kB
Cached:         740116 kB
SwapCached:       2896 kB
Active:         378580 kB
Inactive:       405124 kB
HighTotal:     1178688 kB
HighFree:       429612 kB
LowTotal:       895776 kB
LowFree:        770212 kB
SwapTotal:     1959888 kB
SwapFree:      1951868 kB
Dirty:            2668 kB
Writeback:          12 kB
AnonPages:        9036 kB
Mapped:           3420 kB
Slab:            81820 kB
PageTables:        432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 5406 MiB
End job on tipi10 at 2009-05-16 09:01:51