Trace number 1821658

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

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.42/1.43	c ==============================================================================
1.42/1.43	c |           |     ORIGINAL     |              LEARNT              |          |
1.42/1.43	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.42/1.44	c ==============================================================================
1.42/1.44	c |         0 | 1377238  3343680 |  413171       0        0     nan |  0.000 % |
8.22/8.30	c |         0 |  958485  2693825 |      --       0       --      -- |     --   | -116636/37456
8.22/8.30	c ==============================================================================
8.22/8.30	c Result  :   #vars: 138674   #clauses: 958485   #literals: 2693825
8.22/8.30	c CPU time:   8.04 s
8.22/8.30	c ==============================================================================
9.20/9.30	c This is MiniSat 2.0 beta
9.20/9.30	c WARNING: for repeatability, setting FPU to use double precision
9.20/9.30	c ============================[ Problem Statistics ]=============================
9.20/9.30	c |                                                                             |
9.20/9.31	c |  Number of variables:  138674                                               |
9.20/9.31	c |  Number of clauses:    958485                                               |
9.91/9.98	c |  Parsing time:         0.59         s                                       |
10.00/10.02	c ============================[ Search Statistics ]==============================
10.00/10.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.00/10.02	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.00/10.02	c ===============================================================================
10.00/10.02	c |         0 |  138674   958485  2693825 |   319495        0    nan |  0.000 % |
10.30/10.37	c |       100 |  138668   958485  2693825 |   319495       99     18 |  0.255 % |
10.70/10.73	c |       200 |  138578   958485  2693825 |   319495      197     47 |  0.633 % |
10.80/10.90	c |       300 |  138415   958485  2693825 |   319495      296     40 |  1.405 % |
10.90/10.96	c |       411 |  138383   958485  2693825 |   319495      406     40 |  1.498 % |
11.01/11.10	c |       511 |  138350   958485  2693825 |   319495      506     41 |  1.498 % |
11.20/11.26	c |       621 |  138110   958485  2693825 |   319495      614     37 |  1.899 % |
11.50/11.60	c |       743 |  138110   958485  2693825 |   319495      736     40 |  1.899 % |
11.70/11.76	c |       843 |  136040   934405  2631612 |   319495      828     39 |  1.900 % |
11.90/11.96	c |       953 |  135895   934405  2631612 |   319495      936     38 |  2.422 % |
12.00/12.12	c |      1074 |  135501   934405  2631612 |   319495     1056     43 |  2.918 % |
12.30/12.33	c |      1207 |  135500   934405  2631612 |   319495     1188     43 |  3.016 % |
12.50/12.52	c |      1307 |  135331   934405  2631612 |   319495     1287     43 |  3.557 % |
12.70/12.79	c |      1417 |  135319   934405  2631612 |   319495     1396     43 |  3.789 % |
12.90/12.91	c |      1538 |  135210   934405  2631612 |   319495     1516     43 |  3.971 % |
13.01/13.10	c |      1671 |  135208   934405  2631612 |   319495     1648     42 |  4.007 % |
13.40/13.46	c |      1819 |  132575   915173  2585965 |   319495     1743     45 |  4.398 % |
13.60/13.66	c |      1921 |  132575   915173  2585965 |   319495     1845     48 |  4.398 % |
13.80/13.89	c |      2033 |  132575   915173  2585965 |   319495     1957     51 |  4.398 % |
14.01/14.07	c |      2158 |  132476   915173  2585965 |   319495     2080     51 |  5.553 % |
14.11/14.18	c |      2294 |  132225   915173  2585965 |   319495     2216     51 |  5.553 % |
14.51/14.52	c |      2440 |  132222   915173  2585965 |   319495     2361     51 |  5.563 % |
14.71/14.80	c |      2601 |  132219   915173  2585965 |   319495     2521     57 |  5.573 % |
14.91/15.00	c |      2703 |  132219   915173  2585965 |   319495     2623     60 |  5.573 % |
15.21/15.24	c |      2813 |  130613   902260  2554246 |   319495     2717     62 |  5.813 % |
15.51/15.52	c |      2934 |  130613   902260  2554246 |   319495     2838     60 |  5.813 % |
15.71/15.77	c |      3067 |  130608   902260  2554246 |   319495     2970     60 |  5.822 % |
16.01/16.11	c |      3217 |  130535   902260  2554246 |   319495     3117     60 |  5.977 % |
16.61/16.65	c |      3377 |  130534   902260  2554246 |   319495     3277     59 |  5.977 % |
17.01/17.09	c |      3555 |  130532   902260  2554246 |   319495     3454     60 |  6.026 % |
17.11/17.20	c |      3657 |  130317   900802  2551243 |   319495     3546     59 |  6.026 % |
17.21/17.31	c |      3767 |  130317   900802  2551243 |   319495     3656     59 |  6.026 % |
17.41/17.43	c |      3890 |  130317   900802  2551243 |   319495     3779     59 |  6.026 % |
17.41/17.51	c |      4024 |  130317   900802  2551243 |   319495     3913     59 |  6.026 % |
17.61/17.62	c |      4172 |  130317   900802  2551243 |   319495     4061     62 |  6.026 % |
17.81/17.88	c |      4332 |  130317   900802  2551243 |   319495     4221     63 |  6.026 % |
18.01/18.09	c |      4508 |  130317   900802  2551243 |   319495     4397     62 |  6.026 % |
18.31/18.35	c |      4705 |  130263   900802  2551243 |   319495     4587     64 |  7.040 % |
18.31/18.40	c |      4805 |  130263   900802  2551243 |   319495     4687     64 |  7.040 % |
18.41/18.51	c |      4915 |  130246   900802  2551243 |   319495     4796     63 |  7.051 % |
18.71/18.73	c |      5036 |  130085   900802  2551243 |   319495     4917     63 |  7.051 % |
18.91/18.96	c |      5169 |  130085   900802  2551243 |   319495     5050     64 |  7.051 % |
19.11/19.20	c |      5315 |  128896   885468  2510366 |   319495     5178     64 |  7.051 % |
19.41/19.48	c |      5476 |  128810   885468  2510366 |   319495     5337     64 |  7.202 % |
19.71/19.73	c |      5654 |  128620   885468  2510366 |   319495     5513     65 |  7.347 % |
19.91/19.92	c |      5847 |  128619   885468  2510366 |   319495     5705     64 |  7.358 % |
20.21/20.26	c |      6060 |  128617   885468  2510366 |   319495     5917     66 |  7.367 % |
20.31/20.39	c |      6162 |  128617   885468  2510366 |   319495     6019     66 |  7.367 % |
20.61/20.70	c |      6272 |  128617   885468  2510366 |   319495     6129     67 |  7.367 % |
20.91/20.97	c |      6393 |  128617   885468  2510366 |   319495     6250     67 |  7.367 % |
21.21/21.27	c |      6526 |  128430   882711  2503790 |   319495     6375     67 |  7.793 % |
21.41/21.46	c |      6672 |  128430   882711  2503790 |   319495     6521     67 |  7.793 % |
21.71/21.78	c |      6835 |  128419   882711  2503790 |   319495     6684     67 |  7.793 % |
22.31/22.34	c |      7011 |  128271   882711  2503790 |   319495     6859     67 |  8.182 % |
23.41/23.48	c |      7204 |  128243   882711  2503790 |   319495     7049     66 |  8.480 % |
24.61/24.67	c |      7416 |  126701   867925  2464854 |   319495     7241     66 |  8.753 % |
25.21/25.29	c |      7650 |  125161   859556  2446758 |   319495     7376     67 |  9.744 % |
25.61/25.67	c |      7750 |  125143   859556  2446758 |   319495     7474     67 |  9.817 % |
25.81/25.85	c |      7862 |  125143   859556  2446758 |   319495     7586     67 |  9.817 % |
25.91/25.98	c |      7984 |  125136   859556  2446758 |   319495     7706     68 |  9.835 % |
26.31/26.35	c |      8119 |  125136   859556  2446758 |   319495     7841     69 |  9.835 % |
26.81/26.82	c |      8266 |  125082   859556  2446758 |   319495     7985     69 | 10.734 % |
27.41/27.46	c |      8426 |  125079   859556  2446758 |   319495     8144     69 | 10.941 % |
27.91/27.92	c |      8602 |  123456   848850  2419651 |   319495     8312     68 | 11.027 % |
28.41/28.43	c |      8795 |  123453   848850  2419651 |   319495     8505     69 | 11.027 % |
28.81/28.83	c |      9007 |  123453   848850  2419651 |   319495     8717     69 | 11.027 % |
29.41/29.50	c |      9241 |  123453   848850  2419651 |   319495     8951     72 | 11.027 % |
30.01/30.02	c |      9497 |  123383   848238  2418427 |   319495     9207     78 | 11.027 % |
30.31/30.33	c |      9598 |  123383   848238  2418427 |   319495     9308     79 | 11.027 % |
30.61/30.66	c |      9711 |  123383   848238  2418427 |   319495     9421     80 | 11.027 % |
30.91/30.92	c |      9833 |  123383   848238  2418427 |   319495     9543     79 | 11.027 % |
31.21/31.31	c |      9967 |  123331   848238  2418427 |   319495     9673     78 | 11.369 % |
31.51/31.61	c |     10114 |  123261   848238  2418427 | 2147483647     9818     78 | 11.505 % |
31.91/31.99	c |     10275 |  122719   844849  2410635 | 2147483647     9958     78 | 11.505 % |
32.31/32.41	c |     10451 |  122715   844849  2410635 | 2147483647    10133     78 | 11.530 % |
32.61/32.67	c |     10644 |  122650   844849  2410635 | 2147483647    10324     77 | 11.828 % |
33.41/33.42	c |     10858 |  122514   844849  2410635 | 2147483647    10537     77 | 11.981 % |
33.91/33.96	c |     11095 |  122472   844849  2410635 | 2147483647    10773     77 | 12.329 % |
34.71/34.81	c |     11351 |  121577   838194  2394494 | 2147483647    10934     77 | 12.329 % |
35.41/35.49	c |     11632 |  121559   838194  2394494 | 2147483647    11210     78 | 12.539 % |
35.71/35.72	c |     11732 |  121555   838194  2394494 | 2147483647    11310     78 | 12.539 % |
36.01/36.04	c |     11843 |  121526   838194  2394494 | 2147483647    11420     79 | 12.617 % |
36.51/36.61	c |     11966 |  121033   835198  2387354 | 2147483647    11483     78 | 12.721 % |
36.81/36.88	c |     12099 |  120930   835198  2387354 | 2147483647    11614     78 | 12.847 % |
37.41/37.43	c |     12245 |  120930   835198  2387354 | 2147483647    11760     78 | 12.847 % |
37.81/37.87	c |     12406 |  120738   835198  2387354 | 2147483647    11919     78 | 13.176 % |
38.21/38.31	c |     12583 |  120706   835198  2387354 | 2147483647    12096     78 | 13.176 % |
38.71/38.72	c |     12776 |  120581   835198  2387354 | 2147483647    12287     79 | 13.832 % |
39.31/39.33	c |     12988 |  120581   835198  2387354 | 2147483647    12499     78 | 13.832 % |
39.51/39.59	c |     13221 |  119493   825793  2363970 | 2147483647    12720     77 | 13.832 % |
40.21/40.31	c |     13477 |  119490   825793  2363970 | 2147483647    12975     77 | 13.840 % |
40.81/40.91	c |     13759 |  119490   825793  2363970 | 2147483647    13257     78 | 13.840 % |
41.61/41.63	c |     14069 |  119490   825793  2363970 | 2147483647    13567     79 | 13.840 % |
41.81/41.90	c |     14169 |  119490   825793  2363970 | 2147483647    13667     79 | 13.840 % |
42.21/42.23	c |     14279 |  119481   825694  2363700 | 2147483647    13775     79 | 13.840 % |
42.51/42.56	c |     14401 |  119481   825694  2363700 | 2147483647    13897     80 | 13.840 % |
43.01/43.06	c |     14535 |  119481   825694  2363700 | 2147483647    14031     80 | 13.840 % |
43.31/43.32	c |     14681 |  119479   825694  2363700 | 2147483647    14176     80 | 13.850 % |
43.71/43.81	c |     14843 |  119479   825694  2363700 | 2147483647    14338     80 | 13.850 % |
44.21/44.23	c |     15019 |  119436   825694  2363700 | 2147483647    14512     80 | 13.994 % |
44.71/44.72	c |     15213 |  118838   822352  2355787 | 2147483647    14686     80 | 14.304 % |
44.71/44.80	c |     15425 |  118838   822352  2355787 | 2147483647    14898     80 | 14.304 % |
45.31/45.39	c |     15661 |  118548   822352  2355787 | 2147483647    15130     80 | 14.660 % |
46.11/46.20	c |     15918 |  118547   822352  2355787 | 2147483647    15386     80 | 14.669 % |
46.61/46.66	c |     16199 |  118496   822352  2355787 | 2147483647    15665     79 | 14.774 % |
47.21/47.28	c |     16508 |  118488   822352  2355787 | 2147483647    15973     80 | 14.849 % |
48.01/48.05	c |     16847 |  118082   818916  2348842 | 2147483647    16287     80 | 14.854 % |
48.21/48.31	c |     16947 |  118082   818916  2348842 | 2147483647    16387     80 | 14.854 % |
48.41/48.44	c |     17061 |  118045   818916  2348842 | 2147483647    16498     80 | 14.988 % |
48.61/48.69	c |     17184 |  118021   818916  2348842 | 2147483647    16620     80 | 14.996 % |
49.01/49.03	c |     17318 |  118021   818916  2348842 | 2147483647    16754     80 | 14.996 % |
49.31/49.33	c |     17465 |  118021   818916  2348842 | 2147483647    16901     80 | 14.996 % |
49.51/49.61	c |     17625 |  118021   818916  2348842 | 2147483647    17061     81 | 14.996 % |
50.01/50.09	c |     17802 |  118018   818916  2348842 | 2147483647    17237     81 | 15.005 % |
50.61/50.66	c |     17995 |  117802   817704  2346239 | 2147483647    17420     81 | 15.322 % |
50.81/50.89	c |     18207 |  117759   817704  2346239 | 2147483647    17631     80 | 15.387 % |
51.31/51.34	c |     18441 |  117754   817704  2346239 | 2147483647    17864     80 | 15.395 % |
51.61/51.64	c |     18697 |  117753   817704  2346239 | 2147483647    18119     81 | 15.407 % |
52.31/52.39	c |     18978 |  117750   817704  2346239 | 2147483647    18399     81 | 15.415 % |
53.01/53.06	c |     19287 |  116744   813020  2335109 | 2147483647    18685     81 | 15.949 % |
53.51/53.56	c |     19626 |  116641   813020  2335109 | 2147483647    19022     82 | 16.373 % |
54.41/54.46	c |     20000 |  116631   813020  2335109 | 2147483647    19396     83 | 16.373 % |
54.71/54.76	c |     20100 |  116631   813020  2335109 | 2147483647    19496     84 | 16.373 % |
55.01/55.02	c |     20210 |  116631   813020  2335109 | 2147483647    19606     84 | 16.373 % |
55.21/55.27	c |     20331 |  116624   813020  2335109 | 2147483647    19726     84 | 16.383 % |
55.41/55.48	c |     20465 |  116624   813020  2335109 | 2147483647    19860     84 | 16.383 % |
55.91/55.92	c |     20611 |  116624   813020  2335109 | 2147483647    20006     84 | 16.383 % |
56.21/56.28	c |     20774 |  115764   808117  2324540 | 2147483647    20132     84 | 16.853 % |
56.41/56.51	c |     20950 |  115763   808117  2324540 | 2147483647    20307     84 | 16.854 % |
56.61/56.63	c |     21144 |  115763   808117  2324540 | 2147483647    20501     84 | 16.854 % |
56.81/56.89	c |     21356 |  115761   808117  2324540 | 2147483647    20712     84 | 16.863 % |
57.51/57.59	c |     21589 |  115726   808117  2324540 | 2147483647    20944     85 | 16.866 % |
58.31/58.35	c |     21845 |  115726   808117  2324540 | 2147483647    21200     85 | 16.866 % |
58.81/58.89	c |     22126 |  115726   808117  2324540 | 2147483647    21481     87 | 16.866 % |
59.41/59.46	c |     22436 |  115726   808117  2324540 | 2147483647    21791     88 | 16.866 % |
59.91/59.96	c |     22777 |  115285   805201  2318634 | 2147483647    22114     88 | 16.866 % |
60.11/60.20	c |     23150 |  115283   805201  2318634 | 2147483647    22486     88 | 16.871 % |
61.01/61.11	c |     23561 |  115279   805201  2318634 | 2147483647    22897     89 | 16.871 % |
61.21/61.22	c |     23661 |  115279   805201  2318634 | 2147483647    22997     89 | 16.871 % |
61.41/61.50	c |     23771 |  115279   805201  2318634 | 2147483647    23107     89 | 16.871 % |
61.71/61.80	c |     23892 |  115212   805201  2318634 | 2147483647    23225     88 | 17.416 % |
61.91/62.01	c |     24025 |  115211   805201  2318634 | 2147483647    23357     88 | 17.416 % |
62.41/62.42	c |     24171 |  115179   805201  2318634 | 2147483647    23501     88 | 17.770 % |
62.81/62.85	c |     24331 |  115164   805201  2318634 | 2147483647    23661     88 | 17.770 % |
63.21/63.29	c |     24510 |  114031   792083  2283439 | 2147483647    23758     88 | 17.770 % |
63.71/63.72	c |     24703 |  114030   792083  2283439 | 2147483647    23950     88 | 17.780 % |
64.31/64.32	c |     24915 |  114029   792083  2283439 | 2147483647    24161     88 | 17.781 % |
64.81/64.82	c |     25148 |  114029   792083  2283439 | 2147483647    24394     88 | 17.781 % |
65.01/65.06	c |     25405 |  114029   792083  2283439 | 2147483647    24651     88 | 17.781 % |
65.71/65.73	c |     25686 |  114029   792083  2283439 | 2147483647    24931     89 | 17.819 % |
66.41/66.46	c |     26000 |  114024   792083  2283439 | 2147483647    25243     89 | 17.827 % |
67.11/67.16	c |     26339 |  113890   791568  2282157 | 2147483647    25564     90 | 18.362 % |
67.51/67.54	c |     26712 |  113886   791568  2282157 | 2147483647    25936     90 | 18.370 % |
68.01/68.08	c |     27122 |  113886   791568  2282157 | 2147483647    26346     91 | 18.370 % |
68.71/68.81	c |     27580 |  113880   791568  2282157 | 2147483647    26802     91 | 18.378 % |
69.01/69.08	c |     27681 |  113880   791568  2282157 | 2147483647    26903     92 | 18.378 % |
69.21/69.27	c |     27792 |  113880   791568  2282157 | 2147483647    27014     92 | 18.378 % |
69.31/69.41	c |     27916 |  113880   791568  2282157 | 2147483647    27138     91 | 18.378 % |
69.61/69.70	c |     28049 |  113880   791568  2282157 | 2147483647    27271     92 | 18.378 % |
70.21/70.22	c |     28203 |  113878   791568  2282157 | 2147483647    27423     92 | 18.396 % |
70.51/70.59	c |     28363 |  113875   791568  2282157 | 2147483647    27583     92 | 18.396 % |
71.21/71.28	c |     28539 |  113164   786367  2269274 | 2147483647    27707     94 | 18.396 % |
71.51/71.61	c |     28734 |  113139   786367  2269274 | 2147483647    27900     94 | 18.664 % |
71.91/71.99	c |     28954 |  113139   786367  2269274 | 2147483647    28120     94 | 18.664 % |
72.41/72.51	c |     29190 |  113139   786367  2269274 | 2147483647    28356     95 | 18.664 % |
72.81/72.83	c |     29446 |  113139   786367  2269274 | 2147483647    28612     94 | 18.664 % |
73.41/73.48	c |     29727 |  113138   786367  2269274 | 2147483647    28892     95 | 18.665 % |
74.41/74.42	c |     30036 |  113120   786367  2269274 | 2147483647    29198     94 | 18.757 % |
75.41/75.42	c |     30376 |  113120   786367  2269274 | 2147483647    29538     94 | 18.757 % |
76.11/76.14	c |     30748 |  112662   779354  2250155 | 2147483647    29894     95 | 19.045 % |
77.11/77.14	c |     31157 |  112628   779354  2250155 | 2147483647    30303     96 | 19.045 % |
77.91/78.00	c |     31608 |  112600   779354  2250155 | 2147483647    30753     96 | 19.092 % |
79.41/79.45	c |     32102 |  112600   779354  2250155 | 2147483647    31247     98 | 19.092 % |
79.51/79.58	c |     32202 |  112551   779354  2250155 | 2147483647    31346     97 | 19.185 % |
79.91/79.93	c |     32313 |  112551   779354  2250155 | 2147483647    31457     97 | 19.185 % |
80.32/80.36	c |     32434 |  112551   779354  2250155 | 2147483647    31578     98 | 19.185 % |
80.61/80.68	c |     32567 |  112551   779354  2250155 | 2147483647    31711     98 | 19.185 % |
81.01/81.02	c |     32713 |  112068   774899  2238541 | 2147483647    31795     98 | 19.213 % |
81.01/81.09	c |     32873 |  112068   774899  2238541 | 2147483647    31955     98 | 19.213 % |
81.21/81.26	c |     33050 |  112068   774899  2238541 | 2147483647    32132     98 | 19.213 % |
81.42/81.46	c |     33243 |  112068   774899  2238541 | 2147483647    32325     98 | 19.213 % |
82.01/82.07	c |     33456 |  112067   774899  2238541 | 2147483647    32538     99 | 19.213 % |
82.51/82.56	c |     33689 |  112067   774899  2238541 | 2147483647    32771     98 | 19.213 % |
83.21/83.29	c |     33945 |  112067   774899  2238541 | 2147483647    33027     99 | 19.213 % |
83.91/84.00	c |     34226 |  112067   774899  2238541 | 2147483647    33308     99 | 19.213 % |
84.91/85.01	c |     34537 |  112067   774899  2238541 | 2147483647    33619    100 | 19.213 % |
85.71/85.72	c |     34881 |  112067   774899  2238541 | 2147483647    33963    100 | 19.213 % |
86.21/86.21	c |     35253 |  112029   774612  2237860 | 2147483647    34318    101 | 19.219 % |
87.01/87.05	c |     35664 |  112027   774612  2237860 | 2147483647    34726    102 | 19.434 % |
88.51/88.54	c |     36113 |  111861   774612  2237860 | 2147483647    35173    104 | 19.741 % |
89.71/89.81	c |     36607 |  111856   774612  2237860 | 2147483647    35666    105 | 19.751 % |
91.11/91.19	c |     37149 |  111828   774612  2237860 | 2147483647    36206    106 | 20.368 % |
91.32/91.35	c |     37250 |  110429   763911  2211284 | 2147483647    36244    106 | 20.368 % |
91.51/91.57	c |     37368 |  110429   763911  2211284 | 2147483647    36362    106 | 20.368 % |
91.91/92.01	c |     37489 |  110428   763911  2211284 | 2147483647    36482    107 | 20.369 % |
92.11/92.16	c |     37622 |  110428   763911  2211284 | 2147483647    36615    107 | 20.369 % |
92.51/92.51	c |     37768 |  110428   763911  2211284 | 2147483647    36761    107 | 20.369 % |
92.71/92.79	c |     37928 |  110428   763911  2211284 | 2147483647    36921    107 | 20.369 % |
93.21/93.24	c |     38104 |  110428   763911  2211284 | 2147483647    37097    107 | 20.369 % |
93.71/93.73	c |     38300 |  110428   763911  2211284 | 2147483647    37293    107 | 20.369 % |
94.11/94.13	c |     38512 |  110428   763911  2211284 | 2147483647    37505    107 | 20.369 % |
94.81/94.89	c |     38747 |  110427   763911  2211284 | 2147483647    37739    107 | 20.369 % |
95.41/95.48	c |     39005 |  110427   763911  2211284 | 2147483647    37997    108 | 20.369 % |
96.71/96.81	c |     39291 |  110427   763911  2211284 | 2147483647    38283    109 | 20.369 % |
97.51/97.52	c |     39603 |  110425   763904  2211270 | 2147483647    38591    109 | 20.371 % |
97.92/97.97	c |     39942 |  110425   763904  2211270 | 2147483647    38930    109 | 20.371 % |
98.81/98.84	c |     40314 |  110417   763904  2211270 | 2147483647    39299    108 | 20.431 % |
99.91/99.99	c |     40723 |  110403   763904  2211270 | 2147483647    39696    109 | 20.506 % |
100.71/100.78	c |     41172 |  110402   763904  2211270 | 2147483647    40144    109 | 20.509 % |
101.41/101.49	c |     41666 |  110395   763904  2211270 | 2147483647    40637    110 | 20.517 % |
102.81/102.87	c |     42211 |  109049   743334  2154760 | 2147483647    41015    111 | 21.363 % |
104.11/104.17	c |     42807 |  109049   743334  2154760 | 2147483647    41610    112 | 21.379 % |
104.41/104.42	c |     42907 |  109044   743334  2154760 | 2147483647    41710    112 | 21.379 % |
104.71/104.77	c |     43018 |  109043   743334  2154760 | 2147483647    41820    112 | 21.380 % |
105.01/105.07	c |     43139 |  109043   743334  2154760 | 2147483647    41941    112 | 21.380 % |
105.41/105.45	c |     43272 |  109043   743334  2154760 | 2147483647    42074    112 | 21.380 % |
105.81/105.87	c |     43418 |  109029   743334  2154760 | 2147483647    42218    112 | 21.390 % |
106.31/106.40	c |     43582 |  109028   743334  2154760 | 2147483647    42381    113 | 21.398 % |
106.61/106.69	c |     43760 |  109028   743334  2154760 | 2147483647    42559    113 | 21.398 % |
107.11/107.19	c |     43953 |  109028   743334  2154760 | 2147483647    42752    113 | 21.398 % |
107.61/107.62	c |     44165 |  109028   743334  2154760 | 2147483647    42964    113 | 21.398 % |
107.91/107.92	c |     44400 |  109028   743334  2154760 | 2147483647    43199    114 | 21.398 % |
108.61/108.71	c |     44656 |  109028   743334  2154760 | 2147483647    43455    114 | 21.398 % |
109.11/109.17	c |     44937 |  109028   743334  2154760 | 2147483647    43736    115 | 21.398 % |
110.20/110.29	c |     45251 |  109000   742969  2153794 | 2147483647    44038    115 | 21.532 % |
111.11/111.18	c |     45591 |  108994   742969  2153794 | 2147483647    44377    116 | 21.536 % |
112.00/112.08	c |     45963 |  108964   742969  2153794 | 2147483647    44746    116 | 21.897 % |
113.00/113.05	c |     46377 |  108929   742969  2153794 | 2147483647    45159    116 | 21.902 % |
113.70/113.75	c |     46829 |  108910   742969  2153794 | 2147483647    45609    117 | 22.110 % |
115.20/115.24	c |     47322 |  108907   742969  2153794 | 2147483647    46102    118 | 22.110 % |
116.61/116.69	c |     47865 |  108010   729356  2116667 | 2147483647    46576    119 | 22.115 % |
117.60/117.61	c |     48461 |  108010   729356  2116667 | 2147483647    47172    119 | 22.115 % |
119.00/119.02	c |     49117 |  108008   729356  2116667 | 2147483647    47826    119 | 22.127 % |
119.10/119.19	c |     49217 |  108008   729356  2116667 | 2147483647    47926    119 | 22.127 % |
119.40/119.41	c |     49327 |  108007   729356  2116667 | 2147483647    48035    119 | 22.127 % |
119.50/119.57	c |     49448 |  108004   729356  2116667 | 2147483647    48155    119 | 22.238 % |
119.91/119.94	c |     49581 |  107988   729356  2116667 | 2147483647    48288    119 | 22.238 % |
120.20/120.25	c |     49731 |  107988   729356  2116667 | 2147483647    48438    120 | 22.238 % |
120.60/120.62	c |     49894 |  107978   729356  2116667 | 2147483647    48599    120 | 22.275 % |
121.20/121.25	c |     50075 |  107978   729356  2116667 | 2147483647    48780    121 | 22.275 % |
121.80/121.81	c |     50270 |  107962   729356  2116667 | 2147483647    48975    121 | 22.275 % |
122.11/122.13	c |     50485 |  107962   729356  2116667 | 2147483647    49190    121 | 22.275 % |
122.50/122.52	c |     50718 |  107784   727021  2110349 | 2147483647    49360    122 | 22.275 % |
122.80/122.86	c |     50974 |  107783   727021  2110349 | 2147483647    49615    121 | 22.276 % |
123.90/123.97	c |     51256 |  107776   727021  2110349 | 2147483647    49896    122 | 22.315 % |
124.60/124.63	c |     51569 |  107776   727021  2110349 | 2147483647    50209    122 | 22.315 % |
125.30/125.39	c |     51908 |  107776   727021  2110349 | 2147483647    50548    123 | 22.315 % |
126.30/126.37	c |     52280 |  107776   727021  2110349 | 2147483647    50920    123 | 22.315 % |
126.90/126.91	c |     52689 |  107776   727021  2110349 | 2147483647    51329    123 | 22.315 % |
127.90/127.92	c |     53141 |  107776   727021  2110349 | 2147483647    51781    124 | 22.315 % |
129.20/129.26	c |     53635 |  107776   727021  2110349 | 2147483647    52275    125 | 22.315 % |
130.50/130.51	c |     54177 |  107776   727021  2110349 | 2147483647    52817    127 | 22.315 % |
131.60/131.61	c |     54776 |  107728   726815  2109911 | 2147483647    53415    127 | 22.316 % |
132.90/132.98	c |     55435 |  107727   726815  2109911 | 2147483647    54073    128 | 22.316 % |
134.30/134.35	c |     56155 |  107680   726815  2109911 | 2147483647    54789    128 | 22.451 % |
134.40/134.49	c |     56260 |  107680   726815  2109911 | 2147483647    54894    128 | 22.451 % |
134.60/134.63	c |     56376 |  107679   726815  2109911 | 2147483647    55009    128 | 22.452 % |
134.80/134.89	c |     56501 |  107679   726815  2109911 | 2147483647    55134    129 | 22.452 % |
135.10/135.12	c |     56635 |  107679   726815  2109911 | 2147483647    55268    128 | 22.452 % |
135.50/135.60	c |     56782 |  107679   726815  2109911 | 2147483647    55415    129 | 22.452 % |
135.90/135.98	c |     56942 |  107671   726815  2109911 | 2147483647    55573    129 | 22.509 % |
136.41/136.46	c |     57120 |  107655   726815  2109911 | 2147483647    55751    129 | 22.509 % |
136.70/136.76	c |     57313 |  107655   726815  2109911 | 2147483647    55944    129 | 22.509 % |
137.40/137.41	c |     57525 |  107652   726815  2109911 | 2147483647    56154    129 | 22.518 % |
137.60/137.60	c |     57759 |  107652   726815  2109911 | 2147483647    56387    129 | 22.562 % |
138.40/138.49	c |     58016 |  107634   726815  2109911 | 2147483647    56644    130 | 22.562 % |
138.90/138.98	c |     58297 |  107387   724180  2103057 | 2147483647    56863    130 | 22.562 % |
139.80/139.87	c |     58607 |  107387   724180  2103057 | 2147483647    57173    130 | 22.562 % |
141.41/141.46	c |     58954 |  107385   724180  2103057 | 2147483647    57519    131 | 22.567 % |
142.01/142.03	c |     59326 |  107385   724180  2103057 | 2147483647    57891    131 | 22.567 % |
143.01/143.10	c |     59738 |  107385   724180  2103057 | 2147483647    58303    132 | 22.567 % |
144.01/144.06	c |     60188 |  107385   724180  2103057 | 2147483647    58753    133 | 22.567 % |
144.61/144.62	c |     60681 |  107385   724180  2103057 | 2147483647    59246    133 | 22.567 % |
146.01/146.02	c |     61225 |  107384   724180  2103057 | 2147483647    59789    133 | 22.575 % |
148.01/148.07	c |     61825 |  107384   724180  2103057 | 2147483647    60388    135 | 22.576 % |
149.51/149.59	c |     62482 |  107379   724180  2103057 | 2147483647    61044    136 | 22.585 % |
152.31/152.32	c |     63202 |  107354   723902  2102317 | 2147483647    61747    139 | 22.590 % |
153.71/153.72	c |     63995 |  107354   723902  2102317 | 2147483647    62540    140 | 22.590 % |
154.01/154.03	c |     64095 |  107354   723902  2102317 | 2147483647    62640    140 | 22.590 % |
154.11/154.21	c |     64206 |  107354   723902  2102317 | 2147483647    62751    140 | 22.590 % |
154.41/154.45	c |     64327 |  107354   723902  2102317 | 2147483647    62872    140 | 22.590 % |
154.61/154.70	c |     64465 |  107352   723902  2102317 | 2147483647    63009    140 | 22.595 % |
155.21/155.25	c |     64611 |  107352   723902  2102317 | 2147483647    63155    140 | 22.595 % |
155.41/155.48	c |     64771 |  107352   723902  2102317 | 2147483647    63315    140 | 22.595 % |
155.61/155.70	c |     64949 |  107352   723902  2102317 | 2147483647    63493    140 | 22.595 % |
156.51/156.57	c |     65143 |  107349   723902  2102317 | 2147483647    63686    140 | 22.603 % |
157.51/157.55	c |     65356 |  107349   723902  2102317 | 2147483647    63899    141 | 22.603 % |
158.21/158.24	c |     65590 |  107282   723902  2102317 | 2147483647    64132    141 | 22.707 % |
159.01/159.09	c |     65846 |  107282   723902  2102317 | 2147483647    64388    142 | 22.707 % |
160.11/160.14	c |     66127 |  107282   723902  2102317 | 2147483647    64669    142 | 22.707 % |
160.81/160.81	c |     66436 |  107184   722657  2099097 | 2147483647    64923    142 | 22.708 % |
162.01/162.08	c |     66780 |  107184   722657  2099097 | 2147483647    65267    143 | 22.708 % |
163.81/163.82	c |     67155 |  107184   722657  2099097 | 2147483647    65642    144 | 22.708 % |
164.61/164.63	c |     67565 |  107184   722657  2099097 | 2147483647    66052    145 | 22.708 % |
165.51/165.60	c |     68015 |  107182   722657  2099097 | 2147483647    66501    145 | 22.717 % |
167.01/167.09	c |     68508 |  107179   722657  2099097 | 2147483647    66993    146 | 22.723 % |
168.11/168.12	c |     69052 |  107179   722657  2099097 | 2147483647    67537    147 | 22.723 % |
169.91/169.98	c |     69648 |  107162   722657  2099097 | 2147483647    68130    147 | 22.790 % |
171.51/171.53	c |     70305 |  107037   722657  2099097 | 2147483647    68785    148 | 22.952 % |
173.71/173.76	c |     71026 |  107037   722657  2099097 | 2147483647    69506    150 | 22.952 % |
176.51/176.53	c |     71822 |  107037   722657  2099097 | 2147483647    70302    153 | 22.952 % |
178.31/178.39	c |     72694 |  106844   721109  2095534 | 2147483647    71117    156 | 22.955 % |
178.61/178.66	c |     72799 |  106843   721109  2095534 | 2147483647    71222    156 | 22.955 % |
179.01/179.02	c |     72912 |  106817   721109  2095534 | 2147483647    71332    156 | 22.993 % |
179.21/179.29	c |     73033 |  106817   721109  2095534 | 2147483647    71453    156 | 22.993 % |
179.41/179.47	c |     73167 |  106817   721109  2095534 | 2147483647    71587    156 | 22.993 % |
179.61/179.68	c |     73314 |  106813   721109  2095534 | 2147483647    71733    156 | 22.999 % |
179.91/179.99	c |     73475 |  106813   721109  2095534 | 2147483647    71894    156 | 22.999 % |
180.61/180.66	c |     73653 |  106811   721109  2095534 | 2147483647    72071    156 | 23.004 % |
180.91/180.97	c |     73848 |  106811   721109  2095534 | 2147483647    72266    156 | 23.004 % |
181.41/181.50	c |     74061 |  106811   721109  2095534 | 2147483647    72479    156 | 23.004 % |
181.81/181.89	c |     74295 |  106811   721109  2095534 | 2147483647    72713    156 | 23.004 % |
182.51/182.56	c |     74559 |  106811   721109  2095534 | 2147483647    72977    157 | 23.004 % |
182.91/182.92	c |     74842 |  106811   721109  2095534 | 2147483647    73260    156 | 23.004 % |
183.51/183.52	c |     75157 |  106811   721109  2095534 | 2147483647    73575    157 | 23.004 % |
184.01/184.06	c |     75496 |  106811   721109  2095534 | 2147483647    73914    157 | 23.004 % |
185.21/185.27	c |     75872 |  106811   721109  2095534 | 2147483647    74290    158 | 23.004 % |
186.21/186.26	c |     76281 |  106811   721109  2095534 | 2147483647    74699    158 | 23.004 % |
187.21/187.25	c |     76730 |  106810   721109  2095534 | 2147483647    75147    158 | 23.004 % |
189.51/189.57	c |     77226 |  106810   721109  2095534 | 2147483647    75643    159 | 23.004 % |
190.91/190.99	c |     77768 |  106809   721109  2095534 | 2147483647    76184    160 | 23.012 % |
192.21/192.26	c |     78380 |  106809   721109  2095534 | 2147483647    76796    160 | 23.012 % |
194.11/194.12	c |     79037 |  106809   721109  2095534 | 2147483647    77453    160 | 23.012 % |
196.71/196.73	c |     79757 |  106762   720310  2093490 | 2147483647    78133    162 | 23.012 % |
199.71/199.76	c |     80549 |  106762   720310  2093490 | 2147483647    78925    164 | 23.012 % |
201.41/201.45	c |     81420 |  106762   720310  2093490 | 2147483647    79796    166 | 23.012 % |
205.81/205.90	c |     82378 |  106761   720310  2093490 | 2147483647    80753    170 | 23.013 % |
206.21/206.25	c |     82479 |  106761   720310  2093490 | 2147483647    80854    170 | 23.013 % |
206.61/206.66	c |     82592 |  106761   720310  2093490 | 2147483647    80967    170 | 23.013 % |
206.91/206.96	c |     82715 |  106761   720310  2093490 | 2147483647    81090    170 | 23.013 % |
207.21/207.28	c |     82848 |  106761   720310  2093490 | 2147483647    81223    170 | 23.013 % |
207.61/207.61	c |     82994 |  106761   720310  2093490 | 2147483647    81369    170 | 23.013 % |
207.81/207.83	c |     83154 |  106761   720310  2093490 | 2147483647    81529    170 | 23.013 % |
208.51/208.56	c |     83330 |  106761   720310  2093490 | 2147483647    81705    171 | 23.013 % |
209.21/209.22	c |     83525 |  106761   720310  2093490 | 2147483647    81900    171 | 23.013 % |
209.91/209.92	c |     83738 |  106761   720310  2093490 | 2147483647    82113    171 | 23.013 % |
210.51/210.52	c |     83971 |  106761   720310  2093490 | 2147483647    82346    171 | 23.013 % |
211.21/211.25	c |     84229 |  106761   720310  2093490 | 2147483647    82604    171 | 23.013 % |
212.61/212.68	c |     84511 |  106756   720310  2093490 | 2147483647    82884    172 | 23.020 % |
213.21/213.30	c |     84820 |  106756   720310  2093490 | 2147483647    83193    172 | 23.020 % |
213.71/213.75	c |     85160 |  106756   720310  2093490 | 2147483647    83533    172 | 23.020 % |
215.11/215.20	c |     85532 |  106751   720217  2093245 | 2147483647    83894    173 | 23.020 % |
216.31/216.39	c |     85941 |  106751   720217  2093245 | 2147483647    84303    174 | 23.020 % |
217.51/217.52	c |     86396 |  106751   720217  2093245 | 2147483647    84758    176 | 23.020 % |
218.81/218.91	c |     86890 |  106749   720217  2093245 | 2147483647    85251    177 | 23.030 % |
220.21/220.27	c |     87432 |  106749   720217  2093245 | 2147483647    85793    177 | 23.030 % |
221.21/221.24	c |     88028 |  106749   720217  2093245 | 2147483647    86389    177 | 23.030 % |
224.91/224.97	c |     88683 |  106749   720217  2093245 | 2147483647    87044    178 | 23.030 % |
228.11/228.19	c |     89404 |  106749   720217  2093245 | 2147483647    87765    180 | 23.030 % |
230.11/230.15	c |     90203 |  106749   720217  2093245 | 2147483647    88564    181 | 23.030 % |
232.31/232.35	c |     91077 |  106749   720217  2093245 | 2147483647    89437    181 | 23.032 % |
235.91/235.93	c |     92035 |  106723   720217  2093245 | 2147483647    90394    183 | 23.074 % |
237.91/237.94	c |     93088 |  106723   720217  2093245 | 2147483647    91447    184 | 23.074 % |
238.21/238.30	c |     93188 |  106677   719385  2091265 | 2147483647    91477    184 | 23.074 % |
238.51/238.59	c |     93298 |  106677   719385  2091265 | 2147483647    91587    184 | 23.074 % |
238.81/238.82	c |     93422 |  106677   719385  2091265 | 2147483647    91711    184 | 23.074 % |
239.41/239.45	c |     93556 |  106677   719385  2091265 | 2147483647    91845    184 | 23.074 % |
240.01/240.01	c |     93702 |  106677   719385  2091265 | 2147483647    91991    185 | 23.074 % |
240.41/240.47	c |     93865 |  106677   719385  2091265 | 2147483647    92154    185 | 23.074 % |
240.71/240.74	c |     94041 |  106677   719385  2091265 | 2147483647    92330    185 | 23.074 % |
241.31/241.32	c |     94235 |  106677   719385  2091265 | 2147483647    92524    185 | 23.074 % |
242.21/242.30	c |     94451 |  106677   719385  2091265 | 2147483647    92740    185 | 23.074 % |
242.81/242.82	c |     94684 |  106677   719385  2091265 | 2147483647    92973    185 | 23.074 % |
244.11/244.19	c |     94941 |  106677   719385  2091265 | 2147483647    93230    186 | 23.074 % |
245.11/245.13	c |     95225 |  106677   719385  2091265 | 2147483647    93514    186 | 23.074 % |
245.51/245.53	c |     95534 |  106677   719385  2091265 | 2147483647    93823    186 | 23.074 % |
246.31/246.31	c |     95876 |  106676   719385  2091265 | 2147483647    94163    186 | 23.088 % |
247.21/247.21	c |     96249 |  106664   719385  2091265 | 2147483647    94535    186 | 23.095 % |
247.91/248.00	c |     96658 |  106664   719385  2091265 | 2147483647    94944    187 | 23.095 % |
248.62/248.68	c |     97108 |  106664   719385  2091265 | 2147483647    95394    187 | 23.095 % |
250.61/250.67	c |     97601 |  106663   719385  2091265 | 2147483647    95886    188 | 23.096 % |
252.81/252.90	c |     98143 |  106661   719385  2091265 | 2147483647    96426    189 | 23.103 % |
254.31/254.33	c |     98741 |  106661   719385  2091265 | 2147483647    97024    189 | 23.103 % |
255.22/255.27	c |     99402 |  106354   719385  2091265 | 2147483647    97683    189 | 23.418 % |
256.21/256.24	c |    100122 |  106354   719385  2091265 | 2147483647    98403    190 | 23.418 % |
257.21/257.28	c |    100914 |  106354   719385  2091265 | 2147483647    99195    192 | 23.418 % |
260.01/260.05	c |    101785 |  106352   719385  2091265 | 2147483647   100066    192 | 23.418 % |
261.21/261.25	c |    102745 |  106352   719385  2091265 | 2147483647   101026    191 | 23.418 % |
265.71/265.71	c |    103801 |  106196   717504  2087127 | 2147483647   102041    192 | 23.433 % |
268.32/268.34	c |    104959 |  106176   717504  2087127 | 2147483647   103196    192 | 23.793 % |
268.42/268.50	c |    105060 |  106176   717504  2087127 | 2147483647   103297    192 | 23.793 % |
268.72/268.73	c |    105171 |  106176   717504  2087127 | 2147483647   103408    192 | 23.793 % |
268.92/268.97	c |    105292 |  106176   717504  2087127 | 2147483647   103529    191 | 23.793 % |
269.22/269.28	c |    105425 |  106176   717504  2087127 | 2147483647   103662    191 | 23.793 % |
269.52/269.59	c |    105572 |  106176   717504  2087127 | 2147483647   103809    191 | 23.793 % |
270.02/270.04	c |    105736 |  106176   717504  2087127 | 2147483647   103973    191 | 23.793 % |
270.52/270.58	c |    105913 |  106175   717504  2087127 | 2147483647   104149    191 | 23.798 % |
270.92/270.97	c |    106106 |  106175   717504  2087127 | 2147483647   104342    191 | 23.798 % |
271.32/271.40	c |    106320 |  106172   717504  2087127 | 2147483647   104553    191 | 23.800 % |
271.92/272.01	c |    106555 |  106172   717504  2087127 | 2147483647   104788    191 | 23.800 % |
273.32/273.36	c |    106813 |  106172   717504  2087127 | 2147483647   105046    192 | 23.800 % |
274.22/274.25	c |    107094 |  106172   717504  2087127 | 2147483647   105327    192 | 23.800 % |
274.72/274.73	c |    107408 |  106172   717504  2087127 | 2147483647   105641    192 | 23.800 % |
275.12/275.18	c |    107749 |  106171   717504  2087127 | 2147483647   105981    192 | 23.803 % |
276.82/276.84	c |    108124 |  106170   717504  2087127 | 2147483647   106356    192 | 23.803 % |
277.92/277.98	c |    108535 |  106169   717504  2087127 | 2147483647   106766    192 | 23.811 % |
279.52/279.58	c |    108985 |  106169   717504  2087127 | 2147483647   107216    192 | 23.811 % |
280.62/280.62	c |    109478 |  106169   717504  2087127 | 2147483647   107709    193 | 23.811 % |
281.82/281.87	c |    110021 |  106169   717504  2087127 | 2147483647   108252    193 | 23.811 % |
283.32/283.33	c |    110617 |  106169   717504  2087127 | 2147483647   108848    194 | 23.811 % |
285.92/286.01	c |    111272 |  106169   717504  2087127 | 2147483647   109503    194 | 23.811 % |
287.52/287.53	c |    111992 |  105653   708137  2061139 | 2147483647   110163    195 | 23.818 % |
290.22/290.29	c |    112787 |  105651   708137  2061139 | 2147483647   110957    196 | 23.819 % |
294.42/294.49	c |    113658 |  105649   708137  2061139 | 2147483647   111827    197 | 23.946 % |
297.52/297.53	c |    114616 |  105648   708137  2061139 | 2147483647   112784    198 | 23.947 % |
299.92/299.92	c |    115669 |  105648   708137  2061139 | 2147483647   113836    198 | 23.955 % |
301.82/301.87	c |    116835 |  105647   708137  2061139 | 2147483647   115001    198 | 23.956 % |
308.32/308.35	c |    118108 |  105647   708137  2061139 | 2147483647   116274    201 | 23.956 % |
308.52/308.58	c |    118215 |  105647   708137  2061139 | 2147483647   116381    201 | 23.956 % |
308.92/308.96	c |    118326 |  105647   708137  2061139 | 2147483647   116492    201 | 23.956 % |
309.12/309.18	c |    118447 |  105647   708137  2061139 | 2147483647   116613    201 | 23.956 % |
309.72/309.72	c |    118581 |  105647   708137  2061139 | 2147483647   116747    201 | 23.956 % |
310.02/310.05	c |    118729 |  105647   708137  2061139 | 2147483647   116895    201 | 23.956 % |
310.52/310.59	c |    118889 |  105647   708137  2061139 | 2147483647   117055    201 | 23.956 % |
310.92/310.98	c |    119066 |  105646   708137  2061139 | 2147483647   117231    201 | 23.957 % |
311.72/311.76	c |    119265 |  105646   708137  2061139 | 2147483647   117430    201 | 23.957 % |
312.12/312.17	c |    119479 |  105646   708137  2061139 | 2147483647   117644    201 | 23.957 % |
313.32/313.37	c |    119718 |  105646   708137  2061139 | 2147483647   117883    201 | 23.957 % |
314.12/314.12	c |    119977 |  105646   708137  2061139 | 2147483647   118142    201 | 23.957 % |
315.22/315.23	c |    120262 |  105646   708137  2061139 | 2147483647   118427    202 | 23.957 % |
316.42/316.47	c |    120573 |  105646   708137  2061139 | 2147483647   118738    202 | 23.957 % |
317.62/317.64	c |    120913 |  105444   706772  2057787 | 2147483647   119041    202 | 23.966 % |
318.42/318.51	c |    121286 |  105442   706772  2057787 | 2147483647   119413    202 | 23.973 % |
320.92/320.92	c |    121696 |  105441   706772  2057787 | 2147483647   119822    203 | 23.974 % |
321.92/322.01	c |    122148 |  105438   706772  2057787 | 2147483647   120271    203 | 23.989 % |
325.22/325.23	c |    122642 |  105400   706772  2057787 | 2147483647   120764    204 | 24.093 % |
326.52/326.54	c |    123184 |  105400   706772  2057787 | 2147483647   121306    203 | 24.093 % |
327.62/327.68	c |    123780 |  105400   706772  2057787 | 2147483647   121902    203 | 24.093 % |
328.72/328.80	c |    124437 |  105400   706772  2057787 | 2147483647   122559    203 | 24.093 % |
330.32/330.36	c |    125157 |  105400   706772  2057787 | 2147483647   123279    203 | 24.093 % |
332.22/332.23	c |    125950 |  105398   706772  2057787 | 2147483647   124069    203 | 24.109 % |
335.72/335.78	c |    126822 |  105398   706772  2057787 | 2147483647   124941    204 | 24.109 % |
338.42/338.49	c |    127780 |  105398   706772  2057787 | 2147483647   125899    204 | 24.109 % |
342.02/342.03	c |    128833 |  105398   706772  2057787 | 2147483647   126952    204 | 24.109 % |
347.42/347.51	c |    129991 |  105398   706772  2057787 | 2147483647   128110    206 | 24.109 % |
350.52/350.59	c |    131268 |  105397   706772  2057787 | 2147483647   129386    206 | 24.110 % |
355.12/355.20	c |    132668 |  105391   706772  2057787 | 2147483647   130784    207 | 24.118 % |
355.72/355.76	c |    132768 |  105229   703516  2048943 | 2147483647   130301    208 | 24.118 % |
355.92/355.93	c |    132878 |  105229   703516  2048943 | 2147483647   130411    208 | 24.118 % |
356.22/356.31	c |    133011 |  105229   703516  2048943 | 2147483647   130544    208 | 24.118 % |
356.62/356.63	c |    133145 |  105229   703516  2048943 | 2147483647   130678    208 | 24.118 % |
357.22/357.23	c |    133292 |  105229   703516  2048943 | 2147483647   130825    208 | 24.118 % |
357.72/357.79	c |    133452 |  105228   703516  2048943 | 2147483647   130984    208 | 24.118 % |
358.52/358.62	c |    133628 |  105228   703516  2048943 | 2147483647   131160    208 | 24.118 % |
359.32/359.35	c |    133821 |  105228   703516  2048943 | 2147483647   131353    209 | 24.118 % |
360.02/360.04	c |    134035 |  105228   703516  2048943 | 2147483647   131567    209 | 24.118 % |
361.22/361.26	c |    134268 |  105228   703516  2048943 | 2147483647   131800    209 | 24.118 % |
362.02/362.08	c |    134529 |  105228   703516  2048943 | 2147483647   132061    209 | 24.118 % |
362.62/362.69	c |    134810 |  105228   703516  2048943 | 2147483647   132342    209 | 24.118 % |
363.32/363.34	c |    135119 |  105228   703516  2048943 | 2147483647   132651    210 | 24.118 % |
364.62/364.67	c |    135466 |  105228   703516  2048943 | 2147483647   132998    210 | 24.118 % |
365.52/365.56	c |    135841 |  105228   703516  2048943 | 2147483647   133373    210 | 24.118 % |
367.02/367.07	c |    136255 |  105228   703516  2048943 | 2147483647   133787    210 | 24.118 % |
368.62/368.61	c |    136705 |  105227   703516  2048943 | 2147483647   134236    210 | 24.119 % |
369.63/369.68	c |    137206 |  105227   703516  2048943 | 2147483647   134737    210 | 24.119 % |
371.83/371.84	c |    137749 |  105226   703516  2048943 | 2147483647   135279    211 | 24.120 % |
373.92/373.98	c |    138350 |  105225   703516  2048943 | 2147483647   135879    211 | 24.121 % |
375.72/375.80	c |    139006 |  105224   703516  2048943 | 2147483647   136534    211 | 24.121 % |
377.33/377.38	c |    139728 |  105221   703516  2048943 | 2147483647   137254    211 | 24.131 % |
379.62/379.70	c |    140524 |  105221   703516  2048943 | 2147483647   138050    212 | 24.131 % |
382.72/382.71	c |    141399 |  105219   703516  2048943 | 2147483647   138923    212 | 24.143 % |
385.03/385.06	c |    142357 |  105218   703516  2048943 | 2147483647   139880    213 | 24.152 % |
388.62/388.68	c |    143410 |  105215   703516  2048943 | 2147483647   140932    214 | 24.157 % |
392.62/392.66	c |    144573 |  105215   703516  2048943 | 2147483647   142095    215 | 24.157 % |
397.93/397.98	c |    145848 |  105215   703516  2048943 | 2147483647   143370    216 | 24.157 % |
400.73/400.80	c |    147249 |  105175   703054  2047755 | 2147483647   144753    218 | 24.157 % |
408.03/408.04	c |    148789 |  105171   703054  2047755 | 2147483647   146290    219 | 24.165 % |
408.43/408.42	c |    148889 |  105171   703054  2047755 | 2147483647   146390    219 | 24.165 % |
408.83/408.84	c |    148999 |  105171   703054  2047755 | 2147483647   146500    219 | 24.165 % |
409.33/409.41	c |    149122 |  105169   703054  2047755 | 2147483647   146621    219 | 24.174 % |
409.73/409.80	c |    149256 |  105169   703054  2047755 | 2147483647   146755    219 | 24.174 % |
410.13/410.18	c |    149404 |  105169   703054  2047755 | 2147483647   146903    219 | 24.174 % |
410.73/410.77	c |    149566 |  105167   703054  2047755 | 2147483647   147064    219 | 24.180 % |
411.53/411.60	c |    149744 |  105167   703054  2047755 | 2147483647   147242    219 | 24.180 % |
412.23/412.31	c |    149937 |  105166   703054  2047755 | 2147483647   147434    219 | 24.180 % |
413.03/413.04	c |    150150 |  105166   703054  2047755 | 2147483647   147647    219 | 24.180 % |
413.53/413.58	c |    150383 |  105166   703054  2047755 | 2147483647   147879    219 | 24.343 % |
414.03/414.08	c |    150639 |  105165   703054  2047755 | 2147483647   148135    219 | 24.343 % |
415.13/415.16	c |    150920 |  105165   703054  2047755 | 2147483647   148416    219 | 24.343 % |
416.13/416.15	c |    151230 |  105161   703054  2047755 | 2147483647   148723    218 | 24.354 % |
417.43/417.44	c |    151576 |  105064   703054  2047755 | 2147483647   149068    219 | 24.496 % |
419.53/419.59	c |    151950 |  105064   703054  2047755 | 2147483647   149442    220 | 24.496 % |
421.03/421.02	c |    152361 |  105052   703054  2047755 | 2147483647   149852    220 | 24.523 % |
422.33/422.37	c |    152810 |  105052   703054  2047755 | 2147483647   150301    220 | 24.523 % |
424.13/424.16	c |    153303 |  105052   703054  2047755 | 2147483647   150794    220 | 24.523 % |
427.13/427.19	c |    153848 |  105052   703054  2047755 | 2147483647   151339    221 | 24.523 % |
429.03/429.07	c |    154446 |  105052   703054  2047755 | 2147483647   151937    222 | 24.523 % |
431.03/431.06	c |    155101 |  105037   703054  2047755 | 2147483647   152591    222 | 24.568 % |
433.13/433.21	c |    155821 |  105034   703054  2047755 | 2147483647   153310    223 | 24.573 % |
434.93/434.95	c |    156613 |  105034   703054  2047755 | 2147483647   154102    223 | 24.573 % |
437.83/437.91	c |    157484 |  105026   703054  2047755 | 2147483647   154972    223 | 24.586 % |
440.13/440.14	c |    158442 |  105025   703054  2047755 | 2147483647   155929    223 | 24.595 % |
441.83/441.85	c |    159496 |  104565   698772  2036881 | 2147483647   156677    223 | 24.597 % |
444.13/444.16	c |    160655 |  104565   698772  2036881 | 2147483647   157836    223 | 24.597 % |
450.33/450.32	c |    161933 |  104563   698772  2036881 | 2147483647   159113    224 | 24.646 % |
453.53/453.56	c |    163335 |  104563   698772  2036881 | 2147483647   160515    225 | 24.646 % |
460.63/460.69	c |    164878 |  104560   698772  2036881 | 2147483647   162056    226 | 24.981 % |
465.63/465.69	c |    166581 |  104560   698772  2036881 | 2147483647   163759    228 | 24.981 % |
465.73/465.81	c |    166685 |  104560   698772  2036881 | 2147483647   163863    228 | 24.981 % |
465.93/465.91	c |    166795 |  104560   698772  2036881 | 2147483647   163973    228 | 24.981 % |
466.53/466.58	c |    166916 |  104560   698772  2036881 | 2147483647   164094    228 | 24.981 % |
467.13/467.15	c |    167049 |  104560   698772  2036881 | 2147483647   164227    228 | 24.981 % |
467.54/467.57	c |    167195 |  104559   698772  2036881 | 2147483647   164372    227 | 24.986 % |
468.63/468.65	c |    167355 |  104559   698772  2036881 | 2147483647   164531    228 | 24.987 % |
469.12/469.11	c |    167531 |  104559   698772  2036881 | 2147483647   164707    228 | 24.987 % |
470.22/470.23	c |    167728 |  104559   698772  2036881 | 2147483647   164903    228 | 24.996 % |
471.22/471.28	c |    167941 |  104555   698772  2036881 | 2147483647   165111    228 | 25.014 % |
472.02/472.02	c |    168178 |  104554   698772  2036881 | 2147483647   165348    228 | 25.014 % |
472.92/472.91	c |    168434 |  104554   698772  2036881 | 2147483647   165604    228 | 25.014 % |
473.22/473.30	c |    168715 |  104554   698772  2036881 | 2147483647   165885    228 | 25.014 % |
474.72/474.73	c |    169024 |  104554   698772  2036881 | 2147483647   166194    228 | 25.014 % |
476.42/476.46	c |    169364 |  104554   698772  2036881 | 2147483647   166534    228 | 25.014 % |
477.43/477.49	c |    169739 |  104554   698772  2036881 | 2147483647   166909    229 | 25.014 % |
478.32/478.33	c |    170149 |  104554   698772  2036881 | 2147483647   167319    228 | 25.014 % |
479.63/479.63	c |    170599 |  104553   698772  2036881 | 2147483647   167767    228 | 25.018 % |
480.42/480.48	c |    171094 |  104553   698772  2036881 | 2147483647   168262    228 | 25.018 % |
482.22/482.25	c |    171636 |  104551   698772  2036881 | 2147483647   168801    228 | 25.021 % |
484.52/484.51	c |    172233 |  104551   698772  2036881 | 2147483647   169398    229 | 25.021 % |
486.02/486.10	c |    172888 |  104550   698772  2036881 | 2147483647   170052    228 | 25.022 % |
488.02/488.01	c |    173608 |  104549   698772  2036881 | 2147483647   170770    228 | 25.186 % |
491.52/491.56	c |    174400 |  104549   698772  2036881 | 2147483647   171562    229 | 25.186 % |
494.12/494.14	c |    175271 |  103691   687937  2007533 | 2147483647   172138    229 | 25.227 % |
497.92/497.93	c |    176234 |  103658   687937  2007533 | 2147483647   173099    230 | 25.569 % |
499.72/499.80	c |    177295 |  103658   687937  2007533 | 2147483647   174160    230 | 25.569 % |
503.83/503.88	c |    178453 |  103656   687937  2007533 | 2147483647   175316    230 | 25.570 % |
509.42/509.44	c |    179730 |  103655   687937  2007533 | 2147483647   176592    232 | 25.572 % |
512.42/512.49	c |    181130 |  103654   687937  2007533 | 2147483647   177991    233 | 25.573 % |
517.62/517.66	c |    182671 |  103648   687937  2007533 | 2147483647   179528    234 | 25.589 % |
522.63/522.62	c |    184366 |  103648   687937  2007533 | 2147483647   181223    235 | 25.589 % |
529.23/529.26	c |    186235 |  103642   687937  2007533 | 2147483647   183086    236 | 25.902 % |
529.83/529.84	c |    186335 |  103642   687937  2007533 | 2147483647   183186    236 | 25.902 % |
530.63/530.63	c |    186447 |  103642   687937  2007533 | 2147483647   183298    236 | 25.902 % |
530.93/530.93	c |    186568 |  103642   687937  2007533 | 2147483647   183419    236 | 25.902 % |
531.23/531.29	c |    186704 |  103642   687937  2007533 | 2147483647   183555    236 | 25.902 % |
531.93/531.92	c |    186850 |  103642   687937  2007533 | 2147483647   183701    236 | 25.902 % |
532.63/532.63	c |    187010 |  103642   687937  2007533 | 2147483647   183861    236 | 25.902 % |
533.43/533.48	c |    187187 |  103638   687937  2007533 | 2147483647   184037    236 | 26.026 % |
534.13/534.13	c |    187381 |  103638   687937  2007533 | 2147483647   184231    236 | 26.026 % |
534.73/534.73	c |    187594 |  103638   687937  2007533 | 2147483647   184444    236 | 26.026 % |
535.43/535.45	c |    187827 |  103638   687937  2007533 | 2147483647   184677    236 | 26.026 % |
536.13/536.20	c |    188084 |  103638   687937  2007533 | 2147483647   184934    236 | 26.026 % |
536.83/536.83	c |    188365 |  103638   687937  2007533 | 2147483647   185215    236 | 26.026 % |
537.43/537.48	c |    188675 |  103638   687937  2007533 | 2147483647   185525    237 | 26.026 % |
539.23/539.27	c |    189017 |  103638   687937  2007533 | 2147483647   185867    237 | 26.026 % |
540.73/540.78	c |    189390 |  103637   687937  2007533 | 2147483647   186239    237 | 26.029 % |
542.33/542.32	c |    189801 |  103637   687937  2007533 | 2147483647   186650    237 | 26.029 % |
544.03/544.11	c |    190256 |  103637   687937  2007533 | 2147483647   187105    237 | 26.029 % |
545.53/545.59	c |    190749 |  103635   687937  2007533 | 2147483647   187596    238 | 26.036 % |
547.43/547.42	c |    191294 |  103635   687937  2007533 | 2147483647   188141    238 | 26.036 % |
549.03/549.10	c |    191891 |  103635   687937  2007533 | 2147483647   188738    239 | 26.036 % |
551.53/551.55	c |    192550 |  103634   687937  2007533 | 2147483647   189396    239 | 26.041 % |
554.03/554.03	c |    193270 |  103634   687937  2007533 | 2147483647   190116    240 | 26.041 % |
556.03/556.10	c |    194062 |  103634   687937  2007533 | 2147483647   190908    240 | 26.041 % |
559.43/559.48	c |    194939 |  103634   687937  2007533 | 2147483647   191785    241 | 26.041 % |
562.93/562.92	c |    195899 |  102562   670122  1958036 | 2147483647   189466    241 | 26.041 % |
566.33/566.33	c |    196952 |  102561   670122  1958036 | 2147483647   190518    241 | 26.042 % |
571.13/571.16	c |    198113 |  102560   670122  1958036 | 2147483647   191676    241 | 26.052 % |
575.33/575.37	c |    199391 |  102559   670122  1958036 | 2147483647   192952    241 | 26.053 % |
578.53/578.56	c |    200791 |  102559   670122  1958036 | 2147483647   194352    242 | 26.053 % |
583.13/583.16	c |    202331 |  102559   670122  1958036 | 2147483647   195892    244 | 26.053 % |
588.13/588.19	c |    204027 |  102557   670122  1958036 | 2147483647   197586    245 | 26.060 % |
595.73/595.80	c |    205891 |  102557   670122  1958036 | 2147483647   199450    245 | 26.060 % |
600.23/600.25	c |    207940 |  102548   670122  1958036 | 2147483647   201499    245 | 26.060 % |
600.33/600.37	c |    208041 |  102548   670122  1958036 | 2147483647   201600    245 | 26.060 % |
600.73/600.71	c |    208151 |  102548   670122  1958036 | 2147483647   201710    245 | 26.060 % |
601.03/601.08	c |    208272 |  102548   670122  1958036 | 2147483647   201831    245 | 26.060 % |
601.13/601.18	c |    208405 |  102548   670122  1958036 | 2147483647   201964    245 | 26.060 % |
601.53/601.57	c |    208551 |  102547   670122  1958036 | 2147483647   202109    245 | 26.061 % |
601.74/601.72	c |    208713 |  102547   670122  1958036 | 2147483647   202271    245 | 26.061 % |
602.43/602.42	c |    208890 |  102539   670122  1958036 | 2147483647   202447    245 | 26.188 % |
603.03/603.08	c |    209083 |  102539   670122  1958036 | 2147483647   202640    245 | 26.188 % |
603.73/603.78	c |    209295 |  102538   670122  1958036 | 2147483647   202851    244 | 26.192 % |
604.73/604.78	c |    209528 |  102538   670122  1958036 | 2147483647   203084    245 | 26.192 % |
605.63/605.65	c |    209786 |  102538   670122  1958036 | 2147483647   203342    245 | 26.192 % |
606.23/606.22	c |    210070 |  102538   670122  1958036 | 2147483647   203626    245 | 26.192 % |
606.73/606.80	c |    210383 |  102535   670122  1958036 | 2147483647   203936    245 | 26.206 % |
608.23/608.27	c |    210728 |  102525   670122  1958036 | 2147483647   204281    245 | 26.206 % |
610.43/610.45	c |    211102 |  102525   670122  1958036 | 2147483647   204655    245 | 26.206 % |
611.64/611.66	c |    211512 |  102524   670122  1958036 | 2147483647   205064    245 | 26.207 % |
613.53/613.51	c |    211961 |  102519   670122  1958036 | 2147483647   205512    245 | 26.214 % |
615.73/615.79	c |    212454 |  102513   670122  1958036 | 2147483647   206004    245 | 26.221 % |
617.53/617.52	c |    212997 |  102512   670122  1958036 | 2147483647   206546    245 | 26.254 % |
620.03/620.06	c |    213593 |  102512   670122  1958036 | 2147483647   207142    246 | 26.254 % |
621.73/621.77	c |    214248 |  102512   670122  1958036 | 2147483647   207797    245 | 26.254 % |
624.63/624.67	c |    214968 |  102511   670122  1958036 | 2147483647   208516    245 | 26.255 % |
627.53/627.60	c |    215760 |  102511   670122  1958036 | 2147483647   209308    246 | 26.255 % |
630.83/630.84	c |    216636 |  102511   670122  1958036 | 2147483647   210184    246 | 26.255 % |
633.33/633.38	c |    217594 |  102264   668574  1954503 | 2147483647   210996    246 | 26.256 % |
639.73/639.78	c |    218648 |  102264   668574  1954503 | 2147483647   212050    247 | 26.256 % |
642.93/642.94	c |    219806 |  102264   668574  1954503 | 2147483647   213208    248 | 26.256 % |
649.84/649.83	c |    221079 |  102263   668574  1954503 | 2147483647   214480    249 | 26.257 % |
656.54/656.58	c |    222482 |  102259   668574  1954503 | 2147483647   215881    250 | 26.265 % |
662.84/662.85	c |    224024 |  102253   668574  1954503 | 2147483647   217422    251 | 26.270 % |
670.34/670.34	c |    225720 |  102253   668574  1954503 | 2147483647   219118    251 | 26.270 % |
677.84/677.85	c |    227583 |  102251   668574  1954503 | 2147483647   220980    251 | 26.274 % |
688.14/688.17	c |    229635 |  102251   668574  1954503 | 2147483647   223032    254 | 26.274 % |
696.54/696.54	c |    231892 |  102250   668574  1954503 | 2147483647   225288    255 | 26.275 % |
696.74/696.72	c |    231993 |  102250   668574  1954503 | 2147483647   225389    255 | 26.275 % |
696.94/696.91	c |    232104 |  102250   668574  1954503 | 2147483647   225500    255 | 26.275 % |
697.14/697.17	c |    232226 |  102250   668574  1954503 | 2147483647   225622    255 | 26.275 % |
697.84/697.87	c |    232359 |  102250   668574  1954503 | 2147483647   225755    255 | 26.275 % |
699.04/699.08	c |    232505 |  102250   668574  1954503 | 2147483647   225901    255 | 26.275 % |
699.54/699.60	c |    232665 |  102250   668574  1954503 | 2147483647   226061    255 | 26.275 % |
699.94/699.92	c |    232843 |  102250   668574  1954503 | 2147483647   226239    255 | 26.275 % |
700.74/700.79	c |    233036 |  102250   668574  1954503 | 2147483647   226432    255 | 26.275 % |
701.94/701.98	c |    233250 |  102249   668574  1954503 | 2147483647   226645    255 | 26.280 % |
702.94/702.92	c |    233489 |  102249   668574  1954503 | 2147483647   226884    255 | 26.280 % |
704.34/704.35	c |    233749 |  102249   668574  1954503 | 2147483647   227144    255 | 26.280 % |
705.74/705.75	c |    234032 |  102249   668574  1954503 | 2147483647   227427    255 | 26.280 % |
707.04/707.08	c |    234341 |  102249   668574  1954503 | 2147483647   227736    256 | 26.280 % |
708.24/708.29	c |    234680 |  102249   668574  1954503 | 2147483647   228075    256 | 26.280 % |
709.14/709.14	c |    235053 |  102249   668574  1954503 | 2147483647   228448    256 | 26.280 % |
712.34/712.35	c |    235463 |  102249   668574  1954503 | 2147483647   228858    257 | 26.280 % |
714.44/714.42	c |    235915 |  102249   668574  1954503 | 2147483647   229310    257 | 26.280 % |
716.44/716.46	c |    236412 |  102249   668574  1954503 | 2147483647   229807    257 | 26.280 % |
718.35/718.36	c |    236955 |  102249   668574  1954503 | 2147483647   230350    257 | 26.280 % |
720.04/720.07	c |    237551 |  102230   668351  1953923 | 2147483647   230910    257 | 26.280 % |
723.44/723.42	c |    238206 |  102230   668351  1953923 | 2147483647   231565    258 | 26.280 % |
726.74/726.77	c |    238926 |  102229   668351  1953923 | 2147483647   232284    258 | 26.289 % |
730.45/730.49	c |    239718 |  102229   668351  1953923 | 2147483647   233076    258 | 26.289 % |
734.74/734.77	c |    240597 |  102229   668351  1953923 | 2147483647   233955    259 | 26.289 % |
738.34/738.36	c |    241557 |  102229   668351  1953923 | 2147483647   234915    259 | 26.289 % |
743.04/743.03	c |    242611 |  102227   668351  1953923 | 2147483647   235967    260 | 26.295 % |
747.04/747.03	c |    243772 |  102227   668351  1953923 | 2147483647   237128    261 | 26.295 % |
750.94/750.99	c |    245046 |  102227   668351  1953923 | 2147483647   238402    261 | 26.295 % |
755.64/755.61	c |    246456 |  102226   668351  1953923 | 2147483647   239811    262 | 26.306 % |
760.34/760.38	c |    247996 |  102226   668351  1953923 | 2147483647   241351    262 | 26.306 % |
764.04/764.10	c |    249692 |  102226   668351  1953923 | 2147483647   243047    262 | 26.306 % |
769.74/769.73	c |    251556 |  102224   668351  1953923 | 2147483647   244909    262 | 26.316 % |
777.85/777.82	c |    253606 |  102221   668351  1953923 | 2147483647   246957    263 | 26.321 % |
788.45/788.46	c |    255859 |  102220   668351  1953923 | 2147483647   249208    265 | 26.332 % |
798.65/798.62	c |    258337 |  102216   668351  1953923 | 2147483647   251684    266 | 26.342 % |
798.85/798.87	c |    258438 |  102215   668351  1953923 | 2147483647   251784    266 | 26.573 % |
799.65/799.65	c |    258548 |  102189   668351  1953923 | 2147483647   251894    266 | 26.573 % |
800.35/800.35	c |    258670 |  102189   668351  1953923 | 2147483647   252016    266 | 26.573 % |
801.15/801.20	c |    258803 |  102189   668351  1953923 | 2147483647   252149    266 | 26.573 % |
802.25/802.24	c |    258952 |  102189   668351  1953923 | 2147483647   252298    266 | 26.573 % |
802.95/802.93	c |    259114 |  102189   668351  1953923 | 2147483647   252460    267 | 26.573 % |
803.65/803.65	c |    259291 |  102189   668351  1953923 | 2147483647   252637    267 | 26.573 % |
804.25/804.29	c |    259484 |  102189   668351  1953923 | 2147483647   252830    267 | 26.573 % |
805.15/805.18	c |    259696 |  102189   668351  1953923 | 2147483647   253042    267 | 26.573 % |
806.15/806.17	c |    259929 |  102189   668351  1953923 | 2147483647   253275    267 | 26.573 % |
806.95/806.91	c |    260186 |  102189   668351  1953923 | 2147483647   253532    267 | 26.573 % |
807.35/807.39	c |    260468 |  102189   668351  1953923 | 2147483647   253814    267 | 26.573 % |
808.85/808.87	c |    260780 |  102185   668351  1953923 | 2147483647   254124    267 | 26.585 % |
810.75/810.79	c |    261120 |  102184   668351  1953923 | 2147483647   254463    267 | 26.592 % |
811.25/811.31	c |    261492 |  102184   668351  1953923 | 2147483647   254835    266 | 26.592 % |
814.05/814.04	c |    261904 |  102184   668351  1953923 | 2147483647   255247    267 | 26.592 % |
815.75/815.74	c |    262353 |  102184   668351  1953923 | 2147483647   255696    267 | 26.592 % |
817.95/817.98	c |    262847 |  101798   666244  1948963 | 2147483647   256005    267 | 26.592 % |
820.95/821.00	c |    263391 |  101798   666244  1948963 | 2147483647   256548    268 | 26.593 % |
823.45/823.43	c |    263987 |  101798   666244  1948963 | 2147483647   257144    268 | 26.593 % |
825.05/825.08	c |    264644 |  101798   666244  1948963 | 2147483647   257801    268 | 26.593 % |
828.94/828.93	c |    265364 |  101798   666244  1948963 | 2147483647   258521    268 | 26.593 % |
833.44/833.43	c |    266157 |  101798   666244  1948963 | 2147483647   259314    269 | 26.593 % |
836.94/836.95	c |    267028 |  101794   666244  1948963 | 2147483647   260182    269 | 26.606 % |
841.84/841.84	c |    267989 |  101791   666244  1948963 | 2147483647   261141    270 | 26.619 % |
845.74/845.72	c |    269042 |  101791   666244  1948963 | 2147483647   262194    270 | 26.619 % |
851.54/851.57	c |    270202 |  101791   666244  1948963 | 2147483647   263353    271 | 26.619 % |
857.54/857.58	c |    271475 |  101761   666244  1948963 | 2147483647   264623    271 | 26.833 % |
863.44/863.50	c |    272875 |  101761   666244  1948963 | 2147483647   266023    272 | 26.833 % |
869.94/869.98	c |    274418 |  101747   666244  1948963 | 2147483647   267562    272 | 26.862 % |
875.24/875.28	c |    276113 |  101747   666244  1948963 | 2147483647   269257    273 | 26.862 % |
882.44/882.45	c |    277977 |  101747   666244  1948963 | 2147483647   271120    273 | 26.864 % |
888.14/888.13	c |    280028 |  101742   666244  1948963 | 2147483647   273168    273 | 26.872 % |
898.75/898.76	c |    282284 |  101740   666244  1948963 | 2147483647   275422    274 | 26.873 % |
913.35/913.35	c |    284762 |  101739   666244  1948963 | 2147483647   277899    275 | 26.879 % |
924.75/924.74	c |    287487 |  101730   666244  1948963 | 2147483647   280603    276 | 27.004 % |
925.15/925.12	c |    287587 |  101730   666244  1948963 | 2147483647   280703    276 | 27.004 % |
925.35/925.39	c |    287697 |  101730   666244  1948963 | 2147483647   280813    276 | 27.004 % |
926.05/926.08	c |    287819 |  101730   666244  1948963 | 2147483647   280935    276 | 27.004 % |
926.55/926.56	c |    287957 |  101730   666244  1948963 | 2147483647   281073    276 | 27.004 % |
927.25/927.21	c |    288103 |  101730   666244  1948963 | 2147483647   281219    276 | 27.004 % |
928.15/928.17	c |    288263 |  101730   666244  1948963 | 2147483647   281379    276 | 27.004 % |
929.25/929.23	c |    288439 |  101730   666244  1948963 | 2147483647   281555    276 | 27.004 % |
930.45/930.43	c |    288632 |  101730   666244  1948963 | 2147483647   281748    276 | 27.004 % |
931.45/931.48	c |    288844 |  101730   666244  1948963 | 2147483647   281960    276 | 27.004 % |
933.45/933.43	c |    289081 |  101226   661818  1937138 | 2147483647   281986    276 | 27.004 % |
934.45/934.50	c |    289342 |  101226   661818  1937138 | 2147483647   282247    277 | 27.004 % |
935.95/935.98	c |    289627 |  101225   661818  1937138 | 2147483647   282531    277 | 27.012 % |
936.95/936.93	c |    289938 |  101224   661818  1937138 | 2147483647   282841    277 | 27.012 % |
938.85/938.84	c |    290277 |  101222   661818  1937138 | 2147483647   283179    277 | 27.019 % |
941.15/941.18	c |    290649 |  101222   661818  1937138 | 2147483647   283550    277 | 27.022 % |
943.05/943.02	c |    291067 |  101222   661818  1937138 | 2147483647   283968    277 | 27.022 % |
944.65/944.61	c |    291516 |  101222   661818  1937138 | 2147483647   284417    278 | 27.022 % |
945.95/945.99	c |    292010 |  101220   661818  1937138 | 2147483647   284910    278 | 27.029 % |
949.65/949.64	c |    292553 |  101220   661818  1937138 | 2147483647   285453    278 | 27.029 % |
952.25/952.29	c |    293149 |  101220   661818  1937138 | 2147483647   286049    278 | 27.029 % |
956.05/956.01	c |    293804 |  101220   661818  1937138 | 2147483647   286704    279 | 27.029 % |
959.45/959.44	c |    294526 |  101220   661818  1937138 | 2147483647   287426    279 | 27.029 % |
963.55/963.55	c |    295318 |  101220   661818  1937138 | 2147483647   288218    280 | 27.029 % |
966.65/966.62	c |    296195 |  101220   661818  1937138 | 2147483647   289095    280 | 27.029 % |
971.95/971.93	c |    297153 |  101216   661818  1937138 | 2147483647   290051    280 | 27.036 % |
975.85/975.87	c |    298206 |  101215   661818  1937138 | 2147483647   291103    281 | 27.037 % |
980.95/980.96	c |    299365 |  101215   661818  1937138 | 2147483647   292262    282 | 27.037 % |
989.85/989.86	c |    300644 |  101214   661818  1937138 | 2147483647   293540    283 | 27.038 % |
996.45/996.43	c |    302044 |  101213   661818  1937138 | 2147483647   294939    285 | 27.038 % |
1000.55/1000.59	c |    303585 |  101213   661818  1937138 | 2147483647   296480    284 | 27.038 % |
1009.25/1009.28	c |    305279 |  101213   661818  1937138 | 2147483647   298174    285 | 27.038 % |
1014.26/1014.25	c |    307143 |  101211   661818  1937138 | 2147483647   300036    285 | 27.040 % |
1022.05/1022.03	c |    309192 |  101211   661818  1937138 | 2147483647   302085    286 | 27.040 % |
1031.06/1031.03	c |    311446 |  101211   661818  1937138 | 2147483647   304339    286 | 27.040 % |
1041.56/1041.58	c |    313926 |  101206   661818  1937138 | 2147483647   306816    287 | 27.068 % |
1052.36/1052.36	c |    316652 |  101205   661818  1937138 | 2147483647   309541    290 | 27.069 % |
1063.66/1063.67	c |    319649 |  101204   661818  1937138 | 2147483647   312537    290 | 27.069 % |
1063.96/1064.00	c |    319749 |  101204   661818  1937138 | 2147483647   312637    290 | 27.069 % |
1064.26/1064.25	c |    319859 |  101204   661818  1937138 | 2147483647   312747    290 | 27.069 % |
1064.66/1064.62	c |    319983 |  101204   661818  1937138 | 2147483647   312871    290 | 27.069 % |
1065.26/1065.29	c |    320119 |  101204   661818  1937138 | 2147483647   313007    290 | 27.069 % |
1065.86/1065.89	c |    320266 |  101204   661818  1937138 | 2147483647   313154    290 | 27.069 % |
1066.16/1066.19	c |    320427 |  101204   661818  1937138 | 2147483647   313315    290 | 27.069 % |
1068.16/1068.12	c |    320604 |  101204   661818  1937138 | 2147483647   313492    290 | 27.069 % |
1069.36/1069.38	c |    320797 |  101204   661818  1937138 | 2147483647   313685    290 | 27.069 % |
1070.46/1070.42	c |    321011 |  101204   661818  1937138 | 2147483647   313899    290 | 27.069 % |
1071.66/1071.70	c |    321244 |  101203   661818  1937138 | 2147483647   314131    290 | 27.070 % |
1073.26/1073.31	c |    321500 |  101203   661818  1937138 | 2147483647   314387    290 | 27.070 % |
1074.36/1074.35	c |    321782 |  101203   661818  1937138 | 2147483647   314669    290 | 27.070 % |
1076.16/1076.18	c |    322094 |  101203   661818  1937138 | 2147483647   314981    290 | 27.070 % |
1078.36/1078.35	c |    322435 |  101203   661818  1937138 | 2147483647   315322    290 | 27.070 % |
1080.66/1080.69	c |    322809 |  101203   661818  1937138 | 2147483647   315696    291 | 27.070 % |
1082.46/1082.45	c |    323218 |  101203   661818  1937138 | 2147483647   316105    291 | 27.070 % |
1085.06/1085.03	c |    323667 |  101203   661818  1937138 | 2147483647   316554    291 | 27.070 % |
1087.96/1087.95	c |    324162 |  101134   661014  1934960 | 2147483647   315151    292 | 27.071 % |
1091.66/1091.68	c |    324705 |  101133   661014  1934960 | 2147483647   315693    292 | 27.071 % |
1094.66/1094.64	c |    325303 |  101133   661014  1934960 | 2147483647   316291    292 | 27.071 % |
1097.46/1097.42	c |    325958 |  101132   661014  1934960 | 2147483647   316945    292 | 27.076 % |
1101.96/1101.94	c |    326678 |  101132   661014  1934960 | 2147483647   317665    293 | 27.076 % |
1104.66/1104.65	c |    327470 |  101128   661014  1934960 | 2147483647   318453    292 | 27.095 % |
1108.56/1108.58	c |    328347 |  101128   661014  1934960 | 2147483647   319330    293 | 27.095 % |
1112.96/1112.99	c |    329305 |  101128   661014  1934960 | 2147483647   320288    293 | 27.095 % |
1118.16/1118.13	c |    330363 |  101128   661014  1934960 | 2147483647   321346    293 | 27.095 % |
1122.16/1122.13	c |    331524 |  101128   661014  1934960 | 2147483647   322507    293 | 27.095 % |
1129.06/1129.03	c |    332797 |  101124   661014  1934960 | 2147483647   323778    293 | 27.206 % |
1134.96/1134.94	c |    334197 |  101124   661014  1934960 | 2147483647   325178    295 | 27.206 % |
1141.16/1141.20	c |    335737 |  101124   661014  1934960 | 2147483647   326718    295 | 27.206 % |
1148.76/1148.71	c |    337432 |  101124   661014  1934960 | 2147483647   328413    296 | 27.206 % |
1155.47/1155.45	c |    339301 |  100972   661014  1934960 | 2147483647   330280    296 | 27.208 % |
1161.67/1161.70	c |    341350 |  100972   661014  1934960 | 2147483647   332329    296 | 27.208 % |
1177.27/1177.25	c |    343606 |  100972   661014  1934960 | 2147483647   334585    298 | 27.208 % |
1187.76/1187.74	c |    346087 |  100972   661014  1934960 | 2147483647   337066    299 | 27.208 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.93 1.02 0.99 3/96 31509
/proc/meminfo: memFree=1522060/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2412 CPUtime=0.01
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 368 644 0 0 0 0 1 0 18 0 1 0 1019343317 2469888 276 4294967295 134512640 135169312 3216897840 3216896376 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 603 276 235 161 0 42 0
[pid=31513] ppid=31509 vsize=956 CPUtime=0
/proc/31513/stat : 31513 (SatELite_releas) R 31509 31509 11066 0 -1 4202496 143 0 0 0 0 0 0 0 20 0 1 0 1019343317 978944 78 4294967295 134512640 135223648 3219894784 3219893504 134734703 0 0 0 3 0 0 0 17 3 0 0 0
/proc/31513/statm: 239 84 46 174 0 64 0

[startup+0.053609 s]
/proc/loadavg: 0.93 1.02 0.99 3/96 31509
/proc/meminfo: memFree=1522060/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2412 CPUtime=0.01
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 368 644 0 0 0 0 1 0 18 0 1 0 1019343317 2469888 276 4294967295 134512640 135169312 3216897840 3216896376 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 603 276 235 161 0 42 0
[pid=31513] ppid=31509 vsize=25500 CPUtime=0.05
/proc/31513/stat : 31513 (SatELite_releas) R 31509 31509 11066 0 -1 4202496 3611 0 0 0 1 4 0 0 20 0 1 0 1019343317 26112000 3379 4294967295 134512640 135223648 3219894784 3219893664 134543108 0 0 0 3 0 0 0 17 3 0 0 0
/proc/31513/statm: 6375 3379 46 174 0 6200 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27912

[startup+0.113605 s]
/proc/loadavg: 0.93 1.02 0.99 3/96 31509
/proc/meminfo: memFree=1522060/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2412 CPUtime=0.01
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 368 644 0 0 0 0 1 0 18 0 1 0 1019343317 2469888 276 4294967295 134512640 135169312 3216897840 3216896376 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 603 276 235 161 0 42 0
[pid=31513] ppid=31509 vsize=28704 CPUtime=0.11
/proc/31513/stat : 31513 (SatELite_releas) R 31509 31509 11066 0 -1 4202496 6246 0 0 0 6 5 0 0 21 0 1 0 1019343317 29392896 6014 4294967295 134512640 135223648 3219894784 3219893368 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/31513/statm: 7176 6014 46 174 0 7001 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 31116

[startup+0.313592 s]
/proc/loadavg: 0.93 1.02 0.99 3/96 31509
/proc/meminfo: memFree=1522060/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2412 CPUtime=0.01
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 368 644 0 0 0 0 1 0 18 0 1 0 1019343317 2469888 276 4294967295 134512640 135169312 3216897840 3216896376 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 603 276 235 161 0 42 0
[pid=31513] ppid=31509 vsize=51484 CPUtime=0.31
/proc/31513/stat : 31513 (SatELite_releas) R 31509 31509 11066 0 -1 4202496 11721 0 0 0 22 9 0 0 21 0 1 0 1019343317 52719616 11489 4294967295 134512640 135223648 3219894784 3219893736 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/31513/statm: 12871 11489 46 174 0 12696 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 53896

[startup+0.71357 s]
/proc/loadavg: 0.93 1.02 0.99 3/96 31509
/proc/meminfo: memFree=1522060/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2412 CPUtime=0.01
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 368 644 0 0 0 0 1 0 18 0 1 0 1019343317 2469888 276 4294967295 134512640 135169312 3216897840 3216896376 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 603 276 235 161 0 42 0
[pid=31513] ppid=31509 vsize=73860 CPUtime=0.71
/proc/31513/stat : 31513 (SatELite_releas) R 31509 31509 11066 0 -1 4202496 17234 0 0 0 59 12 0 0 22 0 1 0 1019343317 75632640 17002 4294967295 134512640 135223648 3219894784 3219893736 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/31513/statm: 18465 17003 46 174 0 18290 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 76272

[startup+1.51353 s]
/proc/loadavg: 0.94 1.02 0.99 2/98 31514
/proc/meminfo: memFree=1434724/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2412 CPUtime=0.01
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 368 644 0 0 0 0 1 0 18 0 1 0 1019343317 2469888 276 4294967295 134512640 135169312 3216897840 3216896376 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 603 276 235 161 0 42 0
[pid=31513] ppid=31509 vsize=127388 CPUtime=1.51
/proc/31513/stat : 31513 (SatELite_releas) R 31509 31509 11066 0 -1 4202496 30175 0 0 0 133 18 0 0 25 0 1 0 1019343317 130445312 29943 4294967295 134512640 135223648 3219894784 3219893376 134548489 0 0 0 3 0 0 0 17 3 0 0 0
/proc/31513/statm: 31847 29943 67 174 0 31672 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 129800

[startup+3.11344 s]
/proc/loadavg: 0.94 1.02 0.99 2/98 31514
/proc/meminfo: memFree=1391324/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2412 CPUtime=0.01
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 368 644 0 0 0 0 1 0 18 0 1 0 1019343317 2469888 276 4294967295 134512640 135169312 3216897840 3216896376 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 603 276 235 161 0 42 0
[pid=31513] ppid=31509 vsize=150308 CPUtime=3.11
/proc/31513/stat : 31513 (SatELite_releas) R 31509 31509 11066 0 -1 4202496 39233 0 0 0 289 22 0 0 25 0 1 0 1019343317 153915392 35650 4294967295 134512640 135223648 3219894784 3219892800 134586814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/31513/statm: 37577 35650 73 174 0 37402 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 152720

[startup+6.31326 s]
/proc/loadavg: 0.94 1.02 0.99 2/98 31515
/proc/meminfo: memFree=1370276/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2412 CPUtime=0.01
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 368 644 0 0 0 0 1 0 18 0 1 0 1019343317 2469888 276 4294967295 134512640 135169312 3216897840 3216896376 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 603 276 235 161 0 42 0
[pid=31513] ppid=31509 vsize=155972 CPUtime=6.31
/proc/31513/stat : 31513 (SatELite_releas) R 31509 31509 11066 0 -1 4202496 44066 0 0 0 605 26 0 0 25 0 1 0 1019343317 159715328 36430 4294967295 134512640 135223648 3219894784 3219892880 134598257 0 0 0 3 0 0 0 17 3 0 0 0
/proc/31513/statm: 38993 36430 73 174 0 38818 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 158384

[startup+12.7129 s]
/proc/loadavg: 0.95 1.02 0.99 3/98 31517
/proc/meminfo: memFree=1441980/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=54012 CPUtime=3.41
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 12791 0 0 0 333 8 0 0 25 0 1 0 1019344248 55308288 12629 4294967295 134512640 135215339 3215111632 3215109920 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 13503 12629 73 172 0 13330 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 56428

[startup+25.5222 s]
/proc/loadavg: 0.96 1.02 0.99 3/98 31701
/proc/meminfo: memFree=1439872/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=55888 CPUtime=16.22
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 13268 0 0 0 1612 10 0 0 25 0 1 0 1019344248 57229312 13106 4294967295 134512640 135215339 3215111632 3215109728 134527239 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 13972 13106 73 172 0 13799 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 58304

[startup+51.1208 s]
/proc/loadavg: 0.97 1.01 0.99 3/98 31701
/proc/meminfo: memFree=1436168/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=59716 CPUtime=41.82
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 14227 0 0 0 4172 10 0 0 25 0 1 0 1019344248 61149184 14065 4294967295 134512640 135215339 3215111632 3215109920 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 14929 14065 73 172 0 14756 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 62132

[startup+102.328 s]
/proc/loadavg: 0.99 1.01 0.99 3/98 31890
/proc/meminfo: memFree=1422652/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=72824 CPUtime=93.03
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 17506 0 0 0 9288 15 0 0 25 0 1 0 1019344248 74571776 17344 4294967295 134512640 135215339 3215111632 3215109920 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 18206 17344 73 172 0 18033 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 75240

[startup+162.315 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 32078
/proc/meminfo: memFree=1402580/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=93104 CPUtime=153.02
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 22565 0 0 0 15279 23 0 0 25 0 1 0 1019344248 95338496 22403 4294967295 134512640 135215339 3215111632 3215109632 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 23276 22403 73 172 0 23103 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 95520

[startup+222.311 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 32265
/proc/meminfo: memFree=1377656/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=117804 CPUtime=213.02
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 28759 0 0 0 21275 27 0 0 25 0 1 0 1019344248 120631296 28597 4294967295 134512640 135215339 3215111632 3215109904 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 29451 28597 73 172 0 29278 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 120220

[startup+282.318 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 32451
/proc/meminfo: memFree=1354460/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=141292 CPUtime=273.03
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 34603 0 0 0 27266 37 0 0 25 0 1 0 1019344248 144683008 34441 4294967295 134512640 135215339 3215111632 3215109920 134528721 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 35323 34441 73 172 0 35150 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 143708

[startup+342.315 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 32646
/proc/meminfo: memFree=1333520/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=162036 CPUtime=333.03
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 39811 0 0 0 33262 41 0 0 25 0 1 0 1019344248 165924864 39649 4294967295 134512640 135215339 3215111632 3215109632 134532704 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 40509 39649 73 172 0 40336 0
Current children cumulated CPU time (s) 342.32

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

/proc/31517/statm: 57594 56719 73 172 0 57421 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 232792

[startup+582.311 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 939
/proc/meminfo: memFree=1244720/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=250860 CPUtime=573.04
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 62002 0 0 0 57240 64 0 0 25 0 1 0 1019344248 256880640 61840 4294967295 134512640 135215339 3215111632 3215109920 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 62715 61840 73 172 0 62542 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 253276

[startup+642.308 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 1131
/proc/meminfo: memFree=1223144/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=272408 CPUtime=633.04
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 67307 0 0 0 63213 91 0 0 25 0 1 0 1019344248 278945792 67145 4294967295 134512640 135215339 3215111632 3215109848 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 68102 67145 73 172 0 67929 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 274824

[startup+702.315 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 1324
/proc/meminfo: memFree=1202444/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=293020 CPUtime=693.05
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 72471 0 0 0 69202 103 0 0 25 0 1 0 1019344248 300052480 72309 4294967295 134512640 135215339 3215111632 3215109920 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 73255 72309 73 172 0 73082 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 295436

[startup+762.321 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 1512
/proc/meminfo: memFree=1179768/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=315492 CPUtime=753.06
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 78096 0 0 0 75197 109 0 0 25 0 1 0 1019344248 323063808 77934 4294967295 134512640 135215339 3215111632 3215109920 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 78873 77934 73 172 0 78700 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 317908

[startup+822.318 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 1699
/proc/meminfo: memFree=1158176/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=337580 CPUtime=813.06
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 83645 0 0 0 81191 115 0 0 25 0 1 0 1019344248 345681920 83483 4294967295 134512640 135215339 3215111632 3215109632 134532687 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 84395 83483 73 172 0 84222 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 339996

[startup+882.305 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 1885
/proc/meminfo: memFree=1136740/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=358484 CPUtime=873.05
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 88895 0 0 0 87175 130 0 0 25 0 1 0 1019344248 367087616 88733 4294967295 134512640 135215339 3215111632 3215109920 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 89621 88733 73 172 0 89448 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 360900

[startup+942.311 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 2074
/proc/meminfo: memFree=1117868/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=377792 CPUtime=933.06
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 93712 0 0 0 93175 131 0 0 25 0 1 0 1019344248 386859008 93550 4294967295 134512640 135215339 3215111632 3215109920 134528905 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 94448 93550 73 172 0 94275 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 380208

[startup+1002.31 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 2263
/proc/meminfo: memFree=1094332/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=400968 CPUtime=993.06
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 99517 0 0 0 99171 135 0 0 25 0 1 0 1019344248 410591232 99355 4294967295 134512640 135215339 3215111632 3215109632 134532687 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 100242 99355 73 172 0 100069 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 403384

[startup+1062.31 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 2451
/proc/meminfo: memFree=1070384/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=425524 CPUtime=1053.07
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 105544 0 0 0 105167 140 0 0 25 0 1 0 1019344248 435736576 105382 4294967295 134512640 135215339 3215111632 3215109920 134528795 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 106381 105382 73 172 0 106208 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 427940

[startup+1122.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 2642
/proc/meminfo: memFree=1053016/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=442312 CPUtime=1113.07
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 109737 0 0 0 111158 149 0 0 25 0 1 0 1019344248 452927488 109575 4294967295 134512640 135215339 3215111632 3215109920 134529148 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 110578 109575 73 172 0 110405 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 444728

[startup+1182.32 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 2835
/proc/meminfo: memFree=1029968/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=465596 CPUtime=1173.08
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 115573 0 0 0 117149 159 0 0 25 0 1 0 1019344248 476770304 115411 4294967295 134512640 135215339 3215111632 3215109920 134528806 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 116399 115411 73 172 0 116226 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 468012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 2838
/proc/meminfo: memFree=1024388/2074464 swapFree=1950760/1959888
[pid=31509] ppid=31507 vsize=2416 CPUtime=9.29
/proc/31509/stat : 31509 (SatELiteGTI) S 31507 31509 11066 0 -1 4194304 386 50067 0 0 0 0 897 32 18 0 1 0 1019343317 2473984 277 4294967295 134512640 135169312 3216897840 3216894056 3085119214 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31509/statm: 604 277 235 161 0 43 0
[pid=31517] ppid=31509 vsize=470744 CPUtime=1190.77
/proc/31517/stat : 31517 (minisat_static) R 31509 31509 11066 0 -1 4202496 116854 0 0 0 118917 160 0 0 25 0 1 0 1019344248 482041856 116692 4294967295 134512640 135215339 3215111632 3215109632 134532704 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31517/statm: 117686 116692 73 172 0 117513 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 473160

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31509 and gives
#  childrusage.ru_utime.tv_sec=8
#  childrusage.ru_utime.tv_usec=970000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=320000
# CPU time returned by wait4() is 9.29
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.03
CPU time (s): 1200.06
CPU user time (s): 1198.14
CPU system time (s): 1.92
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 473160

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

runsolver used 0 second user time and 0.06 second system time

The end

Launcher Data 

Begin job on tipi23 at 2009-05-17 10:20:48
IDJOB=1821658
IDBENCH=71050
IDSOLVER=657
FILE ID=tipi23/1821658-1242548448
PBS_JOBID=
Free space on /tmp= 8560 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= runsolver --timestamp  -w /tmp/evaluation-result-1821658-1242548448/watcher-1821658-1242548448 -o /tmp/evaluation-result-1821658-1242548448/solver-1821658-1242548448 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821658-1242548448.cnf

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

MD5SUM BENCH= 9573f6b4001373bab93d1a02f96820d1
RANDOM SEED= 1960169997

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1522208 kB
Buffers:         36048 kB
Cached:         432548 kB
SwapCached:       3584 kB
Active:         225908 kB
Inactive:       254324 kB
HighTotal:     1178688 kB
HighFree:       735472 kB
LowTotal:       895776 kB
LowFree:        786736 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:           28556 kB
Writeback:           0 kB
AnonPages:       11176 kB
Mapped:           4276 kB
Slab:            63084 kB
PageTables:        532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96896 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8532 MiB
End job on tipi23 at 2009-05-17 10:40:52