Trace number 1832027

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
MD5SUM83ece6745238c422c7e68e5a07fc7f73
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark387.769
Satisfiable
(Un)Satisfiability was proved
Number of variables183464
Number of clauses855717
Sum of the clauses size1974802
Maximum clause length10
Minimum clause length1
Number of clauses of size 115316
Number of clauses of size 2664917
Number of clauses of size 3141084
Number of clauses of size 43820
Number of clauses of size 515280
Number of clauses of size over 515300

Solver Data 

0.00/0.00	c Parsing...
0.00/0.64	c ==============================================================================
0.00/0.64	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.64	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.64	c ==============================================================================
0.00/0.64	c |         0 |  840401  1959486 |  252120       0        0     nan |  0.000 % |
5.88/5.96	c |         0 |  357793   957950 |      --       0       --      -- |     --   | -306964/-605014
5.88/5.96	c ==============================================================================
5.88/5.96	c Result  :   #vars: 59617   #clauses: 357793   #literals: 957950
5.88/5.96	c CPU time:   5.73213 s
5.88/5.96	c ==============================================================================
6.27/6.32	c This is MiniSat 2.0 beta
6.27/6.32	c WARNING: for repeatability, setting FPU to use double precision
6.27/6.32	c ============================[ Problem Statistics ]=============================
6.27/6.32	c |                                                                             |
6.27/6.33	c |  Number of variables:  59617                                                |
6.27/6.33	c |  Number of clauses:    357793                                               |
6.48/6.55	c |  Parsing time:         0.19         s                                       |
6.48/6.56	c ============================[ Search Statistics ]==============================
6.48/6.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.48/6.56	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.48/6.56	c ===============================================================================
6.48/6.56	c |         0 |   59617   357793   957950 |   119264        0    nan |  0.000 % |
6.67/6.76	c |       100 |   59320   357793   957950 |   119264       89     24 |  9.336 % |
6.77/6.89	c |       200 |   58834   357793   957950 |   119264      167     19 | 19.129 % |
7.07/7.15	c |       300 |   44998   261336   716196 |   119264      212     24 | 24.522 % |
7.37/7.45	c |       410 |   44809   261336   716196 |   119264      308     24 | 27.521 % |
7.67/7.73	c |       510 |   42552   245711   676918 |   119264      390     27 | 28.722 % |
7.87/7.96	c |       620 |   42474   245711   676918 |   119264      490     28 | 29.773 % |
8.17/8.28	c |       744 |   41812   241457   665737 |   119264      596     30 | 31.736 % |
8.37/8.44	c |       844 |   41735   241457   665737 |   119264      691     33 | 34.314 % |
8.57/8.63	c |       954 |   39160   223855   621240 |   119264      779     35 | 34.314 % |
8.77/8.86	c |      1076 |   39155   223855   621240 |   119264      897     34 | 40.019 % |
8.97/9.07	c |      1210 |   35744   199189   554207 |   119264      999     36 | 40.044 % |
9.17/9.26	c |      1310 |   35744   199189   554207 |   119264     1099     43 | 40.044 % |
9.27/9.36	c |      1420 |   35744   199189   554207 |   119264     1209     45 | 40.044 % |
9.47/9.58	c |      1542 |   35361   196773   548025 |   119264     1326     48 | 40.705 % |
9.77/9.85	c |      1675 |   34370   190217   532030 |   119264     1446     47 | 42.365 % |
9.97/10.00	c |      1821 |   34360   190217   532030 |   119264     1590     46 | 46.683 % |
10.17/10.22	c |      1921 |   34341   190217   532030 |   119264     1684     46 | 47.595 % |
10.27/10.38	c |      2031 |   31242   170365   479745 |   119264     1737     49 | 47.596 % |
10.47/10.56	c |      2153 |   31242   170365   479745 |   119264     1859     48 | 47.595 % |
10.77/10.81	c |      2286 |   31233   170286   479546 |   119264     1991     51 | 47.611 % |
10.97/11.01	c |      2436 |   31233   170286   479546 |   119264     2141     54 | 47.611 % |
11.17/11.26	c |      2597 |   31233   170286   479546 |   119264     2301     57 | 47.626 % |
11.27/11.34	c |      2698 |   31224   170216   479385 |   119264     2402     57 | 47.626 % |
11.47/11.57	c |      2808 |   31224   170216   479385 |   119264     2512     61 | 47.626 % |
11.67/11.72	c |      2929 |   31224   170216   479385 |   119264     2633     61 | 47.626 % |
11.77/11.87	c |      3063 |   31224   170216   479385 |   119264     2767     61 | 47.626 % |
11.97/12.05	c |      3210 |   31224   170216   479385 |   119264     2914     62 | 47.626 % |
12.27/12.36	c |      3371 |   31210   170128   479142 |   119264     3069     62 | 47.844 % |
12.47/12.53	c |      3549 |   31210   170128   479142 |   119264     3247     63 | 47.844 % |
12.57/12.63	c |      3649 |   31206   170128   479142 |   119264     3345     63 | 47.980 % |
12.77/12.89	c |      3759 |   31013   168748   475694 |   119264     3454     63 | 47.980 % |
12.96/13.06	c |      3881 |   31013   168748   475694 |   119264     3576     65 | 47.980 % |
13.17/13.21	c |      4014 |   31012   168748   475694 |   119264     3708     66 | 48.000 % |
13.36/13.41	c |      4160 |   31001   168663   475466 |   119264     3844     65 | 48.097 % |
13.46/13.59	c |      4322 |   30998   168663   475466 |   119264     4003     65 | 48.357 % |
13.76/13.85	c |      4500 |   30675   166724   470407 |   119264     4176     64 | 48.547 % |
13.96/14.07	c |      4693 |   30651   166724   470407 |   119264     4364     63 | 48.803 % |
14.17/14.23	c |      4793 |   30651   166724   470407 |   119264     4464     64 | 48.803 % |
14.27/14.38	c |      4904 |   30651   166724   470407 |   119264     4575     64 | 48.803 % |
14.46/14.58	c |      5026 |   30522   165606   467666 |   119264     4686     64 | 48.803 % |
14.76/14.86	c |      5159 |   30354   165606   467666 |   119264     4812     63 | 64.742 % |
14.96/15.05	c |      5307 |   30354   165606   467666 |   119264     4960     63 | 64.742 % |
15.26/15.38	c |      5467 |   21018   104368   301676 |   119264     4931     65 | 64.799 % |
15.46/15.57	c |      5643 |   21014   104368   301676 |   119264     5106     64 | 64.822 % |
15.76/15.89	c |      5837 |   20971   104034   300791 |   119264     5294     63 | 64.839 % |
16.06/16.14	c |      6049 |   20970   104034   300791 |   119264     5505     63 | 64.861 % |
16.16/16.29	c |      6150 |   20949   103866   300331 |   119264     5605     62 | 64.877 % |
16.36/16.40	c |      6261 |   20949   103866   300331 |   119264     5716     62 | 64.877 % |
16.46/16.51	c |      6382 |   20949   103866   300331 |   119264     5837     62 | 64.878 % |
16.56/16.63	c |      6517 |   20949   103866   300331 |   119264     5972     61 | 64.877 % |
16.66/16.75	c |      6663 |   20937   103791   300142 |   119264     6117     60 | 65.129 % |
16.76/16.85	c |      6825 |   20937   103791   300142 |   119264     6279     60 | 65.129 % |
17.05/17.14	c |      7001 |   20931   103791   300142 |   119264     6455     60 | 65.129 % |
17.25/17.34	c |      7197 |   20789   102909   297742 |   119264     6591     59 | 65.129 % |
17.35/17.49	c |      7412 |   20789   102909   297742 |   119264     6806     59 | 65.129 % |
17.65/17.72	c |      7645 |   20789   102909   297742 |   119264     7039     58 | 65.129 % |
17.75/17.80	c |      7745 |   20789   102909   297742 |   119264     7139     57 | 65.129 % |
17.85/17.91	c |      7855 |   20789   102909   297742 |   119264     7249     57 | 65.129 % |
17.95/18.05	c |      7976 |   20789   102909   297742 |   119264     7370     56 | 65.129 % |
18.05/18.14	c |      8109 |   20789   102909   297742 |   119264     7503     56 | 65.129 % |
18.15/18.24	c |      8255 |   20789   102909   297742 |   119264     7649     55 | 65.129 % |
18.25/18.34	c |      8415 |   20789   102909   297742 |   119264     7809     55 | 65.129 % |
18.35/18.48	c |      8591 |   20789   102909   297742 |   119264     7985     54 | 65.129 % |
18.56/18.64	c |      8785 |   20789   102909   297742 |   119264     8179     54 | 65.129 % |
18.75/18.80	c |      8997 |   20789   102909   297742 |   119264     8391     53 | 65.129 % |
18.95/19.02	c |      9231 |   20789   102909   297742 |   119264     8625     53 | 65.129 % |
19.15/19.23	c |      9488 |   20789   102909   297742 |   119264     8882     52 | 65.129 % |
19.25/19.32	c |      9589 |   20789   102909   297742 |   119264     8983     52 | 65.129 % |
19.35/19.41	c |      9699 |   20789   102909   297742 |   119264     9093     52 | 65.129 % |
19.55/19.61	c |      9821 |   20266   100207   290249 |   119264     9214     52 | 66.006 % |
19.66/19.74	c |      9954 |   20266   100207   290249 |   119264     9347     52 | 66.006 % |
19.76/19.87	c |     10100 |   20266   100207   290249 | 2147483647     9493     52 | 66.006 % |
19.85/19.99	c |     10262 |   20266   100207   290249 | 2147483647     9655     52 | 66.006 % |
20.05/20.17	c |     10438 |   20266   100207   290249 | 2147483647     9831     51 | 66.006 % |
20.25/20.34	c |     10633 |   20266   100207   290249 | 2147483647    10026     51 | 66.006 % |
20.55/20.60	c |     10845 |   20266   100207   290249 | 2147483647    10238     51 | 66.006 % |
20.75/20.82	c |     11078 |   20266   100207   290249 | 2147483647    10471     50 | 66.006 % |
20.95/21.05	c |     11334 |   20266   100207   290249 | 2147483647    10727     51 | 66.006 % |
21.25/21.37	c |     11615 |   20252   100113   289977 | 2147483647    11007     50 | 66.030 % |
21.35/21.44	c |     11716 |   20252   100113   289977 | 2147483647    11108     50 | 66.030 % |
21.45/21.55	c |     11826 |   20252   100113   289977 | 2147483647    11218     50 | 66.030 % |
21.55/21.67	c |     11947 |   20252   100113   289977 | 2147483647    11339     50 | 66.030 % |
21.75/21.81	c |     12081 |   20243   100042   289805 | 2147483647    11470     50 | 66.045 % |
21.85/21.98	c |     12227 |   20243   100042   289805 | 2147483647    11616     50 | 66.045 % |
22.15/22.25	c |     12387 |   20243   100042   289805 | 2147483647    11776     50 | 66.045 % |
22.35/22.49	c |     12563 |   20243   100042   289805 | 2147483647    11952     50 | 66.045 % |
22.65/22.73	c |     12756 |   20243   100042   289805 | 2147483647    12145     50 | 66.045 % |
22.85/22.96	c |     12968 |   20230    99948   289558 | 2147483647    12356     50 | 66.067 % |
23.15/23.30	c |     13201 |   20229    99948   289558 | 2147483647    12587     49 | 66.105 % |
23.55/23.67	c |     13457 |   20215    99948   289558 | 2147483647    12842     49 | 66.629 % |
23.95/24.01	c |     13738 |   19883    97782   283526 | 2147483647    13097     49 | 69.910 % |
24.25/24.33	c |     14051 |   19883    97782   283526 | 2147483647    13410     49 | 69.910 % |
24.35/24.45	c |     14153 |   19883    97782   283526 | 2147483647    13512     49 | 69.910 % |
24.45/24.57	c |     14264 |   17939    86677   251377 | 2147483647    13472     49 | 69.910 % |
24.55/24.68	c |     14386 |   17939    86677   251377 | 2147483647    13594     49 | 69.910 % |
24.75/24.81	c |     14520 |   17939    86677   251377 | 2147483647    13728     48 | 69.910 % |
24.85/24.94	c |     14669 |   17939    86677   251377 | 2147483647    13877     48 | 69.910 % |
25.05/25.16	c |     14829 |   17939    86677   251377 | 2147483647    14037     48 | 69.910 % |
25.25/25.38	c |     15007 |   17939    86677   251377 | 2147483647    14215     48 | 69.910 % |
25.54/25.64	c |     15200 |   17489    83748   244039 | 2147483647    14407     48 | 70.664 % |
25.74/25.89	c |     15416 |   17489    83748   244039 | 2147483647    14623     48 | 70.664 % |
26.04/26.15	c |     15649 |   17487    83748   244039 | 2147483647    14853     48 | 70.938 % |
26.35/26.48	c |     15906 |   17312    82753   241580 | 2147483647    15100     48 | 70.961 % |
26.64/26.70	c |     16187 |   17312    82753   241580 | 2147483647    15381     48 | 70.961 % |
27.04/27.12	c |     16496 |   17312    82753   241580 | 2147483647    15690     48 | 70.961 % |
27.34/27.43	c |     16835 |   17312    82753   241580 | 2147483647    16029     47 | 70.961 % |
27.44/27.53	c |     16936 |   17312    82753   241580 | 2147483647    16130     47 | 70.961 % |
27.54/27.67	c |     17047 |   17312    82753   241580 | 2147483647    16241     47 | 70.961 % |
27.64/27.79	c |     17168 |   17312    82753   241580 | 2147483647    16362     47 | 70.961 % |
27.84/27.94	c |     17301 |   17312    82753   241580 | 2147483647    16495     47 | 70.961 % |
28.04/28.10	c |     17447 |   17312    82753   241580 | 2147483647    16641     47 | 70.961 % |
28.14/28.28	c |     17609 |   17312    82753   241580 | 2147483647    16803     47 | 70.961 % |
28.34/28.47	c |     17785 |   17312    82753   241580 | 2147483647    16979     47 | 70.961 % |
28.64/28.73	c |     17979 |   17312    82753   241580 | 2147483647    17173     47 | 70.961 % |
28.84/28.95	c |     18193 |   17312    82753   241580 | 2147483647    17387     47 | 70.961 % |
29.24/29.30	c |     18426 |   17302    82679   241398 | 2147483647    17619     47 | 70.978 % |
29.44/29.53	c |     18682 |   17302    82679   241398 | 2147483647    17875     47 | 70.978 % |
29.84/29.93	c |     18963 |   17302    82679   241398 | 2147483647    18156     46 | 70.978 % |
30.14/30.20	c |     19272 |   17302    82679   241398 | 2147483647    18465     46 | 70.978 % |
30.43/30.53	c |     19612 |   17302    82679   241398 | 2147483647    18805     46 | 70.978 % |
30.74/30.87	c |     19987 |   17302    82679   241398 | 2147483647    19180     46 | 70.978 % |
30.83/30.98	c |     20087 |   17302    82679   241398 | 2147483647    19280     46 | 70.978 % |
30.93/31.08	c |     20199 |   17302    82679   241398 | 2147483647    19392     46 | 70.978 % |
31.13/31.21	c |     20322 |   17302    82679   241398 | 2147483647    19515     46 | 70.978 % |
31.23/31.38	c |     20457 |   17302    82679   241398 | 2147483647    19650     46 | 70.978 % |
31.43/31.55	c |     20605 |   17302    82679   241398 | 2147483647    19798     46 | 70.978 % |
31.74/31.85	c |     20765 |   17302    82679   241398 | 2147483647    19958     46 | 70.978 % |
32.03/32.10	c |     20942 |   17302    82679   241398 | 2147483647    20135     46 | 70.978 % |
32.23/32.34	c |     21135 |   17302    82679   241398 | 2147483647    20328     46 | 70.978 % |
32.53/32.63	c |     21347 |   16934    80296   235217 | 2147483647    20539     45 | 71.595 % |
32.73/32.90	c |     21581 |   16934    80296   235217 | 2147483647    20773     45 | 71.595 % |
33.03/33.15	c |     21837 |   16934    80296   235217 | 2147483647    21029     45 | 71.595 % |
33.43/33.50	c |     22118 |   16934    80296   235217 | 2147483647    21310     45 | 71.595 % |
33.83/33.90	c |     22429 |   16934    80296   235217 | 2147483647    21621     45 | 71.595 % |
34.23/34.32	c |     22768 |   16934    80296   235217 | 2147483647    21960     45 | 71.595 % |
34.73/34.80	c |     23142 |   16934    80296   235217 | 2147483647    22334     45 | 71.595 % |
35.13/35.24	c |     23551 |   16934    80296   235217 | 2147483647    22743     45 | 71.595 % |
35.23/35.35	c |     23651 |   16934    80296   235217 | 2147483647    22843     45 | 71.595 % |
35.33/35.47	c |     23762 |   16934    80296   235217 | 2147483647    22954     45 | 71.595 % |
35.53/35.62	c |     23888 |   16934    80296   235217 | 2147483647    23080     45 | 71.595 % |
35.73/35.82	c |     24021 |   16934    80296   235217 | 2147483647    23213     45 | 71.595 % |
35.83/35.93	c |     24167 |   16934    80296   235217 | 2147483647    23359     45 | 71.595 % |
36.03/36.13	c |     24328 |   16934    80296   235217 | 2147483647    23520     45 | 71.595 % |
36.23/36.36	c |     24504 |   16934    80296   235217 | 2147483647    23696     45 | 71.595 % |
36.43/36.54	c |     24697 |   16934    80296   235217 | 2147483647    23889     45 | 71.595 % |
36.63/36.78	c |     24911 |   16934    80296   235217 | 2147483647    24103     45 | 71.595 % |
36.93/37.00	c |     25147 |   16934    80296   235217 | 2147483647    24339     44 | 71.595 % |
37.13/37.26	c |     25403 |   16934    80296   235217 | 2147483647    24595     44 | 71.595 % |
37.43/37.51	c |     25686 |   16934    80296   235217 | 2147483647    24878     44 | 71.595 % |
37.73/37.80	c |     25996 |   16934    80296   235217 | 2147483647    25188     44 | 71.595 % |
38.03/38.13	c |     26337 |   16934    80296   235217 | 2147483647    25529     44 | 71.595 % |
38.34/38.50	c |     26709 |   16890    80080   234589 | 2147483647    25889     44 | 71.669 % |
38.74/38.87	c |     27119 |   16890    80080   234589 | 2147483647    26299     44 | 71.669 % |
39.23/39.39	c |     27570 |   16886    80080   234589 | 2147483647    26749     44 | 76.790 % |
39.44/39.51	c |     27672 |   13837    61212   181804 | 2147483647    26680     44 | 76.790 % |
39.54/39.63	c |     27783 |   13837    61212   181804 | 2147483647    26791     44 | 76.790 % |
39.63/39.75	c |     27904 |   13837    61212   181804 | 2147483647    26912     44 | 76.790 % |
39.73/39.89	c |     28037 |   13837    61212   181804 | 2147483647    27045     44 | 76.790 % |
39.83/39.98	c |     28183 |   13837    61212   181804 | 2147483647    27191     44 | 76.790 % |
40.13/40.20	c |     28343 |   13837    61212   181804 | 2147483647    27351     44 | 76.790 % |
40.23/40.36	c |     28519 |   13837    61212   181804 | 2147483647    27527     43 | 76.790 % |
40.43/40.57	c |     28712 |   13837    61212   181804 | 2147483647    27720     43 | 76.790 % |
40.83/40.91	c |     28924 |   13837    61212   181804 | 2147483647    27932     43 | 76.790 % |
41.13/41.20	c |     29159 |   13837    61212   181804 | 2147483647    28167     43 | 76.790 % |
41.33/41.49	c |     29415 |   13837    61212   181804 | 2147483647    28423     43 | 76.790 % |
41.63/41.73	c |     29698 |   13837    61212   181804 | 2147483647    28706     43 | 76.790 % |
41.93/42.04	c |     30012 |   13837    61212   181804 | 2147483647    29020     43 | 76.790 % |
42.23/42.31	c |     30351 |   13837    61212   181804 | 2147483647    29359     43 | 76.790 % |
42.63/42.80	c |     30723 |   13837    61212   181804 | 2147483647    29731     43 | 76.790 % |
43.23/43.39	c |     31132 |   13837    61212   181804 | 2147483647    30140     43 | 76.790 % |
43.93/44.06	c |     31584 |   13837    61212   181804 | 2147483647    30592     43 | 76.790 % |
44.42/44.50	c |     32077 |   13837    61212   181804 | 2147483647    31085     42 | 76.790 % |
44.42/44.60	c |     32177 |   13837    61212   181804 | 2147483647    31185     42 | 76.790 % |
44.62/44.71	c |     32287 |   13837    61212   181804 | 2147483647    31295     42 | 76.790 % |
44.72/44.84	c |     32409 |   13837    61212   181804 | 2147483647    31417     42 | 76.790 % |
44.82/44.97	c |     32542 |   13837    61212   181804 | 2147483647    31550     42 | 76.790 % |
44.93/45.10	c |     32688 |   13837    61212   181804 | 2147483647    31696     42 | 76.790 % |
45.12/45.29	c |     32848 |   13837    61212   181804 | 2147483647    31856     42 | 76.790 % |
45.42/45.57	c |     33026 |   13837    61212   181804 | 2147483647    32034     42 | 76.790 % |
45.62/45.76	c |     33220 |   13837    61212   181804 | 2147483647    32228     42 | 76.790 % |
45.82/45.97	c |     33432 |   13837    61212   181804 | 2147483647    32440     42 | 76.790 % |
46.03/46.20	c |     33667 |   13837    61212   181804 | 2147483647    32675     42 | 76.790 % |
46.42/46.53	c |     33925 |   13837    61212   181804 | 2147483647    32933     42 | 76.790 % |
46.72/46.86	c |     34206 |   13837    61212   181804 | 2147483647    33214     42 | 76.790 % |
47.13/47.23	c |     34519 |   13837    61212   181804 | 2147483647    33527     41 | 76.790 % |
47.62/47.71	c |     34858 |   13836    61208   181794 | 2147483647    33864     41 | 76.792 % |
48.02/48.11	c |     35232 |   13836    61208   181794 | 2147483647    34238     41 | 76.792 % |
48.33/48.46	c |     35641 |   13836    61208   181794 | 2147483647    34647     41 | 76.792 % |
48.72/48.89	c |     36090 |   13836    61208   181794 | 2147483647    35096     41 | 76.792 % |
49.22/49.39	c |     36585 |   13836    61208   181794 | 2147483647    35591     41 | 76.792 % |
49.72/49.83	c |     37127 |   13836    61208   181794 | 2147483647    36133     41 | 76.792 % |
49.82/49.95	c |     37229 |   13836    61208   181794 | 2147483647    36235     41 | 76.792 % |
49.92/50.10	c |     37339 |   13836    61208   181794 | 2147483647    36345     41 | 76.792 % |
50.12/50.23	c |     37460 |   13836    61208   181794 | 2147483647    36466     41 | 76.792 % |
50.22/50.40	c |     37593 |   13836    61208   181794 | 2147483647    36599     41 | 76.792 % |
50.42/50.55	c |     37739 |   13836    61208   181794 | 2147483647    36745     41 | 76.792 % |
50.62/50.72	c |     37900 |   13836    61208   181794 | 2147483647    36906     41 | 76.792 % |
50.82/50.96	c |     38076 |   13836    61208   181794 | 2147483647    37082     41 | 76.792 % |
51.02/51.18	c |     38270 |   13836    61208   181794 | 2147483647    37276     41 | 76.792 % |
51.32/51.44	c |     38483 |   13836    61208   181794 | 2147483647    37489     41 | 76.792 % |
51.62/51.73	c |     38716 |   13836    61208   181794 | 2147483647    37722     41 | 76.792 % |
52.12/52.20	c |     38972 |   13836    61208   181794 | 2147483647    37978     41 | 76.792 % |
52.62/52.73	c |     39253 |   13836    61208   181794 | 2147483647    38259     41 | 76.792 % |
53.01/53.19	c |     39563 |   13836    61208   181794 | 2147483647    38569     41 | 76.792 % |
53.41/53.55	c |     39902 |   13836    61208   181794 | 2147483647    38908     41 | 76.792 % |
53.91/54.04	c |     40276 |   13836    61208   181794 | 2147483647    39282     41 | 76.792 % |
54.62/54.73	c |     40690 |   13836    61208   181794 | 2147483647    39696     40 | 76.792 % |
55.22/55.33	c |     41140 |   13836    61208   181794 | 2147483647    40146     40 | 76.792 % |
55.82/55.98	c |     41633 |   13836    61208   181794 | 2147483647    40639     40 | 76.792 % |
56.52/56.60	c |     42175 |   13836    61208   181794 | 2147483647    41181     40 | 76.792 % |
57.12/57.27	c |     42771 |   13836    61208   181794 | 2147483647    41777     40 | 76.792 % |
57.32/57.42	c |     42873 |   13836    61208   181794 | 2147483647    41879     40 | 76.792 % |
57.42/57.59	c |     42984 |   13836    61208   181794 | 2147483647    41990     40 | 76.792 % |
57.72/57.81	c |     43105 |   13836    61208   181794 | 2147483647    42111     40 | 76.792 % |
57.82/57.95	c |     43240 |   13836    61208   181794 | 2147483647    42246     40 | 76.792 % |
58.02/58.13	c |     43389 |   13836    61208   181794 | 2147483647    42395     40 | 76.792 % |
58.22/58.35	c |     43550 |   13836    61208   181794 | 2147483647    42556     40 | 76.792 % |
58.42/58.56	c |     43727 |   13836    61208   181794 | 2147483647    42733     40 | 76.792 % |
58.62/58.74	c |     43922 |   13836    61208   181794 | 2147483647    42928     40 | 76.792 % |
58.92/59.03	c |     44134 |   13836    61208   181794 | 2147483647    43140     40 | 76.792 % |
59.11/59.26	c |     44367 |   13836    61208   181794 | 2147483647    43373     40 | 76.792 % |
59.41/59.59	c |     44623 |   13836    61208   181794 | 2147483647    43629     40 | 76.792 % |
59.81/59.91	c |     44906 |   13836    61208   181794 | 2147483647    43912     40 | 76.792 % |
60.31/60.40	c |     45215 |   13836    61208   181794 | 2147483647    44221     39 | 76.792 % |
60.61/60.72	c |     45556 |   13836    61208   181794 | 2147483647    44562     39 | 76.792 % |
61.11/61.20	c |     45928 |   13836    61208   181794 | 2147483647    44934     40 | 76.792 % |
61.51/61.66	c |     46340 |   13836    61208   181794 | 2147483647    45346     40 | 76.792 % |
62.11/62.21	c |     46789 |   13836    61208   181794 | 2147483647    45795     40 | 76.792 % |
62.80/62.91	c |     47283 |   13836    61208   181794 | 2147483647    46289     39 | 76.792 % |
63.40/63.56	c |     47828 |   13836    61208   181794 | 2147483647    46834     39 | 76.792 % |
64.00/64.15	c |     48425 |   13836    61208   181794 | 2147483647    47431     39 | 76.792 % |
64.90/65.05	c |     49081 |   13836    61208   181794 | 2147483647    48087     39 | 76.792 % |
65.00/65.12	c |     49181 |   13836    61208   181794 | 2147483647    48187     39 | 76.792 % |
65.10/65.26	c |     49295 |   13836    61208   181794 | 2147483647    48301     39 | 76.792 % |
65.20/65.38	c |     49418 |   13836    61208   181794 | 2147483647    48424     39 | 76.792 % |
65.40/65.51	c |     49553 |   13836    61208   181794 | 2147483647    48559     39 | 76.792 % |
65.60/65.72	c |     49700 |   13836    61208   181794 | 2147483647    48706     39 | 76.792 % |
65.70/65.89	c |     49860 |   13836    61208   181794 | 2147483647    48866     39 | 76.792 % |
65.91/66.07	c |     50036 |   13836    61208   181794 | 2147483647    49042     39 | 76.792 % |
66.20/66.34	c |     50229 |   13836    61208   181794 | 2147483647    49235     39 | 76.792 % |
66.60/66.74	c |     50441 |   13836    61208   181794 | 2147483647    49447     39 | 76.792 % |
67.01/67.12	c |     50675 |   13836    61208   181794 | 2147483647    49681     39 | 76.792 % |
67.30/67.41	c |     50931 |   13836    61208   181794 | 2147483647    49937     39 | 76.792 % |
67.60/67.75	c |     51212 |   13836    61208   181794 | 2147483647    50218     39 | 76.792 % |
68.11/68.29	c |     51521 |   13836    61208   181794 | 2147483647    50527     39 | 76.792 % |
68.50/68.69	c |     51862 |   13836    61208   181794 | 2147483647    50868     39 | 76.792 % |
69.20/69.31	c |     52234 |   13836    61208   181794 | 2147483647    51240     39 | 76.792 % |
69.80/69.93	c |     52643 |   13836    61208   181794 | 2147483647    51649     39 | 76.792 % |
70.50/70.60	c |     53093 |   13836    61208   181794 | 2147483647    52099     39 | 76.792 % |
71.10/71.20	c |     53588 |   13836    61208   181794 | 2147483647    52594     39 | 76.792 % |
71.70/71.88	c |     54131 |   13836    61208   181794 | 2147483647    53137     39 | 76.792 % |
72.60/72.75	c |     54729 |   13836    61208   181794 | 2147483647    53735     39 | 76.792 % |
73.50/73.63	c |     55384 |   13836    61208   181794 | 2147483647    54390     39 | 76.792 % |
74.50/74.68	c |     56104 |   13836    61208   181794 | 2147483647    55110     38 | 76.792 % |
74.70/74.82	c |     56205 |   13836    61208   181794 | 2147483647    55211     38 | 76.792 % |
74.80/74.97	c |     56315 |   13836    61208   181794 | 2147483647    55321     38 | 76.792 % |
74.99/75.14	c |     56436 |   13836    61208   181794 | 2147483647    55442     38 | 76.792 % |
75.19/75.33	c |     56570 |   13836    61208   181794 | 2147483647    55576     38 | 76.792 % |
75.29/75.49	c |     56717 |   13836    61208   181794 | 2147483647    55723     38 | 76.792 % |
75.60/75.72	c |     56878 |   13836    61208   181794 | 2147483647    55884     38 | 76.792 % |
75.80/75.98	c |     57055 |   13836    61208   181794 | 2147483647    56061     38 | 76.792 % |
76.10/76.21	c |     57248 |   13836    61208   181794 | 2147483647    56254     38 | 76.792 % |
76.30/76.49	c |     57460 |   13836    61208   181794 | 2147483647    56466     38 | 76.792 % |
76.70/76.90	c |     57694 |   13836    61208   181794 | 2147483647    56700     38 | 76.792 % |
77.19/77.34	c |     57951 |   13836    61208   181794 | 2147483647    56957     38 | 76.792 % |
77.59/77.72	c |     58232 |   13836    61208   181794 | 2147483647    57238     38 | 76.792 % |
78.09/78.29	c |     58542 |   13836    61208   181794 | 2147483647    57548     38 | 76.792 % |
78.59/78.72	c |     58881 |   13836    61208   181794 | 2147483647    57887     38 | 76.792 % |
79.10/79.27	c |     59253 |   13836    61208   181794 | 2147483647    58259     38 | 76.792 % |
79.69/79.81	c |     59664 |   13836    61208   181794 | 2147483647    58670     38 | 76.792 % |
80.39/80.59	c |     60113 |   13836    61208   181794 | 2147483647    59119     38 | 76.792 % |
81.09/81.20	c |     60606 |   13836    61208   181794 | 2147483647    59612     38 | 76.792 % |
81.79/81.99	c |     61148 |   13836    61208   181794 | 2147483647    60154     38 | 76.792 % |
82.59/82.78	c |     61744 |   13836    61208   181794 | 2147483647    60750     38 | 76.792 % |
83.69/83.87	c |     62402 |   13836    61208   181794 | 2147483647    61408     38 | 76.792 % |
84.89/85.09	c |     63122 |   13836    61208   181794 | 2147483647    62128     38 | 76.792 % |
86.38/86.54	c |     63914 |   13836    61208   181794 | 2147483647    62920     38 | 76.792 % |
86.58/86.70	c |     64014 |   13836    61208   181794 | 2147483647    63020     38 | 76.792 % |
86.69/86.85	c |     64124 |   13836    61208   181794 | 2147483647    63130     38 | 76.792 % |
86.88/87.01	c |     64245 |   13836    61208   181794 | 2147483647    63251     38 | 76.792 % |
87.08/87.29	c |     64381 |   13836    61208   181794 | 2147483647    63387     38 | 76.792 % |
87.48/87.63	c |     64528 |   13836    61208   181794 | 2147483647    63534     38 | 76.792 % |
87.68/87.82	c |     64689 |   13836    61208   181794 | 2147483647    63695     38 | 76.792 % |
87.98/88.10	c |     64865 |   13836    61208   181794 | 2147483647    63871     38 | 76.792 % |
88.18/88.38	c |     65058 |   13836    61208   181794 | 2147483647    64064     38 | 76.792 % |
88.48/88.70	c |     65270 |   13836    61208   181794 | 2147483647    64276     38 | 76.792 % |
88.99/89.11	c |     65503 |   13836    61208   181794 | 2147483647    64509     38 | 76.792 % |
89.28/89.43	c |     65759 |   13836    61208   181794 | 2147483647    64765     38 | 76.792 % |
89.78/89.98	c |     66040 |   13836    61208   181794 | 2147483647    65046     38 | 76.792 % |
90.28/90.49	c |     66349 |   13836    61208   181794 | 2147483647    65355     38 | 76.792 % |
90.78/90.99	c |     66688 |   13836    61208   181794 | 2147483647    65694     38 | 76.792 % |
91.48/91.60	c |     67062 |   13836    61208   181794 | 2147483647    66068     38 | 76.792 % |
92.08/92.30	c |     67472 |   13823    61128   181580 | 2147483647    66464     38 | 76.814 % |
92.98/93.11	c |     67922 |   13823    61128   181580 | 2147483647    66914     38 | 76.814 % |
93.78/93.96	c |     68416 |   13823    61128   181580 | 2147483647    67408     38 | 76.814 % |
94.58/94.75	c |     68959 |   13823    61128   181580 | 2147483647    67950     37 | 76.879 % |
95.49/95.68	c |     69559 |   13823    61128   181580 | 2147483647    68550     37 | 76.879 % |
96.38/96.59	c |     70215 |   13784    61006   181266 | 2147483647    69204     37 | 76.879 % |
97.38/97.53	c |     70936 |   13784    61006   181266 | 2147483647    69925     37 | 76.879 % |
98.68/98.82	c |     71728 |   13784    61006   181266 | 2147483647    70717     37 | 76.879 % |
99.98/100.11	c |     72600 |   13784    61006   181266 | 2147483647    71589     37 | 76.879 % |
100.08/100.27	c |     72700 |   13784    61006   181266 | 2147483647    71689     37 | 76.879 % |
100.28/100.42	c |     72810 |   13784    61006   181266 | 2147483647    71799     37 | 76.879 % |
100.48/100.63	c |     72931 |   13784    61006   181266 | 2147483647    71920     37 | 76.879 % |
100.68/100.81	c |     73066 |   13784    61006   181266 | 2147483647    72055     37 | 76.879 % |
100.88/101.04	c |     73213 |   13784    61006   181266 | 2147483647    72202     37 | 76.879 % |
101.08/101.29	c |     73373 |   13784    61006   181266 | 2147483647    72362     37 | 76.879 % |
101.48/101.61	c |     73549 |   13784    61006   181266 | 2147483647    72538     37 | 76.879 % |
101.78/101.96	c |     73742 |   13784    61006   181266 | 2147483647    72731     37 | 76.879 % |
102.18/102.39	c |     73956 |   13784    61006   181266 | 2147483647    72945     37 | 76.879 % |
102.78/102.91	c |     74190 |   13784    61006   181266 | 2147483647    73179     37 | 76.879 % |
103.28/103.43	c |     74446 |   13784    61006   181266 | 2147483647    73435     37 | 76.879 % |
103.87/104.01	c |     74727 |   13784    61006   181266 | 2147483647    73716     37 | 76.879 % |
104.47/104.66	c |     75040 |   13784    61006   181266 | 2147483647    74029     37 | 76.879 % |
105.07/105.24	c |     75382 |   13784    61006   181266 | 2147483647    74371     37 | 76.879 % |
105.66/105.81	c |     75754 |   13784    61006   181266 | 2147483647    74743     37 | 76.879 % |
106.36/106.57	c |     76163 |   13784    61006   181266 | 2147483647    75152     37 | 76.879 % |
107.26/107.45	c |     76612 |   13784    61006   181266 | 2147483647    75601     37 | 76.879 % |
108.27/108.47	c |     77105 |   13784    61006   181266 | 2147483647    76094     36 | 76.879 % |
109.26/109.48	c |     77648 |   13784    61006   181266 | 2147483647    76637     36 | 76.879 % |
110.26/110.50	c |     78245 |   13784    61006   181266 | 2147483647    77234     36 | 76.879 % |
111.55/111.70	c |     78901 |   13784    61006   181266 | 2147483647    77890     36 | 76.879 % |
112.55/112.77	c |     79621 |   13784    61006   181266 | 2147483647    78610     36 | 76.879 % |
113.95/114.15	c |     80414 |   13784    61006   181266 | 2147483647    79403     36 | 76.879 % |
115.75/115.95	c |     81285 |   13784    61006   181266 | 2147483647    80274     36 | 76.879 % |
117.56/117.75	c |     82246 |   13784    61006   181266 | 2147483647    81235     36 | 76.879 % |
117.75/117.95	c |     82346 |   13784    61006   181266 | 2147483647    81335     36 | 76.879 % |
117.95/118.17	c |     82456 |   13784    61006   181266 | 2147483647    81445     36 | 76.879 % |
118.25/118.41	c |     82579 |   13784    61006   181266 | 2147483647    81568     36 | 76.879 % |
118.55/118.76	c |     82713 |   13784    61006   181266 | 2147483647    81702     36 | 76.879 % |
118.95/119.11	c |     82862 |   13784    61006   181266 | 2147483647    81851     36 | 76.879 % |
119.25/119.49	c |     83023 |   13784    61006   181266 | 2147483647    82012     36 | 76.879 % |
119.65/119.82	c |     83200 |   13784    61006   181266 | 2147483647    82189     36 | 76.879 % |
119.95/120.16	c |     83398 |   13784    61006   181266 | 2147483647    82387     36 | 76.879 % |
120.45/120.68	c |     83611 |   13784    61006   181266 | 2147483647    82600     36 | 76.879 % |
120.95/121.16	c |     83845 |   13784    61006   181266 | 2147483647    82834     36 | 76.879 % |
121.55/121.79	c |     84101 |   13784    61006   181266 | 2147483647    83090     36 | 76.879 % |
122.15/122.37	c |     84383 |   13784    61006   181266 | 2147483647    83372     36 | 76.879 % |
122.65/122.84	c |     84694 |   13784    61006   181266 | 2147483647    83683     36 | 76.879 % |
123.14/123.38	c |     85035 |   13784    61006   181266 | 2147483647    84024     36 | 76.879 % |
123.84/124.04	c |     85407 |   13765    60910   180995 | 2147483647    84393     36 | 76.911 % |
124.54/124.77	c |     85818 |   13765    60910   180995 | 2147483647    84804     36 | 76.911 % |
125.54/125.78	c |     86267 |   13765    60910   180995 | 2147483647    85253     36 | 76.911 % |
126.64/126.84	c |     86761 |   13765    60910   180995 | 2147483647    85747     36 | 76.911 % |
127.45/127.62	c |     87303 |   13765    60910   180995 | 2147483647    86289     36 | 76.911 % |
128.64/128.87	c |     87899 |   13765    60910   180995 | 2147483647    86885     36 | 76.911 % |
129.94/130.16	c |     88554 |   13765    60910   180995 | 2147483647    87540     36 | 76.911 % |
131.24/131.43	c |     89274 |   13765    60910   180995 | 2147483647    88260     35 | 76.911 % |
132.74/132.94	c |     90067 |   13752    60819   180751 | 2147483647    89052     35 | 76.933 % |
134.34/134.52	c |     90939 |   13752    60819   180751 | 2147483647    89924     35 | 76.933 % |
136.24/136.44	c |     91900 |   13752    60819   180751 | 2147483647    90885     35 | 76.933 % |
138.54/138.74	c |     92953 |   13752    60819   180751 | 2147483647    91938     35 | 76.933 % |
138.74/138.96	c |     93055 |   13752    60819   180751 | 2147483647    92040     35 | 76.933 % |
139.04/139.24	c |     93165 |   13752    60819   180751 | 2147483647    92150     35 | 76.933 % |
139.24/139.49	c |     93286 |   13752    60819   180751 | 2147483647    92271     35 | 76.933 % |
139.64/139.86	c |     93423 |   13752    60819   180751 | 2147483647    92408     35 | 76.933 % |
140.04/140.23	c |     93569 |   13752    60819   180751 | 2147483647    92554     35 | 76.933 % |
140.34/140.56	c |     93729 |   13752    60819   180751 | 2147483647    92714     35 | 76.933 % |
140.74/140.98	c |     93906 |   13752    60819   180751 | 2147483647    92891     35 | 76.933 % |
141.14/141.35	c |     94100 |   13752    60819   180751 | 2147483647    93085     35 | 76.933 % |
141.54/141.79	c |     94312 |   13752    60819   180751 | 2147483647    93297     35 | 76.933 % |
142.04/142.27	c |     94545 |   13752    60819   180751 | 2147483647    93530     35 | 76.933 % |
142.44/142.69	c |     94801 |   13752    60819   180751 | 2147483647    93786     35 | 76.933 % |
143.04/143.21	c |     95085 |   13752    60819   180751 | 2147483647    94070     35 | 76.933 % |
143.54/143.76	c |     95394 |   13752    60819   180751 | 2147483647    94379     35 | 76.933 % |
144.34/144.59	c |     95733 |   13752    60819   180751 | 2147483647    94718     35 | 76.933 % |
145.13/145.34	c |     96106 |   13752    60819   180751 | 2147483647    95091     35 | 76.933 % |
145.93/146.17	c |     96517 |   13752    60819   180751 | 2147483647    95502     35 | 76.933 % |
146.63/146.84	c |     96968 |   13752    60819   180751 | 2147483647    95953     35 | 76.933 % |
147.73/147.93	c |     97462 |   13752    60819   180751 | 2147483647    96447     35 | 76.933 % |
148.93/149.14	c |     98007 |   13752    60819   180751 | 2147483647    96992     35 | 76.933 % |
150.42/150.62	c |     98603 |   13744    60799   180679 | 2147483647    97587     35 | 76.946 % |
151.72/151.90	c |     99258 |   13744    60799   180679 | 2147483647    98242     35 | 76.946 % |
153.22/153.44	c |     99978 |   13744    60799   180679 | 2147483647    98962     35 | 76.946 % |
154.62/154.86	c |    100772 |   13744    60799   180679 | 2147483647    99756     35 | 76.946 % |
156.52/156.73	c |    101643 |   13744    60799   180679 | 2147483647   100627     35 | 76.946 % |
159.12/159.32	c |    102601 |   13744    60799   180679 | 2147483647   101585     34 | 76.946 % |
161.32/161.59	c |    103657 |   13744    60799   180679 | 2147483647   102641     34 | 76.946 % |
163.82/164.01	c |    104815 |   13744    60799   180679 | 2147483647   103799     34 | 76.946 % |
164.02/164.25	c |    104915 |   13744    60799   180679 | 2147483647   103899     34 | 76.946 % |
164.22/164.47	c |    105025 |   13744    60799   180679 | 2147483647   104009     34 | 76.946 % |
164.52/164.74	c |    105148 |   13744    60799   180679 | 2147483647   104132     34 | 76.946 % |
164.82/165.07	c |    105281 |   13744    60799   180679 | 2147483647   104265     34 | 76.946 % |
165.22/165.47	c |    105429 |   13744    60799   180679 | 2147483647   104413     34 | 76.946 % |
165.52/165.79	c |    105589 |   13744    60799   180679 | 2147483647   104573     34 | 76.946 % |
165.92/166.12	c |    105766 |   13744    60799   180679 | 2147483647   104750     34 | 76.946 % |
166.22/166.45	c |    105959 |   13744    60799   180679 | 2147483647   104943     34 | 76.946 % |
166.62/166.84	c |    106171 |   13744    60799   180679 | 2147483647   105155     34 | 76.946 % |
167.12/167.33	c |    106404 |   13744    60799   180679 | 2147483647   105388     34 | 76.946 % |
167.62/167.80	c |    106661 |   13744    60799   180679 | 2147483647   105645     34 | 76.946 % |
168.22/168.41	c |    106943 |   13744    60799   180679 | 2147483647   105927     34 | 76.946 % |
168.72/168.92	c |    107252 |   13744    60799   180679 | 2147483647   106236     34 | 76.946 % |
169.42/169.67	c |    107592 |   13744    60799   180679 | 2147483647   106576     34 | 76.946 % |
170.12/170.38	c |    107965 |   13744    60799   180679 | 2147483647   106949     34 | 76.946 % |
170.92/171.15	c |    108374 |   13744    60799   180679 | 2147483647   107358     34 | 76.946 % |
171.72/171.93	c |    108824 |   13744    60799   180679 | 2147483647   107808     34 | 76.946 % |
172.62/172.82	c |    109317 |   13744    60799   180679 | 2147483647   108301     34 | 76.946 % |
173.82/174.00	c |    109859 |   13744    60799   180679 | 2147483647   108843     34 | 76.946 % |
174.92/175.15	c |    110455 |   13744    60799   180679 | 2147483647   109439     34 | 76.946 % |
176.32/176.54	c |    111110 |   13744    60799   180679 | 2147483647   110094     34 | 76.946 % |
177.71/177.99	c |    111831 |   13744    60799   180679 | 2147483647   110815     34 | 76.946 % |
179.71/179.99	c |    112623 |   13744    60799   180679 | 2147483647   111607     34 | 76.946 % |
181.71/181.92	c |    113494 |   13744    60799   180679 | 2147483647   112478     34 | 76.946 % |
183.71/183.98	c |    114452 |   13647    60516   179762 | 2147483647   113435     34 | 77.109 % |
185.91/186.12	c |    115507 |   13647    60516   179762 | 2147483647   114490     34 | 77.109 % |
188.21/188.46	c |    116666 |   13647    60516   179762 | 2147483647   115649     34 | 77.109 % |
190.61/190.81	c |    117940 |   13647    60516   179762 | 2147483647   116923     34 | 77.109 % |
190.81/191.07	c |    118040 |   13647    60516   179762 | 2147483647   117023     34 | 77.109 % |
191.11/191.34	c |    118150 |   13647    60516   179762 | 2147483647   117133     34 | 77.109 % |
191.41/191.64	c |    118273 |   13647    60516   179762 | 2147483647   117256     34 | 77.109 % |
191.71/191.90	c |    118406 |   13647    60516   179762 | 2147483647   117389     34 | 77.109 % |
192.01/192.25	c |    118552 |   13647    60516   179762 | 2147483647   117535     34 | 77.109 % |
192.41/192.67	c |    118712 |   13647    60516   179762 | 2147483647   117695     34 | 77.109 % |
192.81/193.05	c |    118889 |   13647    60516   179762 | 2147483647   117872     34 | 77.109 % |
193.21/193.46	c |    119082 |   13647    60516   179762 | 2147483647   118065     34 | 77.109 % |
193.90/194.10	c |    119294 |   13647    60516   179762 | 2147483647   118277     34 | 77.109 % |
194.60/194.82	c |    119527 |   13647    60516   179762 | 2147483647   118510     34 | 77.109 % |
195.20/195.47	c |    119784 |   13647    60516   179762 | 2147483647   118767     34 | 77.109 % |
195.90/196.12	c |    120065 |   13647    60516   179762 | 2147483647   119048     34 | 77.109 % |
196.50/196.74	c |    120375 |   13647    60516   179762 | 2147483647   119358     34 | 77.109 % |
197.40/197.65	c |    120716 |   13647    60516   179762 | 2147483647   119699     34 | 77.109 % |
198.00/198.30	c |    121088 |   13647    60516   179762 | 2147483647   120071     34 | 77.109 % |
199.00/199.26	c |    121497 |   13647    60516   179762 | 2147483647   120480     34 | 77.109 % |
199.80/200.08	c |    121946 |   13647    60516   179762 | 2147483647   120929     34 | 77.109 % |
200.60/200.87	c |    122441 |   13647    60516   179762 | 2147483647   121424     34 | 77.109 % |
201.60/201.89	c |    122983 |   13647    60516   179762 | 2147483647   121966     34 | 77.109 % |
203.10/203.32	c |    123580 |   13647    60516   179762 | 2147483647   122563     34 | 77.109 % |
204.10/204.39	c |    124236 |   13647    60516   179762 | 2147483647   123219     34 | 77.109 % |
205.70/205.97	c |    124956 |   13647    60516   179762 | 2147483647   123939     34 | 77.109 % |
207.30/207.53	c |    125748 |   13647    60516   179762 | 2147483647   124731     34 | 77.109 % |
208.70/208.97	c |    126619 |   13647    60516   179762 | 2147483647   125602     34 | 77.109 % |
210.80/211.02	c |    127577 |   13647    60516   179762 | 2147483647   126560     34 | 77.109 % |
213.10/213.33	c |    128630 |   13647    60516   179762 | 2147483647   127613     34 | 77.109 % |
215.90/216.11	c |    129789 |   13647    60516   179762 | 2147483647   128772     34 | 77.109 % |
219.19/219.48	c |    131062 |   13640    60460   179627 | 2147483647   130043     34 | 77.121 % |
222.29/222.59	c |    132463 |   13640    60460   179627 | 2147483647   131444     34 | 77.121 % |
222.59/222.85	c |    132563 |   13640    60460   179627 | 2147483647   131544     34 | 77.121 % |
222.89/223.11	c |    132673 |   13640    60460   179627 | 2147483647   131654     34 | 77.121 % |
223.19/223.44	c |    132797 |   13640    60460   179627 | 2147483647   131778     34 | 77.121 % |
223.49/223.75	c |    132931 |   13640    60460   179627 | 2147483647   131912     34 | 77.121 % |
223.89/224.10	c |    133077 |   13640    60460   179627 | 2147483647   132058     34 | 77.121 % |
224.39/224.62	c |    133238 |   13640    60460   179627 | 2147483647   132219     34 | 77.121 % |
224.89/225.15	c |    133414 |   13640    60460   179627 | 2147483647   132395     34 | 77.121 % |
225.39/225.62	c |    133607 |   13640    60460   179627 | 2147483647   132588     34 | 77.121 % |
225.99/226.22	c |    133819 |   13640    60460   179627 | 2147483647   132800     34 | 77.121 % |
226.49/226.76	c |    134052 |   13640    60460   179627 | 2147483647   133033     34 | 77.121 % |
227.39/227.63	c |    134308 |   13640    60460   179627 | 2147483647   133289     34 | 77.121 % |
228.19/228.43	c |    134590 |   13640    60460   179627 | 2147483647   133571     34 | 77.121 % |
229.09/229.32	c |    134901 |   13640    60460   179627 | 2147483647   133882     34 | 77.121 % |
229.89/230.12	c |    135243 |   13640    60460   179627 | 2147483647   134224     34 | 77.121 % |
230.59/230.90	c |    135616 |   13640    60460   179627 | 2147483647   134597     34 | 77.121 % |
231.59/231.87	c |    136026 |   13640    60460   179627 | 2147483647   135007     34 | 77.121 % |
232.79/233.08	c |    136476 |   13640    60460   179627 | 2147483647   135457     33 | 77.121 % |
234.09/234.36	c |    136970 |   13640    60460   179627 | 2147483647   135951     33 | 77.121 % |
235.39/235.67	c |    137512 |   13640    60460   179627 | 2147483647   136493     33 | 77.121 % |
236.89/237.16	c |    138108 |   13640    60460   179627 | 2147483647   137089     33 | 77.121 % |
238.29/238.60	c |    138763 |   13640    60460   179627 | 2147483647   137744     34 | 77.121 % |
239.78/240.09	c |    139487 |   13640    60460   179627 | 2147483647   138468     34 | 77.121 % |
241.28/241.59	c |    140280 |   13640    60460   179627 | 2147483647   139261     34 | 77.121 % |
243.18/243.46	c |    141152 |   13626    60387   179414 | 2147483647   140132     34 | 77.144 % |
245.18/245.40	c |    142110 |   13626    60387   179414 | 2147483647   141090     34 | 77.144 % |
247.88/248.13	c |    143164 |   13626    60387   179414 | 2147483647   142144     34 | 77.144 % |
251.18/251.46	c |    144323 |   13626    60387   179414 | 2147483647   143303     34 | 77.144 % |
254.77/255.03	c |    145596 |   13626    60387   179414 | 2147483647   144575     34 | 77.164 % |
258.27/258.52	c |    146998 |   13614    60303   179200 | 2147483647   145977     34 | 77.164 % |
262.98/263.22	c |    148539 |   13614    60303   179200 | 2147483647   147518     34 | 77.164 % |
263.28/263.59	c |    148641 |   13614    60303   179200 | 2147483647   147620     33 | 77.164 % |
263.78/264.02	c |    148755 |   13614    60303   179200 | 2147483647   147734     33 | 77.164 % |
264.18/264.45	c |    148877 |   13614    60303   179200 | 2147483647   147856     33 | 77.164 % |
264.68/264.91	c |    149010 |   13614    60303   179200 | 2147483647   147989     33 | 77.164 % |
265.18/265.41	c |    149157 |   13614    60303   179200 | 2147483647   148136     33 | 77.164 % |
265.68/265.90	c |    149318 |   13614    60303   179200 | 2147483647   148297     33 | 77.164 % |
266.18/266.46	c |    149494 |   13614    60303   179200 | 2147483647   148473     33 | 77.164 % |
266.77/267.01	c |    149687 |   13614    60303   179200 | 2147483647   148666     33 | 77.164 % |
267.47/267.79	c |    149900 |   13614    60303   179200 | 2147483647   148879     33 | 77.164 % |
268.37/268.64	c |    150133 |   13604    60281   179125 | 2147483647   149111     33 | 77.181 % |
269.07/269.36	c |    150392 |   13604    60281   179125 | 2147483647   149370     33 | 77.181 % |
269.97/270.22	c |    150674 |   13604    60281   179125 | 2147483647   149652     33 | 77.181 % |
270.77/271.04	c |    150987 |   13604    60281   179125 | 2147483647   149965     33 | 77.181 % |
271.67/271.97	c |    151326 |   13604    60281   179125 | 2147483647   150304     33 | 77.181 % |
272.67/272.94	c |    151698 |   13604    60281   179125 | 2147483647   150676     33 | 77.181 % |
273.77/274.05	c |    152108 |   13604    60281   179125 | 2147483647   151086     33 | 77.181 % |
274.97/275.28	c |    152557 |   13604    60281   179125 | 2147483647   151535     33 | 77.181 % |
276.57/276.82	c |    153052 |   13604    60281   179125 | 2147483647   152030     33 | 77.181 % |
278.17/278.41	c |    153597 |   13604    60281   179125 | 2147483647   152574     33 | 77.362 % |
279.87/280.14	c |    154193 |   13604    60281   179125 | 2147483647   153170     33 | 77.362 % |
281.77/282.04	c |    154850 |   13496    59649   177410 | 2147483647   153827     33 | 77.362 % |
284.06/284.38	c |    155571 |   13496    59649   177410 | 2147483647   154548     33 | 77.362 % |
286.15/286.46	c |    156363 |   13496    59649   177410 | 2147483647   155340     33 | 77.362 % |
288.65/288.92	c |    157234 |   13496    59649   177410 | 2147483647   156211     33 | 77.362 % |
291.05/291.33	c |    158195 |   13496    59649   177410 | 2147483647   157172     33 | 77.362 % |
294.24/294.52	c |    159253 |   13496    59649   177410 | 2147483647   158230     33 | 77.362 % |
297.54/297.84	c |    160413 |   13496    59649   177410 | 2147483647   159390     33 | 77.362 % |
301.34/301.68	c |    161687 |   13496    59649   177410 | 2147483647   160664     33 | 77.362 % |
305.04/305.30	c |    163087 |   13496    59649   177410 | 2147483647   162064     33 | 77.362 % |
308.94/309.28	c |    164627 |   13496    59649   177410 | 2147483647   163604     33 | 77.362 % |
312.94/313.20	c |    166326 |   13496    59649   177410 | 2147483647   165303     33 | 77.362 % |
313.14/313.49	c |    166426 |   13496    59649   177410 | 2147483647   165403     33 | 77.362 % |
313.44/313.78	c |    166538 |   13496    59649   177410 | 2147483647   165515     33 | 77.362 % |
313.74/314.05	c |    166660 |   13496    59649   177410 | 2147483647   165637     33 | 77.362 % |
314.24/314.56	c |    166796 |   13496    59649   177410 | 2147483647   165773     33 | 77.362 % |
314.64/314.97	c |    166942 |   13496    59649   177410 | 2147483647   165919     33 | 77.362 % |
315.34/315.60	c |    167105 |   13496    59649   177410 | 2147483647   166082     33 | 77.362 % |
315.94/316.29	c |    167284 |   13496    59649   177410 | 2147483647   166261     33 | 77.362 % |
316.54/316.80	c |    167477 |   13496    59649   177410 | 2147483647   166454     33 | 77.362 % |
317.33/317.63	c |    167689 |   13496    59649   177410 | 2147483647   166666     33 | 77.362 % |
318.13/318.44	c |    167923 |   13496    59649   177410 | 2147483647   166900     33 | 77.362 % |
319.03/319.30	c |    168183 |   13496    59649   177410 | 2147483647   167160     33 | 77.362 % |
319.84/320.14	c |    168469 |   13496    59649   177410 | 2147483647   167446     33 | 77.362 % |
320.63/320.99	c |    168780 |   13496    59649   177410 | 2147483647   167757     33 | 77.362 % |
321.63/321.94	c |    169120 |   13496    59649   177410 | 2147483647   168097     33 | 77.362 % |
322.53/322.90	c |    169493 |   13496    59649   177410 | 2147483647   168470     33 | 77.362 % |
323.93/324.24	c |    169902 |   13496    59649   177410 | 2147483647   168879     33 | 77.362 % |
325.33/325.67	c |    170354 |   13496    59649   177410 | 2147483647   169331     33 | 77.362 % |
326.63/326.97	c |    170847 |   13496    59649   177410 | 2147483647   169824     33 | 77.362 % |
328.13/328.45	c |    171393 |   13496    59649   177410 | 2147483647   170370     33 | 77.362 % |
329.62/329.91	c |    171989 |   13496    59649   177410 | 2147483647   170966     33 | 77.362 % |
331.22/331.59	c |    172646 |   13496    59649   177410 | 2147483647   171623     33 | 77.362 % |
333.52/333.87	c |    173366 |   13496    59649   177410 | 2147483647   172343     33 | 77.362 % |
335.92/336.28	c |    174159 |   13496    59649   177410 | 2147483647   173136     32 | 77.362 % |
338.63/338.90	c |    175030 |   13496    59649   177410 | 2147483647   174007     32 | 77.362 % |
341.73/342.03	c |    175991 |   13486    59568   177198 | 2147483647   174964     32 | 77.379 % |
344.92/345.28	c |    177044 |   13486    59568   177198 | 2147483647   176017     32 | 77.379 % |
349.12/349.40	c |    178202 |   13486    59568   177198 | 2147483647   177175     32 | 77.379 % |
353.62/353.94	c |    179476 |   13486    59568   177198 | 2147483647   178449     32 | 77.379 % |
357.72/358.07	c |    180876 |   13486    59568   177198 | 2147483647   179849     32 | 77.379 % |
362.02/362.36	c |    182417 |   13486    59568   177198 | 2147483647   181390     32 | 77.379 % |
366.82/367.17	c |    184112 |   13486    59568   177198 | 2147483647   183085     32 | 77.379 % |
373.01/373.33	c |    185978 |   13486    59568   177198 | 2147483647   184951     32 | 77.379 % |
373.31/373.63	c |    186079 |   13486    59568   177198 | 2147483647   185052     32 | 77.379 % |
373.61/373.99	c |    186189 |   13486    59568   177198 | 2147483647   185162     32 | 77.379 % |
374.01/374.32	c |    186311 |   13486    59568   177198 | 2147483647   185284     32 | 77.379 % |
374.31/374.67	c |    186445 |   13486    59568   177198 | 2147483647   185418     32 | 77.379 % |
374.61/374.98	c |    186593 |   13486    59568   177198 | 2147483647   185566     32 | 77.379 % |
375.11/375.44	c |    186753 |   13486    59568   177198 | 2147483647   185726     32 | 77.379 % |
375.61/376.00	c |    186930 |   13486    59568   177198 | 2147483647   185903     32 | 77.379 % |
376.20/376.50	c |    187125 |   13486    59568   177198 | 2147483647   186098     32 | 77.379 % |
376.70/377.05	c |    187339 |   13486    59568   177198 | 2147483647   186312     32 | 77.379 % |
377.20/377.55	c |    187572 |   13486    59568   177198 | 2147483647   186545     32 | 77.379 % |
377.90/378.28	c |    187828 |   13481    59520   177066 | 2147483647   186800     32 | 77.387 % |
378.50/378.86	c |    188111 |   13481    59520   177066 | 2147483647   187083     32 | 77.387 % |
379.20/379.57	c |    188420 |   13481    59520   177066 | 2147483647   187392     32 | 77.387 % |
380.10/380.41	c |    188759 |   13481    59520   177066 | 2147483647   187731     32 | 77.387 % |
380.90/381.22	c |    189136 |   13481    59520   177066 | 2147483647   188108     32 | 77.387 % |
381.90/382.22	c |    189545 |   13481    59520   177066 | 2147483647   188516     32 | 77.389 % |
383.00/383.34	c |    189994 |   13481    59520   177066 | 2147483647   188965     32 | 77.389 % |
384.00/384.32	c |    190489 |   13481    59520   177066 | 2147483647   189460     32 | 77.389 % |
385.20/385.53	c |    191031 |   13481    59520   177066 | 2147483647   190002     32 | 77.389 % |
386.39/386.78	c |    191627 |   13481    59520   177066 | 2147483647   190598     32 | 77.389 % |
388.60/388.92	c |    192287 |   13481    59520   177066 | 2147483647   191258     32 | 77.389 % |
390.50/390.83	c |    193008 |   13481    59520   177066 | 2147483647   191979     32 | 77.389 % |
392.50/392.80	c |    193804 |   13480    59515   177053 | 2147483647   192775     32 | 77.389 % |
394.60/394.97	c |    194675 |   13480    59515   177053 | 2147483647   193646     32 | 77.389 % |
397.09/397.43	c |    195637 |   13480    59515   177053 | 2147483647   194608     32 | 77.389 % |
400.19/400.51	c |    196690 |   13480    59515   177053 | 2147483647   195661     32 | 77.389 % |
402.99/403.33	c |    197851 |   13480    59515   177053 | 2147483647   196822     32 | 77.389 % |
406.59/406.98	c |    199124 |   13456    59357   176621 | 2147483647   198085     33 | 77.429 % |
409.89/410.21	c |    200524 |   13456    59357   176621 | 2147483647   199485     33 | 77.429 % |
413.79/414.13	c |    202065 |   13456    59357   176621 | 2147483647   201026     33 | 77.429 % |
417.79/418.12	c |    203759 |   13452    59357   176621 | 2147483647   202719     33 | 78.223 % |
422.48/422.86	c |    205622 |   13452    59357   176621 | 2147483647   204582     33 | 78.223 % |
427.48/427.83	c |    207671 |   13452    59357   176621 | 2147483647   206631     33 | 78.223 % |
427.68/428.10	c |    207772 |   12983    55610   166299 | 2147483647   206622     33 | 78.223 % |
427.98/428.36	c |    207882 |   12983    55610   166299 | 2147483647   206732     33 | 78.223 % |
428.38/428.73	c |    208004 |   12983    55610   166299 | 2147483647   206854     33 | 78.223 % |
428.78/429.19	c |    208138 |   12983    55610   166299 | 2147483647   206988     33 | 78.223 % |
429.28/429.60	c |    208284 |   12983    55610   166299 | 2147483647   207134     33 | 78.223 % |
429.57/429.98	c |    208447 |   12983    55610   166299 | 2147483647   207297     32 | 78.223 % |
430.27/430.63	c |    208623 |   12983    55610   166299 | 2147483647   207473     32 | 78.223 % |
430.78/431.14	c |    208818 |   12983    55610   166299 | 2147483647   207668     32 | 78.223 % |
431.37/431.79	c |    209031 |   12983    55610   166299 | 2147483647   207881     32 | 78.223 % |
432.27/432.62	c |    209264 |   12983    55610   166299 | 2147483647   208114     32 | 78.223 % |
433.08/433.43	c |    209524 |   12983    55610   166299 | 2147483647   208374     32 | 78.223 % |
433.87/434.26	c |    209806 |   12983    55610   166299 | 2147483647   208656     32 | 78.223 % |
434.87/435.28	c |    210115 |   12983    55610   166299 |   208850   208965     32 | 78.223 % |
436.07/436.44	c |    210456 |   12983    55610   166299 |   208850   209306     32 | 78.223 % |
437.38/437.73	c |    210828 |   12983    55610   166299 |   208850   209678     32 | 78.223 % |
438.87/439.27	c |    211240 |   12983    55610   166299 |   208850   210090     32 | 78.223 % |
440.67/441.06	c |    211692 |   12983    55610   166299 |   208850   210542     32 | 78.223 % |
442.67/443.03	c |    212187 |   12983    55610   166299 |   208850   211037     32 | 78.223 % |
445.07/445.48	c |    212729 |   12983    55610   166299 |   208850   211579     32 | 78.223 % |
447.07/447.48	c |    213328 |   12983    55610   166299 |   208850   212178     32 | 78.223 % |
449.57/449.92	c |    213983 |   12983    55610   166299 |   208850   212833     32 | 78.223 % |
451.87/452.25	c |    214703 |   12983    55610   166299 |   208850   213553     32 | 78.223 % |
453.76/454.19	c |    215496 |   12983    55610   166299 |   208850   214346     32 | 78.223 % |
456.96/457.34	c |    216367 |   12983    55610   166299 |   208850   215217     32 | 78.223 % |
459.47/459.84	c |    217326 |   12983    55610   166299 |   208850   216176     32 | 78.223 % |
462.37/462.70	c |    218379 |   12983    55610   166299 |   208850   217229     32 | 78.223 % |
465.66/466.02	c |    219537 |   12983    55610   166299 |   208850   218387     32 | 78.223 % |
469.76/470.15	c |    220811 |   12983    55610   166299 | 2147483647   219661     32 | 78.223 % |
474.36/474.72	c |    222214 |   12983    55610   166299 | 2147483647   221064     32 | 78.223 % |
478.46/478.85	c |    223755 |   12983    55610   166299 | 2147483647   222605     32 | 78.223 % |
483.36/483.71	c |    225450 |   12983    55610   166299 | 2147483647   224300     32 | 78.223 % |
489.55/489.99	c |    227317 |   12970    55533   166084 | 2147483647   226164     32 | 78.244 % |
494.15/494.59	c |    229367 |   12970    55533   166084 | 2147483647   228214     32 | 78.244 % |
499.55/499.91	c |    231623 |   12970    55533   166084 | 2147483647   230470     32 | 78.244 % |
499.75/500.14	c |    231724 |   12970    55533   166084 | 2147483647   230571     32 | 78.244 % |
499.95/500.36	c |    231834 |   12970    55533   166084 | 2147483647   230681     32 | 78.244 % |
500.25/500.60	c |    231956 |   12970    55533   166084 | 2147483647   230803     32 | 78.244 % |
500.55/500.98	c |    232089 |   12970    55533   166084 | 2147483647   230936     32 | 78.244 % |
500.95/501.36	c |    232235 |   12970    55533   166084 | 2147483647   231082     32 | 78.244 % |
501.45/501.82	c |    232395 |   12970    55533   166084 | 2147483647   231242     32 | 78.244 % |
501.85/502.27	c |    232571 |   12970    55533   166084 | 2147483647   231418     32 | 78.244 % |
502.55/502.95	c |    232765 |   12970    55533   166084 | 2147483647   231612     32 | 78.244 % |
503.05/503.42	c |    232977 |   12970    55533   166084 | 2147483647   231824     32 | 78.244 % |
503.55/503.97	c |    233210 |   12970    55533   166084 | 2147483647   232057     32 | 78.244 % |
504.15/504.54	c |    233466 |   12970    55533   166084 | 2147483647   232313     32 | 78.244 % |
504.95/505.35	c |    233749 |   12970    55533   166084 | 2147483647   232596     32 | 78.244 % |
505.65/506.05	c |    234060 |   12970    55533   166084 | 2147483647   232907     32 | 78.244 % |
506.55/506.94	c |    234399 |   12970    55533   166084 | 2147483647   233246     32 | 78.244 % |
507.55/507.97	c |    234771 |   12970    55533   166084 | 2147483647   233618     32 | 78.244 % |
508.64/509.08	c |    235184 |   12970    55533   166084 | 2147483647   234031     32 | 78.244 % |
510.14/510.53	c |    235640 |   12970    55533   166084 | 2147483647   234487     32 | 78.244 % |
511.23/511.66	c |    236133 |   12970    55533   166084 | 2147483647   234980     32 | 78.244 % |
512.13/512.56	c |    236677 |   12970    55533   166084 | 2147483647   235524     32 | 78.244 % |
513.42/513.87	c |    237273 |   12970    55533   166084 | 2147483647   236120     32 | 78.244 % |
514.82/515.20	c |    237931 |   12970    55533   166084 | 2147483647   236778     32 | 78.244 % |
516.32/516.73	c |    238651 |   12970    55533   166084 | 2147483647   237498     32 | 78.244 % |
518.22/518.68	c |    239443 |   12970    55533   166084 | 2147483647   238290     32 | 78.244 % |
520.32/520.72	c |    240314 |   12970    55533   166084 | 2147483647   239161     32 | 78.244 % |
522.82/523.26	c |    241272 |   12970    55533   166084 | 2147483647   240119     32 | 78.244 % |
525.02/525.44	c |    242325 |   12970    55533   166084 | 2147483647   241172     32 | 78.244 % |
528.12/528.51	c |    243483 |   12970    55533   166084 | 2147483647   242330     32 | 78.244 % |
531.62/532.10	c |    244756 |   12951    55430   165799 | 2147483647   243600     32 | 78.276 % |
535.01/535.49	c |    246156 |   12951    55430   165799 | 2147483647   245000     32 | 78.276 % |
538.71/539.14	c |    247700 |   12951    55430   165799 | 2147483647   246544     32 | 78.276 % |
542.82/543.25	c |    249394 |   12951    55430   165799 | 2147483647   248238     32 | 78.276 % |
547.92/548.36	c |    251257 |   12951    55430   165799 | 2147483647   250101     32 | 78.276 % |
553.61/554.08	c |    253309 |   12951    55430   165799 | 2147483647   252152     32 | 78.298 % |
559.41/559.82	c |    255563 |   12938    55345   165559 | 2147483647   254406     32 | 78.298 % |
565.70/566.11	c |    258042 |   12938    55345   165559 | 2147483647   256885     32 | 78.298 % |
566.01/566.45	c |    258142 |   12938    55345   165559 | 2147483647   256985     32 | 78.298 % |
566.30/566.78	c |    258253 |   12938    55345   165559 | 2147483647   257096     32 | 78.298 % |
566.70/567.12	c |    258374 |   12938    55345   165559 | 2147483647   257217     32 | 78.298 % |
567.21/567.68	c |    258508 |   12938    55345   165559 | 2147483647   257351     32 | 78.298 % |
567.70/568.19	c |    258654 |   12938    55345   165559 | 2147483647   257497     32 | 78.298 % |
568.31/568.70	c |    258817 |   12938    55345   165559 | 2147483647   257660     32 | 78.298 % |
568.80/569.29	c |    258996 |   12938    55345   165559 | 2147483647   257839     32 | 78.298 % |
569.50/569.91	c |    259189 |   12938    55345   165559 | 2147483647   258032     32 | 78.298 % |
570.10/570.51	c |    259402 |   12938    55345   165559 | 2147483647   258245     32 | 78.298 % |
570.60/571.08	c |    259636 |   12938    55345   165559 | 2147483647   258479     32 | 78.298 % |
571.40/571.86	c |    259893 |   12938    55345   165559 | 2147483647   258736     32 | 78.298 % |
572.10/572.59	c |    260175 |   12938    55345   165559 |   258845   259018     32 | 78.298 % |
572.80/573.27	c |    260485 |   12938    55345   165559 |   258845   259328     32 | 78.298 % |
573.80/574.27	c |    260824 |   12938    55345   165559 |   258845   259667     32 | 78.298 % |
574.90/575.31	c |    261200 |   12938    55345   165559 |   258845   260043     32 | 78.298 % |
576.10/576.52	c |    261611 |   12938    55345   165559 |   258845   260454     32 | 78.298 % |
577.30/577.76	c |    262060 |   12938    55345   165559 |   258845   260903     32 | 78.298 % |
578.80/579.25	c |    262553 |   12938    55345   165559 |   258845   261396     32 | 78.298 % |
580.20/580.67	c |    263095 |   12938    55345   165559 |   258845   261938     32 | 78.298 % |
582.89/583.32	c |    263693 |   12938    55345   165559 |   258845   262536     32 | 78.298 % |
584.70/585.19	c |    264350 |   12938    55345   165559 |   258845   263193     32 | 78.298 % |
586.79/587.29	c |    265070 |   12938    55345   165559 |   258845   263913     32 | 78.298 % |
589.20/589.68	c |    265862 |   12937    55341   165549 |   258845   264703     32 | 78.300 % |
591.29/591.78	c |    266734 |   12937    55341   165549 |   258845   265575     32 | 78.300 % |
594.49/594.93	c |    267692 |   12937    55341   165549 |   258845   266533     32 | 78.300 % |
598.38/598.80	c |    268745 |   12937    55341   165549 |   258845   267586     32 | 78.300 % |
601.78/602.29	c |    269903 |   12937    55341   165549 |   258845   268744     32 | 78.300 % |
605.38/605.89	c |    271177 |   12937    55341   165549 |   268840   270017     32 | 78.318 % |
608.58/609.06	c |    272579 |   12937    55341   165549 |   268840   271419     32 | 78.318 % |
613.48/613.94	c |    274120 |   12937    55341   165549 |   268840   272960     32 | 78.318 % |
618.18/618.66	c |    275814 |   12926    55266   165369 |   268840   274652     32 | 78.318 % |
622.87/623.31	c |    277677 |   12926    55266   165369 |   268840   276515     32 | 78.318 % |
627.27/627.79	c |    279728 |   12926    55266   165369 |   268840   278566     32 | 78.318 % |
633.96/634.41	c |    281981 |   12926    55266   165369 |   278838   280819     32 | 78.318 % |
640.87/641.38	c |    284459 |   12926    55266   165369 |   278838   283297     32 | 78.318 % |
648.76/649.26	c |    287185 |   12926    55266   165369 |   278838   286023     32 | 78.318 % |
649.16/649.61	c |    287290 |   12926    55266   165369 |   278838   286128     32 | 78.318 % |
649.56/650.03	c |    287400 |   12926    55266   165369 |   278838   286238     32 | 78.318 % |
649.96/650.49	c |    287521 |   12926    55266   165369 |   278838   286359     32 | 78.318 % |
650.46/650.99	c |    287655 |   12926    55266   165369 |   278838   286493     32 | 78.318 % |
650.86/651.37	c |    287801 |   12926    55266   165369 |   278838   286639     32 | 78.318 % |
651.46/651.97	c |    287964 |   12926    55266   165369 |   278838   286802     32 | 78.318 % |
652.06/652.56	c |    288144 |   12926    55266   165369 |   278838   286982     32 | 78.318 % |
652.66/653.13	c |    288339 |   12926    55266   165369 |   278838   287177     32 | 78.318 % |
653.36/653.81	c |    288553 |   12926    55266   165369 |   278838   287391     32 | 78.318 % |
654.46/654.95	c |    288789 |   12926    55266   165369 |   278838   287627     32 | 78.318 % |
655.85/656.33	c |    289045 |   12926    55266   165369 |   278838   287883     32 | 78.318 % |
657.16/657.61	c |    289326 |   12926    55266   165369 |   278838   288164     32 | 78.318 % |
658.46/658.98	c |    289636 |   12926    55266   165369 |   278838   288474     32 | 78.318 % |
660.15/660.60	c |    289975 |   12926    55266   165369 |   278838   288813     32 | 78.318 % |
661.76/662.28	c |    290347 |   12926    55266   165369 |   288839   289185     32 | 78.318 % |
663.75/664.25	c |    290759 |   12926    55266   165369 |   288839   289597     32 | 78.318 % |
665.95/666.41	c |    291208 |   12926    55266   165369 |   288839   290046     32 | 78.318 % |
668.55/669.04	c |    291702 |   12926    55266   165369 |   288839   290540     32 | 78.318 % |
671.55/672.04	c |    292244 |   12926    55266   165369 |   288839   291082     32 | 78.318 % |
674.25/674.71	c |    292844 |   12926    55266   165369 |   288839   291682     32 | 78.318 % |
676.84/677.35	c |    293499 |   12926    55266   165369 |   288839   292337     32 | 78.318 % |
679.64/680.11	c |    294222 |   12926    55266   165369 |   288839   293060     32 | 78.318 % |
682.24/682.72	c |    295016 |   12913    55188   165155 |   288839   293853     32 | 78.340 % |
685.34/685.81	c |    295888 |   12913    55188   165155 |   288839   294725     32 | 78.340 % |
689.53/690.08	c |    296851 |   12913    55188   165155 |   288839   295688     32 | 78.340 % |
693.03/693.52	c |    297904 |   12913    55188   165155 |   288839   296741     32 | 78.340 % |
696.33/696.87	c |    299063 |   12913    55188   165155 |   288839   297900     32 | 78.340 % |
700.14/700.68	c |    300336 |   12913    55188   165155 |   298837   299173     32 | 78.340 % |
704.13/704.60	c |    301738 |   12913    55188   165155 |   298837   300575     32 | 78.340 % |
708.33/708.86	c |    303278 |   12913    55188   165155 |   298837   302115     32 | 78.340 % |
713.33/713.90	c |    304972 |   12913    55188   165155 |   298837   303809     32 | 78.340 % |
717.84/718.36	c |    306835 |   12913    55188   165155 |   298837   305672     32 | 78.340 % |
723.73/724.26	c |    308885 |   12913    55188   165155 |   298837   307722     32 | 78.340 % |
730.33/730.86	c |    311139 |   12901    55114   164959 |   308839   309971     32 | 78.360 % |
736.92/737.45	c |    313617 |   12901    55114   164959 |   308839   312449     32 | 78.360 % |
745.12/745.67	c |    316342 |   12901    55114   164959 |   308839   315174     32 | 78.360 % |
755.02/755.59	c |    319340 |   12901    55114   164959 |   308839   318172     32 | 78.360 % |
755.42/755.97	c |    319441 |   12901    55114   164959 |   308839   318273     32 | 78.360 % |
755.92/756.41	c |    319552 |   12901    55114   164959 |   308839   318384     32 | 78.360 % |
756.22/756.75	c |    319673 |   12901    55114   164959 |   308839   318505     32 | 78.360 % |
756.82/757.34	c |    319806 |   12901    55114   164959 |   308839   318638     32 | 78.360 % |
757.32/757.87	c |    319953 |   12901    55114   164959 |   308839   318785     32 | 78.360 % |
757.91/758.45	c |    320113 |   12901    55114   164959 |   318832   318945     32 | 78.360 % |
758.52/759.09	c |    320289 |   12901    55114   164959 |   318832   319121     32 | 78.360 % |
759.31/759.82	c |    320483 |   12901    55114   164959 |   318832   319315     32 | 78.360 % |
760.11/760.63	c |    320695 |   12901    55114   164959 |   318832   319527     32 | 78.360 % |
761.01/761.50	c |    320928 |   12901    55114   164959 |   318832   319760     32 | 78.360 % |
761.82/762.38	c |    321185 |   12901    55114   164959 |   318832   320017     32 | 78.360 % |
762.61/763.10	c |    321466 |   12901    55114   164959 |   318832   320298     32 | 78.360 % |
763.41/763.94	c |    321777 |   12901    55114   164959 |   318832   320609     32 | 78.360 % |
764.41/764.95	c |    322116 |   12901    55114   164959 |   318832   320948     32 | 78.360 % |
765.31/765.81	c |    322488 |   12901    55114   164959 |   318832   321320     32 | 78.360 % |
767.11/767.61	c |    322897 |   12901    55114   164959 |   318832   321729     32 | 78.360 % |
768.91/769.42	c |    323349 |   12901    55114   164959 |   318832   322181     32 | 78.360 % |
770.41/770.98	c |    323842 |   12901    55114   164959 |   318832   322674     32 | 78.360 % |
772.01/772.54	c |    324384 |   12901    55114   164959 |   318832   323216     32 | 78.360 % |
774.01/774.52	c |    324980 |   12901    55114   164959 |   318832   323812     32 | 78.360 % |
776.21/776.73	c |    325636 |   12901    55114   164959 |   318832   324468     32 | 78.360 % |
778.70/779.20	c |    326357 |   12901    55114   164959 |   318832   325189     32 | 78.360 % |
781.00/781.58	c |    327149 |   12901    55114   164959 |   318832   325981     32 | 78.360 % |
784.30/784.82	c |    328020 |   12901    55114   164959 |   318832   326852     32 | 78.360 % |
787.30/787.83	c |    328979 |   12901    55114   164959 |   318832   327811     32 | 78.360 % |
790.50/791.02	c |    330037 |   12901    55114   164959 |   328832   328869     32 | 78.360 % |
794.10/794.67	c |    331195 |   12901    55114   164959 |   328832   330027     32 | 78.360 % |
798.20/798.72	c |    332468 |   12901    55114   164959 |   328832   331300     32 | 78.360 % |
803.70/804.28	c |    333871 |   12901    55114   164959 |   328832   332703     32 | 78.360 % |
809.10/809.60	c |    335412 |   12901    55114   164959 |   328832   334244     32 | 78.360 % |
815.19/815.76	c |    337106 |   12901    55114   164959 |   328832   335938     32 | 78.360 % |
820.89/821.41	c |    338969 |   12901    55114   164959 |   328832   337801     32 | 78.360 % |
827.69/828.23	c |    341023 |   12901    55114   164959 |   338832   339855     32 | 78.360 % |
834.08/834.60	c |    343277 |   12901    55114   164959 |   338832   342109     32 | 78.360 % |
842.08/842.67	c |    345755 |   12890    55052   164797 |   338832   344584     32 | 78.379 % |
850.07/850.60	c |    348481 |   12890    55052   164797 |   338832   347310     32 | 78.379 % |
858.88/859.48	c |    351479 |   12890    55052   164797 |   348830   350308     32 | 78.379 % |
869.87/870.43	c |    354775 |   12890    55052   164797 |   348830   353604     32 | 78.379 % |
870.27/870.86	c |    354876 |   12890    55052   164797 |   348830   353705     32 | 78.379 % |
870.77/871.33	c |    354988 |   12890    55052   164797 |   348830   353817     32 | 78.379 % |
871.17/871.72	c |    355109 |   12890    55052   164797 |   348830   353938     32 | 78.379 % |
871.77/872.36	c |    355242 |   12890    55052   164797 |   348830   354071     32 | 78.379 % |
872.37/872.97	c |    355389 |   12890    55052   164797 |   348830   354218     32 | 78.379 % |
873.07/873.63	c |    355552 |   12890    55052   164797 |   348830   354381     32 | 78.379 % |
873.77/874.35	c |    355732 |   12890    55052   164797 |   348830   354561     32 | 78.379 % |
874.37/874.91	c |    355926 |   12890    55052   164797 |   348830   354755     32 | 78.379 % |
874.97/875.54	c |    356138 |   12890    55052   164797 |   348830   354967     32 | 78.379 % |
875.67/876.24	c |    356375 |   12890    55052   164797 |   348830   355204     32 | 78.379 % |
876.47/877.03	c |    356631 |   12890    55052   164797 |   348830   355460     32 | 78.379 % |
877.57/878.11	c |    356912 |   12890    55052   164797 |   348830   355741     32 | 78.379 % |
878.86/879.46	c |    357222 |   12890    55052   164797 |   348830   356051     32 | 78.379 % |
880.06/880.68	c |    357564 |   12890    55052   164797 |   348830   356393     32 | 78.379 % |
881.46/882.00	c |    357936 |   12890    55052   164797 |   348830   356765     32 | 78.379 % |
882.96/883.51	c |    358345 |   12890    55052   164797 |   348830   357174     32 | 78.379 % |
884.56/885.18	c |    358796 |   12890    55052   164797 |   348830   357625     32 | 78.379 % |
886.46/887.08	c |    359290 |   12890    55052   164797 |   348830   358119     32 | 78.379 % |
888.66/889.21	c |    359832 |   12890    55052   164797 |   348830   358661     32 | 78.379 % |
890.76/891.34	c |    360430 |   12890    55052   164797 |   358830   359259     32 | 78.379 % |
892.96/893.50	c |    361085 |   12890    55052   164797 |   358830   359914     32 | 78.379 % |
895.16/895.75	c |    361808 |   12890    55052   164797 |   358830   360637     32 | 78.379 % |
897.75/898.38	c |    362601 |   12890    55052   164797 |   358830   361430     32 | 78.379 % |
900.95/901.50	c |    363472 |   12890    55052   164797 |   358830   362301     32 | 78.379 % |
903.95/904.56	c |    364430 |   12890    55052   164797 |   358830   363259     32 | 78.379 % |
907.65/908.25	c |    365485 |   12890    55052   164797 |   358830   364314     32 | 78.379 % |
912.25/912.85	c |    366646 |   12890    55052   164797 |   358830   365475     32 | 78.379 % |
917.14/917.80	c |    367920 |   12890    55052   164797 |   358830   366749     32 | 78.379 % |
921.64/922.27	c |    369320 |   12890    55052   164797 |   358830   368149     32 | 78.379 % |
926.35/926.96	c |    370862 |   12890    55052   164797 |   368830   369691     32 | 78.379 % |
930.54/931.19	c |    372557 |   12890    55052   164797 |   368830   371386     32 | 78.379 % |
937.44/938.04	c |    374420 |   12890    55052   164797 |   368830   373249     32 | 78.379 % |
943.64/944.21	c |    376470 |   12890    55052   164797 |   368830   375299     32 | 78.379 % |
950.43/951.03	c |    378723 |   12890    55052   164797 |   368830   377552     32 | 78.379 % |
957.63/958.24	c |    381202 |   12890    55052   164797 |   378830   380031     32 | 78.379 % |
967.22/967.88	c |    383930 |   12890    55052   164797 |   378830   382759     32 | 78.379 % |
981.72/982.33	c |    386928 |   12890    55052   164797 |   378830   385757     31 | 78.379 % |
995.72/996.35	c |    390225 |   12890    55052   164797 |   388831   389054     31 | 78.379 % |
1009.80/1010.41	c |    393852 |   12890    55052   164797 |   388831   392681     31 | 78.379 % |
1010.21/1010.87	c |    393955 |   12890    55052   164797 |   388831   392784     31 | 78.379 % |
1010.70/1011.35	c |    394066 |   12890    55052   164797 |   388831   392895     31 | 78.379 % |
1011.31/1011.97	c |    394188 |   12890    55052   164797 |   388831   393017     31 | 78.379 % |
1012.00/1012.64	c |    394321 |   12890    55052   164797 |   388831   393150     31 | 78.379 % |
1012.60/1013.29	c |    394467 |   12890    55052   164797 |   388831   393296     31 | 78.379 % |
1013.51/1014.11	c |    394627 |   12890    55052   164797 |   388831   393456     31 | 78.379 % |
1014.30/1014.90	c |    394803 |   12890    55052   164797 |   388831   393632     31 | 78.379 % |
1015.10/1015.75	c |    394996 |   12890    55052   164797 |   388831   393825     31 | 78.379 % |
1016.10/1016.79	c |    395208 |   12890    55052   164797 |   388831   394037     31 | 78.379 % |
1016.90/1017.57	c |    395442 |   12890    55052   164797 |   388831   394271     31 | 78.379 % |
1017.90/1018.58	c |    395698 |   12890    55052   164797 |   388831   394527     31 | 78.379 % |
1019.10/1019.79	c |    395979 |   12890    55052   164797 |   388831   394808     31 | 78.379 % |
1020.00/1020.67	c |    396288 |   12890    55052   164797 |   388831   395117     31 | 78.379 % |
1021.20/1021.86	c |    396627 |   12890    55052   164797 |   388831   395456     31 | 78.379 % |
1022.20/1022.89	c |    396999 |   12890    55052   164797 |   388831   395828     31 | 78.379 % |
1023.70/1024.32	c |    397408 |   12890    55052   164797 |   388831   396237     31 | 78.379 % |
1025.30/1025.92	c |    397859 |   12890    55052   164797 |   388831   396688     31 | 78.379 % |
1027.59/1028.23	c |    398352 |   12890    55052   164797 |   388831   397181     31 | 78.379 % |
1030.19/1030.87	c |    398894 |   12890    55052   164797 |   388831   397723     31 | 78.379 % |
1033.09/1033.78	c |    399490 |   12890    55052   164797 |   388831   398319     31 | 78.379 % |
1035.59/1036.22	c |    400146 |   12890    55052   164797 |   398830   398975     31 | 78.379 % |
1038.69/1039.33	c |    400866 |   12890    55052   164797 |   398830   399695     31 | 78.379 % |
1041.69/1042.39	c |    401658 |   12890    55052   164797 |   398830   400487     31 | 78.379 % |
1045.40/1046.06	c |    402531 |   12890    55052   164797 |   398830   401360     31 | 78.379 % |
1048.99/1049.62	c |    403489 |   12890    55052   164797 |   398830   402318     31 | 78.379 % |
1053.19/1053.83	c |    404542 |   12890    55052   164797 |   398830   403371     31 | 78.379 % |
1057.68/1058.31	c |    405700 |   12890    55052   164797 |   398830   404529     32 | 78.379 % |
1062.48/1063.19	c |    406973 |   12890    55052   164797 |   398830   405802     32 | 78.379 % |
1067.28/1067.96	c |    408375 |   12890    55052   164797 |   398830   407204     32 | 78.379 % |
1072.08/1072.79	c |    409915 |   12890    55052   164797 |   398830   408744     32 | 78.379 % |
1076.78/1077.47	c |    411609 |   12890    55052   164797 |   408829   410438     32 | 78.379 % |
1084.07/1084.73	c |    413472 |   12890    55052   164797 |   408829   412301     32 | 78.379 % |
1094.97/1095.68	c |    415522 |   12890    55052   164797 |   408829   414351     32 | 78.379 % |
1103.26/1103.97	c |    417777 |   12890    55052   164797 |   408829   416606     32 | 78.379 % |
1114.16/1114.86	c |    420255 |   12890    55052   164797 |   418831   419084     32 | 78.379 % |
1124.57/1125.24	c |    422982 |   12890    55052   164797 |   418831   421811     32 | 78.379 % |
1134.86/1135.59	c |    425984 |   12890    55052   164797 |   418831   424813     32 | 78.379 % |
1148.44/1149.11	c |    429280 |   12890    55052   164797 |   418831   428109     32 | 78.379 % |
1161.94/1162.66	c |    432905 |   12890    55052   164797 |   428829   431734     32 | 78.379 % |
1177.23/1177.91	c |    436892 |   12890    55052   164797 |   428829   435721     32 | 78.379 % |
1177.63/1178.37	c |    436992 |   12890    55052   164797 |   428829   435821     32 | 78.379 % |
1178.23/1178.90	c |    437106 |   12890    55052   164797 |   428829   435935     32 | 78.379 % |
1178.73/1179.49	c |    437227 |   12890    55052   164797 |   428829   436056     32 | 78.379 % |
1179.23/1179.95	c |    437360 |   12890    55052   164797 |   428829   436189     32 | 78.379 % |
1179.83/1180.58	c |    437506 |   12890    55052   164797 |   428829   436335     32 | 78.379 % |
1180.53/1181.24	c |    437667 |   12890    55052   164797 |   428829   436496     32 | 78.379 % |
1181.33/1182.02	c |    437843 |   12890    55052   164797 |   428829   436672     32 | 78.379 % |
1182.13/1182.89	c |    438037 |   12890    55052   164797 |   428829   436866     32 | 78.379 % |
1183.03/1183.74	c |    438251 |   12890    55052   164797 |   428829   437080     32 | 78.379 % |
1183.83/1184.60	c |    438484 |   12890    55052   164797 |   428829   437313     32 | 78.379 % |
1184.62/1185.36	c |    438742 |   12890    55052   164797 |   428829   437571     32 | 78.379 % |
1185.62/1186.35	c |    439026 |   12890    55052   164797 |   428829   437855     32 | 78.379 % |
1186.92/1187.64	c |    439339 |   12890    55052   164797 |   428829   438168     32 | 78.379 % |
1188.33/1189.05	c |    439680 |   12890    55052   164797 |   428829   438509     31 | 78.379 % |
1190.13/1190.89	c |    440054 |   12890    55052   164797 |   438829   438883     31 | 78.379 % |
1192.13/1192.80	c |    440463 |   12890    55052   164797 |   438829   439292     31 | 78.379 % |
1194.23/1194.92	c |    440912 |   12890    55052   164797 |   438829   439741     31 | 78.379 % |
1196.43/1197.13	c |    441408 |   12890    55052   164797 |   438829   440237     31 | 78.379 % |
1198.83/1199.54	c |    441951 |   12890    55052   164797 |   438829   440780     31 | 78.379 % |

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-1832027-1242767342/watcher-1832027-1242767342 -o /tmp/evaluation-result-1832027-1242767342/solver-1832027-1242767342 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832027-1242767342.cnf 

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


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.93 3/65 25779
/proc/meminfo: memFree=1881232/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=0
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304763698 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251279409234 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/25779/statm: 1339 235 195 169 0 50 0
[pid=25780] ppid=25779 vsize=5356 CPUtime=0
/proc/25780/stat : 25780 (SatELiteGTI) S 25779 25779 25440 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 304763698 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/25780/statm: 1339 238 198 169 0 50 0
[pid=25782] ppid=25780 vsize=5356 CPUtime=0
/proc/25782/stat : 25782 (SatELiteGTI) R 25780 25779 25440 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279240487 0 0 4096 0 0 0 0 17 1 0 0
/proc/25782/statm: 1339 239 199 169 0 50 0

[startup+0.0942571 s]
/proc/loadavg: 0.91 0.97 0.93 3/65 25779
/proc/meminfo: memFree=1881232/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=0
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304763698 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101254 s]
/proc/loadavg: 0.91 0.97 0.93 3/65 25779
/proc/meminfo: memFree=1881232/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=0
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304763698 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301282 s]
/proc/loadavg: 0.91 0.97 0.93 3/65 25779
/proc/meminfo: memFree=1881232/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=0
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304763698 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701331 s]
/proc/loadavg: 0.91 0.97 0.93 3/65 25779
/proc/meminfo: memFree=1881232/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=0
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304763698 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50143 s]
/proc/loadavg: 0.91 0.97 0.93 2/67 25784
/proc/meminfo: memFree=1796992/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=0
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304763698 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 237 197 169 0 50 0
[pid=25784] ppid=25779 vsize=99864 CPUtime=1.48
/proc/25784/stat : 25784 (SatELite_releas) R 25779 25779 25440 0 -1 4194304 23600 0 0 0 134 14 0 0 25 0 1 0 304763698 102260736 21804 1992294400 134512640 135223648 4294956128 18446744073709551615 134586721 0 0 4096 3 0 0 0 17 1 0 0
/proc/25784/statm: 24966 21804 76 173 0 24791 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 105220

[startup+3.10162 s]
/proc/loadavg: 0.91 0.97 0.93 2/67 25784
/proc/meminfo: memFree=1787584/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=0
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304763698 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 237 197 169 0 50 0
[pid=25784] ppid=25779 vsize=109860 CPUtime=3.08
/proc/25784/stat : 25784 (SatELite_releas) R 25779 25779 25440 0 -1 4194304 26032 0 0 0 293 15 0 0 25 0 1 0 304763698 112496640 23868 1992294400 134512640 135223648 4294956128 18446744073709551615 134601703 0 0 4096 3 0 0 0 17 0 0 0
/proc/25784/statm: 27465 23868 76 173 0 27290 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 115216

[startup+6.30202 s]
/proc/loadavg: 1.08 1.00 0.94 2/67 25784
/proc/meminfo: memFree=1784000/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=0
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304763698 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 237 197 169 0 50 0
[pid=25784] ppid=25779 vsize=107664 CPUtime=6.27
/proc/25784/stat : 25784 (SatELite_releas) R 25779 25779 25440 0 -1 4194304 35646 0 0 0 604 23 0 0 25 0 1 0 304763698 110247936 23192 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/25784/statm: 26916 23192 76 173 0 26741 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 113020

[startup+12.7018 s]
/proc/loadavg: 1.15 1.02 0.95 2/67 25785
/proc/meminfo: memFree=1848968/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=21436 CPUtime=6.36
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 5095 0 0 0 634 2 0 0 25 0 1 0 304764330 21950464 5061 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 5359 5061 77 171 0 5186 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 26792

[startup+25.5024 s]
/proc/loadavg: 1.12 1.02 0.95 2/67 25785
/proc/meminfo: memFree=1848968/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=21436 CPUtime=19.14
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 5109 0 0 0 1912 2 0 0 25 0 1 0 304764330 21950464 5075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 5359 5075 77 171 0 5186 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 26792

[startup+51.1026 s]
/proc/loadavg: 1.08 1.01 0.95 2/67 25785
/proc/meminfo: memFree=1846728/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=23936 CPUtime=44.71
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 5715 0 0 0 4468 3 0 0 25 0 1 0 304764330 24510464 5681 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 5984 5681 77 171 0 5811 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 29292

[startup+102.307 s]
/proc/loadavg: 1.03 1.01 0.95 2/67 25785
/proc/meminfo: memFree=1840840/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=29588 CPUtime=95.87
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 7118 0 0 0 9583 4 0 0 25 0 1 0 304764330 30298112 7084 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 7397 7084 77 171 0 7224 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 34944

[startup+162.303 s]
/proc/loadavg: 1.01 1.00 0.95 2/67 25785
/proc/meminfo: memFree=1836040/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=34604 CPUtime=155.81
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 8296 0 0 0 15575 6 0 0 25 0 1 0 304764330 35434496 8262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 8651 8262 77 171 0 8478 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 39960

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 25785
/proc/meminfo: memFree=1831368/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=39224 CPUtime=215.78
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 9455 0 0 0 21571 7 0 0 25 0 1 0 304764330 40165376 9421 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 9806 9421 77 171 0 9633 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 44580

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 25785
/proc/meminfo: memFree=1827528/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=43264 CPUtime=275.76
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 10389 0 0 0 27568 8 0 0 25 0 1 0 304764330 44302336 10355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 10816 10355 77 171 0 10643 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 48620

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 25785
/proc/meminfo: memFree=1824328/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=46304 CPUtime=335.71
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 11156 0 0 0 33562 9 0 0 25 0 1 0 304764330 47415296 11122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 11576 11122 77 171 0 11403 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 51660

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 25785
/proc/meminfo: memFree=1820744/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=49908 CPUtime=395.68

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

/proc/25785/statm: 15235 14716 77 171 0 15062 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 66296

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 25785
/proc/meminfo: memFree=1805960/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=64360 CPUtime=635.55
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 15619 0 0 0 63542 13 0 0 25 0 1 0 304764330 65904640 15585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 16090 15585 77 171 0 15917 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 69716

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 25785
/proc/meminfo: memFree=1803144/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=67248 CPUtime=695.52
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 16292 0 0 0 69538 14 0 0 25 0 1 0 304764330 68861952 16258 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 16812 16258 77 171 0 16639 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 72604

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 25785
/proc/meminfo: memFree=1799880/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=70856 CPUtime=755.51
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 17077 0 0 0 75536 15 0 0 25 0 1 0 304764330 72556544 17043 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 17714 17043 77 171 0 17541 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 76212

[startup+822.301 s]
/proc/loadavg: 1.08 1.02 0.95 2/67 25785
/proc/meminfo: memFree=1797064/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=73452 CPUtime=815.48
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 17758 0 0 0 81533 15 0 0 25 0 1 0 304764330 75214848 17724 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 18363 17724 77 171 0 18190 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 78808

[startup+882.302 s]
/proc/loadavg: 1.10 1.03 0.96 2/67 25785
/proc/meminfo: memFree=1794440/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=76396 CPUtime=875.45
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 18416 0 0 0 87529 16 0 0 25 0 1 0 304764330 78229504 18382 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 19099 18382 77 171 0 18926 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 81752

[startup+942.301 s]
/proc/loadavg: 1.22 1.07 0.97 2/67 25785
/proc/meminfo: memFree=1791944/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=78692 CPUtime=935.43
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 19000 0 0 0 93526 17 0 0 25 0 1 0 304764330 80580608 18966 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 19673 18966 77 171 0 19500 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 84048

[startup+1002.3 s]
/proc/loadavg: 1.18 1.08 0.98 2/67 25785
/proc/meminfo: memFree=1789320/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=81340 CPUtime=995.4
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 19625 0 0 0 99522 18 0 0 25 0 1 0 304764330 83292160 19591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 20335 19591 77 171 0 20162 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 86696

[startup+1062.3 s]
/proc/loadavg: 1.12 1.08 0.99 2/67 25785
/proc/meminfo: memFree=1786696/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=83748 CPUtime=1055.37
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 20258 0 0 0 105518 19 0 0 25 0 1 0 304764330 85757952 20224 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 20937 20224 77 171 0 20764 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 89104

[startup+1122.3 s]
/proc/loadavg: 1.10 1.08 1.00 2/67 25785
/proc/meminfo: memFree=1784264/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=86164 CPUtime=1115.35
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 20853 0 0 0 111515 20 0 0 25 0 1 0 304764330 88231936 20819 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 21541 20819 77 171 0 21368 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 91520

[startup+1182.3 s]
/proc/loadavg: 1.08 1.08 1.00 2/67 25785
/proc/meminfo: memFree=1781640/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=88704 CPUtime=1175.32
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 21487 0 0 0 117512 20 0 0 25 0 1 0 304764330 90832896 21453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 22176 21453 77 171 0 22003 0
Current children cumulated CPU time (s) 1181.63
Current children cumulated vsize (KiB) 94060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.06 1.07 1.00 2/67 25785
/proc/meminfo: memFree=1781000/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=89312 CPUtime=1193.72
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 21635 0 0 0 119351 21 0 0 25 0 1 0 304764330 91455488 21601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 22328 21601 77 171 0 22155 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 94668

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.06 1.07 1.00 2/67 25785
/proc/meminfo: memFree=1781000/2055920 swapFree=4179872/4192956
[pid=25779] ppid=25777 vsize=5356 CPUtime=6.31
/proc/25779/stat : 25779 (SatELiteGTI) S 25777 25779 25440 0 -1 4194304 336 35896 0 0 0 0 606 25 16 0 1 0 304763698 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25779/statm: 1339 239 197 169 0 50 0
[pid=25785] ppid=25779 vsize=89312 CPUtime=1193.72
/proc/25785/stat : 25785 (minisat_static) R 25779 25779 25440 0 -1 4194304 21635 0 0 0 119351 21 0 0 25 0 1 0 304764330 91455488 21601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25785/statm: 22328 21601 77 171 0 22155 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 94668

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.71
CPU time (s): 1200.03
CPU user time (s): 1199.57
CPU system time (s): 0.46
CPU usage (%): 99.9432
Max. virtual memory (cumulated for all children) (KiB): 122264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.06508
system time used= 0.251961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 48

runsolver used 1.10283 second user time and 3.35449 second system time

The end

Launcher Data 

Begin job on node92 at 2009-05-19 23:09:03
IDJOB=1832027
IDBENCH=20379
IDSOLVER=671
FILE ID=node92/1832027-1242767342
PBS_JOBID= 9322212
Free space on /tmp= 66228 MiB

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

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

MD5SUM BENCH= 83ece6745238c422c7e68e5a07fc7f73
RANDOM SEED=142152794

node92.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.245
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.245
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1881728 kB
Buffers:          9440 kB
Cached:         127112 kB
SwapCached:       7336 kB
Active:          66336 kB
Inactive:        79032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1881728 kB
SwapTotal:     4192956 kB
SwapFree:      4179872 kB
Dirty:           16768 kB
Writeback:           0 kB
Mapped:          13952 kB
Slab:            14688 kB
Committed_AS:   778168 kB
PageTables:       1476 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= 66212 MiB
End job on node92 at 2009-05-19 23:29:06