Trace number 1833905

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

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p1.cnf
MD5SUM9573f6b4001373bab93d1a02f96820d1
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 variables260342
Number of clauses1391257
Sum of the clauses size3358569
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2984984
Number of clauses of size 3327764
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.38/1.48	c ==============================================================================
1.38/1.48	c |           |     ORIGINAL     |              LEARNT              |          |
1.38/1.48	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.38/1.48	c ==============================================================================
1.38/1.48	c |         0 | 1377238  3343680 |  413171       0        0     nan |  0.000 % |
9.69/9.79	c |         0 |  958485  2693825 |      --       0       --      -- |     --   | -116636/37456
9.69/9.79	c ==============================================================================
9.69/9.79	c Result  :   #vars: 138674   #clauses: 958485   #literals: 2693825
9.69/9.79	c CPU time:   9.48256 s
9.69/9.79	c ==============================================================================
10.66/10.78	c This is MiniSat 2.0 beta
10.66/10.78	c WARNING: for repeatability, setting FPU to use double precision
10.66/10.78	c ============================[ Problem Statistics ]=============================
10.66/10.78	c |                                                                             |
10.66/10.78	c |  Number of variables:  138674                                               |
10.66/10.78	c |  Number of clauses:    958485                                               |
11.36/11.43	c |  Parsing time:         0.57         s                                       |
11.36/11.46	c ============================[ Search Statistics ]==============================
11.36/11.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.36/11.46	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.36/11.46	c ===============================================================================
11.36/11.46	c |         0 |  138674   958485  2693825 |   319495        0    nan |  0.000 % |
11.76/11.81	c |       100 |  138668   958485  2693825 |   319495       99     18 |  0.255 % |
12.06/12.18	c |       200 |  138578   958485  2693825 |   319495      197     47 |  0.633 % |
12.26/12.36	c |       300 |  138415   958485  2693825 |   319495      296     40 |  1.405 % |
12.36/12.42	c |       411 |  138383   958485  2693825 |   319495      406     40 |  1.498 % |
12.46/12.57	c |       511 |  138350   958485  2693825 |   319495      506     41 |  1.498 % |
12.66/12.73	c |       621 |  138110   958485  2693825 |   319495      614     37 |  1.899 % |
12.96/13.10	c |       743 |  138110   958485  2693825 |   319495      736     40 |  1.899 % |
13.16/13.25	c |       843 |  136040   934405  2631612 |   319495      828     39 |  1.900 % |
13.36/13.46	c |       953 |  135895   934405  2631612 |   319495      936     38 |  2.422 % |
13.55/13.62	c |      1074 |  135501   934405  2631612 |   319495     1056     43 |  2.918 % |
13.75/13.85	c |      1207 |  135500   934405  2631612 |   319495     1188     43 |  3.016 % |
13.96/14.05	c |      1307 |  135331   934405  2631612 |   319495     1287     43 |  3.557 % |
14.26/14.35	c |      1417 |  135319   934405  2631612 |   319495     1396     43 |  3.789 % |
14.35/14.48	c |      1538 |  135210   934405  2631612 |   319495     1516     43 |  3.971 % |
14.55/14.68	c |      1671 |  135208   934405  2631612 |   319495     1648     42 |  4.007 % |
14.95/15.04	c |      1819 |  132575   915173  2585965 |   319495     1743     45 |  4.398 % |
15.15/15.25	c |      1921 |  132575   915173  2585965 |   319495     1845     48 |  4.398 % |
15.45/15.50	c |      2033 |  132575   915173  2585965 |   319495     1957     51 |  4.398 % |
15.55/15.69	c |      2158 |  132476   915173  2585965 |   319495     2080     51 |  5.553 % |
15.75/15.80	c |      2294 |  132225   915173  2585965 |   319495     2216     51 |  5.553 % |
16.05/16.17	c |      2440 |  132222   915173  2585965 |   319495     2361     51 |  5.563 % |
16.35/16.46	c |      2601 |  132219   915173  2585965 |   319495     2521     57 |  5.573 % |
16.55/16.66	c |      2703 |  132219   915173  2585965 |   319495     2623     60 |  5.573 % |
16.85/16.90	c |      2813 |  130613   902260  2554246 |   319495     2717     62 |  5.813 % |
17.05/17.19	c |      2934 |  130613   902260  2554246 |   319495     2838     60 |  5.813 % |
17.35/17.45	c |      3067 |  130608   902260  2554246 |   319495     2970     60 |  5.822 % |
17.65/17.79	c |      3217 |  130535   902260  2554246 |   319495     3117     60 |  5.977 % |
18.25/18.37	c |      3377 |  130534   902260  2554246 |   319495     3277     59 |  5.977 % |
18.75/18.82	c |      3555 |  130532   902260  2554246 |   319495     3454     60 |  6.026 % |
18.84/18.91	c |      3657 |  130317   900802  2551243 |   319495     3546     59 |  6.026 % |
18.94/19.04	c |      3767 |  130317   900802  2551243 |   319495     3656     59 |  6.026 % |
19.04/19.16	c |      3890 |  130317   900802  2551243 |   319495     3779     59 |  6.026 % |
19.14/19.23	c |      4024 |  130317   900802  2551243 |   319495     3913     59 |  6.026 % |
19.24/19.35	c |      4172 |  130317   900802  2551243 |   319495     4061     62 |  6.026 % |
19.54/19.62	c |      4332 |  130317   900802  2551243 |   319495     4221     63 |  6.026 % |
19.75/19.85	c |      4508 |  130317   900802  2551243 |   319495     4397     62 |  6.026 % |
20.04/20.12	c |      4705 |  130263   900802  2551243 |   319495     4587     64 |  7.040 % |
20.04/20.18	c |      4805 |  130263   900802  2551243 |   319495     4687     64 |  7.040 % |
20.14/20.29	c |      4915 |  130246   900802  2551243 |   319495     4796     63 |  7.051 % |
20.44/20.52	c |      5036 |  130085   900802  2551243 |   319495     4917     63 |  7.051 % |
20.65/20.77	c |      5169 |  130085   900802  2551243 |   319495     5050     64 |  7.051 % |
20.95/21.01	c |      5315 |  128896   885468  2510366 |   319495     5178     64 |  7.051 % |
21.25/21.31	c |      5476 |  128810   885468  2510366 |   319495     5337     64 |  7.202 % |
21.45/21.57	c |      5654 |  128620   885468  2510366 |   319495     5513     65 |  7.347 % |
21.65/21.78	c |      5847 |  128619   885468  2510366 |   319495     5705     64 |  7.358 % |
22.05/22.13	c |      6060 |  128617   885468  2510366 |   319495     5917     66 |  7.367 % |
22.15/22.27	c |      6162 |  128617   885468  2510366 |   319495     6019     66 |  7.367 % |
22.55/22.61	c |      6272 |  128617   885468  2510366 |   319495     6129     67 |  7.367 % |
22.85/22.90	c |      6393 |  128617   885468  2510366 |   319495     6250     67 |  7.367 % |
23.05/23.19	c |      6526 |  128430   882711  2503790 |   319495     6375     67 |  7.793 % |
23.25/23.39	c |      6672 |  128430   882711  2503790 |   319495     6521     67 |  7.793 % |
23.65/23.74	c |      6835 |  128419   882711  2503790 |   319495     6684     67 |  7.793 % |
24.25/24.33	c |      7011 |  128271   882711  2503790 |   319495     6859     67 |  8.182 % |
25.45/25.56	c |      7204 |  128243   882711  2503790 |   319495     7049     66 |  8.480 % |
26.75/26.85	c |      7416 |  126701   867925  2464854 |   319495     7241     66 |  8.753 % |
27.45/27.50	c |      7650 |  125161   859556  2446758 |   319495     7376     67 |  9.744 % |
27.85/27.90	c |      7750 |  125143   859556  2446758 |   319495     7474     67 |  9.817 % |
28.05/28.11	c |      7862 |  125143   859556  2446758 |   319495     7586     67 |  9.817 % |
28.15/28.24	c |      7984 |  125136   859556  2446758 |   319495     7706     68 |  9.835 % |
28.55/28.64	c |      8119 |  125136   859556  2446758 |   319495     7841     69 |  9.835 % |
29.05/29.16	c |      8266 |  125082   859556  2446758 |   319495     7985     69 | 10.734 % |
29.75/29.84	c |      8426 |  125079   859556  2446758 |   319495     8144     69 | 10.941 % |
30.25/30.32	c |      8602 |  123456   848850  2419651 |   319495     8312     68 | 11.027 % |
30.75/30.86	c |      8795 |  123453   848850  2419651 |   319495     8505     69 | 11.027 % |
31.14/31.29	c |      9007 |  123453   848850  2419651 |   319495     8717     69 | 11.027 % |
31.94/32.00	c |      9241 |  123453   848850  2419651 |   319495     8951     72 | 11.027 % |
32.44/32.53	c |      9497 |  123383   848238  2418427 |   319495     9207     78 | 11.027 % |
32.74/32.86	c |      9598 |  123383   848238  2418427 |   319495     9308     79 | 11.027 % |
33.14/33.20	c |      9711 |  123383   848238  2418427 |   319495     9421     80 | 11.027 % |
33.34/33.48	c |      9833 |  123383   848238  2418427 |   319495     9543     79 | 11.027 % |
33.84/33.91	c |      9967 |  123331   848238  2418427 |   319495     9673     78 | 11.369 % |
34.14/34.23	c |     10114 |  123261   848238  2418427 | 2147483647     9818     78 | 11.505 % |
34.54/34.60	c |     10275 |  122719   844849  2410635 | 2147483647     9958     78 | 11.505 % |
34.94/35.04	c |     10451 |  122715   844849  2410635 | 2147483647    10133     78 | 11.530 % |
35.24/35.32	c |     10644 |  122650   844849  2410635 | 2147483647    10324     77 | 11.828 % |
36.04/36.14	c |     10858 |  122514   844849  2410635 | 2147483647    10537     77 | 11.981 % |
36.64/36.72	c |     11095 |  122472   844849  2410635 | 2147483647    10773     77 | 12.329 % |
37.53/37.60	c |     11351 |  121577   838194  2394494 | 2147483647    10934     77 | 12.329 % |
38.23/38.34	c |     11632 |  121559   838194  2394494 | 2147483647    11210     78 | 12.539 % |
38.44/38.58	c |     11732 |  121555   838194  2394494 | 2147483647    11310     78 | 12.539 % |
38.83/38.91	c |     11843 |  121526   838194  2394494 | 2147483647    11420     79 | 12.617 % |
39.33/39.49	c |     11966 |  121033   835198  2387354 | 2147483647    11483     78 | 12.721 % |
39.63/39.78	c |     12099 |  120930   835198  2387354 | 2147483647    11614     78 | 12.847 % |
40.23/40.36	c |     12245 |  120930   835198  2387354 | 2147483647    11760     78 | 12.847 % |
40.73/40.83	c |     12406 |  120738   835198  2387354 | 2147483647    11919     78 | 13.176 % |
41.13/41.27	c |     12583 |  120706   835198  2387354 | 2147483647    12096     78 | 13.176 % |
41.64/41.72	c |     12776 |  120581   835198  2387354 | 2147483647    12287     79 | 13.832 % |
42.23/42.36	c |     12988 |  120581   835198  2387354 | 2147483647    12499     78 | 13.832 % |
42.53/42.62	c |     13221 |  119493   825793  2363970 | 2147483647    12720     77 | 13.832 % |
43.23/43.40	c |     13477 |  119490   825793  2363970 | 2147483647    12975     77 | 13.840 % |
43.94/44.04	c |     13759 |  119490   825793  2363970 | 2147483647    13257     78 | 13.840 % |
44.73/44.81	c |     14069 |  119490   825793  2363970 | 2147483647    13567     79 | 13.840 % |
45.04/45.11	c |     14169 |  119490   825793  2363970 | 2147483647    13667     79 | 13.840 % |
45.33/45.45	c |     14279 |  119481   825694  2363700 | 2147483647    13775     79 | 13.840 % |
45.73/45.80	c |     14401 |  119481   825694  2363700 | 2147483647    13897     80 | 13.840 % |
46.23/46.35	c |     14535 |  119481   825694  2363700 | 2147483647    14031     80 | 13.840 % |
46.53/46.63	c |     14681 |  119479   825694  2363700 | 2147483647    14176     80 | 13.850 % |
47.03/47.15	c |     14843 |  119479   825694  2363700 | 2147483647    14338     80 | 13.850 % |
47.43/47.60	c |     15019 |  119436   825694  2363700 | 2147483647    14512     80 | 13.994 % |
47.93/48.09	c |     15213 |  118838   822352  2355787 | 2147483647    14686     80 | 14.304 % |
48.03/48.18	c |     15425 |  118838   822352  2355787 | 2147483647    14898     80 | 14.304 % |
48.73/48.81	c |     15661 |  118548   822352  2355787 | 2147483647    15130     80 | 14.660 % |
49.53/49.67	c |     15918 |  118547   822352  2355787 | 2147483647    15386     80 | 14.669 % |
50.03/50.17	c |     16199 |  118496   822352  2355787 | 2147483647    15665     79 | 14.774 % |
50.73/50.84	c |     16508 |  118488   822352  2355787 | 2147483647    15973     80 | 14.849 % |
51.53/51.65	c |     16847 |  118082   818916  2348842 | 2147483647    16287     80 | 14.854 % |
51.83/51.92	c |     16947 |  118082   818916  2348842 | 2147483647    16387     80 | 14.854 % |
51.93/52.05	c |     17061 |  118045   818916  2348842 | 2147483647    16498     80 | 14.988 % |
52.23/52.32	c |     17184 |  118021   818916  2348842 | 2147483647    16620     80 | 14.996 % |
52.53/52.68	c |     17318 |  118021   818916  2348842 | 2147483647    16754     80 | 14.996 % |
52.83/53.00	c |     17465 |  118021   818916  2348842 | 2147483647    16901     80 | 14.996 % |
53.13/53.30	c |     17625 |  118021   818916  2348842 | 2147483647    17061     81 | 14.996 % |
53.73/53.80	c |     17802 |  118018   818916  2348842 | 2147483647    17237     81 | 15.005 % |
54.32/54.40	c |     17995 |  117802   817704  2346239 | 2147483647    17420     81 | 15.322 % |
54.52/54.65	c |     18207 |  117759   817704  2346239 | 2147483647    17631     80 | 15.387 % |
55.02/55.13	c |     18441 |  117754   817704  2346239 | 2147483647    17864     80 | 15.395 % |
55.32/55.45	c |     18697 |  117753   817704  2346239 | 2147483647    18119     81 | 15.407 % |
56.13/56.23	c |     18978 |  117750   817704  2346239 | 2147483647    18399     81 | 15.415 % |
56.83/56.93	c |     19287 |  116744   813020  2335109 | 2147483647    18685     81 | 15.949 % |
57.33/57.46	c |     19626 |  116641   813020  2335109 | 2147483647    19022     82 | 16.373 % |
58.33/58.42	c |     20000 |  116631   813020  2335109 | 2147483647    19396     83 | 16.373 % |
58.63/58.74	c |     20100 |  116631   813020  2335109 | 2147483647    19496     84 | 16.373 % |
58.93/59.01	c |     20210 |  116631   813020  2335109 | 2147483647    19606     84 | 16.373 % |
59.13/59.28	c |     20331 |  116624   813020  2335109 | 2147483647    19726     84 | 16.383 % |
59.43/59.51	c |     20465 |  116624   813020  2335109 | 2147483647    19860     84 | 16.383 % |
59.83/59.98	c |     20611 |  116624   813020  2335109 | 2147483647    20006     84 | 16.383 % |
60.23/60.35	c |     20774 |  115764   808117  2324540 | 2147483647    20132     84 | 16.853 % |
60.53/60.61	c |     20950 |  115763   808117  2324540 | 2147483647    20307     84 | 16.854 % |
60.63/60.73	c |     21144 |  115763   808117  2324540 | 2147483647    20501     84 | 16.854 % |
60.93/61.01	c |     21356 |  115761   808117  2324540 | 2147483647    20712     84 | 16.863 % |
61.63/61.77	c |     21589 |  115726   808117  2324540 | 2147483647    20944     85 | 16.866 % |
62.43/62.58	c |     21845 |  115726   808117  2324540 | 2147483647    21200     85 | 16.866 % |
63.02/63.15	c |     22126 |  115726   808117  2324540 | 2147483647    21481     87 | 16.866 % |
63.62/63.75	c |     22436 |  115726   808117  2324540 | 2147483647    21791     88 | 16.866 % |
64.12/64.25	c |     22777 |  115285   805201  2318634 | 2147483647    22114     88 | 16.866 % |
64.43/64.52	c |     23150 |  115283   805201  2318634 | 2147483647    22486     88 | 16.871 % |
65.33/65.48	c |     23561 |  115279   805201  2318634 | 2147483647    22897     89 | 16.871 % |
65.53/65.60	c |     23661 |  115279   805201  2318634 | 2147483647    22997     89 | 16.871 % |
65.73/65.89	c |     23771 |  115279   805201  2318634 | 2147483647    23107     89 | 16.871 % |
66.13/66.23	c |     23892 |  115212   805201  2318634 | 2147483647    23225     88 | 17.416 % |
66.33/66.46	c |     24025 |  115211   805201  2318634 | 2147483647    23357     88 | 17.416 % |
66.83/66.91	c |     24171 |  115179   805201  2318634 | 2147483647    23501     88 | 17.770 % |
67.23/67.38	c |     24331 |  115164   805201  2318634 | 2147483647    23661     88 | 17.770 % |
67.72/67.83	c |     24510 |  114031   792083  2283439 | 2147483647    23758     88 | 17.770 % |
68.13/68.29	c |     24703 |  114030   792083  2283439 | 2147483647    23950     88 | 17.780 % |
68.82/68.93	c |     24915 |  114029   792083  2283439 | 2147483647    24161     88 | 17.781 % |
69.32/69.49	c |     25148 |  114029   792083  2283439 | 2147483647    24394     88 | 17.781 % |
69.62/69.74	c |     25405 |  114029   792083  2283439 | 2147483647    24651     88 | 17.781 % |
70.32/70.46	c |     25686 |  114029   792083  2283439 | 2147483647    24931     89 | 17.819 % |
71.12/71.23	c |     26000 |  114024   792083  2283439 | 2147483647    25243     89 | 17.827 % |
71.82/71.95	c |     26339 |  113890   791568  2282157 | 2147483647    25564     90 | 18.362 % |
72.22/72.36	c |     26712 |  113886   791568  2282157 | 2147483647    25936     90 | 18.370 % |
72.81/72.92	c |     27122 |  113886   791568  2282157 | 2147483647    26346     91 | 18.370 % |
73.52/73.70	c |     27580 |  113880   791568  2282157 | 2147483647    26802     91 | 18.378 % |
73.81/73.99	c |     27681 |  113880   791568  2282157 | 2147483647    26903     92 | 18.378 % |
74.11/74.20	c |     27792 |  113880   791568  2282157 | 2147483647    27014     92 | 18.378 % |
74.21/74.34	c |     27916 |  113880   791568  2282157 | 2147483647    27138     91 | 18.378 % |
74.51/74.65	c |     28049 |  113880   791568  2282157 | 2147483647    27271     92 | 18.378 % |
75.11/75.21	c |     28203 |  113878   791568  2282157 | 2147483647    27423     92 | 18.396 % |
75.51/75.60	c |     28363 |  113875   791568  2282157 | 2147483647    27583     92 | 18.396 % |
76.21/76.31	c |     28539 |  113164   786367  2269274 | 2147483647    27707     94 | 18.396 % |
76.51/76.67	c |     28734 |  113139   786367  2269274 | 2147483647    27900     94 | 18.664 % |
76.91/77.07	c |     28954 |  113139   786367  2269274 | 2147483647    28120     94 | 18.664 % |
77.52/77.63	c |     29190 |  113139   786367  2269274 | 2147483647    28356     95 | 18.664 % |
77.82/77.98	c |     29446 |  113139   786367  2269274 | 2147483647    28612     94 | 18.664 % |
78.52/78.67	c |     29727 |  113138   786367  2269274 | 2147483647    28892     95 | 18.665 % |
79.52/79.68	c |     30036 |  113120   786367  2269274 | 2147483647    29198     94 | 18.757 % |
80.61/80.74	c |     30376 |  113120   786367  2269274 | 2147483647    29538     94 | 18.757 % |
81.32/81.49	c |     30748 |  112662   779354  2250155 | 2147483647    29894     95 | 19.045 % |
82.42/82.55	c |     31157 |  112628   779354  2250155 | 2147483647    30303     96 | 19.045 % |
83.31/83.48	c |     31608 |  112600   779354  2250155 | 2147483647    30753     96 | 19.092 % |
84.81/84.93	c |     32102 |  112600   779354  2250155 | 2147483647    31247     98 | 19.092 % |
84.91/85.07	c |     32202 |  112551   779354  2250155 | 2147483647    31346     97 | 19.185 % |
85.31/85.45	c |     32313 |  112551   779354  2250155 | 2147483647    31457     97 | 19.185 % |
85.81/85.90	c |     32434 |  112551   779354  2250155 | 2147483647    31578     98 | 19.185 % |
86.11/86.25	c |     32567 |  112551   779354  2250155 | 2147483647    31711     98 | 19.185 % |
86.41/86.59	c |     32713 |  112068   774899  2238541 | 2147483647    31795     98 | 19.213 % |
86.51/86.66	c |     32873 |  112068   774899  2238541 | 2147483647    31955     98 | 19.213 % |
86.71/86.85	c |     33050 |  112068   774899  2238541 | 2147483647    32132     98 | 19.213 % |
86.90/87.06	c |     33243 |  112068   774899  2238541 | 2147483647    32325     98 | 19.213 % |
87.60/87.72	c |     33456 |  112067   774899  2238541 | 2147483647    32538     99 | 19.213 % |
88.10/88.24	c |     33689 |  112067   774899  2238541 | 2147483647    32771     98 | 19.213 % |
88.92/89.03	c |     33945 |  112067   774899  2238541 | 2147483647    33027     99 | 19.213 % |
89.61/89.79	c |     34226 |  112067   774899  2238541 | 2147483647    33308     99 | 19.213 % |
90.71/90.87	c |     34537 |  112067   774899  2238541 | 2147483647    33619    100 | 19.213 % |
91.51/91.65	c |     34881 |  112067   774899  2238541 | 2147483647    33963    100 | 19.213 % |
92.01/92.14	c |     35253 |  112029   774612  2237860 | 2147483647    34318    101 | 19.219 % |
92.91/93.04	c |     35664 |  112027   774612  2237860 | 2147483647    34726    102 | 19.434 % |
94.51/94.62	c |     36113 |  111861   774612  2237860 | 2147483647    35173    104 | 19.741 % |
95.81/95.99	c |     36607 |  111856   774612  2237860 | 2147483647    35666    105 | 19.751 % |
97.30/97.45	c |     37149 |  111828   774612  2237860 | 2147483647    36206    106 | 20.368 % |
97.50/97.60	c |     37250 |  110429   763911  2211284 | 2147483647    36244    106 | 20.368 % |
97.71/97.83	c |     37368 |  110429   763911  2211284 | 2147483647    36362    106 | 20.368 % |
98.20/98.30	c |     37489 |  110428   763911  2211284 | 2147483647    36482    107 | 20.369 % |
98.30/98.46	c |     37622 |  110428   763911  2211284 | 2147483647    36615    107 | 20.369 % |
98.70/98.84	c |     37768 |  110428   763911  2211284 | 2147483647    36761    107 | 20.369 % |
99.00/99.13	c |     37928 |  110428   763911  2211284 | 2147483647    36921    107 | 20.369 % |
99.50/99.62	c |     38104 |  110428   763911  2211284 | 2147483647    37097    107 | 20.369 % |
100.01/100.12	c |     38300 |  110428   763911  2211284 | 2147483647    37293    107 | 20.369 % |
100.40/100.55	c |     38512 |  110428   763911  2211284 | 2147483647    37505    107 | 20.369 % |
101.20/101.37	c |     38747 |  110427   763911  2211284 | 2147483647    37739    107 | 20.369 % |
101.80/102.00	c |     39005 |  110427   763911  2211284 | 2147483647    37997    108 | 20.369 % |
103.30/103.42	c |     39291 |  110427   763911  2211284 | 2147483647    38283    109 | 20.369 % |
104.00/104.17	c |     39603 |  110425   763904  2211270 | 2147483647    38591    109 | 20.371 % |
104.50/104.66	c |     39942 |  110425   763904  2211270 | 2147483647    38930    109 | 20.371 % |
105.50/105.60	c |     40314 |  110417   763904  2211270 | 2147483647    39299    108 | 20.431 % |
106.70/106.85	c |     40723 |  110403   763904  2211270 | 2147483647    39696    109 | 20.506 % |
107.60/107.71	c |     41172 |  110402   763904  2211270 | 2147483647    40144    109 | 20.509 % |
108.29/108.46	c |     41666 |  110395   763904  2211270 | 2147483647    40637    110 | 20.517 % |
109.81/109.93	c |     42211 |  109049   743334  2154760 | 2147483647    41015    111 | 21.363 % |
111.20/111.32	c |     42807 |  109049   743334  2154760 | 2147483647    41610    112 | 21.379 % |
111.40/111.59	c |     42907 |  109044   743334  2154760 | 2147483647    41710    112 | 21.379 % |
111.80/111.96	c |     43018 |  109043   743334  2154760 | 2147483647    41820    112 | 21.380 % |
112.20/112.30	c |     43139 |  109043   743334  2154760 | 2147483647    41941    112 | 21.380 % |
112.60/112.70	c |     43272 |  109043   743334  2154760 | 2147483647    42074    112 | 21.380 % |
113.00/113.16	c |     43418 |  109029   743334  2154760 | 2147483647    42218    112 | 21.390 % |
113.60/113.73	c |     43582 |  109028   743334  2154760 | 2147483647    42381    113 | 21.398 % |
113.90/114.04	c |     43760 |  109028   743334  2154760 | 2147483647    42559    113 | 21.398 % |
114.40/114.57	c |     43953 |  109028   743334  2154760 | 2147483647    42752    113 | 21.398 % |
114.90/115.04	c |     44165 |  109028   743334  2154760 | 2147483647    42964    113 | 21.398 % |
115.20/115.34	c |     44400 |  109028   743334  2154760 | 2147483647    43199    114 | 21.398 % |
116.00/116.16	c |     44656 |  109028   743334  2154760 | 2147483647    43455    114 | 21.398 % |
116.50/116.66	c |     44937 |  109028   743334  2154760 | 2147483647    43736    115 | 21.398 % |
117.70/117.83	c |     45251 |  109000   742969  2153794 | 2147483647    44038    115 | 21.532 % |
118.60/118.77	c |     45591 |  108994   742969  2153794 | 2147483647    44377    116 | 21.536 % |
119.60/119.75	c |     45963 |  108964   742969  2153794 | 2147483647    44746    116 | 21.897 % |
120.60/120.77	c |     46377 |  108929   742969  2153794 | 2147483647    45159    116 | 21.902 % |
121.39/121.53	c |     46829 |  108910   742969  2153794 | 2147483647    45609    117 | 22.110 % |
122.99/123.13	c |     47322 |  108907   742969  2153794 | 2147483647    46102    118 | 22.110 % |
124.49/124.66	c |     47865 |  108010   729356  2116667 | 2147483647    46576    119 | 22.115 % |
125.50/125.67	c |     48461 |  108010   729356  2116667 | 2147483647    47172    119 | 22.115 % |
127.10/127.20	c |     49117 |  108008   729356  2116667 | 2147483647    47826    119 | 22.127 % |
127.20/127.38	c |     49217 |  108008   729356  2116667 | 2147483647    47926    119 | 22.127 % |
127.50/127.63	c |     49327 |  108007   729356  2116667 | 2147483647    48035    119 | 22.127 % |
127.70/127.80	c |     49448 |  108004   729356  2116667 | 2147483647    48155    119 | 22.238 % |
128.10/128.22	c |     49581 |  107988   729356  2116667 | 2147483647    48288    119 | 22.238 % |
128.40/128.55	c |     49731 |  107988   729356  2116667 | 2147483647    48438    120 | 22.238 % |
128.80/128.95	c |     49894 |  107978   729356  2116667 | 2147483647    48599    120 | 22.275 % |
129.50/129.60	c |     50075 |  107978   729356  2116667 | 2147483647    48780    121 | 22.275 % |
130.09/130.21	c |     50270 |  107962   729356  2116667 | 2147483647    48975    121 | 22.275 % |
130.39/130.56	c |     50485 |  107962   729356  2116667 | 2147483647    49190    121 | 22.275 % |
130.80/130.93	c |     50718 |  107784   727021  2110349 | 2147483647    49360    122 | 22.275 % |
131.09/131.27	c |     50974 |  107783   727021  2110349 | 2147483647    49615    121 | 22.276 % |
132.29/132.48	c |     51256 |  107776   727021  2110349 | 2147483647    49896    122 | 22.315 % |
132.99/133.17	c |     51569 |  107776   727021  2110349 | 2147483647    50209    122 | 22.315 % |
133.79/133.99	c |     51908 |  107776   727021  2110349 | 2147483647    50548    123 | 22.315 % |
134.89/135.04	c |     52280 |  107776   727021  2110349 | 2147483647    50920    123 | 22.315 % |
135.49/135.60	c |     52689 |  107776   727021  2110349 | 2147483647    51329    123 | 22.315 % |
136.58/136.70	c |     53141 |  107776   727021  2110349 | 2147483647    51781    124 | 22.315 % |
137.98/138.11	c |     53635 |  107776   727021  2110349 | 2147483647    52275    125 | 22.315 % |
139.29/139.44	c |     54177 |  107776   727021  2110349 | 2147483647    52817    127 | 22.315 % |
140.39/140.57	c |     54776 |  107728   726815  2109911 | 2147483647    53415    127 | 22.316 % |
141.79/141.99	c |     55435 |  107727   726815  2109911 | 2147483647    54073    128 | 22.316 % |
143.28/143.45	c |     56155 |  107680   726815  2109911 | 2147483647    54789    128 | 22.451 % |
143.48/143.60	c |     56260 |  107680   726815  2109911 | 2147483647    54894    128 | 22.451 % |
143.58/143.74	c |     56376 |  107679   726815  2109911 | 2147483647    55009    128 | 22.452 % |
143.88/144.01	c |     56501 |  107679   726815  2109911 | 2147483647    55134    129 | 22.452 % |
144.08/144.27	c |     56635 |  107679   726815  2109911 | 2147483647    55268    128 | 22.452 % |
144.58/144.78	c |     56782 |  107679   726815  2109911 | 2147483647    55415    129 | 22.452 % |
145.08/145.20	c |     56942 |  107671   726815  2109911 | 2147483647    55573    129 | 22.509 % |
145.58/145.72	c |     57120 |  107655   726815  2109911 | 2147483647    55751    129 | 22.509 % |
145.88/146.03	c |     57313 |  107655   726815  2109911 | 2147483647    55944    129 | 22.509 % |
146.58/146.74	c |     57525 |  107652   726815  2109911 | 2147483647    56154    129 | 22.518 % |
146.78/146.95	c |     57759 |  107652   726815  2109911 | 2147483647    56387    129 | 22.562 % |
147.68/147.87	c |     58016 |  107634   726815  2109911 | 2147483647    56644    130 | 22.562 % |
148.18/148.38	c |     58297 |  107387   724180  2103057 | 2147483647    56863    130 | 22.562 % |
149.18/149.37	c |     58607 |  107387   724180  2103057 | 2147483647    57173    130 | 22.562 % |
150.88/151.08	c |     58954 |  107385   724180  2103057 | 2147483647    57519    131 | 22.567 % |
151.48/151.69	c |     59326 |  107385   724180  2103057 | 2147483647    57891    131 | 22.567 % |
152.68/152.84	c |     59738 |  107385   724180  2103057 | 2147483647    58303    132 | 22.567 % |
153.67/153.86	c |     60188 |  107385   724180  2103057 | 2147483647    58753    133 | 22.567 % |
154.28/154.46	c |     60681 |  107385   724180  2103057 | 2147483647    59246    133 | 22.567 % |
155.78/155.93	c |     61225 |  107384   724180  2103057 | 2147483647    59789    133 | 22.575 % |
157.98/158.10	c |     61825 |  107384   724180  2103057 | 2147483647    60388    135 | 22.576 % |
159.58/159.74	c |     62482 |  107379   724180  2103057 | 2147483647    61044    136 | 22.585 % |
162.48/162.61	c |     63202 |  107354   723902  2102317 | 2147483647    61747    139 | 22.590 % |
163.98/164.10	c |     63995 |  107354   723902  2102317 | 2147483647    62540    140 | 22.590 % |
164.28/164.44	c |     64095 |  107354   723902  2102317 | 2147483647    62640    140 | 22.590 % |
164.48/164.63	c |     64206 |  107354   723902  2102317 | 2147483647    62751    140 | 22.590 % |
164.78/164.90	c |     64327 |  107354   723902  2102317 | 2147483647    62872    140 | 22.590 % |
164.98/165.18	c |     64465 |  107352   723902  2102317 | 2147483647    63009    140 | 22.595 % |
165.57/165.78	c |     64611 |  107352   723902  2102317 | 2147483647    63155    140 | 22.595 % |
165.88/166.03	c |     64771 |  107352   723902  2102317 | 2147483647    63315    140 | 22.595 % |
166.07/166.27	c |     64949 |  107352   723902  2102317 | 2147483647    63493    140 | 22.595 % |
167.08/167.21	c |     65143 |  107349   723902  2102317 | 2147483647    63686    140 | 22.603 % |
168.07/168.28	c |     65356 |  107349   723902  2102317 | 2147483647    63899    141 | 22.603 % |
168.88/169.03	c |     65590 |  107282   723902  2102317 | 2147483647    64132    141 | 22.707 % |
169.78/169.95	c |     65846 |  107282   723902  2102317 | 2147483647    64388    142 | 22.707 % |
170.87/171.04	c |     66127 |  107282   723902  2102317 | 2147483647    64669    142 | 22.707 % |
171.57/171.73	c |     66436 |  107184   722657  2099097 | 2147483647    64923    142 | 22.708 % |
172.87/173.08	c |     66780 |  107184   722657  2099097 | 2147483647    65267    143 | 22.708 % |
174.77/174.92	c |     67155 |  107184   722657  2099097 | 2147483647    65642    144 | 22.708 % |
175.57/175.76	c |     67565 |  107184   722657  2099097 | 2147483647    66052    145 | 22.708 % |
176.67/176.82	c |     68015 |  107182   722657  2099097 | 2147483647    66501    145 | 22.717 % |
178.17/178.38	c |     68508 |  107179   722657  2099097 | 2147483647    66993    146 | 22.723 % |
179.28/179.49	c |     69052 |  107179   722657  2099097 | 2147483647    67537    147 | 22.723 % |
181.28/181.47	c |     69648 |  107162   722657  2099097 | 2147483647    68130    147 | 22.790 % |
182.97/183.14	c |     70305 |  107037   722657  2099097 | 2147483647    68785    148 | 22.952 % |
185.37/185.53	c |     71026 |  107037   722657  2099097 | 2147483647    69506    150 | 22.952 % |
188.37/188.51	c |     71822 |  107037   722657  2099097 | 2147483647    70302    153 | 22.952 % |
190.17/190.38	c |     72694 |  106844   721109  2095534 | 2147483647    71117    156 | 22.955 % |
190.46/190.67	c |     72799 |  106843   721109  2095534 | 2147483647    71222    156 | 22.955 % |
190.86/191.07	c |     72912 |  106817   721109  2095534 | 2147483647    71332    156 | 22.993 % |
191.17/191.36	c |     73033 |  106817   721109  2095534 | 2147483647    71453    156 | 22.993 % |
191.36/191.55	c |     73167 |  106817   721109  2095534 | 2147483647    71587    156 | 22.993 % |
191.57/191.78	c |     73314 |  106813   721109  2095534 | 2147483647    71733    156 | 22.999 % |
191.97/192.11	c |     73475 |  106813   721109  2095534 | 2147483647    71894    156 | 22.999 % |
192.67/192.84	c |     73653 |  106811   721109  2095534 | 2147483647    72071    156 | 23.004 % |
192.97/193.17	c |     73848 |  106811   721109  2095534 | 2147483647    72266    156 | 23.004 % |
193.57/193.73	c |     74061 |  106811   721109  2095534 | 2147483647    72479    156 | 23.004 % |
193.97/194.15	c |     74295 |  106811   721109  2095534 | 2147483647    72713    156 | 23.004 % |
194.67/194.88	c |     74559 |  106811   721109  2095534 | 2147483647    72977    157 | 23.004 % |
195.07/195.27	c |     74842 |  106811   721109  2095534 | 2147483647    73260    156 | 23.004 % |
195.76/195.90	c |     75157 |  106811   721109  2095534 | 2147483647    73575    157 | 23.004 % |
196.26/196.48	c |     75496 |  106811   721109  2095534 | 2147483647    73914    157 | 23.004 % |
197.56/197.76	c |     75872 |  106811   721109  2095534 | 2147483647    74290    158 | 23.004 % |
198.66/198.84	c |     76281 |  106811   721109  2095534 | 2147483647    74699    158 | 23.004 % |
199.66/199.89	c |     76730 |  106810   721109  2095534 | 2147483647    75147    158 | 23.004 % |
202.17/202.33	c |     77226 |  106810   721109  2095534 | 2147483647    75643    159 | 23.004 % |
203.66/203.87	c |     77768 |  106809   721109  2095534 | 2147483647    76184    160 | 23.012 % |
205.06/205.27	c |     78380 |  106809   721109  2095534 | 2147483647    76796    160 | 23.012 % |
207.06/207.28	c |     79037 |  106809   721109  2095534 | 2147483647    77453    160 | 23.012 % |
209.86/210.00	c |     79757 |  106762   720310  2093490 | 2147483647    78133    162 | 23.012 % |
212.96/213.15	c |     80549 |  106762   720310  2093490 | 2147483647    78925    164 | 23.012 % |
214.66/214.89	c |     81420 |  106762   720310  2093490 | 2147483647    79796    166 | 23.012 % |
219.36/219.51	c |     82378 |  106761   720310  2093490 | 2147483647    80753    170 | 23.013 % |
219.66/219.88	c |     82479 |  106761   720310  2093490 | 2147483647    80854    170 | 23.013 % |
220.16/220.32	c |     82592 |  106761   720310  2093490 | 2147483647    80967    170 | 23.013 % |
220.46/220.64	c |     82715 |  106761   720310  2093490 | 2147483647    81090    170 | 23.013 % |
220.76/220.98	c |     82848 |  106761   720310  2093490 | 2147483647    81223    170 | 23.013 % |
221.16/221.34	c |     82994 |  106761   720310  2093490 | 2147483647    81369    170 | 23.013 % |
221.36/221.57	c |     83154 |  106761   720310  2093490 | 2147483647    81529    170 | 23.013 % |
222.16/222.37	c |     83330 |  106761   720310  2093490 | 2147483647    81705    171 | 23.013 % |
222.85/223.07	c |     83525 |  106761   720310  2093490 | 2147483647    81900    171 | 23.013 % |
223.65/223.84	c |     83738 |  106761   720310  2093490 | 2147483647    82113    171 | 23.013 % |
224.35/224.50	c |     83971 |  106761   720310  2093490 | 2147483647    82346    171 | 23.013 % |
225.05/225.29	c |     84229 |  106761   720310  2093490 | 2147483647    82604    171 | 23.013 % |
226.66/226.82	c |     84511 |  106756   720310  2093490 | 2147483647    82884    172 | 23.020 % |
227.36/227.51	c |     84820 |  106756   720310  2093490 | 2147483647    83193    172 | 23.020 % |
227.76/227.99	c |     85160 |  106756   720310  2093490 | 2147483647    83533    172 | 23.020 % |
229.35/229.50	c |     85532 |  106751   720217  2093245 | 2147483647    83894    173 | 23.020 % |
230.55/230.76	c |     85941 |  106751   720217  2093245 | 2147483647    84303    174 | 23.020 % |
231.65/231.90	c |     86396 |  106751   720217  2093245 | 2147483647    84758    176 | 23.020 % |
233.15/233.37	c |     86890 |  106749   720217  2093245 | 2147483647    85251    177 | 23.030 % |
234.65/234.82	c |     87432 |  106749   720217  2093245 | 2147483647    85793    177 | 23.030 % |
235.65/235.86	c |     88028 |  106749   720217  2093245 | 2147483647    86389    177 | 23.030 % |
239.56/239.74	c |     88683 |  106749   720217  2093245 | 2147483647    87044    178 | 23.030 % |
242.85/243.05	c |     89404 |  106749   720217  2093245 | 2147483647    87765    180 | 23.030 % |
244.95/245.13	c |     90203 |  106749   720217  2093245 | 2147483647    88564    181 | 23.030 % |
247.35/247.52	c |     91077 |  106749   720217  2093245 | 2147483647    89437    181 | 23.032 % |
251.04/251.29	c |     92035 |  106723   720217  2093245 | 2147483647    90394    183 | 23.074 % |
253.15/253.39	c |     93088 |  106723   720217  2093245 | 2147483647    91447    184 | 23.074 % |
253.55/253.73	c |     93188 |  106677   719385  2091265 | 2147483647    91477    184 | 23.074 % |
253.85/254.05	c |     93298 |  106677   719385  2091265 | 2147483647    91587    184 | 23.074 % |
254.15/254.30	c |     93422 |  106677   719385  2091265 | 2147483647    91711    184 | 23.074 % |
254.75/254.97	c |     93556 |  106677   719385  2091265 | 2147483647    91845    184 | 23.074 % |
255.35/255.57	c |     93702 |  106677   719385  2091265 | 2147483647    91991    185 | 23.074 % |
255.84/256.05	c |     93865 |  106677   719385  2091265 | 2147483647    92154    185 | 23.074 % |
256.15/256.35	c |     94041 |  106677   719385  2091265 | 2147483647    92330    185 | 23.074 % |
256.75/256.96	c |     94235 |  106677   719385  2091265 | 2147483647    92524    185 | 23.074 % |
257.84/258.04	c |     94451 |  106677   719385  2091265 | 2147483647    92740    185 | 23.074 % |
258.44/258.60	c |     94684 |  106677   719385  2091265 | 2147483647    92973    185 | 23.074 % |
259.84/260.03	c |     94941 |  106677   719385  2091265 | 2147483647    93230    186 | 23.074 % |
260.84/261.06	c |     95225 |  106677   719385  2091265 | 2147483647    93514    186 | 23.074 % |
261.24/261.47	c |     95534 |  106677   719385  2091265 | 2147483647    93823    186 | 23.074 % |
262.14/262.32	c |     95876 |  106676   719385  2091265 | 2147483647    94163    186 | 23.088 % |
263.14/263.30	c |     96249 |  106664   719385  2091265 | 2147483647    94535    186 | 23.095 % |
263.94/264.15	c |     96658 |  106664   719385  2091265 | 2147483647    94944    187 | 23.095 % |
264.64/264.86	c |     97108 |  106664   719385  2091265 | 2147483647    95394    187 | 23.095 % |
266.74/266.98	c |     97601 |  106663   719385  2091265 | 2147483647    95886    188 | 23.096 % |
269.14/269.40	c |     98143 |  106661   719385  2091265 | 2147483647    96426    189 | 23.103 % |
270.74/270.95	c |     98741 |  106661   719385  2091265 | 2147483647    97024    189 | 23.103 % |
271.74/271.96	c |     99402 |  106354   719385  2091265 | 2147483647    97683    189 | 23.418 % |
272.74/272.94	c |    100122 |  106354   719385  2091265 | 2147483647    98403    190 | 23.418 % |
273.74/273.99	c |    100914 |  106354   719385  2091265 | 2147483647    99195    192 | 23.418 % |
276.74/276.98	c |    101785 |  106352   719385  2091265 | 2147483647   100066    192 | 23.418 % |
278.04/278.29	c |    102745 |  106352   719385  2091265 | 2147483647   101026    191 | 23.418 % |
282.83/283.05	c |    103801 |  106196   717504  2087127 | 2147483647   102041    192 | 23.433 % |
285.74/285.93	c |    104959 |  106176   717504  2087127 | 2147483647   103196    192 | 23.793 % |
285.84/286.09	c |    105060 |  106176   717504  2087127 | 2147483647   103297    192 | 23.793 % |
286.14/286.35	c |    105171 |  106176   717504  2087127 | 2147483647   103408    192 | 23.793 % |
286.44/286.61	c |    105292 |  106176   717504  2087127 | 2147483647   103529    191 | 23.793 % |
286.73/286.95	c |    105425 |  106176   717504  2087127 | 2147483647   103662    191 | 23.793 % |
287.03/287.29	c |    105572 |  106176   717504  2087127 | 2147483647   103809    191 | 23.793 % |
287.53/287.78	c |    105736 |  106176   717504  2087127 | 2147483647   103973    191 | 23.793 % |
288.13/288.38	c |    105913 |  106175   717504  2087127 | 2147483647   104149    191 | 23.798 % |
288.63/288.80	c |    106106 |  106175   717504  2087127 | 2147483647   104342    191 | 23.798 % |
289.04/289.27	c |    106320 |  106172   717504  2087127 | 2147483647   104553    191 | 23.800 % |
289.73/289.93	c |    106555 |  106172   717504  2087127 | 2147483647   104788    191 | 23.800 % |
291.13/291.36	c |    106813 |  106172   717504  2087127 | 2147483647   105046    192 | 23.800 % |
292.14/292.30	c |    107094 |  106172   717504  2087127 | 2147483647   105327    192 | 23.800 % |
292.64/292.82	c |    107408 |  106172   717504  2087127 | 2147483647   105641    192 | 23.800 % |
293.13/293.32	c |    107749 |  106171   717504  2087127 | 2147483647   105981    192 | 23.803 % |
294.83/295.08	c |    108124 |  106170   717504  2087127 | 2147483647   106356    192 | 23.803 % |
296.13/296.34	c |    108535 |  106169   717504  2087127 | 2147483647   106766    192 | 23.811 % |
297.83/298.05	c |    108985 |  106169   717504  2087127 | 2147483647   107216    192 | 23.811 % |
298.93/299.13	c |    109478 |  106169   717504  2087127 | 2147483647   107709    193 | 23.811 % |
300.22/300.46	c |    110021 |  106169   717504  2087127 | 2147483647   108252    193 | 23.811 % |
301.83/302.05	c |    110617 |  106169   717504  2087127 | 2147483647   108848    194 | 23.811 % |
304.63/304.88	c |    111272 |  106169   717504  2087127 | 2147483647   109503    194 | 23.811 % |
306.23/306.42	c |    111992 |  105653   708137  2061139 | 2147483647   110163    195 | 23.818 % |
309.12/309.39	c |    112787 |  105651   708137  2061139 | 2147483647   110957    196 | 23.819 % |
313.62/313.89	c |    113658 |  105649   708137  2061139 | 2147483647   111827    197 | 23.946 % |
316.92/317.19	c |    114616 |  105648   708137  2061139 | 2147483647   112784    198 | 23.947 % |
319.52/319.75	c |    115669 |  105648   708137  2061139 | 2147483647   113836    198 | 23.955 % |
321.62/321.85	c |    116835 |  105647   708137  2061139 | 2147483647   115001    198 | 23.956 % |
328.52/328.77	c |    118108 |  105647   708137  2061139 | 2147483647   116274    201 | 23.956 % |
328.82/329.02	c |    118215 |  105647   708137  2061139 | 2147483647   116381    201 | 23.956 % |
329.22/329.43	c |    118326 |  105647   708137  2061139 | 2147483647   116492    201 | 23.956 % |
329.42/329.66	c |    118447 |  105647   708137  2061139 | 2147483647   116613    201 | 23.956 % |
330.02/330.25	c |    118581 |  105647   708137  2061139 | 2147483647   116747    201 | 23.956 % |
330.41/330.62	c |    118729 |  105647   708137  2061139 | 2147483647   116895    201 | 23.956 % |
331.01/331.21	c |    118889 |  105647   708137  2061139 | 2147483647   117055    201 | 23.956 % |
331.41/331.64	c |    119066 |  105646   708137  2061139 | 2147483647   117231    201 | 23.957 % |
332.21/332.49	c |    119265 |  105646   708137  2061139 | 2147483647   117430    201 | 23.957 % |
332.71/332.93	c |    119479 |  105646   708137  2061139 | 2147483647   117644    201 | 23.957 % |
334.01/334.21	c |    119718 |  105646   708137  2061139 | 2147483647   117883    201 | 23.957 % |
334.81/335.02	c |    119977 |  105646   708137  2061139 | 2147483647   118142    201 | 23.957 % |
336.01/336.21	c |    120262 |  105646   708137  2061139 | 2147483647   118427    202 | 23.957 % |
337.32/337.54	c |    120573 |  105646   708137  2061139 | 2147483647   118738    202 | 23.957 % |
338.52/338.74	c |    120913 |  105444   706772  2057787 | 2147483647   119041    202 | 23.966 % |
339.41/339.68	c |    121286 |  105442   706772  2057787 | 2147483647   119413    202 | 23.973 % |
342.11/342.31	c |    121696 |  105441   706772  2057787 | 2147483647   119822    203 | 23.974 % |
343.31/343.50	c |    122148 |  105438   706772  2057787 | 2147483647   120271    203 | 23.989 % |
346.71/346.95	c |    122642 |  105400   706772  2057787 | 2147483647   120764    204 | 24.093 % |
348.21/348.40	c |    123184 |  105400   706772  2057787 | 2147483647   121306    203 | 24.093 % |
349.41/349.62	c |    123780 |  105400   706772  2057787 | 2147483647   121902    203 | 24.093 % |
350.61/350.83	c |    124437 |  105400   706772  2057787 | 2147483647   122559    203 | 24.093 % |
352.31/352.50	c |    125157 |  105400   706772  2057787 | 2147483647   123279    203 | 24.093 % |
354.30/354.56	c |    125950 |  105398   706772  2057787 | 2147483647   124069    203 | 24.109 % |
358.10/358.34	c |    126822 |  105398   706772  2057787 | 2147483647   124941    204 | 24.109 % |
360.91/361.19	c |    127780 |  105398   706772  2057787 | 2147483647   125899    204 | 24.109 % |
364.81/365.03	c |    128833 |  105398   706772  2057787 | 2147483647   126952    204 | 24.109 % |
370.51/370.77	c |    129991 |  105398   706772  2057787 | 2147483647   128110    206 | 24.109 % |
373.80/374.09	c |    131268 |  105397   706772  2057787 | 2147483647   129386    206 | 24.110 % |
378.90/379.12	c |    132668 |  105391   706772  2057787 | 2147483647   130784    207 | 24.118 % |
379.40/379.64	c |    132768 |  105229   703516  2048943 | 2147483647   130301    208 | 24.118 % |
379.60/379.83	c |    132878 |  105229   703516  2048943 | 2147483647   130411    208 | 24.118 % |
380.00/380.23	c |    133011 |  105229   703516  2048943 | 2147483647   130544    208 | 24.118 % |
380.31/380.58	c |    133145 |  105229   703516  2048943 | 2147483647   130678    208 | 24.118 % |
381.00/381.20	c |    133292 |  105229   703516  2048943 | 2147483647   130825    208 | 24.118 % |
381.60/381.83	c |    133452 |  105228   703516  2048943 | 2147483647   130984    208 | 24.118 % |
382.50/382.73	c |    133628 |  105228   703516  2048943 | 2147483647   131160    208 | 24.118 % |
383.30/383.51	c |    133821 |  105228   703516  2048943 | 2147483647   131353    209 | 24.118 % |
384.00/384.27	c |    134035 |  105228   703516  2048943 | 2147483647   131567    209 | 24.118 % |
385.30/385.58	c |    134268 |  105228   703516  2048943 | 2147483647   131800    209 | 24.118 % |
386.19/386.49	c |    134529 |  105228   703516  2048943 | 2147483647   132061    209 | 24.118 % |
386.90/387.15	c |    134810 |  105228   703516  2048943 | 2147483647   132342    209 | 24.118 % |
387.59/387.85	c |    135119 |  105228   703516  2048943 | 2147483647   132651    210 | 24.118 % |
389.10/389.31	c |    135466 |  105228   703516  2048943 | 2147483647   132998    210 | 24.118 % |
390.00/390.28	c |    135841 |  105228   703516  2048943 | 2147483647   133373    210 | 24.118 % |
391.70/391.90	c |    136255 |  105228   703516  2048943 | 2147483647   133787    210 | 24.118 % |
393.30/393.55	c |    136705 |  105227   703516  2048943 | 2147483647   134236    210 | 24.119 % |
394.40/394.69	c |    137206 |  105227   703516  2048943 | 2147483647   134737    210 | 24.119 % |
396.69/396.99	c |    137749 |  105226   703516  2048943 | 2147483647   135279    211 | 24.120 % |
399.00/399.27	c |    138350 |  105225   703516  2048943 | 2147483647   135879    211 | 24.121 % |
401.00/401.21	c |    139006 |  105224   703516  2048943 | 2147483647   136534    211 | 24.121 % |
402.70/402.91	c |    139728 |  105221   703516  2048943 | 2147483647   137254    211 | 24.131 % |
405.19/405.41	c |    140524 |  105221   703516  2048943 | 2147483647   138050    212 | 24.131 % |
408.49/408.71	c |    141399 |  105219   703516  2048943 | 2147483647   138923    212 | 24.143 % |
410.99/411.24	c |    142357 |  105218   703516  2048943 | 2147483647   139880    213 | 24.152 % |
414.79/415.03	c |    143410 |  105215   703516  2048943 | 2147483647   140932    214 | 24.157 % |
419.09/419.33	c |    144573 |  105215   703516  2048943 | 2147483647   142095    215 | 24.157 % |
424.79/425.05	c |    145848 |  105215   703516  2048943 | 2147483647   143370    216 | 24.157 % |
427.69/427.93	c |    147249 |  105175   703054  2047755 | 2147483647   144753    218 | 24.157 % |
435.39/435.64	c |    148789 |  105171   703054  2047755 | 2147483647   146290    219 | 24.165 % |
435.79/436.06	c |    148889 |  105171   703054  2047755 | 2147483647   146390    219 | 24.165 % |
436.29/436.52	c |    148999 |  105171   703054  2047755 | 2147483647   146500    219 | 24.165 % |
436.89/437.15	c |    149122 |  105169   703054  2047755 | 2147483647   146621    219 | 24.174 % |
437.29/437.58	c |    149256 |  105169   703054  2047755 | 2147483647   146755    219 | 24.174 % |
437.69/437.98	c |    149404 |  105169   703054  2047755 | 2147483647   146903    219 | 24.174 % |
438.39/438.62	c |    149566 |  105167   703054  2047755 | 2147483647   147064    219 | 24.180 % |
439.29/439.54	c |    149744 |  105167   703054  2047755 | 2147483647   147242    219 | 24.180 % |
439.99/440.29	c |    149937 |  105166   703054  2047755 | 2147483647   147434    219 | 24.180 % |
440.79/441.06	c |    150150 |  105166   703054  2047755 | 2147483647   147647    219 | 24.180 % |
441.38/441.65	c |    150383 |  105166   703054  2047755 | 2147483647   147879    219 | 24.343 % |
441.89/442.20	c |    150639 |  105165   703054  2047755 | 2147483647   148135    219 | 24.343 % |
443.18/443.41	c |    150920 |  105165   703054  2047755 | 2147483647   148416    219 | 24.343 % |
444.28/444.52	c |    151230 |  105161   703054  2047755 | 2147483647   148723    218 | 24.354 % |
445.68/445.90	c |    151576 |  105064   703054  2047755 | 2147483647   149068    219 | 24.496 % |
447.88/448.16	c |    151950 |  105064   703054  2047755 | 2147483647   149442    220 | 24.496 % |
449.48/449.72	c |    152361 |  105052   703054  2047755 | 2147483647   149852    220 | 24.523 % |
450.88/451.18	c |    152810 |  105052   703054  2047755 | 2147483647   150301    220 | 24.523 % |
452.89/453.12	c |    153303 |  105052   703054  2047755 | 2147483647   150794    220 | 24.523 % |
456.08/456.33	c |    153848 |  105052   703054  2047755 | 2147483647   151339    221 | 24.523 % |
457.98/458.27	c |    154446 |  105052   703054  2047755 | 2147483647   151937    222 | 24.523 % |
460.18/460.43	c |    155101 |  105037   703054  2047755 | 2147483647   152591    222 | 24.568 % |
462.48/462.74	c |    155821 |  105034   703054  2047755 | 2147483647   153310    223 | 24.573 % |
464.27/464.60	c |    156613 |  105034   703054  2047755 | 2147483647   154102    223 | 24.573 % |
467.57/467.81	c |    157484 |  105026   703054  2047755 | 2147483647   154972    223 | 24.586 % |
469.98/470.23	c |    158442 |  105025   703054  2047755 | 2147483647   155929    223 | 24.595 % |
471.68/471.93	c |    159496 |  104565   698772  2036881 | 2147483647   156677    223 | 24.597 % |
474.17/474.45	c |    160655 |  104565   698772  2036881 | 2147483647   157836    223 | 24.597 % |
480.77/481.03	c |    161933 |  104563   698772  2036881 | 2147483647   159113    224 | 24.646 % |
484.17/484.45	c |    163335 |  104563   698772  2036881 | 2147483647   160515    225 | 24.646 % |
491.86/492.18	c |    164878 |  104560   698772  2036881 | 2147483647   162056    226 | 24.981 % |
497.17/497.46	c |    166581 |  104560   698772  2036881 | 2147483647   163759    228 | 24.981 % |
497.26/497.58	c |    166685 |  104560   698772  2036881 | 2147483647   163863    228 | 24.981 % |
497.46/497.70	c |    166795 |  104560   698772  2036881 | 2147483647   163973    228 | 24.981 % |
498.16/498.43	c |    166916 |  104560   698772  2036881 | 2147483647   164094    228 | 24.981 % |
498.76/499.05	c |    167049 |  104560   698772  2036881 | 2147483647   164227    228 | 24.981 % |
499.26/499.53	c |    167195 |  104559   698772  2036881 | 2147483647   164372    227 | 24.986 % |
500.36/500.69	c |    167355 |  104559   698772  2036881 | 2147483647   164531    228 | 24.987 % |
500.86/501.17	c |    167531 |  104559   698772  2036881 | 2147483647   164707    228 | 24.987 % |
502.06/502.39	c |    167728 |  104559   698772  2036881 | 2147483647   164903    228 | 24.996 % |
503.26/503.54	c |    167941 |  104555   698772  2036881 | 2147483647   165111    228 | 25.014 % |
504.06/504.34	c |    168178 |  104554   698772  2036881 | 2147483647   165348    228 | 25.014 % |
505.06/505.31	c |    168434 |  104554   698772  2036881 | 2147483647   165604    228 | 25.014 % |
505.46/505.73	c |    168715 |  104554   698772  2036881 | 2147483647   165885    228 | 25.014 % |
506.96/507.28	c |    169024 |  104554   698772  2036881 | 2147483647   166194    228 | 25.014 % |
508.86/509.16	c |    169364 |  104554   698772  2036881 | 2147483647   166534    228 | 25.014 % |
509.96/510.27	c |    169739 |  104554   698772  2036881 | 2147483647   166909    229 | 25.014 % |
510.86/511.19	c |    170149 |  104554   698772  2036881 | 2147483647   167319    228 | 25.014 % |
512.37/512.60	c |    170599 |  104553   698772  2036881 | 2147483647   167767    228 | 25.018 % |
513.26/513.54	c |    171094 |  104553   698772  2036881 | 2147483647   168262    228 | 25.018 % |
515.16/515.45	c |    171636 |  104551   698772  2036881 | 2147483647   168801    228 | 25.021 % |
517.56/517.87	c |    172233 |  104551   698772  2036881 | 2147483647   169398    229 | 25.021 % |
519.25/519.56	c |    172888 |  104550   698772  2036881 | 2147483647   170052    228 | 25.022 % |
521.36/521.68	c |    173608 |  104549   698772  2036881 | 2147483647   170770    228 | 25.186 % |
525.15/525.49	c |    174400 |  104549   698772  2036881 | 2147483647   171562    229 | 25.186 % |
527.95/528.22	c |    175271 |  103691   687937  2007533 | 2147483647   172138    229 | 25.227 % |
532.06/532.30	c |    176234 |  103658   687937  2007533 | 2147483647   173099    230 | 25.569 % |
533.96/534.29	c |    177295 |  103658   687937  2007533 | 2147483647   174160    230 | 25.569 % |
538.45/538.70	c |    178453 |  103656   687937  2007533 | 2147483647   175316    230 | 25.570 % |
544.25/544.54	c |    179730 |  103655   687937  2007533 | 2147483647   176592    232 | 25.572 % |
547.45/547.72	c |    181130 |  103654   687937  2007533 | 2147483647   177991    233 | 25.573 % |
552.95/553.28	c |    182671 |  103648   687937  2007533 | 2147483647   179528    234 | 25.589 % |
558.14/558.43	c |    184366 |  103648   687937  2007533 | 2147483647   181223    235 | 25.589 % |
565.24/565.56	c |    186235 |  103642   687937  2007533 | 2147483647   183086    236 | 25.902 % |
565.94/566.20	c |    186335 |  103642   687937  2007533 | 2147483647   183186    236 | 25.902 % |
566.74/567.03	c |    186447 |  103642   687937  2007533 | 2147483647   183298    236 | 25.902 % |
567.04/567.37	c |    186568 |  103642   687937  2007533 | 2147483647   183419    236 | 25.902 % |
567.44/567.77	c |    186704 |  103642   687937  2007533 | 2147483647   183555    236 | 25.902 % |
568.14/568.45	c |    186850 |  103642   687937  2007533 | 2147483647   183701    236 | 25.902 % |
568.94/569.21	c |    187010 |  103642   687937  2007533 | 2147483647   183861    236 | 25.902 % |
569.84/570.15	c |    187187 |  103638   687937  2007533 | 2147483647   184037    236 | 26.026 % |
570.54/570.85	c |    187381 |  103638   687937  2007533 | 2147483647   184231    236 | 26.026 % |
571.24/571.52	c |    187594 |  103638   687937  2007533 | 2147483647   184444    236 | 26.026 % |
571.94/572.29	c |    187827 |  103638   687937  2007533 | 2147483647   184677    236 | 26.026 % |
572.75/573.10	c |    188084 |  103638   687937  2007533 | 2147483647   184934    236 | 26.026 % |
573.44/573.76	c |    188365 |  103638   687937  2007533 | 2147483647   185215    236 | 26.026 % |
574.14/574.46	c |    188675 |  103638   687937  2007533 | 2147483647   185525    237 | 26.026 % |
576.05/576.39	c |    189017 |  103638   687937  2007533 | 2147483647   185867    237 | 26.026 % |
577.74/578.01	c |    189390 |  103637   687937  2007533 | 2147483647   186239    237 | 26.029 % |
579.34/579.67	c |    189801 |  103637   687937  2007533 | 2147483647   186650    237 | 26.029 % |
581.24/581.55	c |    190256 |  103637   687937  2007533 | 2147483647   187105    237 | 26.029 % |
582.84/583.14	c |    190749 |  103635   687937  2007533 | 2147483647   187596    238 | 26.036 % |
584.84/585.10	c |    191294 |  103635   687937  2007533 | 2147483647   188141    238 | 26.036 % |
586.54/586.89	c |    191891 |  103635   687937  2007533 | 2147483647   188738    239 | 26.036 % |
589.24/589.51	c |    192550 |  103634   687937  2007533 | 2147483647   189396    239 | 26.041 % |
591.93/592.21	c |    193270 |  103634   687937  2007533 | 2147483647   190116    240 | 26.041 % |
594.13/594.45	c |    194062 |  103634   687937  2007533 | 2147483647   190908    240 | 26.041 % |
597.73/598.00	c |    194939 |  103634   687937  2007533 | 2147483647   191785    241 | 26.041 % |
601.23/601.55	c |    195899 |  102562   670122  1958036 | 2147483647   189466    241 | 26.041 % |
605.03/605.30	c |    196952 |  102561   670122  1958036 | 2147483647   190518    241 | 26.042 % |
610.32/610.61	c |    198113 |  102560   670122  1958036 | 2147483647   191676    241 | 26.052 % |
614.83/615.10	c |    199391 |  102559   670122  1958036 | 2147483647   192952    241 | 26.053 % |
618.13/618.42	c |    200791 |  102559   670122  1958036 | 2147483647   194352    242 | 26.053 % |
622.93/623.24	c |    202331 |  102559   670122  1958036 | 2147483647   195892    244 | 26.053 % |
628.32/628.61	c |    204027 |  102557   670122  1958036 | 2147483647   197586    245 | 26.060 % |
636.32/636.69	c |    205891 |  102557   670122  1958036 | 2147483647   199450    245 | 26.060 % |
641.12/641.49	c |    207940 |  102548   670122  1958036 | 2147483647   201499    245 | 26.060 % |
641.32/641.62	c |    208041 |  102548   670122  1958036 | 2147483647   201600    245 | 26.060 % |
641.72/642.00	c |    208151 |  102548   670122  1958036 | 2147483647   201710    245 | 26.060 % |
642.12/642.41	c |    208272 |  102548   670122  1958036 | 2147483647   201831    245 | 26.060 % |
642.22/642.52	c |    208405 |  102548   670122  1958036 | 2147483647   201964    245 | 26.060 % |
642.62/642.94	c |    208551 |  102547   670122  1958036 | 2147483647   202109    245 | 26.061 % |
642.82/643.11	c |    208713 |  102547   670122  1958036 | 2147483647   202271    245 | 26.061 % |
643.52/643.89	c |    208890 |  102539   670122  1958036 | 2147483647   202447    245 | 26.188 % |
644.32/644.60	c |    209083 |  102539   670122  1958036 | 2147483647   202640    245 | 26.188 % |
645.02/645.38	c |    209295 |  102538   670122  1958036 | 2147483647   202851    244 | 26.192 % |
646.11/646.47	c |    209528 |  102538   670122  1958036 | 2147483647   203084    245 | 26.192 % |
647.12/647.40	c |    209786 |  102538   670122  1958036 | 2147483647   203342    245 | 26.192 % |
647.72/648.02	c |    210070 |  102538   670122  1958036 | 2147483647   203626    245 | 26.192 % |
648.32/648.66	c |    210383 |  102535   670122  1958036 | 2147483647   203936    245 | 26.206 % |
649.92/650.28	c |    210728 |  102525   670122  1958036 | 2147483647   204281    245 | 26.206 % |
652.22/652.53	c |    211102 |  102525   670122  1958036 | 2147483647   204655    245 | 26.206 % |
653.52/653.82	c |    211512 |  102524   670122  1958036 | 2147483647   205064    245 | 26.207 % |
655.52/655.82	c |    211961 |  102519   670122  1958036 | 2147483647   205512    245 | 26.214 % |
658.01/658.32	c |    212454 |  102513   670122  1958036 | 2147483647   206004    245 | 26.221 % |
659.91/660.21	c |    212997 |  102512   670122  1958036 | 2147483647   206546    245 | 26.254 % |
662.61/662.97	c |    213593 |  102512   670122  1958036 | 2147483647   207142    246 | 26.254 % |
664.51/664.83	c |    214248 |  102512   670122  1958036 | 2147483647   207797    245 | 26.254 % |
667.62/667.96	c |    214968 |  102511   670122  1958036 | 2147483647   208516    245 | 26.255 % |
670.81/671.18	c |    215760 |  102511   670122  1958036 | 2147483647   209308    246 | 26.255 % |
674.31/674.63	c |    216636 |  102511   670122  1958036 | 2147483647   210184    246 | 26.255 % |
676.91/677.23	c |    217594 |  102264   668574  1954503 | 2147483647   210996    246 | 26.256 % |
683.60/683.99	c |    218648 |  102264   668574  1954503 | 2147483647   212050    247 | 26.256 % |
687.01/687.33	c |    219806 |  102264   668574  1954503 | 2147483647   213208    248 | 26.256 % |
694.31/694.61	c |    221079 |  102263   668574  1954503 | 2147483647   214480    249 | 26.257 % |
701.40/701.71	c |    222482 |  102259   668574  1954503 | 2147483647   215881    250 | 26.265 % |
708.11/708.41	c |    224024 |  102253   668574  1954503 | 2147483647   217422    251 | 26.270 % |
716.29/716.66	c |    225720 |  102253   668574  1954503 | 2147483647   219118    251 | 26.270 % |
724.30/724.68	c |    227583 |  102251   668574  1954503 | 2147483647   220980    251 | 26.274 % |
735.19/735.50	c |    229635 |  102251   668574  1954503 | 2147483647   223032    254 | 26.274 % |
744.09/744.46	c |    231892 |  102250   668574  1954503 | 2147483647   225288    255 | 26.275 % |
744.30/744.66	c |    231993 |  102250   668574  1954503 | 2147483647   225389    255 | 26.275 % |
744.49/744.86	c |    232104 |  102250   668574  1954503 | 2147483647   225500    255 | 26.275 % |
744.79/745.14	c |    232226 |  102250   668574  1954503 | 2147483647   225622    255 | 26.275 % |
745.59/745.91	c |    232359 |  102250   668574  1954503 | 2147483647   225755    255 | 26.275 % |
746.79/747.18	c |    232505 |  102250   668574  1954503 | 2147483647   225901    255 | 26.275 % |
747.38/747.74	c |    232665 |  102250   668574  1954503 | 2147483647   226061    255 | 26.275 % |
747.78/748.10	c |    232843 |  102250   668574  1954503 | 2147483647   226239    255 | 26.275 % |
748.69/749.03	c |    233036 |  102250   668574  1954503 | 2147483647   226432    255 | 26.275 % |
749.98/750.35	c |    233250 |  102249   668574  1954503 | 2147483647   226645    255 | 26.280 % |
750.99/751.37	c |    233489 |  102249   668574  1954503 | 2147483647   226884    255 | 26.280 % |
752.49/752.89	c |    233749 |  102249   668574  1954503 | 2147483647   227144    255 | 26.280 % |
753.99/754.37	c |    234032 |  102249   668574  1954503 | 2147483647   227427    255 | 26.280 % |
755.48/755.80	c |    234341 |  102249   668574  1954503 | 2147483647   227736    256 | 26.280 % |
756.68/757.09	c |    234680 |  102249   668574  1954503 | 2147483647   228075    256 | 26.280 % |
757.68/758.01	c |    235053 |  102249   668574  1954503 | 2147483647   228448    256 | 26.280 % |
760.98/761.34	c |    235463 |  102249   668574  1954503 | 2147483647   228858    257 | 26.280 % |
763.19/763.50	c |    235915 |  102249   668574  1954503 | 2147483647   229310    257 | 26.280 % |
765.29/765.69	c |    236412 |  102249   668574  1954503 | 2147483647   229807    257 | 26.280 % |
767.39/767.75	c |    236955 |  102249   668574  1954503 | 2147483647   230350    257 | 26.280 % |
769.08/769.44	c |    237551 |  102230   668351  1953923 | 2147483647   230910    257 | 26.280 % |
772.58/772.97	c |    238206 |  102230   668351  1953923 | 2147483647   231565    258 | 26.280 % |
776.19/776.59	c |    238926 |  102229   668351  1953923 | 2147483647   232284    258 | 26.289 % |
780.18/780.51	c |    239718 |  102229   668351  1953923 | 2147483647   233076    258 | 26.289 % |
784.57/784.98	c |    240597 |  102229   668351  1953923 | 2147483647   233955    259 | 26.289 % |
788.57/788.92	c |    241557 |  102229   668351  1953923 | 2147483647   234915    259 | 26.289 % |
793.68/794.01	c |    242611 |  102227   668351  1953923 | 2147483647   235967    260 | 26.295 % |
797.67/798.09	c |    243772 |  102227   668351  1953923 | 2147483647   237128    261 | 26.295 % |
801.97/802.32	c |    245046 |  102227   668351  1953923 | 2147483647   238402    261 | 26.295 % |
806.88/807.29	c |    246456 |  102226   668351  1953923 | 2147483647   239811    262 | 26.306 % |
812.07/812.42	c |    247996 |  102226   668351  1953923 | 2147483647   241351    262 | 26.306 % |
815.97/816.37	c |    249692 |  102226   668351  1953923 | 2147483647   243047    262 | 26.306 % |
822.07/822.46	c |    251556 |  102224   668351  1953923 | 2147483647   244909    262 | 26.316 % |
830.56/830.97	c |    253606 |  102221   668351  1953923 | 2147483647   246957    263 | 26.321 % |
842.07/842.47	c |    255859 |  102220   668351  1953923 | 2147483647   249208    265 | 26.332 % |
852.96/853.35	c |    258337 |  102216   668351  1953923 | 2147483647   251684    266 | 26.342 % |
853.26/853.63	c |    258438 |  102215   668351  1953923 | 2147483647   251784    266 | 26.573 % |
854.05/854.46	c |    258548 |  102189   668351  1953923 | 2147483647   251894    266 | 26.573 % |
854.86/855.21	c |    258670 |  102189   668351  1953923 | 2147483647   252016    266 | 26.573 % |
855.76/856.10	c |    258803 |  102189   668351  1953923 | 2147483647   252149    266 | 26.573 % |
856.76/857.19	c |    258952 |  102189   668351  1953923 | 2147483647   252298    266 | 26.573 % |
857.56/857.94	c |    259114 |  102189   668351  1953923 | 2147483647   252460    267 | 26.573 % |
858.36/858.71	c |    259291 |  102189   668351  1953923 | 2147483647   252637    267 | 26.573 % |
859.06/859.41	c |    259484 |  102189   668351  1953923 | 2147483647   252830    267 | 26.573 % |
859.96/860.35	c |    259696 |  102189   668351  1953923 | 2147483647   253042    267 | 26.573 % |
861.05/861.42	c |    259929 |  102189   668351  1953923 | 2147483647   253275    267 | 26.573 % |
861.85/862.23	c |    260186 |  102189   668351  1953923 | 2147483647   253532    267 | 26.573 % |
862.35/862.74	c |    260468 |  102189   668351  1953923 | 2147483647   253814    267 | 26.573 % |
863.95/864.38	c |    260780 |  102185   668351  1953923 | 2147483647   254124    267 | 26.585 % |
866.06/866.50	c |    261120 |  102184   668351  1953923 | 2147483647   254463    267 | 26.592 % |
866.66/867.04	c |    261492 |  102184   668351  1953923 | 2147483647   254835    266 | 26.592 % |
869.56/869.95	c |    261904 |  102184   668351  1953923 | 2147483647   255247    267 | 26.592 % |
871.35/871.79	c |    262353 |  102184   668351  1953923 | 2147483647   255696    267 | 26.592 % |
873.55/873.95	c |    262847 |  101798   666244  1948963 | 2147483647   256005    267 | 26.592 % |
876.75/877.16	c |    263391 |  101798   666244  1948963 | 2147483647   256548    268 | 26.593 % |
879.34/879.77	c |    263987 |  101798   666244  1948963 | 2147483647   257144    268 | 26.593 % |
881.15/881.57	c |    264644 |  101798   666244  1948963 | 2147483647   257801    268 | 26.593 % |
885.25/885.67	c |    265364 |  101798   666244  1948963 | 2147483647   258521    268 | 26.593 % |
889.94/890.37	c |    266157 |  101798   666244  1948963 | 2147483647   259314    269 | 26.593 % |
893.75/894.14	c |    267028 |  101794   666244  1948963 | 2147483647   260182    269 | 26.606 % |
898.84/899.27	c |    267989 |  101791   666244  1948963 | 2147483647   261141    270 | 26.619 % |
902.94/903.35	c |    269042 |  101791   666244  1948963 | 2147483647   262194    270 | 26.619 % |
909.24/909.65	c |    270202 |  101791   666244  1948963 | 2147483647   263353    271 | 26.619 % |
915.54/915.97	c |    271475 |  101761   666244  1948963 | 2147483647   264623    271 | 26.833 % |
921.84/922.21	c |    272875 |  101761   666244  1948963 | 2147483647   266023    272 | 26.833 % |
928.73/929.14	c |    274418 |  101747   666244  1948963 | 2147483647   267562    272 | 26.862 % |
934.43/934.81	c |    276113 |  101747   666244  1948963 | 2147483647   269257    273 | 26.862 % |
942.03/942.42	c |    277977 |  101747   666244  1948963 | 2147483647   271120    273 | 26.864 % |
948.13/948.56	c |    280028 |  101742   666244  1948963 | 2147483647   273168    273 | 26.872 % |
959.42/959.81	c |    282284 |  101740   666244  1948963 | 2147483647   275422    274 | 26.873 % |
975.02/975.48	c |    284762 |  101739   666244  1948963 | 2147483647   277899    275 | 26.879 % |
987.21/987.66	c |    287487 |  101730   666244  1948963 | 2147483647   280603    276 | 27.004 % |
987.61/988.07	c |    287587 |  101730   666244  1948963 | 2147483647   280703    276 | 27.004 % |
987.91/988.36	c |    287697 |  101730   666244  1948963 | 2147483647   280813    276 | 27.004 % |
988.71/989.13	c |    287819 |  101730   666244  1948963 | 2147483647   280935    276 | 27.004 % |
989.21/989.63	c |    287957 |  101730   666244  1948963 | 2147483647   281073    276 | 27.004 % |
989.91/990.33	c |    288103 |  101730   666244  1948963 | 2147483647   281219    276 | 27.004 % |
991.01/991.40	c |    288263 |  101730   666244  1948963 | 2147483647   281379    276 | 27.004 % |
992.11/992.57	c |    288439 |  101730   666244  1948963 | 2147483647   281555    276 | 27.004 % |
993.41/993.87	c |    288632 |  101730   666244  1948963 | 2147483647   281748    276 | 27.004 % |
994.61/995.01	c |    288844 |  101730   666244  1948963 | 2147483647   281960    276 | 27.004 % |
996.51/996.90	c |    289081 |  101226   661818  1937138 | 2147483647   281986    276 | 27.004 % |
997.52/997.99	c |    289342 |  101226   661818  1937138 | 2147483647   282247    277 | 27.004 % |
999.12/999.59	c |    289627 |  101225   661818  1937138 | 2147483647   282531    277 | 27.012 % |
1000.21/1000.61	c |    289938 |  101224   661818  1937138 | 2147483647   282841    277 | 27.012 % |
1002.21/1002.68	c |    290277 |  101222   661818  1937138 | 2147483647   283179    277 | 27.019 % |
1004.72/1005.14	c |    290649 |  101222   661818  1937138 | 2147483647   283550    277 | 27.022 % |
1006.61/1007.09	c |    291067 |  101222   661818  1937138 | 2147483647   283968    277 | 27.022 % |
1008.31/1008.79	c |    291516 |  101222   661818  1937138 | 2147483647   284417    278 | 27.022 % |
1009.81/1010.26	c |    292010 |  101220   661818  1937138 | 2147483647   284910    278 | 27.029 % |
1013.81/1014.22	c |    292553 |  101220   661818  1937138 | 2147483647   285453    278 | 27.029 % |
1016.51/1016.91	c |    293149 |  101220   661818  1937138 | 2147483647   286049    278 | 27.029 % |
1020.21/1020.64	c |    293804 |  101220   661818  1937138 | 2147483647   286704    279 | 27.029 % |
1023.80/1024.27	c |    294526 |  101220   661818  1937138 | 2147483647   287426    279 | 27.029 % |
1028.41/1028.82	c |    295318 |  101220   661818  1937138 | 2147483647   288218    280 | 27.029 % |
1031.70/1032.16	c |    296195 |  101220   661818  1937138 | 2147483647   289095    280 | 27.029 % |
1037.31/1037.76	c |    297153 |  101216   661818  1937138 | 2147483647   290051    280 | 27.036 % |
1041.40/1041.86	c |    298206 |  101215   661818  1937138 | 2147483647   291103    281 | 27.037 % |
1046.81/1047.26	c |    299365 |  101215   661818  1937138 | 2147483647   292262    282 | 27.037 % |
1056.30/1056.77	c |    300644 |  101214   661818  1937138 | 2147483647   293540    283 | 27.038 % |
1063.20/1063.64	c |    302044 |  101213   661818  1937138 | 2147483647   294939    285 | 27.038 % |
1067.70/1068.19	c |    303585 |  101213   661818  1937138 | 2147483647   296480    284 | 27.038 % |
1076.90/1077.32	c |    305279 |  101213   661818  1937138 | 2147483647   298174    285 | 27.038 % |
1082.19/1082.69	c |    307143 |  101211   661818  1937138 | 2147483647   300036    285 | 27.040 % |
1090.69/1091.12	c |    309192 |  101211   661818  1937138 | 2147483647   302085    286 | 27.040 % |
1100.19/1100.66	c |    311446 |  101211   661818  1937138 | 2147483647   304339    286 | 27.040 % |
1111.69/1112.19	c |    313926 |  101206   661818  1937138 | 2147483647   306816    287 | 27.068 % |
1122.98/1123.44	c |    316652 |  101205   661818  1937138 | 2147483647   309541    290 | 27.069 % |
1135.18/1135.60	c |    319649 |  101204   661818  1937138 | 2147483647   312537    290 | 27.069 % |
1135.47/1135.96	c |    319749 |  101204   661818  1937138 | 2147483647   312637    290 | 27.069 % |
1135.78/1136.24	c |    319859 |  101204   661818  1937138 | 2147483647   312747    290 | 27.069 % |
1136.17/1136.64	c |    319983 |  101204   661818  1937138 | 2147483647   312871    290 | 27.069 % |
1136.88/1137.36	c |    320119 |  101204   661818  1937138 | 2147483647   313007    290 | 27.069 % |
1137.47/1137.97	c |    320266 |  101204   661818  1937138 | 2147483647   313154    290 | 27.069 % |
1137.77/1138.29	c |    320427 |  101204   661818  1937138 | 2147483647   313315    290 | 27.069 % |
1139.87/1140.34	c |    320604 |  101204   661818  1937138 | 2147483647   313492    290 | 27.069 % |
1141.28/1141.70	c |    320797 |  101204   661818  1937138 | 2147483647   313685    290 | 27.069 % |
1142.28/1142.77	c |    321011 |  101204   661818  1937138 | 2147483647   313899    290 | 27.069 % |
1143.78/1144.20	c |    321244 |  101203   661818  1937138 | 2147483647   314131    290 | 27.070 % |
1145.47/1145.94	c |    321500 |  101203   661818  1937138 | 2147483647   314387    290 | 27.070 % |
1146.57/1147.07	c |    321782 |  101203   661818  1937138 | 2147483647   314669    290 | 27.070 % |
1148.57/1149.05	c |    322094 |  101203   661818  1937138 | 2147483647   314981    290 | 27.070 % |
1150.97/1151.41	c |    322435 |  101203   661818  1937138 | 2147483647   315322    290 | 27.070 % |
1153.37/1153.82	c |    322809 |  101203   661818  1937138 | 2147483647   315696    291 | 27.070 % |
1155.17/1155.67	c |    323218 |  101203   661818  1937138 | 2147483647   316105    291 | 27.070 % |
1157.77/1158.30	c |    323667 |  101203   661818  1937138 | 2147483647   316554    291 | 27.070 % |
1160.67/1161.13	c |    324162 |  101134   661014  1934960 | 2147483647   315151    292 | 27.071 % |
1164.56/1165.10	c |    324705 |  101133   661014  1934960 | 2147483647   315693    292 | 27.071 % |
1167.77/1168.24	c |    325303 |  101133   661014  1934960 | 2147483647   316291    292 | 27.071 % |
1170.77/1171.27	c |    325958 |  101132   661014  1934960 | 2147483647   316945    292 | 27.076 % |
1175.56/1176.09	c |    326678 |  101132   661014  1934960 | 2147483647   317665    293 | 27.076 % |
1178.56/1179.05	c |    327470 |  101128   661014  1934960 | 2147483647   318453    292 | 27.095 % |
1182.76/1183.23	c |    328347 |  101128   661014  1934960 | 2147483647   319330    293 | 27.095 % |
1187.47/1188.00	c |    329305 |  101128   661014  1934960 | 2147483647   320288    293 | 27.095 % |
1192.86/1193.40	c |    330363 |  101128   661014  1934960 | 2147483647   321346    293 | 27.095 % |
1197.25/1197.75	c |    331524 |  101128   661014  1934960 | 2147483647   322507    293 | 27.095 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8902
/proc/meminfo: memFree=1832440/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=0
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310638038 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 215419158610 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/8902/statm: 1339 235 195 169 0 50 0
[pid=8903] ppid=8902 vsize=5356 CPUtime=0
/proc/8903/stat : 8903 (SatELiteGTI) R 8902 8902 8350 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310638038 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/8903/statm: 1339 238 198 169 0 50 0
[pid=8905] ppid=8903 vsize=0 CPUtime=0
/proc/8905/stat : 8905 (sed) Z 8903 8902 8350 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310638038 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/8905/statm: 0 0 0 0 0 0 0

[startup+0.012009 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8902
/proc/meminfo: memFree=1832440/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=0
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310638038 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.103019 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8902
/proc/meminfo: memFree=1832440/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=0
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310638038 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301041 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8902
/proc/meminfo: memFree=1832440/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=0
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310638038 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702085 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8902
/proc/meminfo: memFree=1832440/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=0
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310638038 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50117 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 8907
/proc/meminfo: memFree=1744936/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=0
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310638038 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 237 197 169 0 50 0
[pid=8907] ppid=8902 vsize=126360 CPUtime=1.48
/proc/8907/stat : 8907 (SatELite_releas) R 8902 8902 8350 0 -1 4194304 29988 0 0 0 130 18 0 0 25 0 1 0 310638039 129392640 29806 1992294400 134512640 135223648 4294956128 18446744073709551615 134548148 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 31590 29806 70 173 0 31415 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 131716

[startup+3.10135 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 8907
/proc/meminfo: memFree=1703656/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=0
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310638038 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 237 197 169 0 50 0
[pid=8907] ppid=8902 vsize=147336 CPUtime=3.09
/proc/8907/stat : 8907 (SatELite_releas) R 8902 8902 8350 0 -1 4194304 38550 0 0 0 285 24 0 0 25 0 1 0 310638039 150872064 35017 1992294400 134512640 135223648 4294956128 18446744073709551615 134587012 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 36834 35017 76 173 0 36659 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152692

[startup+6.30171 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 8907
/proc/meminfo: memFree=1670568/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=0
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310638038 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 237 197 169 0 50 0
[pid=8907] ppid=8902 vsize=155564 CPUtime=6.28
/proc/8907/stat : 8907 (SatELite_releas) R 8902 8902 8350 0 -1 4194304 43849 0 0 0 601 27 0 0 25 0 1 0 310638039 159297536 36369 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 38891 36369 76 173 0 38716 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 160920

[startup+12.7014 s]
/proc/loadavg: 0.94 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1752680/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=53868 CPUtime=1.91
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 12705 0 0 0 183 8 0 0 25 0 1 0 310639116 55160832 12593 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 13467 12593 77 171 0 13294 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 59224

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1750760/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=55744 CPUtime=14.7
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 13207 0 0 0 1460 10 0 0 25 0 1 0 310639116 57081856 13095 1992294400 134512640 135215339 4294956256 18446744073709551615 134529119 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 13936 13095 77 171 0 13763 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 61100

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1747688/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=59044 CPUtime=40.28
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 14032 0 0 0 4018 10 0 0 25 0 1 0 310639116 60461056 13920 1992294400 134512640 135215339 4294956256 18446744073709551615 134527218 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 14761 13920 77 171 0 14588 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 64400

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1735400/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=71096 CPUtime=91.45
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 17023 0 0 0 9131 14 0 0 25 0 1 0 310639116 72802304 16911 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 17774 16911 77 171 0 17601 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 76452

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1717032/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=89668 CPUtime=151.43
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 21654 0 0 0 15124 19 0 0 25 0 1 0 310639116 91820032 21542 1992294400 134512640 135215339 4294956256 18446744073709551615 134532758 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 22417 21542 77 171 0 22244 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 95024

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1694440/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=111984 CPUtime=211.41
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 27253 0 0 0 21116 25 0 0 25 0 1 0 310639116 114671616 27141 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 27996 27141 77 171 0 27823 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 117340

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1671016/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=135468 CPUtime=271.38
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 33105 0 0 0 27108 30 0 0 25 0 1 0 310639116 138719232 32993 1992294400 134512640 135215339 4294956256 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 33867 32993 77 171 0 33694 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 140824

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1651304/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=155036 CPUtime=331.36
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 37988 0 0 0 33100 36 0 0 25 0 1 0 310639116 158756864 37876 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 38759 37876 77 171 0 38586 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 160392

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1632168/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=174308 CPUtime=391.35

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

/proc/8908/statm: 59513 58648 77 171 0 59340 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 243408

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1547624/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=258148 CPUtime=631.27
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 63797 0 0 0 63065 62 0 0 25 0 1 0 310639116 264343552 63685 1992294400 134512640 135215339 4294956256 18446744073709551615 134532912 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 64537 63685 77 171 0 64364 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 263504

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1528680/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=277460 CPUtime=691.25
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 68529 0 0 0 69059 66 0 0 25 0 1 0 310639116 284119040 68417 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 69365 68417 77 171 0 69192 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 282816

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1509224/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=296772 CPUtime=751.24
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 73360 0 0 0 75052 72 0 0 25 0 1 0 310639116 303894528 73248 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 74193 73248 77 171 0 74020 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 302128

[startup+822.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1487784/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=318180 CPUtime=811.22
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 78739 0 0 0 81044 78 0 0 25 0 1 0 310639116 325816320 78627 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 79545 78627 77 171 0 79372 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 323536

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1466920/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=338804 CPUtime=871.2
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 83909 0 0 0 87036 84 0 0 25 0 1 0 310639116 346935296 83797 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 84701 83797 77 171 0 84528 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 344160

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8908
/proc/meminfo: memFree=1447336/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=358500 CPUtime=931.18
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 88853 0 0 0 93030 88 0 0 25 0 1 0 310639116 367104000 88741 1992294400 134512640 135215339 4294956256 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 89625 88741 77 171 0 89452 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 363856

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8910
/proc/meminfo: memFree=1429160/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=376328 CPUtime=991.16
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 93302 0 0 0 99023 93 0 0 25 0 1 0 310639116 385359872 93190 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 94082 93190 77 171 0 93909 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 381684

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8910
/proc/meminfo: memFree=1407528/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=398188 CPUtime=1051.14
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 98777 0 0 0 105015 99 0 0 25 0 1 0 310639116 407744512 98665 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 99547 98666 77 171 0 99374 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 403544

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8910
/proc/meminfo: memFree=1384168/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=421232 CPUtime=1111.13
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 104552 0 0 0 111007 106 0 0 25 0 1 0 310639116 431341568 104440 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 105308 104440 77 171 0 105135 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 426588

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8910
/proc/meminfo: memFree=1368232/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=437872 CPUtime=1171.11
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 108568 0 0 0 117001 110 0 0 25 0 1 0 310639116 448380928 108456 1992294400 134512640 135215339 4294956256 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 109468 108456 77 171 0 109295 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 443228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8910
/proc/meminfo: memFree=1362728/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=442908 CPUtime=1189.3
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 109833 0 0 0 118819 111 0 0 25 0 1 0 310639116 453537792 109721 1992294400 134512640 135215339 4294956256 18446744073709551615 134539261 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 110727 109721 77 171 0 110554 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 448264

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8910
/proc/meminfo: memFree=1362728/2055920 swapFree=4179712/4192956
[pid=8902] ppid=8900 vsize=5356 CPUtime=10.75
/proc/8902/stat : 8902 (SatELiteGTI) S 8900 8902 8350 0 -1 4194304 336 49622 0 0 0 0 1035 40 16 0 1 0 310638038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8902/statm: 1339 239 197 169 0 50 0
[pid=8908] ppid=8902 vsize=442908 CPUtime=1189.3
/proc/8908/stat : 8908 (minisat_static) R 8902 8902 8350 0 -1 4194304 109833 0 0 0 118819 111 0 0 25 0 1 0 310639116 453537792 109721 1992294400 134512640 135215339 4294956256 18446744073709551615 134539261 0 0 4096 3 0 0 0 17 1 0 0
/proc/8908/statm: 110727 109721 77 171 0 110554 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 448264

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8902 and gives
#  childrusage.ru_utime.tv_sec=10
#  childrusage.ru_utime.tv_usec=358425
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=402938
# CPU time returned by wait4() is 10.7614
# 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.51
CPU time (s): 1200.05
CPU user time (s): 1198.54
CPU system time (s): 1.51
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 448264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3584
system time used= 0.402938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49958
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= 16
involuntary context switches= 35

runsolver used 1.41878 second user time and 3.04354 second system time

The end

Launcher Data 

Begin job on node9 at 2009-05-20 15:27:23
IDJOB=1833905
IDBENCH=71050
IDSOLVER=671
FILE ID=node9/1833905-1242826041
PBS_JOBID= 9322551
Free space on /tmp= 66480 MiB

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

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

MD5SUM BENCH= 9573f6b4001373bab93d1a02f96820d1
RANDOM SEED=64181250

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1832856 kB
Buffers:         48912 kB
Cached:         124820 kB
SwapCached:       7828 kB
Active:          77660 kB
Inactive:       105344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832856 kB
SwapTotal:     4192956 kB
SwapFree:      4179712 kB
Dirty:           28036 kB
Writeback:           0 kB
Mapped:          14064 kB
Slab:            26060 kB
Committed_AS:   978744 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66452 MiB
End job on node9 at 2009-05-20 15:47:26