Trace number 1821742

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/
rbcl_xits_08_UNSAT.cnf
MD5SUM66aa2e18c32a02f55a810347a9702c7f
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 variables1278
Number of clauses68055
Sum of the clauses size202155
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22148
Number of clauses of size 365884
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data

0.00/0.00	c Parsing...
0.00/0.04	c ==============================================================================
0.00/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   68055   202155 |   20416       0        0     nan |  0.000 % |
0.51/0.51	c |         0 |   67183   284754 |      --       0       --      -- |     --   | -872/82599
0.51/0.51	c ==============================================================================
0.51/0.51	c Result  :   #vars: 763   #clauses: 67183   #literals: 284754
0.51/0.51	c CPU time:   0.51 s
0.51/0.51	c ==============================================================================
0.51/0.60	c This is MiniSat 2.0 beta
0.51/0.60	c WARNING: for repeatability, setting FPU to use double precision
0.51/0.60	c ============================[ Problem Statistics ]=============================
0.51/0.60	c |                                                                             |
0.51/0.60	c |  Number of variables:  763                                                  |
0.51/0.60	c |  Number of clauses:    67183                                                |
0.60/0.64	c |  Parsing time:         0.04         s                                       |
0.60/0.65	c ============================[ Search Statistics ]==============================
0.60/0.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.60/0.65	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.60/0.65	c ===============================================================================
0.60/0.65	c |         0 |     763    67183   284754 |    22394        0    nan |  0.000 % |
0.60/0.69	c |       100 |     763    67183   284754 |    22394      100     42 |  0.000 % |
0.60/0.74	c |       201 |     763    67183   284754 |    22394      201     37 |  0.000 % |
0.60/0.78	c |       304 |     763    67183   284754 |    22394      304     33 |  0.000 % |
0.60/0.84	c |       414 |     763    67183   284754 |    22394      414     31 |  0.000 % |
0.60/0.89	c |       515 |     763    67183   284754 |    22394      515     29 |  0.000 % |
0.60/0.92	c |       625 |     763    67183   284754 |    22394      625     31 |  0.000 % |
0.60/0.96	c |       747 |     763    67183   284754 |    22394      747     32 |  0.000 % |
1.01/1.01	c |       847 |     763    67183   284754 |    22394      847     32 |  0.000 % |
1.01/1.05	c |       959 |     763    67183   284754 |    22394      959     32 |  0.000 % |
1.01/1.09	c |      1081 |     763    67183   284754 |    22394     1081     32 |  0.000 % |
1.12/1.14	c |      1216 |     763    67183   284754 |    22394     1216     33 |  0.000 % |
1.12/1.19	c |      1316 |     763    67183   284754 |    22394     1316     33 |  0.000 % |
1.22/1.24	c |      1426 |     763    67183   284754 |    22394     1426     32 |  0.000 % |
1.22/1.29	c |      1547 |     763    67183   284754 |    22394     1547     31 |  0.000 % |
1.32/1.37	c |      1682 |     763    67183   284754 |    22394     1682     33 |  0.000 % |
1.42/1.43	c |      1828 |     763    67183   284754 |    22394     1828     34 |  0.000 % |
1.42/1.47	c |      1928 |     763    67183   284754 |    22394     1928     34 |  0.000 % |
1.52/1.52	c |      2038 |     763    67183   284754 |    22394     2038     34 |  0.000 % |
1.52/1.57	c |      2159 |     763    67183   284754 |    22394     2159     35 |  0.000 % |
1.62/1.63	c |      2293 |     763    67183   284754 |    22394     2293     35 |  0.000 % |
1.62/1.68	c |      2441 |     763    67183   284754 |    22394     2441     35 |  0.000 % |
1.72/1.72	c |      2602 |     763    67183   284754 |    22394     2602     35 |  0.000 % |
1.72/1.75	c |      2703 |     763    67183   284754 |    22394     2703     35 |  0.000 % |
1.72/1.78	c |      2814 |     763    67183   284754 |    22394     2814     35 |  0.000 % |
1.82/1.83	c |      2935 |     763    67183   284754 |    22394     2935     35 |  0.000 % |
1.82/1.87	c |      3069 |     763    67183   284754 |    22394     3069     35 |  0.000 % |
1.92/1.96	c |      3216 |     763    67183   284754 |    22394     3216     35 |  0.000 % |
2.02/2.03	c |      3377 |     763    67183   284754 |    22394     3377     35 |  0.000 % |
2.02/2.11	c |      3556 |     763    67183   284754 |    22394     3556     35 |  0.000 % |
2.12/2.16	c |      3657 |     763    67183   284754 |    22394     3657     36 |  0.000 % |
2.22/2.22	c |      3768 |     763    67183   284754 |    22394     3768     36 |  0.000 % |
2.22/2.27	c |      3890 |     763    67183   284754 |    22394     3890     36 |  0.000 % |
2.32/2.33	c |      4025 |     763    67183   284754 |    22394     4025     36 |  0.000 % |
2.32/2.41	c |      4171 |     763    67183   284754 |    22394     4171     36 |  0.000 % |
2.42/2.49	c |      4331 |     763    67183   284754 |    22394     4331     37 |  0.000 % |
2.52/2.55	c |      4509 |     763    67183   284754 |    22394     4509     37 |  0.000 % |
2.62/2.66	c |      4703 |     763    67183   284754 |    22394     4703     37 |  0.000 % |
2.62/2.70	c |      4804 |     763    67183   284754 |    22394     4804     37 |  0.000 % |
2.72/2.75	c |      4915 |     763    67183   284754 |    22394     4915     37 |  0.000 % |
2.72/2.80	c |      5039 |     763    67183   284754 |    22394     5039     37 |  0.000 % |
2.82/2.88	c |      5172 |     763    67183   284754 |    22394     5172     37 |  0.000 % |
2.92/2.96	c |      5318 |     763    67183   284754 |    22394     5318     37 |  0.000 % |
3.02/3.04	c |      5480 |     763    67183   284754 |    22394     5480     37 |  0.000 % |
3.12/3.12	c |      5657 |     763    67183   284754 |    22394     5657     37 |  0.000 % |
3.12/3.21	c |      5850 |     763    67183   284754 |    22394     5850     37 |  0.000 % |
3.32/3.32	c |      6065 |     763    67183   284754 |    22394     6065     37 |  0.000 % |
3.32/3.39	c |      6165 |     763    67183   284754 |    22394     6165     37 |  0.000 % |
3.42/3.45	c |      6277 |     763    67183   284754 |    22394     6277     37 |  0.000 % |
3.42/3.51	c |      6400 |     763    67183   284754 |    22394     6400     37 |  0.000 % |
3.52/3.57	c |      6535 |     763    67183   284754 |    22394     6535     37 |  0.000 % |
3.62/3.65	c |      6681 |     763    67183   284754 |    22394     6681     37 |  0.000 % |
3.72/3.73	c |      6841 |     763    67183   284754 |    22394     6841     37 |  0.000 % |
3.82/3.83	c |      7018 |     763    67183   284754 |    22394     7018     37 |  0.000 % |
3.92/3.97	c |      7213 |     763    67183   284754 |    22394     7213     38 |  0.000 % |
4.02/4.10	c |      7425 |     763    67183   284754 |    22394     7425     38 |  0.000 % |
4.12/4.21	c |      7660 |     763    67183   284754 |    22394     7660     38 |  0.000 % |
4.22/4.28	c |      7760 |     763    67183   284754 |    22394     7760     38 |  0.000 % |
4.32/4.33	c |      7870 |     763    67183   284754 |    22394     7870     38 |  0.000 % |
4.32/4.41	c |      7991 |     763    67183   284754 |    22394     7991     38 |  0.000 % |
4.42/4.49	c |      8124 |     763    67183   284754 |    22394     8124     38 |  0.000 % |
4.52/4.57	c |      8270 |     763    67183   284754 |    22394     8270     38 |  0.000 % |
4.62/4.66	c |      8431 |     763    67183   284754 |    22394     8431     38 |  0.000 % |
4.72/4.77	c |      8609 |     763    67183   284754 |    22394     8609     38 |  0.000 % |
4.82/4.86	c |      8803 |     763    67183   284754 |    22394     8803     38 |  0.000 % |
4.92/4.95	c |      9016 |     763    67183   284754 |    22394     9016     38 |  0.000 % |
5.02/5.06	c |      9251 |     763    67183   284754 |    22394     9251     38 |  0.000 % |
5.12/5.17	c |      9507 |     763    67183   284754 |    22394     9507     38 |  0.000 % |
5.22/5.26	c |      9607 |     763    67183   284754 |    22394     9607     38 |  0.000 % |
5.32/5.33	c |      9717 |     763    67183   284754 |    22394     9717     38 |  0.000 % |
5.42/5.42	c |      9838 |     763    67183   284754 |    22394     9838     38 |  0.000 % |
5.52/5.52	c |      9971 |     763    67183   284754 |    22394     9971     38 |  0.000 % |
5.52/5.61	c |     10117 |     763    67183   284754 | 2147483647    10117     38 |  0.000 % |
5.72/5.73	c |     10277 |     763    67183   284754 | 2147483647    10277     38 |  0.000 % |
5.82/5.84	c |     10454 |     763    67183   284754 | 2147483647    10454     38 |  0.000 % |
5.92/5.98	c |     10647 |     763    67183   284754 | 2147483647    10647     38 |  0.000 % |
6.12/6.12	c |     10859 |     763    67183   284754 | 2147483647    10859     38 |  0.000 % |
6.22/6.26	c |     11095 |     763    67183   284754 | 2147483647    11095     38 |  0.000 % |
6.42/6.42	c |     11352 |     763    67183   284754 | 2147483647    11352     38 |  0.000 % |
6.52/6.61	c |     11634 |     763    67183   284754 | 2147483647    11634     38 |  0.000 % |
6.62/6.68	c |     11735 |     763    67183   284754 | 2147483647    11735     38 |  0.000 % |
6.72/6.75	c |     11845 |     763    67183   284754 | 2147483647    11845     38 |  0.000 % |
6.82/6.83	c |     11966 |     763    67183   284754 | 2147483647    11966     38 |  0.000 % |
6.92/6.92	c |     12100 |     763    67183   284754 | 2147483647    12100     38 |  0.000 % |
7.02/7.03	c |     12246 |     763    67183   284754 | 2147483647    12246     38 |  0.000 % |
7.12/7.15	c |     12406 |     763    67183   284754 | 2147483647    12406     38 |  0.000 % |
7.22/7.27	c |     12582 |     763    67183   284754 | 2147483647    12582     38 |  0.000 % |
7.42/7.42	c |     12775 |     763    67183   284754 | 2147483647    12775     37 |  0.000 % |
7.52/7.57	c |     12987 |     763    67183   284754 | 2147483647    12987     37 |  0.000 % |
7.62/7.70	c |     13220 |     763    67183   284754 | 2147483647    13220     37 |  0.000 % |
7.82/7.89	c |     13476 |     763    67183   284754 | 2147483647    13476     37 |  0.000 % |
8.02/8.10	c |     13758 |     763    67183   284754 | 2147483647    13758     37 |  0.000 % |
8.32/8.36	c |     14067 |     763    67183   284754 | 2147483647    14067     37 |  0.000 % |
8.42/8.45	c |     14168 |     763    67183   284754 | 2147483647    14168     37 |  0.000 % |
8.52/8.54	c |     14278 |     763    67183   284754 | 2147483647    14278     37 |  0.000 % |
8.62/8.68	c |     14400 |     763    67183   284754 | 2147483647    14400     37 |  0.000 % |
8.72/8.80	c |     14533 |     763    67183   284754 | 2147483647    14533     37 |  0.000 % |
8.92/8.97	c |     14680 |     763    67183   284754 | 2147483647    14680     37 |  0.000 % |
9.12/9.12	c |     14845 |     763    67183   284754 | 2147483647    14845     37 |  0.000 % |
9.22/9.28	c |     15022 |     763    67183   284754 | 2147483647    15022     37 |  0.000 % |
9.42/9.50	c |     15215 |     763    67183   284754 | 2147483647    15215     37 |  0.000 % |
9.62/9.71	c |     15428 |     763    67183   284754 | 2147483647    15428     37 |  0.000 % |
9.92/9.93	c |     15662 |     763    67183   284754 | 2147483647    15662     37 |  0.000 % |
10.12/10.16	c |     15919 |     763    67183   284754 | 2147483647    15919     37 |  0.000 % |
10.42/10.42	c |     16200 |     763    67183   284754 | 2147483647    16200     37 |  0.000 % |
10.62/10.65	c |     16512 |     763    67183   284754 | 2147483647    16512     37 |  0.000 % |
10.92/10.97	c |     16854 |     763    67183   284754 | 2147483647    16854     37 |  0.000 % |
11.02/11.08	c |     16956 |     763    67183   284754 | 2147483647    16956     37 |  0.000 % |
11.12/11.20	c |     17067 |     763    67183   284754 | 2147483647    17067     37 |  0.000 % |
11.32/11.37	c |     17189 |     763    67183   284754 | 2147483647    17189     37 |  0.000 % |
11.42/11.48	c |     17323 |     763    67183   284754 | 2147483647    17323     37 |  0.000 % |
11.52/11.61	c |     17469 |     763    67183   284754 | 2147483647    17469     37 |  0.000 % |
11.72/11.75	c |     17629 |     763    67183   284754 | 2147483647    17629     37 |  0.000 % |
11.92/11.95	c |     17809 |     763    67183   284754 | 2147483647    17809     37 |  0.000 % |
12.12/12.15	c |     18003 |     763    67183   284754 | 2147483647    18003     37 |  0.000 % |
12.32/12.39	c |     18215 |     763    67183   284754 | 2147483647    18215     37 |  0.000 % |
12.52/12.59	c |     18448 |     763    67183   284754 | 2147483647    18448     37 |  0.000 % |
12.82/12.90	c |     18704 |     763    67183   284754 | 2147483647    18704     37 |  0.000 % |
13.12/13.16	c |     18986 |     763    67183   284754 | 2147483647    18986     37 |  0.000 % |
13.42/13.50	c |     19296 |     763    67183   284754 | 2147483647    19296     37 |  0.000 % |
13.82/13.91	c |     19635 |     763    67183   284754 | 2147483647    19635     37 |  0.000 % |
14.32/14.36	c |     20007 |     763    67183   284754 | 2147483647    20007     37 |  0.000 % |
14.42/14.49	c |     20107 |     763    67183   284754 | 2147483647    20107     37 |  0.000 % |
14.62/14.67	c |     20217 |     763    67183   284754 | 2147483647    20217     37 |  0.000 % |
14.82/14.84	c |     20339 |     763    67183   284754 | 2147483647    20339     37 |  0.000 % |
14.92/15.01	c |     20472 |     763    67183   284754 | 2147483647    20472     37 |  0.000 % |
15.12/15.21	c |     20618 |     763    67183   284754 | 2147483647    20618     38 |  0.000 % |
15.42/15.45	c |     20780 |     763    67183   284754 | 2147483647    20780     37 |  0.000 % |
15.62/15.71	c |     20956 |     763    67183   284754 | 2147483647    20956     37 |  0.000 % |
15.92/15.95	c |     21150 |     763    67183   284754 | 2147483647    21150     37 |  0.000 % |
16.22/16.24	c |     21363 |     763    67183   284754 | 2147483647    21363     37 |  0.000 % |
16.52/16.53	c |     21596 |     763    67183   284754 | 2147483647    21596     37 |  0.000 % |
16.82/16.87	c |     21854 |     763    67183   284754 | 2147483647    21854     37 |  0.000 % |
17.22/17.27	c |     22137 |     763    67183   284754 | 2147483647    22137     37 |  0.000 % |
17.52/17.58	c |     22446 |     763    67183   284754 | 2147483647    22446     37 |  0.000 % |
17.92/17.95	c |     22786 |     763    67183   284754 | 2147483647    22786     37 |  0.000 % |
18.42/18.45	c |     23159 |     763    67183   284754 | 2147483647    23159     37 |  0.000 % |
18.92/18.95	c |     23569 |     763    67183   284754 | 2147483647    23569     37 |  0.000 % |
19.02/19.09	c |     23669 |     763    67183   284754 | 2147483647    23669     37 |  0.000 % |
19.22/19.25	c |     23779 |     763    67183   284754 | 2147483647    23779     37 |  0.000 % |
19.42/19.44	c |     23900 |     763    67183   284754 | 2147483647    23900     37 |  0.000 % |
19.52/19.59	c |     24033 |     763    67183   284754 | 2147483647    24033     37 |  0.000 % |
19.72/19.78	c |     24180 |     763    67183   284754 | 2147483647    24180     37 |  0.000 % |
20.02/20.02	c |     24340 |     763    67183   284754 | 2147483647    24340     37 |  0.000 % |
20.22/20.28	c |     24517 |     763    67183   284754 | 2147483647    24517     37 |  0.000 % |
20.42/20.50	c |     24710 |     763    67183   284754 | 2147483647    24710     37 |  0.000 % |
20.72/20.75	c |     24922 |     763    67183   284754 | 2147483647    24922     37 |  0.000 % |
21.12/21.13	c |     25157 |     763    67183   284754 | 2147483647    25157     37 |  0.000 % |
21.42/21.47	c |     25413 |     763    67183   284754 | 2147483647    25413     37 |  0.000 % |
21.82/21.89	c |     25694 |     763    67183   284754 | 2147483647    25694     37 |  0.000 % |
22.22/22.25	c |     26003 |     763    67183   284754 | 2147483647    26003     37 |  0.000 % |
22.72/22.77	c |     26344 |     763    67183   284754 | 2147483647    26344     37 |  0.000 % |
23.12/23.20	c |     26719 |     763    67183   284754 | 2147483647    26719     37 |  0.000 % |
23.62/23.66	c |     27128 |     763    67183   284754 | 2147483647    27128     37 |  0.000 % |
23.82/23.88	c |     27577 |     763    67183   284754 | 2147483647    27577     37 |  0.000 % |
24.12/24.14	c |     27677 |     763    67183   284754 | 2147483647    27677     37 |  0.000 % |
24.12/24.20	c |     27787 |     763    67183   284754 | 2147483647    27787     37 |  0.000 % |
24.42/24.49	c |     27908 |     763    67183   284754 | 2147483647    27908     37 |  0.000 % |
24.72/24.77	c |     28041 |     763    67183   284754 | 2147483647    28041     37 |  0.000 % |
25.02/25.10	c |     28190 |     763    67183   284754 | 2147483647    28190     37 |  0.000 % |
25.42/25.45	c |     28350 |     763    67183   284754 | 2147483647    28350     37 |  0.000 % |
25.72/25.79	c |     28527 |     763    67183   284754 | 2147483647    28527     37 |  0.000 % |
26.12/26.19	c |     28723 |     763    67183   284754 | 2147483647    28723     37 |  0.000 % |
26.62/26.67	c |     28936 |     763    67183   284754 | 2147483647    28936     37 |  0.000 % |
27.02/27.10	c |     29170 |     763    67183   284754 | 2147483647    29170     37 |  0.000 % |
27.22/27.29	c |     29426 |     763    67183   284754 | 2147483647    29426     37 |  0.000 % |
27.82/27.88	c |     29708 |     763    67183   284754 | 2147483647    29708     37 |  0.000 % |
28.52/28.53	c |     30017 |     763    67183   284754 | 2147483647    30017     37 |  0.000 % |
29.02/29.11	c |     30356 |     763    67183   284754 | 2147483647    30356     37 |  0.000 % |
29.82/29.88	c |     30729 |     763    67183   284754 | 2147483647    30729     37 |  0.000 % |
30.82/30.87	c |     31138 |     763    67183   284754 | 2147483647    31138     38 |  0.000 % |
31.82/31.85	c |     31587 |     763    67183   284754 | 2147483647    31587     38 |  0.000 % |
33.02/33.04	c |     32081 |     763    67183   284754 | 2147483647    32081     38 |  0.000 % |
33.22/33.27	c |     32181 |     763    67183   284754 | 2147483647    32181     38 |  0.000 % |
33.52/33.53	c |     32291 |     763    67183   284754 | 2147483647    32291     38 |  0.000 % |
33.72/33.76	c |     32412 |     763    67183   284754 | 2147483647    32412     38 |  0.000 % |
34.02/34.08	c |     32545 |     763    67183   284754 | 2147483647    32545     38 |  0.000 % |
34.42/34.44	c |     32693 |     763    67183   284754 | 2147483647    32693     38 |  0.000 % |
34.72/34.75	c |     32855 |     763    67183   284754 | 2147483647    32855     38 |  0.000 % |
35.12/35.18	c |     33033 |     763    67183   284754 | 2147483647    33033     38 |  0.000 % |
35.52/35.61	c |     33227 |     763    67183   284754 | 2147483647    33227     38 |  0.000 % |
35.92/36.00	c |     33439 |     763    67183   284754 | 2147483647    33439     38 |  0.000 % |
36.52/36.57	c |     33673 |     763    67183   284754 | 2147483647    33673     38 |  0.000 % |
37.12/37.16	c |     33930 |     763    67183   284754 | 2147483647    33930     38 |  0.000 % |
37.22/37.29	c |     34211 |     763    67183   284754 | 2147483647    34211     38 |  0.000 % |
37.42/37.46	c |     34521 |     763    67183   284754 | 2147483647    34521     38 |  0.000 % |
38.32/38.34	c |     34860 |     763    67183   284754 | 2147483647    34860     38 |  0.000 % |
38.92/38.92	c |     35232 |     763    67183   284754 | 2147483647    35232     38 |  0.000 % |
39.22/39.24	c |     35642 |     763    67183   284754 | 2147483647    35642     38 |  0.000 % |
39.52/39.59	c |     36092 |     763    67183   284754 | 2147483647    36092     38 |  0.000 % |
39.92/39.94	c |     36586 |     763    67183   284754 | 2147483647    36586     38 |  0.000 % |
40.32/40.31	c |     37129 |     763    67183   284754 | 2147483647    37129     38 |  0.000 % |
40.32/40.40	c |     37230 |     763    67183   284754 | 2147483647    37230     38 |  0.000 % |
40.42/40.45	c |     37342 |     763    67183   284754 | 2147483647    37342     38 |  0.000 % |
40.52/40.55	c |     37464 |     763    67183   284754 | 2147483647    37464     38 |  0.000 % |
40.62/40.67	c |     37597 |     763    67183   284754 | 2147483647    37597     38 |  0.000 % |
40.72/40.80	c |     37744 |     763    67183   284754 | 2147483647    37744     38 |  0.000 % |
41.12/41.15	c |     37905 |     763    67183   284754 | 2147483647    37905     38 |  0.000 % |
41.22/41.30	c |     38082 |     763    67183   284754 | 2147483647    38082     38 |  0.000 % |
41.42/41.45	c |     38276 |     763    67183   284754 | 2147483647    38276     39 |  0.000 % |
41.62/41.65	c |     38488 |     763    67183   284754 | 2147483647    38488     39 |  0.000 % |
41.82/41.86	c |     38723 |     763    67183   284754 | 2147483647    38723     39 |  0.000 % |
42.02/42.09	c |     38984 |     763    67183   284754 | 2147483647    38984     39 |  0.000 % |
42.32/42.31	c |     39266 |     763    67183   284754 | 2147483647    39266     39 |  0.000 % |
42.52/42.58	c |     39576 |     763    67183   284754 | 2147483647    39576     39 |  0.000 % |
42.92/42.96	c |     39915 |     763    67183   284754 | 2147483647    39915     39 |  0.000 % |
43.42/43.45	c |     40290 |     763    67183   284754 | 2147483647    40290     39 |  0.000 % |
43.72/43.79	c |     40701 |     763    67183   284754 | 2147483647    40701     39 |  0.000 % |
45.12/45.16	c |     41151 |     763    67183   284754 | 2147483647    41151     39 |  0.000 % |
45.62/45.66	c |     41646 |     763    67183   284754 | 2147483647    41646     39 |  0.000 % |
46.12/46.20	c |     42188 |     763    67183   284754 | 2147483647    42188     39 |  0.000 % |
46.72/46.78	c |     42784 |     763    67183   284754 | 2147483647    42784     39 |  0.000 % |
46.82/46.91	c |     42887 |     763    67183   284754 | 2147483647    42887     39 |  0.000 % |
47.02/47.04	c |     42997 |     763    67183   284754 | 2147483647    42997     39 |  0.000 % |
47.22/47.22	c |     43118 |     763    67183   284754 | 2147483647    43118     39 |  0.000 % |
47.32/47.36	c |     43252 |     763    67183   284754 | 2147483647    43252     39 |  0.000 % |
47.52/47.57	c |     43398 |     763    67183   284754 | 2147483647    43398     39 |  0.000 % |
47.72/47.81	c |     43558 |     763    67183   284754 | 2147483647    43558     39 |  0.000 % |
48.02/48.05	c |     43735 |     763    67183   284754 | 2147483647    43735     39 |  0.000 % |
48.32/48.33	c |     43928 |     763    67183   284754 | 2147483647    43928     39 |  0.000 % |
48.52/48.60	c |     44143 |     763    67183   284754 | 2147483647    44143     39 |  0.000 % |
48.92/48.91	c |     44376 |     763    67183   284754 | 2147483647    44376     39 |  0.000 % |
49.22/49.27	c |     44632 |     763    67183   284754 | 2147483647    44632     39 |  0.000 % |
49.62/49.65	c |     44916 |     763    67183   284754 | 2147483647    44916     39 |  0.000 % |
50.02/50.03	c |     45225 |     763    67183   284754 | 2147483647    45225     39 |  0.000 % |
50.52/50.53	c |     45565 |     763    67183   284754 | 2147483647    45565     39 |  0.000 % |
51.12/51.19	c |     45939 |     763    67183   284754 | 2147483647    45939     39 |  0.000 % |
51.72/51.81	c |     46348 |     763    67183   284754 | 2147483647    46348     39 |  0.000 % |
52.42/52.48	c |     46798 |     763    67183   284754 | 2147483647    46798     39 |  0.000 % |
53.12/53.15	c |     47292 |     763    67183   284754 | 2147483647    47292     39 |  0.000 % |
53.82/53.86	c |     47834 |     763    67183   284754 | 2147483647    47834     39 |  0.000 % |
54.62/54.64	c |     48431 |     763    67183   284754 | 2147483647    48431     39 |  0.000 % |
55.52/55.56	c |     49089 |     763    67183   284754 | 2147483647    49089     39 |  0.000 % |
55.72/55.73	c |     49189 |     763    67183   284754 | 2147483647    49189     39 |  0.000 % |
55.82/55.88	c |     49299 |     763    67183   284754 | 2147483647    49299     39 |  0.000 % |
56.02/56.10	c |     49420 |     763    67183   284754 | 2147483647    49420     39 |  0.000 % |
56.22/56.30	c |     49554 |     763    67183   284754 | 2147483647    49554     39 |  0.000 % |
56.52/56.52	c |     49701 |     763    67183   284754 | 2147483647    49701     39 |  0.000 % |
56.72/56.75	c |     49865 |     763    67183   284754 | 2147483647    49865     39 |  0.000 % |
57.02/57.07	c |     50043 |     763    67183   284754 | 2147483647    50043     39 |  0.000 % |
57.42/57.41	c |     50238 |     763    67183   284754 | 2147483647    50238     39 |  0.000 % |
57.72/57.81	c |     50451 |     763    67183   284754 | 2147483647    50451     39 |  0.000 % |
58.12/58.20	c |     50685 |     763    67183   284754 | 2147483647    50685     39 |  0.000 % |
58.62/58.62	c |     50942 |     763    67183   284754 | 2147483647    50942     39 |  0.000 % |
59.02/59.07	c |     51227 |     763    67183   284754 | 2147483647    51227     39 |  0.000 % |
59.62/59.65	c |     51536 |     763    67183   284754 | 2147483647    51536     39 |  0.000 % |
60.12/60.17	c |     51877 |     763    67183   284754 | 2147483647    51877     39 |  0.000 % |
60.92/60.92	c |     52250 |     763    67183   284754 | 2147483647    52250     39 |  0.000 % |
61.62/61.67	c |     52660 |     763    67183   284754 | 2147483647    52660     39 |  0.000 % |
62.42/62.49	c |     53111 |     763    67183   284754 | 2147483647    53111     39 |  0.000 % |
63.42/63.45	c |     53606 |     763    67183   284754 | 2147483647    53606     39 |  0.000 % |
64.52/64.55	c |     54148 |     763    67183   284754 | 2147483647    54148     39 |  0.000 % |
65.62/65.66	c |     54744 |     763    67183   284754 | 2147483647    54744     39 |  0.000 % |
67.02/67.11	c |     55400 |     763    67183   284754 | 2147483647    55400     39 |  0.000 % |
69.82/69.87	c |     56120 |     763    67183   284754 | 2147483647    56120     39 |  0.000 % |
70.22/70.27	c |     56220 |     763    67183   284754 | 2147483647    56220     39 |  0.000 % |
70.82/70.83	c |     56330 |     763    67183   284754 | 2147483647    56330     38 |  0.000 % |
71.12/71.20	c |     56451 |     763    67183   284754 | 2147483647    56451     38 |  0.000 % |
71.72/71.78	c |     56586 |     763    67183   284754 | 2147483647    56586     38 |  0.000 % |
72.22/72.30	c |     56732 |     763    67183   284754 | 2147483647    56732     38 |  0.000 % |
72.92/72.93	c |     56892 |     763    67183   284754 | 2147483647    56892     38 |  0.000 % |
73.52/73.53	c |     57070 |     763    67183   284754 | 2147483647    57070     38 |  0.000 % |
74.12/74.11	c |     57263 |     763    67183   284754 | 2147483647    57263     38 |  0.000 % |
75.02/75.03	c |     57475 |     763    67183   284754 | 2147483647    57475     38 |  0.000 % |
75.42/75.47	c |     57711 |     763    67183   284754 | 2147483647    57711     38 |  0.000 % |
76.22/76.29	c |     57968 |     763    67183   284754 | 2147483647    57968     38 |  0.002 % |
77.72/77.71	c |     58252 |     763    67183   284754 | 2147483647    58252     38 |  0.000 % |
78.72/78.75	c |     58562 |     763    67183   284754 | 2147483647    58562     38 |  0.000 % |
79.62/79.63	c |     58903 |     763    67183   284754 | 2147483647    58903     38 |  0.000 % |
80.52/80.53	c |     59276 |     763    67183   284754 | 2147483647    59276     38 |  0.000 % |
82.12/82.11	c |     59687 |     763    67183   284754 | 2147483647    59687     38 |  0.000 % |
83.22/83.24	c |     60136 |     763    67183   284754 | 2147483647    60136     38 |  0.000 % |
85.42/85.41	c |     60630 |     763    67183   284754 | 2147483647    60630     38 |  0.000 % |
87.02/87.02	c |     61173 |     763    67183   284754 | 2147483647    61173     38 |  0.000 % |
88.52/88.57	c |     61769 |     763    67183   284754 | 2147483647    61769     38 |  0.000 % |
91.33/91.38	c |     62424 |     763    67183   284754 | 2147483647    62424     38 |  0.000 % |
94.63/94.68	c |     63144 |     763    67183   284754 | 2147483647    63144     38 |  0.000 % |
98.92/98.93	c |     63936 |     763    67183   284754 | 2147483647    63936     38 |  0.000 % |
99.22/99.27	c |     64036 |     763    67183   284754 | 2147483647    64036     38 |  0.000 % |
99.62/99.63	c |     64150 |     763    67183   284754 | 2147483647    64150     38 |  0.000 % |
100.32/100.39	c |     64272 |     763    67183   284754 | 2147483647    64272     38 |  0.000 % |
100.82/100.90	c |     64405 |     763    67183   284754 | 2147483647    64405     38 |  0.000 % |
101.52/101.59	c |     64552 |     763    67183   284754 | 2147483647    64552     38 |  0.000 % |
102.52/102.51	c |     64714 |     763    67183   284754 | 2147483647    64714     38 |  0.000 % |
103.22/103.26	c |     64891 |     763    67183   284754 | 2147483647    64891     38 |  0.000 % |
104.12/104.18	c |     65084 |     763    67183   284754 | 2147483647    65084     38 |  0.000 % |
105.32/105.32	c |     65296 |     763    67183   284754 | 2147483647    65296     38 |  0.000 % |
106.42/106.44	c |     65530 |     763    67183   284754 | 2147483647    65530     38 |  0.002 % |
106.62/106.67	c |     65788 |     763    67183   284754 | 2147483647    65788     38 |  0.000 % |
107.92/108.00	c |     66071 |     763    67183   284754 | 2147483647    66071     38 |  0.000 % |
109.02/109.09	c |     66382 |     763    67183   284754 | 2147483647    66382     38 |  0.000 % |
110.32/110.33	c |     66722 |     763    67183   284754 | 2147483647    66722     38 |  0.000 % |
112.02/112.06	c |     67095 |     763    67183   284754 | 2147483647    67095     38 |  0.000 % |
113.82/113.84	c |     67505 |     763    67183   284754 | 2147483647    67505     38 |  0.000 % |
115.12/115.14	c |     67956 |     763    67183   284754 | 2147483647    67956     38 |  0.000 % |
116.72/116.77	c |     68449 |     763    67183   284754 | 2147483647    68449     38 |  0.000 % |
118.22/118.24	c |     68991 |     763    67183   284754 | 2147483647    68991     38 |  0.000 % |
119.32/119.39	c |     69588 |     763    67183   284754 | 2147483647    69588     38 |  0.000 % |
122.92/122.98	c |     70244 |     763    67183   284754 | 2147483647    70244     38 |  0.000 % |
125.92/125.97	c |     70966 |     763    67183   284754 | 2147483647    70966     38 |  0.000 % |
129.23/129.31	c |     71763 |     763    67183   284754 | 2147483647    71763     37 |  0.000 % |
132.73/132.78	c |     72635 |     763    67183   284754 | 2147483647    72635     37 |  0.000 % |
132.93/132.98	c |     72737 |     763    67183   284754 | 2147483647    72737     37 |  0.000 % |
133.23/133.28	c |     72849 |     763    67183   284754 | 2147483647    72849     37 |  0.000 % |
133.63/133.68	c |     72972 |     763    67183   284754 | 2147483647    72972     37 |  0.000 % |
134.13/134.17	c |     73107 |     763    67183   284754 | 2147483647    73107     37 |  0.000 % |
134.73/134.76	c |     73253 |     763    67183   284754 | 2147483647    73253     37 |  0.000 % |
135.43/135.47	c |     73413 |     763    67183   284754 | 2147483647    73413     37 |  0.000 % |
136.03/136.09	c |     73589 |     763    67183   284754 | 2147483647    73589     37 |  0.000 % |
137.03/137.02	c |     73783 |     763    67183   284754 | 2147483647    73783     37 |  0.000 % |
138.63/138.69	c |     73997 |     763    67183   284754 | 2147483647    73997     37 |  0.000 % |
139.73/139.79	c |     74230 |     763    67183   284754 | 2147483647    74230     37 |  0.000 % |
140.23/140.31	c |     74486 |     763    67183   284754 | 2147483647    74486     37 |  0.000 % |
141.63/141.68	c |     74769 |     763    67183   284754 | 2147483647    74769     37 |  0.000 % |
143.03/143.08	c |     75078 |     763    67183   284754 | 2147483647    75078     37 |  0.000 % |
143.93/144.01	c |     75418 |     763    67183   284754 | 2147483647    75418     37 |  0.000 % |
145.43/145.48	c |     75791 |     763    67183   284754 | 2147483647    75791     37 |  0.000 % |
146.33/146.37	c |     76202 |     763    67183   284754 | 2147483647    76202     37 |  0.000 % |
147.83/147.90	c |     76651 |     763    67183   284754 | 2147483647    76651     37 |  0.000 % |
149.53/149.57	c |     77145 |     763    67183   284754 | 2147483647    77145     37 |  0.000 % |
151.83/151.85	c |     77689 |     763    67183   284754 | 2147483647    77689     37 |  0.000 % |
154.13/154.17	c |     78287 |     763    67183   284754 | 2147483647    78287     37 |  0.000 % |
156.43/156.45	c |     78942 |     763    67183   284754 | 2147483647    78942     37 |  0.000 % |
158.63/158.65	c |     79662 |     763    67183   284754 | 2147483647    79662     37 |  0.000 % |
163.03/163.08	c |     80455 |     763    67183   284754 |    80000    64682     37 |  0.000 % |
166.53/166.60	c |     81326 |     763    67183   284754 |    80000    65553     37 |  0.000 % |
169.63/169.70	c |     82286 |     763    67183   284754 |    80000    66513     37 |  0.000 % |
169.93/169.94	c |     82386 |     763    67183   284754 |    80000    66613     37 |  0.000 % |
170.33/170.39	c |     82496 |     763    67183   284754 |    80000    66723     37 |  0.000 % |
170.83/170.82	c |     82618 |     763    67183   284754 |    80000    66845     37 |  0.000 % |
171.13/171.15	c |     82753 |     763    67183   284754 |    80000    66980     37 |  0.000 % |
171.73/171.73	c |     82899 |     763    67183   284754 |    80000    67126     37 |  0.000 % |
172.33/172.39	c |     83061 |     763    67183   284754 |    80000    67288     37 |  0.000 % |
172.93/172.94	c |     83237 |     763    67183   284754 |    80000    67464     37 |  0.000 % |
173.33/173.41	c |     83431 |     763    67183   284754 |    80000    67658     37 |  0.000 % |
174.03/174.06	c |     83643 |     763    67183   284754 |    80000    67870     38 |  0.000 % |
174.73/174.79	c |     83877 |     763    67183   284754 |    80000    68104     38 |  0.000 % |
175.03/175.10	c |     84133 |     763    67183   284754 |    80000    68360     38 |  0.000 % |
175.83/175.91	c |     84414 |     763    67183   284754 |    80000    68641     38 |  0.000 % |
177.03/177.03	c |     84724 |     763    67183   284754 |    80000    68951     38 |  0.000 % |
178.23/178.23	c |     85065 |     763    67183   284754 |    80000    69292     38 |  0.000 % |
179.63/179.65	c |     85439 |     763    67183   284754 |    80000    69666     38 |  0.000 % |
181.33/181.35	c |     85850 |     763    67183   284754 |    80000    70077     38 |  0.000 % |
183.23/183.30	c |     86299 |     763    67183   284754 |    80000    70526     38 |  0.000 % |
185.13/185.21	c |     86794 |     763    67183   284754 |    80000    71021     38 |  0.000 % |
187.33/187.38	c |     87337 |     763    67183   284754 |    80000    71564     38 |  0.000 % |
189.93/189.95	c |     87933 |     763    67183   284754 |    80000    72160     38 |  0.000 % |
193.13/193.17	c |     88588 |     763    67183   284754 |    80000    72815     38 |  0.000 % |
195.23/195.29	c |     89308 |     763    67183   284754 |    80000    73535     38 |  0.000 % |
198.73/198.78	c |     90100 |     763    67183   284754 |    74227    74327     38 |  0.000 % |
201.83/201.85	c |     90971 |     763    67183   284754 |    74227    51145     37 |  0.000 % |
203.93/203.93	c |     91930 |     763    67183   284754 |    74227    52104     37 |  0.000 % |
205.53/205.55	c |     92986 |     763    67183   284754 |    74227    53160     38 |  0.000 % |
205.74/205.76	c |     93087 |     763    67183   284754 |    74227    53261     38 |  0.000 % |
205.93/205.98	c |     93199 |     763    67183   284754 |    74227    53373     38 |  0.000 % |
206.23/206.28	c |     93320 |     763    67183   284754 |    74227    53494     38 |  0.000 % |
206.43/206.46	c |     93456 |     763    67183   284754 |    74227    53630     38 |  0.000 % |
206.84/206.89	c |     93602 |     763    67183   284754 |    74227    53776     38 |  0.000 % |
207.43/207.47	c |     93762 |     763    67183   284754 |    74227    53936     38 |  0.000 % |
207.94/207.94	c |     93939 |     763    67183   284754 |    74227    54113     38 |  0.000 % |
208.53/208.56	c |     94134 |     763    67183   284754 |    74227    54308     38 |  0.000 % |
209.13/209.14	c |     94348 |     763    67183   284754 |    74227    54522     38 |  0.000 % |
209.92/210.00	c |     94582 |     763    67183   284754 |    74227    54756     38 |  0.000 % |
210.82/210.88	c |     94838 |     763    67183   284754 |    74227    55012     38 |  0.000 % |
211.32/211.40	c |     95119 |     763    67183   284754 |    74227    55293     38 |  0.000 % |
212.62/212.70	c |     95428 |     763    67183   284754 |    74227    55602     38 |  0.000 % |
213.92/213.92	c |     95767 |     763    67183   284754 |    74227    55941     38 |  0.000 % |
215.02/215.07	c |     96139 |     763    67183   284754 |    74227    56313     37 |  0.000 % |
215.82/215.89	c |     96549 |     763    67183   284754 |    74227    56723     37 |  0.000 % |
217.12/217.16	c |     97000 |     763    67183   284754 |    74227    57174     38 |  0.000 % |
218.82/218.83	c |     97494 |     763    67183   284754 |    74227    57668     38 |  0.000 % |
221.32/221.32	c |     98036 |     763    67183   284754 |    74227    58210     38 |  0.000 % |
224.12/224.17	c |     98632 |     763    67183   284754 |    74227    58806     38 |  0.000 % |
227.02/227.05	c |     99287 |     763    67183   284754 |    74227    59461     38 |  0.000 % |
230.12/230.12	c |    100009 |     763    67183   284754 |    60176    60183     38 |  0.000 % |
232.13/232.12	c |    100801 |     763    67183   284754 |    60176    49887     38 |  0.000 % |
233.02/233.08	c |    101672 |     763    67183   284754 |    60176    50758     38 |  0.000 % |
235.12/235.14	c |    102630 |     763    67183   284754 |    60176    51716     38 |  0.000 % |
238.12/238.17	c |    103685 |     763    67183   284754 |    60176    52771     37 |  0.000 % |
241.22/241.27	c |    104843 |     763    67183   284754 |    60176    53929     37 |  0.000 % |
241.52/241.51	c |    104943 |     763    67183   284754 |    60176    54029     37 |  0.000 % |
241.82/241.85	c |    105056 |     763    67183   284754 |    60176    54142     37 |  0.000 % |
242.03/242.09	c |    105177 |     763    67183   284754 |    60176    54263     37 |  0.000 % |
242.42/242.47	c |    105310 |     763    67183   284754 |    60176    54396     37 |  0.000 % |
242.82/242.86	c |    105457 |     763    67183   284754 |    60176    54543     37 |  0.000 % |
243.42/243.49	c |    105618 |     763    67183   284754 |    60176    54704     37 |  0.000 % |
244.02/244.09	c |    105794 |     763    67183   284754 |    60176    54880     37 |  0.000 % |
244.72/244.71	c |    105987 |     763    67183   284754 |    60176    55073     37 |  0.000 % |
245.42/245.47	c |    106207 |     763    67183   284754 |    60176    55293     37 |  0.000 % |
246.12/246.13	c |    106440 |     763    67183   284754 |    60176    55526     37 |  0.000 % |
246.92/246.96	c |    106698 |     763    67183   284754 |    60176    55784     37 |  0.000 % |
247.32/247.31	c |    106980 |     763    67183   284754 |    60176    56066     37 |  0.000 % |
248.12/248.15	c |    107289 |     763    67183   284754 |    60176    56375     37 |  0.000 % |
249.12/249.12	c |    107629 |     763    67183   284754 |    60176    56715     37 |  0.000 % |
250.32/250.31	c |    108001 |     763    67183   284754 |    60176    57087     37 |  0.000 % |
251.32/251.36	c |    108412 |     763    67183   284754 |    60176    57498     37 |  0.000 % |
253.03/253.03	c |    108861 |     763    67183   284754 |    60176    57947     37 |  0.000 % |
254.63/254.70	c |    109355 |     763    67183   284754 |    60176    58441     37 |  0.000 % |
256.53/256.53	c |    109897 |     763    67183   284754 |    60176    58983     37 |  0.000 % |
258.53/258.53	c |    110493 |     763    67183   284754 | 2147483647    59579     37 |  0.000 % |
261.53/261.57	c |    111150 |     763    67183   284754 | 2147483647    60236     37 |  0.000 % |
264.23/264.25	c |    111870 |     763    67183   284754 | 2147483647    60956     37 |  0.000 % |
267.03/267.07	c |    112666 |     763    67183   284754 | 2147483647    61752     37 |  0.000 % |
269.83/269.88	c |    113539 |     763    67183   284754 | 2147483647    62625     38 |  0.047 % |
272.33/272.35	c |    114497 |     763    67183   284754 | 2147483647    63583     38 |  0.000 % |
275.43/275.44	c |    115550 |     763    67183   284754 | 2147483647    64636     38 |  0.000 % |
280.13/280.20	c |    116713 |     763    67183   284754 | 2147483647    65799     38 |  0.000 % |
285.93/285.97	c |    117987 |     763    67183   284754 | 2147483647    67073     38 |  0.000 % |
286.43/286.46	c |    118089 |     763    67183   284754 | 2147483647    67175     38 |  0.000 % |
286.93/286.92	c |    118200 |     763    67183   284754 | 2147483647    67286     38 |  0.000 % |
287.33/287.41	c |    118321 |     763    67183   284754 | 2147483647    67407     38 |  0.000 % |
287.53/287.58	c |    118455 |     763    67183   284754 | 2147483647    67541     38 |  0.000 % |
287.63/287.70	c |    118602 |     763    67183   284754 | 2147483647    67688     38 |  0.000 % |
287.93/287.98	c |    118766 |     763    67183   284754 | 2147483647    67852     38 |  0.000 % |
288.63/288.63	c |    118943 |     763    67183   284754 | 2147483647    68029     38 |  0.000 % |
289.23/289.23	c |    119137 |     763    67183   284754 | 2147483647    68223     38 |  0.000 % |
289.93/289.95	c |    119349 |     763    67183   284754 | 2147483647    68435     38 |  0.000 % |
290.83/290.85	c |    119582 |     763    67183   284754 | 2147483647    68668     38 |  0.000 % |
292.03/292.07	c |    119838 |     763    67183   284754 | 2147483647    68924     38 |  0.000 % |
293.53/293.56	c |    120119 |     763    67183   284754 |    69087    69205     38 |  0.000 % |
294.83/294.86	c |    120428 |     763    67183   284754 |    69087    59516     39 |  0.000 % |
296.13/296.11	c |    120767 |     763    67183   284754 |    69087    59855     39 |  0.000 % |
297.13/297.20	c |    121141 |     763    67183   284754 |    69087    60229     39 |  0.000 % |
298.33/298.37	c |    121551 |     763    67183   284754 |    69087    60639     39 |  0.000 % |
300.03/300.02	c |    122000 |     763    67183   284754 |    69087    61088     39 |  0.000 % |
302.33/302.41	c |    122493 |     763    67183   284754 |    69087    61581     39 |  0.000 % |
304.33/304.38	c |    123036 |     763    67183   284754 |    69087    62124     39 |  0.000 % |
306.63/306.68	c |    123633 |     763    67183   284754 |    69087    62721     39 |  0.000 % |
309.03/309.09	c |    124289 |     763    67183   284754 |    69087    63377     39 |  0.000 % |
312.23/312.23	c |    125009 |     763    67183   284754 |    69087    64097     39 |  0.000 % |
314.93/314.99	c |    125801 |     763    67183   284754 |    69087    64889     39 |  0.000 % |
317.73/317.73	c |    126673 |     763    67183   284754 |    69087    65761     39 |  0.000 % |
321.23/321.28	c |    127634 |     763    67183   284754 |    69087    66722     39 |  0.000 % |
324.63/324.66	c |    128688 |     763    67183   284754 |    69087    67776     39 |  0.000 % |
328.13/328.15	c |    129847 |     763    67183   284754 |    69087    68935     39 |  0.000 % |
332.13/332.14	c |    131120 |     763    67183   284754 |    69088    60946     40 |  0.000 % |
337.03/337.10	c |    132522 |     763    67183   284754 |    69088    62348     40 |  0.000 % |
337.53/337.58	c |    132622 |     763    67183   284754 |    69088    62448     40 |  0.000 % |
337.93/337.96	c |    132732 |     763    67183   284754 |    69088    62558     40 |  0.000 % |
338.33/338.34	c |    132853 |     763    67183   284754 |    69088    62679     40 |  0.000 % |
338.43/338.49	c |    132986 |     763    67183   284754 |    69088    62812     40 |  0.000 % |
339.13/339.14	c |    133132 |     763    67183   284754 |    69088    62958     40 |  0.000 % |
339.63/339.69	c |    133293 |     763    67183   284754 |    69088    63119     40 |  0.000 % |
340.33/340.38	c |    133470 |     763    67183   284754 |    69088    63296     40 |  0.000 % |
341.04/341.10	c |    133664 |     763    67183   284754 |    69088    63490     40 |  0.000 % |
341.93/341.93	c |    133878 |     763    67183   284754 |    69088    63704     40 |  0.000 % |
342.43/342.45	c |    134112 |     763    67183   284754 |    69088    63938     40 |  0.000 % |
343.33/343.33	c |    134368 |     763    67183   284754 |    69088    64194     40 |  0.000 % |
344.03/344.06	c |    134654 |     763    67183   284754 |    69088    64480     40 |  0.000 % |
345.23/345.25	c |    134963 |     763    67183   284754 |    69088    64789     41 |  0.000 % |
346.63/346.70	c |    135302 |     763    67183   284754 |    69088    65128     41 |  0.000 % |
347.73/347.76	c |    135674 |     763    67183   284754 |    69088    65500     41 |  0.000 % |
349.43/349.45	c |    136083 |     763    67183   284754 |    69088    65909     41 |  0.000 % |
350.63/350.66	c |    136533 |     763    67183   284754 |    69088    66359     41 |  0.000 % |
353.43/353.46	c |    137027 |     763    67183   284754 |    69088    66853     41 |  0.000 % |
356.44/356.43	c |    137569 |     763    67183   284754 |    69088    67395     41 |  0.000 % |
359.23/359.22	c |    138165 |     763    67183   284754 |    69088    67991     41 |  0.000 % |
362.63/362.64	c |    138822 |     763    67183   284754 |    69088    68648     41 |  0.000 % |
365.83/365.85	c |    139542 |     763    67183   284754 |    69088    58473     41 |  0.000 % |
368.73/368.77	c |    140335 |     763    67183   284754 |    58932    50937     41 |  0.000 % |
370.13/370.12	c |    141206 |     763    67183   284754 |    58932    51808     40 |  0.000 % |
371.53/371.56	c |    142164 |     763    67183   284754 |    58932    52766     40 |  0.000 % |
374.04/374.10	c |    143217 |     763    67183   284754 |    58932    53819     40 |  0.000 % |
377.13/377.15	c |    144375 |     763    67183   284754 |    58932    54977     40 |  0.000 % |
380.53/380.54	c |    145649 |     763    67183   284754 |    58932    56251     40 |  0.000 % |
383.44/383.43	c |    147049 |     763    67183   284754 |    58932    57651     39 |  0.000 % |
385.94/385.97	c |    148589 |     763    67183   284754 |    58932    53285     39 |  0.000 % |
386.14/386.13	c |    148691 |     763    67183   284754 |    58932    53387     39 |  0.000 % |
386.44/386.47	c |    148801 |     763    67183   284754 |    58932    53497     39 |  0.000 % |
386.84/386.81	c |    148923 |     763    67183   284754 |    58932    53619     39 |  0.000 % |
387.24/387.22	c |    149057 |     763    67183   284754 |    58932    53753     39 |  0.000 % |
387.44/387.50	c |    149203 |     763    67183   284754 |    58932    53899     39 |  0.000 % |
387.84/387.88	c |    149363 |     763    67183   284754 |    58932    54059     39 |  0.000 % |
388.14/388.19	c |    149540 |     763    67183   284754 |    58932    54236     39 |  0.000 % |
388.74/388.75	c |    149733 |     763    67183   284754 |    58932    54429     39 |  0.000 % |
389.14/389.12	c |    149945 |     763    67183   284754 |    58932    54641     39 |  0.000 % |
389.54/389.57	c |    150178 |     763    67183   284754 | 2147483647    54874     39 |  0.000 % |
389.94/390.00	c |    150436 |     763    67183   284754 | 2147483647    55132     39 |  0.000 % |
390.44/390.51	c |    150722 |     763    67183   284754 | 2147483647    55418     39 |  0.000 % |
391.04/391.09	c |    151033 |     763    67183   284754 | 2147483647    55729     39 |  0.000 % |
391.94/391.99	c |    151372 |     763    67183   284754 | 2147483647    56068     39 |  0.000 % |
392.84/392.84	c |    151744 |     763    67183   284754 | 2147483647    56440     39 |  0.000 % |
393.84/393.86	c |    152153 |     763    67183   284754 | 2147483647    56849     39 |  0.000 % |
394.74/394.80	c |    152602 |     763    67183   284754 | 2147483647    57298     39 |  0.000 % |
395.84/395.83	c |    153095 |     763    67183   284754 | 2147483647    57791     39 |  0.000 % |
397.14/397.19	c |    153637 |     763    67183   284754 | 2147483647    58333     39 |  0.000 % |
398.54/398.59	c |    154234 |     763    67183   284754 | 2147483647    58930     39 |  0.000 % |
399.84/399.86	c |    154891 |     763    67183   284754 | 2147483647    59587     39 |  0.000 % |
401.04/401.07	c |    155613 |     763    67183   284754 | 2147483647    60309     39 |  0.000 % |
402.54/402.57	c |    156405 |     763    67183   284754 | 2147483647    61101     39 |  0.000 % |
404.84/404.90	c |    157276 |     763    67183   284754 | 2147483647    61972     39 |  0.000 % |
406.84/406.91	c |    158235 |     763    67183   284754 | 2147483647    62931     39 |  0.000 % |
409.14/409.16	c |    159289 |     763    67183   284754 | 2147483647    63985     39 |  0.000 % |
411.44/411.46	c |    160447 |     763    67183   284754 | 2147483647    65143     38 |  0.000 % |
414.04/414.04	c |    161720 |     763    67183   284754 | 2147483647    66416     38 |  0.000 % |
416.74/416.81	c |    163120 |     763    67183   284754 | 2147483647    67816     38 |  0.000 % |
420.44/420.45	c |    164664 |     763    67183   284754 | 2147483647    69360     38 |  0.000 % |
424.04/424.05	c |    166358 |     763    67183   284754 | 2147483647    71054     38 |  0.000 % |
424.24/424.30	c |    166459 |     763    67183   284754 | 2147483647    71155     38 |  0.000 % |
424.54/424.60	c |    166571 |     763    67183   284754 | 2147483647    71267     38 |  0.000 % |
424.94/424.99	c |    166693 |     763    67183   284754 | 2147483647    71389     38 |  0.000 % |
425.34/425.33	c |    166828 |     763    67183   284754 | 2147483647    71524     37 |  0.000 % |
425.64/425.68	c |    166974 |     763    67183   284754 | 2147483647    71670     37 |  0.000 % |
425.94/425.93	c |    167134 |     763    67183   284754 | 2147483647    71830     37 |  0.000 % |
426.24/426.22	c |    167312 |     763    67183   284754 | 2147483647    72008     37 |  0.000 % |
426.54/426.59	c |    167507 |     763    67183   284754 | 2147483647    72203     37 |  0.000 % |
427.34/427.34	c |    167719 |     763    67183   284754 | 2147483647    72415     37 |  0.000 % |
427.84/427.88	c |    167954 |     763    67183   284754 | 2147483647    72650     37 |  0.000 % |
428.24/428.29	c |    168213 |     763    67183   284754 | 2147483647    72909     37 |  0.000 % |
428.84/428.82	c |    168495 |     763    67183   284754 | 2147483647    73191     37 |  0.000 % |
429.24/429.28	c |    168804 |     763    67183   284754 | 2147483647    73500     37 |  0.000 % |
429.84/429.87	c |    169145 |     763    67183   284754 | 2147483647    73841     37 |  0.000 % |
430.84/430.90	c |    169519 |     763    67183   284754 | 2147483647    74215     37 |  0.000 % |
431.94/431.97	c |    169928 |     763    67183   284754 | 2147483647    74624     38 |  0.000 % |
433.04/433.07	c |    170378 |     763    67183   284754 | 2147483647    75074     38 |  0.000 % |
434.54/434.56	c |    170873 |     763    67183   284754 | 2147483647    75569     38 |  0.000 % |
435.84/435.88	c |    171417 |     763    67183   284754 | 2147483647    76113     38 |  0.000 % |
437.24/437.24	c |    172013 |     763    67183   284754 | 2147483647    76709     37 |  0.000 % |
438.54/438.55	c |    172668 |     763    67183   284754 | 2147483647    77364     38 |  0.000 % |
440.14/440.14	c |    173390 |     763    67183   284754 | 2147483647    78086     38 |  0.000 % |
442.44/442.45	c |    174182 |     763    67183   284754 | 2147483647    78878     38 |  0.000 % |
444.94/444.99	c |    175055 |     763    67183   284754 | 2147483647    79751     38 |  0.000 % |
447.54/447.59	c |    176015 |     763    67183   284754 | 2147483647    80711     38 |  0.000 % |
450.84/450.82	c |    177068 |     763    67183   284754 | 2147483647    81764     38 |  0.000 % |
454.14/454.14	c |    178227 |     763    67183   284754 | 2147483647    82923     38 |  0.000 % |
457.84/457.85	c |    179500 |     763    67183   284754 | 2147483647    84196     38 |  0.000 % |
461.74/461.78	c |    180904 |     763    67183   284754 | 2147483647    85600     38 |  0.000 % |
466.04/466.07	c |    182444 |     763    67183   284754 | 2147483647    87140     38 |  0.000 % |
470.44/470.43	c |    184138 |     763    67183   284754 | 2147483647    88834     38 |  0.000 % |
475.44/475.50	c |    186002 |     763    67183   284754 | 2147483647    90698     38 |  0.000 % |
475.84/475.84	c |    186102 |     763    67183   284754 | 2147483647    90798     38 |  0.000 % |
476.14/476.15	c |    186212 |     763    67183   284754 | 2147483647    90908     38 |  0.000 % |
476.44/476.41	c |    186334 |     763    67183   284754 | 2147483647    91030     38 |  0.000 % |
476.64/476.69	c |    186467 |     763    67183   284754 | 2147483647    91163     38 |  0.000 % |
477.04/477.02	c |    186619 |     763    67183   284754 | 2147483647    91315     38 |  0.000 % |
477.24/477.31	c |    186779 |     763    67183   284754 | 2147483647    91475     38 |  0.000 % |
477.64/477.70	c |    186955 |     763    67183   284754 | 2147483647    91651     38 |  0.000 % |
478.14/478.12	c |    187148 |     763    67183   284754 | 2147483647    91844     38 |  0.000 % |
478.64/478.61	c |    187362 |     763    67183   284754 | 2147483647    92058     38 |  0.000 % |
479.14/479.12	c |    187595 |     763    67183   284754 | 2147483647    92291     38 |  0.000 % |
479.84/479.84	c |    187852 |     763    67183   284754 | 2147483647    92548     38 |  0.000 % |
480.75/480.77	c |    188133 |     763    67183   284754 | 2147483647    92829     38 |  0.000 % |
481.54/481.54	c |    188442 |     763    67183   284754 | 2147483647    93138     38 |  0.000 % |
482.54/482.53	c |    188781 |     763    67183   284754 | 2147483647    93477     38 |  0.000 % |
483.54/483.53	c |    189153 |     763    67183   284754 | 2147483647    93849     38 |  0.001 % |
484.84/484.84	c |    189562 |     763    67183   284754 | 2147483647    94258     38 |  0.000 % |
486.25/486.25	c |    190011 |     763    67183   284754 | 2147483647    94707     38 |  0.000 % |
487.35/487.38	c |    190504 |     763    67183   284754 | 2147483647    95200     38 |  0.000 % |
488.94/488.98	c |    191047 |     763    67183   284754 | 2147483647    95743     38 |  0.000 % |
490.74/490.80	c |    191644 |     763    67183   284754 | 2147483647    96340     38 |  0.000 % |
491.94/491.92	c |    192299 |     763    67183   284754 | 2147483647    96995     38 |  0.000 % |
493.44/493.50	c |    193020 |     763    67183   284754 | 2147483647    97716     38 |  0.000 % |
496.04/496.02	c |    193812 |     763    67183   284754 | 2147483647    98508     38 |  0.000 % |
498.24/498.23	c |    194684 |     763    67183   284754 | 2147483647    99380     38 |  0.000 % |
501.04/501.02	c |    195642 |     763    67183   284754 | 2147483647   100338     38 |  0.000 % |
503.24/503.26	c |    196697 |     763    67183   284754 | 2147483647   101393     38 |  0.000 % |
506.54/506.58	c |    197856 |     763    67183   284754 | 2147483647   102552     38 |  0.000 % |
509.65/509.62	c |    199129 |     763    67183   284754 | 2147483647   103825     38 |  0.000 % |
512.05/512.07	c |    200529 |     763    67183   284754 | 2147483647   105225     38 |  0.000 % |
517.15/517.16	c |    202069 |     763    67183   284754 | 2147483647   106765     39 |  0.000 % |
522.15/522.21	c |    203764 |     763    67183   284754 | 2147483647   108460     39 |  0.000 % |
527.95/528.01	c |    205629 |     763    67183   284754 | 2147483647   110325     39 |  0.000 % |
533.35/533.38	c |    207679 |     763    67183   284754 | 2147483647   112375     39 |  0.000 % |
533.75/533.76	c |    207779 |     763    67183   284754 | 2147483647   112475     39 |  0.000 % |
534.15/534.18	c |    207890 |     763    67183   284754 | 2147483647   112586     39 |  0.000 % |
534.55/534.59	c |    208012 |     763    67183   284754 | 2147483647   112708     39 |  0.000 % |
535.15/535.15	c |    208147 |     763    67183   284754 | 2147483647   112843     39 |  0.000 % |
535.55/535.59	c |    208294 |     763    67183   284754 | 2147483647   112990     39 |  0.000 % |
536.05/536.06	c |    208454 |     763    67183   284754 | 2147483647   113150     39 |  0.000 % |
536.75/536.73	c |    208630 |     763    67183   284754 | 2147483647   113326     39 |  0.000 % |
537.35/537.37	c |    208824 |     763    67183   284754 | 2147483647   113520     39 |  0.000 % |
538.15/538.18	c |    209037 |     763    67183   284754 | 2147483647   113733     39 |  0.000 % |
539.05/539.05	c |    209271 |     763    67183   284754 | 2147483647   113967     39 |  0.000 % |
539.85/539.83	c |    209527 |     763    67183   284754 | 2147483647   114223     39 |  0.000 % |
540.85/540.88	c |    209808 |     763    67183   284754 | 2147483647   114504     39 |  0.000 % |
541.95/541.92	c |    210118 |     763    67183   284754 | 2147483647   114814     39 |  0.001 % |
542.75/542.77	c |    210460 |     763    67183   284754 | 2147483647   115156     39 |  0.000 % |
543.85/543.87	c |    210833 |     763    67183   284754 | 2147483647   115529     39 |  0.000 % |
545.05/545.05	c |    211243 |     763    67183   284754 | 2147483647   115939     39 |  0.000 % |
545.95/545.94	c |    211694 |     763    67183   284754 | 2147483647   116390     39 |  0.000 % |
547.25/547.31	c |    212188 |     763    67183   284754 | 2147483647   116884     39 |  0.000 % |
549.25/549.22	c |    212730 |     763    67183   284754 | 2147483647   117426     39 |  0.000 % |
551.15/551.14	c |    213328 |     763    67183   284754 | 2147483647   118024     39 |  0.000 % |
553.45/553.44	c |    213984 |     763    67183   284754 | 2147483647   118680     39 |  0.000 % |
555.85/555.85	c |    214704 |     763    67183   284754 | 2147483647   119400     39 |  0.000 % |
558.05/558.09	c |    215496 |     763    67183   284754 | 2147483647   120192     39 |  0.000 % |
560.25/560.26	c |    216367 |     763    67183   284754 | 2147483647   121063     39 |  0.000 % |
562.25/562.29	c |    217326 |     763    67183   284754 | 2147483647   122022     39 |  0.000 % |
564.65/564.69	c |    218384 |     763    67183   284754 | 2147483647   123080     39 |  0.000 % |
566.65/566.69	c |    219545 |     763    67183   284754 | 2147483647   124241     39 |  0.000 % |
571.64/571.65	c |    220818 |     763    67183   284754 | 2147483647   125514     39 |  0.000 % |
575.64/575.67	c |    222221 |     763    67183   284754 | 2147483647   126917     39 |  0.000 % |
580.54/580.52	c |    223761 |     763    67183   284754 | 2147483647   128457     39 |  0.000 % |
586.04/586.01	c |    225458 |     763    67183   284754 | 2147483647   130154     39 |  0.000 % |
592.24/592.29	c |    227321 |     763    67183   284754 | 2147483647   132017     39 |  0.000 % |
596.44/596.50	c |    229370 |     763    67183   284754 | 2147483647   134066     38 |  0.000 % |
603.04/603.05	c |    231629 |     763    67183   284754 | 2147483647   136325     39 |  0.000 % |
603.34/603.37	c |    231729 |     763    67183   284754 | 2147483647   136425     39 |  0.000 % |
603.64/603.65	c |    231839 |     763    67183   284754 | 2147483647   136535     39 |  0.000 % |
603.95/603.97	c |    231960 |     763    67183   284754 | 2147483647   136656     38 |  0.000 % |
604.24/604.29	c |    232093 |     763    67183   284754 | 2147483647   136789     38 |  0.000 % |
604.84/604.84	c |    232239 |     763    67183   284754 | 2147483647   136935     38 |  0.000 % |
605.34/605.32	c |    232400 |     763    67183   284754 | 2147483647   137096     39 |  0.000 % |
606.04/606.02	c |    232577 |     763    67183   284754 | 2147483647   137273     39 |  0.000 % |
606.84/606.80	c |    232771 |     763    67183   284754 | 2147483647   137467     39 |  0.000 % |
607.54/607.59	c |    232985 |     763    67183   284754 | 2147483647   137681     39 |  0.000 % |
608.54/608.60	c |    233218 |     763    67183   284754 | 2147483647   137914     39 |  0.000 % |
609.54/609.57	c |    233476 |     763    67183   284754 | 2147483647   138172     39 |  0.000 % |
610.55/610.52	c |    233759 |     763    67183   284754 | 2147483647   138455     39 |  0.000 % |
611.65/611.65	c |    234068 |     763    67183   284754 | 2147483647   138764     39 |  0.000 % |
613.04/613.08	c |    234409 |     763    67183   284754 | 2147483647   139105     39 |  0.000 % |
614.24/614.26	c |    234781 |     763    67183   284754 | 2147483647   139477     39 |  0.000 % |
615.84/615.81	c |    235192 |     763    67183   284754 | 2147483647   139888     39 |  0.000 % |
616.94/616.97	c |    235647 |     763    67183   284754 | 2147483647   140343     39 |  0.000 % |
618.34/618.39	c |    236141 |     763    67183   284754 | 2147483647   140837     38 |  0.000 % |
619.74/619.73	c |    236684 |     763    67183   284754 | 2147483647   141380     38 |  0.000 % |
621.04/621.07	c |    237284 |     763    67183   284754 | 2147483647   141980     38 |  0.000 % |
622.54/622.59	c |    237940 |     763    67183   284754 | 2147483647   142636     38 |  0.000 % |
624.44/624.46	c |    238660 |     763    67183   284754 | 2147483647   143356     38 |  0.000 % |
625.84/625.86	c |    239452 |     763    67183   284754 | 2147483647   144148     38 |  0.000 % |
628.44/628.44	c |    240323 |     763    67183   284754 | 2147483647   145019     38 |  0.000 % |
630.54/630.53	c |    241283 |     763    67183   284754 | 2147483647   145979     38 |  0.000 % |
632.24/632.25	c |    242336 |     763    67183   284754 | 2147483647   147032     38 |  0.000 % |
634.75/634.74	c |    243496 |     763    67183   284754 | 2147483647   148192     38 |  0.000 % |
636.85/636.90	c |    244769 |     763    67183   284754 | 2147483647   149465     38 |  0.000 % |
639.55/639.52	c |    246169 |     763    67183   284754 | 2147483647   150865     38 |  0.000 % |
642.65/642.64	c |    247710 |     763    67183   284754 | 2147483647   152406     38 |  0.000 % |
646.45/646.46	c |    249404 |     763    67183   284754 | 2147483647   154100     38 |  0.000 % |
650.75/650.74	c |    251268 |     763    67183   284754 | 2147483647   155964     37 |  0.000 % |
656.35/656.32	c |    253317 |     763    67183   284754 | 2147483647   158013     37 |  0.000 % |
663.75/663.80	c |    255570 |     763    67183   284754 | 2147483647   160266     37 |  0.000 % |
672.05/672.06	c |    258051 |     763    67183   284754 | 2147483647   162747     37 |  0.000 % |
672.45/672.50	c |    258152 |     763    67183   284754 | 2147483647   162848     37 |  0.000 % |
672.85/672.88	c |    258263 |     763    67183   284754 | 2147483647   162959     37 |  0.000 % |
673.35/673.34	c |    258384 |     763    67183   284754 | 2147483647   163080     37 |  0.000 % |
673.75/673.74	c |    258519 |     763    67183   284754 | 2147483647   163215     37 |  0.000 % |
674.45/674.47	c |    258665 |     763    67183   284754 | 2147483647   163361     37 |  0.000 % |
675.05/675.07	c |    258828 |     763    67183   284754 | 2147483647   163524     37 |  0.000 % |
675.55/675.61	c |    259004 |     763    67183   284754 | 2147483647   163700     37 |  0.000 % |
676.55/676.59	c |    259198 |     763    67183   284754 | 2147483647   163894     37 |  0.000 % |
677.55/677.58	c |    259410 |     763    67183   284754 | 2147483647   164106     37 |  0.000 % |
678.55/678.56	c |    259643 |     763    67183   284754 | 2147483647   164339     37 |  0.000 % |
679.25/679.22	c |    259899 |     763    67183   284754 | 2147483647   164595     37 |  0.000 % |
680.05/680.09	c |    260181 |     763    67183   284754 | 2147483647   164877     37 |  0.000 % |
681.05/681.01	c |    260492 |     763    67183   284754 | 2147483647   165188     37 |  0.000 % |
681.85/681.85	c |    260832 |     763    67183   284754 | 2147483647   165528     37 |  0.000 % |
682.65/682.66	c |    261205 |     763    67183   284754 | 2147483647   165901     37 |  0.000 % |
683.85/683.88	c |    261614 |     763    67183   284754 | 2147483647   166310     37 |  0.000 % |
684.85/684.87	c |    262064 |     763    67183   284754 | 2147483647   166760     37 |  0.000 % |
686.25/686.31	c |    262558 |     763    67183   284754 | 2147483647   167254     37 |  0.000 % |
688.25/688.21	c |    263102 |     763    67183   284754 | 2147483647   167798     37 |  0.000 % |
690.25/690.29	c |    263699 |     763    67183   284754 | 2147483647   168395     37 |  0.000 % |
692.05/692.06	c |    264355 |     763    67183   284754 | 2147483647   169051     37 |  0.000 % |
693.95/693.92	c |    265076 |     763    67183   284754 | 2147483647   169772     37 |  0.000 % |
696.75/696.77	c |    265870 |     763    67183   284754 | 2147483647   170566     37 |  0.000 % |
700.15/700.17	c |    266741 |     763    67183   284754 | 2147483647   171437     37 |  0.000 % |
702.95/702.99	c |    267699 |     763    67183   284754 | 2147483647   172395     37 |  0.000 % |
706.85/706.87	c |    268752 |     763    67183   284754 | 2147483647   173448     37 |  0.000 % |
711.45/711.44	c |    269911 |     763    67183   284754 | 2147483647   174607     37 |  0.000 % |
716.05/716.11	c |    271185 |     763    67183   284754 |   174697   149426     37 |  0.000 % |
720.45/720.47	c |    272588 |     763    67183   284754 |   174697   150829     37 |  0.000 % |
725.25/725.27	c |    274131 |     763    67183   284754 |   174697   152372     37 |  0.000 % |
729.05/729.09	c |    275828 |     763    67183   284754 |   174697   154069     37 |  0.000 % |
733.15/733.15	c |    277693 |     763    67183   284754 |   174697   155934     37 |  0.000 % |
738.16/738.12	c |    279744 |     763    67183   284754 |   174697   157985     37 |  0.000 % |
742.05/742.09	c |    281998 |     763    67183   284754 |   158244   129992     37 |  0.000 % |
746.15/746.11	c |    284477 |     763    67183   284754 |   158244   132471     38 |  0.000 % |
751.15/751.14	c |    287204 |     763    67183   284754 |   158244   135198     38 |  0.000 % |
751.25/751.30	c |    287308 |     763    67183   284754 |   158244   135302     38 |  0.000 % |
751.55/751.58	c |    287419 |     763    67183   284754 |   158244   135413     38 |  0.000 % |
751.95/751.92	c |    287540 |     763    67183   284754 |   158244   135534     38 |  0.000 % |
752.35/752.39	c |    287674 |     763    67183   284754 |   158244   135668     38 |  0.000 % |
752.75/752.71	c |    287821 |     763    67183   284754 |   158244   135815     38 |  0.000 % |
753.15/753.16	c |    287981 |     763    67183   284754 |   158244   135975     38 |  0.000 % |
753.45/753.49	c |    288160 |     763    67183   284754 |   158244   136154     38 |  0.000 % |
753.95/753.91	c |    288355 |     763    67183   284754 |   158244   136349     38 |  0.000 % |
754.35/754.39	c |    288567 |     763    67183   284754 |   158244   136561     38 |  0.000 % |
754.95/754.99	c |    288800 |     763    67183   284754 |   158244   136794     38 |  0.000 % |
755.76/755.73	c |    289056 |     763    67183   284754 |   158244   137050     38 |  0.000 % |
756.65/756.67	c |    289339 |     763    67183   284754 |   158244   137333     38 |  0.000 % |
757.55/757.52	c |    289649 |     763    67183   284754 |   158244   137643     38 |  0.000 % |
758.35/758.39	c |    289989 |     763    67183   284754 |   158244   137983     38 |  0.000 % |
759.55/759.54	c |    290363 |     763    67183   284754 |   137995   117019     38 |  0.000 % |
760.65/760.62	c |    290774 |     763    67183   284754 |   137995   117430     38 |  0.000 % |
761.96/761.92	c |    291223 |     763    67183   284754 |   137995   117879     38 |  0.000 % |
763.06/763.02	c |    291717 |     763    67183   284754 |   137995   118373     38 |  0.000 % |
764.36/764.35	c |    292260 |     763    67183   284754 |   137995   118916     38 |  0.000 % |
765.76/765.80	c |    292859 |     763    67183   284754 |   137995   119515     38 |  0.000 % |
766.96/766.94	c |    293517 |     763    67183   284754 |   137995   120173     38 |  0.000 % |
769.06/769.09	c |    294237 |     763    67183   284754 |   137995   120893     38 |  0.000 % |
770.86/770.90	c |    295031 |     763    67183   284754 |   137995   121687     38 |  0.000 % |
773.26/773.25	c |    295902 |     763    67183   284754 |   137995   122558     38 |  0.000 % |
775.86/775.88	c |    296863 |     763    67183   284754 |   137995   123519     38 |  0.000 % |
778.26/778.30	c |    297917 |     763    67183   284754 |   137995   124573     38 |  0.000 % |
780.86/780.87	c |    299076 |     763    67183   284754 |   137995   125732     38 |  0.000 % |
784.56/784.56	c |    300351 |     763    67183   284754 | 2147483647   127007     38 |  0.000 % |
787.56/787.57	c |    301751 |     763    67183   284754 | 2147483647   128407     38 |  0.000 % |
791.06/791.09	c |    303292 |     763    67183   284754 | 2147483647   129948     38 |  0.000 % |
795.46/795.48	c |    304987 |     763    67183   284754 | 2147483647   131643     38 |  0.000 % |
799.86/799.89	c |    306850 |     763    67183   284754 | 2147483647   133506     37 |  0.000 % |
804.96/804.97	c |    308899 |     763    67183   284754 | 2147483647   135555     37 |  0.000 % |
810.46/810.49	c |    311153 |     763    67183   284754 | 2147483647   137809     37 |  0.000 % |
815.96/815.96	c |    313632 |     763    67183   284754 | 2147483647   140288     37 |  0.000 % |
821.76/821.73	c |    316359 |     763    67183   284754 | 2147483647   143015     37 |  0.000 % |
828.06/828.04	c |    319356 |     763    67183   284754 | 2147483647   146012     37 |  0.000 % |
828.26/828.29	c |    319458 |     763    67183   284754 | 2147483647   146114     37 |  0.000 % |
828.56/828.54	c |    319569 |     763    67183   284754 | 2147483647   146225     37 |  0.000 % |
828.96/828.95	c |    319691 |     763    67183   284754 | 2147483647   146347     37 |  0.000 % |
829.36/829.34	c |    319824 |     763    67183   284754 | 2147483647   146480     37 |  0.000 % |
829.86/829.81	c |    319970 |     763    67183   284754 | 2147483647   146626     37 |  0.000 % |
830.36/830.37	c |    320131 |     763    67183   284754 | 2147483647   146787     37 |  0.000 % |
830.86/830.85	c |    320308 |     763    67183   284754 | 2147483647   146964     37 |  0.000 % |
831.46/831.46	c |    320502 |     763    67183   284754 | 2147483647   147158     37 |  0.000 % |
832.16/832.20	c |    320718 |     763    67183   284754 | 2147483647   147374     37 |  0.000 % |
832.76/832.76	c |    320952 |     763    67183   284754 | 2147483647   147608     37 |  0.000 % |
833.36/833.38	c |    321208 |     763    67183   284754 | 2147483647   147864     37 |  0.000 % |
833.96/833.98	c |    321490 |     763    67183   284754 | 2147483647   148146     37 |  0.000 % |
834.66/834.67	c |    321799 |     763    67183   284754 | 2147483647   148455     37 |  0.000 % |
835.56/835.53	c |    322138 |     763    67183   284754 | 2147483647   148794     37 |  0.000 % |
836.56/836.52	c |    322511 |     763    67183   284754 | 2147483647   149167     37 |  0.000 % |
837.86/837.87	c |    322920 |     763    67183   284754 | 2147483647   149576     37 |  0.000 % |
838.96/838.91	c |    323369 |     763    67183   284754 | 2147483647   150025     37 |  0.000 % |
840.16/840.11	c |    323862 |     763    67183   284754 | 2147483647   150518     37 |  0.000 % |
841.76/841.75	c |    324406 |     763    67183   284754 | 2147483647   151062     37 |  0.000 % |
843.36/843.36	c |    325002 |     763    67183   284754 | 2147483647   151658     37 |  0.000 % |
845.46/845.45	c |    325657 |     763    67183   284754 | 2147483647   152313     37 |  0.000 % |
847.96/848.00	c |    326378 |     763    67183   284754 | 2147483647   153034     37 |  0.000 % |
850.56/850.57	c |    327170 |     763    67183   284754 | 2147483647   153826     37 |  0.000 % |
853.26/853.24	c |    328042 |     763    67183   284754 | 2147483647   154698     37 |  0.000 % |
855.87/855.85	c |    329000 |     763    67183   284754 | 2147483647   155656     37 |  0.000 % |
859.46/859.43	c |    330056 |     763    67183   284754 | 2147483647   156712     37 |  0.000 % |
862.96/862.99	c |    331215 |     763    67183   284754 | 2147483647   157871     37 |  0.000 % |
866.96/866.94	c |    332488 |     763    67183   284754 | 2147483647   159144     37 |  0.003 % |
870.66/870.67	c |    333889 |     763    67183   284754 | 2147483647   160545     37 |  0.000 % |
876.16/876.14	c |    335430 |     763    67183   284754 | 2147483647   162086     37 |  0.000 % |
880.96/880.95	c |    337124 |     763    67183   284754 | 2147483647   163780     37 |  0.000 % |
885.57/885.52	c |    338987 |     763    67183   284754 | 2147483647   165643     37 |  0.000 % |
889.67/889.66	c |    341038 |     763    67183   284754 | 2147483647   167694     37 |  0.000 % |
897.87/897.87	c |    343295 |     763    67183   284754 | 2147483647   169951     37 |  0.000 % |
906.27/906.24	c |    345775 |     763    67183   284754 | 2147483647   172431     37 |  0.000 % |
914.37/914.33	c |    348503 |     763    67183   284754 | 2147483647   175159     37 |  0.000 % |
925.26/925.25	c |    351506 |     763    67183   284754 | 2147483647   178162     38 |  0.000 % |
937.16/937.11	c |    354804 |     763    67183   284754 | 2147483647   181460     38 |  0.000 % |
937.56/937.59	c |    354904 |     763    67183   284754 | 2147483647   181560     38 |  0.000 % |
938.06/938.01	c |    355015 |     763    67183   284754 | 2147483647   181671     38 |  0.000 % |
938.66/938.64	c |    355137 |     763    67183   284754 | 2147483647   181793     38 |  0.000 % |
939.16/939.13	c |    355271 |     763    67183   284754 | 2147483647   181927     38 |  0.000 % |
939.66/939.69	c |    355417 |     763    67183   284754 | 2147483647   182073     38 |  0.000 % |
940.26/940.22	c |    355577 |     763    67183   284754 | 2147483647   182233     38 |  0.000 % |
940.86/940.84	c |    355753 |     763    67183   284754 | 2147483647   182409     38 |  0.000 % |
941.56/941.52	c |    355948 |     763    67183   284754 | 2147483647   182604     38 |  0.000 % |
942.26/942.29	c |    356160 |     763    67183   284754 | 2147483647   182816     38 |  0.000 % |
943.16/943.14	c |    356394 |     763    67183   284754 | 2147483647   183050     38 |  0.000 % |
943.86/943.84	c |    356650 |     763    67183   284754 | 2147483647   183306     38 |  0.000 % |
944.76/944.77	c |    356933 |     763    67183   284754 | 2147483647   183589     38 |  0.000 % |
945.76/945.75	c |    357242 |     763    67183   284754 | 2147483647   183898     38 |  0.000 % |
946.66/946.68	c |    357582 |     763    67183   284754 | 2147483647   184238     38 |  0.000 % |
948.36/948.37	c |    357956 |     763    67183   284754 | 2147483647   184612     38 |  0.000 % |
949.96/950.00	c |    358366 |     763    67183   284754 | 2147483647   185022     38 |  0.000 % |
951.26/951.24	c |    358815 |     763    67183   284754 | 2147483647   185471     38 |  0.000 % |
953.06/953.00	c |    359309 |     763    67183   284754 | 2147483647   185965     38 |  0.000 % |
954.76/954.78	c |    359853 |     763    67183   284754 | 2147483647   186509     38 |  0.000 % |
956.86/956.84	c |    360450 |     763    67183   284754 |   186656   157720     37 |  0.000 % |
959.06/959.06	c |    361105 |     763    67183   284754 |   186656   158375     37 |  0.000 % |
961.16/961.18	c |    361827 |     763    67183   284754 |   186656   159097     37 |  0.000 % |
962.96/962.99	c |    362619 |     763    67183   284754 |   186656   159889     37 |  0.000 % |
964.86/964.88	c |    363490 |     763    67183   284754 |   186656   160760     37 |  0.000 % |
967.46/967.42	c |    364448 |     763    67183   284754 |   186656   161718     37 |  0.000 % |
970.76/970.75	c |    365503 |     763    67183   284754 |   186656   162773     38 |  0.000 % |
974.67/974.67	c |    366662 |     763    67183   284754 |   186656   163932     38 |  0.000 % |
978.36/978.38	c |    367935 |     763    67183   284754 |   186656   165205     38 |  0.000 % |
982.76/982.74	c |    369335 |     763    67183   284754 |   186656   166605     38 |  0.000 % |
987.96/987.93	c |    370875 |     763    67183   284754 |   167271   136513     39 |  0.000 % |
992.36/992.36	c |    372569 |     763    67183   284754 |   167271   138207     38 |  0.000 % |
999.26/999.27	c |    374432 |     763    67183   284754 |   167271   140070     39 |  0.000 % |
1005.56/1005.54	c |    376483 |     763    67183   284754 |   167271   142121     39 |  0.000 % |
1012.16/1012.15	c |    378738 |     763    67183   284754 |   167271   144376     39 |  0.000 % |
1018.17/1018.17	c |    381218 |     763    67183   284754 | 2147483647   146856     39 |  0.000 % |
1024.77/1024.80	c |    383943 |     763    67183   284754 | 2147483647   149581     38 |  0.000 % |
1032.77/1032.73	c |    386941 |     763    67183   284754 | 2147483647   152579     38 |  0.000 % |
1040.77/1040.78	c |    390240 |     763    67183   284754 | 2147483647   155878     38 |  0.000 % |
1049.47/1049.43	c |    393867 |     763    67183   284754 | 2147483647   159505     38 |  0.000 % |
1049.67/1049.69	c |    393967 |     763    67183   284754 | 2147483647   159605     38 |  0.000 % |
1050.07/1050.03	c |    394086 |     763    67183   284754 | 2147483647   159724     38 |  0.000 % |
1050.57/1050.59	c |    394208 |     763    67183   284754 | 2147483647   159846     38 |  0.000 % |
1051.07/1051.05	c |    394342 |     763    67183   284754 | 2147483647   159980     38 |  0.000 % |
1051.47/1051.49	c |    394490 |     763    67183   284754 | 2147483647   160128     38 |  0.000 % |
1051.97/1051.91	c |    394650 |     763    67183   284754 | 2147483647   160288     38 |  0.000 % |
1052.47/1052.49	c |    394829 |     763    67183   284754 | 2147483647   160467     38 |  0.000 % |
1053.07/1053.09	c |    395022 |     763    67183   284754 | 2147483647   160660     38 |  0.000 % |
1053.97/1053.98	c |    395238 |     763    67183   284754 | 2147483647   160876     38 |  0.000 % |
1054.77/1054.72	c |    395471 |     763    67183   284754 | 2147483647   161109     38 |  0.000 % |
1055.77/1055.77	c |    395727 |     763    67183   284754 | 2147483647   161365     38 |  0.000 % |
1056.87/1056.87	c |    396009 |     763    67183   284754 | 2147483647   161647     38 |  0.000 % |
1058.27/1058.26	c |    396319 |     763    67183   284754 | 2147483647   161957     38 |  0.000 % |
1059.57/1059.51	c |    396658 |     763    67183   284754 | 2147483647   162296     38 |  0.000 % |
1060.77/1060.72	c |    397030 |     763    67183   284754 | 2147483647   162668     38 |  0.000 % |
1062.57/1062.57	c |    397441 |     763    67183   284754 | 2147483647   163079     38 |  0.000 % |
1064.17/1064.20	c |    397892 |     763    67183   284754 | 2147483647   163530     38 |  0.000 % |
1065.87/1065.86	c |    398386 |     763    67183   284754 | 2147483647   164024     38 |  0.000 % |
1067.37/1067.32	c |    398928 |     763    67183   284754 | 2147483647   164566     38 |  0.000 % |
1069.27/1069.21	c |    399526 |     763    67183   284754 | 2147483647   165164     38 |  0.000 % |
1071.77/1071.77	c |    400183 |     763    67183   284754 | 2147483647   165821     38 |  0.000 % |
1073.67/1073.66	c |    400904 |     763    67183   284754 | 2147483647   166542     38 |  0.000 % |
1075.97/1075.96	c |    401696 |     763    67183   284754 | 2147483647   167334     38 |  0.000 % |
1079.47/1079.44	c |    402567 |     763    67183   284754 | 2147483647   168205     38 |  0.000 % |
1083.47/1083.48	c |    403525 |     763    67183   284754 | 2147483647   169163     38 |  0.000 % |
1087.57/1087.58	c |    404579 |     763    67183   284754 | 2147483647   170217     38 |  0.000 % |
1092.57/1092.53	c |    405742 |     763    67183   284754 | 2147483647   171380     39 |  0.000 % |
1096.67/1096.70	c |    407016 |     763    67183   284754 | 2147483647   172654     39 |  0.000 % |
1101.67/1101.64	c |    408417 |     763    67183   284754 | 2147483647   174055     39 |  0.000 % |
1107.07/1107.08	c |    409962 |     763    67183   284754 | 2147483647   175600     39 |  0.000 % |
1113.07/1113.07	c |    411657 |     763    67183   284754 |   175638   152254     39 |  0.000 % |
1119.17/1119.13	c |    413524 |     763    67183   284754 |   175638   154121     39 |  0.000 % |
1125.27/1125.29	c |    415573 |     763    67183   284754 |   175638   156170     39 |  0.000 % |
1133.77/1133.76	c |    417828 |     763    67183   284754 |   175638   158425     39 |  0.000 % |
1143.38/1143.31	c |    420306 |     763    67183   284754 |   160597   142217     38 |  0.000 % |
1151.78/1151.80	c |    423032 |     763    67183   284754 |   160597   144943     38 |  0.000 % |
1161.68/1161.65	c |    426029 |     763    67183   284754 |   160597   147940     39 |  0.000 % |
1172.98/1172.94	c |    429326 |     763    67183   284754 |   160597   151237     39 |  0.000 % |
1184.68/1184.68	c |    432953 |     763    67183   284754 |   151912   129248     40 |  0.000 % |
1197.98/1197.96	c |    436941 |     763    67183   284754 |   151912   133236     40 |  0.000 % |
1198.38/1198.40	c |    437042 |     763    67183   284754 |   151912   133337     40 |  0.000 % |
1198.98/1198.94	c |    437153 |     763    67183   284754 |   151912   133448     40 |  0.000 % |
1199.39/1199.36	c |    437275 |     763    67183   284754 |   151912   133570     40 |  0.000 % |
1199.89/1199.82	c |    437409 |     763    67183   284754 |   151912   133704     40 |  0.000 % |
1200.09/1200.03	HOME/SatELiteGTI: line 36:  2851 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-1821742-1242559805/watcher-1821742-1242559805 -o /tmp/evaluation-result-1821742-1242559805/solver-1821742-1242559805 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821742-1242559805.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.02 1.03 1.00 2/96 2845
/proc/meminfo: memFree=1468180/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2412 CPUtime=0
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 364 647 0 0 0 0 0 0 25 0 1 0 1020478761 2469888 275 4294967295 134512640 135169312 3218411680 3218410216 3085389550 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2845/statm: 603 275 235 161 0 42 0
[pid=2849] ppid=2845 vsize=952 CPUtime=0
/proc/2849/stat : 2849 (SatELite_releas) R 2845 2845 11066 0 -1 4202496 129 0 0 0 0 0 0 0 25 0 1 0 1020478762 974848 66 4294967295 134512640 135223648 3214648576 3214647172 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2849/statm: 238 71 46 174 0 63 0

[startup+0.08964 s]
/proc/loadavg: 1.02 1.03 1.00 2/96 2845
/proc/meminfo: memFree=1468180/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2412 CPUtime=0
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 364 647 0 0 0 0 0 0 25 0 1 0 1020478761 2469888 275 4294967295 134512640 135169312 3218411680 3218410216 3085389550 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2845/statm: 603 275 235 161 0 42 0
[pid=2849] ppid=2845 vsize=6352 CPUtime=0.09
/proc/2849/stat : 2849 (SatELite_releas) R 2845 2845 11066 0 -1 4202496 1448 0 0 0 9 0 0 0 25 0 1 0 1020478762 6504448 1384 4294967295 134512640 135223648 3214648576 3214646352 134585497 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2849/statm: 1588 1384 73 174 0 1413 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8764

[startup+0.109639 s]
/proc/loadavg: 1.02 1.03 1.00 2/96 2845
/proc/meminfo: memFree=1468180/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2412 CPUtime=0
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 364 647 0 0 0 0 0 0 25 0 1 0 1020478761 2469888 275 4294967295 134512640 135169312 3218411680 3218410216 3085389550 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2845/statm: 603 275 235 161 0 42 0
[pid=2849] ppid=2845 vsize=6480 CPUtime=0.11
/proc/2849/stat : 2849 (SatELite_releas) R 2845 2845 11066 0 -1 4202496 1484 0 0 0 11 0 0 0 25 0 1 0 1020478762 6635520 1420 4294967295 134512640 135223648 3214648576 3214646432 134578179 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2849/statm: 1620 1420 73 174 0 1445 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8892

[startup+0.309627 s]
/proc/loadavg: 1.02 1.03 1.00 2/96 2845
/proc/meminfo: memFree=1468180/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2412 CPUtime=0
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 364 647 0 0 0 0 0 0 25 0 1 0 1020478761 2469888 275 4294967295 134512640 135169312 3218411680 3218410216 3085389550 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2845/statm: 603 275 235 161 0 42 0
[pid=2849] ppid=2845 vsize=8284 CPUtime=0.31
/proc/2849/stat : 2849 (SatELite_releas) R 2845 2845 11066 0 -1 4202496 1876 0 0 0 31 0 0 0 25 0 1 0 1020478762 8482816 1812 4294967295 134512640 135223648 3214648576 3214646672 134585507 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2849/statm: 2071 1812 73 174 0 1896 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10696

[startup+0.709606 s]
/proc/loadavg: 1.02 1.03 1.00 2/96 2845
/proc/meminfo: memFree=1468180/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 2416

[startup+1.51956 s]
/proc/loadavg: 1.02 1.03 1.00 2/98 2851
/proc/meminfo: memFree=1461196/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=5760 CPUtime=0.92
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 1358 0 0 0 92 0 0 0 19 0 1 0 1020478822 5898240 1292 4294967295 134512640 135215339 3220390608 3220388896 134528827 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 1440 1292 73 172 0 1267 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8176

[startup+3.11947 s]
/proc/loadavg: 1.02 1.03 1.00 2/98 2851
/proc/meminfo: memFree=1460700/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=6424 CPUtime=2.52
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 1529 0 0 0 252 0 0 0 22 0 1 0 1020478822 6578176 1463 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 1606 1463 73 172 0 1433 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8840

[startup+6.31929 s]
/proc/loadavg: 1.01 1.03 1.00 2/98 2851
/proc/meminfo: memFree=1459468/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=7484 CPUtime=5.72
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 1801 0 0 0 572 0 0 0 25 0 1 0 1020478822 7663616 1735 4294967295 134512640 135215339 3220390608 3220388896 134528700 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 1871 1735 73 172 0 1698 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 9900

[startup+12.7189 s]
/proc/loadavg: 1.01 1.03 1.00 2/98 2851
/proc/meminfo: memFree=1457820/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=9084 CPUtime=12.12
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 2167 0 0 0 1212 0 0 0 25 0 1 0 1020478822 9302016 2101 4294967295 134512640 135215339 3220390608 3220388896 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 2271 2101 73 172 0 2098 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 11500

[startup+25.5182 s]
/proc/loadavg: 1.01 1.03 1.00 2/98 3041
/proc/meminfo: memFree=1454800/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=11520 CPUtime=24.92
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 2745 0 0 0 2492 0 0 0 25 0 1 0 1020478822 11796480 2679 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 2880 2679 73 172 0 2707 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 13936

[startup+51.1168 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 3044
/proc/meminfo: memFree=1450916/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=15732 CPUtime=50.52
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 3790 0 0 0 5051 1 0 0 25 0 1 0 1020478822 16109568 3724 4294967295 134512640 135215339 3220390608 3220388896 134528824 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 3933 3724 73 172 0 3760 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 18148

[startup+102.324 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 3232
/proc/meminfo: memFree=1446428/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=20328 CPUtime=101.73
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 4849 0 0 0 10172 1 0 0 25 0 1 0 1020478822 20815872 4783 4294967295 134512640 135215339 3220390608 3220388896 134528788 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 5082 4783 73 172 0 4909 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 22744

[startup+162.321 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 3422
/proc/meminfo: memFree=1443552/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=22844 CPUtime=161.73
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 5521 0 0 0 16171 2 0 0 25 0 1 0 1020478822 23392256 5455 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 5711 5455 73 172 0 5538 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 25260

[startup+222.307 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 3613
/proc/meminfo: memFree=1442808/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=23560 CPUtime=221.72
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 5682 0 0 0 22170 2 0 0 25 0 1 0 1020478822 24125440 5616 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 5890 5616 73 172 0 5717 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 25976

[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 3826
/proc/meminfo: memFree=1442452/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=23916 CPUtime=281.73
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 5767 0 0 0 28171 2 0 0 25 0 1 0 1020478822 24489984 5701 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 5979 5701 73 172 0 5806 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 26332

[startup+342.311 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 4014
/proc/meminfo: memFree=1442436/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=24068 CPUtime=341.73
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 5785 0 0 0 34171 2 0 0 25 0 1 0 1020478822 24645632 5719 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 6017 5719 73 172 0 5844 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 26484

[startup+402.317 s]

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

/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=26268 CPUtime=461.74
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 6354 0 0 0 46171 3 0 0 25 0 1 0 1020478822 26898432 6288 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 6567 6288 73 172 0 6394 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 28684

[startup+522.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 4584
/proc/meminfo: memFree=1436096/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=30848 CPUtime=521.75
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 7441 0 0 0 52171 4 0 0 25 0 1 0 1020478822 31588352 7375 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 7712 7375 73 172 0 7539 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 33264

[startup+582.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 4772
/proc/meminfo: memFree=1432044/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=34596 CPUtime=581.74
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 8381 0 0 0 58169 5 0 0 25 0 1 0 1020478822 35426304 8315 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 8649 8315 73 172 0 8476 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 37012

[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 4959
/proc/meminfo: memFree=1428184/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=38716 CPUtime=641.75
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 9360 0 0 0 64169 6 0 0 25 0 1 0 1020478822 39645184 9294 4294967295 134512640 135215339 3220390608 3220388896 134528806 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 9679 9294 73 172 0 9506 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 41132

[startup+702.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 5145
/proc/meminfo: memFree=1424580/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=42440 CPUtime=701.75
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 10264 0 0 0 70169 6 0 0 25 0 1 0 1020478822 43458560 10198 4294967295 134512640 135215339 3220390608 3220388896 134528700 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 10610 10198 73 172 0 10437 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 44856

[startup+762.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 5338
/proc/meminfo: memFree=1423604/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=43272 CPUtime=761.76
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 10471 0 0 0 76170 6 0 0 25 0 1 0 1020478822 44310528 10405 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 10818 10405 73 172 0 10645 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 45688

[startup+822.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 5527
/proc/meminfo: memFree=1423232/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=43744 CPUtime=821.76
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 10581 0 0 0 82170 6 0 0 25 0 1 0 1020478822 44793856 10515 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 10936 10515 73 172 0 10763 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 46160

[startup+882.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 5715
/proc/meminfo: memFree=1422852/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=44124 CPUtime=881.76
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 10693 0 0 0 88170 6 0 0 25 0 1 0 1020478822 45182976 10627 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11031 10627 73 172 0 10858 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 46540

[startup+942.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 5902
/proc/meminfo: memFree=1421380/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=45792 CPUtime=941.76
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11088 0 0 0 94170 6 0 0 25 0 1 0 1020478822 46891008 11022 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11448 11022 73 172 0 11275 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 48208

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 6088
/proc/meminfo: memFree=1420132/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=46804 CPUtime=1001.76
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11340 0 0 0 100170 6 0 0 25 0 1 0 1020478822 47927296 11274 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11701 11274 73 172 0 11528 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 49220

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 6277
/proc/meminfo: memFree=1419892/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=47120 CPUtime=1061.77
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11423 0 0 0 106171 6 0 0 25 0 1 0 1020478822 48250880 11357 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11780 11357 73 172 0 11607 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 49536

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 6470
/proc/meminfo: memFree=1419596/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=47512 CPUtime=1121.77
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11522 0 0 0 112171 6 0 0 25 0 1 0 1020478822 48652288 11456 4294967295 134512640 135215339 3220390608 3220388896 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11878 11456 73 172 0 11705 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 49928

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 6658
/proc/meminfo: memFree=1419224/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=47724 CPUtime=1181.78
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11577 0 0 0 118172 6 0 0 25 0 1 0 1020478822 48869376 11511 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11931 11511 73 172 0 11758 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 50140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 6659
/proc/meminfo: memFree=1419296/2074464 swapFree=1950760/1959888
[pid=2845] ppid=2843 vsize=2416 CPUtime=0.6
/proc/2845/stat : 2845 (SatELiteGTI) S 2843 2845 11066 0 -1 4194304 384 2527 0 0 0 0 60 0 21 0 1 0 1020478761 2473984 277 4294967295 134512640 135169312 3218411680 3218407896 3085389550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2845/statm: 604 277 235 161 0 43 0
[pid=2851] ppid=2845 vsize=47724 CPUtime=1199.49
/proc/2851/stat : 2851 (minisat_static) R 2845 2845 11066 0 -1 4202496 11578 0 0 0 119943 6 0 0 25 0 1 0 1020478822 48869376 11512 4294967295 134512640 135215339 3220390608 3220388896 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2851/statm: 11931 11512 73 172 0 11758 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 50140

Sending SIGTERM to process tree (bottom up)

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.03
system time used= 0.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14764
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= 850

runsolver used 0.02 second user time and 0.05 second system time

The end

Launcher Data

Begin job on tipi23 at 2009-05-17 13:30:05
IDJOB=1821742
IDBENCH=71078
IDSOLVER=657
FILE ID=tipi23/1821742-1242559805
PBS_JOBID=
Free space on /tmp= 8523 MiB

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

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

MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED= 1206056781

Linux tipi23 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.377
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.38

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
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.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
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.79

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
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.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1468196 kB
Buffers:         37792 kB
Cached:         483152 kB
SwapCached:       3584 kB
Active:         243564 kB
Inactive:       289136 kB
HighTotal:     1178688 kB
HighFree:       685360 kB
LowTotal:       895776 kB
LowFree:        782836 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:            2720 kB
Writeback:           0 kB
AnonPages:       10912 kB
Mapped:           4432 kB
Slab:            65456 kB
PageTables:        572 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96888 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8523 MiB
End job on tipi23 at 2009-05-17 13:50:05