Trace number 1831995

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.03 1200.71

General information on the benchmark

Nameindustrial/anbulagan/
medium-unsat/total-10-13-u.cnf
MD5SUMa443b9e3a7093c1d9a47b42016a65c52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark906.632
Satisfiable
(Un)Satisfiability was proved
Number of variables226208
Number of clauses1021181
Sum of the clauses size2332626
Maximum clause length10
Minimum clause length1
Number of clauses of size 119072
Number of clauses of size 2821353
Number of clauses of size 3137896
Number of clauses of size 44760
Number of clauses of size 519040
Number of clauses of size over 519060

Solver Data 

0.00/0.00	c Parsing...
0.00/0.81	c ==============================================================================
0.00/0.81	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.81	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.81	c ==============================================================================
0.00/0.81	c |         0 | 1002109  2313554 |  300632       0        0     nan |  0.000 % |
7.08/7.18	c |         0 |  363891   939019 |      --       0       --      -- |     --   | -364511/-752771
7.08/7.18	c ==============================================================================
7.08/7.18	c Result  :   #vars: 61601   #clauses: 363891   #literals: 939019
7.08/7.18	c CPU time:   6.91295 s
7.08/7.18	c ==============================================================================
7.48/7.56	c This is MiniSat 2.0 beta
7.48/7.56	c WARNING: for repeatability, setting FPU to use double precision
7.48/7.56	c ============================[ Problem Statistics ]=============================
7.48/7.56	c |                                                                             |
7.48/7.56	c |  Number of variables:  61601                                                |
7.48/7.56	c |  Number of clauses:    363891                                               |
7.76/7.80	c |  Parsing time:         0.21         s                                       |
7.76/7.81	c ============================[ Search Statistics ]==============================
7.76/7.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.76/7.81	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.76/7.81	c ===============================================================================
7.76/7.81	c |         0 |   61601   363891   939019 |   121297        0    nan |  0.000 % |
8.06/8.17	c |       100 |   61354   363891   939019 |   121297       91     20 |  3.625 % |
8.26/8.38	c |       202 |   61332   363891   939019 |   121297      189     42 |  5.867 % |
8.76/8.83	c |       304 |   57931   340896   886349 |   121297      277     54 |  8.414 % |
9.16/9.29	c |       415 |   54658   319510   836213 |   121297      377     58 | 11.964 % |
9.46/9.56	c |       515 |   54658   319510   836213 |   121297      477     55 | 11.964 % |
9.76/9.85	c |       625 |   54231   316732   829866 |   121297      587     59 | 11.964 % |
10.26/10.35	c |       748 |   54231   316732   829866 |   121297      710     66 | 11.964 % |
10.56/10.64	c |       848 |   54034   315404   826773 |   121297      809     79 | 12.284 % |
10.76/10.87	c |       958 |   54027   315404   826773 |   121297      914     73 | 12.406 % |
10.96/11.04	c |      1079 |   53989   315404   826773 |   121297     1034     70 | 12.644 % |
11.36/11.45	c |      1212 |   53989   315404   826773 |   121297     1166     66 | 12.706 % |
11.66/11.79	c |      1312 |   53741   313732   822819 |   121297     1260     65 | 13.388 % |
12.06/12.16	c |      1424 |   53284   310660   815632 |   121297     1360     64 | 13.526 % |
12.35/12.41	c |      1546 |   53268   310660   815632 |   121297     1481     63 | 14.092 % |
12.65/12.77	c |      1682 |   53268   310660   815632 |   121297     1617     66 | 14.092 % |
13.25/13.39	c |      1829 |   52919   308211   809624 |   121297     1763     67 | 14.094 % |
13.55/13.61	c |      1929 |   52919   308211   809624 |   121297     1863     71 | 14.094 % |
13.85/13.90	c |      2039 |   52918   308208   809618 |   121297     1972     76 | 14.109 % |
14.25/14.30	c |      2160 |   52846   307627   808263 |   121297     2084     77 | 14.212 % |
14.35/14.49	c |      2293 |   52846   307627   808263 |   121297     2217     75 | 14.212 % |
14.75/14.80	c |      2439 |   52846   307627   808263 |   121297     2363     77 | 14.212 % |
15.25/15.33	c |      2599 |   52757   307008   806826 |   121297     2518     92 | 14.357 % |
15.55/15.66	c |      2699 |   52757   307008   806826 |   121297     2618     91 | 14.357 % |
16.05/16.19	c |      2813 |   52743   306946   806690 |   121297     2729     93 | 14.802 % |
16.35/16.44	c |      2934 |   52708   306946   806690 |   121297     2850     91 | 14.802 % |
16.95/17.03	c |      3069 |   52708   306946   806690 |   121297     2985     90 | 14.802 % |
17.35/17.47	c |      3216 |   52479   305223   802166 |   121297     3112     89 | 14.829 % |
17.85/17.95	c |      3378 |   52479   305223   802166 |   121297     3274     90 | 14.829 % |
18.45/18.57	c |      3554 |   52465   305083   801859 |   121297     3433     91 | 14.844 % |
18.65/18.75	c |      3660 |   52463   305083   801859 |   121297     3537     90 | 14.868 % |
18.85/18.99	c |      3773 |   52405   304899   801440 |   121297     3646     92 | 15.410 % |
19.45/19.55	c |      3894 |   52405   304899   801440 |   121297     3767     97 | 15.410 % |
19.85/19.93	c |      4027 |   52405   304899   801440 |   121297     3900     96 | 15.410 % |
20.25/20.38	c |      4174 |   52108   302691   795854 |   121297     4047     96 | 15.410 % |
21.14/21.25	c |      4335 |   52097   302618   795677 |   121297     4207     96 | 15.428 % |
21.64/21.78	c |      4514 |   52089   302618   795677 |   121297     4382    101 | 15.492 % |
22.14/22.27	c |      4707 |   51327   294593   775070 |   121297     4571    100 | 16.678 % |
22.64/22.70	c |      4809 |   51326   294593   775070 |   121297     4672    100 | 16.691 % |
22.95/23.06	c |      4919 |   51323   294593   775070 |   121297     4777    101 | 16.769 % |
23.24/23.38	c |      5040 |   51267   294163   774047 |   121297     4897    101 | 16.789 % |
23.74/23.88	c |      5173 |   51267   294163   774047 |   121297     5029    100 | 16.805 % |
24.05/24.14	c |      5320 |   51267   294163   774047 |   121297     5176    102 | 16.805 % |
24.44/24.50	c |      5482 |   51247   293975   773615 |   121297     5334    103 | 17.050 % |
24.64/24.76	c |      5658 |   51247   293975   773615 |   121297     5510    105 | 17.050 % |
25.15/25.26	c |      5851 |   51247   293975   773615 |   121297     5703    107 | 17.050 % |
25.64/25.72	c |      6063 |   51247   293975   773615 |   121297     5915    108 | 17.050 % |
26.04/26.16	c |      6163 |   51096   293056   771368 |   121297     6013    107 | 17.269 % |
26.35/26.42	c |      6274 |   51096   293056   771368 |   121297     6124    108 | 17.269 % |
26.54/26.68	c |      6397 |   51096   293056   771368 |   121297     6247    109 | 17.269 % |
26.84/26.93	c |      6532 |   51096   293056   771368 |   121297     6382    111 | 17.269 % |
27.14/27.22	c |      6686 |   50963   292174   769205 |   121297     6535    111 | 17.269 % |
27.84/27.94	c |      6846 |   50963   292174   769205 |   121297     6695    112 | 17.269 % |
28.54/28.66	c |      7022 |   50954   292102   769035 |   121297     6866    111 | 17.284 % |
28.74/28.90	c |      7215 |   50950   292102   769035 |   121297     7057    112 | 18.112 % |
29.44/29.57	c |      7427 |   50950   292102   769035 |   121297     7269    117 | 18.112 % |
30.24/30.33	c |      7660 |   50950   292102   769035 |   121297     7502    119 | 18.112 % |
30.54/30.66	c |      7760 |   50441   285388   751197 |   121297     7579    120 | 18.134 % |
30.94/31.02	c |      7870 |   50441   285388   751197 |   121297     7689    120 | 18.134 % |
31.14/31.27	c |      7991 |   50441   285388   751197 |   121297     7810    120 | 18.135 % |
31.54/31.66	c |      8127 |   50440   285388   751197 |   121297     7945    121 | 18.151 % |
31.94/32.02	c |      8273 |   50440   285388   751197 |   121297     8091    120 | 18.151 % |
32.34/32.43	c |      8434 |   50420   285192   750736 |   121297     8237    120 | 18.151 % |
32.74/32.90	c |      8610 |   50419   285192   750736 |   121297     8412    120 | 18.160 % |
33.24/33.30	c |      8804 |   50419   285192   750736 |   121297     8606    119 | 18.161 % |
33.64/33.73	c |      9016 |   50419   285192   750736 |   121297     8818    119 | 18.160 % |
34.04/34.10	c |      9249 |   50414   285139   750616 |   121297     9050    120 | 18.160 % |
34.73/34.86	c |      9508 |   50414   285139   750616 |   121297     9308    120 | 18.331 % |
35.04/35.10	c |      9610 |   50407   285139   750616 |   121297     9409    120 | 18.344 % |
35.23/35.31	c |      9720 |   50405   285139   750616 |   121297     9519    121 | 18.344 % |
35.43/35.59	c |      9843 |   50301   284392   748897 |   121297     9640    121 | 18.344 % |
35.73/35.85	c |      9977 |   50301   284392   748897 |   121297     9774    122 | 18.344 % |
36.33/36.47	c |     10125 |   50301   284392   748897 | 2147483647     9922    122 | 18.344 % |
36.83/36.96	c |     10286 |   50301   284392   748897 | 2147483647    10083    122 | 18.344 % |
37.24/37.37	c |     10462 |   50301   284392   748897 | 2147483647    10259    123 | 18.344 % |
37.73/37.85	c |     10656 |   50292   284331   748763 | 2147483647    10450    123 | 18.358 % |
38.53/38.69	c |     10868 |   50291   284331   748763 | 2147483647    10661    122 | 18.385 % |
39.13/39.28	c |     11101 |   50291   284331   748763 | 2147483647    10894    122 | 18.384 % |
39.73/39.88	c |     11357 |   50291   284331   748763 | 2147483647    11150    121 | 18.384 % |
40.33/40.41	c |     11641 |   50276   284208   748493 | 2147483647    11425    122 | 18.385 % |
40.52/40.63	c |     11742 |   50276   284208   748493 | 2147483647    11526    122 | 18.384 % |
40.72/40.89	c |     11852 |   50276   284208   748493 | 2147483647    11635    122 | 18.605 % |
41.02/41.10	c |     11973 |   50274   284208   748493 | 2147483647    11755    122 | 18.626 % |
41.32/41.40	c |     12106 |   50219   284208   748493 | 2147483647    11886    121 | 38.108 % |
41.52/41.66	c |     12252 |   50215   284208   748493 | 2147483647    12031    121 | 38.123 % |
42.13/42.21	c |     12412 |   38054   206827   555378 | 2147483647    11726    123 | 38.225 % |
42.53/42.60	c |     12588 |   38045   206827   555378 | 2147483647    11898    124 | 38.370 % |
42.83/42.94	c |     12781 |   38045   206827   555378 | 2147483647    12091    124 | 38.370 % |
43.63/43.79	c |     12995 |   38045   206827   555378 | 2147483647    12305    123 | 38.370 % |
44.13/44.24	c |     13229 |   37965   206234   553929 | 2147483647    12508    121 | 38.370 % |
44.93/45.01	c |     13488 |   37965   206234   553929 | 2147483647    12767    123 | 38.370 % |
45.23/45.37	c |     13772 |   37963   206234   553929 | 2147483647    13050    124 | 38.384 % |
45.73/45.89	c |     14081 |   37963   206234   553929 | 2147483647    13359    122 | 38.384 % |
46.03/46.14	c |     14184 |   37956   206160   553760 | 2147483647    13461    122 | 38.384 % |
46.23/46.37	c |     14294 |   37956   206160   553760 | 2147483647    13571    123 | 38.384 % |
46.53/46.62	c |     14420 |   37956   206160   553760 | 2147483647    13697    123 | 38.384 % |
46.73/46.83	c |     14553 |   37956   206160   553760 | 2147483647    13830    123 | 38.384 % |
46.93/47.08	c |     14700 |   37954   206160   553760 | 2147483647    13976    123 | 38.400 % |
47.32/47.42	c |     14860 |   37953   206160   553760 | 2147483647    14135    125 | 38.417 % |
47.62/47.76	c |     15036 |   37953   206160   553760 | 2147483647    14311    125 | 38.417 % |
47.92/48.08	c |     15230 |   37951   206160   553760 | 2147483647    14504    126 | 38.832 % |
48.32/48.42	c |     15443 |   37951   206160   553760 | 2147483647    14717    127 | 38.832 % |
48.82/48.93	c |     15676 |   37678   204670   548819 | 2147483647    14903    127 | 38.847 % |
49.22/49.36	c |     15934 |   37678   204670   548819 | 2147483647    15161    126 | 38.847 % |
49.92/50.02	c |     16215 |   37678   204670   548819 | 2147483647    15442    125 | 38.847 % |
50.72/50.81	c |     16528 |   37662   204528   548496 | 2147483647    15751    124 | 38.861 % |
51.22/51.36	c |     16867 |   37662   204528   548496 | 2147483647    16090    124 | 38.861 % |
51.52/51.65	c |     16967 |   37662   204528   548496 | 2147483647    16190    124 | 38.861 % |
51.82/51.96	c |     17079 |   37662   204528   548496 | 2147483647    16302    124 | 38.861 % |
52.02/52.13	c |     17201 |   37662   204528   548496 | 2147483647    16424    124 | 38.862 % |
52.22/52.33	c |     17338 |   37662   204528   548496 | 2147483647    16561    124 | 38.861 % |
52.42/52.53	c |     17484 |   37662   204528   548496 | 2147483647    16707    124 | 38.861 % |
52.62/52.77	c |     17645 |   37662   204528   548496 | 2147483647    16868    123 | 38.861 % |
53.22/53.35	c |     17822 |   37662   204528   548496 | 2147483647    17045    124 | 38.861 % |
53.72/53.85	c |     18015 |   37662   204528   548496 | 2147483647    17238    124 | 38.861 % |
54.01/54.19	c |     18229 |   37662   204528   548496 | 2147483647    17452    125 | 38.861 % |
54.71/54.80	c |     18465 |   37662   204528   548496 | 2147483647    17688    125 | 38.861 % |
55.01/55.19	c |     18722 |   37662   204528   548496 | 2147483647    17945    125 | 38.861 % |
55.61/55.71	c |     19006 |   37662   204528   548496 | 2147483647    18229    124 | 38.861 % |
56.21/56.39	c |     19319 |   37662   204528   548496 | 2147483647    18542    124 | 38.862 % |
56.81/56.98	c |     19658 |   37662   204528   548496 | 2147483647    18881    123 | 38.862 % |
57.61/57.70	c |     20035 |   37662   204528   548496 | 2147483647    19258    124 | 38.861 % |
57.81/57.96	c |     20135 |   37662   204528   548496 | 2147483647    19358    124 | 38.861 % |
58.01/58.19	c |     20246 |   37662   204528   548496 | 2147483647    19469    124 | 38.861 % |
58.31/58.44	c |     20367 |   37662   204528   548496 | 2147483647    19590    124 | 38.861 % |
58.51/58.67	c |     20503 |   37662   204528   548496 | 2147483647    19726    123 | 38.861 % |
58.82/58.91	c |     20652 |   37662   204528   548496 | 2147483647    19875    124 | 38.861 % |
59.22/59.38	c |     20813 |   37662   204528   548496 | 2147483647    20036    124 | 38.861 % |
59.62/59.72	c |     20989 |   37662   204528   548496 | 2147483647    20212    124 | 38.861 % |
60.02/60.20	c |     21183 |   37657   204518   548471 | 2147483647    20402    125 | 38.879 % |
60.52/60.65	c |     21395 |   37657   204518   548471 | 2147483647    20614    126 | 38.879 % |
60.92/61.03	c |     21632 |   37657   204518   548471 | 2147483647    20851    126 | 38.879 % |
61.52/61.69	c |     21888 |   37657   204518   548471 | 2147483647    21107    126 | 38.879 % |
62.22/62.30	c |     22169 |   37657   204518   548471 | 2147483647    21388    127 | 38.879 % |
62.71/62.88	c |     22479 |   37650   204518   548471 | 2147483647    21696    127 | 38.908 % |
63.51/63.68	c |     22818 |   37650   204518   548471 | 2147483647    22035    127 | 38.908 % |
64.72/64.86	c |     23196 |   37632   204316   547998 | 2147483647    22410    126 | 38.921 % |
65.41/65.52	c |     23608 |   37632   204316   547998 | 2147483647    22822    127 | 38.921 % |
65.71/65.87	c |     23708 |   37631   204316   547998 | 2147483647    22921    127 | 38.938 % |
66.11/66.29	c |     23818 |   37631   204316   547998 | 2147483647    23031    127 | 38.938 % |
66.51/66.63	c |     23939 |   37631   204316   547998 | 2147483647    23152    126 | 38.938 % |
66.91/67.07	c |     24072 |   37521   203493   546042 | 2147483647    23065    126 | 39.090 % |
67.21/67.37	c |     24219 |   37506   203493   546042 | 2147483647    23210    126 | 40.066 % |
67.61/67.70	c |     24380 |   37506   203493   546042 | 2147483647    23371    126 | 40.066 % |
67.91/68.09	c |     24556 |   37506   203493   546042 | 2147483647    23547    126 | 40.066 % |
68.31/68.43	c |     24751 |   37506   203493   546042 | 2147483647    23742    126 | 40.066 % |
68.61/68.77	c |     24963 |   37506   203493   546042 | 2147483647    23954    125 | 40.066 % |
69.01/69.12	c |     25196 |   37506   203493   546042 | 2147483647    24187    125 | 40.066 % |
69.40/69.55	c |     25453 |   37506   203493   546042 | 2147483647    24444    124 | 40.066 % |
69.90/70.09	c |     25734 |   37506   203493   546042 | 2147483647    24725    124 | 40.066 % |
70.50/70.67	c |     26043 |   37506   203493   546042 | 2147483647    25034    123 | 40.066 % |
71.00/71.13	c |     26382 |   37506   203493   546042 | 2147483647    25373    122 | 40.066 % |
71.60/71.71	c |     26754 |   37506   203493   546042 | 2147483647    25745    122 | 40.066 % |
72.30/72.50	c |     27163 |   36920   196524   527388 | 2147483647    26107    123 | 40.066 % |
73.10/73.29	c |     27614 |   36920   196524   527388 | 2147483647    26558    122 | 40.066 % |
73.40/73.51	c |     27715 |   36920   196524   527388 | 2147483647    26659    122 | 40.066 % |
73.80/73.90	c |     27826 |   36919   196524   527388 | 2147483647    26769    122 | 40.068 % |
74.30/74.42	c |     27948 |   36913   196524   527388 | 2147483647    26889    122 | 40.491 % |
74.80/74.95	c |     28083 |   36913   196524   527388 | 2147483647    27024    121 | 40.491 % |
75.10/75.23	c |     28229 |   36913   196524   527388 | 2147483647    27170    122 | 40.491 % |
75.40/75.51	c |     28390 |   36913   196524   527388 | 2147483647    27331    122 | 40.491 % |
75.70/75.82	c |     28566 |   36658   195291   524023 | 2147483647    27485    121 | 40.491 % |
76.10/76.23	c |     28760 |   36658   195291   524023 | 2147483647    27679    121 | 40.492 % |
76.50/76.65	c |     28973 |   36658   195291   524023 | 2147483647    27892    121 | 40.491 % |
76.90/77.05	c |     29207 |   36658   195291   524023 | 2147483647    28126    120 | 40.491 % |
77.40/77.51	c |     29466 |   36658   195291   524023 | 2147483647    28385    120 | 40.491 % |
78.00/78.19	c |     29749 |   36658   195291   524023 | 2147483647    28668    119 | 40.491 % |
78.70/78.82	c |     30058 |   36658   195291   524023 | 2147483647    28977    119 | 40.491 % |
79.40/79.53	c |     30398 |   36658   195291   524023 | 2147483647    29317    118 | 40.491 % |
80.00/80.19	c |     30771 |   36658   195291   524023 | 2147483647    29690    118 | 40.491 % |
80.70/80.87	c |     31180 |   36658   195291   524023 | 2147483647    30099    118 | 40.491 % |
82.00/82.11	c |     31632 |   36658   195291   524023 | 2147483647    30551    118 | 40.491 % |
83.41/83.60	c |     32125 |   36658   195291   524023 | 2147483647    31044    119 | 40.491 % |
83.80/83.94	c |     32228 |   36658   195291   524023 | 2147483647    31147    119 | 40.491 % |
84.10/84.21	c |     32339 |   36658   195291   524023 | 2147483647    31258    119 | 40.491 % |
84.51/84.66	c |     32460 |   36658   195291   524023 | 2147483647    31379    119 | 40.491 % |
85.00/85.11	c |     32595 |   36658   195291   524023 | 2147483647    31514    119 | 40.491 % |
85.40/85.56	c |     32741 |   36658   195291   524023 | 2147483647    31660    120 | 40.491 % |
85.99/86.14	c |     32901 |   36639   195159   523703 | 2147483647    31812    120 | 40.522 % |
86.49/86.63	c |     33079 |   36637   195159   523703 | 2147483647    31989    121 | 40.535 % |
86.89/87.00	c |     33272 |   36637   195159   523703 | 2147483647    32182    120 | 40.535 % |
87.29/87.47	c |     33484 |   36637   195159   523703 | 2147483647    32394    120 | 40.535 % |
87.90/88.01	c |     33718 |   36637   195159   523703 | 2147483647    32628    120 | 40.535 % |
88.49/88.68	c |     33977 |   36637   195159   523703 | 2147483647    32887    119 | 40.535 % |
89.19/89.40	c |     34259 |   36637   195159   523703 | 2147483647    33169    119 | 40.535 % |
89.79/89.96	c |     34568 |   36637   195159   523703 | 2147483647    33478    118 | 40.535 % |
90.49/90.62	c |     34909 |   36637   195159   523703 | 2147483647    33819    118 | 40.535 % |
91.19/91.39	c |     35282 |   36637   195159   523703 | 2147483647    34192    117 | 40.536 % |
91.99/92.11	c |     35691 |   36631   195097   523567 | 2147483647    34601    117 | 40.535 % |
93.19/93.35	c |     36148 |   36631   195097   523567 | 2147483647    35058    118 | 40.535 % |
94.69/94.83	c |     36642 |   36631   195097   523567 | 2147483647    35552    119 | 40.535 % |
96.18/96.40	c |     37184 |   36585   194751   522766 | 2147483647    36085    120 | 40.610 % |
96.48/96.63	c |     37284 |   36585   194751   522766 | 2147483647    36185    120 | 40.610 % |
96.69/96.87	c |     37395 |   36585   194751   522766 | 2147483647    36296    120 | 40.610 % |
96.88/97.05	c |     37516 |   36585   194751   522766 | 2147483647    36417    120 | 40.610 % |
97.18/97.33	c |     37651 |   36585   194751   522766 | 2147483647    36552    121 | 40.610 % |
97.58/97.70	c |     37798 |   36585   194751   522766 | 2147483647    36699    121 | 40.610 % |
97.88/98.06	c |     37958 |   36585   194751   522766 | 2147483647    36859    121 | 40.610 % |
98.38/98.57	c |     38134 |   36585   194751   522766 | 2147483647    37035    122 | 40.610 % |
99.08/99.22	c |     38328 |   36578   194751   522766 | 2147483647    37224    122 | 41.100 % |
99.38/99.52	c |     38541 |   36558   194751   522766 | 2147483647    37437    121 | 41.100 % |
99.98/100.14	c |     38778 |   36558   194751   522766 | 2147483647    37674    121 | 41.101 % |
100.39/100.56	c |     39035 |   36558   194751   522766 | 2147483647    37931    121 | 41.100 % |
100.99/101.13	c |     39317 |   36556   194751   522766 | 2147483647    38212    121 | 41.769 % |
101.59/101.71	c |     39627 |   36556   194751   522766 | 2147483647    38522    120 | 41.769 % |
102.19/102.36	c |     39967 |   36556   194751   522766 | 2147483647    38862    120 | 41.769 % |
102.99/103.10	c |     40342 |   36556   194751   522766 | 2147483647    39237    120 | 41.769 % |
103.78/103.97	c |     40751 |   35871   186416   500813 | 2147483647    39582    119 | 41.769 % |
104.78/104.99	c |     41201 |   35871   186416   500813 | 2147483647    40032    118 | 41.769 % |
105.88/106.02	c |     41694 |   35871   186416   500813 | 2147483647    40525    118 | 41.769 % |
107.18/107.39	c |     42236 |   35871   186416   500813 | 2147483647    41067    117 | 41.769 % |
108.48/108.61	c |     42833 |   35871   186416   500813 | 2147483647    41664    116 | 41.769 % |
108.68/108.87	c |     42935 |   35871   186416   500813 | 2147483647    41766    116 | 41.769 % |
109.08/109.28	c |     43047 |   35870   186416   500813 | 2147483647    41877    116 | 41.779 % |
109.28/109.47	c |     43170 |   35870   186416   500813 | 2147483647    42000    116 | 41.779 % |
109.58/109.79	c |     43305 |   35870   186416   500813 | 2147483647    42135    116 | 41.779 % |
109.88/110.07	c |     43453 |   35870   186416   500813 | 2147483647    42283    116 | 41.779 % |
110.28/110.45	c |     43613 |   35870   186416   500813 | 2147483647    42443    116 | 41.779 % |
110.68/110.85	c |     43789 |   35865   186363   500692 | 2147483647    42619    116 | 41.779 % |
111.08/111.25	c |     43982 |   35865   186363   500692 | 2147483647    42812    115 | 41.779 % |
111.48/111.68	c |     44195 |   35865   186363   500692 | 2147483647    43025    115 | 41.779 % |
111.88/112.09	c |     44428 |   35865   186363   500692 | 2147483647    43258    115 | 41.779 % |
112.48/112.61	c |     44684 |   35865   186363   500692 | 2147483647    43514    115 | 41.779 % |
112.98/113.13	c |     44965 |   35865   186363   500692 | 2147483647    43795    115 | 41.779 % |
113.58/113.74	c |     45274 |   35865   186363   500692 | 2147483647    44104    115 | 41.779 % |
114.38/114.54	c |     45614 |   35865   186363   500692 | 2147483647    44444    116 | 41.779 % |
115.58/115.79	c |     45987 |   35864   186363   500692 | 2147483647    44816    116 | 41.798 % |
117.08/117.25	c |     46398 |   35864   186363   500692 | 2147483647    45227    116 | 41.798 % |
118.58/118.79	c |     46847 |   35845   186233   500356 | 2147483647    45671    117 | 41.811 % |
119.98/120.11	c |     47342 |   35845   186233   500356 | 2147483647    46166    117 | 41.811 % |
121.37/121.54	c |     47887 |   35843   186233   500356 | 2147483647    46709    118 | 41.839 % |
122.57/122.76	c |     48484 |   35843   186233   500356 | 2147483647    47306    118 | 41.839 % |
124.08/124.22	c |     49140 |   35843   186233   500356 | 2147483647    47962    118 | 41.839 % |
124.47/124.61	c |     49240 |   35843   186233   500356 | 2147483647    48062    118 | 41.839 % |
124.87/125.04	c |     49350 |   35843   186233   500356 | 2147483647    48172    118 | 41.839 % |
125.17/125.31	c |     49472 |   35843   186233   500356 | 2147483647    48294    117 | 41.839 % |
125.47/125.68	c |     49606 |   35843   186233   500356 | 2147483647    48428    118 | 41.839 % |
125.87/126.02	c |     49753 |   35828   186109   500074 | 2147483647    48568    117 | 41.839 % |
126.57/126.70	c |     49914 |   35823   186109   500074 | 2147483647    48727    117 | 42.060 % |
127.27/127.43	c |     50090 |   35823   186109   500074 | 2147483647    48903    117 | 42.059 % |
127.77/127.90	c |     50284 |   35823   186109   500074 | 2147483647    49097    117 | 42.059 % |
128.27/128.43	c |     50500 |   35823   186109   500074 | 2147483647    49313    117 | 42.059 % |
128.76/128.99	c |     50733 |   35823   186109   500074 | 2147483647    49546    117 | 42.059 % |
129.47/129.69	c |     50989 |   35823   186109   500074 | 2147483647    49802    117 | 42.060 % |
130.27/130.42	c |     51270 |   35823   186109   500074 | 2147483647    50083    118 | 42.060 % |
130.78/130.98	c |     51579 |   35823   186109   500074 | 2147483647    50392    117 | 42.059 % |
131.57/131.72	c |     51919 |   35823   186109   500074 | 2147483647    50732    117 | 42.059 % |
132.27/132.48	c |     52291 |   35823   186109   500074 | 2147483647    51104    117 | 42.059 % |
133.17/133.33	c |     52700 |   35823   186109   500074 | 2147483647    51513    116 | 42.059 % |
133.97/134.15	c |     53149 |   35823   186109   500074 | 2147483647    51962    117 | 42.059 % |
135.07/135.28	c |     53643 |   35823   186109   500074 | 2147483647    52456    116 | 42.059 % |
136.27/136.49	c |     54186 |   35692   185084   497658 | 2147483647    52929    116 | 42.059 % |
137.47/137.67	c |     54782 |   35692   185084   497658 | 2147483647    53525    115 | 42.060 % |
138.96/139.15	c |     55438 |   35692   185084   497658 | 2147483647    54181    114 | 42.060 % |
140.16/140.39	c |     56159 |   35692   185084   497658 | 2147483647    54902    114 | 42.060 % |
140.46/140.65	c |     56263 |   35692   185084   497658 | 2147483647    55006    113 | 42.059 % |
140.76/140.94	c |     56373 |   35692   185084   497658 | 2147483647    55116    113 | 42.059 % |
141.06/141.22	c |     56494 |   35692   185084   497658 | 2147483647    55237    113 | 42.060 % |
141.26/141.46	c |     56628 |   35692   185084   497658 | 2147483647    55371    113 | 42.060 % |
141.56/141.70	c |     56776 |   35692   185084   497658 | 2147483647    55519    113 | 42.060 % |
141.76/141.97	c |     56936 |   35692   185084   497658 | 2147483647    55679    113 | 42.059 % |
142.16/142.32	c |     57112 |   35692   185084   497658 | 2147483647    55855    112 | 42.059 % |
142.76/142.92	c |     57307 |   35691   185084   497658 | 2147483647    56049    112 | 42.076 % |
143.16/143.38	c |     57522 |   35691   185084   497658 | 2147483647    56264    112 | 42.076 % |
143.66/143.87	c |     57757 |   35691   185084   497658 | 2147483647    56499    112 | 42.076 % |
144.36/144.56	c |     58013 |   35691   185084   497658 | 2147483647    56755    112 | 42.076 % |
145.07/145.22	c |     58294 |   35691   185084   497658 | 2147483647    57036    112 | 42.076 % |
145.76/145.91	c |     58604 |   35691   185084   497658 | 2147483647    57346    111 | 42.076 % |
146.46/146.66	c |     58943 |   35691   185084   497658 | 2147483647    57685    111 | 42.076 % |
147.26/147.41	c |     59315 |   35691   185084   497658 | 2147483647    58057    111 | 42.076 % |
148.06/148.21	c |     59725 |   35682   185022   497511 | 2147483647    58466    110 | 42.076 % |
148.86/149.05	c |     60175 |   35682   185022   497511 | 2147483647    58916    111 | 42.076 % |
149.86/150.05	c |     60670 |   35682   185022   497511 | 2147483647    59411    111 | 42.076 % |
150.95/151.13	c |     61213 |   35682   185022   497511 | 2147483647    59954    110 | 42.076 % |
152.35/152.54	c |     61809 |   35682   185022   497511 | 2147483647    60550    110 | 42.076 % |
154.05/154.28	c |     62464 |   35682   185022   497511 | 2147483647    61205    110 | 42.076 % |
155.65/155.89	c |     63184 |   35682   185022   497511 | 2147483647    61925    110 | 42.076 % |
157.55/157.76	c |     63981 |   35682   185022   497511 | 2147483647    62721    111 | 42.090 % |
157.75/157.99	c |     64085 |   35682   185022   497511 | 2147483647    62825    110 | 42.091 % |
158.15/158.34	c |     64196 |   35673   184959   497362 | 2147483647    62936    110 | 42.091 % |
158.35/158.58	c |     64318 |   35673   184959   497362 | 2147483647    63058    110 | 42.091 % |
158.65/158.84	c |     64451 |   35673   184959   497362 | 2147483647    63191    110 | 42.090 % |
158.95/159.16	c |     64599 |   35673   184959   497362 | 2147483647    63339    110 | 42.090 % |
159.35/159.53	c |     64759 |   35673   184959   497362 | 2147483647    63499    110 | 42.090 % |
159.75/160.00	c |     64936 |   35673   184959   497362 | 2147483647    63676    110 | 42.090 % |
160.35/160.52	c |     65140 |   35673   184959   497362 | 2147483647    63880    110 | 42.090 % |
160.85/161.00	c |     65354 |   35673   184959   497362 | 2147483647    64094    111 | 42.090 % |
161.35/161.58	c |     65587 |   35673   184959   497362 | 2147483647    64327    111 | 42.090 % |
162.05/162.24	c |     65844 |   35673   184959   497362 | 2147483647    64584    111 | 42.090 % |
162.74/162.92	c |     66125 |   35673   184959   497362 | 2147483647    64865    111 | 42.090 % |
163.44/163.62	c |     66435 |   35673   184959   497362 | 2147483647    65175    111 | 42.090 % |
164.24/164.43	c |     66775 |   35673   184959   497362 | 2147483647    65515    110 | 42.090 % |
165.04/165.21	c |     67148 |   35673   184959   497362 | 2147483647    65888    110 | 42.090 % |
165.85/166.08	c |     67559 |   35673   184959   497362 | 2147483647    66299    110 | 42.090 % |
167.14/167.34	c |     68008 |   35673   184959   497362 | 2147483647    66748    110 | 42.091 % |
168.24/168.43	c |     68501 |   35673   184959   497362 | 2147483647    67241    109 | 42.090 % |
169.44/169.60	c |     69045 |   35673   184959   497362 | 2147483647    67785    109 | 42.090 % |
170.64/170.82	c |     69642 |   35673   184959   497362 | 2147483647    68382    109 | 42.090 % |
172.04/172.27	c |     70298 |   35673   184959   497362 | 2147483647    69038    109 | 42.090 % |
173.64/173.85	c |     71019 |   35673   184959   497362 | 2147483647    69759    108 | 42.090 % |
175.45/175.62	c |     71812 |   35673   184959   497362 | 2147483647    70552    108 | 42.090 % |
177.44/177.61	c |     72686 |   35667   184904   497236 | 2147483647    71424    108 | 42.100 % |
177.84/178.04	c |     72788 |   35667   184904   497236 | 2147483647    71526    108 | 42.100 % |
178.05/178.30	c |     72898 |   35667   184904   497236 | 2147483647    71636    108 | 42.100 % |
178.34/178.55	c |     73019 |   35667   184904   497236 | 2147483647    71757    108 | 42.100 % |
178.74/178.90	c |     73154 |   35667   184904   497236 | 2147483647    71892    108 | 42.100 % |
179.24/179.46	c |     73300 |   35664   184904   497236 | 2147483647    72035    108 | 42.137 % |
179.84/180.05	c |     73460 |   35664   184904   497236 | 2147483647    72194    108 | 42.152 % |
180.34/180.58	c |     73636 |   35663   184904   497236 | 2147483647    72369    108 | 42.165 % |
181.04/181.20	c |     73830 |   35663   184904   497236 | 2147483647    72563    109 | 42.165 % |
181.64/181.85	c |     74044 |   35663   184904   497236 | 2147483647    72777    109 | 42.165 % |
182.14/182.36	c |     74278 |   35663   184904   497236 | 2147483647    73011    109 | 42.165 % |
182.84/183.03	c |     74534 |   35663   184904   497236 | 2147483647    73267    109 | 42.165 % |
183.64/183.87	c |     74815 |   35663   184904   497236 | 2147483647    73548    109 | 42.165 % |
184.34/184.60	c |     75124 |   35663   184904   497236 | 2147483647    73857    109 | 42.165 % |
185.24/185.47	c |     75468 |   35663   184904   497236 | 2147483647    74201    109 | 42.165 % |
186.24/186.46	c |     75842 |   35663   184904   497236 | 2147483647    74575    109 | 42.165 % |
187.24/187.41	c |     76255 |   35657   184904   497236 | 2147483647    74987    109 | 42.270 % |
188.33/188.55	c |     76704 |   35657   184904   497236 | 2147483647    75436    109 | 42.270 % |
190.13/190.37	c |     77197 |   35657   184904   497236 | 2147483647    75929    110 | 42.271 % |
191.53/191.72	c |     77739 |   35562   184183   495491 | 2147483647    76456    110 | 42.270 % |
192.93/193.16	c |     78335 |   35562   184183   495491 | 2147483647    77052    109 | 42.271 % |
194.23/194.48	c |     78990 |   35562   184183   495491 | 2147483647    77707    109 | 42.270 % |
195.83/196.04	c |     79710 |   35562   184183   495491 | 2147483647    78427    108 | 42.271 % |
198.43/198.66	c |     80503 |   35562   184183   495491 | 2147483647    79220    110 | 42.270 % |
200.83/201.03	c |     81374 |   35562   184183   495491 | 2147483647    80091    111 | 42.270 % |
203.53/203.76	c |     82333 |   35562   184183   495491 | 2147483647    81050    111 | 42.270 % |
203.83/204.01	c |     82433 |   35562   184183   495491 | 2147483647    81150    111 | 42.270 % |
204.13/204.36	c |     82547 |   35562   184183   495491 | 2147483647    81264    112 | 42.270 % |
204.53/204.79	c |     82671 |   35562   184183   495491 | 2147483647    81388    112 | 42.270 % |
204.92/205.17	c |     82805 |   35562   184183   495491 | 2147483647    81522    112 | 42.270 % |
205.32/205.59	c |     82951 |   35562   184183   495491 | 2147483647    81668    112 | 42.270 % |
205.82/206.04	c |     83112 |   35562   184183   495491 | 2147483647    81829    112 | 42.270 % |
206.32/206.52	c |     83289 |   35562   184183   495491 | 2147483647    82006    111 | 42.270 % |
206.82/207.07	c |     83482 |   35562   184183   495491 | 2147483647    82199    111 | 42.270 % |
207.62/207.82	c |     83694 |   35562   184183   495491 | 2147483647    82411    111 | 42.270 % |
208.32/208.54	c |     83927 |   31722   160630   435625 | 2147483647    82481    111 | 48.504 % |
209.02/209.28	c |     84184 |   31721   160630   435625 | 2147483647    82737    111 | 48.515 % |
209.82/210.01	c |     84465 |   31721   160630   435625 | 2147483647    83018    111 | 48.515 % |
210.71/210.95	c |     84776 |   31721   160630   435625 | 2147483647    83329    111 | 48.515 % |
211.51/211.75	c |     85116 |   31721   160630   435625 | 2147483647    83669    110 | 48.515 % |
212.52/212.73	c |     85488 |   31721   160630   435625 | 2147483647    84041    110 | 48.515 % |
213.82/214.06	c |     85898 |   31721   160630   435625 | 2147483647    84451    110 | 48.515 % |
215.52/215.70	c |     86347 |   31720   160630   435625 | 2147483647    84899    110 | 48.528 % |
216.62/216.88	c |     86842 |   31720   160630   435625 | 2147483647    85394    110 | 48.528 % |
218.52/218.72	c |     87385 |   31719   160630   435625 | 2147483647    85935    111 | 48.558 % |
220.51/220.72	c |     87983 |   31719   160630   435625 | 2147483647    86532    111 | 48.569 % |
222.81/223.03	c |     88638 |   31650   160123   434443 | 2147483647    87176    112 | 48.621 % |
225.41/225.68	c |     89361 |   31650   160123   434443 | 2147483647    87899    112 | 48.621 % |
228.01/228.21	c |     90158 |   31648   160123   434443 | 2147483647    88694    112 | 48.678 % |
230.71/230.98	c |     91029 |   31646   160123   434443 | 2147483647    89564    113 | 48.694 % |
232.91/233.19	c |     91989 |   31646   160123   434443 | 2147483647    90523    113 | 48.696 % |
235.81/236.01	c |     93045 |   31646   160123   434443 | 2147483647    91579    112 | 48.696 % |
236.11/236.34	c |     93150 |   31646   160123   434443 | 2147483647    91684    112 | 48.696 % |
236.41/236.66	c |     93260 |   31646   160123   434443 | 2147483647    91794    112 | 48.696 % |
236.80/237.03	c |     93384 |   31646   160123   434443 | 2147483647    91918    112 | 48.696 % |
237.20/237.44	c |     93518 |   31646   160123   434443 | 2147483647    92052    112 | 48.696 % |
237.80/238.05	c |     93665 |   31584   159630   433242 | 2147483647    92163    112 | 48.728 % |
238.30/238.50	c |     93826 |   31584   159630   433242 | 2147483647    92324    112 | 48.728 % |
238.80/239.09	c |     94004 |   31584   159630   433242 | 2147483647    92502    112 | 48.728 % |
239.40/239.67	c |     94202 |   31584   159630   433242 | 2147483647    92700    112 | 48.728 % |
239.90/240.19	c |     94419 |   31584   159630   433242 | 2147483647    92917    112 | 48.728 % |
240.60/240.81	c |     94652 |   31584   159630   433242 | 2147483647    93150    112 | 48.728 % |
241.20/241.45	c |     94908 |   31584   159630   433242 | 2147483647    93406    112 | 48.728 % |
242.00/242.27	c |     95191 |   31584   159630   433242 | 2147483647    93689    112 | 48.728 % |
243.00/243.29	c |     95500 |   31584   159630   433242 | 2147483647    93998    112 | 48.728 % |
243.80/244.08	c |     95839 |   31584   159630   433242 | 2147483647    94337    112 | 48.728 % |
245.01/245.26	c |     96211 |   31584   159630   433242 | 2147483647    94709    112 | 48.728 % |
246.10/246.33	c |     96620 |   31584   159630   433242 | 2147483647    95118    112 | 48.728 % |
247.50/247.75	c |     97073 |   31584   159630   433242 | 2147483647    95571    112 | 48.728 % |
248.90/249.10	c |     97566 |   31584   159630   433242 | 2147483647    96064    113 | 48.728 % |
250.60/250.86	c |     98108 |   31584   159630   433242 | 2147483647    96606    112 | 48.728 % |
252.80/253.03	c |     98707 |   31584   159630   433242 | 2147483647    97205    112 | 48.728 % |
255.10/255.36	c |     99364 |   31584   159630   433242 | 2147483647    97862    112 | 48.728 % |
258.09/258.34	c |    100086 |   31577   159569   433096 | 2147483647    98581    112 | 48.740 % |
260.40/260.63	c |    100884 |   31577   159569   433096 | 2147483647    99379    111 | 48.740 % |
262.79/263.08	c |    101755 |   31577   159569   433096 | 2147483647   100249    111 | 48.746 % |
265.39/265.65	c |    102713 |   31577   159569   433096 | 2147483647   101207    110 | 48.746 % |
267.99/268.28	c |    103766 |   31577   159569   433096 | 2147483647   102260    110 | 48.746 % |
271.09/271.30	c |    104927 |   31577   159569   433096 | 2147483647   103421    109 | 48.746 % |
271.29/271.56	c |    105029 |   31577   159569   433096 | 2147483647   103523    109 | 48.746 % |
271.59/271.89	c |    105139 |   31577   159569   433096 | 2147483647   103633    109 | 48.746 % |
271.99/272.24	c |    105260 |   31577   159569   433096 | 2147483647   103754    109 | 48.746 % |
272.38/272.65	c |    105393 |   31577   159569   433096 | 2147483647   103887    109 | 48.746 % |
272.88/273.12	c |    105549 |   31577   159569   433096 | 2147483647   104043    109 | 48.746 % |
273.28/273.56	c |    105711 |   31577   159569   433096 | 2147483647   104205    109 | 48.746 % |
273.88/274.12	c |    105888 |   31577   159569   433096 | 2147483647   104382    109 | 48.746 % |
274.48/274.76	c |    106081 |   31577   159569   433096 | 2147483647   104575    109 | 48.747 % |
275.08/275.32	c |    106293 |   31577   159569   433096 | 2147483647   104787    109 | 48.747 % |
275.68/275.93	c |    106527 |   31577   159569   433096 | 2147483647   105021    109 | 48.746 % |
276.28/276.55	c |    106783 |   31577   159569   433096 | 2147483647   105277    109 | 48.746 % |
276.89/277.13	c |    107065 |   31577   159569   433096 | 2147483647   105559    108 | 48.746 % |
277.88/278.10	c |    107378 |   31577   159569   433096 | 2147483647   105872    108 | 48.746 % |
278.88/279.14	c |    107717 |   31577   159569   433096 | 2147483647   106211    108 | 48.746 % |
279.98/280.29	c |    108090 |   31577   159569   433096 | 2147483647   106584    108 | 48.746 % |
281.28/281.57	c |    108500 |   31577   159569   433096 | 2147483647   106994    108 | 48.746 % |
282.39/282.69	c |    108952 |   31577   159569   433096 | 2147483647   107446    108 | 48.746 % |
283.79/284.01	c |    109446 |   31577   159569   433096 | 2147483647   107940    107 | 48.746 % |
285.18/285.47	c |    109988 |   31573   159540   433019 | 2147483647   108482    107 | 48.747 % |
286.58/286.90	c |    110584 |   31573   159540   433019 | 2147483647   109078    107 | 48.747 % |
288.68/288.97	c |    111239 |   31573   159540   433019 | 2147483647   109733    106 | 48.747 % |
290.58/290.86	c |    111960 |   31573   159540   433019 | 2147483647   110454    106 | 48.746 % |
292.58/292.86	c |    112753 |   31573   159540   433019 | 2147483647   111247    106 | 48.747 % |
294.98/295.28	c |    113625 |   31573   159540   433019 | 2147483647   112119    105 | 48.747 % |
297.38/297.62	c |    114585 |   31573   159540   433019 | 2147483647   113079    105 | 48.746 % |
300.28/300.57	c |    115638 |   31573   159540   433019 | 2147483647   114132    105 | 48.746 % |
303.77/304.04	c |    116798 |   31573   159540   433019 | 2147483647   115292    105 | 48.746 % |
307.87/308.16	c |    118073 |   31573   159540   433019 | 2147483647   116567    105 | 48.746 % |
308.27/308.56	c |    118174 |   31573   159540   433019 | 2147483647   116668    105 | 48.746 % |
308.57/308.84	c |    118284 |   31573   159540   433019 | 2147483647   116778    105 | 48.746 % |
308.87/309.13	c |    118406 |   31573   159540   433019 | 2147483647   116900    105 | 48.746 % |
309.17/309.48	c |    118539 |   31573   159540   433019 | 2147483647   117033    105 | 48.746 % |
309.77/310.06	c |    118686 |   31573   159540   433019 | 2147483647   117180    105 | 48.746 % |
310.46/310.75	c |    118850 |   31573   159540   433019 | 2147483647   117344    105 | 48.746 % |
311.16/311.49	c |    119028 |   31573   159540   433019 | 2147483647   117522    105 | 48.746 % |
311.86/312.18	c |    119222 |   31573   159540   433019 | 2147483647   117716    105 | 48.746 % |
312.66/312.98	c |    119439 |   31573   159540   433019 | 2147483647   117933    105 | 48.746 % |
313.56/313.81	c |    119672 |   31573   159540   433019 | 2147483647   118166    105 | 48.746 % |
314.46/314.73	c |    119929 |   31573   159540   433019 | 2147483647   118423    105 | 48.746 % |
315.47/315.71	c |    120210 |   31573   159540   433019 | 2147483647   118704    105 | 48.746 % |
316.86/317.16	c |    120525 |   31564   159476   432869 | 2147483647   119016    105 | 48.761 % |
318.27/318.54	c |    120866 |   31564   159476   432869 | 2147483647   119356    105 | 48.777 % |
319.67/319.91	c |    121240 |   31564   159476   432869 | 2147483647   119730    105 | 48.777 % |
320.97/321.25	c |    121649 |   31564   159476   432869 | 2147483647   120139    105 | 48.777 % |
322.77/323.05	c |    122101 |   31564   159476   432869 | 2147483647   120591    105 | 48.777 % |
324.46/324.71	c |    122596 |   31564   159476   432869 | 2147483647   121086    106 | 48.777 % |
326.16/326.46	c |    123139 |   31564   159476   432869 | 2147483647   121629    106 | 48.777 % |
328.36/328.63	c |    123735 |   31564   159476   432869 | 2147483647   122225    106 | 48.777 % |
330.15/330.46	c |    124390 |   31564   159476   432869 | 2147483647   122880    105 | 48.777 % |
332.35/332.69	c |    125115 |   31564   159476   432869 | 2147483647   123605    105 | 48.777 % |
335.65/335.92	c |    125907 |   31564   159476   432869 | 2147483647   124397    105 | 48.777 % |
339.44/339.78	c |    126780 |   31564   159476   432869 | 2147483647   125270    105 | 48.777 % |
342.45/342.71	c |    127742 |   31553   159415   432704 | 2147483647   126229    104 | 48.790 % |
346.95/347.24	c |    128796 |   31553   159415   432704 | 2147483647   127283    104 | 48.790 % |
351.75/352.04	c |    129954 |   31553   159415   432704 | 2147483647   128441    104 | 48.790 % |
355.54/355.83	c |    131230 |   31553   159415   432704 | 2147483647   129717    105 | 48.790 % |
360.94/361.22	c |    132635 |   31553   159415   432704 | 2147483647   131121    105 | 48.804 % |
361.34/361.66	c |    132737 |   31537   159274   432366 | 2147483647   131221    105 | 48.804 % |
361.84/362.18	c |    132847 |   31537   159274   432366 | 2147483647   131331    105 | 48.804 % |
362.34/362.64	c |    132974 |   31537   159274   432366 | 2147483647   131458    105 | 48.804 % |
362.74/363.06	c |    133107 |   31537   159274   432366 | 2147483647   131591    105 | 48.804 % |
363.14/363.48	c |    133254 |   31537   159274   432366 | 2147483647   131738    105 | 48.804 % |
363.54/363.87	c |    133416 |   31537   159274   432366 | 2147483647   131900    105 | 48.804 % |
364.44/364.71	c |    133592 |   31537   159274   432366 | 2147483647   132076    105 | 48.804 % |
365.04/365.31	c |    133787 |   31537   159274   432366 | 2147483647   132271    105 | 48.804 % |
365.53/365.89	c |    133999 |   31537   159274   432366 | 2147483647   132483    105 | 48.805 % |
366.23/366.57	c |    134233 |   31537   159274   432366 | 2147483647   132717    105 | 48.805 % |
367.14/367.44	c |    134490 |   31537   159274   432366 | 2147483647   132974    105 | 48.805 % |
368.14/368.44	c |    134772 |   31537   159274   432366 | 2147483647   133256    105 | 48.804 % |
369.13/369.45	c |    135083 |   31537   159274   432366 | 2147483647   133567    105 | 48.804 % |
370.13/370.48	c |    135423 |   31537   159274   432366 | 2147483647   133907    105 | 48.804 % |
371.63/371.91	c |    135795 |   31537   159274   432366 | 2147483647   134279    105 | 48.804 % |
372.93/373.29	c |    136208 |   31537   159274   432366 | 2147483647   134692    105 | 48.804 % |
374.53/374.82	c |    136657 |   31537   159274   432366 | 2147483647   135141    105 | 48.804 % |
375.83/376.11	c |    137150 |   31537   159274   432366 | 2147483647   135634    105 | 48.804 % |
377.53/377.84	c |    137696 |   31537   159274   432366 | 2147483647   136180    105 | 48.804 % |
379.52/379.81	c |    138293 |   31537   159274   432366 | 2147483647   136777    104 | 48.805 % |
381.62/381.92	c |    138948 |   31537   159274   432366 | 2147483647   137432    104 | 48.804 % |
384.02/384.31	c |    139668 |   31537   159274   432366 | 2147483647   138152    104 | 48.805 % |
386.84/387.16	c |    140460 |   31537   159274   432366 | 2147483647   138944    104 | 48.805 % |
390.13/390.44	c |    141335 |   31537   159274   432366 | 2147483647   139819    103 | 48.804 % |
393.23/393.57	c |    142293 |   31537   159274   432366 | 2147483647   140777    103 | 48.804 % |
397.13/397.41	c |    143348 |   31537   159274   432366 | 2147483647   141832    103 | 48.804 % |
401.23/401.56	c |    144509 |   31537   159274   432366 | 2147483647   142993    102 | 48.804 % |
406.22/406.51	c |    145785 |   31537   159274   432366 | 2147483647   144269    102 | 48.804 % |
410.92/411.28	c |    147185 |   31537   159274   432366 | 2147483647   145669    101 | 48.804 % |
415.92/416.25	c |    148725 |   31537   159274   432366 | 2147483647   147209    101 | 48.804 % |
416.32/416.60	c |    148827 |   31537   159274   432366 | 2147483647   147311    101 | 48.804 % |
416.62/416.96	c |    148937 |   31537   159274   432366 | 2147483647   147421    101 | 48.804 % |
417.01/417.33	c |    149062 |   31537   159274   432366 | 2147483647   147546    101 | 48.804 % |
417.41/417.78	c |    149197 |   31537   159274   432366 | 2147483647   147681    101 | 48.804 % |
418.11/418.42	c |    149343 |   31537   159274   432366 | 2147483647   147827    101 | 48.804 % |
418.61/418.95	c |    149505 |   31537   159274   432366 | 2147483647   147989    101 | 48.804 % |
419.31/419.64	c |    149681 |   31537   159274   432366 | 2147483647   148165    101 | 48.805 % |
419.81/420.18	c |    149874 |   31537   159274   432366 | 2147483647   148358    101 | 48.804 % |
420.51/420.83	c |    150086 |   31537   159274   432366 | 2147483647   148570    101 | 48.804 % |
421.71/422.01	c |    150319 |   31537   159274   432366 | 2147483647   148803    101 | 48.804 % |
422.91/423.22	c |    150576 |   31528   159209   432215 | 2147483647   149058    101 | 48.832 % |
423.91/424.30	c |    150857 |   31528   159209   432215 | 2147483647   149339    101 | 48.832 % |
425.41/425.75	c |    151173 |   31528   159209   432215 | 2147483647   149655    101 | 48.832 % |
427.01/427.30	c |    151514 |   31528   159209   432215 | 2147483647   149996    101 | 48.832 % |
428.50/428.89	c |    151886 |   31528   159209   432215 | 2147483647   150368    101 | 48.832 % |
430.30/430.60	c |    152297 |   31528   159209   432215 | 2147483647   150779    102 | 48.832 % |
431.90/432.29	c |    152747 |   31528   159209   432215 | 2147483647   151229    102 | 48.832 % |
434.20/434.54	c |    153241 |   31528   159209   432215 | 2147483647   151723    101 | 48.832 % |
436.30/436.67	c |    153783 |   31528   159209   432215 | 2147483647   152265    102 | 48.832 % |
438.89/439.22	c |    154379 |   31520   159209   432215 | 2147483647   152860    102 | 48.989 % |
441.29/441.61	c |    155034 |   31520   159209   432215 | 2147483647   153514    102 | 49.017 % |
443.99/444.31	c |    155756 |   31520   159209   432215 | 2147483647   154236    103 | 49.017 % |
447.09/447.41	c |    156548 |   31520   159209   432215 | 2147483647   155028    103 | 49.017 % |
450.70/451.01	c |    157421 |   31520   159209   432215 | 2147483647   155901    103 | 49.017 % |
454.39/454.73	c |    158379 |   31406   158369   430215 | 2147483647   156845    103 | 49.017 % |
459.19/459.50	c |    159435 |   31406   158369   430215 | 2147483647   157901    103 | 49.017 % |
463.88/464.25	c |    160594 |   31406   158369   430215 | 2147483647   159060    103 | 49.017 % |
467.87/468.29	c |    161868 |   31406   158369   430215 | 2147483647   160334    103 | 49.018 % |
472.57/472.91	c |    163268 |   31406   158369   430215 | 2147483647   161734    103 | 49.017 % |
477.67/478.03	c |    164808 |   31406   158369   430215 | 2147483647   163274    103 | 49.017 % |
483.36/483.71	c |    166505 |   31406   158369   430215 | 2147483647   164971    102 | 49.017 % |
483.86/484.25	c |    166607 |   31406   158369   430215 | 2147483647   165073    102 | 49.017 % |
484.26/484.68	c |    166718 |   31406   158369   430215 | 2147483647   165184    102 | 49.018 % |
484.67/485.08	c |    166840 |   31406   158369   430215 | 2147483647   165306    102 | 49.017 % |
485.26/485.60	c |    166974 |   31406   158369   430215 | 2147483647   165440    102 | 49.017 % |
485.87/486.26	c |    167122 |   31406   158369   430215 | 2147483647   165588    102 | 49.017 % |
486.56/486.91	c |    167282 |   31406   158369   430215 | 2147483647   165748    102 | 49.018 % |
487.06/487.42	c |    167458 |   31406   158369   430215 | 2147483647   165924    102 | 49.017 % |
487.76/488.15	c |    167651 |   31406   158369   430215 | 2147483647   166117    102 | 49.017 % |
488.26/488.68	c |    167863 |   31406   158369   430215 | 2147483647   166329    102 | 49.018 % |
488.96/489.36	c |    168104 |   31406   158369   430215 | 2147483647   166570    102 | 49.017 % |
489.57/489.95	c |    168360 |   31406   158369   430215 | 2147483647   166826    102 | 49.017 % |
490.27/490.68	c |    168643 |   31406   158369   430215 | 2147483647   167109    102 | 49.017 % |
491.57/491.92	c |    168953 |   31406   158369   430215 | 2147483647   167419    102 | 49.017 % |
492.76/493.15	c |    169292 |   31406   158369   430215 | 2147483647   167758    102 | 49.017 % |
493.96/494.31	c |    169664 |   31406   158369   430215 | 2147483647   168130    102 | 49.017 % |
495.26/495.69	c |    170074 |   31406   158369   430215 | 2147483647   168540    102 | 49.017 % |
497.56/497.91	c |    170524 |   31406   158369   430215 | 2147483647   168990    102 | 49.017 % |
499.96/500.38	c |    171017 |   31406   158369   430215 | 2147483647   169483    102 | 49.017 % |
502.06/502.49	c |    171561 |   31406   158369   430215 | 2147483647   170027    102 | 49.017 % |
504.26/504.69	c |    172157 |   31406   158369   430215 | 2147483647   170623    102 | 49.017 % |
507.16/507.51	c |    172814 |   31406   158369   430215 | 2147483647   171280    102 | 49.017 % |
509.66/510.08	c |    173534 |   31406   158369   430215 | 2147483647   172000    102 | 49.017 % |
512.96/513.38	c |    174327 |   31294   157798   428681 | 2147483647   172785    103 | 49.228 % |
516.95/517.39	c |    175199 |   31294   157798   428681 | 2147483647   173657    103 | 49.228 % |
520.35/520.79	c |    176161 |   31294   157798   428681 | 2147483647   174619    103 | 49.228 % |
524.95/525.35	c |    177214 |   31294   157798   428681 | 2147483647   175672    103 | 49.228 % |
529.25/529.61	c |    178384 |   31293   157798   428681 | 2147483647   176841    103 | 49.244 % |
534.94/535.38	c |    179658 |   31293   157798   428681 | 2147483647   178114    103 | 49.262 % |
541.44/541.81	c |    181058 |   31247   157482   427918 | 2147483647   179485    104 | 49.275 % |
547.44/547.87	c |    182600 |   31247   157482   427918 | 2147483647   181027    104 | 49.275 % |
554.13/554.56	c |    184298 |   31247   157482   427918 | 2147483647   182724    104 | 49.290 % |
561.32/561.73	c |    186164 |   31247   157482   427918 | 2147483647   184590    104 | 49.290 % |
561.73/562.20	c |    186267 |   31247   157482   427918 | 2147483647   184693    104 | 49.290 % |
562.23/562.61	c |    186377 |   31247   157482   427918 | 2147483647   184803    104 | 49.290 % |
562.63/563.04	c |    186500 |   31247   157482   427918 | 2147483647   184926    104 | 49.290 % |
563.53/563.90	c |    186633 |   31247   157482   427918 | 2147483647   185059    104 | 49.290 % |
563.93/564.33	c |    186779 |   31247   157482   427918 | 2147483647   185205    104 | 49.290 % |
564.53/564.96	c |    186941 |   31247   157482   427918 | 2147483647   185367    104 | 49.290 % |
565.13/565.60	c |    187118 |   31247   157482   427918 | 2147483647   185544    104 | 49.290 % |
565.73/566.19	c |    187311 |   31247   157482   427918 | 2147483647   185737    104 | 49.290 % |
566.43/566.90	c |    187523 |   31247   157482   427918 | 2147483647   185949    104 | 49.290 % |
567.63/568.06	c |    187756 |   31247   157482   427918 | 2147483647   186182    104 | 49.290 % |
568.93/569.35	c |    188012 |   31247   157482   427918 | 2147483647   186438    104 | 49.290 % |
570.23/570.62	c |    188297 |   31247   157482   427918 | 2147483647   186723    104 | 49.290 % |
571.82/572.25	c |    188606 |   31247   157482   427918 | 2147483647   187032    104 | 49.290 % |
573.42/573.84	c |    188945 |   31247   157482   427918 | 2147483647   187371    103 | 49.290 % |
575.12/575.57	c |    189320 |   31247   157482   427918 | 2147483647   187746    103 | 49.290 % |
577.52/577.91	c |    189729 |   31247   157482   427918 | 2147483647   188155    103 | 49.290 % |
580.22/580.60	c |    190179 |   31243   157482   427918 | 2147483647   188604    103 | 49.340 % |
582.22/582.62	c |    190673 |   31243   157482   427918 | 2147483647   189098    103 | 49.340 % |
584.12/584.51	c |    191216 |   31243   157482   427918 | 2147483647   189641    103 | 49.340 % |
586.12/586.58	c |    191812 |   31242   157482   427918 | 2147483647   190236    103 | 49.353 % |
588.71/589.12	c |    192467 |   31242   157482   427918 | 2147483647   190891    103 | 49.353 % |
590.71/591.14	c |    193189 |   31199   157162   427116 | 2147483647   191578    104 | 49.353 % |
593.11/593.57	c |    193981 |   31199   157162   427116 | 2147483647   192370    104 | 49.353 % |
596.11/596.50	c |    194852 |   31199   157162   427116 | 2147483647   193241    104 | 49.353 % |
600.21/600.62	c |    195814 |   31197   157162   427116 | 2147483647   194201    104 | 49.498 % |
603.51/603.94	c |    196869 |   31197   157162   427116 | 2147483647   195256    104 | 49.498 % |
607.81/608.25	c |    198028 |   31197   157162   427116 | 2147483647   196415    105 | 49.498 % |
612.70/613.14	c |    199302 |   31197   157162   427116 | 2147483647   197689    105 | 49.498 % |
619.60/620.09	c |    200707 |   31197   157162   427116 | 2147483647   199093    106 | 49.514 % |
626.30/626.73	c |    202248 |   31197   157162   427116 | 2147483647   200634    107 | 49.514 % |
633.80/634.24	c |    203945 |   31193   157162   427116 | 2147483647   202330    107 | 49.541 % |
642.49/642.96	c |    205809 |   31083   156402   425234 | 2147483647   204177    107 | 49.558 % |
649.58/650.08	c |    207858 |   31076   156402   425234 | 2147483647   206223    107 | 49.777 % |
649.98/650.49	c |    207959 |   31076   156402   425234 | 2147483647   206324    107 | 49.777 % |
650.68/651.18	c |    208072 |   31076   156402   425234 | 2147483647   206437    107 | 49.777 % |
651.08/651.53	c |    208195 |   31076   156402   425234 | 2147483647   206560    107 | 49.777 % |
651.68/652.16	c |    208330 |   31076   156402   425234 | 2147483647   206695    107 | 49.777 % |
652.38/652.84	c |    208476 |   31076   156402   425234 | 2147483647   206841    107 | 49.777 % |
653.08/653.51	c |    208637 |   31076   156402   425234 | 2147483647   207002    107 | 49.777 % |
653.68/654.10	c |    208813 |   31076   156402   425234 | 2147483647   207178    107 | 49.777 % |
654.27/654.74	c |    209006 |   31076   156402   425234 | 2147483647   207371    107 | 49.777 % |
654.88/655.36	c |    209220 |   31076   156402   425234 | 2147483647   207585    107 | 49.777 % |
655.78/656.20	c |    209454 |   31076   156402   425234 | 2147483647   207819    107 | 49.777 % |
656.78/657.24	c |    209710 |   31076   156402   425234 | 2147483647   208075    107 | 49.777 % |
658.39/658.83	c |    209992 |   31076   156402   425234 | 2147483647   208357    107 | 49.777 % |
660.48/660.93	c |    210301 |   31076   156402   425234 | 2147483647   208666    107 | 49.777 % |
662.38/662.87	c |    210646 |   31076   156402   425234 | 2147483647   209011    107 | 49.777 % |
664.28/664.72	c |    211026 |   31076   156402   425234 | 2147483647   209391    107 | 49.777 % |
666.37/666.90	c |    211436 |   31076   156402   425234 | 2147483647   209801    107 | 49.777 % |
668.77/669.28	c |    211887 |   31076   156402   425234 | 2147483647   210252    107 | 49.777 % |
671.58/672.09	c |    212381 |   31076   156402   425234 | 2147483647   210746    107 | 49.777 % |
674.87/675.37	c |    212923 |   31076   156402   425234 | 2147483647   211288    106 | 49.777 % |
678.77/679.22	c |    213520 |   31076   156402   425234 | 2147483647   211885    106 | 49.777 % |
681.27/681.74	c |    214175 |   31076   156402   425234 | 2147483647   212540    106 | 49.777 % |
684.26/684.70	c |    214895 |   31076   156402   425234 | 2147483647   213260    107 | 49.777 % |
688.16/688.66	c |    215687 |   30938   155511   422905 | 2147483647   214029    107 | 49.777 % |
692.36/692.84	c |    216559 |   30938   155511   422905 | 2147483647   214901    107 | 49.777 % |
695.86/696.40	c |    217518 |   30938   155511   422905 | 2147483647   215860    106 | 49.777 % |
700.66/701.12	c |    218571 |   30938   155511   422905 | 2147483647   216913    107 | 49.777 % |
705.26/705.77	c |    219729 |   30938   155511   422905 | 2147483647   218071    106 | 49.777 % |
710.36/710.80	c |    221004 |   30938   155511   422905 | 2147483647   219346    106 | 49.777 % |
717.35/717.83	c |    222406 |   30938   155511   422905 | 2147483647   220748    106 | 49.777 % |
724.15/724.66	c |    223948 |   30937   155511   422905 | 2147483647   222289    106 | 49.783 % |
731.14/731.60	c |    225645 |   30937   155511   422905 | 2147483647   223986    106 | 49.783 % |
739.94/740.47	c |    227508 |   30936   155511   422905 | 2147483647   225848    106 | 49.827 % |
749.34/749.89	c |    229557 |   30936   155511   422905 | 2147483647   227897    106 | 49.827 % |
759.54/760.05	c |    231812 |   30907   155331   422422 | 2147483647   230144    106 | 49.827 % |
760.13/760.61	c |    231916 |   30907   155331   422422 | 2147483647   230248    106 | 49.827 % |
760.53/761.10	c |    232028 |   30907   155331   422422 | 2147483647   230360    106 | 49.827 % |
761.13/761.69	c |    232149 |   30907   155331   422422 | 2147483647   230481    106 | 49.827 % |
761.73/762.24	c |    232283 |   30907   155331   422422 | 2147483647   230615    106 | 49.827 % |
762.83/763.38	c |    232432 |   30907   155331   422422 | 2147483647   230764    106 | 49.827 % |
763.83/764.31	c |    232593 |   30907   155331   422422 | 2147483647   230925    106 | 49.828 % |
764.73/765.22	c |    232769 |   30907   155331   422422 | 2147483647   231101    106 | 49.828 % |
765.93/766.44	c |    232964 |   30907   155331   422422 | 2147483647   231296    106 | 49.828 % |
767.23/767.77	c |    233177 |   30907   155331   422422 | 2147483647   231509    106 | 49.827 % |
768.63/769.12	c |    233410 |   30907   155331   422422 | 2147483647   231742    106 | 49.827 % |
769.92/770.45	c |    233669 |   30907   155331   422422 | 2147483647   232001    106 | 49.827 % |
771.22/771.71	c |    233955 |   30907   155331   422422 | 2147483647   232287    106 | 49.827 % |
772.52/773.00	c |    234265 |   30907   155331   422422 | 2147483647   232597    106 | 49.827 % |
774.62/775.19	c |    234608 |   30907   155331   422422 | 2147483647   232940    106 | 49.827 % |
776.12/776.61	c |    234981 |   30907   155331   422422 | 2147483647   233313    106 | 49.827 % |
777.92/778.48	c |    235392 |   30907   155331   422422 | 2147483647   233724    106 | 49.827 % |
779.92/780.49	c |    235841 |   30907   155331   422422 | 2147483647   234173    106 | 49.827 % |
781.72/782.20	c |    236334 |   30907   155331   422422 | 2147483647   234666    106 | 49.827 % |
783.32/783.87	c |    236882 |   30907   155331   422422 | 2147483647   235214    106 | 49.827 % |
785.32/785.84	c |    237480 |   30907   155331   422422 | 2147483647   235812    106 | 49.827 % |
788.42/788.99	c |    238136 |   30907   155331   422422 | 2147483647   236468    106 | 49.827 % |
791.31/791.86	c |    238856 |   30907   155331   422422 | 2147483647   237188    106 | 49.827 % |
794.72/795.27	c |    239648 |   30907   155331   422422 | 2147483647   237980    106 | 49.827 % |
798.01/798.53	c |    240519 |   30907   155331   422422 | 2147483647   238851    106 | 49.827 % |
802.02/802.55	c |    241477 |   30906   155331   422422 | 2147483647   239808    106 | 49.861 % |
806.51/807.02	c |    242531 |   30906   155331   422422 | 2147483647   240862    106 | 49.861 % |
812.11/812.67	c |    243689 |   30886   155178   422025 | 2147483647   242004    106 | 49.861 % |
817.61/818.11	c |    244964 |   30886   155178   422025 | 2147483647   243279    106 | 49.861 % |
824.10/824.65	c |    246364 |   30886   155178   422025 | 2147483647   244678    106 | 49.931 % |
833.00/833.60	c |    247905 |   30886   155178   422025 | 2147483647   246219    107 | 49.931 % |
842.59/843.12	c |    249600 |   30886   155178   422025 | 2147483647   247914    106 | 49.931 % |
850.19/850.72	c |    251463 |   30884   155178   422025 | 2147483647   249774    106 | 50.139 % |
857.79/858.33	c |    253518 |   30884   155178   422025 | 2147483647   251828    106 | 50.153 % |
867.89/868.49	c |    255773 |   30884   155178   422025 | 2147483647   254083    106 | 50.153 % |
879.18/879.74	c |    258251 |   30706   153951   419019 | 2147483647   256491    107 | 50.153 % |
879.68/880.21	c |    258351 |   30706   153951   419019 | 2147483647   256591    107 | 50.153 % |
880.08/880.64	c |    258464 |   30706   153951   419019 | 2147483647   256704    107 | 50.153 % |
880.58/881.12	c |    258587 |   30706   153951   419019 | 2147483647   256827    107 | 50.154 % |
881.38/881.92	c |    258722 |   30706   153951   419019 | 2147483647   256962    107 | 50.153 % |
881.98/882.59	c |    258868 |   30706   153951   419019 | 2147483647   257108    107 | 50.153 % |
882.78/883.37	c |    259031 |   30706   153951   419019 | 2147483647   257271    107 | 50.153 % |
884.28/884.81	c |    259209 |   30706   153951   419019 | 2147483647   257449    107 | 50.153 % |
885.17/885.78	c |    259407 |   30706   153951   419019 | 2147483647   257647    107 | 50.154 % |
886.87/887.42	c |    259620 |   30706   153951   419019 | 2147483647   257860    107 | 50.153 % |
888.07/888.68	c |    259854 |   30706   153951   419019 | 2147483647   258094    107 | 50.153 % |
889.57/890.15	c |    260110 |   30706   153951   419019 | 2147483647   258350    107 | 50.153 % |
890.77/891.35	c |    260391 |   30706   153951   419019 | 2147483647   258631    106 | 50.153 % |
892.58/893.18	c |    260702 |   30706   153951   419019 | 2147483647   258942    106 | 50.153 % |
894.07/894.69	c |    261041 |   30706   153951   419019 | 2147483647   259281    106 | 50.153 % |
896.47/897.07	c |    261414 |   30706   153951   419019 | 2147483647   259654    106 | 50.153 % |
898.77/899.33	c |    261824 |   30706   153951   419019 | 2147483647   260064    106 | 50.154 % |
901.37/901.93	c |    262273 |   30706   153951   419019 | 2147483647   260513    106 | 50.153 % |
904.47/905.06	c |    262767 |   30705   153951   419019 | 2147483647   261006    106 | 50.168 % |
907.97/908.50	c |    263310 |   30705   153951   419019 | 2147483647   261549    106 | 50.168 % |
911.56/912.18	c |    263908 |   30705   153951   419019 | 2147483647   262147    106 | 50.168 % |
915.06/915.69	c |    264567 |   30705   153951   419019 | 2147483647   262806    106 | 50.168 % |
919.76/920.31	c |    265287 |   30705   153951   419019 | 2147483647   263526    106 | 50.168 % |
922.75/923.34	c |    266083 |   30705   153951   419019 | 2147483647   264322    106 | 50.168 % |
927.45/928.07	c |    266954 |   30705   153951   419019 | 2147483647   265193    106 | 50.168 % |
932.85/933.48	c |    267912 |   30705   153951   419019 | 2147483647   266151    106 | 50.168 % |
938.25/938.83	c |    268968 |   30705   153951   419019 | 2147483647   267207    106 | 50.168 % |
943.95/944.51	c |    270127 |   30705   153951   419019 | 2147483647   268366    106 | 50.168 % |
949.64/950.25	c |    271400 |   30688   153826   418726 | 2147483647   269637    106 | 50.183 % |
957.25/957.89	c |    272801 |   30688   153826   418726 | 2147483647   271038    106 | 50.183 % |
963.84/964.44	c |    274341 |   30688   153826   418726 | 2147483647   272578    106 | 50.183 % |
973.74/974.33	c |    276040 |   30688   153826   418726 | 2147483647   274276    106 | 50.199 % |
983.73/984.34	c |    277903 |   30688   153826   418726 | 2147483647   276139    106 | 50.199 % |
994.03/994.60	c |    279955 |   30688   153826   418726 | 2147483647   278191    106 | 50.199 % |
1004.02/1004.68	c |    282208 |   30688   153826   418726 | 2147483647   280444    106 | 50.199 % |
1014.51/1015.14	c |    284686 |   30688   153826   418726 | 2147483647   282922    106 | 50.199 % |
1028.41/1029.02	c |    287412 |   30688   153826   418726 | 2147483647   285648    106 | 50.199 % |
1029.02/1029.65	c |    287514 |   30678   153761   418560 | 2147483647   285744    106 | 50.199 % |
1029.61/1030.24	c |    287624 |   30678   153761   418560 | 2147483647   285854    106 | 50.199 % |
1030.02/1030.70	c |    287746 |   30678   153761   418560 | 2147483647   285976    106 | 50.199 % |
1030.81/1031.47	c |    287879 |   30678   153761   418560 | 2147483647   286109    106 | 50.199 % |
1031.61/1032.20	c |    288027 |   30678   153761   418560 | 2147483647   286257    106 | 50.199 % |
1032.61/1033.24	c |    288187 |   30678   153761   418560 | 2147483647   286417    106 | 50.199 % |
1033.61/1034.29	c |    288365 |   30678   153761   418560 | 2147483647   286595    106 | 50.199 % |
1034.71/1035.30	c |    288560 |   30678   153761   418560 | 2147483647   286790    106 | 50.199 % |
1036.01/1036.66	c |    288774 |   30678   153761   418560 | 2147483647   287004    106 | 50.199 % |
1037.41/1038.04	c |    289010 |   30678   153761   418560 | 2147483647   287240    106 | 50.199 % |
1038.81/1039.48	c |    289270 |   30678   153761   418560 | 2147483647   287500    106 | 50.199 % |
1040.11/1040.71	c |    289552 |   30678   153761   418560 | 2147483647   287782    106 | 50.199 % |
1041.91/1042.58	c |    289863 |   30678   153761   418560 | 2147483647   288093    106 | 50.199 % |
1043.70/1044.33	c |    290208 |   30678   153761   418560 | 2147483647   288438    106 | 50.199 % |
1045.70/1046.38	c |    290581 |   30678   153761   418560 | 2147483647   288811    106 | 50.199 % |
1047.40/1048.07	c |    290990 |   30678   153761   418560 | 2147483647   289220    106 | 50.199 % |
1049.40/1050.04	c |    291441 |   30678   153761   418560 | 2147483647   289671    105 | 50.199 % |
1051.90/1052.53	c |    291936 |   30678   153761   418560 | 2147483647   290166    105 | 50.199 % |
1054.30/1054.98	c |    292478 |   30678   153761   418560 | 2147483647   290708    105 | 50.199 % |
1056.40/1057.04	c |    293076 |   30678   153761   418560 | 2147483647   291306    105 | 50.199 % |
1059.99/1060.65	c |    293736 |   30678   153761   418560 | 2147483647   291966    105 | 50.199 % |
1063.59/1064.30	c |    294456 |   30678   153761   418560 | 2147483647   292686    105 | 50.199 % |
1068.09/1068.72	c |    295248 |   30678   153761   418560 | 2147483647   293478    105 | 50.199 % |
1072.29/1072.97	c |    296120 |   30678   153761   418560 | 2147483647   294350    105 | 50.199 % |
1076.58/1077.23	c |    297082 |   30678   153761   418560 | 2147483647   295311    105 | 50.212 % |
1080.98/1081.69	c |    298135 |   30678   153761   418560 | 2147483647   296364    105 | 50.212 % |
1085.68/1086.37	c |    299294 |   30678   153761   418560 | 2147483647   297523    106 | 50.212 % |
1091.28/1092.00	c |    300567 |   30678   153761   418560 | 2147483647   298796    106 | 50.212 % |
1097.28/1097.92	c |    301968 |   30678   153761   418560 | 2147483647   300197    105 | 50.212 % |
1104.27/1104.90	c |    303510 |   30678   153761   418560 | 2147483647   301739    106 | 50.212 % |
1110.37/1111.05	c |    305204 |   30678   153761   418560 | 2147483647   303433    106 | 50.212 % |
1120.86/1121.60	c |    307068 |   30678   153761   418560 | 2147483647   305297    105 | 50.212 % |
1132.96/1133.65	c |    309118 |   30678   153761   418560 | 2147483647   307347    105 | 50.212 % |
1140.76/1141.45	c |    311371 |   30678   153761   418560 | 2147483647   309600    105 | 50.212 % |
1152.06/1152.78	c |    313849 |   30670   153700   418417 | 2147483647   312077    105 | 50.218 % |
1164.65/1165.34	c |    316574 |   30670   153700   418417 | 2147483647   314802    105 | 50.218 % |
1181.34/1182.02	c |    319571 |   30670   153700   418417 | 2147483647   317799    105 | 50.218 % |
1181.84/1182.58	c |    319676 |   30670   153700   418417 | 2147483647   317904    105 | 50.219 % |
1182.64/1183.36	c |    319786 |   30670   153700   418417 | 2147483647   318014    105 | 50.218 % |
1183.24/1183.90	c |    319910 |   30670   153700   418417 | 2147483647   318138    105 | 50.218 % |
1183.84/1184.59	c |    320044 |   30670   153700   418417 | 2147483647   318272    105 | 50.218 % |
1185.33/1186.02	c |    320191 |   30670   153700   418417 | 2147483647   318419    105 | 50.218 % |
1186.43/1187.12	c |    320352 |   30670   153700   418417 | 2147483647   318580    105 | 50.218 % |
1187.53/1188.24	c |    320530 |   30670   153700   418417 | 2147483647   318758    105 | 50.218 % |
1189.13/1189.88	c |    320723 |   30670   153700   418417 | 2147483647   318951    105 | 50.218 % |
1191.03/1191.76	c |    320935 |   30670   153700   418417 | 2147483647   319163    105 | 50.218 % |
1192.43/1193.11	c |    321168 |   30670   153700   418417 | 2147483647   319396    105 | 50.218 % |
1193.93/1194.69	c |    321425 |   30670   153700   418417 | 2147483647   319653    105 | 50.218 % |
1195.43/1196.17	c |    321706 |   30670   153700   418417 | 2147483647   319934    105 | 50.218 % |
1197.13/1197.84	c |    322015 |   30670   153700   418417 | 2147483647   320243    105 | 50.218 % |
1198.63/1199.31	c |    322356 |   30670   153700   418417 | 2147483647   320584    105 | 50.218 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 20749
/proc/meminfo: memFree=1951096/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=0
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304453128 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 266890608722 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/20749/statm: 1339 235 195 169 0 50 0
[pid=20750] ppid=20749 vsize=5356 CPUtime=0
/proc/20750/stat : 20750 (SatELiteGTI) R 20749 20749 20563 0 -1 4194368 53 188 0 0 0 0 0 0 20 0 1 0 304453128 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 0 4096 65538 0 0 0 17 0 0 0
/proc/20750/statm: 1339 238 198 169 0 50 0

[startup+0.0670829 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 20749
/proc/meminfo: memFree=1951096/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=0
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304453128 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102087 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 20749
/proc/meminfo: memFree=1951096/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=0
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304453128 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301125 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 20749
/proc/meminfo: memFree=1951096/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=0
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304453128 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701201 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 20749
/proc/meminfo: memFree=1951096/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=0
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304453128 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50234 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20754
/proc/meminfo: memFree=1854760/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=0
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304453128 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 237 197 169 0 50 0
[pid=20754] ppid=20749 vsize=110888 CPUtime=1.49
/proc/20754/stat : 20754 (SatELite_releas) R 20749 20749 20563 0 -1 4194304 28029 0 0 0 132 17 0 0 25 0 1 0 304453128 113549312 25420 1992294400 134512640 135223648 4294956128 18446744073709551615 134563552 0 0 4096 3 0 0 0 17 0 0 0
/proc/20754/statm: 27722 25420 76 173 0 27547 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116244

[startup+3.10173 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20754
/proc/meminfo: memFree=1842920/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=0
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304453128 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 237 197 169 0 50 0
[pid=20754] ppid=20749 vsize=116484 CPUtime=3.08
/proc/20754/stat : 20754 (SatELite_releas) R 20749 20749 20563 0 -1 4194304 29545 0 0 0 289 19 0 0 25 0 1 0 304453128 119279616 26773 1992294400 134512640 135223648 4294956128 18446744073709551615 134586814 0 0 4096 3 0 0 0 17 1 0 0
/proc/20754/statm: 29121 26773 76 173 0 28946 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 121840

[startup+6.30226 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20754
/proc/meminfo: memFree=1836648/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=0
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304453128 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 237 197 169 0 50 0
[pid=20754] ppid=20749 vsize=119256 CPUtime=6.27
/proc/20754/stat : 20754 (SatELite_releas) R 20749 20749 20563 0 -1 4194304 34550 0 0 0 605 22 0 0 25 0 1 0 304453128 122118144 27456 1992294400 134512640 135223648 4294956128 18446744073709551615 134587046 0 0 4096 3 0 0 0 17 0 0 0
/proc/20754/statm: 29814 27456 76 173 0 29639 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 124612

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1917480/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=22416 CPUtime=5.11
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 5167 0 0 0 508 3 0 0 25 0 1 0 304453884 22953984 5108 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20755/statm: 5604 5108 77 171 0 5431 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 27772

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1915624/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=24536 CPUtime=17.9
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 5685 0 0 0 1786 4 0 0 25 0 1 0 304453884 25124864 5626 1992294400 134512640 135215339 4294956240 18446744073709551615 134532615 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 6134 5626 77 171 0 5961 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 29892

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1910504/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=29552 CPUtime=43.48
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 6958 0 0 0 4342 6 0 0 25 0 1 0 304453884 30261248 6899 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 7388 6899 77 171 0 7215 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 34908

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1899048/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=40692 CPUtime=94.65
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 9746 0 0 0 9456 9 0 0 25 0 1 0 304453884 41668608 9687 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 10173 9687 77 171 0 10000 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 46048

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1888296/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=51688 CPUtime=154.61
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 12465 0 0 0 15449 12 0 0 25 0 1 0 304453884 52928512 12406 1992294400 134512640 135215339 4294956240 18446744073709551615 134525079 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 12922 12406 77 171 0 12749 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 57044

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1877288/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=62520 CPUtime=214.57
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 15165 0 0 0 21442 15 0 0 25 0 1 0 304453884 64020480 15106 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 15630 15106 77 171 0 15457 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 67876

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1869224/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=70632 CPUtime=274.55
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 17171 0 0 0 27438 17 0 0 25 0 1 0 304453884 72327168 17112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 17658 17112 77 171 0 17485 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 75988

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1861736/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=78116 CPUtime=334.51
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 19011 0 0 0 33432 19 0 0 25 0 1 0 304453884 79990784 18952 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 19529 18952 77 171 0 19356 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 83472

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1855144/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=84844 CPUtime=394.48
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 20631 0 0 0 39428 20 0 0 25 0 1 0 304453884 86880256 20572 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 21211 20572 77 171 0 21038 0
Current children cumulated CPU time (s) 402.02

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

/proc/20755/statm: 26650 25965 77 171 0 26477 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 111956

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1823272/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=116416 CPUtime=634.35
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 28467 0 0 0 63408 27 0 0 25 0 1 0 304453884 119209984 28408 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 29104 28408 77 171 0 28931 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 121772

[startup+702.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1817320/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=122676 CPUtime=694.32
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 29923 0 0 0 69403 29 0 0 25 0 1 0 304453884 125620224 29864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 30669 29864 77 171 0 30496 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 128032

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1811432/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=128476 CPUtime=754.29
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 31392 0 0 0 75399 30 0 0 25 0 1 0 304453884 131559424 31333 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 32119 31333 77 171 0 31946 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 133832

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1804776/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=134892 CPUtime=814.27
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 33013 0 0 0 81395 32 0 0 25 0 1 0 304453884 138129408 32954 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 33723 32954 77 171 0 33550 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 140248

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1798440/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=141168 CPUtime=874.24
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 34569 0 0 0 87390 34 0 0 25 0 1 0 304453884 144556032 34510 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 35292 34510 77 171 0 35119 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 146524

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1794088/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=145332 CPUtime=934.21
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 35653 0 0 0 93386 35 0 0 25 0 1 0 304453884 148819968 35594 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 36333 35594 77 171 0 36160 0
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (KiB) 150688

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1788008/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=151336 CPUtime=994.18
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 37123 0 0 0 99381 37 0 0 25 0 1 0 304453884 154968064 37064 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 37834 37064 77 171 0 37661 0
Current children cumulated CPU time (s) 1001.72
Current children cumulated vsize (KiB) 156692

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1783656/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=155700 CPUtime=1054.15
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 38219 0 0 0 105377 38 0 0 25 0 1 0 304453884 159436800 38160 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 38925 38160 77 171 0 38752 0
Current children cumulated CPU time (s) 1061.69
Current children cumulated vsize (KiB) 161056

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1777384/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=161780 CPUtime=1114.12
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 39735 0 0 0 111373 39 0 0 25 0 1 0 304453884 165662720 39676 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 40445 39676 77 171 0 40272 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 167136

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1772712/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=167268 CPUtime=1174.1
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 40932 0 0 0 117369 41 0 0 25 0 1 0 304453884 171282432 40873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 41817 40873 77 171 0 41644 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 172624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1771496/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=168264 CPUtime=1192.49
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 41185 0 0 0 119208 41 0 0 25 0 1 0 304453884 172302336 41126 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 42066 41126 77 171 0 41893 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 173620

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 20755
/proc/meminfo: memFree=1771496/2055920 swapFree=4177156/4192956
[pid=20749] ppid=20747 vsize=5356 CPUtime=7.54
/proc/20749/stat : 20749 (SatELiteGTI) S 20747 20749 20563 0 -1 4194304 336 43298 0 0 0 0 724 30 16 0 1 0 304453128 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20749/statm: 1339 239 197 169 0 50 0
[pid=20755] ppid=20749 vsize=168264 CPUtime=1192.49
/proc/20755/stat : 20755 (minisat_static) R 20749 20749 20563 0 -1 4194304 41185 0 0 0 119208 41 0 0 25 0 1 0 304453884 172302336 41126 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20755/statm: 42066 41126 77 171 0 41893 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 173620

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20749 and gives
#  childrusage.ru_utime.tv_sec=7
#  childrusage.ru_utime.tv_usec=241899
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=304953
# CPU time returned by wait4() is 7.54685
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.71
CPU time (s): 1200.03
CPU user time (s): 1199.32
CPU system time (s): 0.71
CPU usage (%): 99.9432
Max. virtual memory (cumulated for all children) (KiB): 173620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.2419
system time used= 0.304953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43634
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= 15
involuntary context switches= 42

runsolver used 0.975851 second user time and 3.46847 second system time

The end

Launcher Data 

Begin job on node38 at 2009-05-19 22:17:27
IDJOB=1831995
IDBENCH=20342
IDSOLVER=671
FILE ID=node38/1831995-1242764245
PBS_JOBID= 9322260
Free space on /tmp= 66256 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/medium-unsat/total-10-13-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831995-1242764245/watcher-1831995-1242764245 -o /tmp/evaluation-result-1831995-1242764245/solver-1831995-1242764245 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1831995-1242764245.cnf

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

MD5SUM BENCH= a443b9e3a7093c1d9a47b42016a65c52
RANDOM SEED=2142250723

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1951576 kB
Buffers:         12496 kB
Cached:          51936 kB
SwapCached:       9960 kB
Active:          42088 kB
Inactive:        34896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1951576 kB
SwapTotal:     4192956 kB
SwapFree:      4177156 kB
Dirty:           19712 kB
Writeback:           0 kB
Mapped:          14016 kB
Slab:            13392 kB
Committed_AS:  1075868 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66244 MiB
End job on node38 at 2009-05-19 22:37:29