Trace number 1821622

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

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p0.cnf
MD5SUM209f7789e3588d11f275f2003f2c6a67
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 variables259616
Number of clauses1374599
Sum of the clauses size3310772
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2982807
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c Parsing...
1.41/1.42	c ==============================================================================
1.41/1.42	c |           |     ORIGINAL     |              LEARNT              |          |
1.41/1.42	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.41/1.42	c ==============================================================================
1.41/1.42	c |         0 | 1360580  3295883 |  408173       0        0     nan |  0.000 % |
8.30/8.31	c |         0 |  942285  2636352 |      --       0       --      -- |     --   | -116200/27697
8.30/8.31	c ==============================================================================
8.30/8.31	c Result  :   #vars: 138309   #clauses: 942285   #literals: 2636352
8.30/8.31	c CPU time:   8.03 s
8.30/8.31	c ==============================================================================
9.28/9.31	c This is MiniSat 2.0 beta
9.28/9.31	c WARNING: for repeatability, setting FPU to use double precision
9.28/9.31	c ============================[ Problem Statistics ]=============================
9.28/9.31	c |                                                                             |
9.28/9.32	c |  Number of variables:  138309                                               |
9.28/9.32	c |  Number of clauses:    942285                                               |
9.98/10.02	c |  Parsing time:         0.65         s                                       |
9.98/10.07	c ============================[ Search Statistics ]==============================
9.98/10.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.98/10.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.98/10.07	c ===============================================================================
9.98/10.07	c |         0 |  138309   942285  2636352 |   314095        0    nan |  0.000 % |
10.47/10.55	c |       102 |  138298   942285  2636352 |   314095      101     45 |  0.512 % |
10.67/10.77	c |       202 |  138218   942285  2636352 |   314095      198     56 |  1.469 % |
10.97/11.01	c |       303 |  138211   942285  2636352 |   314095      296     69 |  1.645 % |
11.08/11.14	c |       414 |  138211   942285  2636352 |   314095      407     98 |  1.645 % |
11.37/11.41	c |       514 |  138209   942285  2636352 |   314095      506    101 |  1.654 % |
11.47/11.56	c |       624 |  138185   942285  2636352 |   314095      614     92 |  2.029 % |
11.77/11.87	c |       746 |  138095   942285  2636352 |   314095      735     81 |  2.038 % |
11.97/12.09	c |       846 |  138095   942285  2636352 |   314095      835     78 |  2.038 % |
12.37/12.48	c |       957 |  135490   917936  2573440 |   314095      940     75 |  2.038 % |
12.87/12.93	c |      1078 |  135335   917936  2573440 |   314095     1057     71 |  3.403 % |
13.07/13.16	c |      1212 |  135303   917936  2573440 |   314095     1191     66 |  3.403 % |
13.57/13.62	c |      1312 |  135062   917936  2573440 |   314095     1288     66 |  3.713 % |
13.67/13.72	c |      1422 |  135062   917936  2573440 |   314095     1398     73 |  3.713 % |
13.87/13.97	c |      1544 |  134932   917936  2573440 |   314095     1519     77 |  3.978 % |
14.07/14.13	c |      1677 |  134932   917936  2573440 |   314095     1652     77 |  3.978 % |
14.27/14.31	c |      1823 |  134932   917936  2573440 |   314095     1798     74 |  3.978 % |
14.57/14.60	c |      1923 |  132807   900317  2530875 |   314095     1894     73 |  3.978 % |
14.77/14.82	c |      2033 |  132807   900317  2530875 |   314095     2004     70 |  3.978 % |
15.07/15.19	c |      2154 |  132799   900317  2530875 |   314095     2124     68 |  4.048 % |
15.37/15.48	c |      2291 |  132799   900317  2530875 |   314095     2261     68 |  4.048 % |
15.77/15.82	c |      2438 |  132799   900317  2530875 |   314095     2408     68 |  4.048 % |
16.17/16.29	c |      2598 |  132525   900317  2530875 |   314095     2567     70 |  4.408 % |
16.27/16.39	c |      2699 |  132525   900317  2530875 |   314095     2668     75 |  4.408 % |
16.47/16.57	c |      2810 |  132525   900317  2530875 |   314095     2779     74 |  4.408 % |
16.68/16.75	c |      2931 |  132525   900317  2530875 |   314095     2900     73 |  4.408 % |
16.98/17.02	c |      3065 |  132212   897464  2525021 |   314095     3029     72 |  4.408 % |
17.38/17.42	c |      3211 |  132203   897464  2525021 |   314095     3173     71 |  4.425 % |
17.68/17.81	c |      3371 |  132200   897464  2525021 |   314095     3332     72 |  4.773 % |
18.08/18.12	c |      3547 |  132200   897464  2525021 |   314095     3508     73 |  4.773 % |
18.28/18.37	c |      3647 |  132200   897464  2525021 |   314095     3608     72 |  4.773 % |
18.58/18.62	c |      3760 |  132170   897464  2525021 |   314095     3718     71 |  5.201 % |
18.68/18.81	c |      3881 |  132170   897464  2525021 |   314095     3839     71 |  5.201 % |
18.88/19.01	c |      4015 |  131925   897464  2525021 |   314095     3970     71 |  5.903 % |
19.18/19.22	c |      4161 |  130145   883984  2491843 |   314095     4107     71 |  5.903 % |
19.68/19.73	c |      4321 |  130145   883984  2491843 |   314095     4267     75 |  5.903 % |
19.98/20.04	c |      4497 |  129960   883984  2491843 |   314095     4442     77 |  6.107 % |
20.38/20.47	c |      4690 |  129912   883984  2491843 |   314095     4635     76 |  6.107 % |
20.78/20.90	c |      4792 |  129799   883984  2491843 |   314095     4734     76 |  6.569 % |
21.18/21.25	c |      4902 |  129798   883984  2491843 |   314095     4843     76 |  6.572 % |
21.58/21.66	c |      5024 |  129664   883984  2491843 |   314095     4962     75 |  7.152 % |
21.88/21.94	c |      5158 |  128416   870410  2457929 |   314095     5049     75 |  7.156 % |
21.98/22.09	c |      5304 |  128416   870410  2457929 |   314095     5195     75 |  7.156 % |
22.18/22.30	c |      5466 |  128414   870410  2457929 |   314095     5356     76 |  7.173 % |
22.48/22.58	c |      5644 |  128413   870410  2457929 |   314095     5533     76 |  7.177 % |
22.78/22.90	c |      5837 |  128408   870410  2457929 |   314095     5725     75 |  7.182 % |
23.38/23.46	c |      6050 |  128379   870410  2457929 |   314095     5935     73 |  7.659 % |
23.58/23.70	c |      6151 |  128257   870410  2457929 |   314095     6035     73 |  7.841 % |
23.78/23.88	c |      6261 |  127464   864711  2444810 |   314095     6128     73 |  7.841 % |
24.08/24.16	c |      6382 |  127464   864711  2444810 |   314095     6249     72 |  7.841 % |
24.58/24.64	c |      6516 |  127464   864711  2444810 |   314095     6383     74 |  7.841 % |
24.88/25.00	c |      6662 |  127463   864711  2444810 |   314095     6528     75 |  7.850 % |
25.18/25.27	c |      6822 |  127441   864711  2444810 |   314095     6684     75 |  7.893 % |
25.38/25.44	c |      6999 |  127440   864711  2444810 |   314095     6860     76 |  7.894 % |
25.48/25.61	c |      7192 |  127440   864711  2444810 |   314095     7053     75 |  7.894 % |
25.98/26.05	c |      7404 |  127305   864711  2444810 |   314095     7264     75 |  8.078 % |
26.38/26.47	c |      7637 |  127127   862417  2439056 |   314095     7473     75 |  8.085 % |
26.58/26.71	c |      7740 |  127127   862417  2439056 |   314095     7576     75 |  8.085 % |
26.98/27.02	c |      7850 |  127127   862417  2439056 |   314095     7686     74 |  8.085 % |
27.28/27.38	c |      7971 |  127097   862417  2439056 |   314095     7805     74 |  8.383 % |
27.58/27.68	c |      8104 |  127097   862417  2439056 |   314095     7938     74 |  8.383 % |
27.88/27.97	c |      8250 |  127097   862417  2439056 |   314095     8084     74 |  8.383 % |
28.18/28.25	c |      8414 |  127091   862417  2439056 |   314095     8246     74 |  8.605 % |
28.48/28.59	c |      8590 |  126868   862417  2439056 |   314095     8419     74 |  8.882 % |
28.98/29.02	c |      8783 |  126844   862417  2439056 |   314095     8612     74 |  8.882 % |
29.38/29.47	c |      8995 |  126844   862417  2439056 |   314095     8824     75 |  8.882 % |
30.18/30.29	c |      9228 |  126025   856584  2425439 |   314095     9044     75 |  8.882 % |
30.88/30.97	c |      9484 |  126025   856584  2425439 |   314095     9300     75 |  8.882 % |
30.98/31.10	c |      9584 |  126025   856584  2425439 |   314095     9400     75 |  8.882 % |
31.18/31.23	c |      9694 |  126025   856584  2425439 |   314095     9510     76 |  8.882 % |
31.38/31.46	c |      9815 |  126018   856584  2425439 |   314095     9630     75 |  8.906 % |
31.58/31.65	c |      9951 |  126017   856584  2425439 |   314095     9766     75 |  8.906 % |
31.98/32.10	c |     10099 |  126017   856584  2425439 | 2147483647     9914     78 |  8.906 % |
32.28/32.36	c |     10259 |  126009   856584  2425439 | 2147483647    10073     78 |  9.015 % |
32.48/32.58	c |     10437 |  125839   855235  2421963 | 2147483647    10208     78 |  9.016 % |
32.88/32.98	c |     10630 |  125831   855235  2421963 | 2147483647    10397     77 |  9.383 % |
33.48/33.56	c |     10843 |  125684   855235  2421963 | 2147483647    10607     77 |  9.637 % |
33.98/34.05	c |     11078 |  125574   855235  2421963 | 2147483647    10841     76 | 10.043 % |
34.48/34.55	c |     11335 |  125574   855235  2421963 | 2147483647    11098     78 | 10.043 % |
35.58/35.66	c |     11630 |  125491   855235  2421963 | 2147483647    11392     81 | 10.187 % |
35.78/35.90	c |     11731 |  124219   845804  2399339 | 2147483647    11479     81 | 10.190 % |
36.08/36.16	c |     11841 |  124218   845804  2399339 | 2147483647    11589     82 | 10.190 % |
36.28/36.38	c |     11962 |  124218   845804  2399339 | 2147483647    11710     82 | 10.190 % |
36.68/36.73	c |     12095 |  124218   845804  2399339 | 2147483647    11843     82 | 10.190 % |
36.88/37.00	c |     12241 |  124191   845804  2399339 | 2147483647    11988     82 | 10.213 % |
37.28/37.31	c |     12401 |  124184   845804  2399339 | 2147483647    12147     82 | 10.231 % |
37.48/37.54	c |     12577 |  124183   845804  2399339 | 2147483647    12323     83 | 10.231 % |
37.88/37.97	c |     12770 |  124181   845804  2399339 | 2147483647    12514     83 | 10.234 % |
38.58/38.66	c |     12982 |  124177   845804  2399339 | 2147483647    12724     83 | 10.380 % |
39.08/39.16	c |     13215 |  123941   844477  2396298 | 2147483647    12927     84 | 10.665 % |
39.48/39.55	c |     13471 |  123921   844477  2396298 | 2147483647    13177     83 | 10.919 % |
39.78/39.87	c |     13753 |  123921   844477  2396298 | 2147483647    13459     83 | 10.919 % |
40.38/40.51	c |     14062 |  123919   844477  2396298 | 2147483647    13766     85 | 10.931 % |
40.58/40.64	c |     14164 |  123919   844477  2396298 | 2147483647    13868     85 | 10.931 % |
40.78/40.84	c |     14275 |  123917   844477  2396298 | 2147483647    13978     85 | 10.936 % |
40.88/40.98	c |     14396 |  123917   844477  2396298 | 2147483647    14099     85 | 10.936 % |
41.08/41.15	c |     14529 |  123917   844477  2396298 | 2147483647    14232     85 | 10.936 % |
41.28/41.35	c |     14675 |  123917   844477  2396298 | 2147483647    14378     85 | 10.936 % |
41.58/41.66	c |     14838 |  123917   844477  2396298 | 2147483647    14541     85 | 10.936 % |
41.98/42.01	c |     15014 |  123181   840790  2387870 | 2147483647    14630     85 | 10.942 % |
42.58/42.63	c |     15208 |  123179   840790  2387870 | 2147483647    14824     85 | 10.942 % |
43.08/43.16	c |     15420 |  122953   840790  2387870 | 2147483647    15029     85 | 12.191 % |
43.88/43.98	c |     15653 |  122549   840790  2387870 | 2147483647    15254     84 | 13.451 % |
44.78/44.81	c |     15912 |  122253   840790  2387870 | 2147483647    15510     83 | 13.724 % |
45.28/45.35	c |     16193 |  119270   818095  2333622 | 2147483647    15769     83 | 13.802 % |
45.68/45.80	c |     16502 |  119270   818095  2333622 | 2147483647    16078     82 | 13.802 % |
46.58/46.64	c |     16841 |  119200   818095  2333622 | 2147483647    16412     83 | 14.140 % |
46.68/46.75	c |     16946 |  119200   818095  2333622 | 2147483647    16517     84 | 14.140 % |
46.98/47.10	c |     17057 |  119159   818095  2333622 | 2147483647    16625     83 | 14.314 % |
47.68/47.72	c |     17178 |  119158   818095  2333622 | 2147483647    16745     85 | 14.335 % |
47.88/47.97	c |     17313 |  119150   818095  2333622 | 2147483647    16880     85 | 14.335 % |
48.38/48.44	c |     17462 |  119149   818095  2333622 | 2147483647    17029     86 | 14.335 % |
48.98/49.04	c |     17622 |  118481   813533  2323062 | 2147483647    17162     86 | 14.337 % |
49.28/49.36	c |     17808 |  118392   813533  2323062 | 2147483647    17346     85 | 14.940 % |
49.88/49.99	c |     18001 |  118389   813533  2323062 | 2147483647    17538     86 | 14.949 % |
50.48/50.53	c |     18216 |  118389   813533  2323062 | 2147483647    17753     86 | 14.949 % |
51.28/51.37	c |     18449 |  118387   813533  2323062 | 2147483647    17984     86 | 14.952 % |
51.88/51.92	c |     18707 |  118363   813533  2323062 | 2147483647    18241     87 | 15.227 % |
52.68/52.79	c |     18989 |  118279   813533  2323062 | 2147483647    18523     87 | 15.227 % |
53.68/53.78	c |     19299 |  117249   801869  2292279 | 2147483647    18794     88 | 15.227 % |
54.68/54.74	c |     19643 |  117249   801869  2292279 | 2147483647    19138     89 | 15.227 % |
55.88/55.96	c |     20016 |  117249   801869  2292279 | 2147483647    19511     91 | 15.227 % |
56.08/56.18	c |     20117 |  117249   801869  2292279 | 2147483647    19612     91 | 15.227 % |
56.38/56.44	c |     20228 |  117249   801869  2292279 | 2147483647    19723     91 | 15.227 % |
56.68/56.74	c |     20349 |  117249   801869  2292279 | 2147483647    19844     91 | 15.227 % |
56.98/57.10	c |     20484 |  117249   801869  2292279 | 2147483647    19979     91 | 15.227 % |
57.58/57.67	c |     20630 |  117232   801769  2292009 | 2147483647    20121     91 | 15.288 % |
57.98/58.03	c |     20790 |  117229   801769  2292009 | 2147483647    20281     91 | 15.288 % |
58.78/58.88	c |     20966 |  117166   801769  2292009 | 2147483647    20455     91 | 15.345 % |
59.38/59.45	c |     21159 |  116980   801769  2292009 | 2147483647    20643     90 | 15.874 % |
60.18/60.22	c |     21371 |  116959   801769  2292009 | 2147483647    20852     90 | 16.245 % |
60.98/61.04	c |     21604 |  115802   794230  2274938 | 2147483647    21051     90 | 16.273 % |
61.48/61.61	c |     21861 |  115791   794230  2274938 | 2147483647    21304     90 | 16.315 % |
62.08/62.15	c |     22142 |  115701   794230  2274938 | 2147483647    21579     90 | 16.573 % |
62.78/62.91	c |     22451 |  115698   794230  2274938 | 2147483647    21887     89 | 16.584 % |
63.58/63.69	c |     22790 |  115694   794230  2274938 | 2147483647    22224     89 | 16.597 % |
64.28/64.36	c |     23163 |  115694   794230  2274938 | 2147483647    22597     89 | 16.597 % |
65.68/65.80	c |     23579 |  115163   791247  2267879 | 2147483647    22994     89 | 16.812 % |
66.08/66.17	c |     23681 |  115159   791247  2267879 | 2147483647    23094     89 | 16.830 % |
66.28/66.40	c |     23791 |  115156   791247  2267879 | 2147483647    23204     89 | 16.830 % |
66.58/66.61	c |     23915 |  115155   791247  2267879 | 2147483647    23328     89 | 16.830 % |
67.08/67.14	c |     24048 |  115154   791247  2267879 | 2147483647    23460     89 | 16.839 % |
67.38/67.50	c |     24195 |  115154   791247  2267879 | 2147483647    23607     90 | 16.839 % |
67.98/68.03	c |     24356 |  115153   791247  2267879 | 2147483647    23766     91 | 16.873 % |
68.58/68.68	c |     24536 |  115153   791247  2267879 | 2147483647    23946     91 | 16.873 % |
69.18/69.23	c |     24731 |  114972   789731  2264245 | 2147483647    24129     91 | 16.873 % |
69.58/69.70	c |     24943 |  114971   789731  2264245 | 2147483647    24340     92 | 16.874 % |
70.18/70.24	c |     25180 |  114971   789731  2264245 | 2147483647    24577     93 | 16.874 % |
70.78/70.89	c |     25436 |  114968   789731  2264245 | 2147483647    24830     94 | 16.877 % |
71.78/71.91	c |     25718 |  114968   789731  2264245 | 2147483647    25112     97 | 16.877 % |
72.38/72.46	c |     26029 |  114963   789731  2264245 | 2147483647    25422     98 | 16.883 % |
73.28/73.38	c |     26368 |  114962   789731  2264245 | 2147483647    25760     99 | 16.890 % |
74.78/74.84	c |     26740 |  114932   789415  2263415 | 2147483647    26119    101 | 16.902 % |
75.48/75.55	c |     27150 |  114932   789415  2263415 | 2147483647    26529    101 | 16.902 % |
76.68/76.80	c |     27599 |  114932   789415  2263415 | 2147483647    26978    102 | 16.902 % |
76.88/76.99	c |     27699 |  114932   789415  2263415 | 2147483647    27078    103 | 16.902 % |
77.28/77.34	c |     27809 |  114932   789415  2263415 | 2147483647    27188    103 | 16.902 % |
77.48/77.53	c |     27930 |  114932   789415  2263415 | 2147483647    27309    102 | 16.902 % |
78.08/78.15	c |     28064 |  114924   789415  2263415 | 2147483647    27442    102 | 16.952 % |
78.58/78.69	c |     28210 |  114923   789415  2263415 | 2147483647    27587    103 | 16.953 % |
79.18/79.30	c |     28370 |  114923   789415  2263415 | 2147483647    27747    103 | 16.953 % |
80.08/80.12	c |     28547 |  114861   789171  2262927 | 2147483647    27922    104 | 16.953 % |
80.58/80.65	c |     28742 |  114859   789171  2262927 | 2147483647    28115    104 | 16.966 % |
81.08/81.12	c |     28954 |  114857   789171  2262927 | 2147483647    28326    104 | 16.967 % |
81.78/81.90	c |     29188 |  114856   789171  2262927 | 2147483647    28559    104 | 16.974 % |
82.18/82.29	c |     29448 |  114856   789171  2262927 | 2147483647    28819    105 | 16.974 % |
82.78/82.86	c |     29729 |  114856   789171  2262927 | 2147483647    29100    105 | 16.974 % |
83.58/83.65	c |     30040 |  114854   789171  2262927 | 2147483647    29410    105 | 16.976 % |
84.18/84.30	c |     30380 |  114851   789171  2262927 | 2147483647    29749    105 | 16.983 % |
85.68/85.75	c |     30755 |  114820   788840  2262040 | 2147483647    30110    106 | 16.983 % |
86.38/86.47	c |     31165 |  114818   788840  2262040 | 2147483647    30519    106 | 16.993 % |
87.28/87.33	c |     31614 |  114818   788840  2262040 | 2147483647    30968    107 | 16.993 % |
88.38/88.43	c |     32107 |  114814   788840  2262040 | 2147483647    31461    108 | 16.993 % |
88.48/88.57	c |     32208 |  114814   788840  2262040 | 2147483647    31562    109 | 16.993 % |
88.78/88.83	c |     32318 |  114814   788840  2262040 | 2147483647    31672    109 | 16.993 % |
89.08/89.13	c |     32440 |  114813   788840  2262040 | 2147483647    31793    109 | 17.001 % |
89.38/89.50	c |     32574 |  114813   788840  2262040 | 2147483647    31927    109 | 17.001 % |
89.88/89.91	c |     32720 |  114813   788840  2262040 | 2147483647    32073    109 | 17.001 % |
90.38/90.46	c |     32880 |  114811   788840  2262040 | 2147483647    32232    110 | 17.007 % |
90.78/90.87	c |     33056 |  114786   788604  2261429 | 2147483647    32396    110 | 17.559 % |
91.28/91.39	c |     33249 |  114669   788604  2261429 | 2147483647    32588    110 | 17.687 % |
92.18/92.26	c |     33461 |  114669   788604  2261429 | 2147483647    32800    110 | 17.687 % |
92.78/92.83	c |     33694 |  114669   788604  2261429 | 2147483647    33033    111 | 17.687 % |
93.38/93.46	c |     33951 |  114649   788604  2261429 | 2147483647    33289    111 | 17.719 % |
94.08/94.12	c |     34233 |  114649   788604  2261429 | 2147483647    33571    111 | 17.719 % |
94.88/94.96	c |     34542 |  114640   788604  2261429 | 2147483647    33874    111 | 18.112 % |
95.88/95.91	c |     34882 |  114636   788604  2261429 | 2147483647    34212    111 | 18.160 % |
97.28/97.33	c |     35256 |  112983   769957  2212182 | 2147483647    34529    112 | 18.311 % |
98.68/98.73	c |     35666 |  112983   769957  2212182 | 2147483647    34939    115 | 18.311 % |
99.88/100.00	c |     36116 |  112983   769957  2212182 | 2147483647    35389    116 | 18.311 % |
101.58/101.61	c |     36609 |  112983   769957  2212182 | 2147483647    35882    117 | 18.311 % |
102.98/103.09	c |     37157 |  112983   769957  2212182 | 2147483647    36430    118 | 18.311 % |
103.28/103.39	c |     37258 |  112983   769957  2212182 | 2147483647    36531    118 | 18.311 % |
103.78/103.89	c |     37368 |  112983   769957  2212182 | 2147483647    36641    119 | 18.311 % |
104.38/104.41	c |     37491 |  112983   769957  2212182 | 2147483647    36764    120 | 18.311 % |
104.98/105.07	c |     37624 |  112983   769957  2212182 | 2147483647    36897    120 | 18.311 % |
105.28/105.40	c |     37775 |  112974   769875  2211987 | 2147483647    37047    120 | 18.318 % |
105.98/106.02	c |     37938 |  112974   769875  2211987 | 2147483647    37210    120 | 18.318 % |
106.58/106.64	c |     38114 |  112974   769875  2211987 | 2147483647    37386    121 | 18.318 % |
107.18/107.26	c |     38308 |  112973   769875  2211987 | 2147483647    37579    121 | 18.318 % |
107.78/107.81	c |     38520 |  112972   769875  2211987 | 2147483647    37790    121 | 18.326 % |
107.98/108.09	c |     38754 |  112972   769875  2211987 | 2147483647    38024    122 | 18.326 % |
108.78/108.90	c |     39013 |  112972   769875  2211987 | 2147483647    38283    122 | 18.326 % |
109.58/109.63	c |     39296 |  112972   769875  2211987 | 2147483647    38566    123 | 18.326 % |
110.38/110.50	c |     39605 |  112968   769875  2211987 | 2147483647    38874    123 | 18.336 % |
111.28/111.40	c |     39944 |  112967   769875  2211987 | 2147483647    39212    123 | 18.342 % |
112.78/112.84	c |     40316 |  112951   769875  2211987 | 2147483647    39582    124 | 18.423 % |
114.38/114.44	c |     40725 |  112949   769875  2211987 | 2147483647    39990    125 | 18.425 % |
115.68/115.75	c |     41176 |  112824   768476  2208377 | 2147483647    40370    126 | 18.430 % |
117.18/117.27	c |     41675 |  112822   768476  2208377 | 2147483647    40868    127 | 18.436 % |
118.08/118.16	c |     42218 |  112822   768476  2208377 | 2147483647    41411    127 | 18.436 % |
119.78/119.84	c |     42814 |  112822   768476  2208377 | 2147483647    42007    129 | 18.436 % |
119.99/120.07	c |     42917 |  112822   768476  2208377 | 2147483647    42110    129 | 18.436 % |
120.28/120.33	c |     43027 |  112822   768476  2208377 | 2147483647    42220    129 | 18.436 % |
120.68/120.73	c |     43150 |  112808   768476  2208377 | 2147483647    42341    129 | 18.465 % |
120.78/120.87	c |     43291 |  112808   768476  2208377 | 2147483647    42482    129 | 18.465 % |
120.98/121.06	c |     43437 |  112808   768476  2208377 | 2147483647    42628    129 | 18.465 % |
121.48/121.59	c |     43597 |  112808   768476  2208377 | 2147483647    42788    129 | 18.465 % |
122.19/122.24	c |     43774 |  112808   768476  2208377 | 2147483647    42965    130 | 18.465 % |
122.88/122.91	c |     43967 |  112807   768476  2208377 | 2147483647    43157    130 | 18.466 % |
123.48/123.60	c |     44182 |  112807   768476  2208377 | 2147483647    43372    130 | 18.466 % |
124.18/124.22	c |     44416 |  112769   768060  2207335 | 2147483647    43593    131 | 18.466 % |
124.88/124.99	c |     44672 |  112769   768060  2207335 | 2147483647    43848    131 | 18.569 % |
126.08/126.17	c |     44953 |  112747   768060  2207335 | 2147483647    44126    132 | 18.604 % |
126.88/126.91	c |     45264 |  112737   768060  2207335 | 2147483647    44436    132 | 18.835 % |
128.08/128.20	c |     45607 |  112737   768060  2207335 | 2147483647    44779    133 | 18.835 % |
128.88/128.91	c |     45981 |  112736   768060  2207335 | 2147483647    45152    133 | 18.840 % |
130.28/130.35	c |     46390 |  112735   768060  2207335 | 2147483647    45560    133 | 18.841 % |
132.09/132.13	c |     46839 |  112735   768060  2207335 | 2147483647    46009    134 | 18.841 % |
133.68/133.80	c |     47333 |  112735   768060  2207335 | 2147483647    46503    136 | 18.841 % |
135.58/135.68	c |     47875 |  112246   759860  2184748 | 2147483647    46969    137 | 18.879 % |
137.48/137.56	c |     48472 |  112243   759860  2184748 | 2147483647    47565    140 | 18.879 % |
139.28/139.32	c |     49128 |  112242   759860  2184748 | 2147483647    48220    141 | 18.897 % |
139.48/139.57	c |     49228 |  112242   759860  2184748 | 2147483647    48320    141 | 18.897 % |
139.98/140.06	c |     49339 |  112242   759860  2184748 | 2147483647    48431    142 | 18.897 % |
140.28/140.34	c |     49462 |  112242   759860  2184748 | 2147483647    48554    142 | 18.897 % |
140.58/140.61	c |     49595 |  112242   759860  2184748 | 2147483647    48687    142 | 18.897 % |
141.08/141.14	c |     49745 |  112242   759860  2184748 | 2147483647    48837    142 | 18.897 % |
141.78/141.82	c |     49907 |  112242   759860  2184748 | 2147483647    48999    143 | 18.897 % |
141.99/142.08	c |     50083 |  112242   759860  2184748 | 2147483647    49175    143 | 18.897 % |
142.59/142.70	c |     50278 |  112241   759860  2184748 | 2147483647    49369    144 | 18.898 % |
143.09/143.13	c |     50490 |  112241   759860  2184748 | 2147483647    49581    144 | 18.898 % |
143.79/143.89	c |     50725 |  112239   759860  2184748 | 2147483647    49815    144 | 18.906 % |
144.59/144.63	c |     50982 |  112237   759860  2184748 | 2147483647    50071    144 | 18.914 % |
145.39/145.47	c |     51263 |  112212   759860  2184748 | 2147483647    50350    145 | 18.964 % |
145.89/145.99	c |     51578 |  112080   758660  2181625 | 2147483647    50615    145 | 18.964 % |
146.99/147.04	c |     51918 |  112073   758660  2181625 | 2147483647    50953    145 | 19.007 % |
148.09/148.18	c |     52294 |  112071   758660  2181625 | 2147483647    51328    146 | 19.011 % |
149.49/149.53	c |     52703 |  112071   758660  2181625 | 2147483647    51737    147 | 19.011 % |
150.19/150.31	c |     53154 |  112071   758660  2181625 | 2147483647    52188    147 | 19.011 % |
151.79/151.83	c |     53648 |  112069   758660  2181625 | 2147483647    52680    147 | 19.020 % |
153.09/153.19	c |     54190 |  112068   758660  2181625 | 2147483647    53221    147 | 19.023 % |
154.29/154.35	c |     54786 |  112068   758660  2181625 | 2147483647    53817    147 | 19.023 % |
156.99/157.09	c |     55443 |  111904   756973  2177153 | 2147483647    54359    149 | 19.091 % |
159.09/159.16	c |     56166 |  111904   756973  2177153 | 2147483647    55082    150 | 19.091 % |
159.39/159.48	c |     56266 |  111904   756973  2177153 | 2147483647    55182    150 | 19.091 % |
159.89/159.93	c |     56378 |  111904   756973  2177153 | 2147483647    55294    150 | 19.091 % |
160.09/160.17	c |     56499 |  111903   756973  2177153 | 2147483647    55414    150 | 19.092 % |
160.49/160.56	c |     56634 |  111900   756973  2177153 | 2147483647    55548    150 | 19.099 % |
161.09/161.12	c |     56790 |  111900   756973  2177153 | 2147483647    55704    150 | 19.099 % |
161.49/161.60	c |     56951 |  111731   756973  2177153 | 2147483647    55863    150 | 19.531 % |
162.09/162.16	c |     57128 |  111731   756973  2177153 | 2147483647    56040    150 | 19.531 % |
162.99/163.04	c |     57323 |  111731   756973  2177153 | 2147483647    56235    150 | 19.531 % |
163.99/164.05	c |     57536 |  111730   756973  2177153 | 2147483647    56447    151 | 19.532 % |
164.69/164.78	c |     57770 |  111730   756973  2177153 | 2147483647    56681    151 | 19.532 % |
165.49/165.59	c |     58028 |  111729   756973  2177153 | 2147483647    56938    152 | 19.532 % |
167.49/167.53	c |     58309 |  111729   756973  2177153 | 2147483647    57219    153 | 19.532 % |
168.39/168.44	c |     58618 |  111729   756973  2177153 | 2147483647    57528    154 | 19.532 % |
170.19/170.27	c |     58957 |  111729   756973  2177153 | 2147483647    57867    156 | 19.532 % |
171.19/171.25	c |     59330 |  111729   756973  2177153 | 2147483647    58240    156 | 19.532 % |
172.39/172.49	c |     59739 |  111294   753446  2169147 | 2147483647    58631    157 | 19.532 % |
173.59/173.66	c |     60188 |  111294   753446  2169147 | 2147483647    59080    157 | 19.532 % |
174.59/174.71	c |     60683 |  111294   753446  2169147 | 2147483647    59575    157 | 19.532 % |
176.29/176.32	c |     61226 |  111293   753446  2169147 | 2147483647    60117    158 | 19.533 % |
178.49/178.53	c |     61823 |  111290   753446  2169147 | 2147483647    60711    158 | 19.560 % |
180.19/180.24	c |     62480 |  111280   753446  2169147 | 2147483647    61368    159 | 19.560 % |
181.99/182.05	c |     63204 |  111280   753446  2169147 | 2147483647    62092    160 | 19.560 % |
184.89/185.00	c |     63996 |  111280   753446  2169147 | 2147483647    62884    161 | 19.560 % |
185.19/185.31	c |     64096 |  111280   753446  2169147 | 2147483647    62984    161 | 19.560 % |
185.79/185.90	c |     64206 |  111280   753446  2169147 | 2147483647    63094    162 | 19.560 % |
186.59/186.68	c |     64327 |  111256   753229  2168601 | 2147483647    63198    162 | 19.560 % |
187.29/187.38	c |     64460 |  111256   753229  2168601 | 2147483647    63331    162 | 19.560 % |
187.69/187.79	c |     64610 |  111256   753229  2168601 | 2147483647    63481    162 | 19.560 % |
188.49/188.53	c |     64775 |  111256   753229  2168601 | 2147483647    63646    163 | 19.560 % |
188.89/188.98	c |     64951 |  111256   753229  2168601 | 2147483647    63822    163 | 19.560 % |
189.29/189.34	c |     65144 |  111235   753229  2168601 | 2147483647    64013    162 | 20.078 % |
190.09/190.17	c |     65359 |  111235   753229  2168601 | 2147483647    64228    162 | 20.078 % |
191.09/191.14	c |     65592 |  111235   753229  2168601 | 2147483647    64461    162 | 20.078 % |
191.69/191.80	c |     65850 |  111235   753229  2168601 | 2147483647    64719    162 | 20.078 % |
192.49/192.55	c |     66131 |  111218   753229  2168601 | 2147483647    64999    163 | 20.148 % |
193.89/193.96	c |     66440 |  111217   753229  2168601 | 2147483647    65306    163 | 20.165 % |
194.59/194.63	c |     66779 |  111217   753229  2168601 | 2147483647    65645    163 | 20.165 % |
195.29/195.35	c |     67153 |  111210   753229  2168601 | 2147483647    66016    164 | 20.178 % |
197.48/197.51	c |     67563 |  111210   753229  2168601 | 2147483647    66426    165 | 20.178 % |
198.18/198.25	c |     68017 |  111210   753229  2168601 | 2147483647    66880    165 | 20.178 % |
198.58/198.69	c |     68513 |  111210   753229  2168601 | 2147483647    67376    164 | 20.178 % |
200.58/200.60	c |     69055 |  111210   753229  2168601 | 2147483647    67918    165 | 20.178 % |
203.98/204.08	c |     69653 |  110398   742289  2138734 | 2147483647    68465    167 | 20.188 % |
205.48/205.58	c |     70309 |  110398   742289  2138734 | 2147483647    69121    168 | 20.188 % |
207.98/208.04	c |     71033 |  110398   742289  2138734 | 2147483647    69845    170 | 20.188 % |
212.68/212.79	c |     71826 |  110397   742289  2138734 | 2147483647    70637    172 | 20.189 % |
215.69/215.74	c |     72698 |  110397   742289  2138734 | 2147483647    71509    174 | 20.189 % |
215.98/216.04	c |     72799 |  110397   742289  2138734 | 2147483647    71610    174 | 20.189 % |
216.68/216.71	c |     72909 |  110397   742289  2138734 | 2147483647    71719    175 | 20.191 % |
216.98/217.09	c |     73030 |  110396   742289  2138734 | 2147483647    71840    175 | 20.191 % |
217.58/217.65	c |     73169 |  110396   742289  2138734 | 2147483647    71979    175 | 20.191 % |
218.08/218.16	c |     73315 |  110395   742289  2138734 | 2147483647    72124    175 | 20.192 % |
218.68/218.76	c |     73478 |  110395   742289  2138734 | 2147483647    72287    175 | 20.192 % |
219.18/219.26	c |     73655 |  110395   742289  2138734 | 2147483647    72463    175 | 20.571 % |
219.68/219.73	c |     73849 |  110389   742289  2138734 | 2147483647    72655    175 | 20.583 % |
220.98/221.00	c |     74065 |  110389   742289  2138734 | 2147483647    72871    176 | 20.583 % |
222.18/222.23	c |     74300 |  109841   732571  2111850 | 2147483647    73062    176 | 20.583 % |
222.68/222.76	c |     74556 |  109841   732571  2111850 | 2147483647    73317    176 | 20.617 % |
224.08/224.12	c |     74837 |  109841   732571  2111850 | 2147483647    73598    176 | 20.617 % |
224.88/224.95	c |     75147 |  109841   732571  2111850 | 2147483647    73907    176 | 20.618 % |
225.78/225.85	c |     75487 |  109841   732571  2111850 | 2147483647    74246    176 | 20.628 % |
226.88/226.92	c |     75860 |  109838   732571  2111850 | 2147483647    74619    176 | 20.628 % |
227.88/227.97	c |     76269 |  109837   732571  2111850 | 2147483647    75027    176 | 21.060 % |
229.58/229.66	c |     76718 |  109837   732571  2111850 | 2147483647    75476    178 | 21.060 % |
230.88/230.98	c |     77212 |  109833   732571  2111850 | 2147483647    75969    178 | 21.069 % |
233.18/233.24	c |     77754 |  109833   732571  2111850 | 2147483647    76511    179 | 21.069 % |
234.98/235.07	c |     78351 |  109833   732571  2111850 | 2147483647    77108    180 | 21.069 % |
236.59/236.63	c |     79006 |  109830   732571  2111850 | 2147483647    77760    179 | 21.072 % |
238.68/238.80	c |     79736 |  109824   732571  2111850 | 2147483647    78488    180 | 21.252 % |
240.58/240.67	c |     80533 |  109822   732571  2111850 | 2147483647    79284    181 | 21.258 % |
243.68/243.75	c |     81404 |  108904   719140  2075216 | 2147483647    79856    183 | 21.268 % |
246.58/246.64	c |     82366 |  108904   719140  2075216 | 2147483647    80818    185 | 21.268 % |
246.98/247.05	c |     82469 |  108904   719140  2075216 | 2147483647    80921    185 | 21.268 % |
247.38/247.40	c |     82582 |  108904   719140  2075216 | 2147483647    81034    185 | 21.268 % |
247.59/247.68	c |     82704 |  108904   719140  2075216 | 2147483647    81156    185 | 21.268 % |
248.28/248.39	c |     82837 |  108904   719140  2075216 | 2147483647    81289    185 | 21.268 % |
248.88/249.00	c |     82985 |  108904   719140  2075216 | 2147483647    81437    185 | 21.268 % |
249.18/249.21	c |     83145 |  108904   719140  2075216 | 2147483647    81597    185 | 21.268 % |
249.98/250.01	c |     83322 |  108904   719140  2075216 | 2147483647    81774    185 | 21.268 % |
250.68/250.71	c |     83516 |  108904   719140  2075216 | 2147483647    81968    185 | 21.268 % |
250.89/250.98	c |     83728 |  108904   719140  2075216 | 2147483647    82180    185 | 21.268 % |
251.48/251.58	c |     83965 |  108904   719140  2075216 | 2147483647    82417    185 | 21.268 % |
252.38/252.44	c |     84225 |  108886   719140  2075216 | 2147483647    82676    185 | 21.281 % |
253.98/254.01	c |     84509 |  108886   719140  2075216 | 2147483647    82960    186 | 21.281 % |
255.29/255.36	c |     84819 |  108885   719140  2075216 | 2147483647    83269    187 | 21.285 % |
256.98/257.07	c |     85159 |  108880   719140  2075216 | 2147483647    83606    187 | 21.295 % |
258.48/258.60	c |     85532 |  108824   719140  2075216 | 2147483647    83977    188 | 21.412 % |
260.48/260.56	c |     85945 |  108824   719140  2075216 | 2147483647    84390    189 | 21.412 % |
261.98/262.08	c |     86394 |  108824   719140  2075216 | 2147483647    84839    189 | 21.412 % |
263.68/263.76	c |     86888 |  108824   719140  2075216 | 2147483647    85333    189 | 21.412 % |
266.29/266.40	c |     87432 |  108694   717880  2072423 | 2147483647    85790    190 | 21.412 % |
268.19/268.27	c |     88028 |  108689   717880  2072423 | 2147483647    86383    189 | 21.424 % |
272.19/272.21	c |     88683 |  108689   717880  2072423 | 2147483647    87038    192 | 21.424 % |
275.19/275.23	c |     89407 |  108687   717880  2072423 | 2147483647    87761    193 | 21.433 % |
280.09/280.19	c |     90205 |  108687   717880  2072423 | 2147483647    88559    198 | 21.433 % |
282.59/282.61	c |     91077 |  108687   717880  2072423 | 2147483647    89431    198 | 21.433 % |
285.99/286.07	c |     92035 |  108685   717880  2072423 | 2147483647    90388    200 | 21.439 % |
290.89/290.98	c |     93088 |  108685   717880  2072423 | 2147483647    91439    202 | 21.441 % |
291.39/291.41	c |     93188 |  108685   717880  2072423 | 2147483647    91539    202 | 21.441 % |
291.59/291.64	c |     93298 |  108685   717880  2072423 | 2147483647    91649    202 | 21.441 % |
291.89/291.95	c |     93420 |  108685   717880  2072423 | 2147483647    91771    202 | 21.441 % |
292.29/292.39	c |     93554 |  108685   717880  2072423 | 2147483647    91905    202 | 21.441 % |
292.79/292.83	c |     93704 |  108685   717880  2072423 | 2147483647    92055    202 | 21.441 % |
293.09/293.18	c |     93865 |  108685   717880  2072423 | 2147483647    92216    202 | 21.441 % |
293.49/293.59	c |     94041 |  108654   717608  2071755 | 2147483647    92382    202 | 21.441 % |
293.89/293.93	c |     94238 |  108654   717608  2071755 | 2147483647    92579    202 | 21.441 % |
295.69/295.72	c |     94451 |  108654   717608  2071755 | 2147483647    92792    203 | 21.441 % |
296.29/296.37	c |     94685 |  108654   717608  2071755 | 2147483647    93026    203 | 21.441 % |
297.59/297.67	c |     94941 |  108653   717608  2071755 | 2147483647    93281    203 | 21.443 % |
298.69/298.74	c |     95222 |  108653   717608  2071755 | 2147483647    93562    204 | 21.443 % |
299.69/299.74	c |     95531 |  108653   717608  2071755 | 2147483647    93871    203 | 21.443 % |
301.69/301.79	c |     95871 |  108653   717608  2071755 | 2147483647    94211    204 | 21.443 % |
304.19/304.24	c |     96244 |  108644   717608  2071755 | 2147483647    94582    206 | 21.509 % |
306.19/306.28	c |     96653 |  108641   717608  2071755 | 2147483647    94990    207 | 21.518 % |
308.19/308.27	c |     97102 |  108641   717608  2071755 | 2147483647    95439    208 | 21.518 % |
309.99/310.06	c |     97597 |  108641   717608  2071755 | 2147483647    95934    209 | 21.518 % |
311.49/311.60	c |     98139 |  108641   717608  2071755 | 2147483647    96476    210 | 21.518 % |
313.29/313.31	c |     98739 |  108641   717608  2071755 | 2147483647    97076    210 | 21.518 % |
315.09/315.14	c |     99394 |  108641   717608  2071755 | 2147483647    97731    210 | 21.518 % |
317.59/317.68	c |    100114 |  108637   717608  2071755 | 2147483647    98449    211 | 21.525 % |
320.19/320.21	c |    100907 |  108616   717608  2071755 | 2147483647    99241    212 | 21.646 % |
322.69/322.79	c |    101778 |  108606   717608  2071755 | 2147483647   100107    212 | 21.800 % |
326.69/326.78	c |    102737 |  108605   717608  2071755 | 2147483647   101065    212 | 21.801 % |
329.79/329.84	c |    103791 |  108156   714111  2063324 | 2147483647   102095    214 | 21.801 % |
334.69/334.70	c |    104951 |  108152   714111  2063324 | 2147483647   103254    214 | 21.808 % |
334.79/334.89	c |    105052 |  108152   714111  2063324 | 2147483647   103355    214 | 21.808 % |
335.19/335.22	c |    105163 |  108152   714111  2063324 | 2147483647   103466    214 | 21.808 % |
335.69/335.80	c |    105284 |  108152   714111  2063324 | 2147483647   103587    215 | 21.808 % |
335.99/336.03	c |    105417 |  108152   714111  2063324 | 2147483647   103720    215 | 21.808 % |
336.49/336.57	c |    105569 |  108152   714111  2063324 | 2147483647   103872    215 | 21.808 % |
337.29/337.35	c |    105732 |  108152   714111  2063324 | 2147483647   104035    215 | 21.808 % |
337.69/337.72	c |    105908 |  108152   714111  2063324 | 2147483647   104211    215 | 21.808 % |
338.49/338.58	c |    106101 |  108152   714111  2063324 | 2147483647   104404    215 | 21.808 % |
339.39/339.47	c |    106313 |  108152   714111  2063324 | 2147483647   104616    215 | 21.808 % |
340.09/340.11	c |    106546 |  108152   714111  2063324 | 2147483647   104849    215 | 21.808 % |
340.69/340.73	c |    106802 |  108151   714111  2063324 | 2147483647   105104    215 | 21.961 % |
340.99/341.01	c |    107084 |  108151   714111  2063324 | 2147483647   105386    215 | 21.961 % |
342.99/343.03	c |    107393 |  108151   714111  2063324 | 2147483647   105695    215 | 21.961 % |
343.99/344.06	c |    107732 |  108151   714111  2063324 | 2147483647   106034    216 | 21.961 % |
346.89/346.90	c |    108104 |  108151   714111  2063324 | 2147483647   106406    217 | 21.961 % |
348.29/348.33	c |    108514 |  108151   714111  2063324 | 2147483647   106816    217 | 21.961 % |
349.79/349.81	c |    108964 |  108149   714111  2063324 | 2147483647   107264    217 | 21.968 % |
352.29/352.34	c |    109457 |  108149   714111  2063324 | 2147483647   107756    218 | 21.969 % |
353.29/353.39	c |    110001 |  108149   714111  2063324 | 2147483647   108300    219 | 21.969 % |
354.49/354.58	c |    110598 |  108148   714111  2063324 | 2147483647   108896    219 | 21.970 % |
356.09/356.16	c |    111253 |  108148   714111  2063324 | 2147483647   109551    219 | 21.970 % |
358.39/358.41	c |    111975 |  108119   714111  2063324 | 2147483647   110270    218 | 22.087 % |
362.49/362.50	c |    112768 |  107751   711758  2057523 | 2147483647   110958    219 | 22.103 % |
365.99/366.09	c |    113639 |  107749   711758  2057523 | 2147483647   111827    220 | 22.105 % |
368.09/368.12	c |    114598 |  107747   711758  2057523 | 2147483647   112785    220 | 22.111 % |
372.49/372.56	c |    115651 |  107747   711758  2057523 | 2147483647   113838    220 | 22.111 % |
376.60/376.62	c |    116809 |  107747   711758  2057523 | 2147483647   114996    222 | 22.111 % |
380.20/380.28	c |    118086 |  107743   711758  2057523 | 2147483647   116270    223 | 22.178 % |
380.60/380.65	c |    118187 |  107743   711758  2057523 | 2147483647   116371    223 | 22.178 % |
381.00/381.03	c |    118300 |  107742   711758  2057523 | 2147483647   116483    222 | 22.184 % |
381.20/381.23	c |    118423 |  107742   711758  2057523 | 2147483647   116606    222 | 22.184 % |
382.10/382.17	c |    118558 |  107742   711758  2057523 | 2147483647   116741    223 | 22.184 % |
382.80/382.82	c |    118705 |  107742   711758  2057523 | 2147483647   116888    222 | 22.184 % |
383.30/383.39	c |    118865 |  107739   711758  2057523 | 2147483647   117047    222 | 22.201 % |
383.90/384.00	c |    119042 |  107739   711758  2057523 | 2147483647   117224    222 | 22.201 % |
385.00/385.03	c |    119236 |  107739   711758  2057523 | 2147483647   117418    223 | 22.201 % |
386.21/386.29	c |    119449 |  107739   711758  2057523 | 2147483647   117631    224 | 22.201 % |
387.10/387.13	c |    119682 |  107719   711758  2057523 | 2147483647   117861    224 | 22.603 % |
388.41/388.49	c |    119941 |  107719   711758  2057523 | 2147483647   118120    224 | 22.603 % |
389.70/389.79	c |    120222 |  107718   711758  2057523 | 2147483647   118400    224 | 22.604 % |
390.70/390.73	c |    120533 |  107715   711758  2057523 | 2147483647   118708    224 | 22.610 % |
391.30/391.39	c |    120872 |  107714   711758  2057523 | 2147483647   119046    224 | 22.615 % |
393.01/393.11	c |    121244 |  107713   711758  2057523 | 2147483647   119418    224 | 22.615 % |
394.31/394.41	c |    121653 |  107712   711758  2057523 | 2147483647   119826    224 | 22.620 % |
395.41/395.45	c |    122102 |  107712   711758  2057523 | 2147483647   120275    224 | 22.620 % |
398.31/398.39	c |    122597 |  107712   711758  2057523 | 2147483647   120770    225 | 22.620 % |
401.51/401.61	c |    123141 |  107712   711758  2057523 | 2147483647   121314    227 | 22.620 % |
403.71/403.81	c |    123737 |  106996   700405  2026188 | 2147483647   120635    228 | 22.915 % |
405.61/405.64	c |    124394 |  106995   700405  2026188 | 2147483647   121291    228 | 22.915 % |
409.11/409.19	c |    125114 |  106995   700405  2026188 | 2147483647   122011    229 | 22.915 % |
412.91/412.94	c |    125906 |  106993   700405  2026188 | 2147483647   122801    229 | 22.922 % |
416.71/416.74	c |    126781 |  106989   700405  2026188 | 2147483647   123671    229 | 22.970 % |
421.61/421.63	c |    127739 |  106963   700405  2026188 | 2147483647   124624    230 | 23.142 % |
424.81/424.90	c |    128793 |  106962   700405  2026188 | 2147483647   125676    231 | 23.147 % |
427.41/427.50	c |    129955 |  106961   700405  2026188 | 2147483647   126837    232 | 23.148 % |
433.01/433.07	c |    131231 |  106957   700405  2026188 | 2147483647   128109    234 | 23.160 % |
439.11/439.18	c |    132631 |  106954   700405  2026188 | 2147483647   129507    235 | 23.168 % |
439.51/439.61	c |    132731 |  106954   700405  2026188 | 2147483647   129607    235 | 23.168 % |
439.81/439.88	c |    132841 |  106954   700405  2026188 | 2147483647   129717    235 | 23.168 % |
440.21/440.29	c |    132963 |  106954   700405  2026188 | 2147483647   129839    235 | 23.168 % |
440.91/440.98	c |    133097 |  106954   700405  2026188 | 2147483647   129973    235 | 23.168 % |
441.41/441.51	c |    133243 |  106954   700405  2026188 | 2147483647   130119    235 | 23.168 % |
442.11/442.13	c |    133405 |  106954   700405  2026188 | 2147483647   130281    235 | 23.168 % |
442.91/442.94	c |    133581 |  106954   700405  2026188 | 2147483647   130457    236 | 23.168 % |
443.81/443.82	c |    133777 |  106954   700405  2026188 | 2147483647   130653    236 | 23.168 % |
444.71/444.79	c |    133994 |  106954   700405  2026188 | 2147483647   130870    236 | 23.168 % |
445.61/445.62	c |    134228 |  106954   700405  2026188 | 2147483647   131104    236 | 23.168 % |
446.71/446.79	c |    134489 |  106954   700405  2026188 | 2147483647   131364    236 | 23.332 % |
448.01/448.02	c |    134770 |  106945   700405  2026188 | 2147483647   131645    237 | 23.332 % |
448.91/448.97	c |    135079 |  106944   700405  2026188 | 2147483647   131953    237 | 23.333 % |
450.41/450.47	c |    135418 |  106944   700405  2026188 | 2147483647   132292    237 | 23.333 % |
452.21/452.23	c |    135794 |  106038   693582  2008685 | 2147483647   132405    238 | 23.333 % |
453.81/453.88	c |    136203 |  106034   693582  2008685 | 2147483647   132812    238 | 23.763 % |
455.51/455.60	c |    136652 |  106034   693582  2008685 | 2147483647   133261    239 | 23.763 % |
458.11/458.21	c |    137146 |  106034   693582  2008685 | 2147483647   133755    239 | 23.763 % |
461.51/461.61	c |    137688 |  105998   693582  2008685 | 2147483647   134296    240 | 23.867 % |
463.51/463.60	c |    138286 |  105998   693582  2008685 | 2147483647   134894    240 | 23.867 % |
466.11/466.15	c |    138942 |  105997   693582  2008685 | 2147483647   135549    241 | 23.868 % |
468.61/468.65	c |    139662 |  105996   693582  2008685 | 2147483647   136267    241 | 23.870 % |
472.31/472.39	c |    140455 |  105994   693582  2008685 | 2147483647   137060    242 | 23.870 % |
476.21/476.24	c |    141327 |  105994   693582  2008685 | 2147483647   137932    242 | 23.870 % |
482.21/482.25	c |    142290 |  105992   693582  2008685 | 2147483647   138894    244 | 23.876 % |
487.01/487.11	c |    143344 |  105990   693582  2008685 | 2147483647   139946    244 | 23.882 % |
489.62/489.68	c |    144503 |  105990   693582  2008685 | 2147483647   141105    245 | 23.882 % |
493.71/493.72	c |    145776 |  105986   693582  2008685 | 2147483647   142374    245 | 23.885 % |
499.81/499.82	c |    147176 |  105986   693582  2008685 | 2147483647   143774    247 | 23.885 % |
506.21/506.24	c |    148726 |  105984   693582  2008685 | 2147483647   145321    247 | 23.896 % |
506.81/506.88	c |    148831 |  105259   682456  1978157 | 2147483647   144796    248 | 23.896 % |
507.41/507.42	c |    148941 |  105259   682456  1978157 | 2147483647   144906    248 | 23.896 % |
507.71/507.77	c |    149062 |  105259   682456  1978157 | 2147483647   145027    248 | 23.896 % |
508.21/508.27	c |    149198 |  105258   682456  1978157 | 2147483647   145162    248 | 23.896 % |
508.91/508.96	c |    149344 |  105258   682456  1978157 | 2147483647   145308    248 | 23.896 % |
509.51/509.52	c |    149504 |  105258   682456  1978157 | 2147483647   145468    248 | 23.896 % |
510.21/510.30	c |    149680 |  105258   682456  1978157 | 2147483647   145644    248 | 23.896 % |
510.91/510.98	c |    149873 |  105257   682456  1978157 | 2147483647   145836    248 | 23.915 % |
511.81/511.88	c |    150085 |  105257   682456  1978157 | 2147483647   146048    248 | 23.915 % |
512.51/512.54	c |    150318 |  105257   682456  1978157 | 2147483647   146281    248 | 23.915 % |
513.51/513.57	c |    150574 |  105256   682456  1978157 | 2147483647   146536    248 | 23.915 % |
514.41/514.42	c |    150858 |  105256   682456  1978157 | 2147483647   146820    248 | 23.915 % |
515.81/515.89	c |    151167 |  105255   682456  1978157 | 2147483647   147128    248 | 23.923 % |
516.91/516.93	c |    151512 |  105255   682456  1978157 | 2147483647   147473    248 | 23.923 % |
518.42/518.52	c |    151884 |  105255   682456  1978157 | 2147483647   147845    248 | 23.923 % |
519.82/519.87	c |    152299 |  105255   682456  1978157 | 2147483647   148260    248 | 23.923 % |
520.62/520.66	c |    152748 |  105254   682456  1978157 | 2147483647   148708    248 | 23.928 % |
522.52/522.56	c |    153242 |  105254   682456  1978157 | 2147483647   149202    248 | 23.928 % |
524.52/524.60	c |    153784 |  105254   682456  1978157 | 2147483647   149744    249 | 23.928 % |
526.42/526.46	c |    154380 |  105254   682456  1978157 | 2147483647   150340    249 | 23.928 % |
530.02/530.05	c |    155039 |  105251   682456  1978157 | 2147483647   150998    250 | 23.934 % |
532.22/532.31	c |    155759 |  105250   682456  1978157 | 2147483647   151717    250 | 23.935 % |
534.32/534.39	c |    156557 |  105250   682456  1978157 | 2147483647   152515    250 | 23.935 % |
538.22/538.26	c |    157429 |  105248   682456  1978157 | 2147483647   153385    250 | 23.942 % |
541.12/541.20	c |    158391 |  105247   682456  1978157 | 2147483647   154346    250 | 23.951 % |
543.62/543.69	c |    159444 |  105239   682456  1978157 | 2147483647   155396    250 | 24.003 % |
546.92/546.95	c |    160602 |  105239   682456  1978157 | 2147483647   156554    250 | 24.003 % |
552.42/552.47	c |    161878 |  105239   682456  1978157 | 2147483647   157830    251 | 24.003 % |
558.21/558.22	c |    163278 |  105097   680562  1973007 | 2147483647   158678    251 | 24.013 % |
562.81/562.91	c |    164821 |  105094   680562  1973007 | 2147483647   160217    252 | 24.031 % |
568.61/568.69	c |    166515 |  105062   680562  1973007 | 2147483647   161901    252 | 24.305 % |
568.91/569.01	c |    166616 |  105062   680562  1973007 | 2147483647   162002    252 | 24.305 % |
569.31/569.32	c |    166728 |  105062   680562  1973007 | 2147483647   162114    252 | 24.305 % |
570.21/570.25	c |    166852 |  105062   680562  1973007 | 2147483647   162238    252 | 24.305 % |
570.91/570.95	c |    166985 |  105062   680562  1973007 | 2147483647   162371    252 | 24.305 % |
571.31/571.31	c |    167131 |  105062   680562  1973007 | 2147483647   162517    252 | 24.305 % |
571.41/571.48	c |    167295 |  105062   680562  1973007 | 2147483647   162681    252 | 24.305 % |
572.11/572.13	c |    167475 |  105062   680562  1973007 | 2147483647   162861    252 | 24.305 % |
572.61/572.63	c |    167669 |  105062   680562  1973007 | 2147483647   163055    252 | 24.305 % |
573.31/573.39	c |    167881 |  105052   680562  1973007 | 2147483647   163264    252 | 24.734 % |
574.81/574.86	c |    168116 |  105052   680562  1973007 | 2147483647   163499    252 | 24.734 % |
575.51/575.51	c |    168373 |  105052   680562  1973007 | 2147483647   163756    252 | 24.734 % |
576.01/576.10	c |    168654 |  105052   680562  1973007 | 2147483647   164037    252 | 24.734 % |
577.71/577.73	c |    168964 |  105052   680562  1973007 | 2147483647   164347    253 | 24.734 % |
579.71/579.71	c |    169304 |  105052   680562  1973007 | 2147483647   164686    253 | 24.740 % |
581.11/581.20	c |    169676 |  105052   680562  1973007 | 2147483647   165058    253 | 24.740 % |
582.61/582.69	c |    170087 |  105052   680562  1973007 | 2147483647   165469    253 | 24.740 % |
585.41/585.47	c |    170536 |  105052   680562  1973007 | 2147483647   165918    254 | 24.740 % |
587.21/587.25	c |    171029 |  105052   680562  1973007 | 2147483647   166411    254 | 24.740 % |
590.01/590.11	c |    171571 |  105052   680562  1973007 | 2147483647   166953    254 | 24.740 % |
592.01/592.01	c |    172167 |  105026   680562  1973007 | 2147483647   167548    255 | 24.759 % |
595.31/595.35	c |    172826 |  105024   680562  1973007 | 2147483647   168206    255 | 24.766 % |
599.31/599.32	c |    173549 |  105024   680562  1973007 | 2147483647   168929    256 | 24.766 % |
602.11/602.16	c |    174345 |  105024   680562  1973007 | 2147483647   169725    257 | 24.766 % |
604.81/604.82	c |    175216 |  105024   680562  1973007 | 2147483647   170596    257 | 24.766 % |
607.81/607.91	c |    176174 |  105024   680562  1973007 | 2147483647   171554    258 | 24.766 % |
612.82/612.84	c |    177231 |  105023   680562  1973007 | 2147483647   172610    260 | 24.767 % |
616.91/616.97	c |    178394 |  104049   665252  1930772 | 2147483647   168094    259 | 24.771 % |
621.21/621.25	c |    179667 |  104049   665252  1930772 | 2147483647   169366    260 | 24.771 % |
628.22/628.24	c |    181067 |  104048   665252  1930772 | 2147483647   170765    262 | 24.776 % |
632.91/633.00	c |    182608 |  104046   665252  1930772 | 2147483647   172304    263 | 24.779 % |
638.91/638.94	c |    184303 |  104032   665252  1930772 | 2147483647   173998    263 | 24.897 % |
643.82/643.84	c |    186167 |  104031   665252  1930772 | 2147483647   175861    264 | 24.903 % |
644.02/644.08	c |    186269 |  104031   665252  1930772 | 2147483647   175963    264 | 24.903 % |
644.22/644.26	c |    186379 |  104031   665252  1930772 | 2147483647   176073    264 | 24.903 % |
644.72/644.76	c |    186500 |  104031   665252  1930772 | 2147483647   176194    264 | 24.903 % |
645.42/645.46	c |    186639 |  104031   665252  1930772 | 2147483647   176333    264 | 24.903 % |
646.12/646.14	c |    186785 |  104031   665252  1930772 | 2147483647   176479    264 | 24.903 % |
646.72/646.73	c |    186946 |  104031   665252  1930772 | 2147483647   176640    264 | 24.903 % |
647.22/647.28	c |    187122 |  104031   665252  1930772 | 2147483647   176816    264 | 24.903 % |
648.42/648.44	c |    187315 |  104031   665252  1930772 | 2147483647   177009    265 | 24.903 % |
649.62/649.67	c |    187528 |  104031   665252  1930772 | 2147483647   177222    265 | 24.903 % |
650.42/650.51	c |    187761 |  104030   665252  1930772 | 2147483647   177454    265 | 24.904 % |
651.12/651.14	c |    188019 |  104030   665252  1930772 | 2147483647   177712    265 | 24.904 % |
653.02/653.04	c |    188302 |  104030   665252  1930772 | 2147483647   177994    265 | 24.905 % |
654.02/654.04	c |    188614 |  104026   665252  1930772 | 2147483647   178305    265 | 24.911 % |
656.22/656.30	c |    188955 |  104025   665252  1930772 | 2147483647   178645    266 | 24.912 % |
657.22/657.28	c |    189332 |  104025   665252  1930772 | 2147483647   179022    266 | 24.912 % |
658.22/658.29	c |    189741 |  104025   665252  1930772 | 2147483647   179430    266 | 24.914 % |
659.02/659.04	c |    190192 |  104024   665252  1930772 | 2147483647   179879    265 | 24.916 % |
660.32/660.37	c |    190685 |  104023   665252  1930772 | 2147483647   180372    265 | 24.916 % |
663.42/663.48	c |    191229 |  104022   665252  1930772 | 2147483647   180915    266 | 24.920 % |
665.72/665.72	c |    191826 |  104022   665252  1930772 | 2147483647   181512    266 | 24.920 % |
668.62/668.67	c |    192481 |  104022   665252  1930772 | 2147483647   182166    267 | 24.921 % |
670.82/670.85	c |    193202 |  104022   665252  1930772 | 2147483647   182887    267 | 24.921 % |
675.32/675.33	c |    193997 |  104022   665252  1930772 | 2147483647   183682    268 | 24.921 % |
678.52/678.56	c |    194869 |  104022   665252  1930772 | 2147483647   184554    269 | 24.921 % |
680.72/680.77	c |    195827 |  104022   665252  1930772 | 2147483647   185512    269 | 24.921 % |
685.92/685.99	c |    196882 |  103838   664271  1928560 | 2147483647   183794    270 | 24.923 % |
687.52/687.56	c |    198040 |  103838   664271  1928560 | 2147483647   184952    270 | 24.923 % |
692.42/692.42	c |    199313 |  103838   664271  1928560 | 2147483647   186225    271 | 24.923 % |
698.72/698.73	c |    200713 |  103836   664271  1928560 | 2147483647   187623    271 | 24.930 % |
705.62/705.67	c |    202258 |  103834   664271  1928560 | 2147483647   189163    271 | 24.948 % |
713.22/713.24	c |    203953 |  103830   664271  1928560 | 2147483647   190853    271 | 24.977 % |
722.42/722.45	c |    205817 |  103787   664271  1928560 | 2147483647   192715    271 | 25.081 % |
730.92/730.94	c |    207868 |  103786   664271  1928560 | 2147483647   194764    271 | 25.082 % |
731.22/731.28	c |    207969 |  103786   664271  1928560 | 2147483647   194865    271 | 25.082 % |
731.82/731.81	c |    208081 |  103786   664271  1928560 | 2147483647   194977    271 | 25.082 % |
732.52/732.51	c |    208202 |  103786   664271  1928560 | 2147483647   195098    271 | 25.082 % |
733.12/733.17	c |    208335 |  103786   664271  1928560 | 2147483647   195231    271 | 25.082 % |
733.62/733.68	c |    208482 |  103786   664271  1928560 | 2147483647   195378    271 | 25.082 % |
734.32/734.35	c |    208644 |  103786   664271  1928560 | 2147483647   195540    271 | 25.082 % |
734.72/734.74	c |    208822 |  103786   664271  1928560 | 2147483647   195718    271 | 25.082 % |
735.52/735.55	c |    209015 |  103786   664271  1928560 | 2147483647   195911    271 | 25.082 % |
736.52/736.54	c |    209227 |  103786   664271  1928560 | 2147483647   196123    272 | 25.082 % |
737.52/737.53	c |    209462 |  103786   664271  1928560 | 2147483647   196358    272 | 25.082 % |
738.23/738.24	c |    209720 |  103786   664271  1928560 | 2147483647   196616    272 | 25.082 % |
738.92/738.96	c |    210002 |  103786   664271  1928560 | 2147483647   196898    272 | 25.082 % |
739.62/739.66	c |    210311 |  103786   664271  1928560 | 2147483647   197207    272 | 25.082 % |
740.32/740.35	c |    210650 |  103778   664271  1928560 | 2147483647   197544    271 | 25.125 % |
742.82/742.87	c |    211023 |  103778   664271  1928560 | 2147483647   197917    272 | 25.125 % |
745.12/745.13	c |    211433 |  103778   664271  1928560 | 2147483647   198327    272 | 25.125 % |
746.92/747.00	c |    211883 |  103777   664271  1928560 | 2147483647   198776    272 | 25.126 % |
748.32/748.40	c |    212377 |  103777   664271  1928560 | 2147483647   199270    272 | 25.126 % |
752.12/752.15	c |    212920 |  103558   662662  1924680 | 2147483647   198722    273 | 25.126 % |
754.92/754.91	c |    213519 |  103558   662662  1924680 | 2147483647   199321    274 | 25.126 % |
757.72/757.78	c |    214174 |  103558   662662  1924680 | 2147483647   199976    275 | 25.126 % |
760.02/760.09	c |    214896 |  103558   662662  1924680 | 2147483647   200698    276 | 25.126 % |
763.92/763.97	c |    215688 |  103558   662662  1924680 | 2147483647   201489    276 | 25.126 % |
768.22/768.29	c |    216559 |  103558   662662  1924680 | 2147483647   202360    277 | 25.126 % |
771.53/771.56	c |    217521 |  103557   662662  1924680 | 2147483647   203321    277 | 25.127 % |
774.73/774.79	c |    218575 |  103557   662662  1924680 | 2147483647   204375    277 | 25.127 % |
780.43/780.49	c |    219733 |  103557   662662  1924680 | 2147483647   205533    277 | 25.127 % |
785.33/785.33	c |    221006 |  103553   662662  1924680 | 2147483647   206803    277 | 26.027 % |
791.33/791.40	c |    222408 |  103552   662662  1924680 | 2147483647   208204    278 | 26.027 % |
798.13/798.21	c |    223950 |  103552   662662  1924680 | 2147483647   209746    279 | 26.027 % |
807.33/807.41	c |    225644 |  103550   662662  1924680 | 2147483647   211438    280 | 26.029 % |
815.53/815.52	c |    227507 |  103549   662662  1924680 | 2147483647   213299    281 | 26.030 % |
825.53/825.59	c |    229556 |  103545   662662  1924680 | 2147483647   215345    282 | 26.097 % |
837.23/837.23	c |    231810 |  103542   662662  1924680 | 2147483647   217596    283 | 26.105 % |
837.93/837.97	c |    231912 |  102202   640687  1863359 | 2147483647   217207    283 | 26.106 % |
838.34/838.37	c |    232025 |  102202   640687  1863359 | 2147483647   217320    283 | 26.106 % |
838.93/839.01	c |    232147 |  102201   640687  1863359 | 2147483647   217441    283 | 26.115 % |
839.53/839.54	c |    232281 |  102201   640687  1863359 | 2147483647   217575    283 | 26.115 % |
840.54/840.53	c |    232427 |  102200   640687  1863359 | 2147483647   217720    283 | 26.121 % |
841.64/841.70	c |    232587 |  102200   640687  1863359 | 2147483647   217880    283 | 26.121 % |
842.74/842.78	c |    232763 |  102200   640687  1863359 | 2147483647   218056    283 | 26.121 % |
843.73/843.80	c |    232956 |  102200   640687  1863359 | 2147483647   218249    283 | 26.121 % |
844.53/844.57	c |    233169 |  102198   640687  1863359 | 2147483647   218460    283 | 26.123 % |
845.23/845.26	c |    233403 |  102198   640687  1863359 | 2147483647   218694    283 | 26.123 % |
846.63/846.63	c |    233659 |  102198   640687  1863359 | 2147483647   218950    283 | 26.123 % |
847.73/847.76	c |    233941 |  102198   640687  1863359 | 2147483647   219232    283 | 26.123 % |
848.63/848.62	c |    234250 |  102198   640687  1863359 | 2147483647   219541    283 | 26.123 % |
849.23/849.30	c |    234589 |  102197   640687  1863359 | 2147483647   219879    283 | 26.132 % |
850.63/850.67	c |    234963 |  102197   640687  1863359 | 2147483647   220253    283 | 26.132 % |
852.23/852.29	c |    235375 |  102197   640687  1863359 | 2147483647   220665    283 | 26.132 % |
854.33/854.33	c |    235824 |  102196   640687  1863359 | 2147483647   221113    283 | 26.133 % |
855.94/855.95	c |    236318 |  102196   640687  1863359 | 2147483647   221607    284 | 26.133 % |
858.33/858.38	c |    236862 |  102196   640687  1863359 | 2147483647   222151    284 | 26.133 % |
861.33/861.42	c |    237459 |  102192   640687  1863359 | 2147483647   222744    284 | 26.146 % |
863.23/863.23	c |    238116 |  102192   640687  1863359 | 2147483647   223401    284 | 26.146 % |
867.63/867.65	c |    238838 |  102192   640687  1863359 | 2147483647   224123    286 | 26.146 % |
871.73/871.77	c |    239630 |  102191   640687  1863359 | 2147483647   224914    286 | 26.152 % |
875.74/875.80	c |    240505 |  102191   640687  1863359 | 2147483647   225789    287 | 26.152 % |
879.93/879.95	c |    241465 |  102186   640687  1863359 | 2147483647   226747    286 | 26.158 % |
886.13/886.17	c |    242518 |  102186   640687  1863359 | 2147483647   227800    287 | 26.158 % |
892.03/892.03	c |    243680 |  102183   640687  1863359 | 2147483647   228959    287 | 26.160 % |
897.54/897.56	c |    244953 |  102182   640687  1863359 | 2147483647   230231    288 | 26.161 % |
902.04/902.04	c |    246353 |  102182   640687  1863359 | 2147483647   231631    288 | 26.161 % |
909.44/909.45	c |    247894 |  102182   640687  1863359 | 2147483647   233172    289 | 26.161 % |
911.93/911.99	c |    249590 |  102181   640687  1863359 | 2147483647   234867    288 | 26.162 % |
920.93/920.94	c |    251456 |  102180   640687  1863359 | 2147483647   236731    289 | 26.652 % |
928.13/928.14	c |    253506 |  102177   640687  1863359 | 2147483647   238778    290 | 26.658 % |
938.63/938.70	c |    255762 |  102177   640687  1863359 | 2147483647   241034    293 | 26.658 % |
948.83/948.82	c |    258242 |  101437   629315  1831653 | 2147483647   243389    293 | 26.659 % |
949.53/949.53	c |    258346 |  101437   629315  1831653 | 2147483647   243493    294 | 26.659 % |
950.13/950.12	c |    258457 |  101437   629315  1831653 | 2147483647   243604    294 | 26.659 % |
950.33/950.37	c |    258578 |  101437   629315  1831653 | 2147483647   243725    294 | 26.659 % |
950.73/950.73	c |    258713 |  101437   629315  1831653 | 2147483647   243860    293 | 26.659 % |
951.13/951.15	c |    258859 |  101437   629315  1831653 | 2147483647   244006    293 | 26.659 % |
952.63/952.67	c |    259020 |  101437   629315  1831653 | 2147483647   244167    293 | 26.659 % |
953.53/953.54	c |    259196 |  101437   629315  1831653 | 2147483647   244343    294 | 26.659 % |
954.43/954.50	c |    259393 |  101437   629315  1831653 | 2147483647   244540    294 | 26.659 % |
955.63/955.70	c |    259605 |  101437   629315  1831653 | 2147483647   244752    294 | 26.659 % |
956.73/956.76	c |    259838 |  101437   629315  1831653 | 2147483647   244985    294 | 26.659 % |
957.53/957.59	c |    260094 |  101437   629315  1831653 | 2147483647   245241    294 | 26.659 % |
958.73/958.75	c |    260381 |  101435   629315  1831653 | 2147483647   245526    294 | 26.661 % |
960.73/960.74	c |    260693 |  101435   629315  1831653 | 2147483647   245838    294 | 26.661 % |
962.63/962.65	c |    261033 |  101435   629315  1831653 | 2147483647   246178    295 | 26.661 % |
965.13/965.13	c |    261407 |  101427   629315  1831653 | 2147483647   246551    295 | 26.677 % |
967.13/967.12	c |    261817 |  101427   629315  1831653 | 2147483647   246961    295 | 26.677 % |
969.63/969.62	c |    262266 |  101427   629315  1831653 | 2147483647   247410    295 | 26.677 % |
971.23/971.24	c |    262759 |  101427   629315  1831653 | 2147483647   247903    295 | 26.677 % |
974.33/974.33	c |    263301 |  101427   629315  1831653 | 2147483647   248445    295 | 26.677 % |
976.73/976.80	c |    263898 |  101427   629315  1831653 | 2147483647   249042    296 | 26.677 % |
979.03/979.02	c |    264556 |  101427   629315  1831653 | 2147483647   249700    296 | 26.677 % |
982.83/982.82	c |    265278 |  101427   629315  1831653 | 2147483647   250422    296 | 26.677 % |
986.23/986.31	c |    266078 |  101427   629315  1831653 | 2147483647   251222    296 | 26.677 % |
990.33/990.34	c |    266950 |  101427   629315  1831653 | 2147483647   252094    296 | 26.677 % |
995.43/995.44	c |    267912 |  101425   629315  1831653 | 2147483647   253054    297 | 26.683 % |
1002.33/1002.31	c |    268965 |  101424   629315  1831653 | 2147483647   254106    298 | 26.710 % |
1007.53/1007.51	c |    270124 |  101424   629315  1831653 | 2147483647   255265    298 | 26.710 % |
1012.93/1012.95	c |    271401 |  101424   629315  1831653 | 2147483647   256542    299 | 26.710 % |
1018.63/1018.68	c |    272813 |  101424   629315  1831653 | 2147483647   257954    300 | 26.710 % |
1027.94/1028.01	c |    274359 |  101424   629315  1831653 | 2147483647   259500    300 | 26.710 % |
1034.94/1034.94	c |    276056 |  101424   629315  1831653 | 2147483647   261197    300 | 26.710 % |
1045.24/1045.28	c |    277921 |  101422   629315  1831653 | 2147483647   263060    300 | 26.718 % |
1054.44/1054.44	c |    279970 |  101420   629315  1831653 | 2147483647   265106    301 | 26.720 % |
1064.44/1064.50	c |    282225 |  101418   629315  1831653 | 2147483647   267359    301 | 26.835 % |
1074.34/1074.35	c |    284703 |  101406   629315  1831653 | 2147483647   269834    301 | 26.854 % |
1092.34/1092.39	c |    287434 |  101166   627480  1826880 | 2147483647   272477    304 | 26.855 % |
1093.34/1093.37	c |    287538 |  101166   627480  1826880 | 2147483647   272581    304 | 26.855 % |
1093.94/1094.01	c |    287648 |  101166   627480  1826880 | 2147483647   272691    304 | 26.855 % |
1094.44/1094.46	c |    287770 |  101166   627480  1826880 | 2147483647   272813    304 | 26.855 % |
1095.04/1095.09	c |    287903 |  101166   627480  1826880 | 2147483647   272946    304 | 26.855 % |
1095.54/1095.59	c |    288049 |  101166   627480  1826880 | 2147483647   273092    304 | 26.855 % |
1095.84/1095.82	c |    288210 |  101166   627480  1826880 | 2147483647   273253    304 | 26.855 % |
1096.54/1096.59	c |    288389 |  101166   627480  1826880 | 2147483647   273432    304 | 26.855 % |
1097.74/1097.75	c |    288586 |  101166   627480  1826880 | 2147483647   273629    304 | 26.855 % |
1098.84/1098.85	c |    288799 |  101166   627480  1826880 | 2147483647   273842    304 | 26.855 % |
1099.64/1099.62	c |    289032 |  101165   627480  1826880 | 2147483647   274074    304 | 26.877 % |
1101.14/1101.15	c |    289292 |  101165   627480  1826880 | 2147483647   274334    304 | 26.877 % |
1102.74/1102.77	c |    289582 |  101165   627480  1826880 | 2147483647   274624    304 | 26.877 % |
1104.74/1104.78	c |    289896 |  101165   627480  1826880 | 2147483647   274938    304 | 26.877 % |
1107.14/1107.19	c |    290236 |  101165   627480  1826880 | 2147483647   275278    304 | 26.877 % |
1108.95/1109.00	c |    290609 |  101163   627480  1826880 | 2147483647   275649    304 | 26.883 % |
1110.24/1110.23	c |    291018 |  101163   627480  1826880 | 2147483647   276058    304 | 26.883 % |
1113.54/1113.53	c |    291467 |  101163   627480  1826880 | 2147483647   276507    305 | 26.883 % |
1114.94/1114.92	c |    291962 |  101163   627480  1826880 | 2147483647   277002    305 | 26.883 % |
1116.54/1116.60	c |    292506 |  101162   627480  1826880 | 2147483647   277545    305 | 26.888 % |
1119.54/1119.52	c |    293102 |  101162   627480  1826880 | 2147483647   278140    305 | 26.890 % |
1123.25/1123.24	c |    293757 |  101162   627480  1826880 | 2147483647   278795    305 | 26.890 % |
1127.74/1127.75	c |    294484 |  101162   627480  1826880 | 2147483647   279522    305 | 26.890 % |
1132.54/1132.56	c |    295276 |  101162   627480  1826880 | 2147483647   280314    306 | 26.890 % |
1139.04/1139.03	c |    296147 |  101162   627480  1826880 | 2147483647   281185    306 | 26.890 % |
1143.05/1143.10	c |    297106 |  101162   627480  1826880 | 2147483647   282144    306 | 26.890 % |
1148.55/1148.53	c |    298159 |  101162   627480  1826880 | 2147483647   283197    306 | 26.890 % |
1155.85/1155.83	c |    299317 |  101162   627480  1826880 | 2147483647   284355    306 | 26.890 % |
1163.35/1163.39	c |    300591 |  101161   627480  1826880 | 2147483647   285628    306 | 26.895 % |
1169.85/1169.91	c |    301992 |  101160   627480  1826880 | 2147483647   287028    307 | 26.896 % |
1178.95/1179.01	c |    303533 |  101159   627480  1826880 | 2147483647   288568    307 | 26.896 % |
1187.35/1187.41	c |    305229 |  101150   627480  1826880 | 2147483647   290261    307 | 27.628 % |
1197.15/1197.14	c |    307092 |  101148   627480  1826880 | 2147483647   292122    306 | 27.640 % |

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-1821622-1242544751/watcher-1821622-1242544751 -o /tmp/evaluation-result-1821622-1242544751/solver-1821622-1242544751 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821622-1242544751.cnf 

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


[startup+0 s]
/proc/loadavg: 0.95 1.01 1.00 2/97 25598
/proc/meminfo: memFree=1562088/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2416 CPUtime=0
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 369 645 0 0 0 0 0 0 25 0 1 0 1018976364 2473984 277 4294967295 134512640 135169312 3213653008 3213651544 3085352686 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25598/statm: 604 277 235 161 0 43 0
[pid=25602] ppid=25598 vsize=952 CPUtime=0
/proc/25602/stat : 25602 (SatELite_releas) R 25598 25598 16367 0 -1 4202496 135 0 0 0 0 0 0 0 25 0 1 0 1018976364 974848 71 4294967295 134512640 135223648 3213231008 3213229728 134734703 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25602/statm: 238 73 46 174 0 63 0

[startup+0.107629 s]
/proc/loadavg: 0.95 1.01 1.00 2/97 25598
/proc/meminfo: memFree=1562088/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2416 CPUtime=0
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 369 645 0 0 0 0 0 0 25 0 1 0 1018976364 2473984 277 4294967295 134512640 135169312 3213653008 3213651544 3085352686 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25598/statm: 604 277 235 161 0 43 0
[pid=25602] ppid=25598 vsize=28172 CPUtime=0.11
/proc/25602/stat : 25602 (SatELite_releas) R 25598 25598 16367 0 -1 4202496 6086 0 0 0 9 2 0 0 25 0 1 0 1018976364 28848128 5855 4294967295 134512640 135223648 3213231008 3213229592 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25602/statm: 7043 5856 46 174 0 6868 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 30588

[startup+0.207623 s]
/proc/loadavg: 0.95 1.01 1.00 2/97 25598
/proc/meminfo: memFree=1562088/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2416 CPUtime=0
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 369 645 0 0 0 0 0 0 25 0 1 0 1018976364 2473984 277 4294967295 134512640 135169312 3213653008 3213651544 3085352686 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25598/statm: 604 277 235 161 0 43 0
[pid=25602] ppid=25598 vsize=39764 CPUtime=0.21
/proc/25602/stat : 25602 (SatELite_releas) R 25598 25598 16367 0 -1 4202496 8921 0 0 0 17 4 0 0 25 0 1 0 1018976364 40718336 8690 4294967295 134512640 135223648 3213231008 3213229592 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25602/statm: 9941 8691 46 174 0 9766 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 42180

[startup+0.307618 s]
/proc/loadavg: 0.95 1.01 1.00 2/97 25598
/proc/meminfo: memFree=1562088/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2416 CPUtime=0
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 369 645 0 0 0 0 0 0 25 0 1 0 1018976364 2473984 277 4294967295 134512640 135169312 3213653008 3213651544 3085352686 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25598/statm: 604 277 235 161 0 43 0
[pid=25602] ppid=25598 vsize=51348 CPUtime=0.31
/proc/25602/stat : 25602 (SatELite_releas) R 25598 25598 16367 0 -1 4202496 11666 0 0 0 27 4 0 0 25 0 1 0 1018976364 52580352 11435 4294967295 134512640 135223648 3213231008 3213229960 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25602/statm: 12837 11436 46 174 0 12662 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 53764

[startup+0.707595 s]
/proc/loadavg: 0.95 1.01 1.00 2/97 25598
/proc/meminfo: memFree=1562088/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2416 CPUtime=0
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 369 645 0 0 0 0 0 0 25 0 1 0 1018976364 2473984 277 4294967295 134512640 135169312 3213653008 3213651544 3085352686 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25598/statm: 604 277 235 161 0 43 0
[pid=25602] ppid=25598 vsize=73856 CPUtime=0.71
/proc/25602/stat : 25602 (SatELite_releas) R 25598 25598 16367 0 -1 4202496 17219 0 0 0 60 11 0 0 25 0 1 0 1018976364 75628544 16988 4294967295 134512640 135223648 3213231008 3213229960 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25602/statm: 18464 16988 46 174 0 18289 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 76272

[startup+1.50755 s]
/proc/loadavg: 0.96 1.01 1.00 2/99 25603
/proc/meminfo: memFree=1467228/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2416 CPUtime=0
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 369 645 0 0 0 0 0 0 25 0 1 0 1018976364 2473984 277 4294967295 134512640 135169312 3213653008 3213651544 3085352686 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25598/statm: 604 277 235 161 0 43 0
[pid=25602] ppid=25598 vsize=126772 CPUtime=1.51
/proc/25602/stat : 25602 (SatELite_releas) R 25598 25598 16367 0 -1 4202496 29999 0 0 0 134 17 0 0 25 0 1 0 1018976364 129814528 29768 4294967295 134512640 135223648 3213231008 3213229600 134548979 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25602/statm: 31693 29769 67 174 0 31518 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 129188

[startup+3.10746 s]
/proc/loadavg: 0.96 1.01 1.00 2/99 25604
/proc/meminfo: memFree=1429656/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2416 CPUtime=0
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 369 645 0 0 0 0 0 0 25 0 1 0 1018976364 2473984 277 4294967295 134512640 135169312 3213653008 3213651544 3085352686 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25598/statm: 604 277 235 161 0 43 0
[pid=25602] ppid=25598 vsize=150648 CPUtime=3.11
/proc/25602/stat : 25602 (SatELite_releas) R 25598 25598 16367 0 -1 4202496 39061 0 0 0 290 21 0 0 25 0 1 0 1018976364 154263552 35537 4294967295 134512640 135223648 3213231008 3213229024 134586792 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25602/statm: 37662 35537 73 174 0 37487 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 153064

[startup+6.30728 s]
/proc/loadavg: 0.96 1.01 1.00 3/99 25604
/proc/meminfo: memFree=1412668/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2416 CPUtime=0
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 369 645 0 0 0 0 0 0 25 0 1 0 1018976364 2473984 277 4294967295 134512640 135169312 3213653008 3213651544 3085352686 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25598/statm: 604 277 235 161 0 43 0
[pid=25602] ppid=25598 vsize=151940 CPUtime=6.3
/proc/25602/stat : 25602 (SatELite_releas) R 25598 25598 16367 0 -1 4202496 42721 0 0 0 607 23 0 0 25 0 1 0 1018976364 155586560 35928 4294967295 134512640 135223648 3213231008 3213229024 134587057 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25602/statm: 37985 35928 73 174 0 37810 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 154356

[startup+12.7069 s]
/proc/loadavg: 0.96 1.00 1.00 2/99 25607
/proc/meminfo: memFree=1483428/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=53508 CPUtime=3.38
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 12596 0 0 0 334 4 0 0 25 0 1 0 1018977296 54792192 12481 4294967295 134512640 135215339 3219941984 3219940272 134528899 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25607/statm: 13377 12481 73 172 0 13204 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 55928

[startup+25.5162 s]
/proc/loadavg: 0.97 1.00 1.00 3/99 25608
/proc/meminfo: memFree=1481664/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=55364 CPUtime=16.19
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 13079 0 0 0 1615 4 0 0 25 0 1 0 1018977296 56692736 12964 4294967295 134512640 135215339 3219941984 3219940272 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25607/statm: 13841 12964 73 172 0 13668 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57784

[startup+51.1148 s]
/proc/loadavg: 0.98 1.00 1.00 2/99 25609
/proc/meminfo: memFree=1477244/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=59604 CPUtime=41.79
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 14134 0 0 0 4166 13 0 0 25 0 1 0 1018977296 61034496 14019 4294967295 134512640 135215339 3219941984 3219940272 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25607/statm: 14901 14019 73 172 0 14728 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 62024

[startup+102.312 s]
/proc/loadavg: 0.99 1.00 1.00 3/99 25798
/proc/meminfo: memFree=1465024/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=71324 CPUtime=92.99
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 17066 0 0 0 9284 15 0 0 25 0 1 0 1018977296 73035776 16951 4294967295 134512640 135215339 3219941984 3219940200 134721382 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25607/statm: 17831 16951 73 172 0 17658 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 73744

[startup+162.318 s]
/proc/loadavg: 0.99 1.00 1.00 3/99 25989
/proc/meminfo: memFree=1447492/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=88828 CPUtime=153
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 21426 0 0 0 15281 19 0 0 25 0 1 0 1018977296 90959872 21311 4294967295 134512640 135215339 3219941984 3219940272 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25607/statm: 22207 21311 73 172 0 22034 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 91248

[startup+222.315 s]
/proc/loadavg: 0.99 1.00 1.00 3/99 26175
/proc/meminfo: memFree=1428560/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=107344 CPUtime=213
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 26045 0 0 0 21278 22 0 0 25 0 1 0 1018977296 109920256 25930 4294967295 134512640 135215339 3219941984 3219940048 134538089 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25607/statm: 26836 25930 73 172 0 26663 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 109764

[startup+282.312 s]
/proc/loadavg: 0.99 1.00 1.00 3/99 26363
/proc/meminfo: memFree=1409192/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=127040 CPUtime=273
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 30986 0 0 0 27274 26 0 0 25 0 1 0 1018977296 130088960 30871 4294967295 134512640 135215339 3219941984 3219940272 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25607/statm: 31760 30871 73 172 0 31587 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 129460

[startup+342.308 s]
/proc/loadavg: 0.99 1.00 1.00 2/99 26554
/proc/meminfo: memFree=1388144/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=147848 CPUtime=333
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 36171 0 0 0 33267 33 0 0 25 0 1 0 1018977296 151396352 36056 4294967295 134512640 135215339 3219941984 3219939984 134532824 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25607/statm: 36962 36056 73 172 0 36789 0
Current children cumulated CPU time (s) 342.29

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

/proc/25607/statm: 56582 55655 73 172 0 56409 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 228748

[startup+642.311 s]
/proc/loadavg: 0.99 1.00 1.00 2/99 27497
/proc/meminfo: memFree=1292540/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=244176 CPUtime=633.02
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 60232 0 0 0 63247 55 0 0 25 0 1 0 1018977296 250036224 60117 4294967295 134512640 135215339 3219941984 3219939984 134532711 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 61044 60117 73 172 0 60871 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 246596

[startup+702.318 s]
/proc/loadavg: 1.04 1.01 1.00 2/99 27686
/proc/meminfo: memFree=1271816/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=264300 CPUtime=693.03
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 65302 0 0 0 69244 59 0 0 25 0 1 0 1018977296 270643200 65187 4294967295 134512640 135215339 3219941984 3219940272 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 66075 65187 73 172 0 65902 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 266720

[startup+762.315 s]
/proc/loadavg: 1.05 1.02 1.00 2/99 27873
/proc/meminfo: memFree=1252960/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=282824 CPUtime=753.03
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 69944 0 0 0 75239 64 0 0 25 0 1 0 1018977296 289611776 69829 4294967295 134512640 135215339 3219941984 3219940200 134721382 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 70706 69829 73 172 0 70533 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 285244

[startup+822.321 s]
/proc/loadavg: 1.02 1.02 1.00 2/99 28059
/proc/meminfo: memFree=1232896/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=303472 CPUtime=813.04
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 75013 0 0 0 81237 67 0 0 25 0 1 0 1018977296 310755328 74898 4294967295 134512640 135215339 3219941984 3219940272 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 75868 74898 73 172 0 75695 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 305892

[startup+882.328 s]
/proc/loadavg: 1.00 1.01 1.00 3/99 28247
/proc/meminfo: memFree=1213916/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=322116 CPUtime=873.05
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 79681 0 0 0 87234 71 0 0 25 0 1 0 1018977296 329846784 79566 4294967295 134512640 135215339 3219941984 3219940272 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 80529 79566 73 172 0 80356 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 324536

[startup+942.315 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 28440
/proc/meminfo: memFree=1191116/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=345408 CPUtime=933.04
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 85498 0 0 0 93227 77 0 0 25 0 1 0 1018977296 353697792 85383 4294967295 134512640 135215339 3219941984 3219940272 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 86352 85383 73 172 0 86179 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 347828

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 28629
/proc/meminfo: memFree=1171384/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=364588 CPUtime=993.04
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 90319 0 0 0 99224 80 0 0 25 0 1 0 1018977296 373338112 90204 4294967295 134512640 135215339 3219941984 3219940256 134525670 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 91147 90204 73 172 0 90974 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 367008

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 28816
/proc/meminfo: memFree=1153048/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=383104 CPUtime=1053.05
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 94952 0 0 0 105221 84 0 0 25 0 1 0 1018977296 392298496 94837 4294967295 134512640 135215339 3219941984 3219940272 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 95776 94837 73 172 0 95603 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 385524

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 29002
/proc/meminfo: memFree=1133440/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=402456 CPUtime=1113.05
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 99797 0 0 0 111218 87 0 0 25 0 1 0 1018977296 412114944 99682 4294967295 134512640 135215339 3219941984 3219940272 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 100614 99682 73 172 0 100441 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 404876

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 29190
/proc/meminfo: memFree=1118468/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=417400 CPUtime=1173.06
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 103563 0 0 0 117217 89 0 0 25 0 1 0 1018977296 427417600 103448 4294967295 134512640 135215339 3219941984 3219940272 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 104350 103448 73 172 0 104177 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 419820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 29374
/proc/meminfo: memFree=1114608/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=420568 CPUtime=1190.76
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 104359 0 0 0 118986 90 0 0 25 0 1 0 1018977296 430661632 104244 4294967295 134512640 135215339 3219941984 3219940272 134528728 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 105142 104244 73 172 0 104969 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 422988

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

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

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 29374
/proc/meminfo: memFree=1114608/2074464 swapFree=1949244/1959888
[pid=25598] ppid=25596 vsize=2420 CPUtime=9.29
/proc/25598/stat : 25598 (SatELiteGTI) S 25596 25598 16367 0 -1 4194304 387 48713 0 0 0 0 898 31 20 0 1 0 1018976364 2478080 278 4294967295 134512640 135169312 3213653008 3213649224 3085352686 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25598/statm: 605 278 235 161 0 44 0
[pid=25607] ppid=25598 vsize=420568 CPUtime=1190.76
/proc/25607/stat : 25607 (minisat_static) R 25598 25598 16367 0 -1 4202496 104359 0 0 0 118986 90 0 0 25 0 1 0 1018977296 430661632 104244 4294967295 134512640 135215339 3219941984 3219940272 134528728 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25607/statm: 105142 104244 73 172 0 104969 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 422988

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25598 and gives
#  childrusage.ru_utime.tv_sec=8
#  childrusage.ru_utime.tv_usec=980000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=310000
# CPU time returned by wait4() is 9.29
# 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.05
CPU time (s): 1200.05
CPU user time (s): 1198.84
CPU system time (s): 1.21
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 422988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.98
system time used= 0.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49100
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= 17
involuntary context switches= 12

runsolver used 0.02 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi11 at 2009-05-17 09:19:11
IDJOB=1821622
IDBENCH=71037
IDSOLVER=657
FILE ID=tipi11/1821622-1242544751
PBS_JOBID=
Free space on /tmp= 9610 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821622-1242544751/watcher-1821622-1242544751 -o /tmp/evaluation-result-1821622-1242544751/solver-1821622-1242544751 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821622-1242544751.cnf

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

MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED= 1278796469

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1562336 kB
Buffers:         33972 kB
Cached:         394600 kB
SwapCached:       5248 kB
Active:         236504 kB
Inactive:       203756 kB
HighTotal:     1178688 kB
HighFree:       771176 kB
LowTotal:       895776 kB
LowFree:        791160 kB
SwapTotal:     1959888 kB
SwapFree:      1949244 kB
Dirty:           27996 kB
Writeback:           0 kB
AnonPages:       10904 kB
Mapped:           4992 kB
Slab:            63236 kB
PageTables:        392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    97128 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9582 MiB
End job on tipi11 at 2009-05-17 09:39:16