Trace number 337045

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, and are wall clock time (not CPU 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
ornithorynque 0.1 alpha? (TO) 1200.2 601.72

General information on the benchmark

Namecrafted/Hard/contest02/
ezfact64_4.sat05-451.reshuffled-07.cnf
MD5SUM713a8514216ff2acf847f596238604da
Bench CategoryCRAFTED (crafted 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 variables3073
Number of clauses19785
Sum of the clauses size74601
Maximum clause length4
Minimum clause length1
Number of clauses of size 165
Number of clauses of size 20
Number of clauses of size 34344
Number of clauses of size 415376
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.12	c This is Ornithorynque version 0.1 alpha
0.00/0.12	c (c) roussel@cril.univ-artois.fr
0.00/0.12	c using unsigned short
0.00/0.12	c parsing...
0.00/0.17	c ...done
0.00/0.17	c nbVar=3073 nbClause=19785
0.00/0.18	c nbVar=3073 nbClause=19785
0.00/0.19	c complete search running
0.00/0.19	c local search running
0.08/0.20	c flip 0 nbSat=18234 maxSat=0
0.47/0.40	c flip 10000 nbSat=19180 maxSat=19217
0.67/0.59	c flip 20000 nbSat=19283 maxSat=19323
1.07/0.77	c flip 30000 nbSat=19388 maxSat=19408
1.47/0.95	c flip 40000 nbSat=19304 maxSat=19410
1.88/1.13	c flip 50000 nbSat=19357 maxSat=19410
2.27/1.32	c flip 60000 nbSat=19356 maxSat=19410
2.27/1.35	c flip 0 nbSat=18474 maxSat=19410
2.67/1.56	c flip 10000 nbSat=19453 maxSat=19474
3.07/1.77	c flip 20000 nbSat=19591 maxSat=19616
3.47/1.97	c flip 30000 nbSat=19597 maxSat=19648
3.87/2.17	c flip 40000 nbSat=19639 maxSat=19700
4.26/2.37	c flip 50000 nbSat=19597 maxSat=19701
4.66/2.57	c flip 60000 nbSat=19639 maxSat=19701
4.86/2.60	c flip 0 nbSat=18496 maxSat=19701
5.26/2.83	c flip 10000 nbSat=19437 maxSat=19701
5.66/3.04	c flip 20000 nbSat=19534 maxSat=19701
6.07/3.24	c flip 30000 nbSat=19576 maxSat=19701
6.46/3.45	c flip 40000 nbSat=19611 maxSat=19701
6.86/3.65	c flip 50000 nbSat=19584 maxSat=19701
7.26/3.85	c flip 60000 nbSat=19644 maxSat=19701
7.26/3.88	c flip 0 nbSat=18507 maxSat=19701
7.86/4.11	c flip 10000 nbSat=19475 maxSat=19701
8.26/4.31	c flip 20000 nbSat=19585 maxSat=19701
8.65/4.52	c flip 30000 nbSat=19602 maxSat=19701
9.05/4.71	c flip 40000 nbSat=19551 maxSat=19701
9.45/4.91	c flip 50000 nbSat=19627 maxSat=19701
9.85/5.11	c flip 60000 nbSat=19639 maxSat=19701
9.85/5.14	c flip 0 nbSat=19060 maxSat=19701
10.45/5.42	c flip 10000 nbSat=19932 maxSat=19962
10.85/5.66	c flip 20000 nbSat=20106 maxSat=20148
11.45/5.90	c flip 30000 nbSat=20127 maxSat=20177
11.85/6.12	c flip 40000 nbSat=20106 maxSat=20235
12.25/6.34	c flip 50000 nbSat=20135 maxSat=20235
12.65/6.57	c flip 60000 nbSat=20110 maxSat=20235
12.85/6.61	c flip 0 nbSat=19054 maxSat=20235
13.24/6.88	c flip 10000 nbSat=19947 maxSat=20235
13.84/7.11	c flip 20000 nbSat=20121 maxSat=20235
14.24/7.35	c flip 30000 nbSat=20135 maxSat=20235
14.64/7.59	c flip 40000 nbSat=20087 maxSat=20235
15.24/7.84	c flip 50000 nbSat=20104 maxSat=20235
15.64/8.08	c flip 60000 nbSat=20099 maxSat=20235
15.84/8.13	c flip 0 nbSat=19026 maxSat=20235
16.44/8.40	c flip 10000 nbSat=19915 maxSat=20235
16.84/8.63	c flip 20000 nbSat=20067 maxSat=20235
17.24/8.85	c flip 30000 nbSat=20098 maxSat=20235
17.83/9.10	c flip 40000 nbSat=20110 maxSat=20235
18.24/9.34	c flip 50000 nbSat=20135 maxSat=20235
18.64/9.58	c flip 60000 nbSat=20103 maxSat=20235
18.84/9.62	c flip 0 nbSat=19024 maxSat=20235
19.24/9.89	c flip 10000 nbSat=19907 maxSat=20235
19.84/10.14	c flip 20000 nbSat=20019 maxSat=20235
20.24/10.38	c flip 30000 nbSat=20089 maxSat=20235
20.84/10.62	c flip 40000 nbSat=20115 maxSat=20235
21.24/10.86	c flip 50000 nbSat=20117 maxSat=20235
21.83/11.10	c flip 60000 nbSat=20147 maxSat=20235
21.83/11.14	c flip 0 nbSat=19049 maxSat=20235
22.43/11.41	c flip 10000 nbSat=19950 maxSat=20235
22.83/11.65	c flip 20000 nbSat=20061 maxSat=20235
23.23/11.89	c flip 30000 nbSat=20024 maxSat=20235
23.83/12.14	c flip 40000 nbSat=20104 maxSat=20235
24.22/12.38	c flip 50000 nbSat=20109 maxSat=20235
24.82/12.62	c flip 60000 nbSat=20188 maxSat=20235
24.82/12.65	c flip 0 nbSat=19052 maxSat=20235
25.42/12.92	c flip 10000 nbSat=19942 maxSat=20235
25.83/13.16	c flip 20000 nbSat=20065 maxSat=20235
26.22/13.40	c flip 30000 nbSat=20114 maxSat=20235
26.82/13.63	c flip 40000 nbSat=20119 maxSat=20235
27.22/13.86	c flip 50000 nbSat=20165 maxSat=20235
27.62/14.09	c flip 60000 nbSat=20128 maxSat=20235
27.82/14.13	c flip 0 nbSat=18949 maxSat=20235
28.22/14.40	c flip 10000 nbSat=19912 maxSat=20235
28.81/14.63	c flip 20000 nbSat=20052 maxSat=20235
29.21/14.86	c flip 30000 nbSat=20112 maxSat=20235
29.81/15.11	c flip 40000 nbSat=20109 maxSat=20235
30.21/15.34	c flip 50000 nbSat=20111 maxSat=20235
30.61/15.57	c flip 60000 nbSat=20149 maxSat=20235
30.81/15.62	c flip 0 nbSat=19008 maxSat=20235
31.21/15.89	c flip 10000 nbSat=19895 maxSat=20235
31.81/16.13	c flip 20000 nbSat=20056 maxSat=20235
32.21/16.37	c flip 30000 nbSat=20127 maxSat=20235
32.80/16.61	c flip 40000 nbSat=20079 maxSat=20235
33.19/16.85	c flip 50000 nbSat=20138 maxSat=20235
33.59/17.07	c flip 60000 nbSat=20192 maxSat=20257
33.79/17.11	c flip 0 nbSat=18992 maxSat=20257
34.19/17.38	c flip 10000 nbSat=19849 maxSat=20257
34.80/17.62	c flip 20000 nbSat=20098 maxSat=20257
35.18/17.86	c flip 30000 nbSat=20068 maxSat=20257
35.78/18.11	c flip 40000 nbSat=20150 maxSat=20257
36.18/18.36	c flip 50000 nbSat=20068 maxSat=20257
36.78/18.60	c flip 60000 nbSat=20064 maxSat=20257
36.78/18.65	c flip 0 nbSat=19010 maxSat=20257
37.38/18.92	c flip 10000 nbSat=19914 maxSat=20257
37.78/19.15	c flip 20000 nbSat=20085 maxSat=20257
38.18/19.40	c flip 30000 nbSat=20118 maxSat=20257
38.78/19.64	c flip 40000 nbSat=20193 maxSat=20257
39.18/19.87	c flip 50000 nbSat=20172 maxSat=20257
39.77/20.11	c flip 60000 nbSat=20170 maxSat=20257
39.77/20.15	c flip 0 nbSat=19055 maxSat=20257
40.37/20.42	c flip 10000 nbSat=19908 maxSat=20257
40.77/20.67	c flip 20000 nbSat=20032 maxSat=20257
41.37/20.92	c flip 30000 nbSat=20115 maxSat=20257
41.76/21.16	c flip 40000 nbSat=20107 maxSat=20257
42.36/21.41	c flip 50000 nbSat=20138 maxSat=20257
42.76/21.66	c flip 60000 nbSat=20164 maxSat=20257
42.96/21.70	c flip 0 nbSat=18990 maxSat=20257
43.37/21.98	c flip 10000 nbSat=19866 maxSat=20257
43.96/22.23	c flip 20000 nbSat=20099 maxSat=20257
44.36/22.47	c flip 30000 nbSat=20053 maxSat=20257
44.96/22.72	c flip 40000 nbSat=20113 maxSat=20257
45.36/22.96	c flip 50000 nbSat=20106 maxSat=20257
45.76/23.20	c flip 60000 nbSat=20138 maxSat=20257
45.96/23.23	c flip 0 nbSat=19024 maxSat=20257
46.55/23.51	c flip 10000 nbSat=19979 maxSat=20257
46.95/23.75	c flip 20000 nbSat=20100 maxSat=20257
47.35/23.99	c flip 30000 nbSat=20097 maxSat=20257
47.96/24.23	c flip 40000 nbSat=20157 maxSat=20257
48.35/24.48	c flip 50000 nbSat=20166 maxSat=20257
48.95/24.72	c flip 60000 nbSat=20085 maxSat=20257
48.95/24.76	c flip 0 nbSat=19027 maxSat=20257
49.55/25.01	c flip 10000 nbSat=19981 maxSat=20257
49.95/25.24	c flip 20000 nbSat=20114 maxSat=20257
50.34/25.48	c flip 30000 nbSat=20097 maxSat=20257
50.94/25.73	c flip 40000 nbSat=20159 maxSat=20257
51.34/25.97	c flip 50000 nbSat=20162 maxSat=20257
51.94/26.20	c flip 60000 nbSat=20153 maxSat=20257
51.94/26.24	c flip 0 nbSat=18972 maxSat=20257
52.54/26.51	c flip 10000 nbSat=19955 maxSat=20257
52.94/26.75	c flip 20000 nbSat=20082 maxSat=20257
53.34/26.99	c flip 30000 nbSat=20134 maxSat=20257
53.94/27.22	c flip 40000 nbSat=20209 maxSat=20257
54.34/27.45	c flip 50000 nbSat=20206 maxSat=20257
54.74/27.69	c flip 60000 nbSat=20135 maxSat=20257
54.94/27.73	c flip 0 nbSat=18976 maxSat=20257
55.54/28.00	c flip 10000 nbSat=19857 maxSat=20257
55.94/28.25	c flip 20000 nbSat=20046 maxSat=20257
56.34/28.48	c flip 30000 nbSat=20144 maxSat=20257
56.93/28.72	c flip 40000 nbSat=20175 maxSat=20257
57.33/28.95	c flip 50000 nbSat=20094 maxSat=20257
57.73/29.19	c flip 60000 nbSat=20163 maxSat=20257
57.93/29.23	c flip 0 nbSat=19018 maxSat=20257
58.53/29.50	c flip 10000 nbSat=19939 maxSat=20257
58.93/29.74	c flip 20000 nbSat=20109 maxSat=20257
59.32/29.97	c flip 30000 nbSat=20118 maxSat=20257
59.72/30.19	c flip 40000 nbSat=20099 maxSat=20257
60.32/30.42	c flip 50000 nbSat=20133 maxSat=20257
60.72/30.65	c flip 60000 nbSat=20148 maxSat=20257
60.72/30.69	c flip 0 nbSat=18944 maxSat=20257
61.32/30.96	c flip 10000 nbSat=19952 maxSat=20257
61.72/31.19	c flip 20000 nbSat=20058 maxSat=20257
62.32/31.43	c flip 30000 nbSat=20079 maxSat=20257
62.72/31.65	c flip 40000 nbSat=20131 maxSat=20257
63.12/31.88	c flip 50000 nbSat=20111 maxSat=20257
63.71/32.12	c flip 60000 nbSat=20152 maxSat=20257
63.71/32.16	c flip 0 nbSat=19016 maxSat=20257
64.31/32.42	c flip 10000 nbSat=19848 maxSat=20257
64.71/32.67	c flip 20000 nbSat=20079 maxSat=20257
65.32/32.91	c flip 30000 nbSat=20076 maxSat=20257
65.71/33.15	c flip 40000 nbSat=20123 maxSat=20257
66.11/33.40	c flip 50000 nbSat=20117 maxSat=20257
66.71/33.63	c flip 60000 nbSat=20092 maxSat=20257
66.71/33.67	c flip 0 nbSat=19054 maxSat=20257
67.31/33.93	c flip 10000 nbSat=19913 maxSat=20257
67.71/34.18	c flip 20000 nbSat=20051 maxSat=20257
68.30/34.42	c flip 30000 nbSat=20063 maxSat=20257
68.70/34.64	c flip 40000 nbSat=20129 maxSat=20257
69.10/34.87	c flip 50000 nbSat=20135 maxSat=20257
69.71/35.11	c flip 60000 nbSat=20167 maxSat=20257
69.71/35.15	c flip 0 nbSat=19023 maxSat=20257
70.30/35.41	c flip 10000 nbSat=19938 maxSat=20257
70.70/35.65	c flip 20000 nbSat=20031 maxSat=20257
71.10/35.88	c flip 30000 nbSat=20155 maxSat=20257
71.70/36.13	c flip 40000 nbSat=20131 maxSat=20257
72.10/36.36	c flip 50000 nbSat=20102 maxSat=20257
72.69/36.61	c flip 60000 nbSat=20086 maxSat=20257
72.69/36.64	c flip 0 nbSat=19020 maxSat=20257
73.29/36.91	c flip 10000 nbSat=19971 maxSat=20257
73.69/37.16	c flip 20000 nbSat=20080 maxSat=20257
74.10/37.40	c flip 30000 nbSat=20101 maxSat=20257
74.69/37.64	c flip 40000 nbSat=20057 maxSat=20257
75.09/37.90	c flip 50000 nbSat=20134 maxSat=20257
75.69/38.14	c flip 60000 nbSat=20149 maxSat=20257
75.69/38.18	c flip 0 nbSat=18968 maxSat=20257
76.29/38.44	c flip 10000 nbSat=19966 maxSat=20257
76.68/38.69	c flip 20000 nbSat=20052 maxSat=20257
77.28/38.94	c flip 30000 nbSat=20110 maxSat=20257
77.68/39.18	c flip 40000 nbSat=20064 maxSat=20257
78.28/39.42	c flip 50000 nbSat=20142 maxSat=20257
78.68/39.66	c flip 60000 nbSat=20085 maxSat=20257
78.88/39.70	c flip 0 nbSat=18958 maxSat=20257
79.28/39.97	c flip 10000 nbSat=19917 maxSat=20257
79.88/40.22	c flip 20000 nbSat=20076 maxSat=20257
80.28/40.46	c flip 30000 nbSat=20131 maxSat=20257
80.88/40.71	c flip 40000 nbSat=20049 maxSat=20257
81.27/40.94	c flip 50000 nbSat=20088 maxSat=20257
81.67/41.18	c flip 60000 nbSat=20157 maxSat=20257
81.87/41.22	c flip 0 nbSat=18994 maxSat=20257
82.27/41.49	c flip 10000 nbSat=19969 maxSat=20257
82.87/41.75	c flip 20000 nbSat=20077 maxSat=20257
83.27/41.99	c flip 30000 nbSat=20165 maxSat=20257
83.87/42.24	c flip 40000 nbSat=20123 maxSat=20257
84.27/42.47	c flip 50000 nbSat=20113 maxSat=20257
84.87/42.70	c flip 60000 nbSat=20157 maxSat=20257
84.87/42.75	c flip 0 nbSat=18999 maxSat=20257
85.46/43.01	c flip 10000 nbSat=19921 maxSat=20257
85.86/43.26	c flip 20000 nbSat=20035 maxSat=20257
86.46/43.52	c flip 30000 nbSat=20060 maxSat=20257
86.86/43.76	c flip 40000 nbSat=20082 maxSat=20257
87.46/44.00	c flip 50000 nbSat=20079 maxSat=20257
87.86/44.25	c flip 60000 nbSat=20146 maxSat=20257
87.86/44.29	c flip 0 nbSat=18988 maxSat=20257
88.46/44.55	c flip 10000 nbSat=19990 maxSat=20257
88.86/44.79	c flip 20000 nbSat=20061 maxSat=20257
89.46/45.03	c flip 30000 nbSat=20099 maxSat=20257
89.85/45.26	c flip 40000 nbSat=20128 maxSat=20257
90.45/45.51	c flip 50000 nbSat=20099 maxSat=20257
90.85/45.75	c flip 60000 nbSat=20112 maxSat=20257
90.85/45.79	c flip 0 nbSat=19005 maxSat=20257
91.45/46.05	c flip 10000 nbSat=19967 maxSat=20257
92.05/46.30	c flip 20000 nbSat=20086 maxSat=20257
92.45/46.54	c flip 30000 nbSat=20120 maxSat=20257
92.85/46.77	c flip 40000 nbSat=20144 maxSat=20257
93.25/46.99	c flip 50000 nbSat=20237 maxSat=20257
93.85/47.22	c flip 60000 nbSat=20168 maxSat=20261
93.85/47.26	c flip 0 nbSat=19066 maxSat=20261
94.44/47.53	c flip 10000 nbSat=19881 maxSat=20261
94.84/47.77	c flip 20000 nbSat=20084 maxSat=20261
95.44/48.00	c flip 30000 nbSat=20110 maxSat=20261
95.84/48.24	c flip 40000 nbSat=20115 maxSat=20261
96.24/48.47	c flip 50000 nbSat=20106 maxSat=20261
96.84/48.71	c flip 60000 nbSat=20167 maxSat=20261
96.84/48.75	c flip 0 nbSat=19025 maxSat=20261
97.44/49.01	c flip 10000 nbSat=19980 maxSat=20261
97.84/49.24	c flip 20000 nbSat=20082 maxSat=20261
98.24/49.48	c flip 30000 nbSat=20120 maxSat=20261
98.83/49.73	c flip 40000 nbSat=20085 maxSat=20261
99.23/49.98	c flip 50000 nbSat=20038 maxSat=20261
99.83/50.21	c flip 60000 nbSat=20136 maxSat=20261
99.83/50.25	c flip 0 nbSat=19041 maxSat=20261
100.43/50.52	c flip 10000 nbSat=19980 maxSat=20261
100.83/50.76	c flip 20000 nbSat=20071 maxSat=20261
101.23/50.99	c flip 30000 nbSat=20138 maxSat=20261
101.83/51.24	c flip 40000 nbSat=20125 maxSat=20261
102.23/51.48	c flip 50000 nbSat=20154 maxSat=20261
102.83/51.72	c flip 60000 nbSat=20206 maxSat=20261
102.83/51.76	c flip 0 nbSat=19012 maxSat=20261
103.42/52.02	c flip 10000 nbSat=19972 maxSat=20261
103.82/52.27	c flip 20000 nbSat=20098 maxSat=20261
104.22/52.49	c flip 30000 nbSat=20168 maxSat=20261
104.83/52.72	c flip 40000 nbSat=20175 maxSat=20261
105.22/52.96	c flip 50000 nbSat=20176 maxSat=20261
105.62/53.20	c flip 60000 nbSat=20152 maxSat=20261
105.82/53.24	c flip 0 nbSat=19023 maxSat=20261
106.42/53.50	c flip 10000 nbSat=19901 maxSat=20261
106.82/53.74	c flip 20000 nbSat=20056 maxSat=20261
107.22/53.97	c flip 30000 nbSat=20108 maxSat=20261
107.81/54.21	c flip 40000 nbSat=20127 maxSat=20261
108.21/54.45	c flip 50000 nbSat=20113 maxSat=20261
108.61/54.69	c flip 60000 nbSat=20163 maxSat=20261
108.81/54.73	c flip 0 nbSat=19031 maxSat=20261
109.22/55.00	c flip 10000 nbSat=19985 maxSat=20261
109.81/55.23	c flip 20000 nbSat=20031 maxSat=20261
110.21/55.48	c flip 30000 nbSat=20084 maxSat=20261
110.81/55.72	c flip 40000 nbSat=20101 maxSat=20261
111.21/55.96	c flip 50000 nbSat=20191 maxSat=20261
111.80/56.20	c flip 60000 nbSat=20124 maxSat=20261
111.80/56.24	c flip 0 nbSat=19022 maxSat=20261
112.40/56.51	c flip 10000 nbSat=19942 maxSat=20261
112.80/56.75	c flip 20000 nbSat=20028 maxSat=20261
113.20/56.99	c flip 30000 nbSat=20087 maxSat=20261
113.80/57.23	c flip 40000 nbSat=20138 maxSat=20261
114.19/57.46	c flip 50000 nbSat=20154 maxSat=20261
114.59/57.69	c flip 60000 nbSat=20138 maxSat=20261
114.79/57.73	c flip 0 nbSat=19015 maxSat=20261
115.39/58.00	c flip 10000 nbSat=19957 maxSat=20261
115.80/58.25	c flip 20000 nbSat=20093 maxSat=20261
116.19/58.49	c flip 30000 nbSat=20154 maxSat=20261
116.79/58.71	c flip 40000 nbSat=20160 maxSat=20261
117.19/58.94	c flip 50000 nbSat=20178 maxSat=20261
117.59/59.16	c flip 60000 nbSat=20238 maxSat=20261
117.79/59.20	c flip 0 nbSat=18944 maxSat=20261
118.19/59.48	c flip 10000 nbSat=19919 maxSat=20261
118.78/59.72	c flip 20000 nbSat=19968 maxSat=20261
119.18/59.96	c flip 30000 nbSat=20122 maxSat=20261
119.78/60.20	c flip 40000 nbSat=20119 maxSat=20261
120.19/60.43	c flip 50000 nbSat=20163 maxSat=20261
120.58/60.68	c flip 60000 nbSat=20089 maxSat=20261
120.78/60.71	c flip 0 nbSat=19042 maxSat=20261
121.18/60.99	c flip 10000 nbSat=19928 maxSat=20261
121.78/61.24	c flip 20000 nbSat=20122 maxSat=20261
122.18/61.46	c flip 30000 nbSat=20106 maxSat=20261
122.78/61.71	c flip 40000 nbSat=20125 maxSat=20261
123.18/61.96	c flip 50000 nbSat=20109 maxSat=20261
123.78/62.20	c flip 60000 nbSat=20142 maxSat=20261
123.78/62.24	c flip 0 nbSat=19033 maxSat=20261
124.38/62.50	c flip 10000 nbSat=19970 maxSat=20261
124.78/62.76	c flip 20000 nbSat=20028 maxSat=20261
125.35/63.00	c flip 30000 nbSat=20047 maxSat=20261
125.75/63.23	c flip 40000 nbSat=20134 maxSat=20261
126.16/63.47	c flip 50000 nbSat=20135 maxSat=20261
126.77/63.71	c flip 60000 nbSat=20154 maxSat=20261
126.77/63.75	c flip 0 nbSat=19002 maxSat=20261
127.36/64.02	c flip 10000 nbSat=19892 maxSat=20261
127.76/64.27	c flip 20000 nbSat=20048 maxSat=20261
128.36/64.50	c flip 30000 nbSat=20129 maxSat=20261
128.76/64.75	c flip 40000 nbSat=20043 maxSat=20261
129.35/65.00	c flip 50000 nbSat=20080 maxSat=20261
129.75/65.25	c flip 60000 nbSat=20070 maxSat=20261
129.75/65.29	c flip 0 nbSat=19030 maxSat=20261
130.35/65.56	c flip 10000 nbSat=19937 maxSat=20261
130.75/65.79	c flip 20000 nbSat=20062 maxSat=20261
131.36/66.02	c flip 30000 nbSat=20139 maxSat=20261
131.75/66.26	c flip 40000 nbSat=20147 maxSat=20261
132.35/66.50	c flip 50000 nbSat=20157 maxSat=20261
132.75/66.73	c flip 60000 nbSat=20143 maxSat=20261
132.75/66.78	c flip 0 nbSat=19030 maxSat=20261
133.35/67.04	c flip 10000 nbSat=19888 maxSat=20261
133.74/67.28	c flip 20000 nbSat=20056 maxSat=20261
134.34/67.53	c flip 30000 nbSat=20041 maxSat=20261
134.74/67.77	c flip 40000 nbSat=20166 maxSat=20261
135.34/68.00	c flip 50000 nbSat=20139 maxSat=20261
135.75/68.23	c flip 60000 nbSat=20146 maxSat=20261
135.75/68.27	c flip 0 nbSat=18972 maxSat=20261
136.34/68.53	c flip 10000 nbSat=19961 maxSat=20261
136.74/68.76	c flip 20000 nbSat=20086 maxSat=20261
137.34/69.01	c flip 30000 nbSat=20072 maxSat=20261
137.74/69.26	c flip 40000 nbSat=20106 maxSat=20261
138.13/69.49	c flip 50000 nbSat=20093 maxSat=20261
138.73/69.72	c flip 60000 nbSat=20122 maxSat=20261
138.73/69.76	c flip 0 nbSat=18991 maxSat=20261
139.34/70.03	c flip 10000 nbSat=19930 maxSat=20261
139.74/70.27	c flip 20000 nbSat=20055 maxSat=20261
140.33/70.51	c flip 30000 nbSat=20127 maxSat=20261
140.73/70.76	c flip 40000 nbSat=20106 maxSat=20261
141.13/70.99	c flip 50000 nbSat=20115 maxSat=20261
141.73/71.22	c flip 60000 nbSat=20132 maxSat=20261
141.73/71.26	c flip 0 nbSat=19021 maxSat=20261
142.33/71.53	c flip 10000 nbSat=19986 maxSat=20261
142.73/71.76	c flip 20000 nbSat=20098 maxSat=20261
143.13/71.99	c flip 30000 nbSat=20148 maxSat=20261
143.73/72.23	c flip 40000 nbSat=20111 maxSat=20261
144.13/72.48	c flip 50000 nbSat=20110 maxSat=20261
144.72/72.72	c flip 60000 nbSat=20099 maxSat=20261
144.72/72.76	c flip 0 nbSat=19050 maxSat=20261
145.32/73.03	c flip 10000 nbSat=19917 maxSat=20261
145.72/73.27	c flip 20000 nbSat=20037 maxSat=20261
146.32/73.52	c flip 30000 nbSat=20115 maxSat=20261
146.72/73.77	c flip 40000 nbSat=20135 maxSat=20261
147.11/73.99	c flip 50000 nbSat=20160 maxSat=20261
147.71/74.22	c flip 60000 nbSat=20159 maxSat=20261
147.71/74.26	c flip 0 nbSat=18973 maxSat=20261
148.31/74.53	c flip 10000 nbSat=19891 maxSat=20261
148.72/74.76	c flip 20000 nbSat=20075 maxSat=20261
149.31/75.00	c flip 30000 nbSat=20101 maxSat=20261
149.71/75.24	c flip 40000 nbSat=20048 maxSat=20261
150.11/75.48	c flip 50000 nbSat=20077 maxSat=20261
150.71/75.72	c flip 60000 nbSat=20120 maxSat=20261
150.71/75.76	c flip 0 nbSat=19044 maxSat=20261
151.30/76.03	c flip 10000 nbSat=19917 maxSat=20261
151.70/76.27	c flip 20000 nbSat=20088 maxSat=20261
152.30/76.52	c flip 30000 nbSat=20070 maxSat=20261
152.70/76.76	c flip 40000 nbSat=20152 maxSat=20261
153.10/76.99	c flip 50000 nbSat=20129 maxSat=20261
153.70/77.23	c flip 60000 nbSat=20163 maxSat=20261
153.70/77.27	c flip 0 nbSat=19006 maxSat=20261
154.30/77.54	c flip 10000 nbSat=19948 maxSat=20261
154.70/77.79	c flip 20000 nbSat=20084 maxSat=20261
155.30/78.03	c flip 30000 nbSat=20131 maxSat=20261
155.69/78.26	c flip 40000 nbSat=20091 maxSat=20261
156.29/78.50	c flip 50000 nbSat=20096 maxSat=20261
156.69/78.74	c flip 60000 nbSat=20130 maxSat=20261
156.69/78.78	c flip 0 nbSat=19068 maxSat=20261
157.29/79.05	c flip 10000 nbSat=19936 maxSat=20261
157.89/79.30	c flip 20000 nbSat=20079 maxSat=20261
158.29/79.54	c flip 30000 nbSat=20128 maxSat=20261
158.69/79.78	c flip 40000 nbSat=20179 maxSat=20261
159.28/80.00	c flip 50000 nbSat=20132 maxSat=20261
159.69/80.24	c flip 60000 nbSat=20090 maxSat=20261
159.69/80.28	c flip 0 nbSat=19057 maxSat=20261
160.28/80.55	c flip 10000 nbSat=19901 maxSat=20261
160.88/80.80	c flip 20000 nbSat=19991 maxSat=20261
161.28/81.04	c flip 30000 nbSat=20069 maxSat=20261
161.68/81.28	c flip 40000 nbSat=20120 maxSat=20261
162.28/81.52	c flip 50000 nbSat=20127 maxSat=20261
162.68/81.76	c flip 60000 nbSat=20150 maxSat=20261
162.88/81.80	c flip 0 nbSat=19031 maxSat=20261
163.28/82.07	c flip 10000 nbSat=19931 maxSat=20261
163.88/82.30	c flip 20000 nbSat=20039 maxSat=20261
164.28/82.54	c flip 30000 nbSat=20071 maxSat=20261
164.87/82.80	c flip 40000 nbSat=20078 maxSat=20261
165.27/83.05	c flip 50000 nbSat=20067 maxSat=20261
165.67/83.29	c flip 60000 nbSat=20120 maxSat=20261
165.87/83.34	c flip 0 nbSat=19000 maxSat=20261
166.47/83.61	c flip 10000 nbSat=19925 maxSat=20261
166.87/83.85	c flip 20000 nbSat=20087 maxSat=20261
167.27/84.07	c flip 30000 nbSat=20181 maxSat=20261
167.86/84.30	c flip 40000 nbSat=20164 maxSat=20261
168.26/84.54	c flip 50000 nbSat=20213 maxSat=20261
168.67/84.77	c flip 60000 nbSat=20160 maxSat=20261
168.86/84.81	c flip 0 nbSat=19004 maxSat=20261
169.26/85.08	c flip 10000 nbSat=19990 maxSat=20261
169.86/85.33	c flip 20000 nbSat=20010 maxSat=20261
170.26/85.57	c flip 30000 nbSat=20127 maxSat=20261
170.86/85.81	c flip 40000 nbSat=20092 maxSat=20261
171.25/86.04	c flip 50000 nbSat=20099 maxSat=20261
171.65/86.28	c flip 60000 nbSat=20087 maxSat=20261
171.85/86.32	c flip 0 nbSat=19006 maxSat=20261
172.25/86.58	c flip 10000 nbSat=20014 maxSat=20261
172.86/86.82	c flip 20000 nbSat=20048 maxSat=20261
173.25/87.04	c flip 30000 nbSat=20139 maxSat=20261
173.65/87.28	c flip 40000 nbSat=20141 maxSat=20261
174.25/87.51	c flip 50000 nbSat=20130 maxSat=20261
174.65/87.75	c flip 60000 nbSat=20099 maxSat=20261
174.65/87.79	c flip 0 nbSat=19006 maxSat=20261
175.25/88.05	c flip 10000 nbSat=19976 maxSat=20261
175.65/88.29	c flip 20000 nbSat=20088 maxSat=20261
176.24/88.53	c flip 30000 nbSat=20138 maxSat=20261
176.64/88.76	c flip 40000 nbSat=20085 maxSat=20261
177.25/89.01	c flip 50000 nbSat=20110 maxSat=20261
177.64/89.24	c flip 60000 nbSat=20164 maxSat=20261
177.64/89.28	c flip 0 nbSat=19045 maxSat=20261
178.24/89.55	c flip 10000 nbSat=19924 maxSat=20261
178.64/89.78	c flip 20000 nbSat=20099 maxSat=20261
179.24/90.03	c flip 30000 nbSat=20096 maxSat=20261
179.64/90.26	c flip 40000 nbSat=20129 maxSat=20261
180.23/90.50	c flip 50000 nbSat=20159 maxSat=20261
180.63/90.73	c flip 60000 nbSat=20177 maxSat=20261
180.63/90.77	c flip 0 nbSat=19001 maxSat=20261
181.23/91.04	c flip 10000 nbSat=19991 maxSat=20261
181.64/91.28	c flip 20000 nbSat=20085 maxSat=20261
182.23/91.50	c flip 30000 nbSat=20177 maxSat=20261
182.63/91.73	c flip 40000 nbSat=20112 maxSat=20261
183.03/91.97	c flip 50000 nbSat=20170 maxSat=20261
183.63/92.21	c flip 60000 nbSat=20127 maxSat=20261
183.63/92.25	c flip 0 nbSat=19002 maxSat=20261
184.22/92.51	c flip 10000 nbSat=19963 maxSat=20261
184.62/92.76	c flip 20000 nbSat=20104 maxSat=20261
185.02/93.00	c flip 30000 nbSat=20143 maxSat=20261
185.62/93.23	c flip 40000 nbSat=20088 maxSat=20261
186.02/93.47	c flip 50000 nbSat=20099 maxSat=20261
186.62/93.70	c flip 60000 nbSat=20184 maxSat=20261
186.62/93.74	c flip 0 nbSat=19027 maxSat=20261
187.22/94.01	c flip 10000 nbSat=19959 maxSat=20261
187.62/94.26	c flip 20000 nbSat=20042 maxSat=20261
188.02/94.50	c flip 30000 nbSat=20151 maxSat=20261
188.61/94.73	c flip 40000 nbSat=20147 maxSat=20261
189.01/94.96	c flip 50000 nbSat=20121 maxSat=20261
189.61/95.20	c flip 60000 nbSat=20127 maxSat=20261
189.61/95.24	c flip 0 nbSat=18956 maxSat=20261
190.21/95.51	c flip 10000 nbSat=19844 maxSat=20261
190.62/95.76	c flip 20000 nbSat=20065 maxSat=20261
191.21/96.01	c flip 30000 nbSat=20050 maxSat=20261
191.61/96.25	c flip 40000 nbSat=20090 maxSat=20261
192.21/96.50	c flip 50000 nbSat=20105 maxSat=20261
192.61/96.74	c flip 60000 nbSat=20134 maxSat=20261
192.61/96.78	c flip 0 nbSat=19006 maxSat=20261
193.20/97.05	c flip 10000 nbSat=19944 maxSat=20261
193.60/97.30	c flip 20000 nbSat=20076 maxSat=20261
194.20/97.54	c flip 30000 nbSat=20114 maxSat=20261
194.60/97.77	c flip 40000 nbSat=20160 maxSat=20261
195.20/98.01	c flip 50000 nbSat=20133 maxSat=20261
195.60/98.24	c flip 60000 nbSat=20161 maxSat=20261
195.60/98.28	c flip 0 nbSat=19047 maxSat=20261
196.20/98.55	c flip 10000 nbSat=19896 maxSat=20261
196.60/98.80	c flip 20000 nbSat=20052 maxSat=20261
197.20/99.03	c flip 30000 nbSat=20105 maxSat=20261
197.59/99.27	c flip 40000 nbSat=20120 maxSat=20261
198.19/99.51	c flip 50000 nbSat=20073 maxSat=20261
198.59/99.75	c flip 60000 nbSat=20159 maxSat=20261
198.59/99.79	c flip 0 nbSat=19041 maxSat=20261
199.20/100.06	c flip 10000 nbSat=19956 maxSat=20261
199.79/100.31	c flip 20000 nbSat=20056 maxSat=20261
200.19/100.55	c flip 30000 nbSat=20036 maxSat=20261
200.59/100.79	c flip 40000 nbSat=20126 maxSat=20261
201.19/101.02	c flip 50000 nbSat=20120 maxSat=20261
201.59/101.27	c flip 60000 nbSat=20105 maxSat=20261
201.78/101.31	c flip 0 nbSat=19062 maxSat=20261
202.18/101.57	c flip 10000 nbSat=19967 maxSat=20261
202.78/101.83	c flip 20000 nbSat=20062 maxSat=20261
203.18/102.07	c flip 30000 nbSat=20104 maxSat=20261
203.79/102.31	c flip 40000 nbSat=20129 maxSat=20261
204.18/102.56	c flip 50000 nbSat=20089 maxSat=20261
204.58/102.79	c flip 60000 nbSat=20185 maxSat=20261
204.78/102.84	c flip 0 nbSat=19042 maxSat=20261
205.38/103.11	c flip 10000 nbSat=19896 maxSat=20261
205.78/103.35	c flip 20000 nbSat=20049 maxSat=20261
206.17/103.59	c flip 30000 nbSat=20108 maxSat=20261
206.77/103.83	c flip 40000 nbSat=20038 maxSat=20261
207.17/104.07	c flip 50000 nbSat=20139 maxSat=20261
207.57/104.30	c flip 60000 nbSat=20111 maxSat=20261
207.77/104.34	c flip 0 nbSat=19021 maxSat=20261
208.37/104.61	c flip 10000 nbSat=19923 maxSat=20261
208.77/104.85	c flip 20000 nbSat=20111 maxSat=20261
209.37/105.10	c flip 30000 nbSat=20119 maxSat=20261
209.77/105.34	c flip 40000 nbSat=20170 maxSat=20261
210.17/105.56	c flip 50000 nbSat=20230 maxSat=20267
210.56/105.79	c flip 60000 nbSat=20155 maxSat=20267
210.76/105.83	c flip 0 nbSat=19046 maxSat=20267
211.36/106.10	c flip 10000 nbSat=19928 maxSat=20267
211.76/106.35	c flip 20000 nbSat=20046 maxSat=20267
212.16/106.58	c flip 30000 nbSat=20184 maxSat=20267
212.76/106.82	c flip 40000 nbSat=20137 maxSat=20267
213.16/107.05	c flip 50000 nbSat=20152 maxSat=20267
213.56/107.28	c flip 60000 nbSat=20218 maxSat=20267
213.76/107.32	c flip 0 nbSat=19043 maxSat=20267
214.16/107.58	c flip 10000 nbSat=19897 maxSat=20267
214.76/107.83	c flip 20000 nbSat=20015 maxSat=20267
215.14/108.06	c flip 30000 nbSat=20105 maxSat=20267
215.74/108.30	c flip 40000 nbSat=20130 maxSat=20267
216.14/108.54	c flip 50000 nbSat=20148 maxSat=20267
216.54/108.77	c flip 60000 nbSat=20134 maxSat=20267
216.75/108.81	c flip 0 nbSat=18993 maxSat=20267
217.13/109.08	c flip 10000 nbSat=19906 maxSat=20267
217.73/109.32	c flip 20000 nbSat=20075 maxSat=20267
218.13/109.56	c flip 30000 nbSat=20127 maxSat=20267
218.53/109.80	c flip 40000 nbSat=20151 maxSat=20267
219.13/110.04	c flip 50000 nbSat=20115 maxSat=20267
219.53/110.27	c flip 60000 nbSat=20154 maxSat=20267
219.72/110.31	c flip 0 nbSat=19023 maxSat=20267
220.12/110.58	c flip 10000 nbSat=19901 maxSat=20267
220.72/110.81	c flip 20000 nbSat=20081 maxSat=20267
221.13/111.05	c flip 30000 nbSat=20141 maxSat=20267
221.52/111.29	c flip 40000 nbSat=20144 maxSat=20267
222.12/111.53	c flip 50000 nbSat=20146 maxSat=20267
222.52/111.76	c flip 60000 nbSat=20105 maxSat=20267
222.72/111.80	c flip 0 nbSat=18963 maxSat=20267
223.12/112.07	c flip 10000 nbSat=19958 maxSat=20267
223.71/112.32	c flip 20000 nbSat=20085 maxSat=20267
224.11/112.55	c flip 30000 nbSat=20105 maxSat=20267
224.51/112.79	c flip 40000 nbSat=20188 maxSat=20267
225.11/113.02	c flip 50000 nbSat=20150 maxSat=20267
225.52/113.26	c flip 60000 nbSat=20094 maxSat=20267
225.72/113.31	c flip 0 nbSat=19017 maxSat=20267
226.11/113.58	c flip 10000 nbSat=19921 maxSat=20267
226.71/113.82	c flip 20000 nbSat=20061 maxSat=20267
227.11/114.07	c flip 30000 nbSat=20106 maxSat=20267
227.71/114.30	c flip 40000 nbSat=20087 maxSat=20267
228.10/114.54	c flip 50000 nbSat=20096 maxSat=20267
228.50/114.78	c flip 60000 nbSat=20144 maxSat=20267
228.70/114.83	c flip 0 nbSat=19028 maxSat=20267
229.10/115.09	c flip 10000 nbSat=19940 maxSat=20267
229.70/115.34	c flip 20000 nbSat=20021 maxSat=20267
230.11/115.58	c flip 30000 nbSat=20111 maxSat=20267
230.71/115.83	c flip 40000 nbSat=20148 maxSat=20267
231.11/116.06	c flip 50000 nbSat=20107 maxSat=20267
231.51/116.30	c flip 60000 nbSat=20154 maxSat=20267
231.71/116.34	c flip 0 nbSat=19020 maxSat=20267
232.31/116.60	c flip 10000 nbSat=19965 maxSat=20267
232.70/116.84	c flip 20000 nbSat=20100 maxSat=20267
233.10/117.08	c flip 30000 nbSat=20122 maxSat=20267
233.70/117.31	c flip 40000 nbSat=20100 maxSat=20267
234.10/117.55	c flip 50000 nbSat=20102 maxSat=20267
234.51/117.78	c flip 60000 nbSat=20137 maxSat=20267
234.70/117.82	c flip 0 nbSat=18975 maxSat=20267
235.10/118.10	c flip 10000 nbSat=19848 maxSat=20267
235.70/118.34	c flip 20000 nbSat=20076 maxSat=20267
236.10/118.59	c flip 30000 nbSat=20157 maxSat=20267
236.70/118.82	c flip 40000 nbSat=20129 maxSat=20267
237.09/119.06	c flip 50000 nbSat=20164 maxSat=20267
237.69/119.30	c flip 60000 nbSat=20194 maxSat=20267
237.69/119.34	c flip 0 nbSat=19058 maxSat=20267
238.29/119.61	c flip 10000 nbSat=19939 maxSat=20267
238.69/119.85	c flip 20000 nbSat=20095 maxSat=20267
239.09/120.10	c flip 30000 nbSat=20085 maxSat=20267
239.69/120.34	c flip 40000 nbSat=20128 maxSat=20267
240.09/120.58	c flip 50000 nbSat=20109 maxSat=20267
240.69/120.82	c flip 60000 nbSat=20104 maxSat=20267
240.69/120.86	c flip 0 nbSat=18986 maxSat=20267
241.28/121.13	c flip 10000 nbSat=19992 maxSat=20267
241.68/121.37	c flip 20000 nbSat=20078 maxSat=20267
242.28/121.61	c flip 30000 nbSat=20058 maxSat=20267
242.68/121.85	c flip 40000 nbSat=20081 maxSat=20267
243.09/122.10	c flip 50000 nbSat=20096 maxSat=20267
243.68/122.33	c flip 60000 nbSat=20160 maxSat=20267
243.68/122.37	c flip 0 nbSat=18942 maxSat=20267
244.28/122.64	c flip 10000 nbSat=19945 maxSat=20267
244.67/122.87	c flip 20000 nbSat=20056 maxSat=20267
245.28/123.11	c flip 30000 nbSat=20091 maxSat=20267
245.67/123.34	c flip 40000 nbSat=20077 maxSat=20267
246.07/123.59	c flip 50000 nbSat=20134 maxSat=20267
246.67/123.83	c flip 60000 nbSat=20131 maxSat=20267
246.67/123.87	c flip 0 nbSat=18968 maxSat=20267
247.27/124.14	c flip 10000 nbSat=19901 maxSat=20267
247.67/124.37	c flip 20000 nbSat=20088 maxSat=20267
248.27/124.61	c flip 30000 nbSat=20014 maxSat=20267
248.67/124.85	c flip 40000 nbSat=20075 maxSat=20267
249.07/125.09	c flip 50000 nbSat=20095 maxSat=20267
249.67/125.34	c flip 60000 nbSat=20113 maxSat=20267
249.67/125.38	c flip 0 nbSat=18993 maxSat=20267
250.26/125.65	c flip 10000 nbSat=19935 maxSat=20267
250.66/125.89	c flip 20000 nbSat=20077 maxSat=20267
251.26/126.12	c flip 30000 nbSat=20111 maxSat=20267
251.66/126.36	c flip 40000 nbSat=20184 maxSat=20267
252.07/126.59	c flip 50000 nbSat=20121 maxSat=20267
252.66/126.84	c flip 60000 nbSat=20100 maxSat=20267
252.66/126.88	c flip 0 nbSat=19053 maxSat=20267
253.26/127.15	c flip 10000 nbSat=19915 maxSat=20267
253.66/127.40	c flip 20000 nbSat=20117 maxSat=20267
254.26/127.64	c flip 30000 nbSat=20119 maxSat=20267
254.65/127.87	c flip 40000 nbSat=20157 maxSat=20267
255.25/128.10	c flip 50000 nbSat=20120 maxSat=20267
255.65/128.33	c flip 60000 nbSat=20154 maxSat=20267
255.65/128.37	c flip 0 nbSat=18973 maxSat=20267
256.26/128.63	c flip 10000 nbSat=19914 maxSat=20267
256.65/128.87	c flip 20000 nbSat=20051 maxSat=20267
257.25/129.11	c flip 30000 nbSat=20071 maxSat=20267
257.65/129.34	c flip 40000 nbSat=20082 maxSat=20267
258.05/129.57	c flip 50000 nbSat=20142 maxSat=20267
258.45/129.80	c flip 60000 nbSat=20146 maxSat=20267
258.65/129.84	c flip 0 nbSat=19009 maxSat=20267
259.24/130.11	c flip 10000 nbSat=19941 maxSat=20267
259.64/130.35	c flip 20000 nbSat=20130 maxSat=20267
260.04/130.58	c flip 30000 nbSat=20140 maxSat=20267
260.65/130.82	c flip 40000 nbSat=20108 maxSat=20267
261.04/131.06	c flip 50000 nbSat=20103 maxSat=20267
261.64/131.30	c flip 60000 nbSat=20111 maxSat=20267
261.64/131.34	c flip 0 nbSat=19015 maxSat=20267
262.24/131.60	c flip 10000 nbSat=19928 maxSat=20267
262.64/131.85	c flip 20000 nbSat=20065 maxSat=20267
263.04/132.09	c flip 30000 nbSat=20108 maxSat=20267
263.63/132.33	c flip 40000 nbSat=20133 maxSat=20267
264.03/132.57	c flip 50000 nbSat=20170 maxSat=20267
264.63/132.81	c flip 60000 nbSat=20149 maxSat=20267
264.63/132.85	c flip 0 nbSat=18990 maxSat=20267
265.24/133.11	c flip 10000 nbSat=19944 maxSat=20267
265.63/133.37	c flip 20000 nbSat=20078 maxSat=20267
266.23/133.61	c flip 30000 nbSat=20197 maxSat=20267
266.63/133.84	c flip 40000 nbSat=20136 maxSat=20267
267.03/134.07	c flip 50000 nbSat=20201 maxSat=20267
267.62/134.30	c flip 60000 nbSat=20212 maxSat=20267
267.62/134.34	c flip 0 nbSat=18951 maxSat=20267
268.22/134.61	c flip 10000 nbSat=19931 maxSat=20267
268.62/134.86	c flip 20000 nbSat=20033 maxSat=20267
269.02/135.09	c flip 30000 nbSat=20148 maxSat=20267
269.63/135.32	c flip 40000 nbSat=20136 maxSat=20267
270.02/135.55	c flip 50000 nbSat=20137 maxSat=20267
270.42/135.79	c flip 60000 nbSat=20152 maxSat=20267
270.62/135.83	c flip 0 nbSat=19008 maxSat=20267
271.22/136.11	c flip 10000 nbSat=19955 maxSat=20267
271.62/136.35	c flip 20000 nbSat=20079 maxSat=20267
272.01/136.59	c flip 30000 nbSat=20122 maxSat=20267
272.61/136.83	c flip 40000 nbSat=20166 maxSat=20267
273.01/137.07	c flip 50000 nbSat=20182 maxSat=20267
273.61/137.30	c flip 60000 nbSat=20177 maxSat=20267
273.61/137.34	c flip 0 nbSat=19005 maxSat=20267
274.21/137.61	c flip 10000 nbSat=19916 maxSat=20267
274.61/137.85	c flip 20000 nbSat=20055 maxSat=20267
275.01/138.09	c flip 30000 nbSat=20114 maxSat=20267
275.61/138.33	c flip 40000 nbSat=20183 maxSat=20267
276.01/138.57	c flip 50000 nbSat=20122 maxSat=20267
276.61/138.81	c flip 60000 nbSat=20166 maxSat=20267
276.61/138.85	c flip 0 nbSat=18995 maxSat=20267
277.21/139.12	c flip 10000 nbSat=19891 maxSat=20267
277.60/139.36	c flip 20000 nbSat=20026 maxSat=20267
278.00/139.60	c flip 30000 nbSat=20113 maxSat=20267
278.60/139.83	c flip 40000 nbSat=20143 maxSat=20267
279.00/140.07	c flip 50000 nbSat=20148 maxSat=20267
279.60/140.31	c flip 60000 nbSat=20156 maxSat=20267
279.60/140.35	c flip 0 nbSat=19061 maxSat=20267
280.20/140.61	c flip 10000 nbSat=19995 maxSat=20267
280.60/140.86	c flip 20000 nbSat=20064 maxSat=20267
281.19/141.10	c flip 30000 nbSat=20146 maxSat=20267
281.59/141.35	c flip 40000 nbSat=20129 maxSat=20267
281.99/141.59	c flip 50000 nbSat=20139 maxSat=20267
282.60/141.83	c flip 60000 nbSat=20151 maxSat=20267
282.60/141.87	c flip 0 nbSat=18994 maxSat=20267
283.19/142.13	c flip 10000 nbSat=19954 maxSat=20267
283.59/142.38	c flip 20000 nbSat=20035 maxSat=20267
284.19/142.63	c flip 30000 nbSat=20112 maxSat=20267
284.59/142.87	c flip 40000 nbSat=20111 maxSat=20267
285.18/143.11	c flip 50000 nbSat=20117 maxSat=20267
285.58/143.35	c flip 60000 nbSat=20142 maxSat=20267
285.58/143.38	c flip 0 nbSat=19032 maxSat=20267
286.18/143.65	c flip 10000 nbSat=19918 maxSat=20267
286.78/143.90	c flip 20000 nbSat=20035 maxSat=20267
287.19/144.13	c flip 30000 nbSat=20128 maxSat=20267
287.58/144.36	c flip 40000 nbSat=20098 maxSat=20267
288.18/144.60	c flip 50000 nbSat=20103 maxSat=20267
288.58/144.86	c flip 60000 nbSat=20037 maxSat=20267
288.78/144.90	c flip 0 nbSat=18998 maxSat=20267
289.18/145.17	c flip 10000 nbSat=19942 maxSat=20267
289.78/145.41	c flip 20000 nbSat=20101 maxSat=20267
290.18/145.66	c flip 30000 nbSat=20092 maxSat=20267
290.78/145.90	c flip 40000 nbSat=20117 maxSat=20267
291.18/146.13	c flip 50000 nbSat=20147 maxSat=20267
291.58/146.36	c flip 60000 nbSat=20151 maxSat=20267
291.77/146.40	c flip 0 nbSat=19018 maxSat=20267
292.17/146.66	c flip 10000 nbSat=19941 maxSat=20267
292.77/146.91	c flip 20000 nbSat=20040 maxSat=20267
293.17/147.13	c flip 30000 nbSat=20141 maxSat=20267
293.58/147.37	c flip 40000 nbSat=20130 maxSat=20267
293.97/147.59	c flip 50000 nbSat=20111 maxSat=20267
294.57/147.82	c flip 60000 nbSat=20161 maxSat=20267
294.57/147.86	c flip 0 nbSat=19002 maxSat=20267
295.17/148.12	c flip 10000 nbSat=19953 maxSat=20267
295.56/148.36	c flip 20000 nbSat=20026 maxSat=20267
295.97/148.59	c flip 30000 nbSat=20127 maxSat=20267
296.56/148.83	c flip 40000 nbSat=20122 maxSat=20267
296.96/149.05	c flip 50000 nbSat=20105 maxSat=20267
297.36/149.29	c flip 60000 nbSat=20081 maxSat=20267
297.56/149.33	c flip 0 nbSat=19094 maxSat=20267
297.96/149.59	c flip 10000 nbSat=19960 maxSat=20267
298.55/149.84	c flip 20000 nbSat=20102 maxSat=20267
298.95/150.08	c flip 30000 nbSat=20064 maxSat=20267
299.55/150.32	c flip 40000 nbSat=20075 maxSat=20267
299.95/150.56	c flip 50000 nbSat=20160 maxSat=20267
300.36/150.79	c flip 60000 nbSat=20119 maxSat=20267
300.55/150.83	c flip 0 nbSat=18968 maxSat=20267
300.95/151.09	c flip 10000 nbSat=19905 maxSat=20267
301.55/151.32	c flip 20000 nbSat=20091 maxSat=20267
301.95/151.55	c flip 30000 nbSat=20136 maxSat=20267
302.35/151.78	c flip 40000 nbSat=20149 maxSat=20267
302.94/152.01	c flip 50000 nbSat=20115 maxSat=20267
303.34/152.25	c flip 60000 nbSat=20140 maxSat=20267
303.34/152.30	c flip 0 nbSat=18973 maxSat=20267
303.94/152.56	c flip 10000 nbSat=19939 maxSat=20267
304.54/152.81	c flip 20000 nbSat=20026 maxSat=20267
304.93/153.05	c flip 30000 nbSat=20104 maxSat=20267
305.33/153.28	c flip 40000 nbSat=20189 maxSat=20267
305.93/153.52	c flip 50000 nbSat=20172 maxSat=20267
306.33/153.74	c flip 60000 nbSat=20216 maxSat=20267
306.33/153.78	c flip 0 nbSat=18988 maxSat=20267
306.93/154.05	c flip 10000 nbSat=19889 maxSat=20267
307.33/154.30	c flip 20000 nbSat=20086 maxSat=20267
307.93/154.54	c flip 30000 nbSat=20064 maxSat=20267
308.33/154.77	c flip 40000 nbSat=20130 maxSat=20267
308.92/155.01	c flip 50000 nbSat=20128 maxSat=20267
309.31/155.24	c flip 60000 nbSat=20134 maxSat=20267
309.31/155.28	c flip 0 nbSat=19048 maxSat=20267
309.91/155.55	c flip 10000 nbSat=19964 maxSat=20267
310.32/155.79	c flip 20000 nbSat=20037 maxSat=20267
310.92/156.03	c flip 30000 nbSat=20160 maxSat=20267
311.32/156.26	c flip 40000 nbSat=20156 maxSat=20267
311.71/156.49	c flip 50000 nbSat=20168 maxSat=20267
312.31/156.73	c flip 60000 nbSat=20141 maxSat=20267
312.31/156.77	c flip 0 nbSat=19053 maxSat=20267
312.91/157.04	c flip 10000 nbSat=19956 maxSat=20267
313.31/157.29	c flip 20000 nbSat=20072 maxSat=20267
313.90/157.52	c flip 30000 nbSat=20109 maxSat=20267
314.30/157.75	c flip 40000 nbSat=20179 maxSat=20267
314.70/158.00	c flip 50000 nbSat=20152 maxSat=20267
315.30/158.24	c flip 60000 nbSat=20148 maxSat=20267
315.30/158.27	c flip 0 nbSat=19070 maxSat=20267
315.90/158.55	c flip 10000 nbSat=19872 maxSat=20267
316.30/158.79	c flip 20000 nbSat=20009 maxSat=20267
316.90/159.04	c flip 30000 nbSat=20086 maxSat=20267
317.30/159.28	c flip 40000 nbSat=20111 maxSat=20267
317.90/159.52	c flip 50000 nbSat=20113 maxSat=20267
318.29/159.76	c flip 60000 nbSat=20184 maxSat=20267
318.49/159.80	c flip 0 nbSat=19030 maxSat=20267
318.89/160.07	c flip 10000 nbSat=19948 maxSat=20267
319.49/160.31	c flip 20000 nbSat=20076 maxSat=20267
319.90/160.55	c flip 30000 nbSat=20121 maxSat=20267
320.49/160.80	c flip 40000 nbSat=20116 maxSat=20267
320.89/161.05	c flip 50000 nbSat=20166 maxSat=20267
321.29/161.29	c flip 60000 nbSat=20089 maxSat=20267
321.49/161.33	c flip 0 nbSat=19117 maxSat=20267
322.09/161.60	c flip 10000 nbSat=19917 maxSat=20267
322.48/161.86	c flip 20000 nbSat=19995 maxSat=20267
322.88/162.09	c flip 30000 nbSat=20104 maxSat=20267
323.48/162.32	c flip 40000 nbSat=20144 maxSat=20267
323.88/162.57	c flip 50000 nbSat=20074 maxSat=20267
324.49/162.82	c flip 60000 nbSat=20075 maxSat=20267
324.49/162.86	c flip 0 nbSat=19007 maxSat=20267
325.08/163.14	c flip 10000 nbSat=19952 maxSat=20267
325.48/163.38	c flip 20000 nbSat=20023 maxSat=20267
326.08/163.63	c flip 30000 nbSat=20053 maxSat=20267
326.48/163.86	c flip 40000 nbSat=20077 maxSat=20267
326.88/164.10	c flip 50000 nbSat=20081 maxSat=20267
327.48/164.33	c flip 60000 nbSat=20112 maxSat=20267
327.48/164.37	c flip 0 nbSat=19016 maxSat=20267
328.08/164.64	c flip 10000 nbSat=20007 maxSat=20267
328.48/164.89	c flip 20000 nbSat=20081 maxSat=20267
329.07/165.13	c flip 30000 nbSat=20103 maxSat=20267
329.47/165.37	c flip 40000 nbSat=20067 maxSat=20267
330.07/165.61	c flip 50000 nbSat=20113 maxSat=20267
330.47/165.85	c flip 60000 nbSat=20081 maxSat=20267
330.47/165.89	c flip 0 nbSat=19035 maxSat=20267
331.07/166.15	c flip 10000 nbSat=19980 maxSat=20267
331.46/166.38	c flip 20000 nbSat=20052 maxSat=20267
332.06/166.62	c flip 30000 nbSat=20129 maxSat=20267
332.46/166.86	c flip 40000 nbSat=20100 maxSat=20267
332.86/167.10	c flip 50000 nbSat=20180 maxSat=20267
333.46/167.34	c flip 60000 nbSat=20127 maxSat=20267
333.46/167.38	c flip 0 nbSat=18983 maxSat=20267
334.06/167.65	c flip 10000 nbSat=19889 maxSat=20267
334.66/167.90	c flip 20000 nbSat=20069 maxSat=20267
335.06/168.14	c flip 30000 nbSat=20111 maxSat=20267
335.46/168.37	c flip 40000 nbSat=20197 maxSat=20267
336.05/168.60	c flip 50000 nbSat=20128 maxSat=20267
336.45/168.85	c flip 60000 nbSat=20120 maxSat=20267
336.45/168.90	c flip 0 nbSat=18980 maxSat=20267
337.05/169.16	c flip 10000 nbSat=19957 maxSat=20267
337.46/169.40	c flip 20000 nbSat=20133 maxSat=20267
338.05/169.63	c flip 30000 nbSat=20171 maxSat=20267
338.45/169.86	c flip 40000 nbSat=20120 maxSat=20267
338.85/170.09	c flip 50000 nbSat=20174 maxSat=20267
339.45/170.33	c flip 60000 nbSat=20143 maxSat=20267
339.45/170.37	c flip 0 nbSat=19039 maxSat=20267
340.04/170.64	c flip 10000 nbSat=19989 maxSat=20267
340.44/170.88	c flip 20000 nbSat=20121 maxSat=20267
341.04/171.12	c flip 30000 nbSat=20124 maxSat=20267
341.44/171.36	c flip 40000 nbSat=20180 maxSat=20267
342.05/171.61	c flip 50000 nbSat=20160 maxSat=20267
342.44/171.85	c flip 60000 nbSat=20174 maxSat=20267
342.44/171.90	c flip 0 nbSat=19036 maxSat=20267
343.04/172.16	c flip 10000 nbSat=19899 maxSat=20267
343.64/172.42	c flip 20000 nbSat=20089 maxSat=20267
344.04/172.65	c flip 30000 nbSat=20126 maxSat=20267
344.44/172.88	c flip 40000 nbSat=20181 maxSat=20267
345.04/173.11	c flip 50000 nbSat=20137 maxSat=20267
345.44/173.34	c flip 60000 nbSat=20130 maxSat=20267
345.44/173.38	c flip 0 nbSat=18988 maxSat=20267
346.04/173.64	c flip 10000 nbSat=19940 maxSat=20267
346.44/173.89	c flip 20000 nbSat=20073 maxSat=20267
347.03/174.12	c flip 30000 nbSat=20136 maxSat=20267
347.43/174.38	c flip 40000 nbSat=20087 maxSat=20267
348.03/174.62	c flip 50000 nbSat=20125 maxSat=20267
348.43/174.85	c flip 60000 nbSat=20151 maxSat=20267
348.43/174.90	c flip 0 nbSat=18984 maxSat=20267
349.02/175.16	c flip 10000 nbSat=19936 maxSat=20267
349.42/175.39	c flip 20000 nbSat=20033 maxSat=20267
350.02/175.61	c flip 30000 nbSat=20117 maxSat=20267
350.42/175.84	c flip 40000 nbSat=20134 maxSat=20267
350.83/176.08	c flip 50000 nbSat=20083 maxSat=20267
351.42/176.31	c flip 60000 nbSat=20113 maxSat=20267
351.42/176.35	c flip 0 nbSat=19012 maxSat=20267
352.02/176.61	c flip 10000 nbSat=20003 maxSat=20267
352.42/176.84	c flip 20000 nbSat=20124 maxSat=20267
352.82/177.08	c flip 30000 nbSat=20114 maxSat=20267
353.41/177.32	c flip 40000 nbSat=20161 maxSat=20267
353.81/177.55	c flip 50000 nbSat=20163 maxSat=20267
354.21/177.79	c flip 60000 nbSat=20158 maxSat=20267
354.41/177.82	c flip 0 nbSat=19003 maxSat=20267
354.81/178.09	c flip 10000 nbSat=19942 maxSat=20267
355.41/178.35	c flip 20000 nbSat=20084 maxSat=20267
355.81/178.59	c flip 30000 nbSat=20118 maxSat=20267
356.41/178.83	c flip 40000 nbSat=20155 maxSat=20267
356.81/179.07	c flip 50000 nbSat=20143 maxSat=20267
357.41/179.31	c flip 60000 nbSat=20156 maxSat=20267
357.41/179.35	c flip 0 nbSat=19024 maxSat=20267
358.00/179.61	c flip 10000 nbSat=19964 maxSat=20267
358.40/179.86	c flip 20000 nbSat=20073 maxSat=20267
359.00/180.11	c flip 30000 nbSat=20152 maxSat=20267
359.40/180.35	c flip 40000 nbSat=20110 maxSat=20267
359.80/180.59	c flip 50000 nbSat=20085 maxSat=20267
360.40/180.83	c flip 60000 nbSat=20176 maxSat=20267
360.40/180.87	c flip 0 nbSat=18955 maxSat=20267
361.00/181.13	c flip 10000 nbSat=19890 maxSat=20267
361.40/181.38	c flip 20000 nbSat=20039 maxSat=20267
361.99/181.62	c flip 30000 nbSat=20101 maxSat=20267
362.39/181.86	c flip 40000 nbSat=20126 maxSat=20267
362.99/182.10	c flip 50000 nbSat=20128 maxSat=20267
363.39/182.34	c flip 60000 nbSat=20193 maxSat=20267
363.39/182.38	c flip 0 nbSat=19052 maxSat=20267
363.99/182.65	c flip 10000 nbSat=19977 maxSat=20267
364.39/182.89	c flip 20000 nbSat=20053 maxSat=20267
364.99/183.13	c flip 30000 nbSat=20100 maxSat=20267
365.39/183.37	c flip 40000 nbSat=20085 maxSat=20267
365.99/183.61	c flip 50000 nbSat=20156 maxSat=20267
366.38/183.86	c flip 60000 nbSat=20110 maxSat=20267
366.38/183.90	c flip 0 nbSat=18984 maxSat=20267
366.98/184.17	c flip 10000 nbSat=19985 maxSat=20267
367.58/184.41	c flip 20000 nbSat=20086 maxSat=20267
367.98/184.64	c flip 30000 nbSat=20080 maxSat=20267
368.38/184.89	c flip 40000 nbSat=20064 maxSat=20267
368.97/185.13	c flip 50000 nbSat=20107 maxSat=20267
369.37/185.37	c flip 60000 nbSat=20135 maxSat=20267
369.57/185.41	c flip 0 nbSat=19042 maxSat=20267
369.97/185.68	c flip 10000 nbSat=19923 maxSat=20267
370.58/185.92	c flip 20000 nbSat=20081 maxSat=20267
370.97/186.17	c flip 30000 nbSat=20086 maxSat=20267
371.57/186.40	c flip 40000 nbSat=20117 maxSat=20267
371.97/186.62	c flip 50000 nbSat=20157 maxSat=20267
372.37/186.85	c flip 60000 nbSat=20125 maxSat=20267
372.37/186.89	c flip 0 nbSat=19026 maxSat=20267
372.96/187.16	c flip 10000 nbSat=19880 maxSat=20267
373.56/187.40	c flip 20000 nbSat=20080 maxSat=20267
373.96/187.64	c flip 30000 nbSat=20130 maxSat=20267
374.36/187.87	c flip 40000 nbSat=20115 maxSat=20267
374.77/188.10	c flip 50000 nbSat=20151 maxSat=20267
375.36/188.33	c flip 60000 nbSat=20102 maxSat=20267
375.36/188.37	c flip 0 nbSat=18960 maxSat=20267
375.96/188.63	c flip 10000 nbSat=19893 maxSat=20267
376.36/188.87	c flip 20000 nbSat=20014 maxSat=20267
376.96/189.10	c flip 30000 nbSat=20114 maxSat=20267
377.35/189.34	c flip 40000 nbSat=20145 maxSat=20267
377.75/189.56	c flip 50000 nbSat=20136 maxSat=20267
378.35/189.80	c flip 60000 nbSat=20136 maxSat=20267
378.35/189.84	c flip 0 nbSat=19022 maxSat=20267
378.95/190.11	c flip 10000 nbSat=19925 maxSat=20267
379.36/190.35	c flip 20000 nbSat=20049 maxSat=20267
379.95/190.60	c flip 30000 nbSat=20091 maxSat=20267
380.35/190.84	c flip 40000 nbSat=20102 maxSat=20267
380.75/191.08	c flip 50000 nbSat=20162 maxSat=20267
381.35/191.30	c flip 60000 nbSat=20170 maxSat=20267
381.35/191.34	c flip 0 nbSat=18998 maxSat=20267
381.94/191.61	c flip 10000 nbSat=19857 maxSat=20267
382.34/191.85	c flip 20000 nbSat=20036 maxSat=20267
382.94/192.10	c flip 30000 nbSat=20104 maxSat=20267
383.34/192.34	c flip 40000 nbSat=20049 maxSat=20267
383.74/192.58	c flip 50000 nbSat=20128 maxSat=20267
384.34/192.81	c flip 60000 nbSat=20196 maxSat=20267
384.34/192.85	c flip 0 nbSat=18998 maxSat=20267
384.94/193.12	c flip 10000 nbSat=19919 maxSat=20267
385.34/193.35	c flip 20000 nbSat=20111 maxSat=20267
385.74/193.59	c flip 30000 nbSat=20144 maxSat=20267
386.33/193.82	c flip 40000 nbSat=20088 maxSat=20267
386.73/194.05	c flip 50000 nbSat=20120 maxSat=20267
387.13/194.27	c flip 60000 nbSat=20163 maxSat=20267
387.33/194.31	c flip 0 nbSat=19040 maxSat=20267
387.73/194.57	c flip 10000 nbSat=19998 maxSat=20267
388.32/194.82	c flip 20000 nbSat=20038 maxSat=20267
388.72/195.07	c flip 30000 nbSat=20053 maxSat=20267
389.32/195.31	c flip 40000 nbSat=20133 maxSat=20267
389.72/195.54	c flip 50000 nbSat=20177 maxSat=20267
390.13/195.79	c flip 60000 nbSat=20098 maxSat=20267
390.33/195.83	c flip 0 nbSat=18989 maxSat=20267
390.72/196.09	c flip 10000 nbSat=19889 maxSat=20267
391.32/196.33	c flip 20000 nbSat=20030 maxSat=20267
391.72/196.57	c flip 30000 nbSat=20147 maxSat=20267
392.12/196.80	c flip 40000 nbSat=20190 maxSat=20267
392.71/197.02	c flip 50000 nbSat=20164 maxSat=20267
393.11/197.25	c flip 60000 nbSat=20198 maxSat=20267
393.11/197.29	c flip 0 nbSat=19022 maxSat=20267
393.71/197.56	c flip 10000 nbSat=19911 maxSat=20267
394.30/197.81	c flip 20000 nbSat=20078 maxSat=20267
394.71/198.05	c flip 30000 nbSat=20089 maxSat=20267
395.30/198.30	c flip 40000 nbSat=20105 maxSat=20267
395.70/198.52	c flip 50000 nbSat=20185 maxSat=20267
396.10/198.76	c flip 60000 nbSat=20136 maxSat=20267
396.10/198.80	c flip 0 nbSat=19047 maxSat=20267
396.70/199.07	c flip 10000 nbSat=19933 maxSat=20267
397.30/199.30	c flip 20000 nbSat=20083 maxSat=20267
397.70/199.54	c flip 30000 nbSat=20106 maxSat=20267
398.10/199.78	c flip 40000 nbSat=20128 maxSat=20267
398.69/200.02	c flip 50000 nbSat=20131 maxSat=20267
399.10/200.26	c flip 60000 nbSat=20143 maxSat=20267
399.29/200.30	c flip 0 nbSat=19063 maxSat=20267
399.69/200.57	c flip 10000 nbSat=19996 maxSat=20267
400.28/200.82	c flip 20000 nbSat=20072 maxSat=20267
400.68/201.07	c flip 30000 nbSat=20103 maxSat=20267
401.29/201.32	c flip 40000 nbSat=20132 maxSat=20267
401.68/201.57	c flip 50000 nbSat=20154 maxSat=20267
402.28/201.81	c flip 60000 nbSat=20121 maxSat=20267
402.28/201.85	c flip 0 nbSat=18969 maxSat=20267
402.88/202.12	c flip 10000 nbSat=19984 maxSat=20267
403.28/202.37	c flip 20000 nbSat=20102 maxSat=20267
403.87/202.60	c flip 30000 nbSat=20156 maxSat=20267
404.27/202.85	c flip 40000 nbSat=20089 maxSat=20267
404.67/203.09	c flip 50000 nbSat=20115 maxSat=20267
405.27/203.33	c flip 60000 nbSat=20129 maxSat=20267
405.27/203.36	c flip 0 nbSat=18989 maxSat=20267
405.87/203.64	c flip 10000 nbSat=19927 maxSat=20267
406.27/203.89	c flip 20000 nbSat=20064 maxSat=20267
406.87/204.13	c flip 30000 nbSat=20094 maxSat=20267
407.27/204.36	c flip 40000 nbSat=20068 maxSat=20267
407.87/204.60	c flip 50000 nbSat=20166 maxSat=20267
408.26/204.84	c flip 60000 nbSat=20185 maxSat=20267
408.26/204.88	c flip 0 nbSat=19085 maxSat=20267
408.86/205.15	c flip 10000 nbSat=19941 maxSat=20267
409.26/205.39	c flip 20000 nbSat=20051 maxSat=20267
409.87/205.64	c flip 30000 nbSat=20061 maxSat=20267
410.26/205.88	c flip 40000 nbSat=20023 maxSat=20267
410.86/206.13	c flip 50000 nbSat=20060 maxSat=20267
411.26/206.38	c flip 60000 nbSat=20070 maxSat=20267
411.46/206.42	c flip 0 nbSat=19047 maxSat=20267
411.86/206.68	c flip 10000 nbSat=20019 maxSat=20267
412.46/206.91	c flip 20000 nbSat=20061 maxSat=20267
412.86/207.15	c flip 30000 nbSat=20124 maxSat=20267
413.26/207.38	c flip 40000 nbSat=20176 maxSat=20267
413.85/207.61	c flip 50000 nbSat=20146 maxSat=20267
414.26/207.84	c flip 60000 nbSat=20147 maxSat=20267
414.26/207.88	c flip 0 nbSat=19019 maxSat=20267
414.85/208.15	c flip 10000 nbSat=19954 maxSat=20267
415.25/208.39	c flip 20000 nbSat=20102 maxSat=20267
415.85/208.63	c flip 30000 nbSat=20095 maxSat=20267
416.25/208.87	c flip 40000 nbSat=20117 maxSat=20267
416.84/209.10	c flip 50000 nbSat=20097 maxSat=20267
417.24/209.34	c flip 60000 nbSat=20158 maxSat=20267
417.24/209.38	c flip 0 nbSat=19003 maxSat=20267
417.84/209.65	c flip 10000 nbSat=20011 maxSat=20267
418.24/209.89	c flip 20000 nbSat=20085 maxSat=20267
418.85/210.13	c flip 30000 nbSat=20135 maxSat=20267
419.24/210.36	c flip 40000 nbSat=20099 maxSat=20267
419.84/210.60	c flip 50000 nbSat=20127 maxSat=20267
420.24/210.84	c flip 60000 nbSat=20107 maxSat=20267
420.24/210.88	c flip 0 nbSat=19011 maxSat=20267
420.84/211.15	c flip 10000 nbSat=19958 maxSat=20267
421.43/211.40	c flip 20000 nbSat=20049 maxSat=20267
421.83/211.65	c flip 30000 nbSat=20135 maxSat=20267
422.23/211.90	c flip 40000 nbSat=20174 maxSat=20267
422.83/212.13	c flip 50000 nbSat=20152 maxSat=20267
423.24/212.38	c flip 60000 nbSat=20155 maxSat=20267
423.43/212.42	c flip 0 nbSat=18996 maxSat=20267
423.83/212.69	c flip 10000 nbSat=19882 maxSat=20267
424.43/212.94	c flip 20000 nbSat=20066 maxSat=20267
424.83/213.18	c flip 30000 nbSat=20085 maxSat=20267
425.43/213.42	c flip 40000 nbSat=20101 maxSat=20267
425.82/213.66	c flip 50000 nbSat=20140 maxSat=20267
426.22/213.89	c flip 60000 nbSat=20170 maxSat=20267
426.42/213.93	c flip 0 nbSat=18986 maxSat=20267
426.82/214.19	c flip 10000 nbSat=19930 maxSat=20267
427.43/214.43	c flip 20000 nbSat=20052 maxSat=20267
427.82/214.67	c flip 30000 nbSat=20091 maxSat=20267
428.42/214.91	c flip 40000 nbSat=20129 maxSat=20267
428.82/215.14	c flip 50000 nbSat=20098 maxSat=20267
429.22/215.38	c flip 60000 nbSat=20045 maxSat=20267
429.42/215.42	c flip 0 nbSat=19006 maxSat=20267
429.82/215.69	c flip 10000 nbSat=19915 maxSat=20267
430.42/215.93	c flip 20000 nbSat=20088 maxSat=20267
430.82/216.17	c flip 30000 nbSat=20068 maxSat=20267
431.42/216.41	c flip 40000 nbSat=20127 maxSat=20267
431.82/216.65	c flip 50000 nbSat=20168 maxSat=20267
432.21/216.89	c flip 60000 nbSat=20099 maxSat=20267
432.41/216.93	c flip 0 nbSat=19027 maxSat=20267
432.81/217.19	c flip 10000 nbSat=19946 maxSat=20267
433.41/217.43	c flip 20000 nbSat=19982 maxSat=20267
433.81/217.67	c flip 30000 nbSat=20139 maxSat=20267
434.40/217.90	c flip 40000 nbSat=20082 maxSat=20267
434.80/218.15	c flip 50000 nbSat=20113 maxSat=20267
435.21/218.39	c flip 60000 nbSat=20132 maxSat=20267
435.41/218.43	c flip 0 nbSat=18998 maxSat=20267
436.01/218.70	c flip 10000 nbSat=19943 maxSat=20267
436.42/218.94	c flip 20000 nbSat=20085 maxSat=20267
436.81/219.18	c flip 30000 nbSat=20164 maxSat=20267
437.41/219.41	c flip 40000 nbSat=20177 maxSat=20267
437.81/219.65	c flip 50000 nbSat=20161 maxSat=20267
438.21/219.89	c flip 60000 nbSat=20113 maxSat=20267
438.41/219.94	c flip 0 nbSat=18985 maxSat=20267
439.00/220.20	c flip 10000 nbSat=19969 maxSat=20267
439.40/220.45	c flip 20000 nbSat=20076 maxSat=20267
439.80/220.68	c flip 30000 nbSat=20187 maxSat=20267
440.40/220.92	c flip 40000 nbSat=20153 maxSat=20267
440.81/221.16	c flip 50000 nbSat=20174 maxSat=20267
441.40/221.40	c flip 60000 nbSat=20112 maxSat=20267
441.40/221.44	c flip 0 nbSat=19031 maxSat=20267
442.00/221.72	c flip 10000 nbSat=19933 maxSat=20267
442.40/221.96	c flip 20000 nbSat=20035 maxSat=20267
442.80/222.20	c flip 30000 nbSat=20120 maxSat=20267
443.39/222.43	c flip 40000 nbSat=20120 maxSat=20267
443.79/222.67	c flip 50000 nbSat=20132 maxSat=20267
444.39/222.91	c flip 60000 nbSat=20129 maxSat=20267
444.39/222.95	c flip 0 nbSat=19023 maxSat=20267
445.00/223.21	c flip 10000 nbSat=19881 maxSat=20267
445.39/223.45	c flip 20000 nbSat=20087 maxSat=20267
445.79/223.69	c flip 30000 nbSat=20104 maxSat=20267
446.39/223.92	c flip 40000 nbSat=20130 maxSat=20267
446.79/224.15	c flip 50000 nbSat=20121 maxSat=20267
447.19/224.38	c flip 60000 nbSat=20157 maxSat=20267
447.39/224.42	c flip 0 nbSat=18992 maxSat=20267
447.78/224.68	c flip 10000 nbSat=19938 maxSat=20267
448.38/224.93	c flip 20000 nbSat=20024 maxSat=20267
448.78/225.16	c flip 30000 nbSat=20115 maxSat=20267
449.18/225.39	c flip 40000 nbSat=20096 maxSat=20267
449.78/225.63	c flip 50000 nbSat=20113 maxSat=20267
450.18/225.87	c flip 60000 nbSat=20094 maxSat=20267
450.38/225.91	c flip 0 nbSat=19011 maxSat=20267
450.78/226.18	c flip 10000 nbSat=19890 maxSat=20267
451.38/226.42	c flip 20000 nbSat=20033 maxSat=20267
451.78/226.66	c flip 30000 nbSat=20100 maxSat=20267
452.37/226.90	c flip 40000 nbSat=20123 maxSat=20267
452.77/227.13	c flip 50000 nbSat=20132 maxSat=20267
453.17/227.38	c flip 60000 nbSat=20170 maxSat=20267
453.37/227.42	c flip 0 nbSat=19023 maxSat=20267
453.78/227.69	c flip 10000 nbSat=19962 maxSat=20267
454.37/227.93	c flip 20000 nbSat=20093 maxSat=20267
454.77/228.17	c flip 30000 nbSat=20092 maxSat=20267
455.37/228.41	c flip 40000 nbSat=20136 maxSat=20267
455.77/228.65	c flip 50000 nbSat=20133 maxSat=20267
456.17/228.88	c flip 60000 nbSat=20130 maxSat=20267
456.37/228.92	c flip 0 nbSat=18992 maxSat=20267
456.76/229.19	c flip 10000 nbSat=19860 maxSat=20267
457.36/229.44	c flip 20000 nbSat=20070 maxSat=20267
457.76/229.68	c flip 30000 nbSat=20069 maxSat=20267
458.37/229.92	c flip 40000 nbSat=20167 maxSat=20267
458.76/230.15	c flip 50000 nbSat=20138 maxSat=20267
459.16/230.38	c flip 60000 nbSat=20146 maxSat=20267
459.36/230.42	c flip 0 nbSat=19015 maxSat=20267
459.76/230.68	c flip 10000 nbSat=19995 maxSat=20267
460.36/230.93	c flip 20000 nbSat=20041 maxSat=20267
460.75/231.17	c flip 30000 nbSat=20057 maxSat=20267
461.35/231.41	c flip 40000 nbSat=20092 maxSat=20267
461.75/231.66	c flip 50000 nbSat=20166 maxSat=20267
462.15/231.89	c flip 60000 nbSat=20148 maxSat=20267
462.35/231.93	c flip 0 nbSat=19027 maxSat=20267
462.76/232.19	c flip 10000 nbSat=19922 maxSat=20267
463.35/232.44	c flip 20000 nbSat=20018 maxSat=20267
463.75/232.67	c flip 30000 nbSat=20147 maxSat=20267
464.35/232.90	c flip 40000 nbSat=20118 maxSat=20267
464.75/233.13	c flip 50000 nbSat=20147 maxSat=20267
465.15/233.37	c flip 60000 nbSat=20087 maxSat=20267
465.35/233.41	c flip 0 nbSat=18995 maxSat=20267
465.75/233.67	c flip 10000 nbSat=19972 maxSat=20267
466.34/233.91	c flip 20000 nbSat=20141 maxSat=20267
466.74/234.15	c flip 30000 nbSat=20150 maxSat=20267
467.15/234.37	c flip 40000 nbSat=20147 maxSat=20267
467.74/234.61	c flip 50000 nbSat=20116 maxSat=20267
468.14/234.85	c flip 60000 nbSat=20099 maxSat=20267
468.14/234.89	c flip 0 nbSat=19012 maxSat=20267
468.74/235.16	c flip 10000 nbSat=19946 maxSat=20267
469.14/235.39	c flip 20000 nbSat=20057 maxSat=20267
469.73/235.63	c flip 30000 nbSat=20085 maxSat=20267
470.13/235.87	c flip 40000 nbSat=20162 maxSat=20267
470.53/236.10	c flip 50000 nbSat=20147 maxSat=20267
471.13/236.33	c flip 60000 nbSat=20209 maxSat=20267
471.13/236.37	c flip 0 nbSat=19013 maxSat=20267
471.73/236.64	c flip 10000 nbSat=19949 maxSat=20267
472.13/236.88	c flip 20000 nbSat=20118 maxSat=20267
472.73/237.12	c flip 30000 nbSat=20121 maxSat=20267
473.13/237.37	c flip 40000 nbSat=20123 maxSat=20267
473.73/237.61	c flip 50000 nbSat=20189 maxSat=20267
474.12/237.84	c flip 60000 nbSat=20215 maxSat=20267
474.12/237.88	c flip 0 nbSat=18977 maxSat=20267
474.72/238.14	c flip 10000 nbSat=19950 maxSat=20267
475.12/238.38	c flip 20000 nbSat=20081 maxSat=20267
475.73/238.62	c flip 30000 nbSat=20058 maxSat=20267
476.12/238.84	c flip 40000 nbSat=20169 maxSat=20267
476.52/239.08	c flip 50000 nbSat=20134 maxSat=20267
477.12/239.32	c flip 60000 nbSat=20179 maxSat=20267
477.12/239.36	c flip 0 nbSat=19010 maxSat=20267
477.72/239.62	c flip 10000 nbSat=19972 maxSat=20267
478.12/239.87	c flip 20000 nbSat=20081 maxSat=20267
478.71/240.11	c flip 30000 nbSat=20154 maxSat=20267
479.11/240.35	c flip 40000 nbSat=20104 maxSat=20267
479.51/240.59	c flip 50000 nbSat=20113 maxSat=20267
480.12/240.83	c flip 60000 nbSat=20104 maxSat=20267
480.12/240.87	c flip 0 nbSat=18964 maxSat=20267
480.71/241.13	c flip 10000 nbSat=19917 maxSat=20267
481.11/241.38	c flip 20000 nbSat=20015 maxSat=20267
481.71/241.63	c flip 30000 nbSat=20073 maxSat=20267
482.11/241.87	c flip 40000 nbSat=20077 maxSat=20267
482.71/242.11	c flip 50000 nbSat=20109 maxSat=20267
483.11/242.36	c flip 60000 nbSat=20135 maxSat=20267
483.31/242.40	c flip 0 nbSat=19003 maxSat=20267
483.70/242.67	c flip 10000 nbSat=19927 maxSat=20267
484.30/242.91	c flip 20000 nbSat=20145 maxSat=20267
484.70/243.14	c flip 30000 nbSat=20139 maxSat=20267
485.09/243.38	c flip 40000 nbSat=20130 maxSat=20267
485.69/243.62	c flip 50000 nbSat=20155 maxSat=20267
486.09/243.85	c flip 60000 nbSat=20178 maxSat=20267
486.09/243.89	c flip 0 nbSat=18987 maxSat=20267
486.69/244.16	c flip 10000 nbSat=19874 maxSat=20267
487.29/244.41	c flip 20000 nbSat=20025 maxSat=20267
487.69/244.66	c flip 30000 nbSat=20096 maxSat=20267
488.09/244.90	c flip 40000 nbSat=20135 maxSat=20267
488.69/245.13	c flip 50000 nbSat=20177 maxSat=20267
489.09/245.37	c flip 60000 nbSat=20189 maxSat=20267
489.28/245.41	c flip 0 nbSat=18997 maxSat=20267
489.68/245.69	c flip 10000 nbSat=19850 maxSat=20267
490.28/245.95	c flip 20000 nbSat=20086 maxSat=20267
490.68/246.19	c flip 30000 nbSat=20148 maxSat=20267
491.29/246.42	c flip 40000 nbSat=20133 maxSat=20267
491.68/246.65	c flip 50000 nbSat=20157 maxSat=20267
492.07/246.88	c flip 60000 nbSat=20103 maxSat=20267
492.27/246.92	c flip 0 nbSat=19009 maxSat=20267
492.67/247.19	c flip 10000 nbSat=19957 maxSat=20267
493.27/247.43	c flip 20000 nbSat=20085 maxSat=20267
493.66/247.66	c flip 30000 nbSat=20172 maxSat=20267
494.06/247.90	c flip 40000 nbSat=20150 maxSat=20267
494.66/248.13	c flip 50000 nbSat=20151 maxSat=20267
495.06/248.36	c flip 60000 nbSat=20133 maxSat=20267
495.26/248.40	c flip 0 nbSat=19032 maxSat=20267
495.67/248.66	c flip 10000 nbSat=20005 maxSat=20267
496.26/248.91	c flip 20000 nbSat=20114 maxSat=20267
496.66/249.14	c flip 30000 nbSat=20093 maxSat=20267
497.06/249.38	c flip 40000 nbSat=20111 maxSat=20267
497.66/249.62	c flip 50000 nbSat=20187 maxSat=20267
498.06/249.85	c flip 60000 nbSat=20136 maxSat=20267
498.06/249.89	c flip 0 nbSat=19004 maxSat=20267
498.66/250.15	c flip 10000 nbSat=19950 maxSat=20267
499.06/250.39	c flip 20000 nbSat=20093 maxSat=20267
499.66/250.64	c flip 30000 nbSat=20124 maxSat=20267
500.06/250.86	c flip 40000 nbSat=20206 maxSat=20267
500.45/251.09	c flip 50000 nbSat=20183 maxSat=20267
501.05/251.32	c flip 60000 nbSat=20169 maxSat=20267
501.05/251.36	c flip 0 nbSat=19009 maxSat=20267
501.65/251.62	c flip 10000 nbSat=19974 maxSat=20267
502.05/251.86	c flip 20000 nbSat=20071 maxSat=20267
502.64/252.10	c flip 30000 nbSat=20101 maxSat=20267
503.04/252.34	c flip 40000 nbSat=20056 maxSat=20267
503.44/252.57	c flip 50000 nbSat=20082 maxSat=20267
504.04/252.80	c flip 60000 nbSat=20129 maxSat=20267
504.04/252.84	c flip 0 nbSat=19003 maxSat=20267
504.64/253.10	c flip 10000 nbSat=19928 maxSat=20267
505.04/253.34	c flip 20000 nbSat=20106 maxSat=20267
505.44/253.57	c flip 30000 nbSat=20103 maxSat=20267
506.04/253.81	c flip 40000 nbSat=20127 maxSat=20267
506.44/254.04	c flip 50000 nbSat=20142 maxSat=20267
506.83/254.28	c flip 60000 nbSat=20143 maxSat=20267
507.03/254.32	c flip 0 nbSat=18969 maxSat=20267
507.43/254.58	c flip 10000 nbSat=19959 maxSat=20267
508.03/254.82	c flip 20000 nbSat=20058 maxSat=20267
508.43/255.05	c flip 30000 nbSat=20129 maxSat=20267
508.83/255.29	c flip 40000 nbSat=20182 maxSat=20267
509.43/255.51	c flip 50000 nbSat=20162 maxSat=20267
509.83/255.74	c flip 60000 nbSat=20172 maxSat=20267
509.83/255.78	c flip 0 nbSat=19048 maxSat=20267
510.43/256.05	c flip 10000 nbSat=19940 maxSat=20267
510.83/256.30	c flip 20000 nbSat=20061 maxSat=20267
511.42/256.53	c flip 30000 nbSat=20074 maxSat=20267
511.82/256.77	c flip 40000 nbSat=20062 maxSat=20267
512.42/257.01	c flip 50000 nbSat=20092 maxSat=20267
512.82/257.25	c flip 60000 nbSat=20106 maxSat=20267
512.82/257.29	c flip 0 nbSat=19023 maxSat=20267
513.42/257.57	c flip 10000 nbSat=19938 maxSat=20267
514.02/257.82	c flip 20000 nbSat=20073 maxSat=20267
514.42/258.06	c flip 30000 nbSat=20078 maxSat=20267
515.02/258.30	c flip 40000 nbSat=20181 maxSat=20267
515.42/258.53	c flip 50000 nbSat=20185 maxSat=20267
515.81/258.77	c flip 60000 nbSat=20145 maxSat=20267
516.01/258.80	c flip 0 nbSat=18991 maxSat=20267
516.41/259.07	c flip 10000 nbSat=19906 maxSat=20267
517.01/259.33	c flip 20000 nbSat=20076 maxSat=20267
517.42/259.57	c flip 30000 nbSat=20107 maxSat=20267
518.01/259.81	c flip 40000 nbSat=20102 maxSat=20267
518.41/260.05	c flip 50000 nbSat=20129 maxSat=20267
518.81/260.28	c flip 60000 nbSat=20113 maxSat=20267
519.01/260.32	c flip 0 nbSat=19012 maxSat=20267
519.41/260.58	c flip 10000 nbSat=19932 maxSat=20267
520.00/260.83	c flip 20000 nbSat=20133 maxSat=20267
520.40/261.07	c flip 30000 nbSat=20109 maxSat=20267
521.00/261.31	c flip 40000 nbSat=20080 maxSat=20267
521.40/261.55	c flip 50000 nbSat=20132 maxSat=20267
521.80/261.78	c flip 60000 nbSat=20172 maxSat=20267
522.00/261.82	c flip 0 nbSat=19011 maxSat=20267
522.40/262.09	c flip 10000 nbSat=19919 maxSat=20267
523.00/262.33	c flip 20000 nbSat=20114 maxSat=20267
523.40/262.58	c flip 30000 nbSat=20046 maxSat=20267
524.00/262.83	c flip 40000 nbSat=20119 maxSat=20267
524.39/263.07	c flip 50000 nbSat=20129 maxSat=20267
524.99/263.31	c flip 60000 nbSat=20135 maxSat=20267
524.99/263.35	c flip 0 nbSat=19030 maxSat=20267
525.59/263.62	c flip 10000 nbSat=19895 maxSat=20267
525.99/263.87	c flip 20000 nbSat=20064 maxSat=20267
526.59/264.12	c flip 30000 nbSat=20081 maxSat=20267
526.99/264.35	c flip 40000 nbSat=20057 maxSat=20267
527.39/264.59	c flip 50000 nbSat=20075 maxSat=20267
527.99/264.83	c flip 60000 nbSat=20148 maxSat=20267
527.99/264.87	c flip 0 nbSat=19001 maxSat=20267
528.59/265.13	c flip 10000 nbSat=19919 maxSat=20267
528.98/265.36	c flip 20000 nbSat=20104 maxSat=20267
529.38/265.59	c flip 30000 nbSat=20129 maxSat=20267
529.98/265.83	c flip 40000 nbSat=20105 maxSat=20267
530.38/266.06	c flip 50000 nbSat=20153 maxSat=20267
530.79/266.29	c flip 60000 nbSat=20198 maxSat=20267
530.98/266.33	c flip 0 nbSat=19011 maxSat=20267
531.38/266.60	c flip 10000 nbSat=19931 maxSat=20267
531.98/266.84	c flip 20000 nbSat=20044 maxSat=20267
532.38/267.08	c flip 30000 nbSat=20095 maxSat=20267
532.98/267.32	c flip 40000 nbSat=20145 maxSat=20267
533.37/267.55	c flip 50000 nbSat=20187 maxSat=20267
533.77/267.79	c flip 60000 nbSat=20154 maxSat=20267
533.97/267.83	c flip 0 nbSat=19033 maxSat=20267
534.57/268.11	c flip 10000 nbSat=19909 maxSat=20267
534.98/268.35	c flip 20000 nbSat=20079 maxSat=20267
535.37/268.59	c flip 30000 nbSat=20135 maxSat=20267
535.97/268.83	c flip 40000 nbSat=20082 maxSat=20267
536.37/269.06	c flip 50000 nbSat=20120 maxSat=20267
536.97/269.32	c flip 60000 nbSat=20111 maxSat=20267
536.97/269.36	c flip 0 nbSat=18997 maxSat=20267
537.56/269.63	c flip 10000 nbSat=19928 maxSat=20267
537.96/269.88	c flip 20000 nbSat=20042 maxSat=20267
538.56/270.10	c flip 30000 nbSat=20125 maxSat=20267
538.96/270.34	c flip 40000 nbSat=20113 maxSat=20267
539.37/270.57	c flip 50000 nbSat=20164 maxSat=20267
539.96/270.81	c flip 60000 nbSat=20090 maxSat=20267
539.96/270.85	c flip 0 nbSat=19061 maxSat=20267
540.56/271.11	c flip 10000 nbSat=19948 maxSat=20267
540.96/271.34	c flip 20000 nbSat=20049 maxSat=20267
541.36/271.58	c flip 30000 nbSat=20125 maxSat=20267
541.95/271.80	c flip 40000 nbSat=20179 maxSat=20267
542.35/272.03	c flip 50000 nbSat=20155 maxSat=20267
542.75/272.26	c flip 60000 nbSat=20090 maxSat=20267
542.95/272.30	c flip 0 nbSat=19012 maxSat=20267
543.35/272.57	c flip 10000 nbSat=19918 maxSat=20267
543.96/272.82	c flip 20000 nbSat=20069 maxSat=20267
544.35/273.05	c flip 30000 nbSat=20108 maxSat=20267
544.75/273.28	c flip 40000 nbSat=20128 maxSat=20267
545.35/273.51	c flip 50000 nbSat=20077 maxSat=20267
545.75/273.75	c flip 60000 nbSat=20150 maxSat=20267
545.75/273.79	c flip 0 nbSat=18991 maxSat=20267
546.34/274.05	c flip 10000 nbSat=19972 maxSat=20267
546.74/274.28	c flip 20000 nbSat=20070 maxSat=20267
547.34/274.52	c flip 30000 nbSat=20090 maxSat=20267
547.74/274.75	c flip 40000 nbSat=20126 maxSat=20267
548.15/274.99	c flip 50000 nbSat=20151 maxSat=20267
548.74/275.24	c flip 60000 nbSat=20159 maxSat=20267
548.74/275.28	c flip 0 nbSat=18967 maxSat=20267
549.34/275.55	c flip 10000 nbSat=19948 maxSat=20267
549.74/275.80	c flip 20000 nbSat=20067 maxSat=20267
550.34/276.03	c flip 30000 nbSat=20127 maxSat=20267
550.73/276.27	c flip 40000 nbSat=20176 maxSat=20267
551.14/276.50	c flip 50000 nbSat=20137 maxSat=20267
551.73/276.74	c flip 60000 nbSat=20109 maxSat=20267
551.73/276.79	c flip 0 nbSat=19032 maxSat=20267
552.33/277.06	c flip 10000 nbSat=19880 maxSat=20267
552.93/277.31	c flip 20000 nbSat=19999 maxSat=20267
553.33/277.54	c flip 30000 nbSat=20086 maxSat=20267
553.73/277.79	c flip 40000 nbSat=20138 maxSat=20267
554.33/278.02	c flip 50000 nbSat=20140 maxSat=20267
554.73/278.26	c flip 60000 nbSat=20161 maxSat=20267
554.73/278.30	c flip 0 nbSat=18941 maxSat=20267
555.32/278.57	c flip 10000 nbSat=19930 maxSat=20267
555.92/278.82	c flip 20000 nbSat=20097 maxSat=20267
556.32/279.06	c flip 30000 nbSat=20096 maxSat=20267
556.92/279.31	c flip 40000 nbSat=20106 maxSat=20267
557.32/279.55	c flip 50000 nbSat=20113 maxSat=20267
557.72/279.80	c flip 60000 nbSat=20125 maxSat=20267
557.92/279.83	c flip 0 nbSat=19004 maxSat=20267
558.32/280.10	c flip 10000 nbSat=19961 maxSat=20267
558.92/280.34	c flip 20000 nbSat=20075 maxSat=20267
559.32/280.59	c flip 30000 nbSat=20048 maxSat=20267
559.91/280.83	c flip 40000 nbSat=20049 maxSat=20267
560.31/281.07	c flip 50000 nbSat=20125 maxSat=20267
560.91/281.31	c flip 60000 nbSat=20178 maxSat=20267
560.91/281.35	c flip 0 nbSat=19006 maxSat=20267
561.51/281.61	c flip 10000 nbSat=19938 maxSat=20267
561.91/281.86	c flip 20000 nbSat=20103 maxSat=20267
562.51/282.10	c flip 30000 nbSat=20067 maxSat=20267
562.91/282.35	c flip 40000 nbSat=20067 maxSat=20267
563.51/282.61	c flip 50000 nbSat=20104 maxSat=20267
563.90/282.86	c flip 60000 nbSat=20135 maxSat=20267
564.10/282.90	c flip 0 nbSat=18984 maxSat=20267
564.50/283.17	c flip 10000 nbSat=19922 maxSat=20267
565.10/283.42	c flip 20000 nbSat=20023 maxSat=20267
565.50/283.67	c flip 30000 nbSat=20084 maxSat=20267
566.10/283.91	c flip 40000 nbSat=20107 maxSat=20267
566.50/284.14	c flip 50000 nbSat=20113 maxSat=20267
566.90/284.38	c flip 60000 nbSat=20161 maxSat=20267
567.10/284.42	c flip 0 nbSat=19029 maxSat=20267
567.50/284.69	c flip 10000 nbSat=19927 maxSat=20267
568.10/284.94	c flip 20000 nbSat=20034 maxSat=20267
568.49/285.18	c flip 30000 nbSat=20106 maxSat=20267
569.09/285.42	c flip 40000 nbSat=20111 maxSat=20267
569.49/285.65	c flip 50000 nbSat=20133 maxSat=20267
570.09/285.90	c flip 60000 nbSat=20134 maxSat=20267
570.09/285.95	c flip 0 nbSat=18961 maxSat=20267
570.69/286.22	c flip 10000 nbSat=19921 maxSat=20267
571.09/286.47	c flip 20000 nbSat=20036 maxSat=20267
571.69/286.72	c flip 30000 nbSat=20102 maxSat=20267
572.09/286.96	c flip 40000 nbSat=20082 maxSat=20267
572.49/287.19	c flip 50000 nbSat=20132 maxSat=20267
573.08/287.44	c flip 60000 nbSat=20128 maxSat=20267
573.08/287.48	c flip 0 nbSat=19055 maxSat=20267
573.68/287.75	c flip 10000 nbSat=19978 maxSat=20267
574.07/287.99	c flip 20000 nbSat=20082 maxSat=20267
574.68/288.23	c flip 30000 nbSat=20116 maxSat=20267
575.07/288.47	c flip 40000 nbSat=20141 maxSat=20267
575.67/288.70	c flip 50000 nbSat=20195 maxSat=20267
576.07/288.94	c flip 60000 nbSat=20143 maxSat=20267
576.07/288.98	c flip 0 nbSat=19014 maxSat=20267
576.67/289.25	c flip 10000 nbSat=20021 maxSat=20267
577.06/289.49	c flip 20000 nbSat=20008 maxSat=20267
577.66/289.73	c flip 30000 nbSat=20085 maxSat=20267
578.06/289.97	c flip 40000 nbSat=20147 maxSat=20267
578.66/290.21	c flip 50000 nbSat=20118 maxSat=20267
579.07/290.45	c flip 60000 nbSat=20133 maxSat=20267
579.07/290.49	c flip 0 nbSat=19034 maxSat=20267
579.66/290.75	c flip 10000 nbSat=19947 maxSat=20267
580.26/291.00	c flip 20000 nbSat=20031 maxSat=20267
580.66/291.24	c flip 30000 nbSat=20077 maxSat=20267
581.06/291.47	c flip 40000 nbSat=20112 maxSat=20267
581.65/291.71	c flip 50000 nbSat=20093 maxSat=20267
582.05/291.95	c flip 60000 nbSat=20110 maxSat=20267
582.05/291.99	c flip 0 nbSat=18987 maxSat=20267
582.65/292.25	c flip 10000 nbSat=19937 maxSat=20267
583.05/292.50	c flip 20000 nbSat=20041 maxSat=20267
583.65/292.73	c flip 30000 nbSat=20116 maxSat=20267
584.04/292.96	c flip 40000 nbSat=20172 maxSat=20267
584.44/293.19	c flip 50000 nbSat=20118 maxSat=20267
585.04/293.43	c flip 60000 nbSat=20130 maxSat=20267
585.04/293.47	c flip 0 nbSat=19045 maxSat=20267
585.65/293.73	c flip 10000 nbSat=19927 maxSat=20267
586.04/293.97	c flip 20000 nbSat=20096 maxSat=20267
586.64/294.22	c flip 30000 nbSat=20048 maxSat=20267
587.03/294.46	c flip 40000 nbSat=20126 maxSat=20267
587.43/294.69	c flip 50000 nbSat=20179 maxSat=20267
588.03/294.93	c flip 60000 nbSat=20147 maxSat=20267
588.03/294.97	c flip 0 nbSat=19050 maxSat=20267
588.63/295.24	c flip 10000 nbSat=19847 maxSat=20267
589.04/295.49	c flip 20000 nbSat=20034 maxSat=20267
589.64/295.73	c flip 30000 nbSat=20084 maxSat=20267
590.04/295.97	c flip 40000 nbSat=20166 maxSat=20267
590.63/296.20	c flip 50000 nbSat=20144 maxSat=20267
591.03/296.44	c flip 60000 nbSat=20144 maxSat=20267
591.03/296.48	c flip 0 nbSat=19007 maxSat=20267
591.63/296.75	c flip 10000 nbSat=19904 maxSat=20267
592.04/297.00	c flip 20000 nbSat=20077 maxSat=20267
592.63/297.24	c flip 30000 nbSat=20095 maxSat=20267
593.03/297.48	c flip 40000 nbSat=20128 maxSat=20267
593.63/297.71	c flip 50000 nbSat=20117 maxSat=20267
594.03/297.96	c flip 60000 nbSat=20061 maxSat=20267
594.23/298.00	c flip 0 nbSat=18947 maxSat=20267
594.62/298.27	c flip 10000 nbSat=19911 maxSat=20267
595.22/298.52	c flip 20000 nbSat=20054 maxSat=20267
595.62/298.77	c flip 30000 nbSat=20078 maxSat=20267
596.22/299.00	c flip 40000 nbSat=20130 maxSat=20267
596.63/299.24	c flip 50000 nbSat=20129 maxSat=20267
597.02/299.47	c flip 60000 nbSat=20147 maxSat=20267
597.22/299.51	c flip 0 nbSat=19048 maxSat=20267
597.62/299.78	c flip 10000 nbSat=19889 maxSat=20267
598.22/300.03	c flip 20000 nbSat=20048 maxSat=20267
598.62/300.28	c flip 30000 nbSat=20060 maxSat=20267
599.21/300.52	c flip 40000 nbSat=20139 maxSat=20267
599.61/300.76	c flip 50000 nbSat=20123 maxSat=20267
600.21/301.01	c flip 60000 nbSat=20152 maxSat=20267
600.21/301.05	c flip 0 nbSat=19033 maxSat=20267
600.82/301.31	c flip 10000 nbSat=20004 maxSat=20267
601.21/301.56	c flip 20000 nbSat=20050 maxSat=20267
601.81/301.80	c flip 30000 nbSat=20082 maxSat=20267
602.21/302.05	c flip 40000 nbSat=20076 maxSat=20267
602.61/302.29	c flip 50000 nbSat=20147 maxSat=20267
603.21/302.53	c flip 60000 nbSat=20103 maxSat=20267
603.21/302.56	c flip 0 nbSat=18967 maxSat=20267
603.80/302.84	c flip 10000 nbSat=19879 maxSat=20267
604.20/303.09	c flip 20000 nbSat=20085 maxSat=20267
604.80/303.32	c flip 30000 nbSat=20081 maxSat=20267
605.21/303.57	c flip 40000 nbSat=20080 maxSat=20267
605.80/303.80	c flip 50000 nbSat=20104 maxSat=20267
606.20/304.05	c flip 60000 nbSat=20085 maxSat=20267
606.20/304.09	c flip 0 nbSat=19049 maxSat=20267
606.80/304.35	c flip 10000 nbSat=19978 maxSat=20267
607.20/304.59	c flip 20000 nbSat=20076 maxSat=20267
607.79/304.83	c flip 30000 nbSat=20103 maxSat=20267
608.19/305.08	c flip 40000 nbSat=20042 maxSat=20267
608.79/305.33	c flip 50000 nbSat=20103 maxSat=20267
609.19/305.56	c flip 60000 nbSat=20146 maxSat=20267
609.39/305.60	c flip 0 nbSat=19009 maxSat=20267
609.80/305.86	c flip 10000 nbSat=19975 maxSat=20267
610.39/306.12	c flip 20000 nbSat=20075 maxSat=20267
610.79/306.35	c flip 30000 nbSat=20139 maxSat=20267
611.19/306.57	c flip 40000 nbSat=20186 maxSat=20267
611.79/306.81	c flip 50000 nbSat=20165 maxSat=20267
612.18/307.04	c flip 60000 nbSat=20181 maxSat=20267
612.18/307.08	c flip 0 nbSat=19003 maxSat=20267
612.78/307.35	c flip 10000 nbSat=19898 maxSat=20267
613.18/307.59	c flip 20000 nbSat=20037 maxSat=20267
613.78/307.82	c flip 30000 nbSat=20132 maxSat=20267
614.19/308.06	c flip 40000 nbSat=20104 maxSat=20267
614.58/308.29	c flip 50000 nbSat=20128 maxSat=20267
615.18/308.53	c flip 60000 nbSat=20105 maxSat=20267
615.18/308.57	c flip 0 nbSat=18976 maxSat=20267
615.78/308.84	c flip 10000 nbSat=19925 maxSat=20267
616.18/309.08	c flip 20000 nbSat=20059 maxSat=20267
616.77/309.32	c flip 30000 nbSat=20129 maxSat=20267
617.17/309.56	c flip 40000 nbSat=20079 maxSat=20267
617.78/309.80	c flip 50000 nbSat=20117 maxSat=20267
618.18/310.04	c flip 60000 nbSat=20102 maxSat=20267
618.18/310.08	c flip 0 nbSat=18958 maxSat=20267
618.77/310.34	c flip 10000 nbSat=19900 maxSat=20267
619.17/310.59	c flip 20000 nbSat=20053 maxSat=20267
619.77/310.83	c flip 30000 nbSat=20100 maxSat=20267
620.17/311.07	c flip 40000 nbSat=20139 maxSat=20267
620.77/311.31	c flip 50000 nbSat=20153 maxSat=20267
621.16/311.55	c flip 60000 nbSat=20217 maxSat=20267
621.16/311.59	c flip 0 nbSat=19047 maxSat=20267
621.76/311.85	c flip 10000 nbSat=19911 maxSat=20267
622.16/312.09	c flip 20000 nbSat=20076 maxSat=20267
622.77/312.32	c flip 30000 nbSat=20115 maxSat=20267
623.16/312.56	c flip 40000 nbSat=20125 maxSat=20267
623.76/312.80	c flip 50000 nbSat=20071 maxSat=20267
624.16/313.03	c flip 60000 nbSat=20157 maxSat=20267
624.16/313.07	c flip 0 nbSat=19014 maxSat=20267
624.76/313.33	c flip 10000 nbSat=19946 maxSat=20267
625.16/313.56	c flip 20000 nbSat=20077 maxSat=20267
625.75/313.81	c flip 30000 nbSat=20075 maxSat=20267
626.15/314.04	c flip 40000 nbSat=20113 maxSat=20267
626.55/314.27	c flip 50000 nbSat=20070 maxSat=20267
627.15/314.51	c flip 60000 nbSat=20086 maxSat=20267
627.15/314.55	c flip 0 nbSat=18990 maxSat=20267
627.75/314.81	c flip 10000 nbSat=19899 maxSat=20267
628.15/315.05	c flip 20000 nbSat=20064 maxSat=20267
628.55/315.28	c flip 30000 nbSat=20156 maxSat=20267
629.15/315.51	c flip 40000 nbSat=20140 maxSat=20267
629.55/315.74	c flip 50000 nbSat=20191 maxSat=20267
629.94/315.97	c flip 60000 nbSat=20159 maxSat=20267
630.14/316.01	c flip 0 nbSat=19004 maxSat=20267
630.54/316.28	c flip 10000 nbSat=19898 maxSat=20267
631.14/316.52	c flip 20000 nbSat=20040 maxSat=20267
631.54/316.77	c flip 30000 nbSat=20096 maxSat=20267
632.13/317.00	c flip 40000 nbSat=20124 maxSat=20267
632.53/317.23	c flip 50000 nbSat=20108 maxSat=20267
632.93/317.47	c flip 60000 nbSat=20168 maxSat=20267
633.13/317.51	c flip 0 nbSat=19019 maxSat=20267
633.53/317.77	c flip 10000 nbSat=19904 maxSat=20267
634.13/318.01	c flip 20000 nbSat=20089 maxSat=20267
634.53/318.26	c flip 30000 nbSat=20092 maxSat=20267
635.13/318.50	c flip 40000 nbSat=20136 maxSat=20267
635.53/318.74	c flip 50000 nbSat=20147 maxSat=20267
635.93/318.96	c flip 60000 nbSat=20158 maxSat=20267
636.13/319.00	c flip 0 nbSat=18961 maxSat=20267
636.53/319.28	c flip 10000 nbSat=19892 maxSat=20267
637.12/319.53	c flip 20000 nbSat=20053 maxSat=20267
637.52/319.77	c flip 30000 nbSat=20039 maxSat=20267
638.13/320.01	c flip 40000 nbSat=20152 maxSat=20267
638.52/320.26	c flip 50000 nbSat=20135 maxSat=20267
638.92/320.50	c flip 60000 nbSat=20151 maxSat=20267
639.12/320.54	c flip 0 nbSat=19058 maxSat=20267
639.72/320.80	c flip 10000 nbSat=19967 maxSat=20267
640.12/321.05	c flip 20000 nbSat=20101 maxSat=20267
640.52/321.29	c flip 30000 nbSat=20130 maxSat=20267
641.11/321.54	c flip 40000 nbSat=20129 maxSat=20267
641.51/321.77	c flip 50000 nbSat=20118 maxSat=20267
642.11/322.01	c flip 60000 nbSat=20085 maxSat=20267
642.11/322.05	c flip 0 nbSat=19038 maxSat=20267
642.72/322.32	c flip 10000 nbSat=19961 maxSat=20267
643.11/322.55	c flip 20000 nbSat=20106 maxSat=20267
643.51/322.79	c flip 30000 nbSat=20099 maxSat=20267
644.11/323.04	c flip 40000 nbSat=20066 maxSat=20267
644.51/323.29	c flip 50000 nbSat=20128 maxSat=20267
645.10/323.54	c flip 60000 nbSat=20159 maxSat=20267
645.10/323.58	c flip 0 nbSat=18989 maxSat=20267
645.70/323.85	c flip 10000 nbSat=19956 maxSat=20267
646.10/324.08	c flip 20000 nbSat=20079 maxSat=20267
646.70/324.32	c flip 30000 nbSat=20062 maxSat=20267
647.11/324.56	c flip 40000 nbSat=20164 maxSat=20267
647.50/324.79	c flip 50000 nbSat=20152 maxSat=20267
648.10/325.02	c flip 60000 nbSat=20189 maxSat=20267
648.10/325.06	c flip 0 nbSat=18976 maxSat=20267
648.70/325.34	c flip 10000 nbSat=19922 maxSat=20267
649.10/325.58	c flip 20000 nbSat=20079 maxSat=20267
649.69/325.82	c flip 30000 nbSat=20103 maxSat=20267
650.09/326.06	c flip 40000 nbSat=20169 maxSat=20267
650.49/326.29	c flip 50000 nbSat=20161 maxSat=20267
651.09/326.52	c flip 60000 nbSat=20173 maxSat=20267
651.09/326.56	c flip 0 nbSat=18957 maxSat=20267
651.69/326.81	c flip 10000 nbSat=19939 maxSat=20267
652.09/327.05	c flip 20000 nbSat=20081 maxSat=20267
652.49/327.29	c flip 30000 nbSat=20121 maxSat=20267
653.09/327.53	c flip 40000 nbSat=20099 maxSat=20267
653.49/327.77	c flip 50000 nbSat=20149 maxSat=20267
654.08/328.01	c flip 60000 nbSat=20137 maxSat=20267
654.08/328.05	c flip 0 nbSat=18981 maxSat=20267
654.68/328.31	c flip 10000 nbSat=19872 maxSat=20267
655.08/328.56	c flip 20000 nbSat=20037 maxSat=20267
655.69/328.81	c flip 30000 nbSat=20082 maxSat=20267
656.08/329.05	c flip 40000 nbSat=20088 maxSat=20267
656.48/329.29	c flip 50000 nbSat=20086 maxSat=20267
657.08/329.54	c flip 60000 nbSat=20065 maxSat=20267
657.08/329.58	c flip 0 nbSat=18998 maxSat=20267
657.68/329.84	c flip 10000 nbSat=19943 maxSat=20267
658.08/330.08	c flip 20000 nbSat=20067 maxSat=20267
658.68/330.32	c flip 30000 nbSat=20095 maxSat=20267
659.08/330.56	c flip 40000 nbSat=20081 maxSat=20267
659.48/330.79	c flip 50000 nbSat=20113 maxSat=20267
660.08/331.02	c flip 60000 nbSat=20130 maxSat=20267
660.08/331.05	c flip 0 nbSat=19009 maxSat=20267
660.67/331.32	c flip 10000 nbSat=19952 maxSat=20267
661.07/331.56	c flip 20000 nbSat=20019 maxSat=20267
661.67/331.80	c flip 30000 nbSat=20067 maxSat=20267
662.07/332.05	c flip 40000 nbSat=20097 maxSat=20267
662.47/332.30	c flip 50000 nbSat=20087 maxSat=20267
663.06/332.54	c flip 60000 nbSat=20098 maxSat=20267
663.06/332.58	c flip 0 nbSat=18972 maxSat=20267
663.65/332.84	c flip 10000 nbSat=19979 maxSat=20267
664.05/333.09	c flip 20000 nbSat=20017 maxSat=20267
664.66/333.33	c flip 30000 nbSat=20034 maxSat=20267
665.05/333.58	c flip 40000 nbSat=20047 maxSat=20267
665.65/333.82	c flip 50000 nbSat=20127 maxSat=20267
666.05/334.07	c flip 60000 nbSat=20141 maxSat=20267
666.25/334.11	c flip 0 nbSat=19024 maxSat=20267
666.65/334.38	c flip 10000 nbSat=19920 maxSat=20267
667.24/334.63	c flip 20000 nbSat=20100 maxSat=20267
667.64/334.87	c flip 30000 nbSat=20051 maxSat=20267
668.24/335.11	c flip 40000 nbSat=20089 maxSat=20267
668.65/335.34	c flip 50000 nbSat=20121 maxSat=20267
669.05/335.58	c flip 60000 nbSat=20195 maxSat=20267
669.24/335.61	c flip 0 nbSat=19036 maxSat=20267
669.64/335.88	c flip 10000 nbSat=19989 maxSat=20267
670.24/336.13	c flip 20000 nbSat=20062 maxSat=20267
670.64/336.37	c flip 30000 nbSat=20105 maxSat=20267
671.24/336.62	c flip 40000 nbSat=20102 maxSat=20267
671.63/336.86	c flip 50000 nbSat=20135 maxSat=20267
672.23/337.10	c flip 60000 nbSat=20158 maxSat=20267
672.23/337.15	c flip 0 nbSat=19039 maxSat=20267
672.83/337.42	c flip 10000 nbSat=19958 maxSat=20267
673.24/337.67	c flip 20000 nbSat=20089 maxSat=20267
673.83/337.92	c flip 30000 nbSat=20111 maxSat=20267
674.23/338.18	c flip 40000 nbSat=20097 maxSat=20267
674.83/338.41	c flip 50000 nbSat=20101 maxSat=20267
675.23/338.66	c flip 60000 nbSat=20099 maxSat=20267
675.23/338.70	c flip 0 nbSat=19009 maxSat=20267
675.82/338.97	c flip 10000 nbSat=19912 maxSat=20267
676.42/339.21	c flip 20000 nbSat=20052 maxSat=20267
676.82/339.44	c flip 30000 nbSat=20124 maxSat=20267
677.22/339.69	c flip 40000 nbSat=20100 maxSat=20267
677.82/339.94	c flip 50000 nbSat=20179 maxSat=20267
678.21/340.18	c flip 60000 nbSat=20140 maxSat=20267
678.41/340.22	c flip 0 nbSat=19070 maxSat=20267
678.81/340.50	c flip 10000 nbSat=19906 maxSat=20267
679.41/340.74	c flip 20000 nbSat=20064 maxSat=20267
679.81/340.98	c flip 30000 nbSat=20114 maxSat=20267
680.41/341.24	c flip 40000 nbSat=20103 maxSat=20267
680.81/341.49	c flip 50000 nbSat=20165 maxSat=20267
681.41/341.73	c flip 60000 nbSat=20166 maxSat=20267
681.41/341.77	c flip 0 nbSat=19023 maxSat=20267
682.01/342.03	c flip 10000 nbSat=19991 maxSat=20267
682.40/342.27	c flip 20000 nbSat=20095 maxSat=20267
683.00/342.51	c flip 30000 nbSat=20060 maxSat=20267
683.40/342.75	c flip 40000 nbSat=20068 maxSat=20267
684.00/343.00	c flip 50000 nbSat=20117 maxSat=20267
684.40/343.23	c flip 60000 nbSat=20141 maxSat=20267
684.40/343.27	c flip 0 nbSat=19027 maxSat=20267
685.00/343.53	c flip 10000 nbSat=19936 maxSat=20267
685.40/343.76	c flip 20000 nbSat=20097 maxSat=20267
686.00/344.00	c flip 30000 nbSat=20154 maxSat=20267
686.40/344.22	c flip 40000 nbSat=20113 maxSat=20267
686.79/344.47	c flip 50000 nbSat=20148 maxSat=20267
687.39/344.71	c flip 60000 nbSat=20117 maxSat=20267
687.39/344.75	c flip 0 nbSat=18977 maxSat=20267
687.99/345.02	c flip 10000 nbSat=19889 maxSat=20267
688.39/345.27	c flip 20000 nbSat=20071 maxSat=20267
688.99/345.51	c flip 30000 nbSat=20084 maxSat=20267
689.39/345.75	c flip 40000 nbSat=20120 maxSat=20267
689.79/345.98	c flip 50000 nbSat=20122 maxSat=20267
690.39/346.21	c flip 60000 nbSat=20148 maxSat=20267
690.39/346.25	c flip 0 nbSat=18945 maxSat=20267
690.99/346.52	c flip 10000 nbSat=19908 maxSat=20267
691.38/346.76	c flip 20000 nbSat=20001 maxSat=20267
691.98/347.00	c flip 30000 nbSat=20111 maxSat=20267
692.38/347.24	c flip 40000 nbSat=20105 maxSat=20267
692.78/347.48	c flip 50000 nbSat=20113 maxSat=20267
693.37/347.72	c flip 60000 nbSat=20087 maxSat=20267
693.37/347.76	c flip 0 nbSat=18957 maxSat=20267
693.97/348.03	c flip 10000 nbSat=19915 maxSat=20267
694.37/348.28	c flip 20000 nbSat=20059 maxSat=20267
694.97/348.53	c flip 30000 nbSat=20128 maxSat=20267
695.38/348.78	c flip 40000 nbSat=20171 maxSat=20267
695.97/349.01	c flip 50000 nbSat=20135 maxSat=20267
696.37/349.22	c flip 60000 nbSat=20251 maxSat=20270
696.37/349.26	c flip 0 nbSat=18995 maxSat=20270
696.97/349.53	c flip 10000 nbSat=19908 maxSat=20270
697.37/349.77	c flip 20000 nbSat=20018 maxSat=20270
697.96/350.00	c flip 30000 nbSat=20110 maxSat=20270
698.36/350.24	c flip 40000 nbSat=20141 maxSat=20270
698.76/350.47	c flip 50000 nbSat=20127 maxSat=20270
699.36/350.71	c flip 60000 nbSat=20160 maxSat=20270
699.36/350.75	c flip 0 nbSat=19021 maxSat=20270
699.96/351.02	c flip 10000 nbSat=19894 maxSat=20270
700.36/351.26	c flip 20000 nbSat=20169 maxSat=20270
700.76/351.49	c flip 30000 nbSat=20075 maxSat=20270
701.36/351.73	c flip 40000 nbSat=20090 maxSat=20270
701.76/351.98	c flip 50000 nbSat=20137 maxSat=20270
702.35/352.22	c flip 60000 nbSat=20173 maxSat=20270
702.35/352.26	c flip 0 nbSat=19012 maxSat=20270
702.96/352.52	c flip 10000 nbSat=19917 maxSat=20270
703.36/352.75	c flip 20000 nbSat=20033 maxSat=20270
703.76/352.98	c flip 30000 nbSat=20114 maxSat=20270
704.35/353.20	c flip 40000 nbSat=20197 maxSat=20270
704.75/353.44	c flip 50000 nbSat=20203 maxSat=20270
705.15/353.67	c flip 60000 nbSat=20091 maxSat=20270
705.35/353.71	c flip 0 nbSat=19036 maxSat=20270
705.75/353.98	c flip 10000 nbSat=19874 maxSat=20270
706.35/354.23	c flip 20000 nbSat=19991 maxSat=20270
706.74/354.47	c flip 30000 nbSat=20068 maxSat=20270
707.34/354.71	c flip 40000 nbSat=20159 maxSat=20270
707.74/354.94	c flip 50000 nbSat=20163 maxSat=20270
708.14/355.16	c flip 60000 nbSat=20197 maxSat=20270
708.35/355.20	c flip 0 nbSat=19027 maxSat=20270
708.74/355.47	c flip 10000 nbSat=19970 maxSat=20270
709.34/355.70	c flip 20000 nbSat=20110 maxSat=20270
709.74/355.94	c flip 30000 nbSat=20131 maxSat=20270
710.14/356.17	c flip 40000 nbSat=20128 maxSat=20270
710.74/356.41	c flip 50000 nbSat=20175 maxSat=20270
711.13/356.64	c flip 60000 nbSat=20153 maxSat=20270
711.13/356.68	c flip 0 nbSat=19042 maxSat=20270
711.74/356.95	c flip 10000 nbSat=19958 maxSat=20270
712.34/357.20	c flip 20000 nbSat=20068 maxSat=20270
712.75/357.44	c flip 30000 nbSat=20080 maxSat=20270
713.14/357.67	c flip 40000 nbSat=20151 maxSat=20270
713.74/357.91	c flip 50000 nbSat=20154 maxSat=20270
714.14/358.15	c flip 60000 nbSat=20138 maxSat=20270
714.14/358.19	c flip 0 nbSat=19052 maxSat=20270
714.74/358.46	c flip 10000 nbSat=19923 maxSat=20270
715.33/358.70	c flip 20000 nbSat=20055 maxSat=20270
715.73/358.94	c flip 30000 nbSat=20099 maxSat=20270
716.13/359.18	c flip 40000 nbSat=20103 maxSat=20270
716.73/359.43	c flip 50000 nbSat=20152 maxSat=20270
717.13/359.67	c flip 60000 nbSat=20116 maxSat=20270
717.33/359.71	c flip 0 nbSat=19005 maxSat=20270
717.72/359.98	c flip 10000 nbSat=19891 maxSat=20270
718.32/360.23	c flip 20000 nbSat=20048 maxSat=20270
718.72/360.47	c flip 30000 nbSat=20135 maxSat=20270
719.12/360.69	c flip 40000 nbSat=20144 maxSat=20270
719.72/360.94	c flip 50000 nbSat=20147 maxSat=20270
720.12/361.18	c flip 60000 nbSat=20158 maxSat=20270
720.32/361.22	c flip 0 nbSat=19049 maxSat=20270
720.72/361.50	c flip 10000 nbSat=19932 maxSat=20270
721.32/361.74	c flip 20000 nbSat=20026 maxSat=20270
721.73/361.98	c flip 30000 nbSat=20096 maxSat=20270
722.32/362.22	c flip 40000 nbSat=20146 maxSat=20270
722.72/362.46	c flip 50000 nbSat=20182 maxSat=20270
723.32/362.70	c flip 60000 nbSat=20142 maxSat=20270
723.32/362.74	c flip 0 nbSat=19011 maxSat=20270
723.92/363.01	c flip 10000 nbSat=19903 maxSat=20270
724.31/363.27	c flip 20000 nbSat=20053 maxSat=20270
724.91/363.51	c flip 30000 nbSat=20116 maxSat=20270
725.31/363.75	c flip 40000 nbSat=20127 maxSat=20270
725.71/363.98	c flip 50000 nbSat=20200 maxSat=20270
726.31/364.23	c flip 60000 nbSat=20112 maxSat=20270
726.31/364.27	c flip 0 nbSat=18984 maxSat=20270
726.91/364.53	c flip 10000 nbSat=19975 maxSat=20270
727.31/364.78	c flip 20000 nbSat=20044 maxSat=20270
727.91/365.02	c flip 30000 nbSat=20050 maxSat=20270
728.31/365.26	c flip 40000 nbSat=20146 maxSat=20270
728.70/365.50	c flip 50000 nbSat=20112 maxSat=20270
729.30/365.73	c flip 60000 nbSat=20101 maxSat=20270
729.30/365.78	c flip 0 nbSat=19012 maxSat=20270
729.90/366.06	c flip 10000 nbSat=19848 maxSat=20270
730.50/366.31	c flip 20000 nbSat=20053 maxSat=20270
730.90/366.55	c flip 30000 nbSat=20114 maxSat=20270
731.50/366.80	c flip 40000 nbSat=20102 maxSat=20270
731.90/367.04	c flip 50000 nbSat=20104 maxSat=20270
732.30/367.28	c flip 60000 nbSat=20119 maxSat=20270
732.50/367.32	c flip 0 nbSat=19016 maxSat=20270
732.89/367.58	c flip 10000 nbSat=19949 maxSat=20270
733.49/367.82	c flip 20000 nbSat=20091 maxSat=20270
733.89/368.05	c flip 30000 nbSat=20112 maxSat=20270
734.29/368.30	c flip 40000 nbSat=20092 maxSat=20270
734.89/368.54	c flip 50000 nbSat=20096 maxSat=20270
735.28/368.78	c flip 60000 nbSat=20154 maxSat=20270
735.48/368.82	c flip 0 nbSat=18972 maxSat=20270
735.88/369.09	c flip 10000 nbSat=19890 maxSat=20270
736.48/369.32	c flip 20000 nbSat=20038 maxSat=20270
736.89/369.56	c flip 30000 nbSat=20117 maxSat=20270
737.48/369.81	c flip 40000 nbSat=20070 maxSat=20270
737.88/370.05	c flip 50000 nbSat=20048 maxSat=20270
738.28/370.29	c flip 60000 nbSat=20137 maxSat=20270
738.48/370.33	c flip 0 nbSat=19010 maxSat=20270
738.88/370.59	c flip 10000 nbSat=19951 maxSat=20270
739.47/370.84	c flip 20000 nbSat=20058 maxSat=20270
739.87/371.08	c flip 30000 nbSat=20109 maxSat=20270
740.47/371.31	c flip 40000 nbSat=20165 maxSat=20270
740.87/371.55	c flip 50000 nbSat=20169 maxSat=20270
741.28/371.78	c flip 60000 nbSat=20202 maxSat=20270
741.48/371.82	c flip 0 nbSat=19026 maxSat=20270
741.87/372.08	c flip 10000 nbSat=19957 maxSat=20270
742.47/372.32	c flip 20000 nbSat=20069 maxSat=20270
742.87/372.56	c flip 30000 nbSat=20100 maxSat=20270
743.27/372.79	c flip 40000 nbSat=20160 maxSat=20270
743.86/373.01	c flip 50000 nbSat=20186 maxSat=20270
744.26/373.23	c flip 60000 nbSat=20138 maxSat=20270
744.26/373.28	c flip 0 nbSat=19020 maxSat=20270
744.86/373.54	c flip 10000 nbSat=19941 maxSat=20270
745.26/373.79	c flip 20000 nbSat=20041 maxSat=20270
745.86/374.03	c flip 30000 nbSat=20071 maxSat=20270
746.26/374.27	c flip 40000 nbSat=20097 maxSat=20270
746.86/374.52	c flip 50000 nbSat=20129 maxSat=20270
747.26/374.76	c flip 60000 nbSat=20110 maxSat=20270
747.26/374.80	c flip 0 nbSat=19020 maxSat=20270
747.86/375.06	c flip 10000 nbSat=19967 maxSat=20270
748.45/375.30	c flip 20000 nbSat=20095 maxSat=20270
748.85/375.54	c flip 30000 nbSat=20131 maxSat=20270
749.25/375.77	c flip 40000 nbSat=20128 maxSat=20270
749.85/376.00	c flip 50000 nbSat=20132 maxSat=20270
750.26/376.23	c flip 60000 nbSat=20167 maxSat=20270
750.26/376.27	c flip 0 nbSat=18989 maxSat=20270
750.85/376.55	c flip 10000 nbSat=19947 maxSat=20270
751.25/376.79	c flip 20000 nbSat=20065 maxSat=20270
751.85/377.04	c flip 30000 nbSat=20076 maxSat=20270
752.25/377.28	c flip 40000 nbSat=20110 maxSat=20270
752.84/377.52	c flip 50000 nbSat=20156 maxSat=20270
753.23/377.77	c flip 60000 nbSat=20117 maxSat=20270
753.43/377.80	c flip 0 nbSat=18985 maxSat=20270
753.83/378.07	c flip 10000 nbSat=19910 maxSat=20270
754.44/378.32	c flip 20000 nbSat=19988 maxSat=20270
754.83/378.57	c flip 30000 nbSat=20038 maxSat=20270
755.43/378.82	c flip 40000 nbSat=20033 maxSat=20270
755.83/379.05	c flip 50000 nbSat=20139 maxSat=20270
756.43/379.30	c flip 60000 nbSat=20186 maxSat=20270
756.43/379.34	c flip 0 nbSat=18950 maxSat=20270
757.02/379.60	c flip 10000 nbSat=19983 maxSat=20270
757.42/379.84	c flip 20000 nbSat=20022 maxSat=20270
757.82/380.08	c flip 30000 nbSat=20124 maxSat=20270
758.42/380.31	c flip 40000 nbSat=20154 maxSat=20270
758.83/380.56	c flip 50000 nbSat=20167 maxSat=20270
759.42/380.80	c flip 60000 nbSat=20152 maxSat=20270
759.42/380.84	c flip 0 nbSat=18996 maxSat=20270
760.02/381.12	c flip 10000 nbSat=19901 maxSat=20270
760.42/381.37	c flip 20000 nbSat=20036 maxSat=20270
760.82/381.60	c flip 30000 nbSat=20114 maxSat=20270
761.41/381.84	c flip 40000 nbSat=20099 maxSat=20270
761.81/382.08	c flip 50000 nbSat=20110 maxSat=20270
762.41/382.31	c flip 60000 nbSat=20137 maxSat=20270
762.41/382.35	c flip 0 nbSat=19000 maxSat=20270
763.01/382.61	c flip 10000 nbSat=19974 maxSat=20270
763.42/382.86	c flip 20000 nbSat=20070 maxSat=20270
764.01/383.12	c flip 30000 nbSat=20126 maxSat=20270
764.41/383.35	c flip 40000 nbSat=20075 maxSat=20270
764.81/383.59	c flip 50000 nbSat=20132 maxSat=20270
765.41/383.82	c flip 60000 nbSat=20182 maxSat=20270
765.41/383.86	c flip 0 nbSat=18972 maxSat=20270
766.00/384.13	c flip 10000 nbSat=19957 maxSat=20270
766.40/384.38	c flip 20000 nbSat=20001 maxSat=20270
767.00/384.62	c flip 30000 nbSat=20086 maxSat=20270
767.40/384.86	c flip 40000 nbSat=20149 maxSat=20270
767.99/385.10	c flip 50000 nbSat=20188 maxSat=20270
768.39/385.34	c flip 60000 nbSat=20228 maxSat=20270
768.39/385.38	c flip 0 nbSat=19024 maxSat=20270
768.99/385.65	c flip 10000 nbSat=19921 maxSat=20270
769.39/385.89	c flip 20000 nbSat=20111 maxSat=20270
770.00/386.13	c flip 30000 nbSat=20155 maxSat=20270
770.39/386.36	c flip 40000 nbSat=20154 maxSat=20270
770.99/386.60	c flip 50000 nbSat=20173 maxSat=20270
771.39/386.83	c flip 60000 nbSat=20245 maxSat=20270
771.39/386.87	c flip 0 nbSat=19064 maxSat=20270
771.99/387.13	c flip 10000 nbSat=19984 maxSat=20270
772.38/387.36	c flip 20000 nbSat=20052 maxSat=20270
772.78/387.59	c flip 30000 nbSat=20085 maxSat=20270
773.38/387.81	c flip 40000 nbSat=20156 maxSat=20270
773.78/388.06	c flip 50000 nbSat=20111 maxSat=20270
774.19/388.30	c flip 60000 nbSat=20144 maxSat=20270
774.39/388.34	c flip 0 nbSat=18982 maxSat=20270
774.98/388.60	c flip 10000 nbSat=19944 maxSat=20270
775.38/388.85	c flip 20000 nbSat=20027 maxSat=20270
775.78/389.09	c flip 30000 nbSat=20119 maxSat=20270
776.38/389.33	c flip 40000 nbSat=20112 maxSat=20270
776.77/389.57	c flip 50000 nbSat=20084 maxSat=20270
777.37/389.81	c flip 60000 nbSat=20108 maxSat=20270
777.37/389.85	c flip 0 nbSat=19062 maxSat=20270
777.97/390.12	c flip 10000 nbSat=19959 maxSat=20270
778.37/390.37	c flip 20000 nbSat=20107 maxSat=20270
778.97/390.61	c flip 30000 nbSat=20104 maxSat=20270
779.37/390.84	c flip 40000 nbSat=20076 maxSat=20270
779.77/391.09	c flip 50000 nbSat=20134 maxSat=20270
780.37/391.32	c flip 60000 nbSat=20146 maxSat=20270
780.37/391.36	c flip 0 nbSat=18946 maxSat=20270
780.97/391.62	c flip 10000 nbSat=19947 maxSat=20270
781.36/391.88	c flip 20000 nbSat=20006 maxSat=20270
781.96/392.11	c flip 30000 nbSat=20094 maxSat=20270
782.36/392.34	c flip 40000 nbSat=20151 maxSat=20270
782.76/392.57	c flip 50000 nbSat=20158 maxSat=20270
783.36/392.81	c flip 60000 nbSat=20057 maxSat=20270
783.36/392.85	c flip 0 nbSat=18976 maxSat=20270
783.96/393.12	c flip 10000 nbSat=19908 maxSat=20270
784.36/393.36	c flip 20000 nbSat=20052 maxSat=20270
784.76/393.59	c flip 30000 nbSat=20107 maxSat=20270
785.36/393.83	c flip 40000 nbSat=20140 maxSat=20270
785.76/394.07	c flip 50000 nbSat=20138 maxSat=20270
786.36/394.31	c flip 60000 nbSat=20180 maxSat=20270
786.36/394.35	c flip 0 nbSat=18982 maxSat=20270
786.96/394.61	c flip 10000 nbSat=19958 maxSat=20270
787.36/394.86	c flip 20000 nbSat=20065 maxSat=20270
787.95/395.10	c flip 30000 nbSat=20111 maxSat=20270
788.35/395.34	c flip 40000 nbSat=20126 maxSat=20270
788.75/395.57	c flip 50000 nbSat=20147 maxSat=20270
789.15/395.78	c flip 60000 nbSat=20173 maxSat=20270
789.35/395.82	c flip 0 nbSat=19049 maxSat=20270
789.75/396.08	c flip 10000 nbSat=19962 maxSat=20270
790.35/396.32	c flip 20000 nbSat=20072 maxSat=20270
790.74/396.56	c flip 30000 nbSat=20100 maxSat=20270
791.34/396.81	c flip 40000 nbSat=20115 maxSat=20270
791.75/397.06	c flip 50000 nbSat=20089 maxSat=20270
792.34/397.31	c flip 60000 nbSat=20141 maxSat=20270
792.34/397.35	c flip 0 nbSat=19001 maxSat=20270
792.94/397.61	c flip 10000 nbSat=19932 maxSat=20270
793.34/397.87	c flip 20000 nbSat=20021 maxSat=20270
793.94/398.12	c flip 30000 nbSat=20075 maxSat=20270
794.33/398.35	c flip 40000 nbSat=20114 maxSat=20270
794.73/398.59	c flip 50000 nbSat=20109 maxSat=20270
795.33/398.83	c flip 60000 nbSat=20117 maxSat=20270
795.33/398.87	c flip 0 nbSat=19021 maxSat=20270
795.93/399.14	c flip 10000 nbSat=19906 maxSat=20270
796.34/399.38	c flip 20000 nbSat=20051 maxSat=20270
796.93/399.62	c flip 30000 nbSat=20120 maxSat=20270
797.33/399.86	c flip 40000 nbSat=20146 maxSat=20270
797.93/400.10	c flip 50000 nbSat=20110 maxSat=20270
798.33/400.33	c flip 60000 nbSat=20173 maxSat=20270
798.33/400.37	c flip 0 nbSat=18989 maxSat=20270
798.92/400.63	c flip 10000 nbSat=19971 maxSat=20270
799.32/400.86	c flip 20000 nbSat=20123 maxSat=20270
799.72/401.09	c flip 30000 nbSat=20148 maxSat=20270
800.32/401.32	c flip 40000 nbSat=20122 maxSat=20270
800.73/401.55	c flip 50000 nbSat=20128 maxSat=20270
801.12/401.78	c flip 60000 nbSat=20130 maxSat=20270
801.32/401.82	c flip 0 nbSat=19044 maxSat=20270
801.72/402.09	c flip 10000 nbSat=19992 maxSat=20270
802.32/402.34	c flip 20000 nbSat=20165 maxSat=20270
802.72/402.58	c flip 30000 nbSat=20137 maxSat=20270
803.31/402.81	c flip 40000 nbSat=20134 maxSat=20270
803.71/403.05	c flip 50000 nbSat=20094 maxSat=20270
804.11/403.28	c flip 60000 nbSat=20123 maxSat=20270
804.31/403.32	c flip 0 nbSat=18969 maxSat=20270
804.71/403.59	c flip 10000 nbSat=19928 maxSat=20270
805.31/403.83	c flip 20000 nbSat=20090 maxSat=20270
805.71/404.06	c flip 30000 nbSat=20168 maxSat=20270
806.11/404.29	c flip 40000 nbSat=20164 maxSat=20270
806.71/404.53	c flip 50000 nbSat=20162 maxSat=20270
807.11/404.77	c flip 60000 nbSat=20141 maxSat=20270
807.31/404.81	c flip 0 nbSat=19086 maxSat=20270
807.70/405.08	c flip 10000 nbSat=19908 maxSat=20270
808.30/405.32	c flip 20000 nbSat=20104 maxSat=20270
808.70/405.57	c flip 30000 nbSat=20074 maxSat=20270
809.10/405.80	c flip 40000 nbSat=20124 maxSat=20270
809.70/406.05	c flip 50000 nbSat=20119 maxSat=20270
810.10/406.28	c flip 60000 nbSat=20124 maxSat=20270
810.30/406.32	c flip 0 nbSat=19049 maxSat=20270
810.70/406.59	c flip 10000 nbSat=19933 maxSat=20270
811.30/406.83	c flip 20000 nbSat=20070 maxSat=20270
811.70/407.07	c flip 30000 nbSat=20102 maxSat=20270
812.29/407.31	c flip 40000 nbSat=20130 maxSat=20270
812.69/407.54	c flip 50000 nbSat=20167 maxSat=20270
813.09/407.77	c flip 60000 nbSat=20153 maxSat=20270
813.29/407.81	c flip 0 nbSat=18998 maxSat=20270
813.70/408.08	c flip 10000 nbSat=19947 maxSat=20270
814.29/408.32	c flip 20000 nbSat=20097 maxSat=20270
814.69/408.57	c flip 30000 nbSat=20103 maxSat=20270
815.29/408.81	c flip 40000 nbSat=20085 maxSat=20270
815.69/409.04	c flip 50000 nbSat=20140 maxSat=20270
816.09/409.28	c flip 60000 nbSat=20130 maxSat=20270
816.28/409.32	c flip 0 nbSat=18999 maxSat=20270
816.68/409.59	c flip 10000 nbSat=19939 maxSat=20270
817.28/409.84	c flip 20000 nbSat=20030 maxSat=20270
817.68/410.08	c flip 30000 nbSat=20089 maxSat=20270
818.29/410.32	c flip 40000 nbSat=20134 maxSat=20270
818.68/410.55	c flip 50000 nbSat=20134 maxSat=20270
819.08/410.78	c flip 60000 nbSat=20119 maxSat=20270
819.28/410.82	c flip 0 nbSat=19032 maxSat=20270
819.68/411.09	c flip 10000 nbSat=19914 maxSat=20270
820.28/411.34	c flip 20000 nbSat=20095 maxSat=20270
820.67/411.58	c flip 30000 nbSat=20135 maxSat=20270
821.27/411.81	c flip 40000 nbSat=20087 maxSat=20270
821.67/412.04	c flip 50000 nbSat=20162 maxSat=20270
822.07/412.28	c flip 60000 nbSat=20089 maxSat=20270
822.27/412.32	c flip 0 nbSat=19000 maxSat=20270
822.68/412.57	c flip 10000 nbSat=19951 maxSat=20270
823.27/412.83	c flip 20000 nbSat=20056 maxSat=20270
823.67/413.06	c flip 30000 nbSat=20147 maxSat=20270
824.07/413.30	c flip 40000 nbSat=20134 maxSat=20270
824.67/413.53	c flip 50000 nbSat=20186 maxSat=20270
825.06/413.76	c flip 60000 nbSat=20178 maxSat=20270
825.06/413.80	c flip 0 nbSat=18960 maxSat=20270
825.66/414.07	c flip 10000 nbSat=19925 maxSat=20270
826.26/414.31	c flip 20000 nbSat=20099 maxSat=20270
826.66/414.54	c flip 30000 nbSat=20121 maxSat=20270
827.06/414.76	c flip 40000 nbSat=20181 maxSat=20270
827.46/414.99	c flip 50000 nbSat=20143 maxSat=20270
828.06/415.22	c flip 60000 nbSat=20165 maxSat=20270
828.06/415.26	c flip 0 nbSat=19034 maxSat=20270
828.66/415.52	c flip 10000 nbSat=19928 maxSat=20270
829.07/415.77	c flip 20000 nbSat=20047 maxSat=20270
829.66/416.00	c flip 30000 nbSat=20116 maxSat=20270
830.06/416.24	c flip 40000 nbSat=20139 maxSat=20270
830.46/416.48	c flip 50000 nbSat=20151 maxSat=20270
831.06/416.71	c flip 60000 nbSat=20118 maxSat=20270
831.06/416.75	c flip 0 nbSat=18985 maxSat=20270
831.66/417.02	c flip 10000 nbSat=19907 maxSat=20270
832.05/417.27	c flip 20000 nbSat=20055 maxSat=20270
832.65/417.50	c flip 30000 nbSat=20076 maxSat=20270
833.05/417.74	c flip 40000 nbSat=20122 maxSat=20270
833.46/417.98	c flip 50000 nbSat=20156 maxSat=20270
834.05/418.22	c flip 60000 nbSat=20155 maxSat=20270
834.05/418.26	c flip 0 nbSat=19055 maxSat=20270
834.65/418.53	c flip 10000 nbSat=19893 maxSat=20270
835.05/418.78	c flip 20000 nbSat=20020 maxSat=20270
835.65/419.02	c flip 30000 nbSat=20087 maxSat=20270
836.04/419.26	c flip 40000 nbSat=20148 maxSat=20270
836.44/419.49	c flip 50000 nbSat=20176 maxSat=20270
837.04/419.73	c flip 60000 nbSat=20104 maxSat=20270
837.04/419.77	c flip 0 nbSat=19019 maxSat=20270
837.64/420.04	c flip 10000 nbSat=19866 maxSat=20270
838.05/420.29	c flip 20000 nbSat=20080 maxSat=20270
838.64/420.54	c flip 30000 nbSat=20134 maxSat=20270
839.04/420.77	c flip 40000 nbSat=20146 maxSat=20270
839.64/421.01	c flip 50000 nbSat=20106 maxSat=20270
840.05/421.25	c flip 60000 nbSat=20153 maxSat=20270
840.05/421.29	c flip 0 nbSat=19032 maxSat=20270
840.64/421.56	c flip 10000 nbSat=19933 maxSat=20270
841.24/421.80	c flip 20000 nbSat=20038 maxSat=20270
841.64/422.05	c flip 30000 nbSat=20091 maxSat=20270
842.04/422.29	c flip 40000 nbSat=20071 maxSat=20270
842.63/422.53	c flip 50000 nbSat=20130 maxSat=20270
843.03/422.76	c flip 60000 nbSat=20142 maxSat=20270
843.22/422.80	c flip 0 nbSat=19028 maxSat=20270
843.62/423.08	c flip 10000 nbSat=19907 maxSat=20270
844.22/423.31	c flip 20000 nbSat=20108 maxSat=20270
844.62/423.55	c flip 30000 nbSat=20121 maxSat=20270
845.02/423.79	c flip 40000 nbSat=20160 maxSat=20270
845.62/424.03	c flip 50000 nbSat=20090 maxSat=20270
846.02/424.26	c flip 60000 nbSat=20141 maxSat=20270
846.22/424.31	c flip 0 nbSat=18992 maxSat=20270
846.62/424.58	c flip 10000 nbSat=19961 maxSat=20270
847.21/424.82	c flip 20000 nbSat=20028 maxSat=20270
847.61/425.06	c flip 30000 nbSat=20086 maxSat=20270
848.21/425.30	c flip 40000 nbSat=20094 maxSat=20270
848.61/425.54	c flip 50000 nbSat=20121 maxSat=20270
849.02/425.77	c flip 60000 nbSat=20121 maxSat=20270
849.21/425.81	c flip 0 nbSat=19009 maxSat=20270
849.61/426.08	c flip 10000 nbSat=19950 maxSat=20270
850.21/426.32	c flip 20000 nbSat=20021 maxSat=20270
850.61/426.56	c flip 30000 nbSat=20127 maxSat=20270
851.01/426.80	c flip 40000 nbSat=20150 maxSat=20270
851.60/427.03	c flip 50000 nbSat=20131 maxSat=20270
852.00/427.26	c flip 60000 nbSat=20149 maxSat=20270
852.20/427.30	c flip 0 nbSat=19018 maxSat=20270
852.60/427.57	c flip 10000 nbSat=19896 maxSat=20270
853.21/427.81	c flip 20000 nbSat=20052 maxSat=20270
853.60/428.05	c flip 30000 nbSat=20089 maxSat=20270
854.00/428.29	c flip 40000 nbSat=20079 maxSat=20270
854.60/428.53	c flip 50000 nbSat=20167 maxSat=20270
855.00/428.77	c flip 60000 nbSat=20092 maxSat=20270
855.20/428.81	c flip 0 nbSat=18998 maxSat=20270
855.60/429.08	c flip 10000 nbSat=19958 maxSat=20270
856.19/429.32	c flip 20000 nbSat=20027 maxSat=20270
856.59/429.56	c flip 30000 nbSat=20067 maxSat=20270
856.99/429.79	c flip 40000 nbSat=20135 maxSat=20270
857.60/430.03	c flip 50000 nbSat=20129 maxSat=20270
857.99/430.25	c flip 60000 nbSat=20124 maxSat=20270
857.99/430.29	c flip 0 nbSat=18939 maxSat=20270
858.59/430.56	c flip 10000 nbSat=19939 maxSat=20270
859.18/430.80	c flip 20000 nbSat=20100 maxSat=20270
859.58/431.04	c flip 30000 nbSat=20133 maxSat=20270
859.98/431.28	c flip 40000 nbSat=20119 maxSat=20270
860.58/431.52	c flip 50000 nbSat=20166 maxSat=20270
860.98/431.77	c flip 60000 nbSat=20187 maxSat=20270
861.18/431.80	c flip 0 nbSat=19020 maxSat=20270
861.58/432.07	c flip 10000 nbSat=19897 maxSat=20270
862.18/432.31	c flip 20000 nbSat=20041 maxSat=20270
862.57/432.54	c flip 30000 nbSat=20098 maxSat=20270
862.97/432.77	c flip 40000 nbSat=20180 maxSat=20270
863.57/433.00	c flip 50000 nbSat=20190 maxSat=20270
863.97/433.24	c flip 60000 nbSat=20128 maxSat=20270
863.97/433.28	c flip 0 nbSat=18969 maxSat=20270
864.56/433.54	c flip 10000 nbSat=19938 maxSat=20270
864.96/433.78	c flip 20000 nbSat=20062 maxSat=20270
865.56/434.02	c flip 30000 nbSat=20079 maxSat=20270
865.96/434.26	c flip 40000 nbSat=20072 maxSat=20270
866.37/434.50	c flip 50000 nbSat=20124 maxSat=20270
866.96/434.74	c flip 60000 nbSat=20132 maxSat=20270
866.96/434.78	c flip 0 nbSat=19042 maxSat=20270
867.56/435.04	c flip 10000 nbSat=19961 maxSat=20270
867.96/435.28	c flip 20000 nbSat=20143 maxSat=20270
868.56/435.52	c flip 30000 nbSat=20118 maxSat=20270
868.95/435.76	c flip 40000 nbSat=20127 maxSat=20270
869.55/436.00	c flip 50000 nbSat=20131 maxSat=20270
869.95/436.23	c flip 60000 nbSat=20173 maxSat=20270
869.95/436.27	c flip 0 nbSat=18977 maxSat=20270
870.55/436.54	c flip 10000 nbSat=19966 maxSat=20270
870.95/436.78	c flip 20000 nbSat=20051 maxSat=20270
871.55/437.02	c flip 30000 nbSat=20102 maxSat=20270
871.95/437.25	c flip 40000 nbSat=20124 maxSat=20270
872.35/437.49	c flip 50000 nbSat=20140 maxSat=20270
872.95/437.73	c flip 60000 nbSat=20186 maxSat=20270
872.95/437.77	c flip 0 nbSat=18985 maxSat=20270
873.54/438.04	c flip 10000 nbSat=19956 maxSat=20270
873.94/438.28	c flip 20000 nbSat=20078 maxSat=20270
874.54/438.53	c flip 30000 nbSat=20064 maxSat=20270
874.94/438.78	c flip 40000 nbSat=20102 maxSat=20270
875.54/439.03	c flip 50000 nbSat=20130 maxSat=20270
875.94/439.27	c flip 60000 nbSat=20117 maxSat=20270
876.13/439.31	c flip 0 nbSat=19026 maxSat=20270
876.53/439.59	c flip 10000 nbSat=19890 maxSat=20270
877.13/439.83	c flip 20000 nbSat=20043 maxSat=20270
877.54/440.08	c flip 30000 nbSat=20132 maxSat=20270
878.13/440.31	c flip 40000 nbSat=20107 maxSat=20270
878.53/440.56	c flip 50000 nbSat=20139 maxSat=20270
879.13/440.80	c flip 60000 nbSat=20123 maxSat=20270
879.13/440.84	c flip 0 nbSat=19000 maxSat=20270
879.73/441.11	c flip 10000 nbSat=19959 maxSat=20270
880.13/441.36	c flip 20000 nbSat=20069 maxSat=20270
880.72/441.60	c flip 30000 nbSat=20112 maxSat=20270
881.12/441.84	c flip 40000 nbSat=20133 maxSat=20270
881.52/442.08	c flip 50000 nbSat=20137 maxSat=20270
882.12/442.33	c flip 60000 nbSat=20129 maxSat=20270
882.12/442.37	c flip 0 nbSat=18999 maxSat=20270
882.72/442.63	c flip 10000 nbSat=19987 maxSat=20270
883.12/442.88	c flip 20000 nbSat=20073 maxSat=20270
883.72/443.13	c flip 30000 nbSat=20062 maxSat=20270
884.12/443.38	c flip 40000 nbSat=20125 maxSat=20270
884.72/443.62	c flip 50000 nbSat=20086 maxSat=20270
885.12/443.86	c flip 60000 nbSat=20121 maxSat=20270
885.32/443.90	c flip 0 nbSat=19063 maxSat=20270
885.72/444.17	c flip 10000 nbSat=19928 maxSat=20270
886.32/444.42	c flip 20000 nbSat=20022 maxSat=20270
886.71/444.66	c flip 30000 nbSat=20114 maxSat=20270
887.11/444.89	c flip 40000 nbSat=20157 maxSat=20270
887.71/445.12	c flip 50000 nbSat=20132 maxSat=20270
888.11/445.37	c flip 60000 nbSat=20103 maxSat=20270
888.31/445.41	c flip 0 nbSat=18991 maxSat=20270
888.71/445.67	c flip 10000 nbSat=19985 maxSat=20270
889.31/445.91	c flip 20000 nbSat=20038 maxSat=20270
889.71/446.16	c flip 30000 nbSat=20071 maxSat=20270
890.11/446.39	c flip 40000 nbSat=20103 maxSat=20270
890.71/446.63	c flip 50000 nbSat=20160 maxSat=20270
891.10/446.88	c flip 60000 nbSat=20122 maxSat=20270
891.30/446.92	c flip 0 nbSat=19035 maxSat=20270
891.70/447.18	c flip 10000 nbSat=19951 maxSat=20270
892.30/447.43	c flip 20000 nbSat=20038 maxSat=20270
892.71/447.68	c flip 30000 nbSat=20147 maxSat=20270
893.30/447.91	c flip 40000 nbSat=20171 maxSat=20270
893.70/448.13	c flip 50000 nbSat=20099 maxSat=20270
894.10/448.37	c flip 60000 nbSat=20131 maxSat=20270
894.30/448.41	c flip 0 nbSat=19000 maxSat=20270
894.70/448.67	c flip 10000 nbSat=19960 maxSat=20270
895.29/448.91	c flip 20000 nbSat=20032 maxSat=20270
895.69/449.14	c flip 30000 nbSat=20134 maxSat=20270
896.09/449.37	c flip 40000 nbSat=20132 maxSat=20270
896.69/449.61	c flip 50000 nbSat=20130 maxSat=20270
897.10/449.85	c flip 60000 nbSat=20093 maxSat=20270
897.10/449.89	c flip 0 nbSat=19040 maxSat=20270
897.69/450.16	c flip 10000 nbSat=19915 maxSat=20270
898.29/450.41	c flip 20000 nbSat=20090 maxSat=20270
898.69/450.65	c flip 30000 nbSat=20141 maxSat=20270
899.08/450.89	c flip 40000 nbSat=20147 maxSat=20270
899.68/451.13	c flip 50000 nbSat=20155 maxSat=20270
900.08/451.36	c flip 60000 nbSat=20156 maxSat=20270
900.28/451.40	c flip 0 nbSat=19052 maxSat=20270
900.68/451.66	c flip 10000 nbSat=19940 maxSat=20270
901.28/451.91	c flip 20000 nbSat=20064 maxSat=20270
901.68/452.14	c flip 30000 nbSat=20076 maxSat=20270
902.07/452.38	c flip 40000 nbSat=20119 maxSat=20270
902.67/452.61	c flip 50000 nbSat=20132 maxSat=20270
903.07/452.84	c flip 60000 nbSat=20129 maxSat=20270
903.07/452.88	c flip 0 nbSat=18995 maxSat=20270
903.68/453.14	c flip 10000 nbSat=20014 maxSat=20270
904.07/453.39	c flip 20000 nbSat=20100 maxSat=20270
904.67/453.62	c flip 30000 nbSat=20141 maxSat=20270
905.07/453.85	c flip 40000 nbSat=20174 maxSat=20270
905.47/454.08	c flip 50000 nbSat=20119 maxSat=20270
906.07/454.32	c flip 60000 nbSat=20155 maxSat=20270
906.07/454.36	c flip 0 nbSat=19007 maxSat=20270
906.67/454.62	c flip 10000 nbSat=19955 maxSat=20270
907.07/454.87	c flip 20000 nbSat=20049 maxSat=20270
907.67/455.11	c flip 30000 nbSat=20055 maxSat=20270
908.07/455.34	c flip 40000 nbSat=20154 maxSat=20270
908.46/455.57	c flip 50000 nbSat=20147 maxSat=20270
909.06/455.80	c flip 60000 nbSat=20116 maxSat=20270
909.06/455.84	c flip 0 nbSat=19041 maxSat=20270
909.66/456.11	c flip 10000 nbSat=19917 maxSat=20270
910.06/456.36	c flip 20000 nbSat=20078 maxSat=20270
910.66/456.60	c flip 30000 nbSat=20112 maxSat=20270
911.06/456.83	c flip 40000 nbSat=20123 maxSat=20270
911.46/457.07	c flip 50000 nbSat=20136 maxSat=20270
912.06/457.31	c flip 60000 nbSat=20164 maxSat=20270
912.06/457.35	c flip 0 nbSat=19078 maxSat=20270
912.66/457.62	c flip 10000 nbSat=19926 maxSat=20270
913.05/457.87	c flip 20000 nbSat=20045 maxSat=20270
913.65/458.11	c flip 30000 nbSat=20095 maxSat=20270
914.05/458.34	c flip 40000 nbSat=20162 maxSat=20270
914.45/458.58	c flip 50000 nbSat=20132 maxSat=20270
915.05/458.81	c flip 60000 nbSat=20161 maxSat=20270
915.05/458.85	c flip 0 nbSat=19032 maxSat=20270
915.65/459.12	c flip 10000 nbSat=20023 maxSat=20270
916.05/459.37	c flip 20000 nbSat=20105 maxSat=20270
916.65/459.61	c flip 30000 nbSat=20070 maxSat=20270
917.05/459.85	c flip 40000 nbSat=20105 maxSat=20270
917.44/460.09	c flip 50000 nbSat=20134 maxSat=20270
918.04/460.33	c flip 60000 nbSat=20135 maxSat=20270
918.04/460.37	c flip 0 nbSat=19003 maxSat=20270
918.64/460.64	c flip 10000 nbSat=19972 maxSat=20270
919.05/460.88	c flip 20000 nbSat=20097 maxSat=20270
919.64/461.13	c flip 30000 nbSat=20092 maxSat=20270
920.04/461.37	c flip 40000 nbSat=20105 maxSat=20270
920.64/461.63	c flip 50000 nbSat=20103 maxSat=20270
921.04/461.86	c flip 60000 nbSat=20133 maxSat=20270
921.24/461.90	c flip 0 nbSat=19072 maxSat=20270
921.63/462.17	c flip 10000 nbSat=19932 maxSat=20270
922.23/462.41	c flip 20000 nbSat=20070 maxSat=20270
922.63/462.66	c flip 30000 nbSat=20049 maxSat=20270
923.03/462.89	c flip 40000 nbSat=20149 maxSat=20270
923.64/463.14	c flip 50000 nbSat=20126 maxSat=20270
924.03/463.38	c flip 60000 nbSat=20135 maxSat=20270
924.23/463.42	c flip 0 nbSat=18968 maxSat=20270
924.63/463.70	c flip 10000 nbSat=19989 maxSat=20270
925.23/463.95	c flip 20000 nbSat=20076 maxSat=20270
925.63/464.18	c flip 30000 nbSat=20147 maxSat=20270
926.23/464.41	c flip 40000 nbSat=20150 maxSat=20270
926.63/464.64	c flip 50000 nbSat=20172 maxSat=20270
927.03/464.88	c flip 60000 nbSat=20112 maxSat=20270
927.23/464.93	c flip 0 nbSat=19047 maxSat=20270
927.62/465.20	c flip 10000 nbSat=19940 maxSat=20270
928.22/465.44	c flip 20000 nbSat=20015 maxSat=20270
928.82/465.70	c flip 30000 nbSat=20083 maxSat=20270
929.22/465.95	c flip 40000 nbSat=20093 maxSat=20270
929.62/466.20	c flip 50000 nbSat=20089 maxSat=20270
930.22/466.43	c flip 60000 nbSat=20142 maxSat=20270
930.22/466.47	c flip 0 nbSat=19003 maxSat=20270
930.81/466.73	c flip 10000 nbSat=19936 maxSat=20270
931.21/466.98	c flip 20000 nbSat=20091 maxSat=20270
931.81/467.22	c flip 30000 nbSat=20068 maxSat=20270
932.22/467.46	c flip 40000 nbSat=20111 maxSat=20270
932.81/467.70	c flip 50000 nbSat=20089 maxSat=20270
933.20/467.94	c flip 60000 nbSat=20129 maxSat=20270
933.20/467.98	c flip 0 nbSat=18993 maxSat=20270
933.80/468.25	c flip 10000 nbSat=19994 maxSat=20270
934.20/468.49	c flip 20000 nbSat=20064 maxSat=20270
934.80/468.74	c flip 30000 nbSat=20118 maxSat=20270
935.20/468.98	c flip 40000 nbSat=20118 maxSat=20270
935.79/469.23	c flip 50000 nbSat=20142 maxSat=20270
936.19/469.47	c flip 60000 nbSat=20148 maxSat=20270
936.39/469.51	c flip 0 nbSat=19046 maxSat=20270
936.80/469.77	c flip 10000 nbSat=20024 maxSat=20270
937.39/470.01	c flip 20000 nbSat=20131 maxSat=20270
937.79/470.25	c flip 30000 nbSat=20110 maxSat=20270
938.19/470.49	c flip 40000 nbSat=20096 maxSat=20270
938.79/470.72	c flip 50000 nbSat=20107 maxSat=20270
939.19/470.97	c flip 60000 nbSat=20177 maxSat=20270
939.39/471.01	c flip 0 nbSat=19090 maxSat=20270
939.79/471.28	c flip 10000 nbSat=19880 maxSat=20270
940.39/471.52	c flip 20000 nbSat=20077 maxSat=20270
940.78/471.76	c flip 30000 nbSat=20133 maxSat=20270
941.38/472.00	c flip 40000 nbSat=20088 maxSat=20270
941.78/472.23	c flip 50000 nbSat=20139 maxSat=20270
942.18/472.46	c flip 60000 nbSat=20161 maxSat=20270
942.18/472.50	c flip 0 nbSat=19030 maxSat=20270
942.78/472.76	c flip 10000 nbSat=19921 maxSat=20270
943.19/473.00	c flip 20000 nbSat=20043 maxSat=20270
943.78/473.24	c flip 30000 nbSat=20137 maxSat=20270
944.18/473.47	c flip 40000 nbSat=20112 maxSat=20270
944.78/473.71	c flip 50000 nbSat=20172 maxSat=20270
945.18/473.96	c flip 60000 nbSat=20097 maxSat=20270
945.18/474.00	c flip 0 nbSat=19022 maxSat=20270
945.77/474.26	c flip 10000 nbSat=19922 maxSat=20270
946.37/474.50	c flip 20000 nbSat=20073 maxSat=20270
946.77/474.75	c flip 30000 nbSat=20137 maxSat=20270
947.17/474.97	c flip 40000 nbSat=20169 maxSat=20270
947.78/475.21	c flip 50000 nbSat=20056 maxSat=20270
948.17/475.45	c flip 60000 nbSat=20070 maxSat=20270
948.17/475.49	c flip 0 nbSat=19053 maxSat=20270
948.77/475.76	c flip 10000 nbSat=19878 maxSat=20270
949.37/476.00	c flip 20000 nbSat=20040 maxSat=20270
949.77/476.24	c flip 30000 nbSat=20141 maxSat=20270
950.16/476.47	c flip 40000 nbSat=20137 maxSat=20270
950.76/476.70	c flip 50000 nbSat=20127 maxSat=20270
951.15/476.94	c flip 60000 nbSat=20145 maxSat=20270
951.15/476.98	c flip 0 nbSat=19007 maxSat=20270
951.75/477.25	c flip 10000 nbSat=19949 maxSat=20270
952.16/477.50	c flip 20000 nbSat=20095 maxSat=20270
952.75/477.73	c flip 30000 nbSat=20127 maxSat=20270
953.15/477.97	c flip 40000 nbSat=20107 maxSat=20270
953.55/478.19	c flip 50000 nbSat=20125 maxSat=20270
954.15/478.43	c flip 60000 nbSat=20183 maxSat=20270
954.15/478.47	c flip 0 nbSat=19043 maxSat=20270
954.74/478.74	c flip 10000 nbSat=19879 maxSat=20270
955.14/478.99	c flip 20000 nbSat=19992 maxSat=20270
955.74/479.23	c flip 30000 nbSat=20076 maxSat=20270
956.14/479.46	c flip 40000 nbSat=20118 maxSat=20270
956.54/479.68	c flip 50000 nbSat=20180 maxSat=20270
957.14/479.92	c flip 60000 nbSat=20163 maxSat=20270
957.14/479.96	c flip 0 nbSat=19017 maxSat=20270
957.74/480.24	c flip 10000 nbSat=19900 maxSat=20270
958.14/480.47	c flip 20000 nbSat=20062 maxSat=20270
958.74/480.72	c flip 30000 nbSat=20112 maxSat=20270
959.13/480.95	c flip 40000 nbSat=20063 maxSat=20270
959.53/481.19	c flip 50000 nbSat=20049 maxSat=20270
960.13/481.43	c flip 60000 nbSat=20109 maxSat=20270
960.13/481.47	c flip 0 nbSat=18999 maxSat=20270
960.74/481.74	c flip 10000 nbSat=19950 maxSat=20270
961.13/481.98	c flip 20000 nbSat=20032 maxSat=20270
961.73/482.22	c flip 30000 nbSat=20117 maxSat=20270
962.13/482.47	c flip 40000 nbSat=20132 maxSat=20270
962.73/482.70	c flip 50000 nbSat=20151 maxSat=20270
963.13/482.93	c flip 60000 nbSat=20093 maxSat=20270
963.13/482.97	c flip 0 nbSat=19017 maxSat=20270
963.72/483.24	c flip 10000 nbSat=19925 maxSat=20270
964.12/483.49	c flip 20000 nbSat=20027 maxSat=20270
964.72/483.73	c flip 30000 nbSat=20100 maxSat=20270
965.13/483.98	c flip 40000 nbSat=20126 maxSat=20270
965.72/484.22	c flip 50000 nbSat=20123 maxSat=20270
966.12/484.46	c flip 60000 nbSat=20154 maxSat=20270
966.32/484.50	c flip 0 nbSat=19082 maxSat=20270
966.72/484.76	c flip 10000 nbSat=19932 maxSat=20270
967.32/485.01	c flip 20000 nbSat=20056 maxSat=20270
967.71/485.25	c flip 30000 nbSat=20066 maxSat=20270
968.11/485.48	c flip 40000 nbSat=20131 maxSat=20270
968.71/485.72	c flip 50000 nbSat=20159 maxSat=20270
969.11/485.96	c flip 60000 nbSat=20170 maxSat=20270
969.31/486.00	c flip 0 nbSat=18963 maxSat=20270
969.71/486.27	c flip 10000 nbSat=19908 maxSat=20270
970.31/486.51	c flip 20000 nbSat=20083 maxSat=20270
970.71/486.74	c flip 30000 nbSat=20115 maxSat=20270
971.11/486.98	c flip 40000 nbSat=20188 maxSat=20270
971.71/487.22	c flip 50000 nbSat=20115 maxSat=20270
972.10/487.47	c flip 60000 nbSat=20135 maxSat=20270
972.30/487.51	c flip 0 nbSat=19010 maxSat=20270
972.70/487.77	c flip 10000 nbSat=19961 maxSat=20270
973.30/488.00	c flip 20000 nbSat=20120 maxSat=20270
973.70/488.24	c flip 30000 nbSat=20115 maxSat=20270
974.10/488.48	c flip 40000 nbSat=20061 maxSat=20270
974.69/488.71	c flip 50000 nbSat=20140 maxSat=20270
975.09/488.95	c flip 60000 nbSat=20115 maxSat=20270
975.09/488.99	c flip 0 nbSat=19038 maxSat=20270
975.69/489.25	c flip 10000 nbSat=19913 maxSat=20270
976.10/489.49	c flip 20000 nbSat=20025 maxSat=20270
976.69/489.73	c flip 30000 nbSat=20062 maxSat=20270
977.09/489.99	c flip 40000 nbSat=20084 maxSat=20270
977.69/490.21	c flip 50000 nbSat=20153 maxSat=20270
978.09/490.45	c flip 60000 nbSat=20133 maxSat=20270
978.09/490.49	c flip 0 nbSat=19078 maxSat=20270
978.69/490.75	c flip 10000 nbSat=19928 maxSat=20270
979.09/490.99	c flip 20000 nbSat=20102 maxSat=20270
979.69/491.22	c flip 30000 nbSat=20155 maxSat=20270
980.09/491.46	c flip 40000 nbSat=20110 maxSat=20270
980.49/491.69	c flip 50000 nbSat=20160 maxSat=20270
981.08/491.92	c flip 60000 nbSat=20126 maxSat=20270
981.08/491.96	c flip 0 nbSat=19002 maxSat=20270
981.68/492.22	c flip 10000 nbSat=19927 maxSat=20270
982.08/492.45	c flip 20000 nbSat=20103 maxSat=20270
982.48/492.68	c flip 30000 nbSat=20121 maxSat=20270
983.08/492.90	c flip 40000 nbSat=20158 maxSat=20270
983.48/493.12	c flip 50000 nbSat=20151 maxSat=20270
983.87/493.36	c flip 60000 nbSat=20135 maxSat=20270
984.07/493.40	c flip 0 nbSat=18987 maxSat=20270
984.47/493.67	c flip 10000 nbSat=19948 maxSat=20270
985.08/493.92	c flip 20000 nbSat=20056 maxSat=20270
985.47/494.16	c flip 30000 nbSat=20093 maxSat=20270
986.07/494.40	c flip 40000 nbSat=20060 maxSat=20270
986.47/494.63	c flip 50000 nbSat=20131 maxSat=20270
986.87/494.86	c flip 60000 nbSat=20164 maxSat=20270
987.07/494.91	c flip 0 nbSat=18996 maxSat=20270
987.47/495.17	c flip 10000 nbSat=19918 maxSat=20270
988.07/495.42	c flip 20000 nbSat=20106 maxSat=20270
988.47/495.66	c flip 30000 nbSat=20094 maxSat=20270
989.07/495.90	c flip 40000 nbSat=20176 maxSat=20270
989.47/496.13	c flip 50000 nbSat=20187 maxSat=20270
989.86/496.37	c flip 60000 nbSat=20131 maxSat=20270
990.06/496.41	c flip 0 nbSat=19017 maxSat=20270
990.46/496.68	c flip 10000 nbSat=19938 maxSat=20270
991.06/496.93	c flip 20000 nbSat=20041 maxSat=20270
991.46/497.17	c flip 30000 nbSat=20125 maxSat=20270
992.06/497.41	c flip 40000 nbSat=20085 maxSat=20270
992.46/497.65	c flip 50000 nbSat=20119 maxSat=20270
992.86/497.89	c flip 60000 nbSat=20140 maxSat=20270
993.06/497.93	c flip 0 nbSat=19053 maxSat=20270
993.46/498.19	c flip 10000 nbSat=19962 maxSat=20270
994.05/498.44	c flip 20000 nbSat=20111 maxSat=20270
994.45/498.68	c flip 30000 nbSat=20090 maxSat=20270
995.05/498.92	c flip 40000 nbSat=20111 maxSat=20270
995.45/499.16	c flip 50000 nbSat=20180 maxSat=20270
996.05/499.41	c flip 60000 nbSat=20119 maxSat=20270
996.05/499.45	c flip 0 nbSat=18966 maxSat=20270
996.65/499.72	c flip 10000 nbSat=19903 maxSat=20270
997.05/499.97	c flip 20000 nbSat=20026 maxSat=20270
997.65/500.20	c flip 30000 nbSat=20058 maxSat=20270
998.05/500.43	c flip 40000 nbSat=20149 maxSat=20270
998.44/500.67	c flip 50000 nbSat=20095 maxSat=20270
999.04/500.90	c flip 60000 nbSat=20192 maxSat=20270
999.04/500.95	c flip 0 nbSat=19021 maxSat=20270
999.64/501.21	c flip 10000 nbSat=19931 maxSat=20270
1000.04/501.47	c flip 20000 nbSat=19977 maxSat=20270
1000.64/501.71	c flip 30000 nbSat=20075 maxSat=20270
1001.04/501.94	c flip 40000 nbSat=20101 maxSat=20270
1001.44/502.19	c flip 50000 nbSat=20110 maxSat=20270
1002.04/502.42	c flip 60000 nbSat=20156 maxSat=20270
1002.04/502.47	c flip 0 nbSat=19035 maxSat=20270
1002.64/502.73	c flip 10000 nbSat=19939 maxSat=20270
1003.03/502.98	c flip 20000 nbSat=20070 maxSat=20270
1003.63/503.22	c flip 30000 nbSat=20083 maxSat=20270
1004.03/503.46	c flip 40000 nbSat=20107 maxSat=20270
1004.64/503.70	c flip 50000 nbSat=20120 maxSat=20270
1005.03/503.95	c flip 60000 nbSat=20128 maxSat=20270
1005.03/503.99	c flip 0 nbSat=18983 maxSat=20270
1005.63/504.26	c flip 10000 nbSat=19978 maxSat=20270
1006.23/504.50	c flip 20000 nbSat=20075 maxSat=20270
1006.63/504.74	c flip 30000 nbSat=20118 maxSat=20270
1007.03/504.98	c flip 40000 nbSat=20119 maxSat=20270
1007.62/505.23	c flip 50000 nbSat=20141 maxSat=20270
1008.02/505.46	c flip 60000 nbSat=20103 maxSat=20270
1008.22/505.51	c flip 0 nbSat=19031 maxSat=20270
1008.62/505.77	c flip 10000 nbSat=19947 maxSat=20270
1009.23/506.01	c flip 20000 nbSat=20142 maxSat=20270
1009.62/506.26	c flip 30000 nbSat=20105 maxSat=20270
1010.02/506.49	c flip 40000 nbSat=20124 maxSat=20270
1010.62/506.73	c flip 50000 nbSat=20095 maxSat=20270
1011.02/506.96	c flip 60000 nbSat=20163 maxSat=20270
1011.02/507.00	c flip 0 nbSat=18991 maxSat=20270
1011.62/507.26	c flip 10000 nbSat=19899 maxSat=20270
1012.22/507.51	c flip 20000 nbSat=20023 maxSat=20270
1012.61/507.75	c flip 30000 nbSat=20101 maxSat=20270
1013.21/508.00	c flip 40000 nbSat=20083 maxSat=20270
1013.62/508.24	c flip 50000 nbSat=20157 maxSat=20270
1014.01/508.47	c flip 60000 nbSat=20143 maxSat=20270
1014.21/508.52	c flip 0 nbSat=18985 maxSat=20270
1014.61/508.78	c flip 10000 nbSat=19972 maxSat=20270
1015.21/509.02	c flip 20000 nbSat=20118 maxSat=20270
1015.61/509.27	c flip 30000 nbSat=20136 maxSat=20270
1016.20/509.51	c flip 40000 nbSat=20138 maxSat=20270
1016.60/509.74	c flip 50000 nbSat=20117 maxSat=20270
1017.00/509.98	c flip 60000 nbSat=20109 maxSat=20270
1017.20/510.02	c flip 0 nbSat=19016 maxSat=20270
1017.60/510.28	c flip 10000 nbSat=20014 maxSat=20270
1018.20/510.53	c flip 20000 nbSat=20068 maxSat=20270
1018.60/510.77	c flip 30000 nbSat=20059 maxSat=20270
1019.20/511.02	c flip 40000 nbSat=20080 maxSat=20270
1019.61/511.25	c flip 50000 nbSat=20115 maxSat=20270
1020.01/511.49	c flip 60000 nbSat=20131 maxSat=20270
1020.21/511.53	c flip 0 nbSat=19027 maxSat=20270
1020.60/511.79	c flip 10000 nbSat=20024 maxSat=20270
1021.20/512.03	c flip 20000 nbSat=20068 maxSat=20270
1021.60/512.28	c flip 30000 nbSat=20104 maxSat=20270
1022.21/512.52	c flip 40000 nbSat=20112 maxSat=20270
1022.60/512.75	c flip 50000 nbSat=20105 maxSat=20270
1023.19/513.00	c flip 60000 nbSat=20156 maxSat=20270
1023.19/513.04	c flip 0 nbSat=19008 maxSat=20270
1023.79/513.31	c flip 10000 nbSat=19919 maxSat=20270
1024.19/513.55	c flip 20000 nbSat=20055 maxSat=20270
1024.59/513.79	c flip 30000 nbSat=20095 maxSat=20270
1025.18/514.02	c flip 40000 nbSat=20133 maxSat=20270
1025.58/514.25	c flip 50000 nbSat=20132 maxSat=20270
1025.98/514.48	c flip 60000 nbSat=20150 maxSat=20270
1026.18/514.52	c flip 0 nbSat=19048 maxSat=20270
1026.59/514.79	c flip 10000 nbSat=19937 maxSat=20270
1027.18/515.03	c flip 20000 nbSat=20062 maxSat=20270
1027.58/515.26	c flip 30000 nbSat=20083 maxSat=20270
1028.18/515.50	c flip 40000 nbSat=20162 maxSat=20270
1028.58/515.73	c flip 50000 nbSat=20134 maxSat=20270
1028.98/515.97	c flip 60000 nbSat=20192 maxSat=20270
1029.17/516.01	c flip 0 nbSat=19012 maxSat=20270
1029.57/516.28	c flip 10000 nbSat=19898 maxSat=20270
1030.17/516.51	c flip 20000 nbSat=20069 maxSat=20270
1030.57/516.75	c flip 30000 nbSat=20111 maxSat=20270
1030.98/516.99	c flip 40000 nbSat=20131 maxSat=20270
1031.57/517.23	c flip 50000 nbSat=20128 maxSat=20270
1031.97/517.47	c flip 60000 nbSat=20169 maxSat=20270
1032.17/517.50	c flip 0 nbSat=19024 maxSat=20270
1032.57/517.77	c flip 10000 nbSat=19992 maxSat=20270
1033.17/518.01	c flip 20000 nbSat=20101 maxSat=20270
1033.56/518.25	c flip 30000 nbSat=20103 maxSat=20270
1033.96/518.48	c flip 40000 nbSat=20125 maxSat=20270
1034.56/518.72	c flip 50000 nbSat=20170 maxSat=20270
1034.96/518.95	c flip 60000 nbSat=20179 maxSat=20270
1034.96/518.99	c flip 0 nbSat=19004 maxSat=20270
1035.56/519.26	c flip 10000 nbSat=19913 maxSat=20270
1036.16/519.50	c flip 20000 nbSat=20081 maxSat=20270
1036.56/519.74	c flip 30000 nbSat=20085 maxSat=20270
1036.96/519.98	c flip 40000 nbSat=20165 maxSat=20270
1037.56/520.22	c flip 50000 nbSat=20111 maxSat=20270
1037.95/520.46	c flip 60000 nbSat=20171 maxSat=20270
1037.95/520.50	c flip 0 nbSat=18977 maxSat=20270
1038.55/520.76	c flip 10000 nbSat=19876 maxSat=20270
1039.15/521.02	c flip 20000 nbSat=19992 maxSat=20270
1039.55/521.27	c flip 30000 nbSat=20119 maxSat=20270
1040.15/521.50	c flip 40000 nbSat=20108 maxSat=20270
1040.55/521.75	c flip 50000 nbSat=20090 maxSat=20270
1040.95/521.99	c flip 60000 nbSat=20163 maxSat=20270
1041.15/522.02	c flip 0 nbSat=19018 maxSat=20270
1041.75/522.30	c flip 10000 nbSat=19918 maxSat=20270
1042.15/522.54	c flip 20000 nbSat=20074 maxSat=20270
1042.54/522.77	c flip 30000 nbSat=20113 maxSat=20270
1043.14/523.00	c flip 40000 nbSat=20118 maxSat=20270
1043.54/523.24	c flip 50000 nbSat=20079 maxSat=20270
1043.94/523.48	c flip 60000 nbSat=20134 maxSat=20270
1044.14/523.52	c flip 0 nbSat=18974 maxSat=20270
1044.53/523.79	c flip 10000 nbSat=19979 maxSat=20270
1045.13/524.03	c flip 20000 nbSat=20109 maxSat=20270
1045.53/524.27	c flip 30000 nbSat=20146 maxSat=20270
1046.13/524.51	c flip 40000 nbSat=20100 maxSat=20270
1046.53/524.76	c flip 50000 nbSat=20174 maxSat=20270
1046.92/524.99	c flip 60000 nbSat=20155 maxSat=20270
1047.12/525.03	c flip 0 nbSat=19023 maxSat=20270
1047.72/525.30	c flip 10000 nbSat=19984 maxSat=20270
1048.12/525.54	c flip 20000 nbSat=20071 maxSat=20270
1048.53/525.78	c flip 30000 nbSat=20066 maxSat=20270
1049.12/526.02	c flip 40000 nbSat=20106 maxSat=20270
1049.52/526.27	c flip 50000 nbSat=20077 maxSat=20270
1050.12/526.50	c flip 60000 nbSat=20076 maxSat=20270
1050.12/526.55	c flip 0 nbSat=19026 maxSat=20270
1050.72/526.81	c flip 10000 nbSat=19958 maxSat=20270
1051.12/527.05	c flip 20000 nbSat=20079 maxSat=20270
1051.52/527.29	c flip 30000 nbSat=20139 maxSat=20270
1052.12/527.52	c flip 40000 nbSat=20075 maxSat=20270
1052.52/527.76	c flip 50000 nbSat=20093 maxSat=20270
1052.92/528.00	c flip 60000 nbSat=20058 maxSat=20270
1053.12/528.04	c flip 0 nbSat=19031 maxSat=20270
1053.71/528.31	c flip 10000 nbSat=19977 maxSat=20270
1054.11/528.55	c flip 20000 nbSat=20045 maxSat=20270
1054.71/528.80	c flip 30000 nbSat=20066 maxSat=20270
1055.11/529.03	c flip 40000 nbSat=20087 maxSat=20270
1055.51/529.27	c flip 50000 nbSat=20148 maxSat=20270
1056.11/529.51	c flip 60000 nbSat=20158 maxSat=20270
1056.11/529.55	c flip 0 nbSat=19007 maxSat=20270
1056.71/529.81	c flip 10000 nbSat=19912 maxSat=20270
1057.11/530.05	c flip 20000 nbSat=20083 maxSat=20270
1057.51/530.29	c flip 30000 nbSat=20163 maxSat=20270
1058.10/530.52	c flip 40000 nbSat=20165 maxSat=20270
1058.50/530.75	c flip 50000 nbSat=20140 maxSat=20270
1058.90/530.98	c flip 60000 nbSat=20211 maxSat=20270
1059.10/531.02	c flip 0 nbSat=19019 maxSat=20270
1059.50/531.29	c flip 10000 nbSat=19966 maxSat=20270
1060.10/531.53	c flip 20000 nbSat=20065 maxSat=20270
1060.50/531.77	c flip 30000 nbSat=20047 maxSat=20270
1061.10/532.01	c flip 40000 nbSat=20120 maxSat=20270
1061.50/532.24	c flip 50000 nbSat=20124 maxSat=20270
1061.90/532.47	c flip 60000 nbSat=20178 maxSat=20270
1062.09/532.51	c flip 0 nbSat=18997 maxSat=20270
1062.49/532.76	c flip 10000 nbSat=19928 maxSat=20270
1063.09/533.01	c flip 20000 nbSat=20102 maxSat=20270
1063.49/533.25	c flip 30000 nbSat=20143 maxSat=20270
1063.89/533.48	c flip 40000 nbSat=20139 maxSat=20270
1064.49/533.71	c flip 50000 nbSat=20182 maxSat=20270
1064.89/533.95	c flip 60000 nbSat=20189 maxSat=20270
1064.89/534.00	c flip 0 nbSat=19006 maxSat=20270
1065.49/534.26	c flip 10000 nbSat=19917 maxSat=20270
1065.88/534.49	c flip 20000 nbSat=20062 maxSat=20270
1066.48/534.72	c flip 30000 nbSat=20124 maxSat=20270
1066.88/534.95	c flip 40000 nbSat=20112 maxSat=20270
1067.28/535.19	c flip 50000 nbSat=20137 maxSat=20270
1067.88/535.42	c flip 60000 nbSat=20141 maxSat=20270
1067.88/535.46	c flip 0 nbSat=18956 maxSat=20270
1068.48/535.73	c flip 10000 nbSat=19919 maxSat=20270
1068.88/535.97	c flip 20000 nbSat=20027 maxSat=20270
1069.48/536.23	c flip 30000 nbSat=20117 maxSat=20270
1069.88/536.46	c flip 40000 nbSat=20147 maxSat=20270
1070.28/536.69	c flip 50000 nbSat=20141 maxSat=20270
1070.87/536.93	c flip 60000 nbSat=20154 maxSat=20270
1070.87/536.98	c flip 0 nbSat=18996 maxSat=20270
1071.47/537.24	c flip 10000 nbSat=19974 maxSat=20270
1071.87/537.48	c flip 20000 nbSat=20041 maxSat=20270
1072.47/537.73	c flip 30000 nbSat=20076 maxSat=20270
1072.87/537.97	c flip 40000 nbSat=20092 maxSat=20270
1073.47/538.22	c flip 50000 nbSat=20128 maxSat=20270
1073.87/538.46	c flip 60000 nbSat=20132 maxSat=20270
1074.07/538.50	c flip 0 nbSat=19017 maxSat=20270
1074.47/538.77	c flip 10000 nbSat=19943 maxSat=20270
1075.07/539.01	c flip 20000 nbSat=20040 maxSat=20270
1075.46/539.25	c flip 30000 nbSat=20124 maxSat=20270
1075.86/539.49	c flip 40000 nbSat=20099 maxSat=20270
1076.46/539.73	c flip 50000 nbSat=20055 maxSat=20270
1076.86/539.97	c flip 60000 nbSat=20097 maxSat=20270
1077.07/540.01	c flip 0 nbSat=19026 maxSat=20270
1077.46/540.27	c flip 10000 nbSat=19955 maxSat=20270
1078.06/540.52	c flip 20000 nbSat=20035 maxSat=20270
1078.46/540.75	c flip 30000 nbSat=20141 maxSat=20270
1078.86/540.99	c flip 40000 nbSat=20112 maxSat=20270
1079.46/541.22	c flip 50000 nbSat=20108 maxSat=20270
1079.85/541.47	c flip 60000 nbSat=20162 maxSat=20270
1080.05/541.51	c flip 0 nbSat=19053 maxSat=20270
1080.45/541.77	c flip 10000 nbSat=19996 maxSat=20270
1081.05/542.02	c flip 20000 nbSat=20108 maxSat=20270
1081.46/542.26	c flip 30000 nbSat=20056 maxSat=20270
1082.05/542.51	c flip 40000 nbSat=20130 maxSat=20270
1082.45/542.75	c flip 50000 nbSat=20125 maxSat=20270
1082.85/542.98	c flip 60000 nbSat=20131 maxSat=20270
1083.05/543.02	c flip 0 nbSat=19031 maxSat=20270
1083.45/543.29	c flip 10000 nbSat=19975 maxSat=20270
1084.04/543.53	c flip 20000 nbSat=20078 maxSat=20270
1084.44/543.77	c flip 30000 nbSat=20108 maxSat=20270
1085.04/544.01	c flip 40000 nbSat=20143 maxSat=20270
1085.44/544.25	c flip 50000 nbSat=20088 maxSat=20270
1085.84/544.49	c flip 60000 nbSat=20145 maxSat=20270
1086.04/544.53	c flip 0 nbSat=18948 maxSat=20270
1086.64/544.80	c flip 10000 nbSat=19970 maxSat=20270
1087.04/545.04	c flip 20000 nbSat=20127 maxSat=20270
1087.44/545.28	c flip 30000 nbSat=20113 maxSat=20270
1088.04/545.51	c flip 40000 nbSat=20151 maxSat=20270
1088.43/545.75	c flip 50000 nbSat=20170 maxSat=20270
1088.83/545.98	c flip 60000 nbSat=20126 maxSat=20270
1089.03/546.02	c flip 0 nbSat=19021 maxSat=20270
1089.43/546.29	c flip 10000 nbSat=19903 maxSat=20270
1090.03/546.54	c flip 20000 nbSat=20050 maxSat=20270
1090.44/546.77	c flip 30000 nbSat=20101 maxSat=20270
1091.03/547.01	c flip 40000 nbSat=20055 maxSat=20270
1091.43/547.24	c flip 50000 nbSat=20165 maxSat=20270
1091.83/547.47	c flip 60000 nbSat=20153 maxSat=20270
1092.03/547.51	c flip 0 nbSat=18984 maxSat=20270
1092.43/547.78	c flip 10000 nbSat=19983 maxSat=20270
1093.02/548.01	c flip 20000 nbSat=20100 maxSat=20270
1093.42/548.25	c flip 30000 nbSat=20142 maxSat=20270
1093.82/548.48	c flip 40000 nbSat=20204 maxSat=20270
1094.42/548.72	c flip 50000 nbSat=20135 maxSat=20270
1094.83/548.96	c flip 60000 nbSat=20140 maxSat=20270
1094.83/549.00	c flip 0 nbSat=19063 maxSat=20270
1095.42/549.27	c flip 10000 nbSat=19945 maxSat=20270
1096.02/549.51	c flip 20000 nbSat=20087 maxSat=20270
1096.42/549.75	c flip 30000 nbSat=20151 maxSat=20270
1096.82/549.98	c flip 40000 nbSat=20160 maxSat=20270
1097.42/550.22	c flip 50000 nbSat=20120 maxSat=20270
1097.82/550.45	c flip 60000 nbSat=20151 maxSat=20270
1097.82/550.48	c flip 0 nbSat=19010 maxSat=20270
1098.41/550.75	c flip 10000 nbSat=19942 maxSat=20270
1098.81/550.98	c flip 20000 nbSat=20075 maxSat=20270
1099.41/551.23	c flip 30000 nbSat=20147 maxSat=20270
1099.81/551.47	c flip 40000 nbSat=20113 maxSat=20270
1100.41/551.71	c flip 50000 nbSat=20139 maxSat=20270
1100.81/551.95	c flip 60000 nbSat=20126 maxSat=20270
1100.81/551.99	c flip 0 nbSat=18995 maxSat=20270
1101.41/552.25	c flip 10000 nbSat=19983 maxSat=20270
1102.00/552.50	c flip 20000 nbSat=19998 maxSat=20270
1102.40/552.74	c flip 30000 nbSat=20091 maxSat=20270
1102.80/552.97	c flip 40000 nbSat=20148 maxSat=20270
1103.20/553.20	c flip 50000 nbSat=20145 maxSat=20270
1103.80/553.43	c flip 60000 nbSat=20107 maxSat=20270
1103.80/553.48	c flip 0 nbSat=19061 maxSat=20270
1104.40/553.74	c flip 10000 nbSat=19966 maxSat=20270
1104.80/553.99	c flip 20000 nbSat=20053 maxSat=20270
1105.40/554.23	c flip 30000 nbSat=20098 maxSat=20270
1105.80/554.47	c flip 40000 nbSat=20115 maxSat=20270
1106.39/554.72	c flip 50000 nbSat=20146 maxSat=20270
1106.79/554.95	c flip 60000 nbSat=20140 maxSat=20270
1106.79/554.99	c flip 0 nbSat=18984 maxSat=20270
1107.39/555.26	c flip 10000 nbSat=19856 maxSat=20270
1108.00/555.51	c flip 20000 nbSat=19983 maxSat=20270
1108.39/555.76	c flip 30000 nbSat=20050 maxSat=20270
1108.99/556.01	c flip 40000 nbSat=20106 maxSat=20270
1109.39/556.24	c flip 50000 nbSat=20104 maxSat=20270
1109.79/556.48	c flip 60000 nbSat=20114 maxSat=20270
1109.99/556.52	c flip 0 nbSat=19055 maxSat=20270
1110.38/556.79	c flip 10000 nbSat=19936 maxSat=20270
1110.98/557.04	c flip 20000 nbSat=20082 maxSat=20270
1111.38/557.28	c flip 30000 nbSat=20107 maxSat=20270
1111.98/557.52	c flip 40000 nbSat=20136 maxSat=20270
1112.39/557.76	c flip 50000 nbSat=20170 maxSat=20270
1112.77/557.99	c flip 60000 nbSat=20199 maxSat=20270
1112.97/558.03	c flip 0 nbSat=18923 maxSat=20270
1113.37/558.30	c flip 10000 nbSat=19923 maxSat=20270
1113.97/558.54	c flip 20000 nbSat=20093 maxSat=20270
1114.37/558.79	c flip 30000 nbSat=20105 maxSat=20270
1114.96/559.02	c flip 40000 nbSat=20168 maxSat=20270
1115.36/559.27	c flip 50000 nbSat=20091 maxSat=20270
1115.96/559.52	c flip 60000 nbSat=20165 maxSat=20270
1115.96/559.56	c flip 0 nbSat=19042 maxSat=20270
1116.57/559.82	c flip 10000 nbSat=19955 maxSat=20270
1116.96/560.08	c flip 20000 nbSat=20023 maxSat=20270
1117.56/560.33	c flip 30000 nbSat=20067 maxSat=20270
1117.96/560.57	c flip 40000 nbSat=20052 maxSat=20270
1118.56/560.81	c flip 50000 nbSat=20128 maxSat=20270
1118.96/561.05	c flip 60000 nbSat=20153 maxSat=20270
1118.96/561.09	c flip 0 nbSat=18995 maxSat=20270
1119.55/561.35	c flip 10000 nbSat=19901 maxSat=20270
1119.95/561.60	c flip 20000 nbSat=20068 maxSat=20270
1120.55/561.84	c flip 30000 nbSat=20110 maxSat=20270
1120.95/562.08	c flip 40000 nbSat=20123 maxSat=20270
1121.55/562.33	c flip 50000 nbSat=20169 maxSat=20270
1121.95/562.56	c flip 60000 nbSat=20136 maxSat=20270
1121.95/562.59	c flip 0 nbSat=19062 maxSat=20270
1122.55/562.86	c flip 10000 nbSat=19941 maxSat=20270
1122.95/563.10	c flip 20000 nbSat=20064 maxSat=20270
1123.54/563.34	c flip 30000 nbSat=20152 maxSat=20270
1123.94/563.57	c flip 40000 nbSat=20071 maxSat=20270
1124.54/563.81	c flip 50000 nbSat=20092 maxSat=20270
1124.94/564.05	c flip 60000 nbSat=20122 maxSat=20270
1124.94/564.09	c flip 0 nbSat=19014 maxSat=20270
1125.54/564.36	c flip 10000 nbSat=19937 maxSat=20270
1126.14/564.61	c flip 20000 nbSat=20061 maxSat=20270
1126.54/564.84	c flip 30000 nbSat=20070 maxSat=20270
1126.94/565.09	c flip 40000 nbSat=20197 maxSat=20270
1127.54/565.34	c flip 50000 nbSat=20151 maxSat=20270
1127.93/565.57	c flip 60000 nbSat=20157 maxSat=20270
1128.13/565.61	c flip 0 nbSat=19030 maxSat=20270
1128.53/565.88	c flip 10000 nbSat=19978 maxSat=20270
1129.13/566.12	c flip 20000 nbSat=20119 maxSat=20270
1129.53/566.37	c flip 30000 nbSat=20086 maxSat=20270
1130.13/566.61	c flip 40000 nbSat=20120 maxSat=20270
1130.53/566.85	c flip 50000 nbSat=20131 maxSat=20270
1130.93/567.09	c flip 60000 nbSat=20194 maxSat=20270
1131.13/567.13	c flip 0 nbSat=19046 maxSat=20270
1131.73/567.40	c flip 10000 nbSat=19903 maxSat=20270
1132.13/567.64	c flip 20000 nbSat=20055 maxSat=20270
1132.52/567.87	c flip 30000 nbSat=20112 maxSat=20270
1133.12/568.12	c flip 40000 nbSat=20082 maxSat=20270
1133.52/568.35	c flip 50000 nbSat=20093 maxSat=20270
1133.92/568.60	c flip 60000 nbSat=20106 maxSat=20270
1134.13/568.64	c flip 0 nbSat=19019 maxSat=20270
1134.71/568.91	c flip 10000 nbSat=19922 maxSat=20270
1135.11/569.14	c flip 20000 nbSat=20065 maxSat=20270
1135.51/569.38	c flip 30000 nbSat=20131 maxSat=20270
1136.11/569.62	c flip 40000 nbSat=20142 maxSat=20270
1136.51/569.86	c flip 50000 nbSat=20124 maxSat=20270
1136.90/570.09	c flip 60000 nbSat=20128 maxSat=20270
1137.10/570.13	c flip 0 nbSat=19072 maxSat=20270
1137.70/570.40	c flip 10000 nbSat=19987 maxSat=20270
1138.10/570.63	c flip 20000 nbSat=20070 maxSat=20270
1138.51/570.86	c flip 30000 nbSat=20108 maxSat=20270
1138.90/571.09	c flip 40000 nbSat=20119 maxSat=20270
1139.50/571.33	c flip 50000 nbSat=20134 maxSat=20270
1139.90/571.56	c flip 60000 nbSat=20158 maxSat=20270
1140.10/571.60	c flip 0 nbSat=18985 maxSat=20270
1140.50/571.86	c flip 10000 nbSat=19926 maxSat=20270
1141.09/572.11	c flip 20000 nbSat=20030 maxSat=20270
1141.49/572.35	c flip 30000 nbSat=20109 maxSat=20270
1141.89/572.58	c flip 40000 nbSat=20128 maxSat=20270
1142.49/572.82	c flip 50000 nbSat=20135 maxSat=20270
1142.90/573.05	c flip 60000 nbSat=20148 maxSat=20270
1142.90/573.08	c flip 0 nbSat=19034 maxSat=20270
1143.49/573.34	c flip 10000 nbSat=19947 maxSat=20270
1143.89/573.59	c flip 20000 nbSat=19975 maxSat=20270
1144.49/573.83	c flip 30000 nbSat=20098 maxSat=20270
1144.89/574.07	c flip 40000 nbSat=20151 maxSat=20270
1145.30/574.29	c flip 50000 nbSat=20143 maxSat=20270
1145.89/574.54	c flip 60000 nbSat=20165 maxSat=20270
1145.89/574.58	c flip 0 nbSat=19076 maxSat=20270
1146.49/574.84	c flip 10000 nbSat=19930 maxSat=20270
1146.89/575.07	c flip 20000 nbSat=20086 maxSat=20270
1147.49/575.31	c flip 30000 nbSat=20101 maxSat=20270
1147.88/575.55	c flip 40000 nbSat=20114 maxSat=20270
1148.28/575.77	c flip 50000 nbSat=20116 maxSat=20270
1148.88/576.01	c flip 60000 nbSat=20139 maxSat=20270
1148.88/576.06	c flip 0 nbSat=18989 maxSat=20270
1149.48/576.32	c flip 10000 nbSat=20011 maxSat=20270
1149.88/576.56	c flip 20000 nbSat=20107 maxSat=20270
1150.48/576.80	c flip 30000 nbSat=20094 maxSat=20270
1150.88/577.03	c flip 40000 nbSat=20120 maxSat=20270
1151.27/577.28	c flip 50000 nbSat=20169 maxSat=20270
1151.88/577.51	c flip 60000 nbSat=20189 maxSat=20270
1151.88/577.55	c flip 0 nbSat=18986 maxSat=20270
1152.47/577.82	c flip 10000 nbSat=19888 maxSat=20270
1152.87/578.07	c flip 20000 nbSat=20046 maxSat=20270
1153.47/578.31	c flip 30000 nbSat=20113 maxSat=20270
1153.87/578.55	c flip 40000 nbSat=20111 maxSat=20270
1154.27/578.78	c flip 50000 nbSat=20128 maxSat=20270
1154.86/579.01	c flip 60000 nbSat=20100 maxSat=20270
1154.86/579.05	c flip 0 nbSat=19034 maxSat=20270
1155.46/579.32	c flip 10000 nbSat=19916 maxSat=20270
1155.86/579.56	c flip 20000 nbSat=20046 maxSat=20270
1156.27/579.80	c flip 30000 nbSat=20040 maxSat=20270
1156.86/580.03	c flip 40000 nbSat=20132 maxSat=20270
1157.26/580.27	c flip 50000 nbSat=20120 maxSat=20270
1157.86/580.51	c flip 60000 nbSat=20102 maxSat=20270
1157.86/580.55	c flip 0 nbSat=19038 maxSat=20270
1158.46/580.82	c flip 10000 nbSat=19969 maxSat=20270
1158.85/581.07	c flip 20000 nbSat=20113 maxSat=20270
1159.25/581.29	c flip 30000 nbSat=20137 maxSat=20270
1159.85/581.52	c flip 40000 nbSat=20127 maxSat=20270
1160.25/581.76	c flip 50000 nbSat=20154 maxSat=20270
1160.85/582.01	c flip 60000 nbSat=20108 maxSat=20270
1160.85/582.05	c flip 0 nbSat=18998 maxSat=20270
1161.45/582.32	c flip 10000 nbSat=19866 maxSat=20270
1161.85/582.55	c flip 20000 nbSat=20039 maxSat=20270
1162.45/582.80	c flip 30000 nbSat=20107 maxSat=20270
1162.85/583.04	c flip 40000 nbSat=20115 maxSat=20270
1163.25/583.28	c flip 50000 nbSat=20112 maxSat=20270
1163.85/583.51	c flip 60000 nbSat=20128 maxSat=20270
1163.85/583.55	c flip 0 nbSat=19046 maxSat=20270
1164.45/583.83	c flip 10000 nbSat=19991 maxSat=20270
1164.85/584.07	c flip 20000 nbSat=20069 maxSat=20270
1165.44/584.31	c flip 30000 nbSat=20137 maxSat=20270
1165.84/584.55	c flip 40000 nbSat=20113 maxSat=20270
1166.24/584.79	c flip 50000 nbSat=20153 maxSat=20270
1166.84/585.03	c flip 60000 nbSat=20195 maxSat=20270
1166.84/585.07	c flip 0 nbSat=18993 maxSat=20270
1167.44/585.34	c flip 10000 nbSat=19892 maxSat=20270
1167.84/585.58	c flip 20000 nbSat=20123 maxSat=20270
1168.44/585.80	c flip 30000 nbSat=20100 maxSat=20270
1168.84/586.04	c flip 40000 nbSat=20156 maxSat=20270
1169.24/586.27	c flip 50000 nbSat=20102 maxSat=20270
1169.83/586.51	c flip 60000 nbSat=20082 maxSat=20270
1169.83/586.55	c flip 0 nbSat=19018 maxSat=20270
1170.43/586.81	c flip 10000 nbSat=19957 maxSat=20270
1170.83/587.06	c flip 20000 nbSat=20076 maxSat=20270
1171.23/587.30	c flip 30000 nbSat=20124 maxSat=20270
1171.83/587.53	c flip 40000 nbSat=20085 maxSat=20270
1172.23/587.77	c flip 50000 nbSat=20104 maxSat=20270
1172.63/587.99	c flip 60000 nbSat=20125 maxSat=20270
1172.83/588.03	c flip 0 nbSat=19001 maxSat=20270
1173.42/588.30	c flip 10000 nbSat=19921 maxSat=20270
1173.83/588.53	c flip 20000 nbSat=20070 maxSat=20270
1174.22/588.77	c flip 30000 nbSat=20133 maxSat=20270
1174.82/589.00	c flip 40000 nbSat=20170 maxSat=20270
1175.22/589.23	c flip 50000 nbSat=20166 maxSat=20270
1175.62/589.46	c flip 60000 nbSat=20172 maxSat=20270
1175.82/589.50	c flip 0 nbSat=19027 maxSat=20270
1176.21/589.77	c flip 10000 nbSat=19921 maxSat=20270
1176.81/590.02	c flip 20000 nbSat=20072 maxSat=20270
1177.21/590.26	c flip 30000 nbSat=20094 maxSat=20270
1177.61/590.49	c flip 40000 nbSat=20137 maxSat=20270
1178.22/590.73	c flip 50000 nbSat=20121 maxSat=20270
1178.61/590.97	c flip 60000 nbSat=20176 maxSat=20270
1178.81/591.02	c flip 0 nbSat=19075 maxSat=20270
1179.21/591.29	c flip 10000 nbSat=19908 maxSat=20270
1179.81/591.53	c flip 20000 nbSat=20032 maxSat=20270
1180.21/591.77	c flip 30000 nbSat=20088 maxSat=20270
1180.81/592.00	c flip 40000 nbSat=20125 maxSat=20270
1181.21/592.24	c flip 50000 nbSat=20123 maxSat=20270
1181.61/592.47	c flip 60000 nbSat=20161 maxSat=20270
1181.81/592.51	c flip 0 nbSat=19062 maxSat=20270
1182.21/592.77	c flip 10000 nbSat=19937 maxSat=20270
1182.80/593.00	c flip 20000 nbSat=20084 maxSat=20270
1183.20/593.24	c flip 30000 nbSat=20129 maxSat=20270
1183.60/593.47	c flip 40000 nbSat=20131 maxSat=20270
1184.20/593.72	c flip 50000 nbSat=20159 maxSat=20270
1184.60/593.95	c flip 60000 nbSat=20155 maxSat=20270
1184.60/593.99	c flip 0 nbSat=19024 maxSat=20270
1185.19/594.26	c flip 10000 nbSat=19947 maxSat=20270
1185.59/594.49	c flip 20000 nbSat=20054 maxSat=20270
1186.19/594.73	c flip 30000 nbSat=20163 maxSat=20270
1186.59/594.97	c flip 40000 nbSat=20179 maxSat=20270
1187.19/595.21	c flip 50000 nbSat=20175 maxSat=20270
1187.59/595.45	c flip 60000 nbSat=20142 maxSat=20270
1187.59/595.49	c flip 0 nbSat=19014 maxSat=20270
1188.19/595.76	c flip 10000 nbSat=19913 maxSat=20270
1188.79/596.00	c flip 20000 nbSat=19995 maxSat=20270
1189.19/596.24	c flip 30000 nbSat=20113 maxSat=20270
1189.58/596.47	c flip 40000 nbSat=20146 maxSat=20270
1190.18/596.70	c flip 50000 nbSat=20231 maxSat=20270
1190.58/596.93	c flip 60000 nbSat=20092 maxSat=20270
1190.58/596.97	c flip 0 nbSat=18998 maxSat=20270
1191.19/597.23	c flip 10000 nbSat=19896 maxSat=20270
1191.58/597.48	c flip 20000 nbSat=20040 maxSat=20270
1192.18/597.73	c flip 30000 nbSat=20043 maxSat=20270
1192.58/597.98	c flip 40000 nbSat=20068 maxSat=20270
1193.18/598.22	c flip 50000 nbSat=20161 maxSat=20270
1193.58/598.46	c flip 60000 nbSat=20119 maxSat=20270
1193.77/598.50	c flip 0 nbSat=19015 maxSat=20270
1194.17/598.76	c flip 10000 nbSat=20012 maxSat=20270
1194.77/599.01	c flip 20000 nbSat=20047 maxSat=20270
1195.17/599.25	c flip 30000 nbSat=20069 maxSat=20270
1195.58/599.48	c flip 40000 nbSat=20112 maxSat=20270
1196.17/599.73	c flip 50000 nbSat=20136 maxSat=20270
1196.57/599.97	c flip 60000 nbSat=20227 maxSat=20270
1196.77/600.01	c flip 0 nbSat=19002 maxSat=20270
1197.17/600.29	c flip 10000 nbSat=19925 maxSat=20270
1197.77/600.53	c flip 20000 nbSat=20075 maxSat=20270
1198.17/600.77	c flip 30000 nbSat=20091 maxSat=20270
1198.57/600.99	c flip 40000 nbSat=20161 maxSat=20270
1199.17/601.22	c flip 50000 nbSat=20137 maxSat=20270
1199.56/601.46	c flip 60000 nbSat=20110 maxSat=20270
1199.76/601.50	c flip 0 nbSat=19043 maxSat=20270

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node21/watcher-337045-1173659054 -o ROOT/results/node21/solver-337045-1173659054 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/337045-1173659054/ornithorynque /tmp/evaluation/337045-1173659054/instance-337045-1173659054.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): 2400 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 9468
/proc/meminfo: memFree=1827048/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=1364 CPUtime=0
/proc/9468/stat : 9468 (ornithorynque) D 9466 9468 8699 0 -1 4194304 48 0 0 0 0 0 0 0 18 0 1 0 91876137 1396736 32 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221233870217 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/9468/statm: 341 32 25 42 0 3 0

[startup+0.0618469 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 9468
/proc/meminfo: memFree=1827048/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=5968 CPUtime=0
/proc/9468/stat : 9468 (ornithorynque) D 9466 9468 8699 0 -1 4194304 61 0 2 0 0 0 0 0 18 0 1 0 91876137 6111232 47 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221233870313 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/9468/statm: 1492 47 36 42 0 9 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5968

[startup+0.101852 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 9468
/proc/meminfo: memFree=1827048/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=18420 CPUtime=0
/proc/9468/stat : 9468 (ornithorynque) D 9466 9468 8699 0 -1 4194304 94 0 3 0 0 0 0 0 18 0 1 0 91876137 18862080 81 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221233873616 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/9468/statm: 4605 81 59 42 0 38 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18420

[startup+0.301876 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 9468
/proc/meminfo: memFree=1827048/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47664 CPUtime=0.28
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1451 0 6 0 28 0 0 0 18 0 3 0 91876137 48807936 1353 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11916 1353 387 42 0 6168 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 47664

[startup+0.701916 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 9468
/proc/meminfo: memFree=1827048/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47664 CPUtime=1.07
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1452 0 6 0 107 0 0 0 18 0 3 0 91876137 48807936 1354 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11916 1354 387 42 0 6168 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 47664

[startup+1.502 s]
/proc/loadavg: 1.00 1.00 1.00 3/80 9471
/proc/meminfo: memFree=1822544/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47664 CPUtime=2.67
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1460 0 6 0 267 0 0 0 18 0 3 0 91876137 48807936 1362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11916 1362 387 42 0 6168 0
[pid=9468/tid=9470] ppid=9466 vsize=47664 CPUtime=1.29
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 30 0 0 0 129 0 0 0 25 0 3 0 91876156 48807936 1362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242982 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47664 CPUtime=1.3
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 10 0 0 0 130 0 0 0 25 0 3 0 91876156 48807936 1362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238103 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 47664

[startup+3.10118 s]
/proc/loadavg: 1.08 1.02 1.01 3/80 9471
/proc/meminfo: memFree=1822352/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47664 CPUtime=5.86
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1460 0 6 0 586 0 0 0 18 0 3 0 91876137 48807936 1362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11916 1362 387 42 0 6168 0
[pid=9468/tid=9470] ppid=9466 vsize=47664 CPUtime=2.89
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 30 0 0 0 289 0 0 0 25 0 3 0 91876156 48807936 1362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242873 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47664 CPUtime=2.89
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 10 0 0 0 289 0 0 0 25 0 3 0 91876156 48807936 1362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238064 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 47664

[startup+6.30153 s]
/proc/loadavg: 1.08 1.02 1.01 3/80 9471
/proc/meminfo: memFree=1821968/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=12.25
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 1225 0 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=6.08
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 608 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242939 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=6.09
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 609 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241825 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 47928

[startup+12.7012 s]
/proc/loadavg: 1.22 1.05 1.02 3/80 9471
/proc/meminfo: memFree=1821912/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=25.02
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 2501 1 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=12.45
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 1245 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242963 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=12.49
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 1249 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241632 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 47928

[startup+25.5016 s]
/proc/loadavg: 1.34 1.08 1.02 3/80 9471
/proc/meminfo: memFree=1821912/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=50.54
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 5053 1 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=25.18
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 2518 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242992 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=25.28
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 2528 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 47928

[startup+51.1014 s]
/proc/loadavg: 1.56 1.15 1.05 3/80 9471
/proc/meminfo: memFree=1821912/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=101.63
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 10162 1 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=50.68
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 5068 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242995 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=50.86
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 5086 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284371 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 47928

[startup+102.306 s]
/proc/loadavg: 1.82 1.29 1.10 3/80 9471
/proc/meminfo: memFree=1821784/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=203.79
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 20377 2 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=101.66
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 10166 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242918 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=102.04
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 10203 1 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 47928

[startup+162.302 s]
/proc/loadavg: 1.93 1.42 1.15 3/80 9471
/proc/meminfo: memFree=1821848/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=323.48
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 32345 3 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=161.39
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 16139 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242957 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=162.01
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 16199 2 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.48
Current children cumulated vsize (KiB) 47928

[startup+222.301 s]
/proc/loadavg: 1.97 1.52 1.20 3/80 9471
/proc/meminfo: memFree=1821784/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=443.19
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 44315 4 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=221.13
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 22113 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242995 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=221.96
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 22194 2 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285972 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.19
Current children cumulated vsize (KiB) 47928

[startup+282.302 s]
/proc/loadavg: 1.99 1.61 1.25 3/80 9471
/proc/meminfo: memFree=1821784/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=562.91
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 56287 4 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=280.88
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 28088 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=281.94
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 28191 3 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.91
Current children cumulated vsize (KiB) 47928

[startup+342.301 s]
/proc/loadavg: 2.03 1.69 1.30 3/80 9471
/proc/meminfo: memFree=1821784/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=682.6
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 68255 5 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=340.61
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 34061 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242815 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=341.91
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 34187 4 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283685 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.6
Current children cumulated vsize (KiB) 47928

[startup+402.302 s]
/proc/loadavg: 2.01 1.74 1.34 3/80 9471
/proc/meminfo: memFree=1821720/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=802.32
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 80226 6 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=400.35
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 40035 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242914 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=401.88
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 40183 5 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241088 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.32
Current children cumulated vsize (KiB) 47928

[startup+462.301 s]
/proc/loadavg: 2.00 1.79 1.38 3/80 9471
/proc/meminfo: memFree=1821720/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=922.03
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 92196 7 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=460.1
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 46010 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242978 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=461.83
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 46178 5 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.03
Current children cumulated vsize (KiB) 47928

[startup+522.302 s]
/proc/loadavg: 2.00 1.82 1.41 3/80 9471
/proc/meminfo: memFree=1821720/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=1041.75
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 104167 8 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=519.84
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 51984 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242879 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=521.81
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 52175 6 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240902 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.75
Current children cumulated vsize (KiB) 47928

[startup+582.301 s]
/proc/loadavg: 2.00 1.85 1.45 3/80 9471
/proc/meminfo: memFree=1821656/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=1161.45
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 116137 8 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=579.58
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 57958 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=581.77
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 58171 6 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241705 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.45
Current children cumulated vsize (KiB) 47928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.707 s]
/proc/loadavg: 2.00 1.86 1.46 3/80 9471
/proc/meminfo: memFree=1821720/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=1200.17
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 120009 8 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=598.9
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 59890 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242879 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=601.18
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 60111 7 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242548 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 47928

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

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

[startup+601.707 s]
/proc/loadavg: 2.00 1.86 1.46 3/80 9471
/proc/meminfo: memFree=1821720/2055920 swapFree=4152672/4192956
[pid=9468] ppid=9466 vsize=47928 CPUtime=1200.17
/proc/9468/stat : 9468 (ornithorynque) S 9466 9468 8699 0 -1 4194304 1543 0 6 0 120009 8 0 0 18 0 3 0 91876137 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221245370235 0 0 4096 1088 18446744073709551615 0 0 17 0 0 0
/proc/9468/statm: 11982 1445 387 42 0 6234 0
[pid=9468/tid=9470] ppid=9466 vsize=47928 CPUtime=598.9
/proc/9468/task/9470/stat : 9470 (ornithorynque) R 9466 9468 8699 0 -1 4194368 71 0 0 0 59890 0 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242879 0 0 4096 1088 0 0 0 -1 0 0 0
[pid=9468/tid=9471] ppid=9466 vsize=47928 CPUtime=601.18
/proc/9468/task/9471/stat : 9471 (ornithorynque) R 9466 9468 8699 0 -1 4194368 52 0 0 0 60111 7 0 0 25 0 3 0 91876156 49078272 1445 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242548 0 0 4096 1088 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 47928

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.72
CPU time (s): 1200.2
CPU user time (s): 1200.11
CPU system time (s): 0.088986
CPU usage (%): 199.462
Max. virtual memory (cumulated for all children) (KiB): 47928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.11
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1543
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62
involuntary context switches= 25190

runsolver used 0.813876 second user time and 1.53977 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Mon Mar 12 00:24:14 UTC 2007

IDJOB= 337045
IDBENCH= 24689
IDSOLVER= 139
FILE ID= node21/337045-1173659054

PBS_JOBID= 4101390

Free space on /tmp= 66564 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest02/ezfact64_4.sat05-451.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/337045-1173659054/ornithorynque /tmp/evaluation/337045-1173659054/instance-337045-1173659054.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-337045-1173659054 -o ROOT/results/node21/solver-337045-1173659054 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/337045-1173659054/ornithorynque /tmp/evaluation/337045-1173659054/instance-337045-1173659054.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  713a8514216ff2acf847f596238604da

RANDOM SEED= 276965957

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1827456 kB
Buffers:         33496 kB
Cached:         136564 kB
SwapCached:       8848 kB
Active:         108780 kB
Inactive:        85408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1827456 kB
SwapTotal:     4192956 kB
SwapFree:      4152672 kB
Dirty:             688 kB
Writeback:           0 kB
Mapped:          30060 kB
Slab:            19808 kB
Committed_AS:   226864 kB
PageTables:       1768 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66564 MiB

End job on node21 on Mon Mar 12 00:34:18 UTC 2007