Trace number 1821700

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.1 1200.04

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
MD5SUMecc4810d82e30597ea8451526243ec09
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2522
Number of clauses243459
Sum of the clauses size726523
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24164
Number of clauses of size 3239264
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.00/0.00	c Parsing...
0.11/0.16	c ==============================================================================
0.11/0.16	c |           |     ORIGINAL     |              LEARNT              |          |
0.11/0.16	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.11/0.16	c ==============================================================================
0.11/0.16	c |         0 |  243459   726523 |   73037       0        0     nan |  0.000 % |
3.32/3.34	c |         0 |  242248  1066319 |      --       0       --      -- |     --   | -1211/339796
3.32/3.34	c ==============================================================================
3.32/3.34	c Result  :   #vars: 1581   #clauses: 242248   #literals: 1066319
3.32/3.34	c CPU time:   3.28 s
3.32/3.34	c ==============================================================================
3.62/3.66	c This is MiniSat 2.0 beta
3.62/3.66	c WARNING: for repeatability, setting FPU to use double precision
3.62/3.66	c ============================[ Problem Statistics ]=============================
3.62/3.66	c |                                                                             |
3.62/3.66	c |  Number of variables:  1581                                                 |
3.62/3.66	c |  Number of clauses:    242248                                               |
3.66/3.81	c |  Parsing time:         0.12         s                                       |
3.66/3.82	c ============================[ Search Statistics ]==============================
3.66/3.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.66/3.82	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.66/3.82	c ===============================================================================
3.66/3.82	c |         0 |    1581   242248  1066319 |    80749        0    nan |  0.000 % |
3.66/3.96	c |       100 |    1581   242248  1066319 |    80749      100     47 |  0.000 % |
3.66/4.11	c |       201 |    1581   242248  1066319 |    80749      201     62 |  0.000 % |
3.66/4.21	c |       301 |    1581   242248  1066319 |    80749      301     69 |  0.000 % |
3.66/4.33	c |       413 |    1581   242248  1066319 |    80749      413     73 |  0.000 % |
4.42/4.42	c |       514 |    1581   242248  1066319 |    80749      514     78 |  0.000 % |
4.53/4.57	c |       624 |    1581   242248  1066319 |    80749      624     79 |  0.000 % |
4.72/4.73	c |       749 |    1581   242248  1066319 |    80749      749     81 |  0.000 % |
4.82/4.85	c |       850 |    1581   242248  1066319 |    80749      850     82 |  0.000 % |
4.92/4.96	c |       960 |    1581   242248  1066319 |    80749      960     83 |  0.000 % |
5.02/5.07	c |      1083 |    1581   242248  1066319 |    80749     1083     85 |  0.000 % |
5.12/5.19	c |      1216 |    1581   242248  1066319 |    80749     1216     87 |  0.000 % |
5.22/5.28	c |      1318 |    1581   242248  1066319 |    80749     1318     86 |  0.000 % |
5.32/5.41	c |      1428 |    1581   242248  1066319 |    80749     1428     85 |  0.000 % |
5.52/5.52	c |      1552 |    1581   242248  1066319 |    80749     1552     85 |  0.000 % |
5.63/5.65	c |      1685 |    1581   242248  1066319 |    80749     1685     85 |  0.000 % |
5.72/5.74	c |      1831 |    1581   242248  1066319 |    80749     1831     86 |  0.000 % |
5.72/5.79	c |      1932 |    1581   242248  1066319 |    80749     1932     86 |  0.000 % |
5.82/5.85	c |      2044 |    1581   242248  1066319 |    80749     2044     87 |  0.000 % |
5.82/5.91	c |      2167 |    1581   242248  1066319 |    80749     2167     87 |  0.000 % |
5.92/5.98	c |      2304 |    1581   242248  1066319 |    80749     2304     87 |  0.000 % |
6.02/6.02	c |      2454 |    1581   242248  1066319 |    80749     2454     88 |  0.000 % |
6.02/6.10	c |      2614 |    1581   242248  1066319 |    80749     2614     89 |  0.000 % |
6.12/6.16	c |      2714 |    1581   242248  1066319 |    80749     2714     89 |  0.000 % |
6.12/6.20	c |      2825 |    1581   242248  1066319 |    80749     2825     89 |  0.000 % |
6.22/6.24	c |      2946 |    1581   242248  1066319 |    80749     2946     90 |  0.000 % |
6.22/6.29	c |      3081 |    1581   242248  1066319 |    80749     3081     90 |  0.000 % |
6.32/6.36	c |      3227 |    1581   242248  1066319 |    80749     3227     90 |  0.000 % |
6.42/6.43	c |      3389 |    1581   242248  1066319 |    80749     3389     91 |  0.000 % |
6.42/6.51	c |      3565 |    1581   242248  1066319 |    80749     3565     91 |  0.000 % |
6.52/6.56	c |      3666 |    1581   242248  1066319 |    80749     3666     92 |  0.000 % |
6.52/6.61	c |      3776 |    1581   242248  1066319 |    80749     3776     92 |  0.000 % |
6.62/6.67	c |      3898 |    1581   242248  1066319 |    80749     3898     92 |  0.000 % |
6.73/6.74	c |      4031 |    1581   242248  1066319 |    80749     4031     92 |  0.000 % |
6.82/6.81	c |      4178 |    1581   242248  1066319 |    80749     4178     93 |  0.000 % |
6.92/6.92	c |      4344 |    1581   242248  1066319 |    80749     4344     93 |  0.000 % |
7.02/7.02	c |      4522 |    1581   242248  1066319 |    80749     4522     93 |  0.000 % |
7.02/7.11	c |      4717 |    1581   242248  1066319 |    80749     4717     94 |  0.000 % |
7.12/7.15	c |      4817 |    1581   242248  1066319 |    80749     4817     94 |  0.000 % |
7.12/7.19	c |      4927 |    1581   242248  1066319 |    80749     4927     94 |  0.000 % |
7.22/7.25	c |      5049 |    1581   242248  1066319 |    80749     5049     94 |  0.000 % |
7.32/7.33	c |      5184 |    1581   242248  1066319 |    80749     5184     94 |  0.000 % |
7.32/7.41	c |      5331 |    1581   242248  1066319 |    80749     5331     94 |  0.000 % |
7.42/7.50	c |      5493 |    1581   242248  1066319 |    80749     5493     95 |  0.000 % |
7.52/7.58	c |      5669 |    1581   242248  1066319 |    80749     5669     95 |  0.000 % |
7.62/7.69	c |      5864 |    1581   242248  1066319 |    80749     5864     95 |  0.000 % |
7.83/7.83	c |      6077 |    1581   242248  1066319 |    80749     6077     95 |  0.000 % |
7.83/7.90	c |      6178 |    1581   242248  1066319 |    80749     6178     95 |  0.000 % |
7.92/7.96	c |      6290 |    1581   242248  1066319 |    80749     6290     95 |  0.000 % |
7.92/8.01	c |      6412 |    1581   242248  1066319 |    80749     6412     95 |  0.000 % |
8.02/8.08	c |      6545 |    1581   242248  1066319 |    80749     6545     95 |  0.000 % |
8.12/8.19	c |      6692 |    1581   242248  1066319 |    80749     6692     95 |  0.000 % |
8.22/8.29	c |      6853 |    1581   242248  1066319 |    80749     6853     95 |  0.000 % |
8.32/8.38	c |      7030 |    1581   242248  1066319 |    80749     7030     95 |  0.000 % |
8.42/8.50	c |      7224 |    1581   242248  1066319 |    80749     7224     95 |  0.000 % |
8.52/8.60	c |      7436 |    1581   242248  1066319 |    80749     7436     95 |  0.000 % |
8.62/8.71	c |      7669 |    1581   242248  1066319 |    80749     7669     95 |  0.000 % |
8.72/8.76	c |      7769 |    1581   242248  1066319 |    80749     7769     95 |  0.000 % |
8.82/8.82	c |      7881 |    1581   242248  1066319 |    80749     7881     95 |  0.000 % |
8.82/8.88	c |      8003 |    1581   242248  1066319 |    80749     8003     95 |  0.000 % |
8.93/8.96	c |      8137 |    1581   242248  1066319 |    80749     8137     95 |  0.000 % |
9.02/9.08	c |      8285 |    1581   242248  1066319 |    80749     8285     95 |  0.000 % |
9.22/9.21	c |      8446 |    1581   242248  1066319 |    80749     8446     95 |  0.000 % |
9.32/9.32	c |      8622 |    1581   242248  1066319 |    80749     8622     95 |  0.000 % |
9.52/9.52	c |      8818 |    1581   242248  1066319 |    80749     8818     95 |  0.000 % |
9.62/9.70	c |      9030 |    1581   242248  1066319 |    80749     9030     95 |  0.000 % |
9.82/9.85	c |      9263 |    1581   242248  1066319 |    80749     9263     94 |  0.000 % |
10.12/10.15	c |      9520 |    1581   242248  1066319 |    80749     9520     94 |  0.000 % |
10.22/10.27	c |      9620 |    1581   242248  1066319 |    80749     9620     94 |  0.000 % |
10.32/10.39	c |      9730 |    1581   242248  1066319 |    80749     9730     94 |  0.000 % |
10.52/10.61	c |      9851 |    1581   242248  1066319 |    80749     9851     93 |  0.000 % |
10.82/10.87	c |      9984 |    1581   242248  1066319 |    80749     9984     93 |  0.000 % |
11.02/11.03	c |     10130 |    1581   242248  1066319 | 2147483647    10130     93 |  0.000 % |
11.02/11.12	c |     10290 |    1581   242248  1066319 | 2147483647    10290     92 |  0.000 % |
11.13/11.21	c |     10466 |    1581   242248  1066319 | 2147483647    10466     92 |  0.000 % |
11.32/11.32	c |     10660 |    1581   242248  1066319 | 2147483647    10660     91 |  0.000 % |
11.32/11.41	c |     10872 |    1581   242248  1066319 | 2147483647    10872     91 |  0.000 % |
11.42/11.51	c |     11105 |    1581   242248  1066319 | 2147483647    11105     90 |  0.000 % |
11.62/11.62	c |     11361 |    1581   242248  1066319 | 2147483647    11361     89 |  0.000 % |
11.72/11.73	c |     11645 |    1581   242248  1066319 | 2147483647    11645     88 |  0.000 % |
11.72/11.77	c |     11745 |    1581   242248  1066319 | 2147483647    11745     88 |  0.000 % |
11.82/11.82	c |     11855 |    1581   242248  1066319 | 2147483647    11855     88 |  0.000 % |
11.82/11.87	c |     11977 |    1581   242248  1066319 | 2147483647    11977     88 |  0.000 % |
12.02/12.03	c |     12112 |    1581   242248  1066319 | 2147483647    12112     87 |  0.000 % |
12.23/12.28	c |     12259 |    1581   242248  1066319 | 2147483647    12259     87 |  0.000 % |
12.52/12.60	c |     12424 |    1581   242248  1066319 | 2147483647    12424     87 |  0.000 % |
12.82/12.87	c |     12600 |    1581   242248  1066319 | 2147483647    12600     87 |  0.000 % |
13.22/13.23	c |     12795 |    1581   242248  1066319 | 2147483647    12795     87 |  0.000 % |
13.33/13.40	c |     13007 |    1581   242248  1066319 | 2147483647    13007     87 |  0.000 % |
13.72/13.78	c |     13240 |    1581   242248  1066319 | 2147483647    13240     87 |  0.000 % |
14.02/14.11	c |     13496 |    1581   242248  1066319 | 2147483647    13496     87 |  0.000 % |
14.52/14.58	c |     13777 |    1581   242248  1066319 | 2147483647    13777     87 |  0.000 % |
14.92/14.97	c |     14086 |    1581   242248  1066319 | 2147483647    14086     87 |  0.000 % |
15.02/15.07	c |     14186 |    1581   242248  1066319 | 2147483647    14186     87 |  0.000 % |
15.22/15.24	c |     14296 |    1581   242248  1066319 | 2147483647    14296     87 |  0.000 % |
15.32/15.40	c |     14419 |    1581   242248  1066319 | 2147483647    14419     86 |  0.000 % |
15.53/15.54	c |     14553 |    1581   242248  1066319 | 2147483647    14553     86 |  0.000 % |
15.62/15.67	c |     14700 |    1581   242248  1066319 | 2147483647    14700     86 |  0.000 % |
15.82/15.83	c |     14860 |    1581   242248  1066319 | 2147483647    14860     86 |  0.000 % |
16.02/16.08	c |     15036 |    1581   242248  1066319 | 2147483647    15036     86 |  0.000 % |
16.32/16.36	c |     15229 |    1581   242248  1066319 | 2147483647    15229     86 |  0.000 % |
16.63/16.67	c |     15441 |    1581   242248  1066319 | 2147483647    15441     85 |  0.000 % |
16.92/16.95	c |     15675 |    1581   242248  1066319 | 2147483647    15675     85 |  0.000 % |
17.22/17.23	c |     15931 |    1581   242248  1066319 | 2147483647    15931     85 |  0.000 % |
17.52/17.57	c |     16213 |    1581   242248  1066319 | 2147483647    16213     84 |  0.000 % |
17.92/17.94	c |     16522 |    1581   242248  1066319 | 2147483647    16522     84 |  0.000 % |
18.42/18.47	c |     16861 |    1581   242248  1066319 | 2147483647    16861     84 |  0.000 % |
18.62/18.63	c |     16962 |    1581   242248  1066319 | 2147483647    16962     84 |  0.000 % |
18.72/18.81	c |     17074 |    1581   242248  1066319 | 2147483647    17074     84 |  0.000 % |
18.92/19.00	c |     17196 |    1581   242248  1066319 | 2147483647    17196     84 |  0.000 % |
19.12/19.16	c |     17330 |    1581   242248  1066319 | 2147483647    17330     84 |  0.000 % |
19.32/19.36	c |     17477 |    1581   242248  1066319 | 2147483647    17477     83 |  0.000 % |
19.52/19.58	c |     17637 |    1581   242248  1066319 | 2147483647    17637     83 |  0.000 % |
19.72/19.78	c |     17814 |    1581   242248  1066319 | 2147483647    17814     82 |  0.000 % |
19.93/20.00	c |     18008 |    1581   242248  1066319 | 2147483647    18008     82 |  0.001 % |
20.42/20.48	c |     18220 |    1581   242248  1066319 | 2147483647    18220     82 |  0.000 % |
20.82/20.83	c |     18453 |    1581   242248  1066319 | 2147483647    18453     82 |  0.000 % |
21.12/21.21	c |     18709 |    1581   242248  1066319 | 2147483647    18709     82 |  0.000 % |
21.52/21.54	c |     18991 |    1581   242248  1066319 | 2147483647    18991     82 |  0.000 % |
21.82/21.90	c |     19301 |    1581   242248  1066319 | 2147483647    19301     81 |  0.000 % |
22.22/22.30	c |     19640 |    1581   242248  1066319 | 2147483647    19640     81 |  0.000 % |
22.62/22.62	c |     20014 |    1581   242248  1066319 | 2147483647    20014     81 |  0.000 % |
22.72/22.79	c |     20117 |    1581   242248  1066319 | 2147483647    20117     81 |  0.000 % |
22.92/22.92	c |     20227 |    1581   242248  1066319 | 2147483647    20227     81 |  0.000 % |
23.02/23.08	c |     20348 |    1581   242248  1066319 | 2147483647    20348     81 |  0.000 % |
23.23/23.25	c |     20482 |    1581   242248  1066319 | 2147483647    20482     81 |  0.000 % |
23.42/23.44	c |     20628 |    1581   242248  1066319 | 2147483647    20628     81 |  0.000 % |
23.62/23.69	c |     20792 |    1581   242248  1066319 | 2147483647    20792     81 |  0.000 % |
23.92/23.98	c |     20969 |    1581   242248  1066319 | 2147483647    20969     81 |  0.000 % |
24.12/24.19	c |     21165 |    1581   242248  1066319 | 2147483647    21165     81 |  0.000 % |
24.33/24.40	c |     21380 |    1581   242248  1066319 | 2147483647    21380     81 |  0.000 % |
24.62/24.66	c |     21614 |    1581   242248  1066319 | 2147483647    21614     81 |  0.000 % |
25.02/25.03	c |     21872 |    1581   242248  1066319 | 2147483647    21872     81 |  0.000 % |
25.43/25.48	c |     22153 |    1581   242248  1066319 | 2147483647    22153     81 |  0.000 % |
25.92/25.95	c |     22462 |    1581   242248  1066319 | 2147483647    22462     81 |  0.000 % |
26.42/26.50	c |     22804 |    1581   242248  1066319 | 2147483647    22804     81 |  0.000 % |
27.12/27.20	c |     23179 |    1581   242248  1066319 | 2147483647    23179     80 |  0.000 % |
28.02/28.01	c |     23590 |    1581   242248  1066319 | 2147483647    23590     80 |  0.000 % |
28.12/28.19	c |     23692 |    1581   242248  1066319 | 2147483647    23692     80 |  0.000 % |
28.32/28.36	c |     23804 |    1581   242248  1066319 | 2147483647    23804     80 |  0.000 % |
28.52/28.53	c |     23927 |    1581   242248  1066319 | 2147483647    23927     80 |  0.000 % |
28.62/28.67	c |     24062 |    1581   242248  1066319 | 2147483647    24062     80 |  0.000 % |
28.92/28.92	c |     24209 |    1581   242248  1066319 | 2147483647    24209     80 |  0.000 % |
29.12/29.12	c |     24370 |    1581   242248  1066319 | 2147483647    24370     80 |  0.000 % |
29.32/29.41	c |     24546 |    1581   242248  1066319 | 2147483647    24546     80 |  0.000 % |
29.62/29.66	c |     24739 |    1581   242248  1066319 | 2147483647    24739     80 |  0.000 % |
29.92/29.96	c |     24951 |    1581   242248  1066319 | 2147483647    24951     80 |  0.000 % |
30.22/30.28	c |     25184 |    1581   242248  1066319 | 2147483647    25184     80 |  0.000 % |
30.62/30.62	c |     25441 |    1581   242248  1066319 | 2147483647    25441     80 |  0.000 % |
31.12/31.12	c |     25723 |    1581   242248  1066319 | 2147483647    25723     80 |  0.000 % |
31.72/31.79	c |     26033 |    1581   242248  1066319 | 2147483647    26033     80 |  0.000 % |
32.22/32.24	c |     26374 |    1581   242248  1066319 | 2147483647    26374     80 |  0.000 % |
32.92/32.92	c |     26748 |    1581   242248  1066319 | 2147483647    26748     80 |  0.000 % |
33.32/33.32	c |     27157 |    1581   242248  1066319 | 2147483647    27157     80 |  0.000 % |
33.72/33.75	c |     27606 |    1581   242248  1066319 | 2147483647    27606     80 |  0.000 % |
33.82/33.82	c |     27707 |    1581   242248  1066319 | 2147483647    27707     80 |  0.000 % |
33.82/33.90	c |     27819 |    1581   242248  1066319 | 2147483647    27819     80 |  0.000 % |
34.02/34.07	c |     27940 |    1581   242248  1066319 | 2147483647    27940     80 |  0.000 % |
34.12/34.21	c |     28075 |    1581   242248  1066319 | 2147483647    28075     80 |  0.000 % |
34.42/34.43	c |     28222 |    1581   242248  1066319 | 2147483647    28222     80 |  0.000 % |
34.62/34.67	c |     28382 |    1581   242248  1066319 | 2147483647    28382     80 |  0.000 % |
34.92/34.91	c |     28558 |    1581   242248  1066319 | 2147483647    28558     80 |  0.000 % |
35.22/35.23	c |     28753 |    1581   242248  1066319 | 2147483647    28753     80 |  0.000 % |
35.52/35.56	c |     28966 |    1581   242248  1066319 | 2147483647    28966     80 |  0.000 % |
35.72/35.79	c |     29199 |    1581   242248  1066319 | 2147483647    29199     80 |  0.000 % |
36.12/36.14	c |     29456 |    1581   242248  1066319 | 2147483647    29456     80 |  0.000 % |
36.62/36.62	c |     29738 |    1581   242248  1066319 | 2147483647    29738     80 |  0.000 % |
37.22/37.26	c |     30051 |    1581   242248  1066319 | 2147483647    30051     80 |  0.000 % |
37.82/37.87	c |     30391 |    1581   242248  1066319 | 2147483647    30391     80 |  0.000 % |
38.42/38.50	c |     30763 |    1581   242248  1066319 | 2147483647    30763     79 |  0.000 % |
39.12/39.15	c |     31173 |    1581   242248  1066319 | 2147483647    31173     79 |  0.000 % |
39.92/39.97	c |     31623 |    1581   242248  1066319 | 2147483647    31623     79 |  0.000 % |
40.42/40.43	c |     32116 |    1581   242248  1066319 | 2147483647    32116     79 |  0.000 % |
40.42/40.50	c |     32218 |    1581   242248  1066319 | 2147483647    32218     79 |  0.000 % |
40.62/40.63	c |     32328 |    1581   242248  1066319 | 2147483647    32328     79 |  0.000 % |
40.83/40.88	c |     32453 |    1581   242248  1066319 | 2147483647    32453     79 |  0.000 % |
41.02/41.09	c |     32586 |    1581   242248  1066319 | 2147483647    32586     79 |  0.000 % |
41.22/41.30	c |     32732 |    1581   242248  1066319 | 2147483647    32732     79 |  0.000 % |
41.52/41.54	c |     32892 |    1581   242248  1066319 | 2147483647    32892     79 |  0.000 % |
41.72/41.73	c |     33068 |    1581   242248  1066319 | 2147483647    33068     79 |  0.000 % |
42.02/42.11	c |     33261 |    1581   242248  1066319 | 2147483647    33261     79 |  0.000 % |
42.42/42.48	c |     33475 |    1581   242248  1066319 | 2147483647    33475     79 |  0.000 % |
42.72/42.78	c |     33709 |    1581   242248  1066319 | 2147483647    33709     79 |  0.000 % |
43.32/43.36	c |     33966 |    1581   242248  1066319 | 2147483647    33966     79 |  0.000 % |
43.82/43.87	c |     34247 |    1581   242248  1066319 | 2147483647    34247     79 |  0.000 % |
44.42/44.45	c |     34557 |    1581   242248  1066319 | 2147483647    34557     79 |  0.000 % |
44.72/44.80	c |     34899 |    1581   242248  1066319 | 2147483647    34899     79 |  0.000 % |
45.42/45.47	c |     35271 |    1581   242248  1066319 | 2147483647    35271     79 |  0.000 % |
46.03/46.04	c |     35682 |    1581   242248  1066319 | 2147483647    35682     79 |  0.000 % |
46.53/46.56	c |     36136 |    1581   242248  1066319 | 2147483647    36136     80 |  0.000 % |
47.03/47.02	c |     36629 |    1581   242248  1066319 | 2147483647    36629     80 |  0.000 % |
47.33/47.38	c |     37171 |    1581   242248  1066319 | 2147483647    37171     80 |  0.000 % |
47.43/47.48	c |     37271 |    1581   242248  1066319 | 2147483647    37271     80 |  0.000 % |
47.53/47.58	c |     37382 |    1581   242248  1066319 | 2147483647    37382     80 |  0.000 % |
47.63/47.67	c |     37505 |    1581   242248  1066319 | 2147483647    37505     80 |  0.000 % |
47.83/47.91	c |     37638 |    1581   242248  1066319 | 2147483647    37638     80 |  0.000 % |
48.13/48.20	c |     37786 |    1581   242248  1066319 | 2147483647    37786     80 |  0.000 % |
48.53/48.53	c |     37949 |    1581   242248  1066319 | 2147483647    37949     80 |  0.000 % |
48.83/48.88	c |     38127 |    1581   242248  1066319 | 2147483647    38127     79 |  0.000 % |
49.23/49.31	c |     38320 |    1581   242248  1066319 | 2147483647    38320     79 |  0.000 % |
49.63/49.72	c |     38533 |    1581   242248  1066319 | 2147483647    38533     79 |  0.000 % |
50.23/50.27	c |     38767 |    1581   242248  1066319 | 2147483647    38767     79 |  0.000 % |
50.83/50.86	c |     39025 |    1581   242248  1066319 | 2147483647    39025     79 |  0.000 % |
51.33/51.37	c |     39306 |    1581   242248  1066319 | 2147483647    39306     79 |  0.000 % |
51.73/51.82	c |     39617 |    1581   242248  1066319 | 2147483647    39617     79 |  0.000 % |
52.23/52.28	c |     39959 |    1581   242248  1066319 | 2147483647    39959     79 |  0.000 % |
52.93/52.95	c |     40331 |    1581   242248  1066319 | 2147483647    40331     79 |  0.000 % |
53.73/53.78	c |     40740 |    1581   242248  1066319 | 2147483647    40740     79 |  0.000 % |
54.63/54.69	c |     41190 |    1581   242248  1066319 | 2147483647    41190     79 |  0.000 % |
55.63/55.69	c |     41683 |    1581   242248  1066319 | 2147483647    41683     78 |  0.000 % |
56.73/56.75	c |     42228 |    1581   242248  1066319 | 2147483647    42228     78 |  0.000 % |
57.93/57.99	c |     42824 |    1581   242248  1066319 | 2147483647    42824     77 |  0.000 % |
58.23/58.23	c |     42924 |    1581   242248  1066319 | 2147483647    42924     77 |  0.000 % |
58.43/58.48	c |     43035 |    1581   242248  1066319 | 2147483647    43035     77 |  0.000 % |
58.73/58.78	c |     43157 |    1581   242248  1066319 | 2147483647    43157     77 |  0.000 % |
58.93/58.98	c |     43292 |    1581   242248  1066319 | 2147483647    43292     77 |  0.000 % |
59.23/59.27	c |     43439 |    1581   242248  1066319 | 2147483647    43439     77 |  0.000 % |
59.43/59.47	c |     43600 |    1581   242248  1066319 | 2147483647    43600     77 |  0.000 % |
59.63/59.68	c |     43777 |    1581   242248  1066319 | 2147483647    43777     77 |  0.000 % |
59.93/60.00	c |     43970 |    1581   242248  1066319 | 2147483647    43970     77 |  0.000 % |
60.43/60.45	c |     44183 |    1581   242248  1066319 | 2147483647    44183     77 |  0.000 % |
60.93/60.93	c |     44418 |    1581   242248  1066319 | 2147483647    44418     77 |  0.000 % |
61.43/61.45	c |     44675 |    1581   242248  1066319 | 2147483647    44675     77 |  0.000 % |
62.03/62.06	c |     44956 |    1581   242248  1066319 | 2147483647    44956     76 |  0.000 % |
62.63/62.71	c |     45267 |    1581   242248  1066319 | 2147483647    45267     76 |  0.000 % |
63.33/63.39	c |     45607 |    1581   242248  1066319 | 2147483647    45607     76 |  0.000 % |
63.93/63.99	c |     45979 |    1581   242248  1066319 | 2147483647    45979     76 |  0.000 % |
64.53/64.58	c |     46389 |    1581   242248  1066319 | 2147483647    46389     76 |  0.000 % |
65.13/65.14	c |     46839 |    1581   242248  1066319 | 2147483647    46839     76 |  0.000 % |
65.53/65.62	c |     47333 |    1581   242248  1066319 | 2147483647    47333     76 |  0.000 % |
66.23/66.32	c |     47877 |    1581   242248  1066319 | 2147483647    47877     76 |  0.000 % |
67.33/67.34	c |     48475 |    1581   242248  1066319 | 2147483647    48475     76 |  0.000 % |
68.43/68.46	c |     49132 |    1581   242248  1066319 | 2147483647    49132     76 |  0.000 % |
68.53/68.62	c |     49232 |    1581   242248  1066319 | 2147483647    49232     76 |  0.000 % |
68.83/68.86	c |     49345 |    1581   242248  1066319 | 2147483647    49345     76 |  0.000 % |
69.03/69.08	c |     49467 |    1581   242248  1066319 | 2147483647    49467     76 |  0.000 % |
69.23/69.31	c |     49603 |    1581   242248  1066319 | 2147483647    49603     76 |  0.000 % |
69.53/69.57	c |     49751 |    1581   242248  1066319 | 2147483647    49751     76 |  0.000 % |
69.73/69.79	c |     49913 |    1581   242248  1066319 | 2147483647    49913     76 |  0.000 % |
70.13/70.14	c |     50089 |    1581   242248  1066319 | 2147483647    50089     76 |  0.000 % |
70.43/70.51	c |     50282 |    1581   242248  1066319 | 2147483647    50282     76 |  0.000 % |
70.83/70.84	c |     50499 |    1581   242248  1066319 | 2147483647    50499     76 |  0.000 % |
71.23/71.29	c |     50734 |    1581   242248  1066319 | 2147483647    50734     76 |  0.000 % |
71.63/71.72	c |     50990 |    1581   242248  1066319 | 2147483647    50990     76 |  0.000 % |
72.23/72.27	c |     51272 |    1581   242248  1066319 | 2147483647    51272     76 |  0.000 % |
72.93/72.99	c |     51581 |    1581   242248  1066319 | 2147483647    51581     76 |  0.000 % |
73.73/73.76	c |     51921 |    1581   242248  1066319 | 2147483647    51921     76 |  0.000 % |
74.33/74.41	c |     52293 |    1581   242248  1066319 | 2147483647    52293     76 |  0.000 % |
75.23/75.30	c |     52702 |    1581   242248  1066319 | 2147483647    52702     76 |  0.000 % |
76.33/76.41	c |     53153 |    1581   242248  1066319 | 2147483647    53153     75 |  0.000 % |
77.33/77.41	c |     53646 |    1581   242248  1066319 | 2147483647    53646     75 |  0.000 % |
78.53/78.56	c |     54190 |    1581   242248  1066319 | 2147483647    54190     75 |  0.000 % |
79.63/79.63	c |     54786 |    1581   242248  1066319 | 2147483647    54786     74 |  0.000 % |
80.93/80.99	c |     55442 |    1581   242248  1066319 | 2147483647    55442     74 |  0.000 % |
82.33/82.38	c |     56163 |    1581   242248  1066319 | 2147483647    56163     73 |  0.001 % |
82.52/82.61	c |     56264 |    1581   242248  1066319 | 2147483647    56264     73 |  0.000 % |
82.72/82.79	c |     56374 |    1581   242248  1066319 | 2147483647    56374     73 |  0.000 % |
82.92/82.99	c |     56495 |    1581   242248  1066319 | 2147483647    56495     73 |  0.000 % |
83.22/83.26	c |     56631 |    1581   242248  1066319 | 2147483647    56631     73 |  0.000 % |
83.52/83.57	c |     56779 |    1581   242248  1066319 | 2147483647    56779     73 |  0.000 % |
83.72/83.80	c |     56940 |    1581   242248  1066319 | 2147483647    56940     73 |  0.000 % |
84.02/84.07	c |     57116 |    1581   242248  1066319 | 2147483647    57116     73 |  0.000 % |
84.32/84.38	c |     57310 |    1581   242248  1066319 | 2147483647    57310     73 |  0.000 % |
84.62/84.67	c |     57522 |    1581   242248  1066319 | 2147483647    57522     72 |  0.000 % |
85.12/85.16	c |     57756 |    1581   242248  1066319 | 2147483647    57756     73 |  0.000 % |
85.62/85.67	c |     58013 |    1581   242248  1066319 | 2147483647    58013     73 |  0.000 % |
86.22/86.23	c |     58296 |    1581   242248  1066319 | 2147483647    58296     73 |  0.000 % |
86.72/86.72	c |     58609 |    1581   242248  1066319 | 2147483647    58609     73 |  0.000 % |
87.32/87.36	c |     58949 |    1581   242248  1066319 | 2147483647    58949     73 |  0.000 % |
87.92/87.92	c |     59322 |    1581   242248  1066319 | 2147483647    59322     73 |  0.000 % |
88.42/88.42	c |     59732 |    1581   242248  1066319 | 2147483647    59732     73 |  0.000 % |
89.22/89.28	c |     60181 |    1581   242248  1066319 | 2147483647    60181     73 |  0.000 % |
90.22/90.28	c |     60678 |    1581   242248  1066319 | 2147483647    60678     73 |  0.000 % |
91.12/91.19	c |     61222 |    1581   242248  1066319 | 2147483647    61222     73 |  0.000 % |
91.72/91.80	c |     61819 |    1581   242248  1066319 | 2147483647    61819     73 |  0.000 % |
92.52/92.58	c |     62476 |    1581   242248  1066319 | 2147483647    62476     72 |  0.000 % |
93.52/93.55	c |     63198 |    1581   242248  1066319 | 2147483647    63198     73 |  0.000 % |
94.92/94.93	c |     63991 |    1581   242248  1066319 | 2147483647    63991     73 |  0.000 % |
95.02/95.08	c |     64091 |    1581   242248  1066319 | 2147483647    64091     73 |  0.000 % |
95.32/95.31	c |     64201 |    1581   242248  1066319 | 2147483647    64201     73 |  0.000 % |
95.42/95.43	c |     64323 |    1581   242248  1066319 | 2147483647    64323     73 |  0.000 % |
95.62/95.68	c |     64457 |    1581   242248  1066319 | 2147483647    64457     73 |  0.000 % |
95.92/95.92	c |     64604 |    1581   242248  1066319 | 2147483647    64604     73 |  0.000 % |
96.12/96.17	c |     64765 |    1581   242248  1066319 | 2147483647    64765     73 |  0.000 % |
96.32/96.35	c |     64943 |    1581   242248  1066319 | 2147483647    64943     73 |  0.000 % |
96.52/96.56	c |     65137 |    1581   242248  1066319 | 2147483647    65137     73 |  0.000 % |
96.82/96.84	c |     65351 |    1581   242248  1066319 | 2147483647    65351     73 |  0.000 % |
97.02/97.09	c |     65584 |    1581   242248  1066319 | 2147483647    65584     73 |  0.000 % |
97.52/97.52	c |     65840 |    1581   242248  1066319 | 2147483647    65840     73 |  0.000 % |
97.82/97.84	c |     66122 |    1581   242248  1066319 | 2147483647    66122     73 |  0.000 % |
98.12/98.18	c |     66431 |    1581   242248  1066319 | 2147483647    66431     73 |  0.000 % |
98.42/98.41	c |     66770 |    1581   242248  1066319 | 2147483647    66770     73 |  0.000 % |
98.82/98.86	c |     67142 |    1581   242248  1066319 | 2147483647    67142     73 |  0.000 % |
99.22/99.30	c |     67552 |    1581   242248  1066319 | 2147483647    67552     73 |  0.000 % |
99.72/99.71	c |     68001 |    1581   242248  1066319 | 2147483647    68001     73 |  0.000 % |
100.22/100.26	c |     68494 |    1581   242248  1066319 | 2147483647    68494     73 |  0.000 % |
100.82/100.84	c |     69036 |    1581   242248  1066319 | 2147483647    69036     74 |  0.000 % |
101.52/101.57	c |     69633 |    1581   242248  1066319 | 2147483647    69633     74 |  0.000 % |
102.22/102.22	c |     70290 |    1581   242248  1066319 | 2147483647    70290     74 |  0.000 % |
102.72/102.76	c |     71012 |    1581   242248  1066319 | 2147483647    71012     74 |  0.000 % |
103.22/103.31	c |     71804 |    1581   242248  1066319 | 2147483647    71804     74 |  0.000 % |
103.92/103.96	c |     72675 |    1581   242248  1066319 | 2147483647    72675     74 |  0.000 % |
104.02/104.07	c |     72775 |    1581   242248  1066319 | 2147483647    72775     74 |  0.000 % |
104.12/104.19	c |     72885 |    1581   242248  1066319 | 2147483647    72885     74 |  0.000 % |
104.22/104.29	c |     73006 |    1581   242248  1066319 | 2147483647    73006     74 |  0.000 % |
104.42/104.43	c |     73141 |    1581   242248  1066319 | 2147483647    73141     74 |  0.000 % |
104.52/104.57	c |     73287 |    1581   242248  1066319 | 2147483647    73287     74 |  0.000 % |
104.62/104.69	c |     73450 |    1581   242248  1066319 | 2147483647    73450     74 |  0.000 % |
104.82/104.87	c |     73626 |    1581   242248  1066319 | 2147483647    73626     74 |  0.000 % |
105.02/105.09	c |     73819 |    1581   242248  1066319 | 2147483647    73819     74 |  0.000 % |
105.42/105.45	c |     74034 |    1581   242248  1066319 | 2147483647    74034     74 |  0.000 % |
105.72/105.73	c |     74268 |    1581   242248  1066319 | 2147483647    74268     74 |  0.000 % |
106.02/106.06	c |     74526 |    1581   242248  1066319 | 2147483647    74526     74 |  0.000 % |
106.42/106.41	c |     74808 |    1581   242248  1066319 | 2147483647    74808     74 |  0.000 % |
106.82/106.83	c |     75117 |    1581   242248  1066319 | 2147483647    75117     75 |  0.000 % |
107.22/107.30	c |     75456 |    1581   242248  1066319 | 2147483647    75456     75 |  0.000 % |
107.82/107.81	c |     75828 |    1581   242248  1066319 | 2147483647    75828     75 |  0.000 % |
108.22/108.30	c |     76238 |    1581   242248  1066319 | 2147483647    76238     75 |  0.000 % |
108.82/108.82	c |     76688 |    1581   242248  1066319 | 2147483647    76688     75 |  0.000 % |
109.32/109.37	c |     77183 |    1581   242248  1066319 | 2147483647    77183     75 |  0.000 % |
109.82/109.90	c |     77725 |    1581   242248  1066319 | 2147483647    77725     75 |  0.000 % |
111.02/111.08	c |     78321 |    1581   242248  1066319 | 2147483647    78321     75 |  0.000 % |
112.22/112.23	c |     78977 |    1581   242248  1066319 | 2147483647    78977     75 |  0.000 % |
113.02/113.07	c |     79700 |    1581   242248  1066319 | 2147483647    79700     75 |  0.000 % |
114.02/114.03	c |     80492 |    1581   242248  1066319 | 2147483647    80492     75 |  0.000 % |
115.63/115.63	c |     81364 |    1581   242248  1066319 | 2147483647    81364     76 |  0.000 % |
116.82/116.86	c |     82322 |    1581   242248  1066319 | 2147483647    82322     76 |  0.000 % |
117.02/117.03	c |     82424 |    1581   242248  1066319 | 2147483647    82424     76 |  0.000 % |
117.32/117.31	c |     82536 |    1581   242248  1066319 | 2147483647    82536     76 |  0.000 % |
117.52/117.54	c |     82657 |    1581   242248  1066319 | 2147483647    82657     76 |  0.000 % |
117.72/117.76	c |     82790 |    1581   242248  1066319 | 2147483647    82790     76 |  0.000 % |
118.12/118.13	c |     82936 |    1581   242248  1066319 | 2147483647    82936     76 |  0.000 % |
118.42/118.49	c |     83097 |    1581   242248  1066319 | 2147483647    83097     76 |  0.000 % |
118.82/118.86	c |     83275 |    1581   242248  1066319 | 2147483647    83275     76 |  0.000 % |
119.12/119.20	c |     83469 |    1581   242248  1066319 | 2147483647    83469     76 |  0.000 % |
119.52/119.59	c |     83682 |    1581   242248  1066319 | 2147483647    83682     76 |  0.000 % |
119.92/119.99	c |     83917 |    1581   242248  1066319 | 2147483647    83917     76 |  0.000 % |
120.42/120.45	c |     84173 |    1581   242248  1066319 | 2147483647    84173     76 |  0.000 % |
120.82/120.89	c |     84455 |    1581   242248  1066319 | 2147483647    84455     76 |  0.000 % |
121.32/121.38	c |     84764 |    1581   242248  1066319 | 2147483647    84764     76 |  0.000 % |
122.02/122.06	c |     85104 |    1581   242248  1066319 | 2147483647    85104     76 |  0.000 % |
122.92/122.93	c |     85476 |    1581   242248  1066319 | 2147483647    85476     76 |  0.000 % |
123.52/123.55	c |     85886 |    1581   242248  1066319 | 2147483647    85886     76 |  0.000 % |
124.22/124.30	c |     86337 |    1581   242248  1066319 | 2147483647    86337     76 |  0.000 % |
125.22/125.29	c |     86834 |    1581   242248  1066319 | 2147483647    86834     76 |  0.000 % |
126.52/126.56	c |     87376 |    1581   242248  1066319 | 2147483647    87376     76 |  0.000 % |
127.42/127.41	c |     87972 |    1581   242248  1066319 | 2147483647    87972     76 |  0.000 % |
128.32/128.35	c |     88627 |    1581   242248  1066319 | 2147483647    88627     76 |  0.000 % |
129.62/129.70	c |     89350 |    1581   242248  1066319 | 2147483647    89350     76 |  0.000 % |
131.22/131.30	c |     90142 |    1581   242248  1066319 | 2147483647    90142     76 |  0.000 % |
132.52/132.57	c |     91013 |    1581   242248  1066319 | 2147483647    91013     76 |  0.000 % |
133.92/133.96	c |     91971 |    1581   242248  1066319 | 2147483647    91971     76 |  0.000 % |
136.22/136.26	c |     93024 |    1581   242248  1066319 | 2147483647    93024     76 |  0.000 % |
136.53/136.57	c |     93124 |    1581   242248  1066319 | 2147483647    93124     76 |  0.000 % |
136.82/136.82	c |     93236 |    1581   242248  1066319 | 2147483647    93236     76 |  0.000 % |
137.02/137.11	c |     93358 |    1581   242248  1066319 | 2147483647    93358     76 |  0.000 % |
137.32/137.39	c |     93495 |    1581   242248  1066319 | 2147483647    93495     76 |  0.000 % |
137.63/137.66	c |     93641 |    1581   242248  1066319 | 2147483647    93641     76 |  0.000 % |
137.92/137.98	c |     93801 |    1581   242248  1066319 | 2147483647    93801     76 |  0.000 % |
138.31/138.35	c |     93979 |    1581   242248  1066319 | 2147483647    93979     76 |  0.000 % |
138.81/138.83	c |     94173 |    1581   242248  1066319 | 2147483647    94173     76 |  0.000 % |
139.21/139.24	c |     94386 |    1581   242248  1066319 | 2147483647    94386     76 |  0.000 % |
139.71/139.73	c |     94619 |    1581   242248  1066319 | 2147483647    94619     76 |  0.000 % |
140.21/140.23	c |     94877 |    1581   242248  1066319 | 2147483647    94877     76 |  0.000 % |
140.41/140.46	c |     95158 |    1581   242248  1066319 | 2147483647    95158     76 |  0.000 % |
140.81/140.84	c |     95467 |    1581   242248  1066319 | 2147483647    95467     76 |  0.000 % |
141.21/141.20	c |     95807 |    1581   242248  1066319 | 2147483647    95807     76 |  0.000 % |
141.61/141.60	c |     96179 |    1581   242248  1066319 | 2147483647    96179     76 |  0.001 % |
141.91/141.98	c |     96588 |    1581   242248  1066319 | 2147483647    96588     76 |  0.000 % |
142.91/142.96	c |     97038 |    1581   242248  1066319 | 2147483647    97038     76 |  0.000 % |
143.81/143.89	c |     97533 |    1581   242248  1066319 | 2147483647    97533     76 |  0.000 % |
144.71/144.74	c |     98076 |    1581   242248  1066319 | 2147483647    98076     76 |  0.000 % |
145.81/145.87	c |     98673 |    1581   242248  1066319 | 2147483647    98673     77 |  0.000 % |
147.21/147.26	c |     99330 |    1581   242248  1066319 | 2147483647    99330     77 |  0.000 % |
148.71/148.78	c |    100050 |    1581   242248  1066319 | 2147483647   100050     77 |  0.000 % |
150.11/150.12	c |    100843 |    1581   242248  1066319 | 2147483647   100843     77 |  0.000 % |
151.92/151.91	c |    101714 |    1581   242248  1066319 | 2147483647   101714     77 |  0.000 % |
153.41/153.42	c |    102673 |    1581   242248  1066319 | 2147483647   102673     77 |  0.000 % |
154.81/154.87	c |    103726 |    1581   242248  1066319 | 2147483647   103726     77 |  0.000 % |
156.51/156.53	c |    104884 |    1581   242248  1066319 | 2147483647   104884     77 |  0.000 % |
156.61/156.69	c |    104984 |    1581   242248  1066319 | 2147483647   104984     77 |  0.000 % |
156.91/156.94	c |    105095 |    1581   242248  1066319 | 2147483647   105095     77 |  0.000 % |
157.21/157.25	c |    105222 |    1581   242248  1066319 | 2147483647   105222     77 |  0.000 % |
157.51/157.54	c |    105356 |    1581   242248  1066319 | 2147483647   105356     77 |  0.000 % |
157.81/157.81	c |    105503 |    1581   242248  1066319 | 2147483647   105503     77 |  0.000 % |
158.01/158.07	c |    105663 |    1581   242248  1066319 | 2147483647   105663     77 |  0.000 % |
158.52/158.51	c |    105839 |    1581   242248  1066319 | 2147483647   105839     77 |  0.000 % |
158.81/158.88	c |    106032 |    1581   242248  1066319 | 2147483647   106032     77 |  0.000 % |
159.31/159.39	c |    106245 |    1581   242248  1066319 | 2147483647   106245     77 |  0.000 % |
159.81/159.85	c |    106480 |    1581   242248  1066319 | 2147483647   106480     77 |  0.000 % |
160.22/160.26	c |    106736 |    1581   242248  1066319 | 2147483647   106736     77 |  0.000 % |
160.82/160.82	c |    107017 |    1581   242248  1066319 | 2147483647   107017     77 |  0.000 % |
161.42/161.43	c |    107328 |    1581   242248  1066319 | 2147483647   107328     77 |  0.000 % |
161.92/161.98	c |    107670 |    1581   242248  1066319 | 2147483647   107670     77 |  0.000 % |
162.62/162.67	c |    108043 |    1581   242248  1066319 | 2147483647   108043     77 |  0.000 % |
163.82/163.90	c |    108453 |    1581   242248  1066319 | 2147483647   108453     77 |  0.000 % |
164.72/164.76	c |    108902 |    1581   242248  1066319 | 2147483647   108902     77 |  0.000 % |
165.62/165.64	c |    109396 |    1581   242248  1066319 | 2147483647   109396     77 |  0.000 % |
166.62/166.66	c |    109938 |    1581   242248  1066319 | 2147483647   109938     77 |  0.000 % |
167.82/167.84	c |    110534 |    1581   242248  1066319 | 2147483647   110534     77 |  0.000 % |
169.32/169.37	c |    111189 |    1581   242248  1066319 | 2147483647   111189     77 |  0.000 % |
171.12/171.13	c |    111910 |    1581   242248  1066319 | 2147483647   111910     77 |  0.000 % |
173.22/173.23	c |    112703 |    1581   242248  1066319 | 2147483647   112703     77 |  0.000 % |
175.32/175.31	c |    113576 |    1581   242248  1066319 | 2147483647   113576     77 |  0.000 % |
177.72/177.75	c |    114536 |    1581   242248  1066319 | 2147483647   114536     77 |  0.000 % |
180.12/180.13	c |    115589 |    1581   242248  1066319 | 2147483647   115589     77 |  0.000 % |
182.82/182.86	c |    116749 |    1581   242248  1066319 | 2147483647   116749     77 |  0.000 % |
185.32/185.33	c |    118022 |    1581   242248  1066319 | 2147483647   118022     77 |  0.000 % |
185.52/185.55	c |    118122 |    1581   242248  1066319 | 2147483647   118122     77 |  0.000 % |
185.82/185.85	c |    118233 |    1581   242248  1066319 | 2147483647   118233     77 |  0.000 % |
186.12/186.14	c |    118354 |    1581   242248  1066319 | 2147483647   118354     77 |  0.000 % |
186.42/186.43	c |    118488 |    1581   242248  1066319 | 2147483647   118488     77 |  0.000 % |
186.82/186.88	c |    118635 |    1581   242248  1066319 | 2147483647   118635     77 |  0.000 % |
187.22/187.29	c |    118797 |    1581   242248  1066319 | 2147483647   118797     77 |  0.000 % |
187.72/187.74	c |    118974 |    1581   242248  1066319 | 2147483647   118974     77 |  0.000 % |
188.22/188.28	c |    119167 |    1581   242248  1066319 | 2147483647   119167     77 |  0.000 % |
188.82/188.88	c |    119380 |    1581   242248  1066319 | 2147483647   119380     77 |  0.000 % |
189.42/189.41	c |    119616 |    1581   242248  1066319 | 2147483647   119616     77 |  0.000 % |
190.02/190.07	c |    119872 |    1581   242248  1066319 | 2147483647   119872     77 |  0.000 % |
190.62/190.62	c |    120154 |    1581   242248  1066319 | 2147483647   120154     77 |  0.000 % |
191.12/191.19	c |    120464 |    1581   242248  1066319 | 2147483647   120464     77 |  0.000 % |
191.92/191.97	c |    120804 |    1581   242248  1066319 | 2147483647   120804     77 |  0.000 % |
192.62/192.68	c |    121176 |    1581   242248  1066319 | 2147483647   121176     77 |  0.000 % |
193.42/193.45	c |    121586 |    1581   242248  1066319 | 2147483647   121586     77 |  0.000 % |
194.72/194.71	c |    122037 |    1581   242248  1066319 | 2147483647   122037     77 |  0.000 % |
195.92/195.96	c |    122532 |    1581   242248  1066319 | 2147483647   122532     78 |  0.000 % |
197.12/197.12	c |    123076 |    1581   242248  1066319 | 2147483647   123076     78 |  0.000 % |
198.12/198.19	c |    123673 |    1581   242248  1066319 | 2147483647   123673     78 |  0.000 % |
199.02/199.08	c |    124328 |    1581   242248  1066319 | 2147483647   124328     78 |  0.000 % |
199.92/199.94	c |    125051 |    1581   242248  1066319 | 2147483647   125051     78 |  0.000 % |
201.02/201.09	c |    125843 |    1581   242248  1066319 | 2147483647   125843     78 |  0.000 % |
202.12/202.14	c |    126715 |    1581   242248  1066319 | 2147483647   126715     78 |  0.000 % |
203.32/203.32	c |    127673 |    1581   242248  1066319 | 2147483647   127673     78 |  0.000 % |
204.82/204.84	c |    128727 |    1581   242248  1066319 | 2147483647   128727     78 |  0.000 % |
206.32/206.32	c |    129887 |    1581   242248  1066319 | 2147483647   129887     78 |  0.000 % |
207.92/207.91	c |    131160 |    1581   242248  1066319 | 2147483647   131160     78 |  0.000 % |
209.72/209.80	c |    132561 |    1581   242248  1066319 | 2147483647   132561     78 |  0.000 % |
210.02/210.07	c |    132661 |    1581   242248  1066319 | 2147483647   132661     78 |  0.000 % |
210.32/210.36	c |    132772 |    1581   242248  1066319 | 2147483647   132772     78 |  0.000 % |
210.62/210.62	c |    132893 |    1581   242248  1066319 | 2147483647   132893     78 |  0.000 % |
210.92/210.92	c |    133027 |    1581   242248  1066319 | 2147483647   133027     78 |  0.000 % |
211.32/211.38	c |    133174 |    1581   242248  1066319 | 2147483647   133174     78 |  0.000 % |
211.52/211.59	c |    133334 |    1581   242248  1066319 | 2147483647   133334     78 |  0.000 % |
211.82/211.83	c |    133510 |    1581   242248  1066319 | 2147483647   133510     78 |  0.000 % |
212.22/212.22	c |    133704 |    1581   242248  1066319 | 2147483647   133704     78 |  0.000 % |
212.52/212.58	c |    133916 |    1581   242248  1066319 | 2147483647   133916     78 |  0.000 % |
212.92/212.97	c |    134150 |    1581   242248  1066319 | 2147483647   134150     78 |  0.000 % |
213.32/213.38	c |    134406 |    1581   242248  1066319 | 2147483647   134406     78 |  0.000 % |
213.92/213.95	c |    134689 |    1581   242248  1066319 | 2147483647   134689     78 |  0.000 % |
214.32/214.40	c |    134999 |    1581   242248  1066319 | 2147483647   134999     78 |  0.000 % |
214.92/214.94	c |    135338 |    1581   242248  1066319 | 2147483647   135338     78 |  0.000 % |
215.42/215.43	c |    135710 |    1581   242248  1066319 | 2147483647   135710     78 |  0.000 % |
215.92/215.99	c |    136120 |    1581   242248  1066319 | 2147483647   136120     78 |  0.000 % |
216.42/216.46	c |    136571 |    1581   242248  1066319 | 2147483647   136571     78 |  0.000 % |
217.02/217.05	c |    137064 |    1581   242248  1066319 | 2147483647   137064     78 |  0.000 % |
217.62/217.62	c |    137606 |    1581   242248  1066319 | 2147483647   137606     78 |  0.000 % |
218.22/218.22	c |    138202 |    1581   242248  1066319 | 2147483647   138202     78 |  0.000 % |
218.92/218.95	c |    138858 |    1581   242248  1066319 | 2147483647   138858     78 |  0.000 % |
219.72/219.79	c |    139579 |    1581   242248  1066319 | 2147483647   139579     78 |  0.000 % |
220.82/220.82	c |    140371 |    1581   242248  1066319 | 2147483647   140371     78 |  0.000 % |
221.92/221.92	c |    141243 |    1581   242248  1066319 | 2147483647   141243     78 |  0.000 % |
223.02/223.10	c |    142203 |    1581   242248  1066319 | 2147483647   142203     78 |  0.000 % |
224.72/224.71	c |    143258 |    1581   242248  1066319 | 2147483647   143258     78 |  0.000 % |
226.32/226.32	c |    144416 |    1581   242248  1066319 | 2147483647   144416     78 |  0.000 % |
228.52/228.55	c |    145689 |    1581   242248  1066319 | 2147483647   145689     78 |  0.000 % |
231.22/231.26	c |    147090 |    1581   242248  1066319 | 2147483647   147090     78 |  0.000 % |
234.62/234.63	c |    148631 |    1581   242248  1066319 | 2147483647   148631     78 |  0.000 % |
234.82/234.88	c |    148732 |    1581   242248  1066319 | 2147483647   148732     78 |  0.000 % |
235.12/235.15	c |    148844 |    1581   242248  1066319 | 2147483647   148844     78 |  0.000 % |
235.42/235.47	c |    148970 |    1581   242248  1066319 | 2147483647   148970     78 |  0.000 % |
235.72/235.78	c |    149103 |    1581   242248  1066319 | 2147483647   149103     78 |  0.000 % |
236.12/236.20	c |    149249 |    1581   242248  1066319 | 2147483647   149249     78 |  0.000 % |
236.63/236.64	c |    149410 |    1581   242248  1066319 | 2147483647   149410     78 |  0.000 % |
237.12/237.11	c |    149586 |    1581   242248  1066319 | 2147483647   149586     78 |  0.000 % |
237.62/237.64	c |    149780 |    1581   242248  1066319 | 2147483647   149780     78 |  0.000 % |
238.22/238.26	c |    149992 |    1581   242248  1066319 | 2147483647   149992     78 |  0.000 % |
238.92/238.92	c |    150227 |    1581   242248  1066319 | 2147483647   150227     78 |  0.000 % |
239.52/239.59	c |    150483 |    1581   242248  1066319 | 2147483647   150483     78 |  0.000 % |
240.32/240.37	c |    150764 |    1581   242248  1066319 | 2147483647   150764     78 |  0.000 % |
241.03/241.07	c |    151074 |    1581   242248  1066319 | 2147483647   151074     78 |  0.000 % |
242.02/242.03	c |    151415 |    1581   242248  1066319 | 2147483647   151415     78 |  0.000 % |
243.02/243.03	c |    151787 |    1581   242248  1066319 | 2147483647   151787     78 |  0.000 % |
244.33/244.34	c |    152198 |    1581   242248  1066319 | 2147483647   152198     78 |  0.000 % |
245.43/245.49	c |    152648 |    1581   242248  1066319 | 2147483647   152648     78 |  0.000 % |
246.72/246.77	c |    153143 |    1581   242248  1066319 | 2147483647   153143     78 |  0.000 % |
248.42/248.43	c |    153686 |    1581   242248  1066319 | 2147483647   153686     78 |  0.000 % |
249.92/249.99	c |    154285 |    1581   242248  1066319 | 2147483647   154285     78 |  0.000 % |
251.32/251.38	c |    154940 |    1581   242248  1066319 | 2147483647   154940     78 |  0.000 % |
253.22/253.26	c |    155663 |    1581   242248  1066319 | 2147483647   155663     79 |  0.000 % |
255.72/255.76	c |    156455 |    1581   242248  1066319 | 2147483647   156455     79 |  0.000 % |
258.82/258.83	c |    157327 |    1581   242248  1066319 | 2147483647   157327     79 |  0.000 % |
261.22/261.23	c |    158285 |    1581   242248  1066319 | 2147483647   158285     79 |  0.000 % |
264.02/264.06	c |    159338 |    1581   242248  1066319 | 2147483647   159338     79 |  0.000 % |
267.12/267.10	c |    160497 |    1581   242248  1066319 | 2147483647   160497     79 |  0.000 % |
270.32/270.37	c |    161771 |    1581   242248  1066319 | 2147483647   161771     79 |  0.000 % |
275.13/275.12	c |    163171 |    1581   242248  1066319 | 2147483647   163171     79 |  0.000 % |
279.03/279.10	c |    164711 |    1581   242248  1066319 | 2147483647   164711     79 |  0.000 % |
282.73/282.76	c |    166406 |    1581   242248  1066319 | 2147483647   166406     79 |  0.000 % |
283.03/283.05	c |    166506 |    1581   242248  1066319 | 2147483647   166506     79 |  0.000 % |
283.63/283.68	c |    166616 |    1581   242248  1066319 | 2147483647   166616     79 |  0.000 % |
284.03/284.04	c |    166739 |    1581   242248  1066319 | 2147483647   166739     79 |  0.000 % |
284.43/284.46	c |    166874 |    1581   242248  1066319 | 2147483647   166874     79 |  0.000 % |
284.83/284.88	c |    167020 |    1581   242248  1066319 | 2147483647   167020     79 |  0.000 % |
285.23/285.26	c |    167181 |    1581   242248  1066319 | 2147483647   167181     79 |  0.000 % |
285.63/285.69	c |    167357 |    1581   242248  1066319 | 2147483647   167357     79 |  0.000 % |
286.13/286.16	c |    167551 |    1581   242248  1066319 | 2147483647   167551     79 |  0.000 % |
286.63/286.66	c |    167763 |    1581   242248  1066319 | 2147483647   167763     79 |  0.000 % |
287.83/287.84	c |    167996 |    1581   242248  1066319 | 2147483647   167996     79 |  0.000 % |
288.73/288.78	c |    168252 |    1581   242248  1066319 | 2147483647   168252     79 |  0.000 % |
290.03/290.10	c |    168533 |    1581   242248  1066319 | 2147483647   168533     79 |  0.000 % |
291.23/291.29	c |    168842 |    1581   242248  1066319 | 2147483647   168842     79 |  0.001 % |
292.23/292.26	c |    169181 |    1581   242248  1066319 | 2147483647   169181     79 |  0.000 % |
293.63/293.67	c |    169555 |    1581   242248  1066319 | 2147483647   169555     79 |  0.000 % |
295.23/295.31	c |    169964 |    1581   242248  1066319 | 2147483647   169964     79 |  0.000 % |
296.93/296.96	c |    170414 |    1581   242248  1066319 | 2147483647   170414     79 |  0.000 % |
299.03/299.08	c |    170908 |    1581   242248  1066319 | 2147483647   170908     79 |  0.000 % |
301.23/301.29	c |    171450 |    1581   242248  1066319 | 2147483647   171450     79 |  0.000 % |
302.83/302.85	c |    172046 |    1581   242248  1066319 | 2147483647   172046     79 |  0.000 % |
305.23/305.31	c |    172702 |    1581   242248  1066319 | 2147483647   172702     79 |  0.000 % |
307.73/307.75	c |    173422 |    1581   242248  1066319 | 2147483647   173422     79 |  0.000 % |
310.13/310.16	c |    174214 |    1581   242248  1066319 | 2147483647   174214     79 |  0.000 % |
313.13/313.15	c |    175086 |    1581   242248  1066319 | 2147483647   175086     79 |  0.000 % |
316.03/316.01	c |    176044 |    1581   242248  1066319 | 2147483647   176044     79 |  0.000 % |
319.53/319.57	c |    177097 |    1581   242248  1066319 | 2147483647   177097     79 |  0.000 % |
324.93/325.00	c |    178255 |    1581   242248  1066319 | 2147483647   178255     79 |  0.000 % |
329.63/329.64	c |    179530 |    1581   242248  1066319 | 2147483647   179530     79 |  0.000 % |
334.83/334.90	c |    180930 |    1581   242248  1066319 | 2147483647   180930     79 |  0.000 % |
342.43/342.45	c |    182470 |    1581   242248  1066319 | 2147483647   182470     79 |  0.000 % |
350.73/350.77	c |    184166 |    1581   242248  1066319 | 2147483647   184166     79 |  0.000 % |
357.83/357.88	c |    186029 |    1581   242248  1066319 | 2147483647   186029     79 |  0.000 % |
358.43/358.49	c |    186131 |    1581   242248  1066319 | 2147483647   186131     79 |  0.000 % |
358.93/358.98	c |    186241 |    1581   242248  1066319 | 2147483647   186241     79 |  0.000 % |
359.23/359.25	c |    186363 |    1581   242248  1066319 | 2147483647   186363     79 |  0.000 % |
359.84/359.82	c |    186497 |    1581   242248  1066319 | 2147483647   186497     79 |  0.000 % |
360.53/360.54	c |    186644 |    1581   242248  1066319 | 2147483647   186644     79 |  0.000 % |
361.33/361.37	c |    186805 |    1581   242248  1066319 | 2147483647   186805     79 |  0.000 % |
362.23/362.29	c |    186981 |    1581   242248  1066319 | 2147483647   186981     79 |  0.000 % |
363.33/363.36	c |    187174 |    1581   242248  1066319 | 2147483647   187174     79 |  0.000 % |
364.24/364.24	c |    187389 |    1581   242248  1066319 | 2147483647   187389     79 |  0.000 % |
364.93/364.95	c |    187622 |    1581   242248  1066319 | 2147483647   187622     79 |  0.000 % |
365.93/365.94	c |    187881 |    1581   242248  1066319 | 2147483647   187881     79 |  0.000 % |
367.23/367.29	c |    188162 |    1581   242248  1066319 | 2147483647   188162     79 |  0.000 % |
368.93/368.92	c |    188471 |    1581   242248  1066319 | 2147483647   188471     79 |  0.000 % |
370.03/370.06	c |    188811 |    1581   242248  1066319 | 2147483647   188811     79 |  0.000 % |
371.94/371.93	c |    189183 |    1581   242248  1066319 | 2147483647   189183     79 |  0.000 % |
373.53/373.61	c |    189592 |    1581   242248  1066319 | 2147483647   189592     79 |  0.000 % |
376.43/376.49	c |    190044 |    1581   242248  1066319 | 2147483647   190044     79 |  0.000 % |
378.63/378.61	c |    190537 |    1581   242248  1066319 | 2147483647   190537     79 |  0.000 % |
381.23/381.29	c |    191081 |    1581   242248  1066319 | 2147483647   191081     79 |  0.000 % |
384.13/384.11	c |    191677 |    1581   242248  1066319 | 2147483647   191677     79 |  0.000 % |
387.73/387.80	c |    192333 |    1581   242248  1066319 | 2147483647   192333     79 |  0.000 % |
391.64/391.69	c |    193053 |    1581   242248  1066319 | 2147483647   193053     79 |  0.000 % |
396.84/396.82	c |    193846 |    1581   242248  1066319 | 2147483647   193846     79 |  0.000 % |
401.34/401.34	c |    194717 |    1581   242248  1066319 | 2147483647   194717     79 |  0.000 % |
406.24/406.23	c |    195675 |    1581   242248  1066319 | 2147483647   195675     79 |  0.000 % |
412.84/412.83	c |    196728 |    1581   242248  1066319 | 2147483647   196728     79 |  0.000 % |
418.44/418.50	c |    197886 |    1581   242248  1066319 | 2147483647   197886     79 |  0.000 % |
425.54/425.53	c |    199159 |    1581   242248  1066319 | 2147483647   199159     79 |  0.000 % |
428.54/428.57	c |    200559 |    1581   242248  1066319 | 2147483647   200559     79 |  0.000 % |
438.34/438.33	c |    202099 |    1581   242248  1066319 | 2147483647   202099     79 |  0.000 % |
447.54/447.60	c |    203794 |    1581   242248  1066319 | 2147483647   203794     80 |  0.000 % |
459.14/459.17	c |    205658 |    1581   242248  1066319 | 2147483647   205658     80 |  0.000 % |
471.44/471.48	c |    207709 |    1581   242248  1066319 | 2147483647   207709     80 |  0.000 % |
472.14/472.16	c |    207809 |    1581   242248  1066319 | 2147483647   207809     80 |  0.000 % |
472.64/472.71	c |    207920 |    1581   242248  1066319 | 2147483647   207920     80 |  0.000 % |
473.24/473.26	c |    208041 |    1581   242248  1066319 | 2147483647   208041     80 |  0.000 % |
474.25/474.26	c |    208177 |    1581   242248  1066319 | 2147483647   208177     80 |  0.000 % |
474.94/474.94	c |    208325 |    1581   242248  1066319 | 2147483647   208325     80 |  0.000 % |
475.64/475.70	c |    208485 |    1581   242248  1066319 | 2147483647   208485     80 |  0.000 % |
476.64/476.62	c |    208662 |    1581   242248  1066319 | 2147483647   208662     80 |  0.000 % |
477.64/477.62	c |    208855 |    1581   242248  1066319 | 2147483647   208855     80 |  0.000 % |
478.14/478.19	c |    209067 |    1581   242248  1066319 | 2147483647   209067     80 |  0.000 % |
479.44/479.49	c |    209301 |    1581   242248  1066319 | 2147483647   209301     80 |  0.000 % |
480.44/480.49	c |    209559 |    1581   242248  1066319 | 2147483647   209559     80 |  0.000 % |
482.34/482.36	c |    209843 |    1581   242248  1066319 | 2147483647   209843     80 |  0.000 % |
484.34/484.41	c |    210152 |    1581   242248  1066319 | 2147483647   210152     80 |  0.000 % |
486.44/486.49	c |    210493 |    1581   242248  1066319 | 2147483647   210493     80 |  0.000 % |
488.74/488.72	c |    210865 |    1581   242248  1066319 | 2147483647   210865     80 |  0.000 % |
490.64/490.64	c |    211274 |    1581   242248  1066319 | 2147483647   211274     80 |  0.000 % |
492.95/492.96	c |    211723 |    1581   242248  1066319 | 2147483647   211723     80 |  0.000 % |
495.34/495.34	c |    212217 |    1581   242248  1066319 | 2147483647   212217     80 |  0.000 % |
498.23/498.30	c |    212759 |    1581   242248  1066319 | 2147483647   212759     80 |  0.000 % |
501.74/501.73	c |    213356 |    1581   242248  1066319 | 2147483647   213356     80 |  0.000 % |
505.84/505.86	c |    214011 |    1581   242248  1066319 | 2147483647   214011     80 |  0.000 % |
509.34/509.36	c |    214733 |    1581   242248  1066319 | 2147483647   214733     80 |  0.000 % |
513.24/513.23	c |    215525 |    1581   242248  1066319 | 2147483647   215525     80 |  0.000 % |
518.84/518.85	c |    216396 |    1581   242248  1066319 | 2147483647   216396     80 |  0.000 % |
524.64/524.67	c |    217354 |    1581   242248  1066319 | 2147483647   217354     80 |  0.000 % |
529.54/529.54	c |    218408 |    1581   242248  1066319 | 2147483647   218408     80 |  0.000 % |
534.74/534.76	c |    219569 |    1581   242248  1066319 | 2147483647   219569     80 |  0.000 % |
541.84/541.84	c |    220842 |    1581   242248  1066319 | 2147483647   220842     80 |  0.000 % |
547.94/547.91	c |    222242 |    1581   242248  1066319 | 2147483647   222242     80 |  0.000 % |
554.64/554.64	c |    223785 |    1581   242248  1066319 | 2147483647   223785     80 |  0.000 % |
563.04/563.10	c |    225479 |    1581   242248  1066319 | 2147483647   225479     80 |  0.000 % |
574.44/574.50	c |    227344 |    1581   242248  1066319 | 2147483647   227344     79 |  0.000 % |
584.14/584.20	c |    229393 |    1581   242248  1066319 | 2147483647   229393     79 |  0.000 % |
591.54/591.57	c |    231647 |    1581   242248  1066319 | 2147483647   231647     80 |  0.000 % |
591.84/591.87	c |    231747 |    1581   242248  1066319 | 2147483647   231747     80 |  0.000 % |
592.14/592.18	c |    231858 |    1581   242248  1066319 | 2147483647   231858     80 |  0.000 % |
593.54/593.52	c |    231979 |    1581   242248  1066319 | 2147483647   231979     80 |  0.000 % |
594.94/594.96	c |    232112 |    1581   242248  1066319 | 2147483647   232112     80 |  0.000 % |
596.04/596.09	c |    232258 |    1581   242248  1066319 | 2147483647   232258     80 |  0.000 % |
596.74/596.72	c |    232419 |    1581   242248  1066319 | 2147483647   232419     79 |  0.000 % |
598.64/598.61	c |    232595 |    1581   242248  1066319 | 2147483647   232595     79 |  0.000 % |
599.34/599.37	c |    232788 |    1581   242248  1066319 | 2147483647   232788     79 |  0.000 % |
600.75/600.80	c |    233001 |    1581   242248  1066319 | 2147483647   233001     79 |  0.000 % |
601.94/602.00	c |    233234 |    1581   242248  1066319 | 2147483647   233234     79 |  0.000 % |
603.94/603.94	c |    233490 |    1581   242248  1066319 | 2147483647   233490     79 |  0.000 % |
605.04/605.06	c |    233772 |    1581   242248  1066319 | 2147483647   233772     80 |  0.000 % |
606.04/606.01	c |    234081 |    1581   242248  1066319 | 2147483647   234081     80 |  0.000 % |
609.24/609.26	c |    234421 |    1581   242248  1066319 | 2147483647   234421     80 |  0.000 % |
611.04/611.03	c |    234793 |    1581   242248  1066319 | 2147483647   234793     80 |  0.000 % |
616.54/616.56	c |    235202 |    1581   242248  1066319 | 2147483647   235202     80 |  0.000 % |
618.35/618.36	c |    235651 |    1581   242248  1066319 | 2147483647   235651     80 |  0.000 % |
621.65/621.63	c |    236145 |    1581   242248  1066319 | 2147483647   236145     80 |  0.000 % |
623.95/623.99	c |    236687 |    1581   242248  1066319 | 2147483647   236687     80 |  0.000 % |
627.45/627.45	c |    237285 |    1581   242248  1066319 | 2147483647   237285     80 |  0.000 % |
629.65/629.65	c |    237941 |    1581   242248  1066319 | 2147483647   237941     80 |  0.000 % |
631.15/631.18	c |    238661 |    1581   242248  1066319 | 2147483647   238661     80 |  0.000 % |
633.45/633.43	c |    239456 |    1581   242248  1066319 | 2147483647   239456     80 |  0.000 % |
635.85/635.82	c |    240327 |    1581   242248  1066319 | 2147483647   240327     80 |  0.000 % |
645.55/645.51	c |    241285 |    1581   242248  1066319 | 2147483647   241285     80 |  0.000 % |
651.45/651.49	c |    242341 |    1581   242248  1066319 | 2147483647   242341     80 |  0.000 % |
661.45/661.45	c |    243500 |    1581   242248  1066319 | 2147483647   243500     79 |  0.000 % |
666.65/666.68	c |    244773 |    1581   242248  1066319 | 2147483647   244773     80 |  0.000 % |
675.05/675.07	c |    246174 |    1581   242248  1066319 | 2147483647   246174     80 |  0.000 % |
681.35/681.40	c |    247714 |    1581   242248  1066319 | 2147483647   247714     80 |  0.000 % |
689.15/689.20	c |    249408 |    1581   242248  1066319 | 2147483647   249408     80 |  0.000 % |
701.25/701.26	c |    251271 |    1581   242248  1066319 | 2147483647   251271     79 |  0.000 % |
710.55/710.55	c |    253323 |    1581   242248  1066319 | 2147483647   253323     79 |  0.000 % |
721.05/721.09	c |    255576 |    1581   242248  1066319 | 2147483647   255576     79 |  0.000 % |
731.75/731.75	c |    258055 |    1581   242248  1066319 | 2147483647   258055     79 |  0.000 % |
733.26/733.26	c |    258155 |    1581   242248  1066319 | 2147483647   258155     79 |  0.000 % |
734.26/734.22	c |    258265 |    1581   242248  1066319 | 2147483647   258265     79 |  0.000 % |
735.26/735.25	c |    258388 |    1581   242248  1066319 | 2147483647   258388     79 |  0.000 % |
735.96/736.01	c |    258521 |    1581   242248  1066319 | 2147483647   258521     79 |  0.000 % |
737.96/737.93	c |    258667 |    1581   242248  1066319 | 2147483647   258667     79 |  0.000 % |
738.96/739.00	c |    258828 |    1581   242248  1066319 | 2147483647   258828     79 |  0.000 % |
739.66/739.67	c |    259008 |    1581   242248  1066319 | 2147483647   259008     79 |  0.000 % |
742.86/742.88	c |    259201 |    1581   242248  1066319 | 2147483647   259201     79 |  0.000 % |
744.46/744.47	c |    259415 |    1581   242248  1066319 | 2147483647   259415     79 |  0.000 % |
745.06/745.11	c |    259648 |    1581   242248  1066319 | 2147483647   259648     79 |  0.000 % |
747.06/747.05	c |    259904 |    1581   242248  1066319 | 2147483647   259904     79 |  0.000 % |
749.26/749.30	c |    260185 |    1581   242248  1066319 | 2147483647   260185     79 |  0.000 % |
752.26/752.26	c |    260494 |    1581   242248  1066319 | 2147483647   260494     79 |  0.000 % |
754.56/754.58	c |    260836 |    1581   242248  1066319 | 2147483647   260836     79 |  0.000 % |
756.66/756.62	c |    261208 |    1581   242248  1066319 | 2147483647   261208     79 |  0.000 % |
759.96/759.95	c |    261618 |    1581   242248  1066319 | 2147483647   261618     79 |  0.000 % |
763.86/763.89	c |    262067 |    1581   242248  1066319 | 2147483647   262067     79 |  0.000 % |
769.86/769.87	c |    262564 |    1581   242248  1066319 | 2147483647   262564     79 |  0.000 % |
775.06/775.06	c |    263106 |    1581   242248  1066319 | 2147483647   263106     79 |  0.000 % |
777.26/777.30	c |    263709 |    1581   242248  1066319 | 2147483647   263709     79 |  0.000 % |
782.96/783.00	c |    264365 |    1581   242248  1066319 | 2147483647   264365     79 |  0.000 % |
787.56/787.59	c |    265087 |    1581   242248  1066319 | 2147483647   265087     79 |  0.000 % |
794.26/794.24	c |    265879 |    1581   242248  1066319 | 2147483647   265879     79 |  0.000 % |
803.16/803.21	c |    266750 |    1581   242248  1066319 | 2147483647   266750     79 |  0.000 % |
809.36/809.34	c |    267709 |    1581   242248  1066319 | 2147483647   267709     79 |  0.000 % |
815.27/815.27	c |    268765 |    1581   242248  1066319 | 2147483647   268765     79 |  0.000 % |
819.86/819.83	c |    269925 |    1581   242248  1066319 | 2147483647   269925     79 |  0.000 % |
830.56/830.58	c |    271199 |    1581   242248  1066319 | 2147483647   271199     78 |  0.000 % |
839.66/839.65	c |    272604 |    1581   242248  1066319 | 2147483647   272604     78 |  0.000 % |
848.07/848.08	c |    274145 |    1581   242248  1066319 | 2147483647   274145     78 |  0.000 % |
857.36/857.32	c |    275839 |    1581   242248  1066319 | 2147483647   275839     78 |  0.000 % |
870.46/870.48	c |    277704 |    1581   242248  1066319 | 2147483647   277704     78 |  0.000 % |
880.26/880.22	c |    279754 |    1581   242248  1066319 | 2147483647   279754     77 |  0.000 % |
892.16/892.21	c |    282007 |    1581   242248  1066319 | 2147483647   282007     77 |  0.000 % |
906.46/906.49	c |    284486 |    1581   242248  1066319 | 2147483647   284486     77 |  0.000 % |
935.36/935.35	c |    287213 |    1581   242248  1066319 | 2147483647   287213     77 |  0.000 % |
936.16/936.16	c |    287314 |    1581   242248  1066319 | 2147483647   287314     77 |  0.000 % |
936.96/936.91	c |    287427 |    1581   242248  1066319 | 2147483647   287427     77 |  0.000 % |
938.36/938.37	c |    287548 |    1581   242248  1066319 | 2147483647   287548     77 |  0.000 % |
939.16/939.17	c |    287682 |    1581   242248  1066319 | 2147483647   287682     78 |  0.000 % |
939.76/939.74	c |    287829 |    1581   242248  1066319 | 2147483647   287829     78 |  0.000 % |
941.06/941.06	c |    287990 |    1581   242248  1066319 | 2147483647   287990     78 |  0.000 % |
943.16/943.17	c |    288166 |    1581   242248  1066319 | 2147483647   288166     78 |  0.000 % |
944.66/944.68	c |    288359 |    1581   242248  1066319 | 2147483647   288359     78 |  0.000 % |
945.56/945.56	c |    288571 |    1581   242248  1066319 | 2147483647   288571     78 |  0.000 % |
947.56/947.55	c |    288805 |    1581   242248  1066319 | 2147483647   288805     78 |  0.000 % |
948.56/948.54	c |    289061 |    1581   242248  1066319 | 2147483647   289061     78 |  0.000 % |
950.16/950.19	c |    289342 |    1581   242248  1066319 | 2147483647   289342     78 |  0.000 % |
951.55/951.53	c |    289652 |    1581   242248  1066319 | 2147483647   289652     78 |  0.000 % |
954.35/954.38	c |    289991 |    1581   242248  1066319 | 2147483647   289991     78 |  0.000 % |
958.26/958.30	c |    290363 |    1581   242248  1066319 | 2147483647   290363     78 |  0.000 % |
959.85/959.80	c |    290773 |    1581   242248  1066319 | 2147483647   290773     78 |  0.000 % |
961.56/961.53	c |    291222 |    1581   242248  1066319 | 2147483647   291222     78 |  0.000 % |
964.66/964.62	c |    291716 |    1581   242248  1066319 | 2147483647   291716     78 |  0.000 % |
967.06/967.04	c |    292258 |    1581   242248  1066319 | 2147483647   292258     78 |  0.000 % |
970.06/970.06	c |    292854 |    1581   242248  1066319 | 2147483647   292854     78 |  0.000 % |
980.06/980.08	c |    293510 |    1581   242248  1066319 | 2147483647   293510     78 |  0.000 % |
983.26/983.29	c |    294233 |    1581   242248  1066319 | 2147483647   294233     78 |  0.000 % |
986.76/986.72	c |    295027 |    1581   242248  1066319 | 2147483647   295027     78 |  0.000 % |
993.06/993.07	c |    295901 |    1581   242248  1066319 | 2147483647   295901     78 |  0.000 % |
998.36/998.41	c |    296859 |    1581   242248  1066319 | 2147483647   296859     78 |  0.000 % |
1008.66/1008.61	c |    297913 |    1581   242248  1066319 | 2147483647   297913     78 |  0.000 % |
1014.56/1014.59	c |    299074 |    1581   242248  1066319 | 2147483647   299074     78 |  0.000 % |
1023.66/1023.63	c |    300348 |    1581   242248  1066319 | 2147483647   300348     78 |  0.000 % |
1027.26/1027.23	c |    301748 |    1581   242248  1066319 | 2147483647   301748     78 |  0.000 % |
1033.46/1033.43	c |    303290 |    1581   242248  1066319 | 2147483647   303290     78 |  0.000 % |
1047.26/1047.24	c |    304984 |    1581   242248  1066319 | 2147483647   304984     78 |  0.000 % |
1054.16/1054.17	c |    306847 |    1581   242248  1066319 | 2147483647   306847     78 |  0.000 % |
1060.46/1060.42	c |    308897 |    1581   242248  1066319 | 2147483647   308897     78 |  0.000 % |
1065.66/1065.64	c |    311150 |    1581   242248  1066319 | 2147483647   311150     78 |  0.000 % |
1071.26/1071.30	c |    313629 |    1581   242248  1066319 | 2147483647   313629     78 |  0.000 % |
1077.57/1077.55	c |    316354 |    1581   242248  1066319 | 2147483647   316354     78 |  0.000 % |
1084.17/1084.21	c |    319352 |    1581   242248  1066319 | 2147483647   319352     78 |  0.000 % |
1084.57/1084.52	c |    319454 |    1581   242248  1066319 | 2147483647   319454     78 |  0.000 % |
1084.77/1084.78	c |    319566 |    1581   242248  1066319 | 2147483647   319566     78 |  0.000 % |
1085.17/1085.12	c |    319688 |    1581   242248  1066319 | 2147483647   319688     78 |  0.000 % |
1085.47/1085.45	c |    319821 |    1581   242248  1066319 | 2147483647   319821     78 |  0.000 % |
1085.67/1085.71	c |    319967 |    1581   242248  1066319 | 2147483647   319967     78 |  0.000 % |
1086.17/1086.12	c |    320129 |    1581   242248  1066319 | 2147483647   320129     78 |  0.000 % |
1086.67/1086.63	c |    320305 |    1581   242248  1066319 | 2147483647   320305     78 |  0.000 % |
1087.27/1087.27	c |    320498 |    1581   242248  1066319 | 2147483647   320498     78 |  0.000 % |
1087.77/1087.76	c |    320714 |    1581   242248  1066319 | 2147483647   320714     78 |  0.000 % |
1088.27/1088.24	c |    320947 |    1581   242248  1066319 | 2147483647   320947     78 |  0.000 % |
1089.27/1089.22	c |    321204 |    1581   242248  1066319 | 2147483647   321204     78 |  0.000 % |
1090.07/1090.03	c |    321486 |    1581   242248  1066319 | 2147483647   321486     78 |  0.000 % |
1090.77/1090.80	c |    321796 |    1581   242248  1066319 | 2147483647   321796     78 |  0.000 % |
1091.67/1091.68	c |    322136 |    1581   242248  1066319 | 2147483647   322136     78 |  0.000 % |
1092.37/1092.39	c |    322509 |    1581   242248  1066319 | 2147483647   322509     78 |  0.000 % |
1093.57/1093.55	c |    322918 |    1581   242248  1066319 | 2147483647   322918     78 |  0.000 % |
1094.77/1094.80	c |    323369 |    1581   242248  1066319 | 2147483647   323369     78 |  0.000 % |
1096.07/1096.04	c |    323866 |    1581   242248  1066319 | 2147483647   323866     78 |  0.000 % |
1097.17/1097.21	c |    324409 |    1581   242248  1066319 | 2147483647   324409     78 |  0.000 % |
1098.57/1098.58	c |    325005 |    1581   242248  1066319 | 2147483647   325005     78 |  0.000 % |
1100.47/1100.44	c |    325661 |    1581   242248  1066319 | 2147483647   325661     78 |  0.000 % |
1102.97/1102.96	c |    326381 |    1581   242248  1066319 | 2147483647   326381     78 |  0.000 % |
1104.67/1104.62	c |    327175 |    1581   242248  1066319 | 2147483647   327175     78 |  0.000 % |
1106.87/1106.83	c |    328046 |    1581   242248  1066319 | 2147483647   328046     78 |  0.000 % |
1109.97/1110.00	c |    329004 |    1581   242248  1066319 | 2147483647   329004     79 |  0.000 % |
1113.37/1113.36	c |    330060 |    1581   242248  1066319 | 2147483647   330060     79 |  0.000 % |
1116.77/1116.75	c |    331218 |    1581   242248  1066319 | 2147483647   331218     79 |  0.000 % |
1119.77/1119.74	c |    332491 |    1581   242248  1066319 | 2147483647   332491     79 |  0.000 % |
1123.07/1123.10	c |    333891 |    1581   242248  1066319 | 2147483647   333891     79 |  0.000 % |
1127.17/1127.17	c |    335431 |    1581   242248  1066319 | 2147483647   335431     79 |  0.000 % |
1132.37/1132.31	c |    337127 |    1581   242248  1066319 | 2147483647   337127     79 |  0.000 % |
1137.97/1137.92	c |    338990 |    1581   242248  1066319 | 2147483647   338990     79 |  0.000 % |
1143.97/1143.98	c |    341039 |    1581   242248  1066319 | 2147483647   341039     79 |  0.000 % |
1150.87/1150.82	c |    343292 |    1581   242248  1066319 | 2147483647   343292     79 |  0.000 % |
1159.07/1159.07	c |    345771 |    1581   242248  1066319 | 2147483647   345771     79 |  0.000 % |
1167.37/1167.31	c |    348496 |    1581   242248  1066319 | 2147483647   348496     79 |  0.000 % |
1176.27/1176.30	c |    351494 |    1581   242248  1066319 | 2147483647   351494     79 |  0.000 % |
1185.67/1185.61	c |    354790 |    1581   242248  1066319 | 2147483647   354790     79 |  0.000 % |
1186.17/1186.16	c |    354894 |    1581   242248  1066319 | 2147483647   354894     79 |  0.000 % |
1186.67/1186.64	c |    355005 |    1581   242248  1066319 | 2147483647   355005     79 |  0.000 % |
1187.47/1187.41	c |    355126 |    1581   242248  1066319 | 2147483647   355126     79 |  0.000 % |
1188.07/1188.05	c |    355259 |    1581   242248  1066319 | 2147483647   355259     79 |  0.000 % |
1188.57/1188.59	c |    355405 |    1581   242248  1066319 | 2147483647   355405     79 |  0.000 % |
1189.28/1189.28	c |    355568 |    1581   242248  1066319 | 2147483647   355568     79 |  0.000 % |
1190.57/1190.60	c |    355744 |    1581   242248  1066319 | 2147483647   355744     79 |  0.000 % |
1191.78/1191.82	c |    355939 |    1581   242248  1066319 | 2147483647   355939     79 |  0.000 % |
1195.58/1195.59	c |    356152 |    1581   242248  1066319 | 2147483647   356152     79 |  0.000 % |
1197.88/1197.82	c |    356386 |    1581   242248  1066319 | 2147483647   356386     79 |  0.000 % |
1200.08/1200.03	HOME/SatELiteGTI: line 36: 16604 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-1821700-1242554050/watcher-1821700-1242554050 -o /tmp/evaluation-result-1821700-1242554050/solver-1821700-1242554050 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821700-1242554050.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: 1.00 1.00 1.00 2/91 16596
/proc/meminfo: memFree=638828/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2412 CPUtime=0
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 366 646 0 0 0 0 0 0 24 0 1 0 1019905331 2469888 276 4294967295 134512640 135169312 3218260768 3218259304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16596/statm: 603 276 235 161 0 42 0
[pid=16600] ppid=16596 vsize=952 CPUtime=0
/proc/16600/stat : 16600 (SatELite_releas) R 16596 16596 9090 0 -1 4202496 114 0 0 0 0 0 0 0 18 0 1 0 1019905332 974848 51 4294967295 134512640 135223648 3218151504 3218150572 134665936 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16600/statm: 239 55 44 174 0 64 0

[startup+0.109273 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 16596
/proc/meminfo: memFree=638828/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2412 CPUtime=0
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 366 646 0 0 0 0 0 0 24 0 1 0 1019905331 2469888 276 4294967295 134512640 135169312 3218260768 3218259304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16596/statm: 603 276 235 161 0 42 0
[pid=16600] ppid=16596 vsize=9948 CPUtime=0.11
/proc/16600/stat : 16600 (SatELite_releas) R 16596 16596 9090 0 -1 4202496 2310 0 0 0 8 3 0 0 18 0 1 0 1019905332 10186752 2246 4294967295 134512640 135223648 3218151504 3218150240 134540952 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16600/statm: 2487 2246 46 174 0 2312 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12360

[startup+0.219267 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 16596
/proc/meminfo: memFree=638828/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2412 CPUtime=0
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 366 646 0 0 0 0 0 0 24 0 1 0 1019905331 2469888 276 4294967295 134512640 135169312 3218260768 3218259304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16596/statm: 603 276 235 161 0 42 0
[pid=16600] ppid=16596 vsize=18352 CPUtime=0.22
/proc/16600/stat : 16600 (SatELite_releas) R 16596 16596 9090 0 -1 4202496 4444 0 0 0 18 4 0 0 18 0 1 0 1019905332 18792448 4380 4294967295 134512640 135223648 3218151504 3218149360 134578219 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16600/statm: 4588 4380 73 174 0 4413 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 20764

[startup+0.319263 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 16596
/proc/meminfo: memFree=638828/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2412 CPUtime=0
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 366 646 0 0 0 0 0 0 24 0 1 0 1019905331 2469888 276 4294967295 134512640 135169312 3218260768 3218259304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16596/statm: 603 276 235 161 0 42 0
[pid=16600] ppid=16596 vsize=19192 CPUtime=0.32
/proc/16600/stat : 16600 (SatELite_releas) R 16596 16596 9090 0 -1 4202496 4656 0 0 0 27 5 0 0 18 0 1 0 1019905332 19652608 4592 4294967295 134512640 135223648 3218151504 3218149240 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16600/statm: 4798 4592 73 174 0 4623 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 21604

[startup+0.719243 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 16596
/proc/meminfo: memFree=638828/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2412 CPUtime=0
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 366 646 0 0 0 0 0 0 24 0 1 0 1019905331 2469888 276 4294967295 134512640 135169312 3218260768 3218259304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16596/statm: 603 276 235 161 0 42 0
[pid=16600] ppid=16596 vsize=22076 CPUtime=0.72
/proc/16600/stat : 16600 (SatELite_releas) R 16596 16596 9090 0 -1 4202496 5143 0 0 0 67 5 0 0 18 0 1 0 1019905332 22605824 5079 4294967295 134512640 135223648 3218151504 3218149504 134549024 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16600/statm: 5519 5079 73 174 0 5344 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 24488

[startup+1.51921 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16601
/proc/meminfo: memFree=613864/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2412 CPUtime=0
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 366 646 0 0 0 0 0 0 24 0 1 0 1019905331 2469888 276 4294967295 134512640 135169312 3218260768 3218259304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16596/statm: 603 276 235 161 0 42 0
[pid=16600] ppid=16596 vsize=27504 CPUtime=1.52
/proc/16600/stat : 16600 (SatELite_releas) R 16596 16596 9090 0 -1 4202496 6154 0 0 0 146 6 0 0 20 0 1 0 1019905332 28164096 6090 4294967295 134512640 135223648 3218151504 3218149600 134585487 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16600/statm: 6876 6090 73 174 0 6701 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 29916

[startup+3.11913 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16603
/proc/meminfo: memFree=613864/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2412 CPUtime=0
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 366 646 0 0 0 0 0 0 24 0 1 0 1019905331 2469888 276 4294967295 134512640 135169312 3218260768 3218259304 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16596/statm: 603 276 235 161 0 42 0
[pid=16600] ppid=16596 vsize=27504 CPUtime=3.12
/proc/16600/stat : 16600 (SatELite_releas) R 16596 16596 9090 0 -1 4202496 6154 0 0 0 306 6 0 0 25 0 1 0 1019905332 28164096 6090 4294967295 134512640 135223648 3218151504 3218149600 134586210 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16600/statm: 6876 6090 73 174 0 6701 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 29916

[startup+6.31897 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16604
/proc/meminfo: memFree=618732/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=15188 CPUtime=2.66
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 3678 0 0 0 262 4 0 0 23 0 1 0 1019905698 15552512 3613 4294967295 134512640 135215339 3218198720 3218196992 134525067 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 3797 3613 73 172 0 3624 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 17604

[startup+12.7187 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16604
/proc/meminfo: memFree=613812/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=19604 CPUtime=9.06
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 4758 0 0 0 902 4 0 0 25 0 1 0 1019905698 20074496 4693 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 4901 4693 73 172 0 4728 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 22020

[startup+25.5181 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16604
/proc/meminfo: memFree=610312/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=23016 CPUtime=21.86
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 5634 0 0 0 2181 5 0 0 25 0 1 0 1019905698 23568384 5569 4294967295 134512640 135215339 3218198720 3218197008 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 5754 5569 73 172 0 5581 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 25432

[startup+51.1268 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16790
/proc/meminfo: memFree=604444/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=29164 CPUtime=47.47
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 7164 0 0 0 4740 7 0 0 25 0 1 0 1019905698 29863936 7099 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 7291 7099 73 172 0 7118 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 31580

[startup+102.314 s]
/proc/loadavg: 1.11 1.03 1.01 2/93 16976
/proc/meminfo: memFree=594268/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=38796 CPUtime=98.66
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 9541 0 0 0 9854 12 0 0 25 0 1 0 1019905698 39727104 9476 4294967295 134512640 135215339 3218198720 3218197008 134528840 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 9699 9476 73 172 0 9526 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 41212

[startup+162.312 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 17165
/proc/meminfo: memFree=580992/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=52372 CPUtime=158.66
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 12922 0 0 0 15852 14 0 0 25 0 1 0 1019905698 53628928 12857 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 13093 12857 73 172 0 12920 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 54788

[startup+222.309 s]
/proc/loadavg: 1.01 1.02 1.00 3/93 17356
/proc/meminfo: memFree=568584/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=64728 CPUtime=218.66
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 15953 0 0 0 21848 18 0 0 25 0 1 0 1019905698 66281472 15888 4294967295 134512640 135215339 3218198720 3218197008 134528784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 16182 15888 73 172 0 16009 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 67144

[startup+282.316 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 17544
/proc/meminfo: memFree=559532/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=73788 CPUtime=278.67
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 18222 0 0 0 27847 20 0 0 25 0 1 0 1019905698 75558912 18157 4294967295 134512640 135215339 3218198720 3218197008 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 18447 18157 73 172 0 18274 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 76204

[startup+342.313 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 17731
/proc/meminfo: memFree=553456/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=79700 CPUtime=338.67
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 19721 0 0 0 33846 21 0 0 25 0 1 0 1019905698 81612800 19656 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 19925 19656 73 172 0 19752 0
Current children cumulated CPU time (s) 342.33

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

/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=93108 CPUtime=518.68
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 22945 0 0 0 51844 24 0 0 25 0 1 0 1019905698 95342592 22880 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 23277 22880 73 172 0 23104 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 95524

[startup+582.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18485
/proc/meminfo: memFree=536716/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=97368 CPUtime=578.68
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 23982 0 0 0 57843 25 0 0 25 0 1 0 1019905698 99704832 23917 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 24342 23917 73 172 0 24169 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 99784

[startup+642.319 s]
/proc/loadavg: 1.00 1.00 1.00 4/93 18676
/proc/meminfo: memFree=525772/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=109824 CPUtime=638.69
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 26724 0 0 0 63839 30 0 0 25 0 1 0 1019905698 112459776 26642 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 27456 26642 73 172 0 27283 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 112240

[startup+702.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18864
/proc/meminfo: memFree=521844/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=113692 CPUtime=698.69
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 27656 0 0 0 69838 31 0 0 25 0 1 0 1019905698 116420608 27574 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 28423 27574 73 172 0 28250 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 116108

[startup+762.323 s]
/proc/loadavg: 1.07 1.02 1.00 3/93 19053
/proc/meminfo: memFree=517868/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=117620 CPUtime=758.7
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 28658 0 0 0 75836 34 0 0 25 0 1 0 1019905698 120442880 28568 4294967295 134512640 135215339 3218198720 3218197008 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 29405 28568 73 172 0 29232 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 120036

[startup+822.32 s]
/proc/loadavg: 1.12 1.04 1.01 3/93 19240
/proc/meminfo: memFree=514760/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=121068 CPUtime=818.7
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 29487 0 0 0 81836 34 0 0 25 0 1 0 1019905698 123973632 29397 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 30267 29397 73 172 0 30094 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 123484

[startup+882.317 s]
/proc/loadavg: 1.04 1.03 1.00 3/93 19428
/proc/meminfo: memFree=512272/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=123216 CPUtime=878.7
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 30010 0 0 0 87835 35 0 0 25 0 1 0 1019905698 126173184 29920 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 30804 29920 73 172 0 30631 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 125632

[startup+942.314 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 19615
/proc/meminfo: memFree=508436/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=127336 CPUtime=938.7
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 30998 0 0 0 93833 37 0 0 25 0 1 0 1019905698 130392064 30908 4294967295 134512640 135215339 3218198720 3218197008 134528776 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 31834 30908 73 172 0 31661 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 129752

[startup+1002.31 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 19807
/proc/meminfo: memFree=504468/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=131596 CPUtime=998.7
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 32012 0 0 0 99831 39 0 0 25 0 1 0 1019905698 134754304 31922 4294967295 134512640 135215339 3218198720 3218197008 134528793 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 32899 31922 73 172 0 32726 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 134012

[startup+1062.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 19996
/proc/meminfo: memFree=499888/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=136272 CPUtime=1058.7
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 33181 0 0 0 105830 40 0 0 25 0 1 0 1019905698 139542528 33091 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 34068 33091 73 172 0 33895 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 138688

[startup+1122.32 s]
/proc/loadavg: 1.00 1.01 1.00 4/93 20183
/proc/meminfo: memFree=491316/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=145208 CPUtime=1118.71
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 35296 0 0 0 111829 42 0 0 25 0 1 0 1019905698 148692992 35206 4294967295 134512640 135215339 3218198720 3218197008 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 36302 35206 73 172 0 36129 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 147624

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20371
/proc/meminfo: memFree=484000/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=152564 CPUtime=1178.71
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 37151 0 0 0 117828 43 0 0 25 0 1 0 1019905698 156225536 37061 4294967295 134512640 135215339 3218198720 3218197008 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 38141 37061 73 172 0 37968 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 154980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20372
/proc/meminfo: memFree=480500/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=156724 CPUtime=1196.42
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 38156 0 0 0 119599 43 0 0 25 0 1 0 1019905698 160485376 37959 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 39181 37959 73 172 0 39008 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 159140

Sending SIGTERM to process tree (bottom up)

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

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20372
/proc/meminfo: memFree=480500/2074464 swapFree=1953004/1959888
[pid=16596] ppid=16594 vsize=2416 CPUtime=3.66
/proc/16596/stat : 16596 (SatELiteGTI) S 16594 16596 9090 0 -1 4194304 385 6803 0 0 0 0 357 9 20 0 1 0 1019905331 2473984 277 4294967295 134512640 135169312 3218260768 3218256984 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16596/statm: 604 277 235 161 0 43 0
[pid=16604] ppid=16596 vsize=156724 CPUtime=1196.42
/proc/16604/stat : 16604 (minisat_static) R 16596 16596 9090 0 -1 4202496 38156 0 0 0 119599 43 0 0 25 0 1 0 1019905698 160485376 37959 4294967295 134512640 135215339 3218198720 3218197008 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/16604/statm: 39181 37959 73 172 0 39008 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 159140

Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.1
CPU user time (s): 1199.56
CPU system time (s): 0.54
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 159140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.56
system time used= 0.54
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45623
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= 21
involuntary context switches= 731

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi19 at 2009-05-17 11:54:10
IDJOB=1821700
IDBENCH=71068
IDSOLVER=657
FILE ID=tipi19/1821700-1242554050
PBS_JOBID=
Free space on /tmp= 8829 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821700-1242554050/watcher-1821700-1242554050 -o /tmp/evaluation-result-1821700-1242554050/solver-1821700-1242554050 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821700-1242554050.cnf

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

MD5SUM BENCH= ecc4810d82e30597ea8451526243ec09
RANDOM SEED= 1564067266

Linux tipi19 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.426
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.39

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
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.426
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.426
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:        638852 kB
Buffers:         49372 kB
Cached:        1263396 kB
SwapCached:       2992 kB
Active:         362456 kB
Inactive:       959892 kB
HighTotal:     1178688 kB
HighFree:        99180 kB
LowTotal:       895776 kB
LowFree:        539672 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:            5756 kB
Writeback:           0 kB
AnonPages:        8576 kB
Mapped:           3424 kB
Slab:           104580 kB
PageTables:        456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87780 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8829 MiB
End job on tipi19 at 2009-05-17 12:14:10