Trace number 329941

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.17 602.225

General information on the benchmark

Nameindustrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k65.cnf
MD5SUM5e5ff9a8f4e99a8a5a1ebc8850b3b06a
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 variables96565
Number of clauses432288
Sum of the clauses size1112454
Maximum clause length20
Minimum clause length1
Number of clauses of size 1623
Number of clauses of size 2336666
Number of clauses of size 347487
Number of clauses of size 419400
Number of clauses of size 58424
Number of clauses of size over 519688

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.04	c using unsigned int
0.00/0.04	c parsing...
0.99/1.09	c ...done
0.99/1.09	c nbVar=96565 nbClause=432288
1.19/1.24	c nbVar=96565 nbClause=432288
1.39/1.46	c complete search running
1.39/1.46	c local search running
1.52/1.56	c flip 0 nbSat=338591 maxSat=0
1.72/1.66	c flip 10000 nbSat=359144 maxSat=359147
1.92/1.75	c flip 20000 nbSat=380256 maxSat=380256
2.12/1.85	c flip 30000 nbSat=399842 maxSat=399852
2.52/2.00	c flip 40000 nbSat=409625 maxSat=409661
2.73/2.20	c flip 50000 nbSat=418638 maxSat=418694
3.32/2.42	c flip 60000 nbSat=430817 maxSat=430908
3.72/2.67	c flip 70000 nbSat=445401 maxSat=445549
4.31/2.94	c flip 80000 nbSat=462562 maxSat=463050
4.92/3.24	c flip 90000 nbSat=479524 maxSat=480313
5.51/3.54	c flip 100000 nbSat=499992 maxSat=500514
6.11/3.87	c flip 110000 nbSat=522998 maxSat=523647
6.71/4.19	c flip 120000 nbSat=547785 maxSat=547785
7.51/4.53	c flip 130000 nbSat=571323 maxSat=571955
8.11/4.88	c flip 140000 nbSat=597576 maxSat=597576
8.91/5.22	c flip 150000 nbSat=627322 maxSat=628825
9.70/5.60	c flip 160000 nbSat=654980 maxSat=656706
10.30/5.98	c flip 170000 nbSat=699397 maxSat=700243
11.10/6.37	c flip 180000 nbSat=725728 maxSat=728595
11.90/6.78	c flip 190000 nbSat=778025 maxSat=783384
12.90/7.21	c flip 200000 nbSat=817689 maxSat=822697
13.70/7.67	c flip 210000 nbSat=868798 maxSat=873446
14.69/8.15	c flip 220000 nbSat=934933 maxSat=939815
15.69/8.65	c flip 230000 nbSat=994429 maxSat=994699
16.69/9.15	c flip 240000 nbSat=1028171 maxSat=1034081
17.69/9.66	c flip 250000 nbSat=1099840 maxSat=1110970
18.88/10.20	c flip 260000 nbSat=1190347 maxSat=1194128
19.88/10.72	c flip 270000 nbSat=1254725 maxSat=1273305
20.88/11.27	c flip 280000 nbSat=1332618 maxSat=1335253
22.08/11.82	c flip 290000 nbSat=1415217 maxSat=1425259
23.08/12.38	c flip 300000 nbSat=1507630 maxSat=1523538
24.28/12.95	c flip 310000 nbSat=1596965 maxSat=1625545
25.47/13.54	c flip 320000 nbSat=1638624 maxSat=1657185
26.67/14.11	c flip 330000 nbSat=1801922 maxSat=1809820
27.66/14.68	c flip 340000 nbSat=1882275 maxSat=1891542
28.86/15.25	c flip 350000 nbSat=2015238 maxSat=2015457
30.06/15.85	c flip 360000 nbSat=2053795 maxSat=2064372
31.26/16.45	c flip 370000 nbSat=2148449 maxSat=2157719
32.46/17.03	c flip 380000 nbSat=2238307 maxSat=2261952
33.66/17.63	c flip 390000 nbSat=2293772 maxSat=2304475
34.85/18.21	c flip 400000 nbSat=2394606 maxSat=2408752
36.05/18.83	c flip 410000 nbSat=2408170 maxSat=2457324
37.25/19.43	c flip 420000 nbSat=2525873 maxSat=2530356
38.44/20.07	c flip 430000 nbSat=2640232 maxSat=2649665
39.64/20.68	c flip 440000 nbSat=2683426 maxSat=2714854
41.04/21.30	c flip 450000 nbSat=2778347 maxSat=2785092
42.24/21.91	c flip 460000 nbSat=2783569 maxSat=2853017
43.43/22.53	c flip 470000 nbSat=2835952 maxSat=2893230
44.64/23.13	c flip 480000 nbSat=2998601 maxSat=3020387
45.83/23.74	c flip 490000 nbSat=2997807 maxSat=3072826
47.02/24.36	c flip 500000 nbSat=3062129 maxSat=3100183
48.22/24.99	c flip 510000 nbSat=3099014 maxSat=3169519
49.62/25.61	c flip 520000 nbSat=3261761 maxSat=3294301
50.82/26.24	c flip 530000 nbSat=3364706 maxSat=3390879
52.02/26.86	c flip 540000 nbSat=3365930 maxSat=3442547
53.22/27.49	c flip 550000 nbSat=3524832 maxSat=3530371
54.41/28.09	c flip 560000 nbSat=3466565 maxSat=3583812
55.81/28.71	c flip 570000 nbSat=3611294 maxSat=3643958
57.01/29.32	c flip 580000 nbSat=3774447 maxSat=3792943
58.20/29.94	c flip 590000 nbSat=3795054 maxSat=3834322
59.40/30.57	c flip 600000 nbSat=3917819 maxSat=3981955
60.60/31.18	c flip 610000 nbSat=4073876 maxSat=4128072
61.80/31.79	c flip 620000 nbSat=4137061 maxSat=4191694
63.19/32.43	c flip 630000 nbSat=4119034 maxSat=4191694
64.40/33.04	c flip 640000 nbSat=4295553 maxSat=4323924
65.59/33.65	c flip 650000 nbSat=4290952 maxSat=4357524
66.78/34.27	c flip 660000 nbSat=4373166 maxSat=4446911
67.98/34.87	c flip 670000 nbSat=4458618 maxSat=4503704
69.17/35.49	c flip 680000 nbSat=4618606 maxSat=4645802
70.37/36.09	c flip 690000 nbSat=4608649 maxSat=4653583
71.77/36.70	c flip 700000 nbSat=4686716 maxSat=4795053
72.97/37.33	c flip 710000 nbSat=4688204 maxSat=4795053
74.15/37.96	c flip 720000 nbSat=4812494 maxSat=4814045
75.36/38.56	c flip 730000 nbSat=4882644 maxSat=4917751
76.55/39.17	c flip 740000 nbSat=4884526 maxSat=4994657
77.74/39.78	c flip 750000 nbSat=4984415 maxSat=5065460
78.94/40.37	c flip 760000 nbSat=5075262 maxSat=5171175
80.14/40.98	c flip 770000 nbSat=5095266 maxSat=5259431
81.34/41.59	c flip 780000 nbSat=4969314 maxSat=5259431
82.72/42.21	c flip 790000 nbSat=5040260 maxSat=5259431
83.93/42.81	c flip 800000 nbSat=5244681 maxSat=5291551
85.12/43.43	c flip 810000 nbSat=5254378 maxSat=5345716
86.32/44.05	c flip 820000 nbSat=5314967 maxSat=5392217
87.51/44.65	c flip 830000 nbSat=5335162 maxSat=5424941
88.71/45.25	c flip 840000 nbSat=5289803 maxSat=5424941
89.91/45.88	c flip 850000 nbSat=5281016 maxSat=5424941
91.10/46.48	c flip 860000 nbSat=5417654 maxSat=5482911
92.30/47.08	c flip 870000 nbSat=5318585 maxSat=5570798
93.50/47.68	c flip 880000 nbSat=5500714 maxSat=5593193
94.70/48.29	c flip 890000 nbSat=5774947 maxSat=5800961
95.89/48.90	c flip 900000 nbSat=5640858 maxSat=5800961
97.10/49.50	c flip 910000 nbSat=5709689 maxSat=5829196
98.49/50.11	c flip 920000 nbSat=5848331 maxSat=5929051
99.69/50.72	c flip 930000 nbSat=5766896 maxSat=6062384
100.89/51.31	c flip 940000 nbSat=5860669 maxSat=6062384
102.08/51.92	c flip 950000 nbSat=5877116 maxSat=6062384
103.28/52.52	c flip 960000 nbSat=5970326 maxSat=6072216
104.48/53.13	c flip 970000 nbSat=6095086 maxSat=6096089
105.68/53.73	c flip 980000 nbSat=6058526 maxSat=6198746
106.87/54.33	c flip 990000 nbSat=6272756 maxSat=6369387
108.08/54.91	c flip 1000000 nbSat=6281411 maxSat=6409665
109.07/55.49	c flip 1010000 nbSat=6453262 maxSat=6515319
110.27/56.09	c flip 1020000 nbSat=6466314 maxSat=6577801
111.46/56.68	c flip 1030000 nbSat=6321427 maxSat=6577801
112.66/57.26	c flip 1040000 nbSat=6421704 maxSat=6577801
113.86/57.85	c flip 1050000 nbSat=6310813 maxSat=6577801
115.05/58.46	c flip 1060000 nbSat=6422740 maxSat=6577801
116.25/59.04	c flip 1070000 nbSat=6553597 maxSat=6728881
117.45/59.63	c flip 1080000 nbSat=6654883 maxSat=6738409
118.65/60.21	c flip 1090000 nbSat=6837451 maxSat=6901016
119.85/60.81	c flip 1100000 nbSat=6601026 maxSat=6901016
121.04/61.40	c flip 1110000 nbSat=6602868 maxSat=6901016
122.24/62.00	c flip 1120000 nbSat=6672238 maxSat=6901016
123.24/62.59	c flip 1130000 nbSat=6808276 maxSat=6909598
124.44/63.18	c flip 1140000 nbSat=6772320 maxSat=6964405
125.64/63.77	c flip 1150000 nbSat=7035506 maxSat=7218589
126.83/64.35	c flip 1160000 nbSat=7031569 maxSat=7218589
128.03/64.96	c flip 1170000 nbSat=7149856 maxSat=7231459
129.23/65.56	c flip 1180000 nbSat=7208540 maxSat=7289459
130.42/66.16	c flip 1190000 nbSat=7382543 maxSat=7425377
131.62/66.75	c flip 1200000 nbSat=7459322 maxSat=7527457
132.81/67.34	c flip 1210000 nbSat=7468994 maxSat=7703489
134.02/67.93	c flip 1220000 nbSat=7613216 maxSat=7716128
135.21/68.53	c flip 1230000 nbSat=7547166 maxSat=7746139
136.41/69.13	c flip 1240000 nbSat=7589737 maxSat=7746139
137.61/69.73	c flip 1250000 nbSat=7628588 maxSat=7758373
138.81/70.32	c flip 1260000 nbSat=7589130 maxSat=7801523
140.00/70.91	c flip 1270000 nbSat=7731767 maxSat=7922775
141.20/71.51	c flip 1280000 nbSat=7829809 maxSat=7922775
142.40/72.12	c flip 1290000 nbSat=7738937 maxSat=7922775
143.59/72.73	c flip 1300000 nbSat=8000620 maxSat=8042030
144.79/73.32	c flip 1310000 nbSat=8047640 maxSat=8089179
145.99/73.92	c flip 1320000 nbSat=8105954 maxSat=8126362
147.19/74.50	c flip 1330000 nbSat=8106352 maxSat=8190665
148.18/75.09	c flip 1340000 nbSat=7865355 maxSat=8218449
149.38/75.69	c flip 1350000 nbSat=7907474 maxSat=8218449
150.58/76.29	c flip 1360000 nbSat=7852057 maxSat=8218449
151.78/76.87	c flip 1370000 nbSat=8016130 maxSat=8218449
152.97/77.47	c flip 1380000 nbSat=8116383 maxSat=8218449
154.18/78.08	c flip 1390000 nbSat=8315689 maxSat=8412863
155.37/78.67	c flip 1400000 nbSat=8464459 maxSat=8542480
156.57/79.27	c flip 1410000 nbSat=8448957 maxSat=8639436
157.76/79.87	c flip 1420000 nbSat=8162607 maxSat=8639436
158.96/80.46	c flip 1430000 nbSat=8356979 maxSat=8639436
160.16/81.05	c flip 1440000 nbSat=8524000 maxSat=8639436
161.35/81.64	c flip 1450000 nbSat=8370944 maxSat=8639436
162.55/82.23	c flip 1460000 nbSat=8605780 maxSat=8786706
163.75/82.82	c flip 1470000 nbSat=8839248 maxSat=8928324
164.95/83.43	c flip 1480000 nbSat=8762465 maxSat=8932784
166.14/84.04	c flip 1490000 nbSat=8684950 maxSat=8964938
167.34/84.65	c flip 1500000 nbSat=8559029 maxSat=8964938
168.53/85.24	c flip 1510000 nbSat=8593467 maxSat=8964938
169.74/85.84	c flip 1520000 nbSat=8562027 maxSat=8964938
170.93/86.44	c flip 1530000 nbSat=8718295 maxSat=8964938
172.12/87.03	c flip 1540000 nbSat=8866471 maxSat=8964938
173.31/87.64	c flip 1550000 nbSat=8779931 maxSat=8964938
174.51/88.24	c flip 1560000 nbSat=8728063 maxSat=8964938
175.71/88.81	c flip 1570000 nbSat=8857206 maxSat=9100681
176.90/89.41	c flip 1580000 nbSat=8854371 maxSat=9100681
178.10/90.00	c flip 1590000 nbSat=8953676 maxSat=9100681
179.10/90.59	c flip 1600000 nbSat=9120972 maxSat=9370430
180.30/91.18	c flip 1610000 nbSat=8990931 maxSat=9370430
181.50/91.77	c flip 1620000 nbSat=9118787 maxSat=9370430
182.70/92.35	c flip 1630000 nbSat=9254556 maxSat=9437939
183.89/92.94	c flip 1640000 nbSat=9207006 maxSat=9501473
185.10/93.54	c flip 1650000 nbSat=9345150 maxSat=9544387
186.29/94.13	c flip 1660000 nbSat=9488961 maxSat=9544387
187.48/94.72	c flip 1670000 nbSat=9539538 maxSat=9625159
188.68/95.30	c flip 1680000 nbSat=9362009 maxSat=9636930
189.68/95.89	c flip 1690000 nbSat=9644957 maxSat=9781118
190.88/96.48	c flip 1700000 nbSat=9644362 maxSat=9781118
192.07/97.09	c flip 1710000 nbSat=9521401 maxSat=9840525
193.27/97.68	c flip 1720000 nbSat=9680646 maxSat=9840525
194.47/98.28	c flip 1730000 nbSat=9768914 maxSat=9915122
195.67/98.87	c flip 1740000 nbSat=9717275 maxSat=10091390
196.86/99.48	c flip 1750000 nbSat=9746704 maxSat=10091390
198.06/100.09	c flip 1760000 nbSat=10053466 maxSat=10091390
199.45/100.70	c flip 1770000 nbSat=10232284 maxSat=10303008
200.65/101.30	c flip 1780000 nbSat=10176519 maxSat=10358387
201.85/101.91	c flip 1790000 nbSat=10107619 maxSat=10527099
202.85/102.49	c flip 1800000 nbSat=10326075 maxSat=10527099
204.05/103.09	c flip 1810000 nbSat=9986001 maxSat=10527099
205.24/103.70	c flip 1820000 nbSat=10460907 maxSat=10558317
206.44/104.29	c flip 1830000 nbSat=10127288 maxSat=10558317
207.64/104.89	c flip 1840000 nbSat=10449710 maxSat=10665490
208.84/105.48	c flip 1850000 nbSat=10493510 maxSat=10744493
210.03/106.06	c flip 1860000 nbSat=10754834 maxSat=10842205
211.24/106.64	c flip 1870000 nbSat=10620910 maxSat=10849009
212.43/107.23	c flip 1880000 nbSat=10691705 maxSat=10901496
213.63/107.83	c flip 1890000 nbSat=10791815 maxSat=10952077
214.82/108.41	c flip 1900000 nbSat=10700751 maxSat=11045775
215.83/108.99	c flip 1910000 nbSat=10657459 maxSat=11045775
217.02/109.57	c flip 1920000 nbSat=10738529 maxSat=11045775
218.21/110.16	c flip 1930000 nbSat=10354655 maxSat=11045775
218.62/110.33	c flip 0 nbSat=340203 maxSat=11045775
218.82/110.43	c flip 10000 nbSat=360221 maxSat=11045775
219.02/110.52	c flip 20000 nbSat=379935 maxSat=11045775
219.22/110.61	c flip 30000 nbSat=399204 maxSat=11045775
219.42/110.76	c flip 40000 nbSat=409331 maxSat=11045775
219.82/110.94	c flip 50000 nbSat=419621 maxSat=11045775
220.23/111.15	c flip 60000 nbSat=432968 maxSat=11045775
220.62/111.39	c flip 70000 nbSat=448373 maxSat=11045775
221.22/111.64	c flip 80000 nbSat=464221 maxSat=11045775
221.82/111.92	c flip 90000 nbSat=483814 maxSat=11045775
222.42/112.21	c flip 100000 nbSat=504795 maxSat=11045775
223.01/112.51	c flip 110000 nbSat=527967 maxSat=11045775
223.61/112.82	c flip 120000 nbSat=550055 maxSat=11045775
224.21/113.15	c flip 130000 nbSat=575671 maxSat=11045775
225.01/113.50	c flip 140000 nbSat=604370 maxSat=11045775
225.61/113.85	c flip 150000 nbSat=636664 maxSat=11045775
226.41/114.22	c flip 160000 nbSat=672920 maxSat=11045775
227.20/114.63	c flip 170000 nbSat=725909 maxSat=11045775
228.00/115.05	c flip 180000 nbSat=763869 maxSat=11045775
228.81/115.48	c flip 190000 nbSat=809018 maxSat=11045775
229.80/115.95	c flip 200000 nbSat=862448 maxSat=11045775
230.80/116.40	c flip 210000 nbSat=921784 maxSat=11045775
231.79/116.90	c flip 220000 nbSat=994050 maxSat=11045775
232.79/117.41	c flip 230000 nbSat=1038920 maxSat=11045775
233.79/117.94	c flip 240000 nbSat=1169094 maxSat=11045775
234.79/118.46	c flip 250000 nbSat=1218912 maxSat=11045775
235.98/119.03	c flip 260000 nbSat=1303023 maxSat=11045775
236.98/119.59	c flip 270000 nbSat=1372228 maxSat=11045775
238.18/120.14	c flip 280000 nbSat=1454300 maxSat=11045775
239.38/120.73	c flip 290000 nbSat=1567963 maxSat=11045775
240.57/121.32	c flip 300000 nbSat=1654514 maxSat=11045775
241.57/121.88	c flip 310000 nbSat=1749238 maxSat=11045775
242.77/122.49	c flip 320000 nbSat=1804918 maxSat=11045775
243.97/123.08	c flip 330000 nbSat=1907029 maxSat=11045775
245.16/123.66	c flip 340000 nbSat=1958140 maxSat=11045775
246.37/124.27	c flip 350000 nbSat=2053173 maxSat=11045775
247.56/124.87	c flip 360000 nbSat=2238765 maxSat=11045775
248.76/125.46	c flip 370000 nbSat=2326370 maxSat=11045775
249.96/126.09	c flip 380000 nbSat=2415994 maxSat=11045775
251.15/126.68	c flip 390000 nbSat=2507654 maxSat=11045775
252.55/127.31	c flip 400000 nbSat=2558966 maxSat=11045775
253.75/127.92	c flip 410000 nbSat=2677993 maxSat=11045775
254.95/128.53	c flip 420000 nbSat=2727696 maxSat=11045775
256.14/129.13	c flip 430000 nbSat=2850605 maxSat=11045775
257.34/129.73	c flip 440000 nbSat=2889522 maxSat=11045775
258.53/130.37	c flip 450000 nbSat=2994417 maxSat=11045775
259.73/130.98	c flip 460000 nbSat=3086604 maxSat=11045775
261.12/131.61	c flip 470000 nbSat=3132733 maxSat=11045775
262.31/132.21	c flip 480000 nbSat=3352791 maxSat=11045775
263.51/132.84	c flip 490000 nbSat=3372255 maxSat=11045775
264.70/133.44	c flip 500000 nbSat=3435393 maxSat=11045775
265.90/134.05	c flip 510000 nbSat=3432732 maxSat=11045775
267.10/134.68	c flip 520000 nbSat=3536206 maxSat=11045775
268.30/135.30	c flip 530000 nbSat=3599982 maxSat=11045775
269.69/135.92	c flip 540000 nbSat=3795336 maxSat=11045775
270.89/136.53	c flip 550000 nbSat=3889953 maxSat=11045775
272.09/137.15	c flip 560000 nbSat=3950285 maxSat=11045775
273.29/137.76	c flip 570000 nbSat=4072411 maxSat=11045775
274.49/138.39	c flip 580000 nbSat=4154244 maxSat=11045775
275.68/138.99	c flip 590000 nbSat=4286655 maxSat=11045775
276.88/139.59	c flip 600000 nbSat=4295423 maxSat=11045775
278.27/140.22	c flip 610000 nbSat=4414845 maxSat=11045775
279.48/140.82	c flip 620000 nbSat=4374341 maxSat=11045775
280.67/141.44	c flip 630000 nbSat=4437452 maxSat=11045775
281.87/142.05	c flip 640000 nbSat=4464074 maxSat=11045775
283.06/142.66	c flip 650000 nbSat=4492484 maxSat=11045775
284.46/143.30	c flip 660000 nbSat=4588894 maxSat=11045775
285.66/143.91	c flip 670000 nbSat=4614045 maxSat=11045775
286.86/144.53	c flip 680000 nbSat=4802269 maxSat=11045775
288.06/145.16	c flip 690000 nbSat=4810739 maxSat=11045775
289.25/145.78	c flip 700000 nbSat=4817198 maxSat=11045775
290.65/146.42	c flip 710000 nbSat=4976165 maxSat=11045775
291.85/147.07	c flip 720000 nbSat=5021558 maxSat=11045775
293.24/147.71	c flip 730000 nbSat=5226411 maxSat=11045775
294.44/148.33	c flip 740000 nbSat=5192539 maxSat=11045775
295.64/148.96	c flip 750000 nbSat=5448234 maxSat=11045775
296.84/149.59	c flip 760000 nbSat=5385694 maxSat=11045775
298.03/150.19	c flip 770000 nbSat=5476319 maxSat=11045775
299.43/150.82	c flip 780000 nbSat=5520273 maxSat=11045775
300.63/151.45	c flip 790000 nbSat=5562570 maxSat=11045775
301.82/152.07	c flip 800000 nbSat=5747982 maxSat=11045775
303.02/152.69	c flip 810000 nbSat=5758613 maxSat=11045775
304.22/153.29	c flip 820000 nbSat=5745823 maxSat=11045775
305.62/153.91	c flip 830000 nbSat=5903649 maxSat=11045775
306.82/154.52	c flip 840000 nbSat=5872392 maxSat=11045775
308.02/155.12	c flip 850000 nbSat=5865718 maxSat=11045775
309.21/155.74	c flip 860000 nbSat=6100887 maxSat=11045775
310.40/156.35	c flip 870000 nbSat=6209147 maxSat=11045775
311.60/156.96	c flip 880000 nbSat=6179061 maxSat=11045775
312.80/157.57	c flip 890000 nbSat=6310054 maxSat=11045775
314.00/158.16	c flip 900000 nbSat=6455504 maxSat=11045775
315.20/158.76	c flip 910000 nbSat=6472144 maxSat=11045775
316.39/159.38	c flip 920000 nbSat=6475846 maxSat=11045775
317.59/159.98	c flip 930000 nbSat=6502426 maxSat=11045775
318.79/160.59	c flip 940000 nbSat=6538424 maxSat=11045775
319.98/161.19	c flip 950000 nbSat=6596277 maxSat=11045775
321.19/161.78	c flip 960000 nbSat=6795580 maxSat=11045775
322.38/162.39	c flip 970000 nbSat=6725583 maxSat=11045775
323.58/162.99	c flip 980000 nbSat=6810430 maxSat=11045775
324.78/163.59	c flip 990000 nbSat=6878500 maxSat=11045775
325.97/164.19	c flip 1000000 nbSat=6777650 maxSat=11045775
327.17/164.79	c flip 1010000 nbSat=6801544 maxSat=11045775
328.57/165.40	c flip 1020000 nbSat=6849180 maxSat=11045775
329.77/166.03	c flip 1030000 nbSat=6837982 maxSat=11045775
330.96/166.62	c flip 1040000 nbSat=6790477 maxSat=11045775
332.17/167.23	c flip 1050000 nbSat=6946530 maxSat=11045775
333.36/167.84	c flip 1060000 nbSat=7176603 maxSat=11045775
334.55/168.44	c flip 1070000 nbSat=7271414 maxSat=11045775
335.75/169.04	c flip 1080000 nbSat=7123078 maxSat=11045775
336.95/169.64	c flip 1090000 nbSat=7200901 maxSat=11045775
338.15/170.23	c flip 1100000 nbSat=7079763 maxSat=11045775
339.35/170.82	c flip 1110000 nbSat=7321661 maxSat=11045775
340.55/171.41	c flip 1120000 nbSat=7561601 maxSat=11045775
341.54/171.99	c flip 1130000 nbSat=7191539 maxSat=11045775
342.74/172.57	c flip 1140000 nbSat=7435766 maxSat=11045775
343.93/173.18	c flip 1150000 nbSat=7470020 maxSat=11045775
345.14/173.77	c flip 1160000 nbSat=7637678 maxSat=11045775
346.33/174.37	c flip 1170000 nbSat=7533631 maxSat=11045775
347.53/174.96	c flip 1180000 nbSat=7573539 maxSat=11045775
348.73/175.57	c flip 1190000 nbSat=7740783 maxSat=11045775
349.91/176.18	c flip 1200000 nbSat=7729628 maxSat=11045775
351.11/176.78	c flip 1210000 nbSat=7920708 maxSat=11045775
352.30/177.39	c flip 1220000 nbSat=7923410 maxSat=11045775
353.50/177.99	c flip 1230000 nbSat=8123035 maxSat=11045775
354.70/178.58	c flip 1240000 nbSat=8245304 maxSat=11045775
355.90/179.17	c flip 1250000 nbSat=8248451 maxSat=11045775
357.09/179.78	c flip 1260000 nbSat=8271826 maxSat=11045775
358.30/180.38	c flip 1270000 nbSat=8223058 maxSat=11045775
359.49/180.98	c flip 1280000 nbSat=8427272 maxSat=11045775
360.69/181.59	c flip 1290000 nbSat=8348451 maxSat=11045775
361.88/182.20	c flip 1300000 nbSat=8129508 maxSat=11045775
363.28/182.80	c flip 1310000 nbSat=8272517 maxSat=11045775
364.48/183.41	c flip 1320000 nbSat=8224527 maxSat=11045775
365.67/184.03	c flip 1330000 nbSat=8347174 maxSat=11045775
366.87/184.65	c flip 1340000 nbSat=8533331 maxSat=11045775
368.07/185.26	c flip 1350000 nbSat=8829468 maxSat=11045775
369.27/185.87	c flip 1360000 nbSat=8597160 maxSat=11045775
370.46/186.48	c flip 1370000 nbSat=8849109 maxSat=11045775
371.67/187.09	c flip 1380000 nbSat=8765434 maxSat=11045775
372.86/187.69	c flip 1390000 nbSat=8983418 maxSat=11045775
374.26/188.31	c flip 1400000 nbSat=8798788 maxSat=11045775
375.46/188.91	c flip 1410000 nbSat=8676123 maxSat=11045775
376.65/189.53	c flip 1420000 nbSat=8604552 maxSat=11045775
377.85/190.13	c flip 1430000 nbSat=8859875 maxSat=11045775
379.04/190.75	c flip 1440000 nbSat=8959427 maxSat=11045775
380.25/191.36	c flip 1450000 nbSat=9033435 maxSat=11045775
381.44/191.95	c flip 1460000 nbSat=8848103 maxSat=11045775
382.64/192.56	c flip 1470000 nbSat=8923245 maxSat=11045775
383.83/193.16	c flip 1480000 nbSat=8839665 maxSat=11045775
385.03/193.77	c flip 1490000 nbSat=9191746 maxSat=11045775
386.23/194.38	c flip 1500000 nbSat=9271140 maxSat=11045775
387.42/194.98	c flip 1510000 nbSat=9230737 maxSat=11045775
388.62/195.58	c flip 1520000 nbSat=9525195 maxSat=11045775
389.82/196.18	c flip 1530000 nbSat=10015200 maxSat=11045775
391.02/196.77	c flip 1540000 nbSat=9738019 maxSat=11045775
392.21/197.37	c flip 1550000 nbSat=9764577 maxSat=11045775
393.42/197.97	c flip 1560000 nbSat=9602657 maxSat=11045775
394.61/198.57	c flip 1570000 nbSat=9873931 maxSat=11045775
395.81/199.18	c flip 1580000 nbSat=9505533 maxSat=11045775
397.00/199.78	c flip 1590000 nbSat=9676161 maxSat=11045775
398.20/200.38	c flip 1600000 nbSat=9902763 maxSat=11045775
399.40/200.99	c flip 1610000 nbSat=10066711 maxSat=11045775
400.59/201.59	c flip 1620000 nbSat=9897789 maxSat=11045775
401.79/202.19	c flip 1630000 nbSat=10065130 maxSat=11045775
403.19/202.81	c flip 1640000 nbSat=10062676 maxSat=11045775
404.39/203.41	c flip 1650000 nbSat=9953532 maxSat=11045775
405.58/204.01	c flip 1660000 nbSat=10188767 maxSat=11045775
406.79/204.62	c flip 1670000 nbSat=10220055 maxSat=11045775
407.98/205.21	c flip 1680000 nbSat=9923414 maxSat=11045775
409.18/205.82	c flip 1690000 nbSat=10395072 maxSat=11045775
410.38/206.41	c flip 1700000 nbSat=10610623 maxSat=11045775
411.57/207.02	c flip 1710000 nbSat=10506876 maxSat=11045775
412.77/207.62	c flip 1720000 nbSat=10586652 maxSat=11045775
413.96/208.21	c flip 1730000 nbSat=10438354 maxSat=11045775
415.16/208.80	c flip 1740000 nbSat=10659913 maxSat=11045775
416.36/209.41	c flip 1750000 nbSat=10574143 maxSat=11045775
417.56/210.02	c flip 1760000 nbSat=10661750 maxSat=11045775
418.76/210.62	c flip 1770000 nbSat=10630772 maxSat=11045775
419.96/211.21	c flip 1780000 nbSat=10750893 maxSat=11045775
421.15/211.81	c flip 1790000 nbSat=10837212 maxSat=11045775
422.34/212.41	c flip 1800000 nbSat=10931595 maxSat=11078791
423.54/213.01	c flip 1810000 nbSat=11180420 maxSat=11230864
424.74/213.62	c flip 1820000 nbSat=11030880 maxSat=11419721
425.94/214.22	c flip 1830000 nbSat=11116658 maxSat=11419721
427.14/214.81	c flip 1840000 nbSat=10928783 maxSat=11419721
428.34/215.41	c flip 1850000 nbSat=11114834 maxSat=11419721
429.53/216.01	c flip 1860000 nbSat=10915217 maxSat=11419721
430.74/216.61	c flip 1870000 nbSat=11401409 maxSat=11474543
431.93/217.21	c flip 1880000 nbSat=11250364 maxSat=11506484
433.13/217.82	c flip 1890000 nbSat=11216393 maxSat=11581152
434.32/218.42	c flip 1900000 nbSat=11440202 maxSat=11702719
435.52/219.03	c flip 1910000 nbSat=11476063 maxSat=11749516
436.72/219.64	c flip 1920000 nbSat=11619011 maxSat=11890527
437.91/220.26	c flip 1930000 nbSat=11578686 maxSat=11890527
438.31/220.43	c flip 0 nbSat=338652 maxSat=11890527
438.51/220.53	c flip 10000 nbSat=358749 maxSat=11890527
438.71/220.62	c flip 20000 nbSat=380751 maxSat=11890527
438.91/220.72	c flip 30000 nbSat=399808 maxSat=11890527
439.11/220.87	c flip 40000 nbSat=411461 maxSat=11890527
439.52/221.05	c flip 50000 nbSat=421384 maxSat=11890527
439.91/221.26	c flip 60000 nbSat=434508 maxSat=11890527
440.51/221.52	c flip 70000 nbSat=452669 maxSat=11890527
440.91/221.78	c flip 80000 nbSat=470810 maxSat=11890527
441.51/222.06	c flip 90000 nbSat=492805 maxSat=11890527
442.09/222.39	c flip 100000 nbSat=515615 maxSat=11890527
442.89/222.71	c flip 110000 nbSat=537485 maxSat=11890527
443.48/223.05	c flip 120000 nbSat=567264 maxSat=11890527
444.28/223.41	c flip 130000 nbSat=590685 maxSat=11890527
444.88/223.77	c flip 140000 nbSat=624916 maxSat=11890527
445.68/224.15	c flip 150000 nbSat=657183 maxSat=11890527
446.47/224.54	c flip 160000 nbSat=692947 maxSat=11890527
447.27/224.96	c flip 170000 nbSat=729909 maxSat=11890527
448.28/225.40	c flip 180000 nbSat=781281 maxSat=11890527
449.07/225.85	c flip 190000 nbSat=837196 maxSat=11890527
450.07/226.32	c flip 200000 nbSat=904519 maxSat=11890527
450.87/226.79	c flip 210000 nbSat=963397 maxSat=11890527
451.87/227.29	c flip 220000 nbSat=1026762 maxSat=11890527
453.06/227.81	c flip 230000 nbSat=1078576 maxSat=11890527
454.06/228.34	c flip 240000 nbSat=1130872 maxSat=11890527
455.06/228.88	c flip 250000 nbSat=1217974 maxSat=11890527
456.26/229.42	c flip 260000 nbSat=1306985 maxSat=11890527
457.45/230.00	c flip 270000 nbSat=1411702 maxSat=11890527
458.45/230.55	c flip 280000 nbSat=1496260 maxSat=11890527
459.65/231.12	c flip 290000 nbSat=1581236 maxSat=11890527
460.65/231.69	c flip 300000 nbSat=1601069 maxSat=11890527
461.84/232.24	c flip 310000 nbSat=1714085 maxSat=11890527
463.04/232.82	c flip 320000 nbSat=1814558 maxSat=11890527
464.24/233.41	c flip 330000 nbSat=1898146 maxSat=11890527
465.24/233.97	c flip 340000 nbSat=2006034 maxSat=11890527
466.43/234.56	c flip 350000 nbSat=2027940 maxSat=11890527
467.63/235.14	c flip 360000 nbSat=2151672 maxSat=11890527
468.83/235.71	c flip 370000 nbSat=2189501 maxSat=11890527
470.03/236.31	c flip 380000 nbSat=2255009 maxSat=11890527
471.02/236.87	c flip 390000 nbSat=2344241 maxSat=11890527
472.22/237.47	c flip 400000 nbSat=2522108 maxSat=11890527
473.42/238.05	c flip 410000 nbSat=2582922 maxSat=11890527
474.62/238.66	c flip 420000 nbSat=2619173 maxSat=11890527
475.81/239.25	c flip 430000 nbSat=2691538 maxSat=11890527
477.02/239.86	c flip 440000 nbSat=2730777 maxSat=11890527
478.21/240.43	c flip 450000 nbSat=2787250 maxSat=11890527
479.40/241.03	c flip 460000 nbSat=2928152 maxSat=11890527
480.60/241.61	c flip 470000 nbSat=2904965 maxSat=11890527
481.80/242.21	c flip 480000 nbSat=3043615 maxSat=11890527
483.00/242.81	c flip 490000 nbSat=3084908 maxSat=11890527
484.20/243.44	c flip 500000 nbSat=3128353 maxSat=11890527
485.39/244.04	c flip 510000 nbSat=3179074 maxSat=11890527
486.59/244.65	c flip 520000 nbSat=3201006 maxSat=11890527
487.79/245.24	c flip 530000 nbSat=3283686 maxSat=11890527
488.98/245.84	c flip 540000 nbSat=3389062 maxSat=11890527
490.19/246.44	c flip 550000 nbSat=3465125 maxSat=11890527
491.38/247.07	c flip 560000 nbSat=3434432 maxSat=11890527
492.58/247.67	c flip 570000 nbSat=3559517 maxSat=11890527
493.78/248.26	c flip 580000 nbSat=3692747 maxSat=11890527
494.97/248.86	c flip 590000 nbSat=3720194 maxSat=11890527
496.17/249.44	c flip 600000 nbSat=3739786 maxSat=11890527
497.37/250.05	c flip 610000 nbSat=3886533 maxSat=11890527
498.57/250.66	c flip 620000 nbSat=3951168 maxSat=11890527
499.76/251.26	c flip 630000 nbSat=3910549 maxSat=11890527
500.97/251.89	c flip 640000 nbSat=4002044 maxSat=11890527
502.16/252.50	c flip 650000 nbSat=4113646 maxSat=11890527
503.55/253.10	c flip 660000 nbSat=4194656 maxSat=11890527
504.75/253.72	c flip 670000 nbSat=4224347 maxSat=11890527
505.95/254.32	c flip 680000 nbSat=4267119 maxSat=11890527
507.14/254.92	c flip 690000 nbSat=4383477 maxSat=11890527
508.34/255.55	c flip 700000 nbSat=4312066 maxSat=11890527
509.54/256.16	c flip 710000 nbSat=4409625 maxSat=11890527
510.74/256.78	c flip 720000 nbSat=4456630 maxSat=11890527
512.14/257.41	c flip 730000 nbSat=4719547 maxSat=11890527
513.33/258.00	c flip 740000 nbSat=4718605 maxSat=11890527
514.53/258.60	c flip 750000 nbSat=4758860 maxSat=11890527
515.73/259.21	c flip 760000 nbSat=4882791 maxSat=11890527
516.92/259.80	c flip 770000 nbSat=4774259 maxSat=11890527
518.12/260.40	c flip 780000 nbSat=4898587 maxSat=11890527
519.32/261.02	c flip 790000 nbSat=4978518 maxSat=11890527
520.52/261.63	c flip 800000 nbSat=5038626 maxSat=11890527
521.71/262.23	c flip 810000 nbSat=5114476 maxSat=11890527
522.92/262.83	c flip 820000 nbSat=5284135 maxSat=11890527
524.11/263.44	c flip 830000 nbSat=5066488 maxSat=11890527
525.31/264.05	c flip 840000 nbSat=5236185 maxSat=11890527
526.51/264.65	c flip 850000 nbSat=5378045 maxSat=11890527
527.70/265.25	c flip 860000 nbSat=5374913 maxSat=11890527
528.90/265.87	c flip 870000 nbSat=5437681 maxSat=11890527
530.10/266.48	c flip 880000 nbSat=5451570 maxSat=11890527
531.29/267.10	c flip 890000 nbSat=5494935 maxSat=11890527
532.68/267.71	c flip 900000 nbSat=5650668 maxSat=11890527
533.88/268.33	c flip 910000 nbSat=5731358 maxSat=11890527
535.07/268.92	c flip 920000 nbSat=5823916 maxSat=11890527
536.27/269.51	c flip 930000 nbSat=5862601 maxSat=11890527
537.46/270.11	c flip 940000 nbSat=6077483 maxSat=11890527
538.66/270.70	c flip 950000 nbSat=6145283 maxSat=11890527
539.86/271.30	c flip 960000 nbSat=6035753 maxSat=11890527
541.05/271.91	c flip 970000 nbSat=6192407 maxSat=11890527
542.25/272.50	c flip 980000 nbSat=6093202 maxSat=11890527
543.45/273.10	c flip 990000 nbSat=6176551 maxSat=11890527
544.65/273.71	c flip 1000000 nbSat=6420694 maxSat=11890527
545.85/274.31	c flip 1010000 nbSat=6457887 maxSat=11890527
547.05/274.92	c flip 1020000 nbSat=6456306 maxSat=11890527
548.24/275.51	c flip 1030000 nbSat=6705265 maxSat=11890527
549.44/276.10	c flip 1040000 nbSat=6729408 maxSat=11890527
550.43/276.69	c flip 1050000 nbSat=6745847 maxSat=11890527
551.64/277.29	c flip 1060000 nbSat=6917125 maxSat=11890527
552.83/277.88	c flip 1070000 nbSat=6669382 maxSat=11890527
554.02/278.48	c flip 1080000 nbSat=6691033 maxSat=11890527
555.22/279.06	c flip 1090000 nbSat=6847528 maxSat=11890527
556.42/279.67	c flip 1100000 nbSat=6739608 maxSat=11890527
557.62/280.27	c flip 1110000 nbSat=6964775 maxSat=11890527
558.82/280.87	c flip 1120000 nbSat=7036903 maxSat=11890527
560.01/281.48	c flip 1130000 nbSat=7181188 maxSat=11890527
561.21/282.08	c flip 1140000 nbSat=7140208 maxSat=11890527
562.42/282.69	c flip 1150000 nbSat=7121633 maxSat=11890527
563.61/283.28	c flip 1160000 nbSat=7105962 maxSat=11890527
564.81/283.87	c flip 1170000 nbSat=7358949 maxSat=11890527
566.00/284.45	c flip 1180000 nbSat=7310389 maxSat=11890527
567.20/285.04	c flip 1190000 nbSat=7438151 maxSat=11890527
568.40/285.63	c flip 1200000 nbSat=7350620 maxSat=11890527
569.59/286.25	c flip 1210000 nbSat=7144266 maxSat=11890527
570.79/286.86	c flip 1220000 nbSat=7609896 maxSat=11890527
571.99/287.47	c flip 1230000 nbSat=7592504 maxSat=11890527
573.19/288.09	c flip 1240000 nbSat=7757934 maxSat=11890527
574.38/288.68	c flip 1250000 nbSat=7768110 maxSat=11890527
575.59/289.29	c flip 1260000 nbSat=7723619 maxSat=11890527
576.78/289.90	c flip 1270000 nbSat=7776592 maxSat=11890527
578.18/290.50	c flip 1280000 nbSat=7762349 maxSat=11890527
579.37/291.10	c flip 1290000 nbSat=7903446 maxSat=11890527
580.37/291.70	c flip 1300000 nbSat=7981255 maxSat=11890527
581.58/292.30	c flip 1310000 nbSat=8097981 maxSat=11890527
582.77/292.90	c flip 1320000 nbSat=8032696 maxSat=11890527
583.97/293.50	c flip 1330000 nbSat=8121756 maxSat=11890527
585.37/294.10	c flip 1340000 nbSat=8059279 maxSat=11890527
586.57/294.72	c flip 1350000 nbSat=7944365 maxSat=11890527
587.76/295.32	c flip 1360000 nbSat=8453387 maxSat=11890527
588.97/295.93	c flip 1370000 nbSat=8101539 maxSat=11890527
590.16/296.53	c flip 1380000 nbSat=8262806 maxSat=11890527
591.35/297.15	c flip 1390000 nbSat=8099122 maxSat=11890527
592.55/297.74	c flip 1400000 nbSat=8393203 maxSat=11890527
593.75/298.35	c flip 1410000 nbSat=8391349 maxSat=11890527
594.95/298.95	c flip 1420000 nbSat=8464054 maxSat=11890527
596.15/299.55	c flip 1430000 nbSat=8438238 maxSat=11890527
597.35/300.16	c flip 1440000 nbSat=8443461 maxSat=11890527
598.54/300.77	c flip 1450000 nbSat=8672074 maxSat=11890527
599.74/301.36	c flip 1460000 nbSat=8738874 maxSat=11890527
600.94/301.95	c flip 1470000 nbSat=8871752 maxSat=11890527
602.14/302.56	c flip 1480000 nbSat=9073186 maxSat=11890527
603.33/303.16	c flip 1490000 nbSat=8824238 maxSat=11890527
604.53/303.77	c flip 1500000 nbSat=9149890 maxSat=11890527
605.73/304.36	c flip 1510000 nbSat=9264627 maxSat=11890527
606.92/304.97	c flip 1520000 nbSat=9040814 maxSat=11890527
608.12/305.57	c flip 1530000 nbSat=9244858 maxSat=11890527
609.32/306.17	c flip 1540000 nbSat=9144264 maxSat=11890527
610.52/306.78	c flip 1550000 nbSat=8976199 maxSat=11890527
611.71/307.38	c flip 1560000 nbSat=9176620 maxSat=11890527
612.92/307.98	c flip 1570000 nbSat=9315357 maxSat=11890527
614.11/308.58	c flip 1580000 nbSat=9515140 maxSat=11890527
615.31/309.19	c flip 1590000 nbSat=9483022 maxSat=11890527
616.50/309.78	c flip 1600000 nbSat=9583001 maxSat=11890527
617.90/310.40	c flip 1610000 nbSat=9722515 maxSat=11890527
619.10/311.00	c flip 1620000 nbSat=9758296 maxSat=11890527
620.09/311.59	c flip 1630000 nbSat=9633705 maxSat=11890527
621.48/312.20	c flip 1640000 nbSat=9551162 maxSat=11890527
622.48/312.79	c flip 1650000 nbSat=9627363 maxSat=11890527
623.68/313.38	c flip 1660000 nbSat=9818516 maxSat=11890527
624.87/313.98	c flip 1670000 nbSat=9614834 maxSat=11890527
626.07/314.59	c flip 1680000 nbSat=9923407 maxSat=11890527
627.26/315.17	c flip 1690000 nbSat=9790801 maxSat=11890527
628.47/315.78	c flip 1700000 nbSat=9834919 maxSat=11890527
629.66/316.38	c flip 1710000 nbSat=10002417 maxSat=11890527
630.86/316.98	c flip 1720000 nbSat=10029966 maxSat=11890527
632.05/317.58	c flip 1730000 nbSat=10007220 maxSat=11890527
633.25/318.19	c flip 1740000 nbSat=10056945 maxSat=11890527
634.45/318.79	c flip 1750000 nbSat=10161181 maxSat=11890527
635.64/319.39	c flip 1760000 nbSat=10161413 maxSat=11890527
636.84/320.00	c flip 1770000 nbSat=10073519 maxSat=11890527
638.24/320.60	c flip 1780000 nbSat=9979116 maxSat=11890527
639.24/321.20	c flip 1790000 nbSat=10143598 maxSat=11890527
640.43/321.79	c flip 1800000 nbSat=10224171 maxSat=11890527
641.64/322.39	c flip 1810000 nbSat=10563211 maxSat=11890527
642.83/322.99	c flip 1820000 nbSat=10681762 maxSat=11890527
644.02/323.59	c flip 1830000 nbSat=10218157 maxSat=11890527
645.42/324.20	c flip 1840000 nbSat=10739066 maxSat=11890527
646.62/324.80	c flip 1850000 nbSat=10394684 maxSat=11890527
647.82/325.41	c flip 1860000 nbSat=10306787 maxSat=11890527
649.02/326.01	c flip 1870000 nbSat=10275086 maxSat=11890527
650.22/326.62	c flip 1880000 nbSat=10476545 maxSat=11890527
651.41/327.23	c flip 1890000 nbSat=10718968 maxSat=11890527
652.61/327.84	c flip 1900000 nbSat=10897561 maxSat=11890527
653.80/328.44	c flip 1910000 nbSat=10716648 maxSat=11890527
655.00/329.04	c flip 1920000 nbSat=10976270 maxSat=11890527
656.20/329.64	c flip 1930000 nbSat=10605537 maxSat=11890527
656.60/329.81	c flip 0 nbSat=339490 maxSat=11890527
656.80/329.91	c flip 10000 nbSat=361264 maxSat=11890527
657.00/330.00	c flip 20000 nbSat=381553 maxSat=11890527
657.00/330.09	c flip 30000 nbSat=400781 maxSat=11890527
657.40/330.25	c flip 40000 nbSat=412324 maxSat=11890527
657.80/330.43	c flip 50000 nbSat=422368 maxSat=11890527
658.20/330.63	c flip 60000 nbSat=434808 maxSat=11890527
658.60/330.87	c flip 70000 nbSat=449885 maxSat=11890527
659.20/331.13	c flip 80000 nbSat=466252 maxSat=11890527
659.79/331.41	c flip 90000 nbSat=490743 maxSat=11890527
660.39/331.71	c flip 100000 nbSat=509887 maxSat=11890527
660.99/332.01	c flip 110000 nbSat=532164 maxSat=11890527
661.59/332.35	c flip 120000 nbSat=561258 maxSat=11890527
662.19/332.68	c flip 130000 nbSat=587665 maxSat=11890527
662.99/333.03	c flip 140000 nbSat=619477 maxSat=11890527
663.59/333.39	c flip 150000 nbSat=643116 maxSat=11890527
664.39/333.76	c flip 160000 nbSat=676899 maxSat=11890527
665.18/334.16	c flip 170000 nbSat=713266 maxSat=11890527
665.98/334.58	c flip 180000 nbSat=754684 maxSat=11890527
666.98/335.01	c flip 190000 nbSat=795308 maxSat=11890527
667.78/335.45	c flip 200000 nbSat=841730 maxSat=11890527
668.77/335.91	c flip 210000 nbSat=909124 maxSat=11890527
669.77/336.41	c flip 220000 nbSat=981339 maxSat=11890527
670.77/336.92	c flip 230000 nbSat=1068494 maxSat=11890527
671.77/337.42	c flip 240000 nbSat=1119210 maxSat=11890527
672.77/337.98	c flip 250000 nbSat=1170835 maxSat=11890527
673.96/338.53	c flip 260000 nbSat=1247972 maxSat=11890527
674.96/339.07	c flip 270000 nbSat=1328891 maxSat=11890527
676.16/339.63	c flip 280000 nbSat=1406816 maxSat=11890527
677.35/340.23	c flip 290000 nbSat=1546427 maxSat=11890527
678.35/340.78	c flip 300000 nbSat=1589341 maxSat=11890527
679.55/341.37	c flip 310000 nbSat=1701095 maxSat=11890527
680.75/341.96	c flip 320000 nbSat=1788704 maxSat=11890527
681.95/342.53	c flip 330000 nbSat=1837876 maxSat=11890527
683.15/343.14	c flip 340000 nbSat=2006935 maxSat=11890527
684.34/343.75	c flip 350000 nbSat=2119611 maxSat=11890527
685.54/344.35	c flip 360000 nbSat=2155794 maxSat=11890527
686.73/344.96	c flip 370000 nbSat=2297890 maxSat=11890527
687.93/345.56	c flip 380000 nbSat=2381489 maxSat=11890527
689.13/346.16	c flip 390000 nbSat=2511186 maxSat=11890527
690.33/346.78	c flip 400000 nbSat=2657059 maxSat=11890527
691.53/347.38	c flip 410000 nbSat=2736936 maxSat=11890527
692.92/348.00	c flip 420000 nbSat=2799706 maxSat=11890527
694.12/348.60	c flip 430000 nbSat=2943488 maxSat=11890527
695.31/349.22	c flip 440000 nbSat=3029700 maxSat=11890527
696.52/349.84	c flip 450000 nbSat=3142292 maxSat=11890527
697.71/350.47	c flip 460000 nbSat=3242554 maxSat=11890527
698.91/351.08	c flip 470000 nbSat=3318571 maxSat=11890527
700.11/351.68	c flip 480000 nbSat=3304084 maxSat=11890527
701.30/352.28	c flip 490000 nbSat=3406913 maxSat=11890527
702.70/352.90	c flip 500000 nbSat=3473998 maxSat=11890527
703.90/353.51	c flip 510000 nbSat=3631806 maxSat=11890527
705.10/354.13	c flip 520000 nbSat=3784530 maxSat=11890527
706.29/354.73	c flip 530000 nbSat=3788783 maxSat=11890527
707.50/355.32	c flip 540000 nbSat=3888936 maxSat=11890527
708.69/355.92	c flip 550000 nbSat=3886882 maxSat=11890527
709.88/356.52	c flip 560000 nbSat=3944742 maxSat=11890527
711.07/357.14	c flip 570000 nbSat=3982232 maxSat=11890527
712.27/357.75	c flip 580000 nbSat=4084852 maxSat=11890527
713.47/358.39	c flip 590000 nbSat=4101909 maxSat=11890527
714.87/359.01	c flip 600000 nbSat=4195260 maxSat=11890527
716.07/359.62	c flip 610000 nbSat=4390606 maxSat=11890527
717.25/360.24	c flip 620000 nbSat=4471834 maxSat=11890527
718.45/360.84	c flip 630000 nbSat=4472438 maxSat=11890527
719.65/361.44	c flip 640000 nbSat=4488063 maxSat=11890527
720.84/362.06	c flip 650000 nbSat=4495858 maxSat=11890527
722.04/362.65	c flip 660000 nbSat=4682253 maxSat=11890527
723.24/363.25	c flip 670000 nbSat=4772035 maxSat=11890527
724.44/363.85	c flip 680000 nbSat=4899760 maxSat=11890527
725.63/364.44	c flip 690000 nbSat=4965967 maxSat=11890527
726.83/365.04	c flip 700000 nbSat=4976146 maxSat=11890527
728.03/365.66	c flip 710000 nbSat=4886871 maxSat=11890527
729.23/366.25	c flip 720000 nbSat=4952370 maxSat=11890527
730.42/366.85	c flip 730000 nbSat=4869624 maxSat=11890527
731.63/367.47	c flip 740000 nbSat=4890177 maxSat=11890527
732.82/368.07	c flip 750000 nbSat=4897086 maxSat=11890527
734.02/368.67	c flip 760000 nbSat=5123222 maxSat=11890527
735.22/369.27	c flip 770000 nbSat=5157942 maxSat=11890527
736.41/369.89	c flip 780000 nbSat=5259216 maxSat=11890527
737.61/370.47	c flip 790000 nbSat=5221745 maxSat=11890527
738.80/371.05	c flip 800000 nbSat=5448645 maxSat=11890527
740.00/371.65	c flip 810000 nbSat=5506293 maxSat=11890527
741.20/372.27	c flip 820000 nbSat=5458893 maxSat=11890527
742.40/372.87	c flip 830000 nbSat=5568739 maxSat=11890527
743.59/373.46	c flip 840000 nbSat=5606853 maxSat=11890527
744.80/374.06	c flip 850000 nbSat=5559179 maxSat=11890527
745.99/374.68	c flip 860000 nbSat=5735603 maxSat=11890527
747.19/375.28	c flip 870000 nbSat=5843729 maxSat=11890527
748.39/375.89	c flip 880000 nbSat=5859276 maxSat=11890527
749.58/376.49	c flip 890000 nbSat=6044074 maxSat=11890527
750.78/377.08	c flip 900000 nbSat=5869708 maxSat=11890527
751.98/377.69	c flip 910000 nbSat=6184469 maxSat=11890527
753.18/378.27	c flip 920000 nbSat=6180603 maxSat=11890527
754.37/378.85	c flip 930000 nbSat=6167026 maxSat=11890527
755.58/379.44	c flip 940000 nbSat=6207642 maxSat=11890527
756.77/380.04	c flip 950000 nbSat=6161317 maxSat=11890527
757.97/380.64	c flip 960000 nbSat=6326026 maxSat=11890527
759.16/381.23	c flip 970000 nbSat=6480042 maxSat=11890527
760.36/381.83	c flip 980000 nbSat=6565316 maxSat=11890527
761.56/382.41	c flip 990000 nbSat=6471209 maxSat=11890527
762.75/383.01	c flip 1000000 nbSat=6626135 maxSat=11890527
763.75/383.59	c flip 1010000 nbSat=6539436 maxSat=11890527
764.95/384.18	c flip 1020000 nbSat=6668888 maxSat=11890527
766.15/384.76	c flip 1030000 nbSat=6753443 maxSat=11890527
767.35/385.35	c flip 1040000 nbSat=6787213 maxSat=11890527
768.55/385.93	c flip 1050000 nbSat=7012964 maxSat=11890527
769.74/386.52	c flip 1060000 nbSat=6886526 maxSat=11890527
770.94/387.10	c flip 1070000 nbSat=6834802 maxSat=11890527
771.94/387.68	c flip 1080000 nbSat=6821612 maxSat=11890527
773.14/388.27	c flip 1090000 nbSat=6900060 maxSat=11890527
774.33/388.84	c flip 1100000 nbSat=7172053 maxSat=11890527
775.54/389.44	c flip 1110000 nbSat=7071057 maxSat=11890527
776.73/390.02	c flip 1120000 nbSat=7167906 maxSat=11890527
777.92/390.60	c flip 1130000 nbSat=7277904 maxSat=11890527
778.92/391.17	c flip 1140000 nbSat=7187281 maxSat=11890527
780.12/391.76	c flip 1150000 nbSat=7257715 maxSat=11890527
781.32/392.35	c flip 1160000 nbSat=7204796 maxSat=11890527
782.51/392.95	c flip 1170000 nbSat=7310887 maxSat=11890527
783.71/393.55	c flip 1180000 nbSat=7442363 maxSat=11890527
784.91/394.14	c flip 1190000 nbSat=7336759 maxSat=11890527
786.11/394.73	c flip 1200000 nbSat=7512073 maxSat=11890527
787.30/395.30	c flip 1210000 nbSat=7914076 maxSat=11890527
788.30/395.88	c flip 1220000 nbSat=7724962 maxSat=11890527
789.50/396.45	c flip 1230000 nbSat=7856039 maxSat=11890527
790.70/397.04	c flip 1240000 nbSat=7885750 maxSat=11890527
791.89/397.63	c flip 1250000 nbSat=7910670 maxSat=11890527
793.10/398.22	c flip 1260000 nbSat=7935086 maxSat=11890527
794.29/398.81	c flip 1270000 nbSat=7827234 maxSat=11890527
795.48/399.40	c flip 1280000 nbSat=8034756 maxSat=11890527
796.68/400.01	c flip 1290000 nbSat=8185944 maxSat=11890527
797.68/400.60	c flip 1300000 nbSat=8286839 maxSat=11890527
798.88/401.20	c flip 1310000 nbSat=8165625 maxSat=11890527
800.07/401.79	c flip 1320000 nbSat=8087808 maxSat=11890527
801.26/402.39	c flip 1330000 nbSat=8120125 maxSat=11890527
802.46/402.99	c flip 1340000 nbSat=8176328 maxSat=11890527
803.66/403.58	c flip 1350000 nbSat=8163509 maxSat=11890527
804.85/404.18	c flip 1360000 nbSat=8289544 maxSat=11890527
806.06/404.78	c flip 1370000 nbSat=8644563 maxSat=11890527
807.25/405.38	c flip 1380000 nbSat=8539953 maxSat=11890527
808.45/405.97	c flip 1390000 nbSat=8404094 maxSat=11890527
809.64/406.58	c flip 1400000 nbSat=8454461 maxSat=11890527
810.83/407.18	c flip 1410000 nbSat=8882232 maxSat=11890527
812.03/407.78	c flip 1420000 nbSat=8700424 maxSat=11890527
813.23/408.38	c flip 1430000 nbSat=8718278 maxSat=11890527
814.43/408.96	c flip 1440000 nbSat=8870794 maxSat=11890527
815.62/409.56	c flip 1450000 nbSat=8824361 maxSat=11890527
816.82/410.14	c flip 1460000 nbSat=9001786 maxSat=11890527
818.02/410.73	c flip 1470000 nbSat=8924906 maxSat=11890527
819.22/411.33	c flip 1480000 nbSat=8951807 maxSat=11890527
820.41/411.92	c flip 1490000 nbSat=8884061 maxSat=11890527
821.62/412.51	c flip 1500000 nbSat=8920285 maxSat=11890527
822.61/413.09	c flip 1510000 nbSat=9276939 maxSat=11890527
823.81/413.68	c flip 1520000 nbSat=9073000 maxSat=11890527
825.00/414.26	c flip 1530000 nbSat=8941360 maxSat=11890527
826.20/414.86	c flip 1540000 nbSat=9215302 maxSat=11890527
827.40/415.45	c flip 1550000 nbSat=9175223 maxSat=11890527
828.60/416.05	c flip 1560000 nbSat=8959819 maxSat=11890527
829.79/416.64	c flip 1570000 nbSat=8979095 maxSat=11890527
830.99/417.23	c flip 1580000 nbSat=9173023 maxSat=11890527
832.19/417.81	c flip 1590000 nbSat=9317005 maxSat=11890527
833.39/418.41	c flip 1600000 nbSat=9227828 maxSat=11890527
834.59/419.01	c flip 1610000 nbSat=9138738 maxSat=11890527
835.58/419.59	c flip 1620000 nbSat=9418806 maxSat=11890527
836.79/420.18	c flip 1630000 nbSat=9446768 maxSat=11890527
837.98/420.77	c flip 1640000 nbSat=9395589 maxSat=11890527
839.18/421.37	c flip 1650000 nbSat=9512890 maxSat=11890527
840.37/421.98	c flip 1660000 nbSat=9803787 maxSat=11890527
841.57/422.58	c flip 1670000 nbSat=9749199 maxSat=11890527
842.77/423.18	c flip 1680000 nbSat=9911862 maxSat=11890527
843.96/423.77	c flip 1690000 nbSat=9703744 maxSat=11890527
845.16/424.37	c flip 1700000 nbSat=10040030 maxSat=11890527
846.36/424.98	c flip 1710000 nbSat=9900268 maxSat=11890527
847.56/425.59	c flip 1720000 nbSat=10015713 maxSat=11890527
848.75/426.19	c flip 1730000 nbSat=9942433 maxSat=11890527
849.96/426.80	c flip 1740000 nbSat=10043345 maxSat=11890527
851.15/427.39	c flip 1750000 nbSat=10117098 maxSat=11890527
852.35/427.99	c flip 1760000 nbSat=10009547 maxSat=11890527
853.55/428.59	c flip 1770000 nbSat=10178498 maxSat=11890527
854.74/429.19	c flip 1780000 nbSat=10112721 maxSat=11890527
855.94/429.79	c flip 1790000 nbSat=10034505 maxSat=11890527
857.14/430.39	c flip 1800000 nbSat=9977244 maxSat=11890527
858.34/430.97	c flip 1810000 nbSat=10485205 maxSat=11890527
859.53/431.58	c flip 1820000 nbSat=10463425 maxSat=11890527
860.73/432.17	c flip 1830000 nbSat=10207870 maxSat=11890527
861.92/432.77	c flip 1840000 nbSat=10244998 maxSat=11890527
863.13/433.37	c flip 1850000 nbSat=10641729 maxSat=11890527
864.32/433.94	c flip 1860000 nbSat=10482324 maxSat=11890527
865.52/434.52	c flip 1870000 nbSat=10522411 maxSat=11890527
866.71/435.12	c flip 1880000 nbSat=10391958 maxSat=11890527
867.91/435.71	c flip 1890000 nbSat=10901469 maxSat=11890527
868.91/436.29	c flip 1900000 nbSat=10808010 maxSat=11890527
870.11/436.87	c flip 1910000 nbSat=11225819 maxSat=11890527
871.31/437.46	c flip 1920000 nbSat=10578483 maxSat=11890527
872.50/438.06	c flip 1930000 nbSat=10839413 maxSat=11890527
872.90/438.23	c flip 0 nbSat=340888 maxSat=11890527
873.10/438.33	c flip 10000 nbSat=361672 maxSat=11890527
873.30/438.42	c flip 20000 nbSat=381363 maxSat=11890527
873.50/438.51	c flip 30000 nbSat=399831 maxSat=11890527
873.70/438.66	c flip 40000 nbSat=410224 maxSat=11890527
874.10/438.84	c flip 50000 nbSat=420489 maxSat=11890527
874.50/439.06	c flip 60000 nbSat=434526 maxSat=11890527
875.09/439.31	c flip 70000 nbSat=451446 maxSat=11890527
875.49/439.57	c flip 80000 nbSat=470333 maxSat=11890527
876.09/439.85	c flip 90000 nbSat=490737 maxSat=11890527
876.69/440.15	c flip 100000 nbSat=512425 maxSat=11890527
877.29/440.47	c flip 110000 nbSat=534260 maxSat=11890527
878.09/440.80	c flip 120000 nbSat=562631 maxSat=11890527
878.69/441.16	c flip 130000 nbSat=590542 maxSat=11890527
879.49/441.52	c flip 140000 nbSat=613545 maxSat=11890527
880.09/441.86	c flip 150000 nbSat=636787 maxSat=11890527
880.89/442.24	c flip 160000 nbSat=667214 maxSat=11890527
881.68/442.65	c flip 170000 nbSat=711748 maxSat=11890527
882.48/443.06	c flip 180000 nbSat=749931 maxSat=11890527
883.47/443.51	c flip 190000 nbSat=796484 maxSat=11890527
884.27/443.95	c flip 200000 nbSat=846589 maxSat=11890527
885.28/444.44	c flip 210000 nbSat=909797 maxSat=11890527
886.27/444.95	c flip 220000 nbSat=1000912 maxSat=11890527
887.28/445.46	c flip 230000 nbSat=1062513 maxSat=11890527
888.27/445.97	c flip 240000 nbSat=1118121 maxSat=11890527
889.47/446.52	c flip 250000 nbSat=1230095 maxSat=11890527
890.45/447.08	c flip 260000 nbSat=1299770 maxSat=11890527
891.66/447.63	c flip 270000 nbSat=1408171 maxSat=11890527
892.85/448.21	c flip 280000 nbSat=1469040 maxSat=11890527
893.85/448.79	c flip 290000 nbSat=1585458 maxSat=11890527
895.04/449.34	c flip 300000 nbSat=1634349 maxSat=11890527
896.25/449.93	c flip 310000 nbSat=1754444 maxSat=11890527
897.44/450.51	c flip 320000 nbSat=1833398 maxSat=11890527
898.44/451.09	c flip 330000 nbSat=1925671 maxSat=11890527
899.63/451.69	c flip 340000 nbSat=2045400 maxSat=11890527
900.82/452.30	c flip 350000 nbSat=2102076 maxSat=11890527
902.02/452.88	c flip 360000 nbSat=2311000 maxSat=11890527
903.22/453.47	c flip 370000 nbSat=2372524 maxSat=11890527
904.42/454.05	c flip 380000 nbSat=2452392 maxSat=11890527
905.61/454.66	c flip 390000 nbSat=2491881 maxSat=11890527
906.81/455.26	c flip 400000 nbSat=2587041 maxSat=11890527
908.01/455.88	c flip 410000 nbSat=2704171 maxSat=11890527
909.21/456.50	c flip 420000 nbSat=2718090 maxSat=11890527
910.40/457.09	c flip 430000 nbSat=2787452 maxSat=11890527
911.80/457.71	c flip 440000 nbSat=2780043 maxSat=11890527
913.00/458.32	c flip 450000 nbSat=2910731 maxSat=11890527
914.19/458.95	c flip 460000 nbSat=2924225 maxSat=11890527
915.39/459.56	c flip 470000 nbSat=3046843 maxSat=11890527
916.59/460.18	c flip 480000 nbSat=3023425 maxSat=11890527
917.79/460.78	c flip 490000 nbSat=3206689 maxSat=11890527
919.19/461.42	c flip 500000 nbSat=3239789 maxSat=11890527
920.39/462.03	c flip 510000 nbSat=3401650 maxSat=11890527
921.58/462.66	c flip 520000 nbSat=3489793 maxSat=11890527
922.78/463.27	c flip 530000 nbSat=3587959 maxSat=11890527
923.97/463.88	c flip 540000 nbSat=3611429 maxSat=11890527
925.37/464.51	c flip 550000 nbSat=3609061 maxSat=11890527
926.57/465.13	c flip 560000 nbSat=3759922 maxSat=11890527
927.76/465.76	c flip 570000 nbSat=3900246 maxSat=11890527
928.97/466.38	c flip 580000 nbSat=4013967 maxSat=11890527
930.36/467.02	c flip 590000 nbSat=4133685 maxSat=11890527
931.56/467.62	c flip 600000 nbSat=4157803 maxSat=11890527
932.76/468.22	c flip 610000 nbSat=4251033 maxSat=11890527
933.95/468.85	c flip 620000 nbSat=4272825 maxSat=11890527
935.15/469.44	c flip 630000 nbSat=4344761 maxSat=11890527
936.35/470.05	c flip 640000 nbSat=4370725 maxSat=11890527
937.55/470.66	c flip 650000 nbSat=4426929 maxSat=11890527
938.74/471.24	c flip 660000 nbSat=4448243 maxSat=11890527
939.95/471.85	c flip 670000 nbSat=4659892 maxSat=11890527
941.14/472.43	c flip 680000 nbSat=4706219 maxSat=11890527
942.34/473.02	c flip 690000 nbSat=4753341 maxSat=11890527
943.53/473.64	c flip 700000 nbSat=4795005 maxSat=11890527
944.73/474.25	c flip 710000 nbSat=4851836 maxSat=11890527
945.93/474.86	c flip 720000 nbSat=4874476 maxSat=11890527
947.12/475.47	c flip 730000 nbSat=4891326 maxSat=11890527
948.32/476.08	c flip 740000 nbSat=4977869 maxSat=11890527
949.52/476.67	c flip 750000 nbSat=5015605 maxSat=11890527
950.72/477.25	c flip 760000 nbSat=5053436 maxSat=11890527
951.91/477.86	c flip 770000 nbSat=5144183 maxSat=11890527
953.12/478.45	c flip 780000 nbSat=4988994 maxSat=11890527
954.31/479.04	c flip 790000 nbSat=5241358 maxSat=11890527
955.51/479.66	c flip 800000 nbSat=5261942 maxSat=11890527
956.71/480.24	c flip 810000 nbSat=5312846 maxSat=11890527
957.90/480.83	c flip 820000 nbSat=5243959 maxSat=11890527
959.10/481.42	c flip 830000 nbSat=5443163 maxSat=11890527
960.30/482.03	c flip 840000 nbSat=5507594 maxSat=11890527
961.50/482.63	c flip 850000 nbSat=5566408 maxSat=11890527
962.69/483.22	c flip 860000 nbSat=5473247 maxSat=11890527
963.89/483.81	c flip 870000 nbSat=5766089 maxSat=11890527
965.09/484.42	c flip 880000 nbSat=5685435 maxSat=11890527
966.29/485.00	c flip 890000 nbSat=5947482 maxSat=11890527
967.28/485.59	c flip 900000 nbSat=5792723 maxSat=11890527
968.48/486.18	c flip 910000 nbSat=5873951 maxSat=11890527
969.68/486.79	c flip 920000 nbSat=5927567 maxSat=11890527
970.88/487.38	c flip 930000 nbSat=6055902 maxSat=11890527
972.07/487.96	c flip 940000 nbSat=6095325 maxSat=11890527
973.27/488.56	c flip 950000 nbSat=6238847 maxSat=11890527
974.47/489.17	c flip 960000 nbSat=6192966 maxSat=11890527
975.66/489.77	c flip 970000 nbSat=6356139 maxSat=11890527
976.86/490.37	c flip 980000 nbSat=6297473 maxSat=11890527
978.06/490.97	c flip 990000 nbSat=6417847 maxSat=11890527
979.26/491.58	c flip 1000000 nbSat=6271582 maxSat=11890527
980.44/492.19	c flip 1010000 nbSat=6419446 maxSat=11890527
981.65/492.78	c flip 1020000 nbSat=6574823 maxSat=11890527
982.84/493.35	c flip 1030000 nbSat=6519530 maxSat=11890527
984.04/493.94	c flip 1040000 nbSat=6701351 maxSat=11890527
985.24/494.53	c flip 1050000 nbSat=6840796 maxSat=11890527
986.43/495.13	c flip 1060000 nbSat=6816214 maxSat=11890527
987.63/495.72	c flip 1070000 nbSat=6828426 maxSat=11890527
988.83/496.31	c flip 1080000 nbSat=6840392 maxSat=11890527
989.83/496.90	c flip 1090000 nbSat=7028004 maxSat=11890527
991.02/497.49	c flip 1100000 nbSat=7024579 maxSat=11890527
992.21/498.09	c flip 1110000 nbSat=7144209 maxSat=11890527
993.41/498.69	c flip 1120000 nbSat=7206748 maxSat=11890527
994.61/499.28	c flip 1130000 nbSat=7086285 maxSat=11890527
995.80/499.87	c flip 1140000 nbSat=7390161 maxSat=11890527
997.01/500.45	c flip 1150000 nbSat=7317386 maxSat=11890527
998.20/501.04	c flip 1160000 nbSat=7388742 maxSat=11890527
999.40/501.65	c flip 1170000 nbSat=7587578 maxSat=11890527
1000.59/502.25	c flip 1180000 nbSat=7552610 maxSat=11890527
1001.79/502.84	c flip 1190000 nbSat=7542997 maxSat=11890527
1002.99/503.43	c flip 1200000 nbSat=7563778 maxSat=11890527
1004.19/504.01	c flip 1210000 nbSat=7807181 maxSat=11890527
1005.19/504.59	c flip 1220000 nbSat=7939942 maxSat=11890527
1006.38/505.18	c flip 1230000 nbSat=8106610 maxSat=11890527
1007.58/505.79	c flip 1240000 nbSat=7951644 maxSat=11890527
1008.77/506.38	c flip 1250000 nbSat=7997675 maxSat=11890527
1009.97/506.96	c flip 1260000 nbSat=8127755 maxSat=11890527
1011.17/507.54	c flip 1270000 nbSat=8332093 maxSat=11890527
1012.37/508.12	c flip 1280000 nbSat=8313670 maxSat=11890527
1013.36/508.70	c flip 1290000 nbSat=8233067 maxSat=11890527
1014.57/509.27	c flip 1300000 nbSat=8252092 maxSat=11890527
1015.76/509.85	c flip 1310000 nbSat=8460458 maxSat=11890527
1016.96/510.44	c flip 1320000 nbSat=8457668 maxSat=11890527
1018.16/511.03	c flip 1330000 nbSat=8398676 maxSat=11890527
1019.35/511.61	c flip 1340000 nbSat=8255693 maxSat=11890527
1020.35/512.19	c flip 1350000 nbSat=8541176 maxSat=11890527
1021.55/512.77	c flip 1360000 nbSat=8789732 maxSat=11890527
1022.75/513.35	c flip 1370000 nbSat=8780757 maxSat=11890527
1023.94/513.92	c flip 1380000 nbSat=8877772 maxSat=11890527
1024.94/514.49	c flip 1390000 nbSat=8671688 maxSat=11890527
1026.14/515.07	c flip 1400000 nbSat=8771300 maxSat=11890527
1027.34/515.63	c flip 1410000 nbSat=8779397 maxSat=11890527
1028.53/516.21	c flip 1420000 nbSat=8816844 maxSat=11890527
1029.53/516.79	c flip 1430000 nbSat=8805052 maxSat=11890527
1030.73/517.37	c flip 1440000 nbSat=8795916 maxSat=11890527
1031.93/517.92	c flip 1450000 nbSat=9075321 maxSat=11890527
1033.12/518.52	c flip 1460000 nbSat=9222695 maxSat=11890527
1034.32/519.11	c flip 1470000 nbSat=9080982 maxSat=11890527
1035.32/519.69	c flip 1480000 nbSat=9005367 maxSat=11890527
1036.52/520.28	c flip 1490000 nbSat=9170196 maxSat=11890527
1037.71/520.86	c flip 1500000 nbSat=9092262 maxSat=11890527
1038.92/521.43	c flip 1510000 nbSat=9109327 maxSat=11890527
1040.11/522.02	c flip 1520000 nbSat=9335200 maxSat=11890527
1041.11/522.59	c flip 1530000 nbSat=9321030 maxSat=11890527
1042.31/523.17	c flip 1540000 nbSat=9520554 maxSat=11890527
1043.50/523.77	c flip 1550000 nbSat=9382012 maxSat=11890527
1044.70/524.35	c flip 1560000 nbSat=9477445 maxSat=11890527
1045.90/524.93	c flip 1570000 nbSat=9716506 maxSat=11890527
1047.09/525.51	c flip 1580000 nbSat=9670004 maxSat=11890527
1048.09/526.09	c flip 1590000 nbSat=9728682 maxSat=11890527
1049.29/526.67	c flip 1600000 nbSat=9443850 maxSat=11890527
1050.48/527.26	c flip 1610000 nbSat=9778255 maxSat=11890527
1051.68/527.84	c flip 1620000 nbSat=9457014 maxSat=11890527
1052.88/528.43	c flip 1630000 nbSat=9497825 maxSat=11890527
1054.08/529.02	c flip 1640000 nbSat=9810246 maxSat=11890527
1055.08/529.60	c flip 1650000 nbSat=9780781 maxSat=11890527
1056.28/530.19	c flip 1660000 nbSat=9888533 maxSat=11890527
1057.47/530.79	c flip 1670000 nbSat=9939012 maxSat=11890527
1058.68/531.38	c flip 1680000 nbSat=9919316 maxSat=11890527
1059.87/531.97	c flip 1690000 nbSat=9905700 maxSat=11890527
1061.06/532.55	c flip 1700000 nbSat=10055569 maxSat=11890527
1062.26/533.13	c flip 1710000 nbSat=9916519 maxSat=11890527
1063.46/533.72	c flip 1720000 nbSat=10321807 maxSat=11890527
1064.66/534.31	c flip 1730000 nbSat=10025845 maxSat=11890527
1065.85/534.91	c flip 1740000 nbSat=10113975 maxSat=11890527
1067.05/535.50	c flip 1750000 nbSat=10353634 maxSat=11890527
1068.05/536.09	c flip 1760000 nbSat=10280253 maxSat=11890527
1069.25/536.67	c flip 1770000 nbSat=10243599 maxSat=11890527
1070.43/537.26	c flip 1780000 nbSat=10196183 maxSat=11890527
1071.64/537.84	c flip 1790000 nbSat=10211641 maxSat=11890527
1072.83/538.44	c flip 1800000 nbSat=10061587 maxSat=11890527
1074.03/539.03	c flip 1810000 nbSat=10327840 maxSat=11890527
1075.23/539.62	c flip 1820000 nbSat=10213197 maxSat=11890527
1076.42/540.20	c flip 1830000 nbSat=10619734 maxSat=11890527
1077.42/540.78	c flip 1840000 nbSat=10642249 maxSat=11890527
1078.62/541.36	c flip 1850000 nbSat=10354997 maxSat=11890527
1079.82/541.95	c flip 1860000 nbSat=10717276 maxSat=11890527
1081.01/542.53	c flip 1870000 nbSat=10681982 maxSat=11890527
1082.21/543.11	c flip 1880000 nbSat=10992666 maxSat=11890527
1083.21/543.69	c flip 1890000 nbSat=10784074 maxSat=11890527
1084.40/544.28	c flip 1900000 nbSat=10718171 maxSat=11890527
1085.59/544.87	c flip 1910000 nbSat=10900090 maxSat=11890527
1086.79/545.46	c flip 1920000 nbSat=11026672 maxSat=11890527
1087.99/546.04	c flip 1930000 nbSat=11111696 maxSat=11890527
1088.39/546.21	c flip 0 nbSat=339237 maxSat=11890527
1088.59/546.31	c flip 10000 nbSat=358756 maxSat=11890527
1088.79/546.40	c flip 20000 nbSat=379589 maxSat=11890527
1088.79/546.49	c flip 30000 nbSat=400258 maxSat=11890527
1089.19/546.65	c flip 40000 nbSat=411495 maxSat=11890527
1089.59/546.84	c flip 50000 nbSat=421636 maxSat=11890527
1089.99/547.04	c flip 60000 nbSat=433290 maxSat=11890527
1090.39/547.28	c flip 70000 nbSat=449448 maxSat=11890527
1090.99/547.54	c flip 80000 nbSat=468842 maxSat=11890527
1091.59/547.83	c flip 90000 nbSat=490462 maxSat=11890527
1092.18/548.14	c flip 100000 nbSat=513009 maxSat=11890527
1092.78/548.45	c flip 110000 nbSat=536570 maxSat=11890527
1093.38/548.78	c flip 120000 nbSat=561515 maxSat=11890527
1094.17/549.13	c flip 130000 nbSat=587659 maxSat=11890527
1094.77/549.50	c flip 140000 nbSat=621675 maxSat=11890527
1095.57/549.87	c flip 150000 nbSat=659007 maxSat=11890527
1096.37/550.27	c flip 160000 nbSat=696190 maxSat=11890527
1097.17/550.70	c flip 170000 nbSat=746823 maxSat=11890527
1098.17/551.13	c flip 180000 nbSat=803063 maxSat=11890527
1098.96/551.59	c flip 190000 nbSat=840193 maxSat=11890527
1099.96/552.05	c flip 200000 nbSat=907876 maxSat=11890527
1100.96/552.55	c flip 210000 nbSat=959910 maxSat=11890527
1101.96/553.07	c flip 220000 nbSat=1042587 maxSat=11890527
1103.15/553.62	c flip 230000 nbSat=1143669 maxSat=11890527
1104.15/554.15	c flip 240000 nbSat=1228890 maxSat=11890527
1105.35/554.72	c flip 250000 nbSat=1309491 maxSat=11890527
1106.35/555.29	c flip 260000 nbSat=1368460 maxSat=11890527
1107.55/555.85	c flip 270000 nbSat=1454050 maxSat=11890527
1108.75/556.43	c flip 280000 nbSat=1507003 maxSat=11890527
1109.94/557.03	c flip 290000 nbSat=1597149 maxSat=11890527
1110.94/557.60	c flip 300000 nbSat=1706974 maxSat=11890527
1112.33/558.20	c flip 310000 nbSat=1834858 maxSat=11890527
1113.54/558.83	c flip 320000 nbSat=1913563 maxSat=11890527
1114.73/559.42	c flip 330000 nbSat=2084567 maxSat=11890527
1115.92/560.05	c flip 340000 nbSat=2168778 maxSat=11890527
1117.12/560.66	c flip 350000 nbSat=2254018 maxSat=11890527
1118.32/561.27	c flip 360000 nbSat=2317659 maxSat=11890527
1119.52/561.89	c flip 370000 nbSat=2453385 maxSat=11890527
1120.72/562.49	c flip 380000 nbSat=2516768 maxSat=11890527
1122.12/563.11	c flip 390000 nbSat=2657103 maxSat=11890527
1123.31/563.71	c flip 400000 nbSat=2715110 maxSat=11890527
1124.52/564.33	c flip 410000 nbSat=2806810 maxSat=11890527
1125.71/564.95	c flip 420000 nbSat=2941881 maxSat=11890527
1126.90/565.57	c flip 430000 nbSat=3000101 maxSat=11890527
1128.10/566.19	c flip 440000 nbSat=3107109 maxSat=11890527
1129.50/566.82	c flip 450000 nbSat=3187589 maxSat=11890527
1130.70/567.46	c flip 460000 nbSat=3292728 maxSat=11890527
1131.89/568.09	c flip 470000 nbSat=3320979 maxSat=11890527
1133.29/568.72	c flip 480000 nbSat=3397767 maxSat=11890527
1134.49/569.31	c flip 490000 nbSat=3443882 maxSat=11890527
1135.68/569.94	c flip 500000 nbSat=3579236 maxSat=11890527
1136.88/570.54	c flip 510000 nbSat=3654501 maxSat=11890527
1138.08/571.16	c flip 520000 nbSat=3677225 maxSat=11890527
1139.28/571.78	c flip 530000 nbSat=3779308 maxSat=11890527
1140.47/572.39	c flip 540000 nbSat=3861758 maxSat=11890527
1141.68/572.98	c flip 550000 nbSat=3880164 maxSat=11890527
1142.87/573.57	c flip 560000 nbSat=3989844 maxSat=11890527
1144.08/574.18	c flip 570000 nbSat=4088551 maxSat=11890527
1145.27/574.78	c flip 580000 nbSat=4172537 maxSat=11890527
1146.66/575.40	c flip 590000 nbSat=4306925 maxSat=11890527
1147.86/576.02	c flip 600000 nbSat=4353719 maxSat=11890527
1149.06/576.63	c flip 610000 nbSat=4379796 maxSat=11890527
1150.26/577.24	c flip 620000 nbSat=4374088 maxSat=11890527
1151.45/577.84	c flip 630000 nbSat=4579849 maxSat=11890527
1152.65/578.44	c flip 640000 nbSat=4529163 maxSat=11890527
1153.85/579.06	c flip 650000 nbSat=4628594 maxSat=11890527
1155.05/579.65	c flip 660000 nbSat=4730571 maxSat=11890527
1156.24/580.27	c flip 670000 nbSat=4878138 maxSat=11890527
1157.44/580.88	c flip 680000 nbSat=5040321 maxSat=11890527
1158.64/581.47	c flip 690000 nbSat=5009009 maxSat=11890527
1159.82/582.08	c flip 700000 nbSat=5249508 maxSat=11890527
1161.02/582.69	c flip 710000 nbSat=5268176 maxSat=11890527
1162.22/583.30	c flip 720000 nbSat=5274313 maxSat=11890527
1163.62/583.91	c flip 730000 nbSat=5372881 maxSat=11890527
1164.81/584.53	c flip 740000 nbSat=5271045 maxSat=11890527
1166.02/585.13	c flip 750000 nbSat=5470627 maxSat=11890527
1167.21/585.73	c flip 760000 nbSat=5622083 maxSat=11890527
1168.41/586.32	c flip 770000 nbSat=5714241 maxSat=11890527
1169.60/586.92	c flip 780000 nbSat=5515343 maxSat=11890527
1170.80/587.52	c flip 790000 nbSat=5521644 maxSat=11890527
1172.00/588.12	c flip 800000 nbSat=5736031 maxSat=11890527
1173.19/588.72	c flip 810000 nbSat=5770327 maxSat=11890527
1174.39/589.34	c flip 820000 nbSat=5822124 maxSat=11890527
1175.58/589.95	c flip 830000 nbSat=5923851 maxSat=11890527
1176.78/590.57	c flip 840000 nbSat=6089781 maxSat=11890527
1177.98/591.19	c flip 850000 nbSat=6189926 maxSat=11890527
1179.38/591.81	c flip 860000 nbSat=6295468 maxSat=11890527
1180.57/592.42	c flip 870000 nbSat=6509780 maxSat=11890527
1181.77/593.02	c flip 880000 nbSat=6480055 maxSat=11890527
1182.96/593.64	c flip 890000 nbSat=6448897 maxSat=11890527
1184.16/594.25	c flip 900000 nbSat=6524730 maxSat=11890527
1185.36/594.86	c flip 910000 nbSat=6489794 maxSat=11890527
1186.56/595.47	c flip 920000 nbSat=6627676 maxSat=11890527
1187.76/596.07	c flip 930000 nbSat=6586522 maxSat=11890527
1188.95/596.69	c flip 940000 nbSat=6700437 maxSat=11890527
1190.16/597.29	c flip 950000 nbSat=6830278 maxSat=11890527
1191.35/597.89	c flip 960000 nbSat=6937958 maxSat=11890527
1192.55/598.49	c flip 970000 nbSat=6973272 maxSat=11890527
1193.74/599.07	c flip 980000 nbSat=7088004 maxSat=11890527
1194.94/599.67	c flip 990000 nbSat=7154322 maxSat=11890527
1196.14/600.28	c flip 1000000 nbSat=7044126 maxSat=11890527
1197.33/600.88	c flip 1010000 nbSat=7196335 maxSat=11890527
1198.53/601.49	c flip 1020000 nbSat=7223704 maxSat=11890527
1199.73/602.09	c flip 1030000 nbSat=7130861 maxSat=11890527

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/node61/watcher-329941-1173152967 -o ROOT/results/node61/solver-329941-1173152967 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/329941-1173152967/ornithorynque /tmp/evaluation/329941-1173152967/instance-329941-1173152967.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.92 0.98 0.99 3/64 4470
/proc/meminfo: memFree=1461400/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=23220 CPUtime=0
/proc/4470/stat : 4470 (ornithorynque) R 4468 4470 3456 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 335253695 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246403863664 0 0 4096 0 0 0 0 17 1 0 0
/proc/4470/statm: 5805 263 218 42 0 45 0

[startup+0.072759 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4470
/proc/meminfo: memFree=1461400/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=23308 CPUtime=0.06
/proc/4470/stat : 4470 (ornithorynque) R 4468 4470 3456 0 -1 4194304 479 0 0 0 6 0 0 0 18 0 1 0 335253695 23867392 440 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415405154 0 0 4096 1088 0 0 0 17 1 0 0
/proc/4470/statm: 5827 440 374 42 0 79 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23308

[startup+0.101761 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4470
/proc/meminfo: memFree=1461400/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=24424 CPUtime=0.09
/proc/4470/stat : 4470 (ornithorynque) R 4468 4470 3456 0 -1 4194304 771 0 0 0 9 0 0 0 18 0 1 0 335253695 25010176 732 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246406353633 0 0 4096 1088 0 0 0 17 1 0 0
/proc/4470/statm: 6106 732 379 42 0 358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24424

[startup+0.301779 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4470
/proc/meminfo: memFree=1461400/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=32708 CPUtime=0.29
/proc/4470/stat : 4470 (ornithorynque) R 4468 4470 3456 0 -1 4194304 3014 0 0 0 28 1 0 0 19 0 1 0 335253695 33492992 2715 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4293162 0 0 4096 1088 0 0 0 17 1 0 0
/proc/4470/statm: 8177 2715 379 42 0 2429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32708

[startup+0.701817 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4470
/proc/meminfo: memFree=1461400/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=49628 CPUtime=0.68
/proc/4470/stat : 4470 (ornithorynque) R 4468 4470 3456 0 -1 4194304 7669 0 0 0 65 3 0 0 22 0 1 0 335253695 50819072 6536 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415405154 0 0 4096 1088 0 0 0 17 1 0 0
/proc/4470/statm: 12407 6537 379 42 0 6659 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 49628

[startup+1.5019 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 4471
/proc/meminfo: memFree=1425104/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=129196 CPUtime=1.52
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 23651 0 0 0 141 11 0 0 25 0 3 0 335253695 132296704 21394 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 32299 21394 388 42 0 26551 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 129196

[startup+3.10106 s]
/proc/loadavg: 0.93 0.98 0.99 3/67 4473
/proc/meminfo: memFree=1376640/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=132212 CPUtime=4.71
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 26498 0 0 0 458 13 0 0 25 0 3 0 335253695 135385088 21317 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33053 21317 389 42 0 27305 0
[pid=4470/tid=4472] ppid=4468 vsize=132212 CPUtime=1.61
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3070 0 0 0 160 1 0 0 25 0 3 0 335253841 135385088 21317 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4328123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=132212 CPUtime=1.62
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 2 0 0 0 162 0 0 0 25 0 3 0 335253841 135385088 21317 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246130 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 132212

[startup+6.30136 s]
/proc/loadavg: 0.93 0.98 0.99 3/67 4473
/proc/meminfo: memFree=1376960/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=132344 CPUtime=11.1
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27095 0 0 0 1096 14 0 0 25 0 3 0 335253695 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33086 21347 389 42 0 27338 0
[pid=4470/tid=4472] ppid=4468 vsize=132344 CPUtime=4.82
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3667 0 0 0 480 2 0 0 25 0 3 0 335253841 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4239099 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=132344 CPUtime=4.81
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 2 0 0 0 481 0 0 0 25 0 3 0 335253841 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244744 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.1
Current children cumulated vsize (KiB) 132344

[startup+12.702 s]
/proc/loadavg: 1.09 1.02 1.00 3/67 4473
/proc/meminfo: memFree=1376968/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=132344 CPUtime=23.88
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27095 0 0 0 2374 14 0 0 25 0 3 0 335253695 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33086 21347 389 42 0 27338 0
[pid=4470/tid=4472] ppid=4468 vsize=132344 CPUtime=11.22
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3667 0 0 0 1120 2 0 0 25 0 3 0 335253841 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246425 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=132344 CPUtime=11.19
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 2 0 0 0 1119 0 0 0 25 0 3 0 335253841 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4298324 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 132344

[startup+25.5022 s]
/proc/loadavg: 1.23 1.05 1.01 3/67 4473
/proc/meminfo: memFree=1377032/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=132344 CPUtime=49.42
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27095 0 0 0 4928 14 0 0 25 0 3 0 335253695 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33086 21347 389 42 0 27338 0
[pid=4470/tid=4472] ppid=4468 vsize=132344 CPUtime=24.02
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3667 0 0 0 2400 2 0 0 25 0 3 0 335253841 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246457 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=132344 CPUtime=23.93
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 2 0 0 0 2393 0 0 0 25 0 3 0 335253841 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246045 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.42
Current children cumulated vsize (KiB) 132344

[startup+51.1026 s]
/proc/loadavg: 1.49 1.12 1.03 3/67 4473
/proc/meminfo: memFree=1377096/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=132344 CPUtime=100.49
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27095 0 0 0 10035 14 0 0 25 0 3 0 335253695 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33086 21347 389 42 0 27338 0
[pid=4470/tid=4472] ppid=4468 vsize=132344 CPUtime=49.6
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3667 0 0 0 4958 2 0 0 25 0 3 0 335253841 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246390 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=132344 CPUtime=49.41
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 2 0 0 0 4941 0 0 0 25 0 3 0 335253841 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.49
Current children cumulated vsize (KiB) 132344

[startup+102.307 s]
/proc/loadavg: 1.80 1.27 1.09 3/67 4473
/proc/meminfo: memFree=1377096/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=132344 CPUtime=202.66
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27095 0 0 0 20252 14 0 0 25 0 3 0 335253695 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33086 21347 389 42 0 27338 0
[pid=4470/tid=4472] ppid=4468 vsize=132344 CPUtime=100.79
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3667 0 0 0 10077 2 0 0 25 0 3 0 335253841 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246417 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=132344 CPUtime=100.39
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 2 0 0 0 10039 0 0 0 25 0 3 0 335253841 135520256 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244252 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 202.66
Current children cumulated vsize (KiB) 132344

[startup+162.302 s]
/proc/loadavg: 1.92 1.40 1.14 3/67 4473
/proc/meminfo: memFree=1377032/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=134032 CPUtime=322.38
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27518 0 0 0 32223 15 0 0 25 0 3 0 335253695 137248768 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33508 21347 389 42 0 27760 0
[pid=4470/tid=4472] ppid=4468 vsize=134032 CPUtime=160.77
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3667 0 0 0 16075 2 0 0 25 0 3 0 335253841 137248768 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246417 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=134032 CPUtime=160.13
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 425 0 0 0 16013 0 0 0 25 0 3 0 335253841 137248768 21347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245211 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 322.38
Current children cumulated vsize (KiB) 134032

[startup+222.303 s]
/proc/loadavg: 1.97 1.51 1.19 4/67 4473
/proc/meminfo: memFree=1377096/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=134032 CPUtime=442.09
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27519 0 0 0 44194 15 0 0 25 0 3 0 335253695 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33508 21348 389 42 0 27760 0
[pid=4470/tid=4472] ppid=4468 vsize=134032 CPUtime=220.76
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3668 0 0 0 22074 2 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246496 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=134032 CPUtime=219.86
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 425 0 0 0 21985 1 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297973 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.09
Current children cumulated vsize (KiB) 134032

[startup+282.303 s]
/proc/loadavg: 1.99 1.59 1.24 3/67 4473
/proc/meminfo: memFree=1377096/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=134032 CPUtime=561.81
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27519 0 0 0 56166 15 0 0 25 0 3 0 335253695 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33508 21348 389 42 0 27760 0
[pid=4470/tid=4472] ppid=4468 vsize=134032 CPUtime=280.74
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3668 0 0 0 28072 2 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246390 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=134032 CPUtime=279.6
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 425 0 0 0 27959 1 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244791 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 561.81
Current children cumulated vsize (KiB) 134032

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.29 3/67 4473
/proc/meminfo: memFree=1377032/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=134032 CPUtime=681.55
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27519 0 0 0 68139 16 0 0 25 0 3 0 335253695 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33508 21348 389 42 0 27760 0
[pid=4470/tid=4472] ppid=4468 vsize=134032 CPUtime=340.73
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3668 0 0 0 34071 2 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246473 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=134032 CPUtime=339.34
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 425 0 0 0 33933 1 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244199 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 681.55
Current children cumulated vsize (KiB) 134032

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/67 4473
/proc/meminfo: memFree=1377032/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=134032 CPUtime=801.26
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27519 0 0 0 80110 16 0 0 25 0 3 0 335253695 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33508 21348 389 42 0 27760 0
[pid=4470/tid=4472] ppid=4468 vsize=134032 CPUtime=400.71
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3668 0 0 0 40069 2 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4239096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=134032 CPUtime=399.07
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 425 0 0 0 39906 1 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.26
Current children cumulated vsize (KiB) 134032

[startup+462.303 s]
/proc/loadavg: 1.99 1.77 1.37 3/67 4473
/proc/meminfo: memFree=1377032/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=134032 CPUtime=920.98
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27519 0 0 0 92082 16 0 0 25 0 3 0 335253695 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33508 21348 389 42 0 27760 0
[pid=4470/tid=4472] ppid=4468 vsize=134032 CPUtime=460.7
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3668 0 0 0 46068 2 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246462 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=134032 CPUtime=458.8
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 425 0 0 0 45879 1 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244850 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 920.98
Current children cumulated vsize (KiB) 134032

[startup+522.303 s]
/proc/loadavg: 1.99 1.81 1.40 3/67 4473
/proc/meminfo: memFree=1377032/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=134032 CPUtime=1040.71
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27519 0 0 0 104055 16 0 0 25 0 3 0 335253695 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33508 21348 389 42 0 27760 0
[pid=4470/tid=4472] ppid=4468 vsize=134032 CPUtime=520.68
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3668 0 0 0 52066 2 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246422 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=134032 CPUtime=518.56
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 425 0 0 0 51854 2 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244216 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1040.71
Current children cumulated vsize (KiB) 134032

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 4473
/proc/meminfo: memFree=1377032/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=134032 CPUtime=1160.42
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27519 0 0 0 116026 16 0 0 25 0 3 0 335253695 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33508 21348 389 42 0 27760 0
[pid=4470/tid=4472] ppid=4468 vsize=134032 CPUtime=580.67
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3668 0 0 0 58065 2 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244167 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=134032 CPUtime=578.29
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 425 0 0 0 57827 2 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244964 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1160.42
Current children cumulated vsize (KiB) 134032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.201 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 4473
/proc/meminfo: memFree=1377032/2055920 swapFree=4183424/4192956
[pid=4470] ppid=4468 vsize=134032 CPUtime=1200.13
/proc/4470/stat : 4470 (ornithorynque) S 4468 4470 3456 0 -1 4194304 27519 0 0 0 119997 16 0 0 25 0 3 0 335253695 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/4470/statm: 33508 21348 389 42 0 27760 0
[pid=4470/tid=4472] ppid=4468 vsize=134032 CPUtime=600.57
/proc/4470/task/4472/stat : 4472 (ornithorynque) R 4468 4470 3456 0 -1 4194368 3668 0 0 0 60055 2 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246328 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=4470/tid=4473] ppid=4468 vsize=134032 CPUtime=598.1
/proc/4470/task/4473/stat : 4473 (ornithorynque) R 4468 4470 3456 0 -1 4194368 425 0 0 0 59808 2 0 0 25 0 3 0 335253841 137248768 21348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 134032

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): 602.225
CPU time (s): 1200.17
CPU user time (s): 1199.99
CPU system time (s): 0.181972
CPU usage (%): 199.289
Max. virtual memory (cumulated for all children) (KiB): 134032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.99
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27519
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= 13
involuntary context switches= 10129

runsolver used 0.515921 second user time and 1.73474 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Tue Mar  6 03:49:28 UTC 2007

IDJOB= 329941
IDBENCH= 20551
IDSOLVER= 139
FILE ID= node61/329941-1173152967

PBS_JOBID= 4015215

Free space on /tmp= 66503 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  5e5ff9a8f4e99a8a5a1ebc8850b3b06a

RANDOM SEED= 586038385

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.216
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.216
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:       1461872 kB
Buffers:         32372 kB
Cached:         482428 kB
SwapCached:       3496 kB
Active:         128072 kB
Inactive:       398408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1461872 kB
SwapTotal:     4192956 kB
SwapFree:      4183424 kB
Dirty:           10072 kB
Writeback:           0 kB
Mapped:          17748 kB
Slab:            53724 kB
Committed_AS:   877528 kB
PageTables:       1392 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= 66503 MiB

End job on node61 on Tue Mar  6 03:59:32 UTC 2007