Trace number 1833589

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.08 1200.51

General information on the benchmark

NameAPPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
MD5SUMa551844fb6a7f35cf6025d0a525ca14e
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 variables153834
Number of clauses459965
Sum of the clauses size1073249
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2306642
Number of clauses of size 3153321
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.00/0.42	c ==============================================================================
0.00/0.42	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.42	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.42	c ==============================================================================
0.00/0.42	c |         0 |  459963  1073247 |  137988       0        0     nan |  0.000 % |
17.36/17.42	c |         0 |  179278   803454 |      --       0       --      -- |     --   | -280663/-269740
17.36/17.42	c ==============================================================================
17.36/17.42	c Result  :   #vars: 13881   #clauses: 179278   #literals: 803454
17.36/17.42	c CPU time:   17.0024 s
17.36/17.42	c ==============================================================================
17.55/17.69	c This is MiniSat 2.0 beta
17.55/17.69	c WARNING: for repeatability, setting FPU to use double precision
17.55/17.69	c ============================[ Problem Statistics ]=============================
17.55/17.69	c |                                                                             |
17.55/17.69	c |  Number of variables:  13881                                                |
17.55/17.69	c |  Number of clauses:    179278                                               |
17.65/17.83	c |  Parsing time:         0.12         s                                       |
17.65/17.84	c ============================[ Search Statistics ]==============================
17.65/17.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.65/17.84	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
17.65/17.84	c ===============================================================================
17.65/17.84	c |         0 |   13881   179278   803454 |    59759        0    nan |  0.000 % |
17.65/17.88	c |       100 |   13881   179278   803454 |    59759      100     18 |  0.000 % |
17.65/17.96	c |       200 |   13881   179278   803454 |    59759      200     13 |  0.000 % |
17.65/17.99	c |       300 |   13881   179278   803454 |    59759      300     11 |  0.000 % |
17.65/18.02	c |       412 |   13881   179278   803454 |    59759      412     27 |  0.000 % |
17.65/18.05	c |       512 |   13881   179278   803454 |    59759      512     24 |  0.000 % |
17.65/18.10	c |       622 |   13881   179278   803454 |    59759      622     24 |  0.000 % |
17.65/18.13	c |       743 |   13881   179278   803454 |    59759      743     23 |  0.000 % |
17.65/18.18	c |       843 |   13881   179278   803454 |    59759      843     22 |  0.000 % |
17.65/18.25	c |       953 |   13881   179278   803454 |    59759      953     22 |  0.000 % |
17.65/18.34	c |      1105 |   13881   179278   803454 |    59759     1105     37 |  0.000 % |
17.65/18.40	c |      1238 |   13881   179278   803454 |    59759     1238     38 |  0.000 % |
17.65/18.49	c |      1339 |   13881   179278   803454 |    59759     1339     36 |  0.000 % |
17.65/18.58	c |      1449 |   13881   179278   803454 |    59759     1449     35 |  0.000 % |
18.64/18.76	c |      1570 |   13881   179278   803454 |    59759     1570     34 |  0.000 % |
18.74/18.81	c |      1708 |   13881   179278   803454 |    59759     1708     32 |  0.000 % |
19.04/19.11	c |      1854 |   13881   179278   803454 |    59759     1854     30 |  0.000 % |
19.14/19.22	c |      1955 |   13881   179278   803454 |    59759     1955     30 |  0.000 % |
19.14/19.25	c |      2066 |   13881   179278   803454 |    59759     2066     30 |  0.000 % |
19.24/19.34	c |      2187 |   13881   179278   803454 |    59759     2187     30 |  0.000 % |
19.24/19.40	c |      2320 |   13880   179150   803198 |    59759     2318     30 |  0.007 % |
19.34/19.43	c |      2468 |   13880   179150   803198 |    59759     2466     31 |  0.007 % |
19.44/19.50	c |      2628 |   13880   179150   803198 |    59759     2626     32 |  0.007 % |
19.44/19.53	c |      2728 |   13880   179150   803198 |    59759     2726     33 |  0.007 % |
19.44/19.55	c |      2839 |   13880   179150   803198 |    59759     2837     34 |  0.007 % |
19.54/19.69	c |      2960 |   13880   179150   803198 |    59759     2958     34 |  0.007 % |
19.64/19.71	c |      3093 |   13880   179150   803198 |    59759     3091     34 |  0.007 % |
19.74/19.82	c |      3239 |   13880   179150   803198 |    59759     3237     37 |  0.007 % |
19.84/19.91	c |      3401 |   13880   179150   803198 |    59759     3399     43 |  0.007 % |
19.94/20.01	c |      3578 |   13880   179150   803198 |    59759     3576     45 |  0.007 % |
20.04/20.12	c |      3678 |   13880   179150   803198 |    59759     3676     47 |  0.007 % |
20.04/20.19	c |      3788 |   13880   179150   803198 |    59759     3786     47 |  0.007 % |
20.14/20.26	c |      3910 |   13880   179150   803198 |    59759     3908     47 |  0.007 % |
20.24/20.35	c |      4043 |   13880   179150   803198 |    59759     4041     49 |  0.007 % |
20.34/20.45	c |      4189 |   13879   179022   802942 |    59759     4185     49 |  0.014 % |
20.44/20.57	c |      4351 |   13879   179022   802942 |    59759     4347     48 |  0.014 % |
20.54/20.65	c |      4530 |   13879   179022   802942 |    59759     4526     49 |  0.014 % |
20.64/20.73	c |      4723 |   13879   179022   802942 |    59759     4719     51 |  0.014 % |
20.74/20.85	c |      4823 |   13879   179022   802942 |    59759     4819     51 |  0.014 % |
20.84/20.92	c |      4933 |   13879   179022   802942 |    59759     4929     53 |  0.014 % |
20.94/21.01	c |      5054 |   13879   179022   802942 |    59759     5050     53 |  0.014 % |
20.94/21.04	c |      5187 |   13879   179022   802942 |    59759     5183     55 |  0.014 % |
20.94/21.09	c |      5334 |   13879   179022   802942 |    59759     5330     56 |  0.014 % |
21.03/21.13	c |      5495 |   13879   179022   802942 |    59759     5491     56 |  0.014 % |
21.03/21.17	c |      5671 |   13879   179022   802942 |    59759     5667     56 |  0.014 % |
21.33/21.49	c |      5864 |   13879   179022   802942 |    59759     5860     56 |  0.014 % |
21.43/21.58	c |      6077 |   13879   179022   802942 |    59759     6073     60 |  0.014 % |
21.53/21.62	c |      6178 |   13879   179022   802942 |    59759     6174     60 |  0.014 % |
21.53/21.65	c |      6288 |   13879   179022   802942 |    59759     6284     60 |  0.014 % |
21.63/21.71	c |      6409 |   13879   179022   802942 |    59759     6405     61 |  0.014 % |
21.63/21.77	c |      6547 |   13879   179022   802942 |    59759     6543     61 |  0.014 % |
21.73/21.83	c |      6698 |   13879   179022   802942 |    59759     6694     62 |  0.014 % |
21.84/21.92	c |      6858 |   13879   179022   802942 |    59759     6854     63 |  0.014 % |
21.94/22.02	c |      7034 |   13879   179022   802942 |    59759     7030     65 |  0.014 % |
21.94/22.09	c |      7227 |   13879   179022   802942 |    59759     7223     66 |  0.014 % |
22.13/22.22	c |      7440 |   13879   179022   802942 |    59759     7436     68 |  0.014 % |
22.23/22.35	c |      7673 |   13879   179022   802942 |    59759     7669     69 |  0.014 % |
22.43/22.51	c |      7775 |   13879   179022   802942 |    59759     7771     70 |  0.014 % |
22.43/22.56	c |      7885 |   13879   179022   802942 |    59759     7881     70 |  0.014 % |
22.53/22.60	c |      8006 |   13879   179022   802942 |    59759     8002     71 |  0.014 % |
22.53/22.66	c |      8140 |   13879   179022   802942 |    59759     8136     72 |  0.014 % |
22.73/22.83	c |      8286 |   13879   179022   802942 |    59759     8282     73 |  0.014 % |
22.83/22.94	c |      8446 |   13879   179022   802942 |    59759     8442     73 |  0.014 % |
23.13/23.20	c |      8623 |   13879   179022   802942 |    59759     8619     72 |  0.014 % |
23.13/23.29	c |      8816 |   13879   179022   802942 |    59759     8812     72 |  0.014 % |
23.23/23.37	c |      9028 |   13879   179022   802942 |    59759     9024     75 |  0.014 % |
23.44/23.50	c |      9263 |   13879   179022   802942 |    59759     9259     76 |  0.014 % |
23.64/23.70	c |      9522 |   13879   179022   802942 |    59759     9518     78 |  0.014 % |
23.64/23.74	c |      9624 |   13879   179022   802942 |    59759     9620     78 |  0.014 % |
23.64/23.79	c |      9735 |   13879   179022   802942 |    59759     9731     78 |  0.014 % |
23.74/23.86	c |      9857 |   13879   179022   802942 |    59759     9853     79 |  0.014 % |
23.84/23.90	c |      9990 |   13879   179022   802942 |    59759     9986     79 |  0.014 % |
23.84/23.97	c |     10137 |   13879   179022   802942 | 2147483647    10133     79 |  0.014 % |
23.94/24.02	c |     10298 |   13879   179022   802942 | 2147483647    10294     79 |  0.014 % |
23.94/24.07	c |     10474 |   13879   179022   802942 | 2147483647    10470     79 |  0.014 % |
24.14/24.21	c |     10667 |   13879   179022   802942 | 2147483647    10663     79 |  0.014 % |
24.24/24.32	c |     10886 |   13879   179022   802942 | 2147483647    10882     81 |  0.014 % |
24.34/24.40	c |     11122 |   13879   179022   802942 | 2147483647    11118     82 |  0.015 % |
24.54/24.63	c |     11378 |   13879   179022   802942 | 2147483647    11374     85 |  0.014 % |
24.74/24.86	c |     11659 |   13879   179022   802942 | 2147483647    11655     87 |  0.014 % |
24.84/24.92	c |     11760 |   13879   179022   802942 | 2147483647    11756     87 |  0.014 % |
24.84/24.99	c |     11870 |   13879   179022   802942 | 2147483647    11866     88 |  0.014 % |
24.94/25.05	c |     11995 |   13879   179022   802942 | 2147483647    11991     89 |  0.014 % |
25.03/25.12	c |     12128 |   13879   179022   802942 | 2147483647    12124     90 |  0.014 % |
25.03/25.16	c |     12277 |   13879   179022   802942 | 2147483647    12273     90 |  0.014 % |
25.14/25.21	c |     12437 |   13879   179022   802942 | 2147483647    12433     90 |  0.014 % |
25.24/25.39	c |     12617 |   13879   179022   802942 | 2147483647    12613     91 |  0.014 % |
25.43/25.51	c |     12811 |   13879   179022   802942 | 2147483647    12807     92 |  0.014 % |
25.53/25.62	c |     13027 |   13879   179022   802942 | 2147483647    13023     93 |  0.014 % |
25.63/25.72	c |     13260 |   13879   179022   802942 | 2147483647    13256     94 |  0.014 % |
25.83/25.91	c |     13518 |   13879   179022   802942 | 2147483647    13514     95 |  0.014 % |
25.93/26.07	c |     13801 |   13879   179022   802942 | 2147483647    13797     97 |  0.014 % |
26.13/26.25	c |     14112 |   13879   179022   802942 | 2147483647    14108    100 |  0.014 % |
26.24/26.38	c |     14212 |   13879   179022   802942 | 2147483647    14208    100 |  0.014 % |
26.34/26.47	c |     14324 |   13879   179022   802942 | 2147483647    14320    101 |  0.014 % |
26.53/26.63	c |     14445 |   13879   179022   802942 | 2147483647    14441    103 |  0.014 % |
26.53/26.70	c |     14578 |   13879   179022   802942 | 2147483647    14574    103 |  0.014 % |
26.63/26.79	c |     14725 |   13879   179022   802942 | 2147483647    14721    104 |  0.014 % |
26.83/26.94	c |     14885 |   13879   179022   802942 | 2147483647    14881    105 |  0.014 % |
26.93/27.03	c |     15061 |   13879   179022   802942 | 2147483647    15057    106 |  0.014 % |
27.04/27.15	c |     15254 |   13879   179022   802942 | 2147483647    15250    108 |  0.014 % |
27.24/27.32	c |     15466 |   13879   179022   802942 | 2147483647    15462    109 |  0.014 % |
27.44/27.51	c |     15700 |   13879   179022   802942 | 2147483647    15696    110 |  0.014 % |
27.54/27.60	c |     15956 |   13879   179022   802942 | 2147483647    15952    113 |  0.014 % |
27.64/27.77	c |     16242 |   13879   179022   802942 | 2147483647    16238    115 |  0.014 % |
27.94/28.06	c |     16552 |   13879   179022   802942 | 2147483647    16548    116 |  0.014 % |
28.24/28.31	c |     16891 |   13879   179022   802942 | 2147483647    16887    119 |  0.014 % |
28.24/28.37	c |     16991 |   13879   179022   802942 | 2147483647    16987    119 |  0.014 % |
28.33/28.44	c |     17102 |   13879   179022   802942 | 2147483647    17098    120 |  0.014 % |
28.73/28.81	c |     17223 |   13879   179022   802942 | 2147483647    17219    120 |  0.014 % |
28.83/28.92	c |     17356 |   13879   179022   802942 | 2147483647    17352    121 |  0.014 % |
29.03/29.12	c |     17502 |   13879   179022   802942 | 2147483647    17498    121 |  0.014 % |
29.13/29.23	c |     17665 |   13879   179022   802942 | 2147483647    17661    121 |  0.014 % |
29.23/29.39	c |     17847 |   13879   179022   802942 | 2147483647    17843    123 |  0.014 % |
29.33/29.50	c |     18040 |   13879   179022   802942 | 2147483647    18036    123 |  0.014 % |
29.54/29.66	c |     18252 |   13878   178893   802683 | 2147483647    18246    123 |  0.022 % |
29.74/29.89	c |     18485 |   13878   178893   802683 | 2147483647    18479    124 |  0.022 % |
29.94/30.09	c |     18741 |   13878   178893   802683 | 2147483647    18735    125 |  0.022 % |
30.14/30.27	c |     19022 |   13878   178893   802683 | 2147483647    19016    127 |  0.022 % |
30.44/30.56	c |     19334 |   13878   178893   802683 | 2147483647    19328    129 |  0.022 % |
30.64/30.77	c |     19673 |   13878   178893   802683 | 2147483647    19667    131 |  0.022 % |
30.84/30.94	c |     20046 |   13877   178893   802683 | 2147483647    20039    133 |  0.029 % |
30.84/30.99	c |     20147 |   13877   178893   802683 | 2147483647    20140    133 |  0.029 % |
30.94/31.07	c |     20258 |   13877   178893   802683 | 2147483647    20251    134 |  0.029 % |
31.04/31.18	c |     20379 |   13877   178893   802683 | 2147483647    20372    136 |  0.029 % |
31.13/31.29	c |     20515 |   13877   178893   802683 | 2147483647    20508    136 |  0.029 % |
31.23/31.37	c |     20661 |   13877   178893   802683 | 2147483647    20654    137 |  0.029 % |
31.43/31.58	c |     20822 |   13877   178893   802683 | 2147483647    20815    139 |  0.029 % |
31.93/32.07	c |     21008 |   13877   178893   802683 | 2147483647    21001    142 |  0.029 % |
32.13/32.28	c |     21201 |   13877   178893   802683 | 2147483647    21194    143 |  0.029 % |
32.23/32.38	c |     21414 |   13877   178893   802683 | 2147483647    21407    144 |  0.029 % |
32.43/32.53	c |     21651 |   13877   178893   802683 | 2147483647    21644    145 |  0.029 % |
32.63/32.77	c |     21907 |   13877   178893   802683 | 2147483647    21900    147 |  0.029 % |
33.02/33.19	c |     22188 |   13877   178893   802683 | 2147483647    22181    151 |  0.029 % |
33.43/33.57	c |     22497 |   13877   178893   802683 | 2147483647    22490    154 |  0.029 % |
33.73/33.88	c |     22837 |   13877   178764   802424 | 2147483647    22829    157 |  0.029 % |
34.03/34.12	c |     23212 |   13877   178764   802424 | 2147483647    23204    160 |  0.029 % |
34.53/34.61	c |     23621 |   13877   178764   802424 | 2147483647    23613    162 |  0.029 % |
34.63/34.70	c |     23724 |   13877   178764   802424 | 2147483647    23716    162 |  0.029 % |
34.63/34.74	c |     23834 |   13877   178764   802424 | 2147483647    23826    163 |  0.029 % |
34.73/34.81	c |     23957 |   13877   178764   802424 | 2147483647    23949    163 |  0.029 % |
34.73/34.90	c |     24091 |   13877   178764   802424 | 2147483647    24083    165 |  0.029 % |
34.93/35.00	c |     24238 |   13877   178764   802424 | 2147483647    24230    165 |  0.029 % |
35.03/35.18	c |     24399 |   13877   178764   802424 | 2147483647    24391    167 |  0.029 % |
35.22/35.35	c |     24575 |   13877   178764   802424 | 2147483647    24567    168 |  0.029 % |
35.32/35.48	c |     24771 |   13877   178764   802424 | 2147483647    24763    169 |  0.029 % |
35.52/35.66	c |     24983 |   13877   178764   802424 | 2147483647    24975    171 |  0.029 % |
35.72/35.83	c |     25219 |   13877   178764   802424 | 2147483647    25211    173 |  0.029 % |
36.02/36.17	c |     25475 |   13877   178764   802424 | 2147483647    25467    175 |  0.029 % |
36.32/36.46	c |     25757 |   13877   178764   802424 | 2147483647    25749    178 |  0.029 % |
36.93/37.00	c |     26066 |   13877   178764   802424 | 2147483647    26058    183 |  0.029 % |
37.23/37.31	c |     26407 |   13877   178764   802424 | 2147483647    26399    187 |  0.029 % |
37.53/37.63	c |     26783 |   13877   178764   802424 | 2147483647    26775    192 |  0.029 % |
37.92/38.01	c |     27194 |   13877   178764   802424 | 2147483647    27186    196 |  0.029 % |
38.33/38.50	c |     27643 |   13877   178764   802424 | 2147483647    27635    199 |  0.029 % |
38.52/38.67	c |     27758 |   13877   178764   802424 | 2147483647    27750    199 |  0.029 % |
38.62/38.75	c |     27868 |   13877   178764   802424 | 2147483647    27860    200 |  0.029 % |
38.72/38.88	c |     27990 |   13877   178764   802424 | 2147483647    27982    200 |  0.029 % |
38.92/39.01	c |     28123 |   13877   178764   802424 | 2147483647    28115    200 |  0.029 % |
39.22/39.39	c |     28271 |   13877   178764   802424 | 2147483647    28263    201 |  0.029 % |
39.43/39.59	c |     28431 |   13877   178764   802424 | 2147483647    28423    202 |  0.029 % |
39.63/39.76	c |     28608 |   13877   178764   802424 | 2147483647    28600    204 |  0.029 % |
39.83/39.90	c |     28802 |   13877   178764   802424 | 2147483647    28794    204 |  0.029 % |
39.93/40.09	c |     29017 |   13877   178764   802424 | 2147483647    29009    206 |  0.029 % |
40.12/40.27	c |     29254 |   13877   178764   802424 | 2147483647    29246    207 |  0.029 % |
40.32/40.47	c |     29510 |   13877   178764   802424 | 2147483647    29502    209 |  0.029 % |
40.63/40.75	c |     29791 |   13877   178764   802424 | 2147483647    29783    210 |  0.029 % |
41.02/41.12	c |     30102 |   13877   178764   802424 | 2147483647    30094    210 |  0.029 % |
41.42/41.52	c |     30443 |   13877   178764   802424 | 2147483647    30435    211 |  0.029 % |
42.02/42.10	c |     30817 |   13877   178764   802424 | 2147483647    30809    217 |  0.029 % |
43.23/43.30	c |     31237 |   13877   178764   802424 | 2147483647    31229    225 |  0.029 % |
44.12/44.30	c |     31686 |   13877   178764   802424 | 2147483647    31678    231 |  0.029 % |
45.92/46.06	c |     32179 |   13877   178764   802424 | 2147483647    32171    235 |  0.029 % |
46.13/46.26	c |     32280 |   13877   178764   802424 | 2147483647    32272    236 |  0.029 % |
46.32/46.40	c |     32390 |   13877   178764   802424 | 2147483647    32382    237 |  0.029 % |
46.42/46.58	c |     32512 |   13877   178764   802424 | 2147483647    32504    238 |  0.029 % |
46.62/46.70	c |     32646 |   13877   178764   802424 | 2147483647    32638    238 |  0.029 % |
46.72/46.80	c |     32794 |   13877   178764   802424 | 2147483647    32786    239 |  0.029 % |
46.92/47.01	c |     32954 |   13877   178764   802424 | 2147483647    32946    240 |  0.029 % |
47.32/47.46	c |     33130 |   13877   178764   802424 | 2147483647    33122    241 |  0.029 % |
47.52/47.70	c |     33325 |   13877   178764   802424 | 2147483647    33317    242 |  0.029 % |
47.82/47.92	c |     33538 |   13877   178764   802424 | 2147483647    33530    243 |  0.029 % |
48.03/48.12	c |     33773 |   13877   178764   802424 | 2147483647    33765    243 |  0.029 % |
48.12/48.28	c |     34032 |   13877   178764   802424 | 2147483647    34024    243 |  0.029 % |
48.42/48.58	c |     34313 |   13877   178764   802424 | 2147483647    34305    243 |  0.029 % |
48.92/49.02	c |     34624 |   13877   178764   802424 | 2147483647    34616    244 |  0.029 % |
49.33/49.42	c |     34963 |   13877   178764   802424 | 2147483647    34955    245 |  0.029 % |
49.92/50.04	c |     35336 |   13877   178764   802424 | 2147483647    35328    246 |  0.029 % |
50.22/50.33	c |     35745 |   13877   178764   802424 | 2147483647    35737    247 |  0.029 % |
50.52/50.66	c |     36194 |   13877   178764   802424 | 2147483647    36186    250 |  0.029 % |
51.52/51.64	c |     36692 |   13877   178764   802424 | 2147483647    36684    254 |  0.029 % |
52.42/52.54	c |     37242 |   13877   178764   802424 | 2147483647    37234    259 |  0.029 % |
52.62/52.79	c |     37342 |   13877   178764   802424 | 2147483647    37334    261 |  0.029 % |
53.01/53.15	c |     37452 |   13877   178764   802424 | 2147483647    37444    262 |  0.029 % |
53.21/53.35	c |     37574 |   13877   178764   802424 | 2147483647    37566    263 |  0.029 % |
53.41/53.51	c |     37707 |   13877   178764   802424 | 2147483647    37699    264 |  0.029 % |
53.91/54.02	c |     37855 |   13877   178764   802424 | 2147483647    37847    267 |  0.029 % |
54.81/54.94	c |     38022 |   13877   178764   802424 | 2147483647    38014    270 |  0.029 % |
55.11/55.23	c |     38201 |   13877   178764   802424 | 2147483647    38193    271 |  0.029 % |
55.41/55.57	c |     38394 |   13877   178764   802424 | 2147483647    38386    273 |  0.029 % |
55.72/55.86	c |     38612 |   13877   178764   802424 | 2147483647    38604    275 |  0.029 % |
56.02/56.14	c |     38845 |   13877   178764   802424 | 2147483647    38837    277 |  0.029 % |
56.61/56.70	c |     39103 |   13877   178764   802424 | 2147483647    39095    280 |  0.029 % |
57.12/57.21	c |     39384 |   13877   178764   802424 | 2147483647    39376    282 |  0.029 % |
57.51/57.62	c |     39695 |   13877   178764   802424 | 2147483647    39687    284 |  0.029 % |
57.91/58.07	c |     40034 |   13877   178764   802424 | 2147483647    40026    287 |  0.029 % |
58.61/58.71	c |     40406 |   13877   178764   802424 | 2147483647    40398    288 |  0.029 % |
59.31/59.40	c |     40815 |   13877   178764   802424 | 2147483647    40807    291 |  0.029 % |
59.71/59.89	c |     41264 |   13877   178764   802424 | 2147483647    41256    293 |  0.029 % |
60.21/60.34	c |     41758 |   13877   178764   802424 | 2147483647    41750    291 |  0.029 % |
60.71/60.84	c |     42301 |   13877   178764   802424 | 2147483647    42293    290 |  0.029 % |
61.01/61.18	c |     42898 |   13877   178764   802424 | 2147483647    42890    292 |  0.029 % |
61.11/61.22	c |     42999 |   13877   178764   802424 | 2147483647    42991    292 |  0.029 % |
61.11/61.29	c |     43121 |   13877   178764   802424 | 2147483647    43113    292 |  0.029 % |
61.21/61.39	c |     43243 |   13877   178764   802424 | 2147483647    43235    293 |  0.029 % |
61.31/61.49	c |     43376 |   13877   178764   802424 | 2147483647    43368    293 |  0.029 % |
61.61/61.75	c |     43522 |   13877   178764   802424 | 2147483647    43514    292 |  0.029 % |
61.82/61.96	c |     43682 |   13877   178764   802424 | 2147483647    43674    292 |  0.029 % |
61.92/62.09	c |     43861 |   13877   178764   802424 | 2147483647    43853    292 |  0.029 % |
62.21/62.33	c |     44054 |   13877   178764   802424 | 2147483647    44046    292 |  0.029 % |
62.41/62.54	c |     44266 |   13877   178764   802424 | 2147483647    44258    292 |  0.029 % |
63.41/63.56	c |     44499 |   13877   178764   802424 | 2147483647    44491    293 |  0.029 % |
63.91/64.05	c |     44757 |   13877   178764   802424 | 2147483647    44749    294 |  0.029 % |
64.31/64.49	c |     45038 |   13877   178764   802424 | 2147483647    45030    296 |  0.029 % |
65.01/65.10	c |     45348 |   13877   178764   802424 | 2147483647    45340    300 |  0.029 % |
65.61/65.77	c |     45688 |   13877   178764   802424 | 2147483647    45680    302 |  0.029 % |
66.01/66.13	c |     46062 |   13877   178764   802424 | 2147483647    46054    303 |  0.029 % |
67.11/67.20	c |     46471 |   13877   178764   802424 | 2147483647    46463    308 |  0.029 % |
68.91/69.05	c |     46921 |   13877   178764   802424 | 2147483647    46913    315 |  0.029 % |
70.31/70.41	c |     47415 |   13877   178764   802424 | 2147483647    47407    321 |  0.029 % |
71.61/71.79	c |     47959 |   13877   178764   802424 | 2147483647    47951    325 |  0.029 % |
72.71/72.81	c |     48555 |   13877   178764   802424 | 2147483647    48547    329 |  0.029 % |
74.80/74.93	c |     49213 |   13877   178764   802424 | 2147483647    49205    337 |  0.029 % |
75.11/75.25	c |     49313 |   13877   178764   802424 | 2147483647    49305    339 |  0.029 % |
75.71/75.83	c |     49424 |   13877   178764   802424 | 2147483647    49416    341 |  0.029 % |
76.11/76.23	c |     49547 |   13877   178764   802424 | 2147483647    49539    343 |  0.029 % |
76.21/76.40	c |     49680 |   13877   178764   802424 | 2147483647    49672    342 |  0.029 % |
76.41/76.58	c |     49827 |   13877   178764   802424 | 2147483647    49819    342 |  0.029 % |
76.61/76.75	c |     49992 |   13877   178764   802424 | 2147483647    49984    343 |  0.029 % |
77.01/77.18	c |     50170 |   13877   178764   802424 | 2147483647    50162    344 |  0.029 % |
77.20/77.38	c |     50363 |   13877   178764   802424 | 2147483647    50355    345 |  0.029 % |
77.30/77.45	c |     50577 |   13877   178764   802424 | 2147483647    50569    344 |  0.029 % |
77.60/77.72	c |     50810 |   13877   178764   802424 | 2147483647    50802    345 |  0.029 % |
78.40/78.60	c |     51067 |   13877   178764   802424 | 2147483647    51059    346 |  0.029 % |
78.90/79.05	c |     51350 |   13877   178764   802424 | 2147483647    51342    347 |  0.029 % |
80.11/80.23	c |     51659 |   13877   178764   802424 | 2147483647    51651    350 |  0.029 % |
80.51/80.69	c |     52002 |   13877   178764   802424 | 2147483647    51994    352 |  0.029 % |
81.21/81.37	c |     52377 |   13877   178764   802424 | 2147483647    52369    353 |  0.029 % |
81.90/82.03	c |     52789 |   13877   178764   802424 | 2147483647    52781    354 |  0.029 % |
82.20/82.37	c |     53238 |   13877   178764   802424 | 2147483647    53230    354 |  0.029 % |
83.60/83.79	c |     53732 |   13877   178764   802424 | 2147483647    53724    357 |  0.029 % |
85.10/85.24	c |     54277 |   13877   178764   802424 | 2147483647    54269    361 |  0.029 % |
86.89/87.02	c |     54873 |   13877   178764   802424 | 2147483647    54865    365 |  0.029 % |
87.90/88.01	c |     55529 |   13877   178764   802424 | 2147483647    55521    369 |  0.029 % |
90.30/90.42	c |     56249 |   13877   178764   802424 | 2147483647    56241    373 |  0.029 % |
90.60/90.72	c |     56359 |   13877   178764   802424 | 2147483647    56351    374 |  0.029 % |
90.90/91.09	c |     56469 |   13877   178764   802424 | 2147483647    56461    374 |  0.029 % |
91.40/91.51	c |     56590 |   13877   178764   802424 | 2147483647    56582    375 |  0.029 % |
91.80/91.97	c |     56725 |   13877   178764   802424 | 2147483647    56717    376 |  0.029 % |
92.40/92.52	c |     56878 |   13877   178764   802424 | 2147483647    56870    377 |  0.029 % |
92.90/93.08	c |     57038 |   13877   178764   802424 | 2147483647    57030    379 |  0.029 % |
93.40/93.57	c |     57214 |   13877   178764   802424 | 2147483647    57206    380 |  0.029 % |
94.09/94.28	c |     57411 |   13877   178764   802424 | 2147483647    57403    382 |  0.029 % |
94.59/94.79	c |     57623 |   13877   178764   802424 | 2147483647    57615    383 |  0.029 % |
95.09/95.21	c |     57857 |   13877   178764   802424 | 2147483647    57849    384 |  0.029 % |
95.49/95.63	c |     58115 |   13877   178764   802424 | 2147483647    58107    385 |  0.029 % |
96.30/96.46	c |     58397 |   13877   178764   802424 | 2147483647    58389    386 |  0.029 % |
96.89/97.05	c |     58711 |   13877   178764   802424 | 2147483647    58703    388 |  0.029 % |
97.29/97.47	c |     59051 |   13877   178764   802424 | 2147483647    59043    389 |  0.029 % |
98.49/98.60	c |     59423 |   13877   178764   802424 | 2147483647    59415    391 |  0.029 % |
99.69/99.83	c |     59835 |   13877   178764   802424 | 2147483647    59827    395 |  0.029 % |
101.00/101.20	c |     60285 |   13877   178764   802424 | 2147483647    60277    400 |  0.029 % |
102.69/102.86	c |     60779 |   13877   178764   802424 | 2147483647    60771    405 |  0.029 % |
106.09/106.22	c |     61323 |   13877   178764   802424 | 2147483647    61315    410 |  0.029 % |
107.19/107.33	c |     61924 |   13877   178764   802424 | 2147483647    61916    414 |  0.029 % |
110.08/110.20	c |     62579 |   13877   178764   802424 | 2147483647    62571    420 |  0.029 % |
113.39/113.55	c |     63302 |   13877   178764   802424 | 2147483647    63294    425 |  0.029 % |
116.89/117.04	c |     64095 |   13877   178764   802424 | 2147483647    64087    431 |  0.029 % |
117.19/117.37	c |     64195 |   13877   178764   802424 | 2147483647    64187    432 |  0.029 % |
117.69/117.83	c |     64306 |   13877   178764   802424 | 2147483647    64298    433 |  0.029 % |
117.89/118.08	c |     64431 |   13877   178764   802424 | 2147483647    64423    434 |  0.029 % |
118.29/118.41	c |     64566 |   13877   178764   802424 | 2147483647    64558    434 |  0.029 % |
118.69/118.85	c |     64715 |   13877   178764   802424 | 2147483647    64707    434 |  0.029 % |
119.28/119.46	c |     64875 |   13877   178764   802424 | 2147483647    64867    435 |  0.029 % |
119.89/120.02	c |     65051 |   13877   178764   802424 | 2147483647    65043    436 |  0.029 % |
120.49/120.64	c |     65248 |   13877   178764   802424 | 2147483647    65240    438 |  0.029 % |
121.39/121.52	c |     65467 |   13877   178764   802424 | 2147483647    65459    439 |  0.029 % |
122.00/122.15	c |     65702 |   13877   178764   802424 | 2147483647    65694    440 |  0.029 % |
122.89/123.08	c |     65958 |   13877   178764   802424 | 2147483647    65950    442 |  0.029 % |
123.79/123.98	c |     66247 |   13877   178764   802424 | 2147483647    66239    444 |  0.029 % |
124.88/125.04	c |     66557 |   13877   178764   802424 | 2147483647    66549    446 |  0.029 % |
126.18/126.31	c |     66896 |   13877   178764   802424 | 2147483647    66888    449 |  0.029 % |
128.08/128.27	c |     67268 |   13877   178764   802424 | 2147483647    67260    452 |  0.029 % |
128.89/129.09	c |     67678 |   13877   178764   802424 | 2147483647    67670    452 |  0.029 % |
129.59/129.73	c |     68128 |   13877   178764   802424 | 2147483647    68120    452 |  0.029 % |
130.49/130.60	c |     68622 |   13877   178764   802424 | 2147483647    68614    452 |  0.029 % |
131.68/131.82	c |     69165 |   13877   178764   802424 | 2147483647    69157    454 |  0.029 % |
134.58/134.78	c |     69762 |   13877   178764   802424 | 2147483647    69754    458 |  0.029 % |
137.39/137.51	c |     70419 |   13877   178764   802424 | 2147483647    70411    460 |  0.029 % |
141.68/141.90	c |     71139 |   13877   178764   802424 | 2147483647    71131    465 |  0.029 % |
146.09/146.23	c |     71932 |   13877   178764   802424 | 2147483647    71924    470 |  0.029 % |
148.97/149.15	c |     72806 |   13877   178764   802424 | 2147483647    72798    473 |  0.029 % |
149.27/149.43	c |     72909 |   13877   178764   802424 | 2147483647    72901    473 |  0.029 % |
149.48/149.66	c |     73019 |   13877   178764   802424 | 2147483647    73011    474 |  0.029 % |
149.77/149.95	c |     73141 |   13877   178764   802424 | 2147483647    73133    474 |  0.029 % |
150.18/150.37	c |     73275 |   13877   178764   802424 | 2147483647    73267    474 |  0.029 % |
150.59/150.74	c |     73423 |   13877   178764   802424 | 2147483647    73415    474 |  0.029 % |
151.08/151.27	c |     73584 |   13877   178764   802424 | 2147483647    73576    474 |  0.029 % |
151.48/151.64	c |     73767 |   13877   178764   802424 | 2147483647    73759    474 |  0.029 % |
151.59/151.76	c |     73960 |   13877   178764   802424 | 2147483647    73952    474 |  0.029 % |
151.78/151.96	c |     74172 |   13877   178764   802424 | 2147483647    74164    473 |  0.029 % |
151.98/152.19	c |     74405 |   13877   178764   802424 | 2147483647    74397    473 |  0.029 % |
152.28/152.49	c |     74661 |   13877   178764   802424 | 2147483647    74653    473 |  0.029 % |
152.58/152.74	c |     74946 |   13877   178764   802424 | 2147483647    74938    473 |  0.029 % |
152.98/153.12	c |     75255 |   13877   178764   802424 | 2147483647    75247    473 |  0.029 % |
153.28/153.48	c |     75596 |   13877   178764   802424 | 2147483647    75588    473 |  0.029 % |
154.27/154.43	c |     75968 |   13877   178764   802424 | 2147483647    75960    474 |  0.029 % |
155.67/155.83	c |     76379 |   13877   178764   802424 | 2147483647    76371    475 |  0.029 % |
157.58/157.71	c |     76830 |   13877   178764   802424 | 2147483647    76822    478 |  0.029 % |
159.08/159.28	c |     77324 |   13877   178764   802424 | 2147483647    77316    480 |  0.029 % |
161.07/161.20	c |     77866 |   13877   178764   802424 | 2147483647    77858    483 |  0.029 % |
165.18/165.34	c |     78462 |   13877   178764   802424 | 2147483647    78454    486 |  0.029 % |
169.97/170.14	c |     79118 |   13877   178764   802424 | 2147483647    79110    490 |  0.029 % |
173.58/173.79	c |     79841 |   13877   178764   802424 | 2147483647    79833    493 |  0.029 % |
176.47/176.65	c |     80695 |   13877   178764   802424 | 2147483647    80687    495 |  0.029 % |
181.07/181.20	c |     81566 |   13877   178764   802424 | 2147483647    81558    500 |  0.029 % |
184.77/184.96	c |     82524 |   13877   178764   802424 | 2147483647    82516    504 |  0.029 % |
185.57/185.71	c |     82626 |   13877   178764   802424 | 2147483647    82618    505 |  0.029 % |
185.97/186.10	c |     82738 |   13877   178764   802424 | 2147483647    82730    505 |  0.029 % |
186.37/186.53	c |     82861 |   13877   178764   802424 | 2147483647    82853    506 |  0.029 % |
186.87/187.04	c |     82998 |   13877   178764   802424 | 2147483647    82990    506 |  0.029 % |
187.46/187.63	c |     83144 |   13877   178764   802424 | 2147483647    83136    506 |  0.029 % |
188.26/188.46	c |     83304 |   13877   178764   802424 | 2147483647    83296    506 |  0.029 % |
189.07/189.24	c |     83480 |   13877   178764   802424 | 2147483647    83472    506 |  0.029 % |
189.86/190.06	c |     83675 |   13877   178764   802424 | 2147483647    83667    507 |  0.029 % |
190.76/190.96	c |     83887 |   13877   178764   802424 | 2147483647    83879    507 |  0.029 % |
191.06/191.28	c |     84120 |   13877   178764   802424 | 2147483647    84112    507 |  0.029 % |
191.56/191.76	c |     84378 |   13877   178764   802424 | 2147483647    84370    508 |  0.029 % |
191.96/192.19	c |     84659 |   13877   178764   802424 | 2147483647    84651    508 |  0.029 % |
192.66/192.81	c |     84972 |   13877   178764   802424 | 2147483647    84964    508 |  0.029 % |
193.57/193.71	c |     85311 |   13877   178764   802424 | 2147483647    85303    508 |  0.029 % |
194.57/194.71	c |     85685 |   13877   178764   802424 | 2147483647    85677    508 |  0.029 % |
195.07/195.26	c |     86096 |   13877   178764   802424 | 2147483647    86088    508 |  0.029 % |
196.07/196.29	c |     86548 |   13877   178764   802424 | 2147483647    86540    508 |  0.029 % |
197.36/197.56	c |     87042 |   13877   178764   802424 | 2147483647    87034    509 |  0.029 % |
200.27/200.48	c |     87585 |   13877   178764   802424 | 2147483647    87577    511 |  0.029 % |
203.56/203.73	c |     88182 |   13877   178764   802424 | 2147483647    88174    515 |  0.029 % |
206.47/206.67	c |     88842 |   13877   178764   802424 | 2147483647    88834    518 |  0.029 % |
208.36/208.55	c |     89563 |   13877   178764   802424 | 2147483647    89555    519 |  0.029 % |
210.06/210.26	c |     90355 |   13877   178764   802424 | 2147483647    90347    521 |  0.029 % |
212.26/212.44	c |     91233 |   13877   178764   802424 | 2147483647    91225    523 |  0.029 % |
215.06/215.25	c |     92192 |   13877   178764   802424 | 2147483647    92184    527 |  0.029 % |
217.86/218.02	c |     93260 |   13877   178764   802424 | 2147483647    93252    529 |  0.029 % |
218.26/218.40	c |     93360 |   13877   178764   802424 | 2147483647    93352    530 |  0.029 % |
218.46/218.68	c |     93472 |   13877   178764   802424 | 2147483647    93464    530 |  0.029 % |
219.06/219.21	c |     93602 |   13877   178764   802424 | 2147483647    93594    530 |  0.029 % |
219.36/219.52	c |     93736 |   13877   178764   802424 | 2147483647    93728    530 |  0.029 % |
219.56/219.70	c |     93885 |   13877   178764   802424 | 2147483647    93877    530 |  0.029 % |
219.86/220.03	c |     94046 |   13877   178764   802424 | 2147483647    94038    530 |  0.029 % |
220.56/220.75	c |     94222 |   13877   178764   802424 | 2147483647    94214    530 |  0.029 % |
221.16/221.38	c |     94416 |   13877   178764   802424 | 2147483647    94408    531 |  0.029 % |
221.75/221.90	c |     94628 |   13877   178764   802424 | 2147483647    94620    531 |  0.029 % |
222.06/222.26	c |     94861 |   13877   178764   802424 | 2147483647    94853    530 |  0.029 % |
222.46/222.62	c |     95117 |   13877   178764   802424 | 2147483647    95109    530 |  0.029 % |
222.76/222.92	c |     95400 |   13877   178764   802424 | 2147483647    95392    529 |  0.029 % |
223.16/223.32	c |     95709 |   13877   178764   802424 | 2147483647    95701    529 |  0.029 % |
223.76/223.94	c |     96049 |   13877   178764   802424 | 2147483647    96041    529 |  0.029 % |
224.85/225.04	c |     96424 |   13877   178764   802424 | 2147483647    96416    529 |  0.029 % |
225.66/225.82	c |     96836 |   13877   178764   802424 | 2147483647    96828    530 |  0.029 % |
226.46/226.65	c |     97289 |   13877   178764   802424 | 2147483647    97281    530 |  0.029 % |
227.65/227.88	c |     97784 |   13877   178764   802424 | 2147483647    97776    530 |  0.029 % |
228.86/229.09	c |     98326 |   13877   178764   802424 | 2147483647    98318    531 |  0.029 % |
230.46/230.60	c |     98924 |   13877   178764   802424 | 2147483647    98916    532 |  0.029 % |
231.25/231.49	c |     99586 |   13877   178764   802424 | 2147483647    99578    530 |  0.029 % |
232.46/232.60	c |    100306 |   13877   178764   802424 | 2147483647   100298    529 |  0.029 % |
234.16/234.34	c |    101099 |   13877   178764   802424 | 2147483647   101091    528 |  0.029 % |
236.06/236.23	c |    101985 |   13877   178764   802424 | 2147483647   101977    528 |  0.029 % |
238.46/238.63	c |    102944 |   13877   178764   802424 | 2147483647   102936    528 |  0.029 % |
240.35/240.55	c |    103997 |   13877   178764   802424 | 2147483647   103989    528 |  0.029 % |
242.75/242.93	c |    105158 |   13877   178764   802424 | 2147483647   105150    530 |  0.029 % |
242.95/243.17	c |    105263 |   13877   178764   802424 | 2147483647   105255    530 |  0.029 % |
243.45/243.68	c |    105374 |   13877   178764   802424 | 2147483647   105366    530 |  0.029 % |
243.95/244.15	c |    105495 |   13877   178764   802424 | 2147483647   105487    530 |  0.029 % |
244.45/244.68	c |    105628 |   13877   178764   802424 | 2147483647   105620    531 |  0.029 % |
245.06/245.23	c |    105774 |   13877   178764   802424 | 2147483647   105766    531 |  0.029 % |
245.75/245.96	c |    105935 |   13877   178764   802424 | 2147483647   105927    531 |  0.029 % |
246.45/246.68	c |    106114 |   13877   178764   802424 | 2147483647   106106    532 |  0.029 % |
247.26/247.47	c |    106308 |   13877   178764   802424 | 2147483647   106300    532 |  0.029 % |
248.15/248.31	c |    106521 |   13877   178764   802424 | 2147483647   106513    533 |  0.029 % |
248.75/248.93	c |    106755 |   13877   178764   802424 | 2147483647   106747    533 |  0.029 % |
249.46/249.65	c |    107017 |   13877   178764   802424 | 2147483647   107009    533 |  0.029 % |
250.56/250.73	c |    107309 |   13877   178764   802424 | 2147483647   107301    533 |  0.029 % |
251.35/251.52	c |    107622 |   13877   178764   802424 | 2147483647   107614    533 |  0.029 % |
252.15/252.37	c |    107963 |   13877   178764   802424 | 2147483647   107955    534 |  0.029 % |
253.55/253.71	c |    108335 |   13877   178764   802424 | 2147483647   108327    534 |  0.029 % |
255.55/255.75	c |    108744 |   13877   178764   802424 | 2147483647   108736    536 |  0.029 % |
257.35/257.54	c |    109193 |   13877   178764   802424 | 2147483647   109185    537 |  0.029 % |
261.05/261.21	c |    109686 |   13877   178764   802424 | 2147483647   109678    540 |  0.029 % |
263.05/263.28	c |    110228 |   13877   178764   802424 | 2147483647   110220    542 |  0.029 % |
264.85/265.07	c |    110824 |   13877   178764   802424 | 2147483647   110816    544 |  0.029 % |
268.05/268.22	c |    111479 |   13877   178764   802424 | 2147483647   111471    546 |  0.029 % |
269.35/269.57	c |    112200 |   13877   178764   802424 | 2147483647   112192    546 |  0.029 % |
273.04/273.21	c |    113005 |   13877   178764   802424 | 2147483647   112997    546 |  0.029 % |
274.75/274.91	c |    113876 |   13877   178764   802424 | 2147483647   113868    545 |  0.029 % |
278.24/278.47	c |    114834 |   13877   178764   802424 | 2147483647   114826    547 |  0.029 % |
280.44/280.61	c |    115892 |   13877   178764   802424 | 2147483647   115884    547 |  0.029 % |
284.65/284.85	c |    117061 |   13877   178764   802424 | 2147483647   117053    550 |  0.029 % |
286.34/286.51	c |    118334 |   13877   178764   802424 | 2147483647   118326    548 |  0.029 % |
286.34/286.58	c |    118435 |   13877   178764   802424 | 2147483647   118427    548 |  0.029 % |
286.54/286.80	c |    118557 |   13877   178764   802424 | 2147483647   118549    548 |  0.029 % |
286.74/286.92	c |    118679 |   13877   178764   802424 | 2147483647   118671    548 |  0.029 % |
286.85/287.05	c |    118813 |   13877   178764   802424 | 2147483647   118805    547 |  0.029 % |
287.14/287.32	c |    118959 |   13877   178764   802424 | 2147483647   118951    547 |  0.029 % |
287.34/287.55	c |    119119 |   13877   178764   802424 | 2147483647   119111    547 |  0.029 % |
287.64/287.86	c |    119297 |   13877   178764   802424 | 2147483647   119289    547 |  0.029 % |
288.04/288.27	c |    119490 |   13877   178764   802424 | 2147483647   119482    547 |  0.029 % |
288.54/288.76	c |    119704 |   13877   178764   802424 | 2147483647   119696    547 |  0.029 % |
288.94/289.15	c |    119937 |   13877   178764   802424 | 2147483647   119929    547 |  0.029 % |
289.44/289.66	c |    120193 |   13877   178764   802424 | 2147483647   120185    547 |  0.029 % |
290.45/290.61	c |    120475 |   13877   178764   802424 | 2147483647   120467    548 |  0.029 % |
291.04/291.23	c |    120784 |   13877   178764   802424 | 2147483647   120776    548 |  0.029 % |
292.14/292.32	c |    121127 |   13877   178764   802424 | 2147483647   121119    549 |  0.029 % |
293.44/293.63	c |    121499 |   13877   178764   802424 | 2147483647   121491    550 |  0.029 % |
295.04/295.29	c |    121915 |   13877   178764   802424 | 2147483647   121907    551 |  0.029 % |
296.84/297.08	c |    122364 |   13877   178764   802424 | 2147483647   122356    552 |  0.029 % |
298.54/298.72	c |    122857 |   13877   178764   802424 | 2147483647   122849    554 |  0.029 % |
302.04/302.21	c |    123409 |   13877   178764   802424 | 2147483647   123401    555 |  0.029 % |
304.84/305.01	c |    124005 |   13877   178764   802424 | 2147483647   123997    557 |  0.029 % |
308.74/308.98	c |    124661 |   13877   178764   802424 | 2147483647   124653    559 |  0.029 % |
314.13/314.37	c |    125384 |   13877   178764   802424 | 2147483647   125376    561 |  0.029 % |
317.24/317.46	c |    126181 |   13877   178764   802424 | 2147483647   126173    563 |  0.029 % |
319.13/319.30	c |    127052 |   13877   178764   802424 | 2147483647   127044    563 |  0.029 % |
320.84/321.10	c |    128015 |   13877   178764   802424 | 2147483647   128007    562 |  0.029 % |
322.83/323.08	c |    129069 |   13877   178764   802424 | 2147483647   129061    562 |  0.029 % |
326.63/326.86	c |    130234 |   13877   178764   802424 | 2147483647   130226    563 |  0.029 % |
329.53/329.75	c |    131507 |   13877   178764   802424 | 2147483647   131499    564 |  0.029 % |
333.43/333.68	c |    132908 |   13877   178764   802424 | 2147483647   132900    564 |  0.029 % |
333.63/333.89	c |    133008 |   13877   178764   802424 | 2147483647   133000    564 |  0.029 % |
333.83/334.06	c |    133120 |   13877   178764   802424 | 2147483647   133112    564 |  0.029 % |
334.13/334.39	c |    133241 |   13877   178764   802424 | 2147483647   133233    564 |  0.029 % |
334.43/334.60	c |    133375 |   13877   178764   802424 | 2147483647   133367    564 |  0.029 % |
334.63/334.86	c |    133522 |   13877   178764   802424 | 2147483647   133514    564 |  0.029 % |
335.33/335.58	c |    133710 |   13877   178764   802424 | 2147483647   133702    564 |  0.029 % |
335.72/335.90	c |    133886 |   13877   178764   802424 | 2147483647   133878    564 |  0.029 % |
335.82/336.06	c |    134083 |   13877   178764   802424 | 2147483647   134075    564 |  0.029 % |
336.62/336.85	c |    134297 |   13877   178764   802424 | 2147483647   134289    564 |  0.029 % |
337.92/338.16	c |    134531 |   13877   178764   802424 | 2147483647   134523    564 |  0.029 % |
339.13/339.31	c |    134789 |   13877   178764   802424 | 2147483647   134781    565 |  0.029 % |
341.72/341.94	c |    135075 |   13877   178764   802424 | 2147483647   135067    565 |  0.029 % |
342.22/342.41	c |    135385 |   13877   178764   802424 | 2147483647   135377    564 |  0.029 % |
342.52/342.76	c |    135728 |   13877   178764   802424 | 2147483647   135720    563 |  0.029 % |
343.12/343.37	c |    136107 |   13877   178764   802424 | 2147483647   136099    562 |  0.029 % |
344.03/344.22	c |    136517 |   13877   178764   802424 | 2147483647   136509    562 |  0.029 % |
345.93/346.14	c |    136966 |   13877   178764   802424 | 2147483647   136958    563 |  0.029 % |
348.32/348.53	c |    137463 |   13877   178764   802424 | 2147483647   137455    564 |  0.029 % |
350.92/351.13	c |    138009 |   13877   178764   802424 | 2147483647   138001    566 |  0.029 % |
354.03/354.29	c |    138608 |   13877   178764   802424 | 2147483647   138600    567 |  0.029 % |
357.82/358.08	c |    139272 |   13877   178764   802424 | 2147483647   139264    568 |  0.029 % |
361.92/362.19	c |    139992 |   13877   178764   802424 | 2147483647   139984    570 |  0.029 % |
367.12/367.40	c |    140784 |   13877   178764   802424 | 2147483647   140776    573 |  0.029 % |
372.42/372.62	c |    141655 |   13877   178764   802424 | 2147483647   141647    575 |  0.029 % |
377.01/377.22	c |    142619 |   13877   178764   802424 | 2147483647   142611    578 |  0.029 % |
385.21/385.42	c |    143672 |   13877   178764   802424 | 2147483647   143664    580 |  0.029 % |
391.51/391.75	c |    144832 |   13877   178764   802424 | 2147483647   144824    583 |  0.029 % |
396.31/396.50	c |    146105 |   13877   178764   802424 | 2147483647   146097    586 |  0.029 % |
398.61/398.86	c |    147505 |   13877   178764   802424 | 2147483647   147497    584 |  0.029 % |
403.00/403.22	c |    149061 |   13877   178764   802424 | 2147483647   149053    585 |  0.029 % |
403.30/403.54	c |    149161 |   13877   178764   802424 | 2147483647   149153    585 |  0.029 % |
403.61/403.86	c |    149271 |   13877   178764   802424 | 2147483647   149263    585 |  0.029 % |
404.01/404.26	c |    149392 |   13877   178764   802424 | 2147483647   149384    585 |  0.029 % |
404.52/404.72	c |    149528 |   13877   178764   802424 | 2147483647   149520    585 |  0.029 % |
405.01/405.23	c |    149674 |   13877   178764   802424 | 2147483647   149666    585 |  0.029 % |
405.51/405.76	c |    149834 |   13877   178764   802424 | 2147483647   149826    585 |  0.029 % |
406.11/406.35	c |    150011 |   13877   178764   802424 | 2147483647   150003    585 |  0.029 % |
406.91/407.11	c |    150205 |   13877   178764   802424 | 2147483647   150197    585 |  0.029 % |
407.61/407.86	c |    150417 |   13877   178764   802424 | 2147483647   150409    585 |  0.029 % |
408.50/408.74	c |    150656 |   13877   178764   802424 | 2147483647   150648    585 |  0.029 % |
409.70/409.96	c |    150912 |   13877   178764   802424 | 2147483647   150904    586 |  0.029 % |
411.10/411.37	c |    151201 |   13877   178764   802424 | 2147483647   151193    586 |  0.029 % |
412.70/412.95	c |    151510 |   13877   178764   802424 | 2147483647   151502    587 |  0.029 % |
413.70/413.97	c |    151852 |   13877   178764   802424 | 2147483647   151844    586 |  0.029 % |
415.00/415.20	c |    152240 |   13877   178764   802424 | 2147483647   152232    586 |  0.029 % |
415.80/416.09	c |    152654 |   13877   178764   802424 | 2147483647   152646    585 |  0.029 % |
416.40/416.69	c |    153108 |   13877   178764   802424 | 2147483647   153100    584 |  0.029 % |
417.00/417.20	c |    153602 |   13877   178764   802424 | 2147483647   153594    583 |  0.029 % |
418.10/418.39	c |    154145 |   13877   178764   802424 | 2147483647   154137    583 |  0.029 % |
419.40/419.61	c |    154742 |   13877   178764   802424 | 2147483647   154734    583 |  0.029 % |
421.30/421.51	c |    155397 |   13877   178764   802424 | 2147483647   155389    584 |  0.029 % |
424.00/424.24	c |    156117 |   13877   178764   802424 | 2147483647   156109    585 |  0.029 % |
427.49/427.75	c |    156918 |   13877   178764   802424 | 2147483647   156910    585 |  0.029 % |
430.10/430.37	c |    157789 |   13877   178764   802424 | 2147483647   157781    586 |  0.029 % |
432.50/432.75	c |    158747 |   13877   178764   802424 | 2147483647   158739    586 |  0.029 % |
435.10/435.31	c |    159800 |   13877   178764   802424 | 2147483647   159792    586 |  0.029 % |
439.40/439.60	c |    160963 |   13877   178764   802424 | 2147483647   160955    586 |  0.029 % |
441.09/441.34	c |    162237 |   13877   178764   802424 | 2147483647   162229    583 |  0.029 % |
446.89/447.19	c |    163639 |   13877   178764   802424 | 2147483647   163631    586 |  0.029 % |
453.59/453.80	c |    165180 |   13877   178764   802424 | 2147483647   165172    586 |  0.029 % |
459.69/459.91	c |    166874 |   13877   178764   802424 | 2147483647   166866    586 |  0.029 % |
459.79/460.06	c |    166974 |   13877   178764   802424 | 2147483647   166966    586 |  0.029 % |
459.88/460.20	c |    167086 |   13877   178764   802424 | 2147483647   167078    586 |  0.029 % |
460.48/460.74	c |    167215 |   13877   178764   802424 | 2147483647   167207    586 |  0.029 % |
461.28/461.53	c |    167352 |   13877   178764   802424 | 2147483647   167344    586 |  0.029 % |
461.70/461.99	c |    167498 |   13877   178764   802424 | 2147483647   167490    586 |  0.029 % |
462.29/462.50	c |    167661 |   13877   178764   802424 | 2147483647   167653    586 |  0.029 % |
462.99/463.27	c |    167839 |   13877   178764   802424 | 2147483647   167831    586 |  0.029 % |
463.89/464.17	c |    168032 |   13877   178764   802424 | 2147483647   168024    587 |  0.029 % |
465.09/465.35	c |    168247 |   13877   178764   802424 | 2147483647   168239    587 |  0.029 % |
465.98/466.30	c |    168480 |   13877   178764   802424 | 2147483647   168472    587 |  0.029 % |
466.69/466.94	c |    168738 |   13877   178764   802424 | 2147483647   168730    587 |  0.029 % |
467.29/467.57	c |    169022 |   13877   178764   802424 | 2147483647   169014    587 |  0.029 % |
468.69/468.97	c |    169344 |   13877   178764   802424 | 2147483647   169336    587 |  0.029 % |
469.78/470.08	c |    169684 |   13877   178764   802424 | 2147483647   169676    588 |  0.029 % |
471.19/471.41	c |    170056 |   13877   178764   802424 | 2147483647   170048    588 |  0.029 % |
471.89/472.12	c |    170466 |   13877   178764   802424 | 2147483647   170458    587 |  0.029 % |
472.69/472.92	c |    170915 |   13877   178764   802424 | 2147483647   170907    587 |  0.029 % |
473.28/473.57	c |    171408 |   13877   178764   802424 | 2147483647   171400    586 |  0.029 % |
474.19/474.47	c |    171950 |   13877   178764   802424 | 2147483647   171942    585 |  0.029 % |
475.79/476.00	c |    172547 |   13877   178764   802424 | 2147483647   172539    585 |  0.029 % |
481.28/481.51	c |    173207 |   13877   178764   802424 | 2147483647   173199    585 |  0.029 % |
483.49/483.75	c |    173927 |   13877   178764   802424 | 2147483647   173919    586 |  0.029 % |
485.08/485.37	c |    174719 |   13877   178764   802424 | 2147483647   174711    586 |  0.029 % |
487.48/487.72	c |    175590 |   13877   178764   802424 | 2147483647   175582    585 |  0.029 % |
494.18/494.47	c |    176548 |   13877   178764   802424 | 2147483647   176540    586 |  0.029 % |
500.58/500.88	c |    177601 |   13877   178764   802424 | 2147483647   177593    587 |  0.029 % |
505.78/506.09	c |    178762 |   13877   178764   802424 | 2147483647   178754    588 |  0.029 % |
512.68/512.93	c |    180040 |   13877   178764   802424 | 2147483647   180032    591 |  0.029 % |
516.27/516.50	c |    181440 |   13877   178764   802424 | 2147483647   181432    590 |  0.029 % |
520.08/520.39	c |    182990 |   13877   178764   802424 | 2147483647   182982    589 |  0.029 % |
526.58/526.82	c |    184684 |   13877   178764   802424 | 2147483647   184676    591 |  0.029 % |
534.47/534.73	c |    186547 |   13877   178764   802424 | 2147483647   186539    592 |  0.029 % |
535.17/535.44	c |    186655 |   13877   178764   802424 | 2147483647   186647    592 |  0.029 % |
535.56/535.89	c |    186766 |   13877   178764   802424 | 2147483647   186758    592 |  0.029 % |
536.06/536.37	c |    186887 |   13877   178764   802424 | 2147483647   186879    592 |  0.029 % |
536.47/536.76	c |    187020 |   13877   178764   802424 | 2147483647   187012    592 |  0.029 % |
537.26/537.55	c |    187168 |   13877   178764   802424 | 2147483647   187160    592 |  0.029 % |
538.17/538.45	c |    187328 |   13877   178764   802424 | 2147483647   187320    592 |  0.029 % |
539.17/539.40	c |    187506 |   13877   178764   802424 | 2147483647   187498    592 |  0.029 % |
539.87/540.16	c |    187699 |   13877   178764   802424 | 2147483647   187691    592 |  0.029 % |
540.57/540.90	c |    187911 |   13877   178764   802424 | 2147483647   187903    592 |  0.029 % |
541.27/541.56	c |    188145 |   13877   178764   802424 | 2147483647   188137    592 |  0.029 % |
542.47/542.71	c |    188402 |   13877   178764   802424 | 2147483647   188394    592 |  0.029 % |
543.56/543.83	c |    188683 |   13877   178764   802424 | 2147483647   188675    592 |  0.029 % |
544.37/544.63	c |    188992 |   13877   178764   802424 | 2147483647   188984    592 |  0.029 % |
545.46/545.72	c |    189332 |   13877   178764   802424 | 2147483647   189324    593 |  0.029 % |
546.26/546.54	c |    189704 |   13877   178764   802424 | 2147483647   189696    593 |  0.029 % |
547.17/547.41	c |    190114 |   13877   178764   802424 | 2147483647   190106    593 |  0.029 % |
547.66/547.90	c |    190563 |   13877   178764   802424 | 2147483647   190555    592 |  0.029 % |
548.96/549.22	c |    191056 |   13877   178764   802424 | 2147483647   191048    591 |  0.029 % |
549.86/550.12	c |    191598 |   13877   178764   802424 | 2147483647   191590    590 |  0.029 % |
551.26/551.58	c |    192194 |   13877   178764   802424 | 2147483647   192186    590 |  0.029 % |
553.07/553.34	c |    192849 |   13877   178764   802424 | 2147483647   192841    590 |  0.029 % |
554.26/554.58	c |    193569 |   13877   178764   802424 | 2147483647   193561    590 |  0.029 % |
556.17/556.49	c |    194361 |   13877   178764   802424 | 2147483647   194353    590 |  0.029 % |
557.66/557.95	c |    195234 |   13877   178764   802424 | 2147483647   195226    589 |  0.029 % |
559.26/559.50	c |    196192 |   13877   178764   802424 | 2147483647   196184    588 |  0.029 % |
562.36/562.65	c |    197245 |   13877   178764   802424 | 2147483647   197237    589 |  0.029 % |
566.66/566.96	c |    198407 |   13877   178764   802424 | 2147483647   198399    590 |  0.029 % |
569.95/570.20	c |    199682 |   13877   178764   802424 | 2147483647   199674    591 |  0.029 % |
575.45/575.74	c |    201086 |   13877   178764   802424 | 2147483647   201078    592 |  0.029 % |
584.36/584.63	c |    202628 |   13877   178764   802424 | 2147483647   202620    593 |  0.029 % |
595.66/595.95	c |    204322 |   13877   178764   802424 | 2147483647   204314    594 |  0.029 % |
599.75/600.00	c |    206186 |   13877   178764   802424 | 2147483647   206178    592 |  0.029 % |
603.04/603.38	c |    208245 |   13877   178764   802424 | 2147483647   208237    591 |  0.029 % |
603.56/603.85	c |    208350 |   13877   178764   802424 | 2147483647   208342    591 |  0.029 % |
604.05/604.38	c |    208461 |   13877   178764   802424 | 2147483647   208453    591 |  0.029 % |
604.25/604.56	c |    208583 |   13877   178764   802424 | 2147483647   208575    591 |  0.029 % |
604.75/605.07	c |    208718 |   13877   178764   802424 | 2147483647   208710    591 |  0.029 % |
605.05/605.34	c |    208864 |   13877   178764   802424 | 2147483647   208856    591 |  0.029 % |
605.35/605.65	c |    209025 |   13877   178764   802424 | 2147483647   209017    591 |  0.029 % |
605.75/606.02	c |    209201 |   13877   178764   802424 | 2147483647   209193    591 |  0.029 % |
606.55/606.86	c |    209402 |   13877   178764   802424 | 2147483647   209394    590 |  0.029 % |
607.15/607.47	c |    209614 |   13877   178764   802424 | 2147483647   209606    590 |  0.029 % |
607.74/608.08	c |    209849 |   13877   178764   802424 | 2147483647   209841    590 |  0.029 % |
608.64/608.98	c |    210106 |   13877   178764   802424 | 2147483647   210098    590 |  0.029 % |
609.34/609.69	c |    210391 |   13877   178764   802424 | 2147483647   210383    590 |  0.029 % |
610.54/610.88	c |    210703 |   13877   178764   802424 | 2147483647   210695    590 |  0.029 % |
611.54/611.89	c |    211042 |   13877   178764   802424 | 2147483647   211034    590 |  0.029 % |
613.64/613.91	c |    211418 |   13877   178764   802424 | 2147483647   211410    590 |  0.029 % |
615.44/615.77	c |    211829 |   13877   178764   802424 | 2147483647   211821    590 |  0.029 % |
617.34/617.67	c |    212279 |   13877   178764   802424 | 2147483647   212271    590 |  0.029 % |
620.24/620.54	c |    212782 |   13877   178764   802424 | 2147483647   212774    591 |  0.029 % |
622.74/623.03	c |    213324 |   13877   178764   802424 | 2147483647   213316    591 |  0.029 % |
625.13/625.46	c |    213924 |   13877   178764   802424 | 2147483647   213916    590 |  0.029 % |
626.94/627.22	c |    214581 |   13877   178764   802424 | 2147483647   214573    590 |  0.029 % |
630.64/630.90	c |    215302 |   13877   178764   802424 | 2147483647   215294    590 |  0.029 % |
633.14/633.46	c |    216095 |   13877   178764   802424 | 2147483647   216087    590 |  0.029 % |
635.54/635.87	c |    216969 |   13877   178764   802424 | 2147483647   216961    588 |  0.029 % |
638.33/638.67	c |    217928 |   13877   178764   802424 | 2147483647   217920    586 |  0.029 % |
640.24/640.52	c |    218983 |   13877   178764   802424 | 2147483647   218975    586 |  0.029 % |
643.53/643.86	c |    220143 |   13877   178764   802424 | 2147483647   220135    586 |  0.029 % |
649.74/650.06	c |    221419 |   13877   178764   802424 | 2147483647   221411    586 |  0.029 % |
659.83/660.13	c |    222822 |   13877   178764   802424 | 2147483647   222814    587 |  0.029 % |
667.03/667.30	c |    224365 |   13877   178764   802424 | 2147483647   224357    589 |  0.029 % |
677.62/677.90	c |    226059 |   13877   178764   802424 | 2147483647   226051    592 |  0.029 % |
686.72/687.07	c |    227923 |   13877   178764   802424 | 2147483647   227915    594 |  0.029 % |
699.41/699.80	c |    229972 |   13877   178764   802424 | 2147483647   229964    597 |  0.029 % |
715.91/716.24	c |    232228 |   13877   178764   802424 | 2147483647   232220    598 |  0.029 % |
716.71/717.01	c |    232331 |   13877   178764   802424 | 2147483647   232323    598 |  0.029 % |
717.41/717.70	c |    232442 |   13877   178764   802424 | 2147483647   232434    598 |  0.029 % |
717.61/717.95	c |    232564 |   13877   178764   802424 | 2147483647   232556    598 |  0.029 % |
718.21/718.56	c |    232702 |   13877   178764   802424 | 2147483647   232694    598 |  0.029 % |
718.51/718.83	c |    232848 |   13877   178764   802424 | 2147483647   232840    598 |  0.029 % |
719.11/719.43	c |    233014 |   13877   178764   802424 | 2147483647   233006    598 |  0.029 % |
719.91/720.21	c |    233195 |   13877   178764   802424 | 2147483647   233187    598 |  0.029 % |
720.41/720.71	c |    233388 |   13877   178764   802424 | 2147483647   233380    597 |  0.029 % |
721.51/721.82	c |    233600 |   13877   178764   802424 | 2147483647   233592    597 |  0.029 % |
722.21/722.58	c |    233837 |   13877   178764   802424 | 2147483647   233829    597 |  0.029 % |
723.12/723.41	c |    234095 |   13877   178764   802424 | 2147483647   234087    597 |  0.029 % |
723.52/723.86	c |    234381 |   13877   178764   802424 | 2147483647   234373    597 |  0.029 % |
723.81/724.13	c |    234692 |   13877   178764   802424 | 2147483647   234684    596 |  0.029 % |
725.21/725.52	c |    235033 |   13877   178764   802424 | 2147483647   235025    596 |  0.029 % |
728.61/728.93	c |    235405 |   13877   178764   802424 | 2147483647   235397    596 |  0.029 % |
730.60/730.99	c |    235816 |   13877   178764   802424 | 2147483647   235808    597 |  0.029 % |
733.80/734.18	c |    236271 |   13877   178764   802424 | 2147483647   236263    598 |  0.029 % |
736.80/737.17	c |    236766 |   13877   178764   802424 | 2147483647   236758    599 |  0.029 % |
741.20/741.57	c |    237308 |   13877   178764   802424 | 2147483647   237300    600 |  0.029 % |
743.10/743.46	c |    237904 |   13877   178764   802424 | 2147483647   237896    600 |  0.029 % |
744.70/745.04	c |    238560 |   13877   178764   802424 | 2147483647   238552    599 |  0.029 % |
748.50/748.84	c |    239284 |   13877   178764   802424 | 2147483647   239276    600 |  0.029 % |
752.20/752.59	c |    240077 |   13877   178764   802424 | 2147483647   240069    600 |  0.029 % |
757.10/757.44	c |    240949 |   13877   178764   802424 | 2147483647   240941    600 |  0.029 % |
763.49/763.84	c |    241908 |   13877   178764   802424 | 2147483647   241900    601 |  0.029 % |
768.89/769.23	c |    242963 |   13877   178764   802424 | 2147483647   242955    602 |  0.029 % |
772.99/773.30	c |    244122 |   13877   178764   802424 | 2147483647   244114    602 |  0.029 % |
778.69/779.09	c |    245395 |   13877   178764   802424 | 2147483647   245387    603 |  0.029 % |
786.48/786.83	c |    246796 |   13877   178764   802424 | 2147483647   246788    603 |  0.029 % |
796.19/796.50	c |    248338 |   13877   178764   802424 | 2147483647   248330    605 |  0.029 % |
807.89/808.21	c |    250032 |   13877   178764   802424 | 2147483647   250024    608 |  0.029 % |
820.18/820.59	c |    251902 |   13877   178764   802424 | 2147483647   251894    610 |  0.029 % |
828.68/829.06	c |    253951 |   13877   178764   802424 | 2147483647   253943    612 |  0.029 % |
839.87/840.22	c |    256204 |   13877   178764   802424 | 2147483647   256196    614 |  0.029 % |
847.07/847.45	c |    258684 |   13877   178764   802424 | 2147483647   258676    612 |  0.029 % |
847.27/847.68	c |    258784 |   13877   178764   802424 | 2147483647   258776    611 |  0.029 % |
847.68/848.04	c |    258910 |   13877   178764   802424 | 2147483647   258902    611 |  0.029 % |
847.78/848.11	c |    259031 |   13877   178764   802424 | 2147483647   259023    611 |  0.029 % |
847.97/848.36	c |    259164 |   13877   178764   802424 | 2147483647   259156    611 |  0.029 % |
848.47/848.88	c |    259312 |   13877   178764   802424 | 2147483647   259304    611 |  0.029 % |
849.07/849.41	c |    259473 |   13877   178764   802424 | 2147483647   259465    611 |  0.029 % |
849.88/850.24	c |    259649 |   13877   178764   802424 | 2147483647   259641    611 |  0.029 % |
851.07/851.41	c |    259842 |   13877   178764   802424 | 2147483647   259834    611 |  0.029 % |
852.07/852.42	c |    260054 |   13877   178764   802424 | 2147483647   260046    611 |  0.029 % |
853.97/854.32	c |    260289 |   13877   178764   802424 | 2147483647   260281    611 |  0.029 % |
855.57/855.96	c |    260547 |   13877   178764   802424 | 2147483647   260539    611 |  0.029 % |
857.17/857.56	c |    260830 |   13877   178764   802424 | 2147483647   260822    611 |  0.029 % |
858.46/858.85	c |    261143 |   13877   178764   802424 | 2147483647   261135    611 |  0.029 % |
861.46/861.85	c |    261486 |   13877   178764   802424 | 2147483647   261478    612 |  0.029 % |
863.76/864.10	c |    261858 |   13877   178764   802424 | 2147483647   261850    612 |  0.029 % |
866.67/867.05	c |    262269 |   13877   178764   802424 | 2147483647   262261    613 |  0.029 % |
869.36/869.71	c |    262718 |   13877   178764   802424 | 2147483647   262710    613 |  0.029 % |
872.37/872.72	c |    263217 |   13877   178764   802424 | 2147483647   263209    613 |  0.029 % |
874.27/874.60	c |    263761 |   13877   178764   802424 | 2147483647   263753    614 |  0.029 % |
878.16/878.53	c |    264357 |   13877   178764   802424 | 2147483647   264349    614 |  0.029 % |
882.55/882.93	c |    265032 |   13877   178764   802424 | 2147483647   265024    615 |  0.029 % |
884.25/884.68	c |    265752 |   13877   178764   802424 | 2147483647   265744    614 |  0.029 % |
885.86/886.27	c |    266544 |   13877   178764   802424 | 2147483647   266536    614 |  0.029 % |
888.15/888.52	c |    267419 |   13877   178764   802424 | 2147483647   267411    613 |  0.029 % |
890.35/890.71	c |    268378 |   13877   178764   802424 | 2147483647   268370    613 |  0.029 % |
893.06/893.47	c |    269447 |   13877   178764   802424 | 2147483647   269439    613 |  0.029 % |
898.66/899.09	c |    270605 |   13877   178764   802424 | 2147483647   270597    613 |  0.029 % |
906.65/907.03	c |    271878 |   13877   178764   802424 | 2147483647   271870    614 |  0.029 % |
915.15/915.51	c |    273278 |   13877   178764   802424 | 2147483647   273270    614 |  0.029 % |
922.05/922.45	c |    274820 |   13877   178764   802424 | 2147483647   274812    614 |  0.029 % |
932.35/932.78	c |    276514 |   13877   178764   802424 | 2147483647   276506    615 |  0.029 % |
942.64/943.05	c |    278378 |   13877   178764   802424 | 2147483647   278370    615 |  0.029 % |
957.34/957.71	c |    280429 |   13877   178764   802424 | 2147483647   280421    616 |  0.029 % |
970.94/971.37	c |    282683 |   13877   178764   802424 | 2147483647   282675    617 |  0.029 % |
984.84/985.27	c |    285162 |   13877   178764   802424 | 2147483647   285154    619 |  0.029 % |
997.43/997.87	c |    287887 |   13877   178764   802424 | 2147483647   287879    620 |  0.029 % |
998.13/998.51	c |    287987 |   13877   178764   802424 | 2147483647   287979    620 |  0.029 % |
998.82/999.20	c |    288100 |   13877   178764   802424 | 2147483647   288092    620 |  0.029 % |
999.63/1000.02	c |    288222 |   13877   178764   802424 | 2147483647   288214    620 |  0.029 % |
1000.63/1001.01	c |    288368 |   13877   178764   802424 | 2147483647   288360    620 |  0.029 % |
1001.43/1001.88	c |    288517 |   13877   178764   802424 | 2147483647   288509    620 |  0.029 % |
1002.53/1002.96	c |    288687 |   13877   178764   802424 | 2147483647   288679    620 |  0.029 % |
1003.33/1003.76	c |    288863 |   13877   178764   802424 | 2147483647   288855    620 |  0.029 % |
1004.03/1004.45	c |    289056 |   13877   178764   802424 | 2147483647   289048    620 |  0.029 % |
1005.43/1005.80	c |    289270 |   13877   178764   802424 | 2147483647   289262    620 |  0.029 % |
1006.13/1006.58	c |    289503 |   13877   178764   802424 | 2147483647   289495    620 |  0.029 % |
1007.13/1007.56	c |    289760 |   13877   178764   802424 | 2147483647   289752    620 |  0.029 % |
1007.62/1008.07	c |    290041 |   13877   178764   802424 | 2147483647   290033    620 |  0.029 % |
1010.32/1010.72	c |    290350 |   13877   178764   802424 | 2147483647   290342    620 |  0.029 % |
1012.73/1013.18	c |    290691 |   13877   178764   802424 | 2147483647   290683    620 |  0.029 % |
1014.92/1015.38	c |    291063 |   13877   178764   802424 | 2147483647   291055    620 |  0.029 % |
1017.42/1017.88	c |    291472 |   13877   178764   802424 | 2147483647   291464    621 |  0.029 % |
1020.63/1021.02	c |    291923 |   13877   178764   802424 | 2147483647   291915    621 |  0.029 % |
1022.72/1023.10	c |    292417 |   13877   178764   802424 | 2147483647   292409    621 |  0.029 % |
1024.62/1025.06	c |    292961 |   13877   178764   802424 | 2147483647   292953    621 |  0.029 % |
1026.22/1026.64	c |    293557 |   13877   178764   802424 | 2147483647   293549    621 |  0.029 % |
1030.72/1031.16	c |    294212 |   13877   178764   802424 | 2147483647   294204    621 |  0.029 % |
1034.12/1034.53	c |    294935 |   13877   178764   802424 | 2147483647   294927    622 |  0.029 % |
1035.72/1036.14	c |    295737 |   13877   178764   802424 | 2147483647   295729    622 |  0.029 % |
1037.82/1038.24	c |    296609 |   13877   178764   802424 | 2147483647   296601    621 |  0.029 % |
1040.61/1041.04	c |    297567 |   13877   178764   802424 | 2147483647   297559    620 |  0.029 % |
1043.02/1043.45	c |    298620 |   13877   178764   802424 | 2147483647   298612    619 |  0.029 % |
1046.42/1046.82	c |    299778 |   13877   178764   802424 | 2147483647   299770    618 |  0.029 % |
1050.91/1051.32	c |    301051 |   13877   178764   802424 | 2147483647   301043    618 |  0.029 % |
1059.11/1059.50	c |    302455 |   13877   178764   802424 | 2147483647   302447    618 |  0.029 % |
1063.31/1063.73	c |    304000 |   13877   178764   802424 | 2147483647   303992    618 |  0.029 % |
1069.51/1069.96	c |    305699 |   13877   178764   802424 | 2147483647   305691    618 |  0.029 % |
1083.20/1083.63	c |    307566 |   13877   178764   802424 | 2147483647   307558    619 |  0.029 % |
1093.21/1093.63	c |    309615 |   13877   178764   802424 | 2147483647   309607    620 |  0.029 % |
1109.09/1109.51	c |    311872 |   13877   178764   802424 | 2147483647   311864    619 |  0.029 % |
1117.00/1117.43	c |    314355 |   13877   178764   802424 | 2147483647   314347    619 |  0.029 % |
1126.09/1126.50	c |    317085 |   13877   178764   802424 | 2147483647   317077    618 |  0.029 % |
1147.69/1148.11	c |    320083 |   13877   178764   802424 | 2147483647   320075    618 |  0.029 % |
1147.89/1148.38	c |    320183 |   13877   178764   802424 | 2147483647   320175    618 |  0.029 % |
1148.09/1148.58	c |    320294 |   13877   178764   802424 | 2147483647   320286    618 |  0.029 % |
1148.29/1148.75	c |    320415 |   13877   178764   802424 | 2147483647   320407    618 |  0.029 % |
1148.49/1148.98	c |    320550 |   13877   178764   802424 | 2147483647   320542    618 |  0.029 % |
1149.48/1149.93	c |    320699 |   13877   178764   802424 | 2147483647   320691    618 |  0.029 % |
1149.98/1150.40	c |    320859 |   13877   178764   802424 | 2147483647   320851    618 |  0.029 % |
1150.68/1151.10	c |    321035 |   13877   178764   802424 | 2147483647   321027    618 |  0.029 % |
1151.18/1151.64	c |    321228 |   13877   178764   802424 | 2147483647   321220    618 |  0.029 % |
1151.88/1152.39	c |    321440 |   13877   178764   802424 | 2147483647   321432    617 |  0.029 % |
1152.58/1153.07	c |    321676 |   13877   178764   802424 | 2147483647   321668    617 |  0.029 % |
1154.18/1154.65	c |    321934 |   13877   178764   802424 | 2147483647   321926    617 |  0.029 % |
1155.28/1155.78	c |    322215 |   13877   178764   802424 | 2147483647   322207    618 |  0.029 % |
1157.58/1158.00	c |    322524 |   13877   178764   802424 | 2147483647   322516    618 |  0.029 % |
1159.28/1159.79	c |    322867 |   13877   178764   802424 | 2147483647   322859    617 |  0.029 % |
1160.58/1161.08	c |    323239 |   13877   178764   802424 | 2147483647   323231    617 |  0.029 % |
1162.48/1162.99	c |    323648 |   13877   178764   802424 | 2147483647   323640    617 |  0.029 % |
1165.08/1165.57	c |    324099 |   13877   178764   802424 | 2147483647   324091    617 |  0.029 % |
1168.79/1169.21	c |    324599 |   13877   178764   802424 | 2147483647   324591    617 |  0.029 % |
1170.78/1171.21	c |    325144 |   13877   178764   802424 | 2147483647   325136    617 |  0.029 % |
1172.48/1172.92	c |    325743 |   13877   178764   802424 | 2147483647   325735    616 |  0.029 % |
1173.77/1174.22	c |    326399 |   13877   178764   802424 | 2147483647   326391    616 |  0.029 % |
1176.57/1177.00	c |    327131 |   13877   178764   802424 | 2147483647   327123    616 |  0.029 % |
1178.78/1179.26	c |    327924 |   13877   178764   802424 | 2147483647   327916    616 |  0.029 % |
1184.37/1184.84	c |    328799 |   13877   178764   802424 | 2147483647   328791    616 |  0.029 % |
1188.57/1189.03	c |    329775 |   13877   178764   802424 | 2147483647   329767    615 |  0.029 % |
1192.76/1193.26	c |    330830 |   13877   178764   802424 | 2147483647   330822    615 |  0.029 % |
1199.36/1199.83	c |    331998 |   13877   178764   802424 | 2147483647   331990    614 |  0.029 % |

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833589-1242823733/watcher-1833589-1242823733 -o /tmp/evaluation-result-1833589-1242823733/solver-1833589-1242823733 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833589-1242823733.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: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 1.03 3/64 16647
/proc/meminfo: memFree=1902536/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=0
/proc/16647/stat : 16647 (SatELiteGTI) R 16645 16647 16542 0 -1 4194304 276 0 0 0 0 0 0 0 20 0 1 0 310406255 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 233588883538 0 0 4100 65536 0 0 0 17 1 0 0
/proc/16647/statm: 1339 235 195 169 0 50 0
[pid=16648] ppid=16647 vsize=5356 CPUtime=0
/proc/16648/stat : 16648 (SatELiteGTI) R 16647 16647 16542 0 -1 4194368 51 25 0 0 0 0 0 0 22 0 1 0 310406255 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4096 65538 0 0 0 17 1 0 0
/proc/16648/statm: 1339 238 198 169 0 50 0
[pid=16650] ppid=16648 vsize=0 CPUtime=0
/proc/16650/stat : 16650 (sed) Z 16648 16647 16542 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310406255 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/16650/statm: 0 0 0 0 0 0 0

[startup+0.0184861 s]
/proc/loadavg: 0.99 0.98 1.03 3/64 16647
/proc/meminfo: memFree=1902536/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=0
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 310406255 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16647/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101491 s]
/proc/loadavg: 0.99 0.98 1.03 3/64 16647
/proc/meminfo: memFree=1902536/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=0
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 310406255 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16647/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.30151 s]
/proc/loadavg: 0.99 0.98 1.03 3/64 16647
/proc/meminfo: memFree=1902536/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=0
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 310406255 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16647/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701552 s]
/proc/loadavg: 0.99 0.98 1.03 3/64 16647
/proc/meminfo: memFree=1902536/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=0
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 310406255 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16647/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50163 s]
/proc/loadavg: 0.99 0.98 1.03 2/66 16652
/proc/meminfo: memFree=1836984/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=0
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 310406255 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16647/statm: 1339 237 197 169 0 50 0
[pid=16652] ppid=16647 vsize=76432 CPUtime=1.48
/proc/16652/stat : 16652 (SatELite_releas) R 16647 16647 16542 0 -1 4194304 17171 0 0 0 138 10 0 0 25 0 1 0 310406256 78266368 15880 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/16652/statm: 19108 15880 76 173 0 18933 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 81788

[startup+3.10181 s]
/proc/loadavg: 0.99 0.98 1.03 2/66 16652
/proc/meminfo: memFree=1830520/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=0
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 310406255 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16647/statm: 1339 237 197 169 0 50 0
[pid=16652] ppid=16647 vsize=78824 CPUtime=3.08
/proc/16652/stat : 16652 (SatELite_releas) R 16647 16647 16542 0 -1 4194304 17721 0 0 0 294 14 0 0 25 0 1 0 310406256 80715776 16430 1992294400 134512640 135223648 4294956128 18446744073709551615 134564881 0 0 4096 3 0 0 0 17 0 0 0
/proc/16652/statm: 19706 16430 76 173 0 19531 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84180

[startup+6.30112 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 16652
/proc/meminfo: memFree=1814136/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=0
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 310406255 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16647/statm: 1339 237 197 169 0 50 0
[pid=16652] ppid=16647 vsize=83016 CPUtime=6.28
/proc/16652/stat : 16652 (SatELite_releas) R 16647 16647 16542 0 -1 4194304 18662 0 0 0 608 20 0 0 25 0 1 0 310406256 85008384 17371 1992294400 134512640 135223648 4294956128 18446744073709551615 134585510 0 0 4096 3 0 0 0 17 1 0 0
/proc/16652/statm: 20754 17371 76 173 0 20579 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88372

[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 16652
/proc/meminfo: memFree=1786816/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=0
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 310406255 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16647/statm: 1339 237 197 169 0 50 0
[pid=16652] ppid=16647 vsize=88808 CPUtime=12.65
/proc/16652/stat : 16652 (SatELite_releas) R 16647 16647 16542 0 -1 4194304 20153 0 0 0 1235 30 0 0 25 0 1 0 310406256 90939392 18862 1992294400 134512640 135223648 4294956128 18446744073709551615 134585377 0 0 4096 3 0 0 0 17 1 0 0
/proc/16652/statm: 22202 18862 76 173 0 22027 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 94164

[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 16653
/proc/meminfo: memFree=1827200/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=18504 CPUtime=7.78
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 4438 0 0 0 774 4 0 0 25 0 1 0 310408025 18948096 4424 1992294400 134512640 135215339 4294956240 18446744073709551615 134532792 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 4626 4424 77 171 0 4453 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 23860

[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 16653
/proc/meminfo: memFree=1795200/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=51228 CPUtime=33.37
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 12617 0 0 0 3326 11 0 0 25 0 1 0 310408025 52457472 12603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 12807 12603 77 171 0 12634 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 56584

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 1.02 2/66 16653
/proc/meminfo: memFree=1732864/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=112492 CPUtime=84.55
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 27931 0 0 0 8433 22 0 0 25 0 1 0 310408025 115191808 27917 1992294400 134512640 135215339 4294956240 18446744073709551615 134532666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 28123 27917 77 171 0 27950 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 117848

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 16653
/proc/meminfo: memFree=1680000/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=165496 CPUtime=144.53
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 41187 0 0 0 14420 33 0 0 25 0 1 0 310408025 169467904 41173 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 41374 41173 77 171 0 41201 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 170852

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 16653
/proc/meminfo: memFree=1628992/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=216324 CPUtime=204.51
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 53831 0 0 0 20409 42 0 0 25 0 1 0 310408025 221515776 53817 1992294400 134512640 135215339 4294956240 18446744073709551615 134527396 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 54081 53817 77 171 0 53908 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 221680

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 16653
/proc/meminfo: memFree=1575488/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=270284 CPUtime=264.5
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 67337 0 0 0 26394 56 0 0 25 0 1 0 310408025 276770816 67323 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 67571 67323 77 171 0 67398 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 275640

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 16653
/proc/meminfo: memFree=1523712/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=321132 CPUtime=324.47
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 80064 0 0 0 32381 66 0 0 25 0 1 0 310408025 328839168 80050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 80283 80050 77 171 0 80110 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 326488

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 16653
/proc/meminfo: memFree=1481984/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=363504 CPUtime=384.46

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

/proc/16653/statm: 124067 123801 77 171 0 123894 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 501624

[startup+642.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 16653
/proc/meminfo: memFree=1312448/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=531996 CPUtime=624.39
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 132638 0 0 0 62325 114 0 0 25 0 1 0 310408025 544763904 132624 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 132999 132624 77 171 0 132826 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 537352

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16653
/proc/meminfo: memFree=1276224/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=568304 CPUtime=684.37
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 141724 0 0 0 68315 122 0 0 25 0 1 0 310408025 581943296 141710 1992294400 134512640 135215339 4294956240 18446744073709551615 134532915 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 142076 141710 77 171 0 141903 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 573660

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16659
/proc/meminfo: memFree=1245056/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=598944 CPUtime=744.35
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 149381 0 0 0 74306 129 0 0 25 0 1 0 310408025 613318656 149367 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 149736 149367 77 171 0 149563 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 604300

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16659
/proc/meminfo: memFree=1209792/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=634732 CPUtime=804.33
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 158321 0 0 0 80296 137 0 0 25 0 1 0 310408025 649965568 158307 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 158683 158307 77 171 0 158510 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 640088

[startup+882.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 16659
/proc/meminfo: memFree=1174464/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=669352 CPUtime=864.31
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 166970 0 0 0 86288 143 0 0 25 0 1 0 310408025 685416448 166956 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 167338 166956 77 171 0 167165 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 674708

[startup+942.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 16659
/proc/meminfo: memFree=1141376/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=702692 CPUtime=924.3
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 175324 0 0 0 92279 151 0 0 25 0 1 0 310408025 719556608 175310 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 175673 175310 77 171 0 175500 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 708048

[startup+1002.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/66 16659
/proc/meminfo: memFree=1109824/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=733872 CPUtime=984.28
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 183099 0 0 0 98271 157 0 0 25 0 1 0 310408025 751484928 183085 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 183468 183085 77 171 0 183295 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 739228

[startup+1062.3 s]
/proc/loadavg: 1.20 1.07 1.01 2/66 16659
/proc/meminfo: memFree=1076288/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=767668 CPUtime=1044.26
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 191542 0 0 0 104262 164 0 0 25 0 1 0 310408025 786092032 191528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 191917 191528 77 171 0 191744 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 773024

[startup+1122.3 s]
/proc/loadavg: 1.18 1.08 1.02 2/66 16659
/proc/meminfo: memFree=1043456/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=800584 CPUtime=1104.24
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 199641 0 0 0 110254 170 0 0 25 0 1 0 310408025 819798016 199627 1992294400 134512640 135215339 4294956240 18446744073709551615 134525076 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 200146 199627 77 171 0 199973 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 805940

[startup+1182.3 s]
/proc/loadavg: 1.06 1.07 1.01 2/66 16659
/proc/meminfo: memFree=1015232/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=828984 CPUtime=1164.22
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 206713 0 0 0 116245 177 0 0 25 0 1 0 310408025 848879616 206699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 207246 206699 77 171 0 207073 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 834340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16659
/proc/meminfo: memFree=1007616/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=836116 CPUtime=1182.43
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 208515 0 0 0 118064 179 0 0 25 0 1 0 310408025 856182784 208501 1992294400 134512640 135215339 4294956240 18446744073709551615 134525937 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 209029 208501 77 171 0 208856 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 841472

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

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

[startup+1200.5 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16659
/proc/meminfo: memFree=1007616/2055920 swapFree=4120716/4192956
[pid=16647] ppid=16645 vsize=5356 CPUtime=17.65
/proc/16647/stat : 16647 (SatELiteGTI) S 16645 16647 16542 0 -1 4194304 336 23903 0 0 0 0 1724 41 16 0 1 0 310406255 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16647/statm: 1339 239 197 169 0 50 0
[pid=16653] ppid=16647 vsize=836116 CPUtime=1182.43
/proc/16653/stat : 16653 (minisat_static) R 16647 16647 16542 0 -1 4194304 208515 0 0 0 118064 179 0 0 25 0 1 0 310408025 856182784 208501 1992294400 134512640 135215339 4294956240 18446744073709551615 134525937 0 0 4096 3 0 0 0 17 1 0 0
/proc/16653/statm: 209029 208501 77 171 0 208856 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 841472

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16647 and gives
#  childrusage.ru_utime.tv_sec=17
#  childrusage.ru_utime.tv_usec=241378
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=424935
# CPU time returned by wait4() is 17.6663
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1197.88
CPU system time (s): 2.2
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 841472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2414
system time used= 0.424935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24239
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= 14
involuntary context switches= 84

runsolver used 1.06784 second user time and 3.36249 second system time

The end

Launcher Data 

Begin job on node27 at 2009-05-20 14:48:53
IDJOB=1833589
IDBENCH=70760
IDSOLVER=671
FILE ID=node27/1833589-1242823733
PBS_JOBID= 9322487
Free space on /tmp= 66352 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833589-1242823733/watcher-1833589-1242823733 -o /tmp/evaluation-result-1833589-1242823733/solver-1833589-1242823733 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833589-1242823733.cnf

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

MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED=158464572

node27.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5521.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1902952 kB
Buffers:         14280 kB
Cached:          37196 kB
SwapCached:      65008 kB
Active:          92728 kB
Inactive:        26164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1902952 kB
SwapTotal:     4192956 kB
SwapFree:      4120716 kB
Dirty:            9436 kB
Writeback:           0 kB
Mapped:          14568 kB
Slab:            19920 kB
Committed_AS:  1026744 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66296 MiB
End job on node27 at 2009-05-20 15:08:56