Trace number 328336

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.15 601.727

General information on the benchmark

Namerandom/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf
MD5SUMd1a87980ded0cf880f4810de1a082421
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1064.77
Satisfiable
(Un)Satisfiability was proved
Number of variables4497
Number of clauses12014
Sum of the clauses size32438
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23604
Number of clauses of size 38410
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.00/0.03	c ...done
0.00/0.03	c nbVar=4500 nbClause=12014
0.00/0.04	c nbVar=4500 nbClause=12014
0.00/0.04	c complete search running
0.00/0.04	c local search running
0.00/0.05	c flip 0 nbSat=10051 maxSat=0
0.14/0.10	c flip 10000 nbSat=11742 maxSat=11760
0.14/0.14	c flip 20000 nbSat=11832 maxSat=11833
0.14/0.19	c flip 30000 nbSat=11839 maxSat=11862
0.34/0.24	c flip 40000 nbSat=11841 maxSat=11877
0.34/0.28	c flip 50000 nbSat=11877 maxSat=11883
0.54/0.33	c flip 60000 nbSat=11876 maxSat=11887
0.54/0.38	c flip 70000 nbSat=11880 maxSat=11893
0.74/0.43	c flip 80000 nbSat=11895 maxSat=11902
0.74/0.48	c flip 0 nbSat=11318 maxSat=11908
0.94/0.56	c flip 10000 nbSat=12976 maxSat=13011
1.14/0.63	c flip 20000 nbSat=13060 maxSat=13076
1.34/0.70	c flip 30000 nbSat=13077 maxSat=13093
1.34/0.78	c flip 40000 nbSat=13105 maxSat=13112
1.54/0.85	c flip 50000 nbSat=13102 maxSat=13121
1.74/0.93	c flip 60000 nbSat=13111 maxSat=13124
1.94/1.01	c flip 70000 nbSat=13127 maxSat=13128
1.94/1.09	c flip 80000 nbSat=13110 maxSat=13131
2.14/1.17	c flip 0 nbSat=12986 maxSat=13135
2.33/1.29	c flip 10000 nbSat=14714 maxSat=14733
2.73/1.41	c flip 20000 nbSat=14780 maxSat=14798
2.93/1.53	c flip 30000 nbSat=14813 maxSat=14833
3.13/1.64	c flip 40000 nbSat=14829 maxSat=14842
3.33/1.76	c flip 50000 nbSat=14820 maxSat=14849
3.53/1.87	c flip 60000 nbSat=14841 maxSat=14853
3.73/1.97	c flip 70000 nbSat=14836 maxSat=14861
3.93/2.07	c flip 80000 nbSat=14843 maxSat=14864
4.13/2.17	c flip 0 nbSat=13491 maxSat=14864
4.53/2.30	c flip 10000 nbSat=15201 maxSat=15214
4.73/2.42	c flip 20000 nbSat=15269 maxSat=15280
4.93/2.55	c flip 30000 nbSat=15289 maxSat=15315
5.13/2.68	c flip 40000 nbSat=15320 maxSat=15327
5.53/2.80	c flip 50000 nbSat=15324 maxSat=15344
5.73/2.93	c flip 60000 nbSat=15321 maxSat=15346
5.93/3.05	c flip 70000 nbSat=15337 maxSat=15347
6.13/3.18	c flip 80000 nbSat=15342 maxSat=15347
6.54/3.30	c flip 0 nbSat=13443 maxSat=15348
6.73/3.43	c flip 10000 nbSat=15157 maxSat=15348
6.93/3.56	c flip 20000 nbSat=15246 maxSat=15348
7.13/3.69	c flip 30000 nbSat=15301 maxSat=15348
7.53/3.83	c flip 40000 nbSat=15301 maxSat=15348
7.73/3.97	c flip 50000 nbSat=15305 maxSat=15348
8.13/4.11	c flip 60000 nbSat=15307 maxSat=15348
8.33/4.25	c flip 70000 nbSat=15318 maxSat=15348
8.53/4.39	c flip 80000 nbSat=15307 maxSat=15348
8.92/4.52	c flip 0 nbSat=13483 maxSat=15348
9.12/4.65	c flip 10000 nbSat=15158 maxSat=15348
9.52/4.80	c flip 20000 nbSat=15266 maxSat=15348
9.72/4.94	c flip 30000 nbSat=15292 maxSat=15348
9.92/5.07	c flip 40000 nbSat=15291 maxSat=15348
10.32/5.21	c flip 50000 nbSat=15303 maxSat=15348
10.52/5.33	c flip 60000 nbSat=15308 maxSat=15348
10.73/5.46	c flip 70000 nbSat=15317 maxSat=15348
10.93/5.58	c flip 80000 nbSat=15301 maxSat=15348
11.32/5.73	c flip 0 nbSat=13479 maxSat=15348
11.52/5.86	c flip 10000 nbSat=15207 maxSat=15348
11.92/6.00	c flip 20000 nbSat=15273 maxSat=15348
12.12/6.14	c flip 30000 nbSat=15303 maxSat=15348
12.32/6.28	c flip 40000 nbSat=15297 maxSat=15348
12.72/6.42	c flip 50000 nbSat=15313 maxSat=15348
12.92/6.58	c flip 60000 nbSat=15304 maxSat=15348
13.31/6.74	c flip 70000 nbSat=15317 maxSat=15348
13.71/6.91	c flip 80000 nbSat=15316 maxSat=15348
13.91/7.07	c flip 0 nbSat=13517 maxSat=15348
14.11/7.19	c flip 10000 nbSat=15188 maxSat=15348
14.51/7.31	c flip 20000 nbSat=15275 maxSat=15348
14.71/7.43	c flip 30000 nbSat=15306 maxSat=15348
14.91/7.54	c flip 40000 nbSat=15314 maxSat=15348
15.12/7.66	c flip 50000 nbSat=15317 maxSat=15348
15.31/7.77	c flip 60000 nbSat=15318 maxSat=15348
15.51/7.88	c flip 70000 nbSat=15309 maxSat=15348
15.71/7.99	c flip 80000 nbSat=15329 maxSat=15348
15.91/8.10	c flip 0 nbSat=13519 maxSat=15348
16.31/8.22	c flip 10000 nbSat=15209 maxSat=15348
16.51/8.35	c flip 20000 nbSat=15274 maxSat=15348
16.71/8.46	c flip 30000 nbSat=15287 maxSat=15348
16.91/8.59	c flip 40000 nbSat=15298 maxSat=15348
17.31/8.70	c flip 50000 nbSat=15320 maxSat=15348
17.51/8.82	c flip 60000 nbSat=15331 maxSat=15348
17.70/8.94	c flip 70000 nbSat=15323 maxSat=15348
17.90/9.06	c flip 80000 nbSat=15323 maxSat=15350
18.10/9.18	c flip 0 nbSat=13420 maxSat=15350
18.50/9.31	c flip 10000 nbSat=15193 maxSat=15350
18.70/9.43	c flip 20000 nbSat=15262 maxSat=15350
18.90/9.55	c flip 30000 nbSat=15273 maxSat=15350
19.10/9.68	c flip 40000 nbSat=15282 maxSat=15350
19.29/9.80	c flip 50000 nbSat=15303 maxSat=15350
19.70/9.92	c flip 60000 nbSat=15302 maxSat=15350
19.89/10.03	c flip 70000 nbSat=15313 maxSat=15350
20.09/10.15	c flip 80000 nbSat=15324 maxSat=15350
20.29/10.27	c flip 0 nbSat=13434 maxSat=15350
20.49/10.40	c flip 10000 nbSat=15186 maxSat=15350
20.89/10.52	c flip 20000 nbSat=15280 maxSat=15350
21.09/10.65	c flip 30000 nbSat=15321 maxSat=15350
21.29/10.79	c flip 40000 nbSat=15327 maxSat=15350
21.69/10.92	c flip 50000 nbSat=15337 maxSat=15350
21.89/11.04	c flip 60000 nbSat=15343 maxSat=15356
22.08/11.16	c flip 70000 nbSat=15355 maxSat=15362
22.28/11.28	c flip 80000 nbSat=15356 maxSat=15364
22.68/11.41	c flip 0 nbSat=13410 maxSat=15364
22.88/11.53	c flip 10000 nbSat=15225 maxSat=15364
23.08/11.68	c flip 20000 nbSat=15261 maxSat=15364
23.48/11.82	c flip 30000 nbSat=15303 maxSat=15364
23.68/11.97	c flip 40000 nbSat=15302 maxSat=15364
24.09/12.11	c flip 50000 nbSat=15315 maxSat=15364
24.28/12.25	c flip 60000 nbSat=15315 maxSat=15364
24.48/12.40	c flip 70000 nbSat=15332 maxSat=15364
24.88/12.54	c flip 80000 nbSat=15329 maxSat=15364
25.08/12.69	c flip 0 nbSat=13492 maxSat=15364
25.48/12.82	c flip 10000 nbSat=15192 maxSat=15364
25.68/12.94	c flip 20000 nbSat=15262 maxSat=15364
25.88/13.06	c flip 30000 nbSat=15278 maxSat=15364
26.08/13.18	c flip 40000 nbSat=15297 maxSat=15364
26.28/13.30	c flip 50000 nbSat=15298 maxSat=15364
26.67/13.41	c flip 60000 nbSat=15322 maxSat=15364
26.87/13.52	c flip 70000 nbSat=15328 maxSat=15364
27.07/13.63	c flip 80000 nbSat=15330 maxSat=15364
27.27/13.75	c flip 0 nbSat=13556 maxSat=15364
27.47/13.88	c flip 10000 nbSat=15180 maxSat=15364
27.67/13.99	c flip 20000 nbSat=15275 maxSat=15364
28.07/14.11	c flip 30000 nbSat=15279 maxSat=15364
28.28/14.23	c flip 40000 nbSat=15295 maxSat=15364
28.48/14.35	c flip 50000 nbSat=15310 maxSat=15364
28.67/14.47	c flip 60000 nbSat=15312 maxSat=15364
28.87/14.59	c flip 70000 nbSat=15296 maxSat=15364
29.27/14.72	c flip 80000 nbSat=15321 maxSat=15364
29.47/14.85	c flip 0 nbSat=13450 maxSat=15364
29.67/14.98	c flip 10000 nbSat=15172 maxSat=15364
30.07/15.12	c flip 20000 nbSat=15269 maxSat=15364
30.27/15.26	c flip 30000 nbSat=15299 maxSat=15364
30.47/15.38	c flip 40000 nbSat=15314 maxSat=15364
30.67/15.49	c flip 50000 nbSat=15322 maxSat=15364
31.06/15.63	c flip 60000 nbSat=15329 maxSat=15364
31.26/15.75	c flip 70000 nbSat=15338 maxSat=15364
31.46/15.88	c flip 80000 nbSat=15345 maxSat=15364
31.86/16.00	c flip 0 nbSat=13482 maxSat=15364
32.06/16.13	c flip 10000 nbSat=15219 maxSat=15364
32.26/16.25	c flip 20000 nbSat=15294 maxSat=15364
32.46/16.37	c flip 30000 nbSat=15326 maxSat=15364
32.67/16.49	c flip 40000 nbSat=15336 maxSat=15364
33.06/16.60	c flip 50000 nbSat=15339 maxSat=15364
33.25/16.74	c flip 60000 nbSat=15340 maxSat=15364
33.45/16.86	c flip 70000 nbSat=15347 maxSat=15364
33.65/16.98	c flip 80000 nbSat=15343 maxSat=15364
34.05/17.10	c flip 0 nbSat=13458 maxSat=15364
34.25/17.23	c flip 10000 nbSat=15210 maxSat=15364
34.45/17.36	c flip 20000 nbSat=15275 maxSat=15364
34.65/17.49	c flip 30000 nbSat=15326 maxSat=15364
35.05/17.63	c flip 40000 nbSat=15327 maxSat=15364
35.25/17.75	c flip 50000 nbSat=15321 maxSat=15364
35.44/17.87	c flip 60000 nbSat=15334 maxSat=15364
35.64/17.99	c flip 70000 nbSat=15332 maxSat=15364
36.04/18.12	c flip 80000 nbSat=15336 maxSat=15364
36.24/18.25	c flip 0 nbSat=13509 maxSat=15364
36.44/18.38	c flip 10000 nbSat=15201 maxSat=15364
36.84/18.51	c flip 20000 nbSat=15257 maxSat=15364
37.05/18.64	c flip 30000 nbSat=15297 maxSat=15364
37.25/18.77	c flip 40000 nbSat=15308 maxSat=15364
37.64/18.90	c flip 50000 nbSat=15312 maxSat=15364
37.84/19.02	c flip 60000 nbSat=15346 maxSat=15364
38.04/19.14	c flip 70000 nbSat=15337 maxSat=15364
38.24/19.25	c flip 80000 nbSat=15338 maxSat=15364
38.44/19.37	c flip 0 nbSat=13443 maxSat=15364
38.64/19.50	c flip 10000 nbSat=15218 maxSat=15364
39.04/19.62	c flip 20000 nbSat=15278 maxSat=15364
39.24/19.75	c flip 30000 nbSat=15291 maxSat=15364
39.44/19.87	c flip 40000 nbSat=15293 maxSat=15364
39.83/20.00	c flip 50000 nbSat=15319 maxSat=15364
40.03/20.14	c flip 60000 nbSat=15330 maxSat=15364
40.23/20.27	c flip 70000 nbSat=15316 maxSat=15364
40.43/20.39	c flip 80000 nbSat=15329 maxSat=15364
40.83/20.50	c flip 0 nbSat=13454 maxSat=15364
41.03/20.64	c flip 10000 nbSat=15191 maxSat=15364
41.23/20.76	c flip 20000 nbSat=15275 maxSat=15364
41.63/20.91	c flip 30000 nbSat=15286 maxSat=15364
41.83/21.03	c flip 40000 nbSat=15290 maxSat=15364
42.03/21.16	c flip 50000 nbSat=15294 maxSat=15364
42.23/21.28	c flip 60000 nbSat=15311 maxSat=15364
42.63/21.40	c flip 70000 nbSat=15313 maxSat=15364
42.83/21.52	c flip 80000 nbSat=15316 maxSat=15364
43.03/21.64	c flip 0 nbSat=13463 maxSat=15364
43.23/21.77	c flip 10000 nbSat=15222 maxSat=15364
43.63/21.93	c flip 20000 nbSat=15272 maxSat=15364
43.83/22.09	c flip 30000 nbSat=15314 maxSat=15364
44.22/22.26	c flip 40000 nbSat=15312 maxSat=15364
44.62/22.43	c flip 50000 nbSat=15323 maxSat=15364
44.82/22.59	c flip 60000 nbSat=15318 maxSat=15364
45.22/22.77	c flip 70000 nbSat=15323 maxSat=15364
45.62/22.94	c flip 80000 nbSat=15314 maxSat=15364
46.03/23.11	c flip 0 nbSat=13460 maxSat=15364
46.22/23.23	c flip 10000 nbSat=15195 maxSat=15364
46.42/23.35	c flip 20000 nbSat=15248 maxSat=15364
46.62/23.46	c flip 30000 nbSat=15284 maxSat=15364
46.82/23.57	c flip 40000 nbSat=15284 maxSat=15364
47.02/23.68	c flip 50000 nbSat=15295 maxSat=15364
47.22/23.79	c flip 60000 nbSat=15304 maxSat=15364
47.42/23.90	c flip 70000 nbSat=15299 maxSat=15364
47.82/24.01	c flip 80000 nbSat=15304 maxSat=15364
48.02/24.13	c flip 0 nbSat=13482 maxSat=15364
48.22/24.26	c flip 10000 nbSat=15211 maxSat=15364
48.41/24.39	c flip 20000 nbSat=15274 maxSat=15364
48.81/24.54	c flip 30000 nbSat=15289 maxSat=15364
49.01/24.69	c flip 40000 nbSat=15306 maxSat=15364
49.41/24.83	c flip 50000 nbSat=15309 maxSat=15364
49.61/24.96	c flip 60000 nbSat=15313 maxSat=15364
49.81/25.09	c flip 70000 nbSat=15315 maxSat=15364
50.21/25.23	c flip 80000 nbSat=15319 maxSat=15364
50.41/25.38	c flip 0 nbSat=13504 maxSat=15364
50.81/25.51	c flip 10000 nbSat=15201 maxSat=15364
51.01/25.64	c flip 20000 nbSat=15286 maxSat=15364
51.21/25.76	c flip 30000 nbSat=15299 maxSat=15364
51.41/25.90	c flip 40000 nbSat=15292 maxSat=15364
51.81/26.03	c flip 50000 nbSat=15302 maxSat=15364
52.01/26.16	c flip 60000 nbSat=15309 maxSat=15364
52.41/26.30	c flip 70000 nbSat=15319 maxSat=15364
52.61/26.43	c flip 80000 nbSat=15334 maxSat=15364
52.80/26.56	c flip 0 nbSat=13561 maxSat=15364
53.00/26.68	c flip 10000 nbSat=15166 maxSat=15364
53.40/26.81	c flip 20000 nbSat=15258 maxSat=15364
53.60/26.94	c flip 30000 nbSat=15298 maxSat=15364
53.80/27.07	c flip 40000 nbSat=15302 maxSat=15364
54.20/27.22	c flip 50000 nbSat=15308 maxSat=15364
54.40/27.37	c flip 60000 nbSat=15316 maxSat=15364
54.81/27.52	c flip 70000 nbSat=15310 maxSat=15364
55.00/27.67	c flip 80000 nbSat=15302 maxSat=15364
55.40/27.83	c flip 0 nbSat=13527 maxSat=15364
55.60/27.96	c flip 10000 nbSat=15181 maxSat=15364
55.80/28.09	c flip 20000 nbSat=15259 maxSat=15364
56.20/28.24	c flip 30000 nbSat=15295 maxSat=15364
56.40/28.38	c flip 40000 nbSat=15300 maxSat=15364
56.80/28.55	c flip 50000 nbSat=15309 maxSat=15364
57.19/28.71	c flip 60000 nbSat=15319 maxSat=15364
57.39/28.88	c flip 70000 nbSat=15320 maxSat=15364
57.79/29.04	c flip 80000 nbSat=15319 maxSat=15364
58.19/29.20	c flip 0 nbSat=13465 maxSat=15364
58.39/29.34	c flip 10000 nbSat=15184 maxSat=15364
58.59/29.47	c flip 20000 nbSat=15258 maxSat=15364
58.99/29.62	c flip 30000 nbSat=15299 maxSat=15364
59.19/29.75	c flip 40000 nbSat=15302 maxSat=15364
59.39/29.87	c flip 50000 nbSat=15313 maxSat=15364
59.59/29.99	c flip 60000 nbSat=15310 maxSat=15364
59.99/30.11	c flip 70000 nbSat=15316 maxSat=15364
60.19/30.22	c flip 80000 nbSat=15323 maxSat=15364
60.38/30.34	c flip 0 nbSat=13537 maxSat=15364
60.58/30.46	c flip 10000 nbSat=15190 maxSat=15364
60.78/30.58	c flip 20000 nbSat=15278 maxSat=15364
61.19/30.70	c flip 30000 nbSat=15291 maxSat=15364
61.39/30.82	c flip 40000 nbSat=15308 maxSat=15364
61.58/30.94	c flip 50000 nbSat=15323 maxSat=15364
61.78/31.06	c flip 60000 nbSat=15330 maxSat=15364
61.98/31.19	c flip 70000 nbSat=15311 maxSat=15364
62.38/31.32	c flip 80000 nbSat=15320 maxSat=15364
62.58/31.45	c flip 0 nbSat=13528 maxSat=15364
62.78/31.58	c flip 10000 nbSat=15176 maxSat=15364
63.18/31.70	c flip 20000 nbSat=15261 maxSat=15364
63.39/31.83	c flip 30000 nbSat=15298 maxSat=15364
63.58/31.95	c flip 40000 nbSat=15308 maxSat=15364
63.78/32.08	c flip 50000 nbSat=15314 maxSat=15364
64.18/32.21	c flip 60000 nbSat=15314 maxSat=15364
64.38/32.32	c flip 70000 nbSat=15329 maxSat=15364
64.58/32.43	c flip 80000 nbSat=15339 maxSat=15364
64.78/32.55	c flip 0 nbSat=13529 maxSat=15364
64.98/32.67	c flip 10000 nbSat=15232 maxSat=15364
65.18/32.80	c flip 20000 nbSat=15272 maxSat=15364
65.58/32.91	c flip 30000 nbSat=15306 maxSat=15364
65.78/33.02	c flip 40000 nbSat=15313 maxSat=15364
65.97/33.13	c flip 50000 nbSat=15322 maxSat=15364
66.17/33.24	c flip 60000 nbSat=15325 maxSat=15364
66.37/33.35	c flip 70000 nbSat=15328 maxSat=15364
66.57/33.45	c flip 80000 nbSat=15336 maxSat=15364
66.77/33.56	c flip 0 nbSat=13462 maxSat=15364
66.97/33.68	c flip 10000 nbSat=15184 maxSat=15364
67.37/33.80	c flip 20000 nbSat=15291 maxSat=15364
67.57/33.93	c flip 30000 nbSat=15314 maxSat=15364
67.77/34.05	c flip 40000 nbSat=15299 maxSat=15364
67.97/34.18	c flip 50000 nbSat=15324 maxSat=15364
68.36/34.31	c flip 60000 nbSat=15316 maxSat=15364
68.56/34.44	c flip 70000 nbSat=15331 maxSat=15364
68.76/34.56	c flip 80000 nbSat=15340 maxSat=15364
68.96/34.69	c flip 0 nbSat=13497 maxSat=15364
69.36/34.82	c flip 10000 nbSat=15177 maxSat=15364
69.56/34.95	c flip 20000 nbSat=15245 maxSat=15364
69.76/35.08	c flip 30000 nbSat=15265 maxSat=15364
70.17/35.22	c flip 40000 nbSat=15281 maxSat=15364
70.36/35.36	c flip 50000 nbSat=15286 maxSat=15364
70.76/35.50	c flip 60000 nbSat=15300 maxSat=15364
70.96/35.64	c flip 70000 nbSat=15306 maxSat=15364
71.16/35.77	c flip 80000 nbSat=15297 maxSat=15364
71.56/35.90	c flip 0 nbSat=13451 maxSat=15364
71.76/36.03	c flip 10000 nbSat=15177 maxSat=15364
71.96/36.18	c flip 20000 nbSat=15268 maxSat=15364
72.36/36.35	c flip 30000 nbSat=15274 maxSat=15364
72.56/36.49	c flip 40000 nbSat=15291 maxSat=15364
72.96/36.64	c flip 50000 nbSat=15296 maxSat=15364
73.16/36.79	c flip 60000 nbSat=15318 maxSat=15364
73.56/36.94	c flip 70000 nbSat=15313 maxSat=15364
73.76/37.09	c flip 80000 nbSat=15306 maxSat=15364
74.16/37.25	c flip 0 nbSat=13451 maxSat=15364
74.36/37.38	c flip 10000 nbSat=15230 maxSat=15364
74.56/37.49	c flip 20000 nbSat=15293 maxSat=15364
74.95/37.60	c flip 30000 nbSat=15288 maxSat=15364
75.15/37.70	c flip 40000 nbSat=15303 maxSat=15364
75.35/37.81	c flip 50000 nbSat=15301 maxSat=15364
75.55/37.92	c flip 60000 nbSat=15311 maxSat=15364
75.75/38.04	c flip 70000 nbSat=15318 maxSat=15364
75.95/38.15	c flip 80000 nbSat=15320 maxSat=15364
76.15/38.27	c flip 0 nbSat=13503 maxSat=15364
76.55/38.41	c flip 10000 nbSat=15244 maxSat=15364
76.75/38.55	c flip 20000 nbSat=15279 maxSat=15364
76.94/38.68	c flip 30000 nbSat=15306 maxSat=15364
77.34/38.81	c flip 40000 nbSat=15312 maxSat=15364
77.54/38.94	c flip 50000 nbSat=15309 maxSat=15364
77.74/39.06	c flip 60000 nbSat=15329 maxSat=15364
77.94/39.18	c flip 70000 nbSat=15311 maxSat=15364
78.34/39.31	c flip 80000 nbSat=15330 maxSat=15364
78.54/39.43	c flip 0 nbSat=13436 maxSat=15364
78.74/39.57	c flip 10000 nbSat=15196 maxSat=15364
79.13/39.71	c flip 20000 nbSat=15266 maxSat=15364
79.33/39.84	c flip 30000 nbSat=15284 maxSat=15364
79.53/39.97	c flip 40000 nbSat=15278 maxSat=15364
79.93/40.10	c flip 50000 nbSat=15283 maxSat=15364
80.13/40.23	c flip 60000 nbSat=15295 maxSat=15364
80.33/40.36	c flip 70000 nbSat=15299 maxSat=15364
80.73/40.51	c flip 80000 nbSat=15301 maxSat=15364
80.94/40.66	c flip 0 nbSat=13454 maxSat=15364
81.14/40.79	c flip 10000 nbSat=15199 maxSat=15364
81.53/40.92	c flip 20000 nbSat=15285 maxSat=15364
81.73/41.05	c flip 30000 nbSat=15326 maxSat=15364
81.93/41.18	c flip 40000 nbSat=15328 maxSat=15364
82.33/41.32	c flip 50000 nbSat=15341 maxSat=15364
82.53/41.45	c flip 60000 nbSat=15340 maxSat=15364
82.73/41.57	c flip 70000 nbSat=15341 maxSat=15364
83.13/41.71	c flip 80000 nbSat=15349 maxSat=15364
83.33/41.84	c flip 0 nbSat=13441 maxSat=15364
83.53/41.97	c flip 10000 nbSat=15168 maxSat=15364
83.93/42.11	c flip 20000 nbSat=15259 maxSat=15364
84.13/42.23	c flip 30000 nbSat=15271 maxSat=15364
84.33/42.35	c flip 40000 nbSat=15291 maxSat=15364
84.53/42.47	c flip 50000 nbSat=15293 maxSat=15364
84.73/42.60	c flip 60000 nbSat=15298 maxSat=15364
85.13/42.73	c flip 70000 nbSat=15306 maxSat=15364
85.33/42.85	c flip 80000 nbSat=15312 maxSat=15364
85.53/42.96	c flip 0 nbSat=13539 maxSat=15364
85.72/43.08	c flip 10000 nbSat=15188 maxSat=15364
86.12/43.20	c flip 20000 nbSat=15267 maxSat=15364
86.32/43.32	c flip 30000 nbSat=15295 maxSat=15364
86.52/43.44	c flip 40000 nbSat=15297 maxSat=15364
86.72/43.57	c flip 50000 nbSat=15305 maxSat=15364
87.12/43.70	c flip 60000 nbSat=15303 maxSat=15364
87.32/43.83	c flip 70000 nbSat=15322 maxSat=15364
87.52/43.97	c flip 80000 nbSat=15333 maxSat=15364
87.91/44.12	c flip 0 nbSat=13500 maxSat=15364
88.11/44.25	c flip 10000 nbSat=15208 maxSat=15364
88.31/44.36	c flip 20000 nbSat=15262 maxSat=15364
88.51/44.48	c flip 30000 nbSat=15283 maxSat=15364
88.71/44.59	c flip 40000 nbSat=15307 maxSat=15364
89.11/44.70	c flip 50000 nbSat=15319 maxSat=15364
89.31/44.82	c flip 60000 nbSat=15322 maxSat=15364
89.51/44.93	c flip 70000 nbSat=15322 maxSat=15364
89.72/45.05	c flip 80000 nbSat=15328 maxSat=15364
89.92/45.17	c flip 0 nbSat=13505 maxSat=15364
90.31/45.30	c flip 10000 nbSat=15213 maxSat=15364
90.51/45.41	c flip 20000 nbSat=15288 maxSat=15364
90.71/45.52	c flip 30000 nbSat=15287 maxSat=15364
90.91/45.64	c flip 40000 nbSat=15285 maxSat=15364
91.11/45.76	c flip 50000 nbSat=15300 maxSat=15364
91.31/45.88	c flip 60000 nbSat=15305 maxSat=15364
91.51/45.99	c flip 70000 nbSat=15318 maxSat=15364
91.71/46.10	c flip 80000 nbSat=15310 maxSat=15364
92.11/46.22	c flip 0 nbSat=13500 maxSat=15364
92.30/46.35	c flip 10000 nbSat=15172 maxSat=15364
92.50/46.49	c flip 20000 nbSat=15261 maxSat=15364
92.90/46.63	c flip 30000 nbSat=15298 maxSat=15364
93.10/46.78	c flip 40000 nbSat=15307 maxSat=15364
93.50/46.92	c flip 50000 nbSat=15310 maxSat=15364
93.70/47.04	c flip 60000 nbSat=15320 maxSat=15364
93.90/47.16	c flip 70000 nbSat=15343 maxSat=15364
94.11/47.30	c flip 80000 nbSat=15311 maxSat=15364
94.50/47.43	c flip 0 nbSat=13483 maxSat=15364
94.70/47.57	c flip 10000 nbSat=15204 maxSat=15364
95.10/47.70	c flip 20000 nbSat=15294 maxSat=15364
95.30/47.84	c flip 30000 nbSat=15300 maxSat=15364
95.50/47.96	c flip 40000 nbSat=15304 maxSat=15364
95.70/48.08	c flip 50000 nbSat=15321 maxSat=15364
96.10/48.20	c flip 60000 nbSat=15320 maxSat=15364
96.30/48.34	c flip 70000 nbSat=15339 maxSat=15364
96.50/48.46	c flip 80000 nbSat=15342 maxSat=15364
96.69/48.58	c flip 0 nbSat=13466 maxSat=15364
97.09/48.72	c flip 10000 nbSat=15185 maxSat=15364
97.29/48.84	c flip 20000 nbSat=15268 maxSat=15364
97.49/48.95	c flip 30000 nbSat=15303 maxSat=15364
97.69/49.06	c flip 40000 nbSat=15312 maxSat=15364
97.89/49.18	c flip 50000 nbSat=15315 maxSat=15364
98.09/49.29	c flip 60000 nbSat=15334 maxSat=15364
98.50/49.42	c flip 70000 nbSat=15333 maxSat=15364
98.70/49.54	c flip 80000 nbSat=15327 maxSat=15364
98.89/49.66	c flip 0 nbSat=13472 maxSat=15364
99.09/49.78	c flip 10000 nbSat=15196 maxSat=15364
99.29/49.89	c flip 20000 nbSat=15240 maxSat=15364
99.69/50.02	c flip 30000 nbSat=15300 maxSat=15364
99.89/50.14	c flip 40000 nbSat=15320 maxSat=15364
100.09/50.26	c flip 50000 nbSat=15311 maxSat=15364
100.29/50.39	c flip 60000 nbSat=15326 maxSat=15364
100.69/50.51	c flip 70000 nbSat=15325 maxSat=15364
100.89/50.63	c flip 80000 nbSat=15332 maxSat=15364
101.09/50.77	c flip 0 nbSat=13443 maxSat=15364
101.29/50.89	c flip 10000 nbSat=15207 maxSat=15364
101.69/51.00	c flip 20000 nbSat=15278 maxSat=15364
101.89/51.14	c flip 30000 nbSat=15311 maxSat=15364
102.09/51.27	c flip 40000 nbSat=15306 maxSat=15364
102.49/51.40	c flip 50000 nbSat=15312 maxSat=15364
102.69/51.54	c flip 60000 nbSat=15316 maxSat=15364
102.89/51.68	c flip 70000 nbSat=15324 maxSat=15364
103.28/51.81	c flip 80000 nbSat=15318 maxSat=15364
103.48/51.96	c flip 0 nbSat=13535 maxSat=15364
103.68/52.08	c flip 10000 nbSat=15158 maxSat=15364
104.08/52.21	c flip 20000 nbSat=15239 maxSat=15364
104.28/52.33	c flip 30000 nbSat=15296 maxSat=15364
104.48/52.46	c flip 40000 nbSat=15298 maxSat=15364
104.68/52.58	c flip 50000 nbSat=15316 maxSat=15364
104.88/52.69	c flip 60000 nbSat=15309 maxSat=15364
105.28/52.82	c flip 70000 nbSat=15330 maxSat=15364
105.47/52.93	c flip 80000 nbSat=15325 maxSat=15364
105.67/53.04	c flip 0 nbSat=13367 maxSat=15364
105.87/53.16	c flip 10000 nbSat=15204 maxSat=15364
106.07/53.28	c flip 20000 nbSat=15282 maxSat=15364
106.47/53.40	c flip 30000 nbSat=15287 maxSat=15364
106.67/53.50	c flip 40000 nbSat=15325 maxSat=15364
106.87/53.62	c flip 50000 nbSat=15314 maxSat=15364
107.07/53.74	c flip 60000 nbSat=15329 maxSat=15364
107.27/53.85	c flip 70000 nbSat=15336 maxSat=15364
107.47/53.96	c flip 80000 nbSat=15323 maxSat=15364
107.67/54.07	c flip 0 nbSat=13426 maxSat=15364
108.07/54.20	c flip 10000 nbSat=15171 maxSat=15364
108.27/54.34	c flip 20000 nbSat=15269 maxSat=15364
108.47/54.49	c flip 30000 nbSat=15309 maxSat=15364
108.86/54.66	c flip 40000 nbSat=15306 maxSat=15364
109.25/54.81	c flip 50000 nbSat=15302 maxSat=15364
109.46/54.97	c flip 60000 nbSat=15327 maxSat=15364
109.85/55.13	c flip 70000 nbSat=15335 maxSat=15364
110.05/55.28	c flip 80000 nbSat=15337 maxSat=15364
110.45/55.44	c flip 0 nbSat=13449 maxSat=15364
110.65/55.57	c flip 10000 nbSat=15240 maxSat=15364
110.85/55.69	c flip 20000 nbSat=15285 maxSat=15364
111.25/55.80	c flip 30000 nbSat=15321 maxSat=15364
111.45/55.91	c flip 40000 nbSat=15299 maxSat=15364
111.65/56.03	c flip 50000 nbSat=15302 maxSat=15364
111.85/56.14	c flip 60000 nbSat=15319 maxSat=15364
112.04/56.27	c flip 70000 nbSat=15320 maxSat=15364
112.24/56.39	c flip 80000 nbSat=15323 maxSat=15364
112.64/56.52	c flip 0 nbSat=13456 maxSat=15364
112.84/56.64	c flip 10000 nbSat=15186 maxSat=15364
113.04/56.76	c flip 20000 nbSat=15271 maxSat=15364
113.24/56.89	c flip 30000 nbSat=15290 maxSat=15364
113.64/57.01	c flip 40000 nbSat=15288 maxSat=15364
113.85/57.14	c flip 50000 nbSat=15300 maxSat=15364
114.05/57.26	c flip 60000 nbSat=15313 maxSat=15364
114.24/57.38	c flip 70000 nbSat=15320 maxSat=15364
114.64/57.50	c flip 80000 nbSat=15320 maxSat=15364
114.84/57.63	c flip 0 nbSat=13498 maxSat=15364
115.04/57.77	c flip 10000 nbSat=15190 maxSat=15364
115.44/57.93	c flip 20000 nbSat=15296 maxSat=15364
115.64/58.09	c flip 30000 nbSat=15308 maxSat=15364
116.04/58.24	c flip 40000 nbSat=15308 maxSat=15364
116.24/58.37	c flip 50000 nbSat=15320 maxSat=15364
116.63/58.51	c flip 60000 nbSat=15311 maxSat=15364
116.83/58.66	c flip 70000 nbSat=15331 maxSat=15364
117.23/58.80	c flip 80000 nbSat=15327 maxSat=15364
117.43/58.93	c flip 0 nbSat=13518 maxSat=15364
117.63/59.06	c flip 10000 nbSat=15180 maxSat=15364
118.03/59.20	c flip 20000 nbSat=15280 maxSat=15364
118.24/59.34	c flip 30000 nbSat=15278 maxSat=15364
118.43/59.49	c flip 40000 nbSat=15292 maxSat=15364
118.83/59.63	c flip 50000 nbSat=15313 maxSat=15364
119.03/59.75	c flip 60000 nbSat=15301 maxSat=15364
119.23/59.88	c flip 70000 nbSat=15307 maxSat=15364
119.43/59.99	c flip 80000 nbSat=15311 maxSat=15364
119.83/60.12	c flip 0 nbSat=13504 maxSat=15364
120.03/60.24	c flip 10000 nbSat=15218 maxSat=15364
120.23/60.36	c flip 20000 nbSat=15291 maxSat=15364
120.63/60.50	c flip 30000 nbSat=15320 maxSat=15364
120.82/60.63	c flip 40000 nbSat=15332 maxSat=15364
121.02/60.75	c flip 50000 nbSat=15318 maxSat=15364
121.22/60.88	c flip 60000 nbSat=15322 maxSat=15364
121.62/61.02	c flip 70000 nbSat=15329 maxSat=15364
121.82/61.16	c flip 80000 nbSat=15324 maxSat=15364
122.22/61.30	c flip 0 nbSat=13508 maxSat=15364
122.42/61.43	c flip 10000 nbSat=15195 maxSat=15364
122.62/61.57	c flip 20000 nbSat=15279 maxSat=15364
122.82/61.69	c flip 30000 nbSat=15307 maxSat=15364
123.22/61.83	c flip 40000 nbSat=15314 maxSat=15364
123.42/61.96	c flip 50000 nbSat=15320 maxSat=15364
123.62/62.09	c flip 60000 nbSat=15319 maxSat=15364
124.02/62.21	c flip 70000 nbSat=15332 maxSat=15364
124.22/62.34	c flip 80000 nbSat=15336 maxSat=15364
124.42/62.47	c flip 0 nbSat=13436 maxSat=15364
124.62/62.59	c flip 10000 nbSat=15171 maxSat=15364
125.01/62.73	c flip 20000 nbSat=15283 maxSat=15364
125.20/62.86	c flip 30000 nbSat=15315 maxSat=15364
125.60/63.00	c flip 40000 nbSat=15310 maxSat=15364
125.80/63.14	c flip 50000 nbSat=15325 maxSat=15364
126.00/63.28	c flip 60000 nbSat=15335 maxSat=15364
126.40/63.41	c flip 70000 nbSat=15346 maxSat=15364
126.60/63.55	c flip 80000 nbSat=15339 maxSat=15364
126.80/63.68	c flip 0 nbSat=13499 maxSat=15364
127.21/63.80	c flip 10000 nbSat=15194 maxSat=15364
127.40/63.93	c flip 20000 nbSat=15251 maxSat=15364
127.60/64.05	c flip 30000 nbSat=15293 maxSat=15364
127.80/64.18	c flip 40000 nbSat=15296 maxSat=15364
128.20/64.30	c flip 50000 nbSat=15295 maxSat=15364
128.40/64.42	c flip 60000 nbSat=15313 maxSat=15364
128.60/64.53	c flip 70000 nbSat=15328 maxSat=15364
128.80/64.63	c flip 80000 nbSat=15326 maxSat=15364
129.00/64.75	c flip 0 nbSat=13478 maxSat=15364
129.20/64.88	c flip 10000 nbSat=15157 maxSat=15364
129.59/65.02	c flip 20000 nbSat=15269 maxSat=15364
129.79/65.15	c flip 30000 nbSat=15298 maxSat=15364
129.99/65.29	c flip 40000 nbSat=15292 maxSat=15364
130.39/65.43	c flip 50000 nbSat=15315 maxSat=15364
130.59/65.56	c flip 60000 nbSat=15327 maxSat=15364
130.79/65.69	c flip 70000 nbSat=15325 maxSat=15364
131.19/65.82	c flip 80000 nbSat=15315 maxSat=15364
131.40/65.96	c flip 0 nbSat=13469 maxSat=15364
131.59/66.09	c flip 10000 nbSat=15161 maxSat=15364
131.98/66.22	c flip 20000 nbSat=15259 maxSat=15364
132.18/66.36	c flip 30000 nbSat=15291 maxSat=15364
132.38/66.47	c flip 40000 nbSat=15291 maxSat=15364
132.58/66.59	c flip 50000 nbSat=15297 maxSat=15364
132.98/66.71	c flip 60000 nbSat=15326 maxSat=15364
133.18/66.83	c flip 70000 nbSat=15336 maxSat=15364
133.38/66.99	c flip 80000 nbSat=15350 maxSat=15364
133.79/67.14	c flip 0 nbSat=13478 maxSat=15364
133.98/67.25	c flip 10000 nbSat=15170 maxSat=15364
134.18/67.36	c flip 20000 nbSat=15251 maxSat=15364
134.38/67.48	c flip 30000 nbSat=15302 maxSat=15364
134.58/67.59	c flip 40000 nbSat=15303 maxSat=15364
134.98/67.72	c flip 50000 nbSat=15330 maxSat=15364
135.18/67.85	c flip 60000 nbSat=15337 maxSat=15364
135.38/67.98	c flip 70000 nbSat=15334 maxSat=15364
135.78/68.12	c flip 80000 nbSat=15348 maxSat=15364
135.98/68.26	c flip 0 nbSat=13425 maxSat=15364
136.18/68.39	c flip 10000 nbSat=15202 maxSat=15364
136.58/68.53	c flip 20000 nbSat=15256 maxSat=15364
136.78/68.64	c flip 30000 nbSat=15286 maxSat=15364
136.97/68.77	c flip 40000 nbSat=15315 maxSat=15364
137.17/68.88	c flip 50000 nbSat=15324 maxSat=15364
137.57/69.01	c flip 60000 nbSat=15322 maxSat=15364
137.77/69.14	c flip 70000 nbSat=15323 maxSat=15364
137.98/69.27	c flip 80000 nbSat=15338 maxSat=15364
138.18/69.39	c flip 0 nbSat=13514 maxSat=15364
138.57/69.53	c flip 10000 nbSat=15174 maxSat=15364
138.77/69.66	c flip 20000 nbSat=15288 maxSat=15364
138.97/69.78	c flip 30000 nbSat=15302 maxSat=15364
139.37/69.91	c flip 40000 nbSat=15319 maxSat=15364
139.57/70.05	c flip 50000 nbSat=15325 maxSat=15364
139.77/70.19	c flip 60000 nbSat=15343 maxSat=15364
140.17/70.33	c flip 70000 nbSat=15337 maxSat=15364
140.37/70.45	c flip 80000 nbSat=15336 maxSat=15364
140.56/70.58	c flip 0 nbSat=13443 maxSat=15364
140.96/70.71	c flip 10000 nbSat=15155 maxSat=15364
141.16/70.84	c flip 20000 nbSat=15257 maxSat=15364
141.36/70.96	c flip 30000 nbSat=15282 maxSat=15364
141.56/71.09	c flip 40000 nbSat=15272 maxSat=15364
141.96/71.20	c flip 50000 nbSat=15301 maxSat=15364
142.16/71.32	c flip 60000 nbSat=15314 maxSat=15364
142.37/71.45	c flip 70000 nbSat=15320 maxSat=15364
142.57/71.57	c flip 80000 nbSat=15317 maxSat=15364
142.76/71.70	c flip 0 nbSat=13478 maxSat=15364
143.16/71.83	c flip 10000 nbSat=15203 maxSat=15364
143.36/71.96	c flip 20000 nbSat=15291 maxSat=15364
143.56/72.09	c flip 30000 nbSat=15320 maxSat=15364
143.96/72.20	c flip 40000 nbSat=15320 maxSat=15364
144.16/72.32	c flip 50000 nbSat=15333 maxSat=15364
144.36/72.45	c flip 60000 nbSat=15326 maxSat=15364
144.56/72.58	c flip 70000 nbSat=15316 maxSat=15364
144.95/72.71	c flip 80000 nbSat=15311 maxSat=15364
145.15/72.84	c flip 0 nbSat=13472 maxSat=15364
145.35/72.96	c flip 10000 nbSat=15196 maxSat=15364
145.55/73.09	c flip 20000 nbSat=15248 maxSat=15364
145.95/73.21	c flip 30000 nbSat=15279 maxSat=15364
146.15/73.34	c flip 40000 nbSat=15298 maxSat=15364
146.35/73.46	c flip 50000 nbSat=15320 maxSat=15364
146.55/73.58	c flip 60000 nbSat=15329 maxSat=15364
146.96/73.71	c flip 70000 nbSat=15343 maxSat=15364
147.15/73.82	c flip 80000 nbSat=15339 maxSat=15364
147.35/73.95	c flip 0 nbSat=13562 maxSat=15364
147.55/74.08	c flip 10000 nbSat=15216 maxSat=15364
147.75/74.19	c flip 20000 nbSat=15286 maxSat=15364
148.15/74.33	c flip 30000 nbSat=15324 maxSat=15364
148.35/74.44	c flip 40000 nbSat=15326 maxSat=15364
148.55/74.57	c flip 50000 nbSat=15328 maxSat=15364
148.95/74.71	c flip 60000 nbSat=15341 maxSat=15364
149.15/74.83	c flip 70000 nbSat=15324 maxSat=15364
149.34/74.96	c flip 80000 nbSat=15328 maxSat=15364
149.54/75.10	c flip 0 nbSat=13505 maxSat=15364
149.94/75.22	c flip 10000 nbSat=15199 maxSat=15364
150.14/75.37	c flip 20000 nbSat=15282 maxSat=15364
150.54/75.51	c flip 30000 nbSat=15312 maxSat=15364
150.74/75.64	c flip 40000 nbSat=15304 maxSat=15364
150.94/75.76	c flip 50000 nbSat=15307 maxSat=15364
151.15/75.90	c flip 60000 nbSat=15315 maxSat=15364
151.54/76.04	c flip 70000 nbSat=15314 maxSat=15364
151.74/76.19	c flip 80000 nbSat=15317 maxSat=15364
152.14/76.33	c flip 0 nbSat=13462 maxSat=15364
152.34/76.46	c flip 10000 nbSat=15202 maxSat=15364
152.54/76.59	c flip 20000 nbSat=15285 maxSat=15364
152.94/76.71	c flip 30000 nbSat=15309 maxSat=15364
153.14/76.82	c flip 40000 nbSat=15317 maxSat=15364
153.34/76.93	c flip 50000 nbSat=15323 maxSat=15364
153.54/77.03	c flip 60000 nbSat=15327 maxSat=15364
153.73/77.14	c flip 70000 nbSat=15322 maxSat=15364
153.93/77.24	c flip 80000 nbSat=15330 maxSat=15364
154.13/77.33	c flip 0 nbSat=13473 maxSat=15364
154.33/77.46	c flip 10000 nbSat=15176 maxSat=15364
154.53/77.59	c flip 20000 nbSat=15273 maxSat=15364
154.93/77.71	c flip 30000 nbSat=15294 maxSat=15364
155.13/77.83	c flip 40000 nbSat=15302 maxSat=15364
155.33/77.95	c flip 50000 nbSat=15306 maxSat=15364
155.54/78.07	c flip 60000 nbSat=15314 maxSat=15364
155.74/78.19	c flip 70000 nbSat=15318 maxSat=15364
156.13/78.32	c flip 80000 nbSat=15318 maxSat=15364
156.33/78.45	c flip 0 nbSat=13470 maxSat=15364
156.53/78.58	c flip 10000 nbSat=15185 maxSat=15364
156.93/78.71	c flip 20000 nbSat=15267 maxSat=15364
157.13/78.85	c flip 30000 nbSat=15289 maxSat=15364
157.33/78.97	c flip 40000 nbSat=15316 maxSat=15364
157.53/79.09	c flip 50000 nbSat=15309 maxSat=15364
157.93/79.23	c flip 60000 nbSat=15309 maxSat=15364
158.12/79.36	c flip 70000 nbSat=15315 maxSat=15364
158.32/79.49	c flip 80000 nbSat=15325 maxSat=15364
158.72/79.63	c flip 0 nbSat=13490 maxSat=15364
158.92/79.77	c flip 10000 nbSat=15191 maxSat=15364
159.32/79.92	c flip 20000 nbSat=15277 maxSat=15364
159.52/80.07	c flip 30000 nbSat=15297 maxSat=15364
159.92/80.23	c flip 40000 nbSat=15307 maxSat=15364
160.12/80.37	c flip 50000 nbSat=15312 maxSat=15364
160.52/80.52	c flip 60000 nbSat=15312 maxSat=15364
160.72/80.67	c flip 70000 nbSat=15325 maxSat=15364
161.12/80.81	c flip 80000 nbSat=15318 maxSat=15364
161.32/80.94	c flip 0 nbSat=13517 maxSat=15364
161.52/81.07	c flip 10000 nbSat=15180 maxSat=15364
161.92/81.20	c flip 20000 nbSat=15277 maxSat=15364
162.12/81.33	c flip 30000 nbSat=15294 maxSat=15364
162.32/81.44	c flip 40000 nbSat=15308 maxSat=15364
162.51/81.55	c flip 50000 nbSat=15317 maxSat=15364
162.71/81.66	c flip 60000 nbSat=15316 maxSat=15364
162.91/81.77	c flip 70000 nbSat=15319 maxSat=15364
163.11/81.88	c flip 80000 nbSat=15334 maxSat=15364
163.31/82.00	c flip 0 nbSat=13489 maxSat=15364
163.71/82.13	c flip 10000 nbSat=15183 maxSat=15364
163.91/82.27	c flip 20000 nbSat=15257 maxSat=15364
164.32/82.41	c flip 30000 nbSat=15301 maxSat=15364
164.52/82.54	c flip 40000 nbSat=15317 maxSat=15364
164.71/82.67	c flip 50000 nbSat=15325 maxSat=15364
165.11/82.82	c flip 60000 nbSat=15326 maxSat=15364
165.31/82.96	c flip 70000 nbSat=15340 maxSat=15364
165.51/83.09	c flip 80000 nbSat=15331 maxSat=15364
165.91/83.24	c flip 0 nbSat=13479 maxSat=15364
166.11/83.36	c flip 10000 nbSat=15158 maxSat=15364
166.31/83.48	c flip 20000 nbSat=15243 maxSat=15364
166.51/83.59	c flip 30000 nbSat=15273 maxSat=15364
166.91/83.71	c flip 40000 nbSat=15289 maxSat=15364
167.11/83.83	c flip 50000 nbSat=15303 maxSat=15364
167.30/83.94	c flip 60000 nbSat=15309 maxSat=15364
167.50/84.07	c flip 70000 nbSat=15303 maxSat=15364
167.70/84.19	c flip 80000 nbSat=15309 maxSat=15364
168.10/84.33	c flip 0 nbSat=13458 maxSat=15364
168.30/84.46	c flip 10000 nbSat=15135 maxSat=15364
168.50/84.58	c flip 20000 nbSat=15283 maxSat=15364
168.91/84.71	c flip 30000 nbSat=15312 maxSat=15364
169.10/84.83	c flip 40000 nbSat=15329 maxSat=15364
169.30/84.94	c flip 50000 nbSat=15322 maxSat=15364
169.50/85.06	c flip 60000 nbSat=15321 maxSat=15364
169.70/85.17	c flip 70000 nbSat=15322 maxSat=15364
169.90/85.28	c flip 80000 nbSat=15317 maxSat=15364
170.10/85.39	c flip 0 nbSat=13509 maxSat=15364
170.50/85.52	c flip 10000 nbSat=15201 maxSat=15364
170.70/85.65	c flip 20000 nbSat=15255 maxSat=15364
170.90/85.78	c flip 30000 nbSat=15292 maxSat=15364
171.29/85.91	c flip 40000 nbSat=15290 maxSat=15364
171.49/86.04	c flip 50000 nbSat=15318 maxSat=15364
171.69/86.17	c flip 60000 nbSat=15322 maxSat=15364
172.09/86.31	c flip 70000 nbSat=15331 maxSat=15364
172.29/86.43	c flip 80000 nbSat=15328 maxSat=15364
172.49/86.57	c flip 0 nbSat=13462 maxSat=15364
172.89/86.70	c flip 10000 nbSat=15189 maxSat=15364
173.10/86.83	c flip 20000 nbSat=15271 maxSat=15364
173.30/86.96	c flip 30000 nbSat=15288 maxSat=15364
173.49/87.09	c flip 40000 nbSat=15306 maxSat=15364
173.89/87.24	c flip 50000 nbSat=15328 maxSat=15364
174.09/87.37	c flip 60000 nbSat=15331 maxSat=15364
174.29/87.49	c flip 70000 nbSat=15318 maxSat=15364
174.69/87.63	c flip 80000 nbSat=15335 maxSat=15364
174.89/87.76	c flip 0 nbSat=13431 maxSat=15364
175.09/87.89	c flip 10000 nbSat=15162 maxSat=15364
175.49/88.01	c flip 20000 nbSat=15241 maxSat=15364
175.68/88.13	c flip 30000 nbSat=15304 maxSat=15364
175.88/88.24	c flip 40000 nbSat=15304 maxSat=15364
176.08/88.35	c flip 50000 nbSat=15305 maxSat=15364
176.28/88.45	c flip 60000 nbSat=15292 maxSat=15364
176.48/88.56	c flip 70000 nbSat=15317 maxSat=15364
176.68/88.67	c flip 80000 nbSat=15330 maxSat=15364
176.88/88.78	c flip 0 nbSat=13504 maxSat=15364
177.28/88.91	c flip 10000 nbSat=15164 maxSat=15364
177.49/89.04	c flip 20000 nbSat=15271 maxSat=15364
177.68/89.17	c flip 30000 nbSat=15306 maxSat=15364
177.88/89.29	c flip 40000 nbSat=15311 maxSat=15364
178.28/89.41	c flip 50000 nbSat=15312 maxSat=15364
178.48/89.54	c flip 60000 nbSat=15329 maxSat=15364
178.68/89.66	c flip 70000 nbSat=15328 maxSat=15364
178.88/89.78	c flip 80000 nbSat=15334 maxSat=15364
179.28/89.92	c flip 0 nbSat=13506 maxSat=15364
179.48/90.04	c flip 10000 nbSat=15160 maxSat=15364
179.68/90.18	c flip 20000 nbSat=15219 maxSat=15364
180.07/90.32	c flip 30000 nbSat=15249 maxSat=15364
180.27/90.45	c flip 40000 nbSat=15266 maxSat=15364
180.48/90.59	c flip 50000 nbSat=15302 maxSat=15364
180.88/90.73	c flip 60000 nbSat=15318 maxSat=15364
181.08/90.86	c flip 70000 nbSat=15324 maxSat=15364
181.28/90.98	c flip 80000 nbSat=15336 maxSat=15364
181.68/91.11	c flip 0 nbSat=13463 maxSat=15364
181.88/91.24	c flip 10000 nbSat=15201 maxSat=15364
182.08/91.38	c flip 20000 nbSat=15263 maxSat=15364
182.48/91.51	c flip 30000 nbSat=15305 maxSat=15364
182.68/91.62	c flip 40000 nbSat=15306 maxSat=15364
182.88/91.72	c flip 50000 nbSat=15321 maxSat=15364
183.08/91.83	c flip 60000 nbSat=15330 maxSat=15364
183.28/91.93	c flip 70000 nbSat=15321 maxSat=15364
183.48/92.04	c flip 80000 nbSat=15322 maxSat=15364
183.68/92.16	c flip 0 nbSat=13448 maxSat=15364
183.88/92.29	c flip 10000 nbSat=15222 maxSat=15364
184.28/92.43	c flip 20000 nbSat=15277 maxSat=15364
184.47/92.55	c flip 30000 nbSat=15290 maxSat=15364
184.67/92.67	c flip 40000 nbSat=15311 maxSat=15364
185.07/92.80	c flip 50000 nbSat=15320 maxSat=15364
185.27/92.93	c flip 60000 nbSat=15323 maxSat=15364
185.47/93.06	c flip 70000 nbSat=15329 maxSat=15364
185.87/93.20	c flip 80000 nbSat=15323 maxSat=15364
186.07/93.34	c flip 0 nbSat=13474 maxSat=15364
186.27/93.47	c flip 10000 nbSat=15188 maxSat=15364
186.67/93.61	c flip 20000 nbSat=15294 maxSat=15364
186.86/93.75	c flip 30000 nbSat=15303 maxSat=15364
187.06/93.89	c flip 40000 nbSat=15318 maxSat=15364
187.46/94.02	c flip 50000 nbSat=15329 maxSat=15364
187.66/94.15	c flip 60000 nbSat=15333 maxSat=15364
187.86/94.27	c flip 70000 nbSat=15337 maxSat=15364
188.06/94.39	c flip 80000 nbSat=15339 maxSat=15364
188.47/94.52	c flip 0 nbSat=13477 maxSat=15364
188.67/94.65	c flip 10000 nbSat=15186 maxSat=15364
189.06/94.81	c flip 20000 nbSat=15277 maxSat=15364
189.26/94.95	c flip 30000 nbSat=15285 maxSat=15364
189.66/95.10	c flip 40000 nbSat=15289 maxSat=15364
189.86/95.24	c flip 50000 nbSat=15289 maxSat=15364
190.06/95.39	c flip 60000 nbSat=15295 maxSat=15364
190.46/95.53	c flip 70000 nbSat=15288 maxSat=15364
190.66/95.70	c flip 80000 nbSat=15301 maxSat=15364
191.05/95.86	c flip 0 nbSat=13484 maxSat=15364
191.25/95.98	c flip 10000 nbSat=15190 maxSat=15364
191.65/96.11	c flip 20000 nbSat=15279 maxSat=15364
191.85/96.22	c flip 30000 nbSat=15297 maxSat=15364
192.05/96.34	c flip 40000 nbSat=15309 maxSat=15364
192.25/96.44	c flip 50000 nbSat=15327 maxSat=15364
192.45/96.56	c flip 60000 nbSat=15316 maxSat=15364
192.65/96.68	c flip 70000 nbSat=15322 maxSat=15364
193.06/96.81	c flip 80000 nbSat=15336 maxSat=15364
193.25/96.94	c flip 0 nbSat=13479 maxSat=15364
193.45/97.07	c flip 10000 nbSat=15206 maxSat=15364
193.65/97.19	c flip 20000 nbSat=15277 maxSat=15364
194.05/97.33	c flip 30000 nbSat=15306 maxSat=15364
194.25/97.45	c flip 40000 nbSat=15323 maxSat=15364
194.45/97.58	c flip 50000 nbSat=15324 maxSat=15364
194.85/97.70	c flip 60000 nbSat=15319 maxSat=15364
195.05/97.82	c flip 70000 nbSat=15329 maxSat=15364
195.25/97.94	c flip 80000 nbSat=15332 maxSat=15364
195.45/98.07	c flip 0 nbSat=13439 maxSat=15364
195.85/98.21	c flip 10000 nbSat=15196 maxSat=15364
196.04/98.33	c flip 20000 nbSat=15264 maxSat=15364
196.24/98.46	c flip 30000 nbSat=15292 maxSat=15364
196.44/98.58	c flip 40000 nbSat=15300 maxSat=15364
196.84/98.70	c flip 50000 nbSat=15299 maxSat=15364
197.04/98.82	c flip 60000 nbSat=15311 maxSat=15364
197.25/98.94	c flip 70000 nbSat=15324 maxSat=15364
197.45/99.06	c flip 80000 nbSat=15313 maxSat=15364
197.64/99.18	c flip 0 nbSat=13510 maxSat=15364
198.04/99.31	c flip 10000 nbSat=15208 maxSat=15364
198.24/99.45	c flip 20000 nbSat=15266 maxSat=15364
198.44/99.58	c flip 30000 nbSat=15318 maxSat=15364
198.83/99.73	c flip 40000 nbSat=15311 maxSat=15364
199.03/99.88	c flip 50000 nbSat=15311 maxSat=15364
199.43/100.03	c flip 60000 nbSat=15308 maxSat=15364
199.63/100.16	c flip 70000 nbSat=15326 maxSat=15364
200.02/100.30	c flip 80000 nbSat=15320 maxSat=15364
200.22/100.43	c flip 0 nbSat=13448 maxSat=15364
200.42/100.57	c flip 10000 nbSat=15200 maxSat=15364
200.82/100.70	c flip 20000 nbSat=15257 maxSat=15364
201.02/100.84	c flip 30000 nbSat=15265 maxSat=15364
201.22/100.98	c flip 40000 nbSat=15294 maxSat=15364
201.63/101.12	c flip 50000 nbSat=15292 maxSat=15364
201.83/101.25	c flip 60000 nbSat=15317 maxSat=15364
202.02/101.39	c flip 70000 nbSat=15330 maxSat=15364
202.42/101.52	c flip 80000 nbSat=15337 maxSat=15364
202.62/101.66	c flip 0 nbSat=13443 maxSat=15364
202.82/101.78	c flip 10000 nbSat=15199 maxSat=15364
203.22/101.90	c flip 20000 nbSat=15294 maxSat=15364
203.42/102.04	c flip 30000 nbSat=15296 maxSat=15364
203.62/102.18	c flip 40000 nbSat=15316 maxSat=15364
204.02/102.33	c flip 50000 nbSat=15316 maxSat=15364
204.21/102.46	c flip 60000 nbSat=15315 maxSat=15364
204.41/102.59	c flip 70000 nbSat=15328 maxSat=15364
204.81/102.72	c flip 80000 nbSat=15327 maxSat=15364
205.01/102.85	c flip 0 nbSat=13454 maxSat=15364
205.21/102.98	c flip 10000 nbSat=15187 maxSat=15364
205.61/103.10	c flip 20000 nbSat=15267 maxSat=15364
205.81/103.25	c flip 30000 nbSat=15288 maxSat=15364
206.02/103.40	c flip 40000 nbSat=15291 maxSat=15364
206.41/103.54	c flip 50000 nbSat=15300 maxSat=15364
206.61/103.69	c flip 60000 nbSat=15317 maxSat=15364
207.01/103.85	c flip 70000 nbSat=15320 maxSat=15364
207.21/103.99	c flip 80000 nbSat=15319 maxSat=15364
207.61/104.14	c flip 0 nbSat=13483 maxSat=15364
207.80/104.25	c flip 10000 nbSat=15184 maxSat=15364
208.00/104.36	c flip 20000 nbSat=15245 maxSat=15364
208.21/104.49	c flip 30000 nbSat=15304 maxSat=15364
208.60/104.60	c flip 40000 nbSat=15317 maxSat=15364
208.80/104.72	c flip 50000 nbSat=15319 maxSat=15364
209.00/104.84	c flip 60000 nbSat=15327 maxSat=15364
209.20/104.96	c flip 70000 nbSat=15331 maxSat=15364
209.40/105.07	c flip 80000 nbSat=15340 maxSat=15364
209.60/105.19	c flip 0 nbSat=13496 maxSat=15364
210.00/105.32	c flip 10000 nbSat=15169 maxSat=15364
210.20/105.45	c flip 20000 nbSat=15249 maxSat=15364
210.40/105.57	c flip 30000 nbSat=15299 maxSat=15364
210.60/105.70	c flip 40000 nbSat=15306 maxSat=15364
210.99/105.82	c flip 50000 nbSat=15310 maxSat=15364
211.19/105.96	c flip 60000 nbSat=15337 maxSat=15364
211.59/106.10	c flip 70000 nbSat=15337 maxSat=15364
211.79/106.25	c flip 80000 nbSat=15338 maxSat=15364
211.99/106.39	c flip 0 nbSat=13486 maxSat=15364
212.39/106.51	c flip 10000 nbSat=15194 maxSat=15364
212.60/106.64	c flip 20000 nbSat=15268 maxSat=15364
212.80/106.77	c flip 30000 nbSat=15276 maxSat=15364
212.99/106.89	c flip 40000 nbSat=15302 maxSat=15364
213.39/107.01	c flip 50000 nbSat=15314 maxSat=15364
213.59/107.12	c flip 60000 nbSat=15319 maxSat=15364
213.79/107.24	c flip 70000 nbSat=15324 maxSat=15364
213.99/107.35	c flip 80000 nbSat=15325 maxSat=15364
214.19/107.47	c flip 0 nbSat=13447 maxSat=15364
214.59/107.60	c flip 10000 nbSat=15189 maxSat=15364
214.79/107.73	c flip 20000 nbSat=15294 maxSat=15364
214.99/107.86	c flip 30000 nbSat=15296 maxSat=15364
215.18/107.98	c flip 40000 nbSat=15307 maxSat=15364
215.58/108.11	c flip 50000 nbSat=15332 maxSat=15364
215.79/108.24	c flip 60000 nbSat=15329 maxSat=15364
215.99/108.36	c flip 70000 nbSat=15318 maxSat=15364
216.18/108.49	c flip 80000 nbSat=15314 maxSat=15364
216.58/108.62	c flip 0 nbSat=13499 maxSat=15364
216.78/108.75	c flip 10000 nbSat=15197 maxSat=15364
216.98/108.88	c flip 20000 nbSat=15285 maxSat=15364
217.37/109.02	c flip 30000 nbSat=15306 maxSat=15364
217.57/109.14	c flip 40000 nbSat=15314 maxSat=15364
217.77/109.25	c flip 50000 nbSat=15330 maxSat=15364
217.97/109.37	c flip 60000 nbSat=15334 maxSat=15364
218.17/109.48	c flip 70000 nbSat=15331 maxSat=15364
218.57/109.61	c flip 80000 nbSat=15328 maxSat=15364
218.77/109.74	c flip 0 nbSat=13491 maxSat=15364
218.97/109.87	c flip 10000 nbSat=15222 maxSat=15364
219.37/110.02	c flip 20000 nbSat=15296 maxSat=15364
219.56/110.16	c flip 30000 nbSat=15315 maxSat=15364
219.76/110.28	c flip 40000 nbSat=15325 maxSat=15364
220.16/110.40	c flip 50000 nbSat=15328 maxSat=15364
220.36/110.53	c flip 60000 nbSat=15326 maxSat=15364
220.56/110.65	c flip 70000 nbSat=15335 maxSat=15364
220.76/110.78	c flip 80000 nbSat=15330 maxSat=15364
221.16/110.90	c flip 0 nbSat=13554 maxSat=15364
221.37/111.03	c flip 10000 nbSat=15198 maxSat=15364
221.57/111.17	c flip 20000 nbSat=15278 maxSat=15364
221.96/111.31	c flip 30000 nbSat=15304 maxSat=15364
222.16/111.43	c flip 40000 nbSat=15333 maxSat=15364
222.36/111.55	c flip 50000 nbSat=15332 maxSat=15364
222.56/111.67	c flip 60000 nbSat=15340 maxSat=15364
222.76/111.78	c flip 70000 nbSat=15341 maxSat=15364
223.16/111.91	c flip 80000 nbSat=15339 maxSat=15364
223.36/112.03	c flip 0 nbSat=13505 maxSat=15364
223.56/112.17	c flip 10000 nbSat=15177 maxSat=15364
223.95/112.30	c flip 20000 nbSat=15264 maxSat=15364
224.15/112.43	c flip 30000 nbSat=15301 maxSat=15364
224.35/112.55	c flip 40000 nbSat=15307 maxSat=15364
224.55/112.67	c flip 50000 nbSat=15328 maxSat=15364
224.95/112.80	c flip 60000 nbSat=15332 maxSat=15364
225.15/112.93	c flip 70000 nbSat=15342 maxSat=15364
225.35/113.07	c flip 80000 nbSat=15337 maxSat=15364
225.76/113.21	c flip 0 nbSat=13511 maxSat=15364
225.96/113.34	c flip 10000 nbSat=15187 maxSat=15364
226.15/113.45	c flip 20000 nbSat=15276 maxSat=15364
226.35/113.56	c flip 30000 nbSat=15313 maxSat=15364
226.55/113.67	c flip 40000 nbSat=15319 maxSat=15364
226.75/113.80	c flip 50000 nbSat=15325 maxSat=15364
227.15/113.91	c flip 60000 nbSat=15345 maxSat=15364
227.35/114.04	c flip 70000 nbSat=15334 maxSat=15364
227.55/114.17	c flip 80000 nbSat=15343 maxSat=15364
227.75/114.28	c flip 0 nbSat=13513 maxSat=15364
228.15/114.41	c flip 10000 nbSat=15163 maxSat=15364
228.34/114.52	c flip 20000 nbSat=15268 maxSat=15364
228.54/114.64	c flip 30000 nbSat=15319 maxSat=15364
228.74/114.76	c flip 40000 nbSat=15311 maxSat=15364
228.94/114.88	c flip 50000 nbSat=15317 maxSat=15364
229.34/115.00	c flip 60000 nbSat=15321 maxSat=15364
229.54/115.12	c flip 70000 nbSat=15319 maxSat=15364
229.74/115.24	c flip 80000 nbSat=15330 maxSat=15364
229.94/115.37	c flip 0 nbSat=13475 maxSat=15364
230.15/115.50	c flip 10000 nbSat=15193 maxSat=15364
230.54/115.61	c flip 20000 nbSat=15268 maxSat=15364
230.74/115.74	c flip 30000 nbSat=15291 maxSat=15364
230.94/115.88	c flip 40000 nbSat=15309 maxSat=15364
231.34/116.02	c flip 50000 nbSat=15325 maxSat=15364
231.54/116.17	c flip 60000 nbSat=15337 maxSat=15364
231.94/116.31	c flip 70000 nbSat=15344 maxSat=15364
232.14/116.45	c flip 80000 nbSat=15338 maxSat=15364
232.34/116.58	c flip 0 nbSat=13512 maxSat=15364
232.73/116.71	c flip 10000 nbSat=15176 maxSat=15364
232.93/116.84	c flip 20000 nbSat=15264 maxSat=15364
233.13/116.97	c flip 30000 nbSat=15299 maxSat=15364
233.53/117.11	c flip 40000 nbSat=15320 maxSat=15364
233.73/117.25	c flip 50000 nbSat=15325 maxSat=15364
233.93/117.38	c flip 60000 nbSat=15315 maxSat=15364
234.33/117.52	c flip 70000 nbSat=15320 maxSat=15364
234.53/117.67	c flip 80000 nbSat=15329 maxSat=15364
234.93/117.82	c flip 0 nbSat=13558 maxSat=15364
235.13/117.95	c flip 10000 nbSat=15166 maxSat=15364
235.33/118.09	c flip 20000 nbSat=15257 maxSat=15364
235.73/118.22	c flip 30000 nbSat=15272 maxSat=15364
235.93/118.34	c flip 40000 nbSat=15305 maxSat=15364
236.13/118.46	c flip 50000 nbSat=15292 maxSat=15364
236.33/118.57	c flip 60000 nbSat=15309 maxSat=15364
236.53/118.68	c flip 70000 nbSat=15324 maxSat=15364
236.73/118.79	c flip 80000 nbSat=15325 maxSat=15364
237.12/118.91	c flip 0 nbSat=13468 maxSat=15364
237.32/119.04	c flip 10000 nbSat=15177 maxSat=15364
237.52/119.19	c flip 20000 nbSat=15283 maxSat=15364
237.92/119.33	c flip 30000 nbSat=15292 maxSat=15364
238.12/119.47	c flip 40000 nbSat=15303 maxSat=15364
238.52/119.61	c flip 50000 nbSat=15317 maxSat=15364
238.72/119.75	c flip 60000 nbSat=15320 maxSat=15364
239.12/119.91	c flip 70000 nbSat=15341 maxSat=15364
239.32/120.07	c flip 80000 nbSat=15327 maxSat=15364
239.72/120.24	c flip 0 nbSat=13480 maxSat=15364
239.92/120.36	c flip 10000 nbSat=15205 maxSat=15364
240.12/120.49	c flip 20000 nbSat=15275 maxSat=15364
240.52/120.62	c flip 30000 nbSat=15296 maxSat=15364
240.72/120.77	c flip 40000 nbSat=15310 maxSat=15364
241.12/120.92	c flip 50000 nbSat=15313 maxSat=15364
241.32/121.07	c flip 60000 nbSat=15303 maxSat=15364
241.71/121.21	c flip 70000 nbSat=15323 maxSat=15364
241.91/121.34	c flip 80000 nbSat=15325 maxSat=15364
242.11/121.48	c flip 0 nbSat=13525 maxSat=15364
242.51/121.61	c flip 10000 nbSat=15176 maxSat=15364
242.71/121.74	c flip 20000 nbSat=15256 maxSat=15364
242.91/121.86	c flip 30000 nbSat=15274 maxSat=15364
243.11/121.98	c flip 40000 nbSat=15320 maxSat=15364
243.51/122.11	c flip 50000 nbSat=15324 maxSat=15364
243.70/122.24	c flip 60000 nbSat=15329 maxSat=15364
243.90/122.36	c flip 70000 nbSat=15320 maxSat=15364
244.10/122.48	c flip 80000 nbSat=15343 maxSat=15364
244.50/122.61	c flip 0 nbSat=13462 maxSat=15364
244.70/122.74	c flip 10000 nbSat=15184 maxSat=15364
244.90/122.87	c flip 20000 nbSat=15259 maxSat=15364
245.30/123.00	c flip 30000 nbSat=15296 maxSat=15364
245.51/123.12	c flip 40000 nbSat=15310 maxSat=15364
245.71/123.24	c flip 50000 nbSat=15314 maxSat=15364
245.90/123.36	c flip 60000 nbSat=15309 maxSat=15364
246.10/123.49	c flip 70000 nbSat=15309 maxSat=15364
246.50/123.61	c flip 80000 nbSat=15311 maxSat=15364
246.70/123.75	c flip 0 nbSat=13583 maxSat=15364
246.90/123.87	c flip 10000 nbSat=15187 maxSat=15364
247.30/124.01	c flip 20000 nbSat=15263 maxSat=15364
247.50/124.14	c flip 30000 nbSat=15299 maxSat=15364
247.71/124.29	c flip 40000 nbSat=15301 maxSat=15364
248.10/124.43	c flip 50000 nbSat=15307 maxSat=15364
248.30/124.59	c flip 60000 nbSat=15310 maxSat=15364
248.70/124.74	c flip 70000 nbSat=15329 maxSat=15364
248.90/124.88	c flip 80000 nbSat=15336 maxSat=15364
249.30/125.02	c flip 0 nbSat=13495 maxSat=15364
249.50/125.14	c flip 10000 nbSat=15187 maxSat=15364
249.70/125.28	c flip 20000 nbSat=15274 maxSat=15364
249.90/125.40	c flip 30000 nbSat=15296 maxSat=15364
250.29/125.52	c flip 40000 nbSat=15324 maxSat=15364
250.49/125.63	c flip 50000 nbSat=15328 maxSat=15364
250.69/125.75	c flip 60000 nbSat=15323 maxSat=15364
250.89/125.86	c flip 70000 nbSat=15325 maxSat=15364
251.09/125.98	c flip 80000 nbSat=15333 maxSat=15364
251.49/126.11	c flip 0 nbSat=13501 maxSat=15364
251.69/126.24	c flip 10000 nbSat=15157 maxSat=15364
251.89/126.37	c flip 20000 nbSat=15253 maxSat=15364
252.29/126.52	c flip 30000 nbSat=15290 maxSat=15364
252.49/126.68	c flip 40000 nbSat=15287 maxSat=15364
252.89/126.83	c flip 50000 nbSat=15300 maxSat=15364
253.09/126.98	c flip 60000 nbSat=15309 maxSat=15364
253.49/127.13	c flip 70000 nbSat=15308 maxSat=15364
253.69/127.27	c flip 80000 nbSat=15324 maxSat=15364
254.09/127.41	c flip 0 nbSat=13457 maxSat=15364
254.29/127.55	c flip 10000 nbSat=15155 maxSat=15364
254.49/127.69	c flip 20000 nbSat=15247 maxSat=15364
254.88/127.84	c flip 30000 nbSat=15267 maxSat=15364
255.08/127.97	c flip 40000 nbSat=15296 maxSat=15364
255.48/128.12	c flip 50000 nbSat=15309 maxSat=15364
255.68/128.26	c flip 60000 nbSat=15327 maxSat=15364
255.88/128.39	c flip 70000 nbSat=15320 maxSat=15364
256.28/128.52	c flip 80000 nbSat=15325 maxSat=15364
256.49/128.67	c flip 0 nbSat=13572 maxSat=15364
256.69/128.79	c flip 10000 nbSat=15198 maxSat=15364
257.08/128.92	c flip 20000 nbSat=15298 maxSat=15364
257.28/129.04	c flip 30000 nbSat=15306 maxSat=15364
257.48/129.17	c flip 40000 nbSat=15333 maxSat=15364
257.68/129.30	c flip 50000 nbSat=15325 maxSat=15364
258.08/129.43	c flip 60000 nbSat=15332 maxSat=15364
258.28/129.56	c flip 70000 nbSat=15334 maxSat=15364
258.68/129.70	c flip 80000 nbSat=15326 maxSat=15364
258.88/129.84	c flip 0 nbSat=13551 maxSat=15364
259.07/129.97	c flip 10000 nbSat=15173 maxSat=15364
259.27/130.09	c flip 20000 nbSat=15255 maxSat=15364
259.67/130.21	c flip 30000 nbSat=15288 maxSat=15364
259.87/130.33	c flip 40000 nbSat=15317 maxSat=15364
260.07/130.44	c flip 50000 nbSat=15326 maxSat=15364
260.27/130.55	c flip 60000 nbSat=15346 maxSat=15364
260.47/130.67	c flip 70000 nbSat=15345 maxSat=15364
260.67/130.78	c flip 80000 nbSat=15347 maxSat=15364
261.07/130.90	c flip 0 nbSat=13519 maxSat=15364
261.27/131.03	c flip 10000 nbSat=15164 maxSat=15364
261.47/131.16	c flip 20000 nbSat=15243 maxSat=15364
261.67/131.27	c flip 30000 nbSat=15272 maxSat=15364
261.87/131.39	c flip 40000 nbSat=15288 maxSat=15364
262.07/131.49	c flip 50000 nbSat=15293 maxSat=15364
262.47/131.60	c flip 60000 nbSat=15327 maxSat=15364
262.67/131.72	c flip 70000 nbSat=15317 maxSat=15364
262.87/131.85	c flip 80000 nbSat=15327 maxSat=15364
263.07/131.98	c flip 0 nbSat=13602 maxSat=15364
263.46/132.11	c flip 10000 nbSat=15210 maxSat=15364
263.66/132.23	c flip 20000 nbSat=15283 maxSat=15364
263.86/132.35	c flip 30000 nbSat=15304 maxSat=15364
264.06/132.47	c flip 40000 nbSat=15295 maxSat=15364
264.26/132.59	c flip 50000 nbSat=15318 maxSat=15364
264.66/132.72	c flip 60000 nbSat=15329 maxSat=15364
264.86/132.85	c flip 70000 nbSat=15334 maxSat=15364
265.06/132.97	c flip 80000 nbSat=15339 maxSat=15364
265.47/133.11	c flip 0 nbSat=13405 maxSat=15364
265.66/133.24	c flip 10000 nbSat=15186 maxSat=15364
265.86/133.36	c flip 20000 nbSat=15269 maxSat=15364
266.06/133.47	c flip 30000 nbSat=15299 maxSat=15364
266.26/133.59	c flip 40000 nbSat=15302 maxSat=15364
266.66/133.70	c flip 50000 nbSat=15311 maxSat=15364
266.86/133.81	c flip 60000 nbSat=15312 maxSat=15364
267.06/133.92	c flip 70000 nbSat=15299 maxSat=15364
267.26/134.03	c flip 80000 nbSat=15297 maxSat=15364
267.46/134.14	c flip 0 nbSat=13516 maxSat=15364
267.66/134.27	c flip 10000 nbSat=15162 maxSat=15364
267.85/134.37	c flip 20000 nbSat=15299 maxSat=15364
268.05/134.49	c flip 30000 nbSat=15320 maxSat=15364
268.45/134.60	c flip 40000 nbSat=15328 maxSat=15364
268.65/134.72	c flip 50000 nbSat=15316 maxSat=15364
268.85/134.82	c flip 60000 nbSat=15335 maxSat=15364
269.05/134.93	c flip 70000 nbSat=15333 maxSat=15364
269.25/135.05	c flip 80000 nbSat=15345 maxSat=15364
269.45/135.17	c flip 0 nbSat=13509 maxSat=15364
269.85/135.31	c flip 10000 nbSat=15193 maxSat=15364
270.04/135.43	c flip 20000 nbSat=15284 maxSat=15364
270.24/135.57	c flip 30000 nbSat=15298 maxSat=15364
270.44/135.69	c flip 40000 nbSat=15315 maxSat=15364
270.84/135.82	c flip 50000 nbSat=15320 maxSat=15364
271.04/135.94	c flip 60000 nbSat=15319 maxSat=15364
271.24/136.05	c flip 70000 nbSat=15318 maxSat=15364
271.44/136.16	c flip 80000 nbSat=15332 maxSat=15364
271.64/136.26	c flip 0 nbSat=13580 maxSat=15364
271.85/136.39	c flip 10000 nbSat=15186 maxSat=15364
272.24/136.52	c flip 20000 nbSat=15245 maxSat=15364
272.44/136.65	c flip 30000 nbSat=15277 maxSat=15364
272.64/136.77	c flip 40000 nbSat=15288 maxSat=15364
273.04/136.90	c flip 50000 nbSat=15312 maxSat=15364
273.24/137.04	c flip 60000 nbSat=15318 maxSat=15364
273.44/137.17	c flip 70000 nbSat=15328 maxSat=15364
273.84/137.30	c flip 80000 nbSat=15332 maxSat=15364
274.04/137.44	c flip 0 nbSat=13453 maxSat=15364
274.24/137.58	c flip 10000 nbSat=15166 maxSat=15364
274.64/137.71	c flip 20000 nbSat=15276 maxSat=15364
274.84/137.83	c flip 30000 nbSat=15295 maxSat=15364
275.04/137.95	c flip 40000 nbSat=15302 maxSat=15364
275.24/138.08	c flip 50000 nbSat=15298 maxSat=15364
275.64/138.21	c flip 60000 nbSat=15304 maxSat=15364
275.84/138.33	c flip 70000 nbSat=15306 maxSat=15364
276.04/138.45	c flip 80000 nbSat=15314 maxSat=15364
276.24/138.58	c flip 0 nbSat=13469 maxSat=15364
276.63/138.71	c flip 10000 nbSat=15185 maxSat=15364
276.83/138.83	c flip 20000 nbSat=15266 maxSat=15364
277.03/138.95	c flip 30000 nbSat=15286 maxSat=15364
277.23/139.09	c flip 40000 nbSat=15293 maxSat=15364
277.63/139.23	c flip 50000 nbSat=15307 maxSat=15364
277.83/139.37	c flip 60000 nbSat=15306 maxSat=15364
278.23/139.50	c flip 70000 nbSat=15319 maxSat=15364
278.44/139.65	c flip 80000 nbSat=15324 maxSat=15364
278.63/139.79	c flip 0 nbSat=13461 maxSat=15364
279.02/139.91	c flip 10000 nbSat=15199 maxSat=15364
279.22/140.03	c flip 20000 nbSat=15272 maxSat=15364
279.42/140.15	c flip 30000 nbSat=15297 maxSat=15364
279.62/140.26	c flip 40000 nbSat=15297 maxSat=15364
279.82/140.39	c flip 50000 nbSat=15309 maxSat=15364
280.22/140.51	c flip 60000 nbSat=15314 maxSat=15364
280.42/140.62	c flip 70000 nbSat=15316 maxSat=15364
280.63/140.74	c flip 80000 nbSat=15326 maxSat=15364
280.83/140.88	c flip 0 nbSat=13456 maxSat=15364
281.22/141.01	c flip 10000 nbSat=15162 maxSat=15364
281.42/141.14	c flip 20000 nbSat=15290 maxSat=15364
281.62/141.26	c flip 30000 nbSat=15300 maxSat=15364
281.82/141.39	c flip 40000 nbSat=15299 maxSat=15364
282.22/141.53	c flip 50000 nbSat=15304 maxSat=15364
282.42/141.66	c flip 60000 nbSat=15312 maxSat=15364
282.62/141.78	c flip 70000 nbSat=15305 maxSat=15364
283.02/141.91	c flip 80000 nbSat=15331 maxSat=15364
283.21/142.04	c flip 0 nbSat=13421 maxSat=15364
283.41/142.17	c flip 10000 nbSat=15175 maxSat=15364
283.61/142.29	c flip 20000 nbSat=15237 maxSat=15364
284.01/142.41	c flip 30000 nbSat=15264 maxSat=15364
284.21/142.53	c flip 40000 nbSat=15281 maxSat=15364
284.41/142.66	c flip 50000 nbSat=15284 maxSat=15364
284.61/142.79	c flip 60000 nbSat=15318 maxSat=15364
285.02/142.93	c flip 70000 nbSat=15314 maxSat=15364
285.22/143.07	c flip 80000 nbSat=15313 maxSat=15364
285.61/143.22	c flip 0 nbSat=13512 maxSat=15364
285.81/143.35	c flip 10000 nbSat=15185 maxSat=15364
286.01/143.48	c flip 20000 nbSat=15263 maxSat=15364
286.41/143.60	c flip 30000 nbSat=15288 maxSat=15364
286.61/143.72	c flip 40000 nbSat=15295 maxSat=15364
286.81/143.83	c flip 50000 nbSat=15306 maxSat=15364
287.01/143.95	c flip 60000 nbSat=15311 maxSat=15364
287.41/144.11	c flip 70000 nbSat=15321 maxSat=15364
287.61/144.23	c flip 80000 nbSat=15332 maxSat=15364
287.81/144.34	c flip 0 nbSat=13528 maxSat=15364
288.01/144.46	c flip 10000 nbSat=15199 maxSat=15364
288.20/144.58	c flip 20000 nbSat=15253 maxSat=15364
288.59/144.70	c flip 30000 nbSat=15296 maxSat=15364
288.79/144.82	c flip 40000 nbSat=15326 maxSat=15364
288.99/144.93	c flip 50000 nbSat=15325 maxSat=15364
289.19/145.04	c flip 60000 nbSat=15308 maxSat=15364
289.40/145.16	c flip 70000 nbSat=15324 maxSat=15364
289.60/145.27	c flip 80000 nbSat=15322 maxSat=15364
289.79/145.39	c flip 0 nbSat=13529 maxSat=15364
290.19/145.52	c flip 10000 nbSat=15188 maxSat=15364
290.39/145.66	c flip 20000 nbSat=15250 maxSat=15364
290.59/145.79	c flip 30000 nbSat=15292 maxSat=15364
290.99/145.92	c flip 40000 nbSat=15297 maxSat=15364
291.19/146.06	c flip 50000 nbSat=15301 maxSat=15364
291.59/146.21	c flip 60000 nbSat=15324 maxSat=15364
291.79/146.35	c flip 70000 nbSat=15325 maxSat=15364
292.18/146.50	c flip 80000 nbSat=15321 maxSat=15364
292.38/146.64	c flip 0 nbSat=13453 maxSat=15364
292.58/146.77	c flip 10000 nbSat=15205 maxSat=15364
292.98/146.91	c flip 20000 nbSat=15274 maxSat=15364
293.18/147.05	c flip 30000 nbSat=15298 maxSat=15364
293.38/147.18	c flip 40000 nbSat=15319 maxSat=15364
293.58/147.29	c flip 50000 nbSat=15290 maxSat=15364
293.99/147.41	c flip 60000 nbSat=15307 maxSat=15364
294.18/147.55	c flip 70000 nbSat=15318 maxSat=15364
294.38/147.67	c flip 80000 nbSat=15325 maxSat=15364
294.58/147.79	c flip 0 nbSat=13507 maxSat=15364
294.98/147.92	c flip 10000 nbSat=15180 maxSat=15364
295.18/148.06	c flip 20000 nbSat=15265 maxSat=15364
295.38/148.19	c flip 30000 nbSat=15302 maxSat=15364
295.78/148.33	c flip 40000 nbSat=15308 maxSat=15364
295.98/148.46	c flip 50000 nbSat=15289 maxSat=15364
296.18/148.59	c flip 60000 nbSat=15324 maxSat=15364
296.57/148.73	c flip 70000 nbSat=15314 maxSat=15364
296.77/148.87	c flip 80000 nbSat=15327 maxSat=15364
297.17/149.02	c flip 0 nbSat=13508 maxSat=15364
297.37/149.15	c flip 10000 nbSat=15193 maxSat=15364
297.57/149.26	c flip 20000 nbSat=15270 maxSat=15364
297.77/149.38	c flip 30000 nbSat=15292 maxSat=15364
297.97/149.49	c flip 40000 nbSat=15312 maxSat=15364
298.38/149.60	c flip 50000 nbSat=15315 maxSat=15364
298.57/149.72	c flip 60000 nbSat=15309 maxSat=15364
298.77/149.84	c flip 70000 nbSat=15317 maxSat=15364
298.97/149.95	c flip 80000 nbSat=15328 maxSat=15364
299.17/150.07	c flip 0 nbSat=13516 maxSat=15364
299.37/150.20	c flip 10000 nbSat=15211 maxSat=15364
299.77/150.32	c flip 20000 nbSat=15278 maxSat=15364
299.97/150.45	c flip 30000 nbSat=15311 maxSat=15364
300.17/150.59	c flip 40000 nbSat=15322 maxSat=15364
300.57/150.73	c flip 50000 nbSat=15328 maxSat=15364
300.76/150.87	c flip 60000 nbSat=15322 maxSat=15364
301.16/151.01	c flip 70000 nbSat=15327 maxSat=15364
301.36/151.15	c flip 80000 nbSat=15329 maxSat=15364
301.56/151.29	c flip 0 nbSat=13447 maxSat=15364
301.96/151.41	c flip 10000 nbSat=15239 maxSat=15364
302.16/151.52	c flip 20000 nbSat=15293 maxSat=15364
302.36/151.64	c flip 30000 nbSat=15311 maxSat=15364
302.57/151.76	c flip 40000 nbSat=15329 maxSat=15364
302.76/151.88	c flip 50000 nbSat=15311 maxSat=15364
303.16/152.00	c flip 60000 nbSat=15325 maxSat=15364
303.36/152.13	c flip 70000 nbSat=15310 maxSat=15364
303.56/152.25	c flip 80000 nbSat=15324 maxSat=15364
303.76/152.38	c flip 0 nbSat=13463 maxSat=15364
304.16/152.50	c flip 10000 nbSat=15156 maxSat=15364
304.36/152.64	c flip 20000 nbSat=15262 maxSat=15364
304.56/152.77	c flip 30000 nbSat=15299 maxSat=15364
304.76/152.89	c flip 40000 nbSat=15319 maxSat=15364
305.15/153.00	c flip 50000 nbSat=15317 maxSat=15364
305.35/153.12	c flip 60000 nbSat=15318 maxSat=15364
305.55/153.24	c flip 70000 nbSat=15334 maxSat=15364
305.75/153.36	c flip 80000 nbSat=15344 maxSat=15364
305.95/153.49	c flip 0 nbSat=13499 maxSat=15364
306.35/153.61	c flip 10000 nbSat=15188 maxSat=15364
306.55/153.74	c flip 20000 nbSat=15289 maxSat=15364
306.75/153.87	c flip 30000 nbSat=15311 maxSat=15364
306.95/153.99	c flip 40000 nbSat=15302 maxSat=15364
307.35/154.11	c flip 50000 nbSat=15312 maxSat=15364
307.55/154.23	c flip 60000 nbSat=15294 maxSat=15364
307.75/154.36	c flip 70000 nbSat=15311 maxSat=15364
307.95/154.48	c flip 80000 nbSat=15316 maxSat=15364
308.35/154.61	c flip 0 nbSat=13520 maxSat=15364
308.54/154.74	c flip 10000 nbSat=15213 maxSat=15364
308.74/154.86	c flip 20000 nbSat=15273 maxSat=15364
308.94/154.98	c flip 30000 nbSat=15308 maxSat=15364
309.14/155.09	c flip 40000 nbSat=15323 maxSat=15364
309.53/155.22	c flip 50000 nbSat=15331 maxSat=15364
309.73/155.32	c flip 60000 nbSat=15320 maxSat=15364
309.93/155.43	c flip 70000 nbSat=15332 maxSat=15364
310.13/155.56	c flip 80000 nbSat=15336 maxSat=15364
310.33/155.69	c flip 0 nbSat=13539 maxSat=15364
310.73/155.82	c flip 10000 nbSat=15186 maxSat=15364
310.93/155.95	c flip 20000 nbSat=15278 maxSat=15364
311.13/156.07	c flip 30000 nbSat=15302 maxSat=15364
311.34/156.20	c flip 40000 nbSat=15326 maxSat=15364
311.73/156.31	c flip 50000 nbSat=15330 maxSat=15364
311.93/156.42	c flip 60000 nbSat=15325 maxSat=15364
312.13/156.52	c flip 70000 nbSat=15349 maxSat=15364
312.33/156.63	c flip 80000 nbSat=15352 maxSat=15364
312.53/156.75	c flip 0 nbSat=13430 maxSat=15364
312.73/156.89	c flip 10000 nbSat=15184 maxSat=15364
313.13/157.02	c flip 20000 nbSat=15251 maxSat=15364
313.33/157.15	c flip 30000 nbSat=15284 maxSat=15364
313.53/157.27	c flip 40000 nbSat=15307 maxSat=15364
313.73/157.40	c flip 50000 nbSat=15302 maxSat=15364
314.12/157.51	c flip 60000 nbSat=15322 maxSat=15364
314.32/157.62	c flip 70000 nbSat=15313 maxSat=15364
314.52/157.73	c flip 80000 nbSat=15316 maxSat=15364
314.72/157.86	c flip 0 nbSat=13440 maxSat=15364
314.92/157.99	c flip 10000 nbSat=15172 maxSat=15364
315.32/158.13	c flip 20000 nbSat=15231 maxSat=15364
315.52/158.26	c flip 30000 nbSat=15279 maxSat=15364
315.92/158.40	c flip 40000 nbSat=15291 maxSat=15364
316.12/158.54	c flip 50000 nbSat=15322 maxSat=15364
316.32/158.68	c flip 60000 nbSat=15307 maxSat=15364
316.72/158.82	c flip 70000 nbSat=15334 maxSat=15364
316.92/158.97	c flip 80000 nbSat=15335 maxSat=15364
317.32/159.12	c flip 0 nbSat=13483 maxSat=15364
317.52/159.26	c flip 10000 nbSat=15218 maxSat=15364
317.72/159.39	c flip 20000 nbSat=15263 maxSat=15364
318.12/159.53	c flip 30000 nbSat=15281 maxSat=15364
318.31/159.66	c flip 40000 nbSat=15324 maxSat=15364
318.51/159.79	c flip 50000 nbSat=15313 maxSat=15364
318.91/159.92	c flip 60000 nbSat=15322 maxSat=15364
319.11/160.04	c flip 70000 nbSat=15317 maxSat=15364
319.31/160.16	c flip 80000 nbSat=15341 maxSat=15364
319.51/160.29	c flip 0 nbSat=13496 maxSat=15364
319.91/160.42	c flip 10000 nbSat=15171 maxSat=15364
320.12/160.57	c flip 20000 nbSat=15272 maxSat=15364
320.51/160.70	c flip 30000 nbSat=15299 maxSat=15364
320.71/160.83	c flip 40000 nbSat=15318 maxSat=15364
320.91/160.96	c flip 50000 nbSat=15318 maxSat=15364
321.11/161.09	c flip 60000 nbSat=15324 maxSat=15364
321.51/161.22	c flip 70000 nbSat=15316 maxSat=15364
321.71/161.35	c flip 80000 nbSat=15317 maxSat=15364
321.91/161.50	c flip 0 nbSat=13505 maxSat=15364
322.31/161.62	c flip 10000 nbSat=15211 maxSat=15364
322.51/161.75	c flip 20000 nbSat=15303 maxSat=15364
322.70/161.86	c flip 30000 nbSat=15320 maxSat=15364
322.90/161.98	c flip 40000 nbSat=15303 maxSat=15364
323.10/162.10	c flip 50000 nbSat=15323 maxSat=15364
323.50/162.21	c flip 60000 nbSat=15342 maxSat=15364
323.70/162.34	c flip 70000 nbSat=15333 maxSat=15364
323.90/162.45	c flip 80000 nbSat=15332 maxSat=15364
324.10/162.57	c flip 0 nbSat=13453 maxSat=15364
324.30/162.69	c flip 10000 nbSat=15191 maxSat=15364
324.71/162.83	c flip 20000 nbSat=15249 maxSat=15364
324.90/162.96	c flip 30000 nbSat=15286 maxSat=15364
325.30/163.10	c flip 40000 nbSat=15304 maxSat=15364
325.50/163.24	c flip 50000 nbSat=15324 maxSat=15364
325.70/163.37	c flip 60000 nbSat=15321 maxSat=15364
326.10/163.50	c flip 70000 nbSat=15326 maxSat=15364
326.30/163.62	c flip 80000 nbSat=15315 maxSat=15364
326.50/163.75	c flip 0 nbSat=13519 maxSat=15364
326.70/163.89	c flip 10000 nbSat=15206 maxSat=15364
327.09/164.02	c flip 20000 nbSat=15271 maxSat=15364
327.29/164.16	c flip 30000 nbSat=15294 maxSat=15364
327.69/164.30	c flip 40000 nbSat=15311 maxSat=15364
327.89/164.44	c flip 50000 nbSat=15330 maxSat=15364
328.09/164.58	c flip 60000 nbSat=15326 maxSat=15364
328.49/164.72	c flip 70000 nbSat=15328 maxSat=15364
328.69/164.85	c flip 80000 nbSat=15329 maxSat=15364
329.10/165.01	c flip 0 nbSat=13465 maxSat=15364
329.29/165.13	c flip 10000 nbSat=15211 maxSat=15364
329.49/165.27	c flip 20000 nbSat=15248 maxSat=15364
329.89/165.43	c flip 30000 nbSat=15277 maxSat=15364
330.09/165.58	c flip 40000 nbSat=15308 maxSat=15364
330.49/165.72	c flip 50000 nbSat=15314 maxSat=15364
330.69/165.87	c flip 60000 nbSat=15317 maxSat=15364
331.09/166.01	c flip 70000 nbSat=15328 maxSat=15364
331.29/166.14	c flip 80000 nbSat=15323 maxSat=15364
331.48/166.29	c flip 0 nbSat=13514 maxSat=15364
331.88/166.42	c flip 10000 nbSat=15170 maxSat=15364
332.08/166.54	c flip 20000 nbSat=15272 maxSat=15364
332.28/166.68	c flip 30000 nbSat=15298 maxSat=15364
332.68/166.80	c flip 40000 nbSat=15310 maxSat=15364
332.88/166.93	c flip 50000 nbSat=15317 maxSat=15364
333.08/167.04	c flip 60000 nbSat=15334 maxSat=15364
333.28/167.16	c flip 70000 nbSat=15319 maxSat=15364
333.48/167.28	c flip 80000 nbSat=15325 maxSat=15364
333.88/167.41	c flip 0 nbSat=13476 maxSat=15364
334.08/167.54	c flip 10000 nbSat=15192 maxSat=15364
334.27/167.68	c flip 20000 nbSat=15280 maxSat=15364
334.67/167.82	c flip 30000 nbSat=15285 maxSat=15364
334.87/167.95	c flip 40000 nbSat=15301 maxSat=15364
335.07/168.09	c flip 50000 nbSat=15301 maxSat=15364
335.48/168.23	c flip 60000 nbSat=15321 maxSat=15364
335.68/168.36	c flip 70000 nbSat=15331 maxSat=15364
336.07/168.50	c flip 80000 nbSat=15332 maxSat=15364
336.27/168.64	c flip 0 nbSat=13523 maxSat=15364
336.47/168.78	c flip 10000 nbSat=15194 maxSat=15364
336.87/168.92	c flip 20000 nbSat=15269 maxSat=15364
337.07/169.07	c flip 30000 nbSat=15300 maxSat=15364
337.27/169.19	c flip 40000 nbSat=15332 maxSat=15364
337.68/169.33	c flip 50000 nbSat=15336 maxSat=15364
337.88/169.45	c flip 60000 nbSat=15345 maxSat=15364
338.07/169.56	c flip 70000 nbSat=15343 maxSat=15364
338.27/169.67	c flip 80000 nbSat=15347 maxSat=15364
338.47/169.78	c flip 0 nbSat=13481 maxSat=15364
338.87/169.91	c flip 10000 nbSat=15210 maxSat=15364
339.07/170.03	c flip 20000 nbSat=15258 maxSat=15364
339.27/170.16	c flip 30000 nbSat=15287 maxSat=15364
339.47/170.29	c flip 40000 nbSat=15306 maxSat=15364
339.87/170.43	c flip 50000 nbSat=15310 maxSat=15364
340.07/170.55	c flip 60000 nbSat=15323 maxSat=15364
340.26/170.67	c flip 70000 nbSat=15312 maxSat=15364
340.46/170.79	c flip 80000 nbSat=15335 maxSat=15364
340.86/170.92	c flip 0 nbSat=13450 maxSat=15364
341.06/171.06	c flip 10000 nbSat=15203 maxSat=15364
341.46/171.21	c flip 20000 nbSat=15262 maxSat=15364
341.66/171.34	c flip 30000 nbSat=15285 maxSat=15364
341.86/171.46	c flip 40000 nbSat=15305 maxSat=15364
342.07/171.58	c flip 50000 nbSat=15314 maxSat=15364
342.26/171.69	c flip 60000 nbSat=15327 maxSat=15364
342.66/171.80	c flip 70000 nbSat=15332 maxSat=15364
342.86/171.91	c flip 80000 nbSat=15321 maxSat=15364
343.06/172.02	c flip 0 nbSat=13467 maxSat=15364
343.26/172.15	c flip 10000 nbSat=15174 maxSat=15364
343.45/172.28	c flip 20000 nbSat=15265 maxSat=15364
343.85/172.41	c flip 30000 nbSat=15295 maxSat=15364
344.05/172.54	c flip 40000 nbSat=15321 maxSat=15364
344.26/172.70	c flip 50000 nbSat=15309 maxSat=15364
344.65/172.84	c flip 60000 nbSat=15294 maxSat=15364
345.05/173.00	c flip 70000 nbSat=15322 maxSat=15364
345.25/173.15	c flip 80000 nbSat=15326 maxSat=15364
345.65/173.32	c flip 0 nbSat=13534 maxSat=15364
345.85/173.45	c flip 10000 nbSat=15172 maxSat=15364
346.25/173.60	c flip 20000 nbSat=15270 maxSat=15364
346.45/173.74	c flip 30000 nbSat=15288 maxSat=15364
346.65/173.88	c flip 40000 nbSat=15306 maxSat=15364
347.05/174.04	c flip 50000 nbSat=15337 maxSat=15364
347.25/174.18	c flip 60000 nbSat=15326 maxSat=15364
347.65/174.34	c flip 70000 nbSat=15329 maxSat=15364
347.85/174.48	c flip 80000 nbSat=15343 maxSat=15364
348.25/174.63	c flip 0 nbSat=13552 maxSat=15364
348.45/174.75	c flip 10000 nbSat=15207 maxSat=15364
348.65/174.88	c flip 20000 nbSat=15296 maxSat=15364
349.04/175.01	c flip 30000 nbSat=15316 maxSat=15364
349.24/175.13	c flip 40000 nbSat=15320 maxSat=15364
349.44/175.26	c flip 50000 nbSat=15331 maxSat=15364
349.64/175.39	c flip 60000 nbSat=15329 maxSat=15364
350.04/175.51	c flip 70000 nbSat=15321 maxSat=15364
350.24/175.65	c flip 80000 nbSat=15326 maxSat=15364
350.44/175.79	c flip 0 nbSat=13542 maxSat=15364
350.84/175.92	c flip 10000 nbSat=15179 maxSat=15364
351.04/176.05	c flip 20000 nbSat=15273 maxSat=15364
351.24/176.16	c flip 30000 nbSat=15305 maxSat=15364
351.44/176.28	c flip 40000 nbSat=15300 maxSat=15364
351.64/176.39	c flip 50000 nbSat=15312 maxSat=15364
352.04/176.51	c flip 60000 nbSat=15316 maxSat=15364
352.24/176.62	c flip 70000 nbSat=15325 maxSat=15364
352.44/176.72	c flip 80000 nbSat=15331 maxSat=15364
352.64/176.84	c flip 0 nbSat=13541 maxSat=15364
352.83/176.97	c flip 10000 nbSat=15199 maxSat=15364
353.24/177.12	c flip 20000 nbSat=15269 maxSat=15364
353.43/177.27	c flip 30000 nbSat=15300 maxSat=15364
353.83/177.43	c flip 40000 nbSat=15302 maxSat=15364
354.03/177.58	c flip 50000 nbSat=15311 maxSat=15364
354.43/177.73	c flip 60000 nbSat=15319 maxSat=15364
354.63/177.89	c flip 70000 nbSat=15325 maxSat=15364
355.03/178.07	c flip 80000 nbSat=15314 maxSat=15364
355.43/178.25	c flip 0 nbSat=13555 maxSat=15364
355.63/178.39	c flip 10000 nbSat=15194 maxSat=15364
356.03/178.52	c flip 20000 nbSat=15266 maxSat=15364
356.23/178.69	c flip 30000 nbSat=15310 maxSat=15364
356.63/178.83	c flip 40000 nbSat=15298 maxSat=15364
356.83/178.97	c flip 50000 nbSat=15308 maxSat=15364
357.23/179.11	c flip 60000 nbSat=15314 maxSat=15364
357.43/179.26	c flip 70000 nbSat=15327 maxSat=15364
357.82/179.41	c flip 80000 nbSat=15326 maxSat=15364
358.02/179.57	c flip 0 nbSat=13478 maxSat=15364
358.42/179.70	c flip 10000 nbSat=15176 maxSat=15364
358.62/179.83	c flip 20000 nbSat=15266 maxSat=15364
358.82/179.95	c flip 30000 nbSat=15311 maxSat=15364
359.02/180.08	c flip 40000 nbSat=15324 maxSat=15364
359.42/180.22	c flip 50000 nbSat=15312 maxSat=15364
359.63/180.37	c flip 60000 nbSat=15310 maxSat=15364
360.02/180.51	c flip 70000 nbSat=15325 maxSat=15364
360.22/180.66	c flip 80000 nbSat=15331 maxSat=15364
360.62/180.80	c flip 0 nbSat=13527 maxSat=15364
360.82/180.93	c flip 10000 nbSat=15197 maxSat=15364
361.02/181.04	c flip 20000 nbSat=15255 maxSat=15364
361.22/181.14	c flip 30000 nbSat=15289 maxSat=15364
361.42/181.24	c flip 40000 nbSat=15298 maxSat=15364
361.62/181.34	c flip 50000 nbSat=15288 maxSat=15364
361.82/181.46	c flip 60000 nbSat=15295 maxSat=15364
362.02/181.58	c flip 70000 nbSat=15314 maxSat=15364
362.21/181.69	c flip 80000 nbSat=15325 maxSat=15364
362.41/181.79	c flip 0 nbSat=13504 maxSat=15364
362.81/181.93	c flip 10000 nbSat=15201 maxSat=15364
363.01/182.05	c flip 20000 nbSat=15251 maxSat=15364
363.21/182.19	c flip 30000 nbSat=15290 maxSat=15364
363.61/182.33	c flip 40000 nbSat=15276 maxSat=15364
363.81/182.47	c flip 50000 nbSat=15297 maxSat=15364
364.21/182.61	c flip 60000 nbSat=15297 maxSat=15364
364.40/182.74	c flip 70000 nbSat=15317 maxSat=15364
364.60/182.86	c flip 80000 nbSat=15325 maxSat=15364
365.00/183.00	c flip 0 nbSat=13433 maxSat=15364
365.20/183.12	c flip 10000 nbSat=15185 maxSat=15364
365.40/183.24	c flip 20000 nbSat=15278 maxSat=15364
365.60/183.35	c flip 30000 nbSat=15312 maxSat=15364
365.80/183.46	c flip 40000 nbSat=15305 maxSat=15364
366.00/183.57	c flip 50000 nbSat=15322 maxSat=15364
366.21/183.69	c flip 60000 nbSat=15318 maxSat=15364
366.41/183.79	c flip 70000 nbSat=15326 maxSat=15364
366.60/183.89	c flip 80000 nbSat=15341 maxSat=15364
366.80/183.99	c flip 0 nbSat=13543 maxSat=15364
367.20/184.11	c flip 10000 nbSat=15234 maxSat=15364
367.40/184.25	c flip 20000 nbSat=15296 maxSat=15364
367.60/184.38	c flip 30000 nbSat=15306 maxSat=15364
368.00/184.51	c flip 40000 nbSat=15334 maxSat=15364
368.20/184.63	c flip 50000 nbSat=15325 maxSat=15364
368.40/184.76	c flip 60000 nbSat=15332 maxSat=15364
368.60/184.89	c flip 70000 nbSat=15320 maxSat=15364
369.00/185.01	c flip 80000 nbSat=15341 maxSat=15364
369.20/185.13	c flip 0 nbSat=13503 maxSat=15364
369.40/185.26	c flip 10000 nbSat=15206 maxSat=15364
369.60/185.39	c flip 20000 nbSat=15278 maxSat=15364
369.99/185.50	c flip 30000 nbSat=15297 maxSat=15364
370.19/185.61	c flip 40000 nbSat=15314 maxSat=15364
370.39/185.71	c flip 50000 nbSat=15328 maxSat=15364
370.60/185.83	c flip 60000 nbSat=15327 maxSat=15364
370.80/185.94	c flip 70000 nbSat=15325 maxSat=15364
370.99/186.08	c flip 80000 nbSat=15330 maxSat=15364
371.39/186.20	c flip 0 nbSat=13445 maxSat=15364
371.59/186.33	c flip 10000 nbSat=15182 maxSat=15364
371.79/186.46	c flip 20000 nbSat=15270 maxSat=15364
372.19/186.60	c flip 30000 nbSat=15289 maxSat=15364
372.39/186.74	c flip 40000 nbSat=15308 maxSat=15364
372.59/186.89	c flip 50000 nbSat=15317 maxSat=15364
372.99/187.05	c flip 60000 nbSat=15315 maxSat=15364
373.38/187.20	c flip 70000 nbSat=15330 maxSat=15364
373.58/187.36	c flip 80000 nbSat=15318 maxSat=15364
373.98/187.51	c flip 0 nbSat=13482 maxSat=15364
374.18/187.63	c flip 10000 nbSat=15210 maxSat=15364
374.38/187.76	c flip 20000 nbSat=15282 maxSat=15364
374.58/187.89	c flip 30000 nbSat=15313 maxSat=15364
374.98/188.03	c flip 40000 nbSat=15318 maxSat=15364
375.18/188.17	c flip 50000 nbSat=15320 maxSat=15364
375.58/188.32	c flip 60000 nbSat=15325 maxSat=15364
375.78/188.46	c flip 70000 nbSat=15326 maxSat=15364
376.18/188.61	c flip 80000 nbSat=15336 maxSat=15364
376.38/188.75	c flip 0 nbSat=13585 maxSat=15364
376.58/188.88	c flip 10000 nbSat=15215 maxSat=15364
376.98/189.03	c flip 20000 nbSat=15296 maxSat=15364
377.18/189.16	c flip 30000 nbSat=15306 maxSat=15364
377.38/189.28	c flip 40000 nbSat=15294 maxSat=15364
377.77/189.40	c flip 50000 nbSat=15310 maxSat=15364
377.97/189.54	c flip 60000 nbSat=15322 maxSat=15364
378.36/189.70	c flip 70000 nbSat=15315 maxSat=15364
378.56/189.84	c flip 80000 nbSat=15319 maxSat=15364
378.76/189.96	c flip 0 nbSat=13463 maxSat=15364
378.96/190.08	c flip 10000 nbSat=15205 maxSat=15364
379.37/190.22	c flip 20000 nbSat=15270 maxSat=15364
379.57/190.34	c flip 30000 nbSat=15309 maxSat=15364
379.76/190.46	c flip 40000 nbSat=15298 maxSat=15364
379.96/190.57	c flip 50000 nbSat=15321 maxSat=15364
380.16/190.69	c flip 60000 nbSat=15319 maxSat=15364
380.56/190.81	c flip 70000 nbSat=15330 maxSat=15364
380.76/190.94	c flip 80000 nbSat=15327 maxSat=15364
380.96/191.07	c flip 0 nbSat=13512 maxSat=15364
381.16/191.19	c flip 10000 nbSat=15206 maxSat=15364
381.56/191.31	c flip 20000 nbSat=15282 maxSat=15364
381.76/191.44	c flip 30000 nbSat=15310 maxSat=15364
381.95/191.56	c flip 40000 nbSat=15314 maxSat=15364
382.15/191.68	c flip 50000 nbSat=15313 maxSat=15364
382.35/191.79	c flip 60000 nbSat=15305 maxSat=15364
382.75/191.90	c flip 70000 nbSat=15312 maxSat=15364
382.95/192.02	c flip 80000 nbSat=15319 maxSat=15364
383.15/192.16	c flip 0 nbSat=13491 maxSat=15364
383.35/192.29	c flip 10000 nbSat=15144 maxSat=15364
383.75/192.41	c flip 20000 nbSat=15247 maxSat=15364
383.95/192.52	c flip 30000 nbSat=15295 maxSat=15364
384.15/192.65	c flip 40000 nbSat=15277 maxSat=15364
384.35/192.76	c flip 50000 nbSat=15304 maxSat=15364
384.55/192.88	c flip 60000 nbSat=15307 maxSat=15364
384.95/193.00	c flip 70000 nbSat=15320 maxSat=15364
385.15/193.11	c flip 80000 nbSat=15325 maxSat=15364
385.35/193.23	c flip 0 nbSat=13524 maxSat=15364
385.55/193.36	c flip 10000 nbSat=15194 maxSat=15364
385.75/193.49	c flip 20000 nbSat=15275 maxSat=15364
386.15/193.64	c flip 30000 nbSat=15310 maxSat=15364
386.34/193.79	c flip 40000 nbSat=15324 maxSat=15364
386.74/193.94	c flip 50000 nbSat=15310 maxSat=15364
386.94/194.09	c flip 60000 nbSat=15326 maxSat=15364
387.34/194.24	c flip 70000 nbSat=15327 maxSat=15364
387.54/194.39	c flip 80000 nbSat=15317 maxSat=15364
387.94/194.54	c flip 0 nbSat=13475 maxSat=15364
388.15/194.68	c flip 10000 nbSat=15189 maxSat=15364
388.54/194.80	c flip 20000 nbSat=15270 maxSat=15364
388.74/194.92	c flip 30000 nbSat=15262 maxSat=15364
388.94/195.04	c flip 40000 nbSat=15295 maxSat=15364
389.14/195.17	c flip 50000 nbSat=15305 maxSat=15364
389.34/195.28	c flip 60000 nbSat=15309 maxSat=15364
389.74/195.40	c flip 70000 nbSat=15308 maxSat=15364
389.94/195.52	c flip 80000 nbSat=15303 maxSat=15364
390.14/195.65	c flip 0 nbSat=13498 maxSat=15364
390.34/195.79	c flip 10000 nbSat=15215 maxSat=15364
390.73/195.91	c flip 20000 nbSat=15285 maxSat=15364
390.93/196.07	c flip 30000 nbSat=15300 maxSat=15364
391.33/196.22	c flip 40000 nbSat=15328 maxSat=15364
391.54/196.36	c flip 50000 nbSat=15336 maxSat=15364
391.94/196.51	c flip 60000 nbSat=15320 maxSat=15364
392.14/196.65	c flip 70000 nbSat=15332 maxSat=15364
392.34/196.78	c flip 80000 nbSat=15331 maxSat=15364
392.74/196.92	c flip 0 nbSat=13499 maxSat=15364
392.93/197.04	c flip 10000 nbSat=15217 maxSat=15364
393.13/197.18	c flip 20000 nbSat=15243 maxSat=15364
393.53/197.30	c flip 30000 nbSat=15260 maxSat=15364
393.73/197.42	c flip 40000 nbSat=15296 maxSat=15364
393.93/197.55	c flip 50000 nbSat=15317 maxSat=15364
394.13/197.67	c flip 60000 nbSat=15310 maxSat=15364
394.53/197.81	c flip 70000 nbSat=15310 maxSat=15364
394.74/197.94	c flip 80000 nbSat=15295 maxSat=15364
394.94/198.07	c flip 0 nbSat=13443 maxSat=15364
395.13/198.19	c flip 10000 nbSat=15150 maxSat=15364
395.53/198.32	c flip 20000 nbSat=15245 maxSat=15364
395.73/198.45	c flip 30000 nbSat=15265 maxSat=15364
395.93/198.55	c flip 40000 nbSat=15296 maxSat=15364
396.13/198.67	c flip 50000 nbSat=15323 maxSat=15364
396.33/198.78	c flip 60000 nbSat=15322 maxSat=15364
396.53/198.89	c flip 70000 nbSat=15336 maxSat=15364
396.73/199.00	c flip 80000 nbSat=15336 maxSat=15364
397.13/199.12	c flip 0 nbSat=13558 maxSat=15364
397.32/199.25	c flip 10000 nbSat=15213 maxSat=15364
397.52/199.37	c flip 20000 nbSat=15292 maxSat=15364
397.72/199.49	c flip 30000 nbSat=15322 maxSat=15364
398.12/199.61	c flip 40000 nbSat=15327 maxSat=15364
398.33/199.73	c flip 50000 nbSat=15338 maxSat=15364
398.53/199.86	c flip 60000 nbSat=15349 maxSat=15364
398.72/199.97	c flip 70000 nbSat=15352 maxSat=15364
398.92/200.09	c flip 80000 nbSat=15350 maxSat=15364
399.33/200.21	c flip 0 nbSat=13401 maxSat=15364
399.52/200.34	c flip 10000 nbSat=15217 maxSat=15364
399.72/200.49	c flip 20000 nbSat=15270 maxSat=15364
400.12/200.65	c flip 30000 nbSat=15303 maxSat=15364
400.31/200.79	c flip 40000 nbSat=15312 maxSat=15364
400.71/200.93	c flip 50000 nbSat=15319 maxSat=15364
400.91/201.06	c flip 60000 nbSat=15323 maxSat=15364
401.11/201.19	c flip 70000 nbSat=15321 maxSat=15364
401.51/201.31	c flip 80000 nbSat=15333 maxSat=15364
401.70/201.44	c flip 0 nbSat=13575 maxSat=15364
401.90/201.56	c flip 10000 nbSat=15215 maxSat=15364
402.10/201.68	c flip 20000 nbSat=15266 maxSat=15364
402.30/201.79	c flip 30000 nbSat=15293 maxSat=15364
402.70/201.91	c flip 40000 nbSat=15303 maxSat=15364
402.90/202.02	c flip 50000 nbSat=15311 maxSat=15364
403.10/202.13	c flip 60000 nbSat=15323 maxSat=15364
403.30/202.25	c flip 70000 nbSat=15325 maxSat=15364
403.51/202.37	c flip 80000 nbSat=15328 maxSat=15364
403.71/202.50	c flip 0 nbSat=13477 maxSat=15364
404.10/202.64	c flip 10000 nbSat=15201 maxSat=15364
404.30/202.79	c flip 20000 nbSat=15285 maxSat=15364
404.70/202.93	c flip 30000 nbSat=15304 maxSat=15364
404.90/203.07	c flip 40000 nbSat=15306 maxSat=15364
405.30/203.21	c flip 50000 nbSat=15320 maxSat=15364
405.50/203.34	c flip 60000 nbSat=15320 maxSat=15364
405.70/203.47	c flip 70000 nbSat=15324 maxSat=15364
405.90/203.59	c flip 80000 nbSat=15319 maxSat=15364
406.30/203.70	c flip 0 nbSat=13460 maxSat=15364
406.50/203.83	c flip 10000 nbSat=15198 maxSat=15364
406.70/203.97	c flip 20000 nbSat=15288 maxSat=15364
407.10/204.10	c flip 30000 nbSat=15298 maxSat=15364
407.30/204.23	c flip 40000 nbSat=15302 maxSat=15364
407.50/204.36	c flip 50000 nbSat=15290 maxSat=15364
407.70/204.48	c flip 60000 nbSat=15313 maxSat=15364
408.10/204.63	c flip 70000 nbSat=15318 maxSat=15364
408.29/204.78	c flip 80000 nbSat=15314 maxSat=15364
408.69/204.91	c flip 0 nbSat=13462 maxSat=15364
408.89/205.05	c flip 10000 nbSat=15189 maxSat=15364
409.09/205.20	c flip 20000 nbSat=15272 maxSat=15364
409.49/205.35	c flip 30000 nbSat=15301 maxSat=15364
409.69/205.49	c flip 40000 nbSat=15315 maxSat=15364
410.09/205.65	c flip 50000 nbSat=15308 maxSat=15364
410.48/205.80	c flip 60000 nbSat=15298 maxSat=15364
410.68/205.92	c flip 70000 nbSat=15323 maxSat=15364
410.88/206.04	c flip 80000 nbSat=15323 maxSat=15364
411.08/206.18	c flip 0 nbSat=13456 maxSat=15364
411.48/206.30	c flip 10000 nbSat=15193 maxSat=15364
411.68/206.42	c flip 20000 nbSat=15292 maxSat=15364
411.88/206.54	c flip 30000 nbSat=15293 maxSat=15364
412.08/206.66	c flip 40000 nbSat=15321 maxSat=15364
412.29/206.79	c flip 50000 nbSat=15331 maxSat=15364
412.68/206.91	c flip 60000 nbSat=15323 maxSat=15364
412.88/207.03	c flip 70000 nbSat=15331 maxSat=15364
413.08/207.15	c flip 80000 nbSat=15330 maxSat=15364
413.28/207.28	c flip 0 nbSat=13463 maxSat=15364
413.68/207.41	c flip 10000 nbSat=15174 maxSat=15364
413.88/207.53	c flip 20000 nbSat=15260 maxSat=15364
414.08/207.66	c flip 30000 nbSat=15300 maxSat=15364
414.28/207.79	c flip 40000 nbSat=15310 maxSat=15364
414.68/207.91	c flip 50000 nbSat=15320 maxSat=15364
414.87/208.04	c flip 60000 nbSat=15321 maxSat=15364
415.07/208.17	c flip 70000 nbSat=15319 maxSat=15364
415.27/208.29	c flip 80000 nbSat=15325 maxSat=15364
415.67/208.42	c flip 0 nbSat=13481 maxSat=15364
415.87/208.55	c flip 10000 nbSat=15189 maxSat=15364
416.07/208.69	c flip 20000 nbSat=15266 maxSat=15364
416.47/208.83	c flip 30000 nbSat=15275 maxSat=15364
416.67/208.97	c flip 40000 nbSat=15305 maxSat=15364
417.07/209.10	c flip 50000 nbSat=15297 maxSat=15364
417.26/209.24	c flip 60000 nbSat=15296 maxSat=15364
417.46/209.37	c flip 70000 nbSat=15298 maxSat=15364
417.86/209.50	c flip 80000 nbSat=15296 maxSat=15364
418.06/209.64	c flip 0 nbSat=13487 maxSat=15364
418.26/209.76	c flip 10000 nbSat=15189 maxSat=15364
418.46/209.89	c flip 20000 nbSat=15234 maxSat=15364
418.87/210.01	c flip 30000 nbSat=15270 maxSat=15364
419.07/210.13	c flip 40000 nbSat=15307 maxSat=15364
419.26/210.23	c flip 50000 nbSat=15298 maxSat=15364
419.46/210.35	c flip 60000 nbSat=15307 maxSat=15364
419.66/210.47	c flip 70000 nbSat=15310 maxSat=15364
419.86/210.59	c flip 80000 nbSat=15318 maxSat=15364
420.26/210.71	c flip 0 nbSat=13518 maxSat=15364
420.46/210.83	c flip 10000 nbSat=15195 maxSat=15364
420.66/210.95	c flip 20000 nbSat=15267 maxSat=15364
420.86/211.08	c flip 30000 nbSat=15302 maxSat=15364
421.26/211.21	c flip 40000 nbSat=15302 maxSat=15364
421.45/211.33	c flip 50000 nbSat=15307 maxSat=15364
421.65/211.45	c flip 60000 nbSat=15325 maxSat=15364
421.85/211.57	c flip 70000 nbSat=15348 maxSat=15364
422.05/211.69	c flip 80000 nbSat=15339 maxSat=15364
422.45/211.82	c flip 0 nbSat=13550 maxSat=15364
422.65/211.95	c flip 10000 nbSat=15180 maxSat=15364
422.85/212.06	c flip 20000 nbSat=15272 maxSat=15364
423.05/212.19	c flip 30000 nbSat=15315 maxSat=15364
423.46/212.31	c flip 40000 nbSat=15308 maxSat=15364
423.65/212.42	c flip 50000 nbSat=15298 maxSat=15364
423.85/212.55	c flip 60000 nbSat=15326 maxSat=15364
424.05/212.67	c flip 70000 nbSat=15307 maxSat=15364
424.25/212.78	c flip 80000 nbSat=15319 maxSat=15364
424.65/212.90	c flip 0 nbSat=13593 maxSat=15364
424.85/213.03	c flip 10000 nbSat=15215 maxSat=15364
425.05/213.19	c flip 20000 nbSat=15292 maxSat=15364
425.45/213.36	c flip 30000 nbSat=15296 maxSat=15364
425.84/213.52	c flip 40000 nbSat=15320 maxSat=15364
426.04/213.67	c flip 50000 nbSat=15339 maxSat=15364
426.44/213.82	c flip 60000 nbSat=15342 maxSat=15364
426.64/213.97	c flip 70000 nbSat=15327 maxSat=15364
427.04/214.11	c flip 80000 nbSat=15330 maxSat=15364
427.24/214.26	c flip 0 nbSat=13555 maxSat=15364
427.44/214.39	c flip 10000 nbSat=15205 maxSat=15364
427.84/214.51	c flip 20000 nbSat=15261 maxSat=15364
428.04/214.63	c flip 30000 nbSat=15285 maxSat=15364
428.24/214.75	c flip 40000 nbSat=15321 maxSat=15364
428.44/214.85	c flip 50000 nbSat=15294 maxSat=15364
428.64/214.96	c flip 60000 nbSat=15332 maxSat=15364
428.84/215.06	c flip 70000 nbSat=15325 maxSat=15364
429.04/215.17	c flip 80000 nbSat=15328 maxSat=15364
429.24/215.28	c flip 0 nbSat=13536 maxSat=15364
429.64/215.41	c flip 10000 nbSat=15228 maxSat=15364
429.84/215.54	c flip 20000 nbSat=15278 maxSat=15364
430.04/215.67	c flip 30000 nbSat=15306 maxSat=15364
430.43/215.80	c flip 40000 nbSat=15312 maxSat=15364
430.63/215.92	c flip 50000 nbSat=15312 maxSat=15364
430.83/216.04	c flip 60000 nbSat=15305 maxSat=15364
431.03/216.16	c flip 70000 nbSat=15290 maxSat=15364
431.23/216.27	c flip 80000 nbSat=15314 maxSat=15364
431.43/216.38	c flip 0 nbSat=13420 maxSat=15364
431.83/216.51	c flip 10000 nbSat=15181 maxSat=15364
432.04/216.65	c flip 20000 nbSat=15274 maxSat=15364
432.24/216.78	c flip 30000 nbSat=15313 maxSat=15364
432.63/216.92	c flip 40000 nbSat=15311 maxSat=15364
432.83/217.04	c flip 50000 nbSat=15323 maxSat=15364
433.03/217.17	c flip 60000 nbSat=15337 maxSat=15364
433.23/217.29	c flip 70000 nbSat=15328 maxSat=15364
433.63/217.42	c flip 80000 nbSat=15322 maxSat=15364
433.83/217.57	c flip 0 nbSat=13513 maxSat=15364
434.23/217.70	c flip 10000 nbSat=15191 maxSat=15364
434.43/217.85	c flip 20000 nbSat=15251 maxSat=15364
434.82/218.01	c flip 30000 nbSat=15282 maxSat=15364
435.02/218.17	c flip 40000 nbSat=15293 maxSat=15364
435.42/218.31	c flip 50000 nbSat=15306 maxSat=15364
435.62/218.44	c flip 60000 nbSat=15319 maxSat=15364
435.82/218.57	c flip 70000 nbSat=15325 maxSat=15364
436.22/218.70	c flip 80000 nbSat=15340 maxSat=15364
436.42/218.83	c flip 0 nbSat=13465 maxSat=15364
436.62/218.95	c flip 10000 nbSat=15190 maxSat=15364
436.81/219.07	c flip 20000 nbSat=15258 maxSat=15364
437.01/219.18	c flip 30000 nbSat=15289 maxSat=15364
437.41/219.30	c flip 40000 nbSat=15298 maxSat=15364
437.61/219.42	c flip 50000 nbSat=15306 maxSat=15364
437.81/219.53	c flip 60000 nbSat=15317 maxSat=15364
438.01/219.66	c flip 70000 nbSat=15327 maxSat=15364
438.21/219.78	c flip 80000 nbSat=15321 maxSat=15364
438.62/219.91	c flip 0 nbSat=13490 maxSat=15364
438.82/220.04	c flip 10000 nbSat=15231 maxSat=15364
439.01/220.17	c flip 20000 nbSat=15275 maxSat=15364
439.41/220.30	c flip 30000 nbSat=15297 maxSat=15364
439.61/220.43	c flip 40000 nbSat=15318 maxSat=15364
439.81/220.56	c flip 50000 nbSat=15329 maxSat=15364
440.01/220.67	c flip 60000 nbSat=15325 maxSat=15364
440.21/220.79	c flip 70000 nbSat=15326 maxSat=15364
440.41/220.89	c flip 80000 nbSat=15342 maxSat=15364
440.81/221.02	c flip 0 nbSat=13438 maxSat=15364
441.01/221.14	c flip 10000 nbSat=15198 maxSat=15364
441.20/221.26	c flip 20000 nbSat=15279 maxSat=15364
441.40/221.38	c flip 30000 nbSat=15314 maxSat=15364
441.80/221.50	c flip 40000 nbSat=15316 maxSat=15364
442.00/221.62	c flip 50000 nbSat=15321 maxSat=15364
442.20/221.74	c flip 60000 nbSat=15316 maxSat=15364
442.40/221.86	c flip 70000 nbSat=15313 maxSat=15364
442.60/221.98	c flip 80000 nbSat=15318 maxSat=15364
443.01/222.11	c flip 0 nbSat=13480 maxSat=15364
443.21/222.24	c flip 10000 nbSat=15180 maxSat=15364
443.60/222.40	c flip 20000 nbSat=15249 maxSat=15364
443.80/222.55	c flip 30000 nbSat=15291 maxSat=15364
444.00/222.68	c flip 40000 nbSat=15287 maxSat=15364
444.40/222.80	c flip 50000 nbSat=15305 maxSat=15364
444.60/222.93	c flip 60000 nbSat=15319 maxSat=15364
444.80/223.06	c flip 70000 nbSat=15330 maxSat=15364
445.00/223.19	c flip 80000 nbSat=15320 maxSat=15364
445.40/223.32	c flip 0 nbSat=13508 maxSat=15364
445.59/223.45	c flip 10000 nbSat=15210 maxSat=15364
445.79/223.57	c flip 20000 nbSat=15271 maxSat=15364
446.19/223.71	c flip 30000 nbSat=15280 maxSat=15364
446.39/223.85	c flip 40000 nbSat=15314 maxSat=15364
446.59/223.97	c flip 50000 nbSat=15317 maxSat=15364
446.99/224.11	c flip 60000 nbSat=15305 maxSat=15364
447.19/224.23	c flip 70000 nbSat=15317 maxSat=15364
447.40/224.36	c flip 80000 nbSat=15321 maxSat=15364
447.60/224.48	c flip 0 nbSat=13493 maxSat=15364
447.99/224.61	c flip 10000 nbSat=15204 maxSat=15364
448.19/224.73	c flip 20000 nbSat=15291 maxSat=15364
448.39/224.86	c flip 30000 nbSat=15318 maxSat=15364
448.59/224.98	c flip 40000 nbSat=15301 maxSat=15364
448.99/225.10	c flip 50000 nbSat=15317 maxSat=15364
449.19/225.22	c flip 60000 nbSat=15333 maxSat=15364
449.39/225.34	c flip 70000 nbSat=15339 maxSat=15364
449.59/225.46	c flip 80000 nbSat=15329 maxSat=15364
449.79/225.57	c flip 0 nbSat=13499 maxSat=15364
449.98/225.70	c flip 10000 nbSat=15188 maxSat=15364
450.38/225.81	c flip 20000 nbSat=15286 maxSat=15364
450.58/225.93	c flip 30000 nbSat=15301 maxSat=15364
450.78/226.04	c flip 40000 nbSat=15311 maxSat=15364
450.98/226.14	c flip 50000 nbSat=15336 maxSat=15364
451.18/226.26	c flip 60000 nbSat=15327 maxSat=15364
451.38/226.37	c flip 70000 nbSat=15338 maxSat=15364
451.58/226.49	c flip 80000 nbSat=15327 maxSat=15364
451.99/226.60	c flip 0 nbSat=13468 maxSat=15364
452.18/226.74	c flip 10000 nbSat=15192 maxSat=15364
452.38/226.87	c flip 20000 nbSat=15282 maxSat=15364
452.78/227.00	c flip 30000 nbSat=15307 maxSat=15364
452.98/227.14	c flip 40000 nbSat=15306 maxSat=15364
453.18/227.27	c flip 50000 nbSat=15310 maxSat=15364
453.58/227.41	c flip 60000 nbSat=15326 maxSat=15364
453.78/227.54	c flip 70000 nbSat=15322 maxSat=15364
453.98/227.67	c flip 80000 nbSat=15320 maxSat=15364
454.18/227.79	c flip 0 nbSat=13572 maxSat=15364
454.57/227.93	c flip 10000 nbSat=15173 maxSat=15364
454.77/228.08	c flip 20000 nbSat=15269 maxSat=15364
455.17/228.23	c flip 30000 nbSat=15289 maxSat=15364
455.37/228.35	c flip 40000 nbSat=15315 maxSat=15364
455.57/228.47	c flip 50000 nbSat=15302 maxSat=15364
455.77/228.57	c flip 60000 nbSat=15304 maxSat=15364
455.97/228.67	c flip 70000 nbSat=15320 maxSat=15364
456.17/228.77	c flip 80000 nbSat=15316 maxSat=15364
456.37/228.87	c flip 0 nbSat=13439 maxSat=15364
456.76/229.00	c flip 10000 nbSat=15210 maxSat=15364
456.96/229.13	c flip 20000 nbSat=15265 maxSat=15364
457.16/229.26	c flip 30000 nbSat=15274 maxSat=15364
457.56/229.41	c flip 40000 nbSat=15298 maxSat=15364
457.76/229.55	c flip 50000 nbSat=15302 maxSat=15364
457.96/229.69	c flip 60000 nbSat=15314 maxSat=15364
458.37/229.83	c flip 70000 nbSat=15321 maxSat=15364
458.57/229.96	c flip 80000 nbSat=15326 maxSat=15364
458.76/230.09	c flip 0 nbSat=13445 maxSat=15364
459.16/230.22	c flip 10000 nbSat=15183 maxSat=15364
459.36/230.34	c flip 20000 nbSat=15283 maxSat=15364
459.56/230.45	c flip 30000 nbSat=15296 maxSat=15364
459.76/230.55	c flip 40000 nbSat=15315 maxSat=15364
459.96/230.66	c flip 50000 nbSat=15306 maxSat=15364
460.16/230.78	c flip 60000 nbSat=15322 maxSat=15364
460.36/230.89	c flip 70000 nbSat=15335 maxSat=15364
460.77/231.01	c flip 80000 nbSat=15329 maxSat=15364
460.96/231.12	c flip 0 nbSat=13482 maxSat=15364
461.16/231.25	c flip 10000 nbSat=15185 maxSat=15364
461.36/231.38	c flip 20000 nbSat=15266 maxSat=15364
461.76/231.50	c flip 30000 nbSat=15293 maxSat=15364
461.96/231.63	c flip 40000 nbSat=15296 maxSat=15364
462.16/231.75	c flip 50000 nbSat=15310 maxSat=15364
462.36/231.88	c flip 60000 nbSat=15302 maxSat=15364
462.76/232.01	c flip 70000 nbSat=15316 maxSat=15364
462.96/232.13	c flip 80000 nbSat=15315 maxSat=15364
463.15/232.26	c flip 0 nbSat=13438 maxSat=15364
463.35/232.39	c flip 10000 nbSat=15165 maxSat=15364
463.75/232.51	c flip 20000 nbSat=15259 maxSat=15364
463.95/232.63	c flip 30000 nbSat=15274 maxSat=15364
464.15/232.77	c flip 40000 nbSat=15295 maxSat=15364
464.55/232.90	c flip 50000 nbSat=15308 maxSat=15364
464.75/233.00	c flip 60000 nbSat=15321 maxSat=15364
464.95/233.11	c flip 70000 nbSat=15325 maxSat=15364
465.15/233.21	c flip 80000 nbSat=15316 maxSat=15364
465.34/233.32	c flip 0 nbSat=13414 maxSat=15364
465.54/233.44	c flip 10000 nbSat=15186 maxSat=15364
465.74/233.57	c flip 20000 nbSat=15272 maxSat=15364
466.14/233.70	c flip 30000 nbSat=15300 maxSat=15364
466.34/233.82	c flip 40000 nbSat=15309 maxSat=15364
466.54/233.95	c flip 50000 nbSat=15327 maxSat=15364
466.74/234.07	c flip 60000 nbSat=15327 maxSat=15364
466.94/234.20	c flip 70000 nbSat=15323 maxSat=15364
467.35/234.34	c flip 80000 nbSat=15326 maxSat=15364
467.54/234.47	c flip 0 nbSat=13460 maxSat=15364
467.94/234.62	c flip 10000 nbSat=15189 maxSat=15364
468.14/234.75	c flip 20000 nbSat=15253 maxSat=15364
468.34/234.88	c flip 30000 nbSat=15280 maxSat=15364
468.74/235.02	c flip 40000 nbSat=15310 maxSat=15364
468.94/235.16	c flip 50000 nbSat=15308 maxSat=15364
469.14/235.30	c flip 60000 nbSat=15319 maxSat=15364
469.54/235.44	c flip 70000 nbSat=15329 maxSat=15364
469.73/235.57	c flip 80000 nbSat=15318 maxSat=15364
470.13/235.71	c flip 0 nbSat=13462 maxSat=15364
470.33/235.83	c flip 10000 nbSat=15175 maxSat=15364
470.53/235.96	c flip 20000 nbSat=15254 maxSat=15364
470.73/236.08	c flip 30000 nbSat=15283 maxSat=15364
471.13/236.20	c flip 40000 nbSat=15305 maxSat=15364
471.33/236.32	c flip 50000 nbSat=15313 maxSat=15364
471.54/236.45	c flip 60000 nbSat=15303 maxSat=15364
471.74/236.58	c flip 70000 nbSat=15323 maxSat=15364
472.13/236.71	c flip 80000 nbSat=15303 maxSat=15364
472.33/236.84	c flip 0 nbSat=13446 maxSat=15364
472.52/236.96	c flip 10000 nbSat=15166 maxSat=15364
472.72/237.09	c flip 20000 nbSat=15268 maxSat=15364
473.12/237.23	c flip 30000 nbSat=15290 maxSat=15364
473.32/237.35	c flip 40000 nbSat=15306 maxSat=15364
473.52/237.47	c flip 50000 nbSat=15307 maxSat=15364
473.73/237.59	c flip 60000 nbSat=15322 maxSat=15364
474.12/237.71	c flip 70000 nbSat=15329 maxSat=15364
474.32/237.83	c flip 80000 nbSat=15342 maxSat=15364
474.52/237.94	c flip 0 nbSat=13516 maxSat=15364
474.72/238.07	c flip 10000 nbSat=15194 maxSat=15364
475.12/238.20	c flip 20000 nbSat=15289 maxSat=15364
475.32/238.35	c flip 30000 nbSat=15304 maxSat=15364
475.52/238.49	c flip 40000 nbSat=15305 maxSat=15364
475.92/238.63	c flip 50000 nbSat=15329 maxSat=15364
476.12/238.76	c flip 60000 nbSat=15325 maxSat=15364
476.31/238.89	c flip 70000 nbSat=15323 maxSat=15364
476.71/239.02	c flip 80000 nbSat=15328 maxSat=15364
476.91/239.16	c flip 0 nbSat=13487 maxSat=15364
477.11/239.28	c flip 10000 nbSat=15203 maxSat=15364
477.51/239.41	c flip 20000 nbSat=15242 maxSat=15364
477.71/239.53	c flip 30000 nbSat=15277 maxSat=15364
477.91/239.65	c flip 40000 nbSat=15302 maxSat=15364
478.10/239.78	c flip 50000 nbSat=15308 maxSat=15364
478.28/239.90	c flip 60000 nbSat=15326 maxSat=15364
478.67/240.01	c flip 70000 nbSat=15329 maxSat=15364
478.87/240.12	c flip 80000 nbSat=15326 maxSat=15364
479.07/240.24	c flip 0 nbSat=13477 maxSat=15364
479.27/240.38	c flip 10000 nbSat=15197 maxSat=15364
479.67/240.51	c flip 20000 nbSat=15285 maxSat=15364
479.87/240.63	c flip 30000 nbSat=15283 maxSat=15364
480.07/240.74	c flip 40000 nbSat=15283 maxSat=15364
480.27/240.88	c flip 50000 nbSat=15316 maxSat=15364
480.48/240.99	c flip 60000 nbSat=15317 maxSat=15364
480.87/241.11	c flip 70000 nbSat=15331 maxSat=15364
481.07/241.22	c flip 80000 nbSat=15318 maxSat=15364
481.26/241.32	c flip 0 nbSat=13493 maxSat=15364
481.46/241.45	c flip 10000 nbSat=15210 maxSat=15364
481.66/241.56	c flip 20000 nbSat=15278 maxSat=15364
481.86/241.69	c flip 30000 nbSat=15300 maxSat=15364
482.26/241.81	c flip 40000 nbSat=15314 maxSat=15364
482.47/241.93	c flip 50000 nbSat=15328 maxSat=15364
482.67/242.05	c flip 60000 nbSat=15338 maxSat=15364
482.86/242.18	c flip 70000 nbSat=15350 maxSat=15364
483.26/242.31	c flip 80000 nbSat=15340 maxSat=15364
483.46/242.44	c flip 0 nbSat=13602 maxSat=15364
483.66/242.57	c flip 10000 nbSat=15182 maxSat=15364
483.86/242.69	c flip 20000 nbSat=15275 maxSat=15364
484.24/242.81	c flip 30000 nbSat=15313 maxSat=15364
484.44/242.92	c flip 40000 nbSat=15298 maxSat=15364
484.64/243.05	c flip 50000 nbSat=15320 maxSat=15364
484.84/243.17	c flip 60000 nbSat=15321 maxSat=15364
485.02/243.28	c flip 70000 nbSat=15333 maxSat=15364
485.22/243.38	c flip 80000 nbSat=15334 maxSat=15364
485.62/243.51	c flip 0 nbSat=13509 maxSat=15364
485.82/243.64	c flip 10000 nbSat=15224 maxSat=15364
486.02/243.78	c flip 20000 nbSat=15301 maxSat=15364
486.42/243.93	c flip 30000 nbSat=15306 maxSat=15364
486.62/244.07	c flip 40000 nbSat=15301 maxSat=15364
487.02/244.22	c flip 50000 nbSat=15310 maxSat=15364
487.21/244.36	c flip 60000 nbSat=15318 maxSat=15364
487.61/244.53	c flip 70000 nbSat=15309 maxSat=15364
487.81/244.69	c flip 80000 nbSat=15330 maxSat=15364
488.21/244.85	c flip 0 nbSat=13437 maxSat=15364
488.41/244.97	c flip 10000 nbSat=15209 maxSat=15364
488.81/245.10	c flip 20000 nbSat=15264 maxSat=15364
489.01/245.24	c flip 30000 nbSat=15294 maxSat=15364
489.22/245.40	c flip 40000 nbSat=15289 maxSat=15364
489.61/245.54	c flip 50000 nbSat=15318 maxSat=15364
489.81/245.67	c flip 60000 nbSat=15317 maxSat=15364
490.01/245.80	c flip 70000 nbSat=15321 maxSat=15364
490.41/245.92	c flip 80000 nbSat=15309 maxSat=15364
490.61/246.04	c flip 0 nbSat=13420 maxSat=15364
490.81/246.16	c flip 10000 nbSat=15182 maxSat=15364
491.01/246.29	c flip 20000 nbSat=15233 maxSat=15364
491.41/246.43	c flip 30000 nbSat=15284 maxSat=15364
491.60/246.56	c flip 40000 nbSat=15300 maxSat=15364
491.99/246.72	c flip 50000 nbSat=15294 maxSat=15364
492.19/246.85	c flip 60000 nbSat=15302 maxSat=15364
492.39/246.99	c flip 70000 nbSat=15311 maxSat=15364
492.79/247.11	c flip 80000 nbSat=15316 maxSat=15364
492.99/247.24	c flip 0 nbSat=13556 maxSat=15364
493.19/247.38	c flip 10000 nbSat=15189 maxSat=15364
493.59/247.52	c flip 20000 nbSat=15273 maxSat=15364
493.78/247.66	c flip 30000 nbSat=15295 maxSat=15364
493.98/247.80	c flip 40000 nbSat=15309 maxSat=15364
494.38/247.93	c flip 50000 nbSat=15328 maxSat=15364
494.58/248.05	c flip 60000 nbSat=15328 maxSat=15364
494.78/248.18	c flip 70000 nbSat=15339 maxSat=15364
495.18/248.31	c flip 80000 nbSat=15338 maxSat=15364
495.38/248.45	c flip 0 nbSat=13504 maxSat=15364
495.58/248.57	c flip 10000 nbSat=15189 maxSat=15364
495.78/248.69	c flip 20000 nbSat=15261 maxSat=15364
496.17/248.82	c flip 30000 nbSat=15263 maxSat=15364
496.37/248.94	c flip 40000 nbSat=15302 maxSat=15364
496.57/249.07	c flip 50000 nbSat=15317 maxSat=15364
496.77/249.19	c flip 60000 nbSat=15308 maxSat=15364
497.17/249.30	c flip 70000 nbSat=15312 maxSat=15364
497.37/249.42	c flip 80000 nbSat=15305 maxSat=15364
497.57/249.55	c flip 0 nbSat=13457 maxSat=15364
497.78/249.68	c flip 10000 nbSat=15179 maxSat=15364
498.17/249.82	c flip 20000 nbSat=15258 maxSat=15364
498.37/249.94	c flip 30000 nbSat=15316 maxSat=15364
498.57/250.06	c flip 40000 nbSat=15328 maxSat=15364
498.77/250.17	c flip 50000 nbSat=15341 maxSat=15364
498.97/250.29	c flip 60000 nbSat=15342 maxSat=15364
499.37/250.42	c flip 70000 nbSat=15339 maxSat=15364
499.57/250.54	c flip 80000 nbSat=15329 maxSat=15364
499.77/250.66	c flip 0 nbSat=13424 maxSat=15364
499.97/250.79	c flip 10000 nbSat=15184 maxSat=15364
500.36/250.92	c flip 20000 nbSat=15260 maxSat=15364
500.56/251.06	c flip 30000 nbSat=15297 maxSat=15364
500.96/251.21	c flip 40000 nbSat=15308 maxSat=15364
501.16/251.36	c flip 50000 nbSat=15316 maxSat=15364
501.56/251.50	c flip 60000 nbSat=15331 maxSat=15364
501.76/251.65	c flip 70000 nbSat=15336 maxSat=15364
502.16/251.80	c flip 80000 nbSat=15317 maxSat=15364
502.36/251.96	c flip 0 nbSat=13490 maxSat=15364
502.56/252.09	c flip 10000 nbSat=15167 maxSat=15364
502.96/252.23	c flip 20000 nbSat=15256 maxSat=15364
503.16/252.35	c flip 30000 nbSat=15304 maxSat=15364
503.35/252.46	c flip 40000 nbSat=15315 maxSat=15364
503.55/252.58	c flip 50000 nbSat=15325 maxSat=15364
503.95/252.70	c flip 60000 nbSat=15330 maxSat=15364
504.15/252.83	c flip 70000 nbSat=15334 maxSat=15364
504.36/252.96	c flip 80000 nbSat=15323 maxSat=15364
504.56/253.09	c flip 0 nbSat=13479 maxSat=15364
504.95/253.22	c flip 10000 nbSat=15188 maxSat=15364
505.15/253.35	c flip 20000 nbSat=15272 maxSat=15364
505.35/253.47	c flip 30000 nbSat=15304 maxSat=15364
505.55/253.59	c flip 40000 nbSat=15317 maxSat=15364
505.95/253.72	c flip 50000 nbSat=15312 maxSat=15364
506.15/253.85	c flip 60000 nbSat=15330 maxSat=15364
506.35/253.97	c flip 70000 nbSat=15330 maxSat=15364
506.55/254.09	c flip 80000 nbSat=15328 maxSat=15364
506.94/254.20	c flip 0 nbSat=13490 maxSat=15364
507.14/254.33	c flip 10000 nbSat=15189 maxSat=15364
507.34/254.46	c flip 20000 nbSat=15252 maxSat=15364
507.54/254.59	c flip 30000 nbSat=15289 maxSat=15364
507.95/254.73	c flip 40000 nbSat=15297 maxSat=15364
508.15/254.86	c flip 50000 nbSat=15295 maxSat=15364
508.35/254.98	c flip 60000 nbSat=15309 maxSat=15364
508.75/255.11	c flip 70000 nbSat=15325 maxSat=15364
508.95/255.23	c flip 80000 nbSat=15317 maxSat=15364
509.14/255.35	c flip 0 nbSat=13443 maxSat=15364
509.34/255.49	c flip 10000 nbSat=15174 maxSat=15364
509.74/255.63	c flip 20000 nbSat=15254 maxSat=15364
509.94/255.75	c flip 30000 nbSat=15284 maxSat=15364
510.14/255.88	c flip 40000 nbSat=15284 maxSat=15364
510.53/256.02	c flip 50000 nbSat=15299 maxSat=15364
510.73/256.17	c flip 60000 nbSat=15306 maxSat=15364
511.13/256.30	c flip 70000 nbSat=15305 maxSat=15364
511.33/256.44	c flip 80000 nbSat=15324 maxSat=15364
511.53/256.57	c flip 0 nbSat=13516 maxSat=15364
511.92/256.70	c flip 10000 nbSat=15191 maxSat=15364
512.12/256.84	c flip 20000 nbSat=15301 maxSat=15364
512.32/256.97	c flip 30000 nbSat=15320 maxSat=15364
512.52/257.09	c flip 40000 nbSat=15326 maxSat=15364
512.93/257.21	c flip 50000 nbSat=15333 maxSat=15364
513.14/257.34	c flip 60000 nbSat=15328 maxSat=15364
513.33/257.45	c flip 70000 nbSat=15343 maxSat=15364
513.53/257.57	c flip 80000 nbSat=15341 maxSat=15364
513.73/257.69	c flip 0 nbSat=13471 maxSat=15364
514.13/257.82	c flip 10000 nbSat=15196 maxSat=15364
514.33/257.96	c flip 20000 nbSat=15246 maxSat=15364
514.53/258.10	c flip 30000 nbSat=15274 maxSat=15364
514.93/258.23	c flip 40000 nbSat=15280 maxSat=15364
515.13/258.36	c flip 50000 nbSat=15284 maxSat=15364
515.33/258.50	c flip 60000 nbSat=15297 maxSat=15364
515.72/258.63	c flip 70000 nbSat=15314 maxSat=15364
515.92/258.76	c flip 80000 nbSat=15310 maxSat=15364
516.12/258.88	c flip 0 nbSat=13453 maxSat=15364
516.52/259.01	c flip 10000 nbSat=15215 maxSat=15364
516.72/259.15	c flip 20000 nbSat=15265 maxSat=15364
516.92/259.29	c flip 30000 nbSat=15309 maxSat=15364
517.32/259.41	c flip 40000 nbSat=15310 maxSat=15364
517.52/259.56	c flip 50000 nbSat=15322 maxSat=15364
517.72/259.69	c flip 60000 nbSat=15327 maxSat=15364
518.11/259.81	c flip 70000 nbSat=15332 maxSat=15364
518.31/259.92	c flip 80000 nbSat=15331 maxSat=15364
518.51/260.03	c flip 0 nbSat=13528 maxSat=15364
518.71/260.16	c flip 10000 nbSat=15166 maxSat=15364
518.91/260.29	c flip 20000 nbSat=15251 maxSat=15364
519.31/260.41	c flip 30000 nbSat=15283 maxSat=15364
519.51/260.52	c flip 40000 nbSat=15312 maxSat=15364
519.72/260.64	c flip 50000 nbSat=15308 maxSat=15364
519.92/260.76	c flip 60000 nbSat=15320 maxSat=15364
520.10/260.88	c flip 70000 nbSat=15326 maxSat=15364
520.50/261.00	c flip 80000 nbSat=15303 maxSat=15364
520.70/261.14	c flip 0 nbSat=13380 maxSat=15364
520.90/261.27	c flip 10000 nbSat=15154 maxSat=15364
521.10/261.40	c flip 20000 nbSat=15263 maxSat=15364
521.49/261.53	c flip 30000 nbSat=15258 maxSat=15364
521.69/261.65	c flip 40000 nbSat=15283 maxSat=15364
521.89/261.79	c flip 50000 nbSat=15289 maxSat=15364
522.28/261.91	c flip 60000 nbSat=15307 maxSat=15364
522.48/262.04	c flip 70000 nbSat=15318 maxSat=15364
522.68/262.15	c flip 80000 nbSat=15322 maxSat=15364
522.88/262.26	c flip 0 nbSat=13472 maxSat=15364
523.28/262.41	c flip 10000 nbSat=15197 maxSat=15364
523.48/262.55	c flip 20000 nbSat=15264 maxSat=15364
523.68/262.68	c flip 30000 nbSat=15297 maxSat=15364
524.08/262.84	c flip 40000 nbSat=15298 maxSat=15364
524.28/262.97	c flip 50000 nbSat=15316 maxSat=15364
524.47/263.09	c flip 60000 nbSat=15318 maxSat=15364
524.87/263.21	c flip 70000 nbSat=15322 maxSat=15364
525.07/263.33	c flip 80000 nbSat=15324 maxSat=15364
525.27/263.46	c flip 0 nbSat=13460 maxSat=15364
525.47/263.59	c flip 10000 nbSat=15207 maxSat=15364
525.88/263.71	c flip 20000 nbSat=15288 maxSat=15364
526.08/263.83	c flip 30000 nbSat=15318 maxSat=15364
526.28/263.96	c flip 40000 nbSat=15315 maxSat=15364
526.48/264.09	c flip 50000 nbSat=15314 maxSat=15364
526.87/264.22	c flip 60000 nbSat=15331 maxSat=15364
527.07/264.36	c flip 70000 nbSat=15334 maxSat=15364
527.27/264.48	c flip 80000 nbSat=15328 maxSat=15364
527.66/264.62	c flip 0 nbSat=13438 maxSat=15364
527.86/264.75	c flip 10000 nbSat=15204 maxSat=15364
528.06/264.87	c flip 20000 nbSat=15247 maxSat=15364
528.26/264.98	c flip 30000 nbSat=15294 maxSat=15364
528.47/265.10	c flip 40000 nbSat=15303 maxSat=15364
528.86/265.21	c flip 50000 nbSat=15313 maxSat=15364
529.06/265.32	c flip 60000 nbSat=15324 maxSat=15364
529.26/265.44	c flip 70000 nbSat=15322 maxSat=15364
529.46/265.55	c flip 80000 nbSat=15329 maxSat=15364
529.66/265.67	c flip 0 nbSat=13531 maxSat=15364
530.06/265.81	c flip 10000 nbSat=15190 maxSat=15364
530.26/265.96	c flip 20000 nbSat=15254 maxSat=15364
530.66/266.12	c flip 30000 nbSat=15284 maxSat=15364
530.86/266.25	c flip 40000 nbSat=15287 maxSat=15364
531.05/266.39	c flip 50000 nbSat=15301 maxSat=15364
531.45/266.52	c flip 60000 nbSat=15311 maxSat=15364
531.65/266.65	c flip 70000 nbSat=15315 maxSat=15364
531.85/266.78	c flip 80000 nbSat=15329 maxSat=15364
532.25/266.94	c flip 0 nbSat=13591 maxSat=15364
532.45/267.08	c flip 10000 nbSat=15186 maxSat=15364
532.85/267.23	c flip 20000 nbSat=15292 maxSat=15364
533.05/267.36	c flip 30000 nbSat=15302 maxSat=15364
533.24/267.49	c flip 40000 nbSat=15309 maxSat=15364
533.64/267.62	c flip 50000 nbSat=15311 maxSat=15364
533.84/267.74	c flip 60000 nbSat=15320 maxSat=15364
534.04/267.87	c flip 70000 nbSat=15329 maxSat=15364
534.44/268.01	c flip 80000 nbSat=15311 maxSat=15364
534.64/268.15	c flip 0 nbSat=13534 maxSat=15364
534.84/268.29	c flip 10000 nbSat=15167 maxSat=15364
535.24/268.42	c flip 20000 nbSat=15252 maxSat=15364
535.43/268.55	c flip 30000 nbSat=15286 maxSat=15364
535.63/268.66	c flip 40000 nbSat=15305 maxSat=15364
535.83/268.78	c flip 50000 nbSat=15307 maxSat=15364
536.24/268.91	c flip 60000 nbSat=15313 maxSat=15364
536.44/269.04	c flip 70000 nbSat=15313 maxSat=15364
536.64/269.17	c flip 80000 nbSat=15314 maxSat=15364
537.04/269.31	c flip 0 nbSat=13459 maxSat=15364
537.24/269.44	c flip 10000 nbSat=15184 maxSat=15364
537.45/269.59	c flip 20000 nbSat=15277 maxSat=15364
537.84/269.75	c flip 30000 nbSat=15297 maxSat=15364
538.24/269.92	c flip 40000 nbSat=15317 maxSat=15364
538.44/270.08	c flip 50000 nbSat=15314 maxSat=15364
538.84/270.22	c flip 60000 nbSat=15316 maxSat=15364
539.04/270.37	c flip 70000 nbSat=15336 maxSat=15364
539.44/270.52	c flip 80000 nbSat=15349 maxSat=15364
539.64/270.67	c flip 0 nbSat=13508 maxSat=15364
540.03/270.80	c flip 10000 nbSat=15226 maxSat=15364
540.23/270.93	c flip 20000 nbSat=15284 maxSat=15364
540.43/271.07	c flip 30000 nbSat=15309 maxSat=15364
540.83/271.20	c flip 40000 nbSat=15312 maxSat=15364
541.03/271.34	c flip 50000 nbSat=15327 maxSat=15364
541.23/271.47	c flip 60000 nbSat=15329 maxSat=15364
541.43/271.60	c flip 70000 nbSat=15327 maxSat=15364
541.83/271.74	c flip 80000 nbSat=15332 maxSat=15364
542.03/271.89	c flip 0 nbSat=13388 maxSat=15364
542.42/272.01	c flip 10000 nbSat=15135 maxSat=15364
542.62/272.16	c flip 20000 nbSat=15246 maxSat=15364
543.02/272.30	c flip 30000 nbSat=15273 maxSat=15364
543.22/272.43	c flip 40000 nbSat=15305 maxSat=15364
543.42/272.54	c flip 50000 nbSat=15300 maxSat=15364
543.62/272.65	c flip 60000 nbSat=15314 maxSat=15364
543.82/272.78	c flip 70000 nbSat=15310 maxSat=15364
544.22/272.90	c flip 80000 nbSat=15328 maxSat=15364
544.42/273.01	c flip 0 nbSat=13573 maxSat=15364
544.61/273.14	c flip 10000 nbSat=15219 maxSat=15364
544.81/273.27	c flip 20000 nbSat=15258 maxSat=15364
545.01/273.39	c flip 30000 nbSat=15273 maxSat=15364
545.41/273.51	c flip 40000 nbSat=15290 maxSat=15364
545.61/273.62	c flip 50000 nbSat=15312 maxSat=15364
545.81/273.73	c flip 60000 nbSat=15314 maxSat=15364
546.01/273.86	c flip 70000 nbSat=15320 maxSat=15364
546.21/273.98	c flip 80000 nbSat=15316 maxSat=15364
546.40/274.09	c flip 0 nbSat=13437 maxSat=15364
546.80/274.22	c flip 10000 nbSat=15182 maxSat=15364
547.00/274.35	c flip 20000 nbSat=15251 maxSat=15364
547.20/274.47	c flip 30000 nbSat=15297 maxSat=15364
547.40/274.58	c flip 40000 nbSat=15317 maxSat=15364
547.80/274.70	c flip 50000 nbSat=15304 maxSat=15364
548.00/274.81	c flip 60000 nbSat=15320 maxSat=15364
548.21/274.94	c flip 70000 nbSat=15314 maxSat=15364
548.41/275.07	c flip 80000 nbSat=15308 maxSat=15364
548.80/275.20	c flip 0 nbSat=13556 maxSat=15364
549.00/275.33	c flip 10000 nbSat=15200 maxSat=15364
549.20/275.45	c flip 20000 nbSat=15248 maxSat=15364
549.40/275.58	c flip 30000 nbSat=15286 maxSat=15364
549.80/275.71	c flip 40000 nbSat=15300 maxSat=15364
550.00/275.84	c flip 50000 nbSat=15299 maxSat=15364
550.20/275.96	c flip 60000 nbSat=15312 maxSat=15364
550.40/276.09	c flip 70000 nbSat=15314 maxSat=15364
550.80/276.25	c flip 80000 nbSat=15323 maxSat=15364
551.00/276.39	c flip 0 nbSat=13492 maxSat=15364
551.40/276.52	c flip 10000 nbSat=15174 maxSat=15364
551.59/276.64	c flip 20000 nbSat=15239 maxSat=15364
551.79/276.77	c flip 30000 nbSat=15297 maxSat=15364
552.19/276.90	c flip 40000 nbSat=15313 maxSat=15364
552.39/277.03	c flip 50000 nbSat=15301 maxSat=15364
552.60/277.17	c flip 60000 nbSat=15324 maxSat=15364
552.79/277.29	c flip 70000 nbSat=15321 maxSat=15364
553.19/277.43	c flip 80000 nbSat=15315 maxSat=15364
553.39/277.56	c flip 0 nbSat=13542 maxSat=15364
553.59/277.68	c flip 10000 nbSat=15214 maxSat=15364
553.99/277.82	c flip 20000 nbSat=15261 maxSat=15364
554.19/277.94	c flip 30000 nbSat=15288 maxSat=15364
554.39/278.06	c flip 40000 nbSat=15286 maxSat=15364
554.59/278.17	c flip 50000 nbSat=15323 maxSat=15364
554.79/278.28	c flip 60000 nbSat=15307 maxSat=15364
554.99/278.39	c flip 70000 nbSat=15328 maxSat=15364
555.18/278.49	c flip 80000 nbSat=15331 maxSat=15364
555.58/278.60	c flip 0 nbSat=13475 maxSat=15364
555.78/278.73	c flip 10000 nbSat=15233 maxSat=15364
555.98/278.84	c flip 20000 nbSat=15270 maxSat=15364
556.18/278.95	c flip 30000 nbSat=15318 maxSat=15364
556.38/279.07	c flip 40000 nbSat=15317 maxSat=15364
556.58/279.19	c flip 50000 nbSat=15285 maxSat=15364
556.98/279.31	c flip 60000 nbSat=15325 maxSat=15364
557.18/279.43	c flip 70000 nbSat=15319 maxSat=15364
557.37/279.54	c flip 80000 nbSat=15330 maxSat=15364
557.57/279.65	c flip 0 nbSat=13450 maxSat=15364
557.77/279.79	c flip 10000 nbSat=15189 maxSat=15364
558.17/279.92	c flip 20000 nbSat=15281 maxSat=15364
558.37/280.04	c flip 30000 nbSat=15284 maxSat=15364
558.57/280.17	c flip 40000 nbSat=15313 maxSat=15364
558.76/280.29	c flip 50000 nbSat=15306 maxSat=15364
558.96/280.39	c flip 60000 nbSat=15305 maxSat=15364
559.37/280.50	c flip 70000 nbSat=15311 maxSat=15364
559.56/280.61	c flip 80000 nbSat=15316 maxSat=15364
559.76/280.71	c flip 0 nbSat=13479 maxSat=15364
559.96/280.85	c flip 10000 nbSat=15178 maxSat=15364
560.16/280.99	c flip 20000 nbSat=15254 maxSat=15364
560.56/281.13	c flip 30000 nbSat=15273 maxSat=15364
560.76/281.27	c flip 40000 nbSat=15303 maxSat=15364
561.16/281.40	c flip 50000 nbSat=15313 maxSat=15364
561.37/281.56	c flip 60000 nbSat=15323 maxSat=15364
561.76/281.71	c flip 70000 nbSat=15322 maxSat=15364
561.96/281.84	c flip 80000 nbSat=15303 maxSat=15364
562.16/281.99	c flip 0 nbSat=13496 maxSat=15364
562.56/282.12	c flip 10000 nbSat=15191 maxSat=15364
562.76/282.26	c flip 20000 nbSat=15279 maxSat=15364
562.95/282.38	c flip 30000 nbSat=15303 maxSat=15364
563.35/282.51	c flip 40000 nbSat=15307 maxSat=15364
563.56/282.64	c flip 50000 nbSat=15313 maxSat=15364
563.76/282.78	c flip 60000 nbSat=15287 maxSat=15364
564.15/282.90	c flip 70000 nbSat=15307 maxSat=15364
564.35/283.03	c flip 80000 nbSat=15329 maxSat=15364
564.55/283.16	c flip 0 nbSat=13505 maxSat=15364
564.75/283.29	c flip 10000 nbSat=15208 maxSat=15364
565.15/283.41	c flip 20000 nbSat=15284 maxSat=15364
565.35/283.52	c flip 30000 nbSat=15319 maxSat=15364
565.55/283.64	c flip 40000 nbSat=15329 maxSat=15364
565.75/283.77	c flip 50000 nbSat=15328 maxSat=15364
565.95/283.88	c flip 60000 nbSat=15328 maxSat=15364
566.34/284.00	c flip 70000 nbSat=15344 maxSat=15364
566.54/284.11	c flip 80000 nbSat=15348 maxSat=15364
566.74/284.23	c flip 0 nbSat=13587 maxSat=15364
566.94/284.37	c flip 10000 nbSat=15186 maxSat=15364
567.34/284.51	c flip 20000 nbSat=15269 maxSat=15364
567.54/284.63	c flip 30000 nbSat=15311 maxSat=15364
567.74/284.76	c flip 40000 nbSat=15323 maxSat=15364
567.94/284.90	c flip 50000 nbSat=15324 maxSat=15364
568.33/285.03	c flip 60000 nbSat=15306 maxSat=15364
568.53/285.16	c flip 70000 nbSat=15322 maxSat=15364
568.93/285.30	c flip 80000 nbSat=15319 maxSat=15364
569.13/285.44	c flip 0 nbSat=13464 maxSat=15364
569.33/285.56	c flip 10000 nbSat=15221 maxSat=15364
569.53/285.68	c flip 20000 nbSat=15276 maxSat=15364
569.93/285.80	c flip 30000 nbSat=15290 maxSat=15364
570.13/285.93	c flip 40000 nbSat=15311 maxSat=15364
570.34/286.03	c flip 50000 nbSat=15316 maxSat=15364
570.53/286.15	c flip 60000 nbSat=15322 maxSat=15364
570.73/286.26	c flip 70000 nbSat=15324 maxSat=15364
570.93/286.39	c flip 80000 nbSat=15321 maxSat=15364
571.33/286.52	c flip 0 nbSat=13495 maxSat=15364
571.53/286.65	c flip 10000 nbSat=15122 maxSat=15364
571.73/286.77	c flip 20000 nbSat=15271 maxSat=15364
571.93/286.89	c flip 30000 nbSat=15304 maxSat=15364
572.33/287.02	c flip 40000 nbSat=15319 maxSat=15364
572.53/287.13	c flip 50000 nbSat=15319 maxSat=15364
572.72/287.24	c flip 60000 nbSat=15320 maxSat=15364
572.92/287.36	c flip 70000 nbSat=15316 maxSat=15364
573.12/287.49	c flip 80000 nbSat=15318 maxSat=15364
573.52/287.60	c flip 0 nbSat=13506 maxSat=15364
573.72/287.73	c flip 10000 nbSat=15161 maxSat=15364
573.92/287.86	c flip 20000 nbSat=15254 maxSat=15364
574.12/287.99	c flip 30000 nbSat=15290 maxSat=15364
574.52/288.11	c flip 40000 nbSat=15320 maxSat=15364
574.73/288.22	c flip 50000 nbSat=15316 maxSat=15364
574.92/288.33	c flip 60000 nbSat=15320 maxSat=15364
575.12/288.45	c flip 70000 nbSat=15304 maxSat=15364
575.32/288.56	c flip 80000 nbSat=15320 maxSat=15364
575.51/288.69	c flip 0 nbSat=13386 maxSat=15364
575.91/288.81	c flip 10000 nbSat=15178 maxSat=15364
576.11/288.93	c flip 20000 nbSat=15264 maxSat=15364
576.31/289.07	c flip 30000 nbSat=15289 maxSat=15364
576.71/289.21	c flip 40000 nbSat=15310 maxSat=15364
576.91/289.33	c flip 50000 nbSat=15314 maxSat=15364
577.10/289.45	c flip 60000 nbSat=15317 maxSat=15364
577.30/289.56	c flip 70000 nbSat=15336 maxSat=15364
577.50/289.67	c flip 80000 nbSat=15334 maxSat=15364
577.70/289.77	c flip 0 nbSat=13473 maxSat=15364
578.10/289.90	c flip 10000 nbSat=15190 maxSat=15364
578.30/290.03	c flip 20000 nbSat=15265 maxSat=15364
578.50/290.16	c flip 30000 nbSat=15291 maxSat=15364
578.70/290.29	c flip 40000 nbSat=15297 maxSat=15364
579.11/290.43	c flip 50000 nbSat=15300 maxSat=15364
579.30/290.57	c flip 60000 nbSat=15313 maxSat=15364
579.69/290.71	c flip 70000 nbSat=15319 maxSat=15364
579.89/290.85	c flip 80000 nbSat=15315 maxSat=15364
580.09/290.99	c flip 0 nbSat=13458 maxSat=15364
580.49/291.12	c flip 10000 nbSat=15182 maxSat=15364
580.69/291.25	c flip 20000 nbSat=15272 maxSat=15364
580.89/291.39	c flip 30000 nbSat=15299 maxSat=15364
581.30/291.52	c flip 40000 nbSat=15319 maxSat=15364
581.49/291.65	c flip 50000 nbSat=15318 maxSat=15364
581.69/291.78	c flip 60000 nbSat=15334 maxSat=15364
582.09/291.90	c flip 70000 nbSat=15343 maxSat=15364
582.29/292.02	c flip 80000 nbSat=15337 maxSat=15364
582.49/292.15	c flip 0 nbSat=13460 maxSat=15364
582.68/292.28	c flip 10000 nbSat=15205 maxSat=15364
583.08/292.42	c flip 20000 nbSat=15265 maxSat=15364
583.29/292.57	c flip 30000 nbSat=15296 maxSat=15364
583.68/292.71	c flip 40000 nbSat=15310 maxSat=15364
583.88/292.85	c flip 50000 nbSat=15305 maxSat=15364
584.08/292.99	c flip 60000 nbSat=15310 maxSat=15364
584.48/293.13	c flip 70000 nbSat=15321 maxSat=15364
584.67/293.29	c flip 80000 nbSat=15324 maxSat=15364
585.07/293.43	c flip 0 nbSat=13481 maxSat=15364
585.28/293.56	c flip 10000 nbSat=15191 maxSat=15364
585.48/293.69	c flip 20000 nbSat=15248 maxSat=15364
585.87/293.83	c flip 30000 nbSat=15286 maxSat=15364
586.07/293.96	c flip 40000 nbSat=15294 maxSat=15364
586.47/294.10	c flip 50000 nbSat=15304 maxSat=15364
586.67/294.24	c flip 60000 nbSat=15314 maxSat=15364
586.87/294.39	c flip 70000 nbSat=15327 maxSat=15364
587.27/294.54	c flip 80000 nbSat=15327 maxSat=15364
587.47/294.68	c flip 0 nbSat=13487 maxSat=15364
587.86/294.82	c flip 10000 nbSat=15195 maxSat=15364
588.05/294.97	c flip 20000 nbSat=15300 maxSat=15364
588.45/295.12	c flip 30000 nbSat=15294 maxSat=15364
588.65/295.24	c flip 40000 nbSat=15314 maxSat=15364
588.85/295.38	c flip 50000 nbSat=15309 maxSat=15364
589.25/295.52	c flip 60000 nbSat=15328 maxSat=15364
589.45/295.67	c flip 70000 nbSat=15338 maxSat=15364
589.85/295.80	c flip 80000 nbSat=15344 maxSat=15364
590.05/295.94	c flip 0 nbSat=13516 maxSat=15364
590.25/296.07	c flip 10000 nbSat=15160 maxSat=15364
590.45/296.19	c flip 20000 nbSat=15259 maxSat=15364
590.85/296.32	c flip 30000 nbSat=15302 maxSat=15364
591.05/296.45	c flip 40000 nbSat=15329 maxSat=15364
591.25/296.57	c flip 50000 nbSat=15321 maxSat=15364
591.65/296.70	c flip 60000 nbSat=15338 maxSat=15364
591.85/296.84	c flip 70000 nbSat=15330 maxSat=15364
592.05/296.98	c flip 80000 nbSat=15326 maxSat=15364
592.44/297.12	c flip 0 nbSat=13498 maxSat=15364
592.64/297.24	c flip 10000 nbSat=15190 maxSat=15364
592.84/297.37	c flip 20000 nbSat=15271 maxSat=15364
593.04/297.49	c flip 30000 nbSat=15293 maxSat=15364
593.44/297.61	c flip 40000 nbSat=15309 maxSat=15364
593.64/297.72	c flip 50000 nbSat=15315 maxSat=15364
593.83/297.83	c flip 60000 nbSat=15310 maxSat=15364
594.03/297.94	c flip 70000 nbSat=15339 maxSat=15364
594.24/298.06	c flip 80000 nbSat=15328 maxSat=15364
594.43/298.19	c flip 0 nbSat=13444 maxSat=15364
594.83/298.31	c flip 10000 nbSat=15220 maxSat=15364
595.03/298.42	c flip 20000 nbSat=15273 maxSat=15364
595.23/298.54	c flip 30000 nbSat=15297 maxSat=15364
595.43/298.65	c flip 40000 nbSat=15328 maxSat=15364
595.63/298.76	c flip 50000 nbSat=15332 maxSat=15364
595.83/298.87	c flip 60000 nbSat=15342 maxSat=15364
596.03/298.97	c flip 70000 nbSat=15332 maxSat=15364
596.23/299.08	c flip 80000 nbSat=15330 maxSat=15364
596.43/299.19	c flip 0 nbSat=13482 maxSat=15364
596.82/299.32	c flip 10000 nbSat=15190 maxSat=15364
597.02/299.46	c flip 20000 nbSat=15288 maxSat=15364
597.22/299.59	c flip 30000 nbSat=15323 maxSat=15364
597.62/299.74	c flip 40000 nbSat=15333 maxSat=15364
597.82/299.88	c flip 50000 nbSat=15336 maxSat=15364
598.22/300.02	c flip 60000 nbSat=15325 maxSat=15364
598.42/300.16	c flip 70000 nbSat=15340 maxSat=15364
598.83/300.31	c flip 80000 nbSat=15330 maxSat=15364
599.02/300.45	c flip 0 nbSat=13542 maxSat=15364
599.22/300.58	c flip 10000 nbSat=15197 maxSat=15364
599.62/300.71	c flip 20000 nbSat=15269 maxSat=15364
599.82/300.85	c flip 30000 nbSat=15286 maxSat=15364
600.02/300.98	c flip 40000 nbSat=15312 maxSat=15364
600.42/301.12	c flip 50000 nbSat=15315 maxSat=15364
600.62/301.26	c flip 60000 nbSat=15320 maxSat=15364
601.02/301.41	c flip 70000 nbSat=15324 maxSat=15364
601.21/301.54	c flip 80000 nbSat=15326 maxSat=15364
601.41/301.70	c flip 0 nbSat=13462 maxSat=15364
601.81/301.83	c flip 10000 nbSat=15186 maxSat=15364
602.01/301.96	c flip 20000 nbSat=15274 maxSat=15364
602.21/302.09	c flip 30000 nbSat=15290 maxSat=15364
602.61/302.21	c flip 40000 nbSat=15298 maxSat=15364
602.81/302.33	c flip 50000 nbSat=15302 maxSat=15364
603.01/302.46	c flip 60000 nbSat=15303 maxSat=15364
603.21/302.58	c flip 70000 nbSat=15308 maxSat=15364
603.60/302.70	c flip 80000 nbSat=15301 maxSat=15364
603.80/302.83	c flip 0 nbSat=13480 maxSat=15364
604.00/302.95	c flip 10000 nbSat=15210 maxSat=15364
604.20/303.09	c flip 20000 nbSat=15275 maxSat=15364
604.60/303.21	c flip 30000 nbSat=15304 maxSat=15364
604.80/303.34	c flip 40000 nbSat=15309 maxSat=15364
605.00/303.46	c flip 50000 nbSat=15325 maxSat=15364
605.21/303.59	c flip 60000 nbSat=15343 maxSat=15364
605.60/303.72	c flip 70000 nbSat=15337 maxSat=15364
605.80/303.86	c flip 80000 nbSat=15337 maxSat=15364
606.19/304.00	c flip 0 nbSat=13458 maxSat=15364
606.39/304.13	c flip 10000 nbSat=15166 maxSat=15364
606.59/304.27	c flip 20000 nbSat=15261 maxSat=15364
606.99/304.41	c flip 30000 nbSat=15261 maxSat=15364
607.19/304.53	c flip 40000 nbSat=15302 maxSat=15364
607.40/304.65	c flip 50000 nbSat=15314 maxSat=15364
607.60/304.78	c flip 60000 nbSat=15328 maxSat=15364
607.79/304.89	c flip 70000 nbSat=15329 maxSat=15364
608.19/305.02	c flip 80000 nbSat=15349 maxSat=15364
608.39/305.15	c flip 0 nbSat=13535 maxSat=15364
608.59/305.27	c flip 10000 nbSat=15195 maxSat=15364
608.99/305.41	c flip 20000 nbSat=15291 maxSat=15364
609.19/305.55	c flip 30000 nbSat=15307 maxSat=15364
609.39/305.69	c flip 40000 nbSat=15303 maxSat=15364
609.79/305.83	c flip 50000 nbSat=15322 maxSat=15364
609.98/305.96	c flip 60000 nbSat=15331 maxSat=15364
610.18/306.09	c flip 70000 nbSat=15339 maxSat=15364
610.58/306.20	c flip 80000 nbSat=15343 maxSat=15364
610.78/306.33	c flip 0 nbSat=13496 maxSat=15364
610.98/306.45	c flip 10000 nbSat=15182 maxSat=15364
611.18/306.58	c flip 20000 nbSat=15282 maxSat=15364
611.58/306.70	c flip 30000 nbSat=15307 maxSat=15364
611.79/306.83	c flip 40000 nbSat=15317 maxSat=15364
611.98/306.95	c flip 50000 nbSat=15311 maxSat=15364
612.17/307.07	c flip 60000 nbSat=15331 maxSat=15364
612.37/307.18	c flip 70000 nbSat=15338 maxSat=15364
612.57/307.28	c flip 80000 nbSat=15335 maxSat=15364
612.77/307.39	c flip 0 nbSat=13557 maxSat=15364
613.17/307.51	c flip 10000 nbSat=15185 maxSat=15364
613.37/307.64	c flip 20000 nbSat=15291 maxSat=15364
613.57/307.76	c flip 30000 nbSat=15319 maxSat=15364
613.77/307.88	c flip 40000 nbSat=15312 maxSat=15364
614.18/308.01	c flip 50000 nbSat=15328 maxSat=15364
614.37/308.13	c flip 60000 nbSat=15335 maxSat=15364
614.57/308.26	c flip 70000 nbSat=15334 maxSat=15364
614.77/308.38	c flip 80000 nbSat=15325 maxSat=15364
615.17/308.51	c flip 0 nbSat=13463 maxSat=15364
615.37/308.64	c flip 10000 nbSat=15149 maxSat=15364
615.57/308.76	c flip 20000 nbSat=15275 maxSat=15364
615.77/308.88	c flip 30000 nbSat=15308 maxSat=15364
615.97/308.98	c flip 40000 nbSat=15320 maxSat=15364
616.37/309.10	c flip 50000 nbSat=15316 maxSat=15364
616.56/309.21	c flip 60000 nbSat=15344 maxSat=15364
616.76/309.32	c flip 70000 nbSat=15339 maxSat=15364
616.96/309.43	c flip 80000 nbSat=15330 maxSat=15364
617.16/309.54	c flip 0 nbSat=13526 maxSat=15364
617.36/309.68	c flip 10000 nbSat=15180 maxSat=15364
617.76/309.81	c flip 20000 nbSat=15248 maxSat=15364
617.96/309.95	c flip 30000 nbSat=15294 maxSat=15364
618.16/310.08	c flip 40000 nbSat=15311 maxSat=15364
618.56/310.21	c flip 50000 nbSat=15299 maxSat=15364
618.75/310.33	c flip 60000 nbSat=15301 maxSat=15364
618.95/310.46	c flip 70000 nbSat=15306 maxSat=15364
619.15/310.59	c flip 80000 nbSat=15328 maxSat=15364
619.55/310.72	c flip 0 nbSat=13476 maxSat=15364
619.75/310.85	c flip 10000 nbSat=15235 maxSat=15364
619.95/310.97	c flip 20000 nbSat=15302 maxSat=15364
620.15/311.08	c flip 30000 nbSat=15330 maxSat=15364
620.35/311.19	c flip 40000 nbSat=15330 maxSat=15364
620.76/311.32	c flip 50000 nbSat=15330 maxSat=15364
620.95/311.43	c flip 60000 nbSat=15352 maxSat=15364
621.15/311.55	c flip 70000 nbSat=15339 maxSat=15364
621.35/311.67	c flip 80000 nbSat=15347 maxSat=15364
621.55/311.79	c flip 0 nbSat=13465 maxSat=15364
621.96/311.91	c flip 10000 nbSat=15199 maxSat=15364
622.16/312.02	c flip 20000 nbSat=15280 maxSat=15364
622.36/312.14	c flip 30000 nbSat=15303 maxSat=15364
622.56/312.24	c flip 40000 nbSat=15301 maxSat=15364
622.76/312.35	c flip 50000 nbSat=15315 maxSat=15364
622.96/312.46	c flip 60000 nbSat=15320 maxSat=15364
623.15/312.57	c flip 70000 nbSat=15312 maxSat=15364
623.35/312.68	c flip 80000 nbSat=15323 maxSat=15364
623.55/312.78	c flip 0 nbSat=13474 maxSat=15364
623.95/312.92	c flip 10000 nbSat=15180 maxSat=15364
624.15/313.06	c flip 20000 nbSat=15281 maxSat=15364
624.35/313.19	c flip 30000 nbSat=15292 maxSat=15364
624.75/313.34	c flip 40000 nbSat=15305 maxSat=15364
624.95/313.49	c flip 50000 nbSat=15308 maxSat=15364
625.34/313.64	c flip 60000 nbSat=15322 maxSat=15364
625.54/313.77	c flip 70000 nbSat=15319 maxSat=15364
625.94/313.92	c flip 80000 nbSat=15322 maxSat=15364
626.14/314.08	c flip 0 nbSat=13446 maxSat=15364
626.54/314.20	c flip 10000 nbSat=15193 maxSat=15364
626.74/314.33	c flip 20000 nbSat=15283 maxSat=15364
626.94/314.46	c flip 30000 nbSat=15305 maxSat=15364
627.14/314.59	c flip 40000 nbSat=15316 maxSat=15364
627.53/314.72	c flip 50000 nbSat=15326 maxSat=15364
627.73/314.85	c flip 60000 nbSat=15323 maxSat=15364
627.93/314.98	c flip 70000 nbSat=15335 maxSat=15364
628.33/315.11	c flip 80000 nbSat=15339 maxSat=15364
628.53/315.25	c flip 0 nbSat=13473 maxSat=15364
628.73/315.37	c flip 10000 nbSat=15192 maxSat=15364
629.13/315.51	c flip 20000 nbSat=15285 maxSat=15364
629.33/315.65	c flip 30000 nbSat=15315 maxSat=15364
629.73/315.80	c flip 40000 nbSat=15324 maxSat=15364
629.92/315.95	c flip 50000 nbSat=15330 maxSat=15364
630.32/316.10	c flip 60000 nbSat=15335 maxSat=15364
630.52/316.26	c flip 70000 nbSat=15344 maxSat=15364
630.92/316.42	c flip 80000 nbSat=15334 maxSat=15364
631.12/316.59	c flip 0 nbSat=13489 maxSat=15364
631.53/316.73	c flip 10000 nbSat=15215 maxSat=15364
631.73/316.87	c flip 20000 nbSat=15292 maxSat=15364
632.12/317.00	c flip 30000 nbSat=15321 maxSat=15364
632.32/317.12	c flip 40000 nbSat=15328 maxSat=15364
632.52/317.22	c flip 50000 nbSat=15333 maxSat=15364
632.72/317.33	c flip 60000 nbSat=15331 maxSat=15364
632.92/317.45	c flip 70000 nbSat=15334 maxSat=15364
633.12/317.56	c flip 80000 nbSat=15332 maxSat=15364
633.32/317.69	c flip 0 nbSat=13401 maxSat=15364
633.72/317.82	c flip 10000 nbSat=15207 maxSat=15364
633.93/317.94	c flip 20000 nbSat=15274 maxSat=15364
634.12/318.07	c flip 30000 nbSat=15292 maxSat=15364
634.32/318.19	c flip 40000 nbSat=15306 maxSat=15364
634.72/318.32	c flip 50000 nbSat=15316 maxSat=15364
634.92/318.44	c flip 60000 nbSat=15324 maxSat=15364
635.12/318.56	c flip 70000 nbSat=15351 maxSat=15364
635.32/318.66	c flip 80000 nbSat=15346 maxSat=15364
635.52/318.77	c flip 0 nbSat=13486 maxSat=15365
635.72/318.90	c flip 10000 nbSat=15208 maxSat=15365
636.12/319.03	c flip 20000 nbSat=15284 maxSat=15365
636.31/319.16	c flip 30000 nbSat=15304 maxSat=15365
636.51/319.27	c flip 40000 nbSat=15301 maxSat=15365
636.71/319.39	c flip 50000 nbSat=15313 maxSat=15365
637.11/319.51	c flip 60000 nbSat=15323 maxSat=15365
637.31/319.65	c flip 70000 nbSat=15329 maxSat=15365
637.51/319.78	c flip 80000 nbSat=15338 maxSat=15365
637.91/319.90	c flip 0 nbSat=13504 maxSat=15365
638.11/320.04	c flip 10000 nbSat=15174 maxSat=15365
638.31/320.18	c flip 20000 nbSat=15242 maxSat=15365
638.70/320.31	c flip 30000 nbSat=15284 maxSat=15365
638.90/320.43	c flip 40000 nbSat=15306 maxSat=15365
639.10/320.56	c flip 50000 nbSat=15319 maxSat=15365
639.30/320.69	c flip 60000 nbSat=15309 maxSat=15365
639.70/320.83	c flip 70000 nbSat=15316 maxSat=15365
639.90/320.98	c flip 80000 nbSat=15309 maxSat=15365
640.31/321.12	c flip 0 nbSat=13445 maxSat=15365
640.51/321.26	c flip 10000 nbSat=15192 maxSat=15365
640.70/321.40	c flip 20000 nbSat=15282 maxSat=15365
641.10/321.54	c flip 30000 nbSat=15284 maxSat=15365
641.30/321.69	c flip 40000 nbSat=15280 maxSat=15365
641.70/321.85	c flip 50000 nbSat=15306 maxSat=15365
642.09/322.00	c flip 60000 nbSat=15313 maxSat=15365
642.29/322.15	c flip 70000 nbSat=15323 maxSat=15365
642.70/322.30	c flip 80000 nbSat=15340 maxSat=15365
642.89/322.45	c flip 0 nbSat=13387 maxSat=15365
643.09/322.58	c flip 10000 nbSat=15177 maxSat=15365
643.49/322.71	c flip 20000 nbSat=15274 maxSat=15365
643.69/322.83	c flip 30000 nbSat=15299 maxSat=15365
643.89/322.96	c flip 40000 nbSat=15309 maxSat=15365
644.09/323.09	c flip 50000 nbSat=15305 maxSat=15365
644.49/323.23	c flip 60000 nbSat=15307 maxSat=15365
644.69/323.38	c flip 70000 nbSat=15314 maxSat=15365
645.08/323.51	c flip 80000 nbSat=15329 maxSat=15365
645.28/323.64	c flip 0 nbSat=13527 maxSat=15365
645.48/323.77	c flip 10000 nbSat=15171 maxSat=15365
645.68/323.89	c flip 20000 nbSat=15246 maxSat=15365
646.08/324.02	c flip 30000 nbSat=15283 maxSat=15365
646.28/324.15	c flip 40000 nbSat=15305 maxSat=15365
646.48/324.27	c flip 50000 nbSat=15310 maxSat=15365
646.68/324.39	c flip 60000 nbSat=15330 maxSat=15365
647.09/324.51	c flip 70000 nbSat=15333 maxSat=15365
647.26/324.63	c flip 80000 nbSat=15336 maxSat=15365
647.46/324.77	c flip 0 nbSat=13480 maxSat=15365
647.83/324.91	c flip 10000 nbSat=15187 maxSat=15365
648.03/325.03	c flip 20000 nbSat=15296 maxSat=15365
648.23/325.14	c flip 30000 nbSat=15319 maxSat=15365
648.43/325.26	c flip 40000 nbSat=15324 maxSat=15365
648.64/325.37	c flip 50000 nbSat=15326 maxSat=15365
648.84/325.47	c flip 60000 nbSat=15337 maxSat=15365
649.04/325.59	c flip 70000 nbSat=15344 maxSat=15365
649.43/325.70	c flip 80000 nbSat=15325 maxSat=15365
649.63/325.83	c flip 0 nbSat=13478 maxSat=15365
649.83/325.96	c flip 10000 nbSat=15200 maxSat=15365
650.03/326.07	c flip 20000 nbSat=15298 maxSat=15365
650.23/326.18	c flip 30000 nbSat=15318 maxSat=15365
650.43/326.29	c flip 40000 nbSat=15329 maxSat=15365
650.63/326.39	c flip 50000 nbSat=15338 maxSat=15365
651.03/326.50	c flip 60000 nbSat=15331 maxSat=15365
651.23/326.61	c flip 70000 nbSat=15340 maxSat=15365
651.44/326.73	c flip 80000 nbSat=15312 maxSat=15365
651.63/326.86	c flip 0 nbSat=13501 maxSat=15365
651.83/326.98	c flip 10000 nbSat=15195 maxSat=15365
652.23/327.11	c flip 20000 nbSat=15264 maxSat=15365
652.43/327.24	c flip 30000 nbSat=15293 maxSat=15365
652.63/327.36	c flip 40000 nbSat=15330 maxSat=15365
652.83/327.47	c flip 50000 nbSat=15339 maxSat=15365
653.03/327.58	c flip 60000 nbSat=15333 maxSat=15365
653.23/327.69	c flip 70000 nbSat=15330 maxSat=15365
653.63/327.80	c flip 80000 nbSat=15326 maxSat=15365
653.82/327.92	c flip 0 nbSat=13433 maxSat=15365
654.02/328.05	c flip 10000 nbSat=15179 maxSat=15365
654.22/328.18	c flip 20000 nbSat=15267 maxSat=15365
654.62/328.31	c flip 30000 nbSat=15290 maxSat=15365
654.82/328.44	c flip 40000 nbSat=15308 maxSat=15365
655.02/328.57	c flip 50000 nbSat=15316 maxSat=15365
655.42/328.70	c flip 60000 nbSat=15316 maxSat=15365
655.63/328.84	c flip 70000 nbSat=15316 maxSat=15365
655.83/328.98	c flip 80000 nbSat=15325 maxSat=15365
656.22/329.11	c flip 0 nbSat=13504 maxSat=15365
656.42/329.24	c flip 10000 nbSat=15195 maxSat=15365
656.62/329.38	c flip 20000 nbSat=15267 maxSat=15365
657.02/329.50	c flip 30000 nbSat=15296 maxSat=15365
657.22/329.61	c flip 40000 nbSat=15297 maxSat=15365
657.42/329.72	c flip 50000 nbSat=15318 maxSat=15365
657.62/329.84	c flip 60000 nbSat=15321 maxSat=15365
657.82/329.96	c flip 70000 nbSat=15331 maxSat=15365
658.02/330.06	c flip 80000 nbSat=15327 maxSat=15365
658.21/330.19	c flip 0 nbSat=13655 maxSat=15365
658.61/330.31	c flip 10000 nbSat=15306 maxSat=15365
658.81/330.45	c flip 20000 nbSat=15361 maxSat=15377
659.01/330.59	c flip 30000 nbSat=15376 maxSat=15402
659.41/330.72	c flip 40000 nbSat=15402 maxSat=15418
659.61/330.85	c flip 50000 nbSat=15418 maxSat=15433
659.81/330.98	c flip 60000 nbSat=15430 maxSat=15445
660.21/331.11	c flip 70000 nbSat=15432 maxSat=15445
660.41/331.26	c flip 80000 nbSat=15432 maxSat=15448
660.61/331.36	c nbDecision=10000 #clauses=17963
660.81/331.45	c flip 0 nbSat=16061 maxSat=15448
661.21/331.64	c flip 10000 nbSat=17771 maxSat=17795
661.60/331.86	c flip 20000 nbSat=17882 maxSat=17892
662.21/332.12	c flip 30000 nbSat=17898 maxSat=17911
662.60/332.36	c flip 40000 nbSat=17898 maxSat=17924
663.00/332.60	c flip 50000 nbSat=17909 maxSat=17932
663.60/332.83	c flip 60000 nbSat=17909 maxSat=17932
664.00/333.07	c flip 70000 nbSat=17914 maxSat=17932
664.60/333.31	c flip 80000 nbSat=17912 maxSat=17936
664.99/333.56	c flip 0 nbSat=19569 maxSat=17940
665.79/333.90	c flip 10000 nbSat=21267 maxSat=21291
666.40/334.25	c flip 20000 nbSat=21349 maxSat=21367
666.99/334.58	c flip 30000 nbSat=21373 maxSat=21396
667.79/334.94	c flip 40000 nbSat=21377 maxSat=21404
668.39/335.27	c flip 50000 nbSat=21403 maxSat=21406
668.79/335.47	c nbDecision=20000 #clauses=24070
669.19/335.63	c flip 60000 nbSat=21415 maxSat=21417
669.98/336.01	c flip 70000 nbSat=21409 maxSat=21425
670.78/336.40	c flip 80000 nbSat=21431 maxSat=21439
671.58/336.80	c flip 0 nbSat=23406 maxSat=21442
672.78/337.41	c flip 10000 nbSat=25125 maxSat=25154
673.97/338.07	c flip 20000 nbSat=25231 maxSat=25240
675.17/338.68	c flip 30000 nbSat=25239 maxSat=25260
676.36/339.23	c flip 40000 nbSat=25264 maxSat=25274
677.36/339.76	c flip 50000 nbSat=25259 maxSat=25278
678.56/340.30	c flip 60000 nbSat=25270 maxSat=25281
679.56/340.86	c flip 70000 nbSat=25267 maxSat=25290
680.75/341.44	c flip 80000 nbSat=25273 maxSat=25296
681.96/342.02	c flip 0 nbSat=27669 maxSat=25296
683.15/342.61	c nbDecision=30000 #clauses=30208
683.55/342.82	c flip 10000 nbSat=29419 maxSat=29432
685.14/343.69	c flip 20000 nbSat=29484 maxSat=29512
686.93/344.52	c flip 30000 nbSat=29542 maxSat=29547
688.54/345.35	c flip 40000 nbSat=29540 maxSat=29566
690.54/346.31	c flip 50000 nbSat=29552 maxSat=29566
692.13/347.17	c flip 60000 nbSat=29556 maxSat=29570
693.92/348.06	c flip 70000 nbSat=29551 maxSat=29574
695.92/349.03	c flip 80000 nbSat=29560 maxSat=29574
697.91/350.09	c flip 0 nbSat=33478 maxSat=29574
700.30/351.27	c flip 10000 nbSat=35167 maxSat=35193
701.91/352.02	c nbDecision=40000 #clauses=36603
702.90/352.59	c flip 20000 nbSat=35295 maxSat=35316
705.90/354.07	c flip 30000 nbSat=35340 maxSat=35356
708.89/355.55	c flip 40000 nbSat=35344 maxSat=35360
712.08/357.10	c flip 50000 nbSat=35368 maxSat=35368
715.08/358.64	c flip 60000 nbSat=35344 maxSat=35372
717.87/360.00	c flip 70000 nbSat=35373 maxSat=35377
720.66/361.42	c flip 80000 nbSat=35360 maxSat=35377
723.66/362.96	c flip 0 nbSat=41076 maxSat=35379
724.05/363.16	c nbDecision=50000 #clauses=43214
727.05/364.65	c flip 10000 nbSat=42757 maxSat=42776
730.24/366.26	c flip 20000 nbSat=42830 maxSat=42856
733.63/367.95	c flip 30000 nbSat=42898 maxSat=42913
737.21/369.79	c flip 40000 nbSat=42916 maxSat=42924
741.00/371.69	c flip 50000 nbSat=42934 maxSat=42954
745.20/373.71	c flip 60000 nbSat=42927 maxSat=42954
748.99/375.60	c flip 70000 nbSat=42924 maxSat=42956
753.38/377.83	c flip 80000 nbSat=42932 maxSat=42956
755.17/378.72	c nbDecision=60000 #clauses=49658
756.78/379.57	c flip 0 nbSat=47924 maxSat=42971
760.76/381.51	c flip 10000 nbSat=49729 maxSat=49739
765.75/384.08	c flip 20000 nbSat=49797 maxSat=49805
770.73/386.55	c flip 30000 nbSat=49830 maxSat=49846
776.12/389.26	c flip 40000 nbSat=49842 maxSat=49856
781.31/391.90	c flip 50000 nbSat=49846 maxSat=49857
786.30/394.38	c flip 60000 nbSat=49863 maxSat=49868
788.50/395.43	c nbDecision=70000 #clauses=56113
791.29/396.84	c flip 70000 nbSat=49863 maxSat=49875
796.08/399.21	c flip 80000 nbSat=49869 maxSat=49881
801.06/401.73	c flip 0 nbSat=56355 maxSat=49884
806.25/404.35	c flip 10000 nbSat=58066 maxSat=58083
812.64/407.51	c flip 20000 nbSat=58142 maxSat=58160
819.62/411.09	c flip 30000 nbSat=58170 maxSat=58185
824.82/413.64	c nbDecision=80000 #clauses=62702
827.40/414.93	c flip 40000 nbSat=58186 maxSat=58206
833.79/418.16	c flip 50000 nbSat=58190 maxSat=58216
840.77/421.63	c flip 60000 nbSat=58207 maxSat=58216
846.95/424.71	c flip 70000 nbSat=58211 maxSat=58226
853.34/427.91	c flip 80000 nbSat=58232 maxSat=58238
859.92/431.24	c flip 0 nbSat=66278 maxSat=58244
864.71/433.69	c nbDecision=90000 #clauses=69400
866.90/434.76	c flip 10000 nbSat=67891 maxSat=67902
875.09/438.90	c flip 20000 nbSat=67975 maxSat=67999
883.27/442.92	c flip 30000 nbSat=68004 maxSat=68033
891.65/447.15	c nbDecision=100000 #clauses=75911
891.65/447.18	c flip 40000 nbSat=68002 maxSat=68033
900.63/451.70	c flip 50000 nbSat=68004 maxSat=68035
909.81/456.28	c flip 60000 nbSat=68034 maxSat=68054
919.18/460.98	c flip 70000 nbSat=68045 maxSat=68068
920.18/461.44	c nbDecision=110000 #clauses=82446
929.35/466.06	c flip 80000 nbSat=68053 maxSat=68074
938.74/470.76	c flip 0 nbSat=83623 maxSat=68080
947.12/474.97	c flip 10000 nbSat=85448 maxSat=85468
957.48/480.16	c flip 20000 nbSat=85516 maxSat=85552
957.88/480.32	c nbDecision=120000 #clauses=88761
967.47/485.11	c flip 30000 nbSat=85558 maxSat=85588
977.64/490.28	c flip 40000 nbSat=85588 maxSat=85615
987.82/495.37	c flip 50000 nbSat=85597 maxSat=85618
998.19/500.56	c flip 60000 nbSat=85584 maxSat=85628
998.99/500.91	c nbDecision=130000 #clauses=95333
1009.56/506.21	c flip 70000 nbSat=85604 maxSat=85628
1020.93/511.97	c flip 80000 nbSat=85594 maxSat=85628
1031.91/517.43	c flip 0 nbSat=97664 maxSat=85628
1043.87/523.45	c flip 10000 nbSat=99390 maxSat=99422
1048.06/525.57	c nbDecision=140000 #clauses=101962
1059.05/531.01	c flip 20000 nbSat=99499 maxSat=99519
1075.21/539.19	c flip 30000 nbSat=99521 maxSat=99561
1090.77/546.97	c flip 40000 nbSat=99578 maxSat=99586
1100.14/551.60	c nbDecision=150000 #clauses=108296
1106.72/554.96	c flip 50000 nbSat=99580 maxSat=99598
1122.70/562.94	c flip 60000 nbSat=99579 maxSat=99604
1137.25/570.25	c flip 70000 nbSat=99591 maxSat=99613
1141.64/572.43	c nbDecision=160000 #clauses=114597
1153.62/578.41	c flip 80000 nbSat=99611 maxSat=99624
1169.19/586.28	c flip 0 nbSat=116620 maxSat=99631
1184.15/593.79	c flip 10000 nbSat=118403 maxSat=118433
1184.75/594.08	c nbDecision=170000 #clauses=121055

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/node71/watcher-328336-1173110221 -o ROOT/results/node71/solver-328336-1173110221 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328336-1173110221/ornithorynque /tmp/evaluation/328336-1173110221/instance-328336-1173110221.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.99 1.98 1.95 3/64 14171
/proc/meminfo: memFree=1090344/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=23220 CPUtime=0
/proc/14171/stat : 14171 (ornithorynque) R 14169 14171 13619 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 330979898 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231959727377 0 0 4096 0 0 0 0 17 1 0 0
/proc/14171/statm: 5805 266 219 42 0 45 0

[startup+0.092777 s]
/proc/loadavg: 1.99 1.98 1.95 3/64 14171
/proc/meminfo: memFree=1090344/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=46700 CPUtime=0.12
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1185 0 0 0 12 0 0 0 18 0 3 0 330979898 47820800 1146 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 11675 1146 387 42 0 5927 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 46700

[startup+0.101775 s]
/proc/loadavg: 1.99 1.98 1.95 3/64 14171
/proc/meminfo: memFree=1090344/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=46700 CPUtime=0.14
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1185 0 0 0 14 0 0 0 18 0 3 0 330979898 47820800 1146 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 11675 1146 387 42 0 5927 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 46700

[startup+0.301818 s]
/proc/loadavg: 1.99 1.98 1.95 3/64 14171
/proc/meminfo: memFree=1090344/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=46700 CPUtime=0.54
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1211 0 0 0 54 0 0 0 18 0 3 0 330979898 47820800 1172 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 11675 1172 387 42 0 5927 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 46700

[startup+0.701907 s]
/proc/loadavg: 1.99 1.98 1.95 3/64 14171
/proc/meminfo: memFree=1090344/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=47984 CPUtime=1.34
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1331 0 0 0 134 0 0 0 18 0 3 0 330979898 49135616 1292 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 11996 1292 387 42 0 6248 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 47984

[startup+1.50208 s]
/proc/loadavg: 1.91 1.97 1.95 3/67 14174
/proc/meminfo: memFree=1086352/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=48116 CPUtime=2.93
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1497 0 0 0 293 0 0 0 18 0 3 0 330979898 49270784 1458 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 12029 1458 387 42 0 6281 0
[pid=14171/tid=14173] ppid=14169 vsize=48116 CPUtime=1.45
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 192 0 0 0 145 0 0 0 19 0 3 0 330979903 49270784 1458 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=48116 CPUtime=1.44
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 140 0 0 0 144 0 0 0 19 0 3 0 330979903 49270784 1458 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241162 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 48116

[startup+3.10142 s]
/proc/loadavg: 1.91 1.97 1.95 3/67 14174
/proc/meminfo: memFree=1085776/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=48116 CPUtime=6.13
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1526 0 0 0 612 1 0 0 18 0 3 0 330979898 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 12029 1487 387 42 0 6281 0
[pid=14171/tid=14173] ppid=14169 vsize=48116 CPUtime=3.04
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 192 0 0 0 304 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242995 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=48116 CPUtime=3.03
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 169 0 0 0 303 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 48116

[startup+6.30112 s]
/proc/loadavg: 1.92 1.97 1.95 3/67 14174
/proc/meminfo: memFree=1085584/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=48116 CPUtime=12.52
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1526 0 0 0 1251 1 0 0 18 0 3 0 330979898 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 12029 1487 387 42 0 6281 0
[pid=14171/tid=14173] ppid=14169 vsize=48116 CPUtime=6.24
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 192 0 0 0 624 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=48116 CPUtime=6.22
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 169 0 0 0 622 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240913 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 48116

[startup+12.7025 s]
/proc/loadavg: 1.93 1.97 1.95 3/67 14174
/proc/meminfo: memFree=1085536/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=48116 CPUtime=25.28
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1526 0 0 0 2527 1 0 0 18 0 3 0 330979898 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 12029 1487 387 42 0 6281 0
[pid=14171/tid=14173] ppid=14169 vsize=48116 CPUtime=12.64
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 192 0 0 0 1264 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=48116 CPUtime=12.58
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 169 0 0 0 1258 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283760 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 48116

[startup+25.5013 s]
/proc/loadavg: 1.94 1.97 1.95 3/67 14174
/proc/meminfo: memFree=1085472/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=48116 CPUtime=50.81
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1526 0 0 0 5080 1 0 0 18 0 3 0 330979898 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 12029 1487 387 42 0 6281 0
[pid=14171/tid=14173] ppid=14169 vsize=48116 CPUtime=25.44
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 192 0 0 0 2544 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=48116 CPUtime=25.31
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 169 0 0 0 2531 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241629 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 48116

[startup+51.1018 s]
/proc/loadavg: 1.96 1.97 1.95 3/67 14174
/proc/meminfo: memFree=1085472/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=48116 CPUtime=101.89
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1526 0 0 0 10188 1 0 0 18 0 3 0 330979898 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 12029 1487 387 42 0 6281 0
[pid=14171/tid=14173] ppid=14169 vsize=48116 CPUtime=51.02
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 192 0 0 0 5102 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=48116 CPUtime=50.81
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 169 0 0 0 5081 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 48116

[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.95 3/67 14174
/proc/meminfo: memFree=1085344/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=48116 CPUtime=204.02
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1526 0 0 0 20400 2 0 0 18 0 3 0 330979898 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 12029 1487 387 42 0 6281 0
[pid=14171/tid=14173] ppid=14169 vsize=48116 CPUtime=102.21
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 192 0 0 0 10221 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242984 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=48116 CPUtime=101.76
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 169 0 0 0 10175 1 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242567 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 48116

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 14174
/proc/meminfo: memFree=1085344/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=48116 CPUtime=323.7
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1526 0 0 0 32368 2 0 0 18 0 3 0 330979898 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 12029 1487 387 42 0 6281 0
[pid=14171/tid=14173] ppid=14169 vsize=48116 CPUtime=162.18
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 192 0 0 0 16218 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=48116 CPUtime=161.47
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 169 0 0 0 16146 1 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.7
Current children cumulated vsize (KiB) 48116

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 14174
/proc/meminfo: memFree=1085280/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=48116 CPUtime=443.4
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1526 0 0 0 44337 3 0 0 18 0 3 0 330979898 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 12029 1487 387 42 0 6281 0
[pid=14171/tid=14173] ppid=14169 vsize=48116 CPUtime=222.15
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 192 0 0 0 22215 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242858 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=48116 CPUtime=221.19
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 169 0 0 0 22117 2 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242545 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.4
Current children cumulated vsize (KiB) 48116

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.95 3/73 14292
/proc/meminfo: memFree=1084008/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=48116 CPUtime=562.95
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 1526 0 0 0 56283 12 0 0 18 0 3 0 330979898 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 12029 1487 387 42 0 6281 0
[pid=14171/tid=14173] ppid=14169 vsize=48116 CPUtime=282.01
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 192 0 0 0 28201 0 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=48116 CPUtime=280.88
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 169 0 0 0 28077 11 0 0 25 0 3 0 330979903 49270784 1487 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241016 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.95
Current children cumulated vsize (KiB) 48116

[startup+342.303 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 14372
/proc/meminfo: memFree=1079320/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=54316 CPUtime=682.55
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 3095 0 0 0 68235 20 0 0 18 0 3 0 330979898 55619584 3023 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 13579 3023 387 42 0 7831 0
[pid=14171/tid=14173] ppid=14169 vsize=54316 CPUtime=341.92
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 1088 0 0 0 34190 2 0 0 25 0 3 0 330979903 55619584 3023 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=54316 CPUtime=340.57
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 842 0 0 0 34040 17 0 0 19 0 3 0 330979903 55619584 3023 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285366 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.55
Current children cumulated vsize (KiB) 54316

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 14372
/proc/meminfo: memFree=1068248/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=67332 CPUtime=802.26
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 6301 0 0 0 80202 24 0 0 18 0 3 0 330979898 68947968 6052 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 16833 6052 387 42 0 11085 0
[pid=14171/tid=14173] ppid=14169 vsize=67332 CPUtime=401.89
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 3015 0 0 0 40183 6 0 0 25 0 3 0 330979903 68947968 6052 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311151 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=67332 CPUtime=400.31
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 2121 0 0 0 40014 17 0 0 25 0 3 0 330979903 68947968 6052 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.26
Current children cumulated vsize (KiB) 67332

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 14372
/proc/meminfo: memFree=1059288/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=76244 CPUtime=921.97
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 8468 0 0 0 92169 28 0 0 18 0 3 0 330979898 78073856 7961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 19061 7961 387 42 0 13313 0
[pid=14171/tid=14173] ppid=14169 vsize=76244 CPUtime=461.87
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 4681 0 0 0 46178 9 0 0 25 0 3 0 330979903 78073856 7961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311223 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=76244 CPUtime=460.05
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 2622 0 0 0 45987 18 0 0 25 0 3 0 330979903 78073856 7961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.97
Current children cumulated vsize (KiB) 76244

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 14372
/proc/meminfo: memFree=1049688/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=86724 CPUtime=1041.69
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 11047 0 0 0 104138 31 0 0 18 0 3 0 330979898 88805376 10405 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 21681 10405 387 42 0 15933 0
[pid=14171/tid=14173] ppid=14169 vsize=86724 CPUtime=521.85
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 5913 0 0 0 52173 12 0 0 25 0 3 0 330979903 88805376 10405 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=86724 CPUtime=519.79
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 3969 0 0 0 51960 19 0 0 25 0 3 0 330979903 88805376 10405 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.69
Current children cumulated vsize (KiB) 86724

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 14372
/proc/meminfo: memFree=1045464/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=90820 CPUtime=1161.39
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 12067 0 0 0 116106 33 0 0 18 0 3 0 330979898 92999680 11425 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 22705 11425 387 42 0 16957 0
[pid=14171/tid=14173] ppid=14169 vsize=90820 CPUtime=581.83
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 6933 0 0 0 58169 14 0 0 25 0 3 0 330979903 92999680 11425 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=90820 CPUtime=579.52
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 3969 0 0 0 57933 19 0 0 25 0 3 0 330979903 92999680 11425 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.39
Current children cumulated vsize (KiB) 90820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.706 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 14372
/proc/meminfo: memFree=1040664/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=95428 CPUtime=1200.12
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 13269 0 0 0 119977 35 0 0 18 0 3 0 330979898 97718272 12627 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 23857 12627 387 42 0 18109 0
[pid=14171/tid=14173] ppid=14169 vsize=95428 CPUtime=601.22
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 7281 0 0 0 60108 14 0 0 25 0 3 0 330979903 97718272 12627 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313840 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=95428 CPUtime=598.83
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 4823 0 0 0 59864 19 0 0 25 0 3 0 330979903 97718272 12627 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241539 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 95428

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

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

[startup+601.706 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 14372
/proc/meminfo: memFree=1040664/2055920 swapFree=4183136/4192956
[pid=14171] ppid=14169 vsize=95428 CPUtime=1200.12
/proc/14171/stat : 14171 (ornithorynque) S 14169 14171 13619 0 -1 4194304 13269 0 0 0 119977 35 0 0 18 0 3 0 330979898 97718272 12627 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231971254139 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14171/statm: 23857 12627 387 42 0 18109 0
[pid=14171/tid=14173] ppid=14169 vsize=95428 CPUtime=601.22
/proc/14171/task/14173/stat : 14173 (ornithorynque) R 14169 14171 13619 0 -1 4194368 7281 0 0 0 60108 14 0 0 25 0 3 0 330979903 97718272 12627 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313840 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14171/tid=14174] ppid=14169 vsize=95428 CPUtime=598.83
/proc/14171/task/14174/stat : 14174 (ornithorynque) R 14169 14171 13619 0 -1 4194368 4823 0 0 0 59864 19 0 0 25 0 3 0 330979903 97718272 12627 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241539 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 95428

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.727
CPU time (s): 1200.15
CPU user time (s): 1199.79
CPU system time (s): 0.359945
CPU usage (%): 199.45
Max. virtual memory (cumulated for all children) (KiB): 95428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.79
system time used= 0.359945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100
involuntary context switches= 12091

runsolver used 0.579911 second user time and 1.74673 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Mon Mar  5 15:57:01 UTC 2007

IDJOB= 328336
IDBENCH= 20248
IDSOLVER= 139
FILE ID= node71/328336-1173110221

PBS_JOBID= 4013920

Free space on /tmp= 66506 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v4500/unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/328336-1173110221/ornithorynque /tmp/evaluation/328336-1173110221/instance-328336-1173110221.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-328336-1173110221 -o ROOT/results/node71/solver-328336-1173110221 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328336-1173110221/ornithorynque /tmp/evaluation/328336-1173110221/instance-328336-1173110221.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  d1a87980ded0cf880f4810de1a082421

RANDOM SEED= 193635001

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.266
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.266
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:       1090816 kB
Buffers:         40500 kB
Cached:         831908 kB
SwapCached:       3840 kB
Active:         130256 kB
Inactive:       751808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1090816 kB
SwapTotal:     4192956 kB
SwapFree:      4183136 kB
Dirty:             516 kB
Writeback:           0 kB
Mapped:          15608 kB
Slab:            69068 kB
Committed_AS:   895572 kB
PageTables:       1448 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= 66506 MiB

End job on node71 on Mon Mar  5 16:07:05 UTC 2007