Trace number 329857

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.08 602.128

General information on the benchmark

Nameindustrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k60.cnf
MD5SUM3ba2fd1e8ba5ade9920db9cb6b406609
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 variables88995
Number of clauses398308
Sum of the clauses size1024974
Maximum clause length20
Minimum clause length1
Number of clauses of size 1583
Number of clauses of size 2310186
Number of clauses of size 343762
Number of clauses of size 417875
Number of clauses of size 57764
Number of clauses of size over 518138

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.03	c using unsigned int
0.00/0.03	c parsing...
0.99/1.02	c ...done
0.99/1.02	c nbVar=88995 nbClause=398308
1.10/1.15	c nbVar=88995 nbClause=398308
1.29/1.36	c complete search running
1.29/1.36	c local search running
1.42/1.45	c flip 0 nbSat=312100 maxSat=0
1.62/1.55	c flip 10000 nbSat=332322 maxSat=332338
1.83/1.65	c flip 20000 nbSat=353268 maxSat=353268
2.03/1.74	c flip 30000 nbSat=370417 maxSat=370427
2.43/1.91	c flip 40000 nbSat=380422 maxSat=380422
2.83/2.13	c flip 50000 nbSat=389919 maxSat=390010
3.22/2.36	c flip 60000 nbSat=403254 maxSat=403450
3.82/2.62	c flip 70000 nbSat=419135 maxSat=419505
4.22/2.90	c flip 80000 nbSat=439784 maxSat=439792
4.82/3.19	c flip 90000 nbSat=458333 maxSat=459108
5.61/3.54	c flip 100000 nbSat=481792 maxSat=482240
6.22/3.89	c flip 110000 nbSat=509589 maxSat=510231
7.02/4.23	c flip 120000 nbSat=526901 maxSat=528044
7.61/4.60	c flip 130000 nbSat=560633 maxSat=561142
8.41/4.95	c flip 140000 nbSat=589043 maxSat=590680
9.21/5.35	c flip 150000 nbSat=629270 maxSat=632158
10.01/5.75	c flip 160000 nbSat=662090 maxSat=662227
10.81/6.15	c flip 170000 nbSat=697169 maxSat=706671
11.61/6.59	c flip 180000 nbSat=753255 maxSat=753288
12.60/7.06	c flip 190000 nbSat=792400 maxSat=798526
13.60/7.52	c flip 200000 nbSat=848755 maxSat=854888
14.60/8.03	c flip 210000 nbSat=919539 maxSat=922601
15.60/8.56	c flip 220000 nbSat=989355 maxSat=996225
16.79/9.10	c flip 230000 nbSat=1039126 maxSat=1045475
17.79/9.68	c flip 240000 nbSat=1114004 maxSat=1129195
18.99/10.24	c flip 250000 nbSat=1210496 maxSat=1219644
20.19/10.82	c flip 260000 nbSat=1315787 maxSat=1317895
21.38/11.41	c flip 270000 nbSat=1403968 maxSat=1423693
22.38/11.98	c flip 280000 nbSat=1501750 maxSat=1506734
23.58/12.59	c flip 290000 nbSat=1581841 maxSat=1593246
24.78/13.17	c flip 300000 nbSat=1659211 maxSat=1659211
25.97/13.78	c flip 310000 nbSat=1748421 maxSat=1760677
27.18/14.39	c flip 320000 nbSat=1836847 maxSat=1851507
28.37/14.99	c flip 330000 nbSat=1942173 maxSat=1943544
29.56/15.60	c flip 340000 nbSat=2035812 maxSat=2036307
30.96/16.21	c flip 350000 nbSat=2117693 maxSat=2142475
32.16/16.81	c flip 360000 nbSat=2202121 maxSat=2223319
33.36/17.41	c flip 370000 nbSat=2232095 maxSat=2326395
34.56/18.04	c flip 380000 nbSat=2379006 maxSat=2407508
35.76/18.65	c flip 390000 nbSat=2410395 maxSat=2452870
36.95/19.27	c flip 400000 nbSat=2471492 maxSat=2538168
38.16/19.89	c flip 410000 nbSat=2616351 maxSat=2634950
39.55/20.52	c flip 420000 nbSat=2689586 maxSat=2708237
40.74/21.16	c flip 430000 nbSat=2836850 maxSat=2882966
41.94/21.77	c flip 440000 nbSat=2992199 maxSat=2992717
43.14/22.38	c flip 450000 nbSat=3053935 maxSat=3080657
44.54/23.02	c flip 460000 nbSat=3010313 maxSat=3125713
45.73/23.64	c flip 470000 nbSat=3185183 maxSat=3266609
46.94/24.28	c flip 480000 nbSat=3199118 maxSat=3292810
48.33/24.90	c flip 490000 nbSat=3308939 maxSat=3349478
49.52/25.51	c flip 500000 nbSat=3396649 maxSat=3436146
50.72/26.14	c flip 510000 nbSat=3467873 maxSat=3572150
51.92/26.77	c flip 520000 nbSat=3719891 maxSat=3729669
53.32/27.40	c flip 530000 nbSat=3701504 maxSat=3750497
54.51/28.02	c flip 540000 nbSat=3756685 maxSat=3790851
55.72/28.65	c flip 550000 nbSat=3836253 maxSat=3916812
56.91/29.27	c flip 560000 nbSat=3951018 maxSat=3952042
58.10/29.89	c flip 570000 nbSat=3843628 maxSat=3978395
59.30/30.49	c flip 580000 nbSat=4041522 maxSat=4107653
60.70/31.11	c flip 590000 nbSat=4089529 maxSat=4120355
61.90/31.72	c flip 600000 nbSat=4107015 maxSat=4159165
63.09/32.35	c flip 610000 nbSat=3964714 maxSat=4243829
64.30/32.97	c flip 620000 nbSat=4163582 maxSat=4243829
65.49/33.58	c flip 630000 nbSat=4263393 maxSat=4313850
66.88/34.20	c flip 640000 nbSat=4360091 maxSat=4390458
68.08/34.82	c flip 650000 nbSat=4361153 maxSat=4497783
69.27/35.44	c flip 660000 nbSat=4560621 maxSat=4626286
70.48/36.08	c flip 670000 nbSat=4530890 maxSat=4666922
71.67/36.69	c flip 680000 nbSat=4701706 maxSat=4741083
73.08/37.31	c flip 690000 nbSat=4750636 maxSat=4794161
74.27/37.92	c flip 700000 nbSat=4900703 maxSat=4932125
75.47/38.52	c flip 710000 nbSat=5018659 maxSat=5051515
76.66/39.11	c flip 720000 nbSat=5107571 maxSat=5164628
77.84/39.72	c flip 730000 nbSat=5084119 maxSat=5199366
79.04/40.31	c flip 740000 nbSat=5169721 maxSat=5236086
80.24/40.92	c flip 750000 nbSat=4957208 maxSat=5251872
81.43/41.52	c flip 760000 nbSat=5069368 maxSat=5251872
82.63/42.13	c flip 770000 nbSat=5227109 maxSat=5345909
83.83/42.72	c flip 780000 nbSat=5170690 maxSat=5345909
85.02/43.32	c flip 790000 nbSat=5234379 maxSat=5345909
86.22/43.92	c flip 800000 nbSat=5261736 maxSat=5382766
87.41/44.52	c flip 810000 nbSat=5331115 maxSat=5437311
88.62/45.13	c flip 820000 nbSat=5319551 maxSat=5437311
89.81/45.73	c flip 830000 nbSat=5394408 maxSat=5493188
91.01/46.34	c flip 840000 nbSat=5411160 maxSat=5613292
92.20/46.94	c flip 850000 nbSat=5542718 maxSat=5613292
93.40/47.55	c flip 860000 nbSat=5505165 maxSat=5643236
94.60/48.15	c flip 870000 nbSat=5680854 maxSat=5680987
95.79/48.76	c flip 880000 nbSat=5812471 maxSat=5864790
96.99/49.36	c flip 890000 nbSat=5714356 maxSat=5921346
98.19/49.97	c flip 900000 nbSat=5743460 maxSat=5921346
99.39/50.58	c flip 910000 nbSat=6025401 maxSat=6050585
100.59/51.18	c flip 920000 nbSat=5928927 maxSat=6096153
101.79/51.79	c flip 930000 nbSat=5994700 maxSat=6107353
102.98/52.40	c flip 940000 nbSat=6135516 maxSat=6209113
104.18/52.99	c flip 950000 nbSat=5952373 maxSat=6249220
105.38/53.59	c flip 960000 nbSat=6112705 maxSat=6249220
106.57/54.18	c flip 970000 nbSat=6143059 maxSat=6249220
107.77/54.77	c flip 980000 nbSat=6086035 maxSat=6271367
108.97/55.37	c flip 990000 nbSat=6352350 maxSat=6353244
110.17/55.96	c flip 1000000 nbSat=6439613 maxSat=6510526
111.36/56.55	c flip 1010000 nbSat=6459157 maxSat=6609947
112.56/57.14	c flip 1020000 nbSat=6498024 maxSat=6609947
113.76/57.74	c flip 1030000 nbSat=6426466 maxSat=6609947
114.96/58.34	c flip 1040000 nbSat=6627433 maxSat=6661406
116.15/58.94	c flip 1050000 nbSat=6586203 maxSat=6758338
117.35/59.54	c flip 1060000 nbSat=6464994 maxSat=6758338
118.55/60.13	c flip 1070000 nbSat=6579426 maxSat=6758338
119.74/60.73	c flip 1080000 nbSat=6755976 maxSat=6758338
120.94/61.32	c flip 1090000 nbSat=6759882 maxSat=6900188
122.14/61.91	c flip 1100000 nbSat=6779099 maxSat=6900188
123.14/62.49	c flip 1110000 nbSat=6889532 maxSat=6961073
124.34/63.08	c flip 1120000 nbSat=6858432 maxSat=6979631
125.53/63.68	c flip 1130000 nbSat=6894289 maxSat=6995785
126.73/64.29	c flip 1140000 nbSat=7007305 maxSat=7067465
127.93/64.89	c flip 1150000 nbSat=7013119 maxSat=7270275
129.13/65.48	c flip 1160000 nbSat=7073288 maxSat=7270275
130.33/66.07	c flip 1170000 nbSat=6884199 maxSat=7315001
131.52/66.66	c flip 1180000 nbSat=7152673 maxSat=7315001
132.71/67.26	c flip 1190000 nbSat=7114723 maxSat=7429591
133.91/67.86	c flip 1200000 nbSat=6874624 maxSat=7429591
135.11/68.46	c flip 1210000 nbSat=7136950 maxSat=7429591
136.31/69.06	c flip 1220000 nbSat=7231455 maxSat=7506207
137.51/69.66	c flip 1230000 nbSat=7025418 maxSat=7506207
138.71/70.25	c flip 1240000 nbSat=7549386 maxSat=7625738
139.90/70.85	c flip 1250000 nbSat=7156255 maxSat=7664478
141.11/71.44	c flip 1260000 nbSat=7491443 maxSat=7664478
142.30/72.02	c flip 1270000 nbSat=7578608 maxSat=7735896
143.50/72.62	c flip 1280000 nbSat=7343867 maxSat=7737234
144.69/73.22	c flip 1290000 nbSat=7747359 maxSat=7808845
145.89/73.81	c flip 1300000 nbSat=7443061 maxSat=7808845
147.09/74.40	c flip 1310000 nbSat=7471178 maxSat=7808845
148.08/74.98	c flip 1320000 nbSat=7853523 maxSat=7861558
149.28/75.58	c flip 1330000 nbSat=7560543 maxSat=8004367
150.48/76.18	c flip 1340000 nbSat=7519640 maxSat=8004367
151.68/76.78	c flip 1350000 nbSat=7688215 maxSat=8004367
152.87/77.38	c flip 1360000 nbSat=7886260 maxSat=8009069
154.07/77.98	c flip 1370000 nbSat=8061838 maxSat=8063989
155.28/78.59	c flip 1380000 nbSat=7898724 maxSat=8063989
156.48/79.19	c flip 1390000 nbSat=7622602 maxSat=8130909
157.88/79.80	c flip 1400000 nbSat=8039355 maxSat=8130909
159.07/80.41	c flip 1410000 nbSat=7690485 maxSat=8144975
160.27/81.01	c flip 1420000 nbSat=7991418 maxSat=8144975
161.46/81.60	c flip 1430000 nbSat=8106356 maxSat=8182459
162.66/82.20	c flip 1440000 nbSat=8108865 maxSat=8389479
163.86/82.82	c flip 1450000 nbSat=8188327 maxSat=8389479
165.06/83.41	c flip 1460000 nbSat=8132846 maxSat=8393926
166.25/84.01	c flip 1470000 nbSat=8320929 maxSat=8459172
167.45/84.63	c flip 1480000 nbSat=8249440 maxSat=8606469
168.64/85.25	c flip 1490000 nbSat=8405713 maxSat=8606469
169.84/85.86	c flip 1500000 nbSat=8539484 maxSat=8629533
171.04/86.47	c flip 1510000 nbSat=8490989 maxSat=8659936
172.23/87.07	c flip 1520000 nbSat=8537229 maxSat=8659936
173.42/87.68	c flip 1530000 nbSat=8552462 maxSat=8659936
174.62/88.28	c flip 1540000 nbSat=8326624 maxSat=8659936
175.82/88.88	c flip 1550000 nbSat=8632649 maxSat=8872084
177.01/89.49	c flip 1560000 nbSat=8213887 maxSat=8872084
178.21/90.09	c flip 1570000 nbSat=8361723 maxSat=8872084
179.41/90.69	c flip 1580000 nbSat=8679794 maxSat=8980989
180.61/91.30	c flip 1590000 nbSat=8673132 maxSat=8980989
181.80/91.90	c flip 1600000 nbSat=8443089 maxSat=8980989
183.20/92.51	c flip 1610000 nbSat=8826434 maxSat=9020895
184.40/93.12	c flip 1620000 nbSat=8682874 maxSat=9020895
185.59/93.72	c flip 1630000 nbSat=8664201 maxSat=9020895
186.79/94.31	c flip 1640000 nbSat=9089516 maxSat=9256852
187.99/94.92	c flip 1650000 nbSat=9000523 maxSat=9256852
189.19/95.51	c flip 1660000 nbSat=9074453 maxSat=9287058
190.39/96.11	c flip 1670000 nbSat=8888019 maxSat=9411957
191.59/96.71	c flip 1680000 nbSat=9176502 maxSat=9411957
192.78/97.30	c flip 1690000 nbSat=9380739 maxSat=9534633
193.79/97.90	c flip 1700000 nbSat=9358662 maxSat=9649775
194.98/98.48	c flip 1710000 nbSat=9271591 maxSat=9649775
196.18/99.09	c flip 1720000 nbSat=9369155 maxSat=9649775
197.37/99.68	c flip 1730000 nbSat=9423357 maxSat=9649775
198.57/100.28	c flip 1740000 nbSat=9195092 maxSat=9649775
199.76/100.88	c flip 1750000 nbSat=9642214 maxSat=9793245
200.96/101.48	c flip 1760000 nbSat=9604482 maxSat=9937264
202.16/102.08	c flip 1770000 nbSat=9373599 maxSat=9937264
203.55/102.76	c flip 0 nbSat=313764 maxSat=9937264
203.75/102.85	c flip 10000 nbSat=333825 maxSat=9937264
203.95/102.95	c flip 20000 nbSat=353910 maxSat=9937264
204.15/103.04	c flip 30000 nbSat=371013 maxSat=9937264
204.55/103.20	c flip 40000 nbSat=381247 maxSat=9937264
204.76/103.40	c flip 50000 nbSat=391228 maxSat=9937264
205.35/103.62	c flip 60000 nbSat=404025 maxSat=9937264
205.75/103.86	c flip 70000 nbSat=419816 maxSat=9937264
206.35/104.14	c flip 80000 nbSat=438664 maxSat=9937264
206.95/104.42	c flip 90000 nbSat=457298 maxSat=9937264
207.55/104.73	c flip 100000 nbSat=478999 maxSat=9937264
208.15/105.07	c flip 110000 nbSat=500851 maxSat=9937264
208.95/105.42	c flip 120000 nbSat=526958 maxSat=9937264
209.54/105.77	c flip 130000 nbSat=555522 maxSat=9937264
210.34/106.14	c flip 140000 nbSat=579779 maxSat=9937264
211.14/106.53	c flip 150000 nbSat=606351 maxSat=9937264
211.93/106.93	c flip 160000 nbSat=646477 maxSat=9937264
212.73/107.34	c flip 170000 nbSat=679715 maxSat=9937264
213.54/107.78	c flip 180000 nbSat=721205 maxSat=9937264
214.53/108.25	c flip 190000 nbSat=781827 maxSat=9937264
215.53/108.72	c flip 200000 nbSat=830775 maxSat=9937264
216.53/109.25	c flip 210000 nbSat=892422 maxSat=9937264
217.53/109.75	c flip 220000 nbSat=958743 maxSat=9937264
218.52/110.29	c flip 230000 nbSat=1017548 maxSat=9937264
219.72/110.84	c flip 240000 nbSat=1105073 maxSat=9937264
220.72/111.38	c flip 250000 nbSat=1200884 maxSat=9937264
221.92/111.95	c flip 260000 nbSat=1265712 maxSat=9937264
223.11/112.52	c flip 270000 nbSat=1358921 maxSat=9937264
224.31/113.12	c flip 280000 nbSat=1409422 maxSat=9937264
225.31/113.69	c flip 290000 nbSat=1500474 maxSat=9937264
226.51/114.28	c flip 300000 nbSat=1657646 maxSat=9937264
227.70/114.87	c flip 310000 nbSat=1738069 maxSat=9937264
228.90/115.48	c flip 320000 nbSat=1871673 maxSat=9937264
230.10/116.05	c flip 330000 nbSat=1883394 maxSat=9937264
231.30/116.66	c flip 340000 nbSat=1978448 maxSat=9937264
232.49/117.25	c flip 350000 nbSat=2050905 maxSat=9937264
233.69/117.85	c flip 360000 nbSat=2202124 maxSat=9937264
234.89/118.43	c flip 370000 nbSat=2310017 maxSat=9937264
236.08/119.05	c flip 380000 nbSat=2368158 maxSat=9937264
237.28/119.64	c flip 390000 nbSat=2471920 maxSat=9937264
238.48/120.25	c flip 400000 nbSat=2520880 maxSat=9937264
239.68/120.86	c flip 410000 nbSat=2602197 maxSat=9937264
240.87/121.46	c flip 420000 nbSat=2749026 maxSat=9937264
242.08/122.06	c flip 430000 nbSat=2794541 maxSat=9937264
243.27/122.67	c flip 440000 nbSat=2857356 maxSat=9937264
244.47/123.27	c flip 450000 nbSat=2983313 maxSat=9937264
245.66/123.87	c flip 460000 nbSat=2964085 maxSat=9937264
247.06/124.50	c flip 470000 nbSat=3013543 maxSat=9937264
248.26/125.11	c flip 480000 nbSat=3235496 maxSat=9937264
249.45/125.72	c flip 490000 nbSat=3248567 maxSat=9937264
250.65/126.35	c flip 500000 nbSat=3323983 maxSat=9937264
251.85/126.96	c flip 510000 nbSat=3479027 maxSat=9937264
253.05/127.57	c flip 520000 nbSat=3504240 maxSat=9937264
254.24/128.17	c flip 530000 nbSat=3504087 maxSat=9937264
255.45/128.79	c flip 540000 nbSat=3541030 maxSat=9937264
256.63/129.39	c flip 550000 nbSat=3544686 maxSat=9937264
257.82/129.98	c flip 560000 nbSat=3655688 maxSat=9937264
259.02/130.57	c flip 570000 nbSat=3835467 maxSat=9937264
260.22/131.19	c flip 580000 nbSat=3806091 maxSat=9937264
261.42/131.78	c flip 590000 nbSat=3938041 maxSat=9937264
262.61/132.39	c flip 600000 nbSat=3846851 maxSat=9937264
263.81/132.99	c flip 610000 nbSat=3918321 maxSat=9937264
265.20/133.60	c flip 620000 nbSat=3913776 maxSat=9937264
266.40/134.21	c flip 630000 nbSat=4014784 maxSat=9937264
267.59/134.82	c flip 640000 nbSat=4118677 maxSat=9937264
268.79/135.43	c flip 650000 nbSat=4247234 maxSat=9937264
269.99/136.02	c flip 660000 nbSat=4119472 maxSat=9937264
271.18/136.63	c flip 670000 nbSat=4286750 maxSat=9937264
272.38/137.24	c flip 680000 nbSat=4244196 maxSat=9937264
273.58/137.85	c flip 690000 nbSat=4382468 maxSat=9937264
274.78/138.45	c flip 700000 nbSat=4343700 maxSat=9937264
275.98/139.05	c flip 710000 nbSat=4559179 maxSat=9937264
277.18/139.67	c flip 720000 nbSat=4676240 maxSat=9937264
278.37/140.27	c flip 730000 nbSat=4744184 maxSat=9937264
279.57/140.88	c flip 740000 nbSat=4833786 maxSat=9937264
280.77/141.48	c flip 750000 nbSat=4972926 maxSat=9937264
281.96/142.08	c flip 760000 nbSat=4802060 maxSat=9937264
283.16/142.67	c flip 770000 nbSat=4864426 maxSat=9937264
284.36/143.26	c flip 780000 nbSat=5036710 maxSat=9937264
285.56/143.86	c flip 790000 nbSat=5024695 maxSat=9937264
286.75/144.47	c flip 800000 nbSat=4920859 maxSat=9937264
287.95/145.07	c flip 810000 nbSat=5121342 maxSat=9937264
289.15/145.68	c flip 820000 nbSat=5123271 maxSat=9937264
290.35/146.29	c flip 830000 nbSat=5211087 maxSat=9937264
291.54/146.89	c flip 840000 nbSat=5349822 maxSat=9937264
292.75/147.49	c flip 850000 nbSat=5409222 maxSat=9937264
293.94/148.10	c flip 860000 nbSat=5553463 maxSat=9937264
295.13/148.70	c flip 870000 nbSat=5586548 maxSat=9937264
296.33/149.27	c flip 880000 nbSat=5608104 maxSat=9937264
297.53/149.86	c flip 890000 nbSat=5449886 maxSat=9937264
298.73/150.44	c flip 900000 nbSat=5619627 maxSat=9937264
299.92/151.03	c flip 910000 nbSat=5760714 maxSat=9937264
301.12/151.62	c flip 920000 nbSat=5702423 maxSat=9937264
302.32/152.21	c flip 930000 nbSat=5776793 maxSat=9937264
303.32/152.78	c flip 940000 nbSat=5902752 maxSat=9937264
304.51/153.36	c flip 950000 nbSat=5857941 maxSat=9937264
305.72/153.93	c flip 960000 nbSat=5837789 maxSat=9937264
306.91/154.51	c flip 970000 nbSat=5934781 maxSat=9937264
307.91/155.09	c flip 980000 nbSat=5783820 maxSat=9937264
309.10/155.67	c flip 990000 nbSat=6067665 maxSat=9937264
310.31/156.25	c flip 1000000 nbSat=5975485 maxSat=9937264
311.50/156.84	c flip 1010000 nbSat=5997901 maxSat=9937264
312.70/157.43	c flip 1020000 nbSat=5998957 maxSat=9937264
313.89/158.00	c flip 1030000 nbSat=6097809 maxSat=9937264
314.89/158.60	c flip 1040000 nbSat=6165492 maxSat=9937264
316.09/159.19	c flip 1050000 nbSat=6371715 maxSat=9937264
317.28/159.79	c flip 1060000 nbSat=6263605 maxSat=9937264
318.48/160.37	c flip 1070000 nbSat=6465706 maxSat=9937264
319.68/160.96	c flip 1080000 nbSat=6360806 maxSat=9937264
320.88/161.53	c flip 1090000 nbSat=6446148 maxSat=9937264
322.07/162.11	c flip 1100000 nbSat=6520496 maxSat=9937264
323.07/162.69	c flip 1110000 nbSat=6637331 maxSat=9937264
324.27/163.26	c flip 1120000 nbSat=6546650 maxSat=9937264
325.47/163.86	c flip 1130000 nbSat=6400934 maxSat=9937264
326.67/164.44	c flip 1140000 nbSat=6548579 maxSat=9937264
327.87/165.03	c flip 1150000 nbSat=6626155 maxSat=9937264
329.06/165.63	c flip 1160000 nbSat=6655245 maxSat=9937264
330.26/166.23	c flip 1170000 nbSat=6528210 maxSat=9937264
331.45/166.82	c flip 1180000 nbSat=6809193 maxSat=9937264
332.65/167.42	c flip 1190000 nbSat=6634723 maxSat=9937264
333.85/168.00	c flip 1200000 nbSat=6826621 maxSat=9937264
334.85/168.58	c flip 1210000 nbSat=6749703 maxSat=9937264
336.04/169.15	c flip 1220000 nbSat=6857742 maxSat=9937264
337.24/169.73	c flip 1230000 nbSat=6865132 maxSat=9937264
338.44/170.31	c flip 1240000 nbSat=6894747 maxSat=9937264
339.63/170.91	c flip 1250000 nbSat=7026926 maxSat=9937264
340.63/171.48	c flip 1260000 nbSat=7249378 maxSat=9937264
341.83/172.06	c flip 1270000 nbSat=7098328 maxSat=9937264
343.03/172.64	c flip 1280000 nbSat=7058760 maxSat=9937264
344.23/173.22	c flip 1290000 nbSat=7064322 maxSat=9937264
345.43/173.80	c flip 1300000 nbSat=7150966 maxSat=9937264
346.41/174.39	c flip 1310000 nbSat=7255490 maxSat=9937264
347.62/174.98	c flip 1320000 nbSat=7462488 maxSat=9937264
348.80/175.55	c flip 1330000 nbSat=7329987 maxSat=9937264
350.00/176.13	c flip 1340000 nbSat=7106668 maxSat=9937264
351.20/176.70	c flip 1350000 nbSat=7251893 maxSat=9937264
352.20/177.28	c flip 1360000 nbSat=7232440 maxSat=9937264
353.40/177.86	c flip 1370000 nbSat=7578201 maxSat=9937264
354.59/178.44	c flip 1380000 nbSat=7586623 maxSat=9937264
355.79/179.02	c flip 1390000 nbSat=7789826 maxSat=9937264
356.98/179.60	c flip 1400000 nbSat=7622438 maxSat=9937264
357.98/180.18	c flip 1410000 nbSat=7677856 maxSat=9937264
359.17/180.77	c flip 1420000 nbSat=7684098 maxSat=9937264
360.37/181.34	c flip 1430000 nbSat=7574225 maxSat=9937264
361.57/181.91	c flip 1440000 nbSat=7786125 maxSat=9937264
362.57/182.48	c flip 1450000 nbSat=7951363 maxSat=9937264
363.77/183.05	c flip 1460000 nbSat=7774726 maxSat=9937264
364.97/183.64	c flip 1470000 nbSat=7824553 maxSat=9937264
366.16/184.21	c flip 1480000 nbSat=8116685 maxSat=9937264
367.16/184.79	c flip 1490000 nbSat=8127211 maxSat=9937264
368.36/185.36	c flip 1500000 nbSat=8119076 maxSat=9937264
369.56/185.92	c flip 1510000 nbSat=8449148 maxSat=9937264
370.75/186.50	c flip 1520000 nbSat=8268783 maxSat=9937264
371.75/187.08	c flip 1530000 nbSat=8175021 maxSat=9937264
372.95/187.65	c flip 1540000 nbSat=8314097 maxSat=9937264
374.14/188.24	c flip 1550000 nbSat=8436057 maxSat=9937264
375.34/188.82	c flip 1560000 nbSat=8385253 maxSat=9937264
376.54/189.40	c flip 1570000 nbSat=8548484 maxSat=9937264
377.54/189.98	c flip 1580000 nbSat=8306968 maxSat=9937264
378.74/190.56	c flip 1590000 nbSat=8517246 maxSat=9937264
379.94/191.12	c flip 1600000 nbSat=8665870 maxSat=9937264
381.13/191.70	c flip 1610000 nbSat=8656062 maxSat=9937264
382.13/192.25	c flip 1620000 nbSat=8692392 maxSat=9937264
383.32/192.82	c flip 1630000 nbSat=8782124 maxSat=9937264
384.32/193.39	c flip 1640000 nbSat=8756299 maxSat=9937264
385.52/193.96	c flip 1650000 nbSat=8781849 maxSat=9937264
386.72/194.52	c flip 1660000 nbSat=8943313 maxSat=9937264
387.71/195.08	c flip 1670000 nbSat=8865530 maxSat=9937264
388.91/195.64	c flip 1680000 nbSat=8739381 maxSat=9937264
390.11/196.21	c flip 1690000 nbSat=8760662 maxSat=9937264
391.11/196.79	c flip 1700000 nbSat=8671742 maxSat=9937264
392.30/197.37	c flip 1710000 nbSat=8810247 maxSat=9937264
393.51/197.95	c flip 1720000 nbSat=9108624 maxSat=9937264
394.70/198.52	c flip 1730000 nbSat=9314022 maxSat=9937264
395.71/199.08	c flip 1740000 nbSat=9438935 maxSat=9937264
396.90/199.64	c flip 1750000 nbSat=9415556 maxSat=9937264
398.10/200.23	c flip 1760000 nbSat=9276065 maxSat=9937264
399.29/200.80	c flip 1770000 nbSat=9508699 maxSat=9937264
400.49/201.46	c flip 0 nbSat=313314 maxSat=9937264
400.69/201.56	c flip 10000 nbSat=333776 maxSat=9937264
400.89/201.65	c flip 20000 nbSat=354423 maxSat=9937264
401.09/201.75	c flip 30000 nbSat=371516 maxSat=9937264
401.49/201.91	c flip 40000 nbSat=382379 maxSat=9937264
401.89/202.11	c flip 50000 nbSat=394696 maxSat=9937264
402.29/202.33	c flip 60000 nbSat=411431 maxSat=9937264
402.68/202.58	c flip 70000 nbSat=429732 maxSat=9937264
403.28/202.86	c flip 80000 nbSat=450508 maxSat=9937264
403.88/203.15	c flip 90000 nbSat=474576 maxSat=9937264
404.48/203.47	c flip 100000 nbSat=498322 maxSat=9937264
405.07/203.79	c flip 110000 nbSat=523547 maxSat=9937264
405.87/204.14	c flip 120000 nbSat=544322 maxSat=9937264
406.68/204.51	c flip 130000 nbSat=583990 maxSat=9937264
407.27/204.89	c flip 140000 nbSat=615106 maxSat=9937264
408.07/205.27	c flip 150000 nbSat=645854 maxSat=9937264
408.87/205.68	c flip 160000 nbSat=683200 maxSat=9937264
409.86/206.12	c flip 170000 nbSat=731155 maxSat=9937264
410.66/206.58	c flip 180000 nbSat=795559 maxSat=9937264
411.66/207.07	c flip 190000 nbSat=879492 maxSat=9937264
412.66/207.56	c flip 200000 nbSat=947301 maxSat=9937264
413.66/208.09	c flip 210000 nbSat=993984 maxSat=9937264
414.86/208.64	c flip 220000 nbSat=1077879 maxSat=9937264
415.85/209.18	c flip 230000 nbSat=1131038 maxSat=9937264
417.05/209.74	c flip 240000 nbSat=1218442 maxSat=9937264
418.25/210.31	c flip 250000 nbSat=1338089 maxSat=9937264
419.45/210.91	c flip 260000 nbSat=1402096 maxSat=9937264
420.44/211.50	c flip 270000 nbSat=1555144 maxSat=9937264
421.64/212.08	c flip 280000 nbSat=1602411 maxSat=9937264
422.84/212.69	c flip 290000 nbSat=1756396 maxSat=9937264
424.04/213.26	c flip 300000 nbSat=1807602 maxSat=9937264
425.23/213.88	c flip 310000 nbSat=1909522 maxSat=9937264
426.44/214.48	c flip 320000 nbSat=2038472 maxSat=9937264
427.63/215.09	c flip 330000 nbSat=2084851 maxSat=9937264
428.83/215.68	c flip 340000 nbSat=2209572 maxSat=9937264
430.02/216.29	c flip 350000 nbSat=2303788 maxSat=9937264
431.42/216.91	c flip 360000 nbSat=2458771 maxSat=9937264
432.62/217.52	c flip 370000 nbSat=2513188 maxSat=9937264
433.81/218.17	c flip 380000 nbSat=2592206 maxSat=9937264
435.01/218.78	c flip 390000 nbSat=2699127 maxSat=9937264
436.40/219.42	c flip 400000 nbSat=2808776 maxSat=9937264
437.60/220.05	c flip 410000 nbSat=2864413 maxSat=9937264
438.80/220.67	c flip 420000 nbSat=2952282 maxSat=9937264
440.19/221.31	c flip 430000 nbSat=2943121 maxSat=9937264
441.39/221.93	c flip 440000 nbSat=3085626 maxSat=9937264
442.59/222.55	c flip 450000 nbSat=3284478 maxSat=9937264
443.79/223.19	c flip 460000 nbSat=3201350 maxSat=9937264
445.18/223.81	c flip 470000 nbSat=3319942 maxSat=9937264
446.39/224.42	c flip 480000 nbSat=3504384 maxSat=9937264
447.58/225.06	c flip 490000 nbSat=3370419 maxSat=9937264
448.77/225.69	c flip 500000 nbSat=3476574 maxSat=9937264
450.17/226.32	c flip 510000 nbSat=3555976 maxSat=9937264
451.36/226.96	c flip 520000 nbSat=3830083 maxSat=9937264
452.76/227.62	c flip 530000 nbSat=3701401 maxSat=9937264
453.96/228.24	c flip 540000 nbSat=3853499 maxSat=9937264
455.16/228.86	c flip 550000 nbSat=3830006 maxSat=9937264
456.35/229.47	c flip 560000 nbSat=3981215 maxSat=9937264
457.75/230.11	c flip 570000 nbSat=3986738 maxSat=9937264
458.95/230.72	c flip 580000 nbSat=4203176 maxSat=9937264
460.14/231.35	c flip 590000 nbSat=4174276 maxSat=9937264
461.34/231.96	c flip 600000 nbSat=4201409 maxSat=9937264
462.54/232.57	c flip 610000 nbSat=4310089 maxSat=9937264
463.75/233.20	c flip 620000 nbSat=4509336 maxSat=9937264
465.14/233.82	c flip 630000 nbSat=4515943 maxSat=9937264
466.34/234.43	c flip 640000 nbSat=4662213 maxSat=9937264
467.54/235.06	c flip 650000 nbSat=4624410 maxSat=9937264
468.73/235.68	c flip 660000 nbSat=4664516 maxSat=9937264
470.13/236.30	c flip 670000 nbSat=4844769 maxSat=9937264
471.33/236.92	c flip 680000 nbSat=4918380 maxSat=9937264
472.53/237.53	c flip 690000 nbSat=4999387 maxSat=9937264
473.72/238.13	c flip 700000 nbSat=4996797 maxSat=9937264
474.92/238.74	c flip 710000 nbSat=4951546 maxSat=9937264
476.12/239.36	c flip 720000 nbSat=5110207 maxSat=9937264
477.31/239.97	c flip 730000 nbSat=5135799 maxSat=9937264
478.51/240.58	c flip 740000 nbSat=5230232 maxSat=9937264
479.71/241.19	c flip 750000 nbSat=5218437 maxSat=9937264
480.91/241.79	c flip 760000 nbSat=5445796 maxSat=9937264
482.10/242.40	c flip 770000 nbSat=5343685 maxSat=9937264
483.30/242.99	c flip 780000 nbSat=5604430 maxSat=9937264
484.50/243.59	c flip 790000 nbSat=5409941 maxSat=9937264
485.70/244.20	c flip 800000 nbSat=5545785 maxSat=9937264
487.09/244.80	c flip 810000 nbSat=5549861 maxSat=9937264
488.29/245.40	c flip 820000 nbSat=5678141 maxSat=9937264
489.29/246.00	c flip 830000 nbSat=5761217 maxSat=9937264
490.48/246.59	c flip 840000 nbSat=5851234 maxSat=9937264
491.68/247.20	c flip 850000 nbSat=5809098 maxSat=9937264
492.88/247.79	c flip 860000 nbSat=5962674 maxSat=9937264
494.08/248.39	c flip 870000 nbSat=5832917 maxSat=9937264
495.28/248.99	c flip 880000 nbSat=5816581 maxSat=9937264
496.47/249.58	c flip 890000 nbSat=6084487 maxSat=9937264
497.67/250.18	c flip 900000 nbSat=5840376 maxSat=9937264
498.88/250.76	c flip 910000 nbSat=6125136 maxSat=9937264
500.07/251.35	c flip 920000 nbSat=6234588 maxSat=9937264
501.27/251.94	c flip 930000 nbSat=6188943 maxSat=9937264
502.46/252.54	c flip 940000 nbSat=6319384 maxSat=9937264
503.66/253.14	c flip 950000 nbSat=6317657 maxSat=9937264
504.86/253.75	c flip 960000 nbSat=6328446 maxSat=9937264
506.05/254.34	c flip 970000 nbSat=6344462 maxSat=9937264
507.25/254.94	c flip 980000 nbSat=6483067 maxSat=9937264
508.45/255.56	c flip 990000 nbSat=6498418 maxSat=9937264
509.65/256.16	c flip 1000000 nbSat=6526581 maxSat=9937264
510.84/256.77	c flip 1010000 nbSat=6717862 maxSat=9937264
512.05/257.38	c flip 1020000 nbSat=6725053 maxSat=9937264
513.24/257.99	c flip 1030000 nbSat=6912923 maxSat=9937264
514.44/258.60	c flip 1040000 nbSat=6917065 maxSat=9937264
515.84/259.21	c flip 1050000 nbSat=6966467 maxSat=9937264
517.03/259.83	c flip 1060000 nbSat=7069720 maxSat=9937264
518.23/260.46	c flip 1070000 nbSat=7007389 maxSat=9937264
519.42/261.07	c flip 1080000 nbSat=7151972 maxSat=9937264
520.62/261.68	c flip 1090000 nbSat=7100775 maxSat=9937264
521.82/262.29	c flip 1100000 nbSat=7179138 maxSat=9937264
523.02/262.89	c flip 1110000 nbSat=7397189 maxSat=9937264
524.21/263.49	c flip 1120000 nbSat=7318685 maxSat=9937264
525.60/264.12	c flip 1130000 nbSat=7480736 maxSat=9937264
526.80/264.73	c flip 1140000 nbSat=7368810 maxSat=9937264
527.99/265.33	c flip 1150000 nbSat=7465595 maxSat=9937264
529.19/265.93	c flip 1160000 nbSat=7378073 maxSat=9937264
530.39/266.54	c flip 1170000 nbSat=7575189 maxSat=9937264
531.59/267.14	c flip 1180000 nbSat=7785377 maxSat=9937264
532.79/267.74	c flip 1190000 nbSat=7723031 maxSat=9937264
533.99/268.34	c flip 1200000 nbSat=7812603 maxSat=9937264
535.18/268.94	c flip 1210000 nbSat=7971655 maxSat=9937264
536.39/269.54	c flip 1220000 nbSat=7979654 maxSat=9937264
537.58/270.15	c flip 1230000 nbSat=8140254 maxSat=9937264
538.77/270.75	c flip 1240000 nbSat=8213981 maxSat=9937264
539.96/271.36	c flip 1250000 nbSat=8299648 maxSat=9937264
541.16/271.96	c flip 1260000 nbSat=8231784 maxSat=9937264
542.36/272.55	c flip 1270000 nbSat=8519116 maxSat=9937264
543.55/273.15	c flip 1280000 nbSat=8079584 maxSat=9937264
544.75/273.76	c flip 1290000 nbSat=8468609 maxSat=9937264
545.95/274.36	c flip 1300000 nbSat=8591484 maxSat=9937264
547.15/274.96	c flip 1310000 nbSat=8397608 maxSat=9937264
548.35/275.55	c flip 1320000 nbSat=8510952 maxSat=9937264
549.55/276.15	c flip 1330000 nbSat=8293049 maxSat=9937264
550.74/276.75	c flip 1340000 nbSat=8607002 maxSat=9937264
551.94/277.34	c flip 1350000 nbSat=8575449 maxSat=9937264
553.13/277.94	c flip 1360000 nbSat=8508013 maxSat=9937264
554.33/278.54	c flip 1370000 nbSat=8697292 maxSat=9937264
555.53/279.12	c flip 1380000 nbSat=8579529 maxSat=9937264
556.73/279.72	c flip 1390000 nbSat=8527464 maxSat=9937264
557.93/280.33	c flip 1400000 nbSat=8818141 maxSat=9937264
559.12/280.94	c flip 1410000 nbSat=8981219 maxSat=9937264
560.33/281.55	c flip 1420000 nbSat=9034291 maxSat=9937264
561.52/282.15	c flip 1430000 nbSat=9026614 maxSat=9937264
562.72/282.75	c flip 1440000 nbSat=8421163 maxSat=9937264
563.91/283.35	c flip 1450000 nbSat=8887222 maxSat=9937264
565.11/283.94	c flip 1460000 nbSat=8578377 maxSat=9937264
566.31/284.55	c flip 1470000 nbSat=9253477 maxSat=9937264
567.50/285.15	c flip 1480000 nbSat=9282974 maxSat=9937264
568.70/285.75	c flip 1490000 nbSat=9198930 maxSat=9937264
569.90/286.35	c flip 1500000 nbSat=9673986 maxSat=9937264
571.10/286.94	c flip 1510000 nbSat=9601644 maxSat=9937264
572.29/287.54	c flip 1520000 nbSat=9343552 maxSat=9937264
573.50/288.14	c flip 1530000 nbSat=9536926 maxSat=9937264
574.69/288.73	c flip 1540000 nbSat=9623711 maxSat=9962219
575.89/289.32	c flip 1550000 nbSat=9643301 maxSat=9962219
577.08/289.91	c flip 1560000 nbSat=9499863 maxSat=9962219
578.28/290.51	c flip 1570000 nbSat=9973087 maxSat=10135070
579.48/291.10	c flip 1580000 nbSat=9980993 maxSat=10135070
580.68/291.71	c flip 1590000 nbSat=10033202 maxSat=10214353
581.87/292.31	c flip 1600000 nbSat=9928892 maxSat=10214353
583.07/292.91	c flip 1610000 nbSat=9772091 maxSat=10298207
584.27/293.50	c flip 1620000 nbSat=9718177 maxSat=10298207
585.47/294.10	c flip 1630000 nbSat=9938856 maxSat=10298207
586.67/294.71	c flip 1640000 nbSat=9795801 maxSat=10298207
587.86/295.31	c flip 1650000 nbSat=10299064 maxSat=10360231
589.06/295.93	c flip 1660000 nbSat=10010369 maxSat=10393927
590.26/296.54	c flip 1670000 nbSat=10229628 maxSat=10412572
591.45/297.15	c flip 1680000 nbSat=10222904 maxSat=10467947
592.65/297.75	c flip 1690000 nbSat=10372118 maxSat=10529581
593.85/298.36	c flip 1700000 nbSat=10347708 maxSat=10529581
595.05/298.98	c flip 1710000 nbSat=10297601 maxSat=10638441
596.44/299.60	c flip 1720000 nbSat=10290294 maxSat=10638441
597.65/300.22	c flip 1730000 nbSat=10645183 maxSat=10909530
598.84/300.81	c flip 1740000 nbSat=10626276 maxSat=10909530
600.04/301.41	c flip 1750000 nbSat=10667721 maxSat=10912489
601.24/302.01	c flip 1760000 nbSat=10534561 maxSat=10947558
602.43/302.63	c flip 1770000 nbSat=10678600 maxSat=10947558
603.83/303.32	c flip 0 nbSat=312661 maxSat=10947558
604.03/303.42	c flip 10000 nbSat=333397 maxSat=10947558
604.23/303.52	c flip 20000 nbSat=355105 maxSat=10947558
604.43/303.62	c flip 30000 nbSat=370812 maxSat=10947558
604.62/303.78	c flip 40000 nbSat=380945 maxSat=10947558
605.02/303.98	c flip 50000 nbSat=391997 maxSat=10947558
605.62/304.21	c flip 60000 nbSat=404580 maxSat=10947558
606.02/304.46	c flip 70000 nbSat=420509 maxSat=10947558
606.63/304.73	c flip 80000 nbSat=440223 maxSat=10947558
607.22/305.01	c flip 90000 nbSat=452936 maxSat=10947558
607.82/305.31	c flip 100000 nbSat=475843 maxSat=10947558
608.42/305.64	c flip 110000 nbSat=503927 maxSat=10947558
609.01/305.99	c flip 120000 nbSat=524721 maxSat=10947558
609.81/306.33	c flip 130000 nbSat=553772 maxSat=10947558
610.61/306.71	c flip 140000 nbSat=583725 maxSat=10947558
611.41/307.10	c flip 150000 nbSat=610275 maxSat=10947558
612.21/307.51	c flip 160000 nbSat=648256 maxSat=10947558
613.01/307.91	c flip 170000 nbSat=685598 maxSat=10947558
613.80/308.34	c flip 180000 nbSat=714871 maxSat=10947558
614.60/308.78	c flip 190000 nbSat=758130 maxSat=10947558
615.60/309.24	c flip 200000 nbSat=809661 maxSat=10947558
616.60/309.73	c flip 210000 nbSat=886237 maxSat=10947558
617.60/310.22	c flip 220000 nbSat=929907 maxSat=10947558
618.59/310.74	c flip 230000 nbSat=995660 maxSat=10947558
619.59/311.27	c flip 240000 nbSat=1096115 maxSat=10947558
620.58/311.79	c flip 250000 nbSat=1137207 maxSat=10947558
621.78/312.34	c flip 260000 nbSat=1195676 maxSat=10947558
622.78/312.88	c flip 270000 nbSat=1278082 maxSat=10947558
623.98/313.46	c flip 280000 nbSat=1343480 maxSat=10947558
625.17/314.02	c flip 290000 nbSat=1428037 maxSat=10947558
626.37/314.61	c flip 300000 nbSat=1498019 maxSat=10947558
627.37/315.18	c flip 310000 nbSat=1603312 maxSat=10947558
628.57/315.77	c flip 320000 nbSat=1677086 maxSat=10947558
629.76/316.33	c flip 330000 nbSat=1740324 maxSat=10947558
630.96/316.93	c flip 340000 nbSat=1819142 maxSat=10947558
631.96/317.49	c flip 350000 nbSat=1925612 maxSat=10947558
633.35/318.10	c flip 360000 nbSat=1979002 maxSat=10947558
634.35/318.68	c flip 370000 nbSat=2116960 maxSat=10947558
635.54/319.26	c flip 380000 nbSat=2151236 maxSat=10947558
636.74/319.87	c flip 390000 nbSat=2238599 maxSat=10947558
637.94/320.47	c flip 400000 nbSat=2277495 maxSat=10947558
639.13/321.09	c flip 410000 nbSat=2297566 maxSat=10947558
640.53/321.70	c flip 420000 nbSat=2452029 maxSat=10947558
641.53/322.30	c flip 430000 nbSat=2525733 maxSat=10947558
642.93/322.93	c flip 440000 nbSat=2560921 maxSat=10947558
644.12/323.53	c flip 450000 nbSat=2655007 maxSat=10947558
645.32/324.14	c flip 460000 nbSat=2738959 maxSat=10947558
646.52/324.77	c flip 470000 nbSat=2813565 maxSat=10947558
647.72/325.36	c flip 480000 nbSat=2890608 maxSat=10947558
648.91/325.97	c flip 490000 nbSat=2894696 maxSat=10947558
650.11/326.58	c flip 500000 nbSat=2983646 maxSat=10947558
651.51/327.21	c flip 510000 nbSat=3145008 maxSat=10947558
652.71/327.82	c flip 520000 nbSat=3181738 maxSat=10947558
653.91/328.41	c flip 530000 nbSat=3223500 maxSat=10947558
655.10/329.03	c flip 540000 nbSat=3295063 maxSat=10947558
656.30/329.62	c flip 550000 nbSat=3362937 maxSat=10947558
657.49/330.23	c flip 560000 nbSat=3512103 maxSat=10947558
658.69/330.83	c flip 570000 nbSat=3470458 maxSat=10947558
659.89/331.44	c flip 580000 nbSat=3610635 maxSat=10947558
661.09/332.03	c flip 590000 nbSat=3667000 maxSat=10947558
662.28/332.63	c flip 600000 nbSat=3669101 maxSat=10947558
663.49/333.22	c flip 610000 nbSat=3663726 maxSat=10947558
664.68/333.83	c flip 620000 nbSat=3836142 maxSat=10947558
665.88/334.44	c flip 630000 nbSat=3885268 maxSat=10947558
667.07/335.04	c flip 640000 nbSat=3861052 maxSat=10947558
668.27/335.64	c flip 650000 nbSat=3962976 maxSat=10947558
669.47/336.24	c flip 660000 nbSat=4014390 maxSat=10947558
670.67/336.85	c flip 670000 nbSat=4023751 maxSat=10947558
671.87/337.46	c flip 680000 nbSat=4160478 maxSat=10947558
673.06/338.04	c flip 690000 nbSat=4201077 maxSat=10947558
674.26/338.63	c flip 700000 nbSat=4302438 maxSat=10947558
675.46/339.23	c flip 710000 nbSat=4304348 maxSat=10947558
676.66/339.81	c flip 720000 nbSat=4209568 maxSat=10947558
677.65/340.39	c flip 730000 nbSat=4300864 maxSat=10947558
678.86/341.00	c flip 740000 nbSat=4419333 maxSat=10947558
680.05/341.59	c flip 750000 nbSat=4471092 maxSat=10947558
681.25/342.18	c flip 760000 nbSat=4506491 maxSat=10947558
682.44/342.78	c flip 770000 nbSat=4691068 maxSat=10947558
683.64/343.37	c flip 780000 nbSat=4593249 maxSat=10947558
684.84/343.97	c flip 790000 nbSat=4719759 maxSat=10947558
686.04/344.57	c flip 800000 nbSat=4805614 maxSat=10947558
687.24/345.18	c flip 810000 nbSat=4891466 maxSat=10947558
688.43/345.79	c flip 820000 nbSat=4944744 maxSat=10947558
689.83/346.41	c flip 830000 nbSat=4990774 maxSat=10947558
691.02/347.02	c flip 840000 nbSat=5077426 maxSat=10947558
692.23/347.62	c flip 850000 nbSat=4932131 maxSat=10947558
693.42/348.22	c flip 860000 nbSat=5100970 maxSat=10947558
694.62/348.84	c flip 870000 nbSat=5304212 maxSat=10947558
695.82/349.44	c flip 880000 nbSat=5262147 maxSat=10947558
697.01/350.03	c flip 890000 nbSat=5338722 maxSat=10947558
698.21/350.63	c flip 900000 nbSat=5272241 maxSat=10947558
699.41/351.24	c flip 910000 nbSat=5405097 maxSat=10947558
700.61/351.84	c flip 920000 nbSat=5318237 maxSat=10947558
701.80/352.44	c flip 930000 nbSat=5367742 maxSat=10947558
703.01/353.04	c flip 940000 nbSat=5362773 maxSat=10947558
704.20/353.66	c flip 950000 nbSat=5440062 maxSat=10947558
705.39/354.28	c flip 960000 nbSat=5644280 maxSat=10947558
706.58/354.89	c flip 970000 nbSat=5688285 maxSat=10947558
707.78/355.49	c flip 980000 nbSat=5814497 maxSat=10947558
708.98/356.09	c flip 990000 nbSat=5887132 maxSat=10947558
710.17/356.69	c flip 1000000 nbSat=5856482 maxSat=10947558
711.37/357.29	c flip 1010000 nbSat=6001016 maxSat=10947558
712.57/357.90	c flip 1020000 nbSat=6145733 maxSat=10947558
713.77/358.49	c flip 1030000 nbSat=6057822 maxSat=10947558
714.97/359.08	c flip 1040000 nbSat=6041775 maxSat=10947558
716.17/359.68	c flip 1050000 nbSat=6165181 maxSat=10947558
717.36/360.28	c flip 1060000 nbSat=6219600 maxSat=10947558
718.56/360.89	c flip 1070000 nbSat=6289474 maxSat=10947558
719.76/361.49	c flip 1080000 nbSat=6488758 maxSat=10947558
721.15/362.10	c flip 1090000 nbSat=6483576 maxSat=10947558
722.35/362.70	c flip 1100000 nbSat=6514867 maxSat=10947558
723.54/363.32	c flip 1110000 nbSat=6410093 maxSat=10947558
724.74/363.92	c flip 1120000 nbSat=6568170 maxSat=10947558
725.93/364.55	c flip 1130000 nbSat=6540766 maxSat=10947558
727.13/365.15	c flip 1140000 nbSat=6455606 maxSat=10947558
728.33/365.76	c flip 1150000 nbSat=6603279 maxSat=10947558
729.53/366.36	c flip 1160000 nbSat=6530999 maxSat=10947558
730.72/366.96	c flip 1170000 nbSat=6610415 maxSat=10947558
731.92/367.57	c flip 1180000 nbSat=6685223 maxSat=10947558
733.12/368.19	c flip 1190000 nbSat=6704120 maxSat=10947558
734.31/368.79	c flip 1200000 nbSat=6936837 maxSat=10947558
735.51/369.38	c flip 1210000 nbSat=6995578 maxSat=10947558
736.71/369.98	c flip 1220000 nbSat=7028449 maxSat=10947558
737.91/370.57	c flip 1230000 nbSat=7067028 maxSat=10947558
739.11/371.18	c flip 1240000 nbSat=7096132 maxSat=10947558
740.31/371.77	c flip 1250000 nbSat=7002655 maxSat=10947558
741.50/372.37	c flip 1260000 nbSat=6974107 maxSat=10947558
742.70/372.96	c flip 1270000 nbSat=7132785 maxSat=10947558
743.89/373.56	c flip 1280000 nbSat=7222240 maxSat=10947558
745.09/374.16	c flip 1290000 nbSat=7085511 maxSat=10947558
746.29/374.76	c flip 1300000 nbSat=7144891 maxSat=10947558
747.49/375.38	c flip 1310000 nbSat=7135910 maxSat=10947558
748.68/375.97	c flip 1320000 nbSat=7283434 maxSat=10947558
749.88/376.57	c flip 1330000 nbSat=6984053 maxSat=10947558
751.08/377.16	c flip 1340000 nbSat=7252704 maxSat=10947558
752.28/377.75	c flip 1350000 nbSat=7463105 maxSat=10947558
753.48/378.36	c flip 1360000 nbSat=7471864 maxSat=10947558
754.67/378.96	c flip 1370000 nbSat=7623880 maxSat=10947558
755.88/379.56	c flip 1380000 nbSat=7601820 maxSat=10947558
757.07/380.16	c flip 1390000 nbSat=7469437 maxSat=10947558
758.26/380.77	c flip 1400000 nbSat=7660430 maxSat=10947558
759.46/381.35	c flip 1410000 nbSat=7441549 maxSat=10947558
760.66/381.93	c flip 1420000 nbSat=7880605 maxSat=10947558
761.86/382.51	c flip 1430000 nbSat=7901521 maxSat=10947558
763.05/383.10	c flip 1440000 nbSat=7515452 maxSat=10947558
764.05/383.69	c flip 1450000 nbSat=7898677 maxSat=10947558
765.25/384.29	c flip 1460000 nbSat=7958397 maxSat=10947558
766.45/384.89	c flip 1470000 nbSat=8109888 maxSat=10947558
767.64/385.48	c flip 1480000 nbSat=8165547 maxSat=10947558
768.85/386.08	c flip 1490000 nbSat=8106452 maxSat=10947558
770.04/386.68	c flip 1500000 nbSat=8257121 maxSat=10947558
771.24/387.28	c flip 1510000 nbSat=8100811 maxSat=10947558
772.44/387.87	c flip 1520000 nbSat=8250108 maxSat=10947558
773.63/388.46	c flip 1530000 nbSat=8302399 maxSat=10947558
774.83/389.06	c flip 1540000 nbSat=8571404 maxSat=10947558
776.03/389.66	c flip 1550000 nbSat=8355531 maxSat=10947558
777.22/390.26	c flip 1560000 nbSat=8343471 maxSat=10947558
778.42/390.85	c flip 1570000 nbSat=8571068 maxSat=10947558
779.62/391.45	c flip 1580000 nbSat=8651819 maxSat=10947558
780.82/392.06	c flip 1590000 nbSat=8483826 maxSat=10947558
782.02/392.67	c flip 1600000 nbSat=8810268 maxSat=10947558
783.21/393.27	c flip 1610000 nbSat=8989169 maxSat=10947558
784.42/393.88	c flip 1620000 nbSat=8753111 maxSat=10947558
785.61/394.48	c flip 1630000 nbSat=9114510 maxSat=10947558
786.80/395.06	c flip 1640000 nbSat=8945678 maxSat=10947558
788.00/395.65	c flip 1650000 nbSat=9058713 maxSat=10947558
789.20/396.26	c flip 1660000 nbSat=8881692 maxSat=10947558
790.40/396.87	c flip 1670000 nbSat=8494748 maxSat=10947558
791.59/397.49	c flip 1680000 nbSat=8475409 maxSat=10947558
792.79/398.08	c flip 1690000 nbSat=9129618 maxSat=10947558
793.99/398.69	c flip 1700000 nbSat=9052042 maxSat=10947558
795.38/399.31	c flip 1710000 nbSat=8979385 maxSat=10947558
796.37/399.89	c flip 1720000 nbSat=9120456 maxSat=10947558
797.58/400.49	c flip 1730000 nbSat=9255860 maxSat=10947558
798.97/401.10	c flip 1740000 nbSat=8921198 maxSat=10947558
800.16/401.71	c flip 1750000 nbSat=9196773 maxSat=10947558
801.36/402.33	c flip 1760000 nbSat=9312564 maxSat=10947558
802.56/402.95	c flip 1770000 nbSat=9098876 maxSat=10947558
803.96/403.63	c flip 0 nbSat=314080 maxSat=10947558
804.16/403.72	c flip 10000 nbSat=334401 maxSat=10947558
804.36/403.82	c flip 20000 nbSat=354316 maxSat=10947558
804.56/403.92	c flip 30000 nbSat=371809 maxSat=10947558
804.76/404.08	c flip 40000 nbSat=382836 maxSat=10947558
805.16/404.28	c flip 50000 nbSat=395044 maxSat=10947558
805.75/404.52	c flip 60000 nbSat=410666 maxSat=10947558
806.16/404.78	c flip 70000 nbSat=430168 maxSat=10947558
806.75/405.04	c flip 80000 nbSat=448047 maxSat=10947558
807.35/405.34	c flip 90000 nbSat=468897 maxSat=10947558
807.95/405.65	c flip 100000 nbSat=498611 maxSat=10947558
808.55/405.99	c flip 110000 nbSat=520197 maxSat=10947558
809.34/406.34	c flip 120000 nbSat=552094 maxSat=10947558
810.14/406.70	c flip 130000 nbSat=582655 maxSat=10947558
810.75/407.08	c flip 140000 nbSat=610956 maxSat=10947558
811.54/407.48	c flip 150000 nbSat=647063 maxSat=10947558
812.54/407.90	c flip 160000 nbSat=686621 maxSat=10947558
813.33/408.33	c flip 170000 nbSat=739833 maxSat=10947558
814.33/408.81	c flip 180000 nbSat=805624 maxSat=10947558
815.32/409.31	c flip 190000 nbSat=864778 maxSat=10947558
816.32/409.80	c flip 200000 nbSat=902788 maxSat=10947558
817.32/410.32	c flip 210000 nbSat=1008569 maxSat=10947558
818.31/410.85	c flip 220000 nbSat=1065162 maxSat=10947558
819.32/411.36	c flip 230000 nbSat=1136287 maxSat=10947558
820.51/411.93	c flip 240000 nbSat=1219276 maxSat=10947558
821.71/412.51	c flip 250000 nbSat=1307335 maxSat=10947558
822.71/413.05	c flip 260000 nbSat=1403764 maxSat=10947558
823.91/413.62	c flip 270000 nbSat=1497975 maxSat=10947558
824.90/414.17	c flip 280000 nbSat=1581576 maxSat=10947558
826.10/414.77	c flip 290000 nbSat=1636835 maxSat=10947558
827.29/415.34	c flip 300000 nbSat=1752790 maxSat=10947558
828.49/415.95	c flip 310000 nbSat=1838377 maxSat=10947558
829.69/416.54	c flip 320000 nbSat=1968644 maxSat=10947558
830.89/417.16	c flip 330000 nbSat=2045463 maxSat=10947558
832.08/417.76	c flip 340000 nbSat=2200176 maxSat=10947558
833.28/418.39	c flip 350000 nbSat=2237807 maxSat=10947558
834.68/419.01	c flip 360000 nbSat=2351410 maxSat=10947558
835.88/419.63	c flip 370000 nbSat=2496318 maxSat=10947558
837.08/420.24	c flip 380000 nbSat=2586096 maxSat=10947558
838.27/420.85	c flip 390000 nbSat=2642381 maxSat=10947558
839.47/421.48	c flip 400000 nbSat=2698608 maxSat=10947558
840.67/422.08	c flip 410000 nbSat=2751825 maxSat=10947558
842.06/422.73	c flip 420000 nbSat=2865523 maxSat=10947558
843.26/423.34	c flip 430000 nbSat=2892294 maxSat=10947558
844.46/423.96	c flip 440000 nbSat=3037383 maxSat=10947558
845.66/424.60	c flip 450000 nbSat=3051525 maxSat=10947558
847.05/425.21	c flip 460000 nbSat=3045922 maxSat=10947558
848.25/425.83	c flip 470000 nbSat=3299210 maxSat=10947558
849.45/426.45	c flip 480000 nbSat=3400164 maxSat=10947558
850.64/427.07	c flip 490000 nbSat=3394799 maxSat=10947558
851.84/427.68	c flip 500000 nbSat=3431461 maxSat=10947558
853.04/428.30	c flip 510000 nbSat=3472752 maxSat=10947558
854.44/428.90	c flip 520000 nbSat=3579488 maxSat=10947558
855.64/429.51	c flip 530000 nbSat=3545096 maxSat=10947558
856.84/430.14	c flip 540000 nbSat=3773443 maxSat=10947558
858.03/430.75	c flip 550000 nbSat=3828319 maxSat=10947558
859.23/431.35	c flip 560000 nbSat=3861331 maxSat=10947558
860.43/431.98	c flip 570000 nbSat=3898119 maxSat=10947558
861.62/432.59	c flip 580000 nbSat=3984593 maxSat=10947558
862.82/433.19	c flip 590000 nbSat=4073915 maxSat=10947558
864.01/433.79	c flip 600000 nbSat=4148604 maxSat=10947558
865.42/434.42	c flip 610000 nbSat=4191918 maxSat=10947558
866.61/435.03	c flip 620000 nbSat=4307312 maxSat=10947558
867.81/435.63	c flip 630000 nbSat=4457602 maxSat=10947558
869.00/436.23	c flip 640000 nbSat=4448677 maxSat=10947558
870.20/436.85	c flip 650000 nbSat=4473886 maxSat=10947558
871.40/437.47	c flip 660000 nbSat=4588394 maxSat=10947558
872.80/438.11	c flip 670000 nbSat=4619563 maxSat=10947558
874.00/438.72	c flip 680000 nbSat=4730100 maxSat=10947558
875.19/439.33	c flip 690000 nbSat=4782012 maxSat=10947558
876.40/439.93	c flip 700000 nbSat=4914543 maxSat=10947558
877.59/440.53	c flip 710000 nbSat=4886524 maxSat=10947558
878.79/441.13	c flip 720000 nbSat=5037438 maxSat=10947558
879.98/441.75	c flip 730000 nbSat=5106085 maxSat=10947558
881.18/442.37	c flip 740000 nbSat=5025763 maxSat=10947558
882.38/442.97	c flip 750000 nbSat=5135884 maxSat=10947558
883.57/443.57	c flip 760000 nbSat=5365800 maxSat=10947558
884.77/444.19	c flip 770000 nbSat=5411896 maxSat=10947558
886.16/444.80	c flip 780000 nbSat=5589484 maxSat=10947558
887.16/445.39	c flip 790000 nbSat=5589270 maxSat=10947558
888.56/446.01	c flip 800000 nbSat=5486273 maxSat=10947558
889.77/446.61	c flip 810000 nbSat=5736070 maxSat=10947558
890.96/447.21	c flip 820000 nbSat=5703517 maxSat=10947558
892.15/447.83	c flip 830000 nbSat=5985704 maxSat=10947558
893.35/448.42	c flip 840000 nbSat=6038454 maxSat=10947558
894.55/449.03	c flip 850000 nbSat=5934695 maxSat=10947558
895.75/449.63	c flip 860000 nbSat=5945975 maxSat=10947558
896.94/450.23	c flip 870000 nbSat=5866513 maxSat=10947558
898.14/450.81	c flip 880000 nbSat=5908269 maxSat=10947558
899.34/451.40	c flip 890000 nbSat=5968013 maxSat=10947558
900.54/452.01	c flip 900000 nbSat=6068135 maxSat=10947558
901.73/452.61	c flip 910000 nbSat=6025218 maxSat=10947558
902.94/453.22	c flip 920000 nbSat=6199423 maxSat=10947558
904.13/453.81	c flip 930000 nbSat=6332420 maxSat=10947558
905.32/454.42	c flip 940000 nbSat=6360466 maxSat=10947558
906.52/455.02	c flip 950000 nbSat=6644490 maxSat=10947558
907.71/455.64	c flip 960000 nbSat=6665276 maxSat=10947558
908.91/456.24	c flip 970000 nbSat=6671138 maxSat=10947558
910.11/456.84	c flip 980000 nbSat=6748585 maxSat=10947558
911.30/457.45	c flip 990000 nbSat=6658446 maxSat=10947558
912.50/458.06	c flip 1000000 nbSat=6920029 maxSat=10947558
913.70/458.66	c flip 1010000 nbSat=6820120 maxSat=10947558
914.90/459.26	c flip 1020000 nbSat=7038582 maxSat=10947558
916.10/459.86	c flip 1030000 nbSat=6993233 maxSat=10947558
917.29/460.46	c flip 1040000 nbSat=7084278 maxSat=10947558
918.49/461.08	c flip 1050000 nbSat=6987773 maxSat=10947558
919.69/461.69	c flip 1060000 nbSat=7055863 maxSat=10947558
920.88/462.29	c flip 1070000 nbSat=7415334 maxSat=10947558
922.08/462.89	c flip 1080000 nbSat=7249410 maxSat=10947558
923.28/463.49	c flip 1090000 nbSat=7495290 maxSat=10947558
924.48/464.08	c flip 1100000 nbSat=7379533 maxSat=10947558
925.68/464.69	c flip 1110000 nbSat=7363309 maxSat=10947558
926.88/465.28	c flip 1120000 nbSat=7428131 maxSat=10947558
928.07/465.89	c flip 1130000 nbSat=7240516 maxSat=10947558
929.27/466.50	c flip 1140000 nbSat=7581047 maxSat=10947558
930.67/467.10	c flip 1150000 nbSat=7735794 maxSat=10947558
931.86/467.71	c flip 1160000 nbSat=7567362 maxSat=10947558
933.06/468.32	c flip 1170000 nbSat=7729489 maxSat=10947558
934.25/468.92	c flip 1180000 nbSat=7885847 maxSat=10947558
935.45/469.53	c flip 1190000 nbSat=7941586 maxSat=10947558
936.65/470.14	c flip 1200000 nbSat=8097140 maxSat=10947558
937.85/470.76	c flip 1210000 nbSat=8084923 maxSat=10947558
939.05/471.37	c flip 1220000 nbSat=8244627 maxSat=10947558
940.25/471.98	c flip 1230000 nbSat=8107295 maxSat=10947558
941.44/472.60	c flip 1240000 nbSat=8185999 maxSat=10947558
942.84/473.22	c flip 1250000 nbSat=8392339 maxSat=10947558
944.04/473.83	c flip 1260000 nbSat=8218732 maxSat=10947558
945.23/474.44	c flip 1270000 nbSat=8285605 maxSat=10947558
946.43/475.05	c flip 1280000 nbSat=8491086 maxSat=10947558
947.63/475.65	c flip 1290000 nbSat=8445179 maxSat=10947558
948.83/476.25	c flip 1300000 nbSat=8665346 maxSat=10947558
950.02/476.86	c flip 1310000 nbSat=8749725 maxSat=10947558
951.23/477.47	c flip 1320000 nbSat=8943343 maxSat=10947558
952.42/478.08	c flip 1330000 nbSat=8697135 maxSat=10947558
953.61/478.67	c flip 1340000 nbSat=8556690 maxSat=10947558
954.81/479.29	c flip 1350000 nbSat=8507221 maxSat=10947558
956.01/479.89	c flip 1360000 nbSat=8844132 maxSat=10947558
957.21/480.49	c flip 1370000 nbSat=9011606 maxSat=10947558
958.60/481.10	c flip 1380000 nbSat=9086403 maxSat=10947558
959.81/481.71	c flip 1390000 nbSat=9183727 maxSat=10947558
961.00/482.30	c flip 1400000 nbSat=8843515 maxSat=10947558
962.00/482.90	c flip 1410000 nbSat=9096430 maxSat=10947558
963.39/483.50	c flip 1420000 nbSat=9286540 maxSat=10947558
964.59/484.10	c flip 1430000 nbSat=9297934 maxSat=10947558
965.79/484.70	c flip 1440000 nbSat=9281858 maxSat=10947558
966.98/485.32	c flip 1450000 nbSat=9514131 maxSat=10947558
968.18/485.91	c flip 1460000 nbSat=9701350 maxSat=10947558
969.38/486.50	c flip 1470000 nbSat=9662059 maxSat=10947558
970.38/487.09	c flip 1480000 nbSat=9640455 maxSat=10947558
971.77/487.70	c flip 1490000 nbSat=9832542 maxSat=10947558
972.98/488.31	c flip 1500000 nbSat=9600333 maxSat=10947558
974.17/488.91	c flip 1510000 nbSat=9836784 maxSat=10947558
975.36/489.52	c flip 1520000 nbSat=9646372 maxSat=10947558
976.56/490.12	c flip 1530000 nbSat=9613254 maxSat=10947558
977.75/490.72	c flip 1540000 nbSat=9870051 maxSat=10947558
978.95/491.33	c flip 1550000 nbSat=10113107 maxSat=10947558
980.14/491.93	c flip 1560000 nbSat=9937620 maxSat=10947558
981.34/492.52	c flip 1570000 nbSat=10227103 maxSat=10947558
982.54/493.12	c flip 1580000 nbSat=10371458 maxSat=10947558
983.74/493.73	c flip 1590000 nbSat=10290068 maxSat=10947558
984.93/494.34	c flip 1600000 nbSat=10035459 maxSat=10947558
986.14/494.94	c flip 1610000 nbSat=10274449 maxSat=10947558
987.33/495.54	c flip 1620000 nbSat=10271989 maxSat=10947558
988.53/496.15	c flip 1630000 nbSat=10082542 maxSat=10947558
989.73/496.76	c flip 1640000 nbSat=10439999 maxSat=10947558
990.92/497.37	c flip 1650000 nbSat=10329001 maxSat=10947558
992.12/497.96	c flip 1660000 nbSat=10431470 maxSat=10947558
993.32/498.56	c flip 1670000 nbSat=10605345 maxSat=10947558
994.52/499.16	c flip 1680000 nbSat=10464045 maxSat=10947558
995.71/499.76	c flip 1690000 nbSat=10580888 maxSat=10947558
996.91/500.35	c flip 1700000 nbSat=10352597 maxSat=10947558
998.11/500.96	c flip 1710000 nbSat=10457048 maxSat=10947558
999.30/501.57	c flip 1720000 nbSat=10716802 maxSat=10947558
1000.49/502.16	c flip 1730000 nbSat=10715648 maxSat=10947558
1001.70/502.75	c flip 1740000 nbSat=10809532 maxSat=11214204
1002.89/503.34	c flip 1750000 nbSat=11006888 maxSat=11214204
1004.08/503.94	c flip 1760000 nbSat=10993718 maxSat=11236220
1005.28/504.54	c flip 1770000 nbSat=10953877 maxSat=11236220
1006.68/505.21	c flip 0 nbSat=313872 maxSat=11236220
1006.88/505.31	c flip 10000 nbSat=333149 maxSat=11236220
1007.08/505.41	c flip 20000 nbSat=354490 maxSat=11236220
1007.28/505.50	c flip 30000 nbSat=371468 maxSat=11236220
1007.48/505.66	c flip 40000 nbSat=381869 maxSat=11236220
1007.88/505.86	c flip 50000 nbSat=391643 maxSat=11236220
1008.28/506.09	c flip 60000 nbSat=407455 maxSat=11236220
1008.87/506.34	c flip 70000 nbSat=421424 maxSat=11236220
1009.48/506.60	c flip 80000 nbSat=439112 maxSat=11236220
1010.08/506.90	c flip 90000 nbSat=459287 maxSat=11236220
1010.67/507.22	c flip 100000 nbSat=485285 maxSat=11236220
1011.27/507.55	c flip 110000 nbSat=506745 maxSat=11236220
1012.07/507.90	c flip 120000 nbSat=534715 maxSat=11236220
1012.68/508.26	c flip 130000 nbSat=562741 maxSat=11236220
1013.47/508.63	c flip 140000 nbSat=601715 maxSat=11236220
1014.27/509.02	c flip 150000 nbSat=631842 maxSat=11236220
1015.06/509.45	c flip 160000 nbSat=690301 maxSat=11236220
1015.86/509.86	c flip 170000 nbSat=718955 maxSat=11236220
1016.87/510.31	c flip 180000 nbSat=766586 maxSat=11236220
1017.66/510.77	c flip 190000 nbSat=830021 maxSat=11236220
1018.66/511.23	c flip 200000 nbSat=870545 maxSat=11236220
1019.65/511.74	c flip 210000 nbSat=950513 maxSat=11236220
1020.65/512.25	c flip 220000 nbSat=1001309 maxSat=11236220
1021.65/512.77	c flip 230000 nbSat=1082916 maxSat=11236220
1022.85/513.30	c flip 240000 nbSat=1168968 maxSat=11236220
1023.84/513.81	c flip 250000 nbSat=1213179 maxSat=11236220
1024.84/514.35	c flip 260000 nbSat=1268742 maxSat=11236220
1025.85/514.88	c flip 270000 nbSat=1319861 maxSat=11236220
1027.04/515.42	c flip 280000 nbSat=1400159 maxSat=11236220
1028.04/515.98	c flip 290000 nbSat=1466994 maxSat=11236220
1029.24/516.55	c flip 300000 nbSat=1556250 maxSat=11236220
1030.43/517.10	c flip 310000 nbSat=1620353 maxSat=11236220
1031.43/517.67	c flip 320000 nbSat=1694896 maxSat=11236220
1032.63/518.24	c flip 330000 nbSat=1796488 maxSat=11236220
1033.82/518.83	c flip 340000 nbSat=1907774 maxSat=11236220
1035.02/519.40	c flip 350000 nbSat=1976999 maxSat=11236220
1036.02/519.98	c flip 360000 nbSat=2023437 maxSat=11236220
1037.22/520.56	c flip 370000 nbSat=2116939 maxSat=11236220
1038.42/521.16	c flip 380000 nbSat=2246525 maxSat=11236220
1039.61/521.74	c flip 390000 nbSat=2284691 maxSat=11236220
1040.81/522.32	c flip 400000 nbSat=2364732 maxSat=11236220
1041.81/522.89	c flip 410000 nbSat=2480392 maxSat=11236220
1043.01/523.47	c flip 420000 nbSat=2558642 maxSat=11236220
1044.20/524.07	c flip 430000 nbSat=2622594 maxSat=11236220
1045.41/524.67	c flip 440000 nbSat=2699939 maxSat=11236220
1046.60/525.26	c flip 450000 nbSat=2722278 maxSat=11236220
1047.80/525.89	c flip 460000 nbSat=2761153 maxSat=11236220
1048.99/526.47	c flip 470000 nbSat=2912806 maxSat=11236220
1050.19/527.08	c flip 480000 nbSat=2870426 maxSat=11236220
1051.39/527.68	c flip 490000 nbSat=2952083 maxSat=11236220
1052.58/528.28	c flip 500000 nbSat=3084231 maxSat=11236220
1053.78/528.86	c flip 510000 nbSat=3216725 maxSat=11236220
1054.98/529.46	c flip 520000 nbSat=3206769 maxSat=11236220
1056.18/530.06	c flip 530000 nbSat=3268858 maxSat=11236220
1057.37/530.66	c flip 540000 nbSat=3292839 maxSat=11236220
1058.58/531.26	c flip 550000 nbSat=3310500 maxSat=11236220
1059.77/531.85	c flip 560000 nbSat=3385795 maxSat=11236220
1060.97/532.46	c flip 570000 nbSat=3377154 maxSat=11236220
1062.17/533.06	c flip 580000 nbSat=3505433 maxSat=11236220
1063.36/533.65	c flip 590000 nbSat=3675505 maxSat=11236220
1064.55/534.26	c flip 600000 nbSat=3725615 maxSat=11236220
1065.75/534.88	c flip 610000 nbSat=3689778 maxSat=11236220
1066.94/535.48	c flip 620000 nbSat=3823702 maxSat=11236220
1068.14/536.09	c flip 630000 nbSat=3875688 maxSat=11236220
1069.34/536.69	c flip 640000 nbSat=4065152 maxSat=11236220
1070.53/537.29	c flip 650000 nbSat=4046088 maxSat=11236220
1071.94/537.94	c flip 660000 nbSat=4029912 maxSat=11236220
1073.13/538.54	c flip 670000 nbSat=4078649 maxSat=11236220
1074.33/539.15	c flip 680000 nbSat=4209424 maxSat=11236220
1075.53/539.76	c flip 690000 nbSat=4312788 maxSat=11236220
1076.72/540.37	c flip 700000 nbSat=4254778 maxSat=11236220
1077.92/540.96	c flip 710000 nbSat=4461785 maxSat=11236220
1079.12/541.57	c flip 720000 nbSat=4444954 maxSat=11236220
1080.32/542.17	c flip 730000 nbSat=4425962 maxSat=11236220
1081.51/542.77	c flip 740000 nbSat=4521988 maxSat=11236220
1082.72/543.36	c flip 750000 nbSat=4671411 maxSat=11236220
1083.91/543.97	c flip 760000 nbSat=4716588 maxSat=11236220
1085.11/544.58	c flip 770000 nbSat=4785742 maxSat=11236220
1086.30/545.19	c flip 780000 nbSat=4770062 maxSat=11236220
1087.70/545.82	c flip 790000 nbSat=4784156 maxSat=11236220
1088.90/546.43	c flip 800000 nbSat=4844826 maxSat=11236220
1090.10/547.05	c flip 810000 nbSat=4906622 maxSat=11236220
1091.29/547.66	c flip 820000 nbSat=5136394 maxSat=11236220
1092.48/548.26	c flip 830000 nbSat=5201411 maxSat=11236220
1093.68/548.87	c flip 840000 nbSat=5273650 maxSat=11236220
1094.88/549.47	c flip 850000 nbSat=5133099 maxSat=11236220
1096.08/550.06	c flip 860000 nbSat=5148627 maxSat=11236220
1097.27/550.65	c flip 870000 nbSat=5339390 maxSat=11236220
1098.47/551.26	c flip 880000 nbSat=5324775 maxSat=11236220
1099.67/551.86	c flip 890000 nbSat=5376474 maxSat=11236220
1100.86/552.48	c flip 900000 nbSat=5509479 maxSat=11236220
1102.06/553.08	c flip 910000 nbSat=5565343 maxSat=11236220
1103.26/553.68	c flip 920000 nbSat=5565167 maxSat=11236220
1104.46/554.26	c flip 930000 nbSat=5862659 maxSat=11236220
1105.65/554.87	c flip 940000 nbSat=5860441 maxSat=11236220
1106.86/555.47	c flip 950000 nbSat=5941747 maxSat=11236220
1108.05/556.06	c flip 960000 nbSat=5938510 maxSat=11236220
1109.25/556.65	c flip 970000 nbSat=5908943 maxSat=11236220
1110.44/557.24	c flip 980000 nbSat=6086277 maxSat=11236220
1111.64/557.84	c flip 990000 nbSat=6017884 maxSat=11236220
1112.84/558.43	c flip 1000000 nbSat=6049375 maxSat=11236220
1114.04/559.02	c flip 1010000 nbSat=6146536 maxSat=11236220
1115.04/559.59	c flip 1020000 nbSat=6120509 maxSat=11236220
1116.23/560.17	c flip 1030000 nbSat=6204452 maxSat=11236220
1117.43/560.75	c flip 1040000 nbSat=6349297 maxSat=11236220
1118.62/561.33	c flip 1050000 nbSat=6340975 maxSat=11236220
1119.82/561.91	c flip 1060000 nbSat=6307370 maxSat=11236220
1120.82/562.49	c flip 1070000 nbSat=6476040 maxSat=11236220
1122.02/563.05	c flip 1080000 nbSat=6323432 maxSat=11236220
1123.22/563.64	c flip 1090000 nbSat=6341483 maxSat=11236220
1124.42/564.21	c flip 1100000 nbSat=6662119 maxSat=11236220
1125.41/564.78	c flip 1110000 nbSat=6756505 maxSat=11236220
1126.61/565.36	c flip 1120000 nbSat=7099934 maxSat=11236220
1127.81/565.94	c flip 1130000 nbSat=7064439 maxSat=11236220
1129.01/566.51	c flip 1140000 nbSat=7069468 maxSat=11236220
1130.00/567.09	c flip 1150000 nbSat=7288736 maxSat=11236220
1131.21/567.67	c flip 1160000 nbSat=7247558 maxSat=11236220
1132.40/568.24	c flip 1170000 nbSat=6937229 maxSat=11236220
1133.59/568.82	c flip 1180000 nbSat=7187740 maxSat=11236220
1134.59/569.39	c flip 1190000 nbSat=7250993 maxSat=11236220
1135.79/569.97	c flip 1200000 nbSat=7165541 maxSat=11236220
1136.99/570.55	c flip 1210000 nbSat=7191670 maxSat=11236220
1138.18/571.13	c flip 1220000 nbSat=7165400 maxSat=11236220
1139.38/571.70	c flip 1230000 nbSat=7013987 maxSat=11236220
1140.38/572.28	c flip 1240000 nbSat=7209827 maxSat=11236220
1141.58/572.86	c flip 1250000 nbSat=7103072 maxSat=11236220
1142.77/573.46	c flip 1260000 nbSat=7282117 maxSat=11236220
1143.97/574.05	c flip 1270000 nbSat=7326902 maxSat=11236220
1145.17/574.64	c flip 1280000 nbSat=7287386 maxSat=11236220
1146.38/575.23	c flip 1290000 nbSat=7465230 maxSat=11236220
1147.57/575.81	c flip 1300000 nbSat=7453009 maxSat=11236220
1148.57/576.39	c flip 1310000 nbSat=7708740 maxSat=11236220
1149.76/576.97	c flip 1320000 nbSat=7483137 maxSat=11236220
1150.97/577.56	c flip 1330000 nbSat=7635134 maxSat=11236220
1152.16/578.15	c flip 1340000 nbSat=7799601 maxSat=11236220
1153.35/578.75	c flip 1350000 nbSat=7659832 maxSat=11236220
1154.54/579.34	c flip 1360000 nbSat=7810461 maxSat=11236220
1155.74/579.92	c flip 1370000 nbSat=7603725 maxSat=11236220
1156.74/580.49	c flip 1380000 nbSat=7651069 maxSat=11236220
1157.93/581.08	c flip 1390000 nbSat=7625219 maxSat=11236220
1159.13/581.66	c flip 1400000 nbSat=7745161 maxSat=11236220
1160.33/582.24	c flip 1410000 nbSat=8101280 maxSat=11236220
1161.53/582.83	c flip 1420000 nbSat=8027449 maxSat=11236220
1162.72/583.42	c flip 1430000 nbSat=8019003 maxSat=11236220
1163.93/584.01	c flip 1440000 nbSat=8184878 maxSat=11236220
1164.92/584.58	c flip 1450000 nbSat=8244266 maxSat=11236220
1166.12/585.18	c flip 1460000 nbSat=8584829 maxSat=11236220
1167.31/585.78	c flip 1470000 nbSat=8641249 maxSat=11236220
1168.52/586.38	c flip 1480000 nbSat=8836732 maxSat=11236220
1169.71/586.97	c flip 1490000 nbSat=8686728 maxSat=11236220
1170.91/587.55	c flip 1500000 nbSat=8681966 maxSat=11236220
1172.10/588.14	c flip 1510000 nbSat=8593181 maxSat=11236220
1173.30/588.72	c flip 1520000 nbSat=8460214 maxSat=11236220
1174.50/589.30	c flip 1530000 nbSat=8728744 maxSat=11236220
1175.50/589.88	c flip 1540000 nbSat=8649768 maxSat=11236220
1176.70/590.46	c flip 1550000 nbSat=8548083 maxSat=11236220
1177.89/591.04	c flip 1560000 nbSat=8883294 maxSat=11236220
1179.09/591.63	c flip 1570000 nbSat=8844022 maxSat=11236220
1180.29/592.22	c flip 1580000 nbSat=9019229 maxSat=11236220
1181.49/592.81	c flip 1590000 nbSat=8978907 maxSat=11236220
1182.68/593.40	c flip 1600000 nbSat=8662202 maxSat=11236220
1183.68/593.99	c flip 1610000 nbSat=8685170 maxSat=11236220
1184.87/594.57	c flip 1620000 nbSat=8846097 maxSat=11236220
1186.07/595.15	c flip 1630000 nbSat=9233468 maxSat=11236220
1187.26/595.72	c flip 1640000 nbSat=9199905 maxSat=11236220
1188.27/596.29	c flip 1650000 nbSat=9532072 maxSat=11236220
1189.46/596.87	c flip 1660000 nbSat=9399469 maxSat=11236220
1190.66/597.45	c flip 1670000 nbSat=9262586 maxSat=11236220
1191.85/598.04	c flip 1680000 nbSat=9345631 maxSat=11236220
1193.05/598.63	c flip 1690000 nbSat=9199935 maxSat=11236220
1194.25/599.21	c flip 1700000 nbSat=9224654 maxSat=11236220
1195.45/599.80	c flip 1710000 nbSat=8756176 maxSat=11236220
1196.45/600.39	c flip 1720000 nbSat=9222729 maxSat=11236220
1197.64/600.99	c flip 1730000 nbSat=9272897 maxSat=11236220
1198.84/601.57	c flip 1740000 nbSat=9386822 maxSat=11236220

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/node41/watcher-329857-1173151141 -o ROOT/results/node41/solver-329857-1173151141 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/329857-1173151141/ornithorynque /tmp/evaluation/329857-1173151141/instance-329857-1173151141.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12214
/proc/meminfo: memFree=1317800/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=23220 CPUtime=0
/proc/12214/stat : 12214 (ornithorynque) R 12212 12214 11098 0 -1 4194304 279 0 0 0 0 0 0 0 18 0 1 0 335070077 23777280 258 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238387498257 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 5805 261 218 42 0 45 0

[startup+0.0602749 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12214
/proc/meminfo: memFree=1317800/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=23308 CPUtime=0.05
/proc/12214/stat : 12214 (ornithorynque) R 12212 12214 11098 0 -1 4194304 479 0 0 0 5 0 0 0 18 0 1 0 335070077 23867392 440 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399041634 0 0 4096 1088 0 0 0 17 1 0 0
/proc/12214/statm: 5827 440 374 42 0 79 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23308

[startup+0.101285 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12214
/proc/meminfo: memFree=1317800/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=24556 CPUtime=0.09
/proc/12214/stat : 12214 (ornithorynque) R 12212 12214 11098 0 -1 4194304 810 0 0 0 9 0 0 0 18 0 1 0 335070077 25145344 771 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238389990113 0 0 4096 1088 0 0 0 17 1 0 0
/proc/12214/statm: 6139 772 379 42 0 391 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24556

[startup+0.301301 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12214
/proc/meminfo: memFree=1317800/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=32708 CPUtime=0.29
/proc/12214/stat : 12214 (ornithorynque) R 12212 12214 11098 0 -1 4194304 3039 0 0 0 28 1 0 0 19 0 1 0 335070077 33492992 2740 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238389990113 0 0 4096 1088 0 0 0 17 1 0 0
/proc/12214/statm: 8177 2740 379 42 0 2429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32708

[startup+0.701336 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12214
/proc/meminfo: memFree=1317800/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=49628 CPUtime=0.69
/proc/12214/stat : 12214 (ornithorynque) R 12212 12214 11098 0 -1 4194304 7661 0 0 0 66 3 0 0 22 0 1 0 335070077 50819072 6528 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238389990113 0 0 4096 1088 0 0 0 17 1 0 0
/proc/12214/statm: 12407 6529 379 42 0 6659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49628

[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12215
/proc/meminfo: memFree=1281696/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=125692 CPUtime=1.62
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 22975 0 0 0 152 10 0 0 25 0 3 0 335070077 128708608 19592 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31423 19592 389 42 0 25675 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 125692

[startup+3.10176 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 12217
/proc/meminfo: memFree=1240144/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=126088 CPUtime=4.82
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 24810 0 0 0 471 11 0 0 25 0 3 0 335070077 129114112 19687 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31522 19687 389 42 0 25774 0
[pid=12214/tid=12216] ppid=12212 vsize=126088 CPUtime=1.72
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3014 0 0 0 172 0 0 0 25 0 3 0 335070214 129114112 19687 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4328123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=126088 CPUtime=1.73
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 2 0 0 0 173 0 0 0 25 0 3 0 335070214 129114112 19687 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245059 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 126088

[startup+6.30183 s]
/proc/loadavg: 1.08 1.02 1.01 3/67 12217
/proc/meminfo: memFree=1239696/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=126088 CPUtime=11.21
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25177 0 0 0 1109 12 0 0 25 0 3 0 335070077 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31522 19706 389 42 0 25774 0
[pid=12214/tid=12216] ppid=12212 vsize=126088 CPUtime=4.92
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 491 1 0 0 25 0 3 0 335070214 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246406 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=126088 CPUtime=4.91
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 2 0 0 0 491 0 0 0 25 0 3 0 335070214 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4298671 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.21
Current children cumulated vsize (KiB) 126088

[startup+12.7014 s]
/proc/loadavg: 1.15 1.03 1.01 3/67 12217
/proc/meminfo: memFree=1239760/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=126088 CPUtime=23.98
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25177 0 0 0 2386 12 0 0 25 0 3 0 335070077 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31522 19706 389 42 0 25774 0
[pid=12214/tid=12216] ppid=12212 vsize=126088 CPUtime=11.32
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 1131 1 0 0 25 0 3 0 335070214 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246422 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=126088 CPUtime=11.28
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 2 0 0 0 1128 0 0 0 25 0 3 0 335070214 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244542 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.98
Current children cumulated vsize (KiB) 126088

[startup+25.5015 s]
/proc/loadavg: 1.34 1.08 1.02 3/67 12217
/proc/meminfo: memFree=1239824/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=126088 CPUtime=49.52
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25177 0 0 0 4940 12 0 0 25 0 3 0 335070077 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31522 19706 389 42 0 25774 0
[pid=12214/tid=12216] ppid=12212 vsize=126088 CPUtime=24.12
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 2411 1 0 0 25 0 3 0 335070214 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244160 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=126088 CPUtime=24.03
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 2 0 0 0 2403 0 0 0 25 0 3 0 335070214 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245067 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.52
Current children cumulated vsize (KiB) 126088

[startup+51.1017 s]
/proc/loadavg: 1.56 1.15 1.05 3/67 12217
/proc/meminfo: memFree=1239824/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=126088 CPUtime=100.59
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25177 0 0 0 10047 12 0 0 25 0 3 0 335070077 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31522 19706 389 42 0 25774 0
[pid=12214/tid=12216] ppid=12212 vsize=126088 CPUtime=49.71
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 4970 1 0 0 25 0 3 0 335070214 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246332 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=126088 CPUtime=49.5
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 2 0 0 0 4950 0 0 0 25 0 3 0 335070214 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246130 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.59
Current children cumulated vsize (KiB) 126088

[startup+102.305 s]
/proc/loadavg: 1.81 1.28 1.10 3/67 12217
/proc/meminfo: memFree=1239824/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=126088 CPUtime=202.76
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25177 0 0 0 20263 13 0 0 25 0 3 0 335070077 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31522 19706 389 42 0 25774 0
[pid=12214/tid=12216] ppid=12212 vsize=126088 CPUtime=100.9
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 10089 1 0 0 25 0 3 0 335070214 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246462 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=126088 CPUtime=100.49
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 2 0 0 0 10048 1 0 0 25 0 3 0 335070214 129114112 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244579 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 202.76
Current children cumulated vsize (KiB) 126088

[startup+162.301 s]
/proc/loadavg: 1.93 1.41 1.15 3/67 12217
/proc/meminfo: memFree=1239760/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=127644 CPUtime=322.47
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25566 0 0 0 32234 13 0 0 25 0 3 0 335070077 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31911 19706 389 42 0 26163 0
[pid=12214/tid=12216] ppid=12212 vsize=127644 CPUtime=160.88
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 16087 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246359 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=127644 CPUtime=160.22
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 391 0 0 0 16021 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4298714 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 322.47
Current children cumulated vsize (KiB) 127644

[startup+222.302 s]
/proc/loadavg: 1.97 1.51 1.20 3/67 12217
/proc/meminfo: memFree=1239760/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=127644 CPUtime=442.19
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25566 0 0 0 44206 13 0 0 25 0 3 0 335070077 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31911 19706 389 42 0 26163 0
[pid=12214/tid=12216] ppid=12212 vsize=127644 CPUtime=220.87
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 22086 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=127644 CPUtime=219.95
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 391 0 0 0 21994 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244160 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.19
Current children cumulated vsize (KiB) 127644

[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.25 3/67 12217
/proc/meminfo: memFree=1239824/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=127644 CPUtime=561.92
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25566 0 0 0 56178 14 0 0 25 0 3 0 335070077 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31911 19706 389 42 0 26163 0
[pid=12214/tid=12216] ppid=12212 vsize=127644 CPUtime=280.85
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 28084 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246380 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=127644 CPUtime=279.69
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 391 0 0 0 27967 2 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246150 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 561.92
Current children cumulated vsize (KiB) 127644

[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.29 3/67 12217
/proc/meminfo: memFree=1239824/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=127644 CPUtime=681.64
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25566 0 0 0 68150 14 0 0 25 0 3 0 335070077 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31911 19706 389 42 0 26163 0
[pid=12214/tid=12216] ppid=12212 vsize=127644 CPUtime=340.83
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 34082 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=127644 CPUtime=339.44
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 391 0 0 0 33942 2 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245734 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 681.64
Current children cumulated vsize (KiB) 127644

[startup+402.301 s]
/proc/loadavg: 1.99 1.73 1.33 3/67 12217
/proc/meminfo: memFree=1239888/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=127644 CPUtime=801.36
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25566 0 0 0 80122 14 0 0 25 0 3 0 335070077 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31911 19706 389 42 0 26163 0
[pid=12214/tid=12216] ppid=12212 vsize=127644 CPUtime=400.82
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 40081 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246412 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=127644 CPUtime=399.17
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 391 0 0 0 39915 2 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297599 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.36
Current children cumulated vsize (KiB) 127644

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.37 3/67 12217
/proc/meminfo: memFree=1239952/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=127644 CPUtime=921.08
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25566 0 0 0 92093 15 0 0 25 0 3 0 335070077 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31911 19706 389 42 0 26163 0
[pid=12214/tid=12216] ppid=12212 vsize=127644 CPUtime=460.8
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 46079 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246445 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=127644 CPUtime=458.91
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 391 0 0 0 45888 3 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245020 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.08
Current children cumulated vsize (KiB) 127644

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/67 12217
/proc/meminfo: memFree=1239952/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=127644 CPUtime=1040.81
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25566 0 0 0 104066 15 0 0 25 0 3 0 335070077 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31911 19706 389 42 0 26163 0
[pid=12214/tid=12216] ppid=12212 vsize=127644 CPUtime=520.79
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 52078 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246425 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=127644 CPUtime=518.65
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 391 0 0 0 51862 3 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4296963 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1040.81
Current children cumulated vsize (KiB) 127644

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 12217
/proc/meminfo: memFree=1239952/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=127644 CPUtime=1160.53
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25566 0 0 0 116038 15 0 0 25 0 3 0 335070077 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31911 19706 389 42 0 26163 0
[pid=12214/tid=12216] ppid=12212 vsize=127644 CPUtime=580.77
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 58076 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246470 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=127644 CPUtime=578.39
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 391 0 0 0 57836 3 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245971 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1160.53
Current children cumulated vsize (KiB) 127644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.103 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 12217
/proc/meminfo: memFree=1239952/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=127644 CPUtime=1200.04
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25566 0 0 0 119989 15 0 0 25 0 3 0 335070077 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31911 19706 389 42 0 26163 0
[pid=12214/tid=12216] ppid=12212 vsize=127644 CPUtime=600.57
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 60056 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246417 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=127644 CPUtime=598.1
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 391 0 0 0 59807 3 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244564 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 127644

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

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

[startup+602.103 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 12217
/proc/meminfo: memFree=1239952/2055920 swapFree=4183892/4192956
[pid=12214] ppid=12212 vsize=127644 CPUtime=1200.04
/proc/12214/stat : 12214 (ornithorynque) S 12212 12214 11098 0 -1 4194304 25566 0 0 0 119989 15 0 0 25 0 3 0 335070077 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12214/statm: 31911 19706 389 42 0 26163 0
[pid=12214/tid=12216] ppid=12212 vsize=127644 CPUtime=600.57
/proc/12214/task/12216/stat : 12216 (ornithorynque) R 12212 12214 11098 0 -1 4194368 3381 0 0 0 60056 1 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246417 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12214/tid=12217] ppid=12212 vsize=127644 CPUtime=598.1
/proc/12214/task/12217/stat : 12217 (ornithorynque) R 12212 12214 11098 0 -1 4194368 391 0 0 0 59807 3 0 0 25 0 3 0 335070214 130707456 19706 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244564 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 127644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 602.128
CPU time (s): 1200.08
CPU user time (s): 1199.91
CPU system time (s): 0.163975
CPU usage (%): 199.306
Max. virtual memory (cumulated for all children) (KiB): 127644

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

runsolver used 0.582911 second user time and 1.67774 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Tue Mar  6 03:19:01 UTC 2007

IDJOB= 329857
IDBENCH= 20549
IDSOLVER= 139
FILE ID= node41/329857-1173151141

PBS_JOBID= 4015204

Free space on /tmp= 66539 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  3ba2fd1e8ba5ade9920db9cb6b406609

RANDOM SEED= 461094037

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.231
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.231
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:       1318208 kB
Buffers:         40256 kB
Cached:         611884 kB
SwapCached:       2972 kB
Active:          98432 kB
Inactive:       564400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1318208 kB
SwapTotal:     4192956 kB
SwapFree:      4183892 kB
Dirty:            9372 kB
Writeback:           0 kB
Mapped:          16804 kB
Slab:            60796 kB
Committed_AS:   664780 kB
PageTables:       1476 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= 66539 MiB

End job on node41 on Tue Mar  6 03:29:06 UTC 2007