Trace number 329815

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 604.224

General information on the benchmark

Nameindustrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k50.cnf
MD5SUM1cd5ebafe1e8feb41cc288cf1e56e452
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables73855
Number of clauses330348
Sum of the clauses size850014
Maximum clause length20
Minimum clause length1
Number of clauses of size 1503
Number of clauses of size 2257226
Number of clauses of size 336312
Number of clauses of size 414825
Number of clauses of size 56444
Number of clauses of size over 515038

Solver Data (download as text)

0.00/0.01	c This is Ornithorynque version 0.1 alpha
0.00/0.01	c (c) roussel@cril.univ-artois.fr
0.00/0.04	c using unsigned int
0.00/0.04	c parsing...
0.68/0.79	c ...done
0.68/0.79	c nbVar=73855 nbClause=330348
0.87/0.90	c nbVar=73855 nbClause=330348
0.98/1.07	c complete search running
0.98/1.07	c local search running
1.11/1.14	c flip 0 nbSat=259412 maxSat=0
1.30/1.24	c flip 10000 nbSat=279843 maxSat=279843
1.51/1.34	c flip 20000 nbSat=300632 maxSat=300632
1.71/1.47	c flip 30000 nbSat=311928 maxSat=311941
2.11/1.66	c flip 40000 nbSat=321417 maxSat=321516
2.70/1.90	c flip 50000 nbSat=335297 maxSat=335538
3.11/2.16	c flip 60000 nbSat=352392 maxSat=352662
3.70/2.46	c flip 70000 nbSat=371310 maxSat=371709
4.30/2.75	c flip 80000 nbSat=386943 maxSat=387503
4.89/3.05	c flip 90000 nbSat=408839 maxSat=409517
5.68/3.40	c flip 100000 nbSat=431385 maxSat=432524
6.28/3.75	c flip 110000 nbSat=456307 maxSat=457668
7.08/4.11	c flip 120000 nbSat=489444 maxSat=491600
7.69/4.48	c flip 130000 nbSat=523376 maxSat=526262
8.48/4.89	c flip 140000 nbSat=556827 maxSat=557720
9.48/5.32	c flip 150000 nbSat=603317 maxSat=604394
10.28/5.76	c flip 160000 nbSat=651457 maxSat=651751
11.28/6.25	c flip 170000 nbSat=698208 maxSat=700479
12.27/6.74	c flip 180000 nbSat=750688 maxSat=758192
13.27/7.24	c flip 190000 nbSat=832267 maxSat=832270
14.27/7.78	c flip 200000 nbSat=922233 maxSat=928393
15.47/8.31	c flip 210000 nbSat=1019160 maxSat=1037971
16.47/8.86	c flip 220000 nbSat=1067734 maxSat=1098365
17.46/9.40	c flip 230000 nbSat=1169118 maxSat=1169118
18.67/9.96	c flip 240000 nbSat=1210020 maxSat=1211154
19.86/10.53	c flip 250000 nbSat=1293395 maxSat=1302942
21.05/11.11	c flip 260000 nbSat=1318972 maxSat=1355370
22.05/11.68	c flip 270000 nbSat=1441611 maxSat=1441616
23.25/12.26	c flip 280000 nbSat=1487637 maxSat=1507956
24.45/12.83	c flip 290000 nbSat=1532296 maxSat=1582230
25.64/13.44	c flip 300000 nbSat=1670498 maxSat=1694045
26.83/14.05	c flip 310000 nbSat=1733355 maxSat=1758100
28.03/14.65	c flip 320000 nbSat=1807942 maxSat=1864757
29.23/15.25	c flip 330000 nbSat=1892355 maxSat=1969388
30.42/15.86	c flip 340000 nbSat=2002962 maxSat=2039144
31.63/16.49	c flip 350000 nbSat=2021499 maxSat=2085419
33.02/17.11	c flip 360000 nbSat=2132812 maxSat=2166721
34.22/17.72	c flip 370000 nbSat=2245671 maxSat=2287720
35.42/18.33	c flip 380000 nbSat=2284166 maxSat=2357830
36.61/18.93	c flip 390000 nbSat=2346518 maxSat=2392398
37.81/19.54	c flip 400000 nbSat=2350014 maxSat=2422626
39.01/20.15	c flip 410000 nbSat=2384189 maxSat=2422626
40.20/20.74	c flip 420000 nbSat=2427099 maxSat=2487514
41.40/21.36	c flip 430000 nbSat=2523616 maxSat=2557125
42.60/21.98	c flip 440000 nbSat=2722086 maxSat=2727388
43.80/22.58	c flip 450000 nbSat=2777408 maxSat=2827224
45.00/23.18	c flip 460000 nbSat=2840121 maxSat=2856415
46.19/23.77	c flip 470000 nbSat=2871814 maxSat=2919226
47.39/24.37	c flip 480000 nbSat=2889829 maxSat=2933677
48.59/24.96	c flip 490000 nbSat=2821139 maxSat=2937997
49.78/25.55	c flip 500000 nbSat=3090056 maxSat=3102210
50.99/26.14	c flip 510000 nbSat=3139053 maxSat=3166476
52.18/26.73	c flip 520000 nbSat=3127718 maxSat=3173548
53.38/27.30	c flip 530000 nbSat=3155675 maxSat=3215494
54.57/27.91	c flip 540000 nbSat=3225688 maxSat=3314849
55.78/28.52	c flip 550000 nbSat=3344298 maxSat=3393503
56.97/29.11	c flip 560000 nbSat=3452465 maxSat=3497484
58.17/29.70	c flip 570000 nbSat=3533213 maxSat=3593001
59.16/30.29	c flip 580000 nbSat=3575242 maxSat=3610874
60.37/30.89	c flip 590000 nbSat=3648133 maxSat=3677909
61.56/31.48	c flip 600000 nbSat=3738680 maxSat=3738680
62.75/32.07	c flip 610000 nbSat=3767062 maxSat=3835658
63.95/32.64	c flip 620000 nbSat=3880400 maxSat=3970376
65.15/33.24	c flip 630000 nbSat=3970524 maxSat=4009416
66.35/33.84	c flip 640000 nbSat=3927518 maxSat=4009416
67.54/34.44	c flip 650000 nbSat=3913518 maxSat=4013755
68.74/35.04	c flip 660000 nbSat=4010716 maxSat=4166039
69.94/35.63	c flip 670000 nbSat=4083964 maxSat=4166039
71.14/36.24	c flip 680000 nbSat=4095624 maxSat=4183391
72.33/36.82	c flip 690000 nbSat=4197776 maxSat=4309217
73.53/37.41	c flip 700000 nbSat=4256232 maxSat=4340972
74.72/38.00	c flip 710000 nbSat=4218787 maxSat=4415336
75.73/38.58	c flip 720000 nbSat=4322492 maxSat=4415336
76.92/39.16	c flip 730000 nbSat=4363512 maxSat=4492489
78.11/39.77	c flip 740000 nbSat=4361310 maxSat=4526808
79.31/40.36	c flip 750000 nbSat=4535348 maxSat=4634908
80.51/40.95	c flip 760000 nbSat=4628532 maxSat=4689858
81.71/41.56	c flip 770000 nbSat=4560051 maxSat=4709232
82.91/42.15	c flip 780000 nbSat=4615394 maxSat=4719096
84.11/42.76	c flip 790000 nbSat=4723036 maxSat=4794493
85.30/43.35	c flip 800000 nbSat=4786177 maxSat=4815703
86.51/43.95	c flip 810000 nbSat=4824939 maxSat=4945777
87.70/44.55	c flip 820000 nbSat=4827123 maxSat=4986153
88.90/45.14	c flip 830000 nbSat=5024370 maxSat=5026739
90.09/45.73	c flip 840000 nbSat=4871956 maxSat=5170893
91.29/46.32	c flip 850000 nbSat=5040785 maxSat=5212754
92.49/46.92	c flip 860000 nbSat=5208583 maxSat=5307038
93.68/47.53	c flip 870000 nbSat=5031271 maxSat=5307038
94.88/48.13	c flip 880000 nbSat=5388649 maxSat=5458512
96.08/48.73	c flip 890000 nbSat=5263312 maxSat=5615372
97.28/49.32	c flip 900000 nbSat=5298811 maxSat=5615372
98.47/49.92	c flip 910000 nbSat=5344613 maxSat=5615372
99.68/50.52	c flip 920000 nbSat=5517380 maxSat=5615372
100.87/51.13	c flip 930000 nbSat=5636144 maxSat=5636146
102.07/51.75	c flip 940000 nbSat=5681918 maxSat=5742934
103.27/52.34	c flip 950000 nbSat=5700386 maxSat=5778693
104.46/52.94	c flip 960000 nbSat=5570812 maxSat=5789301
105.66/53.54	c flip 970000 nbSat=5658755 maxSat=5789301
106.85/54.15	c flip 980000 nbSat=5547321 maxSat=5825107
108.05/54.75	c flip 990000 nbSat=5515326 maxSat=5825107
109.25/55.36	c flip 1000000 nbSat=5690985 maxSat=5825107
110.45/55.96	c flip 1010000 nbSat=5823170 maxSat=5853378
111.64/56.58	c flip 1020000 nbSat=5750559 maxSat=5866280
112.85/57.19	c flip 1030000 nbSat=5677979 maxSat=5932473
114.04/57.79	c flip 1040000 nbSat=5793516 maxSat=5932473
115.24/58.38	c flip 1050000 nbSat=5884614 maxSat=5932473
116.44/58.98	c flip 1060000 nbSat=5895879 maxSat=6135875
117.62/59.59	c flip 1070000 nbSat=6044306 maxSat=6169628
118.82/60.16	c flip 1080000 nbSat=6069218 maxSat=6262585
120.02/60.76	c flip 1090000 nbSat=6231648 maxSat=6338588
121.22/61.35	c flip 1100000 nbSat=6137026 maxSat=6355250
122.41/61.94	c flip 1110000 nbSat=6183235 maxSat=6413191
123.61/62.53	c flip 1120000 nbSat=6142522 maxSat=6413191
124.81/63.14	c flip 1130000 nbSat=6177523 maxSat=6413191
126.01/63.72	c flip 1140000 nbSat=6397486 maxSat=6416966
127.20/64.32	c flip 1150000 nbSat=6437409 maxSat=6563106
128.41/64.90	c flip 1160000 nbSat=6426508 maxSat=6769525
129.40/65.49	c flip 1170000 nbSat=6490552 maxSat=6769525
130.60/66.09	c flip 1180000 nbSat=6515251 maxSat=6769525
131.79/66.68	c flip 1190000 nbSat=6678029 maxSat=6769525
132.99/67.27	c flip 1200000 nbSat=6785593 maxSat=6815839
134.19/67.86	c flip 1210000 nbSat=6680505 maxSat=6862305
135.38/68.47	c flip 1220000 nbSat=6601991 maxSat=6896350
136.58/69.08	c flip 1230000 nbSat=6704524 maxSat=6896350
137.77/69.68	c flip 1240000 nbSat=6674120 maxSat=6946709
138.97/70.28	c flip 1250000 nbSat=6958909 maxSat=7124086
140.17/70.87	c flip 1260000 nbSat=7042445 maxSat=7124086
141.37/71.48	c flip 1270000 nbSat=7013863 maxSat=7239564
142.56/72.07	c flip 1280000 nbSat=7244519 maxSat=7344883
143.77/72.66	c flip 1290000 nbSat=7227762 maxSat=7356393
144.96/73.24	c flip 1300000 nbSat=7150528 maxSat=7458711
146.15/73.84	c flip 1310000 nbSat=7160517 maxSat=7458711
147.35/74.45	c flip 1320000 nbSat=7297666 maxSat=7458711
148.55/75.06	c flip 1330000 nbSat=7483132 maxSat=7696463
149.75/75.65	c flip 1340000 nbSat=7588584 maxSat=7697564
150.94/76.25	c flip 1350000 nbSat=7372011 maxSat=7747416
152.14/76.84	c flip 1360000 nbSat=7667125 maxSat=7774705
153.34/77.45	c flip 1370000 nbSat=7735724 maxSat=7836346
154.54/78.04	c flip 1380000 nbSat=7489888 maxSat=7942420
155.73/78.63	c flip 1390000 nbSat=7715852 maxSat=7942420
156.74/79.20	c flip 1400000 nbSat=7699212 maxSat=7953157
158.13/79.80	c flip 1410000 nbSat=7588839 maxSat=7953157
159.32/80.40	c flip 1420000 nbSat=7910555 maxSat=7979877
160.32/80.99	c flip 1430000 nbSat=7856823 maxSat=8095608
161.72/81.60	c flip 1440000 nbSat=7997080 maxSat=8108280
162.72/82.18	c flip 1450000 nbSat=7939938 maxSat=8190575
163.91/82.77	c flip 1460000 nbSat=8034575 maxSat=8298634
165.11/83.34	c flip 1470000 nbSat=8375974 maxSat=8375974
166.11/83.85	c flip 0 nbSat=258758 maxSat=8376966
166.31/83.94	c flip 10000 nbSat=281204 maxSat=8376966
166.51/84.04	c flip 20000 nbSat=300634 maxSat=8376966
166.71/84.17	c flip 30000 nbSat=312549 maxSat=8376966
167.11/84.35	c flip 40000 nbSat=321272 maxSat=8376966
167.46/84.59	c flip 50000 nbSat=332359 maxSat=8376966
168.06/84.84	c flip 60000 nbSat=350114 maxSat=8376966
168.66/85.13	c flip 70000 nbSat=367492 maxSat=8376966
169.26/85.43	c flip 80000 nbSat=390411 maxSat=8376966
169.86/85.73	c flip 90000 nbSat=408293 maxSat=8376966
170.45/86.07	c flip 100000 nbSat=432955 maxSat=8376966
171.25/86.40	c flip 110000 nbSat=454813 maxSat=8376966
171.85/86.76	c flip 120000 nbSat=481018 maxSat=8376966
172.65/87.14	c flip 130000 nbSat=514111 maxSat=8376966
173.43/87.54	c flip 140000 nbSat=553381 maxSat=8376966
174.39/88.01	c flip 150000 nbSat=578789 maxSat=8376966
175.18/88.45	c flip 160000 nbSat=628365 maxSat=8376966
176.18/88.94	c flip 170000 nbSat=666498 maxSat=8376966
177.19/89.46	c flip 180000 nbSat=717845 maxSat=8376966
178.19/89.98	c flip 190000 nbSat=796333 maxSat=8376966
179.38/90.53	c flip 200000 nbSat=884426 maxSat=8376966
180.38/91.08	c flip 210000 nbSat=976670 maxSat=8376966
181.57/91.66	c flip 220000 nbSat=1058176 maxSat=8376966
182.77/92.22	c flip 230000 nbSat=1085569 maxSat=8376966
183.97/92.81	c flip 240000 nbSat=1180276 maxSat=8376966
184.97/93.38	c flip 250000 nbSat=1272431 maxSat=8376966
186.15/93.97	c flip 260000 nbSat=1330343 maxSat=8376966
187.36/94.54	c flip 270000 nbSat=1412188 maxSat=8376966
188.55/95.12	c flip 280000 nbSat=1504045 maxSat=8376966
189.75/95.71	c flip 290000 nbSat=1609342 maxSat=8376966
190.94/96.32	c flip 300000 nbSat=1710471 maxSat=8376966
192.13/96.93	c flip 310000 nbSat=1791948 maxSat=8376966
193.33/97.54	c flip 320000 nbSat=1852387 maxSat=8376966
194.53/98.13	c flip 330000 nbSat=1957656 maxSat=8376966
195.73/98.73	c flip 340000 nbSat=2089590 maxSat=8376966
196.93/99.33	c flip 350000 nbSat=2142179 maxSat=8376966
198.12/99.93	c flip 360000 nbSat=2259816 maxSat=8376966
199.31/100.54	c flip 370000 nbSat=2315677 maxSat=8376966
200.52/101.14	c flip 380000 nbSat=2330941 maxSat=8376966
201.71/101.73	c flip 390000 nbSat=2301511 maxSat=8376966
202.91/102.32	c flip 400000 nbSat=2403908 maxSat=8376966
204.10/102.92	c flip 410000 nbSat=2440945 maxSat=8376966
205.29/103.52	c flip 420000 nbSat=2553881 maxSat=8376966
206.49/104.10	c flip 430000 nbSat=2633052 maxSat=8376966
207.68/104.70	c flip 440000 nbSat=2754678 maxSat=8376966
208.87/105.31	c flip 450000 nbSat=2846851 maxSat=8376966
210.05/105.93	c flip 460000 nbSat=2939101 maxSat=8376966
211.25/106.50	c flip 470000 nbSat=2989010 maxSat=8376966
212.45/107.10	c flip 480000 nbSat=3028187 maxSat=8376966
213.45/107.67	c flip 490000 nbSat=3143953 maxSat=8376966
214.64/108.27	c flip 500000 nbSat=3092162 maxSat=8376966
215.84/108.86	c flip 510000 nbSat=3296977 maxSat=8376966
217.03/109.46	c flip 520000 nbSat=3373787 maxSat=8376966
218.24/110.06	c flip 530000 nbSat=3441221 maxSat=8376966
219.43/110.65	c flip 540000 nbSat=3479077 maxSat=8376966
220.62/111.23	c flip 550000 nbSat=3428376 maxSat=8376966
221.82/111.82	c flip 560000 nbSat=3482276 maxSat=8376966
223.01/112.42	c flip 570000 nbSat=3480703 maxSat=8376966
224.21/113.01	c flip 580000 nbSat=3406626 maxSat=8376966
225.21/113.59	c flip 590000 nbSat=3647630 maxSat=8376966
226.40/114.20	c flip 600000 nbSat=3631572 maxSat=8376966
227.59/114.78	c flip 610000 nbSat=3746439 maxSat=8376966
228.79/115.36	c flip 620000 nbSat=3881825 maxSat=8376966
229.98/115.93	c flip 630000 nbSat=3848787 maxSat=8376966
231.18/116.50	c flip 640000 nbSat=3969901 maxSat=8376966
232.18/117.08	c flip 650000 nbSat=3916918 maxSat=8376966
233.39/117.66	c flip 660000 nbSat=4135750 maxSat=8376966
234.58/118.22	c flip 670000 nbSat=4159290 maxSat=8376966
235.78/118.80	c flip 680000 nbSat=4237510 maxSat=8376966
236.77/119.36	c flip 690000 nbSat=4402024 maxSat=8376966
237.98/119.94	c flip 700000 nbSat=4328864 maxSat=8376966
239.17/120.51	c flip 710000 nbSat=4226902 maxSat=8376966
240.16/121.08	c flip 720000 nbSat=4240975 maxSat=8376966
241.36/121.65	c flip 730000 nbSat=4392031 maxSat=8376966
242.55/122.23	c flip 740000 nbSat=4437062 maxSat=8376966
243.55/122.79	c flip 750000 nbSat=4496338 maxSat=8376966
244.74/123.36	c flip 760000 nbSat=4528866 maxSat=8376966
245.94/123.93	c flip 770000 nbSat=4666256 maxSat=8376966
247.14/124.51	c flip 780000 nbSat=4659305 maxSat=8376966
248.14/125.07	c flip 790000 nbSat=4747581 maxSat=8376966
249.33/125.63	c flip 800000 nbSat=4805879 maxSat=8376966
250.33/126.18	c flip 810000 nbSat=4890693 maxSat=8376966
251.53/126.75	c flip 820000 nbSat=4826925 maxSat=8376966
252.52/127.29	c flip 830000 nbSat=4945291 maxSat=8376966
253.72/127.86	c flip 840000 nbSat=4866203 maxSat=8376966
254.92/128.43	c flip 850000 nbSat=4943840 maxSat=8376966
256.11/129.01	c flip 860000 nbSat=5041223 maxSat=8376966
257.11/129.58	c flip 870000 nbSat=5032212 maxSat=8376966
258.31/130.16	c flip 880000 nbSat=5106259 maxSat=8376966
259.50/130.73	c flip 890000 nbSat=5144270 maxSat=8376966
260.70/131.30	c flip 900000 nbSat=5147282 maxSat=8376966
261.70/131.88	c flip 910000 nbSat=5129230 maxSat=8376966
262.90/132.46	c flip 920000 nbSat=5284927 maxSat=8376966
264.09/133.03	c flip 930000 nbSat=5349253 maxSat=8376966
265.28/133.61	c flip 940000 nbSat=5474830 maxSat=8376966
266.28/134.16	c flip 950000 nbSat=5438330 maxSat=8376966
267.47/134.73	c flip 960000 nbSat=5693437 maxSat=8376966
268.48/135.30	c flip 970000 nbSat=5592323 maxSat=8376966
269.66/135.86	c flip 980000 nbSat=5719909 maxSat=8376966
270.87/136.43	c flip 990000 nbSat=5716148 maxSat=8376966
271.86/137.00	c flip 1000000 nbSat=5721837 maxSat=8376966
273.06/137.58	c flip 1010000 nbSat=5752111 maxSat=8376966
274.25/138.15	c flip 1020000 nbSat=5807565 maxSat=8376966
275.45/138.72	c flip 1030000 nbSat=5956916 maxSat=8376966
276.42/139.29	c flip 1040000 nbSat=6147163 maxSat=8376966
277.61/139.86	c flip 1050000 nbSat=6066269 maxSat=8376966
278.81/140.43	c flip 1060000 nbSat=6040123 maxSat=8376966
280.02/141.00	c flip 1070000 nbSat=5985137 maxSat=8376966
281.02/141.56	c flip 1080000 nbSat=6307261 maxSat=8376966
282.21/142.14	c flip 1090000 nbSat=6092702 maxSat=8376966
283.41/142.70	c flip 1100000 nbSat=6252310 maxSat=8376966
284.40/143.28	c flip 1110000 nbSat=6153944 maxSat=8376966
285.60/143.86	c flip 1120000 nbSat=6232969 maxSat=8376966
286.92/144.55	c flip 1130000 nbSat=6217379 maxSat=8376966
288.00/145.18	c flip 1140000 nbSat=6528290 maxSat=8376966
289.32/145.98	c flip 1150000 nbSat=6468437 maxSat=8376966
290.62/146.66	c flip 1160000 nbSat=6707520 maxSat=8376966
291.73/147.27	c flip 1170000 nbSat=6671190 maxSat=8376966
292.96/147.94	c flip 1180000 nbSat=6659940 maxSat=8376966
294.18/148.66	c flip 1190000 nbSat=6648888 maxSat=8376966
295.31/149.26	c flip 1200000 nbSat=6784385 maxSat=8376966
296.42/149.87	c flip 1210000 nbSat=6790613 maxSat=8376966
297.56/150.50	c flip 1220000 nbSat=6666184 maxSat=8376966
298.71/151.40	c flip 1230000 nbSat=6956152 maxSat=8376966
299.56/152.00	c flip 1240000 nbSat=6727927 maxSat=8376966
300.34/152.59	c flip 1250000 nbSat=7058245 maxSat=8376966
301.45/153.19	c flip 1260000 nbSat=6880285 maxSat=8376966
302.31/153.76	c flip 1270000 nbSat=7198151 maxSat=8376966
303.20/154.34	c flip 1280000 nbSat=7205927 maxSat=8376966
304.11/154.92	c flip 1290000 nbSat=7127413 maxSat=8376966
305.01/155.50	c flip 1300000 nbSat=7229424 maxSat=8376966
306.08/156.11	c flip 1310000 nbSat=7231983 maxSat=8376966
307.07/156.68	c flip 1320000 nbSat=7356251 maxSat=8376966
308.27/157.26	c flip 1330000 nbSat=7212179 maxSat=8376966
309.46/157.84	c flip 1340000 nbSat=7354957 maxSat=8376966
310.66/158.42	c flip 1350000 nbSat=7468423 maxSat=8376966
311.85/159.01	c flip 1360000 nbSat=7247663 maxSat=8376966
312.85/159.59	c flip 1370000 nbSat=7618952 maxSat=8376966
314.03/160.18	c flip 1380000 nbSat=7527239 maxSat=8376966
315.23/160.76	c flip 1390000 nbSat=7511092 maxSat=8376966
316.43/161.32	c flip 1400000 nbSat=7628675 maxSat=8376966
317.43/161.89	c flip 1410000 nbSat=7638525 maxSat=8376966
318.63/162.46	c flip 1420000 nbSat=7465285 maxSat=8376966
319.82/163.03	c flip 1430000 nbSat=7708140 maxSat=8376966
321.02/163.60	c flip 1440000 nbSat=7535913 maxSat=8376966
322.02/164.17	c flip 1450000 nbSat=7563891 maxSat=8376966
323.21/164.75	c flip 1460000 nbSat=7564716 maxSat=8376966
324.41/165.34	c flip 1470000 nbSat=7825580 maxSat=8376966
325.41/165.82	c flip 0 nbSat=259935 maxSat=8376966
325.61/165.91	c flip 10000 nbSat=280142 maxSat=8376966
325.81/166.01	c flip 20000 nbSat=300679 maxSat=8376966
326.01/166.15	c flip 30000 nbSat=314215 maxSat=8376966
326.40/166.35	c flip 40000 nbSat=325517 maxSat=8376966
326.80/166.56	c flip 50000 nbSat=338539 maxSat=8376966
327.40/166.81	c flip 60000 nbSat=356222 maxSat=8376966
327.80/167.08	c flip 70000 nbSat=374271 maxSat=8376966
328.39/167.38	c flip 80000 nbSat=401395 maxSat=8376966
328.99/167.70	c flip 90000 nbSat=423033 maxSat=8376966
329.80/168.04	c flip 100000 nbSat=452651 maxSat=8376966
330.40/168.39	c flip 110000 nbSat=476038 maxSat=8376966
331.19/168.78	c flip 120000 nbSat=515849 maxSat=8376966
332.16/169.20	c flip 130000 nbSat=563164 maxSat=8376966
332.95/169.60	c flip 140000 nbSat=598564 maxSat=8376966
333.75/170.06	c flip 150000 nbSat=655450 maxSat=8376966
334.76/170.52	c flip 160000 nbSat=720970 maxSat=8376966
335.75/171.01	c flip 170000 nbSat=796011 maxSat=8376966
336.76/171.52	c flip 180000 nbSat=840581 maxSat=8376966
337.75/172.02	c flip 190000 nbSat=925249 maxSat=8376966
338.75/172.55	c flip 200000 nbSat=994073 maxSat=8376966
339.95/173.12	c flip 210000 nbSat=1048196 maxSat=8376966
340.95/173.67	c flip 220000 nbSat=1154826 maxSat=8376966
342.14/174.22	c flip 230000 nbSat=1243284 maxSat=8376966
343.14/174.79	c flip 240000 nbSat=1314231 maxSat=8376966
344.34/175.37	c flip 250000 nbSat=1370203 maxSat=8376966
345.54/175.97	c flip 260000 nbSat=1376226 maxSat=8376966
346.73/176.56	c flip 270000 nbSat=1563978 maxSat=8376966
347.93/177.15	c flip 280000 nbSat=1643049 maxSat=8376966
349.12/177.74	c flip 290000 nbSat=1738309 maxSat=8376966
350.32/178.31	c flip 300000 nbSat=1830500 maxSat=8376966
351.52/178.90	c flip 310000 nbSat=1845002 maxSat=8376966
352.51/179.48	c flip 320000 nbSat=1941974 maxSat=8376966
353.72/180.06	c flip 330000 nbSat=2004222 maxSat=8376966
354.91/180.66	c flip 340000 nbSat=2045415 maxSat=8376966
356.11/181.25	c flip 350000 nbSat=2099928 maxSat=8376966
357.31/181.85	c flip 360000 nbSat=2232762 maxSat=8376966
358.51/182.44	c flip 370000 nbSat=2301159 maxSat=8376966
359.70/183.05	c flip 380000 nbSat=2381942 maxSat=8376966
360.91/183.65	c flip 390000 nbSat=2470575 maxSat=8376966
362.10/184.25	c flip 400000 nbSat=2529318 maxSat=8376966
363.30/184.85	c flip 410000 nbSat=2520858 maxSat=8376966
364.49/185.44	c flip 420000 nbSat=2711020 maxSat=8376966
365.69/186.05	c flip 430000 nbSat=2738594 maxSat=8376966
366.88/186.64	c flip 440000 nbSat=2873853 maxSat=8376966
368.08/187.24	c flip 450000 nbSat=2917934 maxSat=8376966
369.28/187.83	c flip 460000 nbSat=2964120 maxSat=8376966
370.47/188.42	c flip 470000 nbSat=3064636 maxSat=8376966
371.68/189.03	c flip 480000 nbSat=3166860 maxSat=8376966
372.87/189.65	c flip 490000 nbSat=3175851 maxSat=8376966
374.08/190.26	c flip 500000 nbSat=3214956 maxSat=8376966
375.26/190.86	c flip 510000 nbSat=3286641 maxSat=8376966
376.47/191.47	c flip 520000 nbSat=3356098 maxSat=8376966
377.66/192.08	c flip 530000 nbSat=3468541 maxSat=8376966
378.86/192.68	c flip 540000 nbSat=3520262 maxSat=8376966
380.26/193.31	c flip 550000 nbSat=3545277 maxSat=8376966
381.45/193.95	c flip 560000 nbSat=3606414 maxSat=8376966
382.84/194.60	c flip 570000 nbSat=3598996 maxSat=8376966
384.04/195.22	c flip 580000 nbSat=3878814 maxSat=8376966
385.24/195.84	c flip 590000 nbSat=3797561 maxSat=8376966
386.43/196.46	c flip 600000 nbSat=3895715 maxSat=8376966
387.63/197.09	c flip 610000 nbSat=3916959 maxSat=8376966
389.03/197.70	c flip 620000 nbSat=4053810 maxSat=8376966
390.22/198.31	c flip 630000 nbSat=4292660 maxSat=8376966
391.42/198.93	c flip 640000 nbSat=4249959 maxSat=8376966
392.62/199.54	c flip 650000 nbSat=4246258 maxSat=8376966
393.82/200.16	c flip 660000 nbSat=4528102 maxSat=8376966
395.01/200.76	c flip 670000 nbSat=4528340 maxSat=8376966
396.22/201.37	c flip 680000 nbSat=4722754 maxSat=8376966
397.41/201.98	c flip 690000 nbSat=4746089 maxSat=8376966
398.60/202.59	c flip 700000 nbSat=4787554 maxSat=8376966
399.80/203.18	c flip 710000 nbSat=4866221 maxSat=8376966
401.00/203.78	c flip 720000 nbSat=4636147 maxSat=8376966
402.20/204.36	c flip 730000 nbSat=4903655 maxSat=8376966
403.39/204.97	c flip 740000 nbSat=4958228 maxSat=8376966
404.59/205.57	c flip 750000 nbSat=5130356 maxSat=8376966
405.78/206.17	c flip 760000 nbSat=5015024 maxSat=8376966
406.98/206.78	c flip 770000 nbSat=5259004 maxSat=8376966
408.37/207.40	c flip 780000 nbSat=5075163 maxSat=8376966
409.57/208.01	c flip 790000 nbSat=5373921 maxSat=8376966
410.77/208.63	c flip 800000 nbSat=5297189 maxSat=8376966
411.96/209.25	c flip 810000 nbSat=5229705 maxSat=8376966
413.16/209.85	c flip 820000 nbSat=5308780 maxSat=8376966
414.36/210.47	c flip 830000 nbSat=5412277 maxSat=8376966
415.56/211.07	c flip 840000 nbSat=5401322 maxSat=8376966
416.75/211.66	c flip 850000 nbSat=5652496 maxSat=8376966
417.96/212.26	c flip 860000 nbSat=5524895 maxSat=8376966
419.15/212.85	c flip 870000 nbSat=5571806 maxSat=8376966
420.35/213.46	c flip 880000 nbSat=5790099 maxSat=8376966
421.54/214.07	c flip 890000 nbSat=5563840 maxSat=8376966
422.74/214.67	c flip 900000 nbSat=5816322 maxSat=8376966
423.94/215.29	c flip 910000 nbSat=5461616 maxSat=8376966
425.34/215.90	c flip 920000 nbSat=5822749 maxSat=8376966
426.54/216.50	c flip 930000 nbSat=5768936 maxSat=8376966
427.73/217.11	c flip 940000 nbSat=5942705 maxSat=8376966
428.93/217.72	c flip 950000 nbSat=5937486 maxSat=8376966
430.13/218.32	c flip 960000 nbSat=6010888 maxSat=8376966
431.33/218.92	c flip 970000 nbSat=6005057 maxSat=8376966
432.52/219.51	c flip 980000 nbSat=6144851 maxSat=8376966
433.72/220.12	c flip 990000 nbSat=6143085 maxSat=8376966
434.92/220.73	c flip 1000000 nbSat=6104885 maxSat=8376966
436.11/221.33	c flip 1010000 nbSat=6341870 maxSat=8376966
437.31/221.94	c flip 1020000 nbSat=6150612 maxSat=8376966
438.51/222.53	c flip 1030000 nbSat=6638650 maxSat=8376966
439.71/223.14	c flip 1040000 nbSat=6446316 maxSat=8376966
440.90/223.74	c flip 1050000 nbSat=6375217 maxSat=8376966
442.11/224.36	c flip 1060000 nbSat=6595600 maxSat=8376966
443.30/224.95	c flip 1070000 nbSat=6503702 maxSat=8376966
444.50/225.54	c flip 1080000 nbSat=6887288 maxSat=8376966
445.69/226.12	c flip 1090000 nbSat=6715126 maxSat=8376966
446.89/226.73	c flip 1100000 nbSat=6515317 maxSat=8376966
448.09/227.33	c flip 1110000 nbSat=6801150 maxSat=8376966
449.28/227.93	c flip 1120000 nbSat=6648402 maxSat=8376966
450.48/228.52	c flip 1130000 nbSat=7020839 maxSat=8376966
451.68/229.13	c flip 1140000 nbSat=6817414 maxSat=8376966
452.88/229.72	c flip 1150000 nbSat=6845568 maxSat=8376966
454.07/230.33	c flip 1160000 nbSat=7100021 maxSat=8376966
455.28/230.93	c flip 1170000 nbSat=7060667 maxSat=8376966
456.47/231.52	c flip 1180000 nbSat=7165343 maxSat=8376966
457.67/232.12	c flip 1190000 nbSat=7009509 maxSat=8376966
458.87/232.71	c flip 1200000 nbSat=7317211 maxSat=8376966
460.06/233.31	c flip 1210000 nbSat=7321810 maxSat=8376966
461.06/233.89	c flip 1220000 nbSat=7491514 maxSat=8376966
462.25/234.49	c flip 1230000 nbSat=7258333 maxSat=8376966
463.45/235.09	c flip 1240000 nbSat=7251056 maxSat=8376966
464.65/235.69	c flip 1250000 nbSat=7381846 maxSat=8376966
465.85/236.29	c flip 1260000 nbSat=7607284 maxSat=8376966
467.25/236.90	c flip 1270000 nbSat=7671883 maxSat=8376966
468.45/237.52	c flip 1280000 nbSat=7956601 maxSat=8376966
469.64/238.11	c flip 1290000 nbSat=7885067 maxSat=8376966
470.83/238.73	c flip 1300000 nbSat=7824546 maxSat=8376966
472.03/239.32	c flip 1310000 nbSat=8039619 maxSat=8376966
473.22/239.93	c flip 1320000 nbSat=8055886 maxSat=8376966
474.42/240.54	c flip 1330000 nbSat=8126090 maxSat=8376966
475.62/241.13	c flip 1340000 nbSat=8080089 maxSat=8381250
476.82/241.73	c flip 1350000 nbSat=8115860 maxSat=8381549
478.01/242.33	c flip 1360000 nbSat=8105888 maxSat=8381549
479.21/242.93	c flip 1370000 nbSat=8278703 maxSat=8485265
480.41/243.53	c flip 1380000 nbSat=7942025 maxSat=8485265
481.61/244.12	c flip 1390000 nbSat=7752911 maxSat=8485265
482.80/244.70	c flip 1400000 nbSat=7960436 maxSat=8485265
483.81/245.29	c flip 1410000 nbSat=8020089 maxSat=8485265
485.00/245.88	c flip 1420000 nbSat=8170988 maxSat=8485265
486.20/246.47	c flip 1430000 nbSat=8147990 maxSat=8490878
487.39/247.06	c flip 1440000 nbSat=8576677 maxSat=8651918
488.59/247.64	c flip 1450000 nbSat=8458517 maxSat=8676320
489.79/248.22	c flip 1460000 nbSat=8549065 maxSat=8737304
490.79/248.80	c flip 1470000 nbSat=8486760 maxSat=8751505
491.79/249.27	c flip 0 nbSat=258728 maxSat=8806907
491.99/249.37	c flip 10000 nbSat=279342 maxSat=8806907
492.19/249.46	c flip 20000 nbSat=300823 maxSat=8806907
492.39/249.60	c flip 30000 nbSat=313233 maxSat=8806907
492.79/249.79	c flip 40000 nbSat=323676 maxSat=8806907
493.18/250.00	c flip 50000 nbSat=334832 maxSat=8806907
493.78/250.25	c flip 60000 nbSat=352423 maxSat=8806907
494.38/250.53	c flip 70000 nbSat=372264 maxSat=8806907
494.98/250.83	c flip 80000 nbSat=392089 maxSat=8806907
495.57/251.15	c flip 90000 nbSat=417600 maxSat=8806907
496.37/251.50	c flip 100000 nbSat=437451 maxSat=8806907
496.97/251.86	c flip 110000 nbSat=468366 maxSat=8806907
497.76/252.24	c flip 120000 nbSat=506734 maxSat=8806907
498.56/252.63	c flip 130000 nbSat=532868 maxSat=8806907
499.37/253.06	c flip 140000 nbSat=575699 maxSat=8806907
500.36/253.52	c flip 150000 nbSat=631668 maxSat=8806907
501.16/253.99	c flip 160000 nbSat=675514 maxSat=8806907
502.35/254.50	c flip 170000 nbSat=764352 maxSat=8806907
503.35/255.00	c flip 180000 nbSat=826996 maxSat=8806907
504.35/255.52	c flip 190000 nbSat=928552 maxSat=8806907
505.35/256.06	c flip 200000 nbSat=970482 maxSat=8806907
506.34/256.59	c flip 210000 nbSat=1050842 maxSat=8806907
507.54/257.13	c flip 220000 nbSat=1108876 maxSat=8806907
508.54/257.68	c flip 230000 nbSat=1208211 maxSat=8806907
509.74/258.26	c flip 240000 nbSat=1276099 maxSat=8806907
510.93/258.84	c flip 250000 nbSat=1367966 maxSat=8806907
512.13/259.41	c flip 260000 nbSat=1438574 maxSat=8806907
513.13/259.99	c flip 270000 nbSat=1570681 maxSat=8806907
514.33/260.58	c flip 280000 nbSat=1630041 maxSat=8806907
515.52/261.18	c flip 290000 nbSat=1690688 maxSat=8806907
516.73/261.79	c flip 300000 nbSat=1806662 maxSat=8806907
517.92/262.37	c flip 310000 nbSat=1844802 maxSat=8806907
519.12/262.97	c flip 320000 nbSat=2031472 maxSat=8806907
520.31/263.57	c flip 330000 nbSat=2042267 maxSat=8806907
521.51/264.18	c flip 340000 nbSat=2108366 maxSat=8806907
522.71/264.79	c flip 350000 nbSat=2208273 maxSat=8806907
524.10/265.40	c flip 360000 nbSat=2283392 maxSat=8806907
525.30/266.02	c flip 370000 nbSat=2371681 maxSat=8806907
526.50/266.63	c flip 380000 nbSat=2494638 maxSat=8806907
527.70/267.24	c flip 390000 nbSat=2508795 maxSat=8806907
528.89/267.84	c flip 400000 nbSat=2667802 maxSat=8806907
530.10/268.46	c flip 410000 nbSat=2850516 maxSat=8806907
531.29/269.09	c flip 420000 nbSat=2786286 maxSat=8806907
532.69/269.72	c flip 430000 nbSat=2887178 maxSat=8806907
533.88/270.34	c flip 440000 nbSat=2965840 maxSat=8806907
535.08/270.95	c flip 450000 nbSat=3100059 maxSat=8806907
536.28/271.57	c flip 460000 nbSat=3310663 maxSat=8806907
537.48/272.18	c flip 470000 nbSat=3231926 maxSat=8806907
538.88/272.81	c flip 480000 nbSat=3176972 maxSat=8806907
540.07/273.40	c flip 490000 nbSat=3384643 maxSat=8806907
541.27/274.01	c flip 500000 nbSat=3542922 maxSat=8806907
542.47/274.63	c flip 510000 nbSat=3557073 maxSat=8806907
543.66/275.26	c flip 520000 nbSat=3771266 maxSat=8806907
544.86/275.86	c flip 530000 nbSat=3876107 maxSat=8806907
546.06/276.49	c flip 540000 nbSat=3869555 maxSat=8806907
547.46/277.10	c flip 550000 nbSat=3958112 maxSat=8806907
548.65/277.72	c flip 560000 nbSat=4020412 maxSat=8806907
549.85/278.36	c flip 570000 nbSat=4105077 maxSat=8806907
551.05/278.96	c flip 580000 nbSat=4099473 maxSat=8806907
552.24/279.58	c flip 590000 nbSat=4303465 maxSat=8806907
553.44/280.16	c flip 600000 nbSat=4266367 maxSat=8806907
554.63/280.76	c flip 610000 nbSat=4422311 maxSat=8806907
555.83/281.36	c flip 620000 nbSat=4309792 maxSat=8806907
557.03/281.97	c flip 630000 nbSat=4488570 maxSat=8806907
558.23/282.55	c flip 640000 nbSat=4564243 maxSat=8806907
559.43/283.15	c flip 650000 nbSat=4808101 maxSat=8806907
560.63/283.75	c flip 660000 nbSat=4827221 maxSat=8806907
561.82/284.35	c flip 670000 nbSat=4797410 maxSat=8806907
563.02/284.96	c flip 680000 nbSat=4785315 maxSat=8806907
564.21/285.56	c flip 690000 nbSat=4914702 maxSat=8806907
565.40/286.16	c flip 700000 nbSat=4935509 maxSat=8806907
566.60/286.76	c flip 710000 nbSat=4978276 maxSat=8806907
567.80/287.36	c flip 720000 nbSat=4960303 maxSat=8806907
569.00/287.95	c flip 730000 nbSat=5157199 maxSat=8806907
570.20/288.58	c flip 740000 nbSat=5279373 maxSat=8806907
571.39/289.18	c flip 750000 nbSat=5318376 maxSat=8806907
572.79/289.81	c flip 760000 nbSat=5158310 maxSat=8806907
573.99/290.41	c flip 770000 nbSat=5389089 maxSat=8806907
575.19/291.02	c flip 780000 nbSat=5421697 maxSat=8806907
576.38/291.63	c flip 790000 nbSat=5488669 maxSat=8806907
577.58/292.21	c flip 800000 nbSat=5640605 maxSat=8806907
578.78/292.81	c flip 810000 nbSat=5644581 maxSat=8806907
579.97/293.41	c flip 820000 nbSat=5550244 maxSat=8806907
581.17/294.00	c flip 830000 nbSat=5668998 maxSat=8806907
582.17/294.59	c flip 840000 nbSat=5647423 maxSat=8806907
583.37/295.19	c flip 850000 nbSat=5645696 maxSat=8806907
584.77/295.82	c flip 860000 nbSat=5773699 maxSat=8806907
585.96/296.44	c flip 870000 nbSat=5958817 maxSat=8806907
587.16/297.04	c flip 880000 nbSat=5668045 maxSat=8806907
588.35/297.63	c flip 890000 nbSat=5934883 maxSat=8806907
589.54/298.22	c flip 900000 nbSat=5859902 maxSat=8806907
590.74/298.82	c flip 910000 nbSat=5759414 maxSat=8806907
591.94/299.42	c flip 920000 nbSat=5967174 maxSat=8806907
593.14/300.01	c flip 930000 nbSat=5974273 maxSat=8806907
594.13/300.59	c flip 940000 nbSat=6180271 maxSat=8806907
595.33/301.17	c flip 950000 nbSat=6293816 maxSat=8806907
596.53/301.75	c flip 960000 nbSat=6343900 maxSat=8806907
597.73/302.34	c flip 970000 nbSat=6362066 maxSat=8806907
598.92/302.93	c flip 980000 nbSat=6328740 maxSat=8806907
600.13/303.52	c flip 990000 nbSat=6204381 maxSat=8806907
601.32/304.10	c flip 1000000 nbSat=6378762 maxSat=8806907
602.32/304.69	c flip 1010000 nbSat=6457050 maxSat=8806907
603.51/305.29	c flip 1020000 nbSat=6347423 maxSat=8806907
604.72/305.88	c flip 1030000 nbSat=6532272 maxSat=8806907
605.91/306.49	c flip 1040000 nbSat=6554100 maxSat=8806907
607.10/307.08	c flip 1050000 nbSat=6628125 maxSat=8806907
608.30/307.69	c flip 1060000 nbSat=6852390 maxSat=8806907
609.50/308.28	c flip 1070000 nbSat=6716505 maxSat=8806907
610.70/308.88	c flip 1080000 nbSat=7005433 maxSat=8806907
611.90/309.47	c flip 1090000 nbSat=7193670 maxSat=8806907
613.09/310.06	c flip 1100000 nbSat=7145746 maxSat=8806907
614.29/310.65	c flip 1110000 nbSat=7175194 maxSat=8806907
615.49/311.26	c flip 1120000 nbSat=6967297 maxSat=8806907
616.68/311.86	c flip 1130000 nbSat=7155067 maxSat=8806907
617.89/312.47	c flip 1140000 nbSat=6996604 maxSat=8806907
619.08/313.06	c flip 1150000 nbSat=7213510 maxSat=8806907
620.28/313.65	c flip 1160000 nbSat=7291637 maxSat=8806907
621.48/314.24	c flip 1170000 nbSat=7306361 maxSat=8806907
622.67/314.84	c flip 1180000 nbSat=7272988 maxSat=8806907
623.87/315.43	c flip 1190000 nbSat=7449309 maxSat=8806907
625.07/316.01	c flip 1200000 nbSat=7336741 maxSat=8806907
626.26/316.60	c flip 1210000 nbSat=7349705 maxSat=8806907
627.46/317.20	c flip 1220000 nbSat=7459560 maxSat=8806907
628.46/317.79	c flip 1230000 nbSat=7656797 maxSat=8806907
629.66/318.38	c flip 1240000 nbSat=7497762 maxSat=8806907
630.86/318.97	c flip 1250000 nbSat=7628820 maxSat=8806907
632.05/319.56	c flip 1260000 nbSat=7458527 maxSat=8806907
633.25/320.15	c flip 1270000 nbSat=7836033 maxSat=8806907
634.45/320.73	c flip 1280000 nbSat=7657021 maxSat=8806907
635.64/321.33	c flip 1290000 nbSat=7617438 maxSat=8806907
636.84/321.93	c flip 1300000 nbSat=7781259 maxSat=8806907
638.04/322.54	c flip 1310000 nbSat=7866801 maxSat=8806907
639.23/323.14	c flip 1320000 nbSat=7671117 maxSat=8806907
640.43/323.73	c flip 1330000 nbSat=7934560 maxSat=8806907
641.63/324.32	c flip 1340000 nbSat=7831915 maxSat=8806907
642.82/324.90	c flip 1350000 nbSat=7970647 maxSat=8806907
644.03/325.50	c flip 1360000 nbSat=8132167 maxSat=8806907
645.02/326.10	c flip 1370000 nbSat=8083006 maxSat=8806907
646.23/326.69	c flip 1380000 nbSat=8215284 maxSat=8806907
647.42/327.28	c flip 1390000 nbSat=8348648 maxSat=8806907
648.62/327.88	c flip 1400000 nbSat=8362911 maxSat=8806907
649.81/328.49	c flip 1410000 nbSat=8073808 maxSat=8806907
651.20/329.11	c flip 1420000 nbSat=8111564 maxSat=8806907
652.40/329.71	c flip 1430000 nbSat=8249069 maxSat=8806907
653.59/330.32	c flip 1440000 nbSat=8464661 maxSat=8806907
654.79/330.93	c flip 1450000 nbSat=8283124 maxSat=8806907
655.99/331.53	c flip 1460000 nbSat=8359657 maxSat=8806907
657.19/332.12	c flip 1470000 nbSat=8525549 maxSat=8806907
658.18/332.61	c flip 0 nbSat=260528 maxSat=8874727
658.38/332.70	c flip 10000 nbSat=280677 maxSat=8874727
658.58/332.80	c flip 20000 nbSat=300773 maxSat=8874727
658.78/332.94	c flip 30000 nbSat=312916 maxSat=8874727
659.18/333.12	c flip 40000 nbSat=322062 maxSat=8874727
659.59/333.35	c flip 50000 nbSat=335754 maxSat=8874727
660.18/333.60	c flip 60000 nbSat=352148 maxSat=8874727
660.58/333.88	c flip 70000 nbSat=373567 maxSat=8874727
661.18/334.16	c flip 80000 nbSat=395126 maxSat=8874727
661.78/334.48	c flip 90000 nbSat=418490 maxSat=8874727
662.57/334.82	c flip 100000 nbSat=443741 maxSat=8874727
663.17/335.17	c flip 110000 nbSat=470395 maxSat=8874727
663.98/335.55	c flip 120000 nbSat=496226 maxSat=8874727
664.77/335.94	c flip 130000 nbSat=541308 maxSat=8874727
665.57/336.35	c flip 140000 nbSat=566668 maxSat=8874727
666.36/336.79	c flip 150000 nbSat=628086 maxSat=8874727
667.36/337.26	c flip 160000 nbSat=684373 maxSat=8874727
668.37/337.77	c flip 170000 nbSat=738316 maxSat=8874727
669.36/338.29	c flip 180000 nbSat=834137 maxSat=8874727
670.56/338.83	c flip 190000 nbSat=897499 maxSat=8874727
671.55/339.36	c flip 200000 nbSat=979502 maxSat=8874727
672.76/339.91	c flip 210000 nbSat=1051651 maxSat=8874727
673.75/340.46	c flip 220000 nbSat=1108763 maxSat=8874727
674.95/341.04	c flip 230000 nbSat=1186595 maxSat=8874727
676.14/341.61	c flip 240000 nbSat=1265110 maxSat=8874727
677.15/342.18	c flip 250000 nbSat=1388282 maxSat=8874727
678.34/342.77	c flip 260000 nbSat=1451720 maxSat=8874727
679.54/343.37	c flip 270000 nbSat=1558465 maxSat=8874727
680.73/344.00	c flip 280000 nbSat=1616842 maxSat=8874727
681.92/344.60	c flip 290000 nbSat=1719230 maxSat=8874727
683.12/345.18	c flip 300000 nbSat=1789774 maxSat=8874727
684.32/345.78	c flip 310000 nbSat=1891050 maxSat=8874727
685.52/346.39	c flip 320000 nbSat=1919797 maxSat=8874727
686.91/347.00	c flip 330000 nbSat=2056055 maxSat=8874727
688.12/347.62	c flip 340000 nbSat=2173146 maxSat=8874727
689.31/348.22	c flip 350000 nbSat=2236100 maxSat=8874727
690.50/348.84	c flip 360000 nbSat=2335547 maxSat=8874727
691.71/349.46	c flip 370000 nbSat=2337128 maxSat=8874727
692.91/350.09	c flip 380000 nbSat=2437613 maxSat=8874727
694.31/350.71	c flip 390000 nbSat=2470960 maxSat=8874727
695.51/351.35	c flip 400000 nbSat=2684025 maxSat=8874727
696.71/351.98	c flip 410000 nbSat=2733909 maxSat=8874727
698.10/352.60	c flip 420000 nbSat=2740816 maxSat=8874727
699.29/353.23	c flip 430000 nbSat=2803574 maxSat=8874727
700.49/353.85	c flip 440000 nbSat=2775165 maxSat=8874727
701.69/354.48	c flip 450000 nbSat=2952778 maxSat=8874727
702.89/355.09	c flip 460000 nbSat=3067647 maxSat=8874727
704.28/355.72	c flip 470000 nbSat=3143781 maxSat=8874727
705.49/356.34	c flip 480000 nbSat=3168192 maxSat=8874727
706.68/356.98	c flip 490000 nbSat=3310133 maxSat=8874727
708.07/357.60	c flip 500000 nbSat=3367017 maxSat=8874727
709.27/358.22	c flip 510000 nbSat=3476748 maxSat=8874727
710.47/358.85	c flip 520000 nbSat=3547116 maxSat=8874727
711.67/359.46	c flip 530000 nbSat=3641656 maxSat=8874727
712.87/360.09	c flip 540000 nbSat=3655822 maxSat=8874727
714.27/360.72	c flip 550000 nbSat=3774744 maxSat=8874727
715.46/361.35	c flip 560000 nbSat=3813732 maxSat=8874727
716.66/361.98	c flip 570000 nbSat=3762877 maxSat=8874727
717.85/362.58	c flip 580000 nbSat=3838115 maxSat=8874727
719.25/363.20	c flip 590000 nbSat=3951183 maxSat=8874727
720.45/363.82	c flip 600000 nbSat=3897646 maxSat=8874727
721.65/364.45	c flip 610000 nbSat=4012521 maxSat=8874727
722.85/365.05	c flip 620000 nbSat=4098082 maxSat=8874727
724.04/365.67	c flip 630000 nbSat=4163609 maxSat=8874727
725.24/366.29	c flip 640000 nbSat=4246448 maxSat=8874727
726.64/366.90	c flip 650000 nbSat=4388936 maxSat=8874727
727.83/367.50	c flip 660000 nbSat=4375649 maxSat=8874727
729.03/368.11	c flip 670000 nbSat=4527813 maxSat=8874727
730.23/368.73	c flip 680000 nbSat=4721460 maxSat=8874727
731.43/369.33	c flip 690000 nbSat=4730908 maxSat=8874727
732.62/369.96	c flip 700000 nbSat=4691710 maxSat=8874727
733.82/370.58	c flip 710000 nbSat=4742479 maxSat=8874727
735.02/371.20	c flip 720000 nbSat=4803137 maxSat=8874727
736.22/371.80	c flip 730000 nbSat=4925518 maxSat=8874727
737.61/372.41	c flip 740000 nbSat=5091418 maxSat=8874727
738.81/373.01	c flip 750000 nbSat=5068765 maxSat=8874727
740.01/373.61	c flip 760000 nbSat=5041138 maxSat=8874727
741.19/374.25	c flip 770000 nbSat=5214693 maxSat=8874727
742.39/374.87	c flip 780000 nbSat=5299379 maxSat=8874727
743.59/375.48	c flip 790000 nbSat=5340517 maxSat=8874727
744.99/376.11	c flip 800000 nbSat=5322444 maxSat=8874727
746.19/376.73	c flip 810000 nbSat=5352152 maxSat=8874727
747.39/377.36	c flip 820000 nbSat=5581514 maxSat=8874727
748.58/377.97	c flip 830000 nbSat=5702280 maxSat=8874727
749.78/378.57	c flip 840000 nbSat=5655458 maxSat=8874727
750.98/379.17	c flip 850000 nbSat=5678082 maxSat=8874727
752.17/379.79	c flip 860000 nbSat=5601289 maxSat=8874727
753.57/380.41	c flip 870000 nbSat=5957270 maxSat=8874727
754.77/381.04	c flip 880000 nbSat=5814488 maxSat=8874727
755.97/381.66	c flip 890000 nbSat=5803954 maxSat=8874727
757.16/382.27	c flip 900000 nbSat=6124332 maxSat=8874727
758.56/382.90	c flip 910000 nbSat=6239089 maxSat=8874727
759.76/383.50	c flip 920000 nbSat=6326930 maxSat=8874727
760.95/384.11	c flip 930000 nbSat=6392177 maxSat=8874727
762.15/384.71	c flip 940000 nbSat=6327637 maxSat=8874727
763.35/385.33	c flip 950000 nbSat=6416579 maxSat=8874727
764.55/385.95	c flip 960000 nbSat=6570076 maxSat=8874727
765.74/386.56	c flip 970000 nbSat=6492618 maxSat=8874727
766.95/387.18	c flip 980000 nbSat=6453584 maxSat=8874727
768.14/387.79	c flip 990000 nbSat=6525242 maxSat=8874727
769.53/388.42	c flip 1000000 nbSat=6761547 maxSat=8874727
770.73/389.03	c flip 1010000 nbSat=6899856 maxSat=8874727
771.93/389.64	c flip 1020000 nbSat=6833262 maxSat=8874727
773.12/390.27	c flip 1030000 nbSat=7054936 maxSat=8874727
774.32/390.88	c flip 1040000 nbSat=6883276 maxSat=8874727
775.52/391.49	c flip 1050000 nbSat=7158594 maxSat=8874727
776.91/392.10	c flip 1060000 nbSat=7474432 maxSat=8874727
778.11/392.72	c flip 1070000 nbSat=7325760 maxSat=8874727
779.31/393.34	c flip 1080000 nbSat=7382534 maxSat=8874727
780.50/393.95	c flip 1090000 nbSat=7235025 maxSat=8874727
781.70/394.58	c flip 1100000 nbSat=7504061 maxSat=8874727
783.10/395.20	c flip 1110000 nbSat=7322493 maxSat=8874727
784.30/395.81	c flip 1120000 nbSat=7299215 maxSat=8874727
785.49/396.41	c flip 1130000 nbSat=7429925 maxSat=8874727
786.70/397.04	c flip 1140000 nbSat=7616663 maxSat=8874727
787.89/397.66	c flip 1150000 nbSat=7663815 maxSat=8874727
789.09/398.27	c flip 1160000 nbSat=7938558 maxSat=8874727
790.28/398.86	c flip 1170000 nbSat=7866951 maxSat=8874727
791.48/399.47	c flip 1180000 nbSat=7861251 maxSat=8874727
792.68/400.07	c flip 1190000 nbSat=8129602 maxSat=8874727
793.87/400.68	c flip 1200000 nbSat=8008961 maxSat=8874727
795.07/401.27	c flip 1210000 nbSat=8226484 maxSat=8874727
796.27/401.88	c flip 1220000 nbSat=8112695 maxSat=8874727
797.47/402.48	c flip 1230000 nbSat=8280189 maxSat=8874727
798.67/403.08	c flip 1240000 nbSat=8237914 maxSat=8874727
799.87/403.68	c flip 1250000 nbSat=8366453 maxSat=8874727
801.06/404.27	c flip 1260000 nbSat=8359015 maxSat=8874727
802.26/404.87	c flip 1270000 nbSat=8416710 maxSat=8874727
803.45/405.47	c flip 1280000 nbSat=8499123 maxSat=8874727
804.65/406.07	c flip 1290000 nbSat=8409123 maxSat=8874727
805.85/406.66	c flip 1300000 nbSat=8449615 maxSat=8874727
807.05/407.26	c flip 1310000 nbSat=8816322 maxSat=8953849
808.24/407.83	c flip 1320000 nbSat=8756242 maxSat=8953849
809.44/408.44	c flip 1330000 nbSat=8674058 maxSat=8953849
810.64/409.03	c flip 1340000 nbSat=8748998 maxSat=8953849
811.83/409.63	c flip 1350000 nbSat=8876605 maxSat=9041735
813.04/410.21	c flip 1360000 nbSat=8849007 maxSat=9122465
814.23/410.80	c flip 1370000 nbSat=8806779 maxSat=9122465
815.24/411.37	c flip 1380000 nbSat=8881005 maxSat=9122465
816.43/411.95	c flip 1390000 nbSat=8966107 maxSat=9177336
817.63/412.54	c flip 1400000 nbSat=9157698 maxSat=9210588
818.82/413.12	c flip 1410000 nbSat=9400349 maxSat=9502398
820.02/413.72	c flip 1420000 nbSat=9369489 maxSat=9598009
821.22/414.32	c flip 1430000 nbSat=9207254 maxSat=9598009
822.41/414.92	c flip 1440000 nbSat=9348821 maxSat=9598009
823.61/415.53	c flip 1450000 nbSat=9194371 maxSat=9598009
824.80/416.13	c flip 1460000 nbSat=9489912 maxSat=9673756
826.00/416.72	c flip 1470000 nbSat=9551309 maxSat=9906137
827.00/417.22	c flip 0 nbSat=259663 maxSat=9906137
827.20/417.32	c flip 10000 nbSat=279713 maxSat=9906137
827.40/417.41	c flip 20000 nbSat=299828 maxSat=9906137
827.60/417.54	c flip 30000 nbSat=312060 maxSat=9906137
828.00/417.73	c flip 40000 nbSat=321625 maxSat=9906137
828.40/417.96	c flip 50000 nbSat=337414 maxSat=9906137
828.99/418.21	c flip 60000 nbSat=353430 maxSat=9906137
829.39/418.49	c flip 70000 nbSat=372323 maxSat=9906137
829.99/418.79	c flip 80000 nbSat=394911 maxSat=9906137
830.79/419.10	c flip 90000 nbSat=419327 maxSat=9906137
831.38/419.44	c flip 100000 nbSat=452136 maxSat=9906137
831.98/419.80	c flip 110000 nbSat=478330 maxSat=9906137
832.79/420.18	c flip 120000 nbSat=517323 maxSat=9906137
833.58/420.58	c flip 130000 nbSat=564699 maxSat=9906137
834.58/421.00	c flip 140000 nbSat=612071 maxSat=9906137
835.37/421.45	c flip 150000 nbSat=648340 maxSat=9906137
836.37/421.91	c flip 160000 nbSat=723819 maxSat=9906137
837.37/422.42	c flip 170000 nbSat=784996 maxSat=9906137
838.37/422.92	c flip 180000 nbSat=834284 maxSat=9906137
839.37/423.46	c flip 190000 nbSat=963281 maxSat=9906137
840.56/424.00	c flip 200000 nbSat=1063207 maxSat=9906137
841.56/424.55	c flip 210000 nbSat=1095819 maxSat=9906137
842.76/425.10	c flip 220000 nbSat=1213368 maxSat=9906137
843.76/425.69	c flip 230000 nbSat=1286630 maxSat=9906137
844.95/426.25	c flip 240000 nbSat=1368989 maxSat=9906137
846.16/426.83	c flip 250000 nbSat=1430907 maxSat=9906137
847.35/427.40	c flip 260000 nbSat=1540880 maxSat=9906137
848.55/428.00	c flip 270000 nbSat=1687389 maxSat=9906137
849.74/428.61	c flip 280000 nbSat=1728110 maxSat=9906137
850.94/429.24	c flip 290000 nbSat=1805565 maxSat=9906137
852.14/429.83	c flip 300000 nbSat=1908876 maxSat=9906137
853.33/430.45	c flip 310000 nbSat=1919754 maxSat=9906137
854.53/431.06	c flip 320000 nbSat=2089040 maxSat=9906137
855.73/431.68	c flip 330000 nbSat=2206437 maxSat=9906137
856.93/432.29	c flip 340000 nbSat=2275618 maxSat=9906137
858.12/432.90	c flip 350000 nbSat=2300520 maxSat=9906137
859.33/433.49	c flip 360000 nbSat=2431919 maxSat=9906137
860.52/434.09	c flip 370000 nbSat=2535618 maxSat=9906137
861.91/434.70	c flip 380000 nbSat=2629634 maxSat=9906137
863.11/435.30	c flip 390000 nbSat=2623294 maxSat=9906137
864.30/435.92	c flip 400000 nbSat=2741535 maxSat=9906137
865.50/436.52	c flip 410000 nbSat=2827794 maxSat=9906137
866.70/437.13	c flip 420000 nbSat=2885782 maxSat=9906137
867.90/437.75	c flip 430000 nbSat=2894196 maxSat=9906137
869.09/438.35	c flip 440000 nbSat=3011984 maxSat=9906137
870.30/438.95	c flip 450000 nbSat=3125369 maxSat=9906137
871.49/439.53	c flip 460000 nbSat=3177435 maxSat=9906137
872.68/440.12	c flip 470000 nbSat=3304388 maxSat=9906137
873.88/440.71	c flip 480000 nbSat=3297828 maxSat=9906137
875.08/441.33	c flip 490000 nbSat=3337458 maxSat=9906137
876.28/441.94	c flip 500000 nbSat=3493834 maxSat=9906137
877.47/442.53	c flip 510000 nbSat=3484096 maxSat=9906137
878.67/443.12	c flip 520000 nbSat=3513513 maxSat=9906137
879.87/443.72	c flip 530000 nbSat=3703989 maxSat=9906137
881.07/444.32	c flip 540000 nbSat=3750476 maxSat=9906137
882.26/444.92	c flip 550000 nbSat=3874135 maxSat=9906137
883.47/445.53	c flip 560000 nbSat=3908847 maxSat=9906137
884.66/446.11	c flip 570000 nbSat=4019989 maxSat=9906137
885.86/446.72	c flip 580000 nbSat=3965082 maxSat=9906137
887.06/447.31	c flip 590000 nbSat=4069724 maxSat=9906137
888.25/447.92	c flip 600000 nbSat=4104580 maxSat=9906137
889.45/448.52	c flip 610000 nbSat=4131377 maxSat=9906137
890.64/449.13	c flip 620000 nbSat=4329855 maxSat=9906137
891.84/449.73	c flip 630000 nbSat=4251192 maxSat=9906137
893.04/450.32	c flip 640000 nbSat=4291201 maxSat=9906137
894.24/450.92	c flip 650000 nbSat=4504204 maxSat=9906137
895.43/451.51	c flip 660000 nbSat=4624012 maxSat=9906137
896.44/452.10	c flip 670000 nbSat=4753675 maxSat=9906137
897.63/452.69	c flip 680000 nbSat=4653385 maxSat=9906137
898.83/453.29	c flip 690000 nbSat=4679811 maxSat=9906137
900.03/453.87	c flip 700000 nbSat=4636403 maxSat=9906137
901.22/454.46	c flip 710000 nbSat=4873016 maxSat=9906137
902.42/455.05	c flip 720000 nbSat=4952694 maxSat=9906137
903.62/455.66	c flip 730000 nbSat=4917873 maxSat=9906137
904.82/456.24	c flip 740000 nbSat=5056229 maxSat=9906137
906.01/456.83	c flip 750000 nbSat=5021315 maxSat=9906137
907.21/457.42	c flip 760000 nbSat=5200789 maxSat=9906137
908.41/458.02	c flip 770000 nbSat=5231824 maxSat=9906137
909.61/458.62	c flip 780000 nbSat=5099275 maxSat=9906137
910.80/459.20	c flip 790000 nbSat=5286880 maxSat=9906137
911.80/459.79	c flip 800000 nbSat=5272565 maxSat=9906137
913.00/460.36	c flip 810000 nbSat=5369491 maxSat=9906137
914.20/460.96	c flip 820000 nbSat=5566076 maxSat=9906137
915.39/461.55	c flip 830000 nbSat=5557440 maxSat=9906137
916.59/462.12	c flip 840000 nbSat=5764175 maxSat=9906137
917.79/462.70	c flip 850000 nbSat=5715029 maxSat=9906137
918.79/463.29	c flip 860000 nbSat=5845014 maxSat=9906137
919.98/463.87	c flip 870000 nbSat=5753050 maxSat=9906137
921.17/464.45	c flip 880000 nbSat=5759891 maxSat=9906137
922.37/465.04	c flip 890000 nbSat=5921531 maxSat=9906137
923.57/465.63	c flip 900000 nbSat=5911956 maxSat=9906137
924.77/466.22	c flip 910000 nbSat=5931617 maxSat=9906137
925.96/466.82	c flip 920000 nbSat=5939861 maxSat=9906137
926.96/467.39	c flip 930000 nbSat=5824465 maxSat=9906137
928.15/467.98	c flip 940000 nbSat=5957613 maxSat=9906137
929.36/468.58	c flip 950000 nbSat=6040900 maxSat=9906137
930.55/469.17	c flip 960000 nbSat=6143835 maxSat=9906137
931.75/469.77	c flip 970000 nbSat=6319391 maxSat=9906137
932.95/470.36	c flip 980000 nbSat=6117575 maxSat=9906137
934.14/470.93	c flip 990000 nbSat=6325726 maxSat=9906137
935.34/471.53	c flip 1000000 nbSat=6259750 maxSat=9906137
936.54/472.12	c flip 1010000 nbSat=6258908 maxSat=9906137
937.74/472.70	c flip 1020000 nbSat=6126339 maxSat=9906137
938.93/473.30	c flip 1030000 nbSat=6476949 maxSat=9906137
939.93/473.87	c flip 1040000 nbSat=6739234 maxSat=9906137
941.13/474.48	c flip 1050000 nbSat=6778385 maxSat=9906137
942.32/475.08	c flip 1060000 nbSat=6777689 maxSat=9906137
943.52/475.67	c flip 1070000 nbSat=6726299 maxSat=9906137
944.72/476.29	c flip 1080000 nbSat=6910984 maxSat=9906137
945.92/476.88	c flip 1090000 nbSat=7123735 maxSat=9906137
947.31/477.51	c flip 1100000 nbSat=7016322 maxSat=9906137
948.51/478.11	c flip 1110000 nbSat=7075377 maxSat=9906137
949.71/478.73	c flip 1120000 nbSat=7318011 maxSat=9906137
950.91/479.32	c flip 1130000 nbSat=7279196 maxSat=9906137
952.10/479.94	c flip 1140000 nbSat=7373101 maxSat=9906137
953.30/480.53	c flip 1150000 nbSat=7196121 maxSat=9906137
954.50/481.13	c flip 1160000 nbSat=7302179 maxSat=9906137
955.69/481.73	c flip 1170000 nbSat=7431016 maxSat=9906137
956.88/482.33	c flip 1180000 nbSat=7541989 maxSat=9906137
958.09/482.92	c flip 1190000 nbSat=7729873 maxSat=9906137
959.28/483.53	c flip 1200000 nbSat=7866795 maxSat=9906137
960.47/484.11	c flip 1210000 nbSat=7812092 maxSat=9906137
961.67/484.71	c flip 1220000 nbSat=7810312 maxSat=9906137
962.67/485.28	c flip 1230000 nbSat=7751407 maxSat=9906137
963.87/485.87	c flip 1240000 nbSat=7838949 maxSat=9906137
965.06/486.45	c flip 1250000 nbSat=7964064 maxSat=9906137
966.26/487.04	c flip 1260000 nbSat=7911917 maxSat=9906137
967.46/487.61	c flip 1270000 nbSat=7574701 maxSat=9906137
968.46/488.20	c flip 1280000 nbSat=7621665 maxSat=9906137
969.66/488.79	c flip 1290000 nbSat=7907224 maxSat=9906137
970.86/489.39	c flip 1300000 nbSat=7839010 maxSat=9906137
972.05/489.98	c flip 1310000 nbSat=7705578 maxSat=9906137
973.25/490.59	c flip 1320000 nbSat=7910653 maxSat=9906137
974.45/491.18	c flip 1330000 nbSat=8219282 maxSat=9906137
975.65/491.79	c flip 1340000 nbSat=8089228 maxSat=9906137
976.84/492.37	c flip 1350000 nbSat=8441936 maxSat=9906137
978.04/492.98	c flip 1360000 nbSat=8423483 maxSat=9906137
979.24/493.56	c flip 1370000 nbSat=8421747 maxSat=9906137
980.43/494.18	c flip 1380000 nbSat=8519534 maxSat=9906137
981.63/494.78	c flip 1390000 nbSat=8255271 maxSat=9906137
982.83/495.39	c flip 1400000 nbSat=8142811 maxSat=9906137
984.03/495.99	c flip 1410000 nbSat=8455302 maxSat=9906137
985.42/496.60	c flip 1420000 nbSat=8580382 maxSat=9906137
986.63/497.21	c flip 1430000 nbSat=8286294 maxSat=9906137
987.82/497.81	c flip 1440000 nbSat=8464195 maxSat=9906137
989.02/498.42	c flip 1450000 nbSat=8482900 maxSat=9906137
990.21/499.01	c flip 1460000 nbSat=8625565 maxSat=9906137
991.41/499.62	c flip 1470000 nbSat=8504616 maxSat=9906137
992.41/500.11	c flip 0 nbSat=258500 maxSat=9906137
992.61/500.20	c flip 10000 nbSat=279608 maxSat=9906137
992.81/500.30	c flip 20000 nbSat=300824 maxSat=9906137
993.01/500.43	c flip 30000 nbSat=311882 maxSat=9906137
993.40/500.62	c flip 40000 nbSat=322571 maxSat=9906137
993.80/500.84	c flip 50000 nbSat=336582 maxSat=9906137
994.20/501.08	c flip 60000 nbSat=350405 maxSat=9906137
994.80/501.36	c flip 70000 nbSat=370221 maxSat=9906137
995.40/501.66	c flip 80000 nbSat=391135 maxSat=9906137
996.00/501.97	c flip 90000 nbSat=414181 maxSat=9906137
996.80/502.31	c flip 100000 nbSat=445762 maxSat=9906137
997.40/502.65	c flip 110000 nbSat=473641 maxSat=9906137
998.19/503.03	c flip 120000 nbSat=510754 maxSat=9906137
998.99/503.41	c flip 130000 nbSat=547454 maxSat=9906137
999.80/503.81	c flip 140000 nbSat=583833 maxSat=9906137
1000.59/504.25	c flip 150000 nbSat=633851 maxSat=9906137
1001.39/504.69	c flip 160000 nbSat=686439 maxSat=9906137
1002.38/505.17	c flip 170000 nbSat=723061 maxSat=9906137
1003.38/505.67	c flip 180000 nbSat=816990 maxSat=9906137
1004.38/506.20	c flip 190000 nbSat=876202 maxSat=9906137
1005.58/506.71	c flip 200000 nbSat=951845 maxSat=9906137
1006.58/507.27	c flip 210000 nbSat=1035274 maxSat=9906137
1007.77/507.82	c flip 220000 nbSat=1131810 maxSat=9906137
1008.77/508.38	c flip 230000 nbSat=1235260 maxSat=9906137
1009.96/508.95	c flip 240000 nbSat=1300377 maxSat=9906137
1011.15/509.54	c flip 250000 nbSat=1421504 maxSat=9906137
1012.35/510.10	c flip 260000 nbSat=1469556 maxSat=9906137
1013.55/510.70	c flip 270000 nbSat=1550789 maxSat=9906137
1014.55/511.29	c flip 280000 nbSat=1635010 maxSat=9906137
1015.75/511.89	c flip 290000 nbSat=1762649 maxSat=9906137
1016.95/512.47	c flip 300000 nbSat=1780763 maxSat=9906137
1018.14/513.07	c flip 310000 nbSat=1884732 maxSat=9906137
1019.35/513.70	c flip 320000 nbSat=1974932 maxSat=9906137
1020.74/514.31	c flip 330000 nbSat=2051489 maxSat=9906137
1021.93/514.92	c flip 340000 nbSat=2154833 maxSat=9906137
1023.13/515.52	c flip 350000 nbSat=2250288 maxSat=9906137
1024.33/516.11	c flip 360000 nbSat=2279810 maxSat=9906137
1025.53/516.72	c flip 370000 nbSat=2362007 maxSat=9906137
1026.72/517.34	c flip 380000 nbSat=2480686 maxSat=9906137
1027.92/517.94	c flip 390000 nbSat=2549415 maxSat=9906137
1029.12/518.53	c flip 400000 nbSat=2623659 maxSat=9906137
1030.32/519.15	c flip 410000 nbSat=2702574 maxSat=9906137
1031.51/519.75	c flip 420000 nbSat=2786444 maxSat=9906137
1032.72/520.35	c flip 430000 nbSat=2824337 maxSat=9906137
1033.91/520.95	c flip 440000 nbSat=2903002 maxSat=9906137
1035.10/521.55	c flip 450000 nbSat=2925642 maxSat=9906137
1036.30/522.16	c flip 460000 nbSat=3045255 maxSat=9906137
1037.50/522.77	c flip 470000 nbSat=3041119 maxSat=9906137
1038.70/523.37	c flip 480000 nbSat=3045767 maxSat=9906137
1039.90/523.97	c flip 490000 nbSat=3097328 maxSat=9906137
1041.09/524.57	c flip 500000 nbSat=3234475 maxSat=9906137
1042.29/525.17	c flip 510000 nbSat=3419588 maxSat=9906137
1043.49/525.79	c flip 520000 nbSat=3331833 maxSat=9906137
1044.88/526.40	c flip 530000 nbSat=3458002 maxSat=9906137
1045.89/526.99	c flip 540000 nbSat=3499836 maxSat=9906137
1047.08/527.59	c flip 550000 nbSat=3608002 maxSat=9906137
1048.27/528.19	c flip 560000 nbSat=3732090 maxSat=9906137
1049.47/528.78	c flip 570000 nbSat=3665753 maxSat=9906137
1050.66/529.37	c flip 580000 nbSat=3866266 maxSat=9906137
1051.86/529.97	c flip 590000 nbSat=3897454 maxSat=9906137
1053.06/530.56	c flip 600000 nbSat=3998760 maxSat=9906137
1054.26/531.15	c flip 610000 nbSat=3947826 maxSat=9906137
1055.46/531.73	c flip 620000 nbSat=4110725 maxSat=9906137
1056.66/532.32	c flip 630000 nbSat=4068033 maxSat=9906137
1057.65/532.89	c flip 640000 nbSat=4181798 maxSat=9906137
1058.85/533.46	c flip 650000 nbSat=4159684 maxSat=9906137
1060.04/534.04	c flip 660000 nbSat=4273140 maxSat=9906137
1061.25/534.63	c flip 670000 nbSat=4128945 maxSat=9906137
1062.44/535.22	c flip 680000 nbSat=4301021 maxSat=9906137
1063.63/535.81	c flip 690000 nbSat=4394759 maxSat=9906137
1064.63/536.39	c flip 700000 nbSat=4295107 maxSat=9906137
1065.83/536.97	c flip 710000 nbSat=4330568 maxSat=9906137
1067.03/537.56	c flip 720000 nbSat=4221193 maxSat=9906137
1068.22/538.15	c flip 730000 nbSat=4348987 maxSat=9906137
1069.42/538.72	c flip 740000 nbSat=4471699 maxSat=9906137
1070.62/539.31	c flip 750000 nbSat=4479468 maxSat=9906137
1071.62/539.89	c flip 760000 nbSat=4647212 maxSat=9906137
1072.82/540.45	c flip 770000 nbSat=4602879 maxSat=9906137
1074.02/541.03	c flip 780000 nbSat=4563107 maxSat=9906137
1075.21/541.62	c flip 790000 nbSat=4560875 maxSat=9906137
1076.41/542.20	c flip 800000 nbSat=4453357 maxSat=9906137
1077.40/542.79	c flip 810000 nbSat=4812898 maxSat=9906137
1078.61/543.35	c flip 820000 nbSat=4854181 maxSat=9906137
1079.80/543.92	c flip 830000 nbSat=4828652 maxSat=9906137
1080.80/544.49	c flip 840000 nbSat=4828353 maxSat=9906137
1082.00/545.06	c flip 850000 nbSat=4834594 maxSat=9906137
1083.20/545.65	c flip 860000 nbSat=5024141 maxSat=9906137
1084.39/546.22	c flip 870000 nbSat=5166069 maxSat=9906137
1085.59/546.81	c flip 880000 nbSat=5061780 maxSat=9906137
1086.59/547.39	c flip 890000 nbSat=5135708 maxSat=9906137
1087.78/547.98	c flip 900000 nbSat=5037014 maxSat=9906137
1088.98/548.56	c flip 910000 nbSat=5160039 maxSat=9906137
1090.18/549.14	c flip 920000 nbSat=5367094 maxSat=9906137
1091.38/549.72	c flip 930000 nbSat=5134470 maxSat=9906137
1092.57/550.30	c flip 940000 nbSat=5250752 maxSat=9906137
1093.57/550.89	c flip 950000 nbSat=5247740 maxSat=9906137
1094.77/551.48	c flip 960000 nbSat=5426655 maxSat=9906137
1095.97/552.05	c flip 970000 nbSat=5511409 maxSat=9906137
1097.16/552.63	c flip 980000 nbSat=5505541 maxSat=9906137
1098.37/553.20	c flip 990000 nbSat=5472897 maxSat=9906137
1099.35/553.80	c flip 1000000 nbSat=5543391 maxSat=9906137
1100.55/554.38	c flip 1010000 nbSat=5570661 maxSat=9906137
1101.74/554.96	c flip 1020000 nbSat=5276094 maxSat=9906137
1102.95/555.52	c flip 1030000 nbSat=5719862 maxSat=9906137
1104.14/556.10	c flip 1040000 nbSat=5504830 maxSat=9906137
1105.15/556.68	c flip 1050000 nbSat=5821728 maxSat=9906137
1106.34/557.27	c flip 1060000 nbSat=5591310 maxSat=9906137
1107.53/557.85	c flip 1070000 nbSat=5793299 maxSat=9906137
1108.73/558.41	c flip 1080000 nbSat=5814295 maxSat=9906137
1109.72/558.98	c flip 1090000 nbSat=5890439 maxSat=9906137
1110.92/559.55	c flip 1100000 nbSat=5983657 maxSat=9906137
1112.12/560.12	c flip 1110000 nbSat=5866832 maxSat=9906137
1113.12/560.69	c flip 1120000 nbSat=6070934 maxSat=9906137
1114.31/561.26	c flip 1130000 nbSat=6084862 maxSat=9906137
1115.52/561.82	c flip 1140000 nbSat=5947428 maxSat=9906137
1116.52/562.39	c flip 1150000 nbSat=6132395 maxSat=9906137
1117.72/562.95	c flip 1160000 nbSat=6017975 maxSat=9906137
1118.91/563.51	c flip 1170000 nbSat=6136699 maxSat=9906137
1119.91/564.07	c flip 1180000 nbSat=6170387 maxSat=9906137
1121.11/564.63	c flip 1190000 nbSat=6159076 maxSat=9906137
1122.31/565.20	c flip 1200000 nbSat=6225122 maxSat=9906137
1123.31/565.76	c flip 1210000 nbSat=6153227 maxSat=9906137
1124.51/566.33	c flip 1220000 nbSat=6141945 maxSat=9906137
1125.70/566.91	c flip 1230000 nbSat=6194482 maxSat=9906137
1126.70/567.49	c flip 1240000 nbSat=6187099 maxSat=9906137
1127.89/568.06	c flip 1250000 nbSat=6566146 maxSat=9906137
1129.10/568.65	c flip 1260000 nbSat=6560742 maxSat=9906137
1130.29/569.22	c flip 1270000 nbSat=6620569 maxSat=9906137
1131.29/569.80	c flip 1280000 nbSat=6509020 maxSat=9906137
1132.48/570.38	c flip 1290000 nbSat=6711717 maxSat=9906137
1133.69/570.96	c flip 1300000 nbSat=6491083 maxSat=9906137
1134.88/571.55	c flip 1310000 nbSat=6621335 maxSat=9906137
1136.08/572.14	c flip 1320000 nbSat=6278465 maxSat=9906137
1137.28/572.73	c flip 1330000 nbSat=6466334 maxSat=9906137
1138.47/573.32	c flip 1340000 nbSat=6664890 maxSat=9906137
1139.66/573.93	c flip 1350000 nbSat=6686704 maxSat=9906137
1140.86/574.52	c flip 1360000 nbSat=6648894 maxSat=9906137
1142.06/575.12	c flip 1370000 nbSat=6867248 maxSat=9906137
1143.25/575.71	c flip 1380000 nbSat=6983813 maxSat=9906137
1144.46/576.31	c flip 1390000 nbSat=6842559 maxSat=9906137
1145.65/576.91	c flip 1400000 nbSat=6783530 maxSat=9906137
1146.65/577.49	c flip 1410000 nbSat=7093377 maxSat=9906137
1147.84/578.08	c flip 1420000 nbSat=6799803 maxSat=9906137
1149.05/578.67	c flip 1430000 nbSat=7155249 maxSat=9906137
1150.24/579.26	c flip 1440000 nbSat=7053966 maxSat=9906137
1151.43/579.83	c flip 1450000 nbSat=7046780 maxSat=9906137
1152.63/580.40	c flip 1460000 nbSat=7068655 maxSat=9906137
1153.83/581.00	c flip 1470000 nbSat=7083025 maxSat=9906137
1154.63/581.48	c flip 0 nbSat=260350 maxSat=9906137
1154.83/581.58	c flip 10000 nbSat=280734 maxSat=9906137
1155.03/581.67	c flip 20000 nbSat=300735 maxSat=9906137
1155.43/581.81	c flip 30000 nbSat=312277 maxSat=9906137
1155.63/582.00	c flip 40000 nbSat=322593 maxSat=9906137
1156.23/582.22	c flip 50000 nbSat=338193 maxSat=9906137
1156.63/582.46	c flip 60000 nbSat=354860 maxSat=9906137
1157.23/582.74	c flip 70000 nbSat=375884 maxSat=9906137
1157.83/583.04	c flip 80000 nbSat=394787 maxSat=9906137
1158.42/583.36	c flip 90000 nbSat=421983 maxSat=9906137
1159.22/583.73	c flip 100000 nbSat=451732 maxSat=9906137
1159.82/584.09	c flip 110000 nbSat=474819 maxSat=9906137
1160.61/584.48	c flip 120000 nbSat=513831 maxSat=9906137
1161.41/584.86	c flip 130000 nbSat=548572 maxSat=9906137
1162.22/585.29	c flip 140000 nbSat=595581 maxSat=9906137
1163.21/585.73	c flip 150000 nbSat=648279 maxSat=9906137
1164.01/586.18	c flip 160000 nbSat=702528 maxSat=9906137
1165.00/586.69	c flip 170000 nbSat=780344 maxSat=9906137
1166.00/587.19	c flip 180000 nbSat=850488 maxSat=9906137
1167.20/587.71	c flip 190000 nbSat=882910 maxSat=9906137
1168.20/588.25	c flip 200000 nbSat=989162 maxSat=9906137
1169.20/588.78	c flip 210000 nbSat=1055252 maxSat=9906137
1170.40/589.32	c flip 220000 nbSat=1098897 maxSat=9906137
1171.39/589.87	c flip 230000 nbSat=1149833 maxSat=9906137
1172.59/590.42	c flip 240000 nbSat=1238283 maxSat=9906137
1173.59/590.99	c flip 250000 nbSat=1336321 maxSat=9906137
1174.79/591.53	c flip 260000 nbSat=1416230 maxSat=9906137
1175.78/592.10	c flip 270000 nbSat=1494994 maxSat=9906137
1176.98/592.66	c flip 280000 nbSat=1554492 maxSat=9906137
1178.17/593.23	c flip 290000 nbSat=1670833 maxSat=9906137
1179.37/593.82	c flip 300000 nbSat=1798045 maxSat=9906137
1180.57/594.40	c flip 310000 nbSat=1844559 maxSat=9906137
1181.57/594.97	c flip 320000 nbSat=1904201 maxSat=9906137
1182.77/595.56	c flip 330000 nbSat=2007908 maxSat=9906137
1183.97/596.16	c flip 340000 nbSat=2006370 maxSat=9906137
1185.16/596.75	c flip 350000 nbSat=2069667 maxSat=9906137
1186.37/597.35	c flip 360000 nbSat=2128878 maxSat=9906137
1187.56/597.94	c flip 370000 nbSat=2258565 maxSat=9906137
1188.75/598.53	c flip 380000 nbSat=2346639 maxSat=9906137
1189.94/599.14	c flip 390000 nbSat=2412157 maxSat=9906137
1191.14/599.75	c flip 400000 nbSat=2415718 maxSat=9906137
1192.34/600.36	c flip 410000 nbSat=2446142 maxSat=9906137
1193.54/600.96	c flip 420000 nbSat=2505031 maxSat=9906137
1194.73/601.58	c flip 430000 nbSat=2559075 maxSat=9906137
1196.13/602.20	c flip 440000 nbSat=2763092 maxSat=9906137
1197.33/602.81	c flip 450000 nbSat=2763253 maxSat=9906137
1198.52/603.40	c flip 460000 nbSat=2760840 maxSat=9906137
1199.72/604.00	c flip 470000 nbSat=2821263 maxSat=9906137

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/node75/watcher-329815-1173149976 -o ROOT/results/node75/solver-329815-1173149976 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/329815-1173149976/ornithorynque /tmp/evaluation/329815-1173149976/instance-329815-1173149976.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: 0.91 0.95 0.90 3/64 31001
/proc/meminfo: memFree=1315792/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=2468 CPUtime=0
/proc/31001/stat : 31001 (ornithorynque) D 30999 31001 30602 0 -1 4194304 55 0 0 0 0 0 0 0 19 0 1 0 334963532 2527232 39 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231880062441 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/31001/statm: 617 39 30 42 0 4 0

[startup+0.0578129 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 31001
/proc/meminfo: memFree=1315792/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=23308 CPUtime=0.04
/proc/31001/stat : 31001 (ornithorynque) R 30999 31001 30602 0 -1 4194304 479 0 0 0 4 0 0 0 19 0 1 0 334963532 23867392 440 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231882560960 0 0 4096 1088 0 0 0 17 0 0 0
/proc/31001/statm: 5827 440 374 42 0 79 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23308

[startup+0.10182 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 31001
/proc/meminfo: memFree=1315792/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=24948 CPUtime=0.08
/proc/31001/stat : 31001 (ornithorynque) R 30999 31001 30602 0 -1 4194304 905 0 0 0 8 0 0 0 19 0 1 0 334963532 25546752 833 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226870410157 0 0 4096 1088 0 0 0 17 0 0 0
/proc/31001/statm: 6237 833 379 42 0 489 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24948

[startup+0.301844 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 31001
/proc/meminfo: memFree=1315792/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=33500 CPUtime=0.28
/proc/31001/stat : 31001 (ornithorynque) R 30999 31001 30602 0 -1 4194304 3249 0 0 0 26 2 0 0 21 0 1 0 334963532 34304000 2950 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226870410404 0 0 4096 1088 0 0 0 17 0 0 0
/proc/31001/statm: 8375 2950 379 42 0 2627 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33500

[startup+0.701887 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 31001
/proc/meminfo: memFree=1315792/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=51856 CPUtime=0.68
/proc/31001/stat : 31001 (ornithorynque) R 30999 31001 30602 0 -1 4194304 8276 0 0 0 64 4 0 0 25 0 1 0 334963532 53100544 7015 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231882533520 0 0 4096 1088 0 0 0 17 0 0 0
/proc/31001/statm: 12964 7015 379 42 0 7216 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 51856

[startup+1.50299 s]
/proc/loadavg: 0.91 0.95 0.90 2/65 31002
/proc/meminfo: memFree=1253320/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=113500 CPUtime=1.91
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 20150 0 0 0 182 9 0 0 25 0 3 0 334963532 116224000 16377 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28375 16377 389 42 0 22627 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 113500

[startup+3.10117 s]
/proc/loadavg: 0.91 0.95 0.90 3/67 31004
/proc/meminfo: memFree=1251000/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=113632 CPUtime=5.09
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 20925 0 0 0 500 9 0 0 25 0 3 0 334963532 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28408 16427 389 42 0 22660 0
[pid=31001/tid=31003] ppid=30999 vsize=113632 CPUtime=2.01
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 201 0 0 0 25 0 3 0 334963640 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246425 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=113632 CPUtime=2.01
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2 0 0 0 201 0 0 0 25 0 3 0 334963640 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244853 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 113632

[startup+6.30155 s]
/proc/loadavg: 1.00 0.97 0.91 3/67 31004
/proc/meminfo: memFree=1250872/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=113632 CPUtime=11.48
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 20925 0 0 0 1139 9 0 0 25 0 3 0 334963532 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28408 16427 389 42 0 22660 0
[pid=31001/tid=31003] ppid=30999 vsize=113632 CPUtime=5.21
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 521 0 0 0 25 0 3 0 334963640 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246425 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=113632 CPUtime=5.2
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2 0 0 0 520 0 0 0 25 0 3 0 334963640 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246007 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.48
Current children cumulated vsize (KiB) 113632

[startup+12.7013 s]
/proc/loadavg: 1.08 0.99 0.91 3/67 31004
/proc/meminfo: memFree=1250936/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=113632 CPUtime=24.25
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 20925 0 0 0 2416 9 0 0 25 0 3 0 334963532 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28408 16427 389 42 0 22660 0
[pid=31001/tid=31003] ppid=30999 vsize=113632 CPUtime=11.61
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 1161 0 0 0 25 0 3 0 334963640 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246361 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=113632 CPUtime=11.57
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2 0 0 0 1157 0 0 0 25 0 3 0 334963640 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244884 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.25
Current children cumulated vsize (KiB) 113632

[startup+25.5018 s]
/proc/loadavg: 1.28 1.04 0.93 3/67 31004
/proc/meminfo: memFree=1251000/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=113632 CPUtime=49.78
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 20925 0 0 0 4968 10 0 0 25 0 3 0 334963532 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28408 16427 389 42 0 22660 0
[pid=31001/tid=31003] ppid=30999 vsize=113632 CPUtime=24.41
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 2441 0 0 0 25 0 3 0 334963640 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244167 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=113632 CPUtime=24.3
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2 0 0 0 2430 0 0 0 25 0 3 0 334963640 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244564 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (KiB) 113632

[startup+51.1019 s]
/proc/loadavg: 1.53 1.11 0.96 3/67 31004
/proc/meminfo: memFree=1251000/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=113632 CPUtime=100.87
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 20925 0 0 0 10077 10 0 0 25 0 3 0 334963532 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28408 16427 389 42 0 22660 0
[pid=31001/tid=31003] ppid=30999 vsize=113632 CPUtime=49.99
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 4999 0 0 0 25 0 3 0 334963640 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246488 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=113632 CPUtime=49.8
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2 0 0 0 4980 0 0 0 25 0 3 0 334963640 116359168 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297915 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.87
Current children cumulated vsize (KiB) 113632

[startup+102.307 s]
/proc/loadavg: 1.79 1.25 1.01 3/73 31086
/proc/meminfo: memFree=1249624/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=114924 CPUtime=202.91
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 21248 0 0 0 20279 12 0 0 25 0 3 0 334963532 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28731 16427 389 42 0 22983 0
[pid=31001/tid=31003] ppid=30999 vsize=114924 CPUtime=101.14
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 10114 0 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246473 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=114924 CPUtime=100.7
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 325 0 0 0 10068 2 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 202.91
Current children cumulated vsize (KiB) 114924

[startup+162.302 s]
/proc/loadavg: 2.20 1.45 1.09 3/73 31654
/proc/meminfo: memFree=1242760/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=114924 CPUtime=318.43
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 21248 0 0 0 31822 21 0 0 25 0 3 0 334963532 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28731 16427 389 42 0 22983 0
[pid=31001/tid=31003] ppid=30999 vsize=114924 CPUtime=158.07
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 15806 1 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246445 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=114924 CPUtime=159.29
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 325 0 0 0 15918 11 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245877 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 318.43
Current children cumulated vsize (KiB) 114924

[startup+222.301 s]
/proc/loadavg: 2.07 1.54 1.14 3/67 31678
/proc/meminfo: memFree=1244152/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=114924 CPUtime=438.11
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 21248 0 0 0 43786 25 0 0 25 0 3 0 334963532 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28731 16427 389 42 0 22983 0
[pid=31001/tid=31003] ppid=30999 vsize=114924 CPUtime=218.04
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 21802 2 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246361 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=114924 CPUtime=219
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 325 0 0 0 21886 14 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4298063 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 438.11
Current children cumulated vsize (KiB) 114924

[startup+282.301 s]
/proc/loadavg: 2.02 1.62 1.20 3/67 31678
/proc/meminfo: memFree=1244216/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=114924 CPUtime=557.83
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 21248 0 0 0 55758 25 0 0 25 0 3 0 334963532 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28731 16427 389 42 0 22983 0
[pid=31001/tid=31003] ppid=30999 vsize=114924 CPUtime=278.02
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 27800 2 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4239096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=114924 CPUtime=278.75
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 325 0 0 0 27860 15 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297599 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 557.83
Current children cumulated vsize (KiB) 114924

[startup+342.301 s]
/proc/loadavg: 2.01 1.69 1.24 3/67 31678
/proc/meminfo: memFree=1244344/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=114924 CPUtime=677.54
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 21248 0 0 0 67729 25 0 0 25 0 3 0 334963532 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28731 16427 389 42 0 22983 0
[pid=31001/tid=31003] ppid=30999 vsize=114924 CPUtime=338
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 33798 2 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246510 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=114924 CPUtime=338.48
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 325 0 0 0 33833 15 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244901 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 677.54
Current children cumulated vsize (KiB) 114924

[startup+402.301 s]
/proc/loadavg: 2.00 1.74 1.29 3/67 31678
/proc/meminfo: memFree=1244344/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=114924 CPUtime=797.27
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 21248 0 0 0 79701 26 0 0 25 0 3 0 334963532 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28731 16427 389 42 0 22983 0
[pid=31001/tid=31003] ppid=30999 vsize=114924 CPUtime=397.99
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 39797 2 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246521 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=114924 CPUtime=398.22
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 325 0 0 0 39807 15 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244331 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 797.27
Current children cumulated vsize (KiB) 114924

[startup+462.303 s]
/proc/loadavg: 2.00 1.79 1.33 3/67 31678
/proc/meminfo: memFree=1244408/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=114924 CPUtime=916.99
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 21248 0 0 0 91673 26 0 0 25 0 3 0 334963532 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28731 16427 389 42 0 22983 0
[pid=31001/tid=31003] ppid=30999 vsize=114924 CPUtime=457.97
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 45795 2 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246412 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=114924 CPUtime=457.96
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 325 0 0 0 45781 15 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297628 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 916.99
Current children cumulated vsize (KiB) 114924

[startup+522.303 s]
/proc/loadavg: 2.00 1.82 1.37 3/67 31678
/proc/meminfo: memFree=1244408/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=114924 CPUtime=1036.71
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 21248 0 0 0 103645 26 0 0 25 0 3 0 334963532 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28731 16427 389 42 0 22983 0
[pid=31001/tid=31003] ppid=30999 vsize=114924 CPUtime=517.95
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 51793 2 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246490 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=114924 CPUtime=517.7
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 325 0 0 0 51754 16 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246202 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1036.71
Current children cumulated vsize (KiB) 114924

[startup+582.303 s]
/proc/loadavg: 2.00 1.85 1.40 3/67 31678
/proc/meminfo: memFree=1244408/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=114924 CPUtime=1156.43
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 21248 0 0 0 115616 27 0 0 25 0 3 0 334963532 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28731 16427 389 42 0 22983 0
[pid=31001/tid=31003] ppid=30999 vsize=114924 CPUtime=577.93
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 57791 2 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246436 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=114924 CPUtime=577.43
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 325 0 0 0 57727 16 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244562 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1156.43
Current children cumulated vsize (KiB) 114924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+604.201 s]
/proc/loadavg: 2.00 1.86 1.42 3/67 31678
/proc/meminfo: memFree=1244344/2055920 swapFree=4183188/4192956
[pid=31001] ppid=30999 vsize=114924 CPUtime=1200.12
/proc/31001/stat : 31001 (ornithorynque) S 30999 31001 30602 0 -1 4194304 21248 0 0 0 119985 27 0 0 25 0 3 0 334963532 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31001/statm: 28731 16427 389 42 0 22983 0
[pid=31001/tid=31003] ppid=30999 vsize=114924 CPUtime=599.83
/proc/31001/task/31003/stat : 31003 (ornithorynque) R 30999 31001 30602 0 -1 4194368 2374 0 0 0 59981 2 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31001/tid=31004] ppid=30999 vsize=114924 CPUtime=599.23
/proc/31001/task/31004/stat : 31004 (ornithorynque) R 30999 31001 30602 0 -1 4194368 325 0 0 0 59907 16 0 0 25 0 3 0 334963640 117682176 16427 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244920 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 114924

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 604.224
CPU time (s): 1200.15
CPU user time (s): 1199.87
CPU system time (s): 0.280957
CPU usage (%): 198.627
Max. virtual memory (cumulated for all children) (KiB): 114924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.87
system time used= 0.280957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21248
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= 14
involuntary context switches= 11687

runsolver used 0.690894 second user time and 1.58676 second system time

The end

Launcher Data (download as text)

Begin job on node75 on Tue Mar  6 02:59:37 UTC 2007

IDJOB= 329815
IDBENCH= 20548
IDSOLVER= 139
FILE ID= node75/329815-1173149976

PBS_JOBID= 4015207

Free space on /tmp= 66500 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_31_1_rule_1/SAT_dat.k50.cnf
COMMAND LINE= /tmp/evaluation/329815-1173149976/ornithorynque /tmp/evaluation/329815-1173149976/instance-329815-1173149976.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-329815-1173149976 -o ROOT/results/node75/solver-329815-1173149976 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/329815-1173149976/ornithorynque /tmp/evaluation/329815-1173149976/instance-329815-1173149976.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  1cd5ebafe1e8feb41cc288cf1e56e452

RANDOM SEED= 880204161

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node75.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.218
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.218
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1316264 kB
Buffers:         36904 kB
Cached:         623024 kB
SwapCached:       3752 kB
Active:          51316 kB
Inactive:       618212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1316264 kB
SwapTotal:     4192956 kB
SwapFree:      4183188 kB
Dirty:            7724 kB
Writeback:           0 kB
Mapped:          15676 kB
Slab:            56148 kB
Committed_AS:   859176 kB
PageTables:       1432 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= 66500 MiB

End job on node75 on Tue Mar  6 03:09:43 UTC 2007