Trace number 1820320

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.04 1199.94

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/total-5-15-u.cnf
MD5SUMc438ce1eb243ac0a49869eda1166f28f
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 variables219756
Number of clauses1008653
Sum of the clauses size2316156
Maximum clause length10
Minimum clause length1
Number of clauses of size 118434
Number of clauses of size 2797195
Number of clauses of size 3151604
Number of clauses of size 44600
Number of clauses of size 518400
Number of clauses of size over 518420

Solver Data 

0.00/0.00	c Parsing...
0.91/0.95	c ==============================================================================
0.91/0.95	c |           |     ORIGINAL     |              LEARNT              |          |
0.91/0.95	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.91/0.95	c ==============================================================================
0.91/0.95	c |         0 |  990219  2297722 |  297065       0        0     nan |  0.000 % |
7.11/7.11	c |         0 |  427478  1139975 |      --       0       --      -- |     --   | -342939/-661157
7.11/7.11	c ==============================================================================
7.11/7.11	c Result  :   #vars: 72951   #clauses: 427478   #literals: 1139975
7.11/7.11	c CPU time:   6.86 s
7.11/7.11	c ==============================================================================
7.50/7.60	c This is MiniSat 2.0 beta
7.50/7.60	c WARNING: for repeatability, setting FPU to use double precision
7.50/7.60	c ============================[ Problem Statistics ]=============================
7.50/7.60	c |                                                                             |
7.50/7.60	c |  Number of variables:  72951                                                |
7.50/7.60	c |  Number of clauses:    427478                                               |
7.89/7.91	c |  Parsing time:         0.25         s                                       |
7.89/7.93	c ============================[ Search Statistics ]==============================
7.89/7.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.89/7.93	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.89/7.93	c ===============================================================================
7.89/7.93	c |         0 |   72951   427478  1139975 |   142492        0    nan |  0.000 % |
8.09/8.19	c |       101 |   72499   427478  1139975 |   142492       90    100 | 11.282 % |
8.19/8.28	c |       202 |   72496   427478  1139975 |   142492      189     62 | 11.301 % |
8.39/8.41	c |       303 |   72491   427478  1139975 |   142492      287     69 | 11.402 % |
8.80/8.88	c |       413 |   59355   340491   930443 |   142492      383     70 | 18.637 % |
9.19/9.24	c |       513 |   58826   340491   930443 |   142492      471     69 | 28.311 % |
9.29/9.38	c |       624 |   58826   340491   930443 |   142492      580     60 | 28.806 % |
9.49/9.53	c |       745 |   58824   340491   930443 |   142492      700     63 | 28.819 % |
9.69/9.76	c |       846 |   51927   292652   813460 |   142492      797     61 | 28.819 % |
10.09/10.11	c |       957 |   51800   292652   813460 |   142492      903     59 | 30.374 % |
10.39/10.46	c |      1078 |   51800   292652   813460 |   142492     1023     71 | 31.126 % |
10.79/10.81	c |      1212 |   50077   281789   784892 |   142492     1133     70 | 33.967 % |
11.00/11.06	c |      1312 |   50077   281789   784892 |   142492     1233     88 | 33.967 % |
11.19/11.27	c |      1422 |   48162   268733   750105 |   142492     1323     90 | 33.980 % |
11.49/11.60	c |      1543 |   48132   268733   750105 |   142492     1437     86 | 39.195 % |
11.79/11.84	c |      1677 |   48120   268733   750105 |   142492     1569     81 | 39.247 % |
12.10/12.20	c |      1824 |   44320   243192   683357 |   142492     1701     87 | 39.247 % |
12.59/12.63	c |      1926 |   44300   243192   683357 |   142492     1801     89 | 40.260 % |
12.99/13.09	c |      2036 |   43580   239040   672718 |   142492     1889     89 | 40.291 % |
13.09/13.21	c |      2157 |   43580   239040   672718 |   142492     2010     86 | 40.291 % |
13.39/13.44	c |      2295 |   43115   238402   671139 |   142492     2134     85 | 43.065 % |
13.79/13.82	c |      2441 |   43060   238402   671139 |   142492     2279     85 | 44.099 % |
14.30/14.40	c |      2604 |   43060   238402   671139 |   142492     2441     86 | 44.338 % |
14.79/14.83	c |      2705 |   40606   217579   617249 |   142492     2518     91 | 44.415 % |
15.09/15.18	c |      2817 |   40606   217579   617249 |   142492     2630     91 | 44.415 % |
15.49/15.52	c |      2938 |   40550   217302   616618 |   142492     2751     93 | 44.415 % |
15.89/15.99	c |      3073 |   40549   217302   616618 |   142492     2885     94 | 44.427 % |
16.29/16.36	c |      3220 |   40539   217231   616439 |   142492     3029     94 | 44.553 % |
16.89/16.93	c |      3380 |   40518   217231   616439 |   142492     3182     95 | 44.659 % |
17.39/17.50	c |      3557 |   40368   216039   613435 |   142492     3344     99 | 44.672 % |
17.60/17.69	c |      3657 |   40368   216039   613435 |   142492     3444     99 | 44.673 % |
17.89/17.91	c |      3769 |   40368   216039   613435 |   142492     3556     97 | 44.672 % |
18.19/18.23	c |      3894 |   40362   215963   613244 |   142492     3681     98 | 44.672 % |
18.49/18.56	c |      4027 |   40359   215963   613244 |   142492     3812     98 | 44.698 % |
18.79/18.88	c |      4173 |   40358   215963   613244 |   142492     3957    102 | 45.022 % |
19.29/19.39	c |      4333 |   40107   211826   601663 |   142492     4114    108 | 45.022 % |
19.80/19.83	c |      4510 |   40107   211826   601663 |   142492     4291    112 | 45.022 % |
20.29/20.32	c |      4703 |   40079   211749   601461 |   142492     4473    110 | 45.288 % |
20.49/20.59	c |      4803 |   40076   211749   601461 |   142492     4572    109 | 45.400 % |
20.79/20.82	c |      4913 |   40076   211749   601461 |   142492     4682    108 | 45.400 % |
20.99/21.06	c |      5039 |   39441   207479   590506 |   142492     4801    107 | 46.269 % |
21.19/21.27	c |      5172 |   39441   207479   590506 |   142492     4934    106 | 46.269 % |
21.59/21.66	c |      5320 |   39441   207479   590506 |   142492     5082    108 | 46.269 % |
22.00/22.02	c |      5483 |   39441   207479   590506 |   142492     5245    110 | 46.269 % |
22.39/22.49	c |      5661 |   39441   207479   590506 |   142492     5423    120 | 46.269 % |
22.89/22.99	c |      5856 |   39197   203354   578896 |   142492     5618    124 | 46.269 % |
23.59/23.65	c |      6070 |   39197   203354   578896 |   142492     5831    131 | 46.438 % |
23.79/23.81	c |      6170 |   39194   203354   578896 |   142492     5931    130 | 46.438 % |
23.99/24.01	c |      6281 |   39074   202491   576839 |   142492     6042    129 | 46.438 % |
24.39/24.46	c |      6403 |   39074   202491   576839 |   142492     6164    129 | 46.438 % |
24.69/24.79	c |      6536 |   39074   202491   576839 |   142492     6297    128 | 46.438 % |
25.09/25.11	c |      6682 |   39071   202491   576839 |   142492     6440    127 | 46.934 % |
25.39/25.47	c |      6842 |   38712   200356   570889 |   142492     6572    130 | 46.934 % |
25.69/25.76	c |      7019 |   38712   200356   570889 |   142492     6749    129 | 46.934 % |
26.19/26.22	c |      7213 |   38703   200356   570889 |   142492     6934    127 | 47.425 % |
26.59/26.69	c |      7425 |   38674   200356   570889 |   142492     7139    127 | 47.668 % |
27.29/27.33	c |      7659 |   38175   196892   561955 |   142492     7366    126 | 47.687 % |
27.59/27.63	c |      7762 |   38175   196892   561955 |   142492     7469    128 | 47.687 % |
27.79/27.82	c |      7872 |   38174   196892   561955 |   142492     7578    128 | 47.688 % |
27.89/27.96	c |      7993 |   38174   196892   561955 |   142492     7699    127 | 47.688 % |
28.29/28.37	c |      8129 |   38151   196708   561469 |   142492     7833    127 | 47.705 % |
28.49/28.60	c |      8275 |   38121   196708   561469 |   142492     7977    127 | 51.637 % |
28.79/28.86	c |      8435 |   38121   196708   561469 |   142492     8137    128 | 51.637 % |
29.29/29.30	c |      8611 |   38120   196708   561469 |   142492     8312    128 | 51.654 % |
29.59/29.69	c |      8806 |   38119   196708   561469 |   142492     8507    128 | 51.654 % |
30.19/30.22	c |      9018 |   35269   179170   513099 |   142492     8679    128 | 51.654 % |
30.69/30.75	c |      9252 |   35263   179170   513099 |   142492     8912    128 | 51.680 % |
31.39/31.41	c |      9509 |   35263   179170   513099 |   142492     9169    126 | 51.680 % |
31.49/31.53	c |      9612 |   35250   179013   512722 |   142492     9271    126 | 51.680 % |
31.69/31.77	c |      9723 |   35249   179013   512722 |   142492     9381    126 | 51.695 % |
31.99/32.01	c |      9845 |   35249   179013   512722 |   142492     9503    126 | 51.695 % |
32.39/32.42	c |      9979 |   35248   179013   512722 |   142492     9636    126 | 51.707 % |
32.69/32.73	c |     10128 |   35248   179013   512722 | 2147483647     9785    128 | 51.707 % |
33.09/33.16	c |     10289 |   35248   179013   512722 | 2147483647     9946    129 | 51.707 % |
33.59/33.64	c |     10465 |   35230   178858   512348 | 2147483647    10121    131 | 51.707 % |
34.10/34.12	c |     10658 |   35230   178858   512348 | 2147483647    10314    131 | 51.707 % |
34.49/34.51	c |     10870 |   35230   178858   512348 | 2147483647    10526    132 | 51.707 % |
34.99/35.06	c |     11107 |   35230   178858   512348 | 2147483647    10763    132 | 51.707 % |
35.99/36.06	c |     11364 |   35220   178786   512171 | 2147483647    11018    130 | 51.721 % |
36.69/36.75	c |     11646 |   35220   178786   512171 | 2147483647    11300    129 | 51.721 % |
36.99/37.00	c |     11747 |   35219   178786   512171 | 2147483647    11400    128 | 51.733 % |
37.29/37.34	c |     11860 |   35219   178786   512171 | 2147483647    11513    128 | 51.733 % |
37.79/37.83	c |     11982 |   35211   178717   511996 | 2147483647    11635    127 | 51.733 % |
38.19/38.23	c |     12116 |   35211   178717   511996 | 2147483647    11769    127 | 51.733 % |
38.50/38.51	c |     12262 |   35211   178717   511996 | 2147483647    11915    126 | 51.734 % |
38.89/39.00	c |     12422 |   35211   178717   511996 | 2147483647    12075    125 | 51.733 % |
39.49/39.53	c |     12598 |   35210   178717   511996 | 2147483647    12250    124 | 51.748 % |
39.90/39.95	c |     12791 |   35200   178642   511797 | 2147483647    12443    125 | 51.748 % |
40.60/40.67	c |     13004 |   35198   178642   511797 | 2147483647    12654    127 | 51.773 % |
41.10/41.14	c |     13237 |   35196   178642   511797 | 2147483647    12886    127 | 51.784 % |
41.60/41.62	c |     13495 |   35124   178642   511797 | 2147483647    13141    127 | 53.311 % |
42.20/42.29	c |     13776 |   35124   178642   511797 | 2147483647    13422    128 | 53.311 % |
43.00/43.10	c |     14086 |   34060   171622   492384 | 2147483647    13684    129 | 53.311 % |
43.20/43.27	c |     14186 |   34055   171622   492384 | 2147483647    13782    128 | 53.336 % |
43.50/43.59	c |     14297 |   34055   171622   492384 | 2147483647    13893    128 | 53.336 % |
43.80/43.86	c |     14418 |   34055   171622   492384 | 2147483647    14014    128 | 53.336 % |
44.10/44.20	c |     14553 |   34055   171622   492384 | 2147483647    14149    128 | 53.336 % |
44.40/44.50	c |     14699 |   34054   171622   492384 | 2147483647    14294    129 | 53.350 % |
44.90/44.98	c |     14860 |   34054   171622   492384 | 2147483647    14455    128 | 53.350 % |
45.40/45.48	c |     15036 |   34032   171418   491882 | 2147483647    14630    129 | 53.350 % |
45.80/45.89	c |     15229 |   34032   171418   491882 | 2147483647    14823    129 | 53.350 % |
46.30/46.38	c |     15445 |   34032   171418   491882 | 2147483647    15039    129 | 53.350 % |
46.80/46.90	c |     15678 |   34032   171418   491882 | 2147483647    15272    129 | 53.350 % |
47.60/47.68	c |     15935 |   34013   171277   491532 | 2147483647    15523    129 | 53.376 % |
48.40/48.47	c |     16226 |   34013   171277   491532 | 2147483647    15814    129 | 53.376 % |
49.30/49.32	c |     16535 |   34013   171277   491532 | 2147483647    16122    130 | 53.391 % |
50.00/50.09	c |     16874 |   34004   171277   491532 | 2147483647    16460    131 | 54.426 % |
50.30/50.35	c |     16974 |   34004   171277   491532 | 2147483647    16560    130 | 54.426 % |
50.60/50.68	c |     17084 |   33246   167065   479604 | 2147483647    16606    131 | 54.483 % |
51.00/51.07	c |     17206 |   33246   167065   479604 | 2147483647    16728    131 | 54.483 % |
51.30/51.39	c |     17340 |   33246   167065   479604 | 2147483647    16862    131 | 54.483 % |
51.80/51.88	c |     17486 |   33246   167065   479604 | 2147483647    17008    132 | 54.483 % |
52.30/52.32	c |     17648 |   33246   167065   479604 | 2147483647    17170    132 | 54.483 % |
52.80/52.90	c |     17824 |   33246   167065   479604 | 2147483647    17345    132 | 54.604 % |
53.40/53.48	c |     18017 |   33246   167065   479604 | 2147483647    17538    133 | 54.604 % |
53.80/53.87	c |     18229 |   32949   166443   477782 | 2147483647    17745    132 | 61.669 % |
54.30/54.37	c |     18466 |   32949   166443   477782 | 2147483647    17982    132 | 61.669 % |
54.90/54.95	c |     18722 |   32949   166443   477782 | 2147483647    18238    131 | 61.669 % |
55.60/55.63	c |     19006 |   32949   166443   477782 | 2147483647    18522    131 | 61.669 % |
56.20/56.28	c |     19315 |   32949   166443   477782 | 2147483647    18831    132 | 61.669 % |
57.10/57.18	c |     19654 |   32949   166443   477782 | 2147483647    19170    132 | 61.669 % |
58.00/58.07	c |     20026 |   27963   134515   387352 | 2147483647    18756    135 | 61.669 % |
58.20/58.30	c |     20126 |   27963   134515   387352 | 2147483647    18856    135 | 61.669 % |
58.60/58.63	c |     20237 |   27963   134515   387352 | 2147483647    18967    135 | 61.669 % |
58.90/58.93	c |     20358 |   27963   134515   387352 | 2147483647    19088    135 | 61.669 % |
59.40/59.43	c |     20491 |   27962   134515   387352 | 2147483647    19220    135 | 61.683 % |
59.80/59.81	c |     20637 |   27962   134515   387352 | 2147483647    19366    135 | 61.683 % |
60.00/60.05	c |     20797 |   27962   134515   387352 | 2147483647    19526    135 | 61.683 % |
60.50/60.51	c |     20973 |   27962   134515   387352 | 2147483647    19702    135 | 61.683 % |
60.90/60.95	c |     21168 |   27953   134447   387169 | 2147483647    19897    135 | 61.683 % |
61.40/61.49	c |     21382 |   27953   134447   387169 | 2147483647    20111    135 | 61.683 % |
61.90/62.01	c |     21617 |   27953   134447   387169 | 2147483647    20346    135 | 61.683 % |
62.40/62.50	c |     21873 |   27953   134447   387169 | 2147483647    20602    134 | 61.683 % |
63.20/63.23	c |     22155 |   27953   134447   387169 | 2147483647    20884    134 | 61.683 % |
63.80/63.90	c |     22464 |   27953   134447   387169 | 2147483647    21192    134 | 61.685 % |
64.60/64.64	c |     22805 |   27951   134440   387141 | 2147483647    21527    134 | 61.685 % |
65.50/65.51	c |     23181 |   27951   134440   387141 | 2147483647    21903    133 | 61.685 % |
66.40/66.42	c |     23591 |   27951   134440   387141 | 2147483647    22313    133 | 61.685 % |
66.60/66.66	c |     23691 |   27951   134440   387141 | 2147483647    22413    133 | 61.685 % |
66.90/66.93	c |     23804 |   27951   134440   387141 | 2147483647    22526    132 | 61.685 % |
67.10/67.19	c |     23925 |   27951   134440   387141 | 2147483647    22647    132 | 61.685 % |
67.60/67.65	c |     24061 |   27951   134440   387141 | 2147483647    22783    132 | 61.685 % |
67.90/67.95	c |     24207 |   27951   134440   387141 | 2147483647    22929    132 | 61.685 % |
68.50/68.52	c |     24377 |   27951   134440   387141 | 2147483647    23099    133 | 61.685 % |
68.90/68.97	c |     24555 |   27951   134440   387141 | 2147483647    23277    133 | 61.685 % |
69.30/69.39	c |     24749 |   27951   134440   387141 | 2147483647    23471    133 | 61.685 % |
69.90/69.95	c |     24961 |   27951   134440   387141 | 2147483647    23683    133 | 61.685 % |
70.40/70.49	c |     25194 |   27951   134440   387141 | 2147483647    23916    133 | 61.685 % |
71.10/71.13	c |     25450 |   27939   134366   386935 | 2147483647    24171    133 | 61.702 % |
71.60/71.69	c |     25733 |   27939   134366   386935 | 2147483647    24454    134 | 61.702 % |
72.40/72.45	c |     26044 |   27939   134366   386935 | 2147483647    24765    133 | 61.702 % |
73.20/73.29	c |     26383 |   27938   134366   386935 | 2147483647    25103    133 | 61.703 % |
74.10/74.20	c |     26758 |   27938   134366   386935 | 2147483647    25477    132 | 61.704 % |
75.20/75.23	c |     27168 |   27938   134366   386935 | 2147483647    25886    132 | 61.721 % |
76.00/76.04	c |     27617 |   27925   134293   386734 | 2147483647    26334    132 | 61.721 % |
76.20/76.24	c |     27717 |   27925   134293   386734 | 2147483647    26434    131 | 61.721 % |
76.50/76.59	c |     27830 |   27925   134293   386734 | 2147483647    26547    131 | 61.721 % |
76.90/76.96	c |     27955 |   27925   134293   386734 | 2147483647    26672    131 | 61.721 % |
77.40/77.45	c |     28091 |   27925   134293   386734 | 2147483647    26808    131 | 61.721 % |
77.70/77.76	c |     28240 |   27925   134293   386734 | 2147483647    26957    131 | 61.721 % |
78.20/78.25	c |     28400 |   27925   134293   386734 | 2147483647    27117    131 | 61.721 % |
78.70/78.74	c |     28576 |   27925   134293   386734 | 2147483647    27293    131 | 61.721 % |
79.10/79.20	c |     28772 |   27925   134293   386734 | 2147483647    27489    130 | 61.721 % |
79.70/79.78	c |     28985 |   27925   134293   386734 | 2147483647    27702    130 | 61.721 % |
80.20/80.31	c |     29219 |   27925   134293   386734 | 2147483647    27936    130 | 61.721 % |
81.00/81.05	c |     29476 |   27925   134293   386734 | 2147483647    28193    130 | 61.721 % |
81.60/81.65	c |     29757 |   27925   134293   386734 | 2147483647    28474    130 | 61.721 % |
82.20/82.25	c |     30066 |   27925   134293   386734 | 2147483647    28783    130 | 61.721 % |
83.20/83.21	c |     30405 |   27925   134293   386734 | 2147483647    29122    130 | 61.721 % |
84.10/84.16	c |     30778 |   27925   134293   386734 | 2147483647    29495    129 | 61.721 % |
85.30/85.39	c |     31187 |   27925   134293   386734 | 2147483647    29904    129 | 61.721 % |
86.50/86.56	c |     31636 |   27925   134293   386734 | 2147483647    30353    128 | 61.721 % |
87.50/87.60	c |     32130 |   27925   134293   386734 | 2147483647    30847    128 | 61.721 % |
87.80/87.83	c |     32230 |   27925   134293   386734 | 2147483647    30947    128 | 61.721 % |
88.10/88.12	c |     32347 |   27925   134293   386734 | 2147483647    31064    128 | 61.721 % |
88.30/88.39	c |     32469 |   27925   134293   386734 | 2147483647    31186    128 | 61.721 % |
88.70/88.74	c |     32605 |   27925   134293   386734 | 2147483647    31322    128 | 61.721 % |
89.11/89.19	c |     32753 |   27925   134293   386734 | 2147483647    31470    128 | 61.721 % |
89.60/89.65	c |     32913 |   27925   134293   386734 | 2147483647    31630    128 | 61.721 % |
90.10/90.15	c |     33089 |   27925   134293   386734 | 2147483647    31806    128 | 61.721 % |
90.60/90.63	c |     33284 |   27925   134293   386734 | 2147483647    32001    127 | 61.721 % |
91.20/91.30	c |     33498 |   27925   134293   386734 | 2147483647    32215    127 | 61.721 % |
91.80/91.89	c |     33733 |   27925   134293   386734 | 2147483647    32450    127 | 61.721 % |
92.50/92.54	c |     33990 |   27925   134293   386734 | 2147483647    32707    127 | 61.721 % |
93.40/93.42	c |     34274 |   27925   134293   386734 | 2147483647    32991    126 | 61.721 % |
94.20/94.23	c |     34584 |   27925   134293   386734 | 2147483647    33301    126 | 61.721 % |
95.10/95.10	c |     34926 |   27925   134293   386734 | 2147483647    33643    126 | 61.721 % |
96.00/96.09	c |     35301 |   27925   134293   386734 | 2147483647    34018    126 | 61.721 % |
96.90/96.93	c |     35710 |   27925   134293   386734 | 2147483647    34427    126 | 61.721 % |
97.91/97.97	c |     36160 |   27925   134293   386734 | 2147483647    34877    126 | 61.721 % |
99.30/99.37	c |     36657 |   27925   134293   386734 | 2147483647    35374    127 | 61.721 % |
100.80/100.88	c |     37199 |   27780   133573   384624 | 2147483647    35851    127 | 61.920 % |
101.10/101.17	c |     37303 |   27780   133573   384624 | 2147483647    35955    127 | 61.920 % |
101.40/101.50	c |     37415 |   27780   133573   384624 | 2147483647    36067    127 | 61.920 % |
101.80/101.86	c |     37540 |   27780   133573   384624 | 2147483647    36192    127 | 61.920 % |
102.20/102.27	c |     37675 |   27780   133573   384624 | 2147483647    36327    127 | 61.920 % |
102.70/102.75	c |     37821 |   27780   133573   384624 | 2147483647    36473    127 | 61.920 % |
103.10/103.14	c |     37983 |   27780   133573   384624 | 2147483647    36635    126 | 61.920 % |
103.70/103.71	c |     38159 |   27778   133573   384624 | 2147483647    36810    126 | 63.053 % |
104.40/104.43	c |     38352 |   27778   133573   384624 | 2147483647    37003    126 | 63.053 % |
105.00/105.06	c |     38564 |   27778   133573   384624 | 2147483647    37215    126 | 63.053 % |
105.50/105.58	c |     38798 |   27778   133573   384624 | 2147483647    37449    126 | 63.053 % |
106.10/106.19	c |     39054 |   27778   133573   384624 | 2147483647    37705    126 | 63.053 % |
106.80/106.89	c |     39336 |   27778   133573   384624 | 2147483647    37987    126 | 63.053 % |
107.70/107.81	c |     39645 |   26953   129797   372725 | 2147483647    37964    125 | 63.053 % |
109.20/109.27	c |     39985 |   26953   129797   372725 | 2147483647    38304    125 | 63.053 % |
110.30/110.36	c |     40358 |   26953   129797   372725 | 2147483647    38677    126 | 63.053 % |
111.40/111.41	c |     40767 |   26950   129797   372725 | 2147483647    39085    126 | 63.125 % |
112.60/112.66	c |     41216 |   26950   129797   372725 | 2147483647    39534    125 | 63.125 % |
114.20/114.27	c |     41709 |   26950   129797   372725 | 2147483647    40027    124 | 63.125 % |
116.00/116.03	c |     42252 |   26901   129474   371843 | 2147483647    40570    124 | 63.125 % |
118.21/118.30	c |     42849 |   26901   129474   371843 | 2147483647    41167    123 | 63.125 % |
118.61/118.63	c |     42949 |   26901   129474   371843 | 2147483647    41267    123 | 63.125 % |
118.82/118.90	c |     43060 |   26901   129474   371843 | 2147483647    41378    123 | 63.125 % |
119.21/119.24	c |     43181 |   26901   129474   371843 | 2147483647    41499    123 | 63.125 % |
119.61/119.66	c |     43315 |   26901   129474   371843 | 2147483647    41633    123 | 63.125 % |
120.01/120.09	c |     43462 |   26901   129474   371843 | 2147483647    41780    123 | 63.125 % |
120.51/120.59	c |     43622 |   26901   129474   371843 | 2147483647    41940    123 | 63.125 % |
120.91/120.98	c |     43799 |   26901   129474   371843 | 2147483647    42117    123 | 63.125 % |
121.41/121.50	c |     43992 |   26901   129474   371843 | 2147483647    42310    123 | 63.125 % |
121.92/121.94	c |     44204 |   26901   129474   371843 | 2147483647    42522    123 | 63.125 % |
122.52/122.61	c |     44441 |   26901   129474   371843 | 2147483647    42759    123 | 63.125 % |
123.22/123.29	c |     44697 |   26901   129474   371843 | 2147483647    43015    123 | 63.125 % |
123.92/123.97	c |     44979 |   26901   129474   371843 | 2147483647    43297    123 | 63.125 % |
124.62/124.67	c |     45290 |   26901   129474   371843 | 2147483647    43608    123 | 63.125 % |
125.52/125.54	c |     45630 |   26896   129426   371716 | 2147483647    43947    123 | 63.132 % |
126.72/126.79	c |     46004 |   26896   129426   371716 | 2147483647    44321    123 | 63.132 % |
128.12/128.16	c |     46413 |   26896   129426   371716 | 2147483647    44730    123 | 63.132 % |
129.62/129.67	c |     46865 |   26896   129426   371716 | 2147483647    45182    122 | 63.131 % |
131.82/131.90	c |     47358 |   26896   129426   371716 | 2147483647    45675    121 | 63.131 % |
133.82/133.92	c |     47902 |   26896   129426   371716 | 2147483647    46219    120 | 63.131 % |
136.22/136.26	c |     48498 |   26896   129426   371716 | 2147483647    46815    119 | 63.131 % |
138.42/138.48	c |     49153 |   26886   129363   371558 | 2147483647    47452    119 | 63.145 % |
138.72/138.77	c |     49255 |   26886   129363   371558 | 2147483647    47554    119 | 63.145 % |
139.02/139.11	c |     49367 |   26886   129363   371558 | 2147483647    47665    119 | 63.160 % |
139.32/139.41	c |     49488 |   26885   129363   371558 | 2147483647    47786    119 | 63.160 % |
139.82/139.86	c |     49622 |   26885   129363   371558 | 2147483647    47920    119 | 63.160 % |
140.22/140.28	c |     49770 |   26885   129363   371558 | 2147483647    48068    119 | 63.160 % |
140.72/140.81	c |     49930 |   26885   129363   371558 | 2147483647    48228    119 | 63.160 % |
141.22/141.24	c |     50106 |   26885   129363   371558 | 2147483647    48404    119 | 63.160 % |
141.72/141.73	c |     50299 |   26885   129363   371558 | 2147483647    48597    119 | 63.160 % |
142.32/142.39	c |     50511 |   26885   129363   371558 | 2147483647    48809    119 | 63.160 % |
142.92/143.02	c |     50748 |   26885   129363   371558 | 2147483647    49046    119 | 63.160 % |
143.52/143.62	c |     51004 |   26885   129363   371558 | 2147483647    49302    119 | 63.160 % |
144.42/144.46	c |     51286 |   26885   129363   371558 | 2147483647    49583    119 | 63.174 % |
145.62/145.72	c |     51596 |   26885   129363   371558 | 2147483647    49893    118 | 63.174 % |
146.62/146.70	c |     51935 |   26885   129363   371558 | 2147483647    50232    118 | 63.174 % |
148.12/148.16	c |     52308 |   26865   129212   371163 | 2147483647    50587    118 | 63.174 % |
149.32/149.42	c |     52718 |   26865   129212   371163 | 2147483647    50997    118 | 63.174 % |
150.72/150.74	c |     53168 |   26865   129212   371163 | 2147483647    51447    118 | 63.174 % |
152.22/152.30	c |     53665 |   26865   129212   371163 | 2147483647    51944    118 | 63.174 % |
153.62/153.71	c |     54207 |   26865   129212   371163 | 2147483647    52486    118 | 63.174 % |
155.32/155.37	c |     54805 |   26865   129212   371163 | 2147483647    53084    118 | 63.174 % |
157.52/157.58	c |     55463 |   26865   129212   371163 | 2147483647    53742    118 | 63.174 % |
159.82/159.86	c |     56183 |   26865   129212   371163 | 2147483647    54462    118 | 63.174 % |
160.12/160.18	c |     56287 |   26865   129212   371163 | 2147483647    54566    118 | 63.174 % |
160.42/160.45	c |     56397 |   26865   129212   371163 | 2147483647    54676    118 | 63.174 % |
160.82/160.88	c |     56518 |   26865   129212   371163 | 2147483647    54797    118 | 63.174 % |
161.22/161.29	c |     56651 |   26865   129212   371163 | 2147483647    54930    118 | 63.174 % |
161.62/161.63	c |     56797 |   26865   129212   371163 | 2147483647    55076    118 | 63.174 % |
162.12/162.20	c |     56957 |   26865   129212   371163 | 2147483647    55236    118 | 63.174 % |
162.62/162.68	c |     57133 |   26865   129212   371163 | 2147483647    55412    118 | 63.174 % |
163.12/163.15	c |     57326 |   26865   129212   371163 | 2147483647    55605    118 | 63.174 % |
163.82/163.89	c |     57538 |   26865   129212   371163 | 2147483647    55817    118 | 63.174 % |
164.62/164.70	c |     57771 |   26865   129212   371163 | 2147483647    56050    118 | 63.174 % |
165.62/165.65	c |     58029 |   26865   129212   371163 | 2147483647    56308    118 | 63.174 % |
166.22/166.30	c |     58310 |   26865   129212   371163 | 2147483647    56589    118 | 63.174 % |
167.22/167.28	c |     58621 |   26865   129212   371163 | 2147483647    56900    118 | 63.174 % |
168.12/168.18	c |     58960 |   26865   129212   371163 | 2147483647    57239    118 | 63.174 % |
169.02/169.07	c |     59332 |   26865   129212   371163 | 2147483647    57611    118 | 63.174 % |
170.32/170.35	c |     59741 |   26865   129212   371163 | 2147483647    58020    118 | 63.174 % |
171.72/171.75	c |     60190 |   26865   129212   371163 | 2147483647    58469    118 | 63.174 % |
173.02/173.09	c |     60684 |   26865   129212   371163 | 2147483647    58963    117 | 63.174 % |
174.52/174.57	c |     61228 |   26865   129212   371163 | 2147483647    59507    117 | 63.174 % |
176.12/176.15	c |     61824 |   26865   129212   371163 | 2147483647    60103    117 | 63.174 % |
177.92/178.00	c |     62480 |   26865   129212   371163 | 2147483647    60759    116 | 63.174 % |
179.72/179.82	c |     63200 |   26865   129212   371163 | 2147483647    61479    116 | 63.174 % |
181.82/181.83	c |     63992 |   26865   129212   371163 | 2147483647    62271    115 | 63.174 % |
182.02/182.06	c |     64092 |   26865   129212   371163 | 2147483647    62371    115 | 63.174 % |
182.32/182.41	c |     64202 |   26865   129212   371163 | 2147483647    62481    115 | 63.174 % |
182.72/182.77	c |     64323 |   26865   129212   371163 | 2147483647    62602    115 | 63.174 % |
183.22/183.23	c |     64457 |   26865   129212   371163 | 2147483647    62736    115 | 63.174 % |
183.73/183.74	c |     64604 |   26865   129212   371163 | 2147483647    62883    115 | 63.174 % |
184.22/184.25	c |     64764 |   26865   129212   371163 | 2147483647    63043    115 | 63.174 % |
184.83/184.83	c |     64940 |   26865   129212   371163 | 2147483647    63219    115 | 63.174 % |
185.42/185.50	c |     65136 |   26865   129212   371163 | 2147483647    63415    115 | 63.174 % |
186.02/186.05	c |     65348 |   26865   129212   371163 | 2147483647    63627    115 | 63.174 % |
186.52/186.62	c |     65581 |   26865   129212   371163 | 2147483647    63860    115 | 63.174 % |
187.42/187.44	c |     65838 |   26865   129212   371163 | 2147483647    64117    115 | 63.174 % |
188.52/188.58	c |     66119 |   26857   129180   370994 | 2147483647    64377    115 | 63.185 % |
189.72/189.75	c |     66428 |   26857   129180   370994 | 2147483647    64686    115 | 63.185 % |
190.92/190.98	c |     66767 |   26857   129180   370994 | 2147483647    65025    115 | 63.185 % |
192.32/192.34	c |     67139 |   26857   129180   370994 | 2147483647    65397    115 | 63.185 % |
194.02/194.08	c |     67548 |   26857   129180   370994 | 2147483647    65806    115 | 63.185 % |
195.42/195.50	c |     67998 |   26857   129180   370994 | 2147483647    66256    115 | 63.185 % |
197.52/197.52	c |     68492 |   26857   129180   370994 | 2147483647    66750    114 | 63.185 % |
199.02/199.11	c |     69036 |   26857   129180   370994 | 2147483647    67294    114 | 63.185 % |
200.62/200.71	c |     69636 |   26857   129180   370994 | 2147483647    67894    114 | 63.185 % |
202.62/202.67	c |     70292 |   26845   129103   370790 | 2147483647    68531    114 | 63.201 % |
205.33/205.38	c |     71015 |   26845   129103   370790 | 2147483647    69254    115 | 63.201 % |
208.13/208.15	c |     71808 |   26845   129103   370790 | 2147483647    70046    115 | 63.319 % |
211.63/211.72	c |     72683 |   26845   129103   370790 | 2147483647    70921    114 | 63.319 % |
211.93/211.98	c |     72783 |   26845   129103   370790 | 2147483647    71021    114 | 63.319 % |
212.33/212.34	c |     72893 |   26845   129103   370790 | 2147483647    71131    114 | 63.319 % |
212.63/212.63	c |     73016 |   26845   129103   370790 | 2147483647    71254    114 | 63.319 % |
212.93/212.98	c |     73150 |   26845   129103   370790 | 2147483647    71388    114 | 63.319 % |
213.33/213.40	c |     73296 |   26845   129103   370790 | 2147483647    71534    114 | 63.319 % |
213.83/213.87	c |     73456 |   26845   129103   370790 | 2147483647    71694    114 | 63.319 % |
214.43/214.46	c |     73634 |   26845   129103   370790 | 2147483647    71872    114 | 63.319 % |
215.03/215.11	c |     73827 |   26845   129103   370790 | 2147483647    72065    114 | 63.319 % |
215.63/215.66	c |     74040 |   26845   129103   370790 | 2147483647    72278    114 | 63.319 % |
216.53/216.53	c |     74274 |   26845   129103   370790 | 2147483647    72512    114 | 63.319 % |
217.53/217.54	c |     74530 |   26759   128512   369353 | 2147483647    72768    114 | 63.319 % |
218.33/218.34	c |     74811 |   26759   128512   369353 | 2147483647    73049    114 | 63.319 % |
219.23/219.25	c |     75121 |   26759   128512   369353 | 2147483647    73359    114 | 63.319 % |
220.33/220.38	c |     75460 |   26759   128512   369353 | 2147483647    73698    114 | 63.319 % |
221.23/221.31	c |     75833 |   26759   128512   369353 | 2147483647    74071    114 | 63.319 % |
222.33/222.41	c |     76243 |   26759   128512   369353 | 2147483647    74481    114 | 63.319 % |
223.63/223.72	c |     76692 |   26759   128512   369353 | 2147483647    74930    114 | 63.319 % |
224.63/224.69	c |     77186 |   26759   128512   369353 | 2147483647    75424    113 | 63.319 % |
226.23/226.32	c |     77729 |   26759   128512   369353 | 2147483647    75967    114 | 63.319 % |
228.43/228.43	c |     78325 |   26759   128512   369353 | 2147483647    76563    114 | 63.319 % |
230.23/230.25	c |     78982 |   26759   128512   369353 | 2147483647    77220    114 | 63.319 % |
232.23/232.32	c |     79702 |   26759   128512   369353 | 2147483647    77940    114 | 63.319 % |
235.03/235.09	c |     80494 |   26759   128512   369353 | 2147483647    78732    115 | 63.319 % |
237.43/237.45	c |     81365 |   26759   128512   369353 | 2147483647    79603    115 | 63.319 % |
240.52/240.59	c |     82325 |   26719   128433   369150 | 2147483647    80549    115 | 64.187 % |
240.92/240.93	c |     82426 |   26719   128433   369150 | 2147483647    80650    115 | 64.187 % |
241.22/241.28	c |     82536 |   26719   128433   369150 | 2147483647    80760    115 | 64.187 % |
241.62/241.65	c |     82657 |   26719   128433   369150 | 2147483647    80881    115 | 64.187 % |
242.02/242.03	c |     82793 |   26719   128433   369150 | 2147483647    81017    115 | 64.187 % |
242.52/242.60	c |     82940 |   26719   128433   369150 | 2147483647    81164    115 | 64.187 % |
243.12/243.15	c |     83102 |   26719   128433   369150 | 2147483647    81326    115 | 64.187 % |
243.82/243.85	c |     83278 |   26719   128433   369150 | 2147483647    81502    115 | 64.187 % |
244.42/244.50	c |     83472 |   26719   128433   369150 | 2147483647    81696    115 | 64.187 % |
245.12/245.15	c |     83684 |   26719   128433   369150 | 2147483647    81908    115 | 64.187 % |
245.92/246.00	c |     83919 |   26719   128433   369150 | 2147483647    82143    115 | 64.187 % |
246.72/246.77	c |     84175 |   26719   128433   369150 | 2147483647    82399    115 | 64.187 % |
247.82/247.87	c |     84461 |   26719   128433   369150 | 2147483647    82685    115 | 64.187 % |
248.92/248.97	c |     84770 |   26719   128433   369150 | 2147483647    82994    115 | 64.187 % |
250.02/250.01	c |     85109 |   26719   128433   369150 | 2147483647    83333    115 | 64.187 % |
251.32/251.33	c |     85484 |   26719   128433   369150 | 2147483647    83707    115 | 64.205 % |
252.72/252.72	c |     85895 |   26719   128433   369150 | 2147483647    84118    115 | 64.205 % |
254.13/254.14	c |     86344 |   26719   128433   369150 | 2147483647    84566    115 | 64.220 % |
255.82/255.86	c |     86838 |   26719   128433   369150 | 2147483647    85060    115 | 64.220 % |
258.02/258.01	c |     87380 |   26101   125007   359116 | 2147483647    85453    115 | 64.235 % |
259.92/259.98	c |     87978 |   26101   125007   359116 | 2147483647    86051    115 | 64.235 % |
262.22/262.28	c |     88633 |   26101   125007   359116 | 2147483647    86706    115 | 64.235 % |
264.52/264.57	c |     89354 |   26101   125007   359116 | 2147483647    87427    115 | 64.235 % |
267.22/267.29	c |     90148 |   26101   125007   359116 | 2147483647    88221    115 | 64.235 % |
269.42/269.47	c |     91021 |   26101   125007   359116 | 2147483647    89094    114 | 64.235 % |
272.92/273.00	c |     91980 |   26101   125007   359116 | 2147483647    90053    114 | 64.235 % |
277.02/277.09	c |     93033 |   26101   125007   359116 | 2147483647    91106    114 | 64.235 % |
277.42/277.43	c |     93136 |   26101   125007   359116 | 2147483647    91208    114 | 64.236 % |
277.72/277.78	c |     93248 |   26101   125007   359116 | 2147483647    91320    114 | 64.236 % |
278.12/278.20	c |     93370 |   26090   124926   358896 | 2147483647    91421    114 | 64.236 % |
278.72/278.74	c |     93505 |   26090   124926   358896 | 2147483647    91556    114 | 64.236 % |
279.32/279.39	c |     93652 |   26090   124926   358896 | 2147483647    91703    114 | 64.236 % |
279.92/279.93	c |     93813 |   26090   124926   358896 | 2147483647    91864    114 | 64.236 % |
280.62/280.67	c |     93989 |   26090   124926   358896 | 2147483647    92040    114 | 64.236 % |
281.63/281.64	c |     94184 |   26090   124926   358896 | 2147483647    92235    113 | 64.236 % |
282.62/282.62	c |     94396 |   26090   124926   358896 | 2147483647    92447    113 | 64.236 % |
283.52/283.57	c |     94630 |   26090   124926   358896 | 2147483647    92681    113 | 64.236 % |
284.72/284.74	c |     94890 |   26090   124926   358896 | 2147483647    92941    113 | 64.236 % |
285.72/285.79	c |     95172 |   26090   124926   358896 | 2147483647    93223    113 | 64.236 % |
286.83/286.89	c |     95481 |   26090   124926   358896 | 2147483647    93532    113 | 64.236 % |
288.13/288.19	c |     95820 |   26090   124926   358896 | 2147483647    93871    113 | 64.236 % |
289.43/289.43	c |     96192 |   26090   124926   358896 | 2147483647    94243    112 | 64.236 % |
291.23/291.22	c |     96602 |   26090   124926   358896 | 2147483647    94653    112 | 64.236 % |
292.63/292.64	c |     97058 |   26090   124926   358896 | 2147483647    95109    112 | 64.236 % |
294.13/294.14	c |     97552 |   26090   124926   358896 | 2147483647    95603    112 | 64.236 % |
296.53/296.52	c |     98094 |   26090   124926   358896 | 2147483647    96145    112 | 64.236 % |
298.93/298.93	c |     98690 |   26090   124926   358896 | 2147483647    96741    112 | 64.236 % |
301.63/301.70	c |     99345 |   26090   124926   358896 | 2147483647    97395    112 | 64.253 % |
304.13/304.18	c |    100066 |   26078   124857   358704 | 2147483647    98114    112 | 64.253 % |
306.43/306.43	c |    100858 |   26078   124857   358704 | 2147483647    98906    112 | 64.253 % |
309.03/309.09	c |    101729 |   26078   124857   358704 | 2147483647    99777    112 | 64.253 % |
312.13/312.17	c |    102690 |   26078   124857   358704 | 2147483647   100738    111 | 64.253 % |
315.83/315.85	c |    103745 |   26078   124857   358704 | 2147483647   101793    111 | 64.253 % |
319.73/319.81	c |    104906 |   26078   124857   358704 | 2147483647   102954    110 | 64.253 % |
320.13/320.15	c |    105006 |   26078   124857   358704 | 2147483647   103054    110 | 64.253 % |
320.43/320.45	c |    105116 |   26078   124857   358704 | 2147483647   103164    110 | 64.253 % |
320.93/320.99	c |    105240 |   26078   124857   358704 | 2147483647   103288    111 | 64.253 % |
321.53/321.58	c |    105373 |   26078   124857   358704 | 2147483647   103421    111 | 64.253 % |
322.03/322.06	c |    105521 |   26078   124857   358704 | 2147483647   103569    111 | 64.253 % |
322.73/322.71	c |    105681 |   26078   124857   358704 | 2147483647   103729    111 | 64.253 % |
323.43/323.49	c |    105858 |   26078   124857   358704 | 2147483647   103906    111 | 64.253 % |
324.33/324.37	c |    106052 |   26078   124857   358704 | 2147483647   104100    111 | 64.253 % |
325.13/325.13	c |    106264 |   26078   124857   358704 | 2147483647   104312    111 | 64.253 % |
326.03/326.05	c |    106497 |   26078   124857   358704 | 2147483647   104545    110 | 64.253 % |
326.83/326.90	c |    106753 |   26078   124857   358704 | 2147483647   104801    110 | 64.253 % |
327.93/327.97	c |    107035 |   26078   124857   358704 | 2147483647   105083    110 | 64.253 % |
328.73/328.76	c |    107344 |   26078   124857   358704 | 2147483647   105392    110 | 64.253 % |
330.13/330.20	c |    107685 |   26078   124857   358704 | 2147483647   105733    110 | 64.253 % |
331.43/331.45	c |    108058 |   26078   124857   358704 | 2147483647   106106    110 | 64.253 % |
333.33/333.36	c |    108468 |   26078   124857   358704 | 2147483647   106516    110 | 64.253 % |
335.43/335.50	c |    108917 |   26078   124857   358704 | 2147483647   106965    110 | 64.253 % |
337.74/337.76	c |    109411 |   26078   124857   358704 | 2147483647   107459    110 | 64.253 % |
339.33/339.38	c |    109954 |   26078   124857   358704 | 2147483647   108002    110 | 64.253 % |
341.43/341.51	c |    110552 |   26078   124857   358704 | 2147483647   108600    110 | 64.253 % |
343.73/343.81	c |    111207 |   26078   124857   358704 | 2147483647   109255    109 | 64.253 % |
346.54/346.56	c |    111927 |   26078   124857   358704 | 2147483647   109975    109 | 64.253 % |
349.43/349.50	c |    112719 |   26060   124743   358419 | 2147483647   110726    109 | 64.277 % |
353.23/353.27	c |    113591 |   26060   124743   358419 | 2147483647   111598    109 | 64.277 % |
357.23/357.28	c |    114549 |   26060   124743   358419 | 2147483647   112556    109 | 64.277 % |
360.93/360.98	c |    115602 |   26060   124743   358419 | 2147483647   113609    109 | 64.277 % |
365.24/365.28	c |    116762 |   26060   124743   358419 | 2147483647   114769    109 | 64.277 % |
370.24/370.30	c |    118039 |   26060   124743   358419 | 2147483647   116046    109 | 64.277 % |
370.84/370.84	c |    118139 |   26060   124743   358419 | 2147483647   116146    109 | 64.277 % |
371.34/371.38	c |    118250 |   26060   124743   358419 | 2147483647   116257    108 | 64.278 % |
371.94/372.01	c |    118371 |   26060   124743   358419 | 2147483647   116378    108 | 64.277 % |
372.64/372.70	c |    118506 |   26060   124743   358419 | 2147483647   116513    108 | 64.278 % |
373.34/373.32	c |    118652 |   26060   124743   358419 | 2147483647   116659    108 | 64.278 % |
374.04/374.06	c |    118812 |   26060   124743   358419 | 2147483647   116819    108 | 64.278 % |
374.64/374.71	c |    118988 |   26060   124743   358419 | 2147483647   116995    108 | 64.277 % |
375.54/375.58	c |    119181 |   26060   124743   358419 | 2147483647   117188    108 | 64.277 % |
376.34/376.38	c |    119396 |   26060   124743   358419 | 2147483647   117403    108 | 64.277 % |
377.24/377.24	c |    119629 |   26060   124743   358419 | 2147483647   117636    109 | 64.278 % |
378.14/378.14	c |    119887 |   26060   124743   358419 | 2147483647   117894    109 | 64.277 % |
379.34/379.40	c |    120168 |   26060   124743   358419 | 2147483647   118175    109 | 64.278 % |
380.54/380.55	c |    120478 |   26060   124743   358419 | 2147483647   118485    109 | 64.278 % |
381.64/381.65	c |    120817 |   26060   124743   358419 | 2147483647   118824    109 | 64.277 % |
382.84/382.84	c |    121190 |   26060   124743   358419 | 2147483647   119197    109 | 64.278 % |
384.54/384.58	c |    121603 |   26060   124743   358419 | 2147483647   119610    109 | 64.278 % |
385.94/385.99	c |    122052 |   26060   124743   358419 | 2147483647   120059    109 | 64.278 % |
387.84/387.90	c |    122551 |   26060   124743   358419 | 2147483647   120558    109 | 64.277 % |
389.94/390.01	c |    123095 |   26060   124743   358419 | 2147483647   121102    109 | 64.278 % |
392.14/392.15	c |    123692 |   20007    91951   265994 | 2147483647   119974    110 | 72.575 % |
394.14/394.16	c |    124349 |   20007    91951   265994 | 2147483647   120631    110 | 72.575 % |
396.94/396.96	c |    125070 |   20007    91951   265994 | 2147483647   121351    110 | 72.591 % |
399.74/399.74	c |    125865 |   20007    91951   265994 | 2147483647   122146    110 | 72.591 % |
402.54/402.61	c |    126736 |   20007    91951   265994 | 2147483647   123017    110 | 72.591 % |
406.24/406.23	c |    127696 |   20007    91951   265994 | 2147483647   123977    110 | 72.591 % |
410.24/410.31	c |    128749 |   20007    91951   265994 | 2147483647   125030    110 | 72.591 % |
414.64/414.67	c |    129908 |   20007    91951   265994 | 2147483647   126189    110 | 72.591 % |
419.24/419.22	c |    131181 |   20007    91951   265994 | 2147483647   127462    110 | 72.591 % |
424.04/424.08	c |    132581 |   19995    91874   265788 | 2147483647   128842    110 | 72.591 % |
424.54/424.57	c |    132681 |   19995    91874   265788 | 2147483647   128942    110 | 72.591 % |
425.14/425.12	c |    132796 |   19995    91874   265788 | 2147483647   129057    110 | 72.591 % |
425.64/425.65	c |    132920 |   19995    91874   265788 | 2147483647   129181    110 | 72.591 % |
426.14/426.15	c |    133053 |   19995    91874   265788 | 2147483647   129314    110 | 72.591 % |
426.64/426.70	c |    133202 |   19995    91874   265788 | 2147483647   129463    110 | 72.591 % |
427.34/427.32	c |    133365 |   19995    91874   265788 | 2147483647   129626    110 | 72.591 % |
428.04/428.11	c |    133542 |   19995    91874   265788 | 2147483647   129802    110 | 72.609 % |
428.84/428.84	c |    133735 |   19986    91874   265788 | 2147483647   129994    110 | 73.745 % |
429.54/429.59	c |    133949 |   19986    91874   265788 | 2147483647   130208    110 | 73.745 % |
430.34/430.33	c |    134184 |   19986    91874   265788 | 2147483647   130443    110 | 73.745 % |
431.54/431.52	c |    134442 |   19986    91874   265788 | 2147483647   130701    110 | 73.745 % |
432.84/432.83	c |    134727 |   19986    91874   265788 | 2147483647   130986    110 | 73.745 % |
433.84/433.82	c |    135036 |   19986    91874   265788 | 2147483647   131295    110 | 73.745 % |
435.44/435.44	c |    135376 |   19986    91874   265788 | 2147483647   131635    110 | 73.745 % |
437.44/437.46	c |    135749 |   19986    91874   265788 | 2147483647   132008    110 | 73.745 % |
439.04/439.04	c |    136161 |   19986    91874   265788 | 2147483647   132420    110 | 73.745 % |
440.94/440.99	c |    136610 |   19986    91874   265788 | 2147483647   132869    110 | 73.745 % |
443.84/443.87	c |    137105 |   19986    91874   265788 | 2147483647   133364    110 | 73.745 % |
446.24/446.26	c |    137649 |   19986    91874   265788 | 2147483647   133908    110 | 73.745 % |
448.64/448.67	c |    138246 |   19986    91874   265788 | 2147483647   134505    110 | 73.745 % |
451.15/451.15	c |    138901 |   19986    91874   265788 | 2147483647   135160    110 | 73.745 % |
453.95/454.01	c |    139621 |   19986    91874   265788 | 2147483647   135880    110 | 73.745 % |
457.15/457.13	c |    140413 |   19153    87784   253427 | 2147483647   136524    110 | 73.745 % |
460.65/460.63	c |    141284 |   19153    87784   253427 | 2147483647   137395    110 | 73.745 % |
464.35/464.41	c |    142244 |   19153    87784   253427 | 2147483647   138355    110 | 73.745 % |
468.75/468.74	c |    143298 |   19153    87784   253427 | 2147483647   139409    110 | 73.745 % |
473.65/473.71	c |    144460 |   19153    87784   253427 | 2147483647   140570    110 | 73.851 % |
479.15/479.13	c |    145734 |   19145    87784   253427 | 2147483647   141842    110 | 73.882 % |
485.35/485.38	c |    147135 |   19145    87784   253427 | 2147483647   143243    110 | 73.882 % |
491.75/491.73	c |    148675 |   19145    87784   253427 | 2147483647   144783    110 | 73.882 % |
492.15/492.13	c |    148775 |   19053    86350   249410 | 2147483647   144811    110 | 73.882 % |
492.65/492.65	c |    148890 |   19053    86350   249410 | 2147483647   144926    110 | 73.882 % |
493.25/493.25	c |    149012 |   19053    86350   249410 | 2147483647   145048    110 | 73.882 % |
493.75/493.81	c |    149145 |   19053    86350   249410 | 2147483647   145181    110 | 73.882 % |
494.45/494.47	c |    149291 |   19053    86350   249410 | 2147483647   145327    110 | 73.882 % |
495.35/495.36	c |    149451 |   19053    86350   249410 | 2147483647   145487    110 | 73.882 % |
496.05/496.08	c |    149627 |   19053    86350   249410 | 2147483647   145663    110 | 73.882 % |
496.95/496.93	c |    149826 |   19053    86350   249410 | 2147483647   145862    110 | 73.882 % |
498.05/498.07	c |    150038 |   19053    86350   249410 | 2147483647   146074    110 | 73.882 % |
499.15/499.16	c |    150272 |   19053    86350   249410 | 2147483647   146308    110 | 73.882 % |
500.35/500.36	c |    150528 |   19053    86350   249410 | 2147483647   146564    110 | 73.882 % |
501.45/501.46	c |    150809 |   19053    86350   249410 | 2147483647   146845    110 | 73.882 % |
503.05/503.02	c |    151119 |   19053    86350   249410 | 2147483647   147155    110 | 73.882 % |
504.35/504.38	c |    151458 |   19053    86350   249410 | 2147483647   147494    110 | 73.882 % |
505.65/505.67	c |    151832 |   19053    86350   249410 | 2147483647   147868    110 | 73.882 % |
507.25/507.25	c |    152243 |   19053    86350   249410 | 2147483647   148279    110 | 73.882 % |
508.85/508.85	c |    152692 |   19053    86350   249410 | 2147483647   148728    110 | 73.882 % |
511.15/511.14	c |    153186 |   19053    86350   249410 | 2147483647   149222    110 | 73.882 % |
513.85/513.84	c |    153733 |   19051    86350   249410 | 2147483647   149767    110 | 73.895 % |
516.55/516.56	c |    154332 |   19051    86350   249410 | 2147483647   150366    110 | 73.895 % |
519.15/519.14	c |    154988 |   19051    86350   249410 | 2147483647   151022    110 | 73.895 % |
521.95/521.94	c |    155708 |   19051    86350   249410 | 2147483647   151742    110 | 73.895 % |
525.15/525.17	c |    156500 |   19051    86350   249410 | 2147483647   152534    110 | 73.895 % |
528.65/528.66	c |    157372 |   19051    86350   249410 | 2147483647   153406    110 | 73.895 % |
533.26/533.25	c |    158332 |   19051    86350   249410 | 2147483647   154366    110 | 73.895 % |
538.06/538.03	c |    159385 |   19051    86350   249410 | 2147483647   155419    110 | 73.895 % |
542.56/542.61	c |    160549 |   19044    86286   249240 | 2147483647   156580    110 | 73.895 % |
549.96/549.97	c |    161822 |   19044    86286   249240 | 2147483647   157853    110 | 73.895 % |
557.86/557.82	c |    163222 |   19044    86286   249240 | 2147483647   159253    109 | 73.895 % |
566.66/566.70	c |    164765 |   19044    86286   249240 | 2147483647   160796    109 | 73.895 % |
576.46/576.43	c |    166461 |   19041    86286   249240 | 2147483647   162491    108 | 73.987 % |
576.96/576.94	c |    166561 |   19041    86286   249240 | 2147483647   162591    108 | 73.987 % |
577.46/577.45	c |    166671 |   19041    86286   249240 | 2147483647   162701    108 | 73.987 % |
578.16/578.19	c |    166793 |   19041    86286   249240 | 2147483647   162823    108 | 73.987 % |
578.96/578.97	c |    166928 |   19041    86286   249240 | 2147483647   162958    108 | 73.987 % |
579.56/579.62	c |    167075 |   19041    86286   249240 | 2147483647   163105    108 | 73.987 % |
580.16/580.17	c |    167235 |   19041    86286   249240 | 2147483647   163265    108 | 73.987 % |
580.87/580.88	c |    167412 |   19041    86286   249240 | 2147483647   163442    108 | 73.987 % |
581.86/581.89	c |    167606 |   19041    86286   249240 | 2147483647   163636    108 | 73.987 % |
582.76/582.81	c |    167818 |   19041    86286   249240 | 2147483647   163848    108 | 73.987 % |
583.76/583.78	c |    168052 |   19041    86286   249240 | 2147483647   164082    108 | 73.987 % |
584.86/584.87	c |    168309 |   19041    86286   249240 | 2147483647   164339    108 | 73.987 % |
586.46/586.50	c |    168591 |   18977    85952   248424 | 2147483647   164552    108 | 73.987 % |
588.16/588.15	c |    168901 |   18977    85952   248424 | 2147483647   164862    108 | 73.987 % |
590.26/590.26	c |    169241 |   18977    85952   248424 | 2147483647   165202    108 | 73.987 % |
592.97/592.96	c |    169613 |   18977    85952   248424 | 2147483647   165574    108 | 73.987 % |
595.26/595.25	c |    170025 |   18977    85952   248424 | 2147483647   165986    108 | 73.987 % |
597.25/597.24	c |    170474 |   18977    85952   248424 | 2147483647   166435    108 | 73.987 % |
600.15/600.13	c |    170972 |   18977    85952   248424 | 2147483647   166933    108 | 73.987 % |
603.25/603.25	c |    171514 |   18977    85952   248424 | 2147483647   167475    108 | 73.987 % |
607.15/607.13	c |    172110 |   18977    85952   248424 | 2147483647   168071    108 | 73.987 % |
610.45/610.47	c |    172765 |   18977    85952   248424 | 2147483647   168726    108 | 73.987 % |
614.26/614.29	c |    173486 |   18977    85952   248424 | 2147483647   169447    108 | 73.987 % |
617.36/617.37	c |    174278 |   18977    85952   248424 | 2147483647   170239    108 | 73.987 % |
620.56/620.54	c |    175151 |   18977    85952   248424 | 2147483647   171112    108 | 73.987 % |
625.26/625.29	c |    176110 |   18977    85952   248424 | 2147483647   172071    108 | 73.987 % |
629.86/629.83	c |    177163 |   18976    85952   248424 | 2147483647   173123    108 | 74.002 % |
635.16/635.20	c |    178322 |   18976    85952   248424 | 2147483647   174282    108 | 74.002 % |
641.06/641.09	c |    179595 |   18966    85881   248235 | 2147483647   175538    108 | 74.002 % |
648.16/648.17	c |    180995 |   18966    85881   248235 | 2147483647   176938    108 | 74.002 % |
655.96/655.99	c |    182536 |   18966    85881   248235 | 2147483647   178479    108 | 74.002 % |
662.46/662.45	c |    184233 |   18966    85881   248235 | 2147483647   180176    108 | 74.002 % |
671.66/671.66	c |    186097 |   18966    85881   248235 | 2147483647   182040    108 | 74.002 % |
672.17/672.17	c |    186199 |   18966    85881   248235 | 2147483647   182142    108 | 74.002 % |
672.76/672.73	c |    186309 |   18966    85881   248235 | 2147483647   182252    108 | 74.002 % |
673.27/673.28	c |    186431 |   18966    85881   248235 | 2147483647   182374    108 | 74.002 % |
673.86/673.86	c |    186567 |   18966    85881   248235 | 2147483647   182510    108 | 74.002 % |
674.66/674.65	c |    186715 |   18966    85881   248235 | 2147483647   182658    108 | 74.002 % |
675.86/675.82	c |    186875 |   18966    85881   248235 | 2147483647   182818    108 | 74.002 % |
676.96/676.98	c |    187051 |   18966    85881   248235 | 2147483647   182994    107 | 74.002 % |
678.06/678.06	c |    187244 |   18966    85881   248235 | 2147483647   183187    107 | 74.002 % |
679.16/679.15	c |    187458 |   18966    85881   248235 | 2147483647   183401    107 | 74.002 % |
680.56/680.51	c |    187692 |   18966    85881   248235 | 2147483647   183635    107 | 74.002 % |
681.96/681.97	c |    187949 |   18966    85881   248235 | 2147483647   183892    107 | 74.002 % |
683.46/683.50	c |    188234 |   18966    85881   248235 | 2147483647   184177    107 | 74.002 % |
684.56/684.57	c |    188547 |   18966    85881   248235 | 2147483647   184490    108 | 74.002 % |
686.16/686.19	c |    188889 |   18966    85881   248235 | 2147483647   184832    108 | 74.002 % |
688.56/688.60	c |    189261 |   18966    85881   248235 | 2147483647   185204    108 | 74.002 % |
690.76/690.79	c |    189672 |   18966    85881   248235 | 2147483647   185615    108 | 74.002 % |
693.36/693.33	c |    190127 |   18966    85881   248235 | 2147483647   186070    107 | 74.002 % |
696.57/696.59	c |    190621 |   18966    85881   248235 | 2147483647   186564    107 | 74.002 % |
698.87/698.87	c |    191165 |   18966    85881   248235 | 2147483647   187108    107 | 74.002 % |
701.67/701.62	c |    191762 |   18966    85881   248235 | 2147483647   187705    107 | 74.002 % |
704.87/704.84	c |    192417 |   18966    85881   248235 | 2147483647   188360    107 | 74.002 % |
708.97/708.99	c |    193137 |   18966    85881   248235 | 2147483647   189080    107 | 74.002 % |
713.07/713.06	c |    193932 |   18966    85881   248235 | 2147483647   189875    107 | 74.002 % |
718.67/718.70	c |    194803 |   18966    85881   248235 | 2147483647   190746    106 | 74.002 % |
724.87/724.91	c |    195761 |   18966    85881   248235 | 2147483647   191704    106 | 74.002 % |
732.27/732.22	c |    196814 |   18966    85881   248235 | 2147483647   192757    106 | 74.002 % |
739.77/739.73	c |    197973 |   18814    85220   246088 | 2147483647   193901    106 | 74.210 % |
746.87/746.82	c |    199249 |   18814    85220   246088 | 2147483647   195177    105 | 74.210 % |
755.27/755.30	c |    200649 |   18814    85220   246088 | 2147483647   196577    105 | 74.210 % |
764.97/764.98	c |    202189 |   18814    85220   246088 | 2147483647   198117    105 | 74.210 % |
774.77/774.77	c |    203886 |   18814    85220   246088 | 2147483647   199814    104 | 74.210 % |
785.38/785.39	c |    205750 |   18814    85220   246088 | 2147483647   201678    104 | 74.210 % |
796.88/796.91	c |    207800 |   18814    85220   246088 | 2147483647   203728    103 | 74.210 % |
797.58/797.55	c |    207902 |   18814    85220   246088 | 2147483647   203830    103 | 74.210 % |
797.98/797.96	c |    208013 |   18814    85220   246088 | 2147483647   203941    103 | 74.210 % |
798.78/798.80	c |    208134 |   18814    85220   246088 | 2147483647   204062    103 | 74.210 % |
799.68/799.65	c |    208268 |   18814    85220   246088 | 2147483647   204196    103 | 74.210 % |
800.58/800.60	c |    208414 |   18814    85220   246088 | 2147483647   204342    103 | 74.210 % |
801.18/801.18	c |    208576 |   18814    85220   246088 | 2147483647   204504    103 | 74.210 % |
802.38/802.36	c |    208753 |   18814    85220   246088 | 2147483647   204681    103 | 74.210 % |
803.18/803.19	c |    208948 |   18814    85220   246088 | 2147483647   204876    103 | 74.210 % |
804.58/804.52	c |    209160 |   18797    85216   246079 | 2147483647   205086    103 | 74.621 % |
806.28/806.24	c |    209393 |   18797    85216   246079 | 2147483647   205319    103 | 74.621 % |
807.78/807.77	c |    209651 |   18797    85216   246079 | 2147483647   205577    103 | 74.621 % |
808.98/808.98	c |    209932 |   18797    85216   246079 | 2147483647   205858    103 | 74.621 % |
810.38/810.32	c |    210244 |   18797    85216   246079 | 2147483647   206170    103 | 74.621 % |
811.78/811.77	c |    210583 |   18797    85216   246079 | 2147483647   206509    103 | 74.621 % |
813.28/813.31	c |    210955 |   18796    85216   246079 | 2147483647   206880    103 | 74.636 % |
815.58/815.55	c |    211364 |   18796    85216   246079 | 2147483647   207289    103 | 74.636 % |
817.48/817.50	c |    211820 |   18795    85216   246079 | 2147483647   207744    103 | 74.649 % |
820.98/820.95	c |    212314 |   18795    85216   246079 | 2147483647   208238    103 | 74.649 % |
824.58/824.55	c |    212857 |   18795    85216   246079 | 2147483647   208781    103 | 74.649 % |
828.28/828.30	c |    213454 |   18795    85216   246079 | 2147483647   209378    103 | 74.649 % |
832.18/832.20	c |    214111 |   18795    85216   246079 | 2147483647   210035    103 | 74.649 % |
836.09/836.09	c |    214832 |   18795    85216   246079 | 2147483647   210756    103 | 74.649 % |
840.49/840.43	c |    215627 |   18795    85216   246079 | 2147483647   211551    102 | 74.649 % |
845.18/845.17	c |    216498 |   18795    85216   246079 | 2147483647   212422    102 | 74.649 % |
850.18/850.12	c |    217456 |   18795    85216   246079 | 2147483647   213380    102 | 74.649 % |
856.48/856.46	c |    218509 |   18795    85216   246079 | 2147483647   214433    102 | 74.649 % |
863.19/863.21	c |    219668 |   18795    85216   246079 | 2147483647   215592    102 | 74.649 % |
870.59/870.55	c |    220943 |   18795    85216   246079 | 2147483647   216867    102 | 74.649 % |
877.19/877.13	c |    222343 |   18795    85216   246079 | 2147483647   218267    102 | 74.649 % |
884.49/884.48	c |    223883 |   18494    83268   241152 | 2147483647   219790    102 | 74.649 % |
893.59/893.53	c |    225579 |   18494    83268   241152 | 2147483647   221486    102 | 74.649 % |
907.39/907.37	c |    227442 |   18494    83268   241152 | 2147483647   223349    102 | 74.649 % |
918.49/918.46	c |    229491 |   18493    83268   241152 | 2147483647   225397    102 | 74.805 % |
929.89/929.90	c |    231744 |   18491    83268   241152 | 2147483647   227649    102 | 74.868 % |
930.39/930.38	c |    231844 |   18491    83268   241152 | 2147483647   227749    102 | 74.868 % |
930.89/930.89	c |    231958 |   18491    83268   241152 | 2147483647   227863    102 | 74.868 % |
931.59/931.57	c |    232079 |   18491    83268   241152 | 2147483647   227984    102 | 74.868 % |
932.39/932.34	c |    232213 |   18491    83268   241152 | 2147483647   228118    102 | 74.868 % |
933.49/933.47	c |    232360 |   18491    83268   241152 | 2147483647   228265    102 | 74.868 % |
934.39/934.40	c |    232521 |   18491    83268   241152 | 2147483647   228426    102 | 74.868 % |
935.59/935.56	c |    232697 |   18491    83268   241152 | 2147483647   228602    102 | 74.868 % |
936.79/936.73	c |    232890 |   18491    83268   241152 | 2147483647   228795    102 | 74.868 % |
937.89/937.90	c |    233104 |   18491    83268   241152 | 2147483647   229009    102 | 74.868 % |
939.89/939.81	c |    233340 |   18491    83268   241152 | 2147483647   229245    102 | 74.868 % |
941.89/941.87	c |    233596 |   18491    83268   241152 | 2147483647   229501    102 | 74.868 % |
943.40/943.38	c |    233877 |   18491    83268   241152 | 2147483647   229782    102 | 74.868 % |
945.20/945.13	c |    234187 |   18491    83268   241152 | 2147483647   230092    102 | 74.868 % |
947.10/947.11	c |    234528 |   18491    83268   241152 | 2147483647   230433    102 | 74.868 % |
949.40/949.40	c |    234900 |   18491    83268   241152 | 2147483647   230805    102 | 74.868 % |
951.80/951.82	c |    235309 |   18491    83268   241152 | 2147483647   231214    102 | 74.868 % |
953.99/953.93	c |    235759 |   18491    83268   241152 | 2147483647   231664    102 | 74.868 % |
956.39/956.41	c |    236252 |   18491    83268   241152 | 2147483647   232157    102 | 74.868 % |
959.69/959.65	c |    236794 |   18491    83268   241152 | 2147483647   232699    102 | 74.868 % |
962.29/962.30	c |    237391 |   18491    83268   241152 | 2147483647   233296    102 | 74.868 % |
966.89/966.88	c |    238047 |   18334    82437   238919 | 2147483647   233901    102 | 74.868 % |
971.39/971.35	c |    238767 |   18334    82437   238919 | 2147483647   234621    102 | 74.868 % |
976.79/976.78	c |    239559 |   18334    82437   238919 | 2147483647   235413    102 | 74.868 % |
982.59/982.55	c |    240432 |   18334    82437   238919 | 2147483647   236286    102 | 74.868 % |
988.89/988.82	c |    241394 |   18334    82437   238919 | 2147483647   237248    102 | 74.868 % |
995.09/995.10	c |    242448 |   18332    82437   238919 | 2147483647   238301    102 | 74.883 % |
1001.89/1001.84	c |    243606 |   18332    82437   238919 | 2147483647   239458    102 | 74.900 % |
1009.09/1009.08	c |    244882 |   18332    82437   238919 | 2147483647   240734    102 | 74.900 % |
1016.39/1016.32	c |    246283 |   18332    82437   238919 | 2147483647   242135    102 | 74.900 % |
1025.50/1025.47	c |    247823 |   18331    82437   238919 | 2147483647   243674    102 | 74.913 % |
1034.30/1034.31	c |    249519 |   18331    82437   238919 | 2147483647   245370    102 | 74.913 % |
1044.80/1044.72	c |    251384 |   18331    82437   238919 | 2147483647   247235    102 | 74.913 % |
1056.20/1056.14	c |    253433 |   18331    82437   238919 | 2147483647   249284    103 | 74.913 % |
1067.00/1066.99	c |    255687 |   18301    82233   238355 | 2147483647   251521    103 | 74.913 % |
1081.10/1081.02	c |    258167 |   18301    82233   238355 | 2147483647   254001    103 | 74.913 % |
1081.80/1081.81	c |    258267 |   18301    82233   238355 | 2147483647   254101    103 | 74.913 % |
1082.70/1082.62	c |    258377 |   18301    82233   238355 | 2147483647   254211    103 | 74.913 % |
1083.70/1083.64	c |    258498 |   18301    82233   238355 | 2147483647   254332    103 | 74.913 % |
1084.71/1084.64	c |    258631 |   18301    82233   238355 | 2147483647   254465    103 | 74.913 % |
1085.60/1085.52	c |    258780 |   18301    82233   238355 | 2147483647   254614    103 | 74.913 % |
1086.60/1086.60	c |    258940 |   18301    82233   238355 | 2147483647   254774    103 | 74.913 % |
1087.60/1087.56	c |    259116 |   18301    82233   238355 | 2147483647   254950    103 | 74.913 % |
1088.80/1088.77	c |    259309 |   18301    82233   238355 | 2147483647   255143    103 | 74.913 % |
1090.50/1090.44	c |    259521 |   18301    82233   238355 | 2147483647   255355    103 | 74.913 % |
1092.10/1092.10	c |    259754 |   18301    82233   238355 | 2147483647   255588    103 | 74.913 % |
1094.40/1094.39	c |    260010 |   18301    82233   238355 | 2147483647   255844    103 | 74.913 % |
1096.00/1095.91	c |    260292 |   18301    82233   238355 | 2147483647   256126    103 | 74.913 % |
1097.70/1097.62	c |    260602 |   18301    82233   238355 | 2147483647   256436    103 | 74.913 % |
1099.30/1099.26	c |    260942 |   18301    82233   238355 | 2147483647   256776    103 | 74.913 % |
1101.21/1101.13	c |    261314 |   18301    82233   238355 | 2147483647   257148    103 | 74.913 % |
1103.30/1103.30	c |    261725 |   18301    82233   238355 | 2147483647   257559    103 | 74.913 % |
1107.11/1107.07	c |    262174 |   18301    82233   238355 | 2147483647   258008    103 | 74.913 % |
1110.21/1110.12	c |    262671 |   18301    82233   238355 | 2147483647   258505    103 | 74.913 % |
1113.41/1113.37	c |    263214 |   18301    82233   238355 | 2147483647   259048    103 | 74.913 % |
1116.61/1116.60	c |    263810 |   18301    82233   238355 | 2147483647   259644    103 | 74.913 % |
1119.61/1119.55	c |    264465 |   18301    82233   238355 | 2147483647   260299    103 | 74.913 % |
1123.71/1123.68	c |    265186 |   18301    82233   238355 | 2147483647   261020    103 | 74.913 % |
1127.71/1127.63	c |    265981 |   18301    82233   238355 | 2147483647   261815    103 | 74.913 % |
1131.51/1131.50	c |    266852 |   18301    82233   238355 | 2147483647   262686    103 | 74.913 % |
1137.81/1137.80	c |    267810 |   18301    82233   238355 | 2147483647   263644    103 | 74.913 % |
1143.31/1143.22	c |    268868 |   18301    82233   238355 | 2147483647   264702    103 | 74.913 % |
1149.81/1149.74	c |    270027 |   18301    82233   238355 | 2147483647   265861    103 | 74.913 % |
1155.31/1155.23	c |    271300 |   18301    82233   238355 | 2147483647   267134    103 | 74.913 % |
1164.91/1164.83	c |    272700 |   18301    82233   238355 | 2147483647   268534    104 | 74.913 % |
1173.91/1173.86	c |    274243 |   18301    82233   238355 | 2147483647   270077    104 | 74.913 % |
1183.72/1183.63	c |    275939 |   18301    82233   238355 | 2147483647   271773    104 | 74.913 % |
1196.52/1196.46	c |    277804 |   18301    82233   238355 | 2147483647   273638    104 | 74.913 % |
1200.02/1199.93	HOME/SatELiteGTI: line 36:  8018 Terminated              $MS $TMP.cnf $TMP.result

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-1820320-1242426885/watcher-1820320-1242426885 -o /tmp/evaluation-result-1820320-1242426885/solver-1820320-1242426885 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820320-1242426885.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.91 0.97 0.93 3/93 8012
/proc/meminfo: memFree=1561696/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=952 CPUtime=0
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 118 0 0 0 0 0 0 0 25 0 1 0 1007189740 974848 54 4294967295 134512640 135223648 3219161408 3219160300 134737065 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 238 57 46 174 0 63 0

[startup+0.058842 s]
/proc/loadavg: 0.91 0.97 0.93 3/93 8012
/proc/meminfo: memFree=1561696/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=12248 CPUtime=0.06
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 2237 0 0 0 5 1 0 0 25 0 1 0 1007189740 12541952 2173 4294967295 134512640 135223648 3219161408 3219160288 134543095 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 3062 2173 46 174 0 2887 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14664

[startup+0.108836 s]
/proc/loadavg: 0.91 0.97 0.93 3/93 8012
/proc/meminfo: memFree=1561696/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=22096 CPUtime=0.11
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 4619 0 0 0 9 2 0 0 25 0 1 0 1007189740 22626304 4555 4294967295 134512640 135223648 3219161408 3219160360 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 5524 4556 46 174 0 5349 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 24512

[startup+0.308816 s]
/proc/loadavg: 0.91 0.97 0.93 3/93 8012
/proc/meminfo: memFree=1561696/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=51488 CPUtime=0.31
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 11129 0 0 0 24 7 0 0 25 0 1 0 1007189740 52723712 11065 4294967295 134512640 135223648 3219161408 3219160360 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 12872 11066 46 174 0 12697 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 53904

[startup+0.708776 s]
/proc/loadavg: 0.91 0.97 0.93 3/93 8012
/proc/meminfo: memFree=1561696/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=79148 CPUtime=0.71
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 18571 0 0 0 58 13 0 0 25 0 1 0 1007189740 81047552 18507 4294967295 134512640 135223648 3219161408 3219160360 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 19787 18509 47 174 0 19612 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 81564

[startup+1.5087 s]
/proc/loadavg: 0.92 0.97 0.93 2/95 8017
/proc/meminfo: memFree=1469160/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=106692 CPUtime=1.51
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 27224 0 0 0 134 17 0 0 25 0 1 0 1007189740 109252608 24920 4294967295 134512640 135223648 3219161408 3219159360 134563693 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 26673 24920 73 174 0 26498 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 109108

[startup+3.10854 s]
/proc/loadavg: 0.92 0.97 0.93 2/95 8017
/proc/meminfo: memFree=1456512/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=112724 CPUtime=3.11
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 28893 0 0 0 291 20 0 0 25 0 1 0 1007189740 115429376 26421 4294967295 134512640 135223648 3219161408 3219159504 134595815 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 28181 26421 73 174 0 28006 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 115140

[startup+6.30823 s]
/proc/loadavg: 0.93 0.97 0.93 2/95 8017
/proc/meminfo: memFree=1449444/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=122996 CPUtime=6.31
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 33859 0 0 0 609 22 0 0 25 0 1 0 1007189740 125947904 27201 4294967295 134512640 135223648 3219161408 3219159424 134587023 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 30749 27201 73 174 0 30574 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 125412

[startup+12.7076 s]
/proc/loadavg: 0.93 0.97 0.93 3/95 8018
/proc/meminfo: memFree=1524000/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=25900 CPUtime=5.1
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 6052 0 0 0 504 6 0 0 25 0 1 0 1007190500 26521600 5969 4294967295 134512640 135215339 3218608416 3218606704 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 6475 5969 73 172 0 6302 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28320

[startup+25.5063 s]
/proc/loadavg: 0.94 0.97 0.93 3/95 8020
/proc/meminfo: memFree=1522352/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=27748 CPUtime=17.9
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 6501 0 0 0 1781 9 0 0 25 0 1 0 1007190500 28413952 6418 4294967295 134512640 135215339 3218608416 3218606704 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 6937 6418 73 172 0 6764 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30168

[startup+51.1138 s]
/proc/loadavg: 0.96 0.97 0.93 3/95 8204
/proc/meminfo: memFree=1516552/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=32652 CPUtime=43.51
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 7755 0 0 0 4341 10 0 0 25 0 1 0 1007190500 33435648 7672 4294967295 134512640 135215339 3218608416 3218606416 134532626 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 8163 7672 73 172 0 7990 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 35072

[startup+102.319 s]
/proc/loadavg: 0.98 0.97 0.93 2/95 8392
/proc/meminfo: memFree=1506508/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=42392 CPUtime=94.72
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 10185 0 0 0 9457 15 0 0 25 0 1 0 1007190500 43409408 10102 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 10598 10102 73 172 0 10425 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 44812

[startup+162.323 s]
/proc/loadavg: 0.99 0.97 0.93 2/95 8583
/proc/meminfo: memFree=1498628/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=50544 CPUtime=154.73
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 12200 0 0 0 15457 16 0 0 25 0 1 0 1007190500 51757056 12117 4294967295 134512640 135215339 3218608416 3218606480 134538384 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 12636 12117 73 172 0 12463 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 52964

[startup+222.327 s]
/proc/loadavg: 0.99 0.97 0.93 2/95 8772
/proc/meminfo: memFree=1490444/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=58872 CPUtime=214.74
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 14286 0 0 0 21455 19 0 0 25 0 1 0 1007190500 60284928 14203 4294967295 134512640 135215339 3218608416 3218606416 134532687 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 14718 14203 73 172 0 14545 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 61292

[startup+282.311 s]
/proc/loadavg: 0.99 0.97 0.93 2/95 8958
/proc/meminfo: memFree=1481632/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=67968 CPUtime=274.73
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 16497 0 0 0 27452 21 0 0 25 0 1 0 1007190500 69599232 16414 4294967295 134512640 135215339 3218608416 3218606704 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 16992 16414 73 172 0 16819 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 70388

[startup+342.315 s]
/proc/loadavg: 0.99 0.97 0.93 2/95 9149
/proc/meminfo: memFree=1475176/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=74408 CPUtime=334.74
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 18112 0 0 0 33453 21 0 0 25 0 1 0 1007190500 76193792 18029 4294967295 134512640 135215339 3218608416 3218606704 134528875 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 18602 18029 73 172 0 18429 0
Current children cumulated CPU time (s) 342.33

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

[pid=8018] ppid=8012 vsize=95112 CPUtime=514.76
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 23223 0 0 0 51451 25 0 0 25 0 1 0 1007190500 97394688 23140 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 23778 23140 73 172 0 23605 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 97532

[startup+582.322 s]
/proc/loadavg: 0.99 0.97 0.93 2/95 9904
/proc/meminfo: memFree=1450376/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=99756 CPUtime=574.77
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 24422 0 0 0 57450 27 0 0 25 0 1 0 1007190500 102150144 24339 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 24939 24339 73 172 0 24766 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 102176

[startup+642.316 s]
/proc/loadavg: 1.14 1.00 0.94 2/95 10093
/proc/meminfo: memFree=1444524/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=105512 CPUtime=634.77
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 25849 0 0 0 63447 30 0 0 25 0 1 0 1007190500 108044288 25766 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 26378 25766 73 172 0 26205 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 107932

[startup+702.32 s]
/proc/loadavg: 1.05 1.00 0.94 3/95 10281
/proc/meminfo: memFree=1439144/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=110464 CPUtime=694.78
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 27089 0 0 0 69445 33 0 0 25 0 1 0 1007190500 113115136 27006 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 27616 27006 73 172 0 27443 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 112884

[startup+762.324 s]
/proc/loadavg: 1.02 1.00 0.94 2/95 10468
/proc/meminfo: memFree=1436796/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=112856 CPUtime=754.79
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 27687 0 0 0 75444 35 0 0 25 0 1 0 1007190500 115564544 27604 4294967295 134512640 135215339 3218608416 3218606704 134529157 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 28214 27604 73 172 0 28041 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 115276

[startup+822.318 s]
/proc/loadavg: 1.00 1.00 0.94 2/95 10661
/proc/meminfo: memFree=1433124/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=117252 CPUtime=814.79
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 28671 0 0 0 81441 38 0 0 25 0 1 0 1007190500 120066048 28588 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 29313 28588 73 172 0 29140 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 119672

[startup+882.322 s]
/proc/loadavg: 1.05 1.01 0.94 3/95 10847
/proc/meminfo: memFree=1429016/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=120932 CPUtime=874.8
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 29597 0 0 0 87435 45 0 0 25 0 1 0 1007190500 123834368 29514 4294967295 134512640 135215339 3218608416 3218606704 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 30233 29514 73 172 0 30060 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 123352

[startup+942.326 s]
/proc/loadavg: 1.02 1.01 0.94 2/95 11036
/proc/meminfo: memFree=1424752/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=125376 CPUtime=934.81
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 30726 0 0 0 93432 49 0 0 25 0 1 0 1007190500 128385024 30643 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 31344 30643 73 172 0 31171 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 127796

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/95 11224
/proc/meminfo: memFree=1419908/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=130376 CPUtime=994.8
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 31950 0 0 0 99431 49 0 0 25 0 1 0 1007190500 133505024 31867 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 32594 31867 73 172 0 32421 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 132796

[startup+1062.31 s]
/proc/loadavg: 1.04 1.01 0.95 3/95 11411
/proc/meminfo: memFree=1414180/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=135968 CPUtime=1054.81
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 33342 0 0 0 105430 51 0 0 25 0 1 0 1007190500 139231232 33259 4294967295 134512640 135215339 3218608416 3218606704 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 33992 33259 73 172 0 33819 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 138388

[startup+1122.32 s]
/proc/loadavg: 1.10 1.04 0.96 2/95 11600
/proc/meminfo: memFree=1408384/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=141432 CPUtime=1114.82
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 34705 0 0 0 111424 58 0 0 25 0 1 0 1007190500 144826368 34622 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 35358 34622 73 172 0 35185 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 143852

[startup+1182.31 s]
/proc/loadavg: 1.03 1.03 0.96 3/95 11786
/proc/meminfo: memFree=1403516/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=146832 CPUtime=1174.82
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 36065 0 0 0 117422 60 0 0 25 0 1 0 1007190500 150355968 35982 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 36708 35982 73 172 0 36535 0
Current children cumulated CPU time (s) 1182.41
Current children cumulated vsize (KiB) 149252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.02 1.03 0.96 2/95 11793
/proc/meminfo: memFree=1402360/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=148184 CPUtime=1192.43
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 36384 0 0 0 119183 60 0 0 25 0 1 0 1007190500 151740416 36301 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 37046 36301 73 172 0 36873 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 150604

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

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

[startup+1199.92 s]
/proc/loadavg: 1.02 1.03 0.96 2/95 11793
/proc/meminfo: memFree=1402360/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=148184 CPUtime=1192.43
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 36384 0 0 0 119183 60 0 0 25 0 1 0 1007190500 151740416 36301 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 37046 36301 73 172 0 36873 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 150604

Child status: 143
Real time (s): 1199.94
CPU time (s): 1200.04
CPU user time (s): 1199.12
CPU system time (s): 0.92
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 150604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.12
system time used= 0.92
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79681
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= 26
involuntary context switches= 1443

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-16 00:34:45
IDJOB=1820320
IDBENCH=20368
IDSOLVER=657
FILE ID=tipi10/1820320-1242426885
PBS_JOBID=
Free space on /tmp= 5658 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-5-15-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820320-1242426885/watcher-1820320-1242426885 -o /tmp/evaluation-result-1820320-1242426885/solver-1820320-1242426885 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820320-1242426885.cnf

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

MD5SUM BENCH= c438ce1eb243ac0a49869eda1166f28f
RANDOM SEED= 166097150

Linux tipi10 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.367
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.37

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

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
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.77

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1562068 kB
Buffers:         25048 kB
Cached:         402096 kB
SwapCached:       2896 kB
Active:         348156 kB
Inactive:        89120 kB
HighTotal:     1178688 kB
HighFree:       767792 kB
LowTotal:       895776 kB
LowFree:        794276 kB
SwapTotal:     1959888 kB
SwapFree:      1951868 kB
Dirty:           19896 kB
Writeback:           0 kB
AnonPages:        9360 kB
Mapped:           3332 kB
Slab:            65760 kB
PageTables:        640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 5658 MiB
End job on tipi10 at 2009-05-16 00:54:47