Trace number 1820993

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 r-2009-03-18? (TO) 1200.09 1200.04

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
MD5SUMfc00df719c8630009723cd295f7c0c3b
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 variables23696
Number of clauses70703
Sum of the clauses size164971
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 247134
Number of clauses of size 323567
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.06	c ==============================================================================
0.00/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.06	c ==============================================================================
0.00/0.06	c |         0 |   70701   164969 |   21210       0        0     nan |  0.000 % |
0.51/0.58	c |         0 |   35182   121457 |      --       0       --      -- |     --   | -35497/-43459
0.51/0.58	c ==============================================================================
0.51/0.58	c Result  :   #vars: 6588   #clauses: 35182   #literals: 121457
0.51/0.58	c CPU time:   0.56 s
0.51/0.58	c ==============================================================================
0.61/0.63	c This is MiniSat 2.0 beta
0.61/0.63	c WARNING: for repeatability, setting FPU to use double precision
0.61/0.63	c ============================[ Problem Statistics ]=============================
0.61/0.63	c |                                                                             |
0.61/0.63	c |  Number of variables:  6588                                                 |
0.61/0.63	c |  Number of clauses:    35182                                                |
0.61/0.65	c |  Parsing time:         0.01         s                                       |
0.61/0.65	c ============================[ Search Statistics ]==============================
0.61/0.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.61/0.65	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.61/0.65	c ===============================================================================
0.61/0.65	c |         0 |    6588    35182   121457 |    11727        0    nan |  0.000 % |
0.61/0.70	c |       513 |    6587    35182   121457 |    11727      512     42 |  0.015 % |
0.62/0.77	c |      1026 |    6587    35182   121457 |    11727     1025     47 |  0.015 % |
0.62/0.83	c |      1538 |    6587    35149   121389 |    11727     1537     39 |  0.015 % |
0.62/1.00	c |      2562 |    6587    35149   121389 |    11727     2561     52 |  0.015 % |
1.01/1.06	c |      3074 |    6587    35149   121389 |    11727     3073     47 |  0.015 % |
1.11/1.15	c |      3586 |    6587    35149   121389 |    11727     3585     59 |  0.015 % |
1.21/1.30	c |      4610 |    6587    35149   121389 |    11727     4609     58 |  0.015 % |
1.91/2.00	c |      6658 |    6587    35149   121389 |    11727     6657     74 |  0.015 % |
2.11/2.14	c |      7171 |    6587    35149   121389 |    11727     7170     74 |  0.015 % |
2.21/2.21	c |      7684 |    6586    35117   121325 |    11727     7681     71 |  0.030 % |
2.41/2.44	c |      8709 |    6586    35117   121325 |    11727     8706     71 |  0.030 % |
2.51/2.52	c |      9226 |    6586    35117   121325 |    11727     9223     70 |  0.030 % |
2.61/2.64	c |      9738 |    6586    35117   121325 |    11727     9735     71 |  0.030 % |
2.81/2.88	c |     10762 |    6586    35117   121325 | 2147483647    10759     71 |  0.030 % |
3.61/3.61	c |     12810 |    6586    35117   121325 | 2147483647    12807     75 |  0.030 % |
4.81/4.83	c |     16908 |    6586    35117   121325 | 2147483647    16905     93 |  0.030 % |
5.01/5.02	c |     17420 |    6586    35117   121325 | 2147483647    17417     94 |  0.030 % |
5.11/5.17	c |     17932 |    6586    35117   121325 | 2147483647    17929     97 |  0.030 % |
5.41/5.51	c |     18957 |    6586    35117   121325 | 2147483647    18954    100 |  0.030 % |
5.61/5.68	c |     19469 |    6586    35117   121325 | 2147483647    19466    103 |  0.030 % |
5.81/5.90	c |     19981 |    6586    35117   121325 | 2147483647    19978    104 |  0.030 % |
6.31/6.32	c |     21006 |    6586    35117   121325 | 2147483647    21003    104 |  0.030 % |
7.01/7.05	c |     23054 |    6586    35117   121325 | 2147483647    23051    109 |  0.030 % |
7.21/7.24	c |     23566 |    6586    35117   121325 | 2147483647    23563    109 |  0.030 % |
7.31/7.36	c |     24079 |    6586    35117   121325 | 2147483647    24076    109 |  0.030 % |
7.61/7.66	c |     25107 |    6586    35117   121325 | 2147483647    25104    111 |  0.030 % |
7.81/7.88	c |     25623 |    6586    35117   121325 | 2147483647    25620    112 |  0.030 % |
8.01/8.05	c |     26135 |    6586    35117   121325 | 2147483647    26132    113 |  0.030 % |
8.51/8.53	c |     27161 |    6586    35117   121325 | 2147483647    27158    114 |  0.030 % |
9.51/9.53	c |     29211 |    6586    35117   121325 | 2147483647    29208    122 |  0.030 % |
11.51/11.60	c |     33307 |    6586    35117   121325 | 2147483647    33304    128 |  0.030 % |
16.51/16.54	c |     41503 |    6586    35117   121325 | 2147483647    41500    141 |  0.030 % |
16.91/17.00	c |     42015 |    6586    35117   121325 | 2147483647    42012    142 |  0.030 % |
17.41/17.42	c |     42528 |    6586    35117   121325 | 2147483647    42525    142 |  0.030 % |
18.11/18.12	c |     43552 |    6586    35117   121325 | 2147483647    43549    143 |  0.030 % |
18.51/18.55	c |     44066 |    6586    35117   121325 | 2147483647    44063    144 |  0.030 % |
18.61/18.68	c |     44578 |    6586    35117   121325 | 2147483647    44575    143 |  0.030 % |
19.01/19.06	c |     45602 |    6586    35117   121325 | 2147483647    45599    141 |  0.030 % |
19.51/19.56	c |     47650 |    6586    35117   121325 | 2147483647    47647    137 |  0.030 % |
19.71/19.78	c |     48162 |    6586    35117   121325 | 2147483647    48159    136 |  0.030 % |
19.91/20.01	c |     48674 |    6586    35117   121325 | 2147483647    48671    135 |  0.030 % |
20.51/20.56	c |     49698 |    6586    35117   121325 | 2147483647    49695    134 |  0.030 % |
20.71/20.80	c |     50210 |    6586    35117   121325 | 2147483647    50207    133 |  0.030 % |
21.11/21.14	c |     50722 |    6586    35117   121325 | 2147483647    50719    133 |  0.030 % |
21.51/21.59	c |     51746 |    6586    35117   121325 | 2147483647    51743    132 |  0.030 % |
22.61/22.68	c |     53795 |    6586    35117   121325 | 2147483647    53792    130 |  0.030 % |
24.61/24.68	c |     57891 |    6586    35117   121325 | 2147483647    57888    128 |  0.030 % |
24.91/24.93	c |     58403 |    6586    35117   121325 | 2147483647    58400    128 |  0.030 % |
25.21/25.28	c |     58915 |    6586    35117   121325 | 2147483647    58912    128 |  0.030 % |
26.01/26.06	c |     59939 |    6586    35117   121325 | 2147483647    59936    128 |  0.030 % |
26.41/26.48	c |     60451 |    6586    35117   121325 | 2147483647    60448    129 |  0.030 % |
26.71/26.79	c |     60963 |    6586    35117   121325 | 2147483647    60960    129 |  0.030 % |
27.51/27.51	c |     61992 |    6586    35117   121325 | 2147483647    61989    130 |  0.030 % |
29.11/29.11	c |     64040 |    6586    35117   121325 | 2147483647    64037    131 |  0.030 % |
29.51/29.53	c |     64560 |    6586    35117   121325 | 2147483647    64557    131 |  0.030 % |
30.01/30.09	c |     65075 |    6586    35117   121325 | 2147483647    65072    131 |  0.030 % |
31.01/31.10	c |     66101 |    6586    35117   121325 | 2147483647    66098    132 |  0.030 % |
31.41/31.48	c |     66613 |    6586    35117   121325 | 2147483647    66610    132 |  0.030 % |
31.91/31.92	c |     67126 |    6586    35117   121325 | 2147483647    67123    132 |  0.030 % |
33.31/33.34	c |     68151 |    6586    35117   121325 | 2147483647    68148    134 |  0.030 % |
35.41/35.43	c |     70199 |    6586    35117   121325 |    69997    70196    135 |  0.030 % |
40.31/40.40	c |     74295 |    6586    35117   121325 |    69997    65061    144 |  0.030 % |
46.91/46.91	c |     82487 |    6586    35117   121325 |    70771    60757    136 |  0.030 % |
60.11/60.16	c |     98871 |    6586    35117   121325 |    68270    65240    133 |  0.030 % |
60.51/60.59	c |     99384 |    6586    35117   121325 |    68270    65753    134 |  0.030 % |
61.01/61.07	c |     99897 |    6586    35117   121325 |    68270    66266    134 |  0.030 % |
62.01/62.06	c |    100921 |    6586    35117   121325 |    66371    54788    147 |  0.030 % |
62.41/62.44	c |    101433 |    6586    35117   121325 |    66371    55300    147 |  0.030 % |
62.91/62.91	c |    101945 |    6586    35117   121325 |    66371    55812    148 |  0.030 % |
63.71/63.78	c |    102969 |    6586    35117   121325 |    66371    56836    149 |  0.030 % |
65.91/65.99	c |    105018 |    6586    35117   121325 |    66371    58885    151 |  0.030 % |
66.51/66.51	c |    105534 |    6586    35117   121325 |    66371    59401    151 |  0.030 % |
67.12/67.14	c |    106047 |    6586    35117   121325 |    66371    59914    152 |  0.030 % |
68.41/68.42	c |    107074 |    6586    35117   121325 |    66371    60941    153 |  0.030 % |
68.91/68.94	c |    107588 |    6586    35117   121325 |    66371    61455    153 |  0.030 % |
69.51/69.52	c |    108102 |    6586    35117   121325 |    66371    61969    153 |  0.030 % |
70.51/70.60	c |    109126 |    6586    35117   121325 |    66371    62993    154 |  0.030 % |
73.31/73.34	c |    111175 |    6586    35117   121325 |    63867    52036    149 |  0.030 % |
76.91/77.00	c |    115271 |    6586    35117   121325 |    63867    56132    151 |  0.030 % |
77.41/77.44	c |    115784 |    6586    35117   121325 |    63867    56645    151 |  0.030 % |
77.71/77.80	c |    116301 |    6586    35117   121325 |    63867    57162    151 |  0.030 % |
78.51/78.51	c |    117325 |    6586    35117   121325 |    63867    58186    151 |  0.030 % |
78.81/78.81	c |    117837 |    6586    35117   121325 |    63867    58698    152 |  0.030 % |
79.11/79.22	c |    118350 |    6586    35117   121325 |    63867    59211    151 |  0.030 % |
79.81/79.89	c |    119374 |    6586    35117   121325 |    63867    60235    151 |  0.030 % |
81.21/81.24	c |    121422 |    6586    35117   121325 |    60861    53775    146 |  0.030 % |
81.51/81.53	c |    121934 |    6586    35117   121325 |    60861    54287    145 |  0.030 % |
81.81/81.88	c |    122446 |    6586    35117   121325 |    60861    54799    145 |  0.030 % |
82.31/82.38	c |    123470 |    6586    35117   121325 |    60861    55823    143 |  0.030 % |
82.71/82.74	c |    123983 |    6586    35117   121325 |    60861    56336    143 |  0.030 % |
82.91/82.91	c |    124495 |    6586    35117   121325 |    60861    56848    142 |  0.030 % |
83.41/83.46	c |    125519 |    6586    35117   121325 |    60861    57872    141 |  0.030 % |
84.41/84.45	c |    127568 |    6585    35085   121261 |    60861    59919    139 |  0.046 % |
86.92/86.95	c |    131664 |    6585    35085   121261 | 2147483647    57821    132 |  0.046 % |
92.21/92.24	c |    139856 |    6585    35085   121261 | 2147483647    66013    134 |  0.046 % |
92.51/92.60	c |    140370 |    6585    35085   121261 |    66157    66527    134 |  0.046 % |
93.11/93.12	c |    140882 |    6585    35085   121261 |    66157    55183    126 |  0.046 % |
93.71/93.72	c |    141910 |    6585    35085   121261 |    66157    56211    126 |  0.046 % |
94.01/94.05	c |    142423 |    6585    35085   121261 |    66157    56724    126 |  0.046 % |
94.41/94.47	c |    142935 |    6585    35085   121261 |    66157    57236    126 |  0.046 % |
95.01/95.02	c |    143962 |    6585    35085   121261 |    66157    58263    126 |  0.046 % |
96.41/96.49	c |    146010 |    6585    35085   121261 |    66157    60311    126 |  0.046 % |
97.01/97.08	c |    146522 |    6585    35085   121261 |    66157    60823    126 |  0.046 % |
97.61/97.64	c |    147042 |    6585    35085   121261 |    66157    61343    127 |  0.046 % |
98.71/98.79	c |    148066 |    6585    35085   121261 |    66157    62367    127 |  0.046 % |
99.11/99.20	c |    148579 |    6585    35085   121261 |    66157    62880    127 |  0.046 % |
99.51/99.56	c |    149093 |    6585    35085   121261 |    66157    63394    127 |  0.046 % |
100.51/100.56	c |    150117 |    6585    35085   121261 |    64302    64418    127 |  0.046 % |
101.61/101.67	c |    152166 |    6585    35085   121261 |    64302    58554    116 |  0.046 % |
104.61/104.66	c |    156263 |    6585    35085   121261 |    64302    62651    118 |  0.046 % |
105.01/105.10	c |    156775 |    6585    35085   121261 |    64302    63163    118 |  0.046 % |
105.62/105.67	c |    157291 |    6585    35085   121261 |    64302    63679    119 |  0.046 % |
106.61/106.68	c |    158320 |    6585    35085   121261 |    64302    64708    120 |  0.046 % |
107.11/107.11	c |    158832 |    6585    35085   121261 |    64302    57749    111 |  0.046 % |
107.41/107.47	c |    159344 |    6585    35085   121261 |    64302    58261    111 |  0.046 % |
107.91/107.93	c |    160368 |    6585    35085   121261 |    58918    59285    110 |  0.046 % |
108.92/108.93	c |    162416 |    6585    35085   121261 |    58918    55045    105 |  0.046 % |
109.11/109.13	c |    162928 |    6585    35085   121261 |    58918    55557    105 |  0.046 % |
109.41/109.41	c |    163440 |    6585    35085   121261 |    58918    56069    104 |  0.047 % |
109.91/109.92	c |    164464 |    6585    35085   121261 |    58918    57093    104 |  0.046 % |
110.11/110.19	c |    164977 |    6585    35085   121261 |    58918    57606    104 |  0.046 % |
110.31/110.40	c |    165490 |    6585    35085   121261 |    58918    58119    103 |  0.047 % |
110.91/110.99	c |    166515 |    6585    35085   121261 |    58918    59144    105 |  0.046 % |
111.61/111.68	c |    168564 |    6585    35085   121261 |    58918    54598    105 |  0.046 % |
113.91/113.95	c |    172662 |    6585    35085   121261 |    56036    53007     99 |  0.046 % |
118.92/118.98	c |    180854 |    6585    35085   121261 | 2147483647    55532     96 |  0.046 % |
132.32/132.34	c |    197240 |    6585    35085   121261 | 2147483647    71918    115 |  0.046 % |
161.02/161.10	c |    230009 |    6585    35085   121261 |    63295    63302    157 |  0.046 % |
161.72/161.73	c |    230524 |    6585    35085   121261 |    63295    48787    153 |  0.046 % |
162.02/162.04	c |    231036 |    6585    35085   121261 |    63295    49299    153 |  0.046 % |
162.92/162.98	c |    232061 |    6585    35085   121261 |    63295    50324    154 |  0.046 % |
163.32/163.31	c |    232578 |    6585    35085   121261 |    63295    50841    154 |  0.046 % |
163.82/163.82	c |    233091 |    6585    35085   121261 |    63295    51354    154 |  0.046 % |
164.62/164.64	c |    234116 |    6585    35085   121261 |    63295    52379    154 |  0.046 % |
166.12/166.15	c |    236164 |    6585    35085   121261 |    63295    54427    156 |  0.046 % |
166.52/166.52	c |    236677 |    6585    35085   121261 |    63295    54940    156 |  0.046 % |
166.92/167.01	c |    237191 |    6585    35085   121261 |    63295    55454    156 |  0.046 % |
167.62/167.66	c |    238218 |    6585    35085   121261 |    63295    56481    156 |  0.046 % |
167.92/167.97	c |    238731 |    6585    35085   121261 |    63295    56994    155 |  0.046 % |
168.22/168.30	c |    239243 |    6585    35085   121261 |    63295    57506    155 |  0.047 % |
168.92/168.91	c |    240271 |    6585    35085   121261 |    58268    58534    154 |  0.046 % |
170.22/170.26	c |    242319 |    6585    35085   121261 |    58268    52863    148 |  0.046 % |
172.92/172.98	c |    246418 |    6585    35085   121261 |    58268    56962    146 |  0.046 % |
173.32/173.37	c |    246930 |    6585    35085   121261 |    58268    57474    146 |  0.046 % |
173.82/173.83	c |    247442 |    6585    35085   121261 |    58268    57986    146 |  0.046 % |
174.72/174.80	c |    248466 |    6585    35085   121261 |    58268    59010    147 |  0.046 % |
175.32/175.33	c |    248979 |    6585    35085   121261 |    58268    53622    144 |  0.046 % |
175.82/175.81	c |    249492 |    6585    35085   121261 |    58268    54135    144 |  0.046 % |
176.52/176.56	c |    250516 |    6585    35085   121261 |    54644    55159    145 |  0.046 % |
178.32/178.38	c |    252566 |    6585    35085   121261 |    54644    51079    140 |  0.046 % |
178.72/178.80	c |    253078 |    6585    35085   121261 |    54644    51591    141 |  0.046 % |
179.32/179.32	c |    253591 |    6585    35085   121261 |    54644    52104    141 |  0.046 % |
180.22/180.22	c |    254616 |    6585    35085   121261 |    54644    53129    141 |  0.046 % |
180.62/180.69	c |    255129 |    6585    35085   121261 |    54644    53642    142 |  0.046 % |
181.12/181.12	c |    255641 |    6585    35085   121261 |    54644    54154    141 |  0.046 % |
182.02/182.03	c |    256665 |    6585    35085   121261 |    54644    49303    136 |  0.046 % |
183.72/183.78	c |    258713 |    6585    35085   121261 |    54644    51351    139 |  0.046 % |
187.82/187.89	c |    262811 |    6585    35085   121261 |    52638    48996    131 |  0.046 % |
193.52/193.62	c |    271003 |    6585    35085   121261 |    49391    50394    127 |  0.046 % |
193.82/193.85	c |    271516 |    6585    35085   121261 |    49391    44978    127 |  0.046 % |
194.22/194.25	c |    272029 |    6585    35085   121261 |    49391    45491    126 |  0.046 % |
195.12/195.16	c |    273055 |    6585    35085   121261 |    49391    46517    128 |  0.046 % |
195.32/195.33	c |    273570 |    6585    35085   121261 |    49391    47032    127 |  0.046 % |
195.52/195.59	c |    274082 |    6585    35085   121261 |    49391    47544    126 |  0.046 % |
195.72/195.79	c |    275107 |    6585    35085   121261 |    49391    48569    124 |  0.046 % |
196.82/196.84	c |    277155 |    6585    35085   121261 |    49391    45640    121 |  0.046 % |
197.12/197.20	c |    277667 |    6585    35085   121261 |    49391    46152    121 |  0.046 % |
197.52/197.61	c |    278179 |    6585    35085   121261 |    49391    46664    120 |  0.046 % |
198.22/198.25	c |    279204 |    6585    35085   121261 |    49391    47689    119 |  0.046 % |
198.32/198.40	c |    279716 |    6585    35085   121261 |    49391    48201    118 |  0.046 % |
198.52/198.58	c |    280230 |    6585    35085   121261 | 2147483647    48715    118 |  0.046 % |
199.02/199.03	c |    281255 |    6585    35085   121261 | 2147483647    49740    117 |  0.046 % |
200.12/200.15	c |    283303 |    6585    35085   121261 | 2147483647    51788    117 |  0.046 % |
202.32/202.37	c |    287400 |    6585    35085   121261 | 2147483647    55885    115 |  0.046 % |
202.62/202.62	c |    287913 |    6585    35085   121261 | 2147483647    56398    114 |  0.046 % |
202.82/202.85	c |    288426 |    6585    35085   121261 | 2147483647    56911    113 |  0.046 % |
203.42/203.41	c |    289451 |    6585    35085   121261 | 2147483647    57936    114 |  0.046 % |
203.62/203.69	c |    289963 |    6585    35085   121261 | 2147483647    58448    114 |  0.046 % |
204.02/204.05	c |    290475 |    6585    35085   121261 | 2147483647    58960    114 |  0.046 % |
204.82/204.91	c |    291501 |    6585    35085   121261 | 2147483647    59986    113 |  0.046 % |
206.62/206.61	c |    293549 |    6585    35085   121261 | 2147483647    62034    116 |  0.046 % |
207.12/207.15	c |    294061 |    6585    35085   121261 | 2147483647    62546    117 |  0.046 % |
207.72/207.74	c |    294575 |    6585    35085   121261 | 2147483647    63060    117 |  0.046 % |
208.72/208.75	c |    295600 |    6585    35085   121261 | 2147483647    64085    118 |  0.046 % |
209.03/209.08	c |    296112 |    6585    35085   121261 | 2147483647    64597    118 |  0.046 % |
209.62/209.62	c |    296624 |    6585    35085   121261 | 2147483647    65109    118 |  0.046 % |
210.02/210.11	c |    297648 |    6585    35085   121261 | 2147483647    66133    117 |  0.046 % |
211.82/211.82	c |    299696 |    6585    35085   121261 | 2147483647    68181    118 |  0.046 % |
215.22/215.30	c |    303792 |    6585    35085   121261 |    68485    62016    115 |  0.046 % |
222.92/222.99	c |    311985 |    6584    35052   121193 |    68227    60044    113 |  0.061 % |
234.33/234.38	c |    328371 |    6584    35052   121193 |    68059    64012    122 |  0.062 % |
234.62/234.71	c |    328883 |    6584    35052   121193 |    68059    64524    122 |  0.061 % |
235.02/235.02	c |    329395 |    6584    35052   121193 |    68059    65036    122 |  0.061 % |
235.62/235.70	c |    330419 |    6584    35052   121193 |    65641    66060    122 |  0.061 % |
236.02/236.04	c |    330931 |    6584    35052   121193 |    65641    55943    123 |  0.061 % |
236.32/236.31	c |    331444 |    6584    35052   121193 |    65641    56456    123 |  0.061 % |
236.92/236.99	c |    332470 |    6584    35052   121193 |    65641    57482    123 |  0.061 % |
238.62/238.68	c |    334519 |    6584    35052   121193 |    65641    59531    124 |  0.061 % |
239.12/239.11	c |    335031 |    6584    35052   121193 |    65641    60043    125 |  0.061 % |
239.62/239.64	c |    335543 |    6584    35052   121193 |    65641    60555    125 |  0.061 % |
240.42/240.43	c |    336570 |    6584    35052   121193 |    65641    61582    126 |  0.061 % |
241.02/241.03	c |    337082 |    6584    35052   121193 |    65641    62094    126 |  0.061 % |
241.42/241.47	c |    337594 |    6584    35052   121193 |    65641    62606    126 |  0.061 % |
242.62/242.70	c |    338618 |    6584    35052   121193 |    65641    63630    127 |  0.061 % |
244.63/244.65	c |    340666 |    6584    35052   121193 |    65012    65678    127 |  0.061 % |
249.13/249.18	c |    344762 |    6584    35052   121193 |    65012    60691    127 |  0.061 % |
249.63/249.65	c |    345274 |    6584    35052   121193 |    65012    61203    127 |  0.061 % |
250.03/250.11	c |    345786 |    6584    35052   121193 |    65012    61715    127 |  0.061 % |
250.72/250.79	c |    346813 |    6584    35052   121193 |    65012    62742    126 |  0.061 % |
251.12/251.17	c |    347327 |    6584    35052   121193 |    65012    63256    126 |  0.061 % |
251.42/251.44	c |    347839 |    6584    35052   121193 |    65012    63768    127 |  0.061 % |
252.02/252.08	c |    348863 |    6584    35052   121193 |    65012    64792    127 |  0.061 % |
253.72/253.77	c |    350911 |    6584    35052   121193 |    55452    47741    107 |  0.061 % |
254.12/254.15	c |    351424 |    6584    35052   121193 |    55452    48254    108 |  0.061 % |
254.62/254.62	c |    351937 |    6584    35052   121193 |    55452    48767    109 |  0.061 % |
255.62/255.64	c |    352961 |    6584    35052   121193 |    55452    49791    110 |  0.061 % |
256.02/256.07	c |    353479 |    6584    35052   121193 |    55452    50309    111 |  0.061 % |
256.42/256.47	c |    353991 |    6584    35052   121193 |    55452    50821    112 |  0.061 % |
257.32/257.31	c |    355017 |    6584    35052   121193 |    55452    51847    113 |  0.061 % |
258.62/258.63	c |    357065 |    6584    35052   121193 |    55452    53895    114 |  0.061 % |
261.32/261.38	c |    361162 |    6584    35052   121193 |    51033    52193    115 |  0.061 % |
268.12/268.12	c |    369354 |    6584    35052   121193 |    51033    47515    120 |  0.061 % |
268.52/268.57	c |    369866 |    6584    35052   121193 |    51033    48027    120 |  0.061 % |
268.82/268.89	c |    370379 |    6584    35052   121193 |    48163    48540    121 |  0.061 % |
269.62/269.64	c |    371403 |    6584    35052   121193 |    48163    44386    118 |  0.061 % |
270.02/270.07	c |    371916 |    6584    35052   121193 |    48163    44899    119 |  0.061 % |
270.52/270.55	c |    372429 |    6584    35052   121193 |    48163    45412    120 |  0.061 % |
271.42/271.46	c |    373454 |    6584    35052   121193 |    48163    46437    121 |  0.061 % |
273.12/273.12	c |    375505 |    6584    35052   121193 |    48163    48488    123 |  0.061 % |
273.62/273.61	c |    376018 |    6584    35052   121193 |    48163    44153    127 |  0.061 % |
273.92/273.94	c |    376531 |    6584    35052   121193 |    48163    44666    127 |  0.061 % |
274.92/274.96	c |    377556 |    6584    35052   121193 |    48163    45691    129 |  0.061 % |
275.52/275.60	c |    378075 |    6584    35052   121193 |    48163    46210    129 |  0.061 % |
276.02/276.05	c |    378589 |    6584    35052   121193 |    48163    46724    130 |  0.061 % |
277.12/277.13	c |    379613 |    6584    35052   121193 |    48163    47748    131 |  0.061 % |
279.12/279.17	c |    381668 |    6584    35052   121193 |    48135    44358    128 |  0.061 % |
282.42/282.46	c |    385764 |    6584    35052   121193 |    48135    48454    132 |  0.061 % |
282.82/282.89	c |    386276 |    6584    35052   121193 |    48135    43507    135 |  0.061 % |
283.32/283.34	c |    386792 |    6584    35052   121193 |    48135    44023    135 |  0.061 % |
284.12/284.12	c |    387818 |    6584    35052   121193 |    48135    45049    135 |  0.061 % |
284.52/284.58	c |    388331 |    6584    35052   121193 |    48135    45562    136 |  0.061 % |
285.02/285.10	c |    388843 |    6584    35052   121193 |    48135    46074    136 |  0.061 % |
285.92/285.94	c |    389867 |    6584    35052   121193 |    48135    47098    137 |  0.061 % |
287.72/287.77	c |    391915 |    6584    35052   121193 |    47234    43536    136 |  0.061 % |
288.22/288.24	c |    392427 |    6584    35052   121193 |    47234    44048    136 |  0.061 % |
288.52/288.60	c |    392941 |    6584    35052   121193 |    47234    44562    136 |  0.061 % |
289.92/289.93	c |    393966 |    6584    35052   121193 |    47234    45587    137 |  0.061 % |
290.32/290.34	c |    394478 |    6584    35052   121193 |    47234    46099    137 |  0.061 % |
290.82/290.84	c |    394991 |    6584    35052   121193 |    47234    46612    138 |  0.061 % |
291.92/291.97	c |    396016 |    6584    35052   121193 |    47234    47637    139 |  0.061 % |
293.82/293.89	c |    398064 |    6584    35052   121193 |    47234    43032    134 |  0.061 % |
297.62/297.70	c |    402160 |    6584    35052   121193 |    44969    40393    132 |  0.061 % |
304.52/304.55	c |    410352 |    6584    35052   121193 |    42138    42490    130 |  0.061 % |
317.52/317.51	c |    426736 |    6584    35052   121193 |    41805    38946    133 |  0.061 % |
343.62/343.61	c |    459504 |    6584    35052   121193 |    44040    45098    160 |  0.061 % |
397.63/397.63	c |    525040 |    6584    35052   121193 |    67449    60898    133 |  0.061 % |
398.23/398.25	c |    525552 |    6584    35052   121193 |    67449    61410    134 |  0.061 % |
398.93/399.01	c |    526070 |    6584    35052   121193 |    67449    61928    134 |  0.061 % |
400.23/400.21	c |    527095 |    6584    35052   121193 |    67449    62953    136 |  0.061 % |
400.83/400.84	c |    527607 |    6584    35052   121193 |    67449    63465    136 |  0.061 % |
401.43/401.41	c |    528121 |    6584    35052   121193 |    67449    63979    136 |  0.061 % |
402.73/402.72	c |    529147 |    6584    35052   121193 |    67449    65005    137 |  0.061 % |
404.93/404.94	c |    531195 |    6584    35052   121193 |    65858    57092    137 |  0.061 % |
405.53/405.58	c |    531707 |    6584    35052   121193 |    65858    57604    138 |  0.061 % |
405.93/406.01	c |    532219 |    6584    35052   121193 |    65858    58116    138 |  0.061 % |
406.73/406.75	c |    533245 |    6584    35052   121193 |    65858    59142    138 |  0.061 % |
407.13/407.17	c |    533757 |    6584    35052   121193 |    65858    59654    139 |  0.061 % |
407.63/407.66	c |    534271 |    6584    35052   121193 |    65858    60168    139 |  0.061 % |
408.43/408.42	c |    535296 |    6584    35052   121193 |    65858    61193    140 |  0.061 % |
409.93/409.92	c |    537349 |    6584    35052   121193 |    65858    63246    141 |  0.061 % |
413.43/413.46	c |    541445 |    6584    35052   121193 |    65901    58408    141 |  0.061 % |
413.83/413.84	c |    541958 |    6584    35052   121193 |    65901    58921    141 |  0.061 % |
414.23/414.30	c |    542474 |    6584    35052   121193 |    65901    59437    142 |  0.061 % |
415.13/415.16	c |    543499 |    6584    35052   121193 |    65901    60462    143 |  0.061 % |
415.73/415.73	c |    544012 |    6584    35052   121193 |    65901    60975    144 |  0.061 % |
416.43/416.44	c |    544526 |    6584    35052   121193 |    65901    61489    144 |  0.061 % |
417.13/417.14	c |    545551 |    6584    35052   121193 |    65901    62514    143 |  0.061 % |
418.83/418.88	c |    547600 |    6584    35052   121193 |    65901    64563    144 |  0.061 % |
419.53/419.58	c |    548115 |    6584    35052   121193 |    65901    65078    145 |  0.061 % |
420.33/420.38	c |    548629 |    6584    35052   121193 |    65901    65592    146 |  0.061 % |
421.73/421.77	c |    549663 |    6584    35052   121193 |    65901    54996    139 |  0.061 % |
422.53/422.54	c |    550176 |    6584    35052   121193 |    55340    55509    140 |  0.061 % |
423.03/423.04	c |    550688 |    6584    35052   121193 |    55340    46265    136 |  0.061 % |
424.03/424.02	c |    551715 |    6584    35052   121193 |    55340    47292    138 |  0.061 % |
426.33/426.31	c |    553763 |    6584    35052   121193 |    55340    49340    140 |  0.061 % |
429.83/429.86	c |    557860 |    6584    35052   121193 |    55340    53437    142 |  0.061 % |
437.03/437.10	c |    566052 |    6584    35052   121193 |    55577    51347    141 |  0.061 % |
437.63/437.61	c |    566564 |    6584    35052   121193 |    55577    51859    142 |  0.061 % |
438.13/438.15	c |    567076 |    6584    35052   121193 |    55577    52371    142 |  0.061 % |
438.73/438.79	c |    568103 |    6584    35052   121193 |    55577    53398    143 |  0.061 % |
439.13/439.20	c |    568615 |    6584    35052   121193 |    55577    53910    143 |  0.061 % |
439.43/439.49	c |    569129 |    6584    35052   121193 |    55577    54424    142 |  0.061 % |
440.23/440.24	c |    570154 |    6584    35052   121193 |    55298    55449    143 |  0.061 % |
441.83/441.81	c |    572203 |    6584    35052   121193 |    55298    46811    137 |  0.061 % |
442.13/442.19	c |    572715 |    6584    35052   121193 |    55298    47323    138 |  0.061 % |
442.53/442.58	c |    573228 |    6584    35052   121193 |    55298    47836    138 |  0.061 % |
443.34/443.39	c |    574252 |    6584    35052   121193 |    55298    48860    139 |  0.061 % |
443.73/443.80	c |    574766 |    6584    35052   121193 |    55298    49374    140 |  0.061 % |
444.03/444.10	c |    575278 |    6584    35052   121193 |    55298    49886    139 |  0.061 % |
444.93/444.93	c |    576304 |    6584    35052   121193 |    55298    50912    139 |  0.061 % |
446.43/446.44	c |    578355 |    6584    35052   121193 |    55298    52963    139 |  0.061 % |
449.83/449.86	c |    582452 |    6584    35052   121193 |    54609    48150    132 |  0.061 % |
450.23/450.23	c |    582967 |    6584    35052   121193 |    54609    48665    133 |  0.061 % |
450.73/450.74	c |    583479 |    6584    35052   121193 |    54609    49177    133 |  0.061 % |
451.33/451.38	c |    584505 |    6584    35052   121193 |    54609    50203    134 |  0.061 % |
451.83/451.85	c |    585018 |    6584    35052   121193 |    54609    50716    134 |  0.061 % |
452.53/452.56	c |    585532 |    6584    35052   121193 |    54609    51230    134 |  0.061 % |
453.53/453.57	c |    586556 |    6584    35052   121193 |    54609    52254    135 |  0.061 % |
455.33/455.34	c |    588605 |    6584    35052   121193 |    54609    54303    136 |  0.061 % |
455.83/455.89	c |    589118 |    6584    35052   121193 |    54609    54816    137 |  0.061 % |
456.43/456.49	c |    589630 |    6584    35052   121193 |    54609    47581    128 |  0.061 % |
457.43/457.49	c |    590655 |    6584    35052   121193 |    47951    48606    129 |  0.061 % |
457.93/457.96	c |    591169 |    6584    35052   121193 |    47951    43311    121 |  0.061 % |
458.33/458.32	c |    591682 |    6584    35052   121193 |    47951    43824    121 |  0.061 % |
459.13/459.15	c |    592706 |    6584    35052   121193 |    47951    44848    122 |  0.061 % |
460.73/460.73	c |    594756 |    6584    35052   121193 |    47951    46898    122 |  0.061 % |
463.93/463.95	c |    598854 |    6584    35052   121193 |    47951    46153    118 |  0.061 % |
470.73/470.80	c |    607046 |    6584    35052   121193 | 2147483647    54345    129 |  0.061 % |
486.03/486.06	c |    623433 |    6584    35052   121193 |    47537    43083    136 |  0.061 % |
486.24/486.29	c |    623945 |    6584    35052   121193 |    47537    43595    136 |  0.061 % |
486.53/486.60	c |    624458 |    6584    35052   121193 |    47537    44108    136 |  0.061 % |
487.43/487.46	c |    625482 |    6584    35052   121193 |    47537    45132    136 |  0.061 % |
487.83/487.85	c |    625994 |    6584    35052   121193 |    47537    45644    137 |  0.061 % |
488.23/488.25	c |    626506 |    6584    35052   121193 |    47537    46156    138 |  0.061 % |
489.23/489.24	c |    627530 |    6584    35052   121193 |    47537    47180    140 |  0.061 % |
490.64/490.67	c |    629580 |    6584    35052   121193 |    47537    43344    135 |  0.061 % |
491.03/491.01	c |    630092 |    6584    35052   121193 |    43765    43856    135 |  0.061 % |
491.53/491.51	c |    630604 |    6584    35052   121193 |    43765    39251    132 |  0.061 % |
492.53/492.52	c |    631629 |    6584    35052   121193 |    43765    40276    133 |  0.061 % |
493.13/493.14	c |    632143 |    6584    35052   121193 |    43765    40790    133 |  0.061 % |
493.63/493.67	c |    632656 |    6584    35052   121193 |    43765    41303    134 |  0.061 % |
494.43/494.44	c |    633681 |    6584    35052   121193 |    43765    42328    133 |  0.061 % |
495.73/495.77	c |    635731 |    6584    35052   121193 |    43765    44378    133 |  0.061 % |
497.74/497.81	c |    639829 |    6584    35052   121193 |    43765    44039    122 |  0.061 % |
498.04/498.03	c |    640342 |    6584    35052   121193 | 2147483647    40149    112 |  0.061 % |
498.24/498.29	c |    640854 |    6584    35052   121193 | 2147483647    40661    111 |  0.061 % |
499.04/499.05	c |    641879 |    6584    35052   121193 | 2147483647    41686    114 |  0.061 % |
499.34/499.39	c |    642391 |    6584    35052   121193 | 2147483647    42198    114 |  0.061 % |
499.54/499.61	c |    642907 |    6584    35052   121193 | 2147483647    42714    115 |  0.061 % |
500.04/500.02	c |    643934 |    6584    35052   121193 | 2147483647    43741    115 |  0.061 % |
501.64/501.68	c |    645983 |    6584    35052   121193 | 2147483647    45790    119 |  0.061 % |
502.04/502.09	c |    646495 |    6584    35052   121193 | 2147483647    46302    120 |  0.061 % |
502.44/502.49	c |    647014 |    6584    35052   121193 | 2147483647    46821    120 |  0.061 % |
503.34/503.40	c |    648039 |    6584    35052   121193 | 2147483647    47846    123 |  0.061 % |
503.94/503.92	c |    648552 |    6584    35052   121193 | 2147483647    48359    124 |  0.061 % |
504.44/504.46	c |    649066 |    6584    35052   121193 | 2147483647    48873    124 |  0.061 % |
505.14/505.18	c |    650090 |    6584    35052   121193 | 2147483647    49897    125 |  0.061 % |
506.64/506.68	c |    652138 |    6584    35052   121193 | 2147483647    51945    126 |  0.061 % |
510.24/510.26	c |    656236 |    6584    35052   121193 | 2147483647    56043    130 |  0.061 % |
517.04/517.02	c |    664430 |    6584    35052   121193 |    59807    53295    128 |  0.061 % |
517.64/517.64	c |    664944 |    6584    35052   121193 |    59807    53809    128 |  0.061 % |
518.04/518.10	c |    665464 |    6584    35052   121193 |    59807    54329    129 |  0.061 % |
519.24/519.25	c |    666489 |    6584    35052   121193 |    59807    55354    130 |  0.061 % |
519.74/519.79	c |    667009 |    6584    35052   121193 |    59807    55874    130 |  0.061 % |
520.34/520.37	c |    667522 |    6584    35052   121193 |    59807    56387    131 |  0.061 % |
521.14/521.21	c |    668548 |    6584    35052   121193 |    59807    57413    131 |  0.061 % |
522.64/522.69	c |    670596 |    6584    35052   121193 |    58866    59461    132 |  0.061 % |
523.24/523.22	c |    671108 |    6584    35052   121193 |    58866    50715    128 |  0.061 % |
523.74/523.77	c |    671621 |    6584    35052   121193 |    58866    51228    129 |  0.061 % |
524.74/524.80	c |    672647 |    6584    35052   121193 |    58866    52254    130 |  0.061 % |
525.34/525.32	c |    673161 |    6584    35052   121193 |    58866    52768    131 |  0.061 % |
525.84/525.87	c |    673676 |    6584    35052   121193 |    58866    53283    131 |  0.061 % |
526.64/526.71	c |    674701 |    6584    35052   121193 |    58866    54308    132 |  0.061 % |
528.44/528.42	c |    676749 |    6584    35052   121193 |    58866    56356    134 |  0.061 % |
531.84/531.88	c |    680848 |    6584    35052   121193 |    59607    51920    137 |  0.061 % |
532.24/532.30	c |    681362 |    6584    35052   121193 |    59607    52434    137 |  0.061 % |
532.64/532.67	c |    681876 |    6584    35052   121193 |    59607    52948    137 |  0.061 % |
533.44/533.44	c |    682900 |    6584    35052   121193 |    59607    53972    137 |  0.061 % |
533.74/533.76	c |    683413 |    6584    35052   121193 |    59607    54485    137 |  0.061 % |
534.04/534.10	c |    683926 |    6584    35052   121193 |    59607    54998    137 |  0.061 % |
534.74/534.76	c |    684952 |    6584    35052   121193 |    59607    56024    138 |  0.061 % |
535.94/535.98	c |    687001 |    6584    35052   121193 |    59607    58073    137 |  0.061 % |
536.44/536.47	c |    687513 |    6584    35052   121193 |    59607    58585    137 |  0.061 % |
536.94/536.99	c |    688025 |    6584    35052   121193 |    59607    59097    137 |  0.061 % |
537.64/537.64	c |    689049 |    6584    35052   121193 |    59607    60121    137 |  0.061 % |
538.24/538.24	c |    689561 |    6584    35052   121193 |    59607    52949    130 |  0.061 % |
538.84/538.86	c |    690074 |    6584    35052   121193 |    53388    53462    130 |  0.061 % |
539.64/539.69	c |    691098 |    6584    35052   121193 |    53388    47088    124 |  0.061 % |
541.34/541.32	c |    693148 |    6584    35052   121193 |    53388    49138    127 |  0.061 % |
545.04/545.01	c |    697244 |    6584    35052   121193 |    53388    53234    131 |  0.061 % |
552.64/552.67	c |    705439 |    6584    35052   121193 |    48448    47546    126 |  0.061 % |
566.14/566.13	c |    721827 |    6584    35052   121193 | 2147483647    47485    132 |  0.061 % |
598.24/598.23	c |    754595 |    6584    35052   121193 |    48861    46109    141 |  0.061 % |
598.84/598.87	c |    755108 |    6584    35052   121193 |    48861    46622    142 |  0.061 % |
599.14/599.18	c |    755620 |    6584    35052   121193 |    48861    47134    143 |  0.061 % |
599.84/599.86	c |    756644 |    6584    35052   121193 |    48861    48158    144 |  0.061 % |
600.24/600.25	c |    757156 |    6584    35052   121193 |    48861    48670    145 |  0.061 % |
600.74/600.71	c |    757668 |    6584    35052   121193 |    48861    49182    146 |  0.061 % |
601.54/601.51	c |    758692 |    6584    35052   121193 |    48861    43433    134 |  0.061 % |
602.64/602.70	c |    760740 |    6584    35052   121193 |    44744    45481    136 |  0.061 % |
603.04/603.09	c |    761252 |    6584    35052   121193 |    44744    40803    132 |  0.061 % |
603.54/603.55	c |    761764 |    6584    35052   121193 |    44744    41315    132 |  0.061 % |
604.44/604.43	c |    762789 |    6584    35052   121193 |    44744    42340    134 |  0.061 % |
604.74/604.77	c |    763301 |    6584    35052   121193 |    44744    42852    134 |  0.061 % |
605.05/605.05	c |    763813 |    6584    35052   121193 |    44744    43364    134 |  0.061 % |
605.64/605.67	c |    764838 |    6584    35052   121193 |    44744    44389    136 |  0.061 % |
607.14/607.18	c |    766887 |    6584    35052   121193 |    44744    41843    137 |  0.061 % |
610.54/610.55	c |    770984 |    6584    35052   121193 | 2147483647    45940    141 |  0.061 % |
610.73/610.79	c |    771497 |    6584    35052   121193 | 2147483647    46453    141 |  0.061 % |
611.03/611.05	c |    772009 |    6584    35052   121193 | 2147483647    46965    140 |  0.061 % |
611.43/611.40	c |    773035 |    6584    35052   121193 | 2147483647    47991    138 |  0.061 % |
611.64/611.67	c |    773547 |    6584    35052   121193 | 2147483647    48503    137 |  0.061 % |
611.93/611.91	c |    774059 |    6584    35052   121193 | 2147483647    49015    136 |  0.061 % |
612.93/612.97	c |    775083 |    6584    35052   121193 | 2147483647    50039    137 |  0.061 % |
615.23/615.20	c |    777131 |    6584    35052   121193 | 2147483647    52087    139 |  0.061 % |
615.63/615.69	c |    777643 |    6584    35052   121193 | 2147483647    52599    139 |  0.061 % |
616.23/616.23	c |    778155 |    6584    35052   121193 | 2147483647    53111    140 |  0.061 % |
617.43/617.47	c |    779180 |    6584    35052   121193 | 2147483647    54136    141 |  0.061 % |
617.93/617.99	c |    779692 |    6584    35052   121193 | 2147483647    54648    142 |  0.061 % |
618.33/618.39	c |    780204 |    6584    35052   121193 |    54958    55160    142 |  0.061 % |
618.93/618.95	c |    781228 |    6584    35052   121193 |    54958    50333    136 |  0.061 % |
620.44/620.45	c |    783286 |    6584    35052   121193 |    54958    52391    138 |  0.061 % |
623.54/623.58	c |    787383 |    6584    35052   121193 |    54958    50915    136 |  0.061 % |
630.14/630.14	c |    795576 |    6584    35052   121193 |    53532    52807    139 |  0.061 % |
630.64/630.65	c |    796088 |    6584    35052   121193 |    53532    53319    140 |  0.061 % |
631.04/631.01	c |    796602 |    6584    35052   121193 |    53532    53833    140 |  0.061 % |
631.74/631.77	c |    797626 |    6584    35052   121193 |    53532    47272    131 |  0.061 % |
632.14/632.14	c |    798144 |    6584    35052   121193 |    53532    47790    132 |  0.061 % |
632.44/632.43	c |    798656 |    6584    35052   121193 |    53532    48302    132 |  0.061 % |
633.34/633.38	c |    799680 |    6584    35052   121193 |    53532    49326    134 |  0.061 % |
635.04/635.02	c |    801729 |    6584    35052   121193 |    49647    44933    134 |  0.061 % |
635.54/635.53	c |    802242 |    6584    35052   121193 |    49647    45446    135 |  0.061 % |
636.14/636.12	c |    802756 |    6584    35052   121193 |    49647    45960    136 |  0.061 % |
637.04/637.08	c |    803783 |    6584    35052   121193 |    49647    46987    136 |  0.061 % |
637.44/637.47	c |    804297 |    6584    35052   121193 |    49647    47501    136 |  0.061 % |
637.84/637.89	c |    804810 |    6584    35052   121193 |    49647    48014    136 |  0.061 % |
638.64/638.64	c |    805834 |    6584    35052   121193 |    49647    49038    138 |  0.061 % |
640.94/640.97	c |    807882 |    6584    35052   121193 |    49647    45105    139 |  0.061 % |
645.64/645.64	c |    811979 |    6584    35052   121193 |    47223    42424    145 |  0.061 % |
646.04/646.08	c |    812494 |    6584    35052   121193 |    47223    42939    145 |  0.061 % |
646.44/646.48	c |    813006 |    6584    35052   121193 |    47223    43451    145 |  0.061 % |
647.34/647.31	c |    814030 |    6584    35052   121193 |    47223    44475    147 |  0.061 % |
647.74/647.74	c |    814544 |    6584    35052   121193 |    47223    44989    148 |  0.061 % |
648.14/648.15	c |    815056 |    6584    35052   121193 |    47223    45501    148 |  0.061 % |
649.24/649.25	c |    816084 |    6584    35052   121193 |    47223    46529    149 |  0.061 % |
651.04/651.04	c |    818133 |    6584    35052   121193 |    47223    41418    144 |  0.061 % |
651.44/651.41	c |    818645 |    6584    35052   121193 |    47223    41930    145 |  0.061 % |
651.84/651.82	c |    819158 |    6584    35052   121193 |    47223    42443    145 |  0.061 % |
652.84/652.83	c |    820184 |    6584    35052   121193 |    43287    43469    146 |  0.061 % |
653.44/653.44	c |    820697 |    6584    35052   121193 |    43287    37792    139 |  0.061 % |
654.14/654.20	c |    821210 |    6584    35052   121193 |    43287    38305    140 |  0.061 % |
655.24/655.24	c |    822238 |    6584    35052   121193 |    43287    39333    141 |  0.061 % |
656.84/656.85	c |    824286 |    6584    35052   121193 |    43287    41381    144 |  0.061 % |
660.14/660.17	c |    828382 |    6584    35052   121193 |    43287    40489    143 |  0.061 % |
665.24/665.27	c |    836575 |    6584    35052   121193 |    42107    38551    132 |  0.061 % |
679.44/679.47	c |    852959 |    6584    35052   121193 |    38990    37957    135 |  0.061 % |
679.94/679.92	c |    853472 |    6584    35052   121193 |    38990    38470    136 |  0.061 % |
680.34/680.31	c |    853984 |    6584    35052   121193 |    38990    38982    137 |  0.061 % |
681.04/681.04	c |    855011 |    6584    35052   121193 |    38990    36053    137 |  0.061 % |
681.34/681.30	c |    855523 |    6584    35052   121193 |    38990    36565    137 |  0.061 % |
681.84/681.90	c |    856036 |    6584    35052   121193 |    38990    37078    139 |  0.061 % |
682.54/682.60	c |    857061 |    6584    35052   121193 |    38990    38103    141 |  0.061 % |
685.04/685.08	c |    859110 |    6584    35052   121193 |    38990    36125    142 |  0.061 % |
685.64/685.61	c |    859622 |    6584    35052   121193 |    38990    36637    143 |  0.061 % |
685.94/685.99	c |    860136 |    6584    35052   121193 |    37019    37151    144 |  0.061 % |
686.84/686.83	c |    861160 |    6584    35052   121193 |    37019    34416    140 |  0.061 % |
687.34/687.31	c |    861672 |    6584    35052   121193 |    37019    34928    141 |  0.061 % |
687.74/687.73	c |    862187 |    6584    35052   121193 |    37019    35443    142 |  0.061 % |
688.44/688.45	c |    863213 |    6584    35052   121193 |    37019    36469    142 |  0.061 % |
689.94/689.94	c |    865261 |    6584    35052   121193 |    37019    34752    139 |  0.061 % |
692.14/692.18	c |    869357 |    6584    35052   121193 |    37019    34978    131 |  0.061 % |
692.44/692.41	c |    869869 |    6584    35052   121193 |    37019    35490    131 |  0.061 % |
692.74/692.72	c |    870382 |    6584    35052   121193 | 2147483647    36003    131 |  0.061 % |
693.34/693.39	c |    871407 |    6584    35052   121193 | 2147483647    37028    131 |  0.061 % |
693.84/693.81	c |    871920 |    6584    35052   121193 | 2147483647    37541    131 |  0.061 % |
694.04/694.10	c |    872432 |    6584    35052   121193 | 2147483647    38053    132 |  0.061 % |
694.84/694.80	c |    873458 |    6584    35052   121193 | 2147483647    39079    132 |  0.061 % |
696.24/696.22	c |    875506 |    6584    35052   121193 | 2147483647    41127    133 |  0.061 % |
696.74/696.72	c |    876022 |    6584    35052   121193 | 2147483647    41643    135 |  0.061 % |
697.24/697.22	c |    876534 |    6584    35052   121193 | 2147483647    42155    136 |  0.061 % |
697.84/697.89	c |    877558 |    6584    35052   121193 | 2147483647    43179    136 |  0.061 % |
698.44/698.42	c |    878070 |    6584    35052   121193 | 2147483647    43691    137 |  0.061 % |
698.84/698.87	c |    878582 |    6584    35052   121193 | 2147483647    44203    138 |  0.061 % |
699.65/699.61	c |    879607 |    6584    35052   121193 | 2147483647    45228    139 |  0.061 % |
701.14/701.17	c |    881655 |    6584    35052   121193 | 2147483647    47276    142 |  0.061 % |
705.04/705.09	c |    885751 |    6584    35052   121193 | 2147483647    51372    146 |  0.061 % |
712.34/712.31	c |    893945 |    6584    35052   121193 | 2147483647    59566    149 |  0.061 % |
712.85/712.82	c |    894458 |    6584    35052   121193 | 2147483647    60079    150 |  0.061 % |
713.44/713.49	c |    894971 |    6584    35052   121193 | 2147483647    60592    151 |  0.061 % |
714.44/714.41	c |    895995 |    6584    35052   121193 | 2147483647    61616    152 |  0.061 % |
714.84/714.85	c |    896508 |    6584    35052   121193 | 2147483647    62129    152 |  0.061 % |
715.44/715.42	c |    897023 |    6584    35052   121193 | 2147483647    62644    152 |  0.061 % |
716.44/716.40	c |    898048 |    6584    35052   121193 | 2147483647    63669    152 |  0.061 % |
718.74/718.78	c |    900096 |    6584    35052   121193 |    65623    65717    152 |  0.061 % |
719.54/719.53	c |    900609 |    6584    35052   121193 |    65623    57418    145 |  0.061 % |
720.24/720.21	c |    901121 |    6584    35052   121193 |    65623    57930    146 |  0.061 % |
721.65/721.63	c |    902147 |    6584    35052   121193 |    65623    58956    146 |  0.061 % |
722.34/722.38	c |    902659 |    6584    35052   121193 |    65623    59468    146 |  0.061 % |
723.14/723.14	c |    903173 |    6584    35052   121193 |    65623    59982    147 |  0.061 % |
724.95/724.99	c |    904201 |    6584    35052   121193 |    65623    61010    147 |  0.061 % |
727.24/727.28	c |    906250 |    6584    35052   121193 |    65623    63059    149 |  0.061 % |
732.34/732.33	c |    910348 |    6584    35052   121193 |    54453    54801    150 |  0.061 % |
733.14/733.12	c |    910860 |    6584    35052   121193 |    54453    45195    138 |  0.061 % |
733.54/733.52	c |    911375 |    6584    35052   121193 |    54453    45710    138 |  0.061 % |
734.54/734.56	c |    912400 |    6584    35052   121193 |    54453    46735    140 |  0.061 % |
735.24/735.25	c |    912912 |    6584    35052   121193 |    54453    47247    140 |  0.061 % |
735.95/735.95	c |    913424 |    6584    35052   121193 |    54453    47759    141 |  0.061 % |
737.14/737.13	c |    914453 |    6584    35052   121193 |    54453    48788    142 |  0.061 % |
738.94/738.91	c |    916501 |    6584    35052   121193 |    54453    50836    141 |  0.061 % |
739.54/739.60	c |    917013 |    6584    35052   121193 |    54453    51348    142 |  0.061 % |
740.24/740.28	c |    917529 |    6584    35052   121193 |    54453    51864    142 |  0.061 % |
741.45/741.45	c |    918559 |    6584    35052   121193 |    54453    52894    144 |  0.061 % |
742.24/742.22	c |    919075 |    6584    35052   121193 |    54453    53410    144 |  0.061 % |
742.75/742.73	c |    919587 |    6584    35052   121193 |    54453    53922    144 |  0.061 % |
744.45/744.45	c |    920611 |    6584    35052   121193 |    54335    54946    145 |  0.061 % |
747.15/747.19	c |    922659 |    6584    35052   121193 |    54335    48777    138 |  0.061 % |
750.26/750.29	c |    926755 |    6584    35052   121193 |    54335    52873    138 |  0.061 % |
757.76/757.78	c |    934949 |    6584    35052   121193 |    49252    47283    134 |  0.061 % |
772.96/773.00	c |    951334 |    6584    35052   121193 |    41725    36281    137 |  0.061 % |
806.76/806.74	c |    984103 |    6584    35052   121193 |    37106    37214    143 |  0.061 % |
861.96/861.99	c |   1049639 |    6584    35052   121193 |    44024    42121    131 |  0.061 % |
990.07/990.02	c |   1180712 |    6584    35052   121193 |    54205    54915    127 |  0.061 % |
990.56/990.60	c |   1181224 |    6584    35052   121193 |    54205    48047    123 |  0.061 % |
991.06/991.08	c |   1181738 |    6584    35052   121193 |    54205    48561    124 |  0.061 % |
991.86/991.87	c |   1182763 |    6584    35052   121193 |    54205    49586    126 |  0.061 % |
992.27/992.26	c |   1183275 |    6584    35052   121193 |    54205    50098    126 |  0.061 % |
992.66/992.67	c |   1183788 |    6584    35052   121193 |    54205    50611    126 |  0.061 % |
993.46/993.48	c |   1184816 |    6584    35052   121193 |    54205    51639    128 |  0.061 % |
995.57/995.59	c |   1186865 |    6584    35052   121193 |    54205    53688    131 |  0.061 % |
996.26/996.23	c |   1187378 |    6584    35052   121193 |    54205    54201    131 |  0.061 % |
996.76/996.73	c |   1187893 |    6584    35052   121193 |    54205    54716    132 |  0.061 % |
997.77/997.78	c |   1188918 |    6584    35052   121193 |    54205    48403    125 |  0.061 % |
998.36/998.33	c |   1189442 |    6584    35052   121193 |    54205    48927    126 |  0.061 % |
998.96/999.00	c |   1189957 |    6584    35052   121193 |    54205    49442    127 |  0.061 % |
999.97/999.99	c |   1190985 |    6584    35052   121193 |    49486    43557    127 |  0.061 % |
1002.37/1002.41	c |   1193037 |    6584    35052   121193 |    49486    45609    131 |  0.061 % |
1004.27/1004.23	c |   1197133 |    6584    35052   121193 |    49486    49705    126 |  0.061 % |
1004.67/1004.65	c |   1197645 |    6584    35052   121193 |    49486    45174    126 |  0.061 % |
1004.87/1004.90	c |   1198157 |    6584    35052   121193 |    49486    45686    125 |  0.061 % |
1005.27/1005.31	c |   1199181 |    6584    35052   121193 |    49486    46710    125 |  0.061 % |
1005.57/1005.56	c |   1199693 |    6584    35052   121193 |    49486    47222    125 |  0.061 % |
1005.77/1005.79	c |   1200205 |    6584    35052   121193 | 2147483647    47734    125 |  0.061 % |
1006.27/1006.28	c |   1201230 |    6584    35052   121193 | 2147483647    48759    124 |  0.061 % |
1007.37/1007.33	c |   1203278 |    6584    35052   121193 | 2147483647    50807    131 |  0.061 % |
1007.57/1007.58	c |   1203791 |    6584    35052   121193 | 2147483647    51320    131 |  0.061 % |
1007.87/1007.84	c |   1204303 |    6584    35052   121193 | 2147483647    51832    131 |  0.061 % |
1008.37/1008.40	c |   1205327 |    6584    35052   121193 | 2147483647    52856    130 |  0.061 % |
1008.67/1008.62	c |   1205841 |    6584    35052   121193 | 2147483647    53370    130 |  0.061 % |
1008.87/1008.91	c |   1206353 |    6584    35052   121193 | 2147483647    53882    130 |  0.061 % |
1009.37/1009.39	c |   1207378 |    6584    35052   121193 | 2147483647    54907    131 |  0.061 % |
1010.57/1010.53	c |   1209426 |    6584    35052   121193 | 2147483647    56955    132 |  0.061 % |
1013.37/1013.36	c |   1213523 |    6584    35052   121193 | 2147483647    61052    136 |  0.061 % |
1020.87/1020.82	c |   1221715 |    6584    35052   121193 |    67529    56984    149 |  0.061 % |
1021.17/1021.17	c |   1222227 |    6584    35052   121193 |    67529    57496    149 |  0.061 % |
1021.37/1021.40	c |   1222739 |    6584    35052   121193 |    67529    58008    148 |  0.061 % |
1022.07/1022.02	c |   1223764 |    6584    35052   121193 |    67529    59033    148 |  0.061 % |
1022.37/1022.33	c |   1224279 |    6584    35052   121193 |    67529    59548    148 |  0.061 % |
1022.77/1022.81	c |   1224793 |    6584    35052   121193 |    67529    60062    149 |  0.061 % |
1023.77/1023.80	c |   1225817 |    6584    35052   121193 |    67529    61086    149 |  0.061 % |
1026.17/1026.17	c |   1227865 |    6584    35052   121193 |    67529    63134    150 |  0.061 % |
1026.87/1026.87	c |   1228377 |    6584    35052   121193 |    67529    63646    150 |  0.061 % |
1027.37/1027.35	c |   1228890 |    6584    35052   121193 |    67529    64159    150 |  0.061 % |
1028.27/1028.25	c |   1229914 |    6584    35052   121193 |    67529    65183    151 |  0.061 % |
1028.87/1028.87	c |   1230426 |    6584    35052   121193 |    65269    65695    152 |  0.061 % |
1029.77/1029.72	c |   1230938 |    6584    35052   121193 |    65269    55673    145 |  0.061 % |
1030.77/1030.72	c |   1231962 |    6584    35052   121193 |    65269    56697    145 |  0.061 % |
1033.37/1033.32	c |   1234010 |    6584    35052   121193 |    65269    58745    148 |  0.061 % |
1037.57/1037.60	c |   1238109 |    6584    35052   121193 |    65269    62844    153 |  0.061 % |
1038.17/1038.11	c |   1238622 |    6584    35052   121193 |    65269    63357    154 |  0.061 % |
1038.67/1038.62	c |   1239134 |    6584    35052   121193 |    65269    63869    154 |  0.061 % |
1039.77/1039.74	c |   1240164 |    6584    35052   121193 |    64739    64899    155 |  0.061 % |
1040.17/1040.18	c |   1240677 |    6584    35052   121193 |    64739    53016    158 |  0.061 % |
1040.47/1040.47	c |   1241189 |    6584    35052   121193 |    64739    53528    157 |  0.061 % |
1041.17/1041.16	c |   1242213 |    6584    35052   121193 |    64739    54552    156 |  0.061 % |
1042.37/1042.37	c |   1244262 |    6584    35052   121193 |    64739    56601    154 |  0.061 % |
1042.77/1042.72	c |   1244774 |    6584    35052   121193 |    64739    57113    153 |  0.061 % |
1043.17/1043.16	c |   1245290 |    6584    35052   121193 |    64739    57629    153 |  0.062 % |
1043.87/1043.89	c |   1246315 |    6584    35052   121193 |    64739    58654    154 |  0.061 % |
1044.27/1044.30	c |   1246828 |    6584    35052   121193 |    64739    59167    154 |  0.061 % |
1044.77/1044.72	c |   1247340 |    6584    35052   121193 |    64739    59679    154 |  0.061 % |
1045.47/1045.42	c |   1248365 |    6584    35052   121193 |    64739    60704    153 |  0.061 % |
1047.27/1047.31	c |   1250413 |    6584    35052   121193 |    62339    62752    157 |  0.061 % |
1051.37/1051.33	c |   1254509 |    6584    35052   121193 |    62339    57055    152 |  0.061 % |
1058.97/1058.92	c |   1262702 |    6584    35052   121193 |    62546    58550    132 |  0.061 % |
1073.97/1073.98	c |   1279089 |    6584    35052   121193 |    59475    52121    128 |  0.061 % |
1074.37/1074.33	c |   1279601 |    6584    35052   121193 |    59475    52633    129 |  0.061 % |
1074.78/1074.75	c |   1280114 |    6584    35052   121193 |    53032    53146    129 |  0.061 % |
1075.77/1075.73	c |   1281138 |    6584    35052   121193 |    53032    46909    120 |  0.061 % |
1076.17/1076.20	c |   1281650 |    6584    35052   121193 |    53032    47421    121 |  0.061 % |
1076.67/1076.62	c |   1282163 |    6584    35052   121193 |    53032    47934    122 |  0.061 % |
1077.27/1077.22	c |   1283187 |    6584    35052   121193 |    53032    48958    121 |  0.061 % |
1078.77/1078.77	c |   1285235 |    6584    35052   121193 |    53032    51006    124 |  0.061 % |
1079.18/1079.16	c |   1285747 |    6584    35052   121193 |    53032    51518    125 |  0.061 % |
1079.57/1079.61	c |   1286261 |    6584    35052   121193 |    53032    52032    126 |  0.061 % |
1080.67/1080.63	c |   1287286 |    6584    35052   121193 |    53032    53057    128 |  0.061 % |
1081.17/1081.20	c |   1287798 |    6584    35052   121193 |    53032    47598    127 |  0.061 % |
1081.77/1081.77	c |   1288313 |    6584    35052   121193 |    53032    48113    128 |  0.061 % |
1082.97/1082.92	c |   1289337 |    6584    35052   121193 |    53032    49137    130 |  0.061 % |
1084.57/1084.56	c |   1291385 |    6584    35052   121193 |    49801    45831    136 |  0.061 % |
1087.37/1087.38	c |   1295481 |    6584    35052   121193 |    49801    49927    137 |  0.061 % |
1087.77/1087.79	c |   1295993 |    6584    35052   121193 |    49801    45435    140 |  0.061 % |
1088.07/1088.11	c |   1296506 |    6584    35052   121193 |    49801    45948    140 |  0.061 % |
1089.17/1089.12	c |   1297533 |    6584    35052   121193 |    49801    46975    140 |  0.061 % |
1089.77/1089.76	c |   1298052 |    6584    35052   121193 |    49801    47494    141 |  0.061 % |
1090.18/1090.14	c |   1298564 |    6584    35052   121193 |    49801    48006    140 |  0.061 % |
1091.37/1091.33	c |   1299588 |    6584    35052   121193 |    49801    49030    140 |  0.061 % |
1093.07/1093.11	c |   1301638 |    6584    35052   121193 |    49442    45667    133 |  0.061 % |
1093.57/1093.56	c |   1302151 |    6584    35052   121193 |    49442    46180    134 |  0.061 % |
1094.07/1094.06	c |   1302663 |    6584    35052   121193 |    49442    46692    134 |  0.061 % |
1095.07/1095.01	c |   1303689 |    6584    35052   121193 |    49442    47718    137 |  0.061 % |
1095.37/1095.40	c |   1304202 |    6584    35052   121193 |    49442    48231    137 |  0.061 % |
1095.87/1095.83	c |   1304715 |    6584    35052   121193 |    49442    48744    138 |  0.061 % |
1096.78/1096.74	c |   1305739 |    6584    35052   121193 |    49442    49768    139 |  0.061 % |
1097.97/1097.96	c |   1307788 |    6584    35052   121193 |    49442    45969    129 |  0.061 % |
1101.77/1101.73	c |   1311886 |    6584    35052   121193 |    48181    43354    130 |  0.061 % |
1109.37/1109.33	c |   1320080 |    6584    35052   121193 |    44561    44641    136 |  0.061 % |
1109.67/1109.66	c |   1320592 |    6584    35052   121193 |    44561    38870    134 |  0.061 % |
1110.07/1110.04	c |   1321104 |    6584    35052   121193 |    44561    39382    134 |  0.061 % |
1110.77/1110.73	c |   1322129 |    6584    35052   121193 |    44561    40407    134 |  0.061 % |
1111.08/1111.08	c |   1322641 |    6584    35052   121193 |    44561    40919    135 |  0.061 % |
1111.47/1111.50	c |   1323155 |    6584    35052   121193 |    44561    41433    135 |  0.061 % |
1112.18/1112.18	c |   1324179 |    6584    35052   121193 |    44561    42457    136 |  0.061 % |
1113.97/1113.93	c |   1326227 |    6584    35052   121193 |    44561    44505    139 |  0.061 % |
1114.27/1114.24	c |   1326739 |    6584    35052   121193 |    44561    45017    139 |  0.061 % |
1114.67/1114.63	c |   1327251 |    6584    35052   121193 |    44561    41028    134 |  0.061 % |
1115.27/1115.26	c |   1328282 |    6584    35052   121193 |    44561    42059    135 |  0.061 % |
1115.67/1115.66	c |   1328794 |    6584    35052   121193 |    44561    42571    135 |  0.061 % |
1116.07/1116.06	c |   1329307 |    6584    35052   121193 |    44561    43084    137 |  0.061 % |
1116.77/1116.77	c |   1330333 |    6584    35052   121193 | 2147483647    44110    137 |  0.061 % |
1118.37/1118.32	c |   1332382 |    6584    35052   121193 | 2147483647    46159    139 |  0.061 % |
1122.47/1122.41	c |   1336479 |    6584    35052   121193 | 2147483647    50256    145 |  0.061 % |
1122.97/1122.96	c |   1336993 |    6584    35052   121193 | 2147483647    50770    146 |  0.061 % |
1123.57/1123.56	c |   1337506 |    6584    35052   121193 | 2147483647    51283    147 |  0.061 % |
1124.87/1124.84	c |   1338531 |    6584    35052   121193 | 2147483647    52308    149 |  0.061 % |
1125.57/1125.57	c |   1339043 |    6584    35052   121193 | 2147483647    52820    150 |  0.061 % |
1126.17/1126.13	c |   1339555 |    6584    35052   121193 | 2147483647    53332    151 |  0.061 % |
1127.47/1127.45	c |   1340579 |    6584    35052   121193 |    53778    54356    152 |  0.061 % |
1130.18/1130.13	c |   1342629 |    6584    35052   121193 |    53778    48806    146 |  0.061 % |
1130.58/1130.54	c |   1343144 |    6584    35052   121193 |    53778    49321    147 |  0.061 % |
1130.88/1130.90	c |   1343659 |    6584    35052   121193 |    53778    49836    147 |  0.061 % |
1131.88/1131.86	c |   1344685 |    6584    35052   121193 |    53778    50862    148 |  0.061 % |
1132.38/1132.36	c |   1345197 |    6584    35052   121193 |    53778    51374    148 |  0.061 % |
1132.88/1132.91	c |   1345710 |    6584    35052   121193 |    53778    51887    149 |  0.061 % |
1134.28/1134.22	c |   1346735 |    6584    35052   121193 |    53778    52912    150 |  0.061 % |
1136.48/1136.44	c |   1348783 |    6584    35052   121193 |    53778    46717    145 |  0.061 % |
1140.38/1140.32	c |   1352879 |    6584    35052   121193 |    47934    43826    148 |  0.061 % |
1147.18/1147.19	c |   1361072 |    6584    35052   121193 |    44109    45179    152 |  0.061 % |
1165.78/1165.74	c |   1377458 |    6584    35052   121193 |    41377    42024    159 |  0.061 % |
1196.78/1196.73	c |   1410226 |    6584    35052   121193 |    40912    41135    181 |  0.061 % |
1197.08/1197.05	c |   1410738 |    6584    35052   121193 |    40912    34580    169 |  0.061 % |
1197.38/1197.36	c |   1411250 |    6584    35052   121193 |    40912    35092    167 |  0.061 % |
1197.88/1197.88	c |   1412274 |    6584    35052   121193 |    40912    36116    165 |  0.061 % |
1198.18/1198.13	c |   1412786 |    6584    35052   121193 |    40912    36628    164 |  0.061 % |
1198.48/1198.45	c |   1413298 |    6584    35052   121193 |    40912    37140    163 |  0.061 % |
1199.08/1199.07	c |   1414324 |    6584    35052   121193 |    40912    38166    162 |  0.061 % |
1200.08/1200.03	HOME/SatELiteGTI: line 36: 20426 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-1820993-1242494620/watcher-1820993-1242494620 -o /tmp/evaluation-result-1820993-1242494620/solver-1820993-1242494620 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820993-1242494620.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/96 20420
/proc/meminfo: memFree=976636/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2416 CPUtime=0
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1013960282 2473984 277 4294967295 134512640 135169312 3213114256 3213112792 3085836014 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20420/statm: 604 277 235 161 0 43 0
[pid=20424] ppid=20420 vsize=956 CPUtime=0
/proc/20424/stat : 20424 (SatELite_releas) R 20420 20420 11066 0 -1 4202496 120 0 0 0 0 0 0 0 25 0 1 0 1013960282 978944 56 4294967295 134512640 135223648 3217526704 3217525580 134576032 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20424/statm: 239 59 45 174 0 64 0

[startup+0.095613 s]
/proc/loadavg: 0.92 0.98 0.99 2/96 20420
/proc/meminfo: memFree=976636/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2416 CPUtime=0
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1013960282 2473984 277 4294967295 134512640 135169312 3213114256 3213112792 3085836014 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20420/statm: 604 277 235 161 0 43 0
[pid=20424] ppid=20420 vsize=12124 CPUtime=0.09
/proc/20424/stat : 20424 (SatELite_releas) D 20420 20420 11066 0 -1 4202496 2773 0 0 0 8 1 0 0 25 0 1 0 1013960282 12414976 2569 4294967295 134512640 135223648 3217526704 3217524472 134737406 0 0 0 3 3222585681 0 0 17 2 0 0 0
/proc/20424/statm: 3031 2569 73 174 0 2856 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14540

[startup+0.115611 s]
/proc/loadavg: 0.92 0.98 0.99 2/96 20420
/proc/meminfo: memFree=976636/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2416 CPUtime=0
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1013960282 2473984 277 4294967295 134512640 135169312 3213114256 3213112792 3085836014 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20420/statm: 604 277 235 161 0 43 0
[pid=20424] ppid=20420 vsize=12124 CPUtime=0.11
/proc/20424/stat : 20424 (SatELite_releas) R 20420 20420 11066 0 -1 4202496 2780 0 0 0 10 1 0 0 25 0 1 0 1013960282 12414976 2576 4294967295 134512640 135223648 3217526704 3217524472 134737406 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20424/statm: 3031 2576 73 174 0 2856 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 14540

[startup+0.3156 s]
/proc/loadavg: 0.92 0.98 0.99 2/96 20420
/proc/meminfo: memFree=976636/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2416 CPUtime=0
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1013960282 2473984 277 4294967295 134512640 135169312 3213114256 3213112792 3085836014 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20420/statm: 604 277 235 161 0 43 0
[pid=20424] ppid=20420 vsize=12584 CPUtime=0.31
/proc/20424/stat : 20424 (SatELite_releas) R 20420 20420 11066 0 -1 4202496 2894 0 0 0 29 2 0 0 25 0 1 0 1013960282 12886016 2690 4294967295 134512640 135223648 3217526704 3217524656 134565248 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20424/statm: 3146 2690 73 174 0 2971 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 15000

[startup+0.715579 s]
/proc/loadavg: 0.92 0.98 0.99 2/96 20420
/proc/meminfo: memFree=976636/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 2420

[startup+1.51553 s]
/proc/loadavg: 0.92 0.98 0.99 2/98 20426
/proc/meminfo: memFree=970056/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=5656 CPUtime=0.89
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 1263 0 0 0 88 1 0 0 25 0 1 0 1013960345 5791744 1198 4294967295 134512640 135216591 3217352688 3217350880 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 1414 1198 75 172 0 1241 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 8076

[startup+3.11544 s]
/proc/loadavg: 0.92 0.98 0.99 2/98 20426
/proc/meminfo: memFree=968320/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=7784 CPUtime=2.49
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 1798 0 0 0 247 2 0 0 25 0 1 0 1013960345 7970816 1733 4294967295 134512640 135216591 3217352688 3217350880 134528851 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 1946 1733 75 172 0 1773 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 10204

[startup+6.31527 s]
/proc/loadavg: 0.93 0.98 0.99 2/98 20426
/proc/meminfo: memFree=962648/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=13628 CPUtime=5.69
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 3254 0 0 0 567 2 0 0 25 0 1 0 1013960345 13955072 3189 4294967295 134512640 135216591 3217352688 3217350880 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 3407 3189 75 172 0 3234 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 16048

[startup+12.7149 s]
/proc/loadavg: 0.93 0.98 0.99 2/98 20426
/proc/meminfo: memFree=951644/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=24228 CPUtime=12.09
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 5891 0 0 0 1206 3 0 0 25 0 1 0 1013960345 24809472 5826 4294967295 134512640 135216591 3217352688 3217350880 134528939 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 6057 5826 75 172 0 5884 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 26648

[startup+25.5142 s]
/proc/loadavg: 0.95 0.98 0.99 2/98 20609
/proc/meminfo: memFree=937944/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=36932 CPUtime=24.89
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 9077 0 0 0 2482 7 0 0 25 0 1 0 1013960345 37818368 9012 4294967295 134512640 135216591 3217352688 3217350592 134533124 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 9233 9012 75 172 0 9060 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 39352

[startup+51.1128 s]
/proc/loadavg: 0.96 0.98 0.99 2/98 20615
/proc/meminfo: memFree=925676/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=49468 CPUtime=50.49
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 12154 0 0 0 5039 10 0 0 25 0 1 0 1013960345 50655232 12089 4294967295 134512640 135216591 3217352688 3217350880 134529032 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 12367 12089 75 172 0 12194 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 51888

[startup+102.32 s]
/proc/loadavg: 0.98 0.98 0.99 2/98 20798
/proc/meminfo: memFree=925404/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=49468 CPUtime=101.7
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 12171 0 0 0 10160 10 0 0 25 0 1 0 1013960345 50655232 12106 4294967295 134512640 135216591 3217352688 3217350880 134529009 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 12367 12106 75 172 0 12194 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 51888

[startup+162.317 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 20991
/proc/meminfo: memFree=924520/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=50264 CPUtime=161.7
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 12381 0 0 0 16159 11 0 0 25 0 1 0 1013960345 51470336 12316 4294967295 134512640 135216591 3217352688 3217350880 134528851 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 12566 12316 75 172 0 12393 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 52684

[startup+222.313 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 21180
/proc/meminfo: memFree=924388/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=50568 CPUtime=221.7
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 12423 0 0 0 22159 11 0 0 25 0 1 0 1013960345 51781632 12358 4294967295 134512640 135216591 3217352688 3217350880 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 12642 12358 75 172 0 12469 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 52988

[startup+282.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 21369
/proc/meminfo: memFree=924280/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=50568 CPUtime=281.7
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 12424 0 0 0 28159 11 0 0 25 0 1 0 1013960345 51781632 12359 4294967295 134512640 135216591 3217352688 3217350880 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 12642 12359 75 172 0 12469 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 52988

[startup+342.307 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 21558
/proc/meminfo: memFree=924164/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=50568 CPUtime=341.7
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 12429 0 0 0 34158 12 0 0 25 0 1 0 1013960345 51781632 12364 4294967295 134512640 135216591 3217352688 3217350880 134529009 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 12642 12364 75 172 0 12469 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 52988

[startup+402.313 s]

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

/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=54856 CPUtime=461.71
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 13511 0 0 0 46154 17 0 0 25 0 1 0 1013960345 56172544 13446 4294967295 134512640 135216591 3217352688 3217350880 134528962 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 13714 13446 75 172 0 13541 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 57276

[startup+522.317 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 22125
/proc/meminfo: memFree=919956/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=54856 CPUtime=521.72
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 13511 0 0 0 52152 20 0 0 25 0 1 0 1013960345 56172544 13446 4294967295 134512640 135216591 3217352688 3217350880 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 13714 13446 75 172 0 13541 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 57276

[startup+582.313 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 22314
/proc/meminfo: memFree=919924/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=54856 CPUtime=581.72
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 13511 0 0 0 58152 20 0 0 25 0 1 0 1013960345 56172544 13446 4294967295 134512640 135216591 3217352688 3217350656 134539150 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 13714 13446 75 172 0 13541 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 57276

[startup+642.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 22501
/proc/meminfo: memFree=919840/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=54856 CPUtime=641.72
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 13511 0 0 0 64152 20 0 0 25 0 1 0 1013960345 56172544 13446 4294967295 134512640 135216591 3217352688 3217350880 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 13714 13446 75 172 0 13541 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 57276

[startup+702.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 22686
/proc/meminfo: memFree=919932/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=54856 CPUtime=701.72
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 13511 0 0 0 70149 23 0 0 25 0 1 0 1013960345 56172544 13446 4294967295 134512640 135216591 3217352688 3217350656 134539083 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 13714 13446 75 172 0 13541 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 57276

[startup+762.323 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 22875
/proc/meminfo: memFree=919972/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=54856 CPUtime=761.74
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 13521 0 0 0 76151 23 0 0 25 0 1 0 1013960345 56172544 13456 4294967295 134512640 135216591 3217352688 3217350880 134529317 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 13714 13456 75 172 0 13541 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 57276

[startup+822.32 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 23064
/proc/meminfo: memFree=919800/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=54856 CPUtime=821.74
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 13521 0 0 0 82151 23 0 0 25 0 1 0 1013960345 56172544 13456 4294967295 134512640 135216591 3217352688 3217350880 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 13714 13456 75 172 0 13541 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 57276

[startup+882.327 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 23257
/proc/meminfo: memFree=919932/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=54856 CPUtime=881.75
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 13521 0 0 0 88152 23 0 0 25 0 1 0 1013960345 56172544 13456 4294967295 134512640 135216591 3217352688 3217350880 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 13714 13456 75 172 0 13541 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 57276

[startup+942.323 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 23443
/proc/meminfo: memFree=919808/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=54856 CPUtime=941.75
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 13521 0 0 0 94151 24 0 0 25 0 1 0 1013960345 56172544 13456 4294967295 134512640 135216591 3217352688 3217350592 134532786 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 13714 13456 75 172 0 13541 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 57276

[startup+1002.32 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 23629
/proc/meminfo: memFree=919676/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=54856 CPUtime=1001.75
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 13521 0 0 0 100145 30 0 0 25 0 1 0 1013960345 56172544 13456 4294967295 134512640 135216591 3217352688 3217350880 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 13714 13456 75 172 0 13541 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 57276

[startup+1062.32 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 23818
/proc/meminfo: memFree=917600/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=56968 CPUtime=1061.75
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 14038 0 0 0 106144 31 0 0 25 0 1 0 1013960345 58335232 13973 4294967295 134512640 135216591 3217352688 3217350880 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 14242 13973 75 172 0 14069 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 59388

[startup+1122.31 s]
/proc/loadavg: 1.07 1.01 1.00 3/98 24007
/proc/meminfo: memFree=917560/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=56968 CPUtime=1121.75
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 14038 0 0 0 112144 31 0 0 25 0 1 0 1013960345 58335232 13973 4294967295 134512640 135216591 3217352688 3217350880 134528804 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 14242 13973 75 172 0 14069 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 59388

[startup+1182.32 s]
/proc/loadavg: 1.02 1.01 1.00 2/98 24196
/proc/meminfo: memFree=917692/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=56968 CPUtime=1181.76
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 14040 0 0 0 118144 32 0 0 25 0 1 0 1013960345 58335232 13975 4294967295 134512640 135216591 3217352688 3217350880 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 14242 13975 75 172 0 14069 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 59388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.02 1.00 1.00 2/98 24196
/proc/meminfo: memFree=917764/2074464 swapFree=1950760/1959888
[pid=20420] ppid=20418 vsize=2420 CPUtime=0.62
/proc/20420/stat : 20420 (SatELiteGTI) S 20418 20420 11066 0 -1 4194304 386 3925 0 0 0 0 60 2 19 0 1 0 1013960282 2478080 278 4294967295 134512640 135169312 3213114256 3213110472 3085836014 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/20420/statm: 605 278 235 161 0 44 0
[pid=20426] ppid=20420 vsize=56968 CPUtime=1199.46
/proc/20426/stat : 20426 (minisat_static) R 20420 20420 11066 0 -1 4202496 14040 0 0 0 119913 33 0 0 25 0 1 0 1013960345 58335232 13975 4294967295 134512640 135216591 3217352688 3217350880 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20426/statm: 14242 13975 75 172 0 14069 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 59388

Sending SIGTERM to process tree (bottom up)
Solver just ended. DDumping a history of the last processes samples

Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.09
CPU user time (s): 1199.73
CPU system time (s): 0.36
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 59388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.73
system time used= 0.36
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18627
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= 24
involuntary context switches= 633

runsolver used 0 second user time and 0.03 second system time

The end

Launcher Data 

Begin job on tipi23 at 2009-05-16 19:23:40
IDJOB=1820993
IDBENCH=70796
IDSOLVER=658
FILE ID=tipi23/1820993-1242494620
PBS_JOBID=
Free space on /tmp= 8824 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand032.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820993-1242494620/watcher-1820993-1242494620 -o /tmp/evaluation-result-1820993-1242494620/solver-1820993-1242494620 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820993-1242494620.cnf

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

MD5SUM BENCH= fc00df719c8630009723cd295f7c0c3b
RANDOM SEED= 1299781129

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:        976668 kB
Buffers:         32380 kB
Cached:         964484 kB
SwapCached:       3660 kB
Active:         470812 kB
Inactive:       537868 kB
HighTotal:     1178688 kB
HighFree:       336896 kB
LowTotal:       895776 kB
LowFree:        639772 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:            2852 kB
Writeback:           0 kB
AnonPages:       11020 kB
Mapped:           4560 kB
Slab:            79820 kB
PageTables:        496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96892 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8823 MiB
End job on tipi23 at 2009-05-16 19:43:40