Trace number 1832081

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-18UNSAT 1073.3 1073.88

General information on the benchmark

Nameindustrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
MD5SUM175ec3119584300988ad366c4a04cccc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark316.247
Satisfiable
(Un)Satisfiability was proved
Number of variables69148
Number of clauses208728
Sum of the clauses size487544
Maximum clause length28
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2139492
Number of clauses of size 368730
Number of clauses of size 4102
Number of clauses of size 513
Number of clauses of size over 5135

Solver Data 

0.00/0.01	c Parsing...
0.00/0.17	c ==============================================================================
0.00/0.17	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.17	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.17	c ==============================================================================
0.00/0.17	c |         0 |  207960   486008 |   62387       0        0     nan |  0.000 % |
1.58/1.65	c |         0 |  121498   417368 |      --       0       --      -- |     --   | -86462/-68640
1.58/1.65	c ==============================================================================
1.58/1.65	c Result  :   #vars: 18081   #clauses: 121498   #literals: 417368
1.58/1.65	c CPU time:   1.57676 s
1.58/1.65	c ==============================================================================
1.78/1.80	c This is MiniSat 2.0 beta
1.78/1.80	c WARNING: for repeatability, setting FPU to use double precision
1.78/1.80	c ============================[ Problem Statistics ]=============================
1.78/1.80	c |                                                                             |
1.78/1.80	c |  Number of variables:  18081                                                |
1.78/1.80	c |  Number of clauses:    121498                                               |
1.78/1.87	c |  Parsing time:         0.07         s                                       |
1.78/1.88	c ============================[ Search Statistics ]==============================
1.78/1.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.78/1.88	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.78/1.88	c ===============================================================================
1.78/1.88	c |         0 |   18081   121498   417368 |    40499        0    nan |  0.000 % |
1.78/1.91	c |       100 |   18078   121498   417368 |    40499       96      7 |  0.022 % |
1.78/1.95	c |       200 |   18077   121498   417368 |    40499      196      8 |  0.022 % |
1.78/2.03	c |       300 |   18077   121498   417368 |    40499      296     13 |  0.022 % |
1.78/2.06	c |       410 |   18077   121498   417368 |    40499      405     13 |  0.028 % |
2.07/2.11	c |       510 |   18076   121498   417368 |    40499      505     13 |  0.028 % |
2.07/2.16	c |       623 |   18076   121293   416659 |    40499      603     13 |  0.028 % |
2.27/2.38	c |       744 |   18075   121293   416659 |    40499      723     39 |  0.033 % |
2.37/2.45	c |       845 |   18075   121293   416659 |    40499      824     39 |  0.033 % |
2.37/2.48	c |       955 |   18075   121285   416636 |    40499      932     36 |  0.033 % |
2.47/2.53	c |      1076 |   18075   121285   416636 |    40499     1053     34 |  0.033 % |
2.47/2.59	c |      1210 |   18075   121285   416636 |    40499     1187     32 |  0.033 % |
2.57/2.62	c |      1312 |   18074   121285   416636 |    40499     1288     31 |  0.039 % |
2.57/2.68	c |      1426 |   18074   121285   416636 |    40499     1402     29 |  0.039 % |
2.67/2.74	c |      1547 |   18074   121268   416575 |    40499     1521     28 |  0.039 % |
2.67/2.77	c |      1680 |   18074   121268   416575 |    40499     1654     27 |  0.039 % |
2.77/2.83	c |      1827 |   18073   121268   416575 |    40499     1800     26 |  0.044 % |
2.77/2.87	c |      1927 |   18073   121268   416575 |    40499     1900     27 |  0.044 % |
2.87/2.91	c |      2038 |   18073   121268   416575 |    40499     2011     27 |  0.044 % |
2.87/2.98	c |      2159 |   18073   121251   416514 |    40499     2129     27 |  0.044 % |
2.97/3.06	c |      2292 |   18072   121251   416514 |    40499     2261     27 |  0.050 % |
3.07/3.14	c |      2439 |   18072   121251   416514 |    40499     2408     27 |  0.050 % |
3.17/3.25	c |      2601 |   18072   121251   416514 |    40499     2570     29 |  0.050 % |
3.17/3.30	c |      2703 |   18072   121235   416456 |    40499     2667     29 |  0.050 % |
3.27/3.33	c |      2813 |   18072   121235   416456 |    40499     2777     29 |  0.050 % |
3.27/3.37	c |      2935 |   18072   121235   416456 |    40499     2899     28 |  0.050 % |
3.37/3.42	c |      3069 |   18071   121235   416456 |    40499     3032     27 |  0.055 % |
3.47/3.50	c |      3217 |   18070   121235   416456 |    40499     3179     28 |  0.061 % |
3.47/3.58	c |      3377 |   18070   121235   416456 |    40499     3339     28 |  0.061 % |
3.67/3.72	c |      3559 |   18070   121151   416227 |    40499     3521     27 |  0.061 % |
3.77/3.82	c |      3659 |   18070   121151   416227 |    40499     3621     31 |  0.061 % |
3.77/3.86	c |      3769 |   18070   121151   416227 |    40499     3731     31 |  0.061 % |
3.86/3.91	c |      3892 |   18069   121143   416204 |    40499     3852     30 |  0.066 % |
3.86/3.99	c |      4025 |   18069   121143   416204 |    40499     3985     30 |  0.066 % |
3.96/4.07	c |      4173 |   18068   121143   416204 |    40499     4132     30 |  0.072 % |
4.27/4.34	c |      4333 |   18068   121143   416204 |    40499     4292     34 |  0.072 % |
4.47/4.56	c |      4510 |   18068   121127   416148 |    40499     4467     36 |  0.072 % |
4.57/4.62	c |      4703 |   18064   121127   416148 |    40499     4656     35 |  0.094 % |
4.57/4.65	c |      4803 |   18064   121127   416148 |    40499     4756     35 |  0.094 % |
4.67/4.71	c |      4914 |   18064   121065   415930 |    40499     4851     34 |  0.094 % |
4.67/4.77	c |      5035 |   18063   121065   415930 |    40499     4971     34 |  0.100 % |
4.77/4.80	c |      5168 |   18063   121065   415930 |    40499     5104     33 |  0.100 % |
4.77/4.85	c |      5314 |   18060   121065   415930 |    40499     5247     33 |  0.116 % |
4.87/4.95	c |      5475 |   18060   121065   415930 |    40499     5408     34 |  0.116 % |
4.97/5.00	c |      5651 |   18059   121065   415930 |    40499     5583     33 |  0.122 % |
4.97/5.07	c |      5844 |   18059   120930   415431 |    40499     5729     33 |  0.122 % |
5.26/5.39	c |      6056 |   18059   120930   415431 |    40499     5941     34 |  0.122 % |
5.37/5.45	c |      6156 |   18059   120930   415431 |    40499     6041     34 |  0.122 % |
5.66/5.76	c |      6270 |   18059   120930   415431 |    40499     6155     38 |  0.122 % |
5.76/5.84	c |      6392 |   18059   120930   415431 |    40499     6277     39 |  0.122 % |
5.86/5.93	c |      6526 |   18059   120930   415431 |    40499     6411     38 |  0.122 % |
5.96/6.04	c |      6672 |   18059   120930   415431 |    40499     6557     40 |  0.122 % |
6.06/6.17	c |      6832 |   18058   120869   415202 |    40499     6716     41 |  0.127 % |
6.26/6.39	c |      7008 |   18058   120869   415202 |    40499     6892     43 |  0.127 % |
6.57/6.64	c |      7203 |   18058   120869   415202 |    40499     7085     45 |  0.138 % |
6.66/6.74	c |      7415 |   18055   120847   415128 |    40499     7294     44 |  0.144 % |
6.86/6.91	c |      7649 |   18055   120847   415128 |    40499     7528     43 |  0.144 % |
6.96/7.04	c |      7749 |   18055   120847   415128 |    40499     7628     46 |  0.144 % |
7.16/7.21	c |      7861 |   18054   120783   414941 |    40499     7733     46 |  0.155 % |
7.26/7.30	c |      7982 |   18053   120783   414941 |    40499     7854     46 |  0.155 % |
7.46/7.53	c |      8118 |   18053   120783   414941 |    40499     7990     47 |  0.155 % |
7.56/7.65	c |      8264 |   18053   120783   414941 |    40499     8136     48 |  0.155 % |
7.66/7.70	c |      8425 |   18053   120783   414941 |    40499     8297     48 |  0.155 % |
7.96/8.02	c |      8601 |   18053   120783   414941 |    40499     8473     50 |  0.155 % |
8.16/8.26	c |      8794 |   18053   120733   414802 |    40499     8666     51 |  0.155 % |
8.26/8.38	c |      9006 |   18053   120733   414802 |    40499     8877     51 |  0.160 % |
8.46/8.52	c |      9239 |   18053   120733   414802 |    40499     9110     50 |  0.160 % |
8.86/8.90	c |      9495 |   18053   120733   414802 |    40499     9366     52 |  0.160 % |
8.86/8.95	c |      9595 |   18052   120671   414570 |    40499     9466     51 |  0.160 % |
8.96/9.00	c |      9705 |   18052   120671   414570 |    40499     9569     51 |  0.199 % |
8.96/9.06	c |      9826 |   18044   120671   414570 |    40499     9689     50 |  0.205 % |
9.16/9.23	c |      9959 |   18044   120671   414570 |    40499     9822     51 |  0.205 % |
9.26/9.33	c |     10105 |   18044   120671   414570 | 2147483647     9968     52 |  0.205 % |
9.36/9.41	c |     10265 |   18044   120671   414570 | 2147483647    10128     51 |  0.205 % |
9.46/9.57	c |     10444 |   18044   120671   414570 | 2147483647    10307     52 |  0.205 % |
9.56/9.66	c |     10638 |   18043   120525   414029 | 2147483647    10350     52 |  0.210 % |
9.76/9.82	c |     10852 |   18043   120525   414029 | 2147483647    10564     53 |  0.210 % |
9.87/9.94	c |     11085 |   18040   120525   414029 | 2147483647    10794     52 |  0.227 % |
9.97/10.05	c |     11342 |   18040   120525   414029 | 2147483647    11051     52 |  0.227 % |
10.17/10.21	c |     11625 |   18038   120345   413404 | 2147483647    11316     52 |  0.238 % |
10.17/10.25	c |     11726 |   18037   120345   413404 | 2147483647    11416     52 |  0.243 % |
10.17/10.29	c |     11836 |   18037   120345   413404 | 2147483647    11526     51 |  0.243 % |
10.27/10.34	c |     11958 |   18037   120345   413404 | 2147483647    11648     51 |  0.243 % |
10.37/10.46	c |     12091 |   18037   120345   413404 | 2147483647    11781     53 |  0.243 % |
10.47/10.53	c |     12238 |   18037   120345   413404 | 2147483647    11928     53 |  0.243 % |
10.47/10.58	c |     12398 |   18037   120345   413404 | 2147483647    12088     52 |  0.243 % |
10.57/10.65	c |     12575 |   18037   120345   413404 | 2147483647    12265     52 |  0.243 % |
10.67/10.79	c |     12770 |   18036   120345   413404 | 2147483647    12459     52 |  0.249 % |
10.77/10.88	c |     12983 |   18036   120279   413208 | 2147483647    12667     51 |  0.249 % |
11.06/11.12	c |     13217 |   18036   120279   413208 | 2147483647    12901     52 |  0.249 % |
11.16/11.26	c |     13473 |   18036   120279   413208 | 2147483647    13157     51 |  0.249 % |
11.26/11.38	c |     13754 |   18036   120279   413208 | 2147483647    13438     51 |  0.249 % |
11.46/11.57	c |     14063 |   18035   120263   413152 | 2147483647    13743     51 |  0.254 % |
11.56/11.62	c |     14164 |   18034   120263   413152 | 2147483647    13843     51 |  0.260 % |
11.66/11.78	c |     14274 |   18034   120263   413152 | 2147483647    13953     51 |  0.260 % |
11.97/12.01	c |     14397 |   18034   120263   413152 | 2147483647    14076     52 |  0.260 % |
12.07/12.11	c |     14533 |   18033   120263   413152 | 2147483647    14211     52 |  0.265 % |
12.16/12.29	c |     14680 |   18033   120263   413152 | 2147483647    14358     53 |  0.265 % |
12.26/12.38	c |     14840 |   18033   120263   413152 | 2147483647    14517     53 |  0.271 % |
12.46/12.57	c |     15016 |   18033   120263   413152 | 2147483647    14693     55 |  0.271 % |
12.66/12.70	c |     15209 |   18032   120153   412786 | 2147483647    14885     54 |  0.271 % |
12.86/12.93	c |     15425 |   18032   120153   412786 | 2147483647    15101     57 |  0.271 % |
12.96/13.03	c |     15661 |   18031   120153   412786 | 2147483647    15336     56 |  0.277 % |
13.06/13.18	c |     15918 |   18031   120153   412786 | 2147483647    15593     56 |  0.277 % |
13.26/13.32	c |     16201 |   18030   120153   412786 | 2147483647    15875     55 |  0.282 % |
13.46/13.52	c |     16510 |   18029   120056   412430 | 2147483647    16171     55 |  0.288 % |
13.66/13.76	c |     16849 |   18028   120056   412430 | 2147483647    16508     55 |  0.299 % |
13.76/13.89	c |     16951 |   18028   120056   412430 | 2147483647    16610     55 |  0.299 % |
13.86/13.95	c |     17063 |   18028   120056   412430 | 2147483647    16722     55 |  0.299 % |
13.96/14.01	c |     17187 |   18028   120056   412430 | 2147483647    16846     55 |  0.299 % |
14.06/14.15	c |     17321 |   18028   120056   412430 | 2147483647    16980     56 |  0.299 % |
14.16/14.22	c |     17468 |   18025   120056   412430 | 2147483647    17123     56 |  0.321 % |
14.16/14.30	c |     17630 |   18024   120056   412430 | 2147483647    17285     56 |  0.321 % |
14.26/14.39	c |     17809 |   18024   120056   412430 | 2147483647    17464     55 |  0.321 % |
14.46/14.57	c |     18003 |   18023   119927   412010 | 2147483647    17634     57 |  0.321 % |
14.56/14.64	c |     18215 |   18023   119927   412010 | 2147483647    17846     56 |  0.321 % |
14.76/14.81	c |     18448 |   18023   119927   412010 | 2147483647    18079     56 |  0.321 % |
14.96/15.07	c |     18704 |   18023   119927   412010 | 2147483647    18333     56 |  0.332 % |
15.16/15.24	c |     18985 |   18022   119927   412010 | 2147483647    18614     56 |  0.332 % |
15.66/15.75	c |     19294 |   18022   119927   412010 | 2147483647    18923     57 |  0.332 % |
16.26/16.34	c |     19633 |   18021   119854   411814 | 2147483647    19262     57 |  0.332 % |
16.55/16.63	c |     20005 |   18020   119854   411814 | 2147483647    19633     57 |  0.337 % |
16.55/16.67	c |     20105 |   18020   119854   411814 | 2147483647    19733     57 |  0.337 % |
16.65/16.76	c |     20218 |   18020   119854   411814 | 2147483647    19846     57 |  0.337 % |
16.85/16.98	c |     20340 |   18020   119854   411814 | 2147483647    19968     57 |  0.337 % |
17.15/17.23	c |     20473 |   18020   119839   411762 | 2147483647    20094     58 |  0.337 % |
17.25/17.37	c |     20621 |   18020   119839   411762 | 2147483647    20242     58 |  0.337 % |
17.35/17.43	c |     20781 |   18020   119839   411762 | 2147483647    20401     59 |  0.343 % |
17.46/17.53	c |     20957 |   18019   119839   411762 | 2147483647    20577     58 |  0.343 % |
17.65/17.78	c |     21150 |   18019   119839   411762 | 2147483647    20770     59 |  0.343 % |
17.86/17.95	c |     21363 |   18017   119839   411762 | 2147483647    20981     59 |  0.354 % |
18.06/18.11	c |     21598 |   18017   119839   411762 | 2147483647    21216     58 |  0.354 % |
18.16/18.28	c |     21855 |   18017   119839   411762 | 2147483647    21472     59 |  0.359 % |
18.36/18.44	c |     22137 |   18016   119788   411587 | 2147483647    21735     58 |  0.359 % |
18.86/18.93	c |     22447 |   18016   119788   411587 | 2147483647    22045     59 |  0.359 % |
19.16/19.22	c |     22786 |   18016   119788   411587 | 2147483647    22384     60 |  0.359 % |
19.56/19.60	c |     23158 |   18016   119788   411587 | 2147483647    22756     59 |  0.359 % |
19.77/19.88	c |     23568 |   18016   119788   411587 | 2147483647    23166     59 |  0.359 % |
19.86/19.96	c |     23672 |   18016   119788   411587 | 2147483647    23270     59 |  0.359 % |
19.96/20.02	c |     23783 |   18015   119773   411533 | 2147483647    23369     59 |  0.365 % |
19.96/20.08	c |     23905 |   18015   119773   411533 | 2147483647    23491     58 |  0.365 % |
20.06/20.18	c |     24038 |   18015   119773   411533 | 2147483647    23624     58 |  0.365 % |
20.26/20.30	c |     24184 |   18015   119773   411533 | 2147483647    23770     58 |  0.365 % |
20.26/20.39	c |     24344 |   18015   119773   411533 | 2147483647    23930     58 |  0.365 % |
20.56/20.62	c |     24520 |   18015   119773   411533 | 2147483647    24106     58 |  0.365 % |
20.77/20.81	c |     24713 |   18015   119773   411533 | 2147483647    24299     59 |  0.365 % |
20.87/20.92	c |     24926 |   18011   119773   411533 | 2147483647    24508     59 |  0.387 % |
21.06/21.19	c |     25160 |   18011   119773   411533 | 2147483647    24742     60 |  0.387 % |
21.56/21.69	c |     25416 |   18010   119696   411269 | 2147483647    24959     60 |  0.393 % |
21.76/21.84	c |     25698 |   18010   119696   411269 | 2147483647    25241     60 |  0.393 % |
21.86/22.00	c |     26008 |   18010   119696   411269 | 2147483647    25551     59 |  0.393 % |
22.26/22.30	c |     26348 |   18007   119696   411269 | 2147483647    25887     59 |  0.415 % |
22.76/22.86	c |     26721 |   18007   119696   411269 | 2147483647    26260     59 |  0.415 % |
23.16/23.20	c |     27130 |   18007   119696   411269 | 2147483647    26669     59 |  0.415 % |
23.36/23.49	c |     27579 |   18006   119578   410926 | 2147483647    27111     59 |  0.415 % |
23.46/23.59	c |     27679 |   18006   119578   410926 | 2147483647    27211     59 |  0.415 % |
23.56/23.65	c |     27789 |   18006   119578   410926 | 2147483647    27321     59 |  0.415 % |
23.66/23.78	c |     27911 |   18006   119578   410926 | 2147483647    27443     59 |  0.415 % |
23.86/23.98	c |     28044 |   18006   119578   410926 | 2147483647    27576     59 |  0.415 % |
24.06/24.17	c |     28194 |   18006   119578   410926 | 2147483647    27726     60 |  0.415 % |
24.26/24.30	c |     28355 |   18006   119578   410926 | 2147483647    27886     59 |  0.420 % |
24.46/24.52	c |     28531 |   18006   119578   410926 | 2147483647    28062     59 |  0.420 % |
24.56/24.68	c |     28724 |   18002   119578   410926 | 2147483647    28252     59 |  0.448 % |
24.76/24.87	c |     28937 |   18002   119578   410926 | 2147483647    28465     59 |  0.448 % |
24.96/25.05	c |     29170 |   18000   119451   410489 | 2147483647    28636     59 |  0.454 % |
25.36/25.44	c |     29426 |   18000   119451   410489 | 2147483647    28892     60 |  0.454 % |
25.66/25.74	c |     29714 |   18000   119451   410489 | 2147483647    29180     60 |  0.454 % |
25.86/25.94	c |     30024 |   18000   119451   410489 | 2147483647    29490     60 |  0.454 % |
26.15/26.20	c |     30364 |   18000   119451   410489 | 2147483647    29830     60 |  0.454 % |
26.36/26.48	c |     30740 |   18000   119451   410489 | 2147483647    30206     60 |  0.454 % |
26.65/26.73	c |     31149 |   18000   119451   410489 | 2147483647    30615     60 |  0.454 % |
26.95/27.07	c |     31599 |   17999   119430   410409 | 2147483647    31058     59 |  0.454 % |
27.25/27.35	c |     32094 |   17999   119430   410409 | 2147483647    31553     60 |  0.454 % |
27.36/27.42	c |     32196 |   17999   119430   410409 | 2147483647    31655     60 |  0.454 % |
27.36/27.48	c |     32308 |   17999   119430   410409 | 2147483647    31767     59 |  0.454 % |
27.56/27.61	c |     32429 |   17999   119430   410409 | 2147483647    31888     59 |  0.454 % |
27.56/27.66	c |     32562 |   17998   119430   410409 | 2147483647    32020     59 |  0.459 % |
27.66/27.71	c |     32709 |   17997   119430   410409 | 2147483647    32166     59 |  0.465 % |
27.66/27.77	c |     32869 |   17987   119430   410409 | 2147483647    32313     59 |  0.536 % |
27.76/27.83	c |     33045 |   17987   119430   410409 | 2147483647    32488     59 |  0.542 % |
27.86/27.91	c |     33238 |   17986   119430   410409 | 2147483647    32679     58 |  0.553 % |
27.96/28.00	c |     33450 |   17986   119430   410409 | 2147483647    32890     58 |  0.559 % |
28.06/28.11	c |     33687 |   17980   119143   409402 | 2147483647    33029     58 |  0.564 % |
28.16/28.28	c |     33944 |   17978   119143   409402 | 2147483647    33285     57 |  0.570 % |
28.36/28.44	c |     34226 |   17978   119143   409402 | 2147483647    33567     57 |  0.570 % |
28.56/28.62	c |     34535 |   17968   119143   409402 | 2147483647    33866     57 |  0.625 % |
28.76/28.88	c |     34874 |   17966   119143   409402 | 2147483647    34203     57 |  0.636 % |
29.06/29.15	c |     35246 |   17966   119143   409402 | 2147483647    34575     58 |  0.636 % |
29.36/29.45	c |     35655 |   17966   119143   409402 | 2147483647    34984     57 |  0.636 % |
29.86/29.99	c |     36104 |   17966   119143   409402 | 2147483647    35433     58 |  0.636 % |
30.26/30.34	c |     36598 |   17966   118931   408653 | 2147483647    35848     58 |  0.636 % |
30.56/30.64	c |     37140 |   17956   118931   408653 | 2147483647    36380     57 |  0.691 % |
30.76/30.85	c |     37240 |   17956   118931   408653 | 2147483647    36480     57 |  0.691 % |
31.06/31.17	c |     37350 |   17956   118931   408653 | 2147483647    36590     57 |  0.691 % |
31.16/31.27	c |     37472 |   17956   118931   408653 | 2147483647    36712     57 |  0.691 % |
31.26/31.35	c |     37607 |   17956   118931   408653 | 2147483647    36846     58 |  0.697 % |
31.36/31.45	c |     37755 |   17953   118931   408653 | 2147483647    36992     57 |  0.708 % |
31.56/31.68	c |     37918 |   17953   118931   408653 | 2147483647    37155     58 |  0.708 % |
31.86/31.96	c |     38094 |   17953   118931   408653 | 2147483647    37331     58 |  0.708 % |
32.05/32.14	c |     38287 |   17953   118750   408022 | 2147483647    37457     59 |  0.708 % |
32.25/32.33	c |     38501 |   17953   118750   408022 | 2147483647    37671     58 |  0.708 % |
32.45/32.59	c |     38736 |   17952   118750   408022 | 2147483647    37905     58 |  0.713 % |
32.75/32.82	c |     38992 |   17952   118750   408022 | 2147483647    38161     59 |  0.713 % |
32.96/33.01	c |     39273 |   17947   118750   408022 | 2147483647    38437     58 |  0.741 % |
33.25/33.37	c |     39584 |   17947   118750   408022 | 2147483647    38748     59 |  0.741 % |
33.65/33.73	c |     39923 |   17947   118750   408022 | 2147483647    39086     59 |  0.747 % |
34.14/34.22	c |     40295 |   17947   118750   408022 | 2147483647    39458     59 |  0.747 % |
34.54/34.63	c |     40706 |   17946   118599   407494 | 2147483647    39833     59 |  0.752 % |
35.05/35.11	c |     41155 |   17945   118599   407494 | 2147483647    40281     59 |  0.758 % |
35.54/35.61	c |     41649 |   17945   118599   407494 | 2147483647    40775     60 |  0.758 % |
35.94/36.01	c |     42194 |   17944   118599   407494 | 2147483647    41319     59 |  0.763 % |
36.64/36.75	c |     42791 |   17942   118515   407234 | 2147483647    41899     59 |  0.769 % |
36.74/36.82	c |     42892 |   17939   118515   407234 | 2147483647    41997     59 |  0.785 % |
36.84/36.94	c |     43004 |   17939   118515   407234 | 2147483647    42109     59 |  0.785 % |
36.94/37.07	c |     43125 |   17938   118515   407234 | 2147483647    42229     59 |  0.791 % |
37.25/37.32	c |     43258 |   17938   118515   407234 | 2147483647    42362     60 |  0.791 % |
37.44/37.51	c |     43404 |   17938   118515   407234 | 2147483647    42508     60 |  0.791 % |
37.54/37.65	c |     43564 |   17938   118515   407234 | 2147483647    42668     60 |  0.791 % |
37.74/37.84	c |     43740 |   17938   118515   407234 | 2147483647    42844     60 |  0.791 % |
38.04/38.18	c |     43935 |   17938   118515   407234 | 2147483647    43039     61 |  0.791 % |
38.35/38.44	c |     44148 |   17938   118515   407234 | 2147483647    43252     61 |  0.791 % |
38.45/38.59	c |     44382 |   17938   118515   407234 | 2147483647    43486     61 |  0.791 % |
38.64/38.79	c |     44638 |   17938   118515   407234 | 2147483647    43742     61 |  0.791 % |
39.04/39.13	c |     44920 |   17938   118515   407234 | 2147483647    44024     61 |  0.791 % |
39.24/39.33	c |     45229 |   17938   118515   407234 | 2147483647    44333     61 |  0.791 % |
39.64/39.75	c |     45568 |   17934   118410   406869 | 2147483647    44651     61 |  0.813 % |
40.04/40.16	c |     45941 |   17934   118410   406869 | 2147483647    45024     61 |  0.813 % |
40.44/40.50	c |     46351 |   17929   118410   406869 | 2147483647    45428     61 |  0.846 % |
40.94/41.04	c |     46802 |   17929   118410   406869 | 2147483647    45879     61 |  0.846 % |
41.64/41.76	c |     47295 |   17929   118410   406869 | 2147483647    46371     61 |  0.852 % |
42.24/42.40	c |     47837 |   17927   118226   406252 | 2147483647    46851     62 |  0.852 % |
42.84/42.95	c |     48433 |   17925   118226   406252 | 2147483647    47445     61 |  0.863 % |
43.54/43.66	c |     49090 |   17925   118226   406252 | 2147483647    48102     62 |  0.863 % |
43.64/43.73	c |     49190 |   17925   118226   406252 | 2147483647    48202     62 |  0.863 % |
43.74/43.80	c |     49300 |   17925   118226   406252 | 2147483647    48312     62 |  0.863 % |
43.94/44.07	c |     49422 |   17925   118226   406252 | 2147483647    48434     62 |  0.863 % |
44.14/44.26	c |     49555 |   17925   118226   406252 | 2147483647    48566     62 |  0.868 % |
44.24/44.39	c |     49701 |   17925   118226   406252 | 2147483647    48710     63 |  0.879 % |
44.34/44.49	c |     49861 |   17925   118226   406252 | 2147483647    48870     63 |  0.879 % |
44.54/44.67	c |     50037 |   17925   118226   406252 | 2147483647    49046     63 |  0.879 % |
44.74/44.80	c |     50230 |   17925   118226   406252 | 2147483647    49239     63 |  0.879 % |
45.15/45.23	c |     50444 |   17925   118226   406252 | 2147483647    49453     63 |  0.879 % |
45.54/45.64	c |     50678 |   17922   118170   406059 | 2147483647    49675     63 |  0.879 % |
46.05/46.13	c |     50934 |   17922   118170   406059 | 2147483647    49931     63 |  0.879 % |
46.34/46.43	c |     51216 |   17921   118170   406059 | 2147483647    50212     63 |  0.885 % |
46.74/46.86	c |     51526 |   17921   118170   406059 | 2147483647    50522     63 |  0.885 % |
47.04/47.16	c |     51868 |   17921   118170   406059 | 2147483647    50864     64 |  0.885 % |
47.44/47.53	c |     52240 |   17921   118170   406059 | 2147483647    51236     63 |  0.885 % |
47.74/47.86	c |     52649 |   17914   118170   406059 | 2147483647    51639     64 |  0.924 % |
48.54/48.63	c |     53098 |   17914   118170   406059 | 2147483647    52088     64 |  0.924 % |
49.04/49.14	c |     53591 |   17911   118035   405566 | 2147483647    52499     64 |  0.940 % |
49.64/49.70	c |     54133 |   17910   118035   405566 | 2147483647    53040     64 |  0.946 % |
50.54/50.63	c |     54729 |   17909   118035   405566 | 2147483647    53635     64 |  0.951 % |
51.44/51.59	c |     55388 |   17908   118035   405566 | 2147483647    54293     64 |  0.962 % |
52.14/52.24	c |     56110 |   17908   118035   405566 | 2147483647    55015     64 |  0.962 % |
52.34/52.41	c |     56210 |   17907   117851   404893 | 2147483647    54328     64 |  0.962 % |
52.44/52.54	c |     56321 |   17907   117851   404893 | 2147483647    54439     64 |  0.962 % |
52.64/52.72	c |     56442 |   17907   117851   404893 | 2147483647    54560     64 |  0.962 % |
52.74/52.85	c |     56576 |   17907   117851   404893 | 2147483647    54694     64 |  0.962 % |
52.84/52.98	c |     56722 |   17907   117851   404893 | 2147483647    54840     64 |  0.962 % |
53.14/53.30	c |     56885 |   17907   117851   404893 | 2147483647    55003     65 |  0.962 % |
53.34/53.42	c |     57063 |   17907   117851   404893 | 2147483647    55180     65 |  0.968 % |
53.44/53.56	c |     57256 |   17906   117851   404893 | 2147483647    55373     64 |  0.968 % |
53.74/53.88	c |     57468 |   17906   117851   404893 | 2147483647    55585     64 |  0.968 % |
54.14/54.27	c |     57702 |   17906   117851   404893 | 2147483647    55819     64 |  0.968 % |
54.34/54.49	c |     57958 |   17906   117851   404893 | 2147483647    56075     65 |  0.968 % |
54.63/54.76	c |     58239 |   17905   117851   404893 | 2147483647    56355     65 |  0.973 % |
55.03/55.10	c |     58548 |   17905   117851   404893 | 2147483647    56664     65 |  0.973 % |
55.23/55.38	c |     58889 |   17905   117851   404893 | 2147483647    57005     65 |  0.973 % |
55.94/56.03	c |     59261 |   17905   117851   404893 | 2147483647    57377     65 |  0.973 % |
56.23/56.31	c |     59670 |   17905   117851   404893 | 2147483647    57786     65 |  0.973 % |
56.53/56.68	c |     60121 |   17905   117775   404628 | 2147483647    58234     64 |  0.973 % |
57.33/57.48	c |     60618 |   17905   117775   404628 | 2147483647    58731     65 |  0.973 % |
58.54/58.61	c |     61161 |   17905   117775   404628 | 2147483647    59274     65 |  0.973 % |
59.74/59.88	c |     61757 |   17905   117775   404628 | 2147483647    59870     65 |  0.973 % |
60.44/60.56	c |     62412 |   17905   117775   404628 | 2147483647    60524     65 |  0.979 % |
61.64/61.80	c |     63133 |   17903   117697   404354 | 2147483647    61237     65 |  0.984 % |
63.14/63.27	c |     63925 |   17903   117697   404354 | 2147483647    62029     66 |  0.984 % |
63.34/63.45	c |     64025 |   17903   117697   404354 | 2147483647    62129     66 |  0.985 % |
63.44/63.52	c |     64135 |   17903   117697   404354 | 2147483647    62239     66 |  0.984 % |
63.64/63.72	c |     64257 |   17903   117697   404354 | 2147483647    62361     66 |  0.984 % |
63.64/63.79	c |     64391 |   17903   117697   404354 | 2147483647    62495     66 |  0.984 % |
63.84/63.95	c |     64537 |   17903   117697   404354 | 2147483647    62641     65 |  0.984 % |
64.04/64.11	c |     64698 |   17903   117697   404354 | 2147483647    62802     66 |  0.984 % |
64.14/64.23	c |     64874 |   17902   117697   404354 | 2147483647    62977     66 |  0.990 % |
64.44/64.51	c |     65067 |   17902   117697   404354 | 2147483647    63170     66 |  0.990 % |
64.54/64.68	c |     65280 |   17902   117697   404354 | 2147483647    63383     66 |  0.990 % |
64.84/64.96	c |     65514 |   17902   117697   404354 | 2147483647    63617     66 |  0.990 % |
65.24/65.37	c |     65770 |   17902   117697   404354 | 2147483647    63873     66 |  0.990 % |
65.64/65.79	c |     66051 |   17902   117697   404354 | 2147483647    64154     65 |  0.990 % |
66.03/66.11	c |     66362 |   17902   117697   404354 | 2147483647    64465     65 |  0.990 % |
66.23/66.38	c |     66701 |   17901   117676   404274 | 2147483647    64782     65 |  0.996 % |
66.63/66.73	c |     67075 |   17901   117676   404274 | 2147483647    65156     65 |  0.996 % |
67.23/67.39	c |     67484 |   17901   117676   404274 | 2147483647    65565     65 |  0.996 % |
67.93/68.04	c |     67934 |   17901   117676   404274 | 2147483647    66015     65 |  0.996 % |
68.63/68.74	c |     68428 |   17901   117676   404274 | 2147483647    66509     65 |  0.996 % |
69.43/69.55	c |     68973 |   17901   117676   404274 | 2147483647    67054     65 |  0.996 % |
70.03/70.17	c |     69570 |   17901   117676   404274 | 2147483647    67651     65 |  0.996 % |
71.03/71.12	c |     70225 |   17901   117676   404274 | 2147483647    68306     64 |  0.996 % |
71.63/71.75	c |     70945 |   17901   117672   404263 | 2147483647    69026     64 |  0.996 % |
72.54/72.62	c |     71741 |   17899   117672   404263 | 2147483647    69820     64 |  1.007 % |
73.64/73.73	c |     72612 |   17899   117672   404263 | 2147483647    70691     64 |  1.007 % |
73.73/73.80	c |     72713 |   17899   117672   404263 | 2147483647    70792     64 |  1.007 % |
73.83/73.90	c |     72824 |   17899   117672   404263 | 2147483647    70903     64 |  1.007 % |
73.93/74.06	c |     72945 |   17899   117672   404263 | 2147483647    71024     64 |  1.007 % |
74.13/74.22	c |     73078 |   17899   117672   404263 | 2147483647    71157     64 |  1.007 % |
74.23/74.33	c |     73224 |   17899   117672   404263 | 2147483647    71303     64 |  1.007 % |
74.43/74.52	c |     73384 |   17899   117672   404263 | 2147483647    71463     64 |  1.007 % |
74.73/74.87	c |     73562 |   17899   117672   404263 | 2147483647    71641     64 |  1.007 % |
74.93/75.09	c |     73755 |   17899   117672   404263 | 2147483647    71834     64 |  1.007 % |
75.13/75.28	c |     73968 |   17898   117672   404263 | 2147483647    72046     64 |  1.012 % |
75.43/75.59	c |     74204 |   17898   117672   404263 | 2147483647    72282     64 |  1.012 % |
75.73/75.88	c |     74460 |   17898   117672   404263 | 2147483647    72538     64 |  1.012 % |
76.03/76.15	c |     74741 |   17898   117627   404103 | 2147483647    72803     64 |  1.012 % |
76.33/76.41	c |     75050 |   17898   117627   404103 | 2147483647    73112     64 |  1.012 % |
76.52/76.67	c |     75389 |   17898   117627   404103 | 2147483647    73451     64 |  1.012 % |
76.83/77.00	c |     75761 |   17898   117627   404103 | 2147483647    73823     64 |  1.012 % |
77.72/77.87	c |     76170 |   17898   117627   404103 | 2147483647    74232     64 |  1.012 % |
78.32/78.46	c |     76619 |   17898   117627   404103 | 2147483647    74681     64 |  1.012 % |
79.03/79.20	c |     77112 |   17898   117627   404103 | 2147483647    75174     64 |  1.012 % |
79.62/79.71	c |     77655 |   17898   117627   404103 | 2147483647    75717     64 |  1.012 % |
80.42/80.55	c |     78251 |   17897   117627   404103 | 2147483647    76312     64 |  1.018 % |
81.82/81.98	c |     78906 |   17897   117627   404103 | 2147483647    76967     64 |  1.018 % |
82.62/82.77	c |     79627 |   17896   117565   403887 | 2147483647    77687     64 |  1.023 % |
84.02/84.17	c |     80419 |   17896   117565   403887 | 2147483647    78479     64 |  1.023 % |
85.12/85.20	c |     81290 |   17896   117565   403887 | 2147483647    79349     63 |  1.029 % |
86.32/86.42	c |     82249 |   17896   117565   403887 | 2147483647    80308     63 |  1.029 % |
86.42/86.52	c |     82349 |   17896   117565   403887 | 2147483647    80408     63 |  1.029 % |
86.52/86.68	c |     82459 |   17896   117565   403887 | 2147483647    80518     63 |  1.029 % |
86.82/86.91	c |     82580 |   17896   117565   403887 | 2147483647    80639     63 |  1.029 % |
87.02/87.13	c |     82715 |   17896   117565   403887 | 2147483647    80774     63 |  1.029 % |
87.32/87.45	c |     82865 |   17895   117535   403781 | 2147483647    80909     63 |  1.029 % |
87.52/87.69	c |     83025 |   17895   117535   403781 | 2147483647    81069     63 |  1.029 % |
87.82/87.91	c |     83201 |   17895   117535   403781 | 2147483647    81245     63 |  1.029 % |
88.12/88.24	c |     83395 |   17895   117535   403781 | 2147483647    81439     63 |  1.029 % |
88.42/88.59	c |     83607 |   17895   117535   403781 | 2147483647    81651     63 |  1.029 % |
88.83/88.90	c |     83840 |   17895   117535   403781 | 2147483647    81884     64 |  1.029 % |
89.03/89.17	c |     84098 |   17895   117535   403781 | 2147483647    82142     63 |  1.029 % |
89.43/89.57	c |     84379 |   17895   117535   403781 | 2147483647    82423     64 |  1.029 % |
89.73/89.88	c |     84689 |   17895   117535   403781 | 2147483647    82733     64 |  1.029 % |
90.13/90.22	c |     85029 |   17895   117535   403781 | 2147483647    83073     64 |  1.029 % |
90.62/90.71	c |     85401 |   17895   117535   403781 | 2147483647    83445     64 |  1.029 % |
91.03/91.10	c |     85812 |   17895   117535   403781 | 2147483647    83856     64 |  1.029 % |
91.62/91.73	c |     86261 |   17895   117535   403781 | 2147483647    84305     64 |  1.029 % |
92.42/92.58	c |     86754 |   17895   117535   403781 | 2147483647    84798     64 |  1.029 % |
93.32/93.42	c |     87296 |   17895   117535   403781 | 2147483647    85339     64 |  1.034 % |
94.22/94.32	c |     87892 |   17893   117475   403606 | 2147483647    85927     64 |  1.040 % |
95.12/95.25	c |     88548 |   17893   117475   403606 | 2147483647    86583     64 |  1.040 % |
95.72/95.87	c |     89269 |   17893   117475   403606 | 2147483647    87304     64 |  1.040 % |
96.72/96.83	c |     90062 |   17893   117475   403606 | 2147483647    88097     64 |  1.040 % |
97.92/98.01	c |     90933 |   17893   117475   403606 | 2147483647    88968     64 |  1.040 % |
99.32/99.44	c |     91892 |   17893   117475   403606 | 2147483647    89927     64 |  1.040 % |
100.72/100.83	c |     92945 |   17892   117459   403550 | 2147483647    90973     64 |  1.045 % |
100.92/101.02	c |     93046 |   17892   117459   403550 | 2147483647    91074     64 |  1.045 % |
101.02/101.19	c |     93156 |   17892   117459   403550 | 2147483647    91184     64 |  1.045 % |
101.32/101.45	c |     93278 |   17892   117459   403550 | 2147483647    91306     64 |  1.045 % |
101.42/101.55	c |     93411 |   17892   117459   403550 | 2147483647    91439     64 |  1.045 % |
101.52/101.69	c |     93557 |   17892   117459   403550 | 2147483647    91585     64 |  1.045 % |
101.71/101.81	c |     93717 |   17892   117459   403550 | 2147483647    91745     63 |  1.045 % |
101.91/102.03	c |     93893 |   17892   117459   403550 | 2147483647    91921     63 |  1.045 % |
102.22/102.39	c |     94089 |   17892   117459   403550 | 2147483647    92116     63 |  1.051 % |
102.51/102.69	c |     94303 |   17892   117459   403550 | 2147483647    92330     64 |  1.051 % |
102.81/102.96	c |     94538 |   17892   117459   403550 | 2147483647    92565     63 |  1.051 % |
103.32/103.42	c |     94794 |   17892   117459   403550 | 2147483647    92820     64 |  1.056 % |
103.61/103.70	c |     95077 |   17892   117459   403550 | 2147483647    93103     64 |  1.056 % |
104.02/104.13	c |     95386 |   17892   117459   403550 | 2147483647    93412     64 |  1.056 % |
104.32/104.49	c |     95728 |   17892   117459   403550 | 2147483647    93754     64 |  1.056 % |
105.12/105.23	c |     96100 |   17892   117459   403550 | 2147483647    94126     64 |  1.056 % |
105.62/105.73	c |     96511 |   17891   117459   403550 | 2147483647    94536     64 |  1.062 % |
106.22/106.35	c |     96962 |   17891   117459   403550 | 2147483647    94987     65 |  1.062 % |
106.53/106.61	c |     97455 |   17891   117459   403550 | 2147483647    95480     64 |  1.062 % |
107.02/107.14	c |     97998 |   17891   117459   403550 | 2147483647    96023     64 |  1.062 % |
108.32/108.48	c |     98595 |   17891   117459   403550 | 2147483647    96620     64 |  1.062 % |
109.12/109.24	c |     99251 |   17885   117429   403442 | 2147483647    97235     64 |  1.090 % |
110.82/110.93	c |     99973 |   17885   117429   403442 | 2147483647    97957     64 |  1.090 % |
111.62/111.79	c |    100765 |   17884   117429   403442 | 2147483647    98748     64 |  1.095 % |
113.22/113.38	c |    101636 |   17884   117429   403442 | 2147483647    99619     64 |  1.095 % |
114.91/115.04	c |    102595 |   17884   117429   403442 | 2147483647   100578     65 |  1.095 % |
116.71/116.87	c |    103650 |   17884   117429   403442 | 2147483647   101633     64 |  1.095 % |
118.82/118.93	c |    104808 |   17883   117314   403067 | 2147483647   102764     64 |  1.095 % |
118.92/119.02	c |    104909 |   17883   117314   403067 | 2147483647   102865     64 |  1.095 % |
119.12/119.21	c |    105019 |   17883   117314   403067 | 2147483647   102974     64 |  1.101 % |
119.22/119.39	c |    105141 |   17882   117314   403067 | 2147483647   103096     64 |  1.101 % |
119.62/119.70	c |    105275 |   17882   117314   403067 | 2147483647   103230     64 |  1.101 % |
119.82/119.99	c |    105421 |   17882   117314   403067 | 2147483647   103376     64 |  1.101 % |
120.22/120.32	c |    105581 |   17882   117314   403067 | 2147483647   103536     64 |  1.101 % |
120.32/120.45	c |    105758 |   17882   117314   403067 | 2147483647   103713     64 |  1.101 % |
120.42/120.60	c |    105952 |   17881   117314   403067 | 2147483647   103906     64 |  1.106 % |
120.72/120.80	c |    106165 |   17881   117314   403067 | 2147483647   104119     64 |  1.106 % |
121.11/121.29	c |    106399 |   17881   117314   403067 | 2147483647   104353     64 |  1.106 % |
121.51/121.66	c |    106655 |   17881   117314   403067 | 2147483647   104609     65 |  1.106 % |
122.01/122.15	c |    106937 |   17881   117314   403067 | 2147483647   104891     64 |  1.106 % |
122.61/122.73	c |    107246 |   17881   117314   403067 | 2147483647   105200     65 |  1.106 % |
123.01/123.11	c |    107587 |   17881   117314   403067 | 2147483647   105541     65 |  1.106 % |
123.40/123.52	c |    107959 |   17878   117314   403067 | 2147483647   105910     64 |  1.123 % |
124.11/124.29	c |    108370 |   17878   117314   403067 | 2147483647   106321     65 |  1.123 % |
124.90/125.05	c |    108819 |   17878   117314   403067 | 2147483647   106770     65 |  1.123 % |
125.40/125.51	c |    109313 |   17877   117314   403067 | 2147483647   107262     65 |  1.134 % |
126.00/126.14	c |    109855 |   17871   117165   402541 | 2147483647   107749     65 |  1.161 % |
127.20/127.36	c |    110451 |   17871   117165   402541 | 2147483647   108345     65 |  1.161 % |
128.20/128.32	c |    111106 |   17871   117165   402541 | 2147483647   109000     65 |  1.161 % |
129.40/129.53	c |    111828 |   17871   117165   402541 | 2147483647   109722     65 |  1.161 % |
130.40/130.54	c |    112622 |   17871   117165   402541 | 2147483647   110516     64 |  1.161 % |
131.90/132.05	c |    113493 |   17871   117165   402541 | 2147483647   111387     65 |  1.161 % |
133.70/133.81	c |    114452 |   17871   117165   402541 | 2147483647   112346     65 |  1.161 % |
135.20/135.33	c |    115506 |   17871   117165   402541 | 2147483647   113399     65 |  1.167 % |
137.40/137.50	c |    116664 |   17870   117082   402254 | 2147483647   114526     65 |  1.167 % |
139.19/139.36	c |    117938 |   17860   117082   402254 | 2147483647   115790     64 |  1.222 % |
139.39/139.55	c |    118039 |   17860   117082   402254 | 2147483647   115891     64 |  1.222 % |
139.60/139.73	c |    118149 |   17860   117082   402254 | 2147483647   116001     64 |  1.222 % |
139.79/139.97	c |    118272 |   17860   117082   402254 | 2147483647   116124     64 |  1.222 % |
140.09/140.25	c |    118405 |   17860   117082   402254 | 2147483647   116257     64 |  1.222 % |
140.30/140.45	c |    118551 |   17860   117082   402254 | 2147483647   116403     64 |  1.222 % |
140.40/140.56	c |    118711 |   17860   117082   402254 | 2147483647   116563     64 |  1.222 % |
140.70/140.82	c |    118887 |   17860   117082   402254 | 2147483647   116739     64 |  1.222 % |
141.10/141.23	c |    119083 |   17860   117082   402254 | 2147483647   116934     65 |  1.228 % |
141.50/141.65	c |    119295 |   17860   117082   402254 | 2147483647   117146     65 |  1.228 % |
141.90/142.05	c |    119530 |   17860   117082   402254 | 2147483647   117381     65 |  1.228 % |
142.20/142.39	c |    119787 |   17860   117082   402254 | 2147483647   117638     65 |  1.228 % |
142.70/142.87	c |    120070 |   17860   117082   402254 | 2147483647   117921     65 |  1.228 % |
143.10/143.22	c |    120379 |   17860   117082   402254 | 2147483647   118230     65 |  1.228 % |
143.50/143.66	c |    120720 |   17860   117082   402254 | 2147483647   118571     65 |  1.228 % |
144.00/144.13	c |    121094 |   17860   117082   402254 | 2147483647   118945     65 |  1.228 % |
144.60/144.77	c |    121504 |   17859   117082   402254 | 2147483647   119354     65 |  1.233 % |
145.19/145.33	c |    121954 |   17858   117082   402254 | 2147483647   119802     65 |  1.244 % |
145.89/146.05	c |    122449 |   17856   116899   401607 | 2147483647   120208     65 |  1.244 % |
146.79/146.93	c |    122991 |   17856   116899   401607 | 2147483647   120750     65 |  1.244 % |
147.69/147.83	c |    123587 |   17855   116899   401607 | 2147483647   121345     65 |  1.250 % |
148.59/148.76	c |    124242 |   17855   116899   401607 | 2147483647   122000     65 |  1.250 % |
149.69/149.85	c |    124962 |   17855   116899   401607 | 2147483647   122720     65 |  1.250 % |
150.59/150.78	c |    125756 |   17852   116899   401607 | 2147483647   123511     64 |  1.267 % |
152.19/152.31	c |    126627 |   17849   116899   401607 | 2147483647   124379     64 |  1.283 % |
153.99/154.15	c |    127588 |   17849   116899   401607 | 2147483647   125339     65 |  1.289 % |
155.89/156.01	c |    128641 |   17849   116899   401607 | 2147483647   126392     65 |  1.289 % |
158.49/158.63	c |    129800 |   17848   116709   400954 | 2147483647   127523     65 |  1.289 % |
160.28/160.48	c |    131073 |   17848   116709   400954 | 2147483647   128796     65 |  1.289 % |
162.60/162.78	c |    132474 |   17835   116709   400954 | 2147483647   130184     65 |  1.361 % |
162.79/162.97	c |    132574 |   17835   116709   400954 | 2147483647   130284     65 |  1.361 % |
163.09/163.25	c |    132684 |   17835   116709   400954 | 2147483647   130394     65 |  1.361 % |
163.29/163.41	c |    132806 |   17835   116709   400954 | 2147483647   130516     65 |  1.361 % |
163.59/163.70	c |    132940 |   17835   116709   400954 | 2147483647   130650     65 |  1.361 % |
163.69/163.85	c |    133086 |   17833   116709   400954 | 2147483647   130794     65 |  1.372 % |
163.99/164.17	c |    133248 |   17833   116709   400954 | 2147483647   130956     65 |  1.372 % |
164.39/164.55	c |    133425 |   17833   116709   400954 | 2147483647   131133     65 |  1.372 % |
164.89/165.02	c |    133618 |   17833   116709   400954 | 2147483647   131326     65 |  1.372 % |
165.09/165.21	c |    133830 |   17833   116709   400954 | 2147483647   131538     65 |  1.372 % |
165.49/165.60	c |    134063 |   17833   116709   400954 | 2147483647   131771     65 |  1.372 % |
165.99/166.18	c |    134320 |   17833   116709   400954 | 2147483647   132028     65 |  1.372 % |
166.59/166.76	c |    134601 |   17833   116709   400954 | 2147483647   132309     65 |  1.372 % |
167.48/167.61	c |    134910 |   17833   116709   400954 | 2147483647   132618     65 |  1.372 % |
167.88/168.08	c |    135249 |   17833   116709   400954 | 2147483647   132957     65 |  1.372 % |
168.58/168.78	c |    135621 |   17828   116476   400124 | 2147483647   133234     65 |  1.399 % |
169.48/169.60	c |    136030 |   17828   116476   400124 | 2147483647   133643     65 |  1.399 % |
170.18/170.38	c |    136480 |   17828   116476   400124 | 2147483647   134093     65 |  1.399 % |
170.98/171.18	c |    136973 |   17828   116476   400124 | 2147483647   134586     65 |  1.399 % |
171.58/171.78	c |    137515 |   17828   116476   400124 | 2147483647   135128     65 |  1.399 % |
172.58/172.75	c |    138111 |   17827   116476   400124 | 2147483647   135722     65 |  1.410 % |
173.58/173.76	c |    138766 |   17827   116476   400124 | 2147483647   136377     65 |  1.410 % |
174.68/174.88	c |    139487 |   17827   116476   400124 | 2147483647   137098     65 |  1.410 % |
176.07/176.28	c |    140281 |   17815   116476   400124 | 2147483647   137880     65 |  1.477 % |
177.77/177.97	c |    141152 |   17815   116476   400124 | 2147483647   138751     65 |  1.477 % |
179.48/179.67	c |    142110 |   17815   116476   400124 | 2147483647   139709     65 |  1.477 % |
180.98/181.17	c |    143163 |   17815   116476   400124 | 2147483647   140762     65 |  1.477 % |
183.17/183.37	c |    144321 |   17814   116235   399296 | 2147483647   141831     65 |  1.477 % |
185.07/185.25	c |    145595 |   17814   116235   399296 | 2147483647   143105     65 |  1.477 % |
188.17/188.33	c |    146995 |   17814   116235   399296 | 2147483647   144505     65 |  1.477 % |
190.57/190.71	c |    148535 |   17814   116235   399296 | 2147483647   146045     65 |  1.477 % |
190.67/190.89	c |    148636 |   17814   116235   399296 | 2147483647   146146     65 |  1.477 % |
190.77/190.99	c |    148747 |   17812   116235   399296 | 2147483647   146254     65 |  1.493 % |
190.87/191.07	c |    148868 |   17811   116235   399296 | 2147483647   146375     65 |  1.493 % |
191.28/191.41	c |    149003 |   17811   116235   399296 | 2147483647   146510     65 |  1.493 % |
191.47/191.65	c |    149149 |   17811   116235   399296 | 2147483647   146656     65 |  1.493 % |
191.67/191.86	c |    149309 |   17811   116235   399296 | 2147483647   146816     65 |  1.493 % |
192.28/192.41	c |    149485 |   17811   116235   399296 | 2147483647   146992     65 |  1.493 % |
192.47/192.63	c |    149678 |   17811   116235   399296 | 2147483647   147184     65 |  1.499 % |
192.87/193.07	c |    149891 |   17811   116235   399296 | 2147483647   147397     65 |  1.499 % |
193.57/193.74	c |    150126 |   17811   116235   399296 | 2147483647   147632     65 |  1.499 % |
194.17/194.31	c |    150383 |   17811   116235   399296 | 2147483647   147889     65 |  1.499 % |
194.87/195.04	c |    150665 |   17810   116170   399053 | 2147483647   148133     65 |  1.499 % |
195.37/195.54	c |    150975 |   17810   116170   399053 | 2147483647   148443     65 |  1.499 % |
195.87/196.04	c |    151314 |   17810   116170   399053 | 2147483647   148782     65 |  1.499 % |
196.57/196.71	c |    151686 |   17810   116170   399053 | 2147483647   149154     65 |  1.499 % |
197.07/197.25	c |    152098 |   17809   116170   399053 | 2147483647   149565     65 |  1.504 % |
197.47/197.61	c |    152547 |   17809   116170   399053 | 2147483647   150014     65 |  1.504 % |
198.37/198.52	c |    153040 |   17809   116170   399053 | 2147483647   150507     65 |  1.504 % |
199.56/199.78	c |    153584 |   17809   116170   399053 | 2147483647   151050     65 |  1.510 % |
200.66/200.84	c |    154183 |   17809   116170   399053 | 2147483647   151649     65 |  1.510 % |
202.46/202.61	c |    154840 |   17809   116170   399053 | 2147483647   152306     65 |  1.510 % |
203.76/203.91	c |    155560 |   17809   116170   399053 | 2147483647   153026     64 |  1.510 % |
205.36/205.59	c |    156352 |   17809   116170   399053 | 2147483647   153818     65 |  1.510 % |
207.36/207.51	c |    157225 |   17809   116170   399053 | 2147483647   154691     65 |  1.510 % |
209.06/209.30	c |    158183 |   17809   116170   399053 | 2147483647   155649     65 |  1.510 % |
211.07/211.25	c |    159238 |   17809   116170   399053 | 2147483647   156704     65 |  1.510 % |
213.26/213.47	c |    160397 |   17808   116146   398965 | 2147483647   157832     65 |  1.510 % |
216.06/216.24	c |    161670 |   17808   116146   398965 | 2147483647   159105     65 |  1.510 % |
218.45/218.69	c |    163070 |   17808   116146   398965 | 2147483647   160505     65 |  1.510 % |
221.45/221.65	c |    164612 |   17808   116146   398965 | 2147483647   162046     64 |  1.515 % |
225.55/225.74	c |    166306 |   17807   116146   398965 | 2147483647   163738     64 |  1.526 % |
225.95/226.12	c |    166407 |   17807   116146   398965 | 2147483647   163839     64 |  1.526 % |
226.15/226.39	c |    166517 |   17807   116146   398965 | 2147483647   163949     64 |  1.526 % |
226.75/226.96	c |    166639 |   17807   116146   398965 | 2147483647   164071     64 |  1.526 % |
227.25/227.46	c |    166775 |   17807   116146   398965 | 2147483647   164207     64 |  1.526 % |
227.45/227.66	c |    166921 |   17805   116112   398845 | 2147483647   164321     64 |  1.526 % |
227.75/227.98	c |    167082 |   17805   116112   398845 | 2147483647   164482     64 |  1.527 % |
228.35/228.53	c |    167259 |   17805   116112   398845 | 2147483647   164659     64 |  1.526 % |
228.65/228.88	c |    167453 |   17805   116112   398845 | 2147483647   164853     64 |  1.526 % |
229.25/229.41	c |    167666 |   17805   116112   398845 | 2147483647   165066     64 |  1.526 % |
229.55/229.73	c |    167900 |   17805   116112   398845 | 2147483647   165300     64 |  1.526 % |
229.95/230.12	c |    168161 |   17805   116112   398845 | 2147483647   165561     64 |  1.526 % |
230.65/230.81	c |    168442 |   17805   116112   398845 | 2147483647   165842     64 |  1.526 % |
231.35/231.57	c |    168751 |   17805   116112   398845 | 2147483647   166151     65 |  1.526 % |
232.05/232.27	c |    169091 |   17805   116112   398845 | 2147483647   166491     65 |  1.526 % |
232.95/233.19	c |    169463 |   17805   116112   398845 | 2147483647   166863     64 |  1.526 % |
233.94/234.13	c |    169873 |   17805   116112   398845 | 2147483647   167273     64 |  1.526 % |
234.54/234.78	c |    170324 |   17805   116112   398845 | 2147483647   167724     64 |  1.526 % |
235.44/235.67	c |    170817 |   17805   116112   398845 | 2147483647   168217     64 |  1.526 % |
236.74/236.99	c |    171359 |   17805   116112   398845 | 2147483647   168759     64 |  1.526 % |
238.45/238.63	c |    171956 |   17803   116112   398845 | 2147483647   169353     64 |  1.543 % |
239.74/239.96	c |    172612 |   17803   116112   398845 | 2147483647   170009     64 |  1.543 % |
241.24/241.46	c |    173333 |   17803   116112   398845 | 2147483647   170730     65 |  1.543 % |
242.54/242.76	c |    174125 |   17803   116112   398845 | 2147483647   171522     64 |  1.543 % |
244.25/244.47	c |    175003 |   17803   116112   398845 | 2147483647   172400     64 |  1.543 % |
246.04/246.21	c |    175965 |   17802   116066   398673 | 2147483647   173329     64 |  1.543 % |
248.54/248.71	c |    177019 |   17802   116066   398673 | 2147483647   174383     64 |  1.543 % |
250.84/251.02	c |    178178 |   17801   116066   398673 | 2147483647   175541     64 |  1.549 % |
253.74/253.99	c |    179451 |   17801   116066   398673 | 2147483647   176814     65 |  1.549 % |
256.33/256.53	c |    180851 |   17797   116066   398673 | 2147483647   178209     64 |  1.576 % |
259.33/259.57	c |    182392 |   17797   116066   398673 | 2147483647   179750     64 |  1.576 % |
263.83/264.07	c |    184087 |   17797   116066   398673 | 2147483647   181445     64 |  1.576 % |
267.73/267.98	c |    185951 |   17796   115989   398404 | 2147483647   183164     64 |  1.576 % |
268.13/268.30	c |    186054 |   17796   115989   398404 | 2147483647   183267     64 |  1.576 % |
268.33/268.51	c |    186166 |   17796   115989   398404 | 2147483647   183379     64 |  1.576 % |
268.63/268.81	c |    186289 |   17796   115989   398404 | 2147483647   183502     64 |  1.576 % |
268.73/268.93	c |    186422 |   17796   115989   398404 | 2147483647   183635     64 |  1.576 % |
269.13/269.30	c |    186568 |   17796   115989   398404 | 2147483647   183781     64 |  1.576 % |
269.73/269.90	c |    186729 |   17796   115989   398404 | 2147483647   183942     64 |  1.576 % |
270.03/270.25	c |    186905 |   17796   115989   398404 | 2147483647   184118     64 |  1.576 % |
270.73/270.95	c |    187100 |   17796   115989   398404 | 2147483647   184313     64 |  1.576 % |
271.23/271.45	c |    187313 |   17796   115989   398404 | 2147483647   184526     64 |  1.576 % |
271.72/271.97	c |    187546 |   17796   115989   398404 | 2147483647   184759     64 |  1.576 % |
272.32/272.58	c |    187803 |   17796   115989   398404 | 2147483647   185015     64 |  1.582 % |
273.13/273.38	c |    188087 |   17796   115989   398404 | 2147483647   185299     64 |  1.582 % |
274.03/274.28	c |    188398 |   17796   115989   398404 | 2147483647   185610     64 |  1.582 % |
274.93/275.16	c |    188737 |   17796   115989   398404 | 2147483647   185949     65 |  1.582 % |
275.84/276.02	c |    189109 |   17796   115989   398404 | 2147483647   186321     65 |  1.582 % |
276.73/276.91	c |    189518 |   17795   115989   398404 | 2147483647   186729     64 |  1.587 % |
277.43/277.63	c |    189967 |   17794   115989   398404 | 2147483647   187176     64 |  1.598 % |
278.63/278.86	c |    190460 |   17794   115989   398404 | 2147483647   187669     64 |  1.598 % |
280.03/280.23	c |    191003 |   17794   115989   398404 | 2147483647   188212     64 |  1.598 % |
281.33/281.50	c |    191601 |   17794   115989   398404 | 2147483647   188810     64 |  1.598 % |
282.93/283.17	c |    192258 |   17794   115989   398404 | 2147483647   189467     65 |  1.598 % |
284.63/284.87	c |    192978 |   17794   115989   398404 | 2147483647   190187     65 |  1.598 % |
285.92/286.17	c |    193770 |   17794   115989   398404 | 2147483647   190979     65 |  1.598 % |
288.12/288.34	c |    194643 |   17791   115884   398043 | 2147483647   191830     65 |  1.604 % |
291.23/291.46	c |    195603 |   17791   115884   398043 | 2147483647   192789     65 |  1.609 % |
294.12/294.37	c |    196658 |   17791   115884   398043 | 2147483647   193843     65 |  1.615 % |
296.02/296.28	c |    197816 |   17791   115884   398043 | 2147483647   195001     65 |  1.615 % |
298.52/298.76	c |    199090 |   17789   115884   398043 | 2147483647   196273     64 |  1.626 % |
301.71/301.97	c |    200493 |   17789   115884   398043 | 2147483647   197676     64 |  1.626 % |
305.90/306.12	c |    202034 |   17789   115884   398043 | 2147483647   199216     64 |  1.632 % |
309.40/309.66	c |    203729 |   17789   115884   398043 | 2147483647   200911     64 |  1.632 % |
315.10/315.36	c |    205598 |   17786   115762   397642 | 2147483647   202707     64 |  1.632 % |
319.89/320.18	c |    207649 |   17785   115762   397642 | 2147483647   204757     64 |  1.637 % |
320.29/320.51	c |    207751 |   17785   115762   397642 | 2147483647   204859     64 |  1.637 % |
320.69/320.95	c |    207862 |   17785   115762   397642 | 2147483647   204970     64 |  1.637 % |
321.19/321.41	c |    207983 |   17785   115762   397642 | 2147483647   205091     64 |  1.637 % |
321.49/321.72	c |    208117 |   17785   115762   397642 | 2147483647   205225     64 |  1.637 % |
321.79/322.04	c |    208264 |   17785   115762   397642 | 2147483647   205372     64 |  1.637 % |
322.09/322.38	c |    208424 |   17785   115762   397642 | 2147483647   205532     64 |  1.637 % |
322.49/322.79	c |    208601 |   17785   115762   397642 | 2147483647   205709     64 |  1.637 % |
322.99/323.21	c |    208795 |   17785   115762   397642 | 2147483647   205903     64 |  1.637 % |
323.49/323.78	c |    209007 |   17785   115762   397642 | 2147483647   206115     64 |  1.637 % |
324.09/324.36	c |    209240 |   17785   115762   397642 | 2147483647   206348     64 |  1.637 % |
325.09/325.31	c |    209500 |   17785   115762   397642 | 2147483647   206608     64 |  1.637 % |
325.69/326.00	c |    209783 |   17785   115762   397642 | 2147483647   206891     64 |  1.637 % |
326.69/326.91	c |    210092 |   17785   115762   397642 | 2147483647   207200     64 |  1.637 % |
327.60/327.82	c |    210431 |   17785   115762   397642 | 2147483647   207539     64 |  1.637 % |
328.49/328.74	c |    210803 |   17785   115762   397642 | 2147483647   207911     64 |  1.637 % |
329.29/329.54	c |    211213 |   17785   115762   397642 | 2147483647   208321     64 |  1.637 % |
330.39/330.69	c |    211662 |   17785   115762   397642 | 2147483647   208770     64 |  1.637 % |
331.99/332.26	c |    212157 |   17785   115762   397642 | 2147483647   209265     64 |  1.637 % |
332.99/333.27	c |    212699 |   17785   115737   397545 | 2147483647   209774     64 |  1.637 % |
334.39/334.65	c |    213296 |   17785   115737   397545 | 2147483647   210370     64 |  1.643 % |
335.99/336.29	c |    213951 |   17785   115737   397545 | 2147483647   211025     64 |  1.643 % |
338.09/338.33	c |    214672 |   17785   115737   397545 | 2147483647   211746     64 |  1.643 % |
339.69/339.99	c |    215464 |   17785   115737   397545 | 2147483647   212538     64 |  1.643 % |
341.99/342.21	c |    216337 |   17785   115737   397545 | 2147483647   213411     64 |  1.643 % |
344.69/344.91	c |    217296 |   17785   115737   397545 | 2147483647   214370     64 |  1.643 % |
347.18/347.41	c |    218349 |   17785   115737   397545 | 2147483647   215423     64 |  1.643 % |
350.78/351.00	c |    219507 |   17785   115737   397545 | 2147483647   216581     64 |  1.643 % |
354.08/354.33	c |    220780 |   17784   115737   397545 | 2147483647   217853     64 |  1.648 % |
358.48/358.73	c |    222181 |   17784   115737   397545 | 2147483647   219254     64 |  1.648 % |
362.78/363.03	c |    223721 |   17783   115702   397411 | 2147483647   220762     65 |  1.648 % |
366.97/367.22	c |    225415 |   17782   115702   397411 | 2147483647   222455     64 |  1.654 % |
372.17/372.48	c |    227278 |   17782   115702   397411 | 2147483647   224318     65 |  1.654 % |
377.77/378.07	c |    229328 |   17782   115702   397411 | 2147483647   226368     65 |  1.654 % |
382.58/382.89	c |    231582 |   17782   115702   397411 | 2147483647   228622     65 |  1.654 % |
382.97/383.23	c |    231684 |   17782   115702   397411 | 2147483647   228724     65 |  1.654 % |
383.27/383.52	c |    231794 |   17782   115702   397411 | 2147483647   228834     65 |  1.654 % |
383.67/383.92	c |    231916 |   17782   115686   397349 | 2147483647   228943     65 |  1.654 % |
383.87/384.16	c |    232051 |   17782   115686   397349 | 2147483647   229078     65 |  1.654 % |
384.47/384.72	c |    232198 |   17782   115686   397349 | 2147483647   229225     65 |  1.654 % |
384.77/385.01	c |    232359 |   17782   115686   397349 | 2147483647   229386     65 |  1.654 % |
385.37/385.60	c |    232535 |   17782   115686   397349 | 2147483647   229562     65 |  1.654 % |
385.87/386.19	c |    232729 |   17781   115686   397349 | 2147483647   229755     65 |  1.659 % |
386.57/386.83	c |    232942 |   17781   115686   397349 | 2147483647   229968     65 |  1.659 % |
387.27/387.53	c |    233176 |   17781   115686   397349 | 2147483647   230202     65 |  1.659 % |
387.87/388.20	c |    233432 |   17781   115686   397349 | 2147483647   230458     65 |  1.659 % |
388.57/388.88	c |    233713 |   17781   115686   397349 | 2147483647   230739     65 |  1.659 % |
389.47/389.76	c |    234027 |   17781   115686   397349 | 2147483647   231053     65 |  1.659 % |
390.17/390.49	c |    234368 |   17779   115686   397349 | 2147483647   231392     65 |  1.670 % |
391.56/391.81	c |    234740 |   17779   115686   397349 | 2147483647   231764     65 |  1.670 % |
393.06/393.39	c |    235149 |   17779   115686   397349 | 2147483647   232173     65 |  1.670 % |
394.67/394.94	c |    235599 |   17779   115686   397349 | 2147483647   232623     65 |  1.670 % |
396.16/396.42	c |    236094 |   17779   115686   397349 | 2147483647   233117     65 |  1.676 % |
396.87/397.12	c |    236637 |   17779   115686   397349 | 2147483647   233660     65 |  1.676 % |
398.56/398.80	c |    237234 |   17779   115686   397349 | 2147483647   234257     65 |  1.676 % |
400.26/400.51	c |    237890 |   17779   115686   397349 | 2147483647   234913     65 |  1.676 % |
402.66/402.93	c |    238610 |   17779   115686   397349 | 2147483647   235633     65 |  1.676 % |
405.16/405.42	c |    239402 |   17779   115686   397349 | 2147483647   236424     65 |  1.681 % |
407.66/407.99	c |    240274 |   17778   115686   397349 | 2147483647   237295     65 |  1.687 % |
410.95/411.27	c |    241232 |   17778   115686   397349 | 2147483647   238253     65 |  1.687 % |
413.85/414.18	c |    242286 |   17778   115686   397349 | 2147483647   239306     65 |  1.692 % |
417.65/417.90	c |    243445 |   17778   115686   397349 | 2147483647   240465     65 |  1.692 % |
421.54/421.82	c |    244718 |   17775   115560   396877 | 2147483647   241672     65 |  1.692 % |
425.64/425.92	c |    246118 |   17775   115560   396877 | 2147483647   243072     66 |  1.692 % |
430.34/430.69	c |    247658 |   17775   115560   396877 | 2147483647   244612     66 |  1.692 % |
436.23/436.58	c |    249352 |   17775   115560   396877 | 2147483647   246305     66 |  1.703 % |
442.23/442.57	c |    251215 |   17775   115560   396877 | 2147483647   248167     66 |  1.709 % |
447.72/448.06	c |    253266 |   17775   115560   396877 | 2147483647   250218     66 |  1.709 % |
455.42/455.72	c |    255520 |   17772   115522   396739 | 2147483647   252447     66 |  1.709 % |
463.31/463.62	c |    257998 |   17772   115522   396739 | 2147483647   254925     66 |  1.709 % |
463.61/463.92	c |    258098 |   17772   115522   396739 | 2147483647   255025     66 |  1.709 % |
464.01/464.32	c |    258209 |   17772   115522   396739 | 2147483647   255136     66 |  1.709 % |
464.41/464.79	c |    258330 |   17772   115522   396739 | 2147483647   255257     66 |  1.709 % |
465.02/465.34	c |    258465 |   17772   115522   396739 | 2147483647   255392     66 |  1.709 % |
465.51/465.82	c |    258612 |   17772   115522   396739 | 2147483647   255539     66 |  1.709 % |
466.12/466.44	c |    258772 |   17772   115522   396739 | 2147483647   255699     66 |  1.709 % |
466.92/467.24	c |    258949 |   17772   115522   396739 | 2147483647   255876     66 |  1.709 % |
467.62/467.92	c |    259142 |   17772   115522   396739 | 2147483647   256069     66 |  1.709 % |
468.12/468.44	c |    259354 |   17772   115522   396739 | 2147483647   256281     66 |  1.709 % |
468.92/469.26	c |    259589 |   17772   115522   396739 | 2147483647   256515     66 |  1.715 % |
469.92/470.30	c |    259847 |   17772   115522   396739 | 2147483647   256773     66 |  1.715 % |
470.92/471.22	c |    260128 |   17772   115522   396739 | 2147483647   257054     66 |  1.715 % |
471.62/471.98	c |    260438 |   17772   115522   396739 | 2147483647   257364     66 |  1.715 % |
472.92/473.26	c |    260779 |   17772   115522   396739 | 2147483647   257705     66 |  1.715 % |
474.42/474.76	c |    261152 |   17772   115522   396739 | 2147483647   258078     66 |  1.715 % |
476.22/476.54	c |    261561 |   17772   115522   396739 | 2147483647   258487     66 |  1.715 % |
477.41/477.75	c |    262010 |   17772   115522   396739 | 2147483647   258936     66 |  1.715 % |
478.91/479.29	c |    262503 |   17770   115518   396728 | 2147483647   259428     66 |  1.720 % |
480.42/480.72	c |    263046 |   17769   115518   396728 | 2147483647   259970     66 |  1.726 % |
482.01/482.34	c |    263642 |   17766   115518   396728 | 2147483647   260561     66 |  1.753 % |
483.71/484.01	c |    264300 |   17764   115518   396728 | 2147483647   261218     66 |  1.764 % |
486.21/486.52	c |    265021 |   17764   115518   396728 | 2147483647   261939     66 |  1.764 % |
488.70/489.06	c |    265813 |   17764   115518   396728 | 2147483647   262731     66 |  1.764 % |
491.10/491.43	c |    266688 |   17764   115518   396728 | 2147483647   263605     66 |  1.770 % |
494.50/494.88	c |    267647 |   17764   115518   396728 | 2147483647   264564     66 |  1.770 % |
497.60/497.99	c |    268700 |   17764   115518   396728 | 2147483647   265617     66 |  1.770 % |
500.50/500.80	c |    269858 |   17763   115518   396728 | 2147483647   266774     66 |  1.775 % |
504.80/505.16	c |    271132 |   17763   115518   396728 | 2147483647   268048     66 |  1.775 % |
509.19/509.54	c |    272532 |   17763   115518   396728 | 2147483647   269448     66 |  1.775 % |
513.60/513.93	c |    274072 |   17763   115518   396728 | 2147483647   270988     66 |  1.775 % |
519.10/519.45	c |    275767 |   17752   115327   395992 | 2147483647   272481     66 |  1.842 % |
524.70/525.10	c |    277631 |   17752   115327   395992 | 2147483647   274344     66 |  1.847 % |
531.78/532.19	c |    279680 |   17752   115327   395992 | 2147483647   276393     66 |  1.847 % |
538.88/539.27	c |    281934 |   17751   115327   395992 | 2147483647   278645     66 |  1.864 % |
545.58/545.99	c |    284412 |   17751   115327   395992 | 2147483647   281123     66 |  1.864 % |
555.78/556.18	c |    287138 |   17751   115327   395992 | 2147483647   283849     66 |  1.864 % |
556.38/556.76	c |    287239 |   17744   115058   394977 | 2147483647   283712     66 |  1.864 % |
556.78/557.14	c |    287349 |   17744   115058   394977 | 2147483647   283822     66 |  1.864 % |
557.18/557.59	c |    287474 |   17744   115058   394977 | 2147483647   283947     66 |  1.864 % |
557.78/558.16	c |    287607 |   17744   115058   394977 | 2147483647   284080     66 |  1.864 % |
558.28/558.65	c |    287754 |   17744   115058   394977 | 2147483647   284227     66 |  1.864 % |
558.88/559.29	c |    287914 |   17744   115058   394977 | 2147483647   284387     66 |  1.864 % |
559.58/559.94	c |    288090 |   17744   115058   394977 | 2147483647   284563     66 |  1.864 % |
560.28/560.61	c |    288283 |   17744   115058   394977 | 2147483647   284756     66 |  1.864 % |
561.08/561.42	c |    288496 |   17744   115058   394977 | 2147483647   284969     66 |  1.864 % |
561.88/562.24	c |    288729 |   17744   115058   394977 | 2147483647   285202     66 |  1.864 % |
562.78/563.11	c |    288985 |   17744   115058   394977 | 2147483647   285458     66 |  1.864 % |
563.68/564.01	c |    289267 |   17744   115058   394977 | 2147483647   285740     66 |  1.864 % |
564.78/565.10	c |    289577 |   17744   115058   394977 | 2147483647   286049     66 |  1.869 % |
565.78/566.13	c |    289916 |   17744   115058   394977 | 2147483647   286386     66 |  1.897 % |
567.08/567.50	c |    290291 |   17744   115058   394977 | 2147483647   286759     66 |  1.914 % |
568.58/568.97	c |    290701 |   17744   115058   394977 | 2147483647   287169     66 |  1.914 % |
569.97/570.35	c |    291152 |   17744   115058   394977 | 2147483647   287620     66 |  1.914 % |
571.57/571.97	c |    291647 |   17744   115058   394977 | 2147483647   288115     66 |  1.914 % |
573.07/573.46	c |    292191 |   17744   115058   394977 | 2147483647   288659     66 |  1.914 % |
574.97/575.33	c |    292787 |   17744   115058   394977 | 2147483647   289255     66 |  1.914 % |
577.17/577.58	c |    293442 |   17744   115058   394977 | 2147483647   289910     66 |  1.914 % |
579.16/579.59	c |    294162 |   17744   115058   394977 | 2147483647   290630     66 |  1.914 % |
581.36/581.74	c |    294954 |   17744   115058   394977 | 2147483647   291422     66 |  1.914 % |
584.96/585.31	c |    295826 |   17744   115058   394977 | 2147483647   292294     66 |  1.914 % |
588.26/588.61	c |    296785 |   17744   115058   394977 | 2147483647   293253     66 |  1.914 % |
591.76/592.18	c |    297840 |   17744   115058   394977 | 2147483647   294308     66 |  1.914 % |
595.86/596.20	c |    298998 |   17744   115058   394977 | 2147483647   295466     66 |  1.914 % |
599.66/600.02	c |    300273 |   17734   114905   394388 | 2147483647   296655     66 |  1.925 % |
603.15/603.53	c |    301673 |   17734   114905   394388 | 2147483647   298055     66 |  1.925 % |
608.75/609.17	c |    303215 |   17732   114905   394388 | 2147483647   299594     66 |  1.941 % |
614.35/614.73	c |    304910 |   17732   114905   394388 | 2147483647   301289     66 |  1.941 % |
621.45/621.86	c |    306774 |   17732   114905   394388 | 2147483647   303153     66 |  1.941 % |
629.34/629.72	c |    308823 |   17732   114905   394388 | 2147483647   305202     66 |  1.941 % |
638.33/638.77	c |    311076 |   17732   114905   394388 | 2147483647   307455     66 |  1.941 % |
648.03/648.42	c |    313554 |   17729   114830   394112 | 2147483647   309888     66 |  1.947 % |
657.23/657.64	c |    316279 |   17729   114830   394112 | 2147483647   312611     66 |  1.958 % |
667.72/668.15	c |    319277 |   17729   114830   394112 | 2147483647   315608     66 |  1.963 % |
668.12/668.59	c |    319379 |   17729   114830   394112 | 2147483647   315710     66 |  1.963 % |
668.72/669.13	c |    319490 |   17729   114830   394112 | 2147483647   315821     66 |  1.963 % |
669.12/669.54	c |    319611 |   17729   114830   394112 | 2147483647   315942     66 |  1.963 % |
669.53/669.92	c |    319745 |   17729   114830   394112 | 2147483647   316076     66 |  1.963 % |
670.02/670.42	c |    319892 |   17728   114830   394112 | 2147483647   316222     66 |  1.969 % |
670.72/671.10	c |    320053 |   17728   114830   394112 | 2147483647   316383     66 |  1.969 % |
671.32/671.75	c |    320230 |   17728   114830   394112 | 2147483647   316560     66 |  1.969 % |
672.22/672.62	c |    320423 |   17728   114830   394112 | 2147483647   316752     66 |  1.974 % |
673.02/673.40	c |    320635 |   17728   114830   394112 | 2147483647   316964     66 |  1.974 % |
674.12/674.57	c |    320868 |   17728   114830   394112 | 2147483647   317197     66 |  1.974 % |
675.32/675.73	c |    321124 |   17728   114830   394112 | 2147483647   317453     66 |  1.974 % |
676.52/676.95	c |    321407 |   17728   114830   394112 | 2147483647   317736     66 |  1.974 % |
677.82/678.21	c |    321717 |   17728   114830   394112 | 2147483647   318046     66 |  1.974 % |
679.02/679.48	c |    322056 |   17728   114830   394112 | 2147483647   318384     66 |  1.980 % |
680.91/681.32	c |    322430 |   17728   114830   394112 | 2147483647   318758     66 |  1.980 % |
682.31/682.77	c |    322839 |   17728   114830   394112 | 2147483647   319167     66 |  1.980 % |
683.71/684.14	c |    323291 |   17728   114830   394112 | 2147483647   319619     66 |  1.980 % |
685.31/685.77	c |    323787 |   17728   114830   394112 | 2147483647   320115     66 |  1.980 % |
687.12/687.60	c |    324329 |   17728   114830   394112 | 2147483647   320657     66 |  1.980 % |
688.92/689.38	c |    324925 |   17728   114830   394112 | 2147483647   321252     66 |  1.986 % |
691.81/692.24	c |    325585 |   17728   114830   394112 | 2147483647   321912     66 |  1.986 % |
694.31/694.72	c |    326305 |   17722   114772   393911 | 2147483647   322614     66 |  1.986 % |
697.31/697.77	c |    327097 |   17722   114772   393911 | 2147483647   323406     66 |  1.986 % |
700.41/700.86	c |    327971 |   17722   114772   393911 | 2147483647   324280     66 |  1.986 % |
704.30/704.71	c |    328929 |   17722   114772   393911 | 2147483647   325238     66 |  1.986 % |
708.80/709.22	c |    329982 |   17720   114772   393911 | 2147483647   326289     66 |  1.997 % |
713.20/713.61	c |    331142 |   17719   114772   393911 | 2147483647   327447     66 |  2.008 % |
717.50/717.93	c |    332415 |   17719   114772   393911 | 2147483647   328720     67 |  2.008 % |
722.70/723.10	c |    333815 |   17719   114772   393911 | 2147483647   330120     66 |  2.008 % |
727.99/728.48	c |    335355 |   17719   114772   393911 | 2147483647   331660     67 |  2.008 % |
734.09/734.52	c |    337050 |   17719   114772   393911 | 2147483647   333354     67 |  2.013 % |
742.19/742.62	c |    338914 |   17719   114772   393911 | 2147483647   335218     67 |  2.013 % |
750.98/751.42	c |    340967 |   17716   114668   393561 | 2147483647   337207     67 |  2.019 % |
759.18/759.66	c |    343220 |   17716   114668   393561 | 2147483647   339459     67 |  2.024 % |
768.07/768.50	c |    345698 |   17716   114668   393561 | 2147483647   341937     67 |  2.024 % |
779.96/780.45	c |    348423 |   17716   114668   393561 | 2147483647   344662     67 |  2.024 % |
791.66/792.15	c |    351420 |   17716   114668   393561 | 2147483647   347659     67 |  2.024 % |
805.15/805.66	c |    354716 |   17713   114621   393389 | 2147483647   350925     67 |  2.041 % |
805.55/806.06	c |    354817 |   17713   114621   393389 | 2147483647   351026     67 |  2.041 % |
806.05/806.51	c |    354927 |   17713   114621   393389 | 2147483647   351136     67 |  2.041 % |
806.65/807.18	c |    355049 |   17713   114621   393389 | 2147483647   351258     67 |  2.041 % |
807.45/807.91	c |    355182 |   17713   114621   393389 | 2147483647   351391     67 |  2.041 % |
808.15/808.66	c |    355330 |   17713   114621   393389 | 2147483647   351539     67 |  2.041 % |
809.05/809.56	c |    355490 |   17713   114621   393389 | 2147483647   351699     67 |  2.041 % |
809.65/810.16	c |    355666 |   17713   114621   393389 | 2147483647   351875     67 |  2.041 % |
810.35/810.87	c |    355859 |   17713   114621   393389 | 2147483647   352068     67 |  2.041 % |
811.35/811.85	c |    356072 |   17713   114621   393389 | 2147483647   352281     67 |  2.041 % |
812.35/812.84	c |    356307 |   17713   114621   393389 | 2147483647   352516     67 |  2.041 % |
813.25/813.73	c |    356563 |   17713   114621   393389 | 2147483647   352772     67 |  2.041 % |
814.05/814.59	c |    356848 |   17713   114621   393389 | 2147483647   353057     67 |  2.041 % |
815.45/815.91	c |    357157 |   17713   114621   393389 | 2147483647   353366     67 |  2.041 % |
816.85/817.31	c |    357497 |   17713   114621   393389 | 2147483647   353706     67 |  2.041 % |
818.44/818.96	c |    357869 |   17713   114621   393389 | 2147483647   354078     67 |  2.041 % |
820.24/820.72	c |    358279 |   17713   114621   393389 | 2147483647   354488     67 |  2.041 % |
821.84/822.33	c |    358731 |   17713   114621   393389 | 2147483647   354940     67 |  2.041 % |
824.14/824.65	c |    359225 |   17713   114621   393389 | 2147483647   355434     67 |  2.041 % |
826.74/827.25	c |    359767 |   17713   114621   393389 | 2147483647   355976     67 |  2.041 % |
828.74/829.21	c |    360363 |   17713   114621   393389 | 2147483647   356572     67 |  2.041 % |
831.14/831.65	c |    361018 |   17713   114621   393389 | 2147483647   357227     67 |  2.041 % |
834.14/834.60	c |    361739 |   17713   114621   393389 | 2147483647   357948     67 |  2.041 % |
837.24/837.76	c |    362531 |   17713   114621   393389 | 2147483647   358740     67 |  2.041 % |
840.74/841.26	c |    363403 |   17713   114621   393389 | 2147483647   359611     67 |  2.046 % |
843.63/844.11	c |    364361 |   17713   114621   393389 | 2147483647   360569     67 |  2.046 % |
847.73/848.22	c |    365414 |   17713   114621   393389 | 2147483647   361622     67 |  2.046 % |
852.33/852.85	c |    366572 |   17713   114621   393389 | 2147483647   362779     67 |  2.052 % |
858.72/859.24	c |    367845 |   17713   114621   393389 | 2147483647   364052     67 |  2.052 % |
864.62/865.14	c |    369245 |   17710   114550   393169 | 2147483647   365445     67 |  2.052 % |
871.82/872.35	c |    370786 |   17710   114550   393169 | 2147483647   366986     67 |  2.052 % |
879.32/879.82	c |    372481 |   17710   114550   393169 | 2147483647   368677     67 |  2.074 % |
887.12/887.64	c |    374345 |   17710   114550   393169 | 2147483647   370541     67 |  2.074 % |
896.41/896.98	c |    376395 |   17710   114550   393169 | 2147483647   372590     67 |  2.080 % |
905.00/905.55	c |    378648 |   17710   114550   393169 | 2147483647   374843     67 |  2.080 % |
915.20/915.72	c |    381126 |   17709   114550   393169 | 2147483647   377320     67 |  2.085 % |
926.99/927.55	c |    383852 |   17709   114550   393169 | 2147483647   380046     67 |  2.085 % |
938.68/939.21	c |    386852 |   17704   114466   392857 | 2147483647   382946     67 |  2.096 % |
953.57/954.16	c |    390148 |   17704   114466   392857 | 2147483647   386241     67 |  2.102 % |
968.36/968.92	c |    393774 |   17704   114466   392857 | 2147483647   389866     67 |  2.107 % |
968.86/969.44	c |    393875 |   17704   114466   392857 | 2147483647   389966     67 |  2.113 % |
969.36/969.93	c |    393985 |   17704   114466   392857 | 2147483647   390076     67 |  2.113 % |
969.76/970.35	c |    394106 |   17704   114466   392857 | 2147483647   390197     67 |  2.113 % |
970.46/971.09	c |    394239 |   17704   114466   392857 | 2147483647   390330     67 |  2.113 % |
971.26/971.87	c |    394385 |   17704   114466   392857 | 2147483647   390476     67 |  2.113 % |
971.86/972.47	c |    394545 |   17704   114466   392857 | 2147483647   390635     67 |  2.118 % |
972.96/973.53	c |    394721 |   17703   114466   392857 | 2147483647   390811     67 |  2.118 % |
973.76/974.30	c |    394914 |   17703   114466   392857 | 2147483647   391004     67 |  2.118 % |
974.46/975.01	c |    395127 |   17703   114466   392857 | 2147483647   391216     67 |  2.124 % |
975.95/976.54	c |    395362 |   17703   114466   392857 | 2147483647   391451     67 |  2.124 % |
976.95/977.55	c |    395618 |   17703   114466   392857 | 2147483647   391707     67 |  2.124 % |
978.26/978.81	c |    395901 |   17703   114466   392857 | 2147483647   391990     67 |  2.124 % |
979.76/980.35	c |    396210 |   17703   114466   392857 | 2147483647   392299     67 |  2.124 % |
981.66/982.22	c |    396549 |   17703   114466   392857 | 2147483647   392638     67 |  2.124 % |
983.46/984.00	c |    396921 |   17703   114466   392857 | 2147483647   393010     67 |  2.124 % |
985.76/986.31	c |    397332 |   17703   114466   392857 | 2147483647   393421     67 |  2.124 % |
987.95/988.51	c |    397781 |   17703   114466   392857 | 2147483647   393869     67 |  2.129 % |
990.56/991.17	c |    398274 |   17703   114466   392857 | 2147483647   394362     67 |  2.129 % |
992.95/993.51	c |    398817 |   17703   114466   392857 | 2147483647   394905     67 |  2.129 % |
995.55/996.10	c |    399413 |   17692   114362   392491 | 2147483647   395420     67 |  2.151 % |
998.75/999.34	c |    400068 |   17692   114362   392491 | 2147483647   396074     67 |  2.157 % |
1001.74/1002.31	c |    400788 |   17692   114362   392491 | 2147483647   396794     67 |  2.157 % |
1005.14/1005.77	c |    401582 |   17692   114362   392491 | 2147483647   397587     67 |  2.162 % |
1008.45/1009.02	c |    402453 |   17692   114362   392491 | 2147483647   398458     67 |  2.163 % |
1012.15/1012.71	c |    403411 |   17692   114362   392491 | 2147483647   399416     67 |  2.163 % |
1016.85/1017.48	c |    404465 |   17692   114362   392491 | 2147483647   400470     67 |  2.163 % |
1022.13/1022.77	c |    405623 |   17692   114362   392491 | 2147483647   401628     67 |  2.163 % |
1028.03/1028.67	c |    406896 |   17692   114362   392491 | 2147483647   402901     67 |  2.163 % |
1034.53/1035.16	c |    408297 |   17692   114362   392491 | 2147483647   404302     67 |  2.162 % |
1041.32/1041.91	c |    409838 |   17692   114362   392491 | 2147483647   405843     67 |  2.162 % |
1049.72/1050.34	c |    411535 |   17692   114362   392491 | 2147483647   407539     67 |  2.168 % |
1057.72/1058.31	c |    413398 |   17689   114362   392491 | 2147483647   409397     67 |  2.417 % |
1073.21/1073.85	c ===============================================================================
1073.21/1073.85	c restarts              : 814
1073.21/1073.85	c conflicts             : 414458         (387 /sec)
1073.21/1073.85	c decisions             : 873619         (1.47 % random) (816 /sec)
1073.21/1073.85	c propagations          : 611877825      (571249 /sec)
1073.21/1073.85	c conflict literals     : 27467590       (55.83 % deleted)
1073.21/1073.85	c Memory used           : 130.64 MB
1073.21/1073.85	c CPU time              : 1071.12 s
1073.21/1073.85	c 
1073.21/1073.85	s UNSATISFIABLE
1073.21/1073.87	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832081-1242769133/watcher-1832081-1242769133 -o /tmp/evaluation-result-1832081-1242769133/solver-1832081-1242769133 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832081-1242769133.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.92 0.98 0.94 2/64 16721
/proc/meminfo: memFree=1985984/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=928 CPUtime=0
/proc/16721/stat : 16721 (SatELiteGTI) R 16719 16721 16634 0 -1 4194304 43 0 0 0 0 0 0 0 20 0 1 0 304941747 950272 27 1992294400 4194304 4889804 548682068832 18446744073709551615 272834261719 0 0 4096 0 0 0 0 17 1 0 0
/proc/16721/statm: 491 32 25 169 0 8 0

[startup+0.06201 s]
/proc/loadavg: 0.92 0.98 0.94 2/64 16721
/proc/meminfo: memFree=1985984/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=0
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304941747 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101014 s]
/proc/loadavg: 0.92 0.98 0.94 2/64 16721
/proc/meminfo: memFree=1985984/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=0
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304941747 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301043 s]
/proc/loadavg: 0.92 0.98 0.94 2/64 16721
/proc/meminfo: memFree=1985984/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=0
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304941747 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701102 s]
/proc/loadavg: 0.92 0.98 0.94 2/64 16721
/proc/meminfo: memFree=1985984/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=0
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304941747 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50122 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 16726
/proc/meminfo: memFree=1950056/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=0
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304941747 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 237 197 169 0 50 0
[pid=16726] ppid=16721 vsize=41212 CPUtime=1.48
/proc/16726/stat : 16726 (SatELite_releas) R 16721 16721 16634 0 -1 4194304 8680 0 0 0 142 6 0 0 25 0 1 0 304941748 42201088 8356 1992294400 134512640 135223648 4294956128 18446744073709551615 134548280 0 0 4096 3 0 0 0 17 0 0 0
/proc/16726/statm: 10303 8356 76 173 0 10128 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46568

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 16727
/proc/meminfo: memFree=1970088/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=9432 CPUtime=1.29
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 2211 0 0 0 128 1 0 0 25 0 1 0 304941927 9658368 2197 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 2358 2197 77 171 0 2185 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14788

[startup+6.30192 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 16727
/proc/meminfo: memFree=1968936/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=10504 CPUtime=4.48
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 2486 0 0 0 447 1 0 0 25 0 1 0 304941927 10756096 2472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 2626 2472 77 171 0 2453 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15860

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 16727
/proc/meminfo: memFree=1966512/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=12904 CPUtime=10.88
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 3084 0 0 0 1086 2 0 0 25 0 1 0 304941927 13213696 3070 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 3226 3070 77 171 0 3053 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 18260

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.94 2/66 16727
/proc/meminfo: memFree=1962160/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=17080 CPUtime=23.68
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 4133 0 0 0 2365 3 0 0 25 0 1 0 304941927 17489920 4119 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 4270 4119 77 171 0 4097 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 22436

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.94 2/66 16727
/proc/meminfo: memFree=1954352/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=24840 CPUtime=49.26
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 6069 0 0 0 4921 5 0 0 25 0 1 0 304941927 25436160 6055 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 6210 6055 77 171 0 6037 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 30196

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.94 2/66 16727
/proc/meminfo: memFree=1943280/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=35844 CPUtime=100.44
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 8819 0 0 0 10037 7 0 0 25 0 1 0 304941927 36704256 8805 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 8961 8805 77 171 0 8788 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 41200

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 16729
/proc/meminfo: memFree=1931432/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=47528 CPUtime=160.41
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 11721 0 0 0 16030 11 0 0 25 0 1 0 304941927 48668672 11707 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 11882 11707 77 171 0 11709 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 52884

[startup+222.302 s]
/proc/loadavg: 1.05 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1922160/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=56996 CPUtime=220.37
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 14023 0 0 0 22024 13 0 0 25 0 1 0 304941927 58363904 14009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 14249 14009 77 171 0 14076 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 62352

[startup+282.302 s]
/proc/loadavg: 1.02 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1914160/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=64908 CPUtime=280.35
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 16025 0 0 0 28020 15 0 0 25 0 1 0 304941927 66465792 16011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 16227 16011 77 171 0 16054 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 70264

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1907056/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=72016 CPUtime=340.31
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 17741 0 0 0 34014 17 0 0 25 0 1 0 304941927 73744384 17727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 18004 17727 77 171 0 17831 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 77372

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1899760/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=79440 CPUtime=400.28
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 19562 0 0 0 40009 19 0 0 25 0 1 0 304941927 81346560 19548 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 19860 19548 77 171 0 19687 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 84796

[startup+462.302 s]

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


[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1876208/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=102400 CPUtime=640.15
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 25317 0 0 0 63990 25 0 0 25 0 1 0 304941927 104857600 25303 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 25600 25303 77 171 0 25427 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 107756

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1871216/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=107936 CPUtime=700.13
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 26537 0 0 0 69986 27 0 0 25 0 1 0 304941927 110526464 26523 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 26984 26523 77 171 0 26811 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 113292

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1865648/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=113328 CPUtime=760.1
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 27892 0 0 0 75981 29 0 0 25 0 1 0 304941927 116047872 27878 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 28332 27878 77 171 0 28159 0
Current children cumulated CPU time (s) 761.88
Current children cumulated vsize (KiB) 118684

[startup+822.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1861360/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=117672 CPUtime=820.06
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 28974 0 0 0 81976 30 0 0 25 0 1 0 304941927 120496128 28960 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 29418 28960 77 171 0 29245 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 123028

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1856560/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=122288 CPUtime=880.04
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 30145 0 0 0 87972 32 0 0 25 0 1 0 304941927 125222912 30131 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 30572 30131 77 171 0 30399 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 127644

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1852592/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=126184 CPUtime=940
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 31126 0 0 0 93967 33 0 0 25 0 1 0 304941927 129212416 31112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 31546 31112 77 171 0 31373 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 131540

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1848560/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=129984 CPUtime=999.96
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 32092 0 0 0 99962 34 0 0 25 0 1 0 304941927 133103616 32078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 32496 32078 77 171 0 32323 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 135340

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1844848/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=133772 CPUtime=1059.94
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 33029 0 0 0 105958 36 0 0 25 0 1 0 304941927 136982528 33015 1992294400 134512640 135215339 4294956240 18446744073709551615 134526024 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 33443 33015 77 171 0 33270 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 139128

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

[startup+1068.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1844784/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=133772 CPUtime=1066.33
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 33029 0 0 0 106597 36 0 0 25 0 1 0 304941927 136982528 33015 1992294400 134512640 135215339 4294956240 18446744073709551615 134526128 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 33443 33015 77 171 0 33270 0
Current children cumulated CPU time (s) 1068.11
Current children cumulated vsize (KiB) 139128

[startup+1071.9 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1844784/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=133772 CPUtime=1069.53
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 33029 0 0 0 106917 36 0 0 25 0 1 0 304941927 136982528 33015 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 33443 33015 77 171 0 33270 0
Current children cumulated CPU time (s) 1071.31
Current children cumulated vsize (KiB) 139128

[startup+1072.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1844784/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=133772 CPUtime=1070.33
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 33029 0 0 0 106997 36 0 0 25 0 1 0 304941927 136982528 33015 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 33443 33015 77 171 0 33270 0
Current children cumulated CPU time (s) 1072.11
Current children cumulated vsize (KiB) 139128

[startup+1073.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1844784/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=133772 CPUtime=1071.13
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 33029 0 0 0 107077 36 0 0 25 0 1 0 304941927 136982528 33015 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 33443 33015 77 171 0 33270 0
Current children cumulated CPU time (s) 1072.91
Current children cumulated vsize (KiB) 139128

[startup+1073.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1844784/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=133772 CPUtime=1071.33
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 33029 0 0 0 107097 36 0 0 25 0 1 0 304941927 136982528 33015 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 33443 33015 77 171 0 33270 0
Current children cumulated CPU time (s) 1073.11
Current children cumulated vsize (KiB) 139128

[startup+1073.8 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 16729
/proc/meminfo: memFree=1844784/2055920 swapFree=4179280/4192956
[pid=16721] ppid=16719 vsize=5356 CPUtime=1.78
/proc/16721/stat : 16721 (SatELiteGTI) S 16719 16721 16634 0 -1 4194304 336 9412 0 0 0 0 170 8 16 0 1 0 304941747 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16721/statm: 1339 239 197 169 0 50 0
[pid=16727] ppid=16721 vsize=133772 CPUtime=1071.43
/proc/16727/stat : 16727 (minisat_static) R 16721 16721 16634 0 -1 4194304 33029 0 0 0 107107 36 0 0 25 0 1 0 304941927 136982528 33015 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 0 0 0
/proc/16727/statm: 33443 33015 77 171 0 33270 0
Current children cumulated CPU time (s) 1073.21
Current children cumulated vsize (KiB) 139128

Child status: 20
Real time (s): 1073.88
CPU time (s): 1073.3
CPU user time (s): 1072.82
CPU system time (s): 0.472928
CPU usage (%): 99.9455
Max. virtual memory (cumulated for all children) (KiB): 139128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1072.82
system time used= 0.472928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42938
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= 52
involuntary context switches= 3100

runsolver used 0.948855 second user time and 3.00854 second system time

The end

Launcher Data 

Begin job on node39 at 2009-05-19 23:38:53
IDJOB=1832081
IDBENCH=20425
IDSOLVER=671
FILE ID=node39/1832081-1242769133
PBS_JOBID= 9322259
Free space on /tmp= 66484 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/medium/emptyroom-4-h21-unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832081-1242769133/watcher-1832081-1242769133 -o /tmp/evaluation-result-1832081-1242769133/solver-1832081-1242769133 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832081-1242769133.cnf

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

MD5SUM BENCH= 175ec3119584300988ad366c4a04cccc
RANDOM SEED=203735888

node39.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.281
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.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1986400 kB
Buffers:          7272 kB
Cached:          26860 kB
SwapCached:       7824 kB
Active:          25548 kB
Inactive:        17880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1986400 kB
SwapTotal:     4192956 kB
SwapFree:      4179280 kB
Dirty:            4976 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            12124 kB
Committed_AS:  1096876 kB
PageTables:       1388 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= 66480 MiB
End job on node39 at 2009-05-19 23:56:47