Trace number 1832029

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.04 1200.71

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
MD5SUM3be331331884289c55e55acdeed55dc7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables208002
Number of clauses986543
Sum of the clauses size2288164
Maximum clause length10
Minimum clause length1
Number of clauses of size 117318
Number of clauses of size 2753529
Number of clauses of size 3176796
Number of clauses of size 44320
Number of clauses of size 517280
Number of clauses of size over 517300

Solver Data 

0.00/0.00	c Parsing...
0.00/0.75	c ==============================================================================
0.00/0.75	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.75	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.75	c ==============================================================================
0.00/0.75	c |         0 |  969225  2270846 |  290767       0        0     nan |  0.000 % |
6.67/6.73	c |         0 |  424864  1140718 |      --       0       --      -- |     --   | -338304/-664362
6.67/6.74	c ==============================================================================
6.67/6.74	c Result  :   #vars: 68615   #clauses: 424864   #literals: 1140718
6.67/6.74	c CPU time:   6.46602 s
6.67/6.74	c ==============================================================================
7.05/7.19	c This is MiniSat 2.0 beta
7.05/7.19	c WARNING: for repeatability, setting FPU to use double precision
7.05/7.19	c ============================[ Problem Statistics ]=============================
7.05/7.19	c |                                                                             |
7.05/7.19	c |  Number of variables:  68615                                                |
7.05/7.19	c |  Number of clauses:    424864                                               |
7.14/7.46	c |  Parsing time:         0.24         s                                       |
7.14/7.48	c ============================[ Search Statistics ]==============================
7.14/7.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.14/7.48	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.14/7.48	c ===============================================================================
7.14/7.48	c |         0 |   68615   424864  1140718 |   141621        0    nan |  0.000 % |
7.64/7.72	c |       101 |   68460   424864  1140718 |   141621       88     26 |  9.192 % |
7.73/7.88	c |       201 |   68070   424864  1140718 |   141621      183     36 | 16.174 % |
7.93/8.01	c |       301 |   67987   424864  1140718 |   141621      282     36 | 16.456 % |
8.13/8.27	c |       411 |   54523   332554   912566 |   141621      358     35 | 20.853 % |
8.43/8.52	c |       511 |   54223   332554   912566 |   141621      452     33 | 25.471 % |
8.53/8.64	c |       621 |   54120   332554   912566 |   141621      560     33 | 26.309 % |
8.73/8.86	c |       742 |   42589   249777   701316 |   141621      634     32 | 38.378 % |
9.03/9.10	c |       842 |   42562   249777   701316 |   141621      731     33 | 38.537 % |
9.23/9.31	c |       953 |   42562   249777   701316 |   141621      842     39 | 38.537 % |
9.53/9.61	c |      1075 |   42172   246989   693754 |   141621      960     42 | 38.579 % |
9.73/9.81	c |      1209 |   42053   246989   693754 |   141621     1090     40 | 51.607 % |
9.93/10.09	c |      1310 |   33202   184347   526316 |   141621     1070     41 | 52.002 % |
10.33/10.45	c |      1420 |   32766   181613   518817 |   141621     1168     41 | 60.637 % |
10.43/10.56	c |      1541 |   32760   181613   518817 |   141621     1286     39 | 60.695 % |
10.73/10.84	c |      1674 |   26910   146032   419426 |   141621     1256     38 | 65.239 % |
10.93/11.05	c |      1820 |   23772   125507   363027 |   141621     1383     37 | 65.355 % |
11.13/11.28	c |      1920 |   22626   118433   343790 |   141621     1465     36 | 68.144 % |
11.33/11.40	c |      2031 |   22622   118433   343790 |   141621     1575     35 | 68.157 % |
11.43/11.52	c |      2153 |   22622   118433   343790 |   141621     1697     35 | 68.157 % |
11.63/11.76	c |      2286 |   21847   113840   329873 |   141621     1798     37 | 68.367 % |
11.83/11.94	c |      2432 |   20749   105787   305466 |   141621     1904     36 | 69.760 % |
12.03/12.16	c |      2592 |   20748   105787   305466 |   141621     2063     36 | 69.778 % |
12.13/12.25	c |      2692 |   20736   105694   305213 |   141621     2160     36 | 70.651 % |
12.33/12.41	c |      2802 |   20736   105694   305213 |   141621     2270     36 | 70.651 % |
12.43/12.57	c |      2924 |   20138   102098   294931 |   141621     2386     36 | 70.745 % |
12.63/12.73	c |      3059 |   20138   102098   294931 |   141621     2521     36 | 70.745 % |
12.73/12.84	c |      3206 |   20073   100749   291093 |   141621     2668     37 | 70.745 % |
12.83/12.98	c |      3366 |   20073   100749   291093 |   141621     2828     37 | 70.745 % |
13.13/13.27	c |      3542 |   20060   100648   290804 |   141621     3003     36 | 70.764 % |
13.23/13.36	c |      3642 |   20060   100648   290804 |   141621     3101     36 | 71.416 % |
13.43/13.52	c |      3752 |   20060   100648   290804 |   141621     3211     36 | 71.416 % |
13.63/13.75	c |      3873 |   19613    98397   284192 |   141621     3331     36 | 71.416 % |
13.73/13.89	c |      4007 |   19599    98329   283995 |   141621     3463     35 | 71.436 % |
13.83/13.99	c |      4153 |   19595    98329   283995 |   141621     3607     35 | 71.470 % |
14.03/14.10	c |      4313 |   19595    98329   283995 |   141621     3766     35 | 71.487 % |
14.13/14.21	c |      4489 |   19564    98079   283321 |   141621     3939     36 | 71.487 % |
14.33/14.45	c |      4685 |   19564    98079   283321 |   141621     4135     36 | 71.487 % |
14.53/14.69	c |      4785 |   19551    98003   283096 |   141621     4232     36 | 71.506 % |
14.63/14.77	c |      4895 |   19551    98003   283096 |   141621     4342     36 | 71.506 % |
14.83/14.91	c |      5016 |   19551    98003   283096 |   141621     4463     35 | 71.506 % |
14.83/14.97	c |      5149 |   19551    98003   283096 |   141621     4596     35 | 71.506 % |
15.02/15.13	c |      5295 |   19551    98003   283096 |   141621     4742     35 | 71.506 % |
15.23/15.30	c |      5456 |   19551    98003   283096 |   141621     4903     34 | 71.506 % |
15.33/15.47	c |      5634 |   19524    97831   282593 |   141621     5074     34 | 71.546 % |
15.52/15.62	c |      5828 |   19524    97831   282593 |   141621     5268     34 | 71.546 % |
15.72/15.81	c |      6040 |   19524    97831   282593 |   141621     5480     34 | 71.546 % |
15.82/15.90	c |      6140 |   19524    97831   282593 |   141621     5580     34 | 71.546 % |
15.92/16.04	c |      6250 |   19524    97831   282593 |   141621     5690     33 | 71.546 % |
16.02/16.17	c |      6373 |   19524    97831   282593 |   141621     5813     33 | 71.546 % |
16.22/16.34	c |      6511 |   19524    97831   282593 |   141621     5951     33 | 71.546 % |
16.43/16.56	c |      6658 |   18976    95956   277513 |   141621     6089     33 | 72.344 % |
16.62/16.75	c |      6819 |   18976    95956   277513 |   141621     6249     34 | 72.362 % |
16.82/16.99	c |      6999 |   18972    95956   277513 |   141621     6428     34 | 72.385 % |
17.12/17.22	c |      7192 |   18946    95768   276988 |   141621     6619     34 | 72.414 % |
17.43/17.50	c |      7407 |   18946    95768   276988 |   141621     6834     34 | 72.414 % |
17.62/17.73	c |      7640 |   18928    95596   276525 |   141621     7064     34 | 72.414 % |
17.72/17.86	c |      7743 |   18928    95596   276525 |   141621     7167     34 | 72.414 % |
17.82/17.99	c |      7854 |   18922    95529   276342 |   141621     7277     34 | 72.423 % |
17.92/18.09	c |      7976 |   18922    95529   276342 |   141621     7399     34 | 72.423 % |
18.12/18.22	c |      8109 |   18922    95529   276342 |   141621     7532     34 | 72.423 % |
18.22/18.33	c |      8258 |   18922    95529   276342 |   141621     7681     33 | 72.423 % |
18.32/18.48	c |      8419 |   18922    95529   276342 |   141621     7842     33 | 72.423 % |
18.53/18.65	c |      8597 |   18922    95529   276342 |   141621     8020     33 | 72.423 % |
18.72/18.87	c |      8790 |   18922    95529   276342 |   141621     8213     33 | 72.423 % |
19.02/19.10	c |      9003 |   18922    95529   276342 |   141621     8426     33 | 72.423 % |
19.22/19.30	c |      9236 |   18922    95529   276342 |   141621     8659     33 | 72.423 % |
19.52/19.60	c |      9492 |   18911    95442   276103 |   141621     8913     33 | 72.481 % |
19.63/19.70	c |      9594 |   18911    95442   276103 |   141621     9015     33 | 72.481 % |
19.73/19.81	c |      9704 |   18911    95442   276103 |   141621     9125     33 | 72.481 % |
19.82/19.94	c |      9826 |   18911    95442   276103 |   141621     9247     33 | 72.481 % |
20.12/20.26	c |      9962 |   18882    95230   275517 |   141621     9382     33 | 72.481 % |
20.32/20.43	c |     10111 |   18882    95230   275517 | 2147483647     9531     33 | 72.481 % |
20.52/20.67	c |     10271 |   18882    95230   275517 | 2147483647     9691     33 | 72.481 % |
20.73/20.86	c |     10448 |   18868    95111   275198 | 2147483647     9867     33 | 72.502 % |
21.02/21.16	c |     10643 |   18855    95026   274964 | 2147483647    10059     34 | 72.521 % |
21.22/21.37	c |     10858 |   18855    95026   274964 | 2147483647    10273     34 | 72.897 % |
21.42/21.52	c |     11091 |   18855    95026   274964 | 2147483647    10506     34 | 72.897 % |
21.52/21.66	c |     11347 |   18855    95026   274964 | 2147483647    10762     34 | 72.897 % |
21.93/22.04	c |     11630 |   18592    93795   271211 | 2147483647    11032     34 | 73.012 % |
22.02/22.15	c |     11730 |   18592    93795   271211 | 2147483647    11132     34 | 73.012 % |
22.12/22.28	c |     11842 |   18518    93337   269965 | 2147483647    11236     34 | 73.012 % |
22.32/22.44	c |     11964 |   18518    93337   269965 | 2147483647    11358     34 | 73.012 % |
22.52/22.64	c |     12100 |   18518    93337   269965 | 2147483647    11493     34 | 73.058 % |
22.72/22.86	c |     12246 |   18485    93271   269747 | 2147483647    11638     34 | 73.076 % |
22.93/23.05	c |     12406 |   18484    93271   269747 | 2147483647    11797     34 | 73.093 % |
23.12/23.27	c |     12583 |   18483    93271   269747 | 2147483647    11973     35 | 73.109 % |
23.32/23.41	c |     12776 |   18451    93024   269093 | 2147483647    12166     35 | 73.109 % |
23.42/23.58	c |     12989 |   18451    93024   269093 | 2147483647    12379     35 | 73.109 % |
23.62/23.78	c |     13222 |   18451    93024   269093 | 2147483647    12612     35 | 73.109 % |
23.92/24.09	c |     13479 |   18450    93019   269080 | 2147483647    12866     35 | 73.111 % |
24.22/24.37	c |     13760 |   18450    93019   269080 | 2147483647    13147     35 | 73.111 % |
24.72/24.81	c |     14070 |   18450    93019   269080 | 2147483647    13457     35 | 73.111 % |
24.82/24.90	c |     14171 |   18450    93019   269080 | 2147483647    13558     35 | 73.111 % |
24.92/25.03	c |     14281 |   18450    93019   269080 | 2147483647    13668     35 | 73.111 % |
25.02/25.14	c |     14402 |   18421    92817   268524 | 2147483647    13782     35 | 73.153 % |
25.12/25.25	c |     14535 |   18421    92817   268524 | 2147483647    13915     35 | 73.153 % |
25.22/25.39	c |     14686 |   18421    92817   268524 | 2147483647    14066     35 | 73.153 % |
25.62/25.70	c |     14851 |   18421    92817   268524 | 2147483647    14231     35 | 73.153 % |
25.82/25.98	c |     15028 |   18411    92737   268302 | 2147483647    14407     35 | 73.168 % |
26.12/26.25	c |     15221 |   18411    92737   268302 | 2147483647    14600     35 | 73.168 % |
26.32/26.48	c |     15433 |   18411    92737   268302 | 2147483647    14812     35 | 73.168 % |
26.62/26.74	c |     15667 |   18401    92676   268136 | 2147483647    15043     35 | 73.746 % |
26.91/27.01	c |     15924 |   18401    92676   268136 | 2147483647    15300     35 | 73.746 % |
27.21/27.31	c |     16206 |   18401    92676   268136 | 2147483647    15582     35 | 73.746 % |
27.51/27.66	c |     16516 |   18014    90687   262644 | 2147483647    15882     35 | 73.746 % |
27.91/28.00	c |     16855 |   18014    90687   262644 | 2147483647    16221     35 | 73.746 % |
28.01/28.12	c |     16955 |   18014    90687   262644 | 2147483647    16321     35 | 73.746 % |
28.11/28.25	c |     17065 |   18014    90687   262644 | 2147483647    16431     35 | 73.746 % |
28.21/28.35	c |     17186 |   18014    90687   262644 | 2147483647    16552     35 | 73.746 % |
28.31/28.46	c |     17319 |   18014    90687   262644 | 2147483647    16685     35 | 73.746 % |
28.42/28.60	c |     17466 |   18014    90687   262644 | 2147483647    16832     35 | 73.746 % |
28.61/28.76	c |     17628 |   18014    90687   262644 | 2147483647    16994     35 | 73.746 % |
28.81/28.93	c |     17805 |   18014    90687   262644 | 2147483647    17171     35 | 73.746 % |
29.01/29.13	c |     17998 |   18014    90687   262644 | 2147483647    17364     35 | 73.746 % |
29.21/29.36	c |     18211 |   17844    89973   260477 | 2147483647    17542     35 | 73.994 % |
29.52/29.62	c |     18446 |   17844    89973   260477 | 2147483647    17777     35 | 73.994 % |
29.71/29.87	c |     18702 |   17844    89973   260477 | 2147483647    18033     35 | 73.994 % |
30.11/30.25	c |     18984 |   17844    89973   260477 | 2147483647    18315     35 | 73.994 % |
30.41/30.57	c |     19293 |   17844    89973   260477 | 2147483647    18624     35 | 73.994 % |
30.72/30.87	c |     19632 |   17829    89865   260173 | 2147483647    18962     35 | 74.016 % |
31.22/31.32	c |     20004 |   17828    89865   260173 | 2147483647    19333     35 | 74.023 % |
31.32/31.42	c |     20105 |   17824    89834   260109 | 2147483647    19419     35 | 74.023 % |
31.42/31.52	c |     20216 |   17824    89834   260109 | 2147483647    19530     35 | 74.023 % |
31.52/31.62	c |     20337 |   17824    89834   260109 | 2147483647    19651     35 | 74.023 % |
31.62/31.76	c |     20470 |   17824    89834   260109 | 2147483647    19784     35 | 74.023 % |
31.81/31.94	c |     20616 |   17824    89834   260109 | 2147483647    19930     35 | 74.023 % |
32.01/32.13	c |     20777 |   17824    89834   260109 | 2147483647    20091     35 | 74.023 % |
32.21/32.36	c |     20953 |   17824    89834   260109 | 2147483647    20267     35 | 74.023 % |
32.41/32.55	c |     21146 |   17824    89834   260109 | 2147483647    20460     35 | 74.023 % |
32.71/32.82	c |     21358 |   17824    89834   260109 | 2147483647    20672     35 | 74.023 % |
32.91/33.03	c |     21593 |   17824    89834   260109 | 2147483647    20907     35 | 74.023 % |
33.21/33.30	c |     21850 |   17824    89834   260109 | 2147483647    21164     35 | 74.023 % |
33.51/33.61	c |     22131 |   17824    89834   260109 | 2147483647    21445     35 | 74.023 % |
33.81/33.94	c |     22441 |   17824    89834   260109 | 2147483647    21755     35 | 74.023 % |
34.31/34.40	c |     22781 |   17823    89830   260099 | 2147483647    22094     35 | 74.025 % |
34.71/34.89	c |     23153 |   17822    89830   260099 | 2147483647    22465     36 | 74.039 % |
35.11/35.27	c |     23562 |   17822    89830   260099 | 2147483647    22874     35 | 74.039 % |
35.21/35.38	c |     23662 |   17813    89769   259932 | 2147483647    22973     36 | 74.039 % |
35.41/35.52	c |     23772 |   17813    89769   259932 | 2147483647    23083     35 | 74.039 % |
35.51/35.68	c |     23893 |   17813    89769   259932 | 2147483647    23203     36 | 74.689 % |
35.71/35.84	c |     24027 |   17813    89769   259932 | 2147483647    23337     35 | 74.689 % |
35.81/35.99	c |     24173 |   17813    89769   259932 | 2147483647    23483     35 | 74.689 % |
36.01/36.17	c |     24334 |   17812    89769   259932 | 2147483647    23643     35 | 74.710 % |
36.21/36.37	c |     24511 |   17812    89769   259932 | 2147483647    23819     36 | 74.727 % |
36.41/36.58	c |     24705 |   17341    86523   251441 | 2147483647    24012     36 | 74.727 % |
36.71/36.83	c |     24917 |   17341    86523   251441 | 2147483647    24224     36 | 74.727 % |
36.91/37.08	c |     25151 |   17341    86523   251441 | 2147483647    24458     35 | 74.727 % |
37.21/37.36	c |     25408 |   17341    86523   251441 | 2147483647    24715     36 | 74.727 % |
37.60/37.70	c |     25689 |   17341    86523   251441 | 2147483647    24996     36 | 74.727 % |
37.90/38.09	c |     26000 |   17341    86523   251441 | 2147483647    25307     36 | 74.727 % |
38.20/38.36	c |     26341 |   17341    86523   251441 | 2147483647    25648     36 | 74.727 % |
38.70/38.86	c |     26714 |   17341    86523   251441 | 2147483647    26021     36 | 74.727 % |
39.00/39.19	c |     27123 |   17341    86523   251441 | 2147483647    26430     36 | 74.727 % |
39.71/39.81	c |     27573 |   17285    86148   250410 | 2147483647    26879     36 | 74.809 % |
39.81/39.90	c |     27673 |   17285    86148   250410 | 2147483647    26979     36 | 74.809 % |
39.90/40.06	c |     27784 |   17285    86148   250410 | 2147483647    27090     36 | 74.809 % |
40.10/40.25	c |     27905 |   17285    86148   250410 | 2147483647    27211     36 | 74.809 % |
40.30/40.41	c |     28040 |   17285    86148   250410 | 2147483647    27346     36 | 74.809 % |
40.40/40.56	c |     28187 |   17284    86148   250410 | 2147483647    27492     36 | 76.021 % |
40.61/40.71	c |     28347 |   17284    86148   250410 | 2147483647    27652     36 | 76.021 % |
40.70/40.87	c |     28523 |   17284    86148   250410 | 2147483647    27828     36 | 76.021 % |
40.90/41.06	c |     28716 |   16452    81614   236646 | 2147483647    27976     36 | 76.132 % |
41.10/41.26	c |     28928 |   16452    81614   236646 | 2147483647    28188     36 | 76.132 % |
41.30/41.46	c |     29162 |   16452    81614   236646 | 2147483647    28422     36 | 76.132 % |
41.60/41.72	c |     29418 |   16452    81614   236646 | 2147483647    28677     36 | 76.134 % |
41.90/42.01	c |     29700 |   16452    81614   236646 | 2147483647    28959     36 | 76.133 % |
42.20/42.32	c |     30010 |   16376    81454   236122 | 2147483647    29268     36 | 76.134 % |
42.50/42.64	c |     30350 |   16376    81454   236122 | 2147483647    29608     36 | 76.134 % |
42.80/42.96	c |     30722 |   16376    81454   236122 | 2147483647    29980     36 | 76.133 % |
43.19/43.39	c |     31133 |   16376    81454   236122 | 2147483647    30391     36 | 76.133 % |
43.90/44.00	c |     31584 |   16376    81454   236122 | 2147483647    30842     36 | 76.134 % |
44.29/44.41	c |     32079 |   16376    81454   236122 | 2147483647    31337     36 | 76.133 % |
44.39/44.53	c |     32179 |   16376    81454   236122 | 2147483647    31437     36 | 76.134 % |
44.49/44.66	c |     32289 |   16376    81454   236122 | 2147483647    31547     36 | 76.134 % |
44.69/44.86	c |     32410 |   16342    81302   235651 | 2147483647    31663     36 | 76.183 % |
44.90/45.01	c |     32544 |   16342    81302   235651 | 2147483647    31797     36 | 76.183 % |
45.00/45.18	c |     32690 |   16341    81302   235651 | 2147483647    31942     36 | 76.201 % |
45.19/45.38	c |     32850 |   16341    81302   235651 | 2147483647    32102     36 | 76.201 % |
45.39/45.57	c |     33026 |   16341    81302   235651 | 2147483647    32278     36 | 76.201 % |
45.59/45.74	c |     33219 |   16341    81302   235651 | 2147483647    32471     36 | 76.201 % |
45.89/46.06	c |     33432 |   16341    81302   235651 | 2147483647    32684     36 | 76.201 % |
46.19/46.39	c |     33665 |   16341    81302   235651 | 2147483647    32917     36 | 76.201 % |
46.59/46.79	c |     33921 |   16330    81210   235407 | 2147483647    33170     36 | 76.201 % |
46.89/47.10	c |     34203 |   16330    81210   235407 | 2147483647    33452     36 | 76.201 % |
47.39/47.57	c |     34512 |   16330    81210   235407 | 2147483647    33761     36 | 76.201 % |
47.79/47.94	c |     34852 |   16330    81210   235407 | 2147483647    34101     36 | 76.201 % |
48.29/48.41	c |     35226 |   16330    81210   235407 | 2147483647    34475     36 | 76.201 % |
48.69/48.87	c |     35637 |   16330    81210   235407 | 2147483647    34886     36 | 76.201 % |
49.29/49.48	c |     36091 |   16329    81205   235394 | 2147483647    35338     36 | 76.202 % |
49.79/49.99	c |     36584 |   16329    81205   235394 | 2147483647    35831     36 | 76.202 % |
50.29/50.40	c |     37126 |   16329    81205   235394 | 2147483647    36373     36 | 76.202 % |
50.39/50.52	c |     37226 |   16329    81205   235394 | 2147483647    36473     36 | 76.202 % |
50.49/50.61	c |     37338 |   16329    81205   235394 | 2147483647    36585     36 | 76.202 % |
50.59/50.74	c |     37460 |   16329    81205   235394 | 2147483647    36707     36 | 76.202 % |
50.79/50.92	c |     37593 |   16329    81205   235394 | 2147483647    36840     36 | 76.202 % |
50.89/51.09	c |     37739 |   16329    81205   235394 | 2147483647    36986     36 | 76.202 % |
51.10/51.29	c |     37901 |   16329    81205   235394 | 2147483647    37148     36 | 76.202 % |
51.40/51.54	c |     38080 |   16329    81205   235394 | 2147483647    37327     36 | 76.202 % |
51.60/51.75	c |     38274 |   16328    81200   235381 | 2147483647    37518     36 | 76.203 % |
51.90/52.06	c |     38488 |   16328    81200   235381 | 2147483647    37732     36 | 76.203 % |
52.20/52.36	c |     38721 |   16328    81200   235381 | 2147483647    37965     36 | 76.203 % |
52.50/52.65	c |     38978 |   16328    81200   235381 | 2147483647    38222     36 | 76.203 % |
52.80/52.97	c |     39260 |   16328    81200   235381 | 2147483647    38504     36 | 76.203 % |
53.20/53.34	c |     39570 |   16328    81200   235381 | 2147483647    38814     36 | 76.203 % |
53.59/53.71	c |     39910 |   16328    81200   235381 | 2147483647    39154     36 | 76.203 % |
54.09/54.28	c |     40284 |   16316    81104   235124 | 2147483647    39527     36 | 76.221 % |
54.69/54.88	c |     40693 |   16315    81104   235124 | 2147483647    39935     36 | 76.244 % |
55.29/55.41	c |     41142 |   16315    81104   235124 | 2147483647    40384     36 | 76.244 % |
55.69/55.89	c |     41635 |   16315    81104   235124 | 2147483647    40877     36 | 76.244 % |
56.29/56.42	c |     42177 |   16300    81010   234844 | 2147483647    41414     36 | 76.244 % |
57.10/57.28	c |     42773 |   16300    81010   234844 | 2147483647    42009     36 | 76.253 % |
57.19/57.39	c |     42874 |   16300    81010   234844 | 2147483647    42110     36 | 76.253 % |
57.29/57.49	c |     42985 |   16300    81010   234844 | 2147483647    42221     36 | 76.253 % |
57.49/57.64	c |     43106 |   16294    80943   234666 | 2147483647    42341     36 | 76.276 % |
57.69/57.84	c |     43239 |   16294    80943   234666 | 2147483647    42474     36 | 76.276 % |
57.99/58.12	c |     43386 |   16294    80943   234666 | 2147483647    42620     36 | 76.311 % |
58.20/58.33	c |     43548 |   16294    80943   234666 | 2147483647    42782     36 | 76.311 % |
58.39/58.54	c |     43724 |   16294    80943   234666 | 2147483647    42958     36 | 76.311 % |
58.59/58.78	c |     43918 |   16294    80943   234666 | 2147483647    43152     36 | 76.311 % |
58.79/59.00	c |     44130 |   16294    80943   234666 | 2147483647    43364     36 | 76.311 % |
59.20/59.31	c |     44365 |   16294    80943   234666 | 2147483647    43599     36 | 76.311 % |
59.49/59.64	c |     44622 |   16254    80781   234128 | 2147483647    43855     36 | 76.311 % |
59.79/59.93	c |     44903 |   16254    80781   234128 | 2147483647    44136     36 | 76.311 % |
60.09/60.22	c |     45213 |   16254    80781   234128 | 2147483647    44446     36 | 76.311 % |
60.39/60.57	c |     45553 |   16254    80781   234128 | 2147483647    44786     36 | 76.311 % |
60.79/60.97	c |     45925 |   16254    80781   234128 | 2147483647    45158     36 | 76.311 % |
61.29/61.42	c |     46334 |   16254    80781   234128 | 2147483647    45567     36 | 76.311 % |
61.89/62.08	c |     46784 |   16254    80781   234128 | 2147483647    46017     36 | 76.311 % |
62.49/62.67	c |     47277 |   16254    80781   234128 | 2147483647    46510     36 | 76.311 % |
63.29/63.45	c |     47819 |   16254    80781   234128 | 2147483647    47052     36 | 76.311 % |
64.29/64.47	c |     48415 |   15796    77522   225559 | 2147483647    47646     36 | 76.979 % |
65.19/65.33	c |     49070 |   15796    77522   225559 | 2147483647    48300     36 | 76.998 % |
65.29/65.45	c |     49171 |   15796    77522   225559 | 2147483647    48401     36 | 76.998 % |
65.49/65.64	c |     49281 |   15796    77522   225559 | 2147483647    48511     36 | 76.998 % |
65.59/65.78	c |     49404 |   15796    77522   225559 | 2147483647    48634     36 | 76.998 % |
65.79/65.98	c |     49537 |   15796    77522   225559 | 2147483647    48767     36 | 76.998 % |
65.99/66.16	c |     49684 |   15796    77522   225559 | 2147483647    48914     36 | 76.998 % |
66.19/66.36	c |     49844 |   15796    77522   225559 | 2147483647    49074     36 | 76.998 % |
66.29/66.49	c |     50022 |   15796    77522   225559 | 2147483647    49252     36 | 76.998 % |
66.58/66.74	c |     50216 |   15783    77446   225352 | 2147483647    49443     36 | 76.998 % |
66.99/67.10	c |     50429 |   15783    77446   225352 | 2147483647    49656     36 | 76.998 % |
67.28/67.46	c |     50663 |   15783    77446   225352 | 2147483647    49890     36 | 76.998 % |
67.58/67.76	c |     50920 |   15783    77446   225352 | 2147483647    50147     36 | 76.998 % |
67.98/68.11	c |     51201 |   15783    77446   225352 | 2147483647    50428     36 | 76.998 % |
68.38/68.55	c |     51510 |   15783    77446   225352 | 2147483647    50737     36 | 76.998 % |
68.68/68.82	c |     51849 |   15783    77446   225352 | 2147483647    51076     36 | 76.998 % |
69.18/69.31	c |     52221 |   15783    77446   225352 | 2147483647    51448     36 | 76.998 % |
69.68/69.86	c |     52634 |   15783    77446   225352 | 2147483647    51861     36 | 76.998 % |
70.38/70.58	c |     53083 |   15783    77446   225352 | 2147483647    52310     36 | 76.998 % |
70.97/71.11	c |     53578 |   15783    77446   225352 | 2147483647    52805     36 | 76.998 % |
71.67/71.86	c |     54124 |   15783    77446   225352 | 2147483647    53351     36 | 76.998 % |
72.27/72.49	c |     54721 |   15783    77446   225352 | 2147483647    53948     36 | 76.998 % |
73.07/73.21	c |     55376 |   15783    77446   225352 | 2147483647    54603     36 | 76.998 % |
73.87/74.04	c |     56096 |   15754    77279   224913 | 2147483647    55315     36 | 77.040 % |
73.97/74.18	c |     56196 |   15754    77279   224913 | 2147483647    55415     36 | 77.040 % |
74.17/74.36	c |     56306 |   15754    77279   224913 | 2147483647    55525     36 | 77.040 % |
74.37/74.53	c |     56427 |   15754    77279   224913 | 2147483647    55646     36 | 77.040 % |
74.68/74.81	c |     56563 |   15754    77279   224913 | 2147483647    55782     36 | 77.040 % |
74.87/75.00	c |     56709 |   15754    77279   224913 | 2147483647    55928     36 | 77.040 % |
74.97/75.15	c |     56870 |   15754    77279   224913 | 2147483647    56089     36 | 77.040 % |
75.17/75.33	c |     57048 |   15754    77279   224913 | 2147483647    56267     36 | 77.040 % |
75.37/75.58	c |     57241 |   15754    77279   224913 | 2147483647    56460     36 | 77.040 % |
75.67/75.87	c |     57453 |   15754    77279   224913 | 2147483647    56672     36 | 77.040 % |
75.97/76.18	c |     57687 |   15754    77279   224913 | 2147483647    56906     36 | 77.040 % |
76.27/76.47	c |     57945 |   15754    77279   224913 | 2147483647    57164     36 | 77.040 % |
76.57/76.75	c |     58228 |   15754    77279   224913 | 2147483647    57447     36 | 77.040 % |
76.87/77.07	c |     58537 |   15754    77279   224913 | 2147483647    57756     36 | 77.040 % |
77.27/77.40	c |     58877 |   15754    77279   224913 | 2147483647    58096     36 | 77.040 % |
77.77/77.96	c |     59251 |   15754    77279   224913 | 2147483647    58470     36 | 77.040 % |
78.27/78.42	c |     59661 |   15754    77279   224913 | 2147483647    58880     36 | 77.040 % |
78.87/79.05	c |     60110 |   15754    77279   224913 | 2147483647    59329     36 | 77.040 % |
79.37/79.55	c |     60604 |   15754    77279   224913 | 2147483647    59823     36 | 77.040 % |
80.17/80.30	c |     61146 |   15754    77279   224913 | 2147483647    60365     36 | 77.040 % |
80.98/81.19	c |     61746 |   15754    77279   224913 | 2147483647    60965     36 | 77.040 % |
81.77/81.91	c |     62401 |   15754    77279   224913 | 2147483647    61620     36 | 77.040 % |
82.77/82.92	c |     63121 |   15754    77279   224913 | 2147483647    62340     36 | 77.040 % |
83.86/84.07	c |     63913 |   15754    77279   224913 | 2147483647    63132     36 | 77.040 % |
84.06/84.23	c |     64013 |   15754    77279   224913 | 2147483647    63232     36 | 77.040 % |
84.16/84.34	c |     64123 |   15754    77279   224913 | 2147483647    63342     36 | 77.040 % |
84.36/84.53	c |     64245 |   15753    77273   224897 | 2147483647    63463     36 | 77.041 % |
84.57/84.76	c |     64378 |   15753    77273   224897 | 2147483647    63595     36 | 77.114 % |
84.76/84.96	c |     64524 |   15753    77273   224897 | 2147483647    63741     36 | 77.114 % |
84.96/85.16	c |     64685 |   15753    77273   224897 | 2147483647    63902     36 | 77.114 % |
85.26/85.47	c |     64861 |   15753    77273   224897 | 2147483647    64078     36 | 77.114 % |
85.67/85.82	c |     65054 |   15753    77273   224897 | 2147483647    64271     36 | 77.114 % |
85.86/86.10	c |     65266 |   15753    77273   224897 | 2147483647    64483     36 | 77.114 % |
86.16/86.38	c |     65500 |   15753    77273   224897 | 2147483647    64717     36 | 77.114 % |
86.56/86.70	c |     65756 |   15753    77273   224897 | 2147483647    64973     36 | 77.114 % |
86.86/87.09	c |     66037 |   15753    77273   224897 | 2147483647    65254     36 | 77.114 % |
87.36/87.51	c |     66346 |   15753    77273   224897 | 2147483647    65563     36 | 77.114 % |
87.66/87.89	c |     66686 |   15703    76234   221943 | 2147483647    65903     36 | 77.114 % |
88.26/88.47	c |     67059 |   15703    76234   221943 | 2147483647    66276     36 | 77.114 % |
88.86/89.05	c |     67468 |   15703    76234   221943 | 2147483647    66685     36 | 77.114 % |
89.46/89.69	c |     67917 |   15703    76234   221943 | 2147483647    67134     36 | 77.114 % |
90.26/90.40	c |     68410 |   15703    76234   221943 | 2147483647    67627     36 | 77.114 % |
90.96/91.11	c |     68952 |   15703    76234   221943 | 2147483647    68169     36 | 77.114 % |
91.66/91.88	c |     69550 |   15703    76234   221943 | 2147483647    68767     36 | 77.114 % |
92.36/92.55	c |     70205 |   15703    76234   221943 | 2147483647    69422     36 | 77.114 % |
93.26/93.48	c |     70927 |   15703    76234   221943 | 2147483647    70144     36 | 77.114 % |
94.25/94.48	c |     71721 |   15703    76234   221943 | 2147483647    70938     36 | 77.114 % |
95.35/95.56	c |     72593 |   15703    76234   221943 | 2147483647    71810     36 | 77.114 % |
95.56/95.71	c |     72695 |   15703    76234   221943 | 2147483647    71912     36 | 77.114 % |
95.65/95.89	c |     72806 |   15703    76234   221943 | 2147483647    72023     36 | 77.114 % |
95.85/96.07	c |     72928 |   15703    76234   221943 | 2147483647    72145     36 | 77.114 % |
96.15/96.30	c |     73063 |   15703    76234   221943 | 2147483647    72280     36 | 77.114 % |
96.35/96.53	c |     73209 |   15703    76234   221943 | 2147483647    72426     36 | 77.114 % |
96.66/96.87	c |     73369 |   15703    76234   221943 | 2147483647    72586     36 | 77.114 % |
96.95/97.11	c |     73545 |   15703    76234   221943 | 2147483647    72762     36 | 77.114 % |
97.25/97.44	c |     73739 |   15703    76234   221943 | 2147483647    72956     36 | 77.114 % |
97.55/97.78	c |     73951 |   15703    76234   221943 | 2147483647    73168     36 | 77.114 % |
97.95/98.15	c |     74185 |   15703    76234   221943 | 2147483647    73402     36 | 77.114 % |
98.45/98.61	c |     74442 |   15703    76234   221943 | 2147483647    73659     36 | 77.114 % |
98.76/98.99	c |     74724 |   15703    76234   221943 | 2147483647    73941     36 | 77.114 % |
99.25/99.41	c |     75034 |   15703    76234   221943 | 2147483647    74251     36 | 77.114 % |
99.65/99.83	c |     75373 |   15703    76234   221943 | 2147483647    74590     36 | 77.114 % |
100.05/100.27	c |     75745 |   15703    76234   221943 | 2147483647    74962     36 | 77.114 % |
100.75/100.99	c |     76155 |   15703    76234   221943 | 2147483647    75372     36 | 77.114 % |
101.45/101.66	c |     76605 |   15703    76234   221943 | 2147483647    75822     36 | 77.114 % |
102.35/102.53	c |     77100 |   15703    76234   221943 | 2147483647    76317     36 | 77.114 % |
103.06/103.27	c |     77645 |   15703    76234   221943 | 2147483647    76862     36 | 77.114 % |
104.06/104.21	c |     78244 |   15703    76234   221943 | 2147483647    77461     36 | 77.114 % |
105.16/105.32	c |     78901 |   15703    76234   221943 | 2147483647    78118     36 | 77.114 % |
106.26/106.42	c |     79621 |   15703    76234   221943 | 2147483647    78838     35 | 77.114 % |
107.46/107.60	c |     80414 |   15703    76234   221943 | 2147483647    79631     36 | 77.114 % |
108.66/108.82	c |     81285 |   15703    76234   221943 | 2147483647    80502     36 | 77.114 % |
109.76/109.92	c |     82243 |   15703    76234   221943 | 2147483647    81460     36 | 77.114 % |
109.86/110.06	c |     82343 |   15703    76234   221943 | 2147483647    81560     35 | 77.114 % |
109.96/110.18	c |     82455 |   15703    76234   221943 | 2147483647    81672     35 | 77.114 % |
110.16/110.35	c |     82577 |   15703    76234   221943 | 2147483647    81794     35 | 77.114 % |
110.36/110.53	c |     82710 |   15703    76234   221943 | 2147483647    81927     35 | 77.114 % |
110.56/110.73	c |     82858 |   15703    76234   221943 | 2147483647    82075     35 | 77.114 % |
110.76/110.94	c |     83020 |   15703    76234   221943 | 2147483647    82237     35 | 77.114 % |
110.96/111.14	c |     83196 |   15703    76234   221943 | 2147483647    82413     35 | 77.114 % |
111.15/111.37	c |     83390 |   15703    76234   221943 | 2147483647    82607     35 | 77.114 % |
111.55/111.70	c |     83604 |   15703    76234   221943 | 2147483647    82821     35 | 77.114 % |
111.85/112.02	c |     83838 |   15703    76234   221943 | 2147483647    83055     35 | 77.114 % |
112.25/112.41	c |     84095 |   15703    76234   221943 | 2147483647    83312     35 | 77.114 % |
112.55/112.75	c |     84376 |   15703    76234   221943 | 2147483647    83593     35 | 77.114 % |
113.06/113.22	c |     84686 |   15703    76234   221943 | 2147483647    83903     35 | 77.114 % |
113.55/113.72	c |     85026 |   15703    76234   221943 | 2147483647    84243     35 | 77.114 % |
113.95/114.19	c |     85401 |   15703    76234   221943 | 2147483647    84618     35 | 77.114 % |
114.55/114.79	c |     85810 |   15703    76234   221943 | 2147483647    85027     35 | 77.114 % |
115.25/115.50	c |     86263 |   15703    76234   221943 | 2147483647    85480     35 | 77.114 % |
116.05/116.27	c |     86756 |   15703    76234   221943 | 2147483647    85973     36 | 77.114 % |
116.95/117.13	c |     87301 |   15703    76234   221943 | 2147483647    86518     36 | 77.114 % |
117.84/118.08	c |     87897 |   15703    76234   221943 | 2147483647    87114     36 | 77.114 % |
118.84/119.04	c |     88554 |   15703    76234   221943 | 2147483647    87771     36 | 77.114 % |
119.84/120.05	c |     89275 |   15703    76234   221943 | 2147483647    88492     36 | 77.114 % |
120.84/121.01	c |     90067 |   15703    76234   221943 | 2147483647    89284     36 | 77.114 % |
122.24/122.49	c |     90938 |   15703    76234   221943 | 2147483647    90155     36 | 77.114 % |
123.64/123.88	c |     91897 |   15703    76234   221943 | 2147483647    91114     35 | 77.114 % |
125.54/125.78	c |     92951 |   15472    74644   217832 | 2147483647    92167     35 | 77.451 % |
125.74/125.97	c |     93051 |   15472    74644   217832 | 2147483647    92267     35 | 77.451 % |
126.03/126.26	c |     93162 |   15472    74644   217832 | 2147483647    92378     35 | 77.451 % |
126.24/126.46	c |     93284 |   15472    74644   217832 | 2147483647    92500     35 | 77.451 % |
126.43/126.62	c |     93417 |   15472    74644   217832 | 2147483647    92633     35 | 77.451 % |
126.63/126.84	c |     93564 |   15472    74644   217832 | 2147483647    92780     35 | 77.451 % |
126.83/127.07	c |     93724 |   15472    74644   217832 | 2147483647    92940     36 | 77.451 % |
127.13/127.33	c |     93901 |   15472    74644   217832 | 2147483647    93117     35 | 77.451 % |
127.44/127.62	c |     94096 |   15472    74644   217832 | 2147483647    93312     35 | 77.451 % |
127.73/127.93	c |     94310 |   15472    74644   217832 | 2147483647    93526     36 | 77.451 % |
128.13/128.31	c |     94543 |   15472    74644   217832 | 2147483647    93759     36 | 77.451 % |
128.63/128.82	c |     94800 |   15472    74644   217832 | 2147483647    94016     36 | 77.451 % |
129.03/129.27	c |     95081 |   15472    74644   217832 | 2147483647    94297     36 | 77.451 % |
129.43/129.64	c |     95391 |   15472    74644   217832 | 2147483647    94607     36 | 77.451 % |
129.93/130.19	c |     95733 |   15472    74644   217832 | 2147483647    94949     36 | 77.451 % |
130.53/130.76	c |     96106 |   15472    74644   217832 | 2147483647    95322     35 | 77.451 % |
131.13/131.32	c |     96515 |   15472    74644   217832 | 2147483647    95731     35 | 77.451 % |
131.63/131.85	c |     96966 |   15472    74644   217832 | 2147483647    96182     35 | 77.451 % |
132.23/132.44	c |     97459 |   15472    74644   217832 | 2147483647    96675     35 | 77.451 % |
132.93/133.13	c |     98003 |   15472    74644   217832 | 2147483647    97219     35 | 77.451 % |
133.63/133.83	c |     98601 |   15472    74644   217832 | 2147483647    97817     35 | 77.451 % |
134.64/134.83	c |     99258 |   15472    74644   217832 | 2147483647    98474     35 | 77.451 % |
135.74/135.98	c |     99979 |   15472    74644   217832 | 2147483647    99195     35 | 77.451 % |
136.64/136.89	c |    100774 |   15472    74644   217832 | 2147483647    99990     35 | 77.451 % |
138.14/138.32	c |    101645 |   15472    74644   217832 | 2147483647   100861     35 | 77.451 % |
139.34/139.53	c |    102606 |   15472    74644   217832 | 2147483647   101822     35 | 77.451 % |
140.73/140.96	c |    103661 |   15472    74644   217832 | 2147483647   102877     35 | 77.451 % |
142.53/142.70	c |    104820 |   15472    74644   217832 | 2147483647   104036     35 | 77.451 % |
142.63/142.85	c |    104921 |   15472    74644   217832 | 2147483647   104137     35 | 77.451 % |
142.84/143.01	c |    105032 |   15472    74644   217832 | 2147483647   104248     35 | 77.451 % |
142.93/143.17	c |    105154 |   15472    74644   217832 | 2147483647   104370     35 | 77.451 % |
143.13/143.37	c |    105288 |   15472    74644   217832 | 2147483647   104504     35 | 77.451 % |
143.43/143.60	c |    105435 |   15472    74644   217832 | 2147483647   104651     35 | 77.451 % |
143.53/143.79	c |    105595 |   15472    74644   217832 | 2147483647   104811     35 | 77.451 % |
143.94/144.11	c |    105771 |   15472    74644   217832 | 2147483647   104987     35 | 77.451 % |
144.23/144.42	c |    105966 |   15472    74644   217832 | 2147483647   105182     35 | 77.451 % |
144.53/144.78	c |    106178 |   15472    74644   217832 | 2147483647   105394     35 | 77.451 % |
144.94/145.15	c |    106414 |   15472    74644   217832 | 2147483647   105630     35 | 77.451 % |
145.43/145.62	c |    106670 |   15472    74644   217832 | 2147483647   105886     35 | 77.451 % |
145.93/146.17	c |    106951 |   15472    74644   217832 | 2147483647   106167     35 | 77.451 % |
146.43/146.61	c |    107260 |   15472    74644   217832 | 2147483647   106476     35 | 77.451 % |
147.14/147.36	c |    107602 |   15461    74545   217553 | 2147483647   106815     35 | 77.467 % |
147.93/148.10	c |    107978 |   15461    74545   217553 | 2147483647   107191     35 | 77.467 % |
149.03/149.26	c |    108387 |   15461    74545   217553 | 2147483647   107600     35 | 77.467 % |
149.63/149.89	c |    108837 |   15461    74545   217553 | 2147483647   108050     35 | 77.467 % |
150.73/150.93	c |    109333 |   15461    74545   217553 | 2147483647   108546     35 | 77.467 % |
151.63/151.87	c |    109877 |   15461    74545   217553 | 2147483647   109090     35 | 77.467 % |
152.53/152.78	c |    110473 |   15461    74545   217553 | 2147483647   109686     35 | 77.467 % |
153.43/153.62	c |    111128 |   15461    74545   217553 | 2147483647   110341     35 | 77.467 % |
154.33/154.59	c |    111848 |   15461    74545   217553 | 2147483647   111061     35 | 77.467 % |
155.93/156.13	c |    112643 |   15461    74545   217553 | 2147483647   111856     35 | 77.467 % |
157.82/158.06	c |    113514 |   15461    74545   217553 | 2147483647   112727     35 | 77.467 % |
159.42/159.60	c |    114473 |   15461    74545   217553 | 2147483647   113686     35 | 77.467 % |
161.31/161.52	c |    115526 |   15461    74545   217553 | 2147483647   114739     35 | 77.467 % |
163.31/163.51	c |    116685 |   15461    74545   217553 | 2147483647   115898     35 | 77.467 % |
165.42/165.69	c |    117958 |   15461    74545   217553 | 2147483647   117171     35 | 77.467 % |
165.72/165.91	c |    118058 |   15461    74545   217553 | 2147483647   117271     35 | 77.467 % |
165.92/166.12	c |    118168 |   15461    74545   217553 | 2147483647   117381     35 | 77.467 % |
166.22/166.41	c |    118289 |   15461    74545   217553 | 2147483647   117502     35 | 77.467 % |
166.52/166.72	c |    118424 |   15461    74545   217553 | 2147483647   117637     35 | 77.467 % |
166.72/166.97	c |    118570 |   15461    74545   217553 | 2147483647   117783     35 | 77.467 % |
167.12/167.38	c |    118730 |   15461    74545   217553 | 2147483647   117943     35 | 77.467 % |
167.52/167.76	c |    118906 |   15461    74545   217553 | 2147483647   118119     35 | 77.467 % |
168.02/168.20	c |    119100 |   15461    74545   217553 | 2147483647   118313     35 | 77.467 % |
168.32/168.60	c |    119313 |   15461    74545   217553 | 2147483647   118526     35 | 77.467 % |
168.82/169.03	c |    119546 |   15461    74545   217553 | 2147483647   118759     35 | 77.467 % |
169.22/169.49	c |    119802 |   15461    74545   217553 | 2147483647   119015     35 | 77.467 % |
169.82/170.01	c |    120083 |   15461    74545   217553 | 2147483647   119296     35 | 77.467 % |
170.32/170.50	c |    120395 |   15461    74545   217553 | 2147483647   119608     35 | 77.467 % |
170.92/171.10	c |    120735 |   15461    74545   217553 | 2147483647   119948     35 | 77.467 % |
171.51/171.71	c |    121109 |   15461    74545   217553 | 2147483647   120322     35 | 77.467 % |
172.21/172.43	c |    121520 |   15461    74545   217553 | 2147483647   120733     35 | 77.467 % |
173.11/173.32	c |    121970 |   15461    74545   217553 | 2147483647   121183     35 | 77.467 % |
173.81/174.07	c |    122463 |   15461    74545   217553 | 2147483647   121676     35 | 77.467 % |
174.72/174.96	c |    123012 |   15461    74545   217553 | 2147483647   122225     35 | 77.467 % |
175.61/175.89	c |    123610 |   15461    74545   217553 | 2147483647   122823     35 | 77.467 % |
176.92/177.11	c |    124268 |   15461    74545   217553 | 2147483647   123481     35 | 77.467 % |
178.02/178.27	c |    124989 |   15461    74545   217553 | 2147483647   124202     35 | 77.467 % |
179.71/179.96	c |    125783 |   15461    74545   217553 | 2147483647   124996     35 | 77.467 % |
181.41/181.69	c |    126654 |   15461    74545   217553 | 2147483647   125867     35 | 77.467 % |
183.11/183.36	c |    127612 |   15461    74545   217553 | 2147483647   126825     35 | 77.467 % |
185.41/185.61	c |    128667 |   15461    74545   217553 | 2147483647   127880     35 | 77.467 % |
187.40/187.65	c |    129828 |   15461    74545   217553 | 2147483647   129041     35 | 77.467 % |
189.60/189.88	c |    131102 |   15461    74545   217553 | 2147483647   130315     35 | 77.467 % |
191.80/192.04	c |    132502 |   15461    74545   217553 | 2147483647   131715     35 | 77.467 % |
192.00/192.22	c |    132602 |   15461    74545   217553 | 2147483647   131815     35 | 77.467 % |
192.21/192.42	c |    132713 |   15461    74545   217553 | 2147483647   131926     35 | 77.467 % |
192.40/192.69	c |    132835 |   15461    74545   217553 | 2147483647   132048     35 | 77.467 % |
192.70/192.96	c |    132968 |   15461    74545   217553 | 2147483647   132181     35 | 77.467 % |
192.90/193.18	c |    133115 |   15461    74545   217553 | 2147483647   132328     35 | 77.467 % |
193.31/193.51	c |    133278 |   15461    74545   217553 | 2147483647   132491     35 | 77.467 % |
193.60/193.82	c |    133454 |   15461    74545   217553 | 2147483647   132667     35 | 77.467 % |
193.90/194.15	c |    133649 |   15461    74545   217553 | 2147483647   132862     35 | 77.467 % |
194.30/194.50	c |    133862 |   15461    74545   217553 | 2147483647   133075     35 | 77.467 % |
194.70/194.93	c |    134096 |   15461    74545   217553 | 2147483647   133309     35 | 77.467 % |
195.10/195.39	c |    134352 |   15461    74545   217553 | 2147483647   133565     35 | 77.467 % |
195.60/195.84	c |    134635 |   15461    74545   217553 | 2147483647   133848     35 | 77.467 % |
196.20/196.46	c |    134947 |   15461    74545   217553 | 2147483647   134160     35 | 77.467 % |
197.00/197.23	c |    135287 |   15461    74545   217553 | 2147483647   134500     35 | 77.467 % |
197.70/197.96	c |    135661 |   15461    74545   217553 | 2147483647   134874     35 | 77.467 % |
198.50/198.79	c |    136070 |   15461    74545   217553 | 2147483647   135283     35 | 77.467 % |
199.50/199.71	c |    136520 |   15461    74545   217553 | 2147483647   135733     35 | 77.467 % |
200.20/200.43	c |    137013 |   15461    74545   217553 | 2147483647   136226     35 | 77.467 % |
201.30/201.51	c |    137555 |   15461    74545   217553 | 2147483647   136768     35 | 77.467 % |
202.50/202.71	c |    138153 |   15461    74545   217553 | 2147483647   137366     35 | 77.467 % |
204.09/204.33	c |    138808 |   15461    74545   217553 | 2147483647   138021     35 | 77.467 % |
205.90/206.12	c |    139529 |   15232    73028   213603 | 2147483647   138741     35 | 77.801 % |
207.10/207.32	c |    140326 |   15232    73028   213603 | 2147483647   139538     35 | 77.801 % |
208.70/208.94	c |    141197 |   15232    73028   213603 | 2147483647   140409     35 | 77.801 % |
210.59/210.86	c |    142156 |   15232    73028   213603 | 2147483647   141368     35 | 77.801 % |
212.99/213.22	c |    143211 |   15232    73028   213603 | 2147483647   142423     35 | 77.801 % |
214.89/215.19	c |    144371 |   15232    73028   213603 | 2147483647   143583     35 | 77.801 % |
217.79/218.08	c |    145647 |   15232    73028   213603 | 2147483647   144859     35 | 77.801 % |
220.69/220.92	c |    147050 |   15228    72984   213479 | 2147483647   146261     35 | 77.807 % |
223.79/224.02	c |    148592 |   15228    72984   213479 | 2147483647   147803     35 | 77.807 % |
223.99/224.26	c |    148693 |   15228    72984   213479 | 2147483647   147904     35 | 77.807 % |
224.19/224.44	c |    148803 |   15228    72984   213479 | 2147483647   148014     35 | 77.807 % |
224.49/224.72	c |    148924 |   15228    72984   213479 | 2147483647   148135     35 | 77.807 % |
224.79/225.00	c |    149057 |   15228    72984   213479 | 2147483647   148268     35 | 77.807 % |
225.09/225.33	c |    149206 |   15228    72984   213479 | 2147483647   148417     35 | 77.807 % |
225.49/225.73	c |    149366 |   15228    72984   213479 | 2147483647   148577     35 | 77.807 % |
225.99/226.27	c |    149544 |   15228    72984   213479 | 2147483647   148755     35 | 77.807 % |
226.59/226.81	c |    149737 |   15228    72984   213479 | 2147483647   148948     35 | 77.807 % |
227.19/227.43	c |    149949 |   15228    72984   213479 | 2147483647   149160     35 | 77.807 % |
227.59/227.86	c |    150184 |   15228    72984   213479 | 2147483647   149395     35 | 77.807 % |
228.09/228.35	c |    150442 |   15228    72984   213479 | 2147483647   149653     35 | 77.807 % |
228.69/228.96	c |    150724 |   15228    72984   213479 | 2147483647   149935     35 | 77.807 % |
229.29/229.57	c |    151034 |   15228    72984   213479 | 2147483647   150245     35 | 77.807 % |
229.98/230.28	c |    151375 |   15228    72984   213479 | 2147483647   150586     35 | 77.807 % |
230.69/230.96	c |    151747 |   15228    72984   213479 | 2147483647   150958     35 | 77.807 % |
231.58/231.83	c |    152156 |   15228    72984   213479 | 2147483647   151367     35 | 77.807 % |
232.38/232.69	c |    152608 |   15228    72984   213479 | 2147483647   151819     35 | 77.807 % |
233.58/233.81	c |    153102 |   15228    72984   213479 | 2147483647   152313     35 | 77.807 % |
234.68/234.91	c |    153645 |   15228    72984   213479 | 2147483647   152856     35 | 77.807 % |
235.98/236.21	c |    154242 |   15228    72984   213479 | 2147483647   153453     35 | 77.807 % |
237.29/237.50	c |    154898 |   15228    72984   213479 | 2147483647   154109     35 | 77.807 % |
238.38/238.69	c |    155618 |   15228    72984   213479 | 2147483647   154829     35 | 77.807 % |
240.08/240.37	c |    156412 |   15228    72984   213479 | 2147483647   155623     35 | 77.807 % |
241.68/242.00	c |    157283 |   15228    72984   213479 | 2147483647   156494     35 | 77.807 % |
243.78/244.02	c |    158243 |   15228    72984   213479 | 2147483647   157454     35 | 77.807 % |
245.68/245.90	c |    159297 |   15228    72984   213479 | 2147483647   158508     35 | 77.807 % |
247.78/248.08	c |    160457 |   15228    72984   213479 | 2147483647   159668     35 | 77.807 % |
250.97/251.22	c |    161730 |   15228    72984   213479 | 2147483647   160941     35 | 77.807 % |
253.78/254.01	c |    163130 |   15228    72984   213479 | 2147483647   162341     35 | 77.807 % |
257.57/257.84	c |    164673 |   15228    72984   213479 | 2147483647   163884     35 | 77.807 % |
261.57/261.82	c |    166367 |   15228    72984   213479 | 2147483647   165578     35 | 77.807 % |
261.87/262.15	c |    166468 |   15228    72984   213479 | 2147483647   165679     35 | 77.807 % |
262.28/262.52	c |    166578 |   15228    72984   213479 | 2147483647   165789     35 | 77.807 % |
262.58/262.85	c |    166703 |   15228    72984   213479 | 2147483647   165914     35 | 77.807 % |
262.98/263.24	c |    166837 |   15228    72984   213479 | 2147483647   166048     35 | 77.807 % |
263.38/263.61	c |    166984 |   15228    72984   213479 | 2147483647   166195     35 | 77.807 % |
263.78/264.02	c |    167145 |   15228    72984   213479 | 2147483647   166356     35 | 77.807 % |
264.17/264.46	c |    167326 |   15228    72984   213479 | 2147483647   166537     35 | 77.807 % |
264.67/264.90	c |    167519 |   15228    72984   213479 | 2147483647   166730     35 | 77.807 % |
265.07/265.33	c |    167731 |   15228    72984   213479 | 2147483647   166942     35 | 77.807 % |
265.67/265.98	c |    167964 |   15228    72984   213479 | 2147483647   167175     35 | 77.807 % |
266.27/266.58	c |    168222 |   15228    72984   213479 | 2147483647   167433     35 | 77.807 % |
266.87/267.20	c |    168505 |   15228    72984   213479 | 2147483647   167716     35 | 77.807 % |
267.67/267.94	c |    168815 |   15228    72984   213479 | 2147483647   168026     35 | 77.807 % |
268.37/268.66	c |    169156 |   15228    72984   213479 | 2147483647   168367     35 | 77.807 % |
269.17/269.48	c |    169528 |   15228    72984   213479 | 2147483647   168739     35 | 77.807 % |
270.17/270.47	c |    169937 |   15228    72984   213479 | 2147483647   169148     35 | 77.807 % |
271.47/271.73	c |    170387 |   15228    72984   213479 | 2147483647   169598     35 | 77.807 % |
272.67/272.93	c |    170883 |   15228    72984   213479 | 2147483647   170094     35 | 77.807 % |
273.97/274.29	c |    171426 |   15228    72984   213479 | 2147483647   170637     35 | 77.807 % |
275.67/275.94	c |    172024 |   15228    72984   213479 | 2147483647   171235     35 | 77.807 % |
277.17/277.49	c |    172679 |   15228    72984   213479 | 2147483647   171890     35 | 77.807 % |
278.87/279.10	c |    173400 |   15228    72984   213479 | 2147483647   172611     35 | 77.807 % |
280.56/280.85	c |    174193 |   15228    72984   213479 | 2147483647   173404     35 | 77.807 % |
282.47/282.75	c |    175064 |   15228    72984   213479 | 2147483647   174275     35 | 77.807 % |
285.16/285.43	c |    176023 |   15228    72984   213479 | 2147483647   175234     35 | 77.807 % |
287.36/287.62	c |    177076 |   15228    72984   213479 | 2147483647   176287     35 | 77.807 % |
289.26/289.53	c |    178236 |   15228    72984   213479 | 2147483647   177447     35 | 77.807 % |
292.26/292.52	c |    179509 |   15227    72979   213466 | 2147483647   178719     35 | 77.808 % |
294.95/295.22	c |    180910 |   15227    72979   213466 | 2147483647   180120     35 | 77.808 % |
297.95/298.22	c |    182450 |   15227    72979   213466 | 2147483647   181660     35 | 77.808 % |
302.35/302.63	c |    184146 |   15227    72979   213466 | 2147483647   183356     35 | 77.808 % |
306.75/307.04	c |    186010 |   15227    72979   213466 | 2147483647   185220     35 | 77.808 % |
307.15/307.43	c |    186112 |   15227    72979   213466 | 2147483647   185322     35 | 77.808 % |
307.55/307.83	c |    186223 |   15227    72979   213466 | 2147483647   185433     35 | 77.808 % |
307.95/308.22	c |    186344 |   15227    72979   213466 | 2147483647   185554     35 | 77.808 % |
308.25/308.51	c |    186477 |   15227    72979   213466 | 2147483647   185687     35 | 77.808 % |
308.55/308.88	c |    186623 |   15227    72979   213466 | 2147483647   185833     35 | 77.808 % |
308.95/309.22	c |    186786 |   15227    72979   213466 | 2147483647   185996     35 | 77.808 % |
309.45/309.77	c |    186963 |   15227    72979   213466 | 2147483647   186173     35 | 77.808 % |
309.85/310.16	c |    187157 |   15227    72979   213466 | 2147483647   186367     35 | 77.808 % |
310.35/310.67	c |    187369 |   15195    72790   212915 | 2147483647   186563     35 | 77.855 % |
310.95/311.25	c |    187602 |   15195    72790   212915 | 2147483647   186796     35 | 77.855 % |
311.65/311.96	c |    187859 |   15195    72790   212915 | 2147483647   187053     35 | 77.855 % |
312.45/312.77	c |    188140 |   15195    72790   212915 | 2147483647   187334     35 | 77.855 % |
313.15/313.50	c |    188449 |   15195    72790   212915 | 2147483647   187643     35 | 77.855 % |
313.95/314.21	c |    188791 |   15195    72790   212915 | 2147483647   187985     35 | 77.855 % |
314.74/315.09	c |    189166 |   15195    72790   212915 | 2147483647   188360     35 | 77.855 % |
315.74/316.00	c |    189575 |   15195    72790   212915 | 2147483647   188769     35 | 77.855 % |
316.74/317.01	c |    190025 |   15195    72790   212915 | 2147483647   189219     35 | 77.855 % |
318.24/318.58	c |    190518 |   15195    72790   212915 | 2147483647   189712     35 | 77.855 % |
319.54/319.89	c |    191061 |   15195    72790   212915 | 2147483647   190255     35 | 77.855 % |
321.34/321.63	c |    191659 |   15195    72790   212915 | 2147483647   190853     36 | 77.855 % |
322.54/322.81	c |    192314 |   15195    72790   212915 | 2147483647   191508     36 | 77.855 % |
324.34/324.65	c |    193034 |   15195    72790   212915 | 2147483647   192228     36 | 77.855 % |
326.04/326.36	c |    193826 |   15195    72790   212915 | 2147483647   193020     36 | 77.855 % |
328.03/328.31	c |    194698 |   15195    72790   212915 | 2147483647   193892     36 | 77.855 % |
330.24/330.50	c |    195656 |   15195    72790   212915 | 2147483647   194850     36 | 77.855 % |
332.44/332.78	c |    196709 |   15195    72790   212915 | 2147483647   195903     36 | 77.855 % |
335.44/335.71	c |    197867 |   15195    72790   212915 | 2147483647   197061     36 | 77.855 % |
338.24/338.54	c |    199140 |   15195    72790   212915 | 2147483647   198334     36 | 77.855 % |
341.23/341.56	c |    200541 |   15195    72790   212915 | 2147483647   199735     36 | 77.855 % |
345.33/345.66	c |    202084 |   15188    72758   212823 | 2147483647   201267     36 | 77.865 % |
349.33/349.63	c |    203778 |   15188    72758   212823 | 2147483647   202961     36 | 77.865 % |
353.42/353.70	c |    205642 |   15188    72758   212823 | 2147483647   204825     36 | 77.865 % |
358.02/358.35	c |    207691 |   15188    72758   212823 | 2147483647   206874     36 | 77.865 % |
358.42/358.70	c |    207792 |   15188    72758   212823 | 2147483647   206975     36 | 77.865 % |
358.72/359.05	c |    207902 |   15188    72758   212823 | 2147483647   207085     36 | 77.865 % |
359.02/359.38	c |    208023 |   15188    72758   212823 | 2147483647   207206     36 | 77.865 % |
359.33/359.68	c |    208157 |   15188    72758   212823 | 2147483647   207340     36 | 77.865 % |
359.72/360.07	c |    208303 |   15188    72758   212823 | 2147483647   207486     36 | 77.865 % |
360.02/360.38	c |    208463 |   15188    72758   212823 | 2147483647   207646     36 | 77.865 % |
360.53/360.85	c |    208639 |   15188    72758   212823 | 2147483647   207822     36 | 77.865 % |
361.02/361.33	c |    208833 |   15188    72758   212823 | 2147483647   208016     36 | 77.865 % |
361.63/361.97	c |    209045 |   15188    72758   212823 | 2147483647   208228     36 | 77.865 % |
362.12/362.40	c |    209278 |   15188    72758   212823 | 2147483647   208461     36 | 77.865 % |
362.62/362.95	c |    209535 |   15188    72758   212823 | 2147483647   208718     36 | 77.865 % |
363.32/363.60	c |    209816 |   15188    72758   212823 | 2147483647   208999     36 | 77.865 % |
363.92/364.26	c |    210128 |   15188    72758   212823 | 2147483647   209311     36 | 77.865 % |
364.52/364.89	c |    210467 |   15188    72758   212823 | 2147483647   209650     36 | 77.865 % |
365.32/365.67	c |    210840 |   15188    72758   212823 | 2147483647   210023     36 | 77.865 % |
366.22/366.50	c |    211249 |   15188    72758   212823 | 2147483647   210432     36 | 77.865 % |
367.12/367.46	c |    211698 |   15188    72758   212823 | 2147483647   210881     35 | 77.865 % |
368.52/368.80	c |    212191 |   15188    72758   212823 | 2147483647   211374     35 | 77.865 % |
369.72/370.03	c |    212734 |   15188    72758   212823 | 2147483647   211917     35 | 77.865 % |
371.32/371.66	c |    213331 |   15188    72758   212823 | 2147483647   212514     35 | 77.865 % |
372.92/373.23	c |    213987 |   15188    72758   212823 | 2147483647   213170     35 | 77.865 % |
374.52/374.85	c |    214707 |   15188    72758   212823 | 2147483647   213890     35 | 77.865 % |
376.41/376.77	c |    215499 |   15188    72758   212823 | 2147483647   214682     35 | 77.865 % |
378.71/379.00	c |    216370 |   15188    72758   212823 | 2147483647   215553     35 | 77.865 % |
380.91/381.26	c |    217329 |   15120    72620   212371 | 2147483647   216510     35 | 77.964 % |
383.31/383.67	c |    218383 |   15120    72620   212371 | 2147483647   217564     35 | 77.964 % |
386.40/386.77	c |    219545 |   15120    72620   212371 | 2147483647   218726     36 | 77.964 % |
390.11/390.43	c |    220818 |   15120    72620   212371 | 2147483647   219999     35 | 77.964 % |
393.41/393.78	c |    222219 |   15120    72620   212371 | 2147483647   221400     35 | 77.964 % |
396.91/397.24	c |    223759 |   15120    72620   212371 | 2147483647   222940     36 | 77.964 % |
400.20/400.56	c |    225454 |   15120    72620   212371 | 2147483647   224635     35 | 77.964 % |
404.51/404.81	c |    227319 |   15120    72620   212371 | 2147483647   226500     35 | 77.964 % |
409.10/409.42	c |    229369 |   15114    72569   212233 | 2147483647   228549     35 | 77.973 % |
413.20/413.55	c |    231622 |   15114    72569   212233 | 2147483647   230802     35 | 77.973 % |
413.49/413.83	c |    231722 |   15114    72569   212233 | 2147483647   230902     35 | 77.973 % |
413.99/414.30	c |    231834 |   15114    72569   212233 | 2147483647   231014     35 | 77.973 % |
414.40/414.74	c |    231955 |   15114    72569   212233 | 2147483647   231135     35 | 77.973 % |
414.79/415.12	c |    232090 |   15114    72569   212233 | 2147483647   231270     35 | 77.973 % |
415.29/415.68	c |    232237 |   15114    72569   212233 | 2147483647   231417     35 | 77.973 % |
415.79/416.17	c |    232400 |   15114    72569   212233 | 2147483647   231580     35 | 77.973 % |
416.39/416.70	c |    232577 |   15114    72569   212233 | 2147483647   231757     35 | 77.973 % |
416.79/417.13	c |    232770 |   15114    72569   212233 | 2147483647   231950     35 | 77.973 % |
417.39/417.79	c |    232982 |   15114    72569   212233 | 2147483647   232162     35 | 77.973 % |
418.19/418.55	c |    233215 |   15114    72569   212233 | 2147483647   232395     35 | 77.973 % |
418.89/419.23	c |    233471 |   15114    72569   212233 | 2147483647   232651     36 | 77.973 % |
419.59/419.99	c |    233755 |   15114    72569   212233 | 2147483647   232935     36 | 77.973 % |
420.59/420.99	c |    234065 |   15114    72569   212233 | 2147483647   233245     36 | 77.973 % |
421.79/422.15	c |    234404 |   15114    72569   212233 | 2147483647   233584     36 | 77.973 % |
422.99/423.31	c |    234776 |   15114    72569   212233 | 2147483647   233956     36 | 77.973 % |
424.29/424.65	c |    235185 |   15114    72569   212233 | 2147483647   234365     36 | 77.973 % |
425.60/425.94	c |    235634 |   15114    72569   212233 | 2147483647   234814     35 | 77.973 % |
427.40/427.77	c |    236127 |   15114    72569   212233 | 2147483647   235307     35 | 77.973 % |
428.89/429.26	c |    236669 |   15114    72569   212233 | 2147483647   235849     35 | 77.973 % |
430.49/430.86	c |    237266 |   15114    72569   212233 | 2147483647   236446     35 | 77.973 % |
432.09/432.47	c |    237921 |   15114    72569   212233 | 2147483647   237101     35 | 77.973 % |
434.38/434.72	c |    238641 |   15114    72569   212233 | 2147483647   237821     35 | 77.973 % |
436.48/436.80	c |    239436 |   15114    72569   212233 | 2147483647   238616     35 | 77.973 % |
438.88/439.25	c |    240309 |   15114    72569   212233 |   239181   239489     35 | 77.973 % |
441.98/442.36	c |    241267 |   15114    72569   212233 |   239181   240447     35 | 77.973 % |
445.38/445.73	c |    242322 |   15114    72569   212233 |   239181   241502     36 | 77.973 % |
448.77/449.18	c |    243483 |   15114    72569   212233 |   239181   242663     36 | 77.973 % |
452.07/452.42	c |    244756 |   15114    72569   212233 |   239181   243936     36 | 77.973 % |
455.67/456.01	c |    246159 |   15114    72569   212233 |   239181   245339     36 | 77.973 % |
458.77/459.10	c |    247700 |   15114    72569   212233 |   239181   246880     35 | 77.973 % |
462.87/463.21	c |    249394 |   15114    72569   212233 |   239181   248574     35 | 77.973 % |
467.37/467.71	c |    251264 |   15114    72569   212233 | 2147483647   250444     35 | 77.973 % |
472.57/472.97	c |    253313 |   15114    72569   212233 | 2147483647   252493     35 | 77.973 % |
478.66/479.07	c |    255568 |   15114    72569   212233 | 2147483647   254748     35 | 77.973 % |
485.26/485.62	c |    258048 |   15114    72569   212233 | 2147483647   257228     35 | 77.973 % |
485.66/486.10	c |    258148 |   15114    72569   212233 | 2147483647   257328     35 | 77.973 % |
486.26/486.67	c |    258258 |   15114    72569   212233 | 2147483647   257438     35 | 77.973 % |
486.87/487.21	c |    258379 |   15114    72569   212233 | 2147483647   257559     35 | 77.973 % |
487.36/487.75	c |    258513 |   15114    72569   212233 | 2147483647   257693     35 | 77.973 % |
487.76/488.18	c |    258661 |   15114    72569   212233 | 2147483647   257841     35 | 77.973 % |
488.26/488.69	c |    258821 |   15114    72569   212233 | 2147483647   258001     35 | 77.973 % |
489.07/489.43	c |    258998 |   15114    72569   212233 | 2147483647   258178     35 | 77.973 % |
489.66/490.03	c |    259192 |   15114    72569   212233 | 2147483647   258372     35 | 77.973 % |
490.27/490.64	c |    259404 |   15114    72569   212233 | 2147483647   258584     35 | 77.973 % |
491.06/491.40	c |    259638 |   15114    72569   212233 | 2147483647   258818     35 | 77.973 % |
492.06/492.40	c |    259894 |   15114    72569   212233 | 2147483647   259074     35 | 77.973 % |
492.76/493.20	c |    260179 |   15114    72569   212233 | 2147483647   259359     35 | 77.973 % |
493.86/494.21	c |    260489 |   15114    72569   212233 | 2147483647   259669     35 | 77.973 % |
494.76/495.19	c |    260830 |   15114    72569   212233 | 2147483647   260010     35 | 77.973 % |
495.96/496.34	c |    261203 |   15114    72569   212233 | 2147483647   260383     35 | 77.973 % |
497.06/497.47	c |    261612 |   15114    72569   212233 | 2147483647   260792     35 | 77.973 % |
498.36/498.70	c |    262062 |   15114    72569   212233 | 2147483647   261242     35 | 77.973 % |
499.46/499.88	c |    262556 |   15114    72569   212233 | 2147483647   261736     35 | 77.973 % |
501.26/501.68	c |    263099 |   15114    72569   212233 | 2147483647   262279     35 | 77.973 % |
502.86/503.24	c |    263695 |   15114    72569   212233 | 2147483647   262875     35 | 77.973 % |
504.56/504.95	c |    264350 |   15114    72569   212233 | 2147483647   263530     35 | 77.973 % |
506.76/507.13	c |    265070 |   15114    72569   212233 | 2147483647   264250     35 | 77.973 % |
509.35/509.75	c |    265863 |   15114    72569   212233 | 2147483647   265043     35 | 77.973 % |
511.85/512.21	c |    266734 |   15114    72569   212233 | 2147483647   265914     35 | 77.973 % |
514.46/514.83	c |    267692 |   15114    72569   212233 | 2147483647   266872     35 | 77.973 % |
517.55/517.98	c |    268745 |   15114    72569   212233 | 2147483647   267925     35 | 77.973 % |
520.85/521.24	c |    269908 |   15104    72508   212077 | 2147483647   269069     35 | 77.987 % |
524.54/524.99	c |    271182 |   15104    72508   212077 |   269161   270343     35 | 77.987 % |
529.74/530.10	c |    272584 |   15104    72508   212077 |   269161   271745     35 | 77.987 % |
535.24/535.64	c |    274124 |   15104    72508   212077 |   269161   273284     35 | 78.056 % |
540.34/540.73	c |    275819 |   15104    72508   212077 |   269161   274979     35 | 78.056 % |
546.83/547.24	c |    277683 |   15104    72508   212077 |   269161   276843     35 | 78.056 % |
554.04/554.40	c |    279733 |   15104    72508   212077 |   269161   278893     35 | 78.056 % |
562.13/562.58	c |    281986 |   15057    72207   211319 |   279165   281146     35 | 78.056 % |
567.92/568.38	c |    284464 |   15057    72207   211319 |   279165   283624     35 | 78.056 % |
576.32/576.76	c |    287190 |   15055    72207   211319 |   279165   286348     35 | 78.168 % |
576.62/577.04	c |    287291 |   15055    72207   211319 |   279165   286449     35 | 78.168 % |
577.02/577.47	c |    287401 |   15055    72207   211319 |   279165   286559     35 | 78.168 % |
577.42/577.89	c |    287522 |   15055    72207   211319 |   279165   286680     35 | 78.168 % |
577.92/578.37	c |    287656 |   15055    72207   211319 |   279165   286814     35 | 78.168 % |
578.32/578.75	c |    287802 |   15055    72207   211319 |   279165   286960     35 | 78.168 % |
578.82/579.28	c |    287963 |   15055    72207   211319 |   279165   287121     35 | 78.168 % |
579.42/579.87	c |    288141 |   15055    72207   211319 |   279165   287299     35 | 78.168 % |
580.12/580.55	c |    288336 |   15055    72207   211319 |   279165   287494     35 | 78.168 % |
580.82/581.27	c |    288550 |   15055    72207   211319 |   279165   287708     35 | 78.168 % |
581.72/582.13	c |    288785 |   15055    72207   211319 |   279165   287943     35 | 78.168 % |
582.82/583.25	c |    289043 |   15055    72207   211319 |   279165   288201     35 | 78.168 % |
583.82/584.20	c |    289324 |   15055    72207   211319 |   279165   288482     35 | 78.168 % |
585.12/585.51	c |    289633 |   15055    72207   211319 |   279165   288791     35 | 78.168 % |
586.22/586.66	c |    289972 |   15055    72207   211319 |   279165   289130     35 | 78.168 % |
587.42/587.88	c |    290344 |   15055    72207   211319 |   289161   289502     35 | 78.168 % |
589.02/589.49	c |    290754 |   15055    72207   211319 |   289161   289912     35 | 78.168 % |
590.52/590.92	c |    291205 |   15055    72207   211319 |   289161   290363     35 | 78.168 % |
592.12/592.59	c |    291698 |   15055    72207   211319 |   289161   290856     35 | 78.168 % |
594.02/594.42	c |    292240 |   15055    72207   211319 |   289161   291398     35 | 78.168 % |
596.11/596.54	c |    292836 |   14980    71817   210073 |   289161   291978     35 | 78.168 % |
598.31/598.79	c |    293493 |   14980    71817   210073 |   289161   292635     35 | 78.168 % |
600.71/601.11	c |    294213 |   14980    71817   210073 |   289161   293355     35 | 78.168 % |
603.21/603.68	c |    295005 |   14980    71817   210073 |   289161   294147     35 | 78.168 % |
605.91/606.34	c |    295877 |   14980    71817   210073 |   289161   295019     35 | 78.168 % |
608.91/609.38	c |    296837 |   14980    71817   210073 |   289161   295979     35 | 78.168 % |
612.60/613.01	c |    297890 |   14980    71817   210073 |   289161   297032     35 | 78.168 % |
616.80/617.25	c |    299048 |   14980    71817   210073 |   289161   298190     35 | 78.168 % |
620.60/621.01	c |    300321 |   14980    71817   210073 |   299144   299463     35 | 78.168 % |
624.90/625.38	c |    301721 |   14980    71817   210073 |   299144   300863     35 | 78.168 % |
629.80/630.21	c |    303262 |   14980    71817   210073 |   299144   302404     35 | 78.168 % |
635.10/635.51	c |    304956 |   14980    71817   210073 |   299144   304098     35 | 78.168 % |
642.19/642.61	c |    306821 |   14980    71817   210073 |   299144   305963     35 | 78.168 % |
649.09/649.58	c |    308870 |   14980    71817   210073 |   299144   308012     35 | 78.168 % |
657.08/657.54	c |    311123 |   14964    71722   209799 |   309131   310254     35 | 78.191 % |
665.88/666.38	c |    313603 |   14964    71722   209799 |   309131   312734     35 | 78.191 % |
675.28/675.76	c |    316328 |   14964    71722   209799 |   309131   315459     35 | 78.191 % |
685.98/686.46	c |    319325 |   14964    71722   209799 |   309131   318456     35 | 78.191 % |
686.47/686.95	c |    319425 |   14964    71722   209799 |   309131   318556     35 | 78.191 % |
686.98/687.42	c |    319536 |   14964    71722   209799 |   309131   318667     35 | 78.191 % |
687.37/687.85	c |    319657 |   14964    71722   209799 |   309131   318788     35 | 78.191 % |
687.87/688.32	c |    319793 |   14964    71722   209799 |   309131   318924     35 | 78.191 % |
688.37/688.84	c |    319939 |   14964    71722   209799 |   309131   319070     35 | 78.191 % |
688.87/689.36	c |    320099 |   14964    71722   209799 |   319131   319230     35 | 78.191 % |
689.47/689.92	c |    320275 |   14964    71722   209799 |   319131   319406     35 | 78.191 % |
690.28/690.78	c |    320469 |   14964    71722   209799 |   319131   319600     35 | 78.191 % |
691.17/691.66	c |    320681 |   14964    71722   209799 |   319131   319812     35 | 78.191 % |
692.17/692.69	c |    320914 |   14964    71722   209799 |   319131   320045     35 | 78.191 % |
693.37/693.87	c |    321172 |   14964    71722   209799 |   319131   320303     35 | 78.191 % |
694.47/694.94	c |    321454 |   14964    71722   209799 |   319131   320585     35 | 78.191 % |
695.57/696.09	c |    321763 |   14964    71722   209799 |   319131   320894     35 | 78.191 % |
696.98/697.48	c |    322103 |   14964    71722   209799 |   319131   321234     35 | 78.191 % |
698.47/698.91	c |    322476 |   14964    71722   209799 |   319131   321607     35 | 78.191 % |
699.87/700.33	c |    322887 |   14964    71722   209799 |   319131   322018     35 | 78.191 % |
701.37/701.89	c |    323337 |   14964    71722   209799 |   319131   322468     35 | 78.191 % |
702.86/703.30	c |    323830 |   14964    71722   209799 |   319131   322961     35 | 78.191 % |
704.56/705.10	c |    324373 |   14964    71722   209799 |   319131   323504     35 | 78.191 % |
706.66/707.12	c |    324970 |   14964    71722   209799 |   319131   324101     35 | 78.191 % |
708.76/709.24	c |    325626 |   14964    71722   209799 |   319131   324757     35 | 78.191 % |
711.96/712.41	c |    326346 |   14964    71722   209799 |   319131   325477     35 | 78.191 % |
715.16/715.66	c |    327141 |   14964    71722   209799 |   319131   326272     35 | 78.191 % |
719.15/719.67	c |    328012 |   14964    71722   209799 |   319131   327143     35 | 78.191 % |
723.05/723.52	c |    328970 |   14964    71722   209799 |   319131   328101     35 | 78.191 % |
726.75/727.26	c |    330023 |   14964    71722   209799 |   329132   329154     35 | 78.191 % |
730.35/730.84	c |    331182 |   14964    71722   209799 |   329132   330313     35 | 78.191 % |
734.85/735.33	c |    332457 |   14964    71722   209799 |   329132   331588     35 | 78.191 % |
738.76/739.23	c |    333859 |   14964    71722   209799 |   329132   332990     35 | 78.191 % |
743.35/743.88	c |    335400 |   14964    71722   209799 |   329132   334531     35 | 78.191 % |
749.45/749.95	c |    337094 |   14964    71722   209799 |   329132   336225     35 | 78.191 % |
754.64/755.11	c |    338958 |   14964    71722   209799 |   329132   338089     35 | 78.191 % |
760.54/761.05	c |    341007 |   14964    71722   209799 |   339132   340138     35 | 78.191 % |
767.74/768.22	c |    343261 |   14964    71722   209799 |   339132   342392     35 | 78.191 % |
774.53/775.09	c |    345741 |   14964    71722   209799 |   339132   344872     35 | 78.191 % |
785.03/785.54	c |    348466 |   14964    71722   209799 |   339132   347597     35 | 78.191 % |
795.72/796.23	c |    351463 |   14951    71635   209555 |   349132   350588     35 | 78.210 % |
806.71/807.23	c |    354760 |   14951    71635   209555 |   349132   353885     35 | 78.210 % |
807.21/807.73	c |    354861 |   14951    71635   209555 |   349132   353986     35 | 78.210 % |
807.71/808.21	c |    354971 |   14951    71635   209555 |   349132   354096     35 | 78.210 % |
808.11/808.63	c |    355094 |   14951    71635   209555 |   349132   354219     35 | 78.210 % |
808.71/809.22	c |    355227 |   14951    71635   209555 |   349132   354352     35 | 78.210 % |
809.21/809.71	c |    355373 |   14951    71635   209555 |   349132   354498     35 | 78.210 % |
809.81/810.31	c |    355535 |   14951    71635   209555 |   349132   354660     35 | 78.210 % |
810.51/811.04	c |    355711 |   14951    71635   209555 |   349132   354836     35 | 78.210 % |
811.51/812.04	c |    355905 |   14951    71635   209555 |   349132   355030     35 | 78.210 % |
812.51/813.07	c |    356118 |   14951    71635   209555 |   349132   355243     35 | 78.210 % |
813.42/813.94	c |    356351 |   14951    71635   209555 |   349132   355476     35 | 78.210 % |
814.31/814.89	c |    356607 |   14951    71635   209555 |   349132   355732     35 | 78.210 % |
815.21/815.78	c |    356888 |   14951    71635   209555 |   349132   356013     35 | 78.210 % |
816.41/816.95	c |    357197 |   14951    71635   209555 |   349132   356322     35 | 78.210 % |
817.41/817.98	c |    357536 |   14951    71635   209555 |   349132   356661     35 | 78.210 % |
818.41/818.97	c |    357909 |   14951    71635   209555 |   349132   357034     35 | 78.210 % |
819.72/820.26	c |    358318 |   14951    71635   209555 |   349132   357443     35 | 78.210 % |
821.22/821.77	c |    358769 |   14951    71635   209555 |   349132   357894     35 | 78.210 % |
822.42/822.99	c |    359263 |   14951    71635   209555 |   349132   358388     35 | 78.210 % |
823.82/824.38	c |    359806 |   14951    71635   209555 |   349132   358931     35 | 78.210 % |
825.62/826.16	c |    360405 |   14951    71635   209555 |   359127   359530     35 | 78.210 % |
827.72/828.25	c |    361061 |   14951    71635   209555 |   359127   360186     35 | 78.210 % |
830.21/830.71	c |    361783 |   14951    71635   209555 |   359127   360908     35 | 78.210 % |
833.91/834.42	c |    362576 |   14951    71635   209555 |   359127   361701     35 | 78.210 % |
836.61/837.11	c |    363447 |   14951    71635   209555 |   359127   362572     35 | 78.210 % |
840.01/840.51	c |    364406 |   14951    71635   209555 |   359127   363531     35 | 78.210 % |
844.11/844.65	c |    365459 |   14951    71635   209555 |   359127   364584     35 | 78.210 % |
847.70/848.23	c |    366617 |   14951    71635   209555 |   359127   365742     35 | 78.210 % |
851.60/852.14	c |    367890 |   14951    71635   209555 |   359127   367015     35 | 78.210 % |
857.70/858.24	c |    369290 |   14951    71635   209555 |   359127   368415     35 | 78.210 % |
863.30/863.88	c |    370830 |   14951    71635   209555 |   369126   369955     35 | 78.210 % |
869.19/869.75	c |    372525 |   14951    71635   209555 |   369126   371650     35 | 78.210 % |
875.59/876.15	c |    374388 |   14951    71635   209555 |   369126   373513     35 | 78.210 % |
885.08/885.69	c |    376438 |   14951    71635   209555 |   369126   375563     35 | 78.210 % |
892.08/892.69	c |    378692 |   14951    71635   209555 |   369126   377817     35 | 78.210 % |
899.68/900.29	c |    381173 |   14951    71635   209555 |   379126   380298     35 | 78.210 % |
908.17/908.73	c |    383898 |   14951    71635   209555 |   379126   383023     35 | 78.210 % |
917.87/918.47	c |    386895 |   14951    71635   209555 |   379126   386020     35 | 78.210 % |
931.07/931.64	c |    390194 |   14951    71635   209555 |   389127   389319     35 | 78.210 % |
945.56/946.13	c |    393821 |   14951    71635   209555 |   389127   392946     35 | 78.210 % |
946.06/946.68	c |    393922 |   14951    71635   209555 |   389127   393047     35 | 78.210 % |
946.66/947.20	c |    394032 |   14951    71635   209555 |   389127   393157     35 | 78.210 % |
947.15/947.75	c |    394155 |   14951    71635   209555 |   389127   393280     35 | 78.210 % |
947.85/948.42	c |    394290 |   14951    71635   209555 |   389127   393415     35 | 78.210 % |
948.45/949.03	c |    394436 |   14951    71635   209555 |   389127   393561     35 | 78.210 % |
949.35/950.00	c |    394600 |   14951    71635   209555 |   389127   393725     35 | 78.210 % |
950.75/951.35	c |    394776 |   14951    71635   209555 |   389127   393901     35 | 78.210 % |
951.55/952.17	c |    394969 |   14951    71635   209555 |   389127   394094     35 | 78.210 % |
952.45/953.08	c |    395182 |   14951    71635   209555 |   389127   394307     35 | 78.210 % |
953.35/953.92	c |    395418 |   14951    71635   209555 |   389127   394543     35 | 78.210 % |
954.36/954.97	c |    395674 |   14951    71635   209555 |   389127   394799     35 | 78.210 % |
955.56/956.19	c |    395958 |   14951    71635   209555 |   389127   395083     35 | 78.210 % |
956.66/957.21	c |    396271 |   14951    71635   209555 |   389127   395396     35 | 78.210 % |
958.06/958.68	c |    396610 |   14951    71635   209555 |   389127   395735     35 | 78.210 % |
959.36/959.91	c |    396982 |   14951    71635   209555 |   389127   396107     35 | 78.210 % |
960.76/961.32	c |    397392 |   14951    71635   209555 |   389127   396517     35 | 78.210 % |
962.66/963.21	c |    397842 |   14951    71635   209555 |   389127   396967     35 | 78.210 % |
965.06/965.64	c |    398337 |   14951    71635   209555 |   389127   397462     35 | 78.210 % |
967.26/967.89	c |    398882 |   14951    71635   209555 |   389127   398007     35 | 78.210 % |
969.45/970.07	c |    399479 |   14951    71635   209555 |   389127   398604     35 | 78.210 % |
971.76/972.38	c |    400134 |   14951    71635   209555 |   399127   399259     35 | 78.210 % |
974.15/974.79	c |    400854 |   14951    71635   209555 |   399127   399979     35 | 78.210 % |
976.95/977.58	c |    401646 |   14951    71635   209555 |   399127   400771     35 | 78.210 % |
979.65/980.28	c |    402520 |   14951    71635   209555 |   399127   401645     35 | 78.210 % |
983.44/984.04	c |    403479 |   14951    71635   209555 |   399127   402604     35 | 78.210 % |
988.04/988.66	c |    404532 |   14951    71635   209555 |   399127   403657     35 | 78.210 % |
992.95/993.56	c |    405691 |   14951    71635   209555 |   399127   404816     35 | 78.210 % |
998.04/998.61	c |    406964 |   14951    71635   209555 |   399127   406089     35 | 78.210 % |
1004.03/1004.61	c |    408364 |   14951    71635   209555 |   399127   407489     35 | 78.210 % |
1010.23/1010.81	c |    409905 |   14951    71635   209555 |   399127   409030     35 | 78.210 % |
1017.02/1017.68	c |    411599 |   14951    71635   209555 |   409126   410724     35 | 78.210 % |
1026.51/1027.14	c |    413463 |   14951    71635   209555 |   409126   412588     35 | 78.210 % |
1037.42/1038.03	c |    415512 |   14951    71635   209555 |   409126   414637     35 | 78.210 % |
1044.71/1045.31	c |    417765 |   14951    71635   209555 |   409126   416890     35 | 78.210 % |
1052.21/1052.85	c |    420243 |   14951    71635   209555 |   419126   419368     35 | 78.210 % |
1061.70/1062.30	c |    422968 |   14951    71635   209555 |   419126   422093     35 | 78.210 % |
1072.49/1073.12	c |    425967 |   14951    71635   209555 |   419126   425092     35 | 78.210 % |
1084.80/1085.45	c |    429264 |   14951    71635   209555 |   419126   428389     35 | 78.210 % |
1098.00/1098.60	c |    432889 |   14951    71635   209555 |   429125   432014     35 | 78.210 % |
1113.48/1114.19	c |    436876 |   14951    71635   209555 |   429125   436001     35 | 78.210 % |
1113.98/1114.65	c |    436977 |   14951    71635   209555 |   429125   436102     35 | 78.210 % |
1114.48/1115.19	c |    437091 |   14951    71635   209555 |   429125   436216     35 | 78.210 % |
1115.28/1115.93	c |    437212 |   14951    71635   209555 |   429125   436337     35 | 78.210 % |
1115.89/1116.53	c |    437346 |   14951    71635   209555 |   429125   436471     35 | 78.210 % |
1116.48/1117.17	c |    437493 |   14951    71635   209555 |   429125   436618     35 | 78.210 % |
1117.08/1117.73	c |    437653 |   14951    71635   209555 |   429125   436778     35 | 78.210 % |
1117.88/1118.56	c |    437830 |   14951    71635   209555 |   429125   436955     35 | 78.210 % |
1118.98/1119.63	c |    438023 |   14951    71635   209555 |   429125   437148     35 | 78.210 % |
1119.78/1120.46	c |    438235 |   14951    71635   209555 |   429125   437360     35 | 78.210 % |
1120.48/1121.14	c |    438469 |   14951    71635   209555 |   429125   437594     35 | 78.210 % |
1121.38/1122.02	c |    438725 |   14951    71635   209555 |   429125   437850     35 | 78.210 % |
1122.48/1123.11	c |    439007 |   14951    71635   209555 |   429125   438132     35 | 78.210 % |
1123.58/1124.27	c |    439316 |   14951    71635   209555 |   429125   438441     35 | 78.210 % |
1124.98/1125.62	c |    439657 |   14951    71635   209555 |   429125   438782     35 | 78.210 % |
1126.38/1127.07	c |    440030 |   14951    71635   209555 |   439125   439155     35 | 78.210 % |
1127.88/1128.57	c |    440439 |   14951    71635   209555 |   439125   439564     35 | 78.210 % |
1130.58/1131.26	c |    440889 |   14951    71635   209555 |   439125   440014     35 | 78.210 % |
1133.08/1133.71	c |    441384 |   14951    71635   209555 |   439125   440509     35 | 78.210 % |
1134.98/1135.70	c |    441926 |   14951    71635   209555 |   439125   441051     35 | 78.210 % |
1137.17/1137.81	c |    442524 |   14951    71635   209555 |   439125   441649     35 | 78.210 % |
1139.47/1140.19	c |    443181 |   14951    71635   209555 |   439125   442306     35 | 78.210 % |
1142.77/1143.47	c |    443903 |   14951    71635   209555 |   439125   443028     35 | 78.210 % |
1145.47/1146.18	c |    444695 |   14951    71635   209555 |   439125   443820     35 | 78.210 % |
1148.27/1148.99	c |    445570 |   14951    71635   209555 |   439125   444695     35 | 78.210 % |
1151.76/1152.40	c |    446531 |   14951    71635   209555 |   439125   445656     35 | 78.210 % |
1155.86/1156.50	c |    447585 |   14951    71635   209555 |   439125   446710     35 | 78.210 % |
1159.86/1160.58	c |    448744 |   14951    71635   209555 |   439125   447869     35 | 78.210 % |
1165.26/1165.91	c |    450017 |   14951    71635   209555 |   449127   449142     35 | 78.210 % |
1170.35/1171.01	c |    451420 |   14951    71635   209555 |   449127   450545     35 | 78.210 % |
1175.66/1176.30	c |    452961 |   14951    71635   209555 |   449127   452086     35 | 78.210 % |
1181.36/1182.08	c |    454655 |   14951    71635   209555 |   449127   453780     35 | 78.210 % |
1187.75/1188.49	c |    456519 |   14951    71635   209555 |   449127   455644     35 | 78.210 % |
1199.14/1199.87	c |    458568 |   14951    71635   209555 |   449127   457693     35 | 78.210 % |

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-1832029-1242767376/watcher-1832029-1242767376 -o /tmp/evaluation-result-1832029-1242767376/solver-1832029-1242767376 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832029-1242767376.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.94 2/64 6715
/proc/meminfo: memFree=1907208/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=0
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 276 0 0 0 0 0 0 0 20 0 1 0 304771231 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 237788430418 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/6715/statm: 1339 235 195 169 0 50 0
[pid=6716] ppid=6715 vsize=5356 CPUtime=0
/proc/6716/stat : 6716 (SatELiteGTI) S 6715 6715 6563 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 304771231 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/6716/statm: 1339 238 198 169 0 50 0
[pid=6718] ppid=6716 vsize=2584 CPUtime=0
/proc/6718/stat : 6718 (sed) R 6716 6715 6563 0 -1 4194304 128 0 0 0 0 0 0 0 25 0 1 0 304771231 2646016 101 1992294400 4194304 4240196 548682069056 18446744073709551615 237788325168 0 0 4096 0 0 0 0 17 1 0 0
/proc/6718/statm: 649 107 86 11 0 53 0

[startup+0.04658 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 6715
/proc/meminfo: memFree=1907208/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=0
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304771231 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101584 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 6715
/proc/meminfo: memFree=1907208/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=0
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304771231 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301603 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 6715
/proc/meminfo: memFree=1907208/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=0
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304771231 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701644 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 6715
/proc/meminfo: memFree=1907208/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=0
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304771231 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50174 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6720
/proc/meminfo: memFree=1813432/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=0
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304771231 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1339 237 197 169 0 50 0
[pid=6720] ppid=6715 vsize=105740 CPUtime=1.49
/proc/6720/stat : 6720 (SatELite_releas) R 6715 6715 6563 0 -1 4194304 26530 0 0 0 132 17 0 0 25 0 1 0 304771231 108277760 24379 1992294400 134512640 135223648 4294956128 18446744073709551615 134586649 0 0 4096 3 0 0 0 17 1 0 0
/proc/6720/statm: 26435 24379 76 173 0 26260 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111096

[startup+3.10189 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6720
/proc/meminfo: memFree=1803192/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=0
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304771231 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1339 237 197 169 0 50 0
[pid=6720] ppid=6715 vsize=110444 CPUtime=3.08
/proc/6720/stat : 6720 (SatELite_releas) R 6715 6715 6563 0 -1 4194304 27880 0 0 0 290 18 0 0 25 0 1 0 304771231 113094656 25570 1992294400 134512640 135223648 4294956128 18446744073709551615 134586640 0 0 4096 3 0 0 0 17 0 0 0
/proc/6720/statm: 27611 25570 76 173 0 27436 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 115800

[startup+6.30123 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6720
/proc/meminfo: memFree=1797048/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=0
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 310 249 0 0 0 0 0 0 21 0 1 0 304771231 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6715/statm: 1339 237 197 169 0 50 0
[pid=6720] ppid=6715 vsize=131156 CPUtime=6.27
/proc/6720/stat : 6720 (SatELite_releas) R 6715 6715 6563 0 -1 4194304 34266 0 0 0 605 22 0 0 25 0 1 0 304771231 134303744 27775 1992294400 134512640 135223648 4294956128 18446744073709551615 134601740 0 0 4096 3 0 0 0 17 0 0 0
/proc/6720/statm: 32789 27775 76 173 0 32614 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 136512

[startup+12.7019 s]
/proc/loadavg: 1.08 1.02 0.94 2/66 6721
/proc/meminfo: memFree=1869240/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=24980 CPUtime=5.49
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 5922 0 0 0 546 3 0 0 25 0 1 0 304771950 25579520 5883 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 6245 5883 77 171 0 6072 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 30336

[startup+25.5012 s]
/proc/loadavg: 1.06 1.02 0.94 2/66 6721
/proc/meminfo: memFree=1869432/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=24980 CPUtime=18.28
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 5934 0 0 0 1825 3 0 0 25 0 1 0 304771950 25579520 5895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 6245 5895 77 171 0 6072 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 30336

[startup+51.1018 s]
/proc/loadavg: 1.04 1.01 0.94 2/66 6721
/proc/meminfo: memFree=1869048/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=25552 CPUtime=43.86
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 6080 0 0 0 4382 4 0 0 25 0 1 0 304771950 26165248 6041 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 6388 6041 77 171 0 6215 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 30908

[startup+102.305 s]
/proc/loadavg: 1.02 1.01 0.94 2/66 6721
/proc/meminfo: memFree=1862456/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=32020 CPUtime=95.01
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 7661 0 0 0 9496 5 0 0 25 0 1 0 304771950 32788480 7622 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 8005 7622 77 171 0 7832 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 37376

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1855800/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=38836 CPUtime=154.97
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 9346 0 0 0 15490 7 0 0 25 0 1 0 304771950 39768064 9307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 9709 9307 77 171 0 9536 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 44192

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1849912/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=44700 CPUtime=214.95
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 10770 0 0 0 21486 9 0 0 25 0 1 0 304771950 45772800 10731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 11175 10731 77 171 0 11002 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 50056

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1844856/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=49712 CPUtime=274.92
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 12029 0 0 0 27482 10 0 0 25 0 1 0 304771950 50905088 11990 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 12428 11990 77 171 0 12255 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 55068

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1839736/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=54744 CPUtime=334.89
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 13263 0 0 0 33477 12 0 0 25 0 1 0 304771950 56057856 13224 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 13686 13224 77 171 0 13513 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 60100

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1835320/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=59476 CPUtime=394.86

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

/proc/6721/statm: 17575 17074 77 171 0 17402 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 75656

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1820600/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=73592 CPUtime=634.76
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 17916 0 0 0 63460 16 0 0 25 0 1 0 304771950 75358208 17877 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 18398 17877 77 171 0 18225 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 78948

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1817336/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=77488 CPUtime=694.72
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 18718 0 0 0 69455 17 0 0 25 0 1 0 304771950 79347712 18679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 19372 18679 77 171 0 19199 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 82844

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1814136/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=80520 CPUtime=754.7
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 19476 0 0 0 75452 18 0 0 25 0 1 0 304771950 82452480 19437 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 20130 19437 77 171 0 19957 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 85876

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1810936/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=83660 CPUtime=814.68
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 20260 0 0 0 81449 19 0 0 25 0 1 0 304771950 85667840 20221 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 20915 20221 77 171 0 20742 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 89016

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1807736/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=86948 CPUtime=874.64
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 21025 0 0 0 87445 19 0 0 25 0 1 0 304771950 89034752 20986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 21737 20986 77 171 0 21564 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 92304

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1804536/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=90080 CPUtime=934.62
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 21825 0 0 0 93443 19 0 0 25 0 1 0 304771950 92241920 21786 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 22520 21786 77 171 0 22347 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 95436

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1801336/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=93108 CPUtime=994.59
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 22572 0 0 0 99438 21 0 0 25 0 1 0 304771950 95342592 22533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 23277 22533 77 171 0 23104 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 98464

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1798264/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=96152 CPUtime=1054.56
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 23352 0 0 0 105434 22 0 0 25 0 1 0 304771950 98459648 23313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 24038 23313 77 171 0 23865 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 101508

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1795000/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=99428 CPUtime=1114.54
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 24126 0 0 0 111431 23 0 0 25 0 1 0 304771950 101814272 24087 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 24857 24087 77 171 0 24684 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 104784

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1791672/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=102580 CPUtime=1174.52
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 24945 0 0 0 117428 24 0 0 25 0 1 0 304771950 105041920 24906 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 25645 24906 77 171 0 25472 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 107936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6721
/proc/meminfo: memFree=1790840/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=103488 CPUtime=1192.9
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 25144 0 0 0 119266 24 0 0 25 0 1 0 304771950 105971712 25105 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 25872 25105 77 171 0 25699 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 108844

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.94 2/66 6721
/proc/meminfo: memFree=1790840/2055920 swapFree=4180424/4192956
[pid=6715] ppid=6713 vsize=5356 CPUtime=7.14
/proc/6715/stat : 6715 (SatELiteGTI) S 6713 6715 6563 0 -1 4194304 336 41057 0 0 0 0 684 30 16 0 1 0 304771231 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6715/statm: 1339 239 197 169 0 50 0
[pid=6721] ppid=6715 vsize=103488 CPUtime=1192.9
/proc/6721/stat : 6721 (minisat_static) R 6715 6715 6563 0 -1 4194304 25144 0 0 0 119266 24 0 0 25 0 1 0 304771950 105971712 25105 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6721/statm: 25872 25105 77 171 0 25699 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 108844

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6715 and gives
#  childrusage.ru_utime.tv_sec=6
#  childrusage.ru_utime.tv_usec=850958
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=309952
# CPU time returned by wait4() is 7.16091
# while last known CPU time is 1200.04
#
# 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.04
CPU user time (s): 1199.5
CPU system time (s): 0.54
CPU usage (%): 99.944
Max. virtual memory (cumulated for all children) (KiB): 136512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.85096
system time used= 0.309952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41393
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 34

runsolver used 1.17882 second user time and 3.2685 second system time

The end

Launcher Data 

Begin job on node24 at 2009-05-19 23:09:37
IDJOB=1832029
IDBENCH=20381
IDSOLVER=671
FILE ID=node24/1832029-1242767376
PBS_JOBID= 9322274
Free space on /tmp= 66320 MiB

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

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

MD5SUM BENCH= 3be331331884289c55e55acdeed55dc7
RANDOM SEED=116215484

node24.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.232
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.232
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:       1907688 kB
Buffers:          9384 kB
Cached:         101808 kB
SwapCached:       6720 kB
Active:          66772 kB
Inactive:        53284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1907688 kB
SwapTotal:     4192956 kB
SwapFree:      4180424 kB
Dirty:           19392 kB
Writeback:           0 kB
Mapped:          13964 kB
Slab:            14164 kB
Committed_AS:  1015596 kB
PageTables:       1444 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= 66304 MiB
End job on node24 at 2009-05-19 23:29:40