Trace number 1821118

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 p-2009-03-18? (TO) 1200.04 1199.93

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-32-s100.cnf
MD5SUM7785f51f4f3cb780b4d123215711f948
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables32312
Number of clauses97285
Sum of the clauses size229627
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262100
Number of clauses of size 335121
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.07/0.09	c ==============================================================================
0.07/0.09	c |           |     ORIGINAL     |              LEARNT              |          |
0.07/0.09	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.07/0.09	c ==============================================================================
0.07/0.09	c |         0 |   97093   229175 |   29127       0        0     nan |  0.000 % |
1.21/1.26	c |         0 |   60325   180482 |      --       0       --      -- |     --   | -36648/-48269
1.21/1.26	c ==============================================================================
1.21/1.26	c Result  :   #vars: 14507   #clauses: 60325   #literals: 180482
1.21/1.26	c CPU time:   1.19 s
1.21/1.26	c ==============================================================================
1.31/1.33	c This is MiniSat 2.0 beta
1.31/1.33	c WARNING: for repeatability, setting FPU to use double precision
1.31/1.33	c ============================[ Problem Statistics ]=============================
1.31/1.33	c |                                                                             |
1.31/1.33	c |  Number of variables:  14507                                                |
1.31/1.33	c |  Number of clauses:    60325                                                |
1.31/1.37	c |  Parsing time:         0.05         s                                       |
1.31/1.38	c ============================[ Search Statistics ]==============================
1.31/1.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.31/1.38	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.31/1.38	c ===============================================================================
1.31/1.38	c |         0 |   14507    60325   180482 |    20108        0    nan |  0.000 % |
1.33/1.41	c |       100 |   14493    60325   180482 |    20108       95     47 |  1.909 % |
1.33/1.62	c |       202 |   14493    60325   180482 |    20108      197     48 |  1.909 % |
1.33/1.98	c |       303 |   14230    58828   176622 |    20108      296     53 |  1.909 % |
2.31/2.33	c |       414 |   14230    58828   176622 |    20108      407     53 |  1.909 % |
2.91/2.91	c |       514 |   14230    58828   176622 |    20108      507     48 |  1.909 % |
3.31/3.38	c |       624 |   14230    58828   176622 |    20108      617     46 |  1.909 % |
4.01/4.02	c |       747 |   14230    58828   176622 |    20108      740     44 |  1.909 % |
4.61/4.64	c |       848 |   14230    58828   176622 |    20108      841     44 |  1.909 % |
5.21/5.23	c |       958 |   14230    58828   176622 |    20108      951     42 |  1.909 % |
5.81/5.83	c |      1079 |   14230    58828   176622 |    20108     1072     41 |  1.909 % |
6.51/6.59	c |      1212 |   14230    58828   176622 |    20108     1205     42 |  1.909 % |
7.11/7.18	c |      1312 |   14230    58828   176622 |    20108     1305     41 |  1.909 % |
7.61/7.69	c |      1422 |   14230    58828   176622 |    20108     1415     40 |  1.909 % |
8.11/8.15	c |      1544 |   14230    58828   176622 |    20108     1537     40 |  1.909 % |
8.71/8.77	c |      1678 |   14230    58828   176622 |    20108     1671     40 |  1.909 % |
9.61/9.69	c |      1825 |   14230    58828   176622 |    20108     1818     40 |  1.909 % |
9.71/9.72	c |      1925 |   14230    58828   176622 |    20108     1918     41 |  1.909 % |
9.91/9.99	c |      2035 |   14230    58828   176622 |    20108     2028     42 |  1.909 % |
10.41/10.46	c |      2156 |   14230    58828   176622 |    20108     2149     42 |  1.909 % |
11.01/11.02	c |      2290 |   14230    58828   176622 |    20108     2283     42 |  1.909 % |
11.81/11.89	c |      2437 |   14230    58828   176622 |    20108     2430     41 |  1.909 % |
12.61/12.69	c |      2597 |   14230    58828   176622 |    20108     2590     40 |  1.909 % |
12.91/12.98	c |      2699 |   14230    58828   176622 |    20108     2692     40 |  1.909 % |
13.41/13.50	c |      2809 |   14230    58828   176622 |    20108     2802     40 |  1.909 % |
13.51/13.60	c |      2932 |   14230    58828   176622 |    20108     2925     40 |  1.909 % |
14.01/14.04	c |      3065 |   14230    58828   176622 |    20108     3058     41 |  1.909 % |
14.61/14.60	c |      3211 |   14230    58828   176622 |    20108     3204     41 |  1.909 % |
15.21/15.27	c |      3371 |   14230    58828   176622 |    20108     3364     40 |  1.909 % |
16.21/16.20	c |      3548 |   14230    58828   176622 |    20108     3541     40 |  1.909 % |
16.71/16.77	c |      3649 |   14230    58828   176622 |    20108     3642     40 |  1.909 % |
17.41/17.47	c |      3760 |   14230    58828   176622 |    20108     3753     40 |  1.909 % |
18.01/18.10	c |      3881 |   14230    58828   176622 |    20108     3874     40 |  1.909 % |
18.91/18.99	c |      4015 |   14230    58828   176622 |    20108     4008     40 |  1.909 % |
19.82/19.82	c |      4162 |   14230    58828   176622 |    20108     4155     39 |  1.909 % |
20.61/20.66	c |      4323 |   14230    58828   176622 |    20108     4316     39 |  1.909 % |
21.71/21.73	c |      4499 |   14230    58828   176622 |    20108     4492     39 |  1.909 % |
22.91/22.91	c |      4692 |   14230    58828   176622 |    20108     4685     38 |  1.909 % |
23.51/23.57	c |      4792 |   14230    58828   176622 |    20108     4785     38 |  1.909 % |
24.11/24.17	c |      4902 |   14230    58828   176622 |    20108     4895     38 |  1.909 % |
24.31/24.30	c |      5023 |   14230    58828   176622 |    20108     5016     39 |  1.909 % |
24.91/24.96	c |      5157 |   14230    58828   176622 |    20108     5150     39 |  1.909 % |
25.41/25.44	c |      5304 |   14230    58828   176622 |    20108     5297     39 |  1.909 % |
26.31/26.35	c |      5464 |   14230    58828   176622 |    20108     5457     39 |  1.909 % |
27.11/27.11	c |      5642 |   14230    58828   176622 |    20108     5635     39 |  1.909 % |
28.11/28.11	c |      5836 |   14230    58828   176622 |    20108     5829     39 |  1.909 % |
29.11/29.14	c |      6049 |   14230    58828   176622 |    20108     6042     39 |  1.909 % |
29.72/29.73	c |      6150 |   14230    58828   176622 |    20108     6143     39 |  1.909 % |
30.31/30.32	c |      6260 |   14230    58828   176622 |    20108     6253     39 |  1.909 % |
30.82/30.86	c |      6382 |   14230    58828   176622 |    20108     6375     39 |  1.909 % |
31.51/31.50	c |      6515 |   14230    58828   176622 |    20108     6508     39 |  1.909 % |
32.21/32.21	c |      6662 |   14230    58828   176622 |    20108     6655     38 |  1.909 % |
33.11/33.15	c |      6823 |   14230    58828   176622 |    20108     6816     38 |  1.909 % |
34.12/34.19	c |      7000 |   14230    58828   176622 |    20108     6993     38 |  1.909 % |
35.11/35.20	c |      7194 |   14230    58828   176622 |    20108     7187     38 |  1.909 % |
36.11/36.14	c |      7407 |   14230    58828   176622 |    20108     7400     38 |  1.909 % |
37.42/37.49	c |      7640 |   14230    58828   176622 |    20108     7633     38 |  1.909 % |
38.01/38.06	c |      7741 |   14230    58828   176622 |    20108     7734     38 |  1.909 % |
38.52/38.52	c |      7852 |   14230    58828   176622 |    20108     7845     38 |  1.909 % |
38.81/38.87	c |      7973 |   14230    58828   176622 |    20108     7966     38 |  1.909 % |
39.41/39.42	c |      8107 |   14230    58828   176622 |    20108     8100     38 |  1.909 % |
40.11/40.10	c |      8253 |   14230    58828   176622 |    20108     8246     38 |  1.909 % |
40.72/40.75	c |      8414 |   14230    58828   176622 |    20108     8407     38 |  1.909 % |
41.51/41.54	c |      8591 |   14230    58828   176622 |    20108     8584     38 |  1.909 % |
42.21/42.24	c |      8786 |   14230    58828   176622 |    20108     8779     39 |  1.909 % |
43.41/43.40	c |      8998 |   14230    58828   176622 |    20108     8991     39 |  1.909 % |
44.71/44.79	c |      9232 |   14230    58828   176622 |    20108     9225     39 |  1.909 % |
45.91/45.99	c |      9488 |   14230    58828   176622 |    20108     9481     39 |  1.909 % |
46.41/46.45	c |      9589 |   14230    58828   176622 |    20108     9582     39 |  1.909 % |
47.11/47.12	c |      9699 |   14230    58828   176622 |    20108     9692     39 |  1.909 % |
47.81/47.81	c |      9820 |   14230    58828   176622 |    20108     9813     39 |  1.909 % |
48.61/48.65	c |      9953 |   14230    58828   176622 |    20108     9946     39 |  1.910 % |
49.11/49.17	c |     10100 |   14230    58828   176622 | 2147483647    10093     39 |  1.909 % |
49.62/49.63	c |     10260 |   14230    58828   176622 | 2147483647    10253     39 |  1.909 % |
50.32/50.36	c |     10436 |   14230    58828   176622 | 2147483647    10429     39 |  1.909 % |
51.42/51.43	c |     10630 |   14230    58828   176622 | 2147483647    10623     39 |  1.909 % |
52.62/52.70	c |     10843 |   14230    58828   176622 | 2147483647    10836     39 |  1.909 % |
54.02/54.06	c |     11077 |   14230    58828   176622 | 2147483647    11070     39 |  1.909 % |
55.32/55.33	c |     11333 |   14230    58828   176622 | 2147483647    11326     39 |  1.909 % |
56.22/56.27	c |     11615 |   14230    58828   176622 | 2147483647    11608     39 |  1.909 % |
56.72/56.77	c |     11716 |   14230    58828   176622 | 2147483647    11709     39 |  1.909 % |
57.12/57.15	c |     11827 |   14230    58828   176622 | 2147483647    11820     39 |  1.909 % |
57.52/57.55	c |     11948 |   14230    58828   176622 | 2147483647    11941     39 |  1.909 % |
58.22/58.29	c |     12082 |   14230    58828   176622 | 2147483647    12075     39 |  1.909 % |
59.02/59.04	c |     12228 |   14230    58828   176622 | 2147483647    12221     39 |  1.909 % |
59.72/59.79	c |     12388 |   14230    58828   176622 | 2147483647    12381     39 |  1.909 % |
60.72/60.71	c |     12565 |   14230    58828   176622 | 2147483647    12558     39 |  1.909 % |
61.52/61.53	c |     12758 |   14230    58828   176622 | 2147483647    12751     39 |  1.909 % |
62.62/62.66	c |     12971 |   14230    58828   176622 | 2147483647    12964     39 |  1.909 % |
63.92/63.99	c |     13205 |   14230    58828   176622 | 2147483647    13198     39 |  1.909 % |
65.62/65.62	c |     13462 |   14230    58828   176622 | 2147483647    13455     39 |  1.909 % |
67.12/67.11	c |     13743 |   14230    58828   176622 | 2147483647    13736     39 |  1.909 % |
69.12/69.15	c |     14052 |   14230    58828   176622 | 2147483647    14045     39 |  1.909 % |
69.82/69.84	c |     14153 |   14230    58828   176622 | 2147483647    14146     39 |  1.909 % |
69.92/69.93	c |     14263 |   14230    58828   176622 | 2147483647    14256     39 |  1.909 % |
70.32/70.33	c |     14384 |   14230    58828   176622 | 2147483647    14377     39 |  1.909 % |
70.62/70.70	c |     14519 |   14230    58828   176622 | 2147483647    14512     40 |  1.909 % |
71.32/71.34	c |     14665 |   14230    58828   176622 | 2147483647    14658     40 |  1.909 % |
72.22/72.28	c |     14825 |   14230    58828   176622 | 2147483647    14818     40 |  1.909 % |
73.02/73.02	c |     15001 |   14230    58828   176622 | 2147483647    14994     40 |  1.909 % |
74.02/74.02	c |     15195 |   14230    58828   176622 | 2147483647    15188     40 |  1.909 % |
75.12/75.15	c |     15408 |   14230    58828   176622 | 2147483647    15401     40 |  1.909 % |
76.52/76.51	c |     15641 |   14230    58828   176622 | 2147483647    15634     40 |  1.909 % |
77.32/77.34	c |     15897 |   14230    58828   176622 | 2147483647    15890     40 |  1.909 % |
78.72/78.75	c |     16179 |   14230    58828   176622 | 2147483647    16172     40 |  1.909 % |
80.52/80.55	c |     16490 |   14230    58828   176622 | 2147483647    16483     40 |  1.909 % |
82.42/82.41	c |     16829 |   14230    58828   176622 | 2147483647    16822     40 |  1.909 % |
82.72/82.80	c |     16932 |   14230    58828   176622 | 2147483647    16925     40 |  1.909 % |
83.32/83.32	c |     17042 |   14230    58828   176622 | 2147483647    17035     40 |  1.909 % |
83.92/83.93	c |     17163 |   14230    58828   176622 | 2147483647    17156     40 |  1.909 % |
84.62/84.64	c |     17296 |   14230    58828   176622 | 2147483647    17289     40 |  1.909 % |
85.62/85.65	c |     17442 |   14230    58828   176622 | 2147483647    17435     40 |  1.909 % |
86.72/86.75	c |     17602 |   14230    58828   176622 | 2147483647    17595     40 |  1.909 % |
87.52/87.52	c |     17778 |   14230    58828   176622 | 2147483647    17771     40 |  1.909 % |
88.62/88.70	c |     17971 |   14230    58828   176622 | 2147483647    17964     40 |  1.909 % |
89.22/89.23	c |     18183 |   14230    58828   176622 | 2147483647    18176     40 |  1.909 % |
89.82/89.90	c |     18418 |   14230    58828   176622 | 2147483647    18411     40 |  1.909 % |
90.72/90.71	c |     18674 |   14230    58828   176622 | 2147483647    18667     40 |  1.909 % |
92.43/92.44	c |     18956 |   14230    58828   176622 | 2147483647    18949     40 |  1.909 % |
93.23/93.24	c |     19266 |   14230    58828   176622 | 2147483647    19259     41 |  1.909 % |
95.13/95.13	c |     19606 |   14230    58828   176622 | 2147483647    19599     41 |  1.909 % |
97.13/97.19	c |     19978 |   14230    58828   176622 | 2147483647    19971     41 |  1.909 % |
97.83/97.86	c |     20079 |   14230    58828   176622 | 2147483647    20072     41 |  1.909 % |
98.63/98.67	c |     20190 |   14230    58828   176622 | 2147483647    20183     41 |  1.909 % |
99.43/99.44	c |     20312 |   14230    58828   176622 | 2147483647    20305     41 |  1.909 % |
100.33/100.34	c |     20446 |   14230    58828   176622 | 2147483647    20439     41 |  1.909 % |
101.43/101.45	c |     20592 |   14230    58828   176622 | 2147483647    20585     41 |  1.909 % |
102.53/102.55	c |     20753 |   14230    58828   176622 | 2147483647    20746     41 |  1.909 % |
103.73/103.74	c |     20929 |   14230    58828   176622 | 2147483647    20922     40 |  1.909 % |
104.23/104.27	c |     21122 |   14230    58828   176622 | 2147483647    21115     41 |  1.909 % |
105.53/105.57	c |     21334 |   14230    58828   176622 | 2147483647    21327     40 |  1.909 % |
106.63/106.68	c |     21568 |   14230    58828   176622 | 2147483647    21561     41 |  1.909 % |
107.53/107.61	c |     21824 |   14230    58828   176622 | 2147483647    21817     41 |  1.909 % |
109.13/109.16	c |     22105 |   14230    58828   176622 | 2147483647    22098     41 |  1.909 % |
110.73/110.77	c |     22416 |   14230    58828   176622 | 2147483647    22409     41 |  1.909 % |
112.73/112.80	c |     22755 |   14230    58828   176622 | 2147483647    22748     41 |  1.909 % |
115.13/115.20	c |     23127 |   14230    58828   176622 | 2147483647    23120     41 |  1.909 % |
118.03/118.06	c |     23536 |   14230    58828   176622 | 2147483647    23529     40 |  1.909 % |
118.63/118.63	c |     23636 |   14230    58828   176622 | 2147483647    23629     40 |  1.909 % |
119.13/119.19	c |     23747 |   14230    58828   176622 | 2147483647    23740     40 |  1.909 % |
119.73/119.78	c |     23868 |   14230    58828   176622 | 2147483647    23861     40 |  1.909 % |
120.43/120.48	c |     24001 |   14230    58828   176622 | 2147483647    23994     40 |  1.909 % |
121.33/121.33	c |     24150 |   14230    58828   176622 | 2147483647    24143     40 |  1.909 % |
122.33/122.37	c |     24310 |   14230    58828   176622 | 2147483647    24303     40 |  1.909 % |
123.33/123.33	c |     24486 |   14230    58828   176622 | 2147483647    24479     40 |  1.909 % |
124.23/124.32	c |     24680 |   14230    58828   176622 | 2147483647    24673     40 |  1.909 % |
125.33/125.42	c |     24893 |   14230    58828   176622 | 2147483647    24886     40 |  1.909 % |
126.73/126.78	c |     25127 |   14230    58828   176622 | 2147483647    25120     40 |  1.909 % |
128.03/128.07	c |     25383 |   14230    58828   176622 | 2147483647    25376     40 |  1.909 % |
129.53/129.59	c |     25667 |   14230    58828   176622 | 2147483647    25660     40 |  1.909 % |
131.43/131.45	c |     25976 |   14230    58828   176622 | 2147483647    25969     40 |  1.909 % |
133.44/133.51	c |     26315 |   14230    58828   176622 | 2147483647    26308     40 |  1.909 % |
135.74/135.77	c |     26687 |   14230    58828   176622 | 2147483647    26680     40 |  1.909 % |
137.94/137.92	c |     27096 |   14230    58828   176622 | 2147483647    27089     40 |  1.909 % |
140.14/140.13	c |     27545 |   14230    58828   176622 | 2147483647    27538     40 |  1.909 % |
140.74/140.81	c |     27645 |   14230    58828   176622 | 2147483647    27638     40 |  1.909 % |
141.44/141.51	c |     27755 |   14230    58828   176622 | 2147483647    27748     40 |  1.909 % |
142.34/142.40	c |     27876 |   14230    58828   176622 | 2147483647    27869     40 |  1.909 % |
143.04/143.09	c |     28010 |   14230    58828   176622 | 2147483647    28003     40 |  1.909 % |
144.14/144.13	c |     28157 |   14230    58828   176622 | 2147483647    28150     40 |  1.909 % |
145.04/145.10	c |     28318 |   14230    58828   176622 | 2147483647    28311     40 |  1.909 % |
146.24/146.30	c |     28495 |   14230    58828   176622 | 2147483647    28488     40 |  1.909 % |
147.74/147.72	c |     28689 |   14230    58828   176622 | 2147483647    28682     40 |  1.909 % |
149.04/149.10	c |     28902 |   14230    58828   176622 | 2147483647    28895     40 |  1.909 % |
150.04/150.02	c |     29136 |   14230    58828   176622 | 2147483647    29129     40 |  1.909 % |
151.64/151.67	c |     29392 |   14230    58828   176622 | 2147483647    29385     40 |  1.909 % |
152.94/153.01	c |     29673 |   14230    58828   176622 | 2147483647    29666     40 |  1.909 % |
154.64/154.70	c |     29982 |   14230    58828   176622 | 2147483647    29975     40 |  1.909 % |
156.84/156.91	c |     30323 |   14230    58828   176622 | 2147483647    30316     40 |  1.909 % |
158.94/158.92	c |     30695 |   14230    58828   176622 | 2147483647    30688     40 |  1.909 % |
161.74/161.73	c |     31105 |   14230    58828   176622 | 2147483647    31098     40 |  1.909 % |
164.34/164.34	c |     31554 |   14230    58828   176622 | 2147483647    31547     40 |  1.909 % |
167.24/167.24	c |     32047 |   14230    58828   176622 | 2147483647    32040     40 |  1.909 % |
167.34/167.36	c |     32147 |   14230    58828   176622 | 2147483647    32140     40 |  1.909 % |
168.04/168.10	c |     32258 |   14230    58828   176622 | 2147483647    32251     40 |  1.909 % |
168.54/168.60	c |     32379 |   14230    58828   176622 | 2147483647    32372     40 |  1.909 % |
168.94/168.92	c |     32513 |   14230    58828   176622 | 2147483647    32506     41 |  1.909 % |
169.94/169.94	c |     32660 |   14230    58828   176622 | 2147483647    32653     41 |  1.909 % |
170.54/170.60	c |     32820 |   14230    58828   176622 | 2147483647    32813     41 |  1.909 % |
171.64/171.64	c |     32996 |   14230    58828   176622 | 2147483647    32989     41 |  1.909 % |
172.74/172.78	c |     33189 |   14230    58828   176622 | 2147483647    33182     41 |  1.909 % |
174.34/174.41	c |     33401 |   14230    58828   176622 | 2147483647    33394     41 |  1.909 % |
176.04/176.05	c |     33634 |   14230    58828   176622 | 2147483647    33627     41 |  1.909 % |
177.74/177.78	c |     33890 |   14230    58828   176622 | 2147483647    33883     41 |  1.909 % |
179.44/179.51	c |     34171 |   14230    58828   176622 | 2147483647    34164     41 |  1.909 % |
181.24/181.27	c |     34480 |   14230    58828   176622 | 2147483647    34473     40 |  1.909 % |
183.44/183.50	c |     34820 |   14230    58828   176622 | 2147483647    34813     41 |  1.909 % |
185.74/185.75	c |     35193 |   14230    58828   176622 | 2147483647    35186     41 |  1.909 % |
188.04/188.08	c |     35602 |   14230    58828   176622 | 2147483647    35595     41 |  1.909 % |
190.94/190.99	c |     36051 |   14230    58828   176622 | 2147483647    36044     40 |  1.909 % |
194.34/194.36	c |     36546 |   14230    58828   176622 | 2147483647    36539     40 |  1.909 % |
197.74/197.75	c |     37089 |   14230    58828   176622 | 2147483647    37082     40 |  1.909 % |
198.14/198.14	c |     37189 |   14230    58828   176622 | 2147483647    37182     40 |  1.909 % |
198.64/198.62	c |     37299 |   14230    58828   176622 | 2147483647    37292     40 |  1.909 % |
199.15/199.20	c |     37421 |   14230    58828   176622 | 2147483647    37414     40 |  1.909 % |
200.04/200.03	c |     37554 |   14230    58828   176622 | 2147483647    37547     40 |  1.909 % |
200.94/200.97	c |     37701 |   14230    58828   176622 | 2147483647    37694     40 |  1.909 % |
201.54/201.55	c |     37861 |   14230    58828   176622 | 2147483647    37854     40 |  1.909 % |
202.74/202.74	c |     38039 |   14230    58828   176622 | 2147483647    38032     40 |  1.909 % |
204.04/204.04	c |     38232 |   14230    58828   176622 | 2147483647    38225     40 |  1.909 % |
205.14/205.20	c |     38446 |   14230    58828   176622 | 2147483647    38439     40 |  1.909 % |
206.34/206.36	c |     38679 |   14230    58828   176622 | 2147483647    38672     40 |  1.909 % |
207.95/207.93	c |     38935 |   14230    58828   176622 | 2147483647    38928     40 |  1.909 % |
209.24/209.30	c |     39217 |   14230    58828   176622 | 2147483647    39210     40 |  1.909 % |
211.14/211.13	c |     39526 |   14230    58828   176622 | 2147483647    39519     41 |  1.909 % |
213.04/213.10	c |     39865 |   14230    58828   176622 | 2147483647    39858     41 |  1.909 % |
215.15/215.22	c |     40238 |   14230    58828   176622 | 2147483647    40231     41 |  1.909 % |
218.25/218.30	c |     40648 |   14230    58828   176622 | 2147483647    40641     41 |  1.909 % |
221.05/221.07	c |     41099 |   14230    58828   176622 | 2147483647    41092     41 |  1.909 % |
224.65/224.69	c |     41596 |   14230    58828   176622 | 2147483647    41589     41 |  1.909 % |
227.85/227.88	c |     42139 |   14230    58828   176622 | 2147483647    42132     41 |  1.909 % |
232.05/232.07	c |     42735 |   14230    58828   176622 | 2147483647    42728     41 |  1.909 % |
232.75/232.78	c |     42836 |   14230    58828   176622 | 2147483647    42829     41 |  1.909 % |
233.65/233.63	c |     42947 |   14230    58828   176622 | 2147483647    42940     41 |  1.909 % |
234.55/234.58	c |     43070 |   14230    58828   176622 | 2147483647    43063     41 |  1.909 % |
235.55/235.58	c |     43203 |   14230    58828   176622 | 2147483647    43196     41 |  1.909 % |
236.65/236.68	c |     43350 |   14230    58828   176622 | 2147483647    43343     41 |  1.909 % |
238.05/238.07	c |     43510 |   14230    58828   176622 | 2147483647    43503     41 |  1.909 % |
239.25/239.29	c |     43687 |   14230    58828   176622 | 2147483647    43680     41 |  1.909 % |
240.35/240.36	c |     43880 |   14230    58828   176622 | 2147483647    43873     41 |  1.909 % |
241.75/241.75	c |     44093 |   14230    58828   176622 | 2147483647    44086     41 |  1.909 % |
242.75/242.72	c |     44326 |   14230    58828   176622 | 2147483647    44319     41 |  1.909 % |
244.55/244.55	c |     44582 |   14230    58828   176622 | 2147483647    44575     41 |  1.909 % |
246.35/246.39	c |     44864 |   14230    58828   176622 | 2147483647    44857     41 |  1.909 % |
247.85/247.90	c |     45174 |   14230    58828   176622 | 2147483647    45167     41 |  1.909 % |
249.85/249.88	c |     45514 |   14230    58828   176622 | 2147483647    45507     41 |  1.909 % |
252.25/252.29	c |     45888 |   14230    58828   176622 | 2147483647    45881     41 |  1.909 % |
254.95/254.94	c |     46297 |   14230    58828   176622 | 2147483647    46290     41 |  1.909 % |
258.15/258.14	c |     46746 |   14230    58828   176622 | 2147483647    46739     41 |  1.909 % |
262.45/262.44	c |     47240 |   14230    58828   176622 | 2147483647    47233     41 |  1.909 % |
266.15/266.19	c |     47783 |   14230    58828   176622 | 2147483647    47776     41 |  1.909 % |
270.25/270.26	c |     48379 |   14230    58828   176622 | 2147483647    48372     41 |  1.909 % |
275.35/275.37	c |     49034 |   14230    58828   176622 | 2147483647    49027     41 |  1.909 % |
276.05/276.09	c |     49135 |   14230    58828   176622 | 2147483647    49128     41 |  1.909 % |
276.95/276.92	c |     49246 |   14230    58828   176622 | 2147483647    49239     41 |  1.909 % |
277.85/277.84	c |     49367 |   14230    58828   176622 | 2147483647    49360     41 |  1.909 % |
278.85/278.91	c |     49501 |   14230    58828   176622 | 2147483647    49494     41 |  1.909 % |
280.05/280.07	c |     49647 |   14230    58828   176622 | 2147483647    49640     41 |  1.909 % |
281.25/281.24	c |     49808 |   14230    58828   176622 | 2147483647    49801     41 |  1.909 % |
282.65/282.62	c |     49986 |   14230    58828   176622 | 2147483647    49979     40 |  1.909 % |
283.86/283.84	c |     50179 |   14230    58828   176622 | 2147483647    50172     40 |  1.909 % |
285.25/285.25	c |     50392 |   14230    58828   176622 | 2147483647    50385     41 |  1.909 % |
286.65/286.64	c |     50626 |   14230    58828   176622 | 2147483647    50619     41 |  1.909 % |
288.45/288.50	c |     50882 |   14230    58828   176622 | 2147483647    50875     41 |  1.909 % |
290.25/290.23	c |     51165 |   14230    58828   176622 | 2147483647    51158     41 |  1.909 % |
292.25/292.27	c |     51478 |   14230    58828   176622 | 2147483647    51471     41 |  1.909 % |
294.25/294.28	c |     51818 |   14230    58828   176622 | 2147483647    51811     41 |  1.909 % |
296.06/296.07	c |     52191 |   14230    58828   176622 | 2147483647    52184     41 |  1.909 % |
298.76/298.79	c |     52600 |   14230    58828   176622 | 2147483647    52593     41 |  1.909 % |
301.86/301.89	c |     53050 |   14230    58828   176622 | 2147483647    53043     41 |  1.909 % |
305.86/305.87	c |     53544 |   14230    58828   176622 | 2147483647    53537     41 |  1.909 % |
309.46/309.51	c |     54086 |   14230    58828   176622 | 2147483647    54079     41 |  1.909 % |
313.06/313.07	c |     54682 |   14230    58828   176622 | 2147483647    54675     41 |  1.909 % |
317.26/317.25	c |     55337 |   14230    58828   176622 | 2147483647    55330     41 |  1.909 % |
322.06/322.08	c |     56057 |   14230    58828   176622 | 2147483647    56050     41 |  1.909 % |
322.76/322.80	c |     56158 |   14230    58828   176622 | 2147483647    56151     41 |  1.909 % |
323.36/323.35	c |     56268 |   14230    58828   176622 | 2147483647    56261     41 |  1.909 % |
323.96/324.00	c |     56389 |   14230    58828   176622 | 2147483647    56382     41 |  1.909 % |
324.76/324.78	c |     56522 |   14230    58828   176622 | 2147483647    56515     41 |  1.909 % |
325.96/325.96	c |     56668 |   14230    58828   176622 | 2147483647    56661     41 |  1.909 % |
327.26/327.25	c |     56828 |   14230    58828   176622 | 2147483647    56821     41 |  1.909 % |
328.56/328.54	c |     57005 |   14230    58828   176622 | 2147483647    56998     41 |  1.909 % |
329.76/329.78	c |     57199 |   14230    58828   176622 | 2147483647    57192     41 |  1.909 % |
331.56/331.55	c |     57412 |   14230    58828   176622 | 2147483647    57405     41 |  1.909 % |
333.56/333.60	c |     57645 |   14230    58828   176622 | 2147483647    57638     41 |  1.909 % |
335.65/335.69	c |     57902 |   14230    58828   176622 | 2147483647    57895     41 |  1.909 % |
337.65/337.69	c |     58184 |   14230    58828   176622 | 2147483647    58177     41 |  1.909 % |
340.15/340.16	c |     58494 |   14230    58828   176622 | 2147483647    58487     41 |  1.909 % |
342.35/342.35	c |     58835 |   14230    58828   176622 | 2147483647    58828     41 |  1.909 % |
345.46/345.51	c |     59207 |   14230    58828   176622 | 2147483647    59200     41 |  1.909 % |
348.95/348.93	c |     59616 |   14230    58828   176622 | 2147483647    59609     41 |  1.909 % |
351.95/351.93	c |     60065 |   14230    58828   176622 | 2147483647    60058     41 |  1.909 % |
355.25/355.23	c |     60558 |   14230    58828   176622 | 2147483647    60551     41 |  1.909 % |
359.35/359.36	c |     61100 |   14230    58828   176622 | 2147483647    61093     41 |  1.909 % |
364.25/364.25	c |     61696 |   14230    58828   176622 | 2147483647    61689     41 |  1.909 % |
369.66/369.69	c |     62351 |   14230    58828   176622 | 2147483647    62344     41 |  1.909 % |
374.75/374.78	c |     63071 |   14230    58828   176622 | 2147483647    63064     41 |  1.909 % |
381.46/381.44	c |     63864 |   14230    58828   176622 | 2147483647    63857     40 |  1.909 % |
382.36/382.35	c |     63964 |   14230    58828   176622 | 2147483647    63957     40 |  1.909 % |
383.16/383.21	c |     64075 |   14230    58828   176622 | 2147483647    64068     40 |  1.909 % |
384.16/384.21	c |     64197 |   14230    58828   176622 | 2147483647    64190     40 |  1.909 % |
385.26/385.31	c |     64331 |   14230    58828   176622 | 2147483647    64324     40 |  1.909 % |
386.46/386.50	c |     64477 |   14230    58828   176622 | 2147483647    64470     40 |  1.909 % |
387.66/387.68	c |     64639 |   14230    58828   176622 | 2147483647    64632     40 |  1.909 % |
389.16/389.15	c |     64815 |   14230    58828   176622 | 2147483647    64808     40 |  1.909 % |
390.76/390.78	c |     65009 |   14230    58828   176622 | 2147483647    65002     40 |  1.909 % |
392.36/392.36	c |     65221 |   14230    58828   176622 | 2147483647    65214     40 |  1.909 % |
393.16/393.18	c |     65456 |   14230    58828   176622 | 2147483647    65449     41 |  1.909 % |
394.96/394.92	c |     65712 |   14230    58828   176622 | 2147483647    65705     41 |  1.909 % |
396.66/396.67	c |     65993 |   14230    58828   176622 | 2147483647    65986     41 |  1.909 % |
398.96/398.96	c |     66302 |   14230    58828   176622 | 2147483647    66295     41 |  1.909 % |
401.06/401.03	c |     66643 |   14230    58828   176622 | 2147483647    66636     41 |  1.909 % |
403.86/403.90	c |     67016 |   14230    58828   176622 | 2147483647    67009     41 |  1.909 % |
407.16/407.16	c |     67425 |   14230    58828   176622 | 2147483647    67418     41 |  1.909 % |
411.36/411.32	c |     67874 |   14230    58828   176622 | 2147483647    67867     41 |  1.909 % |
415.26/415.26	c |     68367 |   14230    58828   176622 | 2147483647    68360     41 |  1.909 % |
419.36/419.35	c |     68910 |   14230    58828   176622 | 2147483647    68903     40 |  1.909 % |
423.66/423.70	c |     69507 |   14230    58828   176622 | 2147483647    69500     40 |  1.909 % |
428.06/428.09	c |     70163 |   14230    58828   176622 | 2147483647    70156     40 |  1.909 % |
434.06/434.02	c |     70883 |   14230    58828   176622 | 2147483647    70876     40 |  1.909 % |
440.46/440.44	c |     71676 |   14230    58828   176622 | 2147483647    71669     41 |  1.909 % |
447.77/447.79	c |     72547 |   14230    58828   176622 | 2147483647    72540     40 |  1.909 % |
448.76/448.82	c |     72647 |   14230    58828   176622 | 2147483647    72640     40 |  1.909 % |
449.56/449.59	c |     72757 |   14230    58828   176622 | 2147483647    72750     40 |  1.909 % |
450.56/450.55	c |     72879 |   14230    58828   176622 | 2147483647    72872     40 |  1.909 % |
451.56/451.55	c |     73014 |   14230    58828   176622 | 2147483647    73007     40 |  1.909 % |
452.76/452.73	c |     73161 |   14230    58828   176622 | 2147483647    73154     40 |  1.909 % |
454.06/454.02	c |     73321 |   14230    58828   176622 | 2147483647    73314     40 |  1.909 % |
455.47/455.42	c |     73498 |   14230    58828   176622 | 2147483647    73491     40 |  1.909 % |
456.76/456.79	c |     73691 |   14230    58828   176622 | 2147483647    73684     40 |  1.909 % |
458.26/458.25	c |     73903 |   14230    58828   176622 | 2147483647    73896     40 |  1.909 % |
459.76/459.71	c |     74136 |   14230    58828   176622 | 2147483647    74129     40 |  1.909 % |
461.07/461.08	c |     74393 |   14230    58828   176622 | 2147483647    74386     41 |  1.909 % |
463.07/463.10	c |     74674 |   14230    58828   176622 | 2147483647    74667     41 |  1.909 % |
465.17/465.19	c |     74983 |   14230    58828   176622 | 2147483647    74976     41 |  1.909 % |
468.17/468.12	c |     75324 |   14230    58828   176622 | 2147483647    75317     41 |  1.909 % |
470.87/470.89	c |     75697 |   14230    58828   176622 | 2147483647    75690     41 |  1.909 % |
473.77/473.77	c |     76107 |   14230    58828   176622 | 2147483647    76100     41 |  1.909 % |
477.67/477.64	c |     76560 |   14230    58828   176622 | 2147483647    76553     40 |  1.909 % |
481.67/481.70	c |     77053 |   14230    58828   176622 | 2147483647    77046     40 |  1.909 % |
485.97/485.98	c |     77595 |   14230    58828   176622 | 2147483647    77588     40 |  1.909 % |
490.57/490.53	c |     78191 |   14230    58828   176622 | 2147483647    78184     41 |  1.909 % |
495.27/495.27	c |     78846 |   14230    58828   176622 | 2147483647    78839     41 |  1.909 % |
500.87/500.89	c |     79566 |   14230    58828   176622 | 2147483647    79559     40 |  1.909 % |
506.17/506.16	c |     80359 |   14230    58828   176622 | 2147483647    80352     41 |  1.909 % |
513.37/513.34	c |     81231 |   14230    58828   176622 | 2147483647    81224     41 |  1.909 % |
520.17/520.18	c |     82189 |   14230    58828   176622 | 2147483647    82182     41 |  1.909 % |
521.07/521.05	c |     82291 |   14230    58828   176622 | 2147483647    82284     41 |  1.909 % |
521.87/521.84	c |     82402 |   14230    58828   176622 | 2147483647    82395     41 |  1.909 % |
522.97/522.93	c |     82523 |   14230    58828   176622 | 2147483647    82516     41 |  1.909 % |
523.97/523.96	c |     82658 |   14230    58828   176622 | 2147483647    82651     41 |  1.909 % |
525.17/525.18	c |     82806 |   14230    58828   176622 | 2147483647    82799     41 |  1.909 % |
526.17/526.19	c |     82966 |   14230    58828   176622 | 2147483647    82959     41 |  1.909 % |
527.57/527.59	c |     83143 |   14230    58828   176622 | 2147483647    83136     41 |  1.909 % |
529.47/529.48	c |     83337 |   14230    58828   176622 | 2147483647    83330     41 |  1.909 % |
530.97/530.94	c |     83550 |   14230    58828   176622 | 2147483647    83543     41 |  1.909 % |
532.48/532.50	c |     83783 |   14230    58828   176622 | 2147483647    83776     41 |  1.909 % |
534.47/534.43	c |     84039 |   14230    58828   176622 | 2147483647    84032     41 |  1.909 % |
536.77/536.77	c |     84321 |   14230    58828   176622 | 2147483647    84314     41 |  1.909 % |
538.87/538.82	c |     84631 |   14230    58828   176622 | 2147483647    84624     41 |  1.909 % |
541.47/541.42	c |     84970 |   14230    58828   176622 | 2147483647    84963     41 |  1.909 % |
544.88/544.86	c |     85342 |   14230    58828   176622 | 2147483647    85335     41 |  1.909 % |
548.28/548.31	c |     85751 |   14230    58828   176622 | 2147483647    85744     41 |  1.909 % |
551.68/551.66	c |     86200 |   14230    58828   176622 | 2147483647    86193     41 |  1.909 % |
555.98/555.98	c |     86694 |   14230    58828   176622 | 2147483647    86687     41 |  1.909 % |
560.38/560.37	c |     87236 |   14230    58828   176622 | 2147483647    87229     41 |  1.909 % |
565.38/565.40	c |     87833 |   14230    58828   176622 | 2147483647    87826     41 |  1.909 % |
570.48/570.50	c |     88490 |   14230    58828   176622 | 2147483647    88483     41 |  1.909 % |
577.18/577.13	c |     89210 |   14230    58828   176622 | 2147483647    89203     41 |  1.909 % |
583.88/583.87	c |     90005 |   14230    58828   176622 | 2147483647    89998     41 |  1.909 % |
590.58/590.56	c |     90877 |   14230    58828   176622 | 2147483647    90870     41 |  1.909 % |
598.98/598.98	c |     91835 |   14230    58828   176622 | 2147483647    91828     41 |  1.909 % |
607.38/607.38	c |     92890 |   14230    58828   176622 | 2147483647    92883     41 |  1.909 % |
608.28/608.25	c |     92991 |   14230    58828   176622 | 2147483647    92984     41 |  1.909 % |
609.38/609.42	c |     93101 |   14230    58828   176622 | 2147483647    93094     41 |  1.909 % |
610.68/610.64	c |     93223 |   14230    58828   176622 | 2147483647    93216     41 |  1.909 % |
612.08/612.04	c |     93357 |   14230    58828   176622 | 2147483647    93350     41 |  1.909 % |
613.58/613.54	c |     93504 |   14230    58828   176622 | 2147483647    93497     41 |  1.909 % |
615.08/615.08	c |     93665 |   14230    58828   176622 | 2147483647    93658     41 |  1.909 % |
616.88/616.86	c |     93842 |   14230    58828   176622 | 2147483647    93835     41 |  1.909 % |
618.48/618.49	c |     94036 |   14230    58828   176622 | 2147483647    94029     41 |  1.909 % |
620.78/620.72	c |     94249 |   14230    58828   176622 | 2147483647    94242     41 |  1.909 % |
623.28/623.29	c |     94482 |   14230    58828   176622 | 2147483647    94475     41 |  1.909 % |
625.69/625.69	c |     94739 |   14230    58828   176622 | 2147483647    94732     41 |  1.909 % |
628.49/628.49	c |     95021 |   14230    58828   176622 | 2147483647    95014     41 |  1.909 % |
631.69/631.63	c |     95331 |   14230    58828   176622 | 2147483647    95324     41 |  1.909 % |
634.49/634.48	c |     95672 |   14230    58828   176622 | 2147483647    95665     41 |  1.909 % |
637.89/637.83	c |     96044 |   14230    58828   176622 | 2147483647    96037     41 |  1.909 % |
641.49/641.42	c |     96454 |   14230    58828   176622 | 2147483647    96447     41 |  1.909 % |
645.59/645.55	c |     96903 |   14230    58828   176622 | 2147483647    96896     41 |  1.909 % |
651.19/651.22	c |     97397 |   14230    58828   176622 | 2147483647    97390     41 |  1.909 % |
656.69/656.71	c |     97939 |   14230    58828   176622 | 2147483647    97932     41 |  1.909 % |
662.59/662.61	c |     98536 |   14230    58828   176622 | 2147483647    98529     41 |  1.909 % |
669.29/669.23	c |     99192 |   14230    58828   176622 | 2147483647    99185     41 |  1.909 % |
676.29/676.25	c |     99913 |   14230    58828   176622 | 2147483647    99906     41 |  1.909 % |
683.79/683.76	c |    100705 |   14230    58828   176622 | 2147483647   100698     41 |  1.909 % |
690.69/690.66	c |    101576 |   14230    58828   176622 | 2147483647   101569     41 |  1.909 % |
698.59/698.58	c |    102534 |   14230    58828   176622 | 2147483647   102527     42 |  1.909 % |
708.39/708.41	c |    103587 |   14230    58828   176622 | 2147483647   103580     42 |  1.909 % |
719.69/719.68	c |    104745 |   14230    58828   176622 | 2147483647   104738     41 |  1.909 % |
720.69/720.70	c |    104846 |   14230    58828   176622 | 2147483647   104839     41 |  1.909 % |
721.79/721.78	c |    104957 |   14230    58828   176622 | 2147483647   104950     41 |  1.909 % |
722.89/722.88	c |    105078 |   14230    58828   176622 | 2147483647   105071     41 |  1.909 % |
723.89/723.89	c |    105212 |   14230    58828   176622 | 2147483647   105205     42 |  1.909 % |
725.39/725.38	c |    105359 |   14230    58828   176622 | 2147483647   105352     42 |  1.909 % |
727.19/727.13	c |    105519 |   14230    58828   176622 | 2147483647   105512     41 |  1.909 % |
728.89/728.87	c |    105695 |   14230    58828   176622 | 2147483647   105688     41 |  1.909 % |
730.79/730.72	c |    105888 |   14230    58828   176622 | 2147483647   105881     41 |  1.909 % |
732.69/732.68	c |    106100 |   14230    58828   176622 | 2147483647   106093     41 |  1.909 % |
734.89/734.84	c |    106334 |   14230    58828   176622 | 2147483647   106327     41 |  1.909 % |
737.09/737.04	c |    106592 |   14230    58828   176622 | 2147483647   106585     41 |  1.909 % |
739.49/739.49	c |    106873 |   14230    58828   176622 | 2147483647   106866     41 |  1.909 % |
742.29/742.25	c |    107184 |   14230    58828   176622 | 2147483647   107177     42 |  1.909 % |
744.49/744.50	c |    107523 |   14230    58828   176622 | 2147483647   107516     42 |  1.909 % |
748.39/748.34	c |    107896 |   14230    58828   176622 | 2147483647   107889     42 |  1.909 % |
752.99/752.93	c |    108305 |   14230    58828   176622 | 2147483647   108298     41 |  1.909 % |
757.39/757.38	c |    108754 |   14230    58828   176622 | 2147483647   108747     41 |  1.909 % |
762.09/762.02	c |    109247 |   14230    58828   176622 | 2147483647   109240     42 |  1.909 % |
765.89/765.84	c |    109789 |   14230    58828   176622 | 2147483647   109782     41 |  1.909 % |
771.79/771.76	c |    110385 |   14230    58828   176622 | 2147483647   110378     42 |  1.909 % |
777.59/777.55	c |    111041 |   14230    58828   176622 | 2147483647   111034     42 |  1.909 % |
785.59/785.54	c |    111762 |   14230    58828   176622 | 2147483647   111755     42 |  1.909 % |
792.30/792.31	c |    112554 |   14230    58828   176622 | 2147483647   112547     42 |  1.909 % |
799.40/799.33	c |    113426 |   14230    58828   176622 | 2147483647   113419     42 |  1.909 % |
809.10/809.07	c |    114384 |   14230    58828   176622 | 2147483647   114377     42 |  1.909 % |
819.80/819.81	c |    115437 |   14230    58828   176622 | 2147483647   115430     42 |  1.909 % |
831.00/830.92	c |    116596 |   14230    58828   176622 | 2147483647   116589     42 |  1.909 % |
842.30/842.21	c |    117869 |   14230    58828   176622 | 2147483647   117862     42 |  1.909 % |
843.30/843.30	c |    117969 |   14230    58828   176622 | 2147483647   117962     42 |  1.909 % |
844.70/844.68	c |    118079 |   14230    58828   176622 | 2147483647   118072     42 |  1.909 % |
845.70/845.70	c |    118201 |   14230    58828   176622 | 2147483647   118194     42 |  1.909 % |
847.11/847.10	c |    118335 |   14230    58828   176622 | 2147483647   118328     42 |  1.909 % |
848.80/848.76	c |    118482 |   14230    58828   176622 | 2147483647   118475     42 |  1.909 % |
850.50/850.48	c |    118643 |   14230    58828   176622 | 2147483647   118636     42 |  1.909 % |
852.10/852.10	c |    118820 |   14230    58828   176622 | 2147483647   118813     42 |  1.909 % |
854.20/854.14	c |    119013 |   14230    58828   176622 | 2147483647   119006     42 |  1.909 % |
856.20/856.20	c |    119226 |   14230    58828   176622 | 2147483647   119219     42 |  1.909 % |
859.00/858.94	c |    119459 |   14230    58828   176622 | 2147483647   119452     42 |  1.909 % |
862.00/862.00	c |    119716 |   14230    58828   176622 | 2147483647   119709     42 |  1.909 % |
864.80/864.73	c |    119999 |   14230    58828   176622 | 2147483647   119992     42 |  1.909 % |
867.00/866.93	c |    120309 |   14230    58828   176622 | 2147483647   120302     42 |  1.909 % |
870.50/870.47	c |    120649 |   14230    58828   176622 | 2147483647   120642     42 |  1.909 % |
874.51/874.45	c |    121022 |   14230    58828   176622 | 2147483647   121015     42 |  1.909 % |
879.21/879.12	c |    121433 |   14230    58828   176622 | 2147483647   121426     42 |  1.909 % |
882.71/882.63	c |    121883 |   14230    58828   176622 | 2147483647   121876     42 |  1.909 % |
887.11/887.05	c |    122377 |   14230    58828   176622 | 2147483647   122370     42 |  1.909 % |
892.51/892.45	c |    122919 |   14230    58828   176622 | 2147483647   122912     42 |  1.909 % |
898.41/898.33	c |    123515 |   14230    58828   176622 | 2147483647   123508     42 |  1.909 % |
906.01/905.97	c |    124170 |   14230    58828   176622 | 2147483647   124163     42 |  1.909 % |
914.11/914.04	c |    124891 |   14230    58828   176622 | 2147483647   124884     42 |  1.909 % |
922.41/922.33	c |    125684 |   14230    58828   176622 | 2147483647   125677     42 |  1.909 % |
929.62/929.54	c |    126556 |   14230    58828   176622 | 2147483647   126549     42 |  1.909 % |
940.11/940.06	c |    127514 |   14230    58828   176622 | 2147483647   127507     42 |  1.909 % |
948.32/948.29	c |    128569 |   14230    58828   176622 | 2147483647   128562     42 |  1.909 % |
960.62/960.59	c |    129728 |   14230    58828   176622 | 2147483647   129721     42 |  1.909 % |
973.82/973.77	c |    131003 |   14230    58828   176622 | 2147483647   130996     42 |  1.909 % |
986.92/986.87	c |    132405 |   14230    58828   176622 | 2147483647   132398     42 |  1.909 % |
988.02/987.95	c |    132505 |   14230    58828   176622 | 2147483647   132498     42 |  1.909 % |
988.82/988.80	c |    132616 |   14230    58828   176622 | 2147483647   132609     43 |  1.909 % |
989.62/989.55	c |    132737 |   14230    58828   176622 | 2147483647   132730     43 |  1.909 % |
990.42/990.38	c |    132871 |   14230    58828   176622 | 2147483647   132864     43 |  1.909 % |
991.72/991.66	c |    133018 |   14230    58828   176622 | 2147483647   133011     43 |  1.909 % |
993.62/993.59	c |    133179 |   14230    58828   176622 | 2147483647   133172     43 |  1.909 % |
995.92/995.84	c |    133356 |   14230    58828   176622 | 2147483647   133349     43 |  1.909 % |
998.12/998.04	c |    133550 |   14230    58828   176622 | 2147483647   133543     43 |  1.909 % |
1000.42/1000.34	c |    133763 |   14230    58828   176622 | 2147483647   133756     43 |  1.909 % |
1002.52/1002.47	c |    133997 |   14230    58828   176622 | 2147483647   133990     43 |  1.909 % |
1005.12/1005.11	c |    134254 |   14230    58828   176622 | 2147483647   134247     43 |  1.909 % |
1006.72/1006.69	c |    134537 |   14230    58828   176622 | 2147483647   134530     43 |  1.909 % |
1009.32/1009.27	c |    134847 |   14230    58828   176622 | 2147483647   134840     43 |  1.909 % |
1012.82/1012.78	c |    135187 |   14230    58828   176622 | 2147483647   135180     43 |  1.909 % |
1017.02/1016.99	c |    135559 |   14230    58828   176622 | 2147483647   135552     43 |  1.909 % |
1022.12/1022.02	c |    135969 |   14230    58828   176622 | 2147483647   135962     43 |  1.909 % |
1026.91/1026.91	c |    136418 |   14230    58828   176622 | 2147483647   136411     43 |  1.909 % |
1032.51/1032.41	c |    136912 |   14230    58828   176622 | 2147483647   136905     43 |  1.909 % |
1038.22/1038.16	c |    137455 |   14230    58828   176622 | 2147483647   137448     43 |  1.909 % |
1043.72/1043.64	c |    138051 |   14230    58828   176622 | 2147483647   138044     43 |  1.909 % |
1051.21/1051.15	c |    138706 |   14230    58828   176622 | 2147483647   138699     43 |  1.909 % |
1059.01/1059.00	c |    139426 |   14230    58828   176622 | 2147483647   139419     43 |  1.909 % |
1067.61/1067.55	c |    140218 |   14230    58828   176622 | 2147483647   140211     43 |  1.909 % |
1076.31/1076.22	c |    141090 |   14230    58828   176622 | 2147483647   141083     42 |  1.909 % |
1086.01/1085.97	c |    142048 |   14230    58828   176622 | 2147483647   142041     42 |  1.909 % |
1095.91/1095.81	c |    143102 |   14230    58828   176622 | 2147483647   143095     43 |  1.909 % |
1108.31/1108.26	c |    144260 |   14230    58828   176622 | 2147483647   144253     43 |  1.909 % |
1121.42/1121.33	c |    145534 |   14230    58828   176622 | 2147483647   145527     43 |  1.909 % |
1132.62/1132.56	c |    146934 |   14230    58828   176622 | 2147483647   146927     43 |  1.909 % |
1149.12/1149.05	c |    148475 |   14230    58828   176622 | 2147483647   148468     43 |  1.909 % |
1149.82/1149.79	c |    148577 |   14230    58828   176622 | 2147483647   148570     43 |  1.909 % |
1150.82/1150.72	c |    148687 |   14230    58828   176622 | 2147483647   148680     43 |  1.909 % |
1151.72/1151.66	c |    148808 |   14230    58828   176622 | 2147483647   148801     43 |  1.909 % |
1152.82/1152.72	c |    148945 |   14230    58828   176622 | 2147483647   148938     43 |  1.909 % |
1154.32/1154.24	c |    149091 |   14230    58828   176622 | 2147483647   149084     43 |  1.909 % |
1156.02/1155.98	c |    149251 |   14230    58828   176622 | 2147483647   149244     43 |  1.909 % |
1158.02/1157.94	c |    149428 |   14230    58828   176622 | 2147483647   149421     43 |  1.909 % |
1159.82/1159.74	c |    149622 |   14230    58828   176622 | 2147483647   149615     43 |  1.909 % |
1162.42/1162.33	c |    149834 |   14230    58828   176622 | 2147483647   149827     43 |  1.909 % |
1165.12/1165.10	c |    150067 |   14230    58828   176622 | 2147483647   150060     43 |  1.909 % |
1168.12/1168.08	c |    150324 |   14230    58828   176622 | 2147483647   150317     43 |  1.909 % |
1171.42/1171.39	c |    150605 |   14230    58828   176622 | 2147483647   150598     43 |  1.909 % |
1174.82/1174.72	c |    150914 |   14230    58828   176622 | 2147483647   150907     43 |  1.909 % |
1178.42/1178.34	c |    151254 |   14230    58828   176622 | 2147483647   151247     43 |  1.909 % |
1182.72/1182.70	c |    151627 |   14230    58828   176622 | 2147483647   151620     43 |  1.909 % |
1187.62/1187.51	c |    152036 |   14230    58828   176622 | 2147483647   152029     43 |  1.909 % |
1193.22/1193.20	c |    152486 |   14230    58828   176622 | 2147483647   152479     43 |  1.909 % |
1199.22/1199.16	c |    152979 |   14230    58828   176622 | 2147483647   152972     43 |  1.909 % |
1200.03/1199.92	HOME/SatELiteGTI: line 36: 10713 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821118-1242508394/watcher-1821118-1242508394 -o /tmp/evaluation-result-1821118-1242508394/solver-1821118-1242508394 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821118-1242508394.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: 1.00 1.00 1.00 2/93 10707
/proc/meminfo: memFree=945836/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2412 CPUtime=0
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1015340511 2469888 276 4294967295 134512640 135169312 3214947664 3214946200 3085045486 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10707/statm: 603 276 235 161 0 42 0
[pid=10711] ppid=10707 vsize=952 CPUtime=0
/proc/10711/stat : 10711 (SatELite_releas) R 10707 10707 20977 0 -1 4202496 115 0 0 0 0 0 0 0 25 0 1 0 1015340511 974848 50 4294967295 134512640 135223648 3214517456 3214516360 134736942 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10711/statm: 239 55 44 174 0 64 0

[startup+0.067162 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10707
/proc/meminfo: memFree=945836/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2412 CPUtime=0
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1015340511 2469888 276 4294967295 134512640 135169312 3214947664 3214946200 3085045486 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10707/statm: 603 276 235 161 0 42 0
[pid=10711] ppid=10707 vsize=10364 CPUtime=0.07
/proc/10711/stat : 10711 (SatELite_releas) R 10707 10707 20977 0 -1 4202496 2435 0 0 0 4 3 0 0 25 0 1 0 1015340511 10612736 2370 4294967295 134512640 135223648 3214517456 3214516024 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10711/statm: 2591 2371 47 174 0 2416 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12776

[startup+0.107139 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10707
/proc/meminfo: memFree=945836/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2412 CPUtime=0
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1015340511 2469888 276 4294967295 134512640 135169312 3214947664 3214946200 3085045486 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10707/statm: 603 276 235 161 0 42 0
[pid=10711] ppid=10707 vsize=14108 CPUtime=0.11
/proc/10711/stat : 10711 (SatELite_releas) R 10707 10707 20977 0 -1 4202496 3361 0 0 0 8 3 0 0 25 0 1 0 1015340511 14446592 3271 4294967295 134512640 135223648 3214517456 3214515456 134548289 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10711/statm: 3527 3271 81 174 0 3352 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16520

[startup+0.307118 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10707
/proc/meminfo: memFree=945836/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2412 CPUtime=0
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1015340511 2469888 276 4294967295 134512640 135169312 3214947664 3214946200 3085045486 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10707/statm: 603 276 235 161 0 42 0
[pid=10711] ppid=10707 vsize=14732 CPUtime=0.31
/proc/10711/stat : 10711 (SatELite_releas) R 10707 10707 20977 0 -1 4202496 3537 0 0 0 27 4 0 0 25 0 1 0 1015340511 15085568 3439 4294967295 134512640 135223648 3214517456 3214515472 134586887 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10711/statm: 3683 3439 73 174 0 3508 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 17144

[startup+0.707079 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10707
/proc/meminfo: memFree=945836/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2412 CPUtime=0
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1015340511 2469888 276 4294967295 134512640 135169312 3214947664 3214946200 3085045486 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10707/statm: 603 276 235 161 0 42 0
[pid=10711] ppid=10707 vsize=15752 CPUtime=0.71
/proc/10711/stat : 10711 (SatELite_releas) R 10707 10707 20977 0 -1 4202496 3778 0 0 0 64 7 0 0 25 0 1 0 1015340511 16130048 3680 4294967295 134512640 135223648 3214517456 3214515472 134587016 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10711/statm: 3938 3680 95 174 0 3763 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 18164

[startup+1.507 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10712
/proc/meminfo: memFree=927608/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 2416

[startup+3.10684 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10713
/proc/meminfo: memFree=936288/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=5996 CPUtime=1.78
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 1402 0 0 0 178 0 0 0 25 0 1 0 1015340644 6139904 1337 4294967295 134512640 135215339 3213880480 3213878768 134528814 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 1499 1337 72 172 0 1326 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 8412

[startup+6.30653 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10713
/proc/meminfo: memFree=936072/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=6128 CPUtime=4.98
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 1433 0 0 0 498 0 0 0 25 0 1 0 1015340644 6275072 1368 4294967295 134512640 135215339 3213880480 3213878752 134525029 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 1532 1368 72 172 0 1359 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 8544

[startup+12.7059 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10713
/proc/meminfo: memFree=936012/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=6524 CPUtime=11.38
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 1510 0 0 0 1138 0 0 0 25 0 1 0 1015340644 6680576 1445 4294967295 134512640 135215339 3213880480 3213878480 134532626 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 1631 1445 72 172 0 1458 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 8940

[startup+25.5046 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10715
/proc/meminfo: memFree=935456/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=7052 CPUtime=24.18
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 1642 0 0 0 2418 0 0 0 25 0 1 0 1015340644 7221248 1577 4294967295 134512640 135215339 3213880480 3213878768 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 1763 1577 72 172 0 1590 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 9468

[startup+51.1121 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10717
/proc/meminfo: memFree=934372/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=7976 CPUtime=49.79
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 1899 0 0 0 4979 0 0 0 25 0 1 0 1015340644 8167424 1834 4294967295 134512640 135215339 3213880480 3213878768 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 1994 1834 72 172 0 1821 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 10392

[startup+102.327 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10904
/proc/meminfo: memFree=932328/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=10192 CPUtime=101.01
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 2442 0 0 0 10101 0 0 0 25 0 1 0 1015340644 10436608 2377 4294967295 134512640 135215339 3213880480 3213878544 134538113 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 2548 2377 72 172 0 2375 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 12608

[startup+162.321 s]
/proc/loadavg: 1.11 1.04 1.01 2/95 11095
/proc/meminfo: memFree=929436/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=12344 CPUtime=161.01
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 2957 0 0 0 16100 1 0 0 25 0 1 0 1015340644 12640256 2892 4294967295 134512640 135215339 3213880480 3213878768 134529119 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 3086 2892 72 172 0 2913 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 14760

[startup+222.325 s]
/proc/loadavg: 1.04 1.03 1.01 3/95 11284
/proc/meminfo: memFree=927436/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=14556 CPUtime=221.02
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 3504 0 0 0 22100 2 0 0 25 0 1 0 1015340644 14905344 3439 4294967295 134512640 135215339 3213880480 3213878768 134529148 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 3639 3439 72 172 0 3466 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 16972

[startup+282.319 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 11474
/proc/meminfo: memFree=925576/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=16296 CPUtime=281.02
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 3933 0 0 0 28099 3 0 0 25 0 1 0 1015340644 16687104 3868 4294967295 134512640 135215339 3213880480 3213878768 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 4074 3868 72 172 0 3901 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 18712

[startup+342.314 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 11662
/proc/meminfo: memFree=923468/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=18028 CPUtime=341.02
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 4398 0 0 0 34099 3 0 0 25 0 1 0 1015340644 18460672 4333 4294967295 134512640 135215339 3213880480 3213878768 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 4507 4333 72 172 0 4334 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 20444

[startup+402.318 s]

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

[pid=10713] ppid=10707 vsize=23200 CPUtime=521.04
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 5624 0 0 0 52080 24 0 0 25 0 1 0 1015340644 23756800 5559 4294967295 134512640 135215339 3213880480 3213878544 134538110 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 5800 5559 72 172 0 5627 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 25616

[startup+582.32 s]
/proc/loadavg: 1.02 1.05 1.00 2/95 12419
/proc/meminfo: memFree=916944/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=24740 CPUtime=581.05
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 6027 0 0 0 58077 28 0 0 25 0 1 0 1015340644 25333760 5962 4294967295 134512640 135215339 3213880480 3213878768 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 6185 5962 72 172 0 6012 0
Current children cumulated CPU time (s) 582.38
Current children cumulated vsize (KiB) 27156

[startup+642.324 s]
/proc/loadavg: 1.01 1.03 1.00 2/95 12607
/proc/meminfo: memFree=915572/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=26412 CPUtime=641.06
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 6399 0 0 0 64075 31 0 0 25 0 1 0 1015340644 27045888 6334 4294967295 134512640 135215339 3213880480 3213878768 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 6603 6334 72 172 0 6430 0
Current children cumulated CPU time (s) 642.39
Current children cumulated vsize (KiB) 28828

[startup+702.308 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 12795
/proc/meminfo: memFree=914176/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=27780 CPUtime=701.05
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 6728 0 0 0 70072 33 0 0 25 0 1 0 1015340644 28446720 6663 4294967295 134512640 135215339 3213880480 3213878544 134538353 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 6945 6663 72 172 0 6772 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 30196

[startup+762.322 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 12982
/proc/meminfo: memFree=912936/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=29024 CPUtime=761.07
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 7053 0 0 0 76063 44 0 0 25 0 1 0 1015340644 29720576 6988 4294967295 134512640 135215339 3213880480 3213878544 134538506 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 7256 6988 72 172 0 7083 0
Current children cumulated CPU time (s) 762.4
Current children cumulated vsize (KiB) 31440

[startup+822.316 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 13171
/proc/meminfo: memFree=911316/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=30520 CPUtime=821.07
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 7423 0 0 0 82062 45 0 0 25 0 1 0 1015340644 31252480 7358 4294967295 134512640 135215339 3213880480 3213878768 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 7630 7358 72 172 0 7457 0
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (KiB) 32936

[startup+882.321 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 13362
/proc/meminfo: memFree=910092/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=31892 CPUtime=881.08
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 7773 0 0 0 88052 56 0 0 25 0 1 0 1015340644 32657408 7708 4294967295 134512640 135215339 3213880480 3213878768 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 7973 7708 72 172 0 7800 0
Current children cumulated CPU time (s) 882.41
Current children cumulated vsize (KiB) 34308

[startup+942.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13550
/proc/meminfo: memFree=909108/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=33132 CPUtime=941.08
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 8094 0 0 0 94050 58 0 0 25 0 1 0 1015340644 33927168 8029 4294967295 134512640 135215339 3213880480 3213878768 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 8283 8029 72 172 0 8110 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 35548

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13738
/proc/meminfo: memFree=907224/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=34752 CPUtime=1001.09
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 8493 0 0 0 100051 58 0 0 25 0 1 0 1015340644 35586048 8428 4294967295 134512640 135215339 3213880480 3213878768 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 8688 8428 72 172 0 8515 0
Current children cumulated CPU time (s) 1002.42
Current children cumulated vsize (KiB) 37168

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 13925
/proc/meminfo: memFree=905876/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=36204 CPUtime=1061.08
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 8801 0 0 0 106049 59 0 0 25 0 1 0 1015340644 37072896 8736 4294967295 134512640 135215339 3213880480 3213878768 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 9051 8736 72 172 0 8878 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 38620

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 14114
/proc/meminfo: memFree=904380/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=37544 CPUtime=1121.09
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 9121 0 0 0 112050 59 0 0 25 0 1 0 1015340644 38445056 9056 4294967295 134512640 135215339 3213880480 3213878768 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 9386 9056 72 172 0 9213 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 39960

[startup+1182.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 14301
/proc/meminfo: memFree=902884/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=38944 CPUtime=1181.09
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 9476 0 0 0 118049 60 0 0 25 0 1 0 1015340644 39878656 9411 4294967295 134512640 135215339 3213880480 3213878768 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 9736 9411 72 172 0 9563 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 41360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 14486
/proc/meminfo: memFree=902328/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=39404 CPUtime=1198.7
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 9571 0 0 0 119809 61 0 0 25 0 1 0 1015340644 40349696 9506 4294967295 134512640 135215339 3213880480 3213878768 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 9851 9506 72 172 0 9678 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 41820

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

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

[startup+1199.92 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 14486
/proc/meminfo: memFree=902328/2074464 swapFree=1951864/1959888
[pid=10707] ppid=10705 vsize=2416 CPUtime=1.33
/proc/10707/stat : 10707 (SatELiteGTI) S 10705 10707 20977 0 -1 4194304 385 4680 0 0 0 0 126 7 18 0 1 0 1015340511 2473984 277 4294967295 134512640 135169312 3214947664 3214943880 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10707/statm: 604 277 235 161 0 43 0
[pid=10713] ppid=10707 vsize=39404 CPUtime=1198.7
/proc/10713/stat : 10713 (minisat_static) R 10707 10707 20977 0 -1 4202496 9571 0 0 0 119809 61 0 0 25 0 1 0 1015340644 40349696 9506 4294967295 134512640 135215339 3213880480 3213878768 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10713/statm: 9851 9506 72 172 0 9678 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 41820

Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.04
CPU user time (s): 1199.35
CPU system time (s): 0.69
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 41820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.35
system time used= 0.69
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14913
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= 23
involuntary context switches= 1104

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-16 23:13:14
IDJOB=1821118
IDBENCH=70843
IDSOLVER=657
FILE ID=tipi10/1821118-1242508394
PBS_JOBID=
Free space on /tmp= 4167 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-32-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821118-1242508394/watcher-1821118-1242508394 -o /tmp/evaluation-result-1821118-1242508394/solver-1821118-1242508394 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821118-1242508394.cnf

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

MD5SUM BENCH= 7785f51f4f3cb780b4d123215711f948
RANDOM SEED= 1435294312

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:        945712 kB
Buffers:         25076 kB
Cached:         989464 kB
SwapCached:       2732 kB
Active:         467088 kB
Inactive:       557424 kB
HighTotal:     1178688 kB
HighFree:       333812 kB
LowTotal:       895776 kB
LowFree:        611900 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:            3208 kB
Writeback:           0 kB
AnonPages:        9380 kB
Mapped:           3320 kB
Slab:            94960 kB
PageTables:        644 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= 4167 MiB
End job on tipi10 at 2009-05-16 23:33:15