Trace number 329731

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.16 602.632

General information on the benchmark

Nameindustrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf
MD5SUMd2a122a986b8c06207b29ef18884dabc
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 variables141985
Number of clauses636168
Sum of the clauses size1637334
Maximum clause length20
Minimum clause length1
Number of clauses of size 1863
Number of clauses of size 2495546
Number of clauses of size 369837
Number of clauses of size 428550
Number of clauses of size 512384
Number of clauses of size over 528988

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.06	c using unsigned int
0.00/0.06	c parsing...
1.59/1.63	c ...done
1.59/1.63	c nbVar=141985 nbClause=636168
1.79/1.85	c nbVar=141985 nbClause=636168
2.09/2.18	c complete search running
2.09/2.18	c local search running
2.41/2.32	c flip 0 nbSat=499550 maxSat=0
2.60/2.42	c flip 10000 nbSat=520302 maxSat=520308
2.80/2.52	c flip 20000 nbSat=541003 maxSat=541004
3.00/2.61	c flip 30000 nbSat=561227 maxSat=561227
3.20/2.71	c flip 40000 nbSat=581199 maxSat=581209
3.40/2.83	c flip 50000 nbSat=594699 maxSat=594754
3.80/3.00	c flip 60000 nbSat=604565 maxSat=604566
3.99/3.18	c flip 70000 nbSat=612277 maxSat=612304
4.59/3.40	c flip 80000 nbSat=622160 maxSat=622413
4.99/3.62	c flip 90000 nbSat=633991 maxSat=633991
5.39/3.87	c flip 100000 nbSat=648760 maxSat=648837
5.99/4.15	c flip 110000 nbSat=666812 maxSat=667213
6.59/4.42	c flip 120000 nbSat=682382 maxSat=682709
7.18/4.71	c flip 130000 nbSat=701998 maxSat=702272
7.78/5.03	c flip 140000 nbSat=725501 maxSat=725957
8.39/5.34	c flip 150000 nbSat=744813 maxSat=745455
8.98/5.66	c flip 160000 nbSat=768904 maxSat=769433
9.58/5.98	c flip 170000 nbSat=789946 maxSat=790552
10.38/6.34	c flip 180000 nbSat=816355 maxSat=816741
11.17/6.70	c flip 190000 nbSat=845319 maxSat=845989
11.77/7.06	c flip 200000 nbSat=868760 maxSat=869575
12.57/7.43	c flip 210000 nbSat=894535 maxSat=896012
13.36/7.82	c flip 220000 nbSat=936576 maxSat=937865
14.16/8.21	c flip 230000 nbSat=967512 maxSat=970166
14.76/8.59	c flip 240000 nbSat=998613 maxSat=998745
15.56/8.98	c flip 250000 nbSat=1033440 maxSat=1036744
16.36/9.38	c flip 260000 nbSat=1073929 maxSat=1076918
17.36/9.80	c flip 270000 nbSat=1114400 maxSat=1121289
18.15/10.26	c flip 280000 nbSat=1160178 maxSat=1162701
19.15/10.71	c flip 290000 nbSat=1221973 maxSat=1230099
19.95/11.17	c flip 300000 nbSat=1253724 maxSat=1260039
20.95/11.66	c flip 310000 nbSat=1328091 maxSat=1332911
21.95/12.15	c flip 320000 nbSat=1407463 maxSat=1410839
22.94/12.64	c flip 330000 nbSat=1471504 maxSat=1474640
23.95/13.16	c flip 340000 nbSat=1538982 maxSat=1560388
25.14/13.71	c flip 350000 nbSat=1619582 maxSat=1625920
26.14/14.24	c flip 360000 nbSat=1695451 maxSat=1701764
27.13/14.78	c flip 370000 nbSat=1754764 maxSat=1761134
28.34/15.33	c flip 380000 nbSat=1854776 maxSat=1864704
29.33/15.88	c flip 390000 nbSat=1959448 maxSat=1959448
30.53/16.43	c flip 400000 nbSat=2058712 maxSat=2066903
31.53/16.99	c flip 410000 nbSat=2090289 maxSat=2128852
32.73/17.57	c flip 420000 nbSat=2198157 maxSat=2205210
33.92/18.14	c flip 430000 nbSat=2274192 maxSat=2292907
35.12/18.75	c flip 440000 nbSat=2386898 maxSat=2403341
36.30/19.34	c flip 450000 nbSat=2475835 maxSat=2475835
37.50/19.92	c flip 460000 nbSat=2608120 maxSat=2620136
38.70/20.52	c flip 470000 nbSat=2695586 maxSat=2705707
39.90/21.12	c flip 480000 nbSat=2809195 maxSat=2809214
41.10/21.71	c flip 490000 nbSat=2932434 maxSat=2939318
42.29/22.30	c flip 500000 nbSat=3000968 maxSat=3015848
43.29/22.89	c flip 510000 nbSat=3089974 maxSat=3113846
44.48/23.48	c flip 520000 nbSat=3196615 maxSat=3205236
45.68/24.07	c flip 530000 nbSat=3315532 maxSat=3327142
46.88/24.68	c flip 540000 nbSat=3397930 maxSat=3410855
48.08/25.27	c flip 550000 nbSat=3475408 maxSat=3482487
49.28/25.88	c flip 560000 nbSat=3587108 maxSat=3610147
50.48/26.48	c flip 570000 nbSat=3613621 maxSat=3614030
51.67/27.08	c flip 580000 nbSat=3754213 maxSat=3769487
52.86/27.68	c flip 590000 nbSat=3869281 maxSat=3877362
54.06/28.29	c flip 600000 nbSat=3922208 maxSat=3958212
55.46/28.90	c flip 610000 nbSat=3911606 maxSat=3960873
56.66/29.51	c flip 620000 nbSat=4105041 maxSat=4106605
57.85/30.13	c flip 630000 nbSat=4186392 maxSat=4202813
59.06/30.75	c flip 640000 nbSat=4245918 maxSat=4292787
60.25/31.37	c flip 650000 nbSat=4345163 maxSat=4365395
61.46/31.99	c flip 660000 nbSat=4516501 maxSat=4533051
62.85/32.60	c flip 670000 nbSat=4530229 maxSat=4545949
64.04/33.21	c flip 680000 nbSat=4634553 maxSat=4672677
65.24/33.83	c flip 690000 nbSat=4713597 maxSat=4746399
66.43/34.45	c flip 700000 nbSat=4831575 maxSat=4868388
67.63/35.06	c flip 710000 nbSat=4803830 maxSat=4892578
68.83/35.67	c flip 720000 nbSat=4981477 maxSat=5013080
70.03/36.28	c flip 730000 nbSat=5011829 maxSat=5041949
71.22/36.89	c flip 740000 nbSat=5028185 maxSat=5072639
72.62/37.50	c flip 750000 nbSat=5147682 maxSat=5207156
73.82/38.10	c flip 760000 nbSat=5283348 maxSat=5332891
75.02/38.72	c flip 770000 nbSat=5322937 maxSat=5380064
76.22/39.33	c flip 780000 nbSat=5460041 maxSat=5503313
77.41/39.94	c flip 790000 nbSat=5527632 maxSat=5581535
78.61/40.54	c flip 800000 nbSat=5602778 maxSat=5626964
79.80/41.15	c flip 810000 nbSat=5807263 maxSat=5815056
81.01/41.76	c flip 820000 nbSat=5864350 maxSat=5943610
82.20/42.34	c flip 830000 nbSat=5961040 maxSat=5968514
83.40/42.93	c flip 840000 nbSat=5997244 maxSat=6064879
84.59/43.55	c flip 850000 nbSat=6017721 maxSat=6090228
85.78/44.15	c flip 860000 nbSat=6077120 maxSat=6132013
86.98/44.74	c flip 870000 nbSat=6158991 maxSat=6207534
88.18/45.34	c flip 880000 nbSat=6197287 maxSat=6262364
89.38/45.93	c flip 890000 nbSat=6154293 maxSat=6262364
90.57/46.54	c flip 900000 nbSat=6312307 maxSat=6316641
91.77/47.15	c flip 910000 nbSat=6280701 maxSat=6381384
92.97/47.76	c flip 920000 nbSat=6373322 maxSat=6430073
94.17/48.37	c flip 930000 nbSat=6454428 maxSat=6571648
95.36/48.95	c flip 940000 nbSat=6461591 maxSat=6571648
96.57/49.57	c flip 950000 nbSat=6701074 maxSat=6742731
97.76/50.17	c flip 960000 nbSat=6680284 maxSat=6742731
98.95/50.78	c flip 970000 nbSat=6807347 maxSat=6842667
100.15/51.39	c flip 980000 nbSat=6832484 maxSat=6887210
101.55/52.00	c flip 990000 nbSat=6955220 maxSat=6996713
102.75/52.62	c flip 1000000 nbSat=6980418 maxSat=7024536
103.94/53.23	c flip 1010000 nbSat=7022625 maxSat=7142464
105.15/53.83	c flip 1020000 nbSat=7169386 maxSat=7195554
106.34/54.41	c flip 1030000 nbSat=7102344 maxSat=7199570
107.54/55.01	c flip 1040000 nbSat=7150557 maxSat=7256320
108.73/55.61	c flip 1050000 nbSat=7212584 maxSat=7276421
109.93/56.23	c flip 1060000 nbSat=7234005 maxSat=7406727
111.13/56.84	c flip 1070000 nbSat=7389761 maxSat=7478234
112.33/57.46	c flip 1080000 nbSat=7442354 maxSat=7547751
113.52/58.07	c flip 1090000 nbSat=7598807 maxSat=7645603
114.72/58.66	c flip 1100000 nbSat=7495953 maxSat=7661284
115.92/59.26	c flip 1110000 nbSat=7780665 maxSat=7833668
117.11/59.87	c flip 1120000 nbSat=7866350 maxSat=7918334
118.32/60.48	c flip 1130000 nbSat=7833012 maxSat=7918334
119.51/61.08	c flip 1140000 nbSat=7921207 maxSat=7992734
120.72/61.68	c flip 1150000 nbSat=8066594 maxSat=8129527
121.91/62.26	c flip 1160000 nbSat=8049640 maxSat=8129527
123.10/62.88	c flip 1170000 nbSat=8002675 maxSat=8176830
124.30/63.47	c flip 1180000 nbSat=8262196 maxSat=8355453
125.49/64.10	c flip 1190000 nbSat=8138054 maxSat=8421313
126.88/64.70	c flip 1200000 nbSat=8224890 maxSat=8421313
127.88/65.29	c flip 1210000 nbSat=8334833 maxSat=8421313
129.08/65.88	c flip 1220000 nbSat=8540024 maxSat=8540024
130.28/66.48	c flip 1230000 nbSat=8576142 maxSat=8616950
131.48/67.08	c flip 1240000 nbSat=8516484 maxSat=8616950
132.67/67.68	c flip 1250000 nbSat=8510189 maxSat=8654894
133.87/68.27	c flip 1260000 nbSat=8575073 maxSat=8701570
135.07/68.84	c flip 1270000 nbSat=8612855 maxSat=8701570
136.26/69.46	c flip 1280000 nbSat=8775011 maxSat=8907975
137.46/70.06	c flip 1290000 nbSat=8716995 maxSat=8907975
138.66/70.67	c flip 1300000 nbSat=8905618 maxSat=8951342
139.85/71.27	c flip 1310000 nbSat=8955163 maxSat=8978173
141.05/71.85	c flip 1320000 nbSat=9047577 maxSat=9137562
142.25/72.44	c flip 1330000 nbSat=8986904 maxSat=9137562
143.45/73.03	c flip 1340000 nbSat=9103388 maxSat=9137562
144.65/73.63	c flip 1350000 nbSat=9131985 maxSat=9158767
145.84/74.22	c flip 1360000 nbSat=9024378 maxSat=9239382
147.04/74.81	c flip 1370000 nbSat=9206752 maxSat=9264326
148.24/75.43	c flip 1380000 nbSat=9343604 maxSat=9348983
149.43/76.05	c flip 1390000 nbSat=9448554 maxSat=9506924
150.63/76.66	c flip 1400000 nbSat=9370203 maxSat=9506924
151.83/77.25	c flip 1410000 nbSat=9567495 maxSat=9582827
153.03/77.85	c flip 1420000 nbSat=9538509 maxSat=9636976
154.22/78.46	c flip 1430000 nbSat=9686501 maxSat=9741910
155.42/79.07	c flip 1440000 nbSat=9575165 maxSat=9793522
156.62/79.68	c flip 1450000 nbSat=9571094 maxSat=9793522
157.82/80.28	c flip 1460000 nbSat=9777932 maxSat=9797677
159.21/80.91	c flip 1470000 nbSat=9745609 maxSat=9905040
160.41/81.53	c flip 1480000 nbSat=9645020 maxSat=9905040
161.61/82.13	c flip 1490000 nbSat=9899387 maxSat=10104922
162.81/82.72	c flip 1500000 nbSat=9881954 maxSat=10104922
164.00/83.32	c flip 1510000 nbSat=9940108 maxSat=10104922
165.20/83.94	c flip 1520000 nbSat=9905381 maxSat=10104922
166.40/84.54	c flip 1530000 nbSat=10068992 maxSat=10198544
167.59/85.14	c flip 1540000 nbSat=10201859 maxSat=10347308
168.80/85.75	c flip 1550000 nbSat=10526490 maxSat=10552451
169.99/86.36	c flip 1560000 nbSat=10285022 maxSat=10554784
171.19/86.97	c flip 1570000 nbSat=10131324 maxSat=10554784
172.38/87.56	c flip 1580000 nbSat=10445926 maxSat=10554784
173.57/88.17	c flip 1590000 nbSat=10598836 maxSat=10690278
174.77/88.77	c flip 1600000 nbSat=10344058 maxSat=10690278
175.96/89.36	c flip 1610000 nbSat=10422997 maxSat=10690278
177.16/89.95	c flip 1620000 nbSat=10503110 maxSat=10690278
178.36/90.55	c flip 1630000 nbSat=10561127 maxSat=10690278
179.56/91.15	c flip 1640000 nbSat=10699726 maxSat=10753821
180.75/91.74	c flip 1650000 nbSat=10701020 maxSat=10824860
181.96/92.35	c flip 1660000 nbSat=10588312 maxSat=10824860
183.15/92.96	c flip 1670000 nbSat=10668461 maxSat=10824860
184.35/93.56	c flip 1680000 nbSat=10803966 maxSat=10891295
185.54/94.15	c flip 1690000 nbSat=10763165 maxSat=10891295
186.74/94.77	c flip 1700000 nbSat=10741085 maxSat=10947183
187.94/95.39	c flip 1710000 nbSat=11097255 maxSat=11132795
189.33/96.00	c flip 1720000 nbSat=11156550 maxSat=11332639
190.33/96.58	c flip 1730000 nbSat=11153793 maxSat=11407650
191.53/97.18	c flip 1740000 nbSat=11175072 maxSat=11407650
192.73/97.79	c flip 1750000 nbSat=11292841 maxSat=11407650
193.93/98.37	c flip 1760000 nbSat=11424476 maxSat=11441722
195.13/98.97	c flip 1770000 nbSat=11420372 maxSat=11510288
196.32/99.58	c flip 1780000 nbSat=11625103 maxSat=11693287
197.52/100.18	c flip 1790000 nbSat=11405725 maxSat=11693287
198.71/100.76	c flip 1800000 nbSat=11419793 maxSat=11693287
199.91/101.37	c flip 1810000 nbSat=11580140 maxSat=11693287
201.11/101.96	c flip 1820000 nbSat=11599073 maxSat=11693287
202.30/102.54	c flip 1830000 nbSat=11709232 maxSat=11865798
203.50/103.12	c flip 1840000 nbSat=11552815 maxSat=11865798
204.70/103.72	c flip 1850000 nbSat=11693387 maxSat=11865798
205.90/104.31	c flip 1860000 nbSat=11726892 maxSat=11865798
206.89/104.89	c flip 1870000 nbSat=11832604 maxSat=12048561
208.09/105.48	c flip 1880000 nbSat=11863754 maxSat=12048561
209.29/106.08	c flip 1890000 nbSat=12127434 maxSat=12168376
210.49/106.65	c flip 1900000 nbSat=12070681 maxSat=12266959
211.68/107.23	c flip 1910000 nbSat=12061047 maxSat=12331835
212.89/107.82	c flip 1920000 nbSat=12284215 maxSat=12331835
214.08/108.40	c flip 1930000 nbSat=12208291 maxSat=12341433
215.07/108.98	c flip 1940000 nbSat=12276361 maxSat=12395121
216.26/109.58	c flip 1950000 nbSat=12184533 maxSat=12457806
217.46/110.17	c flip 1960000 nbSat=12644085 maxSat=12650066
218.66/110.75	c flip 1970000 nbSat=12551371 maxSat=12755700
219.86/111.34	c flip 1980000 nbSat=12486465 maxSat=12755700
221.06/111.93	c flip 1990000 nbSat=12535493 maxSat=12755700
222.25/112.51	c flip 2000000 nbSat=12724130 maxSat=12808626
223.25/113.09	c flip 2010000 nbSat=12654742 maxSat=12904770
224.45/113.69	c flip 2020000 nbSat=12570389 maxSat=12904770
225.64/114.27	c flip 2030000 nbSat=12567408 maxSat=12904770
226.84/114.86	c flip 2040000 nbSat=12778844 maxSat=12947533
228.04/115.46	c flip 2050000 nbSat=12562353 maxSat=12947533
229.23/116.05	c flip 2060000 nbSat=12640912 maxSat=12947533
230.44/116.63	c flip 2070000 nbSat=12320169 maxSat=12947533
231.63/117.22	c flip 2080000 nbSat=12810522 maxSat=12947533
232.83/117.80	c flip 2090000 nbSat=12795944 maxSat=13011773
233.82/118.37	c flip 2100000 nbSat=12748082 maxSat=13011773
235.02/118.95	c flip 2110000 nbSat=12782932 maxSat=13011773
236.22/119.54	c flip 2120000 nbSat=12898403 maxSat=13027728
237.41/120.11	c flip 2130000 nbSat=13295034 maxSat=13409620
238.61/120.70	c flip 2140000 nbSat=13263662 maxSat=13461513
239.61/121.29	c flip 2150000 nbSat=13215542 maxSat=13461513
240.80/121.86	c flip 2160000 nbSat=13290742 maxSat=13461513
242.00/122.45	c flip 2170000 nbSat=13517172 maxSat=13517172
243.20/123.03	c flip 2180000 nbSat=13416668 maxSat=13610767
244.40/123.62	c flip 2190000 nbSat=13072193 maxSat=13610767
245.40/124.19	c flip 2200000 nbSat=13600578 maxSat=13665988
246.59/124.80	c flip 2210000 nbSat=13368626 maxSat=13668455
247.80/125.38	c flip 2220000 nbSat=13391100 maxSat=13668455
248.99/125.95	c flip 2230000 nbSat=13317211 maxSat=13668455
250.19/126.54	c flip 2240000 nbSat=13586257 maxSat=13715976
251.38/127.11	c flip 2250000 nbSat=13458244 maxSat=13773070
252.38/127.68	c flip 2260000 nbSat=13583999 maxSat=13778265
253.58/128.27	c flip 2270000 nbSat=14015515 maxSat=14041404
254.77/128.86	c flip 2280000 nbSat=13985639 maxSat=14203819
255.97/129.42	c flip 2290000 nbSat=14057658 maxSat=14203819
257.17/130.01	c flip 2300000 nbSat=14190607 maxSat=14344545
258.37/130.60	c flip 2310000 nbSat=13946787 maxSat=14344545
259.36/131.18	c flip 2320000 nbSat=13973007 maxSat=14344545
260.56/131.78	c flip 2330000 nbSat=14396656 maxSat=14460668
261.76/132.38	c flip 2340000 nbSat=14240011 maxSat=14536126
262.95/132.97	c flip 2350000 nbSat=14255587 maxSat=14536126
264.14/133.56	c flip 2360000 nbSat=14170333 maxSat=14536126
265.35/134.16	c flip 2370000 nbSat=14438967 maxSat=14536126
266.54/134.74	c flip 2380000 nbSat=14469336 maxSat=14578943
267.74/135.35	c flip 2390000 nbSat=14371897 maxSat=14578943
268.93/135.95	c flip 2400000 nbSat=14366867 maxSat=14767652
270.13/136.53	c flip 2410000 nbSat=14212540 maxSat=14767652
271.33/137.13	c flip 2420000 nbSat=14666457 maxSat=14773668
272.53/137.73	c flip 2430000 nbSat=14484425 maxSat=14784525
273.73/138.30	c flip 2440000 nbSat=14790542 maxSat=14823199
274.92/138.90	c flip 2450000 nbSat=14579071 maxSat=14899086
275.92/139.49	c flip 2460000 nbSat=14629515 maxSat=14899086
277.11/140.08	c flip 2470000 nbSat=14894593 maxSat=15021887
278.31/140.68	c flip 2480000 nbSat=14918870 maxSat=15133283
279.51/141.29	c flip 2490000 nbSat=14912118 maxSat=15266070
280.71/141.85	c flip 2500000 nbSat=15062648 maxSat=15266070
281.91/142.45	c flip 2510000 nbSat=15425565 maxSat=15533640
283.11/143.05	c flip 2520000 nbSat=15314463 maxSat=15533640
284.30/143.62	c flip 2530000 nbSat=15387460 maxSat=15533640
285.50/144.23	c flip 2540000 nbSat=15555164 maxSat=15660269
286.70/144.82	c flip 2550000 nbSat=15662074 maxSat=15662074
287.69/145.40	c flip 2560000 nbSat=15507265 maxSat=15792159
288.89/146.00	c flip 2570000 nbSat=15261320 maxSat=15792159
290.09/146.57	c flip 2580000 nbSat=15370862 maxSat=15792159
291.29/147.14	c flip 2590000 nbSat=15512964 maxSat=15792159
292.48/147.74	c flip 2600000 nbSat=15493818 maxSat=15792159
293.68/148.32	c flip 2610000 nbSat=15599124 maxSat=15792159
294.88/148.91	c flip 2620000 nbSat=15672678 maxSat=15792159
296.08/149.51	c flip 2630000 nbSat=15468171 maxSat=15818587
297.07/150.09	c flip 2640000 nbSat=15723613 maxSat=15849576
298.27/150.68	c flip 2650000 nbSat=15451723 maxSat=15849576
299.47/151.29	c flip 2660000 nbSat=15646831 maxSat=15901525
300.67/151.86	c flip 2670000 nbSat=15695360 maxSat=15901525
301.86/152.46	c flip 2680000 nbSat=15604519 maxSat=16005937
303.06/153.04	c flip 2690000 nbSat=15713345 maxSat=16045546
304.26/153.62	c flip 2700000 nbSat=15891696 maxSat=16045546
305.45/154.22	c flip 2710000 nbSat=15615692 maxSat=16045546
306.44/154.79	c flip 2720000 nbSat=15897031 maxSat=16079711
307.64/155.39	c flip 2730000 nbSat=15693302 maxSat=16079711
308.84/155.99	c flip 2740000 nbSat=15554202 maxSat=16079711
310.03/156.57	c flip 2750000 nbSat=15566125 maxSat=16079711
311.23/157.18	c flip 2760000 nbSat=15830558 maxSat=16079711
312.43/157.78	c flip 2770000 nbSat=15927193 maxSat=16079711
313.63/158.37	c flip 2780000 nbSat=15685501 maxSat=16079711
314.83/158.97	c flip 2790000 nbSat=16129042 maxSat=16188655
316.03/159.55	c flip 2800000 nbSat=15941816 maxSat=16315030
317.22/160.13	c flip 2810000 nbSat=15847001 maxSat=16315030
318.42/160.73	c flip 2820000 nbSat=16178743 maxSat=16315030
319.62/161.32	c flip 2830000 nbSat=16238844 maxSat=16315030
321.01/162.03	c flip 0 nbSat=501407 maxSat=16315030
321.21/162.13	c flip 10000 nbSat=521227 maxSat=16315030
321.41/162.23	c flip 20000 nbSat=541323 maxSat=16315030
321.61/162.32	c flip 30000 nbSat=561696 maxSat=16315030
321.81/162.42	c flip 40000 nbSat=582693 maxSat=16315030
322.01/162.53	c flip 50000 nbSat=595420 maxSat=16315030
322.41/162.71	c flip 60000 nbSat=606531 maxSat=16315030
322.61/162.89	c flip 70000 nbSat=616730 maxSat=16315030
323.00/163.09	c flip 80000 nbSat=630136 maxSat=16315030
323.60/163.31	c flip 90000 nbSat=643934 maxSat=16315030
324.00/163.55	c flip 100000 nbSat=660687 maxSat=16315030
324.61/163.81	c flip 110000 nbSat=679639 maxSat=16315030
325.00/164.08	c flip 120000 nbSat=697120 maxSat=16315030
325.60/164.35	c flip 130000 nbSat=715652 maxSat=16315030
326.20/164.65	c flip 140000 nbSat=736179 maxSat=16315030
326.81/164.95	c flip 150000 nbSat=758206 maxSat=16315030
327.40/165.24	c flip 160000 nbSat=778648 maxSat=16315030
328.00/165.55	c flip 170000 nbSat=802445 maxSat=16315030
328.80/165.91	c flip 180000 nbSat=832962 maxSat=16315030
329.39/166.25	c flip 190000 nbSat=863089 maxSat=16315030
329.99/166.59	c flip 200000 nbSat=883211 maxSat=16315030
330.79/166.95	c flip 210000 nbSat=915097 maxSat=16315030
331.59/167.31	c flip 220000 nbSat=951813 maxSat=16315030
332.39/167.70	c flip 230000 nbSat=981369 maxSat=16315030
332.99/168.08	c flip 240000 nbSat=1008187 maxSat=16315030
333.79/168.47	c flip 250000 nbSat=1051672 maxSat=16315030
334.58/168.88	c flip 260000 nbSat=1084670 maxSat=16315030
335.59/169.31	c flip 270000 nbSat=1133298 maxSat=16315030
336.38/169.75	c flip 280000 nbSat=1184795 maxSat=16315030
337.38/170.23	c flip 290000 nbSat=1262891 maxSat=16315030
338.37/170.70	c flip 300000 nbSat=1324550 maxSat=16315030
339.17/171.17	c flip 310000 nbSat=1384378 maxSat=16315030
340.18/171.67	c flip 320000 nbSat=1447135 maxSat=16315030
341.17/172.17	c flip 330000 nbSat=1518553 maxSat=16315030
342.17/172.69	c flip 340000 nbSat=1582026 maxSat=16315030
343.36/173.21	c flip 350000 nbSat=1639572 maxSat=16315030
344.37/173.76	c flip 360000 nbSat=1737641 maxSat=16315030
345.36/174.29	c flip 370000 nbSat=1819826 maxSat=16315030
346.56/174.83	c flip 380000 nbSat=1892011 maxSat=16315030
347.55/175.36	c flip 390000 nbSat=1953708 maxSat=16315030
348.76/175.91	c flip 400000 nbSat=1983645 maxSat=16315030
349.75/176.46	c flip 410000 nbSat=2133692 maxSat=16315030
350.95/177.02	c flip 420000 nbSat=2224054 maxSat=16315030
351.95/177.59	c flip 430000 nbSat=2299180 maxSat=16315030
353.15/178.18	c flip 440000 nbSat=2396155 maxSat=16315030
354.34/178.79	c flip 450000 nbSat=2390839 maxSat=16315030
355.54/179.38	c flip 460000 nbSat=2459334 maxSat=16315030
356.73/179.97	c flip 470000 nbSat=2579999 maxSat=16315030
357.92/180.55	c flip 480000 nbSat=2675637 maxSat=16315030
359.12/181.13	c flip 490000 nbSat=2762070 maxSat=16315030
360.32/181.72	c flip 500000 nbSat=2889958 maxSat=16315030
361.52/182.32	c flip 510000 nbSat=3048738 maxSat=16315030
362.71/182.93	c flip 520000 nbSat=3080519 maxSat=16315030
363.91/183.53	c flip 530000 nbSat=3199779 maxSat=16315030
365.11/184.13	c flip 540000 nbSat=3278254 maxSat=16315030
366.31/184.74	c flip 550000 nbSat=3333917 maxSat=16315030
367.50/185.33	c flip 560000 nbSat=3441490 maxSat=16315030
368.71/185.93	c flip 570000 nbSat=3505139 maxSat=16315030
369.90/186.54	c flip 580000 nbSat=3504686 maxSat=16315030
371.09/187.15	c flip 590000 nbSat=3658064 maxSat=16315030
372.29/187.76	c flip 600000 nbSat=3767552 maxSat=16315030
373.49/188.38	c flip 610000 nbSat=3807832 maxSat=16315030
374.89/189.00	c flip 620000 nbSat=4043480 maxSat=16315030
376.09/189.63	c flip 630000 nbSat=4022008 maxSat=16315030
377.29/190.26	c flip 640000 nbSat=4154495 maxSat=16315030
378.48/190.87	c flip 650000 nbSat=4232948 maxSat=16315030
379.87/191.50	c flip 660000 nbSat=4350013 maxSat=16315030
381.07/192.12	c flip 670000 nbSat=4304705 maxSat=16315030
382.27/192.75	c flip 680000 nbSat=4436746 maxSat=16315030
383.47/193.36	c flip 690000 nbSat=4507002 maxSat=16315030
384.67/193.99	c flip 700000 nbSat=4684799 maxSat=16315030
386.07/194.60	c flip 710000 nbSat=4744448 maxSat=16315030
387.26/195.22	c flip 720000 nbSat=4799629 maxSat=16315030
388.46/195.84	c flip 730000 nbSat=4907488 maxSat=16315030
389.65/196.46	c flip 740000 nbSat=5083141 maxSat=16315030
390.85/197.08	c flip 750000 nbSat=5143759 maxSat=16315030
392.25/197.70	c flip 760000 nbSat=5196841 maxSat=16315030
393.44/198.33	c flip 770000 nbSat=5249377 maxSat=16315030
394.65/198.96	c flip 780000 nbSat=5435490 maxSat=16315030
395.83/199.59	c flip 790000 nbSat=5474467 maxSat=16315030
397.03/200.18	c flip 800000 nbSat=5344505 maxSat=16315030
398.42/200.81	c flip 810000 nbSat=5460457 maxSat=16315030
399.62/201.44	c flip 820000 nbSat=5673823 maxSat=16315030
400.82/202.06	c flip 830000 nbSat=5630228 maxSat=16315030
402.02/202.69	c flip 840000 nbSat=5675473 maxSat=16315030
403.42/203.31	c flip 850000 nbSat=5763548 maxSat=16315030
404.61/203.94	c flip 860000 nbSat=5756290 maxSat=16315030
405.82/204.57	c flip 870000 nbSat=5918997 maxSat=16315030
407.01/205.20	c flip 880000 nbSat=5931330 maxSat=16315030
408.40/205.83	c flip 890000 nbSat=6159358 maxSat=16315030
409.60/206.42	c flip 900000 nbSat=6151579 maxSat=16315030
410.79/207.04	c flip 910000 nbSat=6171710 maxSat=16315030
411.99/207.66	c flip 920000 nbSat=6352385 maxSat=16315030
413.19/208.29	c flip 930000 nbSat=6373340 maxSat=16315030
414.59/208.91	c flip 940000 nbSat=6447183 maxSat=16315030
415.79/209.53	c flip 950000 nbSat=6521574 maxSat=16315030
416.99/210.16	c flip 960000 nbSat=6536727 maxSat=16315030
418.18/210.79	c flip 970000 nbSat=6546526 maxSat=16315030
419.58/211.40	c flip 980000 nbSat=6564025 maxSat=16315030
420.77/212.03	c flip 990000 nbSat=6590538 maxSat=16315030
421.97/212.66	c flip 1000000 nbSat=6906185 maxSat=16315030
423.17/213.29	c flip 1010000 nbSat=6976394 maxSat=16315030
424.57/213.92	c flip 1020000 nbSat=6907946 maxSat=16315030
425.77/214.55	c flip 1030000 nbSat=6935008 maxSat=16315030
426.96/215.18	c flip 1040000 nbSat=7036623 maxSat=16315030
428.16/215.78	c flip 1050000 nbSat=7110260 maxSat=16315030
429.56/216.41	c flip 1060000 nbSat=7214699 maxSat=16315030
430.75/217.04	c flip 1070000 nbSat=7255347 maxSat=16315030
431.95/217.68	c flip 1080000 nbSat=7159183 maxSat=16315030
433.35/218.31	c flip 1090000 nbSat=7251186 maxSat=16315030
434.55/218.95	c flip 1100000 nbSat=7349539 maxSat=16315030
435.74/219.57	c flip 1110000 nbSat=7426326 maxSat=16315030
436.94/220.20	c flip 1120000 nbSat=7464324 maxSat=16315030
438.34/220.83	c flip 1130000 nbSat=7621251 maxSat=16315030
439.53/221.45	c flip 1140000 nbSat=7591751 maxSat=16315030
440.73/222.08	c flip 1150000 nbSat=7792098 maxSat=16315030
442.13/222.71	c flip 1160000 nbSat=7886297 maxSat=16315030
443.33/223.32	c flip 1170000 nbSat=7935304 maxSat=16315030
444.52/223.94	c flip 1180000 nbSat=7903796 maxSat=16315030
445.72/224.57	c flip 1190000 nbSat=7914202 maxSat=16315030
446.91/225.19	c flip 1200000 nbSat=8090432 maxSat=16315030
448.30/225.82	c flip 1210000 nbSat=8206368 maxSat=16315030
449.50/226.40	c flip 1220000 nbSat=8185116 maxSat=16315030
450.70/227.02	c flip 1230000 nbSat=8273398 maxSat=16315030
451.90/227.63	c flip 1240000 nbSat=8359166 maxSat=16315030
453.10/228.25	c flip 1250000 nbSat=8219838 maxSat=16315030
454.30/228.86	c flip 1260000 nbSat=8472440 maxSat=16315030
455.49/229.47	c flip 1270000 nbSat=8407510 maxSat=16315030
456.69/230.07	c flip 1280000 nbSat=8612415 maxSat=16315030
457.89/230.68	c flip 1290000 nbSat=8719395 maxSat=16315030
459.08/231.28	c flip 1300000 nbSat=8532330 maxSat=16315030
460.28/231.89	c flip 1310000 nbSat=8744761 maxSat=16315030
461.48/232.49	c flip 1320000 nbSat=8827052 maxSat=16315030
462.68/233.06	c flip 1330000 nbSat=8888247 maxSat=16315030
463.87/233.66	c flip 1340000 nbSat=8889650 maxSat=16315030
465.08/234.27	c flip 1350000 nbSat=8858883 maxSat=16315030
466.27/234.87	c flip 1360000 nbSat=9289949 maxSat=16315030
467.47/235.47	c flip 1370000 nbSat=9359040 maxSat=16315030
468.66/236.06	c flip 1380000 nbSat=9369738 maxSat=16315030
469.86/236.67	c flip 1390000 nbSat=9393760 maxSat=16315030
471.06/237.27	c flip 1400000 nbSat=9571086 maxSat=16315030
472.25/237.87	c flip 1410000 nbSat=9407911 maxSat=16315030
473.45/238.47	c flip 1420000 nbSat=9492460 maxSat=16315030
474.65/239.06	c flip 1430000 nbSat=9598296 maxSat=16315030
475.85/239.67	c flip 1440000 nbSat=9602603 maxSat=16315030
477.05/240.28	c flip 1450000 nbSat=9731580 maxSat=16315030
478.25/240.89	c flip 1460000 nbSat=9626769 maxSat=16315030
479.44/241.49	c flip 1470000 nbSat=9884088 maxSat=16315030
480.83/242.10	c flip 1480000 nbSat=9648801 maxSat=16315030
482.03/242.70	c flip 1490000 nbSat=9641302 maxSat=16315030
483.23/243.31	c flip 1500000 nbSat=9786260 maxSat=16315030
484.42/243.92	c flip 1510000 nbSat=9852842 maxSat=16315030
485.62/244.52	c flip 1520000 nbSat=9777341 maxSat=16315030
486.82/245.13	c flip 1530000 nbSat=9929078 maxSat=16315030
488.01/245.74	c flip 1540000 nbSat=9875667 maxSat=16315030
489.21/246.34	c flip 1550000 nbSat=9900110 maxSat=16315030
490.40/246.94	c flip 1560000 nbSat=10077922 maxSat=16315030
491.61/247.54	c flip 1570000 nbSat=10171738 maxSat=16315030
492.80/248.13	c flip 1580000 nbSat=10265731 maxSat=16315030
493.99/248.74	c flip 1590000 nbSat=10326749 maxSat=16315030
495.19/249.33	c flip 1600000 nbSat=10359215 maxSat=16315030
496.39/249.92	c flip 1610000 nbSat=10499566 maxSat=16315030
497.59/250.53	c flip 1620000 nbSat=10424845 maxSat=16315030
498.78/251.13	c flip 1630000 nbSat=10534030 maxSat=16315030
499.98/251.74	c flip 1640000 nbSat=10763954 maxSat=16315030
501.18/252.33	c flip 1650000 nbSat=10845586 maxSat=16315030
502.38/252.94	c flip 1660000 nbSat=10915554 maxSat=16315030
503.57/253.55	c flip 1670000 nbSat=10625824 maxSat=16315030
504.78/254.14	c flip 1680000 nbSat=10853276 maxSat=16315030
505.97/254.75	c flip 1690000 nbSat=10764143 maxSat=16315030
507.17/255.36	c flip 1700000 nbSat=10715839 maxSat=16315030
508.36/255.97	c flip 1710000 nbSat=10822437 maxSat=16315030
509.56/256.57	c flip 1720000 nbSat=11044601 maxSat=16315030
510.76/257.19	c flip 1730000 nbSat=10753486 maxSat=16315030
512.15/257.80	c flip 1740000 nbSat=10887616 maxSat=16315030
513.36/258.42	c flip 1750000 nbSat=10914145 maxSat=16315030
514.55/259.02	c flip 1760000 nbSat=11256352 maxSat=16315030
515.76/259.65	c flip 1770000 nbSat=11062147 maxSat=16315030
516.95/260.26	c flip 1780000 nbSat=11348271 maxSat=16315030
518.14/260.87	c flip 1790000 nbSat=11151273 maxSat=16315030
519.34/261.46	c flip 1800000 nbSat=11243833 maxSat=16315030
520.53/262.09	c flip 1810000 nbSat=11330265 maxSat=16315030
521.93/262.71	c flip 1820000 nbSat=11352324 maxSat=16315030
523.13/263.31	c flip 1830000 nbSat=11458764 maxSat=16315030
524.33/263.93	c flip 1840000 nbSat=11471226 maxSat=16315030
525.53/264.54	c flip 1850000 nbSat=11388151 maxSat=16315030
526.73/265.15	c flip 1860000 nbSat=11527281 maxSat=16315030
527.92/265.75	c flip 1870000 nbSat=11430533 maxSat=16315030
529.12/266.37	c flip 1880000 nbSat=11893574 maxSat=16315030
530.32/266.98	c flip 1890000 nbSat=11809565 maxSat=16315030
531.51/267.59	c flip 1900000 nbSat=11849706 maxSat=16315030
532.91/268.20	c flip 1910000 nbSat=11755109 maxSat=16315030
534.11/268.81	c flip 1920000 nbSat=11597660 maxSat=16315030
535.31/269.42	c flip 1930000 nbSat=11768933 maxSat=16315030
536.50/270.01	c flip 1940000 nbSat=11891244 maxSat=16315030
537.71/270.63	c flip 1950000 nbSat=12355973 maxSat=16315030
538.89/271.25	c flip 1960000 nbSat=12197686 maxSat=16315030
540.08/271.84	c flip 1970000 nbSat=12283401 maxSat=16315030
541.28/272.45	c flip 1980000 nbSat=12375308 maxSat=16315030
542.48/273.05	c flip 1990000 nbSat=12135748 maxSat=16315030
543.68/273.65	c flip 2000000 nbSat=12493444 maxSat=16315030
544.87/274.23	c flip 2010000 nbSat=12431426 maxSat=16315030
546.07/274.84	c flip 2020000 nbSat=12439874 maxSat=16315030
547.27/275.45	c flip 2030000 nbSat=12464219 maxSat=16315030
548.47/276.04	c flip 2040000 nbSat=12773687 maxSat=16315030
549.66/276.64	c flip 2050000 nbSat=12451272 maxSat=16315030
550.87/277.25	c flip 2060000 nbSat=12349257 maxSat=16315030
552.06/277.85	c flip 2070000 nbSat=12507660 maxSat=16315030
553.25/278.46	c flip 2080000 nbSat=12402145 maxSat=16315030
554.45/279.05	c flip 2090000 nbSat=12543674 maxSat=16315030
555.65/279.66	c flip 2100000 nbSat=12571478 maxSat=16315030
556.85/280.24	c flip 2110000 nbSat=12788189 maxSat=16315030
558.05/280.84	c flip 2120000 nbSat=12776247 maxSat=16315030
559.24/281.44	c flip 2130000 nbSat=12856857 maxSat=16315030
560.44/282.04	c flip 2140000 nbSat=13022856 maxSat=16315030
561.64/282.64	c flip 2150000 nbSat=13254699 maxSat=16315030
562.84/283.24	c flip 2160000 nbSat=13092363 maxSat=16315030
564.04/283.85	c flip 2170000 nbSat=13137279 maxSat=16315030
565.23/284.46	c flip 2180000 nbSat=13237053 maxSat=16315030
566.43/285.08	c flip 2190000 nbSat=13062894 maxSat=16315030
567.63/285.68	c flip 2200000 nbSat=12909632 maxSat=16315030
568.82/286.27	c flip 2210000 nbSat=13257695 maxSat=16315030
570.02/286.87	c flip 2220000 nbSat=13188454 maxSat=16315030
571.21/287.47	c flip 2230000 nbSat=13123714 maxSat=16315030
572.41/288.06	c flip 2240000 nbSat=13278074 maxSat=16315030
573.61/288.67	c flip 2250000 nbSat=13291280 maxSat=16315030
574.80/289.30	c flip 2260000 nbSat=13092496 maxSat=16315030
576.00/289.89	c flip 2270000 nbSat=13641416 maxSat=16315030
577.39/290.51	c flip 2280000 nbSat=13282142 maxSat=16315030
578.59/291.11	c flip 2290000 nbSat=13418584 maxSat=16315030
579.78/291.71	c flip 2300000 nbSat=13780475 maxSat=16315030
580.98/292.30	c flip 2310000 nbSat=13565086 maxSat=16315030
582.18/292.90	c flip 2320000 nbSat=13670345 maxSat=16315030
583.18/293.48	c flip 2330000 nbSat=13911425 maxSat=16315030
584.38/294.10	c flip 2340000 nbSat=13642905 maxSat=16315030
585.58/294.69	c flip 2350000 nbSat=14012699 maxSat=16315030
586.77/295.29	c flip 2360000 nbSat=14015753 maxSat=16315030
588.18/295.90	c flip 2370000 nbSat=14169060 maxSat=16315030
589.37/296.51	c flip 2380000 nbSat=14002391 maxSat=16315030
590.56/297.11	c flip 2390000 nbSat=14148844 maxSat=16315030
591.76/297.71	c flip 2400000 nbSat=14254796 maxSat=16315030
592.95/298.32	c flip 2410000 nbSat=14047304 maxSat=16315030
594.15/298.93	c flip 2420000 nbSat=13879602 maxSat=16315030
595.35/299.52	c flip 2430000 nbSat=13918450 maxSat=16315030
596.55/300.14	c flip 2440000 nbSat=13871129 maxSat=16315030
597.75/300.75	c flip 2450000 nbSat=14165434 maxSat=16315030
598.95/301.34	c flip 2460000 nbSat=14267457 maxSat=16315030
600.14/301.95	c flip 2470000 nbSat=14630832 maxSat=16315030
601.34/302.56	c flip 2480000 nbSat=14680659 maxSat=16315030
602.53/303.15	c flip 2490000 nbSat=14121771 maxSat=16315030
603.73/303.77	c flip 2500000 nbSat=14346995 maxSat=16315030
604.93/304.39	c flip 2510000 nbSat=14405029 maxSat=16315030
606.12/304.99	c flip 2520000 nbSat=14250049 maxSat=16315030
607.33/305.59	c flip 2530000 nbSat=14419435 maxSat=16315030
608.52/306.19	c flip 2540000 nbSat=14415388 maxSat=16315030
609.72/306.78	c flip 2550000 nbSat=14664887 maxSat=16315030
610.92/307.36	c flip 2560000 nbSat=14661839 maxSat=16315030
612.12/307.96	c flip 2570000 nbSat=14857339 maxSat=16315030
613.31/308.56	c flip 2580000 nbSat=14692833 maxSat=16315030
614.51/309.15	c flip 2590000 nbSat=14840981 maxSat=16315030
615.71/309.75	c flip 2600000 nbSat=14808021 maxSat=16315030
616.90/310.35	c flip 2610000 nbSat=15366574 maxSat=16315030
618.10/310.93	c flip 2620000 nbSat=15178102 maxSat=16315030
619.30/311.53	c flip 2630000 nbSat=14928548 maxSat=16315030
620.50/312.13	c flip 2640000 nbSat=14971999 maxSat=16315030
621.69/312.70	c flip 2650000 nbSat=15207493 maxSat=16315030
622.69/313.30	c flip 2660000 nbSat=15082654 maxSat=16315030
623.89/313.90	c flip 2670000 nbSat=15361658 maxSat=16315030
625.09/314.46	c flip 2680000 nbSat=15525655 maxSat=16315030
626.28/315.06	c flip 2690000 nbSat=15648784 maxSat=16315030
627.49/315.66	c flip 2700000 nbSat=15719832 maxSat=16315030
628.68/316.24	c flip 2710000 nbSat=15847556 maxSat=16315030
629.87/316.85	c flip 2720000 nbSat=15977948 maxSat=16315030
631.06/317.44	c flip 2730000 nbSat=15873209 maxSat=16315030
632.26/318.03	c flip 2740000 nbSat=16031458 maxSat=16315030
633.46/318.63	c flip 2750000 nbSat=16210884 maxSat=16315030
634.66/319.23	c flip 2760000 nbSat=15993002 maxSat=16420315
635.86/319.82	c flip 2770000 nbSat=16113027 maxSat=16420315
637.05/320.43	c flip 2780000 nbSat=16265432 maxSat=16439167
638.25/321.03	c flip 2790000 nbSat=16171996 maxSat=16610376
639.45/321.61	c flip 2800000 nbSat=16230693 maxSat=16610376
640.65/322.22	c flip 2810000 nbSat=15992458 maxSat=16610376
641.84/322.83	c flip 2820000 nbSat=15778561 maxSat=16610376
643.04/323.42	c flip 2830000 nbSat=16273913 maxSat=16610376
644.44/324.13	c flip 0 nbSat=499419 maxSat=16712200
644.64/324.23	c flip 10000 nbSat=521440 maxSat=16712200
644.84/324.32	c flip 20000 nbSat=542002 maxSat=16712200
645.04/324.42	c flip 30000 nbSat=561634 maxSat=16712200
645.24/324.52	c flip 40000 nbSat=581746 maxSat=16712200
645.43/324.63	c flip 50000 nbSat=594804 maxSat=16712200
645.63/324.79	c flip 60000 nbSat=605971 maxSat=16712200
646.03/324.97	c flip 70000 nbSat=615665 maxSat=16712200
646.43/325.18	c flip 80000 nbSat=627547 maxSat=16712200
646.83/325.39	c flip 90000 nbSat=641964 maxSat=16712200
647.44/325.63	c flip 100000 nbSat=657127 maxSat=16712200
647.83/325.88	c flip 110000 nbSat=676763 maxSat=16712200
648.43/326.15	c flip 120000 nbSat=694190 maxSat=16712200
649.03/326.42	c flip 130000 nbSat=712415 maxSat=16712200
649.63/326.74	c flip 140000 nbSat=739391 maxSat=16712200
650.22/327.04	c flip 150000 nbSat=761867 maxSat=16712200
650.82/327.35	c flip 160000 nbSat=781444 maxSat=16712200
651.42/327.67	c flip 170000 nbSat=804860 maxSat=16712200
652.22/328.04	c flip 180000 nbSat=829144 maxSat=16712200
652.81/328.39	c flip 190000 nbSat=857722 maxSat=16712200
653.61/328.73	c flip 200000 nbSat=890255 maxSat=16712200
654.21/329.09	c flip 210000 nbSat=924850 maxSat=16712200
655.01/329.48	c flip 220000 nbSat=963064 maxSat=16712200
655.81/329.85	c flip 230000 nbSat=999762 maxSat=16712200
656.61/330.24	c flip 240000 nbSat=1038129 maxSat=16712200
657.41/330.64	c flip 250000 nbSat=1084776 maxSat=16712200
658.21/331.06	c flip 260000 nbSat=1130552 maxSat=16712200
659.00/331.49	c flip 270000 nbSat=1170630 maxSat=16712200
660.00/331.98	c flip 280000 nbSat=1229986 maxSat=16712200
661.00/332.43	c flip 290000 nbSat=1280240 maxSat=16712200
662.00/332.91	c flip 300000 nbSat=1349160 maxSat=16712200
662.80/333.39	c flip 310000 nbSat=1428294 maxSat=16712200
663.79/333.88	c flip 320000 nbSat=1495180 maxSat=16712200
664.78/334.38	c flip 330000 nbSat=1557157 maxSat=16712200
665.98/334.92	c flip 340000 nbSat=1653149 maxSat=16712200
666.98/335.45	c flip 350000 nbSat=1700212 maxSat=16712200
667.97/335.98	c flip 360000 nbSat=1808996 maxSat=16712200
669.18/336.52	c flip 370000 nbSat=1885007 maxSat=16712200
670.17/337.05	c flip 380000 nbSat=1955502 maxSat=16712200
671.37/337.60	c flip 390000 nbSat=2043626 maxSat=16712200
672.36/338.14	c flip 400000 nbSat=2119101 maxSat=16712200
673.36/338.69	c flip 410000 nbSat=2199029 maxSat=16712200
674.56/339.24	c flip 420000 nbSat=2254871 maxSat=16712200
675.76/339.81	c flip 430000 nbSat=2348346 maxSat=16712200
676.75/340.39	c flip 440000 nbSat=2422307 maxSat=16712200
677.96/340.95	c flip 450000 nbSat=2450426 maxSat=16712200
679.15/341.52	c flip 460000 nbSat=2537951 maxSat=16712200
680.15/342.10	c flip 470000 nbSat=2672745 maxSat=16712200
681.34/342.68	c flip 480000 nbSat=2762886 maxSat=16712200
682.55/343.28	c flip 490000 nbSat=2896106 maxSat=16712200
683.74/343.86	c flip 500000 nbSat=2992097 maxSat=16712200
684.93/344.45	c flip 510000 nbSat=3083883 maxSat=16712200
686.13/345.04	c flip 520000 nbSat=3134057 maxSat=16712200
687.33/345.63	c flip 530000 nbSat=3239921 maxSat=16712200
688.53/346.22	c flip 540000 nbSat=3343335 maxSat=16712200
689.73/346.82	c flip 550000 nbSat=3388394 maxSat=16712200
690.92/347.41	c flip 560000 nbSat=3481232 maxSat=16712200
692.12/348.02	c flip 570000 nbSat=3526887 maxSat=16712200
693.32/348.63	c flip 580000 nbSat=3617649 maxSat=16712200
694.51/349.23	c flip 590000 nbSat=3695290 maxSat=16712200
695.72/349.84	c flip 600000 nbSat=3716817 maxSat=16712200
696.91/350.44	c flip 610000 nbSat=3849092 maxSat=16712200
698.11/351.06	c flip 620000 nbSat=3914128 maxSat=16712200
699.31/351.68	c flip 630000 nbSat=3926483 maxSat=16712200
700.50/352.29	c flip 640000 nbSat=4085917 maxSat=16712200
701.90/352.90	c flip 650000 nbSat=4233721 maxSat=16712200
703.10/353.53	c flip 660000 nbSat=4370746 maxSat=16712200
704.30/354.14	c flip 670000 nbSat=4341280 maxSat=16712200
705.49/354.77	c flip 680000 nbSat=4458974 maxSat=16712200
706.69/355.39	c flip 690000 nbSat=4598767 maxSat=16712200
708.09/356.01	c flip 700000 nbSat=4683801 maxSat=16712200
709.28/356.63	c flip 710000 nbSat=4808414 maxSat=16712200
710.48/357.25	c flip 720000 nbSat=4881368 maxSat=16712200
711.68/357.87	c flip 730000 nbSat=4935592 maxSat=16712200
712.88/358.49	c flip 740000 nbSat=5131972 maxSat=16712200
714.27/359.11	c flip 750000 nbSat=5233972 maxSat=16712200
715.48/359.74	c flip 760000 nbSat=5134058 maxSat=16712200
716.67/360.35	c flip 770000 nbSat=5260218 maxSat=16712200
717.86/360.97	c flip 780000 nbSat=5251491 maxSat=16712200
719.06/361.58	c flip 790000 nbSat=5534225 maxSat=16712200
720.26/362.18	c flip 800000 nbSat=5599873 maxSat=16712200
721.45/362.79	c flip 810000 nbSat=5629767 maxSat=16712200
722.84/363.40	c flip 820000 nbSat=5820260 maxSat=16712200
724.05/364.02	c flip 830000 nbSat=5873389 maxSat=16712200
725.24/364.64	c flip 840000 nbSat=5930881 maxSat=16712200
726.44/365.26	c flip 850000 nbSat=6089932 maxSat=16712200
727.63/365.87	c flip 860000 nbSat=6166477 maxSat=16712200
728.83/366.49	c flip 870000 nbSat=6264935 maxSat=16712200
730.03/367.10	c flip 880000 nbSat=6425519 maxSat=16712200
731.42/367.71	c flip 890000 nbSat=6275749 maxSat=16712200
732.62/368.32	c flip 900000 nbSat=6455429 maxSat=16712200
733.82/368.91	c flip 910000 nbSat=6504817 maxSat=16712200
735.02/369.52	c flip 920000 nbSat=6493930 maxSat=16712200
736.22/370.14	c flip 930000 nbSat=6614316 maxSat=16712200
737.42/370.74	c flip 940000 nbSat=6759805 maxSat=16712200
738.61/371.34	c flip 950000 nbSat=6653323 maxSat=16712200
739.81/371.96	c flip 960000 nbSat=6735949 maxSat=16712200
741.01/372.56	c flip 970000 nbSat=6862571 maxSat=16712200
742.20/373.18	c flip 980000 nbSat=6957369 maxSat=16712200
743.40/373.77	c flip 990000 nbSat=7032538 maxSat=16712200
744.59/374.39	c flip 1000000 nbSat=6963936 maxSat=16712200
746.00/375.02	c flip 1010000 nbSat=7090185 maxSat=16712200
747.19/375.65	c flip 1020000 nbSat=7290568 maxSat=16712200
748.39/376.27	c flip 1030000 nbSat=7443011 maxSat=16712200
749.59/376.88	c flip 1040000 nbSat=7371787 maxSat=16712200
750.98/377.50	c flip 1050000 nbSat=7567692 maxSat=16712200
751.98/378.08	c flip 1060000 nbSat=7415861 maxSat=16712200
753.18/378.69	c flip 1070000 nbSat=7457199 maxSat=16712200
754.57/379.31	c flip 1080000 nbSat=7524827 maxSat=16712200
755.76/379.94	c flip 1090000 nbSat=7733050 maxSat=16712200
756.96/380.56	c flip 1100000 nbSat=7638285 maxSat=16712200
758.16/381.17	c flip 1110000 nbSat=7812228 maxSat=16712200
759.36/381.78	c flip 1120000 nbSat=7954494 maxSat=16712200
760.75/382.41	c flip 1130000 nbSat=8010949 maxSat=16712200
761.95/383.02	c flip 1140000 nbSat=8125505 maxSat=16712200
763.15/383.62	c flip 1150000 nbSat=8123161 maxSat=16712200
764.34/384.23	c flip 1160000 nbSat=8118374 maxSat=16712200
765.54/384.81	c flip 1170000 nbSat=8198719 maxSat=16712200
766.74/385.41	c flip 1180000 nbSat=8367749 maxSat=16712200
767.94/386.02	c flip 1190000 nbSat=8351465 maxSat=16712200
769.13/386.63	c flip 1200000 nbSat=8568391 maxSat=16712200
770.34/387.23	c flip 1210000 nbSat=8549837 maxSat=16712200
771.53/387.84	c flip 1220000 nbSat=8600219 maxSat=16712200
772.72/388.42	c flip 1230000 nbSat=8938230 maxSat=16712200
773.92/389.02	c flip 1240000 nbSat=8940769 maxSat=16712200
775.12/389.63	c flip 1250000 nbSat=8962991 maxSat=16712200
776.32/390.24	c flip 1260000 nbSat=8969780 maxSat=16712200
777.51/390.84	c flip 1270000 nbSat=8999815 maxSat=16712200
778.71/391.43	c flip 1280000 nbSat=8992278 maxSat=16712200
779.91/392.04	c flip 1290000 nbSat=9025615 maxSat=16712200
781.11/392.64	c flip 1300000 nbSat=9290357 maxSat=16712200
782.30/393.24	c flip 1310000 nbSat=9088994 maxSat=16712200
783.51/393.85	c flip 1320000 nbSat=8953235 maxSat=16712200
784.70/394.43	c flip 1330000 nbSat=9252439 maxSat=16712200
785.89/395.04	c flip 1340000 nbSat=9309939 maxSat=16712200
787.09/395.65	c flip 1350000 nbSat=9238049 maxSat=16712200
788.29/396.26	c flip 1360000 nbSat=9410203 maxSat=16712200
789.49/396.86	c flip 1370000 nbSat=9344047 maxSat=16712200
790.68/397.45	c flip 1380000 nbSat=9417409 maxSat=16712200
791.88/398.05	c flip 1390000 nbSat=9629380 maxSat=16712200
793.08/398.65	c flip 1400000 nbSat=9660867 maxSat=16712200
794.28/399.27	c flip 1410000 nbSat=9633369 maxSat=16712200
795.47/399.85	c flip 1420000 nbSat=9734861 maxSat=16712200
796.68/400.47	c flip 1430000 nbSat=9720652 maxSat=16712200
797.87/401.07	c flip 1440000 nbSat=9981681 maxSat=16712200
799.06/401.69	c flip 1450000 nbSat=10028925 maxSat=16712200
800.26/402.26	c flip 1460000 nbSat=10008968 maxSat=16712200
801.46/402.86	c flip 1470000 nbSat=10079804 maxSat=16712200
802.66/403.45	c flip 1480000 nbSat=10102283 maxSat=16712200
803.85/404.05	c flip 1490000 nbSat=10266866 maxSat=16712200
805.05/404.63	c flip 1500000 nbSat=10252343 maxSat=16712200
806.25/405.20	c flip 1510000 nbSat=10369815 maxSat=16712200
807.45/405.80	c flip 1520000 nbSat=10391720 maxSat=16712200
808.44/406.40	c flip 1530000 nbSat=10357577 maxSat=16712200
809.65/407.00	c flip 1540000 nbSat=10300622 maxSat=16712200
810.84/407.57	c flip 1550000 nbSat=10604245 maxSat=16712200
812.04/408.16	c flip 1560000 nbSat=10639052 maxSat=16712200
813.23/408.75	c flip 1570000 nbSat=11022921 maxSat=16712200
814.42/409.34	c flip 1580000 nbSat=10794485 maxSat=16712200
815.62/409.90	c flip 1590000 nbSat=11176021 maxSat=16712200
816.62/410.48	c flip 1600000 nbSat=11015128 maxSat=16712200
817.82/411.06	c flip 1610000 nbSat=10742847 maxSat=16712200
819.01/411.65	c flip 1620000 nbSat=10634715 maxSat=16712200
820.21/412.23	c flip 1630000 nbSat=10770197 maxSat=16712200
821.41/412.83	c flip 1640000 nbSat=10880724 maxSat=16712200
822.61/413.42	c flip 1650000 nbSat=10972670 maxSat=16712200
823.80/414.00	c flip 1660000 nbSat=11039785 maxSat=16712200
824.80/414.58	c flip 1670000 nbSat=11036842 maxSat=16712200
826.00/415.17	c flip 1680000 nbSat=11348217 maxSat=16712200
827.20/415.78	c flip 1690000 nbSat=11308086 maxSat=16712200
828.39/416.36	c flip 1700000 nbSat=11319437 maxSat=16712200
829.60/416.96	c flip 1710000 nbSat=11440842 maxSat=16712200
830.79/417.57	c flip 1720000 nbSat=11578779 maxSat=16712200
831.99/418.17	c flip 1730000 nbSat=11565404 maxSat=16712200
833.18/418.76	c flip 1740000 nbSat=11425621 maxSat=16712200
834.38/419.36	c flip 1750000 nbSat=11815004 maxSat=16712200
835.58/419.97	c flip 1760000 nbSat=11660279 maxSat=16712200
836.77/420.55	c flip 1770000 nbSat=11740050 maxSat=16712200
837.97/421.15	c flip 1780000 nbSat=11904012 maxSat=16712200
839.17/421.75	c flip 1790000 nbSat=11831112 maxSat=16712200
840.37/422.37	c flip 1800000 nbSat=11939154 maxSat=16712200
841.57/422.95	c flip 1810000 nbSat=12023415 maxSat=16712200
842.77/423.56	c flip 1820000 nbSat=11956496 maxSat=16712200
843.95/424.19	c flip 1830000 nbSat=12152350 maxSat=16712200
845.15/424.79	c flip 1840000 nbSat=12057118 maxSat=16712200
846.35/425.38	c flip 1850000 nbSat=11918136 maxSat=16712200
847.54/425.98	c flip 1860000 nbSat=11801482 maxSat=16712200
848.74/426.58	c flip 1870000 nbSat=12232879 maxSat=16712200
849.94/427.18	c flip 1880000 nbSat=12039741 maxSat=16712200
851.14/427.78	c flip 1890000 nbSat=12214300 maxSat=16712200
852.33/428.39	c flip 1900000 nbSat=12215634 maxSat=16712200
853.54/428.98	c flip 1910000 nbSat=12365062 maxSat=16712200
854.73/429.59	c flip 1920000 nbSat=12586390 maxSat=16712200
855.93/430.18	c flip 1930000 nbSat=12456577 maxSat=16712200
857.12/430.76	c flip 1940000 nbSat=12294926 maxSat=16712200
858.32/431.37	c flip 1950000 nbSat=12397881 maxSat=16712200
859.52/431.97	c flip 1960000 nbSat=12607278 maxSat=16712200
860.71/432.57	c flip 1970000 nbSat=12559565 maxSat=16712200
861.91/433.17	c flip 1980000 nbSat=12815918 maxSat=16712200
863.11/433.78	c flip 1990000 nbSat=12783693 maxSat=16712200
864.31/434.37	c flip 2000000 nbSat=12632249 maxSat=16712200
865.50/434.97	c flip 2010000 nbSat=12764249 maxSat=16712200
866.71/435.57	c flip 2020000 nbSat=12543685 maxSat=16712200
867.90/436.16	c flip 2030000 nbSat=12572478 maxSat=16712200
869.10/436.74	c flip 2040000 nbSat=12911720 maxSat=16712200
870.29/437.34	c flip 2050000 nbSat=12721626 maxSat=16712200
871.49/437.96	c flip 2060000 nbSat=12639660 maxSat=16712200
872.69/438.54	c flip 2070000 nbSat=12963390 maxSat=16712200
873.88/439.14	c flip 2080000 nbSat=12824778 maxSat=16712200
875.08/439.74	c flip 2090000 nbSat=13207307 maxSat=16712200
876.28/440.32	c flip 2100000 nbSat=13143746 maxSat=16712200
877.48/440.93	c flip 2110000 nbSat=13108630 maxSat=16712200
878.67/441.54	c flip 2120000 nbSat=13291432 maxSat=16712200
879.88/442.14	c flip 2130000 nbSat=13320459 maxSat=16712200
881.07/442.74	c flip 2140000 nbSat=13261602 maxSat=16712200
882.27/443.34	c flip 2150000 nbSat=13362254 maxSat=16712200
883.46/443.92	c flip 2160000 nbSat=13569574 maxSat=16712200
884.66/444.51	c flip 2170000 nbSat=13605263 maxSat=16712200
885.86/445.10	c flip 2180000 nbSat=13808108 maxSat=16712200
886.85/445.68	c flip 2190000 nbSat=13942413 maxSat=16712200
888.05/446.28	c flip 2200000 nbSat=13837976 maxSat=16712200
889.25/446.89	c flip 2210000 nbSat=13698951 maxSat=16712200
890.45/447.49	c flip 2220000 nbSat=13955712 maxSat=16712200
891.65/448.09	c flip 2230000 nbSat=14168802 maxSat=16712200
892.85/448.68	c flip 2240000 nbSat=14012299 maxSat=16712200
894.04/449.28	c flip 2250000 nbSat=14104918 maxSat=16712200
895.24/449.87	c flip 2260000 nbSat=14210630 maxSat=16712200
896.43/450.47	c flip 2270000 nbSat=13831128 maxSat=16712200
897.64/451.06	c flip 2280000 nbSat=13814727 maxSat=16712200
898.83/451.66	c flip 2290000 nbSat=13999366 maxSat=16712200
900.02/452.26	c flip 2300000 nbSat=14387650 maxSat=16712200
901.23/452.85	c flip 2310000 nbSat=14234976 maxSat=16712200
902.42/453.45	c flip 2320000 nbSat=14442888 maxSat=16712200
903.62/454.05	c flip 2330000 nbSat=14477400 maxSat=16712200
904.81/454.64	c flip 2340000 nbSat=14412293 maxSat=16712200
906.01/455.25	c flip 2350000 nbSat=14482578 maxSat=16712200
907.20/455.85	c flip 2360000 nbSat=14357704 maxSat=16712200
908.40/456.44	c flip 2370000 nbSat=14585784 maxSat=16712200
909.59/457.04	c flip 2380000 nbSat=14312287 maxSat=16712200
910.80/457.64	c flip 2390000 nbSat=14401470 maxSat=16712200
911.99/458.22	c flip 2400000 nbSat=14549230 maxSat=16712200
913.19/458.81	c flip 2410000 nbSat=14563034 maxSat=16712200
914.39/459.41	c flip 2420000 nbSat=14639524 maxSat=16712200
915.58/460.01	c flip 2430000 nbSat=14764402 maxSat=16712200
916.78/460.61	c flip 2440000 nbSat=14728145 maxSat=16712200
917.98/461.23	c flip 2450000 nbSat=15129640 maxSat=16712200
919.18/461.82	c flip 2460000 nbSat=15030235 maxSat=16712200
920.38/462.43	c flip 2470000 nbSat=15033711 maxSat=16712200
921.58/463.04	c flip 2480000 nbSat=15115996 maxSat=16712200
922.77/463.62	c flip 2490000 nbSat=15153895 maxSat=16712200
923.97/464.23	c flip 2500000 nbSat=15372006 maxSat=16712200
925.16/464.83	c flip 2510000 nbSat=15136098 maxSat=16712200
926.36/465.41	c flip 2520000 nbSat=15356704 maxSat=16712200
927.56/466.01	c flip 2530000 nbSat=15634714 maxSat=16712200
928.75/466.60	c flip 2540000 nbSat=15752934 maxSat=16712200
929.75/467.19	c flip 2550000 nbSat=15854068 maxSat=16712200
930.95/467.78	c flip 2560000 nbSat=15692768 maxSat=16712200
932.15/468.37	c flip 2570000 nbSat=15500806 maxSat=16712200
933.34/468.94	c flip 2580000 nbSat=15485874 maxSat=16712200
934.53/469.52	c flip 2590000 nbSat=15150462 maxSat=16712200
935.73/470.12	c flip 2600000 nbSat=15246593 maxSat=16712200
936.73/470.69	c flip 2610000 nbSat=15275320 maxSat=16712200
937.93/471.27	c flip 2620000 nbSat=15221043 maxSat=16712200
939.13/471.87	c flip 2630000 nbSat=15895607 maxSat=16712200
940.32/472.44	c flip 2640000 nbSat=15770550 maxSat=16712200
941.53/473.04	c flip 2650000 nbSat=15844678 maxSat=16712200
942.72/473.63	c flip 2660000 nbSat=15878629 maxSat=16712200
943.91/474.21	c flip 2670000 nbSat=16075281 maxSat=16712200
945.11/474.82	c flip 2680000 nbSat=15873282 maxSat=16712200
946.31/475.42	c flip 2690000 nbSat=16105654 maxSat=16712200
947.51/476.01	c flip 2700000 nbSat=16124591 maxSat=16712200
948.70/476.63	c flip 2710000 nbSat=16182237 maxSat=16712200
949.90/477.22	c flip 2720000 nbSat=16676409 maxSat=16961766
951.10/477.82	c flip 2730000 nbSat=16250531 maxSat=16961766
952.30/478.43	c flip 2740000 nbSat=16679478 maxSat=16961766
953.50/479.00	c flip 2750000 nbSat=16607431 maxSat=16961766
954.70/479.60	c flip 2760000 nbSat=16585962 maxSat=16961766
955.89/480.21	c flip 2770000 nbSat=16922095 maxSat=17021844
956.89/480.80	c flip 2780000 nbSat=17038139 maxSat=17276042
958.28/481.41	c flip 2790000 nbSat=16477312 maxSat=17276042
959.48/482.01	c flip 2800000 nbSat=16652622 maxSat=17276042
960.68/482.61	c flip 2810000 nbSat=16440768 maxSat=17276042
961.87/483.22	c flip 2820000 nbSat=16792034 maxSat=17276042
963.07/483.81	c flip 2830000 nbSat=16618678 maxSat=17286801
964.47/484.52	c flip 0 nbSat=498681 maxSat=17286801
964.67/484.62	c flip 10000 nbSat=518519 maxSat=17286801
964.87/484.71	c flip 20000 nbSat=539259 maxSat=17286801
965.07/484.81	c flip 30000 nbSat=560078 maxSat=17286801
965.27/484.90	c flip 40000 nbSat=581150 maxSat=17286801
965.47/485.02	c flip 50000 nbSat=594477 maxSat=17286801
965.67/485.18	c flip 60000 nbSat=604943 maxSat=17286801
966.06/485.36	c flip 70000 nbSat=615280 maxSat=17286801
966.46/485.57	c flip 80000 nbSat=627261 maxSat=17286801
966.86/485.78	c flip 90000 nbSat=642098 maxSat=17286801
967.46/486.03	c flip 100000 nbSat=657033 maxSat=17286801
967.87/486.28	c flip 110000 nbSat=673503 maxSat=17286801
968.46/486.55	c flip 120000 nbSat=690889 maxSat=17286801
969.06/486.80	c flip 130000 nbSat=708855 maxSat=17286801
969.66/487.10	c flip 140000 nbSat=731388 maxSat=17286801
970.25/487.40	c flip 150000 nbSat=754116 maxSat=17286801
970.65/487.69	c flip 160000 nbSat=773392 maxSat=17286801
971.25/487.99	c flip 170000 nbSat=797242 maxSat=17286801
972.06/488.34	c flip 180000 nbSat=820918 maxSat=17286801
972.65/488.67	c flip 190000 nbSat=847463 maxSat=17286801
973.45/489.02	c flip 200000 nbSat=878094 maxSat=17286801
974.05/489.37	c flip 210000 nbSat=904726 maxSat=17286801
974.84/489.73	c flip 220000 nbSat=933937 maxSat=17286801
975.64/490.11	c flip 230000 nbSat=970000 maxSat=17286801
976.24/490.48	c flip 240000 nbSat=1000719 maxSat=17286801
977.04/490.88	c flip 250000 nbSat=1033366 maxSat=17286801
977.84/491.27	c flip 260000 nbSat=1062577 maxSat=17286801
978.64/491.67	c flip 270000 nbSat=1121912 maxSat=17286801
979.63/492.11	c flip 280000 nbSat=1157629 maxSat=17286801
980.43/492.55	c flip 290000 nbSat=1219701 maxSat=17286801
981.23/492.98	c flip 300000 nbSat=1271130 maxSat=17286801
982.23/493.44	c flip 310000 nbSat=1344969 maxSat=17286801
983.23/493.90	c flip 320000 nbSat=1410305 maxSat=17286801
984.03/494.38	c flip 330000 nbSat=1473815 maxSat=17286801
985.02/494.87	c flip 340000 nbSat=1504613 maxSat=17286801
986.22/495.41	c flip 350000 nbSat=1594967 maxSat=17286801
987.22/495.93	c flip 360000 nbSat=1651559 maxSat=17286801
988.21/496.44	c flip 370000 nbSat=1716393 maxSat=17286801
989.21/496.97	c flip 380000 nbSat=1811008 maxSat=17286801
990.41/497.50	c flip 390000 nbSat=1859651 maxSat=17286801
991.41/498.04	c flip 400000 nbSat=1941548 maxSat=17286801
992.41/498.59	c flip 410000 nbSat=2009254 maxSat=17286801
993.61/499.14	c flip 420000 nbSat=2106898 maxSat=17286801
994.60/499.69	c flip 430000 nbSat=2170302 maxSat=17286801
995.80/500.25	c flip 440000 nbSat=2278175 maxSat=17286801
996.99/500.85	c flip 450000 nbSat=2323361 maxSat=17286801
998.19/501.42	c flip 460000 nbSat=2412915 maxSat=17286801
999.18/501.99	c flip 470000 nbSat=2454192 maxSat=17286801
1000.38/502.55	c flip 480000 nbSat=2577921 maxSat=17286801
1001.58/503.12	c flip 490000 nbSat=2677972 maxSat=17286801
1002.78/503.70	c flip 500000 nbSat=2731631 maxSat=17286801
1003.78/504.28	c flip 510000 nbSat=2819045 maxSat=17286801
1004.98/504.84	c flip 520000 nbSat=2909023 maxSat=17286801
1006.17/505.42	c flip 530000 nbSat=2939860 maxSat=17286801
1007.37/506.01	c flip 540000 nbSat=3033469 maxSat=17286801
1008.56/506.60	c flip 550000 nbSat=3137381 maxSat=17286801
1009.57/507.19	c flip 560000 nbSat=3177530 maxSat=17286801
1010.76/507.77	c flip 570000 nbSat=3306008 maxSat=17286801
1011.95/508.36	c flip 580000 nbSat=3370403 maxSat=17286801
1013.16/508.96	c flip 590000 nbSat=3512373 maxSat=17286801
1014.35/509.55	c flip 600000 nbSat=3510504 maxSat=17286801
1015.55/510.14	c flip 610000 nbSat=3693732 maxSat=17286801
1016.75/510.73	c flip 620000 nbSat=3791492 maxSat=17286801
1017.95/511.34	c flip 630000 nbSat=3871955 maxSat=17286801
1019.14/511.96	c flip 640000 nbSat=3974708 maxSat=17286801
1020.34/512.56	c flip 650000 nbSat=4018178 maxSat=17286801
1021.53/513.17	c flip 660000 nbSat=4144061 maxSat=17286801
1022.74/513.78	c flip 670000 nbSat=4155851 maxSat=17286801
1023.92/514.39	c flip 680000 nbSat=4311169 maxSat=17286801
1025.12/514.99	c flip 690000 nbSat=4368213 maxSat=17286801
1026.32/515.59	c flip 700000 nbSat=4441291 maxSat=17286801
1027.51/516.20	c flip 710000 nbSat=4569443 maxSat=17286801
1028.91/516.80	c flip 720000 nbSat=4604021 maxSat=17286801
1030.11/517.42	c flip 730000 nbSat=4759691 maxSat=17286801
1031.31/518.03	c flip 740000 nbSat=4888358 maxSat=17286801
1032.50/518.65	c flip 750000 nbSat=4983084 maxSat=17286801
1033.71/519.26	c flip 760000 nbSat=5150783 maxSat=17286801
1034.90/519.87	c flip 770000 nbSat=5214378 maxSat=17286801
1036.09/520.49	c flip 780000 nbSat=5236102 maxSat=17286801
1037.29/521.09	c flip 790000 nbSat=5288070 maxSat=17286801
1038.49/521.68	c flip 800000 nbSat=5352538 maxSat=17286801
1039.69/522.29	c flip 810000 nbSat=5487523 maxSat=17286801
1041.08/522.90	c flip 820000 nbSat=5492867 maxSat=17286801
1042.29/523.52	c flip 830000 nbSat=5593575 maxSat=17286801
1043.48/524.13	c flip 840000 nbSat=5706972 maxSat=17286801
1044.68/524.73	c flip 850000 nbSat=5893864 maxSat=17286801
1045.87/525.34	c flip 860000 nbSat=5869747 maxSat=17286801
1047.07/525.95	c flip 870000 nbSat=5910697 maxSat=17286801
1048.27/526.54	c flip 880000 nbSat=5959937 maxSat=17286801
1049.46/527.14	c flip 890000 nbSat=6112887 maxSat=17286801
1050.66/527.73	c flip 900000 nbSat=6036820 maxSat=17286801
1051.66/528.30	c flip 910000 nbSat=6293210 maxSat=17286801
1052.86/528.88	c flip 920000 nbSat=6230175 maxSat=17286801
1054.06/529.48	c flip 930000 nbSat=6285083 maxSat=17286801
1055.26/530.08	c flip 940000 nbSat=6433581 maxSat=17286801
1056.45/530.69	c flip 950000 nbSat=6383551 maxSat=17286801
1057.65/531.30	c flip 960000 nbSat=6430608 maxSat=17286801
1059.04/531.91	c flip 970000 nbSat=6451539 maxSat=17286801
1060.24/532.51	c flip 980000 nbSat=6648452 maxSat=17286801
1061.24/533.09	c flip 990000 nbSat=6752651 maxSat=17286801
1062.44/533.69	c flip 1000000 nbSat=6806518 maxSat=17286801
1063.64/534.29	c flip 1010000 nbSat=6849260 maxSat=17286801
1064.83/534.89	c flip 1020000 nbSat=6817481 maxSat=17286801
1066.03/535.49	c flip 1030000 nbSat=6713268 maxSat=17286801
1067.43/536.10	c flip 1040000 nbSat=6681255 maxSat=17286801
1068.63/536.71	c flip 1050000 nbSat=6925777 maxSat=17286801
1069.82/537.31	c flip 1060000 nbSat=6876001 maxSat=17286801
1071.02/537.91	c flip 1070000 nbSat=7039293 maxSat=17286801
1072.22/538.52	c flip 1080000 nbSat=7093064 maxSat=17286801
1073.41/539.14	c flip 1090000 nbSat=7061347 maxSat=17286801
1074.61/539.73	c flip 1100000 nbSat=7366553 maxSat=17286801
1075.81/540.35	c flip 1110000 nbSat=7420136 maxSat=17286801
1077.01/540.95	c flip 1120000 nbSat=7466650 maxSat=17286801
1078.20/541.54	c flip 1130000 nbSat=7464982 maxSat=17286801
1079.40/542.14	c flip 1140000 nbSat=7719505 maxSat=17286801
1080.59/542.73	c flip 1150000 nbSat=7779607 maxSat=17286801
1081.80/543.32	c flip 1160000 nbSat=7833086 maxSat=17286801
1082.99/543.92	c flip 1170000 nbSat=8007182 maxSat=17286801
1084.00/544.50	c flip 1180000 nbSat=7908222 maxSat=17286801
1085.19/545.07	c flip 1190000 nbSat=7948820 maxSat=17286801
1086.39/545.67	c flip 1200000 nbSat=8246584 maxSat=17286801
1087.58/546.25	c flip 1210000 nbSat=7968004 maxSat=17286801
1088.77/546.86	c flip 1220000 nbSat=8064149 maxSat=17286801
1089.97/547.44	c flip 1230000 nbSat=8111792 maxSat=17286801
1091.16/548.01	c flip 1240000 nbSat=8162915 maxSat=17286801
1092.16/548.59	c flip 1250000 nbSat=8129835 maxSat=17286801
1093.36/549.19	c flip 1260000 nbSat=8204933 maxSat=17286801
1094.56/549.79	c flip 1270000 nbSat=8332050 maxSat=17286801
1095.96/550.40	c flip 1280000 nbSat=8356374 maxSat=17286801
1096.95/550.99	c flip 1290000 nbSat=8470117 maxSat=17286801
1098.15/551.56	c flip 1300000 nbSat=8380642 maxSat=17286801
1099.35/552.15	c flip 1310000 nbSat=8713374 maxSat=17286801
1100.54/552.75	c flip 1320000 nbSat=8722362 maxSat=17286801
1101.75/553.34	c flip 1330000 nbSat=8762807 maxSat=17286801
1102.94/553.93	c flip 1340000 nbSat=8874650 maxSat=17286801
1104.14/554.51	c flip 1350000 nbSat=8782704 maxSat=17286801
1105.33/555.10	c flip 1360000 nbSat=8831289 maxSat=17286801
1106.53/555.70	c flip 1370000 nbSat=9083421 maxSat=17286801
1107.73/556.30	c flip 1380000 nbSat=9106955 maxSat=17286801
1108.92/556.90	c flip 1390000 nbSat=9216036 maxSat=17286801
1109.92/557.47	c flip 1400000 nbSat=9097362 maxSat=17286801
1111.12/558.06	c flip 1410000 nbSat=9149477 maxSat=17286801
1112.32/558.65	c flip 1420000 nbSat=9328390 maxSat=17286801
1113.50/559.26	c flip 1430000 nbSat=9064936 maxSat=17286801
1114.71/559.83	c flip 1440000 nbSat=9172531 maxSat=17286801
1115.90/560.42	c flip 1450000 nbSat=8867831 maxSat=17286801
1117.10/561.01	c flip 1460000 nbSat=9156518 maxSat=17286801
1118.29/561.61	c flip 1470000 nbSat=9375595 maxSat=17286801
1119.49/562.21	c flip 1480000 nbSat=9482478 maxSat=17286801
1120.49/562.78	c flip 1490000 nbSat=9605617 maxSat=17286801
1121.69/563.37	c flip 1500000 nbSat=9733505 maxSat=17286801
1122.89/563.96	c flip 1510000 nbSat=9835915 maxSat=17286801
1124.08/564.55	c flip 1520000 nbSat=9782241 maxSat=17286801
1125.28/565.11	c flip 1530000 nbSat=9869849 maxSat=17286801
1126.28/565.70	c flip 1540000 nbSat=10054582 maxSat=17286801
1127.48/566.28	c flip 1550000 nbSat=10157881 maxSat=17286801
1128.67/566.88	c flip 1560000 nbSat=9807707 maxSat=17286801
1129.87/567.45	c flip 1570000 nbSat=10140666 maxSat=17286801
1131.07/568.03	c flip 1580000 nbSat=10162293 maxSat=17286801
1132.27/568.63	c flip 1590000 nbSat=10324722 maxSat=17286801
1133.46/569.22	c flip 1600000 nbSat=10448590 maxSat=17286801
1134.47/569.80	c flip 1610000 nbSat=10349195 maxSat=17286801
1135.66/570.38	c flip 1620000 nbSat=10384060 maxSat=17286801
1136.86/570.98	c flip 1630000 nbSat=10328621 maxSat=17286801
1138.05/571.56	c flip 1640000 nbSat=10666140 maxSat=17286801
1139.25/572.14	c flip 1650000 nbSat=10649704 maxSat=17286801
1140.45/572.73	c flip 1660000 nbSat=10419430 maxSat=17286801
1141.64/573.32	c flip 1670000 nbSat=10769450 maxSat=17286801
1142.84/573.92	c flip 1680000 nbSat=10907173 maxSat=17286801
1143.84/574.49	c flip 1690000 nbSat=10898800 maxSat=17286801
1145.04/575.08	c flip 1700000 nbSat=10858399 maxSat=17286801
1146.23/575.68	c flip 1710000 nbSat=10843098 maxSat=17286801
1147.43/576.29	c flip 1720000 nbSat=10886572 maxSat=17286801
1148.64/576.87	c flip 1730000 nbSat=10849333 maxSat=17286801
1149.84/577.47	c flip 1740000 nbSat=10850416 maxSat=17286801
1151.03/578.07	c flip 1750000 nbSat=10841850 maxSat=17286801
1152.24/578.68	c flip 1760000 nbSat=11270430 maxSat=17286801
1153.43/579.26	c flip 1770000 nbSat=11362366 maxSat=17286801
1154.62/579.85	c flip 1780000 nbSat=11319166 maxSat=17286801
1155.82/580.46	c flip 1790000 nbSat=11331801 maxSat=17286801
1157.02/581.05	c flip 1800000 nbSat=11456505 maxSat=17286801
1158.22/581.63	c flip 1810000 nbSat=11485883 maxSat=17286801
1159.41/582.22	c flip 1820000 nbSat=11625842 maxSat=17286801
1160.61/582.83	c flip 1830000 nbSat=11557517 maxSat=17286801
1161.81/583.43	c flip 1840000 nbSat=11815883 maxSat=17286801
1163.01/584.03	c flip 1850000 nbSat=11705722 maxSat=17286801
1164.20/584.64	c flip 1860000 nbSat=11825281 maxSat=17286801
1165.41/585.24	c flip 1870000 nbSat=11656360 maxSat=17286801
1166.60/585.81	c flip 1880000 nbSat=11779489 maxSat=17286801
1167.79/586.40	c flip 1890000 nbSat=11813964 maxSat=17286801
1168.79/587.00	c flip 1900000 nbSat=11778483 maxSat=17286801
1169.99/587.57	c flip 1910000 nbSat=12031126 maxSat=17286801
1171.19/588.16	c flip 1920000 nbSat=12075096 maxSat=17286801
1172.38/588.76	c flip 1930000 nbSat=12148317 maxSat=17286801
1173.58/589.36	c flip 1940000 nbSat=12070002 maxSat=17286801
1174.78/589.94	c flip 1950000 nbSat=12035570 maxSat=17286801
1175.98/590.54	c flip 1960000 nbSat=12142923 maxSat=17286801
1177.18/591.14	c flip 1970000 nbSat=12124251 maxSat=17286801
1178.38/591.73	c flip 1980000 nbSat=12334765 maxSat=17286801
1179.57/592.31	c flip 1990000 nbSat=11997492 maxSat=17286801
1180.76/592.94	c flip 2000000 nbSat=12068152 maxSat=17286801
1181.96/593.52	c flip 2010000 nbSat=12335397 maxSat=17286801
1183.15/594.12	c flip 2020000 nbSat=12409107 maxSat=17286801
1184.35/594.73	c flip 2030000 nbSat=12439936 maxSat=17286801
1185.55/595.33	c flip 2040000 nbSat=12557750 maxSat=17286801
1186.75/595.93	c flip 2050000 nbSat=12601411 maxSat=17286801
1187.94/596.53	c flip 2060000 nbSat=12452932 maxSat=17286801
1189.14/597.14	c flip 2070000 nbSat=12528884 maxSat=17286801
1190.34/597.74	c flip 2080000 nbSat=12622031 maxSat=17286801
1191.54/598.36	c flip 2090000 nbSat=12817132 maxSat=17286801
1192.73/598.98	c flip 2100000 nbSat=12879129 maxSat=17286801
1193.94/599.57	c flip 2110000 nbSat=12837593 maxSat=17286801
1195.13/600.16	c flip 2120000 nbSat=12824669 maxSat=17286801
1196.33/600.78	c flip 2130000 nbSat=12657325 maxSat=17286801
1197.52/601.35	c flip 2140000 nbSat=12686524 maxSat=17286801
1198.72/601.94	c flip 2150000 nbSat=12634152 maxSat=17286801
1199.92/602.55	c flip 2160000 nbSat=12785756 maxSat=17286801

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/node69/watcher-329731-1173147840 -o ROOT/results/node69/solver-329731-1173147840 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/329731-1173147840/ornithorynque /tmp/evaluation/329731-1173147840/instance-329731-1173147840.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.98 3/64 21637
/proc/meminfo: memFree=1505896/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=23220 CPUtime=0
/proc/21637/stat : 21637 (ornithorynque) R 21635 21637 21528 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 334741803 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237944999185 0 0 4096 0 0 0 0 17 1 0 0
/proc/21637/statm: 5805 266 219 42 0 45 0

[startup+0.00947591 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21637
/proc/meminfo: memFree=1505896/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=23308 CPUtime=0
/proc/21637/stat : 21637 (ornithorynque) R 21635 21637 21528 0 -1 4194304 460 0 0 0 0 0 0 0 18 0 1 0 334741803 23867392 421 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956542562 0 0 4096 1088 0 0 0 17 1 0 0
/proc/21637/statm: 5827 421 357 42 0 79 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23308

[startup+0.10149 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21637
/proc/meminfo: memFree=1505896/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=23308 CPUtime=0.09
/proc/21637/stat : 21637 (ornithorynque) R 21635 21637 21528 0 -1 4194304 479 0 0 0 9 0 0 0 18 0 1 0 334741803 23867392 440 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956542562 0 0 4096 1088 0 0 0 17 1 0 0
/proc/21637/statm: 5827 440 374 42 0 79 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23308

[startup+0.301522 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21637
/proc/meminfo: memFree=1505896/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=31388 CPUtime=0.29
/proc/21637/stat : 21637 (ornithorynque) R 21635 21637 21528 0 -1 4194304 2676 0 0 0 28 1 0 0 19 0 1 0 334741803 32141312 2377 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237947491041 0 0 4096 1088 0 0 0 17 1 0 0
/proc/21637/statm: 7847 2377 379 42 0 2099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31388

[startup+0.701588 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21637
/proc/meminfo: memFree=1505896/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=46524 CPUtime=0.69
/proc/21637/stat : 21637 (ornithorynque) R 21635 21637 21528 0 -1 4194304 6863 0 0 0 66 3 0 0 22 0 1 0 334741803 47640576 6243 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237947491041 0 0 4096 1088 0 0 0 17 1 0 0
/proc/21637/statm: 11631 6243 379 42 0 5883 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46524

[startup+1.50172 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 21638
/proc/meminfo: memFree=1470816/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=80864 CPUtime=1.49
/proc/21637/stat : 21637 (ornithorynque) R 21635 21637 21528 0 -1 4194304 16267 0 0 0 142 7 0 0 25 0 1 0 334741803 82804736 13725 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237947491041 0 0 4096 1088 0 0 0 17 1 0 0
/proc/21637/statm: 20216 13725 379 42 0 14468 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80864

[startup+3.10199 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 21638
/proc/meminfo: memFree=1384928/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=178516 CPUtime=3.99
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 38810 0 0 0 382 17 0 0 25 0 3 0 334741803 182800384 31058 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 44629 31058 389 42 0 38881 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 178516

[startup+6.30251 s]
/proc/loadavg: 0.92 0.95 0.98 3/67 21640
/proc/meminfo: memFree=1382224/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=178912 CPUtime=10.38
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 41966 0 0 0 1019 19 0 0 25 0 3 0 334741803 183205888 31156 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 44728 31156 389 42 0 38980 0
[pid=21637/tid=21639] ppid=21635 vsize=178912 CPUtime=4.1
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 6474 0 0 0 407 3 0 0 25 0 3 0 334742021 183205888 31156 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4328123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=178912 CPUtime=4.09
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 2 0 0 0 409 0 0 0 25 0 3 0 334742021 183205888 31156 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 178912

[startup+12.7016 s]
/proc/loadavg: 1.09 0.99 0.99 3/67 21640
/proc/meminfo: memFree=1381976/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=179044 CPUtime=23.14
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 42841 0 0 0 2295 19 0 0 25 0 3 0 334741803 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 44761 31197 389 42 0 39013 0
[pid=21637/tid=21639] ppid=21635 vsize=179044 CPUtime=10.49
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 1046 3 0 0 25 0 3 0 334742021 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246390 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=179044 CPUtime=10.46
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 2 0 0 0 1046 0 0 0 25 0 3 0 334742021 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244577 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.14
Current children cumulated vsize (KiB) 179044

[startup+25.5016 s]
/proc/loadavg: 1.23 1.02 1.00 3/67 21640
/proc/meminfo: memFree=1381976/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=179044 CPUtime=48.68
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 42841 0 0 0 4849 19 0 0 25 0 3 0 334741803 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 44761 31197 389 42 0 39013 0
[pid=21637/tid=21639] ppid=21635 vsize=179044 CPUtime=23.29
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 2326 3 0 0 25 0 3 0 334742021 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246425 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=179044 CPUtime=23.2
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 2 0 0 0 2320 0 0 0 25 0 3 0 334742021 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4239088 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.68
Current children cumulated vsize (KiB) 179044

[startup+51.1018 s]
/proc/loadavg: 1.49 1.10 1.02 3/67 21640
/proc/meminfo: memFree=1382040/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=179044 CPUtime=99.75
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 42841 0 0 0 9955 20 0 0 25 0 3 0 334741803 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 44761 31197 389 42 0 39013 0
[pid=21637/tid=21639] ppid=21635 vsize=179044 CPUtime=48.89
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 4885 4 0 0 25 0 3 0 334742021 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246462 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=179044 CPUtime=48.67
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 2 0 0 0 4867 0 0 0 25 0 3 0 334742021 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245947 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (KiB) 179044

[startup+102.306 s]
/proc/loadavg: 1.79 1.25 1.08 3/67 21640
/proc/meminfo: memFree=1382040/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=179044 CPUtime=201.91
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 42841 0 0 0 20171 20 0 0 25 0 3 0 334741803 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 44761 31197 389 42 0 39013 0
[pid=21637/tid=21639] ppid=21635 vsize=179044 CPUtime=100.08
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 10004 4 0 0 25 0 3 0 334742021 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244167 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=179044 CPUtime=99.64
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 2 0 0 0 9964 0 0 0 25 0 3 0 334742021 183341056 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4295881 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.91
Current children cumulated vsize (KiB) 179044

[startup+162.302 s]
/proc/loadavg: 1.92 1.38 1.13 3/67 21640
/proc/meminfo: memFree=1382040/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=181528 CPUtime=321.61
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 43463 0 0 0 32141 20 0 0 25 0 3 0 334741803 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 45382 31197 389 42 0 39634 0
[pid=21637/tid=21639] ppid=21635 vsize=181528 CPUtime=160.05
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 16001 4 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246417 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=181528 CPUtime=159.37
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 624 0 0 0 15936 1 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244252 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.61
Current children cumulated vsize (KiB) 181528

[startup+222.302 s]
/proc/loadavg: 1.97 1.49 1.19 3/67 21640
/proc/meminfo: memFree=1382104/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=181528 CPUtime=441.33
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 43463 0 0 0 44112 21 0 0 25 0 3 0 334741803 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 45382 31197 389 42 0 39634 0
[pid=21637/tid=21639] ppid=21635 vsize=181528 CPUtime=220.03
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 21999 4 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246403 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=181528 CPUtime=219.1
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 624 0 0 0 21909 1 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244349 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.33
Current children cumulated vsize (KiB) 181528

[startup+282.302 s]
/proc/loadavg: 1.99 1.58 1.23 3/67 21640
/proc/meminfo: memFree=1382104/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=181528 CPUtime=561.04
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 43463 0 0 0 56083 21 0 0 25 0 3 0 334741803 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 45382 31197 389 42 0 39634 0
[pid=21637/tid=21639] ppid=21635 vsize=181528 CPUtime=280.02
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 27998 4 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246487 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=181528 CPUtime=278.83
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 624 0 0 0 27882 1 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245873 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 561.04
Current children cumulated vsize (KiB) 181528

[startup+342.301 s]
/proc/loadavg: 2.04 1.67 1.28 3/67 21640
/proc/meminfo: memFree=1382104/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=181528 CPUtime=680.74
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 43463 0 0 0 68053 21 0 0 25 0 3 0 334741803 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 45382 31197 389 42 0 39634 0
[pid=21637/tid=21639] ppid=21635 vsize=181528 CPUtime=340
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 33996 4 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246486 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=181528 CPUtime=338.56
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 624 0 0 0 33855 1 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.74
Current children cumulated vsize (KiB) 181528

[startup+402.302 s]
/proc/loadavg: 2.05 1.74 1.33 3/67 21640
/proc/meminfo: memFree=1382104/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=181528 CPUtime=800.46
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 43463 0 0 0 80025 21 0 0 25 0 3 0 334741803 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 45382 31197 389 42 0 39634 0
[pid=21637/tid=21639] ppid=21635 vsize=181528 CPUtime=399.98
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 39994 4 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=181528 CPUtime=398.3
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 624 0 0 0 39829 1 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246223 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 800.46
Current children cumulated vsize (KiB) 181528

[startup+462.302 s]
/proc/loadavg: 2.06 1.80 1.37 3/67 21640
/proc/meminfo: memFree=1382104/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=181528 CPUtime=920.17
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 43463 0 0 0 91996 21 0 0 25 0 3 0 334741803 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 45382 31197 389 42 0 39634 0
[pid=21637/tid=21639] ppid=21635 vsize=181528 CPUtime=459.96
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 45992 4 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246465 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=181528 CPUtime=458.02
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 624 0 0 0 45801 1 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244549 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 920.17
Current children cumulated vsize (KiB) 181528

[startup+522.302 s]
/proc/loadavg: 2.02 1.83 1.41 3/67 21640
/proc/meminfo: memFree=1382040/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=181528 CPUtime=1039.89
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 43463 0 0 0 103968 21 0 0 25 0 3 0 334741803 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 45382 31197 389 42 0 39634 0
[pid=21637/tid=21639] ppid=21635 vsize=181528 CPUtime=519.94
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 51990 4 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246356 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=181528 CPUtime=517.77
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 624 0 0 0 51775 2 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245010 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1039.89
Current children cumulated vsize (KiB) 181528

[startup+582.302 s]
/proc/loadavg: 2.00 1.86 1.44 3/67 21640
/proc/meminfo: memFree=1382040/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=181528 CPUtime=1159.61
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 43463 0 0 0 115939 22 0 0 25 0 3 0 334741803 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 45382 31197 389 42 0 39634 0
[pid=21637/tid=21639] ppid=21635 vsize=181528 CPUtime=579.92
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 57988 4 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246487 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=181528 CPUtime=577.5
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 624 0 0 0 57748 2 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1159.61
Current children cumulated vsize (KiB) 181528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.602 s]
/proc/loadavg: 2.00 1.87 1.46 3/67 21640
/proc/meminfo: memFree=1382040/2055920 swapFree=4184100/4192956
[pid=21637] ppid=21635 vsize=181528 CPUtime=1200.12
/proc/21637/stat : 21637 (ornithorynque) S 21635 21637 21528 0 -1 4194304 43463 0 0 0 119990 22 0 0 25 0 3 0 334741803 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237956525947 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/21637/statm: 45382 31197 389 42 0 39634 0
[pid=21637/tid=21639] ppid=21635 vsize=181528 CPUtime=600.22
/proc/21637/task/21639/stat : 21639 (ornithorynque) R 21635 21637 21528 0 -1 4194368 7349 0 0 0 60018 4 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246420 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=21637/tid=21640] ppid=21635 vsize=181528 CPUtime=597.71
/proc/21637/task/21640/stat : 21640 (ornithorynque) R 21635 21637 21528 0 -1 4194368 624 0 0 0 59769 2 0 0 25 0 3 0 334742021 185884672 31197 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246007 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 181528

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.632
CPU time (s): 1200.16
CPU user time (s): 1199.92
CPU system time (s): 0.238963
CPU usage (%): 199.153
Max. virtual memory (cumulated for all children) (KiB): 183092

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

runsolver used 0.688895 second user time and 1.57976 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Tue Mar  6 02:24:01 UTC 2007

IDJOB= 329731
IDBENCH= 20546
IDSOLVER= 139
FILE ID= node69/329731-1173147840

PBS_JOBID= 4015211

Free space on /tmp= 66522 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  d2a122a986b8c06207b29ef18884dabc

RANDOM SEED= 224793723

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.261
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.261
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:       1506368 kB
Buffers:         34256 kB
Cached:         435152 kB
SwapCached:       2716 kB
Active:         114552 kB
Inactive:       364336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1506368 kB
SwapTotal:     4192956 kB
SwapFree:      4184100 kB
Dirty:           15288 kB
Writeback:           0 kB
Mapped:          15500 kB
Slab:            56740 kB
Committed_AS:   843232 kB
PageTables:       1472 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= 66522 MiB

End job on node69 on Tue Mar  6 02:34:06 UTC 2007