Trace number 1820518

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.05 1199.93

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 benchmark382.85
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.00	c Parsing...
0.12/0.19	c ==============================================================================
0.12/0.19	c |           |     ORIGINAL     |              LEARNT              |          |
0.12/0.19	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.12/0.19	c ==============================================================================
0.12/0.19	c |         0 |  207960   486008 |   62387       0        0     nan |  0.000 % |
1.52/1.55	c |         0 |  121498   417368 |      --       0       --      -- |     --   | -86462/-68640
1.52/1.55	c ==============================================================================
1.52/1.55	c Result  :   #vars: 18081   #clauses: 121498   #literals: 417368
1.52/1.55	c CPU time:   1.5 s
1.52/1.55	c ==============================================================================
1.62/1.69	c This is MiniSat 2.0 beta
1.62/1.69	c WARNING: for repeatability, setting FPU to use double precision
1.62/1.69	c ============================[ Problem Statistics ]=============================
1.62/1.69	c |                                                                             |
1.62/1.70	c |  Number of variables:  18081                                                |
1.62/1.70	c |  Number of clauses:    121498                                               |
1.70/1.78	c |  Parsing time:         0.07         s                                       |
1.70/1.78	c ============================[ Search Statistics ]==============================
1.70/1.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.70/1.78	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.70/1.78	c ===============================================================================
1.70/1.78	c |         0 |   18081   121498   417368 |    40499        0    nan |  0.000 % |
1.70/1.83	c |       100 |   18078   121498   417368 |    40499       96      7 |  0.022 % |
1.70/1.88	c |       200 |   18077   121498   417368 |    40499      196      8 |  0.022 % |
1.70/1.97	c |       300 |   18077   121498   417368 |    40499      296     13 |  0.022 % |
1.70/2.01	c |       410 |   18077   121498   417368 |    40499      405     13 |  0.028 % |
1.70/2.07	c |       510 |   18076   121498   417368 |    40499      505     13 |  0.028 % |
2.12/2.13	c |       623 |   18076   121293   416659 |    40499      603     13 |  0.028 % |
2.32/2.40	c |       744 |   18075   121293   416659 |    40499      723     39 |  0.033 % |
2.42/2.49	c |       845 |   18075   121293   416659 |    40499      824     39 |  0.033 % |
2.52/2.52	c |       955 |   18075   121285   416636 |    40499      932     36 |  0.033 % |
2.52/2.59	c |      1076 |   18075   121285   416636 |    40499     1053     34 |  0.033 % |
2.62/2.67	c |      1210 |   18075   121285   416636 |    40499     1187     32 |  0.033 % |
2.62/2.70	c |      1312 |   18074   121285   416636 |    40499     1288     31 |  0.039 % |
2.72/2.78	c |      1426 |   18074   121285   416636 |    40499     1402     29 |  0.039 % |
2.82/2.86	c |      1547 |   18074   121268   416575 |    40499     1521     28 |  0.039 % |
2.82/2.90	c |      1680 |   18074   121268   416575 |    40499     1654     27 |  0.039 % |
2.92/2.98	c |      1827 |   18073   121268   416575 |    40499     1800     26 |  0.044 % |
3.02/3.03	c |      1927 |   18073   121268   416575 |    40499     1900     27 |  0.044 % |
3.02/3.08	c |      2038 |   18073   121268   416575 |    40499     2011     27 |  0.044 % |
3.12/3.17	c |      2159 |   18073   121251   416514 |    40499     2129     27 |  0.044 % |
3.22/3.28	c |      2292 |   18072   121251   416514 |    40499     2261     27 |  0.050 % |
3.32/3.39	c |      2439 |   18072   121251   416514 |    40499     2408     27 |  0.050 % |
3.52/3.53	c |      2601 |   18072   121251   416514 |    40499     2570     29 |  0.050 % |
3.52/3.59	c |      2703 |   18072   121235   416456 |    40499     2667     29 |  0.050 % |
3.62/3.64	c |      2813 |   18072   121235   416456 |    40499     2777     29 |  0.050 % |
3.62/3.70	c |      2935 |   18072   121235   416456 |    40499     2899     28 |  0.050 % |
3.72/3.75	c |      3069 |   18071   121235   416456 |    40499     3032     27 |  0.055 % |
3.82/3.86	c |      3217 |   18070   121235   416456 |    40499     3179     28 |  0.061 % |
3.92/3.98	c |      3377 |   18070   121235   416456 |    40499     3339     28 |  0.061 % |
4.12/4.16	c |      3559 |   18070   121151   416227 |    40499     3521     27 |  0.061 % |
4.22/4.29	c |      3659 |   18070   121151   416227 |    40499     3621     31 |  0.061 % |
4.32/4.35	c |      3769 |   18070   121151   416227 |    40499     3731     31 |  0.061 % |
4.42/4.41	c |      3892 |   18069   121143   416204 |    40499     3852     30 |  0.066 % |
4.42/4.51	c |      4025 |   18069   121143   416204 |    40499     3985     30 |  0.066 % |
4.62/4.62	c |      4173 |   18068   121143   416204 |    40499     4132     30 |  0.072 % |
4.92/4.95	c |      4333 |   18068   121143   416204 |    40499     4292     34 |  0.072 % |
5.22/5.23	c |      4510 |   18068   121127   416148 |    40499     4467     36 |  0.072 % |
5.32/5.31	c |      4703 |   18064   121127   416148 |    40499     4656     35 |  0.094 % |
5.32/5.36	c |      4803 |   18064   121127   416148 |    40499     4756     35 |  0.094 % |
5.42/5.43	c |      4914 |   18064   121065   415930 |    40499     4851     34 |  0.094 % |
5.52/5.52	c |      5035 |   18063   121065   415930 |    40499     4971     34 |  0.100 % |
5.52/5.55	c |      5168 |   18063   121065   415930 |    40499     5104     33 |  0.100 % |
5.62/5.62	c |      5314 |   18060   121065   415930 |    40499     5247     33 |  0.116 % |
5.72/5.74	c |      5475 |   18060   121065   415930 |    40499     5408     34 |  0.116 % |
5.72/5.80	c |      5651 |   18059   121065   415930 |    40499     5583     33 |  0.122 % |
5.82/5.90	c |      5844 |   18059   120930   415431 |    40499     5729     33 |  0.122 % |
6.22/6.29	c |      6056 |   18059   120930   415431 |    40499     5941     34 |  0.122 % |
6.32/6.36	c |      6156 |   18059   120930   415431 |    40499     6041     34 |  0.122 % |
6.72/6.72	c |      6270 |   18059   120930   415431 |    40499     6155     38 |  0.122 % |
6.82/6.83	c |      6392 |   18059   120930   415431 |    40499     6277     39 |  0.122 % |
6.92/6.94	c |      6526 |   18059   120930   415431 |    40499     6411     38 |  0.122 % |
7.02/7.09	c |      6672 |   18059   120930   415431 |    40499     6557     40 |  0.122 % |
7.22/7.25	c |      6832 |   18058   120869   415202 |    40499     6716     41 |  0.127 % |
7.52/7.52	c |      7008 |   18058   120869   415202 |    40499     6892     43 |  0.127 % |
7.82/7.83	c |      7203 |   18058   120869   415202 |    40499     7085     45 |  0.138 % |
7.92/7.97	c |      7415 |   18055   120847   415128 |    40499     7294     44 |  0.144 % |
8.12/8.19	c |      7649 |   18055   120847   415128 |    40499     7528     43 |  0.144 % |
8.32/8.36	c |      7749 |   18055   120847   415128 |    40499     7628     46 |  0.144 % |
8.52/8.58	c |      7861 |   18054   120783   414941 |    40499     7733     46 |  0.155 % |
8.62/8.70	c |      7982 |   18053   120783   414941 |    40499     7854     46 |  0.155 % |
8.92/8.97	c |      8118 |   18053   120783   414941 |    40499     7990     47 |  0.155 % |
9.12/9.12	c |      8264 |   18053   120783   414941 |    40499     8136     48 |  0.155 % |
9.12/9.19	c |      8425 |   18053   120783   414941 |    40499     8297     48 |  0.155 % |
9.52/9.55	c |      8601 |   18053   120783   414941 |    40499     8473     50 |  0.155 % |
9.82/9.83	c |      8794 |   18053   120733   414802 |    40499     8666     51 |  0.155 % |
9.92/10.00	c |      9006 |   18053   120733   414802 |    40499     8877     51 |  0.160 % |
10.12/10.19	c |      9239 |   18053   120733   414802 |    40499     9110     50 |  0.160 % |
10.62/10.66	c |      9495 |   18053   120733   414802 |    40499     9366     52 |  0.160 % |
10.72/10.71	c |      9595 |   18052   120671   414570 |    40499     9466     51 |  0.160 % |
10.72/10.79	c |      9705 |   18052   120671   414570 |    40499     9569     51 |  0.199 % |
10.82/10.86	c |      9826 |   18044   120671   414570 |    40499     9689     50 |  0.205 % |
11.02/11.06	c |      9959 |   18044   120671   414570 |    40499     9822     51 |  0.205 % |
11.12/11.19	c |     10105 |   18044   120671   414570 | 2147483647     9968     52 |  0.205 % |
11.22/11.29	c |     10265 |   18044   120671   414570 | 2147483647    10128     51 |  0.205 % |
11.42/11.49	c |     10444 |   18044   120671   414570 | 2147483647    10307     52 |  0.205 % |
11.62/11.62	c |     10638 |   18043   120525   414029 | 2147483647    10350     52 |  0.210 % |
11.82/11.82	c |     10852 |   18043   120525   414029 | 2147483647    10564     53 |  0.210 % |
11.92/11.98	c |     11085 |   18040   120525   414029 | 2147483647    10794     52 |  0.227 % |
12.12/12.13	c |     11342 |   18040   120525   414029 | 2147483647    11051     52 |  0.227 % |
12.32/12.34	c |     11625 |   18038   120345   413404 | 2147483647    11316     52 |  0.238 % |
12.32/12.39	c |     11726 |   18037   120345   413404 | 2147483647    11416     52 |  0.243 % |
12.42/12.44	c |     11836 |   18037   120345   413404 | 2147483647    11526     51 |  0.243 % |
12.42/12.50	c |     11958 |   18037   120345   413404 | 2147483647    11648     51 |  0.243 % |
12.62/12.65	c |     12091 |   18037   120345   413404 | 2147483647    11781     53 |  0.243 % |
12.72/12.74	c |     12238 |   18037   120345   413404 | 2147483647    11928     53 |  0.243 % |
12.72/12.80	c |     12398 |   18037   120345   413404 | 2147483647    12088     52 |  0.243 % |
12.82/12.90	c |     12575 |   18037   120345   413404 | 2147483647    12265     52 |  0.243 % |
13.02/13.08	c |     12770 |   18036   120345   413404 | 2147483647    12459     52 |  0.249 % |
13.12/13.20	c |     12983 |   18036   120279   413208 | 2147483647    12667     51 |  0.249 % |
13.52/13.51	c |     13217 |   18036   120279   413208 | 2147483647    12901     52 |  0.249 % |
13.72/13.71	c |     13473 |   18036   120279   413208 | 2147483647    13157     51 |  0.249 % |
13.82/13.87	c |     13754 |   18036   120279   413208 | 2147483647    13438     51 |  0.249 % |
14.12/14.12	c |     14063 |   18035   120263   413152 | 2147483647    13743     51 |  0.254 % |
14.12/14.18	c |     14164 |   18034   120263   413152 | 2147483647    13843     51 |  0.260 % |
14.32/14.38	c |     14274 |   18034   120263   413152 | 2147483647    13953     51 |  0.260 % |
14.62/14.66	c |     14397 |   18034   120263   413152 | 2147483647    14076     52 |  0.260 % |
14.72/14.79	c |     14533 |   18033   120263   413152 | 2147483647    14211     52 |  0.265 % |
15.02/15.02	c |     14680 |   18033   120263   413152 | 2147483647    14358     53 |  0.265 % |
15.12/15.14	c |     14840 |   18033   120263   413152 | 2147483647    14517     53 |  0.271 % |
15.32/15.38	c |     15016 |   18033   120263   413152 | 2147483647    14693     55 |  0.271 % |
15.52/15.56	c |     15209 |   18032   120153   412786 | 2147483647    14885     54 |  0.271 % |
15.82/15.85	c |     15425 |   18032   120153   412786 | 2147483647    15101     57 |  0.271 % |
15.92/15.98	c |     15661 |   18031   120153   412786 | 2147483647    15336     56 |  0.277 % |
16.12/16.17	c |     15918 |   18031   120153   412786 | 2147483647    15593     56 |  0.277 % |
16.32/16.35	c |     16201 |   18030   120153   412786 | 2147483647    15875     55 |  0.282 % |
16.52/16.60	c |     16510 |   18029   120056   412430 | 2147483647    16171     55 |  0.288 % |
16.92/16.92	c |     16849 |   18028   120056   412430 | 2147483647    16508     55 |  0.299 % |
17.02/17.09	c |     16951 |   18028   120056   412430 | 2147483647    16610     55 |  0.299 % |
17.12/17.16	c |     17063 |   18028   120056   412430 | 2147483647    16722     55 |  0.299 % |
17.22/17.24	c |     17187 |   18028   120056   412430 | 2147483647    16846     55 |  0.299 % |
17.42/17.41	c |     17321 |   18028   120056   412430 | 2147483647    16980     56 |  0.299 % |
17.42/17.49	c |     17468 |   18025   120056   412430 | 2147483647    17123     56 |  0.321 % |
17.52/17.61	c |     17630 |   18024   120056   412430 | 2147483647    17285     56 |  0.321 % |
17.72/17.73	c |     17809 |   18024   120056   412430 | 2147483647    17464     55 |  0.321 % |
17.92/17.94	c |     18003 |   18023   119927   412010 | 2147483647    17634     57 |  0.321 % |
18.02/18.03	c |     18215 |   18023   119927   412010 | 2147483647    17846     56 |  0.321 % |
18.22/18.25	c |     18448 |   18023   119927   412010 | 2147483647    18079     56 |  0.321 % |
18.52/18.60	c |     18704 |   18023   119927   412010 | 2147483647    18333     56 |  0.332 % |
18.82/18.82	c |     18985 |   18022   119927   412010 | 2147483647    18614     56 |  0.332 % |
19.42/19.46	c |     19294 |   18022   119927   412010 | 2147483647    18923     57 |  0.332 % |
20.12/20.20	c |     19633 |   18021   119854   411814 | 2147483647    19262     57 |  0.332 % |
20.52/20.57	c |     20005 |   18020   119854   411814 | 2147483647    19633     57 |  0.337 % |
20.62/20.63	c |     20105 |   18020   119854   411814 | 2147483647    19733     57 |  0.337 % |
20.72/20.74	c |     20218 |   18020   119854   411814 | 2147483647    19846     57 |  0.337 % |
21.02/21.01	c |     20340 |   18020   119854   411814 | 2147483647    19968     57 |  0.337 % |
21.32/21.31	c |     20473 |   18020   119839   411762 | 2147483647    20094     58 |  0.337 % |
21.42/21.48	c |     20621 |   18020   119839   411762 | 2147483647    20242     58 |  0.337 % |
21.52/21.56	c |     20781 |   18020   119839   411762 | 2147483647    20401     59 |  0.343 % |
21.62/21.69	c |     20957 |   18019   119839   411762 | 2147483647    20577     58 |  0.343 % |
21.92/22.00	c |     21150 |   18019   119839   411762 | 2147483647    20770     59 |  0.343 % |
22.22/22.21	c |     21363 |   18017   119839   411762 | 2147483647    20981     59 |  0.354 % |
22.42/22.42	c |     21598 |   18017   119839   411762 | 2147483647    21216     58 |  0.354 % |
22.62/22.63	c |     21855 |   18017   119839   411762 | 2147483647    21472     59 |  0.359 % |
22.82/22.84	c |     22137 |   18016   119788   411587 | 2147483647    21735     58 |  0.359 % |
23.42/23.43	c |     22447 |   18016   119788   411587 | 2147483647    22045     59 |  0.359 % |
23.72/23.79	c |     22786 |   18016   119788   411587 | 2147483647    22384     60 |  0.359 % |
24.22/24.28	c |     23158 |   18016   119788   411587 | 2147483647    22756     59 |  0.359 % |
24.62/24.65	c |     23568 |   18016   119788   411587 | 2147483647    23166     59 |  0.359 % |
24.72/24.75	c |     23672 |   18016   119788   411587 | 2147483647    23270     59 |  0.359 % |
24.82/24.82	c |     23783 |   18015   119773   411533 | 2147483647    23369     59 |  0.365 % |
24.82/24.90	c |     23905 |   18015   119773   411533 | 2147483647    23491     58 |  0.365 % |
25.02/25.03	c |     24038 |   18015   119773   411533 | 2147483647    23624     58 |  0.365 % |
25.12/25.18	c |     24184 |   18015   119773   411533 | 2147483647    23770     58 |  0.365 % |
25.22/25.30	c |     24344 |   18015   119773   411533 | 2147483647    23930     58 |  0.365 % |
25.52/25.57	c |     24520 |   18015   119773   411533 | 2147483647    24106     58 |  0.365 % |
25.82/25.81	c |     24713 |   18015   119773   411533 | 2147483647    24299     59 |  0.365 % |
25.92/25.95	c |     24926 |   18011   119773   411533 | 2147483647    24508     59 |  0.387 % |
26.22/26.28	c |     25160 |   18011   119773   411533 | 2147483647    24742     60 |  0.387 % |
26.82/26.88	c |     25416 |   18010   119696   411269 | 2147483647    24959     60 |  0.393 % |
27.02/27.07	c |     25698 |   18010   119696   411269 | 2147483647    25241     60 |  0.393 % |
27.22/27.26	c |     26008 |   18010   119696   411269 | 2147483647    25551     59 |  0.393 % |
27.62/27.64	c |     26348 |   18007   119696   411269 | 2147483647    25887     59 |  0.415 % |
28.32/28.32	c |     26721 |   18007   119696   411269 | 2147483647    26260     59 |  0.415 % |
28.72/28.75	c |     27130 |   18007   119696   411269 | 2147483647    26669     59 |  0.415 % |
29.12/29.14	c |     27579 |   18006   119578   410926 | 2147483647    27111     59 |  0.415 % |
29.22/29.27	c |     27679 |   18006   119578   410926 | 2147483647    27211     59 |  0.415 % |
29.32/29.34	c |     27789 |   18006   119578   410926 | 2147483647    27321     59 |  0.415 % |
29.42/29.50	c |     27911 |   18006   119578   410926 | 2147483647    27443     59 |  0.415 % |
29.72/29.74	c |     28044 |   18006   119578   410926 | 2147483647    27576     59 |  0.415 % |
29.92/29.97	c |     28194 |   18006   119578   410926 | 2147483647    27726     60 |  0.415 % |
30.12/30.13	c |     28355 |   18006   119578   410926 | 2147483647    27886     59 |  0.420 % |
30.32/30.40	c |     28531 |   18006   119578   410926 | 2147483647    28062     59 |  0.420 % |
30.52/30.59	c |     28724 |   18002   119578   410926 | 2147483647    28252     59 |  0.448 % |
30.82/30.82	c |     28937 |   18002   119578   410926 | 2147483647    28465     59 |  0.448 % |
31.02/31.05	c |     29170 |   18000   119451   410489 | 2147483647    28636     59 |  0.454 % |
31.52/31.52	c |     29426 |   18000   119451   410489 | 2147483647    28892     60 |  0.454 % |
31.82/31.90	c |     29714 |   18000   119451   410489 | 2147483647    29180     60 |  0.454 % |
32.12/32.15	c |     30024 |   18000   119451   410489 | 2147483647    29490     60 |  0.454 % |
32.42/32.48	c |     30364 |   18000   119451   410489 | 2147483647    29830     60 |  0.454 % |
32.82/32.83	c |     30740 |   18000   119451   410489 | 2147483647    30206     60 |  0.454 % |
33.12/33.15	c |     31149 |   18000   119451   410489 | 2147483647    30615     60 |  0.454 % |
33.52/33.60	c |     31599 |   17999   119430   410409 | 2147483647    31058     59 |  0.454 % |
33.92/33.95	c |     32094 |   17999   119430   410409 | 2147483647    31553     60 |  0.454 % |
34.02/34.03	c |     32196 |   17999   119430   410409 | 2147483647    31655     60 |  0.454 % |
34.02/34.11	c |     32308 |   17999   119430   410409 | 2147483647    31767     59 |  0.454 % |
34.22/34.27	c |     32429 |   17999   119430   410409 | 2147483647    31888     59 |  0.454 % |
34.32/34.33	c |     32562 |   17998   119430   410409 | 2147483647    32020     59 |  0.459 % |
34.32/34.40	c |     32709 |   17997   119430   410409 | 2147483647    32166     59 |  0.465 % |
34.42/34.48	c |     32869 |   17987   119430   410409 | 2147483647    32313     59 |  0.536 % |
34.52/34.57	c |     33045 |   17987   119430   410409 | 2147483647    32488     59 |  0.542 % |
34.62/34.67	c |     33238 |   17986   119430   410409 | 2147483647    32679     58 |  0.553 % |
34.72/34.80	c |     33450 |   17986   119430   410409 | 2147483647    32890     58 |  0.559 % |
34.92/34.95	c |     33687 |   17980   119143   409402 | 2147483647    33029     58 |  0.564 % |
35.12/35.17	c |     33944 |   17978   119143   409402 | 2147483647    33285     57 |  0.570 % |
35.32/35.37	c |     34226 |   17978   119143   409402 | 2147483647    33567     57 |  0.570 % |
35.52/35.59	c |     34535 |   17968   119143   409402 | 2147483647    33866     57 |  0.625 % |
35.92/35.92	c |     34874 |   17966   119143   409402 | 2147483647    34203     57 |  0.636 % |
36.22/36.25	c |     35246 |   17966   119143   409402 | 2147483647    34575     58 |  0.636 % |
36.62/36.64	c |     35655 |   17966   119143   409402 | 2147483647    34984     57 |  0.636 % |
37.22/37.30	c |     36104 |   17966   119143   409402 | 2147483647    35433     58 |  0.636 % |
37.72/37.75	c |     36598 |   17966   118931   408653 | 2147483647    35848     58 |  0.636 % |
38.12/38.14	c |     37140 |   17956   118931   408653 | 2147483647    36380     57 |  0.691 % |
38.32/38.40	c |     37240 |   17956   118931   408653 | 2147483647    36480     57 |  0.691 % |
38.72/38.75	c |     37350 |   17956   118931   408653 | 2147483647    36590     57 |  0.691 % |
38.82/38.86	c |     37472 |   17956   118931   408653 | 2147483647    36712     57 |  0.691 % |
38.92/38.96	c |     37607 |   17956   118931   408653 | 2147483647    36846     58 |  0.697 % |
39.02/39.08	c |     37755 |   17953   118931   408653 | 2147483647    36992     57 |  0.708 % |
39.32/39.36	c |     37918 |   17953   118931   408653 | 2147483647    37155     58 |  0.708 % |
39.62/39.68	c |     38094 |   17953   118931   408653 | 2147483647    37331     58 |  0.708 % |
39.82/39.90	c |     38287 |   17953   118750   408022 | 2147483647    37457     59 |  0.708 % |
40.12/40.15	c |     38501 |   17953   118750   408022 | 2147483647    37671     58 |  0.708 % |
40.42/40.48	c |     38736 |   17952   118750   408022 | 2147483647    37905     58 |  0.713 % |
40.72/40.76	c |     38992 |   17952   118750   408022 | 2147483647    38161     59 |  0.713 % |
41.02/41.02	c |     39273 |   17947   118750   408022 | 2147483647    38437     58 |  0.741 % |
41.42/41.45	c |     39584 |   17947   118750   408022 | 2147483647    38748     59 |  0.741 % |
41.82/41.87	c |     39923 |   17947   118750   408022 | 2147483647    39086     59 |  0.747 % |
42.42/42.45	c |     40295 |   17947   118750   408022 | 2147483647    39458     59 |  0.747 % |
42.92/42.98	c |     40706 |   17946   118599   407494 | 2147483647    39833     59 |  0.752 % |
43.52/43.58	c |     41155 |   17945   118599   407494 | 2147483647    40281     59 |  0.758 % |
44.12/44.19	c |     41649 |   17945   118599   407494 | 2147483647    40775     60 |  0.758 % |
44.62/44.70	c |     42194 |   17944   118599   407494 | 2147483647    41319     59 |  0.763 % |
45.62/45.61	c |     42791 |   17942   118515   407234 | 2147483647    41899     59 |  0.769 % |
45.62/45.70	c |     42892 |   17939   118515   407234 | 2147483647    41997     59 |  0.785 % |
45.82/45.84	c |     43004 |   17939   118515   407234 | 2147483647    42109     59 |  0.785 % |
45.92/46.00	c |     43125 |   17938   118515   407234 | 2147483647    42229     59 |  0.791 % |
46.22/46.29	c |     43258 |   17938   118515   407234 | 2147483647    42362     60 |  0.791 % |
46.52/46.52	c |     43404 |   17938   118515   407234 | 2147483647    42508     60 |  0.791 % |
46.72/46.71	c |     43564 |   17938   118515   407234 | 2147483647    42668     60 |  0.791 % |
46.92/46.94	c |     43740 |   17938   118515   407234 | 2147483647    42844     60 |  0.791 % |
47.33/47.35	c |     43935 |   17938   118515   407234 | 2147483647    43039     61 |  0.791 % |
47.62/47.65	c |     44148 |   17938   118515   407234 | 2147483647    43252     61 |  0.791 % |
47.82/47.84	c |     44382 |   17938   118515   407234 | 2147483647    43486     61 |  0.791 % |
48.02/48.09	c |     44638 |   17938   118515   407234 | 2147483647    43742     61 |  0.791 % |
48.52/48.52	c |     44920 |   17938   118515   407234 | 2147483647    44024     61 |  0.791 % |
48.72/48.76	c |     45229 |   17938   118515   407234 | 2147483647    44333     61 |  0.791 % |
49.32/49.31	c |     45568 |   17934   118410   406869 | 2147483647    44651     61 |  0.813 % |
49.82/49.81	c |     45941 |   17934   118410   406869 | 2147483647    45024     61 |  0.813 % |
50.22/50.24	c |     46351 |   17929   118410   406869 | 2147483647    45428     61 |  0.846 % |
50.92/50.91	c |     46802 |   17929   118410   406869 | 2147483647    45879     61 |  0.846 % |
51.82/51.80	c |     47295 |   17929   118410   406869 | 2147483647    46371     61 |  0.852 % |
52.52/52.58	c |     47837 |   17927   118226   406252 | 2147483647    46851     62 |  0.852 % |
53.22/53.26	c |     48433 |   17925   118226   406252 | 2147483647    47445     61 |  0.863 % |
54.02/54.10	c |     49090 |   17925   118226   406252 | 2147483647    48102     62 |  0.863 % |
54.12/54.18	c |     49190 |   17925   118226   406252 | 2147483647    48202     62 |  0.863 % |
54.22/54.27	c |     49300 |   17925   118226   406252 | 2147483647    48312     62 |  0.863 % |
54.52/54.59	c |     49422 |   17925   118226   406252 | 2147483647    48434     62 |  0.863 % |
54.82/54.82	c |     49555 |   17925   118226   406252 | 2147483647    48566     62 |  0.868 % |
54.92/54.97	c |     49701 |   17925   118226   406252 | 2147483647    48710     63 |  0.879 % |
55.03/55.09	c |     49861 |   17925   118226   406252 | 2147483647    48870     63 |  0.879 % |
55.22/55.30	c |     50037 |   17925   118226   406252 | 2147483647    49046     63 |  0.879 % |
55.42/55.46	c |     50230 |   17925   118226   406252 | 2147483647    49239     63 |  0.879 % |
55.92/55.97	c |     50444 |   17925   118226   406252 | 2147483647    49453     63 |  0.879 % |
56.42/56.47	c |     50678 |   17922   118170   406059 | 2147483647    49675     63 |  0.879 % |
57.02/57.06	c |     50934 |   17922   118170   406059 | 2147483647    49931     63 |  0.879 % |
57.42/57.41	c |     51216 |   17921   118170   406059 | 2147483647    50212     63 |  0.885 % |
57.92/57.94	c |     51526 |   17921   118170   406059 | 2147483647    50522     63 |  0.885 % |
58.22/58.30	c |     51868 |   17921   118170   406059 | 2147483647    50864     64 |  0.885 % |
58.72/58.77	c |     52240 |   17921   118170   406059 | 2147483647    51236     63 |  0.885 % |
59.12/59.17	c |     52649 |   17914   118170   406059 | 2147483647    51639     64 |  0.924 % |
60.02/60.09	c |     53098 |   17914   118170   406059 | 2147483647    52088     64 |  0.924 % |
60.72/60.72	c |     53591 |   17911   118035   405566 | 2147483647    52499     64 |  0.940 % |
61.32/61.40	c |     54133 |   17910   118035   405566 | 2147483647    53040     64 |  0.946 % |
62.52/62.55	c |     54729 |   17909   118035   405566 | 2147483647    53635     64 |  0.951 % |
63.62/63.69	c |     55388 |   17908   118035   405566 | 2147483647    54293     64 |  0.962 % |
64.52/64.51	c |     56110 |   17908   118035   405566 | 2147483647    55015     64 |  0.962 % |
64.72/64.71	c |     56210 |   17907   117851   404893 | 2147483647    54328     64 |  0.962 % |
64.82/64.87	c |     56321 |   17907   117851   404893 | 2147483647    54439     64 |  0.962 % |
65.02/65.09	c |     56442 |   17907   117851   404893 | 2147483647    54560     64 |  0.962 % |
65.22/65.25	c |     56576 |   17907   117851   404893 | 2147483647    54694     64 |  0.962 % |
65.42/65.40	c |     56722 |   17907   117851   404893 | 2147483647    54840     64 |  0.962 % |
65.72/65.76	c |     56885 |   17907   117851   404893 | 2147483647    55003     65 |  0.962 % |
65.92/65.91	c |     57063 |   17907   117851   404893 | 2147483647    55180     65 |  0.968 % |
66.03/66.09	c |     57256 |   17906   117851   404893 | 2147483647    55373     64 |  0.968 % |
66.42/66.48	c |     57468 |   17906   117851   404893 | 2147483647    55585     64 |  0.968 % |
66.92/66.95	c |     57702 |   17906   117851   404893 | 2147483647    55819     64 |  0.968 % |
67.22/67.21	c |     57958 |   17906   117851   404893 | 2147483647    56075     65 |  0.968 % |
67.52/67.53	c |     58239 |   17905   117851   404893 | 2147483647    56355     65 |  0.973 % |
67.92/67.95	c |     58548 |   17905   117851   404893 | 2147483647    56664     65 |  0.973 % |
68.23/68.29	c |     58889 |   17905   117851   404893 | 2147483647    57005     65 |  0.973 % |
69.02/69.07	c |     59261 |   17905   117851   404893 | 2147483647    57377     65 |  0.973 % |
69.42/69.42	c |     59670 |   17905   117851   404893 | 2147483647    57786     65 |  0.973 % |
69.82/69.89	c |     60121 |   17905   117775   404628 | 2147483647    58234     64 |  0.973 % |
70.82/70.85	c |     60618 |   17905   117775   404628 | 2147483647    58731     65 |  0.973 % |
72.12/72.18	c |     61161 |   17905   117775   404628 | 2147483647    59274     65 |  0.973 % |
73.73/73.77	c |     61757 |   17905   117775   404628 | 2147483647    59870     65 |  0.973 % |
74.62/74.61	c |     62412 |   17905   117775   404628 | 2147483647    60524     65 |  0.979 % |
76.12/76.12	c |     63133 |   17903   117697   404354 | 2147483647    61237     65 |  0.984 % |
77.82/77.85	c |     63925 |   17903   117697   404354 | 2147483647    62029     66 |  0.984 % |
78.02/78.08	c |     64025 |   17903   117697   404354 | 2147483647    62129     66 |  0.985 % |
78.13/78.16	c |     64135 |   17903   117697   404354 | 2147483647    62239     66 |  0.984 % |
78.32/78.39	c |     64257 |   17903   117697   404354 | 2147483647    62361     66 |  0.984 % |
78.42/78.49	c |     64391 |   17903   117697   404354 | 2147483647    62495     66 |  0.984 % |
78.62/78.68	c |     64537 |   17903   117697   404354 | 2147483647    62641     65 |  0.984 % |
78.82/78.87	c |     64698 |   17903   117697   404354 | 2147483647    62802     66 |  0.984 % |
79.02/79.01	c |     64874 |   17902   117697   404354 | 2147483647    62977     66 |  0.990 % |
79.32/79.34	c |     65067 |   17902   117697   404354 | 2147483647    63170     66 |  0.990 % |
79.52/79.55	c |     65280 |   17902   117697   404354 | 2147483647    63383     66 |  0.990 % |
79.82/79.89	c |     65514 |   17902   117697   404354 | 2147483647    63617     66 |  0.990 % |
80.33/80.38	c |     65770 |   17902   117697   404354 | 2147483647    63873     66 |  0.990 % |
80.82/80.89	c |     66051 |   17902   117697   404354 | 2147483647    64154     65 |  0.990 % |
81.22/81.28	c |     66362 |   17902   117697   404354 | 2147483647    64465     65 |  0.990 % |
81.63/81.62	c |     66701 |   17901   117676   404274 | 2147483647    64782     65 |  0.996 % |
82.03/82.02	c |     67075 |   17901   117676   404274 | 2147483647    65156     65 |  0.996 % |
82.73/82.81	c |     67484 |   17901   117676   404274 | 2147483647    65565     65 |  0.996 % |
83.53/83.57	c |     67934 |   17901   117676   404274 | 2147483647    66015     65 |  0.996 % |
84.33/84.39	c |     68428 |   17901   117676   404274 | 2147483647    66509     65 |  0.996 % |
85.33/85.35	c |     68973 |   17901   117676   404274 | 2147483647    67054     65 |  0.996 % |
86.03/86.08	c |     69570 |   17901   117676   404274 | 2147483647    67651     65 |  0.996 % |
87.13/87.20	c |     70225 |   17901   117676   404274 | 2147483647    68306     64 |  0.996 % |
87.93/87.94	c |     70945 |   17901   117672   404263 | 2147483647    69026     64 |  0.996 % |
88.93/89.00	c |     71741 |   17899   117672   404263 | 2147483647    69820     64 |  1.007 % |
90.33/90.34	c |     72612 |   17899   117672   404263 | 2147483647    70691     64 |  1.007 % |
90.43/90.43	c |     72713 |   17899   117672   404263 | 2147483647    70792     64 |  1.007 % |
90.53/90.55	c |     72824 |   17899   117672   404263 | 2147483647    70903     64 |  1.007 % |
90.73/90.74	c |     72945 |   17899   117672   404263 | 2147483647    71024     64 |  1.007 % |
90.93/90.92	c |     73078 |   17899   117672   404263 | 2147483647    71157     64 |  1.007 % |
91.03/91.07	c |     73224 |   17899   117672   404263 | 2147483647    71303     64 |  1.007 % |
91.23/91.28	c |     73384 |   17899   117672   404263 | 2147483647    71463     64 |  1.007 % |
91.63/91.70	c |     73562 |   17899   117672   404263 | 2147483647    71641     64 |  1.007 % |
91.93/91.96	c |     73755 |   17899   117672   404263 | 2147483647    71834     64 |  1.007 % |
92.13/92.20	c |     73968 |   17898   117672   404263 | 2147483647    72046     64 |  1.012 % |
92.53/92.57	c |     74204 |   17898   117672   404263 | 2147483647    72282     64 |  1.012 % |
92.93/92.92	c |     74460 |   17898   117672   404263 | 2147483647    72538     64 |  1.012 % |
93.23/93.26	c |     74741 |   17898   117627   404103 | 2147483647    72803     64 |  1.012 % |
93.53/93.56	c |     75050 |   17898   117627   404103 | 2147483647    73112     64 |  1.012 % |
93.83/93.88	c |     75389 |   17898   117627   404103 | 2147483647    73451     64 |  1.012 % |
94.23/94.29	c |     75761 |   17898   117627   404103 | 2147483647    73823     64 |  1.012 % |
95.33/95.35	c |     76170 |   17898   117627   404103 | 2147483647    74232     64 |  1.012 % |
96.03/96.08	c |     76619 |   17898   117627   404103 | 2147483647    74681     64 |  1.012 % |
96.93/97.00	c |     77112 |   17898   117627   404103 | 2147483647    75174     64 |  1.012 % |
97.63/97.62	c |     77655 |   17898   117627   404103 | 2147483647    75717     64 |  1.012 % |
98.63/98.62	c |     78251 |   17897   117627   404103 | 2147483647    76312     64 |  1.018 % |
100.33/100.33	c |     78906 |   17897   117627   404103 | 2147483647    76967     64 |  1.018 % |
101.23/101.29	c |     79627 |   17896   117565   403887 | 2147483647    77687     64 |  1.023 % |
102.93/102.93	c |     80419 |   17896   117565   403887 | 2147483647    78479     64 |  1.023 % |
104.13/104.19	c |     81290 |   17896   117565   403887 | 2147483647    79349     63 |  1.029 % |
105.63/105.66	c |     82249 |   17896   117565   403887 | 2147483647    80308     63 |  1.029 % |
105.73/105.78	c |     82349 |   17896   117565   403887 | 2147483647    80408     63 |  1.029 % |
105.93/105.97	c |     82459 |   17896   117565   403887 | 2147483647    80518     63 |  1.029 % |
106.23/106.25	c |     82580 |   17896   117565   403887 | 2147483647    80639     63 |  1.029 % |
106.43/106.50	c |     82715 |   17896   117565   403887 | 2147483647    80774     63 |  1.029 % |
106.83/106.89	c |     82865 |   17895   117535   403781 | 2147483647    80909     63 |  1.029 % |
107.13/107.17	c |     83025 |   17895   117535   403781 | 2147483647    81069     63 |  1.029 % |
107.43/107.44	c |     83201 |   17895   117535   403781 | 2147483647    81245     63 |  1.029 % |
107.83/107.82	c |     83395 |   17895   117535   403781 | 2147483647    81439     63 |  1.029 % |
108.23/108.23	c |     83607 |   17895   117535   403781 | 2147483647    81651     63 |  1.029 % |
108.53/108.60	c |     83840 |   17895   117535   403781 | 2147483647    81884     64 |  1.029 % |
108.93/108.95	c |     84098 |   17895   117535   403781 | 2147483647    82142     63 |  1.029 % |
109.43/109.42	c |     84379 |   17895   117535   403781 | 2147483647    82423     64 |  1.029 % |
109.73/109.78	c |     84689 |   17895   117535   403781 | 2147483647    82733     64 |  1.029 % |
110.13/110.20	c |     85029 |   17895   117535   403781 | 2147483647    83073     64 |  1.029 % |
110.73/110.78	c |     85401 |   17895   117535   403781 | 2147483647    83445     64 |  1.029 % |
111.23/111.23	c |     85812 |   17895   117535   403781 | 2147483647    83856     64 |  1.029 % |
111.93/111.97	c |     86261 |   17895   117535   403781 | 2147483647    84305     64 |  1.029 % |
112.93/112.99	c |     86754 |   17895   117535   403781 | 2147483647    84798     64 |  1.029 % |
114.03/114.02	c |     87296 |   17895   117535   403781 | 2147483647    85339     64 |  1.034 % |
115.13/115.12	c |     87892 |   17893   117475   403606 | 2147483647    85927     64 |  1.040 % |
116.23/116.23	c |     88548 |   17893   117475   403606 | 2147483647    86583     64 |  1.040 % |
116.93/117.01	c |     89269 |   17893   117475   403606 | 2147483647    87304     64 |  1.040 % |
118.13/118.18	c |     90062 |   17893   117475   403606 | 2147483647    88097     64 |  1.040 % |
119.53/119.59	c |     90933 |   17893   117475   403606 | 2147483647    88968     64 |  1.040 % |
121.23/121.30	c |     91892 |   17893   117475   403606 | 2147483647    89927     64 |  1.040 % |
122.93/122.99	c |     92945 |   17892   117459   403550 | 2147483647    90973     64 |  1.045 % |
123.23/123.21	c |     93046 |   17892   117459   403550 | 2147483647    91074     64 |  1.045 % |
123.33/123.40	c |     93156 |   17892   117459   403550 | 2147483647    91184     64 |  1.045 % |
123.73/123.72	c |     93278 |   17892   117459   403550 | 2147483647    91306     64 |  1.045 % |
123.83/123.84	c |     93411 |   17892   117459   403550 | 2147483647    91439     64 |  1.045 % |
123.93/123.99	c |     93557 |   17892   117459   403550 | 2147483647    91585     64 |  1.045 % |
124.13/124.14	c |     93717 |   17892   117459   403550 | 2147483647    91745     63 |  1.045 % |
124.33/124.39	c |     93893 |   17892   117459   403550 | 2147483647    91921     63 |  1.045 % |
124.83/124.82	c |     94089 |   17892   117459   403550 | 2147483647    92116     63 |  1.051 % |
125.13/125.18	c |     94303 |   17892   117459   403550 | 2147483647    92330     64 |  1.051 % |
125.53/125.52	c |     94538 |   17892   117459   403550 | 2147483647    92565     63 |  1.051 % |
126.03/126.04	c |     94794 |   17892   117459   403550 | 2147483647    92820     64 |  1.056 % |
126.33/126.38	c |     95077 |   17892   117459   403550 | 2147483647    93103     64 |  1.056 % |
126.83/126.88	c |     95386 |   17892   117459   403550 | 2147483647    93412     64 |  1.056 % |
127.33/127.33	c |     95728 |   17892   117459   403550 | 2147483647    93754     64 |  1.056 % |
128.13/128.20	c |     96100 |   17892   117459   403550 | 2147483647    94126     64 |  1.056 % |
128.73/128.80	c |     96511 |   17891   117459   403550 | 2147483647    94536     64 |  1.062 % |
129.53/129.52	c |     96962 |   17891   117459   403550 | 2147483647    94987     65 |  1.062 % |
129.83/129.83	c |     97455 |   17891   117459   403550 | 2147483647    95480     64 |  1.062 % |
130.43/130.45	c |     97998 |   17891   117459   403550 | 2147483647    96023     64 |  1.062 % |
132.04/132.04	c |     98595 |   17891   117459   403550 | 2147483647    96620     64 |  1.062 % |
132.93/132.98	c |     99251 |   17885   117429   403442 | 2147483647    97235     64 |  1.090 % |
134.93/135.00	c |     99973 |   17885   117429   403442 | 2147483647    97957     64 |  1.090 % |
136.03/136.01	c |    100765 |   17884   117429   403442 | 2147483647    98748     64 |  1.095 % |
137.93/137.92	c |    101636 |   17884   117429   403442 | 2147483647    99619     64 |  1.095 % |
139.93/139.92	c |    102595 |   17884   117429   403442 | 2147483647   100578     65 |  1.095 % |
142.03/142.09	c |    103650 |   17884   117429   403442 | 2147483647   101633     64 |  1.095 % |
144.53/144.52	c |    104808 |   17883   117314   403067 | 2147483647   102764     64 |  1.095 % |
144.63/144.64	c |    104909 |   17883   117314   403067 | 2147483647   102865     64 |  1.095 % |
144.83/144.86	c |    105019 |   17883   117314   403067 | 2147483647   102974     64 |  1.101 % |
145.03/145.07	c |    105141 |   17882   117314   403067 | 2147483647   103096     64 |  1.101 % |
145.43/145.43	c |    105275 |   17882   117314   403067 | 2147483647   103230     64 |  1.101 % |
145.73/145.77	c |    105421 |   17882   117314   403067 | 2147483647   103376     64 |  1.101 % |
146.13/146.16	c |    105581 |   17882   117314   403067 | 2147483647   103536     64 |  1.101 % |
146.34/146.32	c |    105758 |   17882   117314   403067 | 2147483647   103713     64 |  1.101 % |
146.43/146.48	c |    105952 |   17881   117314   403067 | 2147483647   103906     64 |  1.106 % |
146.73/146.72	c |    106165 |   17881   117314   403067 | 2147483647   104119     64 |  1.106 % |
147.23/147.29	c |    106399 |   17881   117314   403067 | 2147483647   104353     64 |  1.106 % |
147.73/147.71	c |    106655 |   17881   117314   403067 | 2147483647   104609     65 |  1.106 % |
148.23/148.26	c |    106937 |   17881   117314   403067 | 2147483647   104891     64 |  1.106 % |
148.83/148.90	c |    107246 |   17881   117314   403067 | 2147483647   105200     65 |  1.106 % |
149.33/149.32	c |    107587 |   17881   117314   403067 | 2147483647   105541     65 |  1.106 % |
149.73/149.79	c |    107959 |   17878   117314   403067 | 2147483647   105910     64 |  1.123 % |
150.63/150.71	c |    108370 |   17878   117314   403067 | 2147483647   106321     65 |  1.123 % |
151.53/151.59	c |    108819 |   17878   117314   403067 | 2147483647   106770     65 |  1.123 % |
152.13/152.19	c |    109313 |   17877   117314   403067 | 2147483647   107262     65 |  1.134 % |
152.94/152.95	c |    109855 |   17871   117165   402541 | 2147483647   107749     65 |  1.161 % |
154.33/154.39	c |    110451 |   17871   117165   402541 | 2147483647   108345     65 |  1.161 % |
155.53/155.52	c |    111106 |   17871   117165   402541 | 2147483647   109000     65 |  1.161 % |
156.93/156.92	c |    111828 |   17871   117165   402541 | 2147483647   109722     65 |  1.161 % |
158.13/158.16	c |    112622 |   17871   117165   402541 | 2147483647   110516     64 |  1.161 % |
159.93/159.98	c |    113493 |   17871   117165   402541 | 2147483647   111387     65 |  1.161 % |
162.13/162.12	c |    114452 |   17871   117165   402541 | 2147483647   112346     65 |  1.161 % |
163.94/163.99	c |    115506 |   17871   117165   402541 | 2147483647   113399     65 |  1.167 % |
166.64/166.63	c |    116664 |   17870   117082   402254 | 2147483647   114526     65 |  1.167 % |
168.84/168.83	c |    117938 |   17860   117082   402254 | 2147483647   115790     64 |  1.222 % |
169.04/169.05	c |    118039 |   17860   117082   402254 | 2147483647   115891     64 |  1.222 % |
169.24/169.26	c |    118149 |   17860   117082   402254 | 2147483647   116001     64 |  1.222 % |
169.54/169.54	c |    118272 |   17860   117082   402254 | 2147483647   116124     64 |  1.222 % |
169.84/169.86	c |    118405 |   17860   117082   402254 | 2147483647   116257     64 |  1.222 % |
170.04/170.09	c |    118551 |   17860   117082   402254 | 2147483647   116403     64 |  1.222 % |
170.24/170.22	c |    118711 |   17860   117082   402254 | 2147483647   116563     64 |  1.222 % |
170.44/170.51	c |    118887 |   17860   117082   402254 | 2147483647   116739     64 |  1.222 % |
170.94/170.99	c |    119083 |   17860   117082   402254 | 2147483647   116934     65 |  1.228 % |
171.44/171.49	c |    119295 |   17860   117082   402254 | 2147483647   117146     65 |  1.228 % |
171.94/171.96	c |    119530 |   17860   117082   402254 | 2147483647   117381     65 |  1.228 % |
172.34/172.35	c |    119787 |   17860   117082   402254 | 2147483647   117638     65 |  1.228 % |
172.84/172.91	c |    120070 |   17860   117082   402254 | 2147483647   117921     65 |  1.228 % |
173.24/173.31	c |    120379 |   17860   117082   402254 | 2147483647   118230     65 |  1.228 % |
173.84/173.83	c |    120720 |   17860   117082   402254 | 2147483647   118571     65 |  1.228 % |
174.34/174.36	c |    121094 |   17860   117082   402254 | 2147483647   118945     65 |  1.228 % |
175.04/175.10	c |    121504 |   17859   117082   402254 | 2147483647   119354     65 |  1.233 % |
175.74/175.79	c |    121954 |   17858   117082   402254 | 2147483647   119802     65 |  1.244 % |
176.64/176.66	c |    122449 |   17856   116899   401607 | 2147483647   120208     65 |  1.244 % |
177.64/177.67	c |    122991 |   17856   116899   401607 | 2147483647   120750     65 |  1.244 % |
178.74/178.74	c |    123587 |   17855   116899   401607 | 2147483647   121345     65 |  1.250 % |
179.84/179.81	c |    124242 |   17855   116899   401607 | 2147483647   122000     65 |  1.250 % |
181.04/181.07	c |    124962 |   17855   116899   401607 | 2147483647   122720     65 |  1.250 % |
182.14/182.14	c |    125756 |   17852   116899   401607 | 2147483647   123511     64 |  1.267 % |
183.94/183.92	c |    126627 |   17849   116899   401607 | 2147483647   124379     64 |  1.283 % |
186.04/186.09	c |    127588 |   17849   116899   401607 | 2147483647   125339     65 |  1.289 % |
188.24/188.27	c |    128641 |   17849   116899   401607 | 2147483647   126392     65 |  1.289 % |
191.34/191.34	c |    129800 |   17848   116709   400954 | 2147483647   127523     65 |  1.289 % |
193.54/193.52	c |    131073 |   17848   116709   400954 | 2147483647   128796     65 |  1.289 % |
196.14/196.18	c |    132474 |   17835   116709   400954 | 2147483647   130184     65 |  1.361 % |
196.34/196.39	c |    132574 |   17835   116709   400954 | 2147483647   130284     65 |  1.361 % |
196.64/196.71	c |    132684 |   17835   116709   400954 | 2147483647   130394     65 |  1.361 % |
196.84/196.90	c |    132806 |   17835   116709   400954 | 2147483647   130516     65 |  1.361 % |
197.24/197.22	c |    132940 |   17835   116709   400954 | 2147483647   130650     65 |  1.361 % |
197.34/197.40	c |    133086 |   17833   116709   400954 | 2147483647   130794     65 |  1.372 % |
197.74/197.80	c |    133248 |   17833   116709   400954 | 2147483647   130956     65 |  1.372 % |
198.24/198.23	c |    133425 |   17833   116709   400954 | 2147483647   131133     65 |  1.372 % |
198.74/198.77	c |    133618 |   17833   116709   400954 | 2147483647   131326     65 |  1.372 % |
198.94/198.99	c |    133830 |   17833   116709   400954 | 2147483647   131538     65 |  1.372 % |
199.44/199.45	c |    134063 |   17833   116709   400954 | 2147483647   131771     65 |  1.372 % |
200.14/200.13	c |    134320 |   17833   116709   400954 | 2147483647   132028     65 |  1.372 % |
200.74/200.79	c |    134601 |   17833   116709   400954 | 2147483647   132309     65 |  1.372 % |
201.64/201.70	c |    134910 |   17833   116709   400954 | 2147483647   132618     65 |  1.372 % |
202.24/202.26	c |    135249 |   17833   116709   400954 | 2147483647   132957     65 |  1.372 % |
203.04/203.10	c |    135621 |   17828   116476   400124 | 2147483647   133234     65 |  1.399 % |
204.04/204.07	c |    136030 |   17828   116476   400124 | 2147483647   133643     65 |  1.399 % |
205.04/205.03	c |    136480 |   17828   116476   400124 | 2147483647   134093     65 |  1.399 % |
205.94/205.95	c |    136973 |   17828   116476   400124 | 2147483647   134586     65 |  1.399 % |
206.64/206.64	c |    137515 |   17828   116476   400124 | 2147483647   135128     65 |  1.399 % |
207.74/207.79	c |    138111 |   17827   116476   400124 | 2147483647   135722     65 |  1.410 % |
208.94/208.95	c |    138766 |   17827   116476   400124 | 2147483647   136377     65 |  1.410 % |
210.24/210.25	c |    139487 |   17827   116476   400124 | 2147483647   137098     65 |  1.410 % |
211.94/211.92	c |    140281 |   17815   116476   400124 | 2147483647   137880     65 |  1.477 % |
213.84/213.91	c |    141152 |   17815   116476   400124 | 2147483647   138751     65 |  1.477 % |
215.84/215.88	c |    142110 |   17815   116476   400124 | 2147483647   139709     65 |  1.477 % |
217.54/217.60	c |    143163 |   17815   116476   400124 | 2147483647   140762     65 |  1.477 % |
220.14/220.16	c |    144321 |   17814   116235   399296 | 2147483647   141831     65 |  1.477 % |
222.34/222.34	c |    145595 |   17814   116235   399296 | 2147483647   143105     65 |  1.477 % |
226.04/226.02	c |    146995 |   17814   116235   399296 | 2147483647   144505     65 |  1.477 % |
228.85/228.86	c |    148535 |   17814   116235   399296 | 2147483647   146045     65 |  1.477 % |
229.04/229.07	c |    148636 |   17814   116235   399296 | 2147483647   146146     65 |  1.477 % |
229.14/229.18	c |    148747 |   17812   116235   399296 | 2147483647   146254     65 |  1.493 % |
229.24/229.28	c |    148868 |   17811   116235   399296 | 2147483647   146375     65 |  1.493 % |
229.64/229.66	c |    149003 |   17811   116235   399296 | 2147483647   146510     65 |  1.493 % |
229.95/229.93	c |    149149 |   17811   116235   399296 | 2147483647   146656     65 |  1.493 % |
230.14/230.18	c |    149309 |   17811   116235   399296 | 2147483647   146816     65 |  1.493 % |
230.74/230.80	c |    149485 |   17811   116235   399296 | 2147483647   146992     65 |  1.493 % |
231.05/231.06	c |    149678 |   17811   116235   399296 | 2147483647   147184     65 |  1.499 % |
231.54/231.59	c |    149891 |   17811   116235   399296 | 2147483647   147397     65 |  1.499 % |
232.34/232.34	c |    150126 |   17811   116235   399296 | 2147483647   147632     65 |  1.499 % |
233.04/233.02	c |    150383 |   17811   116235   399296 | 2147483647   147889     65 |  1.499 % |
233.84/233.88	c |    150665 |   17810   116170   399053 | 2147483647   148133     65 |  1.499 % |
234.44/234.46	c |    150975 |   17810   116170   399053 | 2147483647   148443     65 |  1.499 % |
235.04/235.05	c |    151314 |   17810   116170   399053 | 2147483647   148782     65 |  1.499 % |
235.84/235.81	c |    151686 |   17810   116170   399053 | 2147483647   149154     65 |  1.499 % |
236.44/236.44	c |    152098 |   17809   116170   399053 | 2147483647   149565     65 |  1.504 % |
236.84/236.85	c |    152547 |   17809   116170   399053 | 2147483647   150014     65 |  1.504 % |
237.94/237.91	c |    153040 |   17809   116170   399053 | 2147483647   150507     65 |  1.504 % |
239.44/239.42	c |    153584 |   17809   116170   399053 | 2147483647   151050     65 |  1.510 % |
240.64/240.63	c |    154183 |   17809   116170   399053 | 2147483647   151649     65 |  1.510 % |
242.64/242.70	c |    154840 |   17809   116170   399053 | 2147483647   152306     65 |  1.510 % |
244.25/244.23	c |    155560 |   17809   116170   399053 | 2147483647   153026     64 |  1.510 % |
246.15/246.18	c |    156352 |   17809   116170   399053 | 2147483647   153818     65 |  1.510 % |
248.35/248.39	c |    157225 |   17809   116170   399053 | 2147483647   154691     65 |  1.510 % |
250.45/250.46	c |    158183 |   17809   116170   399053 | 2147483647   155649     65 |  1.510 % |
252.65/252.69	c |    159238 |   17809   116170   399053 | 2147483647   156704     65 |  1.510 % |
255.15/255.17	c |    160397 |   17808   116146   398965 | 2147483647   157832     65 |  1.510 % |
258.45/258.44	c |    161670 |   17808   116146   398965 | 2147483647   159105     65 |  1.510 % |
261.25/261.29	c |    163070 |   17808   116146   398965 | 2147483647   160505     65 |  1.510 % |
264.65/264.68	c |    164612 |   17808   116146   398965 | 2147483647   162046     64 |  1.515 % |
269.45/269.45	c |    166306 |   17807   116146   398965 | 2147483647   163738     64 |  1.526 % |
269.85/269.88	c |    166407 |   17807   116146   398965 | 2147483647   163839     64 |  1.526 % |
270.15/270.20	c |    166517 |   17807   116146   398965 | 2147483647   163949     64 |  1.526 % |
270.85/270.82	c |    166639 |   17807   116146   398965 | 2147483647   164071     64 |  1.526 % |
271.35/271.40	c |    166775 |   17807   116146   398965 | 2147483647   164207     64 |  1.526 % |
271.65/271.63	c |    166921 |   17805   116112   398845 | 2147483647   164321     64 |  1.526 % |
271.95/271.98	c |    167082 |   17805   116112   398845 | 2147483647   164482     64 |  1.527 % |
272.65/272.62	c |    167259 |   17805   116112   398845 | 2147483647   164659     64 |  1.526 % |
273.05/273.05	c |    167453 |   17805   116112   398845 | 2147483647   164853     64 |  1.526 % |
273.65/273.66	c |    167666 |   17805   116112   398845 | 2147483647   165066     64 |  1.526 % |
274.05/274.06	c |    167900 |   17805   116112   398845 | 2147483647   165300     64 |  1.526 % |
274.45/274.50	c |    168161 |   17805   116112   398845 | 2147483647   165561     64 |  1.526 % |
275.25/275.30	c |    168442 |   17805   116112   398845 | 2147483647   165842     64 |  1.526 % |
276.15/276.18	c |    168751 |   17805   116112   398845 | 2147483647   166151     65 |  1.526 % |
276.95/277.00	c |    169091 |   17805   116112   398845 | 2147483647   166491     65 |  1.526 % |
278.05/278.09	c |    169463 |   17805   116112   398845 | 2147483647   166863     64 |  1.526 % |
279.15/279.20	c |    169873 |   17805   116112   398845 | 2147483647   167273     64 |  1.526 % |
279.95/279.95	c |    170324 |   17805   116112   398845 | 2147483647   167724     64 |  1.526 % |
280.95/280.96	c |    170817 |   17805   116112   398845 | 2147483647   168217     64 |  1.526 % |
282.55/282.51	c |    171359 |   17805   116112   398845 | 2147483647   168759     64 |  1.526 % |
284.45/284.44	c |    171956 |   17803   116112   398845 | 2147483647   169353     64 |  1.543 % |
286.05/286.02	c |    172612 |   17803   116112   398845 | 2147483647   170009     64 |  1.543 % |
287.75/287.81	c |    173333 |   17803   116112   398845 | 2147483647   170730     65 |  1.543 % |
289.35/289.35	c |    174125 |   17803   116112   398845 | 2147483647   171522     64 |  1.543 % |
291.35/291.36	c |    175003 |   17803   116112   398845 | 2147483647   172400     64 |  1.543 % |
293.45/293.45	c |    175965 |   17802   116066   398673 | 2147483647   173329     64 |  1.543 % |
296.35/296.39	c |    177019 |   17802   116066   398673 | 2147483647   174383     64 |  1.543 % |
298.95/299.00	c |    178178 |   17801   116066   398673 | 2147483647   175541     64 |  1.549 % |
302.35/302.40	c |    179451 |   17801   116066   398673 | 2147483647   176814     65 |  1.549 % |
305.35/305.33	c |    180851 |   17797   116066   398673 | 2147483647   178209     64 |  1.576 % |
308.85/308.87	c |    182392 |   17797   116066   398673 | 2147483647   179750     64 |  1.576 % |
314.15/314.11	c |    184087 |   17797   116066   398673 | 2147483647   181445     64 |  1.576 % |
318.75/318.75	c |    185951 |   17796   115989   398404 | 2147483647   183164     64 |  1.576 % |
319.15/319.13	c |    186054 |   17796   115989   398404 | 2147483647   183267     64 |  1.576 % |
319.35/319.36	c |    186166 |   17796   115989   398404 | 2147483647   183379     64 |  1.576 % |
319.65/319.69	c |    186289 |   17796   115989   398404 | 2147483647   183502     64 |  1.576 % |
319.85/319.83	c |    186422 |   17796   115989   398404 | 2147483647   183635     64 |  1.576 % |
320.25/320.22	c |    186568 |   17796   115989   398404 | 2147483647   183781     64 |  1.576 % |
320.85/320.90	c |    186729 |   17796   115989   398404 | 2147483647   183942     64 |  1.576 % |
321.26/321.29	c |    186905 |   17796   115989   398404 | 2147483647   184118     64 |  1.576 % |
322.05/322.09	c |    187100 |   17796   115989   398404 | 2147483647   184313     64 |  1.576 % |
322.65/322.66	c |    187313 |   17796   115989   398404 | 2147483647   184526     64 |  1.576 % |
323.25/323.24	c |    187546 |   17796   115989   398404 | 2147483647   184759     64 |  1.576 % |
323.95/323.95	c |    187803 |   17796   115989   398404 | 2147483647   185015     64 |  1.582 % |
324.85/324.89	c |    188087 |   17796   115989   398404 | 2147483647   185299     64 |  1.582 % |
325.95/325.95	c |    188398 |   17796   115989   398404 | 2147483647   185610     64 |  1.582 % |
326.95/327.00	c |    188737 |   17796   115989   398404 | 2147483647   185949     65 |  1.582 % |
328.06/328.02	c |    189109 |   17796   115989   398404 | 2147483647   186321     65 |  1.582 % |
329.06/329.04	c |    189518 |   17795   115989   398404 | 2147483647   186729     64 |  1.587 % |
329.86/329.85	c |    189967 |   17794   115989   398404 | 2147483647   187176     64 |  1.598 % |
331.36/331.32	c |    190460 |   17794   115989   398404 | 2147483647   187669     64 |  1.598 % |
332.86/332.91	c |    191003 |   17794   115989   398404 | 2147483647   188212     64 |  1.598 % |
334.36/334.41	c |    191601 |   17794   115989   398404 | 2147483647   188810     64 |  1.598 % |
336.35/336.40	c |    192258 |   17794   115989   398404 | 2147483647   189467     65 |  1.598 % |
338.35/338.35	c |    192978 |   17794   115989   398404 | 2147483647   190187     65 |  1.598 % |
339.85/339.82	c |    193770 |   17794   115989   398404 | 2147483647   190979     65 |  1.598 % |
342.25/342.25	c |    194643 |   17791   115884   398043 | 2147483647   191830     65 |  1.604 % |
345.85/345.85	c |    195603 |   17791   115884   398043 | 2147483647   192789     65 |  1.609 % |
349.25/349.27	c |    196658 |   17791   115884   398043 | 2147483647   193843     65 |  1.615 % |
351.55/351.57	c |    197816 |   17791   115884   398043 | 2147483647   195001     65 |  1.615 % |
354.45/354.47	c |    199090 |   17789   115884   398043 | 2147483647   196273     64 |  1.626 % |
358.15/358.20	c |    200493 |   17789   115884   398043 | 2147483647   197676     64 |  1.626 % |
362.85/362.83	c |    202034 |   17789   115884   398043 | 2147483647   199216     64 |  1.632 % |
367.05/367.01	c |    203729 |   17789   115884   398043 | 2147483647   200911     64 |  1.632 % |
373.95/373.91	c |    205598 |   17786   115762   397642 | 2147483647   202707     64 |  1.632 % |
379.56/379.59	c |    207649 |   17785   115762   397642 | 2147483647   204757     64 |  1.637 % |
379.95/379.97	c |    207751 |   17785   115762   397642 | 2147483647   204859     64 |  1.637 % |
380.45/380.46	c |    207862 |   17785   115762   397642 | 2147483647   204970     64 |  1.637 % |
380.95/380.98	c |    207983 |   17785   115762   397642 | 2147483647   205091     64 |  1.637 % |
381.35/381.35	c |    208117 |   17785   115762   397642 | 2147483647   205225     64 |  1.637 % |
381.76/381.72	c |    208264 |   17785   115762   397642 | 2147483647   205372     64 |  1.637 % |
382.15/382.12	c |    208424 |   17785   115762   397642 | 2147483647   205532     64 |  1.637 % |
382.55/382.60	c |    208601 |   17785   115762   397642 | 2147483647   205709     64 |  1.637 % |
383.05/383.10	c |    208795 |   17785   115762   397642 | 2147483647   205903     64 |  1.637 % |
383.75/383.76	c |    209007 |   17785   115762   397642 | 2147483647   206115     64 |  1.637 % |
384.45/384.48	c |    209240 |   17785   115762   397642 | 2147483647   206348     64 |  1.637 % |
385.55/385.58	c |    209500 |   17785   115762   397642 | 2147483647   206608     64 |  1.637 % |
386.45/386.42	c |    209783 |   17785   115762   397642 | 2147483647   206891     64 |  1.637 % |
387.45/387.48	c |    210092 |   17785   115762   397642 | 2147483647   207200     64 |  1.637 % |
388.55/388.55	c |    210431 |   17785   115762   397642 | 2147483647   207539     64 |  1.637 % |
389.65/389.66	c |    210803 |   17785   115762   397642 | 2147483647   207911     64 |  1.637 % |
390.65/390.62	c |    211213 |   17785   115762   397642 | 2147483647   208321     64 |  1.637 % |
391.95/391.94	c |    211662 |   17785   115762   397642 | 2147483647   208770     64 |  1.637 % |
393.75/393.78	c |    212157 |   17785   115762   397642 | 2147483647   209265     64 |  1.637 % |
395.05/395.04	c |    212699 |   17785   115737   397545 | 2147483647   209774     64 |  1.637 % |
396.65/396.60	c |    213296 |   17785   115737   397545 | 2147483647   210370     64 |  1.643 % |
398.55/398.56	c |    213951 |   17785   115737   397545 | 2147483647   211025     64 |  1.643 % |
400.85/400.87	c |    214672 |   17785   115737   397545 | 2147483647   211746     64 |  1.643 % |
402.75/402.80	c |    215464 |   17785   115737   397545 | 2147483647   212538     64 |  1.643 % |
405.35/405.37	c |    216337 |   17785   115737   397545 | 2147483647   213411     64 |  1.643 % |
408.45/408.49	c |    217296 |   17785   115737   397545 | 2147483647   214370     64 |  1.643 % |
411.36/411.36	c |    218349 |   17785   115737   397545 | 2147483647   215423     64 |  1.643 % |
415.56/415.51	c |    219507 |   17785   115737   397545 | 2147483647   216581     64 |  1.643 % |
419.56/419.53	c |    220780 |   17784   115737   397545 | 2147483647   217853     64 |  1.648 % |
424.76/424.73	c |    222181 |   17784   115737   397545 | 2147483647   219254     64 |  1.648 % |
429.86/429.86	c |    223721 |   17783   115702   397411 | 2147483647   220762     65 |  1.648 % |
434.76/434.77	c |    225415 |   17782   115702   397411 | 2147483647   222455     64 |  1.654 % |
440.96/440.99	c |    227278 |   17782   115702   397411 | 2147483647   224318     65 |  1.654 % |
447.56/447.60	c |    229328 |   17782   115702   397411 | 2147483647   226368     65 |  1.654 % |
453.36/453.35	c |    231582 |   17782   115702   397411 | 2147483647   228622     65 |  1.654 % |
453.76/453.73	c |    231684 |   17782   115702   397411 | 2147483647   228724     65 |  1.654 % |
454.06/454.06	c |    231794 |   17782   115702   397411 | 2147483647   228834     65 |  1.654 % |
454.56/454.53	c |    231916 |   17782   115686   397349 | 2147483647   228943     65 |  1.654 % |
454.76/454.80	c |    232051 |   17782   115686   397349 | 2147483647   229078     65 |  1.654 % |
455.46/455.42	c |    232198 |   17782   115686   397349 | 2147483647   229225     65 |  1.654 % |
455.76/455.74	c |    232359 |   17782   115686   397349 | 2147483647   229386     65 |  1.654 % |
456.36/456.40	c |    232535 |   17782   115686   397349 | 2147483647   229562     65 |  1.654 % |
457.06/457.07	c |    232729 |   17781   115686   397349 | 2147483647   229755     65 |  1.659 % |
457.86/457.82	c |    232942 |   17781   115686   397349 | 2147483647   229968     65 |  1.659 % |
458.66/458.63	c |    233176 |   17781   115686   397349 | 2147483647   230202     65 |  1.659 % |
459.36/459.39	c |    233432 |   17781   115686   397349 | 2147483647   230458     65 |  1.659 % |
460.16/460.15	c |    233713 |   17781   115686   397349 | 2147483647   230739     65 |  1.659 % |
461.16/461.18	c |    234027 |   17781   115686   397349 | 2147483647   231053     65 |  1.659 % |
462.07/462.03	c |    234368 |   17779   115686   397349 | 2147483647   231392     65 |  1.670 % |
463.56/463.51	c |    234740 |   17779   115686   397349 | 2147483647   231764     65 |  1.670 % |
465.37/465.32	c |    235149 |   17779   115686   397349 | 2147483647   232173     65 |  1.670 % |
467.16/467.13	c |    235599 |   17779   115686   397349 | 2147483647   232623     65 |  1.670 % |
468.86/468.87	c |    236094 |   17779   115686   397349 | 2147483647   233117     65 |  1.676 % |
469.66/469.65	c |    236637 |   17779   115686   397349 | 2147483647   233660     65 |  1.676 % |
471.66/471.62	c |    237234 |   17779   115686   397349 | 2147483647   234257     65 |  1.676 % |
473.66/473.65	c |    237890 |   17779   115686   397349 | 2147483647   234913     65 |  1.676 % |
476.56/476.56	c |    238610 |   17779   115686   397349 | 2147483647   235633     65 |  1.676 % |
479.56/479.51	c |    239402 |   17779   115686   397349 | 2147483647   236424     65 |  1.681 % |
482.46/482.49	c |    240274 |   17778   115686   397349 | 2147483647   237295     65 |  1.687 % |
486.27/486.23	c |    241232 |   17778   115686   397349 | 2147483647   238253     65 |  1.687 % |
489.66/489.60	c |    242286 |   17778   115686   397349 | 2147483647   239306     65 |  1.692 % |
493.87/493.88	c |    243445 |   17778   115686   397349 | 2147483647   240465     65 |  1.692 % |
498.57/498.56	c |    244718 |   17775   115560   396877 | 2147483647   241672     65 |  1.692 % |
503.47/503.42	c |    246118 |   17775   115560   396877 | 2147483647   243072     66 |  1.692 % |
508.97/509.01	c |    247658 |   17775   115560   396877 | 2147483647   244612     66 |  1.692 % |
515.97/515.99	c |    249352 |   17775   115560   396877 | 2147483647   246305     66 |  1.703 % |
523.07/523.05	c |    251215 |   17775   115560   396877 | 2147483647   248167     66 |  1.709 % |
529.37/529.40	c |    253266 |   17775   115560   396877 | 2147483647   250218     66 |  1.709 % |
538.87/538.87	c |    255520 |   17772   115522   396739 | 2147483647   252447     66 |  1.709 % |
548.37/548.31	c |    257998 |   17772   115522   396739 | 2147483647   254925     66 |  1.709 % |
548.67/548.66	c |    258098 |   17772   115522   396739 | 2147483647   255025     66 |  1.709 % |
549.07/549.08	c |    258209 |   17772   115522   396739 | 2147483647   255136     66 |  1.709 % |
549.67/549.63	c |    258330 |   17772   115522   396739 | 2147483647   255257     66 |  1.709 % |
550.27/550.27	c |    258465 |   17772   115522   396739 | 2147483647   255392     66 |  1.709 % |
550.87/550.85	c |    258612 |   17772   115522   396739 | 2147483647   255539     66 |  1.709 % |
551.57/551.60	c |    258772 |   17772   115522   396739 | 2147483647   255699     66 |  1.709 % |
552.57/552.54	c |    258949 |   17772   115522   396739 | 2147483647   255876     66 |  1.709 % |
553.38/553.37	c |    259142 |   17772   115522   396739 | 2147483647   256069     66 |  1.709 % |
554.07/554.02	c |    259354 |   17772   115522   396739 | 2147483647   256281     66 |  1.709 % |
555.07/555.02	c |    259589 |   17772   115522   396739 | 2147483647   256515     66 |  1.715 % |
556.27/556.21	c |    259847 |   17772   115522   396739 | 2147483647   256773     66 |  1.715 % |
557.27/557.28	c |    260128 |   17772   115522   396739 | 2147483647   257054     66 |  1.715 % |
558.17/558.16	c |    260438 |   17772   115522   396739 | 2147483647   257364     66 |  1.715 % |
559.67/559.65	c |    260779 |   17772   115522   396739 | 2147483647   257705     66 |  1.715 % |
561.47/561.40	c |    261152 |   17772   115522   396739 | 2147483647   258078     66 |  1.715 % |
563.47/563.47	c |    261561 |   17772   115522   396739 | 2147483647   258487     66 |  1.715 % |
564.87/564.88	c |    262010 |   17772   115522   396739 | 2147483647   258936     66 |  1.715 % |
566.67/566.66	c |    262503 |   17770   115518   396728 | 2147483647   259428     66 |  1.720 % |
568.27/568.26	c |    263046 |   17769   115518   396728 | 2147483647   259970     66 |  1.726 % |
570.17/570.16	c |    263642 |   17766   115518   396728 | 2147483647   260561     66 |  1.753 % |
572.08/572.05	c |    264300 |   17764   115518   396728 | 2147483647   261218     66 |  1.764 % |
574.98/574.98	c |    265021 |   17764   115518   396728 | 2147483647   261939     66 |  1.764 % |
577.88/577.91	c |    265813 |   17764   115518   396728 | 2147483647   262731     66 |  1.764 % |
580.58/580.59	c |    266688 |   17764   115518   396728 | 2147483647   263605     66 |  1.770 % |
584.68/584.62	c |    267647 |   17764   115518   396728 | 2147483647   264564     66 |  1.770 % |
588.38/588.35	c |    268700 |   17764   115518   396728 | 2147483647   265617     66 |  1.770 % |
591.58/591.54	c |    269858 |   17763   115518   396728 | 2147483647   266774     66 |  1.775 % |
596.58/596.56	c |    271132 |   17763   115518   396728 | 2147483647   268048     66 |  1.775 % |
601.58/601.54	c |    272532 |   17763   115518   396728 | 2147483647   269448     66 |  1.775 % |
606.88/606.82	c |    274072 |   17763   115518   396728 | 2147483647   270988     66 |  1.775 % |
613.18/613.16	c |    275767 |   17752   115327   395992 | 2147483647   272481     66 |  1.842 % |
619.98/619.95	c |    277631 |   17752   115327   395992 | 2147483647   274344     66 |  1.847 % |
628.38/628.35	c |    279680 |   17752   115327   395992 | 2147483647   276393     66 |  1.847 % |
636.78/636.79	c |    281934 |   17751   115327   395992 | 2147483647   278645     66 |  1.864 % |
644.58/644.51	c |    284412 |   17751   115327   395992 | 2147483647   281123     66 |  1.864 % |
656.39/656.36	c |    287138 |   17751   115327   395992 | 2147483647   283849     66 |  1.864 % |
657.09/657.06	c |    287239 |   17744   115058   394977 | 2147483647   283712     66 |  1.864 % |
657.49/657.51	c |    287349 |   17744   115058   394977 | 2147483647   283822     66 |  1.864 % |
658.09/658.04	c |    287474 |   17744   115058   394977 | 2147483647   283947     66 |  1.864 % |
658.79/658.72	c |    287607 |   17744   115058   394977 | 2147483647   284080     66 |  1.864 % |
659.29/659.29	c |    287754 |   17744   115058   394977 | 2147483647   284227     66 |  1.864 % |
659.99/660.00	c |    287914 |   17744   115058   394977 | 2147483647   284387     66 |  1.864 % |
660.79/660.76	c |    288090 |   17744   115058   394977 | 2147483647   284563     66 |  1.864 % |
661.59/661.53	c |    288283 |   17744   115058   394977 | 2147483647   284756     66 |  1.864 % |
662.49/662.48	c |    288496 |   17744   115058   394977 | 2147483647   284969     66 |  1.864 % |
663.49/663.44	c |    288729 |   17744   115058   394977 | 2147483647   285202     66 |  1.864 % |
664.49/664.42	c |    288985 |   17744   115058   394977 | 2147483647   285458     66 |  1.864 % |
665.49/665.46	c |    289267 |   17744   115058   394977 | 2147483647   285740     66 |  1.864 % |
666.69/666.69	c |    289577 |   17744   115058   394977 | 2147483647   286049     66 |  1.869 % |
667.89/667.89	c |    289916 |   17744   115058   394977 | 2147483647   286386     66 |  1.897 % |
669.49/669.49	c |    290291 |   17744   115058   394977 | 2147483647   286759     66 |  1.914 % |
671.19/671.21	c |    290701 |   17744   115058   394977 | 2147483647   287169     66 |  1.914 % |
672.99/672.92	c |    291152 |   17744   115058   394977 | 2147483647   287620     66 |  1.914 % |
674.79/674.80	c |    291647 |   17744   115058   394977 | 2147483647   288115     66 |  1.914 % |
676.59/676.55	c |    292191 |   17744   115058   394977 | 2147483647   288659     66 |  1.914 % |
678.89/678.82	c |    292787 |   17744   115058   394977 | 2147483647   289255     66 |  1.914 % |
681.49/681.48	c |    293442 |   17744   115058   394977 | 2147483647   289910     66 |  1.914 % |
683.99/684.01	c |    294162 |   17744   115058   394977 | 2147483647   290630     66 |  1.914 % |
686.69/686.62	c |    294954 |   17744   115058   394977 | 2147483647   291422     66 |  1.914 % |
690.79/690.80	c |    295826 |   17744   115058   394977 | 2147483647   292294     66 |  1.914 % |
694.68/694.65	c |    296785 |   17744   115058   394977 | 2147483647   293253     66 |  1.914 % |
698.98/698.95	c |    297840 |   17744   115058   394977 | 2147483647   294308     66 |  1.914 % |
703.88/703.80	c |    298998 |   17744   115058   394977 | 2147483647   295466     66 |  1.914 % |
708.49/708.50	c |    300273 |   17734   114905   394388 | 2147483647   296655     66 |  1.925 % |
712.58/712.58	c |    301673 |   17734   114905   394388 | 2147483647   298055     66 |  1.925 % |
719.08/719.08	c |    303215 |   17732   114905   394388 | 2147483647   299594     66 |  1.941 % |
725.68/725.62	c |    304910 |   17732   114905   394388 | 2147483647   301289     66 |  1.941 % |
734.08/734.06	c |    306774 |   17732   114905   394388 | 2147483647   303153     66 |  1.941 % |
743.29/743.27	c |    308823 |   17732   114905   394388 | 2147483647   305202     66 |  1.941 % |
753.89/753.84	c |    311076 |   17732   114905   394388 | 2147483647   307455     66 |  1.941 % |
765.19/765.20	c |    313554 |   17729   114830   394112 | 2147483647   309888     66 |  1.947 % |
775.90/775.84	c |    316279 |   17729   114830   394112 | 2147483647   312611     66 |  1.958 % |
788.30/788.24	c |    319277 |   17729   114830   394112 | 2147483647   315608     66 |  1.963 % |
788.81/788.76	c |    319379 |   17729   114830   394112 | 2147483647   315710     66 |  1.963 % |
789.40/789.39	c |    319490 |   17729   114830   394112 | 2147483647   315821     66 |  1.963 % |
789.91/789.87	c |    319611 |   17729   114830   394112 | 2147483647   315942     66 |  1.963 % |
790.40/790.31	c |    319745 |   17729   114830   394112 | 2147483647   316076     66 |  1.963 % |
790.90/790.91	c |    319892 |   17728   114830   394112 | 2147483647   316222     66 |  1.969 % |
791.70/791.70	c |    320053 |   17728   114830   394112 | 2147483647   316383     66 |  1.969 % |
792.40/792.41	c |    320230 |   17728   114830   394112 | 2147483647   316560     66 |  1.969 % |
793.40/793.41	c |    320423 |   17728   114830   394112 | 2147483647   316752     66 |  1.974 % |
794.40/794.33	c |    320635 |   17728   114830   394112 | 2147483647   316964     66 |  1.974 % |
795.70/795.64	c |    320868 |   17728   114830   394112 | 2147483647   317197     66 |  1.974 % |
797.00/796.95	c |    321124 |   17728   114830   394112 | 2147483647   317453     66 |  1.974 % |
798.40/798.38	c |    321407 |   17728   114830   394112 | 2147483647   317736     66 |  1.974 % |
799.90/799.87	c |    321717 |   17728   114830   394112 | 2147483647   318046     66 |  1.974 % |
801.30/801.30	c |    322056 |   17728   114830   394112 | 2147483647   318384     66 |  1.980 % |
803.50/803.43	c |    322430 |   17728   114830   394112 | 2147483647   318758     66 |  1.980 % |
805.20/805.16	c |    322839 |   17728   114830   394112 | 2147483647   319167     66 |  1.980 % |
806.80/806.81	c |    323291 |   17728   114830   394112 | 2147483647   319619     66 |  1.980 % |
808.80/808.73	c |    323787 |   17728   114830   394112 | 2147483647   320115     66 |  1.980 % |
810.90/810.89	c |    324329 |   17728   114830   394112 | 2147483647   320657     66 |  1.980 % |
812.90/812.91	c |    324925 |   17728   114830   394112 | 2147483647   321252     66 |  1.986 % |
816.20/816.21	c |    325585 |   17728   114830   394112 | 2147483647   321912     66 |  1.986 % |
819.20/819.13	c |    326305 |   17722   114772   393911 | 2147483647   322614     66 |  1.986 % |
822.91/822.84	c |    327097 |   17722   114772   393911 | 2147483647   323406     66 |  1.986 % |
826.51/826.43	c |    327971 |   17722   114772   393911 | 2147483647   324280     66 |  1.986 % |
830.91/830.90	c |    328929 |   17722   114772   393911 | 2147483647   325238     66 |  1.986 % |
836.21/836.14	c |    329982 |   17720   114772   393911 | 2147483647   326289     66 |  1.997 % |
841.41/841.33	c |    331142 |   17719   114772   393911 | 2147483647   327447     66 |  2.008 % |
846.71/846.66	c |    332415 |   17719   114772   393911 | 2147483647   328720     67 |  2.008 % |
853.01/852.92	c |    333815 |   17719   114772   393911 | 2147483647   330120     66 |  2.008 % |
859.51/859.50	c |    335355 |   17719   114772   393911 | 2147483647   331660     67 |  2.008 % |
867.01/867.01	c |    337050 |   17719   114772   393911 | 2147483647   333354     67 |  2.013 % |
876.51/876.47	c |    338914 |   17719   114772   393911 | 2147483647   335218     67 |  2.013 % |
886.81/886.72	c |    340967 |   17716   114668   393561 | 2147483647   337207     67 |  2.019 % |
896.71/896.63	c |    343220 |   17716   114668   393561 | 2147483647   339459     67 |  2.024 % |
907.22/907.15	c |    345698 |   17716   114668   393561 | 2147483647   341937     67 |  2.024 % |
921.42/921.39	c |    348423 |   17716   114668   393561 | 2147483647   344662     67 |  2.024 % |
935.22/935.20	c |    351420 |   17716   114668   393561 | 2147483647   347659     67 |  2.024 % |
951.52/951.50	c |    354716 |   17713   114621   393389 | 2147483647   350925     67 |  2.041 % |
952.02/951.95	c |    354817 |   17713   114621   393389 | 2147483647   351026     67 |  2.041 % |
952.52/952.46	c |    354927 |   17713   114621   393389 | 2147483647   351136     67 |  2.041 % |
953.22/953.20	c |    355049 |   17713   114621   393389 | 2147483647   351258     67 |  2.041 % |
954.12/954.04	c |    355182 |   17713   114621   393389 | 2147483647   351391     67 |  2.041 % |
955.02/954.92	c |    355330 |   17713   114621   393389 | 2147483647   351539     67 |  2.041 % |
956.03/955.96	c |    355490 |   17713   114621   393389 | 2147483647   351699     67 |  2.041 % |
956.72/956.64	c |    355666 |   17713   114621   393389 | 2147483647   351875     67 |  2.041 % |
957.52/957.47	c |    355859 |   17713   114621   393389 | 2147483647   352068     67 |  2.041 % |
958.62/958.60	c |    356072 |   17713   114621   393389 | 2147483647   352281     67 |  2.041 % |
959.92/959.83	c |    356307 |   17713   114621   393389 | 2147483647   352516     67 |  2.041 % |
961.02/960.93	c |    356563 |   17713   114621   393389 | 2147483647   352772     67 |  2.041 % |
962.02/961.98	c |    356848 |   17713   114621   393389 | 2147483647   353057     67 |  2.041 % |
963.62/963.58	c |    357157 |   17713   114621   393389 | 2147483647   353366     67 |  2.041 % |
965.22/965.21	c |    357497 |   17713   114621   393389 | 2147483647   353706     67 |  2.041 % |
967.22/967.13	c |    357869 |   17713   114621   393389 | 2147483647   354078     67 |  2.041 % |
969.23/969.21	c |    358279 |   17713   114621   393389 | 2147483647   354488     67 |  2.041 % |
971.22/971.12	c |    358731 |   17713   114621   393389 | 2147483647   354940     67 |  2.041 % |
973.92/973.84	c |    359225 |   17713   114621   393389 | 2147483647   355434     67 |  2.041 % |
976.93/976.88	c |    359767 |   17713   114621   393389 | 2147483647   355976     67 |  2.041 % |
979.22/979.17	c |    360363 |   17713   114621   393389 | 2147483647   356572     67 |  2.041 % |
982.22/982.13	c |    361018 |   17713   114621   393389 | 2147483647   357227     67 |  2.041 % |
985.63/985.61	c |    361739 |   17713   114621   393389 | 2147483647   357948     67 |  2.041 % |
989.63/989.52	c |    362531 |   17713   114621   393389 | 2147483647   358740     67 |  2.041 % |
993.73/993.69	c |    363403 |   17713   114621   393389 | 2147483647   359611     67 |  2.046 % |
997.23/997.15	c |    364361 |   17713   114621   393389 | 2147483647   360569     67 |  2.046 % |
1002.03/1002.01	c |    365414 |   17713   114621   393389 | 2147483647   361622     67 |  2.046 % |
1007.53/1007.50	c |    366572 |   17713   114621   393389 | 2147483647   362779     67 |  2.052 % |
1015.13/1015.10	c |    367845 |   17713   114621   393389 | 2147483647   364052     67 |  2.052 % |
1022.23/1022.14	c |    369245 |   17710   114550   393169 | 2147483647   365445     67 |  2.052 % |
1030.73/1030.62	c |    370786 |   17710   114550   393169 | 2147483647   366986     67 |  2.052 % |
1039.64/1039.61	c |    372481 |   17710   114550   393169 | 2147483647   368677     67 |  2.074 % |
1049.13/1049.09	c |    374345 |   17710   114550   393169 | 2147483647   370541     67 |  2.074 % |
1060.12/1060.06	c |    376395 |   17710   114550   393169 | 2147483647   372590     67 |  2.080 % |
1070.43/1070.40	c |    378648 |   17710   114550   393169 | 2147483647   374843     67 |  2.080 % |
1082.23/1082.14	c |    381126 |   17709   114550   393169 | 2147483647   377320     67 |  2.085 % |
1096.13/1096.04	c |    383852 |   17709   114550   393169 | 2147483647   380046     67 |  2.085 % |
1109.83/1109.79	c |    386852 |   17704   114466   392857 | 2147483647   382946     67 |  2.096 % |
1127.43/1127.32	c |    390148 |   17704   114466   392857 | 2147483647   386241     67 |  2.102 % |
1144.83/1144.71	c |    393774 |   17704   114466   392857 | 2147483647   389866     67 |  2.107 % |
1145.43/1145.31	c |    393875 |   17704   114466   392857 | 2147483647   389966     67 |  2.113 % |
1145.93/1145.89	c |    393985 |   17704   114466   392857 | 2147483647   390076     67 |  2.113 % |
1146.43/1146.38	c |    394106 |   17704   114466   392857 | 2147483647   390197     67 |  2.113 % |
1147.33/1147.25	c |    394239 |   17704   114466   392857 | 2147483647   390330     67 |  2.113 % |
1148.23/1148.15	c |    394385 |   17704   114466   392857 | 2147483647   390476     67 |  2.113 % |
1148.93/1148.85	c |    394545 |   17704   114466   392857 | 2147483647   390635     67 |  2.118 % |
1150.24/1150.15	c |    394721 |   17703   114466   392857 | 2147483647   390811     67 |  2.118 % |
1151.14/1151.08	c |    394914 |   17703   114466   392857 | 2147483647   391004     67 |  2.118 % |
1152.04/1151.93	c |    395127 |   17703   114466   392857 | 2147483647   391216     67 |  2.124 % |
1153.74/1153.67	c |    395362 |   17703   114466   392857 | 2147483647   391451     67 |  2.124 % |
1154.94/1154.86	c |    395618 |   17703   114466   392857 | 2147483647   391707     67 |  2.124 % |
1156.44/1156.41	c |    395901 |   17703   114466   392857 | 2147483647   391990     67 |  2.124 % |
1158.34/1158.24	c |    396210 |   17703   114466   392857 | 2147483647   392299     67 |  2.124 % |
1160.54/1160.51	c |    396549 |   17703   114466   392857 | 2147483647   392638     67 |  2.124 % |
1162.64/1162.60	c |    396921 |   17703   114466   392857 | 2147483647   393010     67 |  2.124 % |
1165.34/1165.27	c |    397332 |   17703   114466   392857 | 2147483647   393421     67 |  2.124 % |
1167.94/1167.91	c |    397781 |   17703   114466   392857 | 2147483647   393869     67 |  2.129 % |
1171.04/1170.99	c |    398274 |   17703   114466   392857 | 2147483647   394362     67 |  2.129 % |
1173.94/1173.86	c |    398817 |   17703   114466   392857 | 2147483647   394905     67 |  2.129 % |
1177.14/1177.03	c |    399413 |   17692   114362   392491 | 2147483647   395420     67 |  2.151 % |
1180.94/1180.87	c |    400068 |   17692   114362   392491 | 2147483647   396074     67 |  2.157 % |
1184.44/1184.40	c |    400788 |   17692   114362   392491 | 2147483647   396794     67 |  2.157 % |
1188.54/1188.51	c |    401582 |   17692   114362   392491 | 2147483647   397587     67 |  2.162 % |
1192.34/1192.29	c |    402453 |   17692   114362   392491 | 2147483647   398458     67 |  2.163 % |
1196.74/1196.67	c |    403411 |   17692   114362   392491 | 2147483647   399416     67 |  2.163 % |
1200.04/1199.92	HOME/SatELiteGTI: line 36: 20659 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 20653
/proc/meminfo: memFree=1198332/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=952 CPUtime=0
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 94 0 0 0 0 0 0 0 25 0 1 0 1009613838 974848 30 4294967295 134512640 135223648 3215992384 3215992160 134651172 0 0 0 0 0 0 0 17 3 0 0 0
/proc/20657/statm: 238 41 32 174 0 63 0

[startup+0.044086 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 20653
/proc/meminfo: memFree=1198332/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=7852 CPUtime=0.04
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 1599 0 0 0 4 0 0 0 25 0 1 0 1009613838 8040448 1535 4294967295 134512640 135223648 3215992384 3215990952 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20657/statm: 1963 1535 47 174 0 1788 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10268

[startup+0.114079 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 20653
/proc/meminfo: memFree=1198332/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=18096 CPUtime=0.11
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 3975 0 0 0 11 0 0 0 25 0 1 0 1009613838 18530304 3911 4294967295 134512640 135223648 3215992384 3215991336 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20657/statm: 4524 3912 47 174 0 4349 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20512

[startup+0.314059 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 20653
/proc/meminfo: memFree=1198332/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=34816 CPUtime=0.31
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 7168 0 0 0 29 2 0 0 25 0 1 0 1009613838 35651584 6930 4294967295 134512640 135223648 3215992384 3215990384 134549024 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20657/statm: 8704 6930 73 174 0 8529 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 37232

[startup+0.71402 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 20653
/proc/meminfo: memFree=1198332/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=37844 CPUtime=0.71
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 7858 0 0 0 69 2 0 0 25 0 1 0 1009613838 38752256 7620 4294967295 134512640 135223648 3215992384 3215990052 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20657/statm: 9461 7620 73 174 0 9286 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 40260

[startup+1.51394 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 20658
/proc/meminfo: memFree=1162356/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=40424 CPUtime=1.51
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 8760 0 0 0 148 3 0 0 25 0 1 0 1009613838 41394176 8182 4294967295 134512640 135223648 3215992384 3215990480 134596379 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20657/statm: 10106 8182 73 174 0 9931 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 42840

[startup+3.11378 s]
/proc/loadavg: 0.93 0.98 0.99 3/95 20659
/proc/meminfo: memFree=1183436/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=9312 CPUtime=1.42
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 2244 0 0 0 141 1 0 0 25 0 1 0 1009614008 9535488 2179 4294967295 134512640 135215339 3219597840 3219596128 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 2328 2179 73 172 0 2155 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 11732

[startup+6.31347 s]
/proc/loadavg: 0.93 0.98 0.99 3/95 20660
/proc/meminfo: memFree=1182608/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=10120 CPUtime=4.62
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 2439 0 0 0 461 1 0 0 25 0 1 0 1009614008 10362880 2374 4294967295 134512640 135215339 3219597840 3219596128 134528930 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 2530 2374 73 172 0 2357 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 12540

[startup+12.7128 s]
/proc/loadavg: 0.94 0.98 0.99 3/95 20661
/proc/meminfo: memFree=1180532/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=12120 CPUtime=11.02
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 2925 0 0 0 1100 2 0 0 25 0 1 0 1009614008 12410880 2860 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 3030 2860 73 172 0 2857 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 14540

[startup+25.5116 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 20845
/proc/meminfo: memFree=1176272/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=15604 CPUtime=23.82
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 3808 0 0 0 2378 4 0 0 25 0 1 0 1009614008 15978496 3743 4294967295 134512640 135215339 3219597840 3219596112 134525032 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 3901 3743 73 172 0 3728 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 18024

[startup+51.1091 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 20847
/proc/meminfo: memFree=1170264/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=22080 CPUtime=49.42
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 5417 0 0 0 4935 7 0 0 25 0 1 0 1009614008 22609920 5352 4294967295 134512640 135215339 3219597840 3219596128 134528884 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 5520 5352 73 172 0 5347 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 24500

[startup+102.314 s]
/proc/loadavg: 0.98 0.98 0.99 2/95 21037
/proc/meminfo: memFree=1160080/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=31992 CPUtime=100.63
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 7876 0 0 0 10054 9 0 0 25 0 1 0 1009614008 32759808 7811 4294967295 134512640 135215339 3219597840 3219596128 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 7998 7811 73 172 0 7825 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 34412

[startup+162.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 21227
/proc/meminfo: memFree=1149440/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=42536 CPUtime=160.63
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 10501 0 0 0 16047 16 0 0 25 0 1 0 1009614008 43556864 10436 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 10634 10436 73 172 0 10461 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 44956

[startup+222.312 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 21414
/proc/meminfo: memFree=1140512/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=51636 CPUtime=220.64
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 12750 0 0 0 22047 17 0 0 25 0 1 0 1009614008 52875264 12685 4294967295 134512640 135215339 3219597840 3219596128 134528875 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 12909 12685 73 172 0 12736 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 54056

[startup+282.316 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 21602
/proc/meminfo: memFree=1133320/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=58900 CPUtime=280.65
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 14553 0 0 0 28045 20 0 0 25 0 1 0 1009614008 60313600 14488 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 14725 14488 73 172 0 14552 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 61320

[startup+342.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 21791
/proc/meminfo: memFree=1125888/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=65844 CPUtime=340.65
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 16322 0 0 0 34043 22 0 0 25 0 1 0 1009614008 67424256 16257 4294967295 134512640 135215339 3219597840 3219596128 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 16461 16257 73 172 0 16288 0
Current children cumulated CPU time (s) 342.35

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

[pid=20659] ppid=20653 vsize=83576 CPUtime=520.67
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 20661 0 0 0 52033 34 0 0 25 0 1 0 1009614008 85581824 20596 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 20894 20596 73 172 0 20721 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 85996

[startup+582.317 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 22547
/proc/meminfo: memFree=1103660/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=88700 CPUtime=580.68
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 21933 0 0 0 58028 40 0 0 25 0 1 0 1009614008 90828800 21868 4294967295 134512640 135215339 3219597840 3219596128 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 22175 21868 73 172 0 22002 0
Current children cumulated CPU time (s) 582.38
Current children cumulated vsize (KiB) 91120

[startup+642.311 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 22734
/proc/meminfo: memFree=1098972/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=93372 CPUtime=640.68
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 23092 0 0 0 64027 41 0 0 25 0 1 0 1009614008 95612928 23027 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 23343 23027 73 172 0 23170 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 95792

[startup+702.305 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 22923
/proc/meminfo: memFree=1093980/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=98264 CPUtime=700.68
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 24337 0 0 0 70027 41 0 0 25 0 1 0 1009614008 100622336 24272 4294967295 134512640 135215339 3219597840 3219596128 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 24566 24272 73 172 0 24393 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 100684

[startup+762.309 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 23115
/proc/meminfo: memFree=1089780/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=102676 CPUtime=760.69
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 25419 0 0 0 76024 45 0 0 25 0 1 0 1009614008 105140224 25354 4294967295 134512640 135215339 3219597840 3219596128 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 25669 25354 73 172 0 25496 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 105096

[startup+822.323 s]
/proc/loadavg: 1.04 1.00 1.00 2/95 23302
/proc/meminfo: memFree=1085256/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=107684 CPUtime=820.71
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 26524 0 0 0 82026 45 0 0 25 0 1 0 1009614008 110268416 26459 4294967295 134512640 135215339 3219597840 3219595840 134532964 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 26921 26459 73 172 0 26748 0
Current children cumulated CPU time (s) 822.41
Current children cumulated vsize (KiB) 110104

[startup+882.317 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 23490
/proc/meminfo: memFree=1080512/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=112144 CPUtime=880.71
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 27652 0 0 0 88025 46 0 0 25 0 1 0 1009614008 114835456 27587 4294967295 134512640 135215339 3219597840 3219596048 134525922 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 28036 27587 73 172 0 27863 0
Current children cumulated CPU time (s) 882.41
Current children cumulated vsize (KiB) 114564

[startup+942.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23677
/proc/meminfo: memFree=1076692/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=116088 CPUtime=940.72
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 28612 0 0 0 94024 48 0 0 25 0 1 0 1009614008 118874112 28547 4294967295 134512640 135215339 3219597840 3219595840 134532626 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 29022 28547 73 172 0 28849 0
Current children cumulated CPU time (s) 942.42
Current children cumulated vsize (KiB) 118508

[startup+1002.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 23866
/proc/meminfo: memFree=1072552/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=120216 CPUtime=1000.73
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 29650 0 0 0 100021 52 0 0 25 0 1 0 1009614008 123101184 29585 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 30054 29585 73 172 0 29881 0
Current children cumulated CPU time (s) 1002.43
Current children cumulated vsize (KiB) 122636

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24054
/proc/meminfo: memFree=1069368/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=123600 CPUtime=1060.72
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 30514 0 0 0 106019 53 0 0 25 0 1 0 1009614008 126566400 30449 4294967295 134512640 135215339 3219597840 3219596128 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 30900 30449 73 172 0 30727 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 126020

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24245
/proc/meminfo: memFree=1066152/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=126756 CPUtime=1120.73
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 31311 0 0 0 112015 58 0 0 25 0 1 0 1009614008 129798144 31246 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 31689 31246 73 172 0 31516 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 129176

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24433
/proc/meminfo: memFree=1062888/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=129996 CPUtime=1180.74
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 32117 0 0 0 118014 60 0 0 25 0 1 0 1009614008 133115904 32052 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 32499 32052 73 172 0 32326 0
Current children cumulated CPU time (s) 1182.44
Current children cumulated vsize (KiB) 132416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24434
/proc/meminfo: memFree=1061968/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=130908 CPUtime=1198.34
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 32352 0 0 0 119773 61 0 0 25 0 1 0 1009614008 134049792 32287 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 32727 32287 73 172 0 32554 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 133328

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

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

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24434
/proc/meminfo: memFree=1061968/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=130908 CPUtime=1198.34
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 32352 0 0 0 119773 61 0 0 25 0 1 0 1009614008 134049792 32287 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 32727 32287 73 172 0 32554 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 133328

Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.05
CPU user time (s): 1199.37
CPU system time (s): 0.68
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 133328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.37
system time used= 0.68
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42870
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= 22
involuntary context switches= 1227

runsolver used 0.02 second user time and 0.06 second system time

The end

Launcher Data

Begin job on tipi10 at 2009-05-16 07:18:47
IDJOB=1820518
IDBENCH=20425
IDSOLVER=657
FILE ID=tipi10/1820518-1242451127
PBS_JOBID=
Free space on /tmp= 5404 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= runsolver --timestamp  -w /tmp/evaluation-result-1820518-1242451127/watcher-1820518-1242451127 -o /tmp/evaluation-result-1820518-1242451127/solver-1820518-1242451127 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820518-1242451127.cnf

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

MD5SUM BENCH= 175ec3119584300988ad366c4a04cccc
RANDOM SEED= 350518051

Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1198356 kB
Buffers:         33400 kB
Cached:         741508 kB
SwapCached:       2896 kB
Active:         380928 kB
Inactive:       404072 kB
HighTotal:     1178688 kB
HighFree:       428152 kB
LowTotal:       895776 kB
LowFree:        770204 kB
SwapTotal:     1959888 kB
SwapFree:      1951868 kB
Dirty:            5012 kB
Writeback:           0 kB
AnonPages:        9184 kB
Mapped:           3388 kB
Slab:            81920 kB
PageTables:        620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 5404 MiB
End job on tipi10 at 2009-05-16 07:38:48