Trace number 329983

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.06 602.635

General information on the benchmark

Nameindustrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf
MD5SUM751bd85ad6f8d39d07f721982719fb9b
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 variables149555
Number of clauses670148
Sum of the clauses size1724814
Maximum clause length20
Minimum clause length1
Number of clauses of size 1903
Number of clauses of size 2522026
Number of clauses of size 373562
Number of clauses of size 430075
Number of clauses of size 513044
Number of clauses of size over 530538

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.02/0.06	c using unsigned int
0.02/0.06	c parsing...
1.69/1.74	c ...done
1.69/1.74	c nbVar=149555 nbClause=670148
1.89/1.97	c nbVar=149555 nbClause=670148
2.28/2.32	c complete search running
2.28/2.32	c local search running
2.46/2.47	c flip 0 nbSat=526437 maxSat=0
2.66/2.57	c flip 10000 nbSat=547283 maxSat=547283
2.87/2.67	c flip 20000 nbSat=568055 maxSat=568055
3.07/2.77	c flip 30000 nbSat=587655 maxSat=587657
3.26/2.87	c flip 40000 nbSat=608068 maxSat=608068
3.46/2.97	c flip 50000 nbSat=623733 maxSat=623749
3.86/3.14	c flip 60000 nbSat=633984 maxSat=633993
4.26/3.31	c flip 70000 nbSat=641910 maxSat=642075
4.66/3.52	c flip 80000 nbSat=652306 maxSat=652347
5.06/3.73	c flip 90000 nbSat=662923 maxSat=663027
5.45/3.97	c flip 100000 nbSat=678002 maxSat=678160
6.05/4.23	c flip 110000 nbSat=694735 maxSat=694892
6.45/4.49	c flip 120000 nbSat=712450 maxSat=712450
7.05/4.79	c flip 130000 nbSat=730611 maxSat=731251
7.65/5.07	c flip 140000 nbSat=749953 maxSat=750305
8.25/5.37	c flip 150000 nbSat=771903 maxSat=772054
9.05/5.71	c flip 160000 nbSat=796569 maxSat=796872
9.65/6.03	c flip 170000 nbSat=819517 maxSat=819918
10.25/6.37	c flip 180000 nbSat=842201 maxSat=842961
11.04/6.75	c flip 190000 nbSat=871161 maxSat=872162
11.84/7.10	c flip 200000 nbSat=904881 maxSat=906480
12.44/7.47	c flip 210000 nbSat=929750 maxSat=930981
13.24/7.85	c flip 220000 nbSat=957558 maxSat=960221
14.03/8.24	c flip 230000 nbSat=999043 maxSat=1001372
14.83/8.63	c flip 240000 nbSat=1042645 maxSat=1043890
15.64/9.02	c flip 250000 nbSat=1065183 maxSat=1068022
16.44/9.41	c flip 260000 nbSat=1097317 maxSat=1099457
17.24/9.84	c flip 270000 nbSat=1144697 maxSat=1146740
18.03/10.26	c flip 280000 nbSat=1200995 maxSat=1201928
18.83/10.69	c flip 290000 nbSat=1224476 maxSat=1232004
19.83/11.13	c flip 300000 nbSat=1284550 maxSat=1287779
20.62/11.59	c flip 310000 nbSat=1337335 maxSat=1345826
21.62/12.10	c flip 320000 nbSat=1409613 maxSat=1415984
22.61/12.59	c flip 330000 nbSat=1460908 maxSat=1468210
23.61/13.07	c flip 340000 nbSat=1514999 maxSat=1532471
24.61/13.57	c flip 350000 nbSat=1601498 maxSat=1601596
25.61/14.10	c flip 360000 nbSat=1677245 maxSat=1691749
26.80/14.65	c flip 370000 nbSat=1741940 maxSat=1754323
27.80/15.18	c flip 380000 nbSat=1826674 maxSat=1837063
29.00/15.73	c flip 390000 nbSat=1872956 maxSat=1884570
30.00/16.28	c flip 400000 nbSat=1998019 maxSat=2002993
31.19/16.84	c flip 410000 nbSat=2046077 maxSat=2060455
32.19/17.39	c flip 420000 nbSat=2158792 maxSat=2165405
33.39/17.96	c flip 430000 nbSat=2256003 maxSat=2256071
34.59/18.54	c flip 440000 nbSat=2380004 maxSat=2380023
35.78/19.10	c flip 450000 nbSat=2430911 maxSat=2448502
36.78/19.66	c flip 460000 nbSat=2501472 maxSat=2525916
37.98/20.24	c flip 470000 nbSat=2586292 maxSat=2586292
39.18/20.82	c flip 480000 nbSat=2734762 maxSat=2753734
40.37/21.40	c flip 490000 nbSat=2789049 maxSat=2799312
41.37/21.99	c flip 500000 nbSat=2878758 maxSat=2896542
42.56/22.57	c flip 510000 nbSat=3003660 maxSat=3015820
43.77/23.18	c flip 520000 nbSat=3029989 maxSat=3062052
44.96/23.77	c flip 530000 nbSat=3124858 maxSat=3125451
46.16/24.37	c flip 540000 nbSat=3253191 maxSat=3266953
47.35/24.96	c flip 550000 nbSat=3368123 maxSat=3369542
48.55/25.56	c flip 560000 nbSat=3337740 maxSat=3385196
49.75/26.17	c flip 570000 nbSat=3536944 maxSat=3540414
50.95/26.78	c flip 580000 nbSat=3581176 maxSat=3612642
52.15/27.39	c flip 590000 nbSat=3634614 maxSat=3662126
53.34/27.99	c flip 600000 nbSat=3778224 maxSat=3796284
54.55/28.59	c flip 610000 nbSat=3828673 maxSat=3851165
55.74/29.18	c flip 620000 nbSat=3886092 maxSat=3914041
56.94/29.78	c flip 630000 nbSat=4032985 maxSat=4044109
58.13/30.37	c flip 640000 nbSat=4172878 maxSat=4188191
59.32/30.98	c flip 650000 nbSat=4190383 maxSat=4219416
60.72/31.61	c flip 660000 nbSat=4241570 maxSat=4241570
61.92/32.24	c flip 670000 nbSat=4369784 maxSat=4404381
63.12/32.85	c flip 680000 nbSat=4522097 maxSat=4522113
64.32/33.47	c flip 690000 nbSat=4607973 maxSat=4652912
65.52/34.09	c flip 700000 nbSat=4699255 maxSat=4704592
66.90/34.72	c flip 710000 nbSat=4724421 maxSat=4739842
68.10/35.34	c flip 720000 nbSat=4783504 maxSat=4818555
69.30/35.95	c flip 730000 nbSat=4943462 maxSat=4963176
70.49/36.57	c flip 740000 nbSat=4988009 maxSat=5038710
71.69/37.19	c flip 750000 nbSat=5026037 maxSat=5136459
73.09/37.81	c flip 760000 nbSat=5089239 maxSat=5136459
74.29/38.42	c flip 770000 nbSat=5185934 maxSat=5245659
75.48/39.03	c flip 780000 nbSat=5388028 maxSat=5396045
76.68/39.64	c flip 790000 nbSat=5401874 maxSat=5490627
77.88/40.23	c flip 800000 nbSat=5393896 maxSat=5490627
79.07/40.84	c flip 810000 nbSat=5436003 maxSat=5528729
80.27/41.44	c flip 820000 nbSat=5584943 maxSat=5610802
81.47/42.05	c flip 830000 nbSat=5565427 maxSat=5688519
82.67/42.66	c flip 840000 nbSat=5656717 maxSat=5697868
83.86/43.26	c flip 850000 nbSat=5778814 maxSat=5830320
85.06/43.87	c flip 860000 nbSat=5973565 maxSat=5990572
86.26/44.49	c flip 870000 nbSat=5994693 maxSat=6034283
87.46/45.09	c flip 880000 nbSat=5948379 maxSat=6065997
88.85/45.71	c flip 890000 nbSat=6085949 maxSat=6140170
90.04/46.35	c flip 900000 nbSat=6207749 maxSat=6241375
91.24/46.96	c flip 910000 nbSat=6189288 maxSat=6328616
92.43/47.59	c flip 920000 nbSat=6212544 maxSat=6328616
93.83/48.20	c flip 930000 nbSat=6324105 maxSat=6372301
95.03/48.82	c flip 940000 nbSat=6497600 maxSat=6504780
96.23/49.43	c flip 950000 nbSat=6498936 maxSat=6589069
97.42/50.05	c flip 960000 nbSat=6666842 maxSat=6676661
98.63/50.67	c flip 970000 nbSat=6738464 maxSat=6821880
99.82/51.27	c flip 980000 nbSat=6874009 maxSat=6966566
101.01/51.88	c flip 990000 nbSat=6872648 maxSat=6987235
102.21/52.49	c flip 1000000 nbSat=7061820 maxSat=7099718
103.61/53.11	c flip 1010000 nbSat=6961143 maxSat=7114933
104.81/53.73	c flip 1020000 nbSat=6997360 maxSat=7137189
106.01/54.34	c flip 1030000 nbSat=7122307 maxSat=7181645
107.21/54.93	c flip 1040000 nbSat=7338004 maxSat=7366840
108.40/55.53	c flip 1050000 nbSat=7245594 maxSat=7366840
109.60/56.13	c flip 1060000 nbSat=7350998 maxSat=7400955
110.78/56.75	c flip 1070000 nbSat=7418216 maxSat=7475918
111.98/57.37	c flip 1080000 nbSat=7665700 maxSat=7731184
113.18/57.97	c flip 1090000 nbSat=7622541 maxSat=7731184
114.37/58.59	c flip 1100000 nbSat=7625130 maxSat=7733841
115.77/59.21	c flip 1110000 nbSat=7465901 maxSat=7733841
116.97/59.82	c flip 1120000 nbSat=7732383 maxSat=7734174
118.17/60.44	c flip 1130000 nbSat=7828517 maxSat=7914413
119.36/61.05	c flip 1140000 nbSat=7894970 maxSat=7935388
120.57/61.65	c flip 1150000 nbSat=7854369 maxSat=7944067
121.76/62.24	c flip 1160000 nbSat=8078783 maxSat=8099926
122.96/62.84	c flip 1170000 nbSat=8082183 maxSat=8113245
124.16/63.45	c flip 1180000 nbSat=8310056 maxSat=8350819
125.35/64.06	c flip 1190000 nbSat=8099330 maxSat=8351570
126.55/64.66	c flip 1200000 nbSat=8363189 maxSat=8415388
127.75/65.27	c flip 1210000 nbSat=8379285 maxSat=8415388
128.95/65.87	c flip 1220000 nbSat=8574261 maxSat=8664851
130.15/66.49	c flip 1230000 nbSat=8422172 maxSat=8664851
131.35/67.07	c flip 1240000 nbSat=8371229 maxSat=8664851
132.54/67.68	c flip 1250000 nbSat=8646483 maxSat=8702710
133.75/68.28	c flip 1260000 nbSat=8688756 maxSat=8891198
134.94/68.88	c flip 1270000 nbSat=8684756 maxSat=8891198
136.14/69.50	c flip 1280000 nbSat=8704021 maxSat=8891198
137.54/70.11	c flip 1290000 nbSat=8679657 maxSat=8891198
138.73/70.72	c flip 1300000 nbSat=8774541 maxSat=8891198
139.73/71.30	c flip 1310000 nbSat=8817386 maxSat=8897156
140.93/71.90	c flip 1320000 nbSat=8858550 maxSat=8950945
142.33/72.52	c flip 1330000 nbSat=8932346 maxSat=9040271
143.52/73.13	c flip 1340000 nbSat=8931484 maxSat=9040271
144.73/73.74	c flip 1350000 nbSat=9009918 maxSat=9047613
145.92/74.34	c flip 1360000 nbSat=9135223 maxSat=9213199
147.11/74.93	c flip 1370000 nbSat=9133209 maxSat=9213199
148.31/75.51	c flip 1380000 nbSat=9137558 maxSat=9213199
149.51/76.10	c flip 1390000 nbSat=9001078 maxSat=9224492
150.51/76.70	c flip 1400000 nbSat=8988392 maxSat=9224492
151.70/77.29	c flip 1410000 nbSat=9181073 maxSat=9274710
152.90/77.88	c flip 1420000 nbSat=9128790 maxSat=9280087
154.10/78.47	c flip 1430000 nbSat=9197301 maxSat=9345431
155.30/79.04	c flip 1440000 nbSat=9364081 maxSat=9481594
156.50/79.63	c flip 1450000 nbSat=9617602 maxSat=9627856
157.70/80.23	c flip 1460000 nbSat=9578646 maxSat=9672369
158.89/80.82	c flip 1470000 nbSat=9577979 maxSat=9672369
160.09/81.42	c flip 1480000 nbSat=9683962 maxSat=9895907
161.28/82.01	c flip 1490000 nbSat=9952124 maxSat=10148212
162.29/82.59	c flip 1500000 nbSat=9927869 maxSat=10148212
163.48/83.18	c flip 1510000 nbSat=9843661 maxSat=10148212
164.67/83.79	c flip 1520000 nbSat=10011296 maxSat=10148212
165.87/84.37	c flip 1530000 nbSat=10023287 maxSat=10148212
167.07/84.96	c flip 1540000 nbSat=10075790 maxSat=10219512
168.27/85.54	c flip 1550000 nbSat=10112814 maxSat=10219512
169.47/86.12	c flip 1560000 nbSat=10268696 maxSat=10436956
170.67/86.71	c flip 1570000 nbSat=10448333 maxSat=10514263
171.86/87.31	c flip 1580000 nbSat=10170406 maxSat=10514263
173.07/87.91	c flip 1590000 nbSat=10205491 maxSat=10514263
174.26/88.51	c flip 1600000 nbSat=10227066 maxSat=10514263
175.46/89.10	c flip 1610000 nbSat=10274403 maxSat=10514263
176.45/89.68	c flip 1620000 nbSat=10477353 maxSat=10544285
177.65/90.28	c flip 1630000 nbSat=10366257 maxSat=10544285
178.84/90.87	c flip 1640000 nbSat=10600043 maxSat=10681214
180.04/91.46	c flip 1650000 nbSat=10298300 maxSat=10755678
181.24/92.05	c flip 1660000 nbSat=10378945 maxSat=10755678
182.43/92.64	c flip 1670000 nbSat=10465088 maxSat=10755678
183.63/93.24	c flip 1680000 nbSat=10443611 maxSat=10755678
184.82/93.84	c flip 1690000 nbSat=10770323 maxSat=10831857
186.02/94.44	c flip 1700000 nbSat=10637479 maxSat=10874049
187.22/95.05	c flip 1710000 nbSat=10726215 maxSat=10874049
188.42/95.64	c flip 1720000 nbSat=11013318 maxSat=11213325
189.61/96.23	c flip 1730000 nbSat=10861254 maxSat=11213325
190.82/96.83	c flip 1740000 nbSat=11061430 maxSat=11213325
192.01/97.42	c flip 1750000 nbSat=10835065 maxSat=11213325
193.21/98.03	c flip 1760000 nbSat=11243534 maxSat=11396189
194.40/98.61	c flip 1770000 nbSat=11083407 maxSat=11396189
195.60/99.21	c flip 1780000 nbSat=11296813 maxSat=11396189
196.80/99.82	c flip 1790000 nbSat=11129630 maxSat=11396189
197.99/100.43	c flip 1800000 nbSat=11453191 maxSat=11560970
199.19/101.03	c flip 1810000 nbSat=11237834 maxSat=11560970
200.38/101.62	c flip 1820000 nbSat=11434417 maxSat=11560970
201.58/102.22	c flip 1830000 nbSat=11446104 maxSat=11636180
202.77/102.83	c flip 1840000 nbSat=11481385 maxSat=11659344
203.98/103.43	c flip 1850000 nbSat=11471075 maxSat=11694416
205.17/104.02	c flip 1860000 nbSat=11797062 maxSat=11832000
206.37/104.61	c flip 1870000 nbSat=11801119 maxSat=11900545
207.57/105.21	c flip 1880000 nbSat=11840063 maxSat=11957176
208.76/105.82	c flip 1890000 nbSat=11740593 maxSat=12022691
209.96/106.42	c flip 1900000 nbSat=11772414 maxSat=12022691
211.16/107.01	c flip 1910000 nbSat=11982650 maxSat=12024049
212.15/107.60	c flip 1920000 nbSat=12017418 maxSat=12103526
213.35/108.19	c flip 1930000 nbSat=12241204 maxSat=12241204
214.55/108.79	c flip 1940000 nbSat=11981938 maxSat=12241489
215.75/109.38	c flip 1950000 nbSat=12210374 maxSat=12286389
216.95/109.99	c flip 1960000 nbSat=12346777 maxSat=12431497
218.34/110.60	c flip 1970000 nbSat=12331147 maxSat=12570615
219.54/111.20	c flip 1980000 nbSat=12640573 maxSat=12700225
220.74/111.81	c flip 1990000 nbSat=12759032 maxSat=12850509
221.73/112.39	c flip 2000000 nbSat=12650415 maxSat=12850509
222.93/112.99	c flip 2010000 nbSat=12650920 maxSat=12850509
224.13/113.59	c flip 2020000 nbSat=13044523 maxSat=13179303
225.33/114.18	c flip 2030000 nbSat=12700828 maxSat=13179303
226.52/114.76	c flip 2040000 nbSat=12834505 maxSat=13179303
227.72/115.35	c flip 2050000 nbSat=12957626 maxSat=13179303
228.92/115.94	c flip 2060000 nbSat=12795856 maxSat=13179303
230.12/116.53	c flip 2070000 nbSat=12945807 maxSat=13179303
231.31/117.12	c flip 2080000 nbSat=12841899 maxSat=13179303
232.31/117.70	c flip 2090000 nbSat=13050703 maxSat=13179303
233.50/118.28	c flip 2100000 nbSat=13109068 maxSat=13179303
234.71/118.88	c flip 2110000 nbSat=13239171 maxSat=13305367
235.90/119.46	c flip 2120000 nbSat=13106870 maxSat=13469036
237.09/120.04	c flip 2130000 nbSat=13308472 maxSat=13469036
238.29/120.64	c flip 2140000 nbSat=13115082 maxSat=13469036
239.49/121.25	c flip 2150000 nbSat=13264570 maxSat=13469036
240.69/121.85	c flip 2160000 nbSat=13326937 maxSat=13469036
241.89/122.43	c flip 2170000 nbSat=13392554 maxSat=13482926
243.09/123.03	c flip 2180000 nbSat=13662115 maxSat=13688655
244.28/123.65	c flip 2190000 nbSat=13778457 maxSat=13850417
245.49/124.25	c flip 2200000 nbSat=13534432 maxSat=13850417
246.68/124.83	c flip 2210000 nbSat=13635076 maxSat=13850417
247.88/125.44	c flip 2220000 nbSat=13704406 maxSat=13850417
249.07/126.04	c flip 2230000 nbSat=13603177 maxSat=13850417
250.27/126.65	c flip 2240000 nbSat=13537286 maxSat=13901956
251.47/127.24	c flip 2250000 nbSat=13850880 maxSat=13901956
252.66/127.84	c flip 2260000 nbSat=13719649 maxSat=13936991
253.86/128.44	c flip 2270000 nbSat=13653618 maxSat=13936991
255.06/129.04	c flip 2280000 nbSat=13718080 maxSat=13936991
256.26/129.63	c flip 2290000 nbSat=13762773 maxSat=14059258
257.45/130.22	c flip 2300000 nbSat=13899374 maxSat=14059258
258.66/130.83	c flip 2310000 nbSat=13812057 maxSat=14112685
259.85/131.42	c flip 2320000 nbSat=13585159 maxSat=14112685
261.05/132.04	c flip 2330000 nbSat=13714185 maxSat=14112685
262.24/132.62	c flip 2340000 nbSat=13654808 maxSat=14112685
263.44/133.23	c flip 2350000 nbSat=13989908 maxSat=14112685
264.64/133.83	c flip 2360000 nbSat=13907601 maxSat=14117317
265.83/134.44	c flip 2370000 nbSat=14072130 maxSat=14338859
267.03/135.02	c flip 2380000 nbSat=14006830 maxSat=14338859
268.23/135.64	c flip 2390000 nbSat=13865117 maxSat=14338859
269.43/136.25	c flip 2400000 nbSat=14276727 maxSat=14338859
270.62/136.85	c flip 2410000 nbSat=14280640 maxSat=14349899
271.83/137.44	c flip 2420000 nbSat=14461955 maxSat=14484862
273.02/138.04	c flip 2430000 nbSat=14448081 maxSat=14555881
274.22/138.64	c flip 2440000 nbSat=14333242 maxSat=14736086
275.41/139.26	c flip 2450000 nbSat=14350929 maxSat=14736086
276.60/139.85	c flip 2460000 nbSat=14337590 maxSat=14736086
277.80/140.44	c flip 2470000 nbSat=14780996 maxSat=14963652
279.00/141.04	c flip 2480000 nbSat=14564566 maxSat=14963652
280.20/141.64	c flip 2490000 nbSat=14372891 maxSat=14963652
281.39/142.23	c flip 2500000 nbSat=14256690 maxSat=14963652
282.59/142.83	c flip 2510000 nbSat=14065002 maxSat=14963652
283.78/143.43	c flip 2520000 nbSat=14404854 maxSat=14963652
284.99/144.04	c flip 2530000 nbSat=14538418 maxSat=14963652
286.18/144.61	c flip 2540000 nbSat=14905055 maxSat=15047020
287.38/145.21	c flip 2550000 nbSat=14804260 maxSat=15093130
288.58/145.82	c flip 2560000 nbSat=14807619 maxSat=15093130
289.76/146.44	c flip 2570000 nbSat=15147597 maxSat=15282087
290.96/147.03	c flip 2580000 nbSat=14820893 maxSat=15282087
292.16/147.64	c flip 2590000 nbSat=15253652 maxSat=15357768
293.36/148.24	c flip 2600000 nbSat=15323035 maxSat=15444305
294.55/148.84	c flip 2610000 nbSat=15276673 maxSat=15444305
295.75/149.43	c flip 2620000 nbSat=15278423 maxSat=15456876
296.95/150.04	c flip 2630000 nbSat=15458983 maxSat=15595132
298.15/150.65	c flip 2640000 nbSat=15476122 maxSat=15710333
299.34/151.23	c flip 2650000 nbSat=15467065 maxSat=15710333
300.55/151.83	c flip 2660000 nbSat=15625839 maxSat=15736335
301.74/152.43	c flip 2670000 nbSat=15807862 maxSat=15964935
302.93/153.04	c flip 2680000 nbSat=15833311 maxSat=16123973
304.13/153.63	c flip 2690000 nbSat=15801039 maxSat=16123973
305.33/154.25	c flip 2700000 nbSat=15821487 maxSat=16123973
306.53/154.86	c flip 2710000 nbSat=15656232 maxSat=16123973
307.72/155.46	c flip 2720000 nbSat=15388629 maxSat=16123973
308.92/156.06	c flip 2730000 nbSat=16038112 maxSat=16208876
310.12/156.67	c flip 2740000 nbSat=15818837 maxSat=16208876
311.33/157.27	c flip 2750000 nbSat=15428659 maxSat=16208876
312.52/157.85	c flip 2760000 nbSat=15712320 maxSat=16208876
313.72/158.46	c flip 2770000 nbSat=16026737 maxSat=16208876
314.91/159.07	c flip 2780000 nbSat=16028365 maxSat=16208876
316.11/159.70	c flip 2790000 nbSat=15968982 maxSat=16208876
317.31/160.30	c flip 2800000 nbSat=16001980 maxSat=16208876
318.50/160.89	c flip 2810000 nbSat=16341614 maxSat=16497657
319.90/161.50	c flip 2820000 nbSat=16127342 maxSat=16543993
320.90/162.09	c flip 2830000 nbSat=15820886 maxSat=16543993
322.10/162.67	c flip 2840000 nbSat=15640993 maxSat=16543993
323.29/163.28	c flip 2850000 nbSat=16116135 maxSat=16543993
324.49/163.89	c flip 2860000 nbSat=16068596 maxSat=16543993
325.69/164.48	c flip 2870000 nbSat=16134430 maxSat=16543993
326.89/165.08	c flip 2880000 nbSat=16254330 maxSat=16543993
328.08/165.68	c flip 2890000 nbSat=16378205 maxSat=16543993
329.28/166.29	c flip 2900000 nbSat=16436553 maxSat=16671920
330.48/166.87	c flip 2910000 nbSat=16593326 maxSat=16919684
331.67/167.47	c flip 2920000 nbSat=16328430 maxSat=16919684
332.87/168.08	c flip 2930000 nbSat=16296318 maxSat=16919684
334.07/168.69	c flip 2940000 nbSat=16662898 maxSat=16919684
335.27/169.28	c flip 2950000 nbSat=16647270 maxSat=16919684
336.66/169.90	c flip 2960000 nbSat=16835024 maxSat=17035423
337.86/170.50	c flip 2970000 nbSat=16868178 maxSat=17146049
338.86/171.09	c flip 2980000 nbSat=17254114 maxSat=17267957
340.06/171.69	c flip 2990000 nbSat=16863771 maxSat=17469287
340.66/171.91	c flip 0 nbSat=528581 maxSat=17469287
340.86/172.00	c flip 10000 nbSat=548875 maxSat=17469287
341.06/172.10	c flip 20000 nbSat=568322 maxSat=17469287
341.06/172.19	c flip 30000 nbSat=589308 maxSat=17469287
341.26/172.29	c flip 40000 nbSat=609716 maxSat=17469287
341.46/172.39	c flip 50000 nbSat=624423 maxSat=17469287
341.86/172.56	c flip 60000 nbSat=636021 maxSat=17469287
342.26/172.73	c flip 70000 nbSat=645902 maxSat=17469287
342.65/172.95	c flip 80000 nbSat=657342 maxSat=17469287
343.05/173.16	c flip 90000 nbSat=669585 maxSat=17469287
343.65/173.40	c flip 100000 nbSat=688460 maxSat=17469287
344.05/173.64	c flip 110000 nbSat=704914 maxSat=17469287
344.46/173.90	c flip 120000 nbSat=722351 maxSat=17469287
345.05/174.17	c flip 130000 nbSat=741125 maxSat=17469287
345.65/174.46	c flip 140000 nbSat=763289 maxSat=17469287
346.25/174.75	c flip 150000 nbSat=784041 maxSat=17469287
346.85/175.07	c flip 160000 nbSat=808771 maxSat=17469287
347.44/175.38	c flip 170000 nbSat=830327 maxSat=17469287
348.04/175.68	c flip 180000 nbSat=852844 maxSat=17469287
348.85/176.03	c flip 190000 nbSat=884318 maxSat=17469287
349.44/176.37	c flip 200000 nbSat=909162 maxSat=17469287
350.24/176.71	c flip 210000 nbSat=941670 maxSat=17469287
350.84/177.05	c flip 220000 nbSat=967183 maxSat=17469287
351.63/177.44	c flip 230000 nbSat=997818 maxSat=17469287
352.43/177.82	c flip 240000 nbSat=1038510 maxSat=17469287
353.24/178.20	c flip 250000 nbSat=1069490 maxSat=17469287
354.03/178.60	c flip 260000 nbSat=1109766 maxSat=17469287
354.83/179.04	c flip 270000 nbSat=1177672 maxSat=17469287
355.62/179.48	c flip 280000 nbSat=1216717 maxSat=17469287
356.62/179.91	c flip 290000 nbSat=1278701 maxSat=17469287
357.43/180.36	c flip 300000 nbSat=1324364 maxSat=17469287
358.42/180.82	c flip 310000 nbSat=1368653 maxSat=17469287
359.42/181.32	c flip 320000 nbSat=1459716 maxSat=17469287
360.42/181.81	c flip 330000 nbSat=1523468 maxSat=17469287
361.22/182.29	c flip 340000 nbSat=1586103 maxSat=17469287
362.41/182.81	c flip 350000 nbSat=1674590 maxSat=17469287
363.41/183.32	c flip 360000 nbSat=1731757 maxSat=17469287
364.41/183.87	c flip 370000 nbSat=1831930 maxSat=17469287
365.60/184.42	c flip 380000 nbSat=1912160 maxSat=17469287
366.59/184.97	c flip 390000 nbSat=2014140 maxSat=17469287
367.79/185.51	c flip 400000 nbSat=2112185 maxSat=17469287
368.79/186.06	c flip 410000 nbSat=2173615 maxSat=17469287
369.99/186.62	c flip 420000 nbSat=2281624 maxSat=17469287
371.18/187.21	c flip 430000 nbSat=2383399 maxSat=17469287
372.18/187.78	c flip 440000 nbSat=2497579 maxSat=17469287
373.38/188.34	c flip 450000 nbSat=2574041 maxSat=17469287
374.58/188.90	c flip 460000 nbSat=2644366 maxSat=17469287
375.57/189.47	c flip 470000 nbSat=2712412 maxSat=17469287
376.77/190.05	c flip 480000 nbSat=2811287 maxSat=17469287
377.97/190.63	c flip 490000 nbSat=2929762 maxSat=17469287
379.17/191.21	c flip 500000 nbSat=2982797 maxSat=17469287
380.35/191.83	c flip 510000 nbSat=3007103 maxSat=17469287
381.56/192.43	c flip 520000 nbSat=3167894 maxSat=17469287
382.75/193.02	c flip 530000 nbSat=3300614 maxSat=17469287
383.95/193.61	c flip 540000 nbSat=3380500 maxSat=17469287
384.94/194.19	c flip 550000 nbSat=3475092 maxSat=17469287
386.15/194.79	c flip 560000 nbSat=3630060 maxSat=17469287
387.34/195.38	c flip 570000 nbSat=3700929 maxSat=17469287
388.53/195.98	c flip 580000 nbSat=3764965 maxSat=17469287
389.73/196.58	c flip 590000 nbSat=3870870 maxSat=17469287
391.13/197.20	c flip 600000 nbSat=3930396 maxSat=17469287
392.33/197.80	c flip 610000 nbSat=4012414 maxSat=17469287
393.52/198.40	c flip 620000 nbSat=4090875 maxSat=17469287
394.73/199.02	c flip 630000 nbSat=4172964 maxSat=17469287
395.92/199.63	c flip 640000 nbSat=4326789 maxSat=17469287
397.12/200.24	c flip 650000 nbSat=4437725 maxSat=17469287
398.31/200.84	c flip 660000 nbSat=4523475 maxSat=17469287
399.51/201.46	c flip 670000 nbSat=4645767 maxSat=17469287
400.71/202.07	c flip 680000 nbSat=4728152 maxSat=17469287
401.90/202.70	c flip 690000 nbSat=4762634 maxSat=17469287
403.30/203.31	c flip 700000 nbSat=4961604 maxSat=17469287
404.50/203.94	c flip 710000 nbSat=4964011 maxSat=17469287
405.70/204.55	c flip 720000 nbSat=5044205 maxSat=17469287
406.89/205.15	c flip 730000 nbSat=5166683 maxSat=17469287
408.09/205.77	c flip 740000 nbSat=5198694 maxSat=17469287
409.29/206.37	c flip 750000 nbSat=5385601 maxSat=17469287
410.48/206.98	c flip 760000 nbSat=5422656 maxSat=17469287
411.68/207.59	c flip 770000 nbSat=5434416 maxSat=17469287
413.08/208.21	c flip 780000 nbSat=5538542 maxSat=17469287
414.28/208.81	c flip 790000 nbSat=5584669 maxSat=17469287
415.47/209.43	c flip 800000 nbSat=5539379 maxSat=17469287
416.68/210.05	c flip 810000 nbSat=5598760 maxSat=17469287
417.87/210.66	c flip 820000 nbSat=5813396 maxSat=17469287
419.07/211.28	c flip 830000 nbSat=5840527 maxSat=17469287
420.26/211.89	c flip 840000 nbSat=5920664 maxSat=17469287
421.66/212.51	c flip 850000 nbSat=5967542 maxSat=17469287
422.86/213.12	c flip 860000 nbSat=6136088 maxSat=17469287
424.05/213.74	c flip 870000 nbSat=6073009 maxSat=17469287
425.25/214.36	c flip 880000 nbSat=6153975 maxSat=17469287
426.45/214.98	c flip 890000 nbSat=6183080 maxSat=17469287
427.65/215.60	c flip 900000 nbSat=6283177 maxSat=17469287
429.04/216.21	c flip 910000 nbSat=6324406 maxSat=17469287
430.24/216.83	c flip 920000 nbSat=6445559 maxSat=17469287
431.44/217.44	c flip 930000 nbSat=6559247 maxSat=17469287
432.64/218.06	c flip 940000 nbSat=6593729 maxSat=17469287
433.83/218.67	c flip 950000 nbSat=6777550 maxSat=17469287
435.03/219.27	c flip 960000 nbSat=6718110 maxSat=17469287
436.23/219.88	c flip 970000 nbSat=6850590 maxSat=17469287
437.43/220.50	c flip 980000 nbSat=6923373 maxSat=17469287
438.83/221.11	c flip 990000 nbSat=6941157 maxSat=17469287
440.02/221.73	c flip 1000000 nbSat=7114340 maxSat=17469287
441.22/222.36	c flip 1010000 nbSat=7106797 maxSat=17469287
442.41/222.99	c flip 1020000 nbSat=7082980 maxSat=17469287
443.81/223.61	c flip 1030000 nbSat=7209867 maxSat=17469287
445.01/224.21	c flip 1040000 nbSat=7264783 maxSat=17469287
446.21/224.82	c flip 1050000 nbSat=7390074 maxSat=17469287
447.41/225.45	c flip 1060000 nbSat=7573708 maxSat=17469287
448.60/226.07	c flip 1070000 nbSat=7458315 maxSat=17469287
449.81/226.67	c flip 1080000 nbSat=7592193 maxSat=17469287
451.20/227.30	c flip 1090000 nbSat=7701368 maxSat=17469287
452.39/227.91	c flip 1100000 nbSat=7738578 maxSat=17469287
453.59/228.53	c flip 1110000 nbSat=7776581 maxSat=17469287
454.79/229.14	c flip 1120000 nbSat=7920777 maxSat=17469287
455.98/229.76	c flip 1130000 nbSat=8076134 maxSat=17469287
457.18/230.38	c flip 1140000 nbSat=7955976 maxSat=17469287
458.38/231.00	c flip 1150000 nbSat=7954707 maxSat=17469287
459.77/231.60	c flip 1160000 nbSat=8161383 maxSat=17469287
460.96/232.21	c flip 1170000 nbSat=8094650 maxSat=17469287
462.16/232.82	c flip 1180000 nbSat=8360714 maxSat=17469287
463.36/233.42	c flip 1190000 nbSat=8225742 maxSat=17469287
464.56/234.04	c flip 1200000 nbSat=8201494 maxSat=17469287
465.76/234.65	c flip 1210000 nbSat=8315058 maxSat=17469287
466.96/235.26	c flip 1220000 nbSat=8414571 maxSat=17469287
468.16/235.88	c flip 1230000 nbSat=8652296 maxSat=17469287
469.35/236.50	c flip 1240000 nbSat=8710147 maxSat=17469287
470.74/237.10	c flip 1250000 nbSat=8754632 maxSat=17469287
471.94/237.71	c flip 1260000 nbSat=8980993 maxSat=17469287
473.14/238.31	c flip 1270000 nbSat=8961035 maxSat=17469287
474.33/238.91	c flip 1280000 nbSat=9156391 maxSat=17469287
475.53/239.51	c flip 1290000 nbSat=9018831 maxSat=17469287
476.73/240.13	c flip 1300000 nbSat=9180498 maxSat=17469287
477.93/240.73	c flip 1310000 nbSat=9354732 maxSat=17469287
479.12/241.35	c flip 1320000 nbSat=9421142 maxSat=17469287
480.33/241.94	c flip 1330000 nbSat=9380658 maxSat=17469287
481.52/242.55	c flip 1340000 nbSat=9517616 maxSat=17469287
482.72/243.13	c flip 1350000 nbSat=9555044 maxSat=17469287
483.91/243.72	c flip 1360000 nbSat=9540443 maxSat=17469287
485.11/244.32	c flip 1370000 nbSat=9523570 maxSat=17469287
486.31/244.93	c flip 1380000 nbSat=9531244 maxSat=17469287
487.50/245.53	c flip 1390000 nbSat=9627501 maxSat=17469287
488.70/246.12	c flip 1400000 nbSat=9772783 maxSat=17469287
489.90/246.72	c flip 1410000 nbSat=9958096 maxSat=17469287
491.10/247.32	c flip 1420000 nbSat=9977620 maxSat=17469287
492.29/247.92	c flip 1430000 nbSat=10042024 maxSat=17469287
493.50/248.52	c flip 1440000 nbSat=10148170 maxSat=17469287
494.69/249.11	c flip 1450000 nbSat=10158548 maxSat=17469287
495.89/249.71	c flip 1460000 nbSat=10163864 maxSat=17469287
497.08/250.30	c flip 1470000 nbSat=10130785 maxSat=17469287
498.09/250.88	c flip 1480000 nbSat=10126989 maxSat=17469287
499.28/251.47	c flip 1490000 nbSat=10148148 maxSat=17469287
500.48/252.07	c flip 1500000 nbSat=10179498 maxSat=17469287
501.67/252.66	c flip 1510000 nbSat=10354460 maxSat=17469287
502.87/253.26	c flip 1520000 nbSat=10463723 maxSat=17469287
504.07/253.86	c flip 1530000 nbSat=10467257 maxSat=17469287
505.27/254.45	c flip 1540000 nbSat=10556031 maxSat=17469287
506.47/255.03	c flip 1550000 nbSat=10597583 maxSat=17469287
507.66/255.64	c flip 1560000 nbSat=10818893 maxSat=17469287
508.86/256.22	c flip 1570000 nbSat=10736133 maxSat=17469287
510.06/256.81	c flip 1580000 nbSat=10909030 maxSat=17469287
511.06/257.40	c flip 1590000 nbSat=11034406 maxSat=17469287
512.25/257.98	c flip 1600000 nbSat=10895777 maxSat=17469287
513.46/258.58	c flip 1610000 nbSat=10752948 maxSat=17469287
514.65/259.18	c flip 1620000 nbSat=11130922 maxSat=17469287
515.84/259.77	c flip 1630000 nbSat=10975218 maxSat=17469287
517.04/260.34	c flip 1640000 nbSat=11133331 maxSat=17469287
518.24/260.93	c flip 1650000 nbSat=11006910 maxSat=17469287
519.44/261.52	c flip 1660000 nbSat=11297295 maxSat=17469287
520.63/262.11	c flip 1670000 nbSat=11429120 maxSat=17469287
521.63/262.69	c flip 1680000 nbSat=11609289 maxSat=17469287
522.83/263.28	c flip 1690000 nbSat=11590690 maxSat=17469287
524.03/263.87	c flip 1700000 nbSat=11512899 maxSat=17469287
525.22/264.45	c flip 1710000 nbSat=11618395 maxSat=17469287
526.43/265.06	c flip 1720000 nbSat=11754090 maxSat=17469287
527.62/265.65	c flip 1730000 nbSat=11610801 maxSat=17469287
528.82/266.23	c flip 1740000 nbSat=11583697 maxSat=17469287
530.01/266.82	c flip 1750000 nbSat=11649896 maxSat=17469287
531.21/267.41	c flip 1760000 nbSat=11818026 maxSat=17469287
532.41/268.01	c flip 1770000 nbSat=11763757 maxSat=17469287
533.40/268.59	c flip 1780000 nbSat=11741767 maxSat=17469287
534.60/269.18	c flip 1790000 nbSat=11647953 maxSat=17469287
535.80/269.76	c flip 1800000 nbSat=11837423 maxSat=17469287
537.00/270.34	c flip 1810000 nbSat=11963310 maxSat=17469287
538.19/270.95	c flip 1820000 nbSat=11919167 maxSat=17469287
539.39/271.54	c flip 1830000 nbSat=12030062 maxSat=17469287
540.59/272.12	c flip 1840000 nbSat=11842028 maxSat=17469287
541.79/272.72	c flip 1850000 nbSat=12037369 maxSat=17469287
542.98/273.33	c flip 1860000 nbSat=11887360 maxSat=17469287
544.19/273.93	c flip 1870000 nbSat=12249680 maxSat=17469287
545.38/274.51	c flip 1880000 nbSat=12152865 maxSat=17469287
546.39/275.09	c flip 1890000 nbSat=12329804 maxSat=17469287
547.57/275.68	c flip 1900000 nbSat=12257012 maxSat=17469287
548.77/276.28	c flip 1910000 nbSat=12328339 maxSat=17469287
549.96/276.87	c flip 1920000 nbSat=12275321 maxSat=17469287
551.16/277.47	c flip 1930000 nbSat=12341654 maxSat=17469287
552.36/278.04	c flip 1940000 nbSat=12431545 maxSat=17469287
553.55/278.63	c flip 1950000 nbSat=12529275 maxSat=17469287
554.75/279.22	c flip 1960000 nbSat=12535064 maxSat=17469287
555.95/279.81	c flip 1970000 nbSat=12670977 maxSat=17469287
556.95/280.39	c flip 1980000 nbSat=12785723 maxSat=17469287
558.14/280.97	c flip 1990000 nbSat=12953363 maxSat=17469287
559.34/281.55	c flip 2000000 nbSat=13022586 maxSat=17469287
560.53/282.12	c flip 2010000 nbSat=12872723 maxSat=17469287
561.73/282.70	c flip 2020000 nbSat=12936169 maxSat=17469287
562.72/283.28	c flip 2030000 nbSat=13162685 maxSat=17469287
563.93/283.86	c flip 2040000 nbSat=12983044 maxSat=17469287
565.12/284.45	c flip 2050000 nbSat=12988629 maxSat=17469287
566.32/285.04	c flip 2060000 nbSat=12803108 maxSat=17469287
567.52/285.62	c flip 2070000 nbSat=12827177 maxSat=17469287
568.71/286.22	c flip 2080000 nbSat=12950569 maxSat=17469287
569.91/286.80	c flip 2090000 nbSat=13361419 maxSat=17469287
571.11/287.40	c flip 2100000 nbSat=13047505 maxSat=17469287
572.11/287.99	c flip 2110000 nbSat=13134758 maxSat=17469287
573.30/288.56	c flip 2120000 nbSat=13553763 maxSat=17469287
574.50/289.15	c flip 2130000 nbSat=13384210 maxSat=17469287
575.70/289.75	c flip 2140000 nbSat=13385823 maxSat=17469287
576.90/290.35	c flip 2150000 nbSat=13440753 maxSat=17469287
578.09/290.93	c flip 2160000 nbSat=13236945 maxSat=17469287
579.29/291.53	c flip 2170000 nbSat=13585816 maxSat=17469287
580.49/292.13	c flip 2180000 nbSat=13390455 maxSat=17469287
581.68/292.72	c flip 2190000 nbSat=13251176 maxSat=17469287
582.88/293.30	c flip 2200000 nbSat=13422899 maxSat=17469287
584.07/293.90	c flip 2210000 nbSat=13471492 maxSat=17469287
585.07/294.49	c flip 2220000 nbSat=13938896 maxSat=17469287
586.27/295.08	c flip 2230000 nbSat=13472667 maxSat=17469287
587.47/295.67	c flip 2240000 nbSat=13865933 maxSat=17469287
588.66/296.25	c flip 2250000 nbSat=14102615 maxSat=17469287
589.86/296.83	c flip 2260000 nbSat=13764825 maxSat=17469287
591.06/297.40	c flip 2270000 nbSat=13774378 maxSat=17469287
592.06/297.98	c flip 2280000 nbSat=13742776 maxSat=17469287
593.25/298.55	c flip 2290000 nbSat=13591995 maxSat=17469287
594.46/299.14	c flip 2300000 nbSat=13940820 maxSat=17469287
595.65/299.73	c flip 2310000 nbSat=13827488 maxSat=17469287
596.86/300.32	c flip 2320000 nbSat=14115361 maxSat=17469287
598.05/300.90	c flip 2330000 nbSat=14111306 maxSat=17469287
599.05/301.49	c flip 2340000 nbSat=13837908 maxSat=17469287
600.24/302.09	c flip 2350000 nbSat=13883927 maxSat=17469287
601.44/302.67	c flip 2360000 nbSat=14042985 maxSat=17469287
602.64/303.24	c flip 2370000 nbSat=14179584 maxSat=17469287
603.83/303.83	c flip 2380000 nbSat=14347718 maxSat=17469287
605.03/304.42	c flip 2390000 nbSat=14415497 maxSat=17469287
606.22/305.02	c flip 2400000 nbSat=14647161 maxSat=17469287
607.22/305.60	c flip 2410000 nbSat=14352047 maxSat=17469287
608.42/306.19	c flip 2420000 nbSat=14741122 maxSat=17469287
609.62/306.79	c flip 2430000 nbSat=14603163 maxSat=17469287
610.82/307.38	c flip 2440000 nbSat=14337841 maxSat=17469287
612.02/307.95	c flip 2450000 nbSat=14053737 maxSat=17469287
613.21/308.53	c flip 2460000 nbSat=14587178 maxSat=17469287
614.42/309.13	c flip 2470000 nbSat=14624208 maxSat=17469287
615.61/309.72	c flip 2480000 nbSat=14902761 maxSat=17469287
616.80/310.30	c flip 2490000 nbSat=15031711 maxSat=17469287
617.80/310.89	c flip 2500000 nbSat=15107935 maxSat=17469287
619.20/311.51	c flip 2510000 nbSat=15073381 maxSat=17469287
620.40/312.10	c flip 2520000 nbSat=15130632 maxSat=17469287
621.39/312.68	c flip 2530000 nbSat=15204324 maxSat=17469287
622.59/313.26	c flip 2540000 nbSat=14964386 maxSat=17469287
623.79/313.86	c flip 2550000 nbSat=15239431 maxSat=17469287
624.99/314.45	c flip 2560000 nbSat=14777858 maxSat=17469287
626.18/315.05	c flip 2570000 nbSat=14990267 maxSat=17469287
627.38/315.63	c flip 2580000 nbSat=14928488 maxSat=17469287
628.58/316.22	c flip 2590000 nbSat=15136026 maxSat=17469287
629.78/316.81	c flip 2600000 nbSat=15097957 maxSat=17469287
630.77/317.39	c flip 2610000 nbSat=15152658 maxSat=17469287
631.98/317.96	c flip 2620000 nbSat=15340744 maxSat=17469287
633.17/318.55	c flip 2630000 nbSat=15719280 maxSat=17469287
634.37/319.13	c flip 2640000 nbSat=15489321 maxSat=17469287
635.56/319.70	c flip 2650000 nbSat=15478575 maxSat=17469287
636.56/320.28	c flip 2660000 nbSat=15619079 maxSat=17469287
637.76/320.87	c flip 2670000 nbSat=15380368 maxSat=17469287
638.95/321.46	c flip 2680000 nbSat=15426794 maxSat=17469287
640.15/322.03	c flip 2690000 nbSat=15850792 maxSat=17469287
641.34/322.62	c flip 2700000 nbSat=15747844 maxSat=17469287
642.54/323.21	c flip 2710000 nbSat=15578372 maxSat=17469287
643.53/323.79	c flip 2720000 nbSat=16044171 maxSat=17469287
644.73/324.37	c flip 2730000 nbSat=16218057 maxSat=17469287
645.93/324.96	c flip 2740000 nbSat=15732620 maxSat=17469287
647.13/325.56	c flip 2750000 nbSat=15765154 maxSat=17469287
648.33/326.15	c flip 2760000 nbSat=16308859 maxSat=17469287
649.52/326.75	c flip 2770000 nbSat=16042274 maxSat=17469287
650.71/327.32	c flip 2780000 nbSat=16166716 maxSat=17469287
651.91/327.93	c flip 2790000 nbSat=16396948 maxSat=17469287
653.11/328.52	c flip 2800000 nbSat=16336093 maxSat=17469287
654.30/329.10	c flip 2810000 nbSat=16564204 maxSat=17469287
655.30/329.69	c flip 2820000 nbSat=16764401 maxSat=17469287
656.49/330.29	c flip 2830000 nbSat=16438511 maxSat=17469287
657.69/330.88	c flip 2840000 nbSat=16424664 maxSat=17469287
658.89/331.46	c flip 2850000 nbSat=16459530 maxSat=17469287
660.09/332.05	c flip 2860000 nbSat=16518182 maxSat=17469287
661.28/332.65	c flip 2870000 nbSat=16656963 maxSat=17469287
662.49/333.23	c flip 2880000 nbSat=16665772 maxSat=17469287
663.68/333.81	c flip 2890000 nbSat=17043823 maxSat=17469287
664.88/334.42	c flip 2900000 nbSat=16488458 maxSat=17469287
666.07/335.02	c flip 2910000 nbSat=17057559 maxSat=17469287
667.08/335.59	c flip 2920000 nbSat=16786146 maxSat=17469287
668.27/336.19	c flip 2930000 nbSat=16792102 maxSat=17469287
669.47/336.78	c flip 2940000 nbSat=16648603 maxSat=17469287
670.67/337.35	c flip 2950000 nbSat=17140429 maxSat=17469287
671.86/337.94	c flip 2960000 nbSat=16712586 maxSat=17469287
673.06/338.52	c flip 2970000 nbSat=16767005 maxSat=17469287
674.25/339.11	c flip 2980000 nbSat=16931400 maxSat=17469287
675.25/339.68	c flip 2990000 nbSat=17536516 maxSat=17571744
675.66/339.88	c flip 0 nbSat=525628 maxSat=17593686
675.86/339.98	c flip 10000 nbSat=546259 maxSat=17593686
676.05/340.07	c flip 20000 nbSat=566219 maxSat=17593686
676.25/340.17	c flip 30000 nbSat=588086 maxSat=17593686
676.45/340.26	c flip 40000 nbSat=608827 maxSat=17593686
676.65/340.36	c flip 50000 nbSat=624133 maxSat=17593686
677.05/340.52	c flip 60000 nbSat=635181 maxSat=17593686
677.25/340.69	c flip 70000 nbSat=644337 maxSat=17593686
677.85/340.90	c flip 80000 nbSat=656580 maxSat=17593686
678.24/341.10	c flip 90000 nbSat=668032 maxSat=17593686
678.64/341.35	c flip 100000 nbSat=686524 maxSat=17593686
679.04/341.59	c flip 110000 nbSat=701591 maxSat=17593686
679.64/341.84	c flip 120000 nbSat=720098 maxSat=17593686
680.25/342.13	c flip 130000 nbSat=736280 maxSat=17593686
680.84/342.40	c flip 140000 nbSat=759897 maxSat=17593686
681.24/342.69	c flip 150000 nbSat=779658 maxSat=17593686
682.04/343.01	c flip 160000 nbSat=802375 maxSat=17593686
682.64/343.33	c flip 170000 nbSat=821293 maxSat=17593686
683.24/343.63	c flip 180000 nbSat=848759 maxSat=17593686
683.84/343.98	c flip 190000 nbSat=874979 maxSat=17593686
684.64/344.31	c flip 200000 nbSat=898500 maxSat=17593686
685.23/344.66	c flip 210000 nbSat=928015 maxSat=17593686
686.03/345.00	c flip 220000 nbSat=949550 maxSat=17593686
686.64/345.37	c flip 230000 nbSat=984092 maxSat=17593686
687.43/345.75	c flip 240000 nbSat=1018210 maxSat=17593686
688.23/346.12	c flip 250000 nbSat=1050696 maxSat=17593686
689.03/346.51	c flip 260000 nbSat=1078940 maxSat=17593686
689.82/346.93	c flip 270000 nbSat=1120303 maxSat=17593686
690.62/347.34	c flip 280000 nbSat=1166760 maxSat=17593686
691.41/347.75	c flip 290000 nbSat=1198972 maxSat=17593686
692.21/348.19	c flip 300000 nbSat=1231477 maxSat=17593686
693.22/348.65	c flip 310000 nbSat=1295993 maxSat=17593686
694.21/349.13	c flip 320000 nbSat=1357689 maxSat=17593686
695.01/349.59	c flip 330000 nbSat=1424169 maxSat=17593686
696.01/350.09	c flip 340000 nbSat=1494919 maxSat=17593686
697.01/350.59	c flip 350000 nbSat=1538519 maxSat=17593686
698.21/351.11	c flip 360000 nbSat=1619984 maxSat=17593686
699.21/351.66	c flip 370000 nbSat=1676569 maxSat=17593686
700.40/352.21	c flip 380000 nbSat=1770000 maxSat=17593686
701.40/352.74	c flip 390000 nbSat=1804189 maxSat=17593686
702.40/353.30	c flip 400000 nbSat=1875648 maxSat=17593686
703.60/353.86	c flip 410000 nbSat=1963358 maxSat=17593686
704.80/354.43	c flip 420000 nbSat=2053460 maxSat=17593686
705.99/355.02	c flip 430000 nbSat=2110714 maxSat=17593686
707.19/355.60	c flip 440000 nbSat=2182910 maxSat=17593686
708.19/356.17	c flip 450000 nbSat=2246768 maxSat=17593686
709.39/356.75	c flip 460000 nbSat=2274161 maxSat=17593686
710.59/357.32	c flip 470000 nbSat=2372371 maxSat=17593686
711.78/357.90	c flip 480000 nbSat=2458180 maxSat=17593686
712.78/358.48	c flip 490000 nbSat=2581369 maxSat=17593686
714.18/359.10	c flip 500000 nbSat=2628726 maxSat=17593686
715.18/359.70	c flip 510000 nbSat=2716355 maxSat=17593686
716.37/360.29	c flip 520000 nbSat=2820587 maxSat=17593686
717.58/360.89	c flip 530000 nbSat=2906546 maxSat=17593686
718.77/361.47	c flip 540000 nbSat=3013022 maxSat=17593686
719.97/362.05	c flip 550000 nbSat=3024762 maxSat=17593686
721.17/362.64	c flip 560000 nbSat=3023466 maxSat=17593686
722.36/363.23	c flip 570000 nbSat=3145325 maxSat=17593686
723.56/363.83	c flip 580000 nbSat=3245221 maxSat=17593686
724.75/364.42	c flip 590000 nbSat=3290127 maxSat=17593686
725.95/365.04	c flip 600000 nbSat=3434289 maxSat=17593686
727.15/365.64	c flip 610000 nbSat=3466510 maxSat=17593686
728.35/366.24	c flip 620000 nbSat=3503050 maxSat=17593686
729.54/366.85	c flip 630000 nbSat=3710082 maxSat=17593686
730.75/367.46	c flip 640000 nbSat=3723268 maxSat=17593686
731.94/368.07	c flip 650000 nbSat=3898798 maxSat=17593686
733.13/368.69	c flip 660000 nbSat=3978906 maxSat=17593686
734.32/369.29	c flip 670000 nbSat=4011508 maxSat=17593686
735.72/369.90	c flip 680000 nbSat=4099243 maxSat=17593686
736.92/370.51	c flip 690000 nbSat=4164024 maxSat=17593686
738.12/371.13	c flip 700000 nbSat=4216958 maxSat=17593686
739.31/371.78	c flip 710000 nbSat=4326535 maxSat=17593686
740.70/372.40	c flip 720000 nbSat=4371058 maxSat=17593686
741.89/373.04	c flip 730000 nbSat=4467116 maxSat=17593686
743.09/373.65	c flip 740000 nbSat=4533821 maxSat=17593686
744.29/374.29	c flip 750000 nbSat=4593713 maxSat=17593686
745.69/374.91	c flip 760000 nbSat=4764576 maxSat=17593686
746.89/375.52	c flip 770000 nbSat=4793079 maxSat=17593686
748.09/376.13	c flip 780000 nbSat=4860536 maxSat=17593686
749.28/376.74	c flip 790000 nbSat=4963878 maxSat=17593686
750.48/377.36	c flip 800000 nbSat=5029623 maxSat=17593686
751.68/377.97	c flip 810000 nbSat=5163226 maxSat=17593686
752.87/378.59	c flip 820000 nbSat=5130513 maxSat=17593686
754.27/379.21	c flip 830000 nbSat=5248410 maxSat=17593686
755.47/379.83	c flip 840000 nbSat=5375067 maxSat=17593686
756.67/380.45	c flip 850000 nbSat=5430293 maxSat=17593686
757.86/381.08	c flip 860000 nbSat=5529400 maxSat=17593686
759.26/381.71	c flip 870000 nbSat=5470238 maxSat=17593686
760.46/382.33	c flip 880000 nbSat=5662810 maxSat=17593686
761.65/382.94	c flip 890000 nbSat=5620422 maxSat=17593686
762.85/383.54	c flip 900000 nbSat=5673676 maxSat=17593686
764.05/384.14	c flip 910000 nbSat=5859310 maxSat=17593686
765.25/384.74	c flip 920000 nbSat=5947783 maxSat=17593686
766.44/385.35	c flip 930000 nbSat=5910358 maxSat=17593686
767.64/385.96	c flip 940000 nbSat=5992368 maxSat=17593686
768.84/386.56	c flip 950000 nbSat=6088894 maxSat=17593686
770.04/387.17	c flip 960000 nbSat=6088010 maxSat=17593686
771.23/387.77	c flip 970000 nbSat=6107852 maxSat=17593686
772.44/388.37	c flip 980000 nbSat=6115769 maxSat=17593686
773.63/388.98	c flip 990000 nbSat=6361696 maxSat=17593686
774.82/389.58	c flip 1000000 nbSat=6476869 maxSat=17593686
776.02/390.19	c flip 1010000 nbSat=6332040 maxSat=17593686
777.42/390.80	c flip 1020000 nbSat=6316592 maxSat=17593686
778.62/391.42	c flip 1030000 nbSat=6538145 maxSat=17593686
779.81/392.03	c flip 1040000 nbSat=6573300 maxSat=17593686
781.02/392.63	c flip 1050000 nbSat=6588157 maxSat=17593686
782.21/393.24	c flip 1060000 nbSat=6664106 maxSat=17593686
783.41/393.85	c flip 1070000 nbSat=6712614 maxSat=17593686
784.60/394.45	c flip 1080000 nbSat=6757790 maxSat=17593686
785.80/395.06	c flip 1090000 nbSat=6847121 maxSat=17593686
787.00/395.66	c flip 1100000 nbSat=6932313 maxSat=17593686
788.20/396.25	c flip 1110000 nbSat=7023190 maxSat=17593686
789.40/396.84	c flip 1120000 nbSat=6911902 maxSat=17593686
790.59/397.46	c flip 1130000 nbSat=7017761 maxSat=17593686
791.79/398.08	c flip 1140000 nbSat=7017153 maxSat=17593686
792.99/398.69	c flip 1150000 nbSat=7039218 maxSat=17593686
794.39/399.30	c flip 1160000 nbSat=7164714 maxSat=17593686
795.58/399.91	c flip 1170000 nbSat=7237859 maxSat=17593686
796.78/400.52	c flip 1180000 nbSat=7335287 maxSat=17593686
797.98/401.12	c flip 1190000 nbSat=7326392 maxSat=17593686
799.17/401.73	c flip 1200000 nbSat=7462354 maxSat=17593686
800.37/402.34	c flip 1210000 nbSat=7543382 maxSat=17593686
801.57/402.95	c flip 1220000 nbSat=7596910 maxSat=17593686
802.77/403.54	c flip 1230000 nbSat=7676421 maxSat=17593686
803.96/404.15	c flip 1240000 nbSat=7692467 maxSat=17593686
805.17/404.75	c flip 1250000 nbSat=7725013 maxSat=17593686
806.36/405.35	c flip 1260000 nbSat=7744784 maxSat=17593686
807.56/405.94	c flip 1270000 nbSat=7663712 maxSat=17593686
808.75/406.54	c flip 1280000 nbSat=7704112 maxSat=17593686
809.95/407.16	c flip 1290000 nbSat=8001497 maxSat=17593686
811.15/407.76	c flip 1300000 nbSat=7998770 maxSat=17593686
812.34/408.38	c flip 1310000 nbSat=8119788 maxSat=17593686
813.54/408.98	c flip 1320000 nbSat=8258609 maxSat=17593686
814.74/409.57	c flip 1330000 nbSat=8174874 maxSat=17593686
815.94/410.17	c flip 1340000 nbSat=8228738 maxSat=17593686
817.13/410.79	c flip 1350000 nbSat=8442230 maxSat=17593686
818.34/411.39	c flip 1360000 nbSat=8309067 maxSat=17593686
819.73/412.00	c flip 1370000 nbSat=8384030 maxSat=17593686
820.93/412.62	c flip 1380000 nbSat=8394961 maxSat=17593686
822.12/413.24	c flip 1390000 nbSat=8509609 maxSat=17593686
823.32/413.85	c flip 1400000 nbSat=8658738 maxSat=17593686
824.51/414.46	c flip 1410000 nbSat=8687563 maxSat=17593686
825.70/415.07	c flip 1420000 nbSat=8768278 maxSat=17593686
826.90/415.68	c flip 1430000 nbSat=8660156 maxSat=17593686
828.10/416.28	c flip 1440000 nbSat=8868693 maxSat=17593686
829.49/416.90	c flip 1450000 nbSat=8839436 maxSat=17593686
830.68/417.51	c flip 1460000 nbSat=8807560 maxSat=17593686
831.88/418.11	c flip 1470000 nbSat=8908052 maxSat=17593686
832.88/418.69	c flip 1480000 nbSat=9125502 maxSat=17593686
834.07/419.29	c flip 1490000 nbSat=9274090 maxSat=17593686
835.27/419.89	c flip 1500000 nbSat=9325850 maxSat=17593686
836.47/420.49	c flip 1510000 nbSat=9378038 maxSat=17593686
837.67/421.08	c flip 1520000 nbSat=9490804 maxSat=17593686
838.87/421.66	c flip 1530000 nbSat=9603918 maxSat=17593686
840.07/422.24	c flip 1540000 nbSat=9552866 maxSat=17593686
841.26/422.81	c flip 1550000 nbSat=9457016 maxSat=17593686
842.47/423.42	c flip 1560000 nbSat=9665261 maxSat=17593686
843.66/424.00	c flip 1570000 nbSat=9632187 maxSat=17593686
844.86/424.62	c flip 1580000 nbSat=9560174 maxSat=17593686
846.05/425.23	c flip 1590000 nbSat=9711353 maxSat=17593686
847.24/425.84	c flip 1600000 nbSat=9726914 maxSat=17593686
848.44/426.42	c flip 1610000 nbSat=9675275 maxSat=17593686
849.64/427.03	c flip 1620000 nbSat=9789022 maxSat=17593686
850.84/427.63	c flip 1630000 nbSat=9850828 maxSat=17593686
852.03/428.24	c flip 1640000 nbSat=10080701 maxSat=17593686
853.23/428.85	c flip 1650000 nbSat=10090501 maxSat=17593686
854.43/429.45	c flip 1660000 nbSat=10072794 maxSat=17593686
855.64/430.04	c flip 1670000 nbSat=9963393 maxSat=17593686
856.83/430.64	c flip 1680000 nbSat=9980406 maxSat=17593686
858.03/431.26	c flip 1690000 nbSat=10099490 maxSat=17593686
859.22/431.87	c flip 1700000 nbSat=10317517 maxSat=17593686
860.42/432.47	c flip 1710000 nbSat=9978565 maxSat=17593686
861.62/433.06	c flip 1720000 nbSat=10204068 maxSat=17593686
862.81/433.67	c flip 1730000 nbSat=10355088 maxSat=17593686
864.01/434.28	c flip 1740000 nbSat=10199303 maxSat=17593686
865.41/434.90	c flip 1750000 nbSat=10412656 maxSat=17593686
866.61/435.51	c flip 1760000 nbSat=10386104 maxSat=17593686
867.80/436.12	c flip 1770000 nbSat=10506514 maxSat=17593686
868.80/436.70	c flip 1780000 nbSat=10528333 maxSat=17593686
870.20/437.31	c flip 1790000 nbSat=10629227 maxSat=17593686
871.39/437.91	c flip 1800000 nbSat=10680543 maxSat=17593686
872.59/438.52	c flip 1810000 nbSat=10778157 maxSat=17593686
873.79/439.13	c flip 1820000 nbSat=10801977 maxSat=17593686
874.79/439.70	c flip 1830000 nbSat=10762107 maxSat=17593686
875.98/440.28	c flip 1840000 nbSat=10898068 maxSat=17593686
877.18/440.89	c flip 1850000 nbSat=10795135 maxSat=17593686
878.58/441.50	c flip 1860000 nbSat=10936981 maxSat=17593686
879.58/442.09	c flip 1870000 nbSat=11103203 maxSat=17593686
880.77/442.68	c flip 1880000 nbSat=11218534 maxSat=17593686
881.97/443.27	c flip 1890000 nbSat=11146111 maxSat=17593686
883.16/443.87	c flip 1900000 nbSat=11430833 maxSat=17593686
884.37/444.47	c flip 1910000 nbSat=11068927 maxSat=17593686
885.56/445.06	c flip 1920000 nbSat=11096511 maxSat=17593686
886.76/445.65	c flip 1930000 nbSat=11293789 maxSat=17593686
887.96/446.24	c flip 1940000 nbSat=11357818 maxSat=17593686
889.15/446.84	c flip 1950000 nbSat=11307298 maxSat=17593686
890.35/447.45	c flip 1960000 nbSat=11152634 maxSat=17593686
891.55/448.05	c flip 1970000 nbSat=11116788 maxSat=17593686
892.75/448.64	c flip 1980000 nbSat=11286461 maxSat=17593686
893.94/449.24	c flip 1990000 nbSat=11377031 maxSat=17593686
895.15/449.84	c flip 2000000 nbSat=11519553 maxSat=17593686
896.34/450.45	c flip 2010000 nbSat=11490066 maxSat=17593686
897.54/451.05	c flip 2020000 nbSat=11676552 maxSat=17593686
898.73/451.63	c flip 2030000 nbSat=11825799 maxSat=17593686
899.93/452.25	c flip 2040000 nbSat=11723010 maxSat=17593686
901.13/452.86	c flip 2050000 nbSat=11884439 maxSat=17593686
902.32/453.47	c flip 2060000 nbSat=11853344 maxSat=17593686
903.52/454.07	c flip 2070000 nbSat=11885555 maxSat=17593686
904.72/454.64	c flip 2080000 nbSat=11985419 maxSat=17593686
905.92/455.24	c flip 2090000 nbSat=12136996 maxSat=17593686
907.11/455.83	c flip 2100000 nbSat=12068068 maxSat=17593686
908.32/456.41	c flip 2110000 nbSat=12200366 maxSat=17593686
909.31/457.00	c flip 2120000 nbSat=12194941 maxSat=17593686
910.51/457.57	c flip 2130000 nbSat=12329207 maxSat=17593686
911.70/458.17	c flip 2140000 nbSat=12473627 maxSat=17593686
912.91/458.77	c flip 2150000 nbSat=12647518 maxSat=17593686
914.10/459.36	c flip 2160000 nbSat=12446949 maxSat=17593686
915.29/459.94	c flip 2170000 nbSat=12463378 maxSat=17593686
916.49/460.55	c flip 2180000 nbSat=12545193 maxSat=17593686
917.68/461.15	c flip 2190000 nbSat=12446620 maxSat=17593686
918.87/461.76	c flip 2200000 nbSat=12518383 maxSat=17593686
920.07/462.35	c flip 2210000 nbSat=12757852 maxSat=17593686
921.26/462.94	c flip 2220000 nbSat=12732994 maxSat=17593686
922.46/463.53	c flip 2230000 nbSat=12724497 maxSat=17593686
923.66/464.12	c flip 2240000 nbSat=12921614 maxSat=17593686
924.86/464.72	c flip 2250000 nbSat=13057963 maxSat=17593686
925.86/465.29	c flip 2260000 nbSat=13123931 maxSat=17593686
927.05/465.88	c flip 2270000 nbSat=12825896 maxSat=17593686
928.25/466.49	c flip 2280000 nbSat=12970841 maxSat=17593686
929.44/467.08	c flip 2290000 nbSat=13097941 maxSat=17593686
930.64/467.67	c flip 2300000 nbSat=13393321 maxSat=17593686
931.84/468.27	c flip 2310000 nbSat=13226022 maxSat=17593686
933.04/468.87	c flip 2320000 nbSat=13412591 maxSat=17593686
934.24/469.47	c flip 2330000 nbSat=13382754 maxSat=17593686
935.43/470.04	c flip 2340000 nbSat=13434404 maxSat=17593686
936.63/470.63	c flip 2350000 nbSat=13613736 maxSat=17593686
937.82/471.24	c flip 2360000 nbSat=13756478 maxSat=17593686
939.03/471.84	c flip 2370000 nbSat=13473675 maxSat=17593686
940.22/472.41	c flip 2380000 nbSat=13566078 maxSat=17593686
941.43/473.02	c flip 2390000 nbSat=13697195 maxSat=17593686
942.62/473.61	c flip 2400000 nbSat=13619430 maxSat=17593686
943.82/474.22	c flip 2410000 nbSat=13700048 maxSat=17593686
945.02/474.80	c flip 2420000 nbSat=13695223 maxSat=17593686
946.01/475.40	c flip 2430000 nbSat=13816603 maxSat=17593686
947.21/475.98	c flip 2440000 nbSat=14139988 maxSat=17593686
948.41/476.58	c flip 2450000 nbSat=13999063 maxSat=17593686
949.61/477.16	c flip 2460000 nbSat=13982738 maxSat=17593686
950.80/477.73	c flip 2470000 nbSat=14104750 maxSat=17593686
952.00/478.32	c flip 2480000 nbSat=14056702 maxSat=17593686
953.20/478.92	c flip 2490000 nbSat=14053259 maxSat=17593686
954.40/479.51	c flip 2500000 nbSat=14013841 maxSat=17593686
955.39/480.08	c flip 2510000 nbSat=14192130 maxSat=17593686
956.60/480.68	c flip 2520000 nbSat=14189125 maxSat=17593686
957.79/481.28	c flip 2530000 nbSat=14268897 maxSat=17593686
958.99/481.88	c flip 2540000 nbSat=14174242 maxSat=17593686
960.19/482.46	c flip 2550000 nbSat=14132690 maxSat=17593686
961.38/483.06	c flip 2560000 nbSat=14344479 maxSat=17593686
962.58/483.66	c flip 2570000 nbSat=14532840 maxSat=17593686
963.77/484.26	c flip 2580000 nbSat=14547464 maxSat=17593686
964.97/484.84	c flip 2590000 nbSat=14566440 maxSat=17593686
966.17/485.44	c flip 2600000 nbSat=14488794 maxSat=17593686
967.37/486.05	c flip 2610000 nbSat=14755403 maxSat=17593686
968.57/486.68	c flip 2620000 nbSat=14546975 maxSat=17593686
969.77/487.27	c flip 2630000 nbSat=14677492 maxSat=17593686
970.96/487.88	c flip 2640000 nbSat=14688167 maxSat=17593686
972.35/488.50	c flip 2650000 nbSat=14617013 maxSat=17593686
973.55/489.10	c flip 2660000 nbSat=14455290 maxSat=17593686
974.55/489.69	c flip 2670000 nbSat=14806382 maxSat=17593686
975.75/490.29	c flip 2680000 nbSat=14744353 maxSat=17593686
976.95/490.89	c flip 2690000 nbSat=14883194 maxSat=17593686
978.15/491.49	c flip 2700000 nbSat=14815464 maxSat=17593686
979.34/492.08	c flip 2710000 nbSat=14713107 maxSat=17593686
980.54/492.69	c flip 2720000 nbSat=14776908 maxSat=17593686
981.94/493.31	c flip 2730000 nbSat=14772753 maxSat=17593686
983.14/493.91	c flip 2740000 nbSat=14878060 maxSat=17593686
984.13/494.49	c flip 2750000 nbSat=15041635 maxSat=17593686
985.34/495.09	c flip 2760000 nbSat=14888163 maxSat=17593686
986.53/495.69	c flip 2770000 nbSat=14682117 maxSat=17593686
987.72/496.29	c flip 2780000 nbSat=15211675 maxSat=17593686
988.92/496.87	c flip 2790000 nbSat=15169219 maxSat=17593686
990.12/497.47	c flip 2800000 nbSat=15059588 maxSat=17593686
991.32/498.07	c flip 2810000 nbSat=15136191 maxSat=17593686
992.51/498.65	c flip 2820000 nbSat=15226272 maxSat=17593686
993.71/499.25	c flip 2830000 nbSat=15225176 maxSat=17593686
994.91/499.86	c flip 2840000 nbSat=15332119 maxSat=17593686
996.11/500.46	c flip 2850000 nbSat=15245808 maxSat=17593686
997.30/501.04	c flip 2860000 nbSat=15346780 maxSat=17593686
998.51/501.65	c flip 2870000 nbSat=15437482 maxSat=17593686
999.70/502.25	c flip 2880000 nbSat=15736192 maxSat=17593686
1000.89/502.84	c flip 2890000 nbSat=15445190 maxSat=17593686
1002.09/503.43	c flip 2900000 nbSat=15318717 maxSat=17593686
1003.29/504.03	c flip 2910000 nbSat=15275697 maxSat=17593686
1004.49/504.63	c flip 2920000 nbSat=15270689 maxSat=17593686
1005.68/505.22	c flip 2930000 nbSat=15485598 maxSat=17593686
1006.88/505.83	c flip 2940000 nbSat=15587023 maxSat=17593686
1008.06/506.47	c flip 2950000 nbSat=15505227 maxSat=17593686
1009.27/507.08	c flip 2960000 nbSat=15598895 maxSat=17593686
1010.46/507.68	c flip 2970000 nbSat=15813420 maxSat=17593686
1011.66/508.28	c flip 2980000 nbSat=15750799 maxSat=17593686
1012.85/508.88	c flip 2990000 nbSat=16074109 maxSat=17593686
1013.25/509.09	c flip 0 nbSat=527487 maxSat=17593686
1013.45/509.18	c flip 10000 nbSat=547071 maxSat=17593686
1013.65/509.28	c flip 20000 nbSat=567906 maxSat=17593686
1013.85/509.38	c flip 30000 nbSat=588145 maxSat=17593686
1014.04/509.47	c flip 40000 nbSat=607488 maxSat=17593686
1014.24/509.56	c flip 50000 nbSat=623351 maxSat=17593686
1014.64/509.73	c flip 60000 nbSat=635226 maxSat=17593686
1014.84/509.89	c flip 70000 nbSat=644344 maxSat=17593686
1015.24/510.09	c flip 80000 nbSat=653761 maxSat=17593686
1015.64/510.29	c flip 90000 nbSat=665071 maxSat=17593686
1016.24/510.54	c flip 100000 nbSat=678873 maxSat=17593686
1016.64/510.79	c flip 110000 nbSat=696523 maxSat=17593686
1017.24/511.05	c flip 120000 nbSat=716427 maxSat=17593686
1017.84/511.35	c flip 130000 nbSat=738549 maxSat=17593686
1018.44/511.63	c flip 140000 nbSat=758263 maxSat=17593686
1019.04/511.92	c flip 150000 nbSat=781215 maxSat=17593686
1019.64/512.25	c flip 160000 nbSat=809367 maxSat=17593686
1020.24/512.56	c flip 170000 nbSat=828103 maxSat=17593686
1020.83/512.88	c flip 180000 nbSat=853009 maxSat=17593686
1021.63/513.23	c flip 190000 nbSat=885714 maxSat=17593686
1022.23/513.59	c flip 200000 nbSat=908330 maxSat=17593686
1023.03/513.93	c flip 210000 nbSat=941638 maxSat=17593686
1023.62/514.29	c flip 220000 nbSat=959614 maxSat=17593686
1024.42/514.68	c flip 230000 nbSat=993801 maxSat=17593686
1025.22/515.07	c flip 240000 nbSat=1025539 maxSat=17593686
1026.02/515.44	c flip 250000 nbSat=1052229 maxSat=17593686
1026.82/515.83	c flip 260000 nbSat=1098899 maxSat=17593686
1027.62/516.25	c flip 270000 nbSat=1125357 maxSat=17593686
1028.42/516.66	c flip 280000 nbSat=1184311 maxSat=17593686
1029.22/517.09	c flip 290000 nbSat=1233969 maxSat=17593686
1030.21/517.53	c flip 300000 nbSat=1269075 maxSat=17593686
1031.01/517.98	c flip 310000 nbSat=1336346 maxSat=17593686
1032.01/518.47	c flip 320000 nbSat=1395631 maxSat=17593686
1033.00/518.94	c flip 330000 nbSat=1482928 maxSat=17593686
1034.00/519.43	c flip 340000 nbSat=1522688 maxSat=17593686
1035.00/519.93	c flip 350000 nbSat=1599981 maxSat=17593686
1036.00/520.45	c flip 360000 nbSat=1664823 maxSat=17593686
1037.00/520.99	c flip 370000 nbSat=1759520 maxSat=17593686
1038.19/521.52	c flip 380000 nbSat=1804171 maxSat=17593686
1039.19/522.06	c flip 390000 nbSat=1904198 maxSat=17593686
1040.39/522.61	c flip 400000 nbSat=1967941 maxSat=17593686
1041.39/523.16	c flip 410000 nbSat=2020453 maxSat=17593686
1042.58/523.72	c flip 420000 nbSat=2124132 maxSat=17593686
1043.78/524.30	c flip 430000 nbSat=2251194 maxSat=17593686
1044.78/524.86	c flip 440000 nbSat=2336936 maxSat=17593686
1045.98/525.42	c flip 450000 nbSat=2446859 maxSat=17593686
1046.97/525.98	c flip 460000 nbSat=2514086 maxSat=17593686
1048.17/526.55	c flip 470000 nbSat=2548615 maxSat=17593686
1049.37/527.13	c flip 480000 nbSat=2699857 maxSat=17593686
1050.37/527.70	c flip 490000 nbSat=2725875 maxSat=17593686
1051.76/528.31	c flip 500000 nbSat=2801144 maxSat=17593686
1052.76/528.89	c flip 510000 nbSat=2934120 maxSat=17593686
1053.96/529.48	c flip 520000 nbSat=2966675 maxSat=17593686
1055.16/530.08	c flip 530000 nbSat=3103929 maxSat=17593686
1056.35/530.67	c flip 540000 nbSat=3146217 maxSat=17593686
1057.56/531.27	c flip 550000 nbSat=3294600 maxSat=17593686
1058.75/531.87	c flip 560000 nbSat=3391240 maxSat=17593686
1059.95/532.46	c flip 570000 nbSat=3422307 maxSat=17593686
1061.14/533.04	c flip 580000 nbSat=3564563 maxSat=17593686
1062.34/533.63	c flip 590000 nbSat=3641174 maxSat=17593686
1063.54/534.28	c flip 600000 nbSat=3750917 maxSat=17593686
1064.93/534.90	c flip 610000 nbSat=3746918 maxSat=17593686
1066.13/535.52	c flip 620000 nbSat=3832879 maxSat=17593686
1067.33/536.13	c flip 630000 nbSat=3969991 maxSat=17593686
1068.53/536.75	c flip 640000 nbSat=4009898 maxSat=17593686
1069.72/537.35	c flip 650000 nbSat=4126988 maxSat=17593686
1070.93/537.95	c flip 660000 nbSat=4172075 maxSat=17593686
1072.12/538.55	c flip 670000 nbSat=4260397 maxSat=17593686
1073.31/539.16	c flip 680000 nbSat=4378314 maxSat=17593686
1074.51/539.77	c flip 690000 nbSat=4584398 maxSat=17593686
1075.71/540.39	c flip 700000 nbSat=4638288 maxSat=17593686
1077.11/541.01	c flip 710000 nbSat=4702245 maxSat=17593686
1078.31/541.64	c flip 720000 nbSat=4718970 maxSat=17593686
1079.51/542.27	c flip 730000 nbSat=4847689 maxSat=17593686
1080.70/542.88	c flip 740000 nbSat=4928587 maxSat=17593686
1082.10/543.50	c flip 750000 nbSat=5121332 maxSat=17593686
1083.30/544.12	c flip 760000 nbSat=5180833 maxSat=17593686
1084.49/544.75	c flip 770000 nbSat=5254238 maxSat=17593686
1085.69/545.36	c flip 780000 nbSat=5410191 maxSat=17593686
1086.89/545.98	c flip 790000 nbSat=5400448 maxSat=17593686
1088.09/546.59	c flip 800000 nbSat=5429832 maxSat=17593686
1089.48/547.21	c flip 810000 nbSat=5601418 maxSat=17593686
1090.69/547.84	c flip 820000 nbSat=5658577 maxSat=17593686
1091.88/548.45	c flip 830000 nbSat=5650732 maxSat=17593686
1093.07/549.08	c flip 840000 nbSat=5729220 maxSat=17593686
1094.27/549.69	c flip 850000 nbSat=5918794 maxSat=17593686
1095.67/550.31	c flip 860000 nbSat=6016766 maxSat=17593686
1096.87/550.93	c flip 870000 nbSat=6158955 maxSat=17593686
1098.06/551.55	c flip 880000 nbSat=6091751 maxSat=17593686
1099.26/552.18	c flip 890000 nbSat=6120900 maxSat=17593686
1100.64/552.81	c flip 900000 nbSat=6324238 maxSat=17593686
1101.83/553.44	c flip 910000 nbSat=6407107 maxSat=17593686
1103.03/554.06	c flip 920000 nbSat=6358829 maxSat=17593686
1104.23/554.67	c flip 930000 nbSat=6429476 maxSat=17593686
1105.43/555.29	c flip 940000 nbSat=6360490 maxSat=17593686
1106.82/555.91	c flip 950000 nbSat=6538376 maxSat=17593686
1108.03/556.52	c flip 960000 nbSat=6491950 maxSat=17593686
1109.22/557.12	c flip 970000 nbSat=6700095 maxSat=17593686
1110.43/557.73	c flip 980000 nbSat=6814337 maxSat=17593686
1111.62/558.34	c flip 990000 nbSat=6805380 maxSat=17593686
1112.81/558.95	c flip 1000000 nbSat=6929483 maxSat=17593686
1114.01/559.56	c flip 1010000 nbSat=6951819 maxSat=17593686
1115.21/560.18	c flip 1020000 nbSat=7115811 maxSat=17593686
1116.40/560.79	c flip 1030000 nbSat=6915331 maxSat=17593686
1117.80/561.41	c flip 1040000 nbSat=7079337 maxSat=17593686
1119.00/562.02	c flip 1050000 nbSat=7127421 maxSat=17593686
1120.19/562.64	c flip 1060000 nbSat=7005901 maxSat=17593686
1121.40/563.25	c flip 1070000 nbSat=7191749 maxSat=17593686
1122.59/563.84	c flip 1080000 nbSat=7287998 maxSat=17593686
1123.79/564.44	c flip 1090000 nbSat=7468553 maxSat=17593686
1124.99/565.04	c flip 1100000 nbSat=7562503 maxSat=17593686
1126.18/565.65	c flip 1110000 nbSat=7637543 maxSat=17593686
1127.38/566.26	c flip 1120000 nbSat=7729211 maxSat=17593686
1128.58/566.89	c flip 1130000 nbSat=7751679 maxSat=17593686
1129.98/567.51	c flip 1140000 nbSat=7655137 maxSat=17593686
1131.17/568.12	c flip 1150000 nbSat=7781237 maxSat=17593686
1132.37/568.73	c flip 1160000 nbSat=7779194 maxSat=17593686
1133.56/569.34	c flip 1170000 nbSat=7908384 maxSat=17593686
1134.76/569.96	c flip 1180000 nbSat=7918008 maxSat=17593686
1135.96/570.57	c flip 1190000 nbSat=7959529 maxSat=17593686
1137.16/571.16	c flip 1200000 nbSat=7988898 maxSat=17593686
1138.36/571.77	c flip 1210000 nbSat=8175775 maxSat=17593686
1139.75/572.40	c flip 1220000 nbSat=8254889 maxSat=17593686
1140.96/573.02	c flip 1230000 nbSat=8382267 maxSat=17593686
1142.15/573.64	c flip 1240000 nbSat=8476375 maxSat=17593686
1143.35/574.26	c flip 1250000 nbSat=8692825 maxSat=17593686
1144.54/574.87	c flip 1260000 nbSat=8853976 maxSat=17593686
1145.74/575.49	c flip 1270000 nbSat=8979050 maxSat=17593686
1146.94/576.09	c flip 1280000 nbSat=8737033 maxSat=17593686
1148.33/576.70	c flip 1290000 nbSat=8671932 maxSat=17593686
1149.33/577.29	c flip 1300000 nbSat=8763036 maxSat=17593686
1150.73/577.90	c flip 1310000 nbSat=8745501 maxSat=17593686
1151.93/578.51	c flip 1320000 nbSat=8826988 maxSat=17593686
1153.12/579.12	c flip 1330000 nbSat=8893488 maxSat=17593686
1154.33/579.72	c flip 1340000 nbSat=8872544 maxSat=17593686
1155.52/580.32	c flip 1350000 nbSat=8949476 maxSat=17593686
1156.72/580.93	c flip 1360000 nbSat=9256336 maxSat=17593686
1157.92/581.52	c flip 1370000 nbSat=9303619 maxSat=17593686
1159.11/582.10	c flip 1380000 nbSat=9416517 maxSat=17593686
1160.31/582.71	c flip 1390000 nbSat=9363858 maxSat=17593686
1161.51/583.32	c flip 1400000 nbSat=9330764 maxSat=17593686
1162.71/583.93	c flip 1410000 nbSat=9546661 maxSat=17593686
1163.90/584.54	c flip 1420000 nbSat=9547039 maxSat=17593686
1165.10/585.15	c flip 1430000 nbSat=9591467 maxSat=17593686
1166.30/585.75	c flip 1440000 nbSat=9679262 maxSat=17593686
1167.50/586.33	c flip 1450000 nbSat=9825161 maxSat=17593686
1168.69/586.92	c flip 1460000 nbSat=9967540 maxSat=17593686
1169.89/587.52	c flip 1470000 nbSat=10081998 maxSat=17593686
1171.09/588.13	c flip 1480000 nbSat=10043473 maxSat=17593686
1172.28/588.75	c flip 1490000 nbSat=9967644 maxSat=17593686
1173.48/589.35	c flip 1500000 nbSat=10107484 maxSat=17593686
1174.68/589.98	c flip 1510000 nbSat=10229934 maxSat=17593686
1175.88/590.58	c flip 1520000 nbSat=10248724 maxSat=17593686
1177.07/591.19	c flip 1530000 nbSat=10276710 maxSat=17593686
1178.48/591.81	c flip 1540000 nbSat=10371632 maxSat=17593686
1179.67/592.41	c flip 1550000 nbSat=10452690 maxSat=17593686
1180.86/593.02	c flip 1560000 nbSat=10554139 maxSat=17593686
1182.06/593.62	c flip 1570000 nbSat=10414013 maxSat=17593686
1183.26/594.21	c flip 1580000 nbSat=10485729 maxSat=17593686
1184.45/594.82	c flip 1590000 nbSat=10600942 maxSat=17593686
1185.65/595.42	c flip 1600000 nbSat=10523597 maxSat=17593686
1186.85/596.02	c flip 1610000 nbSat=10700636 maxSat=17593686
1188.04/596.64	c flip 1620000 nbSat=10788683 maxSat=17593686
1189.24/597.24	c flip 1630000 nbSat=10650472 maxSat=17593686
1190.43/597.83	c flip 1640000 nbSat=10843977 maxSat=17593686
1191.63/598.42	c flip 1650000 nbSat=10868465 maxSat=17593686
1192.82/599.02	c flip 1660000 nbSat=10905944 maxSat=17593686
1194.01/599.63	c flip 1670000 nbSat=10799443 maxSat=17593686
1195.21/600.24	c flip 1680000 nbSat=10936038 maxSat=17593686
1196.41/600.83	c flip 1690000 nbSat=10894771 maxSat=17593686
1197.61/601.42	c flip 1700000 nbSat=11098213 maxSat=17593686
1198.81/602.02	c flip 1710000 nbSat=11162365 maxSat=17593686

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/node5/watcher-329983-1173154079 -o ROOT/results/node5/solver-329983-1173154079 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/329983-1173154079/ornithorynque /tmp/evaluation/329983-1173154079/instance-329983-1173154079.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.92 3/77 20076
/proc/meminfo: memFree=1396640/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=23220 CPUtime=0
/proc/20076/stat : 20076 (ornithorynque) R 20074 20076 18845 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 335362841 23777280 246 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226910833937 0 0 4096 0 0 0 0 17 1 0 0
/proc/20076/statm: 5805 249 213 42 0 45 0

[startup+0.028864 s]
/proc/loadavg: 0.91 0.95 0.92 3/77 20076
/proc/meminfo: memFree=1396640/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=23308 CPUtime=0.02
/proc/20076/stat : 20076 (ornithorynque) R 20074 20076 18845 0 -1 4194304 460 0 0 0 2 0 0 0 18 0 1 0 335362841 23867392 421 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922377314 0 0 4096 1088 0 0 0 17 1 0 0
/proc/20076/statm: 5827 421 357 42 0 79 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23308

[startup+0.101871 s]
/proc/loadavg: 0.91 0.95 0.92 3/77 20076
/proc/meminfo: memFree=1396640/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=23308 CPUtime=0.09
/proc/20076/stat : 20076 (ornithorynque) R 20074 20076 18845 0 -1 4194304 479 0 0 0 9 0 0 0 18 0 1 0 335362841 23867392 440 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922377314 0 0 4096 1088 0 0 0 17 1 0 0
/proc/20076/statm: 5827 440 374 42 0 79 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23308

[startup+0.301895 s]
/proc/loadavg: 0.91 0.95 0.92 3/77 20076
/proc/meminfo: memFree=1396640/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=31124 CPUtime=0.28
/proc/20076/stat : 20076 (ornithorynque) R 20074 20076 18845 0 -1 4194304 2605 0 0 0 28 0 0 0 19 0 1 0 335362841 31870976 2306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226913325793 0 0 4096 1088 0 0 0 17 1 0 0
/proc/20076/statm: 7781 2306 379 42 0 2033 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 31124

[startup+0.701938 s]
/proc/loadavg: 0.91 0.95 0.92 3/77 20076
/proc/meminfo: memFree=1396640/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=46128 CPUtime=0.68
/proc/20076/stat : 20076 (ornithorynque) R 20074 20076 18845 0 -1 4194304 6752 0 0 0 65 3 0 0 23 0 1 0 335362841 47235072 6132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226913325793 0 0 4096 1088 0 0 0 17 1 0 0
/proc/20076/statm: 11532 6133 379 42 0 5784 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 46128

[startup+1.50103 s]
/proc/loadavg: 0.91 0.95 0.92 2/78 20077
/proc/meminfo: memFree=1362200/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=80204 CPUtime=1.48
/proc/20076/stat : 20076 (ornithorynque) R 20074 20076 18845 0 -1 4194304 16080 0 0 0 140 8 0 0 25 0 1 0 335362841 82128896 13538 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226913325793 0 0 4096 1088 0 0 0 17 1 0 0
/proc/20076/statm: 20051 13538 379 42 0 14303 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 80204

[startup+3.10222 s]
/proc/loadavg: 0.91 0.95 0.92 2/78 20077
/proc/meminfo: memFree=1272536/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=184624 CPUtime=3.86
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 40310 0 0 0 367 19 0 0 25 0 3 0 335362841 189054976 32679 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46156 32679 389 42 0 40408 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 184624

[startup+6.30158 s]
/proc/loadavg: 1.00 0.97 0.92 3/80 20079
/proc/meminfo: memFree=1266376/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=185020 CPUtime=10.25
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 43636 0 0 0 1005 20 0 0 25 0 3 0 335362841 189460480 32782 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46255 32782 389 42 0 40507 0
[pid=20076/tid=20078] ppid=20074 vsize=185020 CPUtime=3.97
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 6517 0 0 0 395 2 0 0 25 0 3 0 335363074 189460480 32782 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4328123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=185020 CPUtime=3.95
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 2 0 0 0 395 0 0 0 25 0 3 0 335363074 189460480 32782 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246007 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.25
Current children cumulated vsize (KiB) 185020

[startup+12.7023 s]
/proc/loadavg: 1.08 0.99 0.93 3/80 20079
/proc/meminfo: memFree=1266120/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=185284 CPUtime=23.01
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 45453 0 0 0 2280 21 0 0 25 0 3 0 335362841 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46321 32841 389 42 0 40573 0
[pid=20076/tid=20078] ppid=20074 vsize=185284 CPUtime=10.37
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 1034 3 0 0 25 0 3 0 335363074 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246459 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=185284 CPUtime=10.32
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 2 0 0 0 1032 0 0 0 25 0 3 0 335363074 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245887 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.01
Current children cumulated vsize (KiB) 185284

[startup+25.5018 s]
/proc/loadavg: 1.35 1.05 0.95 3/80 20079
/proc/meminfo: memFree=1266184/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=185284 CPUtime=48.55
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 45453 0 0 0 4834 21 0 0 25 0 3 0 335362841 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46321 32841 389 42 0 40573 0
[pid=20076/tid=20078] ppid=20074 vsize=185284 CPUtime=23.16
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 2313 3 0 0 25 0 3 0 335363074 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246487 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=185284 CPUtime=23.06
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 2 0 0 0 2306 0 0 0 25 0 3 0 335363074 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.55
Current children cumulated vsize (KiB) 185284

[startup+51.1016 s]
/proc/loadavg: 1.57 1.13 0.98 3/80 20079
/proc/meminfo: memFree=1266248/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=185284 CPUtime=99.62
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 45453 0 0 0 9941 21 0 0 25 0 3 0 335362841 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46321 32841 389 42 0 40573 0
[pid=20076/tid=20078] ppid=20074 vsize=185284 CPUtime=48.75
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 4872 3 0 0 25 0 3 0 335363074 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246420 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=185284 CPUtime=48.54
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 2 0 0 0 4854 0 0 0 25 0 3 0 335363074 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297610 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.62
Current children cumulated vsize (KiB) 185284

[startup+102.305 s]
/proc/loadavg: 1.81 1.26 1.03 3/80 20079
/proc/meminfo: memFree=1266248/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=185284 CPUtime=201.78
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 45453 0 0 0 20156 22 0 0 25 0 3 0 335362841 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46321 32841 389 42 0 40573 0
[pid=20076/tid=20078] ppid=20074 vsize=185284 CPUtime=99.94
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 9991 3 0 0 25 0 3 0 335363074 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246417 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=185284 CPUtime=99.5
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 2 0 0 0 9950 0 0 0 25 0 3 0 335363074 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4239099 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.78
Current children cumulated vsize (KiB) 185284

[startup+162.301 s]
/proc/loadavg: 1.93 1.39 1.09 3/80 20079
/proc/meminfo: memFree=1266312/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=185284 CPUtime=321.5
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 45453 0 0 0 32128 22 0 0 25 0 3 0 335362841 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46321 32841 389 42 0 40573 0
[pid=20076/tid=20078] ppid=20074 vsize=185284 CPUtime=159.92
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 15989 3 0 0 25 0 3 0 335363074 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246475 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=185284 CPUtime=159.24
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 2 0 0 0 15924 0 0 0 25 0 3 0 335363074 189730816 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244527 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.5
Current children cumulated vsize (KiB) 185284

[startup+222.302 s]
/proc/loadavg: 1.97 1.50 1.14 3/80 20079
/proc/meminfo: memFree=1266312/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=187900 CPUtime=441.22
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 46108 0 0 0 44099 23 0 0 25 0 3 0 335362841 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46975 32841 389 42 0 41227 0
[pid=20076/tid=20078] ppid=20074 vsize=187900 CPUtime=219.9
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 21987 3 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246406 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=187900 CPUtime=218.98
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 657 0 0 0 21897 1 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244224 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.22
Current children cumulated vsize (KiB) 187900

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.19 3/80 20079
/proc/meminfo: memFree=1266376/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=187900 CPUtime=560.93
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 46108 0 0 0 56069 24 0 0 25 0 3 0 335362841 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46975 32841 389 42 0 41227 0
[pid=20076/tid=20078] ppid=20074 vsize=187900 CPUtime=279.89
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 27985 4 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244160 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=187900 CPUtime=278.71
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 657 0 0 0 27869 2 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297900 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.93
Current children cumulated vsize (KiB) 187900

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.24 3/80 20079
/proc/meminfo: memFree=1266440/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=187900 CPUtime=680.64
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 46108 0 0 0 68040 24 0 0 25 0 3 0 335362841 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46975 32841 389 42 0 41227 0
[pid=20076/tid=20078] ppid=20074 vsize=187900 CPUtime=339.87
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 33983 4 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246465 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=187900 CPUtime=338.45
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 657 0 0 0 33843 2 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.64
Current children cumulated vsize (KiB) 187900

[startup+402.301 s]
/proc/loadavg: 1.99 1.72 1.29 3/80 20079
/proc/meminfo: memFree=1266440/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=187900 CPUtime=800.37
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 46108 0 0 0 80012 25 0 0 25 0 3 0 335362841 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46975 32841 389 42 0 41227 0
[pid=20076/tid=20078] ppid=20074 vsize=187900 CPUtime=399.85
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 39981 4 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=187900 CPUtime=398.18
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 657 0 0 0 39816 2 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244249 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 800.37
Current children cumulated vsize (KiB) 187900

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.33 3/80 20079
/proc/meminfo: memFree=1266440/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=187900 CPUtime=920.07
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 46108 0 0 0 91982 25 0 0 25 0 3 0 335362841 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46975 32841 389 42 0 41227 0
[pid=20076/tid=20078] ppid=20074 vsize=187900 CPUtime=459.83
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 45979 4 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246521 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=187900 CPUtime=457.91
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 657 0 0 0 45788 3 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246045 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 920.07
Current children cumulated vsize (KiB) 187900

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.37 3/80 20079
/proc/meminfo: memFree=1266440/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=187900 CPUtime=1039.79
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 46108 0 0 0 103953 26 0 0 25 0 3 0 335362841 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46975 32841 389 42 0 41227 0
[pid=20076/tid=20078] ppid=20074 vsize=187900 CPUtime=519.82
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 51977 5 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246497 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=187900 CPUtime=517.65
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 657 0 0 0 51762 3 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1039.79
Current children cumulated vsize (KiB) 187900

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.40 3/80 20079
/proc/meminfo: memFree=1266440/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=187900 CPUtime=1159.51
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 46108 0 0 0 115925 26 0 0 25 0 3 0 335362841 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46975 32841 389 42 0 41227 0
[pid=20076/tid=20078] ppid=20074 vsize=187900 CPUtime=579.8
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 57975 5 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246503 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=187900 CPUtime=577.38
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 657 0 0 0 57735 3 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1159.51
Current children cumulated vsize (KiB) 187900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.603 s]
/proc/loadavg: 1.99 1.85 1.42 3/80 20079
/proc/meminfo: memFree=1266440/2055920 swapFree=4174560/4192956
[pid=20076] ppid=20074 vsize=187900 CPUtime=1200.01
/proc/20076/stat : 20076 (ornithorynque) S 20074 20076 18845 0 -1 4194304 46108 0 0 0 119975 26 0 0 25 0 3 0 335362841 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 226922360699 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/20076/statm: 46975 32841 389 42 0 41227 0
[pid=20076/tid=20078] ppid=20074 vsize=187900 CPUtime=600.1
/proc/20076/task/20078/stat : 20078 (ornithorynque) R 20074 20076 18845 0 -1 4194368 8334 0 0 0 60005 5 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=20076/tid=20079] ppid=20074 vsize=187900 CPUtime=597.59
/proc/20076/task/20079/stat : 20079 (ornithorynque) R 20074 20076 18845 0 -1 4194368 657 0 0 0 59756 3 0 0 25 0 3 0 335363074 192409600 32841 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245696 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 187900

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.635
CPU time (s): 1200.06
CPU user time (s): 1199.77
CPU system time (s): 0.287956
CPU usage (%): 199.135
Max. virtual memory (cumulated for all children) (KiB): 187900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.77
system time used= 0.287956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46108
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= 23727

runsolver used 0.564914 second user time and 1.70074 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Tue Mar  6 04:08:00 UTC 2007

IDJOB= 329983
IDBENCH= 20552
IDSOLVER= 139
FILE ID= node5/329983-1173154079

PBS_JOBID= 4014988

Free space on /tmp= 66512 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  751bd85ad6f8d39d07f721982719fb9b

RANDOM SEED= 183663454

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.224
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.224
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:       1397112 kB
Buffers:         40688 kB
Cached:         525040 kB
SwapCached:       2208 kB
Active:         192116 kB
Inactive:       404680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1397112 kB
SwapTotal:     4192956 kB
SwapFree:      4174560 kB
Dirty:           16260 kB
Writeback:           0 kB
Mapped:          39784 kB
Slab:            47636 kB
Committed_AS:  1180416 kB
PageTables:       1700 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= 66512 MiB

End job on node5 on Tue Mar  6 04:18:05 UTC 2007