Trace number 1820890

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.05 1200.03

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.42/0.48	c ==============================================================================
0.42/0.48	c |           |     ORIGINAL     |              LEARNT              |          |
0.42/0.48	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.42/0.48	c ==============================================================================
0.42/0.48	c |         0 |  459963  1073247 |  137988       0        0     nan |  0.000 % |
15.32/15.39	c |         0 |  179278   803454 |      --       0       --      -- |     --   | -280663/-269740
15.32/15.40	c ==============================================================================
15.32/15.40	c Result  :   #vars: 13881   #clauses: 179278   #literals: 803454
15.32/15.40	c CPU time:   15.14 s
15.32/15.40	c ==============================================================================
15.61/15.67	c This is MiniSat 2.0 beta
15.61/15.67	c WARNING: for repeatability, setting FPU to use double precision
15.61/15.67	c ============================[ Problem Statistics ]=============================
15.61/15.67	c |                                                                             |
15.61/15.68	c |  Number of variables:  13881                                                |
15.61/15.68	c |  Number of clauses:    179278                                               |
15.67/15.81	c |  Parsing time:         0.13         s                                       |
15.67/15.82	c ============================[ Search Statistics ]==============================
15.67/15.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.67/15.82	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
15.67/15.82	c ===============================================================================
15.67/15.82	c |         0 |   13881   179278   803454 |    59759        0    nan |  0.000 % |
15.67/15.87	c |       100 |   13881   179278   803454 |    59759      100     18 |  0.000 % |
15.67/15.95	c |       200 |   13881   179278   803454 |    59759      200     13 |  0.000 % |
15.67/15.99	c |       300 |   13881   179278   803454 |    59759      300     11 |  0.000 % |
15.67/16.02	c |       412 |   13881   179278   803454 |    59759      412     27 |  0.000 % |
15.67/16.05	c |       512 |   13881   179278   803454 |    59759      512     24 |  0.000 % |
15.67/16.10	c |       622 |   13881   179278   803454 |    59759      622     24 |  0.000 % |
15.67/16.14	c |       743 |   13881   179278   803454 |    59759      743     23 |  0.000 % |
15.67/16.19	c |       843 |   13881   179278   803454 |    59759      843     22 |  0.000 % |
15.67/16.27	c |       953 |   13881   179278   803454 |    59759      953     22 |  0.000 % |
15.67/16.37	c |      1105 |   13881   179278   803454 |    59759     1105     37 |  0.000 % |
16.41/16.44	c |      1238 |   13881   179278   803454 |    59759     1238     38 |  0.000 % |
16.51/16.54	c |      1339 |   13881   179278   803454 |    59759     1339     36 |  0.000 % |
16.60/16.64	c |      1449 |   13881   179278   803454 |    59759     1449     35 |  0.000 % |
16.80/16.83	c |      1570 |   13881   179278   803454 |    59759     1570     34 |  0.000 % |
16.80/16.88	c |      1708 |   13881   179278   803454 |    59759     1708     32 |  0.000 % |
17.10/17.21	c |      1854 |   13881   179278   803454 |    59759     1854     30 |  0.000 % |
17.29/17.34	c |      1955 |   13881   179278   803454 |    59759     1955     30 |  0.000 % |
17.29/17.37	c |      2066 |   13881   179278   803454 |    59759     2066     30 |  0.000 % |
17.39/17.47	c |      2187 |   13881   179278   803454 |    59759     2187     30 |  0.000 % |
17.49/17.54	c |      2320 |   13880   179150   803198 |    59759     2318     30 |  0.007 % |
17.49/17.58	c |      2468 |   13880   179150   803198 |    59759     2466     31 |  0.007 % |
17.60/17.65	c |      2628 |   13880   179150   803198 |    59759     2626     32 |  0.007 % |
17.60/17.68	c |      2728 |   13880   179150   803198 |    59759     2726     33 |  0.007 % |
17.60/17.70	c |      2839 |   13880   179150   803198 |    59759     2837     34 |  0.007 % |
17.79/17.86	c |      2960 |   13880   179150   803198 |    59759     2958     34 |  0.007 % |
17.79/17.88	c |      3093 |   13880   179150   803198 |    59759     3091     34 |  0.007 % |
17.89/17.99	c |      3239 |   13880   179150   803198 |    59759     3237     37 |  0.007 % |
17.99/18.09	c |      3401 |   13880   179150   803198 |    59759     3399     43 |  0.007 % |
18.09/18.20	c |      3578 |   13880   179150   803198 |    59759     3576     45 |  0.007 % |
18.29/18.32	c |      3678 |   13880   179150   803198 |    59759     3676     47 |  0.007 % |
18.29/18.39	c |      3788 |   13880   179150   803198 |    59759     3786     47 |  0.007 % |
18.39/18.46	c |      3910 |   13880   179150   803198 |    59759     3908     47 |  0.007 % |
18.49/18.56	c |      4043 |   13880   179150   803198 |    59759     4041     49 |  0.007 % |
18.59/18.66	c |      4189 |   13879   179022   802942 |    59759     4185     49 |  0.014 % |
18.69/18.80	c |      4351 |   13879   179022   802942 |    59759     4347     48 |  0.014 % |
18.79/18.88	c |      4530 |   13879   179022   802942 |    59759     4526     49 |  0.014 % |
18.89/18.96	c |      4723 |   13879   179022   802942 |    59759     4719     51 |  0.014 % |
18.99/19.10	c |      4823 |   13879   179022   802942 |    59759     4819     51 |  0.014 % |
19.09/19.18	c |      4933 |   13879   179022   802942 |    59759     4929     53 |  0.014 % |
19.19/19.27	c |      5054 |   13879   179022   802942 |    59759     5050     53 |  0.014 % |
19.19/19.31	c |      5187 |   13879   179022   802942 |    59759     5183     55 |  0.014 % |
19.29/19.36	c |      5334 |   13879   179022   802942 |    59759     5330     56 |  0.014 % |
19.29/19.40	c |      5495 |   13879   179022   802942 |    59759     5491     56 |  0.014 % |
19.39/19.45	c |      5671 |   13879   179022   802942 |    59759     5667     56 |  0.014 % |
19.69/19.80	c |      5864 |   13879   179022   802942 |    59759     5860     56 |  0.014 % |
19.79/19.90	c |      6077 |   13879   179022   802942 |    59759     6073     60 |  0.014 % |
19.89/19.93	c |      6178 |   13879   179022   802942 |    59759     6174     60 |  0.014 % |
19.89/19.97	c |      6288 |   13879   179022   802942 |    59759     6284     60 |  0.014 % |
19.99/20.03	c |      6409 |   13879   179022   802942 |    59759     6405     61 |  0.014 % |
19.99/20.09	c |      6547 |   13879   179022   802942 |    59759     6543     61 |  0.014 % |
20.09/20.16	c |      6698 |   13879   179022   802942 |    59759     6694     62 |  0.014 % |
20.19/20.25	c |      6858 |   13879   179022   802942 |    59759     6854     63 |  0.014 % |
20.29/20.36	c |      7034 |   13879   179022   802942 |    59759     7030     65 |  0.014 % |
20.39/20.44	c |      7227 |   13879   179022   802942 |    59759     7223     66 |  0.014 % |
20.49/20.57	c |      7440 |   13879   179022   802942 |    59759     7436     68 |  0.014 % |
20.59/20.71	c |      7673 |   13879   179022   802942 |    59759     7669     69 |  0.014 % |
20.79/20.88	c |      7775 |   13879   179022   802942 |    59759     7771     70 |  0.014 % |
20.90/20.94	c |      7885 |   13879   179022   802942 |    59759     7881     70 |  0.014 % |
20.90/20.98	c |      8006 |   13879   179022   802942 |    59759     8002     71 |  0.014 % |
20.99/21.04	c |      8140 |   13879   179022   802942 |    59759     8136     72 |  0.014 % |
21.19/21.23	c |      8286 |   13879   179022   802942 |    59759     8282     73 |  0.014 % |
21.29/21.35	c |      8446 |   13879   179022   802942 |    59759     8442     73 |  0.014 % |
21.59/21.64	c |      8623 |   13879   179022   802942 |    59759     8619     72 |  0.014 % |
21.69/21.72	c |      8816 |   13879   179022   802942 |    59759     8812     72 |  0.014 % |
21.79/21.82	c |      9028 |   13879   179022   802942 |    59759     9024     75 |  0.014 % |
21.89/21.95	c |      9263 |   13879   179022   802942 |    59759     9259     76 |  0.014 % |
22.09/22.16	c |      9522 |   13879   179022   802942 |    59759     9518     78 |  0.014 % |
22.09/22.20	c |      9624 |   13879   179022   802942 |    59759     9620     78 |  0.014 % |
22.19/22.25	c |      9735 |   13879   179022   802942 |    59759     9731     78 |  0.014 % |
22.29/22.32	c |      9857 |   13879   179022   802942 |    59759     9853     79 |  0.014 % |
22.29/22.37	c |      9990 |   13879   179022   802942 |    59759     9986     79 |  0.014 % |
22.39/22.44	c |     10137 |   13879   179022   802942 | 2147483647    10133     79 |  0.014 % |
22.39/22.48	c |     10298 |   13879   179022   802942 | 2147483647    10294     79 |  0.014 % |
22.49/22.53	c |     10474 |   13879   179022   802942 | 2147483647    10470     79 |  0.014 % |
22.59/22.69	c |     10667 |   13879   179022   802942 | 2147483647    10663     79 |  0.014 % |
22.79/22.81	c |     10886 |   13879   179022   802942 | 2147483647    10882     81 |  0.014 % |
22.79/22.89	c |     11122 |   13879   179022   802942 | 2147483647    11118     82 |  0.015 % |
23.10/23.13	c |     11378 |   13879   179022   802942 | 2147483647    11374     85 |  0.014 % |
23.29/23.36	c |     11659 |   13879   179022   802942 | 2147483647    11655     87 |  0.014 % |
23.39/23.42	c |     11760 |   13879   179022   802942 | 2147483647    11756     87 |  0.014 % |
23.39/23.49	c |     11870 |   13879   179022   802942 | 2147483647    11866     88 |  0.014 % |
23.49/23.56	c |     11995 |   13879   179022   802942 | 2147483647    11991     89 |  0.014 % |
23.59/23.64	c |     12128 |   13879   179022   802942 | 2147483647    12124     90 |  0.014 % |
23.59/23.67	c |     12277 |   13879   179022   802942 | 2147483647    12273     90 |  0.014 % |
23.69/23.73	c |     12437 |   13879   179022   802942 | 2147483647    12433     90 |  0.014 % |
23.89/23.92	c |     12617 |   13879   179022   802942 | 2147483647    12613     91 |  0.014 % |
23.99/24.04	c |     12811 |   13879   179022   802942 | 2147483647    12807     92 |  0.014 % |
24.09/24.16	c |     13027 |   13879   179022   802942 | 2147483647    13023     93 |  0.014 % |
24.20/24.27	c |     13260 |   13879   179022   802942 | 2147483647    13256     94 |  0.014 % |
24.39/24.48	c |     13518 |   13879   179022   802942 | 2147483647    13514     95 |  0.014 % |
24.59/24.65	c |     13801 |   13879   179022   802942 | 2147483647    13797     97 |  0.014 % |
24.79/24.85	c |     14112 |   13879   179022   802942 | 2147483647    14108    100 |  0.014 % |
24.89/24.99	c |     14212 |   13879   179022   802942 | 2147483647    14208    100 |  0.014 % |
24.99/25.09	c |     14324 |   13879   179022   802942 | 2147483647    14320    101 |  0.014 % |
25.19/25.28	c |     14445 |   13879   179022   802942 | 2147483647    14441    103 |  0.014 % |
25.30/25.34	c |     14578 |   13879   179022   802942 | 2147483647    14574    103 |  0.014 % |
25.39/25.44	c |     14725 |   13879   179022   802942 | 2147483647    14721    104 |  0.014 % |
25.59/25.63	c |     14885 |   13879   179022   802942 | 2147483647    14881    105 |  0.014 % |
25.69/25.72	c |     15061 |   13879   179022   802942 | 2147483647    15057    106 |  0.014 % |
25.79/25.84	c |     15254 |   13879   179022   802942 | 2147483647    15250    108 |  0.014 % |
25.99/26.01	c |     15466 |   13879   179022   802942 | 2147483647    15462    109 |  0.014 % |
26.19/26.22	c |     15700 |   13879   179022   802942 | 2147483647    15696    110 |  0.014 % |
26.29/26.33	c |     15956 |   13879   179022   802942 | 2147483647    15952    113 |  0.014 % |
26.49/26.52	c |     16242 |   13879   179022   802942 | 2147483647    16238    115 |  0.014 % |
26.79/26.83	c |     16552 |   13879   179022   802942 | 2147483647    16548    116 |  0.014 % |
27.09/27.12	c |     16891 |   13879   179022   802942 | 2147483647    16887    119 |  0.014 % |
27.09/27.19	c |     16991 |   13879   179022   802942 | 2147483647    16987    119 |  0.014 % |
27.19/27.25	c |     17102 |   13879   179022   802942 | 2147483647    17098    120 |  0.014 % |
27.59/27.65	c |     17223 |   13879   179022   802942 | 2147483647    17219    120 |  0.014 % |
27.69/27.76	c |     17356 |   13879   179022   802942 | 2147483647    17352    121 |  0.014 % |
27.89/27.97	c |     17502 |   13879   179022   802942 | 2147483647    17498    121 |  0.014 % |
27.99/28.08	c |     17665 |   13879   179022   802942 | 2147483647    17661    121 |  0.014 % |
28.19/28.25	c |     17847 |   13879   179022   802942 | 2147483647    17843    123 |  0.014 % |
28.29/28.37	c |     18040 |   13879   179022   802942 | 2147483647    18036    123 |  0.014 % |
28.49/28.54	c |     18252 |   13878   178893   802683 | 2147483647    18246    123 |  0.022 % |
28.69/28.79	c |     18485 |   13878   178893   802683 | 2147483647    18479    124 |  0.022 % |
28.89/29.00	c |     18741 |   13878   178893   802683 | 2147483647    18735    125 |  0.022 % |
29.09/29.20	c |     19022 |   13878   178893   802683 | 2147483647    19016    127 |  0.022 % |
29.39/29.48	c |     19334 |   13878   178893   802683 | 2147483647    19328    129 |  0.022 % |
29.59/29.70	c |     19673 |   13878   178893   802683 | 2147483647    19667    131 |  0.022 % |
29.79/29.89	c |     20046 |   13877   178893   802683 | 2147483647    20039    133 |  0.029 % |
29.89/29.94	c |     20147 |   13877   178893   802683 | 2147483647    20140    133 |  0.029 % |
29.99/30.04	c |     20258 |   13877   178893   802683 | 2147483647    20251    134 |  0.029 % |
30.09/30.14	c |     20379 |   13877   178893   802683 | 2147483647    20372    136 |  0.029 % |
30.19/30.26	c |     20515 |   13877   178893   802683 | 2147483647    20508    136 |  0.029 % |
30.29/30.35	c |     20661 |   13877   178893   802683 | 2147483647    20654    137 |  0.029 % |
30.49/30.60	c |     20822 |   13877   178893   802683 | 2147483647    20815    139 |  0.029 % |
31.09/31.14	c |     21008 |   13877   178893   802683 | 2147483647    21001    142 |  0.029 % |
31.29/31.38	c |     21201 |   13877   178893   802683 | 2147483647    21194    143 |  0.029 % |
31.39/31.49	c |     21414 |   13877   178893   802683 | 2147483647    21407    144 |  0.029 % |
31.59/31.65	c |     21651 |   13877   178893   802683 | 2147483647    21644    145 |  0.029 % |
31.90/31.92	c |     21907 |   13877   178893   802683 | 2147483647    21900    147 |  0.029 % |
32.29/32.38	c |     22188 |   13877   178893   802683 | 2147483647    22181    151 |  0.029 % |
32.79/32.81	c |     22497 |   13877   178893   802683 | 2147483647    22490    154 |  0.029 % |
33.09/33.19	c |     22837 |   13877   178764   802424 | 2147483647    22829    157 |  0.029 % |
33.39/33.44	c |     23212 |   13877   178764   802424 | 2147483647    23204    160 |  0.029 % |
33.89/33.95	c |     23621 |   13877   178764   802424 | 2147483647    23613    162 |  0.029 % |
33.99/34.06	c |     23724 |   13877   178764   802424 | 2147483647    23716    162 |  0.029 % |
33.99/34.10	c |     23834 |   13877   178764   802424 | 2147483647    23826    163 |  0.029 % |
34.10/34.18	c |     23957 |   13877   178764   802424 | 2147483647    23949    163 |  0.029 % |
34.19/34.27	c |     24091 |   13877   178764   802424 | 2147483647    24083    165 |  0.029 % |
34.29/34.39	c |     24238 |   13877   178764   802424 | 2147483647    24230    165 |  0.029 % |
34.49/34.56	c |     24399 |   13877   178764   802424 | 2147483647    24391    167 |  0.029 % |
34.69/34.76	c |     24575 |   13877   178764   802424 | 2147483647    24567    168 |  0.029 % |
34.89/34.91	c |     24771 |   13877   178764   802424 | 2147483647    24763    169 |  0.029 % |
35.09/35.11	c |     24983 |   13877   178764   802424 | 2147483647    24975    171 |  0.029 % |
35.29/35.32	c |     25219 |   13877   178764   802424 | 2147483647    25211    173 |  0.029 % |
35.59/35.68	c |     25475 |   13877   178764   802424 | 2147483647    25467    175 |  0.029 % |
35.99/36.05	c |     25757 |   13877   178764   802424 | 2147483647    25749    178 |  0.029 % |
36.59/36.62	c |     26066 |   13877   178764   802424 | 2147483647    26058    183 |  0.029 % |
36.89/36.96	c |     26407 |   13877   178764   802424 | 2147483647    26399    187 |  0.029 % |
37.29/37.34	c |     26783 |   13877   178764   802424 | 2147483647    26775    192 |  0.029 % |
37.79/37.81	c |     27194 |   13877   178764   802424 | 2147483647    27186    196 |  0.029 % |
38.19/38.30	c |     27643 |   13877   178764   802424 | 2147483647    27635    199 |  0.029 % |
38.39/38.48	c |     27758 |   13877   178764   802424 | 2147483647    27750    199 |  0.029 % |
38.50/38.56	c |     27868 |   13877   178764   802424 | 2147483647    27860    200 |  0.029 % |
38.59/38.70	c |     27990 |   13877   178764   802424 | 2147483647    27982    200 |  0.029 % |
38.79/38.84	c |     28123 |   13877   178764   802424 | 2147483647    28115    200 |  0.029 % |
39.19/39.29	c |     28271 |   13877   178764   802424 | 2147483647    28263    201 |  0.029 % |
39.39/39.51	c |     28431 |   13877   178764   802424 | 2147483647    28423    202 |  0.029 % |
39.69/39.71	c |     28608 |   13877   178764   802424 | 2147483647    28600    204 |  0.029 % |
39.79/39.86	c |     28802 |   13877   178764   802424 | 2147483647    28794    204 |  0.029 % |
39.99/40.07	c |     29017 |   13877   178764   802424 | 2147483647    29009    206 |  0.029 % |
40.19/40.26	c |     29254 |   13877   178764   802424 | 2147483647    29246    207 |  0.029 % |
40.39/40.48	c |     29510 |   13877   178764   802424 | 2147483647    29502    209 |  0.029 % |
40.70/40.77	c |     29791 |   13877   178764   802424 | 2147483647    29783    210 |  0.029 % |
41.09/41.15	c |     30102 |   13877   178764   802424 | 2147483647    30094    210 |  0.029 % |
41.49/41.57	c |     30443 |   13877   178764   802424 | 2147483647    30435    211 |  0.029 % |
42.29/42.31	c |     30817 |   13877   178764   802424 | 2147483647    30809    217 |  0.029 % |
43.89/44.02	c |     31237 |   13877   178764   802424 | 2147483647    31229    225 |  0.029 % |
45.19/45.28	c |     31686 |   13877   178764   802424 | 2147483647    31678    231 |  0.029 % |
47.39/47.47	c |     32179 |   13877   178764   802424 | 2147483647    32171    235 |  0.029 % |
47.59/47.67	c |     32280 |   13877   178764   802424 | 2147483647    32272    236 |  0.029 % |
47.79/47.83	c |     32390 |   13877   178764   802424 | 2147483647    32382    237 |  0.029 % |
47.99/48.03	c |     32512 |   13877   178764   802424 | 2147483647    32504    238 |  0.029 % |
48.09/48.16	c |     32646 |   13877   178764   802424 | 2147483647    32638    238 |  0.029 % |
48.19/48.27	c |     32794 |   13877   178764   802424 | 2147483647    32786    239 |  0.029 % |
48.49/48.53	c |     32954 |   13877   178764   802424 | 2147483647    32946    240 |  0.029 % |
48.99/49.02	c |     33130 |   13877   178764   802424 | 2147483647    33122    241 |  0.029 % |
49.19/49.29	c |     33325 |   13877   178764   802424 | 2147483647    33317    242 |  0.029 % |
49.50/49.52	c |     33538 |   13877   178764   802424 | 2147483647    33530    243 |  0.029 % |
49.59/49.70	c |     33773 |   13877   178764   802424 | 2147483647    33765    243 |  0.029 % |
49.79/49.86	c |     34032 |   13877   178764   802424 | 2147483647    34024    243 |  0.029 % |
50.09/50.17	c |     34313 |   13877   178764   802424 | 2147483647    34305    243 |  0.029 % |
50.60/50.63	c |     34624 |   13877   178764   802424 | 2147483647    34616    244 |  0.029 % |
50.99/51.07	c |     34963 |   13877   178764   802424 | 2147483647    34955    245 |  0.029 % |
51.59/51.65	c |     35336 |   13877   178764   802424 | 2147483647    35328    246 |  0.029 % |
51.89/51.95	c |     35745 |   13877   178764   802424 | 2147483647    35737    247 |  0.029 % |
52.19/52.29	c |     36194 |   13877   178764   802424 | 2147483647    36186    250 |  0.029 % |
53.39/53.46	c |     36692 |   13877   178764   802424 | 2147483647    36684    254 |  0.029 % |
54.49/54.52	c |     37242 |   13877   178764   802424 | 2147483647    37234    259 |  0.029 % |
54.79/54.83	c |     37342 |   13877   178764   802424 | 2147483647    37334    261 |  0.029 % |
55.19/55.25	c |     37452 |   13877   178764   802424 | 2147483647    37444    262 |  0.029 % |
55.49/55.52	c |     37574 |   13877   178764   802424 | 2147483647    37566    263 |  0.029 % |
55.59/55.71	c |     37707 |   13877   178764   802424 | 2147483647    37699    264 |  0.029 % |
56.39/56.41	c |     37855 |   13877   178764   802424 | 2147483647    37847    267 |  0.029 % |
57.29/57.35	c |     38022 |   13877   178764   802424 | 2147483647    38014    270 |  0.029 % |
57.59/57.67	c |     38201 |   13877   178764   802424 | 2147483647    38193    271 |  0.029 % |
57.99/58.05	c |     38394 |   13877   178764   802424 | 2147483647    38386    273 |  0.029 % |
58.30/58.40	c |     38612 |   13877   178764   802424 | 2147483647    38604    275 |  0.029 % |
58.69/58.74	c |     38845 |   13877   178764   802424 | 2147483647    38837    277 |  0.029 % |
59.29/59.37	c |     39103 |   13877   178764   802424 | 2147483647    39095    280 |  0.029 % |
59.89/60.00	c |     39384 |   13877   178764   802424 | 2147483647    39376    282 |  0.029 % |
60.50/60.52	c |     39695 |   13877   178764   802424 | 2147483647    39687    284 |  0.029 % |
60.99/61.06	c |     40034 |   13877   178764   802424 | 2147483647    40026    287 |  0.029 % |
61.79/61.82	c |     40406 |   13877   178764   802424 | 2147483647    40398    288 |  0.029 % |
62.59/62.63	c |     40815 |   13877   178764   802424 | 2147483647    40807    291 |  0.029 % |
63.09/63.11	c |     41264 |   13877   178764   802424 | 2147483647    41256    293 |  0.029 % |
63.49/63.60	c |     41758 |   13877   178764   802424 | 2147483647    41750    291 |  0.029 % |
64.09/64.13	c |     42301 |   13877   178764   802424 | 2147483647    42293    290 |  0.029 % |
64.49/64.53	c |     42898 |   13877   178764   802424 | 2147483647    42890    292 |  0.029 % |
64.49/64.57	c |     42999 |   13877   178764   802424 | 2147483647    42991    292 |  0.029 % |
64.59/64.65	c |     43121 |   13877   178764   802424 | 2147483647    43113    292 |  0.029 % |
64.69/64.76	c |     43243 |   13877   178764   802424 | 2147483647    43235    293 |  0.029 % |
64.79/64.86	c |     43376 |   13877   178764   802424 | 2147483647    43368    293 |  0.029 % |
65.09/65.13	c |     43522 |   13877   178764   802424 | 2147483647    43514    292 |  0.029 % |
65.29/65.34	c |     43682 |   13877   178764   802424 | 2147483647    43674    292 |  0.029 % |
65.39/65.47	c |     43861 |   13877   178764   802424 | 2147483647    43853    292 |  0.029 % |
65.69/65.73	c |     44054 |   13877   178764   802424 | 2147483647    44046    292 |  0.029 % |
65.89/65.96	c |     44266 |   13877   178764   802424 | 2147483647    44258    292 |  0.029 % |
67.10/67.17	c |     44499 |   13877   178764   802424 | 2147483647    44491    293 |  0.029 % |
67.69/67.77	c |     44757 |   13877   178764   802424 | 2147483647    44749    294 |  0.029 % |
68.20/68.27	c |     45038 |   13877   178764   802424 | 2147483647    45030    296 |  0.029 % |
68.99/69.04	c |     45348 |   13877   178764   802424 | 2147483647    45340    300 |  0.029 % |
69.79/69.89	c |     45688 |   13877   178764   802424 | 2147483647    45680    302 |  0.029 % |
70.29/70.38	c |     46062 |   13877   178764   802424 | 2147483647    46054    303 |  0.029 % |
71.79/71.84	c |     46471 |   13877   178764   802424 | 2147483647    46463    308 |  0.029 % |
74.09/74.12	c |     46921 |   13877   178764   802424 | 2147483647    46913    315 |  0.029 % |
75.90/75.99	c |     47415 |   13877   178764   802424 | 2147483647    47407    321 |  0.029 % |
77.70/77.78	c |     47959 |   13877   178764   802424 | 2147483647    47951    325 |  0.029 % |
78.90/78.99	c |     48555 |   13877   178764   802424 | 2147483647    48547    329 |  0.029 % |
81.90/82.01	c |     49213 |   13877   178764   802424 | 2147483647    49205    337 |  0.029 % |
82.40/82.42	c |     49313 |   13877   178764   802424 | 2147483647    49305    339 |  0.029 % |
83.10/83.18	c |     49424 |   13877   178764   802424 | 2147483647    49416    341 |  0.029 % |
83.70/83.73	c |     49547 |   13877   178764   802424 | 2147483647    49539    343 |  0.029 % |
83.80/83.89	c |     49680 |   13877   178764   802424 | 2147483647    49672    342 |  0.029 % |
84.00/84.09	c |     49827 |   13877   178764   802424 | 2147483647    49819    342 |  0.029 % |
84.20/84.26	c |     49992 |   13877   178764   802424 | 2147483647    49984    343 |  0.029 % |
84.70/84.73	c |     50170 |   13877   178764   802424 | 2147483647    50162    344 |  0.029 % |
84.90/84.97	c |     50363 |   13877   178764   802424 | 2147483647    50355    345 |  0.029 % |
85.00/85.04	c |     50577 |   13877   178764   802424 | 2147483647    50569    344 |  0.029 % |
85.30/85.33	c |     50810 |   13877   178764   802424 | 2147483647    50802    345 |  0.029 % |
86.40/86.42	c |     51067 |   13877   178764   802424 | 2147483647    51059    346 |  0.029 % |
86.90/86.98	c |     51350 |   13877   178764   802424 | 2147483647    51342    347 |  0.029 % |
88.30/88.36	c |     51659 |   13877   178764   802424 | 2147483647    51651    350 |  0.029 % |
88.80/88.89	c |     52002 |   13877   178764   802424 | 2147483647    51994    352 |  0.029 % |
89.60/89.63	c |     52377 |   13877   178764   802424 | 2147483647    52369    353 |  0.029 % |
90.40/90.43	c |     52789 |   13877   178764   802424 | 2147483647    52781    354 |  0.029 % |
90.70/90.81	c |     53238 |   13877   178764   802424 | 2147483647    53230    354 |  0.029 % |
92.40/92.44	c |     53732 |   13877   178764   802424 | 2147483647    53724    357 |  0.029 % |
94.10/94.14	c |     54277 |   13877   178764   802424 | 2147483647    54269    361 |  0.029 % |
96.50/96.59	c |     54873 |   13877   178764   802424 | 2147483647    54865    365 |  0.029 % |
97.70/97.72	c |     55529 |   13877   178764   802424 | 2147483647    55521    369 |  0.029 % |
100.80/100.85	c |     56249 |   13877   178764   802424 | 2147483647    56241    373 |  0.029 % |
101.20/101.23	c |     56359 |   13877   178764   802424 | 2147483647    56351    374 |  0.029 % |
101.60/101.70	c |     56469 |   13877   178764   802424 | 2147483647    56461    374 |  0.029 % |
102.20/102.25	c |     56590 |   13877   178764   802424 | 2147483647    56582    375 |  0.029 % |
102.80/102.88	c |     56725 |   13877   178764   802424 | 2147483647    56717    376 |  0.029 % |
103.60/103.62	c |     56878 |   13877   178764   802424 | 2147483647    56870    377 |  0.029 % |
104.20/104.27	c |     57038 |   13877   178764   802424 | 2147483647    57030    379 |  0.029 % |
104.80/104.90	c |     57214 |   13877   178764   802424 | 2147483647    57206    380 |  0.029 % |
105.80/105.82	c |     57411 |   13877   178764   802424 | 2147483647    57403    382 |  0.029 % |
106.40/106.49	c |     57623 |   13877   178764   802424 | 2147483647    57615    383 |  0.029 % |
106.90/106.96	c |     57857 |   13877   178764   802424 | 2147483647    57849    384 |  0.029 % |
107.50/107.53	c |     58115 |   13877   178764   802424 | 2147483647    58107    385 |  0.029 % |
108.60/108.69	c |     58397 |   13877   178764   802424 | 2147483647    58389    386 |  0.029 % |
109.30/109.39	c |     58711 |   13877   178764   802424 | 2147483647    58703    388 |  0.029 % |
109.80/109.88	c |     59051 |   13877   178764   802424 | 2147483647    59043    389 |  0.029 % |
111.30/111.36	c |     59423 |   13877   178764   802424 | 2147483647    59415    391 |  0.029 % |
112.90/113.01	c |     59835 |   13877   178764   802424 | 2147483647    59827    395 |  0.029 % |
114.70/114.80	c |     60285 |   13877   178764   802424 | 2147483647    60277    400 |  0.029 % |
116.90/116.95	c |     60779 |   13877   178764   802424 | 2147483647    60771    405 |  0.029 % |
120.40/120.44	c |     61323 |   13877   178764   802424 | 2147483647    61315    410 |  0.029 % |
121.70/121.79	c |     61924 |   13877   178764   802424 | 2147483647    61916    414 |  0.029 % |
125.00/125.02	c |     62579 |   13877   178764   802424 | 2147483647    62571    420 |  0.029 % |
129.60/129.63	c |     63302 |   13877   178764   802424 | 2147483647    63294    425 |  0.029 % |
134.50/134.52	c |     64095 |   13877   178764   802424 | 2147483647    64087    431 |  0.029 % |
134.90/134.95	c |     64195 |   13877   178764   802424 | 2147483647    64187    432 |  0.029 % |
135.50/135.54	c |     64306 |   13877   178764   802424 | 2147483647    64298    433 |  0.029 % |
135.80/135.83	c |     64431 |   13877   178764   802424 | 2147483647    64423    434 |  0.029 % |
136.20/136.23	c |     64566 |   13877   178764   802424 | 2147483647    64558    434 |  0.029 % |
136.70/136.74	c |     64715 |   13877   178764   802424 | 2147483647    64707    434 |  0.029 % |
137.40/137.46	c |     64875 |   13877   178764   802424 | 2147483647    64867    435 |  0.029 % |
138.10/138.15	c |     65051 |   13877   178764   802424 | 2147483647    65043    436 |  0.029 % |
138.90/138.95	c |     65248 |   13877   178764   802424 | 2147483647    65240    438 |  0.029 % |
140.10/140.15	c |     65467 |   13877   178764   802424 | 2147483647    65459    439 |  0.029 % |
140.90/140.94	c |     65702 |   13877   178764   802424 | 2147483647    65694    440 |  0.029 % |
142.20/142.24	c |     65958 |   13877   178764   802424 | 2147483647    65950    442 |  0.029 % |
143.20/143.30	c |     66247 |   13877   178764   802424 | 2147483647    66239    444 |  0.029 % |
144.50/144.53	c |     66557 |   13877   178764   802424 | 2147483647    66549    446 |  0.029 % |
146.10/146.20	c |     66896 |   13877   178764   802424 | 2147483647    66888    449 |  0.029 % |
148.40/148.43	c |     67268 |   13877   178764   802424 | 2147483647    67260    452 |  0.029 % |
149.20/149.26	c |     67678 |   13877   178764   802424 | 2147483647    67670    452 |  0.029 % |
149.90/149.92	c |     68128 |   13877   178764   802424 | 2147483647    68120    452 |  0.029 % |
151.00/151.03	c |     68622 |   13877   178764   802424 | 2147483647    68614    452 |  0.029 % |
152.50/152.53	c |     69165 |   13877   178764   802424 | 2147483647    69157    454 |  0.029 % |
156.40/156.43	c |     69762 |   13877   178764   802424 | 2147483647    69754    458 |  0.029 % |
160.20/160.26	c |     70419 |   13877   178764   802424 | 2147483647    70411    460 |  0.029 % |
166.11/166.21	c |     71139 |   13877   178764   802424 | 2147483647    71131    465 |  0.029 % |
172.10/172.12	c |     71932 |   13877   178764   802424 | 2147483647    71924    470 |  0.029 % |
175.70/175.76	c |     72806 |   13877   178764   802424 | 2147483647    72798    473 |  0.029 % |
176.01/176.07	c |     72909 |   13877   178764   802424 | 2147483647    72901    473 |  0.029 % |
176.30/176.33	c |     73019 |   13877   178764   802424 | 2147483647    73011    474 |  0.029 % |
176.60/176.64	c |     73141 |   13877   178764   802424 | 2147483647    73133    474 |  0.029 % |
177.00/177.10	c |     73275 |   13877   178764   802424 | 2147483647    73267    474 |  0.029 % |
177.50/177.52	c |     73423 |   13877   178764   802424 | 2147483647    73415    474 |  0.029 % |
178.10/178.14	c |     73584 |   13877   178764   802424 | 2147483647    73576    474 |  0.029 % |
178.50/178.54	c |     73767 |   13877   178764   802424 | 2147483647    73759    474 |  0.029 % |
178.60/178.66	c |     73960 |   13877   178764   802424 | 2147483647    73952    474 |  0.029 % |
178.80/178.86	c |     74172 |   13877   178764   802424 | 2147483647    74164    473 |  0.029 % |
179.00/179.09	c |     74405 |   13877   178764   802424 | 2147483647    74397    473 |  0.029 % |
179.40/179.42	c |     74661 |   13877   178764   802424 | 2147483647    74653    473 |  0.029 % |
179.70/179.71	c |     74946 |   13877   178764   802424 | 2147483647    74938    473 |  0.029 % |
180.10/180.15	c |     75255 |   13877   178764   802424 | 2147483647    75247    473 |  0.029 % |
180.50/180.56	c |     75596 |   13877   178764   802424 | 2147483647    75588    473 |  0.029 % |
181.70/181.71	c |     75968 |   13877   178764   802424 | 2147483647    75960    474 |  0.029 % |
183.40/183.49	c |     76379 |   13877   178764   802424 | 2147483647    76371    475 |  0.029 % |
185.80/185.83	c |     76830 |   13877   178764   802424 | 2147483647    76822    478 |  0.029 % |
187.70/187.81	c |     77324 |   13877   178764   802424 | 2147483647    77316    480 |  0.029 % |
190.20/190.26	c |     77866 |   13877   178764   802424 | 2147483647    77858    483 |  0.029 % |
195.00/195.06	c |     78462 |   13877   178764   802424 | 2147483647    78454    486 |  0.029 % |
200.61/200.69	c |     79118 |   13877   178764   802424 | 2147483647    79110    490 |  0.029 % |
205.51/205.52	c |     79841 |   13877   178764   802424 | 2147483647    79833    493 |  0.029 % |
208.91/208.94	c |     80695 |   13877   178764   802424 | 2147483647    80687    495 |  0.029 % |
214.91/215.00	c |     81566 |   13877   178764   802424 | 2147483647    81558    500 |  0.029 % |
219.41/219.51	c |     82524 |   13877   178764   802424 | 2147483647    82516    504 |  0.029 % |
220.31/220.42	c |     82626 |   13877   178764   802424 | 2147483647    82618    505 |  0.029 % |
220.81/220.87	c |     82738 |   13877   178764   802424 | 2147483647    82730    505 |  0.029 % |
221.31/221.35	c |     82861 |   13877   178764   802424 | 2147483647    82853    506 |  0.029 % |
221.91/221.96	c |     82998 |   13877   178764   802424 | 2147483647    82990    506 |  0.029 % |
222.71/222.74	c |     83144 |   13877   178764   802424 | 2147483647    83136    506 |  0.029 % |
223.71/223.73	c |     83304 |   13877   178764   802424 | 2147483647    83296    506 |  0.029 % |
224.71/224.72	c |     83480 |   13877   178764   802424 | 2147483647    83472    506 |  0.029 % |
225.51/225.53	c |     83675 |   13877   178764   802424 | 2147483647    83667    507 |  0.029 % |
226.51/226.57	c |     83887 |   13877   178764   802424 | 2147483647    83879    507 |  0.029 % |
226.81/226.91	c |     84120 |   13877   178764   802424 | 2147483647    84112    507 |  0.029 % |
227.41/227.42	c |     84378 |   13877   178764   802424 | 2147483647    84370    508 |  0.029 % |
227.81/227.89	c |     84659 |   13877   178764   802424 | 2147483647    84651    508 |  0.029 % |
228.51/228.55	c |     84972 |   13877   178764   802424 | 2147483647    84964    508 |  0.029 % |
229.61/229.62	c |     85311 |   13877   178764   802424 | 2147483647    85303    508 |  0.029 % |
230.81/230.83	c |     85685 |   13877   178764   802424 | 2147483647    85677    508 |  0.029 % |
231.41/231.44	c |     86096 |   13877   178764   802424 | 2147483647    86088    508 |  0.029 % |
232.61/232.64	c |     86548 |   13877   178764   802424 | 2147483647    86540    508 |  0.029 % |
233.91/233.93	c |     87042 |   13877   178764   802424 | 2147483647    87034    509 |  0.029 % |
237.41/237.51	c |     87585 |   13877   178764   802424 | 2147483647    87577    511 |  0.029 % |
241.61/241.69	c |     88182 |   13877   178764   802424 | 2147483647    88174    515 |  0.029 % |
245.31/245.38	c |     88842 |   13877   178764   802424 | 2147483647    88834    518 |  0.029 % |
247.61/247.66	c |     89563 |   13877   178764   802424 | 2147483647    89555    519 |  0.029 % |
249.41/249.49	c |     90355 |   13877   178764   802424 | 2147483647    90347    521 |  0.029 % |
251.81/251.90	c |     91233 |   13877   178764   802424 | 2147483647    91225    523 |  0.029 % |
255.01/255.09	c |     92192 |   13877   178764   802424 | 2147483647    92184    527 |  0.029 % |
258.31/258.37	c |     93260 |   13877   178764   802424 | 2147483647    93252    529 |  0.029 % |
258.81/258.82	c |     93360 |   13877   178764   802424 | 2147483647    93352    530 |  0.029 % |
259.11/259.15	c |     93472 |   13877   178764   802424 | 2147483647    93464    530 |  0.029 % |
259.71/259.75	c |     93602 |   13877   178764   802424 | 2147483647    93594    530 |  0.029 % |
260.11/260.13	c |     93736 |   13877   178764   802424 | 2147483647    93728    530 |  0.029 % |
260.21/260.31	c |     93885 |   13877   178764   802424 | 2147483647    93877    530 |  0.029 % |
260.61/260.64	c |     94046 |   13877   178764   802424 | 2147483647    94038    530 |  0.029 % |
261.41/261.48	c |     94222 |   13877   178764   802424 | 2147483647    94214    530 |  0.029 % |
262.21/262.26	c |     94416 |   13877   178764   802424 | 2147483647    94408    531 |  0.029 % |
262.81/262.85	c |     94628 |   13877   178764   802424 | 2147483647    94620    531 |  0.029 % |
263.21/263.22	c |     94861 |   13877   178764   802424 | 2147483647    94853    530 |  0.029 % |
263.51/263.58	c |     95117 |   13877   178764   802424 | 2147483647    95109    530 |  0.029 % |
263.81/263.89	c |     95400 |   13877   178764   802424 | 2147483647    95392    529 |  0.029 % |
264.31/264.32	c |     95709 |   13877   178764   802424 | 2147483647    95701    529 |  0.029 % |
264.81/264.89	c |     96049 |   13877   178764   802424 | 2147483647    96041    529 |  0.029 % |
266.01/266.05	c |     96424 |   13877   178764   802424 | 2147483647    96416    529 |  0.029 % |
266.81/266.87	c |     96836 |   13877   178764   802424 | 2147483647    96828    530 |  0.029 % |
267.71/267.77	c |     97289 |   13877   178764   802424 | 2147483647    97281    530 |  0.029 % |
269.01/269.05	c |     97784 |   13877   178764   802424 | 2147483647    97776    530 |  0.029 % |
270.31/270.41	c |     98326 |   13877   178764   802424 | 2147483647    98318    531 |  0.029 % |
271.91/271.99	c |     98924 |   13877   178764   802424 | 2147483647    98916    532 |  0.029 % |
273.01/273.02	c |     99586 |   13877   178764   802424 | 2147483647    99578    530 |  0.029 % |
274.11/274.19	c |    100306 |   13877   178764   802424 | 2147483647   100298    529 |  0.029 % |
276.12/276.17	c |    101099 |   13877   178764   802424 | 2147483647   101091    528 |  0.029 % |
278.21/278.28	c |    101985 |   13877   178764   802424 | 2147483647   101977    528 |  0.029 % |
280.81/280.82	c |    102944 |   13877   178764   802424 | 2147483647   102936    528 |  0.029 % |
282.91/282.93	c |    103997 |   13877   178764   802424 | 2147483647   103989    528 |  0.029 % |
285.51/285.56	c |    105158 |   13877   178764   802424 | 2147483647   105150    530 |  0.029 % |
285.81/285.83	c |    105263 |   13877   178764   802424 | 2147483647   105255    530 |  0.029 % |
286.31/286.40	c |    105374 |   13877   178764   802424 | 2147483647   105366    530 |  0.029 % |
286.91/286.95	c |    105495 |   13877   178764   802424 | 2147483647   105487    530 |  0.029 % |
287.51/287.55	c |    105628 |   13877   178764   802424 | 2147483647   105620    531 |  0.029 % |
288.11/288.22	c |    105774 |   13877   178764   802424 | 2147483647   105766    531 |  0.029 % |
289.11/289.16	c |    105935 |   13877   178764   802424 | 2147483647   105927    531 |  0.029 % |
290.01/290.06	c |    106114 |   13877   178764   802424 | 2147483647   106106    532 |  0.029 % |
291.01/291.06	c |    106308 |   13877   178764   802424 | 2147483647   106300    532 |  0.029 % |
292.01/292.09	c |    106521 |   13877   178764   802424 | 2147483647   106513    533 |  0.029 % |
292.71/292.77	c |    106755 |   13877   178764   802424 | 2147483647   106747    533 |  0.029 % |
293.61/293.62	c |    107017 |   13877   178764   802424 | 2147483647   107009    533 |  0.029 % |
294.71/294.81	c |    107309 |   13877   178764   802424 | 2147483647   107301    533 |  0.029 % |
295.71/295.72	c |    107622 |   13877   178764   802424 | 2147483647   107614    533 |  0.029 % |
296.51/296.61	c |    107963 |   13877   178764   802424 | 2147483647   107955    534 |  0.029 % |
298.01/298.03	c |    108335 |   13877   178764   802424 | 2147483647   108327    534 |  0.029 % |
300.71/300.77	c |    108744 |   13877   178764   802424 | 2147483647   108736    536 |  0.029 % |
302.91/302.97	c |    109193 |   13877   178764   802424 | 2147483647   109185    537 |  0.029 % |
307.11/307.21	c |    109686 |   13877   178764   802424 | 2147483647   109678    540 |  0.029 % |
309.71/309.71	c |    110228 |   13877   178764   802424 | 2147483647   110220    542 |  0.029 % |
311.80/311.87	c |    110824 |   13877   178764   802424 | 2147483647   110816    544 |  0.029 % |
315.50/315.51	c |    111479 |   13877   178764   802424 | 2147483647   111471    546 |  0.029 % |
316.90/316.97	c |    112200 |   13877   178764   802424 | 2147483647   112192    546 |  0.029 % |
321.30/321.36	c |    113005 |   13877   178764   802424 | 2147483647   112997    546 |  0.029 % |
323.20/323.26	c |    113876 |   13877   178764   802424 | 2147483647   113868    545 |  0.029 % |
327.21/327.22	c |    114834 |   13877   178764   802424 | 2147483647   114826    547 |  0.029 % |
329.71/329.72	c |    115892 |   13877   178764   802424 | 2147483647   115884    547 |  0.029 % |
334.81/334.82	c |    117061 |   13877   178764   802424 | 2147483647   117053    550 |  0.029 % |
336.51/336.57	c |    118334 |   13877   178764   802424 | 2147483647   118326    548 |  0.029 % |
336.61/336.65	c |    118435 |   13877   178764   802424 | 2147483647   118427    548 |  0.029 % |
336.81/336.86	c |    118557 |   13877   178764   802424 | 2147483647   118549    548 |  0.029 % |
336.91/336.98	c |    118679 |   13877   178764   802424 | 2147483647   118671    548 |  0.029 % |
337.11/337.11	c |    118813 |   13877   178764   802424 | 2147483647   118805    547 |  0.029 % |
337.31/337.38	c |    118959 |   13877   178764   802424 | 2147483647   118951    547 |  0.029 % |
337.61/337.63	c |    119119 |   13877   178764   802424 | 2147483647   119111    547 |  0.029 % |
337.91/337.96	c |    119297 |   13877   178764   802424 | 2147483647   119289    547 |  0.029 % |
338.31/338.40	c |    119490 |   13877   178764   802424 | 2147483647   119482    547 |  0.029 % |
338.81/338.91	c |    119704 |   13877   178764   802424 | 2147483647   119696    547 |  0.029 % |
339.21/339.31	c |    119937 |   13877   178764   802424 | 2147483647   119929    547 |  0.029 % |
339.81/339.86	c |    120193 |   13877   178764   802424 | 2147483647   120185    547 |  0.029 % |
340.81/340.86	c |    120475 |   13877   178764   802424 | 2147483647   120467    548 |  0.029 % |
341.51/341.52	c |    120784 |   13877   178764   802424 | 2147483647   120776    548 |  0.029 % |
342.61/342.70	c |    121127 |   13877   178764   802424 | 2147483647   121119    549 |  0.029 % |
344.11/344.20	c |    121499 |   13877   178764   802424 | 2147483647   121491    550 |  0.029 % |
346.21/346.22	c |    121915 |   13877   178764   802424 | 2147483647   121907    551 |  0.029 % |
348.31/348.34	c |    122364 |   13877   178764   802424 | 2147483647   122356    552 |  0.029 % |
350.31/350.37	c |    122857 |   13877   178764   802424 | 2147483647   122849    554 |  0.029 % |
354.31/354.41	c |    123409 |   13877   178764   802424 | 2147483647   123401    555 |  0.029 % |
357.81/357.83	c |    124005 |   13877   178764   802424 | 2147483647   123997    557 |  0.029 % |
362.81/362.87	c |    124661 |   13877   178764   802424 | 2147483647   124653    559 |  0.029 % |
369.31/369.40	c |    125384 |   13877   178764   802424 | 2147483647   125376    561 |  0.029 % |
373.21/373.26	c |    126181 |   13877   178764   802424 | 2147483647   126173    563 |  0.029 % |
375.31/375.37	c |    127052 |   13877   178764   802424 | 2147483647   127044    563 |  0.029 % |
377.21/377.29	c |    128015 |   13877   178764   802424 | 2147483647   128007    562 |  0.029 % |
379.31/379.35	c |    129069 |   13877   178764   802424 | 2147483647   129061    562 |  0.029 % |
383.61/383.64	c |    130234 |   13877   178764   802424 | 2147483647   130226    563 |  0.029 % |
386.61/386.66	c |    131507 |   13877   178764   802424 | 2147483647   131499    564 |  0.029 % |
391.01/391.04	c |    132908 |   13877   178764   802424 | 2147483647   132900    564 |  0.029 % |
391.21/391.25	c |    133008 |   13877   178764   802424 | 2147483647   133000    564 |  0.029 % |
391.41/391.44	c |    133120 |   13877   178764   802424 | 2147483647   133112    564 |  0.029 % |
391.71/391.78	c |    133241 |   13877   178764   802424 | 2147483647   133233    564 |  0.029 % |
392.01/392.01	c |    133375 |   13877   178764   802424 | 2147483647   133367    564 |  0.029 % |
392.21/392.26	c |    133522 |   13877   178764   802424 | 2147483647   133514    564 |  0.029 % |
393.01/393.01	c |    133710 |   13877   178764   802424 | 2147483647   133702    564 |  0.029 % |
393.31/393.41	c |    133886 |   13877   178764   802424 | 2147483647   133878    564 |  0.029 % |
393.51/393.58	c |    134083 |   13877   178764   802424 | 2147483647   134075    564 |  0.029 % |
394.51/394.58	c |    134297 |   13877   178764   802424 | 2147483647   134289    564 |  0.029 % |
395.91/395.98	c |    134531 |   13877   178764   802424 | 2147483647   134523    564 |  0.029 % |
397.31/397.33	c |    134789 |   13877   178764   802424 | 2147483647   134781    565 |  0.029 % |
400.51/400.55	c |    135075 |   13877   178764   802424 | 2147483647   135067    565 |  0.029 % |
401.01/401.01	c |    135385 |   13877   178764   802424 | 2147483647   135377    564 |  0.029 % |
401.31/401.36	c |    135728 |   13877   178764   802424 | 2147483647   135720    563 |  0.029 % |
401.91/401.97	c |    136107 |   13877   178764   802424 | 2147483647   136099    562 |  0.029 % |
402.81/402.90	c |    136517 |   13877   178764   802424 | 2147483647   136509    562 |  0.029 % |
404.91/405.01	c |    136966 |   13877   178764   802424 | 2147483647   136958    563 |  0.029 % |
408.12/408.13	c |    137463 |   13877   178764   802424 | 2147483647   137455    564 |  0.029 % |
411.21/411.30	c |    138009 |   13877   178764   802424 | 2147483647   138001    566 |  0.029 % |
415.11/415.14	c |    138608 |   13877   178764   802424 | 2147483647   138600    567 |  0.029 % |
419.31/419.37	c |    139272 |   13877   178764   802424 | 2147483647   139264    568 |  0.029 % |
424.51/424.61	c |    139992 |   13877   178764   802424 | 2147483647   139984    570 |  0.029 % |
430.61/430.63	c |    140784 |   13877   178764   802424 | 2147483647   140776    573 |  0.029 % |
436.81/436.89	c |    141655 |   13877   178764   802424 | 2147483647   141647    575 |  0.029 % |
442.31/442.40	c |    142619 |   13877   178764   802424 | 2147483647   142611    578 |  0.029 % |
452.01/452.10	c |    143672 |   13877   178764   802424 | 2147483647   143664    580 |  0.029 % |
459.62/459.62	c |    144832 |   13877   178764   802424 | 2147483647   144824    583 |  0.029 % |
465.32/465.35	c |    146105 |   13877   178764   802424 | 2147483647   146097    586 |  0.029 % |
467.62/467.65	c |    147505 |   13877   178764   802424 | 2147483647   147497    584 |  0.029 % |
472.42/472.42	c |    149061 |   13877   178764   802424 | 2147483647   149053    585 |  0.029 % |
472.72/472.77	c |    149161 |   13877   178764   802424 | 2147483647   149153    585 |  0.029 % |
473.12/473.12	c |    149271 |   13877   178764   802424 | 2147483647   149263    585 |  0.029 % |
473.52/473.57	c |    149392 |   13877   178764   802424 | 2147483647   149384    585 |  0.029 % |
474.12/474.16	c |    149528 |   13877   178764   802424 | 2147483647   149520    585 |  0.029 % |
474.72/474.75	c |    149674 |   13877   178764   802424 | 2147483647   149666    585 |  0.029 % |
475.32/475.36	c |    149834 |   13877   178764   802424 | 2147483647   149826    585 |  0.029 % |
475.92/476.00	c |    150011 |   13877   178764   802424 | 2147483647   150003    585 |  0.029 % |
476.82/476.91	c |    150205 |   13877   178764   802424 | 2147483647   150197    585 |  0.029 % |
477.62/477.69	c |    150417 |   13877   178764   802424 | 2147483647   150409    585 |  0.029 % |
478.62/478.66	c |    150656 |   13877   178764   802424 | 2147483647   150648    585 |  0.029 % |
480.02/480.08	c |    150912 |   13877   178764   802424 | 2147483647   150904    586 |  0.029 % |
481.62/481.69	c |    151201 |   13877   178764   802424 | 2147483647   151193    586 |  0.029 % |
483.52/483.58	c |    151510 |   13877   178764   802424 | 2147483647   151502    587 |  0.029 % |
484.62/484.67	c |    151852 |   13877   178764   802424 | 2147483647   151844    586 |  0.029 % |
485.92/486.00	c |    152240 |   13877   178764   802424 | 2147483647   152232    586 |  0.029 % |
486.92/486.92	c |    152654 |   13877   178764   802424 | 2147483647   152646    585 |  0.029 % |
487.42/487.49	c |    153108 |   13877   178764   802424 | 2147483647   153100    584 |  0.029 % |
487.92/488.01	c |    153602 |   13877   178764   802424 | 2147483647   153594    583 |  0.029 % |
489.22/489.28	c |    154145 |   13877   178764   802424 | 2147483647   154137    583 |  0.029 % |
490.62/490.64	c |    154742 |   13877   178764   802424 | 2147483647   154734    583 |  0.029 % |
492.72/492.79	c |    155397 |   13877   178764   802424 | 2147483647   155389    584 |  0.029 % |
495.92/495.98	c |    156117 |   13877   178764   802424 | 2147483647   156109    585 |  0.029 % |
499.92/499.97	c |    156918 |   13877   178764   802424 | 2147483647   156910    585 |  0.029 % |
502.82/502.90	c |    157789 |   13877   178764   802424 | 2147483647   157781    586 |  0.029 % |
505.62/505.68	c |    158747 |   13877   178764   802424 | 2147483647   158739    586 |  0.029 % |
508.72/508.72	c |    159800 |   13877   178764   802424 | 2147483647   159792    586 |  0.029 % |
513.92/513.94	c |    160963 |   13877   178764   802424 | 2147483647   160955    586 |  0.029 % |
515.62/515.69	c |    162237 |   13877   178764   802424 | 2147483647   162229    583 |  0.029 % |
522.72/522.75	c |    163639 |   13877   178764   802424 | 2147483647   163631    586 |  0.029 % |
531.12/531.17	c |    165180 |   13877   178764   802424 | 2147483647   165172    586 |  0.029 % |
538.72/538.71	c |    166874 |   13877   178764   802424 | 2147483647   166866    586 |  0.029 % |
538.82/538.86	c |    166974 |   13877   178764   802424 | 2147483647   166966    586 |  0.029 % |
538.92/538.99	c |    167086 |   13877   178764   802424 | 2147483647   167078    586 |  0.029 % |
539.62/539.63	c |    167215 |   13877   178764   802424 | 2147483647   167207    586 |  0.029 % |
540.52/540.57	c |    167352 |   13877   178764   802424 | 2147483647   167344    586 |  0.029 % |
541.02/541.08	c |    167498 |   13877   178764   802424 | 2147483647   167490    586 |  0.029 % |
541.62/541.67	c |    167661 |   13877   178764   802424 | 2147483647   167653    586 |  0.029 % |
542.52/542.54	c |    167839 |   13877   178764   802424 | 2147483647   167831    586 |  0.029 % |
543.52/543.60	c |    168032 |   13877   178764   802424 | 2147483647   168024    587 |  0.029 % |
544.92/545.01	c |    168247 |   13877   178764   802424 | 2147483647   168239    587 |  0.029 % |
546.02/546.08	c |    168480 |   13877   178764   802424 | 2147483647   168472    587 |  0.029 % |
546.73/546.74	c |    168738 |   13877   178764   802424 | 2147483647   168730    587 |  0.029 % |
547.42/547.45	c |    169022 |   13877   178764   802424 | 2147483647   169014    587 |  0.029 % |
549.12/549.17	c |    169344 |   13877   178764   802424 | 2147483647   169336    587 |  0.029 % |
550.42/550.42	c |    169684 |   13877   178764   802424 | 2147483647   169676    588 |  0.029 % |
551.92/551.93	c |    170056 |   13877   178764   802424 | 2147483647   170048    588 |  0.029 % |
552.52/552.60	c |    170466 |   13877   178764   802424 | 2147483647   170458    587 |  0.029 % |
553.42/553.42	c |    170915 |   13877   178764   802424 | 2147483647   170907    587 |  0.029 % |
554.02/554.09	c |    171408 |   13877   178764   802424 | 2147483647   171400    586 |  0.029 % |
555.02/555.01	c |    171950 |   13877   178764   802424 | 2147483647   171942    585 |  0.029 % |
556.63/556.66	c |    172547 |   13877   178764   802424 | 2147483647   172539    585 |  0.029 % |
563.72/563.75	c |    173207 |   13877   178764   802424 | 2147483647   173199    585 |  0.029 % |
566.12/566.17	c |    173927 |   13877   178764   802424 | 2147483647   173919    586 |  0.029 % |
567.82/567.90	c |    174719 |   13877   178764   802424 | 2147483647   174711    586 |  0.029 % |
570.52/570.51	c |    175590 |   13877   178764   802424 | 2147483647   175582    585 |  0.029 % |
578.22/578.28	c |    176548 |   13877   178764   802424 | 2147483647   176540    586 |  0.029 % |
586.13/586.22	c |    177601 |   13877   178764   802424 | 2147483647   177593    587 |  0.029 % |
592.53/592.58	c |    178762 |   13877   178764   802424 | 2147483647   178754    588 |  0.029 % |
600.33/600.37	c |    180040 |   13877   178764   802424 | 2147483647   180032    591 |  0.029 % |
604.03/604.08	c |    181440 |   13877   178764   802424 | 2147483647   181432    590 |  0.029 % |
608.23/608.24	c |    182990 |   13877   178764   802424 | 2147483647   182982    589 |  0.029 % |
615.63/615.70	c |    184684 |   13877   178764   802424 | 2147483647   184676    591 |  0.029 % |
624.73/624.75	c |    186547 |   13877   178764   802424 | 2147483647   186539    592 |  0.029 % |
625.43/625.51	c |    186655 |   13877   178764   802424 | 2147483647   186647    592 |  0.029 % |
626.03/626.02	c |    186766 |   13877   178764   802424 | 2147483647   186758    592 |  0.029 % |
626.53/626.56	c |    186887 |   13877   178764   802424 | 2147483647   186879    592 |  0.029 % |
626.93/626.98	c |    187020 |   13877   178764   802424 | 2147483647   187012    592 |  0.029 % |
627.93/627.94	c |    187168 |   13877   178764   802424 | 2147483647   187160    592 |  0.029 % |
629.03/629.06	c |    187328 |   13877   178764   802424 | 2147483647   187320    592 |  0.029 % |
630.13/630.14	c |    187506 |   13877   178764   802424 | 2147483647   187498    592 |  0.029 % |
631.03/631.06	c |    187699 |   13877   178764   802424 | 2147483647   187691    592 |  0.029 % |
631.93/631.96	c |    187911 |   13877   178764   802424 | 2147483647   187903    592 |  0.029 % |
632.73/632.74	c |    188145 |   13877   178764   802424 | 2147483647   188137    592 |  0.029 % |
634.13/634.21	c |    188402 |   13877   178764   802424 | 2147483647   188394    592 |  0.029 % |
635.43/635.51	c |    188683 |   13877   178764   802424 | 2147483647   188675    592 |  0.029 % |
636.43/636.48	c |    188992 |   13877   178764   802424 | 2147483647   188984    592 |  0.029 % |
637.63/637.61	c |    189332 |   13877   178764   802424 | 2147483647   189324    593 |  0.029 % |
638.43/638.45	c |    189704 |   13877   178764   802424 | 2147483647   189696    593 |  0.029 % |
639.33/639.34	c |    190114 |   13877   178764   802424 | 2147483647   190106    593 |  0.029 % |
639.83/639.84	c |    190563 |   13877   178764   802424 | 2147483647   190555    592 |  0.029 % |
641.13/641.15	c |    191056 |   13877   178764   802424 | 2147483647   191048    591 |  0.029 % |
642.03/642.06	c |    191598 |   13877   178764   802424 | 2147483647   191590    590 |  0.029 % |
643.63/643.62	c |    192194 |   13877   178764   802424 | 2147483647   192186    590 |  0.029 % |
645.43/645.45	c |    192849 |   13877   178764   802424 | 2147483647   192841    590 |  0.029 % |
646.73/646.76	c |    193569 |   13877   178764   802424 | 2147483647   193561    590 |  0.029 % |
648.83/648.83	c |    194361 |   13877   178764   802424 | 2147483647   194353    590 |  0.029 % |
650.33/650.36	c |    195234 |   13877   178764   802424 | 2147483647   195226    589 |  0.029 % |
651.93/652.01	c |    196192 |   13877   178764   802424 | 2147483647   196184    588 |  0.029 % |
655.53/655.54	c |    197245 |   13877   178764   802424 | 2147483647   197237    589 |  0.029 % |
660.53/660.56	c |    198407 |   13877   178764   802424 | 2147483647   198399    590 |  0.029 % |
664.23/664.22	c |    199682 |   13877   178764   802424 | 2147483647   199674    591 |  0.029 % |
670.82/670.87	c |    201086 |   13877   178764   802424 | 2147483647   201078    592 |  0.029 % |
682.32/682.40	c |    202628 |   13877   178764   802424 | 2147483647   202620    593 |  0.029 % |
694.82/694.86	c |    204322 |   13877   178764   802424 | 2147483647   204314    594 |  0.029 % |
699.22/699.26	c |    206186 |   13877   178764   802424 | 2147483647   206178    592 |  0.029 % |
702.82/702.86	c |    208245 |   13877   178764   802424 | 2147483647   208237    591 |  0.029 % |
703.32/703.37	c |    208350 |   13877   178764   802424 | 2147483647   208342    591 |  0.029 % |
703.92/703.93	c |    208461 |   13877   178764   802424 | 2147483647   208453    591 |  0.029 % |
704.12/704.13	c |    208583 |   13877   178764   802424 | 2147483647   208575    591 |  0.029 % |
704.62/704.66	c |    208718 |   13877   178764   802424 | 2147483647   208710    591 |  0.029 % |
704.92/704.92	c |    208864 |   13877   178764   802424 | 2147483647   208856    591 |  0.029 % |
705.22/705.25	c |    209025 |   13877   178764   802424 | 2147483647   209017    591 |  0.029 % |
705.62/705.63	c |    209201 |   13877   178764   802424 | 2147483647   209193    591 |  0.029 % |
706.42/706.48	c |    209402 |   13877   178764   802424 | 2147483647   209394    590 |  0.029 % |
707.03/707.09	c |    209614 |   13877   178764   802424 | 2147483647   209606    590 |  0.029 % |
707.73/707.72	c |    209849 |   13877   178764   802424 | 2147483647   209841    590 |  0.029 % |
708.73/708.73	c |    210106 |   13877   178764   802424 | 2147483647   210098    590 |  0.029 % |
709.43/709.43	c |    210391 |   13877   178764   802424 | 2147483647   210383    590 |  0.029 % |
710.73/710.74	c |    210703 |   13877   178764   802424 | 2147483647   210695    590 |  0.029 % |
711.83/711.82	c |    211042 |   13877   178764   802424 | 2147483647   211034    590 |  0.029 % |
714.23/714.22	c |    211418 |   13877   178764   802424 | 2147483647   211410    590 |  0.029 % |
716.43/716.44	c |    211829 |   13877   178764   802424 | 2147483647   211821    590 |  0.029 % |
718.73/718.78	c |    212279 |   13877   178764   802424 | 2147483647   212271    590 |  0.029 % |
722.33/722.38	c |    212782 |   13877   178764   802424 | 2147483647   212774    591 |  0.029 % |
725.43/725.45	c |    213324 |   13877   178764   802424 | 2147483647   213316    591 |  0.029 % |
728.23/728.26	c |    213924 |   13877   178764   802424 | 2147483647   213916    590 |  0.029 % |
730.13/730.20	c |    214581 |   13877   178764   802424 | 2147483647   214573    590 |  0.029 % |
734.13/734.14	c |    215302 |   13877   178764   802424 | 2147483647   215294    590 |  0.029 % |
736.83/736.90	c |    216095 |   13877   178764   802424 | 2147483647   216087    590 |  0.029 % |
739.53/739.51	c |    216969 |   13877   178764   802424 | 2147483647   216961    588 |  0.029 % |
742.33/742.38	c |    217928 |   13877   178764   802424 | 2147483647   217920    586 |  0.029 % |
744.43/744.47	c |    218983 |   13877   178764   802424 | 2147483647   218975    586 |  0.029 % |
748.23/748.26	c |    220143 |   13877   178764   802424 | 2147483647   220135    586 |  0.029 % |
756.03/756.06	c |    221419 |   13877   178764   802424 | 2147483647   221411    586 |  0.029 % |
767.93/767.95	c |    222822 |   13877   178764   802424 | 2147483647   222814    587 |  0.029 % |
776.63/776.61	c |    224365 |   13877   178764   802424 | 2147483647   224357    589 |  0.029 % |
789.93/789.94	c |    226059 |   13877   178764   802424 | 2147483647   226051    592 |  0.029 % |
801.13/801.15	c |    227923 |   13877   178764   802424 | 2147483647   227915    594 |  0.029 % |
816.53/816.52	c |    229972 |   13877   178764   802424 | 2147483647   229964    597 |  0.029 % |
836.34/836.32	c |    232228 |   13877   178764   802424 | 2147483647   232220    598 |  0.029 % |
837.14/837.16	c |    232331 |   13877   178764   802424 | 2147483647   232323    598 |  0.029 % |
837.84/837.90	c |    232442 |   13877   178764   802424 | 2147483647   232434    598 |  0.029 % |
838.14/838.18	c |    232564 |   13877   178764   802424 | 2147483647   232556    598 |  0.029 % |
838.74/838.81	c |    232702 |   13877   178764   802424 | 2147483647   232694    598 |  0.029 % |
839.04/839.10	c |    232848 |   13877   178764   802424 | 2147483647   232840    598 |  0.029 % |
839.74/839.76	c |    233014 |   13877   178764   802424 | 2147483647   233006    598 |  0.029 % |
840.54/840.56	c |    233195 |   13877   178764   802424 | 2147483647   233187    598 |  0.029 % |
841.04/841.05	c |    233388 |   13877   178764   802424 | 2147483647   233380    597 |  0.029 % |
842.24/842.27	c |    233600 |   13877   178764   802424 | 2147483647   233592    597 |  0.029 % |
843.04/843.07	c |    233837 |   13877   178764   802424 | 2147483647   233829    597 |  0.029 % |
843.94/843.96	c |    234095 |   13877   178764   802424 | 2147483647   234087    597 |  0.029 % |
844.34/844.36	c |    234381 |   13877   178764   802424 | 2147483647   234373    597 |  0.029 % |
844.54/844.60	c |    234692 |   13877   178764   802424 | 2147483647   234684    596 |  0.029 % |
846.04/846.06	c |    235033 |   13877   178764   802424 | 2147483647   235025    596 |  0.029 % |
850.04/850.06	c |    235405 |   13877   178764   802424 | 2147483647   235397    596 |  0.029 % |
852.54/852.56	c |    235816 |   13877   178764   802424 | 2147483647   235808    597 |  0.029 % |
856.74/856.74	c |    236271 |   13877   178764   802424 | 2147483647   236263    598 |  0.029 % |
860.54/860.57	c |    236766 |   13877   178764   802424 | 2147483647   236758    599 |  0.029 % |
866.24/866.28	c |    237308 |   13877   178764   802424 | 2147483647   237300    600 |  0.029 % |
868.54/868.53	c |    237904 |   13877   178764   802424 | 2147483647   237896    600 |  0.029 % |
870.14/870.17	c |    238560 |   13877   178764   802424 | 2147483647   238552    599 |  0.029 % |
874.64/874.66	c |    239284 |   13877   178764   802424 | 2147483647   239276    600 |  0.029 % |
879.04/879.08	c |    240077 |   13877   178764   802424 | 2147483647   240069    600 |  0.029 % |
885.04/885.01	c |    240949 |   13877   178764   802424 | 2147483647   240941    600 |  0.029 % |
892.74/892.77	c |    241908 |   13877   178764   802424 | 2147483647   241900    601 |  0.029 % |
899.54/899.61	c |    242963 |   13877   178764   802424 | 2147483647   242955    602 |  0.029 % |
904.24/904.28	c |    244122 |   13877   178764   802424 | 2147483647   244114    602 |  0.029 % |
911.54/911.51	c |    245395 |   13877   178764   802424 | 2147483647   245387    603 |  0.029 % |
921.94/921.91	c |    246796 |   13877   178764   802424 | 2147483647   246788    603 |  0.029 % |
934.64/934.63	c |    248338 |   13877   178764   802424 | 2147483647   248330    605 |  0.029 % |
949.04/949.02	c |    250032 |   13877   178764   802424 | 2147483647   250024    608 |  0.029 % |
964.85/964.86	c |    251902 |   13877   178764   802424 | 2147483647   251894    610 |  0.029 % |
974.75/974.75	c |    253951 |   13877   178764   802424 | 2147483647   253943    612 |  0.029 % |
987.75/987.78	c |    256204 |   13877   178764   802424 | 2147483647   256196    614 |  0.029 % |
995.55/995.59	c |    258684 |   13877   178764   802424 | 2147483647   258676    612 |  0.029 % |
995.85/995.83	c |    258784 |   13877   178764   802424 | 2147483647   258776    611 |  0.029 % |
996.25/996.23	c |    258910 |   13877   178764   802424 | 2147483647   258902    611 |  0.029 % |
996.25/996.31	c |    259031 |   13877   178764   802424 | 2147483647   259023    611 |  0.029 % |
996.55/996.57	c |    259164 |   13877   178764   802424 | 2147483647   259156    611 |  0.029 % |
997.05/997.09	c |    259312 |   13877   178764   802424 | 2147483647   259304    611 |  0.029 % |
997.65/997.63	c |    259473 |   13877   178764   802424 | 2147483647   259465    611 |  0.029 % |
998.55/998.51	c |    259649 |   13877   178764   802424 | 2147483647   259641    611 |  0.029 % |
999.85/999.84	c |    259842 |   13877   178764   802424 | 2147483647   259834    611 |  0.029 % |
1001.05/1001.05	c |    260054 |   13877   178764   802424 | 2147483647   260046    611 |  0.029 % |
1003.35/1003.41	c |    260289 |   13877   178764   802424 | 2147483647   260281    611 |  0.029 % |
1005.45/1005.42	c |    260547 |   13877   178764   802424 | 2147483647   260539    611 |  0.029 % |
1007.35/1007.37	c |    260830 |   13877   178764   802424 | 2147483647   260822    611 |  0.029 % |
1008.85/1008.81	c |    261143 |   13877   178764   802424 | 2147483647   261135    611 |  0.029 % |
1012.45/1012.46	c |    261486 |   13877   178764   802424 | 2147483647   261478    612 |  0.029 % |
1015.25/1015.25	c |    261858 |   13877   178764   802424 | 2147483647   261850    612 |  0.029 % |
1018.85/1018.83	c |    262269 |   13877   178764   802424 | 2147483647   262261    613 |  0.029 % |
1021.95/1021.97	c |    262718 |   13877   178764   802424 | 2147483647   262710    613 |  0.029 % |
1025.65/1025.66	c |    263217 |   13877   178764   802424 | 2147483647   263209    613 |  0.029 % |
1027.84/1027.88	c |    263761 |   13877   178764   802424 | 2147483647   263753    614 |  0.029 % |
1032.84/1032.86	c |    264357 |   13877   178764   802424 | 2147483647   264349    614 |  0.029 % |
1038.44/1038.41	c |    265032 |   13877   178764   802424 | 2147483647   265024    615 |  0.029 % |
1040.24/1040.30	c |    265752 |   13877   178764   802424 | 2147483647   265744    614 |  0.029 % |
1042.04/1042.03	c |    266544 |   13877   178764   802424 | 2147483647   266536    614 |  0.029 % |
1044.44/1044.42	c |    267419 |   13877   178764   802424 | 2147483647   267411    613 |  0.029 % |
1046.84/1046.82	c |    268378 |   13877   178764   802424 | 2147483647   268370    613 |  0.029 % |
1049.84/1049.86	c |    269447 |   13877   178764   802424 | 2147483647   269439    613 |  0.029 % |
1056.64/1056.63	c |    270605 |   13877   178764   802424 | 2147483647   270597    613 |  0.029 % |
1066.74/1066.79	c |    271878 |   13877   178764   802424 | 2147483647   271870    614 |  0.029 % |
1077.14/1077.10	c |    273278 |   13877   178764   802424 | 2147483647   273270    614 |  0.029 % |
1085.64/1085.61	c |    274820 |   13877   178764   802424 | 2147483647   274812    614 |  0.029 % |
1097.85/1097.83	c |    276514 |   13877   178764   802424 | 2147483647   276506    615 |  0.029 % |
1110.55/1110.57	c |    278378 |   13877   178764   802424 | 2147483647   278370    615 |  0.029 % |
1128.35/1128.31	c |    280429 |   13877   178764   802424 | 2147483647   280421    616 |  0.029 % |
1145.75/1145.72	c |    282683 |   13877   178764   802424 | 2147483647   282675    617 |  0.029 % |
1162.75/1162.73	c |    285162 |   13877   178764   802424 | 2147483647   285154    619 |  0.029 % |
1178.35/1178.34	c |    287887 |   13877   178764   802424 | 2147483647   287879    620 |  0.029 % |
1179.15/1179.16	c |    287987 |   13877   178764   802424 | 2147483647   287979    620 |  0.029 % |
1180.05/1180.05	c |    288100 |   13877   178764   802424 | 2147483647   288092    620 |  0.029 % |
1181.05/1181.04	c |    288222 |   13877   178764   802424 | 2147483647   288214    620 |  0.029 % |
1182.25/1182.24	c |    288368 |   13877   178764   802424 | 2147483647   288360    620 |  0.029 % |
1183.25/1183.25	c |    288517 |   13877   178764   802424 | 2147483647   288509    620 |  0.029 % |
1184.45/1184.46	c |    288687 |   13877   178764   802424 | 2147483647   288679    620 |  0.029 % |
1185.45/1185.42	c |    288863 |   13877   178764   802424 | 2147483647   288855    620 |  0.029 % |
1186.15/1186.17	c |    289056 |   13877   178764   802424 | 2147483647   289048    620 |  0.029 % |
1187.45/1187.50	c |    289270 |   13877   178764   802424 | 2147483647   289262    620 |  0.029 % |
1188.35/1188.34	c |    289503 |   13877   178764   802424 | 2147483647   289495    620 |  0.029 % |
1189.35/1189.40	c |    289760 |   13877   178764   802424 | 2147483647   289752    620 |  0.029 % |
1189.85/1189.90	c |    290041 |   13877   178764   802424 | 2147483647   290033    620 |  0.029 % |
1193.05/1193.10	c |    290350 |   13877   178764   802424 | 2147483647   290342    620 |  0.029 % |
1196.05/1196.01	c |    290691 |   13877   178764   802424 | 2147483647   290683    620 |  0.029 % |
1198.75/1198.72	c |    291063 |   13877   178764   802424 | 2147483647   291055    620 |  0.029 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.06 1.05 1.01 2/96 21642
/proc/meminfo: memFree=1127624/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2416 CPUtime=0.01
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1012987888 2473984 276 4294967295 134512640 135169312 3217776640 3217775176 3085491950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21642/statm: 604 276 235 161 0 43 0
[pid=21646] ppid=21642 vsize=952 CPUtime=0
/proc/21646/stat : 21646 (SatELite_releas) R 21642 21642 11066 0 -1 4202496 123 0 0 0 0 0 0 0 20 0 1 0 1012987889 974848 59 4294967295 134512640 135223648 3215889952 3215888548 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21646/statm: 238 62 45 174 0 63 0

[startup+0.053581 s]
/proc/loadavg: 1.06 1.05 1.01 2/96 21642
/proc/meminfo: memFree=1127624/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2416 CPUtime=0.01
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1012987888 2473984 276 4294967295 134512640 135169312 3217776640 3217775176 3085491950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21642/statm: 604 276 235 161 0 43 0
[pid=21646] ppid=21642 vsize=8724 CPUtime=0.05
/proc/21646/stat : 21646 (SatELite_releas) R 21642 21642 11066 0 -1 4202496 1868 0 0 0 4 1 0 0 20 0 1 0 1012987889 8933376 1804 4294967295 134512640 135223648 3215889952 3215888904 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21646/statm: 2181 1806 46 174 0 2006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11140

[startup+0.113578 s]
/proc/loadavg: 1.06 1.05 1.01 2/96 21642
/proc/meminfo: memFree=1127624/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2416 CPUtime=0.01
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1012987888 2473984 276 4294967295 134512640 135169312 3217776640 3217775176 3085491950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21642/statm: 604 276 235 161 0 43 0
[pid=21646] ppid=21642 vsize=18048 CPUtime=0.11
/proc/21646/stat : 21646 (SatELite_releas) R 21642 21642 11066 0 -1 4202496 3867 0 0 0 9 2 0 0 20 0 1 0 1012987889 18481152 3803 4294967295 134512640 135223648 3215889952 3215888536 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21646/statm: 4512 3803 46 174 0 4337 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20464

[startup+0.313566 s]
/proc/loadavg: 1.06 1.05 1.01 2/96 21642
/proc/meminfo: memFree=1127624/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2416 CPUtime=0.01
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1012987888 2473984 276 4294967295 134512640 135169312 3217776640 3217775176 3085491950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21642/statm: 604 276 235 161 0 43 0
[pid=21646] ppid=21642 vsize=41532 CPUtime=0.31
/proc/21646/stat : 21646 (SatELite_releas) R 21642 21642 11066 0 -1 4202496 9821 0 0 0 25 6 0 0 21 0 1 0 1012987889 42528768 9757 4294967295 134512640 135223648 3215889952 3215888904 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21646/statm: 10383 9758 46 174 0 10208 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 43948

[startup+0.713544 s]
/proc/loadavg: 1.06 1.05 1.01 2/96 21642
/proc/meminfo: memFree=1127624/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2416 CPUtime=0.01
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1012987888 2473984 276 4294967295 134512640 135169312 3217776640 3217775176 3085491950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21642/statm: 604 276 235 161 0 43 0
[pid=21646] ppid=21642 vsize=75296 CPUtime=0.71
/proc/21646/stat : 21646 (SatELite_releas) R 21642 21642 11066 0 -1 4202496 16922 0 0 0 64 7 0 0 22 0 1 0 1012987889 77103104 15581 4294967295 134512640 135223648 3215889952 3215887952 134548987 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21646/statm: 18824 15581 73 174 0 18649 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 77712

[startup+1.5135 s]
/proc/loadavg: 1.06 1.05 1.01 2/98 21647
/proc/meminfo: memFree=1062732/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2416 CPUtime=0.01
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1012987888 2473984 276 4294967295 134512640 135169312 3217776640 3217775176 3085491950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21642/statm: 604 276 235 161 0 43 0
[pid=21646] ppid=21642 vsize=76644 CPUtime=1.51
/proc/21646/stat : 21646 (SatELite_releas) R 21642 21642 11066 0 -1 4202496 17265 0 0 0 144 7 0 0 25 0 1 0 1012987889 78483456 15924 4294967295 134512640 135223648 3215889952 3215887952 134549098 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21646/statm: 19161 15924 73 174 0 18986 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 79060

[startup+3.11341 s]
/proc/loadavg: 1.06 1.05 1.01 2/98 21647
/proc/meminfo: memFree=1055416/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2416 CPUtime=0.01
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1012987888 2473984 276 4294967295 134512640 135169312 3217776640 3217775176 3085491950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21642/statm: 604 276 235 161 0 43 0
[pid=21646] ppid=21642 vsize=79432 CPUtime=3.11
/proc/21646/stat : 21646 (SatELite_releas) R 21642 21642 11066 0 -1 4202496 17913 0 0 0 300 11 0 0 25 0 1 0 1012987889 81338368 16572 4294967295 134512640 135223648 3215889952 3215887808 134578212 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21646/statm: 19858 16572 73 174 0 19683 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 81848

[startup+6.31323 s]
/proc/loadavg: 1.06 1.05 1.00 2/98 21648
/proc/meminfo: memFree=1037220/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2416 CPUtime=0.01
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1012987888 2473984 276 4294967295 134512640 135169312 3217776640 3217775176 3085491950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21642/statm: 604 276 235 161 0 43 0
[pid=21646] ppid=21642 vsize=83888 CPUtime=6.31
/proc/21646/stat : 21646 (SatELite_releas) R 21642 21642 11066 0 -1 4202496 18952 0 0 0 616 15 0 0 25 0 1 0 1012987889 85901312 17611 4294967295 134512640 135223648 3215889952 3215887968 134587315 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21646/statm: 20972 17611 73 174 0 20797 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 86304

[startup+12.7129 s]
/proc/loadavg: 1.05 1.05 1.00 2/98 21831
/proc/meminfo: memFree=1007280/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2416 CPUtime=0.01
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1012987888 2473984 276 4294967295 134512640 135169312 3217776640 3217775176 3085491950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21642/statm: 604 276 235 161 0 43 0
[pid=21646] ppid=21642 vsize=90472 CPUtime=12.71
/proc/21646/stat : 21646 (SatELite_releas) R 21642 21642 11066 0 -1 4202496 20598 0 0 0 1251 20 0 0 25 0 1 0 1012987889 92643328 19257 4294967295 134512640 135223648 3215889952 3215887952 134548148 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21646/statm: 22618 19257 73 174 0 22443 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 92888

[startup+25.5122 s]
/proc/loadavg: 1.04 1.04 1.00 2/98 21836
/proc/meminfo: memFree=1051824/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=20092 CPUtime=9.82
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 4872 0 0 0 980 2 0 0 25 0 1 0 1012989456 20574208 4806 4294967295 134512640 135215339 3216244448 3216242736 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 5023 4806 73 172 0 4850 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22512

[startup+51.1107 s]
/proc/loadavg: 1.03 1.04 1.00 2/98 21836
/proc/meminfo: memFree=1023360/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=48860 CPUtime=35.42
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 12083 0 0 0 3537 5 0 0 25 0 1 0 1012989456 50032640 12017 4294967295 134512640 135215339 3216244448 3216242736 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 12215 12017 73 172 0 12042 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 51280

[startup+102.318 s]
/proc/loadavg: 1.01 1.03 1.00 2/98 22029
/proc/meminfo: memFree=971668/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=99680 CPUtime=86.63
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 24772 0 0 0 8654 9 0 0 25 0 1 0 1012989456 102072320 24706 4294967295 134512640 135215339 3216244448 3216242448 134532643 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 24920 24706 73 172 0 24747 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 102100

[startup+162.315 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 22215
/proc/meminfo: memFree=926532/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=145164 CPUtime=146.63
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 36125 0 0 0 14646 17 0 0 25 0 1 0 1012989456 148647936 36059 4294967295 134512640 135215339 3216244448 3216242448 134532650 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 36291 36059 73 172 0 36118 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 147584

[startup+222.321 s]
/proc/loadavg: 1.13 1.05 1.01 2/98 22401
/proc/meminfo: memFree=888496/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=182888 CPUtime=206.64
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 45583 0 0 0 20643 21 0 0 25 0 1 0 1012989456 187277312 45517 4294967295 134512640 135215339 3216244448 3216242448 134532650 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 45722 45517 73 172 0 45549 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 185308

[startup+282.318 s]
/proc/loadavg: 1.05 1.04 1.00 2/98 22590
/proc/meminfo: memFree=838524/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=233956 CPUtime=266.64
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 58321 0 0 0 26636 28 0 0 25 0 1 0 1012989456 239570944 58255 4294967295 134512640 135215339 3216244448 3216242664 134721382 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 58489 58255 73 172 0 58316 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 236376

[startup+342.315 s]
/proc/loadavg: 1.02 1.03 1.00 3/98 22781
/proc/meminfo: memFree=790884/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=280872 CPUtime=326.64
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 70050 0 0 0 32632 32 0 0 25 0 1 0 1012989456 287612928 69984 4294967295 134512640 135215339 3216244448 3216242736 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 70218 69984 73 172 0 70045 0
Current children cumulated CPU time (s) 342.31

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

/proc/21834/statm: 99785 99508 73 172 0 99612 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 401560

[startup+582.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23535
/proc/meminfo: memFree=639984/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=431992 CPUtime=566.66
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 107788 0 0 0 56598 68 0 0 25 0 1 0 1012989456 442359808 107722 4294967295 134512640 135215339 3216244448 3216242448 134532650 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 107998 107722 73 172 0 107825 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 434412

[startup+642.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23724
/proc/meminfo: memFree=602056/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=469068 CPUtime=626.66
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 117072 0 0 0 62587 79 0 0 25 0 1 0 1012989456 480325632 117006 4294967295 134512640 135215339 3216244448 3216242736 134529085 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 117267 117006 73 172 0 117094 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 471488

[startup+702.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 23913
/proc/meminfo: memFree=563492/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=508716 CPUtime=686.65
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 126885 0 0 0 68573 92 0 0 25 0 1 0 1012989456 520925184 126819 4294967295 134512640 135215339 3216244448 3216242736 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 127179 126819 73 172 0 127006 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 511136

[startup+762.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24099
/proc/meminfo: memFree=532120/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=539268 CPUtime=746.66
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 134526 0 0 0 74568 98 0 0 25 0 1 0 1012989456 552210432 134460 4294967295 134512640 135215339 3216244448 3216242736 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 134817 134460 73 172 0 134644 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 541688

[startup+822.308 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24285
/proc/meminfo: memFree=502360/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=569428 CPUtime=806.66
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 142037 0 0 0 80567 99 0 0 25 0 1 0 1012989456 583094272 141971 4294967295 134512640 135215339 3216244448 3216242448 134532898 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 142357 141971 73 172 0 142184 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 571848

[startup+882.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24478
/proc/meminfo: memFree=476064/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=595644 CPUtime=866.67
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 148592 0 0 0 86566 101 0 0 25 0 1 0 1012989456 609939456 148526 4294967295 134512640 135215339 3216244448 3216242736 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 148911 148526 73 172 0 148738 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 598064

[startup+942.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24667
/proc/meminfo: memFree=449148/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=622752 CPUtime=926.67
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 155382 0 0 0 92561 106 0 0 25 0 1 0 1012989456 637698048 155316 4294967295 134512640 135215339 3216244448 3216242448 134532672 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 155688 155316 73 172 0 155515 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 625172

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24856
/proc/meminfo: memFree=417916/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=653820 CPUtime=986.68
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 163157 0 0 0 98560 108 0 0 25 0 1 0 1012989456 669511680 163091 4294967295 134512640 135215339 3216244448 3216242448 134532650 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 163455 163091 73 172 0 163282 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 656240

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 25042
/proc/meminfo: memFree=387776/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=684168 CPUtime=1046.67
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 170721 0 0 0 104554 113 0 0 25 0 1 0 1012989456 700588032 170655 4294967295 134512640 135215339 3216244448 3216242448 134532964 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 171042 170655 73 172 0 170869 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 686588

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 25228
/proc/meminfo: memFree=364224/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=707444 CPUtime=1106.68
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 176553 0 0 0 110549 119 0 0 25 0 1 0 1012989456 724422656 176487 4294967295 134512640 135215339 3216244448 3216242512 134538040 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 176861 176487 73 172 0 176688 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 709864

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 25417
/proc/meminfo: memFree=338532/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=733216 CPUtime=1166.68
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 182988 0 0 0 116546 122 0 0 25 0 1 0 1012989456 750813184 182922 4294967295 134512640 135215339 3216244448 3216242448 134532961 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 183304 182922 73 172 0 183131 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 735636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 25419
/proc/meminfo: memFree=330472/2074464 swapFree=1950760/1959888
[pid=21642] ppid=21640 vsize=2420 CPUtime=15.67
/proc/21642/stat : 21642 (SatELiteGTI) S 21640 21642 11066 0 -1 4194304 385 24350 0 0 0 0 1540 27 18 0 1 0 1012987888 2478080 278 4294967295 134512640 135169312 3217776640 3217772856 3085491950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21642/statm: 605 278 235 161 0 44 0
[pid=21834] ppid=21642 vsize=740944 CPUtime=1184.38
/proc/21834/stat : 21834 (minisat_static) R 21642 21642 11066 0 -1 4202496 184928 0 0 0 118313 125 0 0 25 0 1 0 1012989456 758726656 184862 4294967295 134512640 135215339 3216244448 3216242664 134721382 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21834/statm: 185236 184862 73 172 0 185063 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 743364

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21642 and gives
#  childrusage.ru_utime.tv_sec=15
#  childrusage.ru_utime.tv_usec=400000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=270000
# CPU time returned by wait4() is 15.67
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.03
CPU time (s): 1200.05
CPU user time (s): 1198.53
CPU system time (s): 1.52
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 743364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4
system time used= 0.27
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24735
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= 15

runsolver used 0.02 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi23 at 2009-05-16 16:41:35
IDJOB=1820890
IDBENCH=70760
IDSOLVER=657
FILE ID=tipi23/1820890-1242484895
PBS_JOBID=
Free space on /tmp= 8957 MiB

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

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

MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED= 1900596022

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1127756 kB
Buffers:         30356 kB
Cached:         820788 kB
SwapCached:       3660 kB
Active:         450748 kB
Inactive:       412088 kB
HighTotal:     1178688 kB
HighFree:       480724 kB
LowTotal:       895776 kB
LowFree:        647032 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:            9928 kB
Writeback:          56 kB
AnonPages:       10972 kB
Mapped:           4340 kB
Slab:            75024 kB
PageTables:        628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96900 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8901 MiB
End job on tipi23 at 2009-05-16 17:01:38