Trace number 1821941

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-18? (TO) 1200.06 1200.05

General information on the benchmark

Namevelev-pipe-o-uns-1.0-7.cnf
MD5SUMb7df25f653e1e7a9ffcd39b3231809e6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark927.4
Satisfiable
(Un)Satisfiability was proved
Number of variables24415
Number of clauses711050
Sum of the clauses size2091630
Maximum clause length161
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2605924
Number of clauses of size 386384
Number of clauses of size 4614
Number of clauses of size 5475
Number of clauses of size over 517652

Solver Data 

0.00/0.00	c Parsing...
0.52/0.53	c ==============================================================================
0.52/0.53	c |           |     ORIGINAL     |              LEARNT              |          |
0.52/0.53	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.52/0.53	c ==============================================================================
0.52/0.53	c |         0 |  711049  2091629 |  213314       0        0     nan |  0.000 % |
2.72/2.76	c |         0 |  700461  2138957 |      --       0       --      -- |     --   | -10530/47459
2.72/2.76	c ==============================================================================
2.72/2.76	c Result  :   #vars: 21173   #clauses: 700461   #literals: 2138957
2.72/2.76	c CPU time:   2.66 s
2.72/2.76	c ==============================================================================
3.40/3.48	c This is MiniSat 2.0 beta
3.40/3.48	c WARNING: for repeatability, setting FPU to use double precision
3.40/3.48	c ============================[ Problem Statistics ]=============================
3.40/3.48	c |                                                                             |
3.40/3.48	c |  Number of variables:  21173                                                |
3.40/3.48	c |  Number of clauses:    700461                                               |
3.47/3.90	c |  Parsing time:         0.35         s                                       |
3.47/3.94	c ============================[ Search Statistics ]==============================
3.47/3.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.47/3.94	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.47/3.94	c ===============================================================================
3.47/3.94	c |         0 |   21173   700461  2138957 |   233487        0    nan |  0.000 % |
3.47/4.25	c |       512 |   21173   700461  2138957 |   233487      512     82 |  0.000 % |
4.48/4.55	c |      1024 |   21173   700461  2138957 |   233487     1024     94 |  0.000 % |
4.68/4.76	c |      1536 |   21173   700461  2138957 |   233487     1536     96 |  0.000 % |
5.18/5.22	c |      2560 |   21173   700461  2138957 |   233487     2560    131 |  0.000 % |
5.38/5.49	c |      3072 |   21173   700461  2138957 |   233487     3072    124 |  0.000 % |
5.78/5.84	c |      3584 |   21173   700461  2138957 |   233487     3584    117 |  0.000 % |
6.08/6.20	c |      4608 |   21173   700461  2138957 |   233487     4608    118 |  0.000 % |
6.88/6.98	c |      6658 |   21173   700461  2138957 |   233487     6658    114 |  0.000 % |
7.18/7.24	c |      7171 |   21173   700461  2138957 |   233487     7171    115 |  0.000 % |
7.48/7.58	c |      7683 |   21173   700461  2138957 |   233487     7683    112 |  0.000 % |
7.98/8.07	c |      8707 |   21173   700461  2138957 |   233487     8707    107 |  0.000 % |
8.28/8.32	c |      9220 |   21173   700461  2138957 |   233487     9220    111 |  0.000 % |
8.48/8.59	c |      9733 |   21173   700461  2138957 |   233487     9733    109 |  0.000 % |
8.98/9.04	c |     10759 |   21173   700461  2138957 | 2147483647    10759    112 |  0.000 % |
9.88/9.96	c |     12809 |   21173   700461  2138957 | 2147483647    12809    107 |  0.000 % |
12.08/12.14	c |     16906 |   21173   700461  2138957 | 2147483647    16906    109 |  0.000 % |
12.38/12.41	c |     17418 |   21173   700461  2138957 | 2147483647    17418    109 |  0.000 % |
12.69/12.76	c |     17930 |   21173   700461  2138957 | 2147483647    17930    108 |  0.000 % |
13.09/13.19	c |     18959 |   21173   700461  2138957 | 2147483647    18959    107 |  0.000 % |
13.29/13.38	c |     19471 |   21173   700461  2138957 | 2147483647    19471    105 |  0.000 % |
13.59/13.65	c |     19983 |   21173   700461  2138957 | 2147483647    19983    106 |  0.000 % |
14.09/14.13	c |     21009 |   21173   700461  2138957 | 2147483647    21009    107 |  0.000 % |
15.19/15.25	c |     23058 |   21173   700461  2138957 | 2147483647    23058    106 |  0.000 % |
15.39/15.46	c |     23570 |   21173   700461  2138957 | 2147483647    23570    106 |  0.000 % |
15.59/15.62	c |     24083 |   21173   700461  2138957 | 2147483647    24083    107 |  0.000 % |
15.89/15.97	c |     25107 |   21173   700461  2138957 | 2147483647    25107    107 |  0.000 % |
16.09/16.19	c |     25620 |   21173   700461  2138957 | 2147483647    25620    107 |  0.000 % |
16.39/16.51	c |     26133 |   21173   700461  2138957 | 2147483647    26133    106 |  0.000 % |
16.89/17.00	c |     27157 |   21173   700461  2138957 | 2147483647    27157    106 |  0.000 % |
17.99/18.06	c |     29206 |   21173   700461  2138957 | 2147483647    29206    104 |  0.000 % |
20.29/20.33	c |     33305 |   21173   700461  2138957 | 2147483647    33305    105 |  0.000 % |
25.19/25.22	c |     41497 |   21173   700461  2138957 | 2147483647    41497    112 |  0.000 % |
25.49/25.60	c |     42010 |   21173   700461  2138957 | 2147483647    42010    112 |  0.000 % |
25.89/25.92	c |     42522 |   21173   700461  2138957 | 2147483647    42522    112 |  0.000 % |
26.49/26.54	c |     43547 |   21173   700461  2138957 | 2147483647    43547    113 |  0.000 % |
26.89/26.93	c |     44060 |   21173   700461  2138957 | 2147483647    44060    112 |  0.000 % |
27.19/27.31	c |     44572 |   21173   700461  2138957 | 2147483647    44572    112 |  0.000 % |
27.89/27.94	c |     45596 |   21173   700461  2138957 | 2147483647    45596    113 |  0.000 % |
28.99/29.09	c |     47645 |   21173   700461  2138957 | 2147483647    47645    113 |  0.000 % |
29.39/29.52	c |     48158 |   21173   700461  2138957 | 2147483647    48158    112 |  0.000 % |
29.80/29.85	c |     48671 |   21173   700461  2138957 | 2147483647    48671    112 |  0.000 % |
30.39/30.47	c |     49695 |   21173   700461  2138957 | 2147483647    49695    112 |  0.000 % |
30.79/30.88	c |     50210 |   21173   700461  2138957 | 2147483647    50210    112 |  0.000 % |
31.09/31.21	c |     50723 |   21173   700461  2138957 | 2147483647    50723    112 |  0.000 % |
31.69/31.75	c |     51748 |   21173   700461  2138957 | 2147483647    51748    111 |  0.000 % |
32.99/33.02	c |     53797 |   21173   700461  2138957 | 2147483647    53797    113 |  0.000 % |
35.39/35.46	c |     57894 |   21173   700461  2138957 | 2147483647    57894    114 |  0.000 % |
35.69/35.76	c |     58406 |   21173   700461  2138957 | 2147483647    58406    113 |  0.000 % |
35.99/36.06	c |     58918 |   21173   700461  2138957 | 2147483647    58918    113 |  0.000 % |
36.49/36.55	c |     59943 |   21173   700461  2138957 | 2147483647    59943    113 |  0.000 % |
36.89/36.93	c |     60456 |   21173   700461  2138957 | 2147483647    60456    113 |  0.000 % |
37.19/37.27	c |     60970 |   21173   700461  2138957 | 2147483647    60970    112 |  0.000 % |
37.89/38.00	c |     61994 |   21173   700461  2138957 | 2147483647    61994    112 |  0.000 % |
39.49/39.59	c |     64042 |   21173   700461  2138957 | 2147483647    64042    112 |  0.000 % |
39.89/39.93	c |     64555 |   21173   700461  2138957 | 2147483647    64555    112 |  0.000 % |
40.29/40.35	c |     65070 |   21173   700461  2138957 | 2147483647    65070    112 |  0.000 % |
40.89/40.94	c |     66094 |   21173   700461  2138957 | 2147483647    66094    111 |  0.000 % |
41.29/41.34	c |     66606 |   21173   700461  2138957 | 2147483647    66606    112 |  0.000 % |
41.69/41.74	c |     67120 |   21173   700461  2138957 | 2147483647    67120    112 |  0.000 % |
42.39/42.46	c |     68144 |   21173   700461  2138957 | 2147483647    68144    112 |  0.000 % |
43.89/44.01	c |     70192 |   21173   700461  2138957 | 2147483647    70192    111 |  0.000 % |
46.79/46.88	c |     74288 |   21173   700461  2138957 | 2147483647    74288    111 |  0.000 % |
52.99/53.11	c |     82481 |   21173   700461  2138957 | 2147483647    82481    113 |  0.000 % |
65.59/65.67	c |     98865 |   21173   700461  2138957 | 2147483647    98865    117 |  0.000 % |
66.10/66.17	c |     99377 |   21173   700461  2138957 | 2147483647    99377    117 |  0.000 % |
66.69/66.81	c |     99890 |   21173   700461  2138957 | 2147483647    99890    117 |  0.000 % |
67.69/67.79	c |    100916 |   21173   700461  2138957 | 2147483647   100916    116 |  0.000 % |
68.09/68.18	c |    101428 |   21173   700461  2138957 | 2147483647   101428    116 |  0.000 % |
68.49/68.56	c |    101940 |   21173   700461  2138957 | 2147483647   101940    116 |  0.000 % |
69.19/69.30	c |    102964 |   21173   700461  2138957 | 2147483647   102964    117 |  0.000 % |
70.39/70.46	c |    105015 |   21173   700461  2138957 | 2147483647   105015    116 |  0.000 % |
70.89/70.99	c |    105528 |   21173   700461  2138957 | 2147483647   105528    116 |  0.000 % |
71.39/71.43	c |    106041 |   21173   700461  2138957 | 2147483647   106041    116 |  0.000 % |
72.09/72.21	c |    107065 |   21173   700461  2138957 | 2147483647   107065    116 |  0.000 % |
72.49/72.53	c |    107579 |   21173   700461  2138957 | 2147483647   107579    116 |  0.000 % |
73.09/73.13	c |    108092 |   21173   700461  2138957 | 2147483647   108092    117 |  0.000 % |
73.80/73.90	c |    109117 |   21173   700461  2138957 | 2147483647   109117    117 |  0.000 % |
75.59/75.71	c |    111165 |   21173   700461  2138957 | 2147483647   111165    119 |  0.000 % |
79.19/79.22	c |    115265 |   21173   700461  2138957 | 2147483647   115265    120 |  0.000 % |
79.59/79.70	c |    115777 |   21173   700461  2138957 | 2147483647   115777    120 |  0.000 % |
80.09/80.15	c |    116289 |   21173   700461  2138957 | 2147483647   116289    120 |  0.000 % |
80.89/80.97	c |    117313 |   21173   700461  2138957 | 2147483647   117313    120 |  0.000 % |
81.29/81.40	c |    117825 |   21173   700461  2138957 | 2147483647   117825    120 |  0.000 % |
81.69/81.73	c |    118338 |   21173   700461  2138957 | 2147483647   118338    120 |  0.000 % |
82.30/82.39	c |    119366 |   21173   700461  2138957 | 2147483647   119366    119 |  0.000 % |
83.90/83.98	c |    121415 |   21173   700461  2138957 | 2147483647   121415    120 |  0.000 % |
84.30/84.33	c |    121928 |   21173   700461  2138957 | 2147483647   121928    120 |  0.000 % |
84.50/84.61	c |    122440 |   21173   700461  2138957 | 2147483647   122440    120 |  0.000 % |
85.40/85.47	c |    123465 |   21173   700461  2138957 | 2147483647   123465    120 |  0.000 % |
85.80/85.83	c |    123980 |   21173   700461  2138957 | 2147483647   123980    120 |  0.000 % |
86.10/86.16	c |    124492 |   21173   700461  2138957 | 2147483647   124492    120 |  0.000 % |
86.80/86.84	c |    125516 |   21173   700461  2138957 | 2147483647   125516    120 |  0.000 % |
88.40/88.46	c |    127564 |   21173   700461  2138957 | 2147483647   127564    122 |  0.000 % |
92.30/92.32	c |    131661 |   21173   700461  2138957 | 2147483647   131661    126 |  0.000 % |
98.90/98.96	c |    139855 |   21173   700461  2138957 | 2147483647   139855    128 |  0.000 % |
99.40/99.50	c |    140369 |   21173   700461  2138957 | 2147483647   140369    128 |  0.000 % |
99.90/99.95	c |    140885 |   21173   700461  2138957 | 2147483647   140885    128 |  0.000 % |
100.80/100.89	c |    141910 |   21173   700461  2138957 | 2147483647   141910    127 |  0.000 % |
101.10/101.20	c |    142427 |   21173   700461  2138957 | 2147483647   142427    127 |  0.000 % |
101.60/101.66	c |    142939 |   21173   700461  2138957 | 2147483647   142939    128 |  0.000 % |
102.40/102.50	c |    143965 |   21173   700461  2138957 | 2147483647   143965    128 |  0.000 % |
103.90/103.94	c |    146014 |   21173   700461  2138957 | 2147483647   146014    128 |  0.000 % |
104.30/104.40	c |    146526 |   21173   700461  2138957 | 2147483647   146526    128 |  0.000 % |
104.80/104.90	c |    147039 |   21173   700461  2138957 | 2147483647   147039    128 |  0.000 % |
105.80/105.85	c |    148063 |   21173   700461  2138957 | 2147483647   148063    128 |  0.000 % |
106.30/106.40	c |    148575 |   21173   700461  2138957 | 2147483647   148575    128 |  0.000 % |
106.90/106.95	c |    149087 |   21173   700461  2138957 | 2147483647   149087    128 |  0.000 % |
107.80/107.84	c |    150112 |   21173   700461  2138957 | 2147483647   150112    129 |  0.000 % |
109.60/109.63	c |    152162 |   21173   700461  2138957 | 2147483647   152162    129 |  0.000 % |
113.40/113.47	c |    156260 |   21173   700461  2138957 | 2147483647   156260    129 |  0.000 % |
113.90/113.95	c |    156773 |   21173   700461  2138957 | 2147483647   156773    129 |  0.000 % |
114.20/114.32	c |    157285 |   21173   700461  2138957 | 2147483647   157285    128 |  0.000 % |
115.00/115.09	c |    158313 |   21173   700461  2138957 | 2147483647   158313    128 |  0.000 % |
115.40/115.47	c |    158826 |   21173   700461  2138957 | 2147483647   158826    128 |  0.000 % |
115.80/115.89	c |    159338 |   21173   700461  2138957 | 2147483647   159338    128 |  0.000 % |
116.90/116.98	c |    160362 |   21173   700461  2138957 | 2147483647   160362    129 |  0.000 % |
118.50/118.60	c |    162411 |   21173   700461  2138957 | 2147483647   162411    129 |  0.000 % |
118.90/119.00	c |    162924 |   21173   700461  2138957 | 2147483647   162924    129 |  0.000 % |
119.30/119.41	c |    163437 |   21173   700461  2138957 | 2147483647   163437    129 |  0.000 % |
120.20/120.29	c |    164461 |   21173   700461  2138957 | 2147483647   164461    129 |  0.000 % |
120.70/120.79	c |    164974 |   21173   700461  2138957 | 2147483647   164974    129 |  0.000 % |
121.20/121.25	c |    165486 |   21173   700461  2138957 | 2147483647   165486    129 |  0.000 % |
122.10/122.22	c |    166512 |   21173   700461  2138957 | 2147483647   166512    129 |  0.000 % |
123.70/123.76	c |    168560 |   21173   700461  2138957 | 2147483647   168560    129 |  0.000 % |
127.49/127.60	c |    172656 |   21173   700461  2138957 | 2147483647   172656    131 |  0.000 % |
134.39/134.46	c |    180848 |   21173   700461  2138957 | 2147483647   180848    132 |  0.000 % |
147.59/147.68	c |    197232 |   21173   700461  2138957 | 2147483647   197232    135 |  0.000 % |
179.59/179.69	c |    230000 |   21173   700461  2138957 | 2147483647   230000    142 |  0.000 % |
180.19/180.21	c |    230513 |   21173   700461  2138957 | 2147483647   230513    142 |  0.000 % |
180.59/180.70	c |    231027 |   21173   700461  2138957 | 2147483647   231027    142 |  0.000 % |
182.19/182.22	c |    232051 |   21173   700461  2138957 | 2147483647   232051    142 |  0.000 % |
182.70/182.81	c |    232563 |   21173   700461  2138957 | 2147483647   232563    142 |  0.000 % |
183.29/183.35	c |    233076 |   21173   700461  2138957 | 2147483647   233076    142 |  0.000 % |
184.19/184.24	c |    234101 |   21173   700461  2138957 | 2147483647   234101    142 |  0.000 % |
186.39/186.44	c |    236149 |   21173   700461  2138957 | 2147483647   236149    142 |  0.000 % |
186.99/187.05	c |    236661 |   21173   700461  2138957 | 2147483647   236661    142 |  0.000 % |
187.49/187.52	c |    237173 |   21173   700461  2138957 | 2147483647   237173    141 |  0.000 % |
188.59/188.69	c |    238197 |   21173   700461  2138957 | 2147483647   238197    141 |  0.000 % |
189.09/189.15	c |    238710 |   21173   700461  2138957 | 2147483647   238710    141 |  0.000 % |
189.59/189.70	c |    239222 |   21173   700461  2138957 | 2147483647   239222    141 |  0.000 % |
190.79/190.83	c |    240247 |   21173   700461  2138957 | 2147483647   240247    141 |  0.000 % |
192.79/192.86	c |    242295 |   21173   700461  2138957 | 2147483647   242295    141 |  0.000 % |
197.09/197.13	c |    246391 |   21173   700461  2138957 | 2147483647   246391    140 |  0.000 % |
197.69/197.75	c |    246903 |   21173   700461  2138957 | 2147483647   246903    140 |  0.000 % |
198.39/198.45	c |    247418 |   21173   700461  2138957 | 2147483647   247418    140 |  0.000 % |
199.49/199.61	c |    248442 |   21173   700461  2138957 | 2147483647   248442    140 |  0.000 % |
200.19/200.29	c |    248956 |   21173   700461  2138957 | 2147483647   248956    140 |  0.000 % |
200.79/200.84	c |    249468 |   21173   700461  2138957 | 2147483647   249468    140 |  0.000 % |
201.79/201.89	c |    250492 |   21173   700461  2138957 | 2147483647   250492    140 |  0.000 % |
203.69/203.77	c |    252540 |   21173   700461  2138957 | 2147483647   252540    139 |  0.000 % |
204.29/204.35	c |    253052 |   21173   700461  2138957 | 2147483647   253052    140 |  0.000 % |
204.99/205.04	c |    253566 |   21173   700461  2138957 | 2147483647   253566    140 |  0.000 % |
206.09/206.19	c |    254592 |   21173   700461  2138957 | 2147483647   254592    140 |  0.000 % |
206.79/206.84	c |    255106 |   21173   700461  2138957 | 2147483647   255106    140 |  0.000 % |
207.50/207.55	c |    255618 |   21173   700461  2138957 | 2147483647   255618    140 |  0.000 % |
208.80/208.85	c |    256643 |   21173   700461  2138957 | 2147483647   256643    140 |  0.000 % |
210.80/210.84	c |    258691 |   21173   700461  2138957 | 2147483647   258691    140 |  0.000 % |
215.40/215.43	c |    262787 |   21173   700461  2138957 | 2147483647   262787    139 |  0.000 % |
224.20/224.24	c |    270980 |   21173   700461  2138957 | 2147483647   270980    139 |  0.000 % |
224.80/224.84	c |    271493 |   21173   700461  2138957 | 2147483647   271493    139 |  0.000 % |
225.50/225.61	c |    272005 |   21173   700461  2138957 | 2147483647   272005    139 |  0.000 % |
226.40/226.49	c |    273030 |   21173   700461  2138957 | 2147483647   273030    139 |  0.000 % |
227.00/227.08	c |    273543 |   21173   700461  2138957 | 2147483647   273543    139 |  0.000 % |
227.70/227.72	c |    274056 |   21173   700461  2138957 | 2147483647   274056    139 |  0.000 % |
229.10/229.16	c |    275080 |   21173   700461  2138957 | 2147483647   275080    139 |  0.000 % |
231.70/231.74	c |    277128 |   21173   700461  2138957 | 2147483647   277128    140 |  0.000 % |
232.30/232.35	c |    277640 |   21173   700461  2138957 | 2147483647   277640    140 |  0.000 % |
232.80/232.90	c |    278155 |   21173   700461  2138957 | 2147483647   278155    140 |  0.000 % |
234.10/234.21	c |    279180 |   21173   700461  2138957 | 2147483647   279180    140 |  0.000 % |
234.80/234.85	c |    279692 |   21173   700461  2138957 | 2147483647   279692    140 |  0.000 % |
235.40/235.48	c |    280204 |   21173   700461  2138957 | 2147483647   280204    139 |  0.000 % |
236.90/236.95	c |    281230 |   21173   700461  2138957 | 2147483647   281230    139 |  0.000 % |
239.00/239.08	c |    283279 |   21173   700461  2138957 | 2147483647   283279    139 |  0.000 % |
243.50/243.56	c |    287375 |   21173   700461  2138957 | 2147483647   287375    139 |  0.000 % |
244.40/244.48	c |    287887 |   21173   700461  2138957 | 2147483647   287887    139 |  0.000 % |
245.00/245.11	c |    288399 |   21173   700461  2138957 | 2147483647   288399    139 |  0.000 % |
246.20/246.31	c |    289425 |   21173   700461  2138957 | 2147483647   289425    139 |  0.000 % |
247.00/247.07	c |    289941 |   21173   700461  2138957 | 2147483647   289941    139 |  0.000 % |
247.60/247.63	c |    290453 |   21173   700461  2138957 | 2147483647   290453    139 |  0.000 % |
248.90/249.01	c |    291478 |   21173   700461  2138957 | 2147483647   291478    138 |  0.000 % |
250.90/250.99	c |    293527 |   21173   700461  2138957 | 2147483647   293527    139 |  0.000 % |
251.70/251.75	c |    294041 |   21173   700461  2138957 | 2147483647   294041    139 |  0.000 % |
252.40/252.46	c |    294555 |   21173   700461  2138957 | 2147483647   294555    139 |  0.000 % |
253.70/253.75	c |    295580 |   21173   700461  2138957 | 2147483647   295580    139 |  0.000 % |
254.30/254.34	c |    296092 |   21173   700461  2138957 | 2147483647   296092    139 |  0.000 % |
255.10/255.15	c |    296605 |   21173   700461  2138957 | 2147483647   296605    139 |  0.000 % |
256.80/256.82	c |    297629 |   21173   700461  2138957 | 2147483647   297629    139 |  0.000 % |
259.20/259.27	c |    299677 |   21173   700461  2138957 | 2147483647   299677    139 |  0.000 % |
264.30/264.38	c |    303773 |   21173   700461  2138957 | 2147483647   303773    139 |  0.000 % |
274.70/274.72	c |    311965 |   21173   700461  2138957 | 2147483647   311965    138 |  0.000 % |
295.80/295.88	c |    328349 |   21173   700461  2138957 | 2147483647   328349    137 |  0.000 % |
296.70/296.81	c |    328861 |   21173   700461  2138957 | 2147483647   328861    137 |  0.000 % |
297.50/297.52	c |    329373 |   21173   700461  2138957 | 2147483647   329373    137 |  0.000 % |
299.10/299.21	c |    330398 |   21173   700461  2138957 | 2147483647   330398    137 |  0.000 % |
300.00/300.03	c |    330912 |   21173   700461  2138957 | 2147483647   330912    137 |  0.000 % |
300.90/300.91	c |    331424 |   21173   700461  2138957 | 2147483647   331424    137 |  0.000 % |
302.40/302.45	c |    332449 |   21173   700461  2138957 | 2147483647   332449    136 |  0.000 % |
305.10/305.21	c |    334498 |   21173   700461  2138957 | 2147483647   334498    137 |  0.000 % |
305.91/305.98	c |    335010 |   21173   700461  2138957 | 2147483647   335010    136 |  0.000 % |
306.70/306.77	c |    335522 |   21173   700461  2138957 | 2147483647   335522    137 |  0.000 % |
308.00/308.12	c |    336546 |   21173   700461  2138957 | 2147483647   336546    137 |  0.000 % |
308.80/308.83	c |    337058 |   21173   700461  2138957 | 2147483647   337058    137 |  0.000 % |
309.40/309.49	c |    337570 |   21173   700461  2138957 | 2147483647   337570    137 |  0.000 % |
310.70/310.73	c |    338594 |   21173   700461  2138957 | 2147483647   338594    137 |  0.000 % |
313.61/313.68	c |    340643 |   21173   700461  2138957 | 2147483647   340643    137 |  0.000 % |
318.50/318.59	c |    344739 |   21173   700461  2138957 | 2147483647   344739    137 |  0.000 % |
319.11/319.17	c |    345251 |   21173   700461  2138957 | 2147483647   345251    137 |  0.000 % |
319.80/319.85	c |    345763 |   21173   700461  2138957 | 2147483647   345763    137 |  0.000 % |
321.10/321.20	c |    346789 |   21173   700461  2138957 | 2147483647   346789    137 |  0.000 % |
321.60/321.71	c |    347305 |   21173   700461  2138957 | 2147483647   347305    136 |  0.000 % |
322.30/322.42	c |    347819 |   21173   700461  2138957 | 2147483647   347819    136 |  0.000 % |
323.80/323.81	c |    348844 |   21173   700461  2138957 | 2147483647   348844    136 |  0.000 % |
326.70/326.82	c |    350892 |   21173   700461  2138957 | 2147483647   350892    136 |  0.000 % |
327.30/327.35	c |    351405 |   21173   700461  2138957 | 2147483647   351405    136 |  0.000 % |
328.00/328.06	c |    351919 |   21173   700461  2138957 | 2147483647   351919    136 |  0.000 % |
329.90/329.94	c |    352944 |   21173   700461  2138957 | 2147483647   352944    137 |  0.000 % |
330.80/330.83	c |    353456 |   21173   700461  2138957 | 2147483647   353456    137 |  0.000 % |
331.70/331.78	c |    353968 |   21173   700461  2138957 | 2147483647   353968    137 |  0.000 % |
333.21/333.27	c |    354993 |   21173   700461  2138957 | 2147483647   354993    136 |  0.000 % |
336.11/336.18	c |    357042 |   21173   700461  2138957 | 2147483647   357042    136 |  0.000 % |
341.41/341.46	c |    361139 |   21173   700461  2138957 | 2147483647   361139    136 |  0.000 % |
353.21/353.27	c |    369331 |   21173   700461  2138957 | 2147483647   369331    136 |  0.000 % |
354.11/354.17	c |    369843 |   21173   700461  2138957 | 2147483647   369843    136 |  0.000 % |
354.91/354.98	c |    370355 |   21173   700461  2138957 | 2147483647   370355    136 |  0.000 % |
356.61/356.71	c |    371379 |   21173   700461  2138957 | 2147483647   371379    136 |  0.000 % |
357.51/357.56	c |    371891 |   21173   700461  2138957 | 2147483647   371891    136 |  0.000 % |
358.41/358.45	c |    372404 |   21173   700461  2138957 | 2147483647   372404    136 |  0.000 % |
360.61/360.62	c |    373429 |   21173   700461  2138957 | 2147483647   373429    136 |  0.000 % |
363.41/363.51	c |    375477 |   21173   700461  2138957 | 2147483647   375477    136 |  0.000 % |
364.31/364.35	c |    375990 |   21173   700461  2138957 | 2147483647   375990    136 |  0.000 % |
365.01/365.03	c |    376503 |   21173   700461  2138957 | 2147483647   376503    136 |  0.000 % |
366.71/366.76	c |    377527 |   21173   700461  2138957 | 2147483647   377527    136 |  0.000 % |
367.51/367.53	c |    378039 |   21173   700461  2138957 | 2147483647   378039    136 |  0.000 % |
368.31/368.39	c |    378551 |   21173   700461  2138957 | 2147483647   378551    136 |  0.000 % |
369.71/369.79	c |    379576 |   21173   700461  2138957 | 2147483647   379576    136 |  0.000 % |
372.81/372.88	c |    381625 |   21173   700461  2138957 | 2147483647   381625    136 |  0.000 % |
378.61/378.63	c |    385721 |   21173   700461  2138957 | 2147483647   385721    136 |  0.000 % |
379.41/379.49	c |    386234 |   21173   700461  2138957 | 2147483647   386234    136 |  0.000 % |
380.41/380.46	c |    386746 |   21173   700461  2138957 | 2147483647   386746    136 |  0.000 % |
382.11/382.19	c |    387770 |   21173   700461  2138957 | 2147483647   387770    136 |  0.000 % |
383.01/383.05	c |    388282 |   21173   700461  2138957 | 2147483647   388282    136 |  0.000 % |
383.81/383.91	c |    388794 |   21173   700461  2138957 | 2147483647   388794    136 |  0.000 % |
385.61/385.63	c |    389819 |   21173   700461  2138957 | 2147483647   389819    136 |  0.000 % |
388.71/388.74	c |    391867 |   21173   700461  2138957 | 2147483647   391867    136 |  0.000 % |
389.61/389.70	c |    392380 |   21173   700461  2138957 | 2147483647   392380    136 |  0.000 % |
390.41/390.51	c |    392892 |   21173   700461  2138957 | 2147483647   392892    136 |  0.000 % |
391.91/392.00	c |    393918 |   21173   700461  2138957 | 2147483647   393918    136 |  0.000 % |
392.81/392.83	c |    394430 |   21173   700461  2138957 | 2147483647   394430    136 |  0.000 % |
393.61/393.65	c |    394942 |   21173   700461  2138957 | 2147483647   394942    135 |  0.000 % |
395.41/395.42	c |    395967 |   21173   700461  2138957 | 2147483647   395967    135 |  0.000 % |
398.61/398.70	c |    398015 |   21173   700461  2138957 | 2147483647   398015    135 |  0.000 % |
406.11/406.15	c |    402113 |   21173   700461  2138957 | 2147483647   402113    135 |  0.000 % |
420.71/420.74	c |    410305 |   21173   700461  2138957 | 2147483647   410305    134 |  0.000 % |
447.41/447.44	c |    426689 |   21173   700461  2138957 | 2147483647   426689    135 |  0.000 % |
490.51/490.57	c |    459457 |   21173   700461  2138957 | 2147483647   459457    139 |  0.000 % |
613.61/613.64	c |    524994 |   21173   700461  2138957 | 2147483647   414604    139 |  0.000 % |
614.81/614.82	c |    525506 |   21173   700461  2138957 | 2147483647   415116    139 |  0.000 % |
615.61/615.68	c |    526020 |   21173   700461  2138957 | 2147483647   415630    139 |  0.000 % |
617.41/617.46	c |    527050 |   21173   700461  2138957 | 2147483647   416660    139 |  0.000 % |
618.61/618.65	c |    527564 |   21173   700461  2138957 | 2147483647   417174    139 |  0.000 % |
619.61/619.66	c |    528078 |   21173   700461  2138957 | 2147483647   417688    139 |  0.000 % |
621.91/621.98	c |    529102 |   21173   700461  2138957 | 2147483647   418712    139 |  0.000 % |
625.21/625.28	c |    531151 |   21173   700461  2138957 | 2147483647   420761    139 |  0.000 % |
626.11/626.13	c |    531663 |   21173   700461  2138957 | 2147483647   421273    139 |  0.000 % |
626.91/626.99	c |    532176 |   21173   700461  2138957 | 2147483647   421786    139 |  0.000 % |
628.91/628.95	c |    533201 |   21173   700461  2138957 | 2147483647   422811    139 |  0.000 % |
629.81/629.84	c |    533713 |   21173   700461  2138957 | 2147483647   423323    139 |  0.000 % |
630.61/630.66	c |    534225 |   21173   700461  2138957 | 2147483647   423835    139 |  0.000 % |
632.41/632.51	c |    535250 |   21173   700461  2138957 | 2147483647   424860    139 |  0.000 % |
636.01/636.05	c |    537298 |   21173   700461  2138957 | 2147483647   426908    138 |  0.000 % |
643.51/643.59	c |    541396 |   21173   700461  2138957 | 2147483647   431006    138 |  0.000 % |
644.51/644.60	c |    541908 |   21173   700461  2138957 | 2147483647   431518    138 |  0.000 % |
645.61/645.69	c |    542420 |   21173   700461  2138957 | 2147483647   432030    138 |  0.000 % |
647.41/647.46	c |    543446 |   21173   700461  2138957 | 2147483647   433056    137 |  0.000 % |
648.41/648.51	c |    543958 |   21173   700461  2138957 | 2147483647   433568    137 |  0.000 % |
649.31/649.37	c |    544470 |   21173   700461  2138957 | 2147483647   434080    137 |  0.000 % |
651.41/651.43	c |    545495 |   21173   700461  2138957 | 2147483647   435105    137 |  0.000 % |
655.01/655.10	c |    547543 |   21173   700461  2138957 | 2147483647   437153    137 |  0.000 % |
656.01/656.10	c |    548055 |   21173   700461  2138957 | 2147483647   437665    137 |  0.000 % |
657.01/657.10	c |    548567 |   21173   700461  2138957 | 2147483647   438177    137 |  0.000 % |
659.21/659.27	c |    549591 |   21173   700461  2138957 | 2147483647   439201    137 |  0.000 % |
660.21/660.30	c |    550103 |   21173   700461  2138957 |   439610   439713    137 |  0.000 % |
662.91/663.01	c |    550617 |   21173   700461  2138957 |   439610   394155    138 |  0.000 % |
664.31/664.32	c |    551641 |   21173   700461  2138957 |   439610   395179    138 |  0.000 % |
666.61/666.68	c |    553689 |   21173   700461  2138957 |   439610   397227    138 |  0.000 % |
671.01/671.04	c |    557785 |   21173   700461  2138957 |   439610   401323    138 |  0.000 % |
680.81/680.89	c |    565977 |   21173   700461  2138957 | 2147483647   409515    137 |  0.000 % |
681.61/681.62	c |    566490 |   21173   700461  2138957 | 2147483647   410028    137 |  0.000 % |
682.41/682.45	c |    567002 |   21173   700461  2138957 | 2147483647   410540    137 |  0.000 % |
683.51/683.54	c |    568026 |   21173   700461  2138957 | 2147483647   411564    137 |  0.000 % |
684.51/684.53	c |    568539 |   21173   700461  2138957 | 2147483647   412077    137 |  0.000 % |
685.51/685.60	c |    569051 |   21173   700461  2138957 | 2147483647   412589    138 |  0.000 % |
687.11/687.19	c |    570075 |   21173   700461  2138957 | 2147483647   413613    138 |  0.000 % |
690.61/690.61	c |    572123 |   21173   700461  2138957 | 2147483647   415661    138 |  0.000 % |
691.41/691.49	c |    572636 |   21173   700461  2138957 | 2147483647   416174    138 |  0.000 % |
692.21/692.27	c |    573149 |   21173   700461  2138957 | 2147483647   416687    138 |  0.000 % |
694.11/694.16	c |    574174 |   21173   700461  2138957 | 2147483647   417712    138 |  0.000 % |
694.71/694.79	c |    574687 |   21173   700461  2138957 | 2147483647   418225    138 |  0.000 % |
695.51/695.56	c |    575200 |   21173   700461  2138957 | 2147483647   418738    138 |  0.000 % |
697.11/697.15	c |    576228 |   21173   700461  2138957 | 2147483647   419766    138 |  0.000 % |
700.82/700.84	c |    578276 |   21173   700461  2138957 | 2147483647   421814    137 |  0.000 % |
707.11/707.19	c |    582372 |   21173   700461  2138957 | 2147483647   425910    137 |  0.000 % |
707.91/708.00	c |    582885 |   21173   700461  2138957 | 2147483647   426423    137 |  0.000 % |
708.82/708.85	c |    583397 |   21173   700461  2138957 | 2147483647   426935    137 |  0.000 % |
710.82/710.89	c |    584421 |   21173   700461  2138957 | 2147483647   427959    136 |  0.000 % |
711.72/711.82	c |    584935 |   21173   700461  2138957 | 2147483647   428473    136 |  0.000 % |
712.72/712.80	c |    585450 |   21173   700461  2138957 | 2147483647   428988    136 |  0.000 % |
714.72/714.75	c |    586474 |   21173   700461  2138957 | 2147483647   430012    136 |  0.000 % |
718.22/718.25	c |    588522 |   21173   700461  2138957 | 2147483647   432060    136 |  0.000 % |
719.12/719.20	c |    589035 |   21173   700461  2138957 | 2147483647   432573    136 |  0.000 % |
720.32/720.33	c |    589547 |   21173   700461  2138957 | 2147483647   433085    136 |  0.000 % |
722.42/722.43	c |    590571 |   21173   700461  2138957 | 2147483647   434109    136 |  0.000 % |
723.42/723.49	c |    591084 |   21173   700461  2138957 | 2147483647   434622    136 |  0.000 % |
724.32/724.41	c |    591597 |   21173   700461  2138957 | 2147483647   435135    136 |  0.000 % |
726.12/726.12	c |    592622 |   21173   700461  2138957 | 2147483647   436160    136 |  0.000 % |
729.62/729.65	c |    594670 |   21173   700461  2138957 | 2147483647   438208    135 |  0.000 % |
736.62/736.65	c |    598766 |   21173   700461  2138957 | 2147483647   442304    135 |  0.000 % |
752.32/752.33	c |    606959 |   21173   700461  2138957 | 2147483647   450497    134 |  0.000 % |
788.92/789.00	c |    623343 |   21173   700461  2138957 |   390018   393361    136 |  0.000 % |
792.42/792.44	c |    623856 |   21173   700461  2138957 |   390018   340960    133 |  0.000 % |
793.12/793.21	c |    624368 |   21173   700461  2138957 |   390018   341472    133 |  0.000 % |
794.72/794.76	c |    625392 |   21173   700461  2138957 |   390018   342496    133 |  0.000 % |
795.52/795.54	c |    625904 |   21173   700461  2138957 |   390018   343008    133 |  0.000 % |
796.53/796.55	c |    626416 |   21173   700461  2138957 |   390018   343520    133 |  0.000 % |
798.62/798.63	c |    627442 |   21173   700461  2138957 |   390018   344546    133 |  0.000 % |
802.82/802.82	c |    629490 |   21173   700461  2138957 |   390018   346594    133 |  0.000 % |
803.52/803.61	c |    630002 |   21173   700461  2138957 |   347105   347106    133 |  0.000 % |
805.92/806.00	c |    630514 |   21173   700461  2138957 |   347105   303460    131 |  0.000 % |
807.53/807.52	c |    631538 |   21173   700461  2138957 |   347105   304484    130 |  0.000 % |
808.42/808.44	c |    632053 |   21173   700461  2138957 |   347105   304999    130 |  0.000 % |
809.22/809.30	c |    632567 |   21173   700461  2138957 |   347105   305513    130 |  0.000 % |
811.02/811.04	c |    633591 |   21173   700461  2138957 |   347105   306537    130 |  0.000 % |
813.42/813.47	c |    635639 |   21173   700461  2138957 |   347105   308585    130 |  0.000 % |
819.32/819.34	c |    639735 |   21173   700461  2138957 |   347105   312681    129 |  0.000 % |
820.12/820.15	c |    640248 |   21173   700461  2138957 | 2147483647   313194    129 |  0.000 % |
820.92/820.98	c |    640760 |   21173   700461  2138957 | 2147483647   313706    129 |  0.000 % |
822.62/822.63	c |    641786 |   21173   700461  2138957 | 2147483647   314732    129 |  0.000 % |
823.42/823.46	c |    642299 |   21173   700461  2138957 | 2147483647   315245    129 |  0.000 % |
824.22/824.28	c |    642811 |   21173   700461  2138957 | 2147483647   315757    129 |  0.000 % |
825.92/825.97	c |    643835 |   21173   700461  2138957 | 2147483647   316781    129 |  0.000 % |
829.12/829.15	c |    645883 |   21173   700461  2138957 | 2147483647   318829    128 |  0.000 % |
829.92/830.00	c |    646396 |   21173   700461  2138957 | 2147483647   319342    128 |  0.000 % |
830.63/830.70	c |    646908 |   21173   700461  2138957 | 2147483647   319854    128 |  0.000 % |
831.73/831.76	c |    647933 |   21173   700461  2138957 | 2147483647   320879    128 |  0.000 % |
832.22/832.29	c |    648447 |   21173   700461  2138957 | 2147483647   321393    128 |  0.000 % |
832.92/833.00	c |    648959 |   21173   700461  2138957 | 2147483647   321905    128 |  0.000 % |
834.23/834.29	c |    649983 |   21173   700461  2138957 | 2147483647   322929    128 |  0.000 % |
837.03/837.07	c |    652032 |   21173   700461  2138957 | 2147483647   324978    129 |  0.000 % |
842.83/842.84	c |    656128 |   21173   700461  2138957 | 2147483647   329074    129 |  0.000 % |
852.82/852.86	c |    664320 |   21173   700461  2138957 | 2147483647   337266    129 |  0.000 % |
853.72/853.72	c |    664832 |   21173   700461  2138957 | 2147483647   337778    129 |  0.000 % |
854.82/854.83	c |    665344 |   21173   700461  2138957 | 2147483647   338290    129 |  0.000 % |
856.72/856.72	c |    666368 |   21173   700461  2138957 | 2147483647   339314    129 |  0.000 % |
857.42/857.46	c |    666882 |   21173   700461  2138957 | 2147483647   339828    128 |  0.000 % |
858.12/858.20	c |    667395 |   21173   700461  2138957 | 2147483647   340341    128 |  0.000 % |
860.12/860.12	c |    668419 |   21173   700461  2138957 | 2147483647   341365    128 |  0.000 % |
863.12/863.13	c |    670471 |   21173   700461  2138957 | 2147483647   343417    128 |  0.000 % |
863.72/863.80	c |    670984 |   21173   700461  2138957 | 2147483647   343930    128 |  0.000 % |
864.42/864.50	c |    671500 |   21173   700461  2138957 | 2147483647   344446    128 |  0.000 % |
866.52/866.58	c |    672524 |   21173   700461  2138957 | 2147483647   345470    128 |  0.000 % |
867.92/867.92	c |    673036 |   21173   700461  2138957 | 2147483647   345982    128 |  0.000 % |
868.72/868.80	c |    673550 |   21173   700461  2138957 | 2147483647   346496    128 |  0.000 % |
870.72/870.71	c |    674574 |   21173   700461  2138957 | 2147483647   347520    128 |  0.000 % |
871.82/871.83	c |    676623 |   21173   700461  2138957 | 2147483647   349569    129 |  0.000 % |
876.02/876.08	c |    680720 |   21173   700461  2138957 | 2147483647   353666    128 |  0.001 % |
876.52/876.59	c |    681232 |   21173   700461  2138957 | 2147483647   354178    128 |  0.000 % |
877.12/877.17	c |    681744 |   21173   700461  2138957 | 2147483647   354690    128 |  0.001 % |
878.12/878.20	c |    682771 |   21173   700461  2138957 | 2147483647   355717    128 |  0.000 % |
878.52/878.59	c |    683285 |   21173   700461  2138957 | 2147483647   356231    127 |  0.001 % |
879.02/879.09	c |    683797 |   21173   700461  2138957 | 2147483647   356743    127 |  0.000 % |
879.92/879.99	c |    684822 |   21173   700461  2138957 | 2147483647   357768    127 |  0.000 % |
881.92/881.99	c |    686872 |   21173   700461  2138957 | 2147483647   359818    127 |  0.000 % |
882.42/882.43	c |    687384 |   21173   700461  2138957 | 2147483647   360330    127 |  0.001 % |
882.92/882.92	c |    687896 |   21173   700461  2138957 | 2147483647   360842    127 |  0.000 % |
884.02/884.04	c |    688923 |   21173   700461  2138957 | 2147483647   361869    127 |  0.000 % |
884.42/884.45	c |    689435 |   21173   700461  2138957 | 2147483647   362381    126 |  0.001 % |
884.92/884.95	c |    689949 |   21173   700461  2138957 | 2147483647   362895    126 |  0.000 % |
886.12/886.15	c |    690976 |   21173   700461  2138957 | 2147483647   363922    126 |  0.000 % |
889.02/889.02	c |    693025 |   21173   700461  2138957 | 2147483647   365971    126 |  0.000 % |
897.42/897.50	c |    697121 |   21173   700461  2138957 | 2147483647   370067    127 |  0.000 % |
912.12/912.17	c |    705314 |   21173   700461  2138957 | 2147483647   378260    128 |  0.000 % |
944.92/944.93	c |    721698 |   21173   700461  2138957 |   392946   394644    130 |  0.000 % |
1007.03/1007.09	c |    754466 |   21173   700461  2138957 | 2147483647   332928    128 |  0.000 % |
1008.03/1008.07	c |    754980 |   21173   700461  2138957 | 2147483647   333442    128 |  0.000 % |
1009.03/1009.04	c |    755494 |   21173   700461  2138957 | 2147483647   333956    128 |  0.000 % |
1010.73/1010.80	c |    756518 |   21173   700461  2138957 | 2147483647   334980    128 |  0.000 % |
1011.73/1011.77	c |    757031 |   21173   700461  2138957 | 2147483647   335493    128 |  0.000 % |
1012.83/1012.82	c |    757545 |   21173   700461  2138957 | 2147483647   336007    128 |  0.000 % |
1014.13/1014.18	c |    758569 |   21173   700461  2138957 | 2147483647   337031    128 |  0.000 % |
1017.23/1017.30	c |    760619 |   21173   700461  2138957 | 2147483647   339081    129 |  0.000 % |
1018.33/1018.33	c |    761131 |   21173   700461  2138957 | 2147483647   339593    129 |  0.000 % |
1019.43/1019.46	c |    761643 |   21173   700461  2138957 | 2147483647   340105    129 |  0.000 % |
1021.43/1021.46	c |    762668 |   21173   700461  2138957 | 2147483647   341130    129 |  0.000 % |
1022.43/1022.46	c |    763180 |   21173   700461  2138957 | 2147483647   341642    129 |  0.000 % |
1023.33/1023.40	c |    763692 |   21173   700461  2138957 | 2147483647   342154    129 |  0.000 % |
1025.53/1025.58	c |    764716 |   21173   700461  2138957 | 2147483647   343178    129 |  0.000 % |
1029.43/1029.47	c |    766764 |   21173   700461  2138957 | 2147483647   345226    129 |  0.000 % |
1035.73/1035.79	c |    770860 |   21173   700461  2138957 | 2147483647   349322    128 |  0.000 % |
1036.73/1036.73	c |    771373 |   21173   700461  2138957 | 2147483647   349835    128 |  0.000 % |
1037.44/1037.48	c |    771887 |   21173   700461  2138957 | 2147483647   350349    128 |  0.000 % |
1039.23/1039.28	c |    772912 |   21173   700461  2138957 | 2147483647   351374    128 |  0.000 % |
1039.93/1039.95	c |    773424 |   21173   700461  2138957 | 2147483647   351886    128 |  0.000 % |
1040.83/1040.87	c |    773938 |   21173   700461  2138957 | 2147483647   352400    128 |  0.000 % |
1042.63/1042.68	c |    774964 |   21173   700461  2138957 | 2147483647   353426    128 |  0.000 % |
1046.24/1046.24	c |    777012 |   21173   700461  2138957 | 2147483647   355474    128 |  0.000 % |
1047.34/1047.39	c |    777525 |   21173   700461  2138957 | 2147483647   355987    128 |  0.000 % |
1048.23/1048.24	c |    778038 |   21173   700461  2138957 | 2147483647   356500    128 |  0.000 % |
1050.03/1050.04	c |    779062 |   21173   700461  2138957 | 2147483647   357524    128 |  0.000 % |
1051.03/1051.07	c |    779574 |   21173   700461  2138957 | 2147483647   358036    128 |  0.000 % |
1051.83/1051.91	c |    780086 |   21173   700461  2138957 | 2147483647   358548    128 |  0.000 % |
1053.83/1053.82	c |    781112 |   21173   700461  2138957 | 2147483647   359574    128 |  0.000 % |
1056.63/1056.70	c |    783160 |   21173   700461  2138957 | 2147483647   361622    128 |  0.000 % |
1064.63/1064.70	c |    787257 |   21173   700461  2138957 | 2147483647   365719    128 |  0.000 % |
1078.63/1078.70	c |    795449 |   21173   700461  2138957 | 2147483647   373911    128 |  0.000 % |
1079.93/1079.94	c |    795961 |   21173   700461  2138957 | 2147483647   374423    127 |  0.000 % |
1081.23/1081.23	c |    796473 |   21173   700461  2138957 | 2147483647   374935    127 |  0.000 % |
1083.23/1083.29	c |    797498 |   21173   700461  2138957 | 2147483647   375960    127 |  0.000 % |
1084.13/1084.21	c |    798010 |   21173   700461  2138957 | 2147483647   376472    127 |  0.000 % |
1085.54/1085.58	c |    798522 |   21173   700461  2138957 | 2147483647   376984    127 |  0.000 % |
1087.54/1087.53	c |    799547 |   21173   700461  2138957 | 2147483647   378009    127 |  0.000 % |
1091.54/1091.55	c |    801595 |   21173   700461  2138957 | 2147483647   380057    127 |  0.000 % |
1092.64/1092.70	c |    802107 |   21173   700461  2138957 | 2147483647   380569    127 |  0.000 % |
1093.44/1093.51	c |    802619 |   21173   700461  2138957 | 2147483647   381081    127 |  0.000 % |
1095.54/1095.52	c |    803644 |   21173   700461  2138957 | 2147483647   382106    127 |  0.000 % |
1096.44/1096.47	c |    804156 |   21173   700461  2138957 | 2147483647   382618    127 |  0.000 % |
1097.34/1097.34	c |    804669 |   21173   700461  2138957 | 2147483647   383131    127 |  0.000 % |
1098.64/1098.70	c |    805693 |   21173   700461  2138957 | 2147483647   384155    127 |  0.000 % |
1102.64/1102.67	c |    807742 |   21173   700461  2138957 | 2147483647   386204    126 |  0.000 % |
1109.64/1109.67	c |    811839 |   21173   700461  2138957 |   388462   390301    126 |  0.000 % |
1114.34/1114.36	c |    812351 |   21173   700461  2138957 |   388462   336604    122 |  0.000 % |
1115.04/1115.04	c |    812865 |   21173   700461  2138957 |   388462   337118    122 |  0.000 % |
1116.44/1116.46	c |    813893 |   21173   700461  2138957 |   388462   338146    121 |  0.000 % |
1117.24/1117.22	c |    814406 |   21173   700461  2138957 |   388462   338659    121 |  0.000 % |
1117.84/1117.91	c |    814921 |   21173   700461  2138957 |   388462   339174    121 |  0.000 % |
1119.24/1119.22	c |    815946 |   21173   700461  2138957 |   388462   340199    121 |  0.000 % |
1121.34/1121.37	c |    817994 |   21173   700461  2138957 |   388462   342247    121 |  0.000 % |
1121.94/1121.97	c |    818506 |   21173   700461  2138957 |   388462   342759    121 |  0.000 % |
1122.94/1122.92	c |    819018 |   21173   700461  2138957 |   388462   343271    121 |  0.000 % |
1124.34/1124.39	c |    820043 |   21173   700461  2138957 | 2147483647   344296    121 |  0.000 % |
1125.14/1125.19	c |    820555 |   21173   700461  2138957 | 2147483647   344808    121 |  0.000 % |
1126.04/1126.11	c |    821067 |   21173   700461  2138957 | 2147483647   345320    121 |  0.000 % |
1127.74/1127.72	c |    822092 |   21173   700461  2138957 | 2147483647   346345    121 |  0.000 % |
1130.54/1130.57	c |    824144 |   21173   700461  2138957 | 2147483647   348397    121 |  0.000 % |
1136.44/1136.46	c |    828240 |   21173   700461  2138957 | 2147483647   352493    120 |  0.000 % |
1146.24/1146.25	c |    836432 |   21173   700461  2138957 | 2147483647   360685    119 |  0.000 % |
1171.34/1171.33	c |    852818 |   21173   700461  2138957 |   374253   377071    118 |  0.000 % |
1175.54/1175.57	c |    853330 |   21173   700461  2138957 |   374253   331004    117 |  0.000 % |
1176.24/1176.27	c |    853842 |   21173   700461  2138957 |   374253   331516    117 |  0.000 % |
1177.54/1177.58	c |    854867 |   21173   700461  2138957 |   374253   332541    117 |  0.000 % |
1178.25/1178.31	c |    855380 |   21173   700461  2138957 |   374253   333054    116 |  0.000 % |
1178.94/1178.94	c |    855895 |   21173   700461  2138957 |   374253   333569    116 |  0.000 % |
1180.14/1180.19	c |    856920 |   21173   700461  2138957 |   374253   334594    116 |  0.000 % |
1182.34/1182.33	c |    858969 |   21173   700461  2138957 |   374253   336643    116 |  0.000 % |
1182.84/1182.85	c |    859481 |   21173   700461  2138957 |   374253   337155    116 |  0.000 % |
1183.54/1183.56	c |    859994 |   21173   700461  2138957 |   374253   337668    116 |  0.000 % |
1184.64/1184.66	c |    861020 |   21173   700461  2138957 | 2147483647   338694    116 |  0.000 % |
1185.64/1185.67	c |    861532 |   21173   700461  2138957 | 2147483647   339206    116 |  0.000 % |
1186.44/1186.45	c |    862044 |   21173   700461  2138957 | 2147483647   339718    116 |  0.000 % |
1187.84/1187.86	c |    863070 |   21173   700461  2138957 | 2147483647   340744    116 |  0.000 % |
1190.44/1190.47	c |    865118 |   21173   700461  2138957 | 2147483647   342792    115 |  0.000 % |
1194.94/1194.98	c |    869215 |   21173   700461  2138957 | 2147483647   346889    116 |  0.000 % |
1195.44/1195.42	c |    869728 |   21173   700461  2138957 | 2147483647   347402    116 |  0.000 % |
1196.14/1196.15	c |    870240 |   21173   700461  2138957 | 2147483647   347914    116 |  0.000 % |
1197.14/1197.21	c |    871264 |   21173   700461  2138957 | 2147483647   348938    116 |  0.000 % |
1197.64/1197.70	c |    871777 |   21173   700461  2138957 | 2147483647   349451    116 |  0.000 % |
1198.44/1198.42	c |    872289 |   21173   700461  2138957 | 2147483647   349963    116 |  0.000 % |
1199.44/1199.49	c |    873314 |   21173   700461  2138957 | 2147483647   350988    116 |  0.000 % |
1200.04/1200.04	HOME/SatELiteGTI: line 36: 12379 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-1821941-1242581330/watcher-1821941-1242581330 -o /tmp/evaluation-result-1821941-1242581330/solver-1821941-1242581330 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821941-1242581330.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.92 0.98 0.99 2/97 12373
/proc/meminfo: memFree=1149900/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2412 CPUtime=0.01
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 366 643 0 0 0 0 0 1 25 0 1 0 1022634104 2469888 276 4294967295 134512640 135169312 3217623008 3217621544 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12373/statm: 603 276 235 161 0 42 0
[pid=12377] ppid=12373 vsize=956 CPUtime=0
/proc/12377/stat : 12377 (SatELite_releas) R 12373 12373 16367 0 -1 4202496 132 0 0 0 0 0 0 0 25 0 1 0 1022634104 978944 67 4294967295 134512640 135223648 3213286320 3213284916 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12377/statm: 239 68 46 174 0 64 0

[startup+0.103134 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 12373
/proc/meminfo: memFree=1149900/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2412 CPUtime=0.01
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 366 643 0 0 0 0 0 1 25 0 1 0 1022634104 2469888 276 4294967295 134512640 135169312 3217623008 3217621544 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12373/statm: 603 276 235 161 0 42 0
[pid=12377] ppid=12373 vsize=9112 CPUtime=0.1
/proc/12377/stat : 12377 (SatELite_releas) R 12373 12373 16367 0 -1 4202496 2040 0 0 0 10 0 0 0 25 0 1 0 1022634104 9330688 1975 4294967295 134512640 135223648 3213286320 3213285272 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12377/statm: 2278 1975 46 174 0 2103 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 11524

[startup+0.213128 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 12373
/proc/meminfo: memFree=1149900/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2412 CPUtime=0.01
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 366 643 0 0 0 0 0 1 25 0 1 0 1022634104 2469888 276 4294967295 134512640 135169312 3217623008 3217621544 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12373/statm: 603 276 235 161 0 42 0
[pid=12377] ppid=12373 vsize=17708 CPUtime=0.21
/proc/12377/stat : 12377 (SatELite_releas) R 12373 12373 16367 0 -1 4202496 4066 0 0 0 20 1 0 0 25 0 1 0 1022634104 18132992 4001 4294967295 134512640 135223648 3213286320 3213285272 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12377/statm: 4427 4001 46 174 0 4252 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 20120

[startup+0.313123 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 12373
/proc/meminfo: memFree=1149900/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2412 CPUtime=0.01
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 366 643 0 0 0 0 0 1 25 0 1 0 1022634104 2469888 276 4294967295 134512640 135169312 3217623008 3217621544 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12373/statm: 603 276 235 161 0 42 0
[pid=12377] ppid=12373 vsize=25348 CPUtime=0.31
/proc/12377/stat : 12377 (SatELite_releas) R 12373 12373 16367 0 -1 4202496 5897 0 0 0 28 3 0 0 25 0 1 0 1022634104 25956352 5832 4294967295 134512640 135223648 3213286320 3213285272 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12377/statm: 6337 5832 46 174 0 6162 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 27760

[startup+0.7131 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 12373
/proc/meminfo: memFree=1149900/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2412 CPUtime=0.01
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 366 643 0 0 0 0 0 1 25 0 1 0 1022634104 2469888 276 4294967295 134512640 135169312 3217623008 3217621544 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12373/statm: 603 276 235 161 0 42 0
[pid=12377] ppid=12373 vsize=54428 CPUtime=0.71
/proc/12377/stat : 12377 (SatELite_releas) R 12373 12373 16367 0 -1 4202496 13905 0 0 0 62 9 0 0 25 0 1 0 1022634104 55734272 12552 4294967295 134512640 135223648 3213286320 3213284336 134586756 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12377/statm: 13607 12552 73 174 0 13432 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 56840

[startup+1.51305 s]
/proc/loadavg: 0.92 0.98 0.99 2/99 12378
/proc/meminfo: memFree=1098184/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2412 CPUtime=0.01
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 366 643 0 0 0 0 0 1 25 0 1 0 1022634104 2469888 276 4294967295 134512640 135169312 3217623008 3217621544 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12373/statm: 603 276 235 161 0 42 0
[pid=12377] ppid=12373 vsize=67472 CPUtime=1.51
/proc/12377/stat : 12377 (SatELite_releas) R 12373 12373 16367 0 -1 4202496 15605 0 0 0 142 9 0 0 25 0 1 0 1022634104 69091328 14252 4294967295 134512640 135223648 3213286320 3213284672 134601983 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12377/statm: 16868 14252 74 174 0 16693 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 69884

[startup+3.11296 s]
/proc/loadavg: 1.09 1.02 1.01 2/99 12378
/proc/meminfo: memFree=1092604/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2412 CPUtime=0.01
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 366 643 0 0 0 0 0 1 25 0 1 0 1022634104 2469888 276 4294967295 134512640 135169312 3217623008 3217621544 3085266670 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12373/statm: 603 276 235 161 0 42 0
[pid=12377] ppid=12373 vsize=58488 CPUtime=3.1
/proc/12377/stat : 12377 (SatELite_releas) R 12373 12373 16367 0 -1 4202496 16922 0 0 0 299 11 0 0 25 0 1 0 1022634104 59891712 12940 4294967295 134512640 135223648 3213286320 3213283124 134830682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12377/statm: 14622 12940 74 174 0 14447 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 60900

[startup+6.31278 s]
/proc/loadavg: 1.09 1.02 1.01 2/99 12379
/proc/meminfo: memFree=1102928/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=37144 CPUtime=2.81
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 8810 0 0 0 275 6 0 0 25 0 1 0 1022634452 38035456 8745 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 9286 8745 75 172 0 9113 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 39560

[startup+12.7224 s]
/proc/loadavg: 1.07 1.02 1.00 2/99 12379
/proc/meminfo: memFree=1096264/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=43244 CPUtime=9.22
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 10340 0 0 0 914 8 0 0 25 0 1 0 1022634452 44281856 10275 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 10811 10275 75 172 0 10638 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45660

[startup+25.5217 s]
/proc/loadavg: 1.06 1.01 1.00 2/99 12380
/proc/meminfo: memFree=1084100/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=55156 CPUtime=22.02
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 13295 0 0 0 2191 11 0 0 25 0 1 0 1022634452 56479744 13230 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 13789 13230 75 172 0 13616 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57572

[startup+51.1203 s]
/proc/loadavg: 1.11 1.03 1.01 3/99 12566
/proc/meminfo: memFree=1065548/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=73688 CPUtime=47.62
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 17917 0 0 0 4749 13 0 0 25 0 1 0 1022634452 75456512 17852 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 18422 17852 75 172 0 18249 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76104

[startup+102.327 s]
/proc/loadavg: 1.11 1.04 1.01 2/99 12752
/proc/meminfo: memFree=1025076/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=113552 CPUtime=98.83
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 27806 0 0 0 9867 16 0 0 25 0 1 0 1022634452 116277248 27741 4294967295 134512640 135216591 3215666768 3215664960 134529346 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 28388 27741 75 172 0 28215 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 115968

[startup+162.314 s]
/proc/loadavg: 1.04 1.03 1.00 4/100 12841
/proc/meminfo: memFree=979848/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=158996 CPUtime=158.82
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 39129 0 0 0 15854 28 0 0 25 0 1 0 1022634452 162811904 39064 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 39749 39064 75 172 0 39576 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 161412

[startup+222.321 s]
/proc/loadavg: 1.01 1.02 1.00 3/99 13135
/proc/meminfo: memFree=944816/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=193448 CPUtime=218.83
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 47786 0 0 0 21844 39 0 0 25 0 1 0 1022634452 198090752 47721 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 48362 47721 75 172 0 48189 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 195864

[startup+282.317 s]
/proc/loadavg: 1.00 1.02 1.00 3/99 13140
/proc/meminfo: memFree=918348/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=221176 CPUtime=278.83
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 54559 0 0 0 27835 48 0 0 25 0 1 0 1022634452 226484224 54494 4294967295 134512640 135216591 3215666768 3215664736 134539001 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 55294 54494 75 172 0 55121 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 223592

[startup+342.324 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 13328
/proc/meminfo: memFree=895144/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=244172 CPUtime=338.84
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 60271 0 0 0 33830 54 0 0 25 0 1 0 1022634452 250032128 60206 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 61043 60206 75 172 0 60870 0
Current children cumulated CPU time (s) 342.31

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

[pid=12379] ppid=12373 vsize=316536 CPUtime=518.83
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 78177 0 0 0 51812 71 0 0 25 0 1 0 1022634452 324132864 78112 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 79134 78112 75 172 0 78961 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 318952

[startup+582.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 14086
/proc/meminfo: memFree=806632/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333356 CPUtime=578.83
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82374 0 0 0 57807 76 0 0 25 0 1 0 1022634452 341356544 82309 4294967295 134512640 135216591 3215666768 3215664960 134529035 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 83339 82309 75 172 0 83166 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 335772

[startup+642.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 14274
/proc/meminfo: memFree=806508/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333356 CPUtime=638.84
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82398 0 0 0 63808 76 0 0 25 0 1 0 1022634452 341356544 82333 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 83339 82333 75 172 0 83166 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 335772

[startup+702.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 14460
/proc/meminfo: memFree=806500/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333356 CPUtime=698.84
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82414 0 0 0 69808 76 0 0 25 0 1 0 1022634452 341356544 82349 4294967295 134512640 135216591 3215666768 3215665036 134529578 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 83339 82349 75 172 0 83166 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 335772

[startup+762.32 s]
/proc/loadavg: 1.16 1.03 1.01 3/99 14648
/proc/meminfo: memFree=806400/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333356 CPUtime=758.85
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82419 0 0 0 75807 78 0 0 25 0 1 0 1022634452 341356544 82354 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 83339 82354 75 172 0 83166 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 335772

[startup+822.317 s]
/proc/loadavg: 1.20 1.06 1.02 3/99 14837
/proc/meminfo: memFree=806360/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333476 CPUtime=818.85
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82437 0 0 0 81807 78 0 0 25 0 1 0 1022634452 341479424 82372 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 83369 82372 75 172 0 83196 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 335892

[startup+882.313 s]
/proc/loadavg: 1.14 1.06 1.02 2/99 15029
/proc/meminfo: memFree=806508/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333476 CPUtime=878.85
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82471 0 0 0 87807 78 0 0 25 0 1 0 1022634452 341479424 82406 4294967295 134512640 135216591 3215666768 3215664960 134528902 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 83369 82406 75 172 0 83196 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 335892

[startup+942.31 s]
/proc/loadavg: 1.11 1.06 1.01 2/99 15217
/proc/meminfo: memFree=806120/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333476 CPUtime=938.85
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82487 0 0 0 93807 78 0 0 25 0 1 0 1022634452 341479424 82422 4294967295 134512640 135216591 3215666768 3215664960 134528962 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 83369 82422 75 172 0 83196 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 335892

[startup+1002.32 s]
/proc/loadavg: 1.04 1.05 1.01 2/99 15403
/proc/meminfo: memFree=806268/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333476 CPUtime=998.86
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82491 0 0 0 99808 78 0 0 25 0 1 0 1022634452 341479424 82426 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 83369 82426 75 172 0 83196 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 335892

[startup+1062.31 s]
/proc/loadavg: 1.01 1.04 1.00 2/99 15591
/proc/meminfo: memFree=806252/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333656 CPUtime=1058.86
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82508 0 0 0 105808 78 0 0 25 0 1 0 1022634452 341663744 82443 4294967295 134512640 135216591 3215666768 3215664736 134538462 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12379/statm: 83414 82443 75 172 0 83241 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 336072

[startup+1122.32 s]
/proc/loadavg: 1.03 1.04 1.00 2/99 15780
/proc/meminfo: memFree=806028/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333656 CPUtime=1118.87
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82512 0 0 0 111809 78 0 0 25 0 1 0 1022634452 341663744 82447 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12379/statm: 83414 82447 75 172 0 83241 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 336072

[startup+1182.32 s]
/proc/loadavg: 1.04 1.05 1.00 2/99 15968
/proc/meminfo: memFree=805780/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333656 CPUtime=1178.87
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82512 0 0 0 117809 78 0 0 25 0 1 0 1022634452 341663744 82447 4294967295 134512640 135216591 3215666768 3215664960 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12379/statm: 83414 82447 75 172 0 83241 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 336072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.10 1.06 1.01 2/99 16152
/proc/meminfo: memFree=805676/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333656 CPUtime=1196.57
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82512 0 0 0 119579 78 0 0 25 0 1 0 1022634452 341663744 82447 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12379/statm: 83414 82447 75 172 0 83241 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 336072

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

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

[startup+1200.02 s]
/proc/loadavg: 1.10 1.06 1.01 2/99 16152
/proc/meminfo: memFree=805676/2074464 swapFree=1949244/1959888
[pid=12373] ppid=12371 vsize=2416 CPUtime=3.47
/proc/12373/stat : 12373 (SatELiteGTI) S 12371 12373 16367 0 -1 4194304 385 17567 0 0 0 0 331 16 18 0 1 0 1022634104 2473984 277 4294967295 134512640 135169312 3217623008 3217619224 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12373/statm: 604 277 235 161 0 43 0
[pid=12379] ppid=12373 vsize=333656 CPUtime=1196.57
/proc/12379/stat : 12379 (minisat_static) R 12373 12373 16367 0 -1 4202496 82512 0 0 0 119579 78 0 0 25 0 1 0 1022634452 341663744 82447 4294967295 134512640 135216591 3215666768 3215664960 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12379/statm: 83414 82447 75 172 0 83241 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 336072

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.06
CPU user time (s): 1199.1
CPU system time (s): 0.96
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 336072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.1
system time used= 0.96
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100554
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= 19
involuntary context switches= 1260

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi11 at 2009-05-17 19:28:50
IDJOB=1821941
IDBENCH=71743
IDSOLVER=658
FILE ID=tipi11/1821941-1242581330
PBS_JOBID=
Free space on /tmp= 9320 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821941-1242581330/watcher-1821941-1242581330 -o /tmp/evaluation-result-1821941-1242581330/solver-1821941-1242581330 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821941-1242581330.cnf

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

MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6
RANDOM SEED= 467382121

Linux tipi11 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.431
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.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
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.431
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.79

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
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:       1149784 kB
Buffers:         48256 kB
Cached:         771268 kB
SwapCached:       5248 kB
Active:         501264 kB
Inactive:       330096 kB
HighTotal:     1178688 kB
HighFree:       562136 kB
LowTotal:       895776 kB
LowFree:        587648 kB
SwapTotal:     1959888 kB
SwapFree:      1949244 kB
Dirty:           14612 kB
Writeback:           0 kB
AnonPages:       11164 kB
Mapped:           4996 kB
Slab:            83880 kB
PageTables:        420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    97128 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9319 MiB
End job on tipi11 at 2009-05-17 19:48:53