Trace number 329563

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.1 601.922

General information on the benchmark

Nameindustrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k40.cnf
MD5SUM2072f9709ddb4f70f2210d26eee094a7
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 variables58715
Number of clauses262388
Sum of the clauses size675054
Maximum clause length20
Minimum clause length1
Number of clauses of size 1423
Number of clauses of size 2204266
Number of clauses of size 328862
Number of clauses of size 411775
Number of clauses of size 55124
Number of clauses of size over 511938

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.02	c using unsigned int
0.00/0.02	c parsing...
0.59/0.67	c ...done
0.59/0.67	c nbVar=58715 nbClause=262388
0.69/0.76	c nbVar=58715 nbClause=262388
0.79/0.90	c complete search running
0.79/0.90	c local search running
0.89/0.95	c flip 0 nbSat=206015 maxSat=0
1.10/1.05	c flip 10000 nbSat=226615 maxSat=226615
1.30/1.15	c flip 20000 nbSat=244432 maxSat=244504
1.69/1.34	c flip 30000 nbSat=253397 maxSat=253397
2.09/1.57	c flip 40000 nbSat=266960 maxSat=267255
2.68/1.83	c flip 50000 nbSat=279691 maxSat=279806
3.28/2.12	c flip 60000 nbSat=298882 maxSat=299537
3.87/2.43	c flip 70000 nbSat=322084 maxSat=324253
4.47/2.78	c flip 80000 nbSat=347221 maxSat=347719
5.27/3.14	c flip 90000 nbSat=375439 maxSat=377084
6.06/3.52	c flip 100000 nbSat=412099 maxSat=415246
6.86/3.92	c flip 110000 nbSat=454323 maxSat=458426
7.66/4.36	c flip 120000 nbSat=496921 maxSat=497766
8.65/4.81	c flip 130000 nbSat=547121 maxSat=548458
9.45/5.29	c flip 140000 nbSat=586523 maxSat=596788
10.45/5.79	c flip 150000 nbSat=688584 maxSat=688972
11.65/6.31	c flip 160000 nbSat=735770 maxSat=747195
12.65/6.83	c flip 170000 nbSat=833310 maxSat=835161
13.65/7.37	c flip 180000 nbSat=894314 maxSat=899755
14.84/7.93	c flip 190000 nbSat=941338 maxSat=966050
15.84/8.47	c flip 200000 nbSat=1021367 maxSat=1021367
17.04/9.03	c flip 210000 nbSat=1073093 maxSat=1087524
18.24/9.63	c flip 220000 nbSat=1159498 maxSat=1164926
19.42/10.21	c flip 230000 nbSat=1197727 maxSat=1237207
20.42/10.77	c flip 240000 nbSat=1266702 maxSat=1321740
21.62/11.37	c flip 250000 nbSat=1327769 maxSat=1362105
22.82/11.94	c flip 260000 nbSat=1459692 maxSat=1480391
24.01/12.54	c flip 270000 nbSat=1493315 maxSat=1528269
25.22/13.13	c flip 280000 nbSat=1526253 maxSat=1619942
26.41/13.71	c flip 290000 nbSat=1599676 maxSat=1672420
27.41/14.28	c flip 300000 nbSat=1699672 maxSat=1743648
28.60/14.84	c flip 310000 nbSat=1823045 maxSat=1825157
29.81/15.42	c flip 320000 nbSat=1835714 maxSat=1895362
30.80/15.99	c flip 330000 nbSat=1959894 maxSat=1985500
32.00/16.58	c flip 340000 nbSat=2006361 maxSat=2010544
33.19/17.15	c flip 350000 nbSat=2046354 maxSat=2062548
34.39/17.72	c flip 360000 nbSat=2082791 maxSat=2135345
35.59/18.31	c flip 370000 nbSat=2153300 maxSat=2188182
36.58/18.89	c flip 380000 nbSat=2154777 maxSat=2312892
37.78/19.46	c flip 390000 nbSat=2206747 maxSat=2312892
38.98/20.04	c flip 400000 nbSat=2327869 maxSat=2379482
40.18/20.60	c flip 410000 nbSat=2369330 maxSat=2422253
41.17/21.19	c flip 420000 nbSat=2502544 maxSat=2541565
42.37/21.78	c flip 430000 nbSat=2440766 maxSat=2546267
43.57/22.37	c flip 440000 nbSat=2552760 maxSat=2577600
44.77/22.96	c flip 450000 nbSat=2547784 maxSat=2611707
45.97/23.55	c flip 460000 nbSat=2731006 maxSat=2789120
47.17/24.16	c flip 470000 nbSat=2783431 maxSat=2820835
48.36/24.76	c flip 480000 nbSat=2731775 maxSat=2865837
49.56/25.36	c flip 490000 nbSat=2836200 maxSat=2922151
50.75/25.94	c flip 500000 nbSat=2865120 maxSat=3002438
51.95/26.52	c flip 510000 nbSat=3008107 maxSat=3059181
53.15/27.10	c flip 520000 nbSat=3039327 maxSat=3089605
54.14/27.69	c flip 530000 nbSat=3130012 maxSat=3171516
55.34/28.27	c flip 540000 nbSat=3069257 maxSat=3185168
56.54/28.87	c flip 550000 nbSat=3066632 maxSat=3185168
57.75/29.46	c flip 560000 nbSat=3096287 maxSat=3185728
58.94/30.04	c flip 570000 nbSat=3189538 maxSat=3330913
60.14/30.63	c flip 580000 nbSat=3223853 maxSat=3330913
61.34/31.22	c flip 590000 nbSat=3241950 maxSat=3394031
62.54/31.80	c flip 600000 nbSat=3468396 maxSat=3488541
63.54/32.37	c flip 610000 nbSat=3446147 maxSat=3568121
64.74/32.97	c flip 620000 nbSat=3484941 maxSat=3568121
65.93/33.56	c flip 630000 nbSat=3429326 maxSat=3623807
67.13/34.15	c flip 640000 nbSat=3687991 maxSat=3716398
68.32/34.72	c flip 650000 nbSat=3570712 maxSat=3723052
69.32/35.29	c flip 660000 nbSat=3453210 maxSat=3723052
70.52/35.86	c flip 670000 nbSat=3556283 maxSat=3730701
71.71/36.42	c flip 680000 nbSat=3748495 maxSat=3840599
72.71/36.98	c flip 690000 nbSat=3831538 maxSat=3953418
73.91/37.55	c flip 700000 nbSat=3904920 maxSat=3987524
75.11/38.12	c flip 710000 nbSat=4059467 maxSat=4139891
76.10/38.69	c flip 720000 nbSat=3894832 maxSat=4188124
77.30/39.27	c flip 730000 nbSat=4043577 maxSat=4188124
78.50/39.84	c flip 740000 nbSat=4125218 maxSat=4238648
79.70/40.41	c flip 750000 nbSat=4339553 maxSat=4343172
80.69/40.99	c flip 760000 nbSat=4232533 maxSat=4363762
81.89/41.56	c flip 770000 nbSat=4126975 maxSat=4363762
83.09/42.14	c flip 780000 nbSat=4032304 maxSat=4363762
84.29/42.72	c flip 790000 nbSat=4246899 maxSat=4363762
85.48/43.30	c flip 800000 nbSat=4248240 maxSat=4363762
86.48/43.86	c flip 810000 nbSat=4189441 maxSat=4412895
87.68/44.44	c flip 820000 nbSat=4221916 maxSat=4440205
88.88/45.01	c flip 830000 nbSat=4384688 maxSat=4513068
89.87/45.58	c flip 840000 nbSat=4504316 maxSat=4678489
91.08/46.16	c flip 850000 nbSat=4585527 maxSat=4678489
92.27/46.73	c flip 860000 nbSat=4534056 maxSat=4705992
93.47/47.31	c flip 870000 nbSat=4556850 maxSat=4715643
94.46/47.89	c flip 880000 nbSat=4709302 maxSat=4870515
95.66/48.47	c flip 890000 nbSat=4602926 maxSat=4929613
96.85/49.05	c flip 900000 nbSat=4720019 maxSat=4929613
98.05/49.63	c flip 910000 nbSat=4629431 maxSat=4929613
99.05/50.19	c flip 920000 nbSat=4616071 maxSat=4929613
100.24/50.77	c flip 930000 nbSat=4805084 maxSat=5020355
101.44/51.35	c flip 940000 nbSat=4742824 maxSat=5020355
102.64/51.92	c flip 950000 nbSat=4826856 maxSat=5041121
103.64/52.50	c flip 960000 nbSat=4821812 maxSat=5168634
104.83/53.07	c flip 970000 nbSat=4554810 maxSat=5168634
106.03/53.64	c flip 980000 nbSat=5037164 maxSat=5168634
107.23/54.20	c flip 990000 nbSat=4799408 maxSat=5198896
108.22/54.76	c flip 1000000 nbSat=5096307 maxSat=5225211
109.41/55.34	c flip 1010000 nbSat=4994664 maxSat=5322321
110.61/55.92	c flip 1020000 nbSat=5155162 maxSat=5322321
111.81/56.50	c flip 1030000 nbSat=5193079 maxSat=5345779
112.81/57.06	c flip 1040000 nbSat=5181469 maxSat=5432567
114.00/57.64	c flip 1050000 nbSat=5075889 maxSat=5432567
115.21/58.20	c flip 1060000 nbSat=5202023 maxSat=5432567
116.20/58.78	c flip 1070000 nbSat=5530081 maxSat=5711996
117.40/59.37	c flip 1080000 nbSat=5430772 maxSat=5711996
118.59/59.94	c flip 1090000 nbSat=5588708 maxSat=5743508
119.80/60.51	c flip 1100000 nbSat=5725869 maxSat=5802490
120.79/61.07	c flip 1110000 nbSat=5799056 maxSat=5922287
121.99/61.64	c flip 1120000 nbSat=5639777 maxSat=5980667
123.18/62.20	c flip 1130000 nbSat=5831516 maxSat=5980667
124.19/62.78	c flip 1140000 nbSat=5435790 maxSat=5980667
125.38/63.35	c flip 1150000 nbSat=5918480 maxSat=5981328
126.57/63.94	c flip 1160000 nbSat=5952627 maxSat=6224581
127.77/64.52	c flip 1170000 nbSat=5974755 maxSat=6224581
128.37/64.83	c flip 0 nbSat=206372 maxSat=6224581
128.57/64.93	c flip 10000 nbSat=227211 maxSat=6224581
128.76/65.03	c flip 20000 nbSat=244992 maxSat=6224581
129.16/65.20	c flip 30000 nbSat=255419 maxSat=6224581
129.56/65.42	c flip 40000 nbSat=267362 maxSat=6224581
129.96/65.67	c flip 50000 nbSat=284046 maxSat=6224581
130.57/65.97	c flip 60000 nbSat=305978 maxSat=6224581
131.16/66.27	c flip 70000 nbSat=323948 maxSat=6224581
131.96/66.62	c flip 80000 nbSat=347442 maxSat=6224581
132.56/66.99	c flip 90000 nbSat=377084 maxSat=6224581
133.36/67.37	c flip 100000 nbSat=404026 maxSat=6224581
134.15/67.79	c flip 110000 nbSat=442994 maxSat=6224581
135.16/68.25	c flip 120000 nbSat=491078 maxSat=6224581
136.15/68.73	c flip 130000 nbSat=539700 maxSat=6224581
137.15/69.23	c flip 140000 nbSat=603930 maxSat=6224581
138.14/69.75	c flip 150000 nbSat=703372 maxSat=6224581
139.35/70.30	c flip 160000 nbSat=774991 maxSat=6224581
140.34/70.86	c flip 170000 nbSat=862611 maxSat=6224581
141.54/71.43	c flip 180000 nbSat=931371 maxSat=6224581
142.74/72.00	c flip 190000 nbSat=1038978 maxSat=6224581
143.74/72.56	c flip 200000 nbSat=1056234 maxSat=6224581
144.93/73.15	c flip 210000 nbSat=1151650 maxSat=6224581
146.14/73.75	c flip 220000 nbSat=1271331 maxSat=6224581
147.33/74.33	c flip 230000 nbSat=1277892 maxSat=6224581
148.52/74.92	c flip 240000 nbSat=1359936 maxSat=6224581
149.72/75.53	c flip 250000 nbSat=1501197 maxSat=6224581
150.92/76.14	c flip 260000 nbSat=1579886 maxSat=6224581
152.12/76.74	c flip 270000 nbSat=1589929 maxSat=6224581
153.31/77.37	c flip 280000 nbSat=1674884 maxSat=6224581
154.51/77.98	c flip 290000 nbSat=1819942 maxSat=6224581
155.71/78.59	c flip 300000 nbSat=1850538 maxSat=6224581
156.91/79.20	c flip 310000 nbSat=1980548 maxSat=6224581
158.30/79.82	c flip 320000 nbSat=1994293 maxSat=6224581
159.50/80.43	c flip 330000 nbSat=2158560 maxSat=6224581
160.70/81.05	c flip 340000 nbSat=2146505 maxSat=6224581
161.89/81.66	c flip 350000 nbSat=2303962 maxSat=6224581
163.09/82.28	c flip 360000 nbSat=2235678 maxSat=6224581
164.29/82.89	c flip 370000 nbSat=2401090 maxSat=6224581
165.49/83.49	c flip 380000 nbSat=2542671 maxSat=6224581
166.89/84.11	c flip 390000 nbSat=2688383 maxSat=6224581
168.09/84.72	c flip 400000 nbSat=2780766 maxSat=6224581
169.28/85.32	c flip 410000 nbSat=2660237 maxSat=6224581
170.47/85.92	c flip 420000 nbSat=2851310 maxSat=6224581
171.67/86.51	c flip 430000 nbSat=2917630 maxSat=6224581
172.87/87.13	c flip 440000 nbSat=2941306 maxSat=6224581
174.07/87.75	c flip 450000 nbSat=2873360 maxSat=6224581
175.26/88.36	c flip 460000 nbSat=3014000 maxSat=6224581
176.46/88.95	c flip 470000 nbSat=3072609 maxSat=6224581
177.66/89.57	c flip 480000 nbSat=3182620 maxSat=6224581
178.86/90.17	c flip 490000 nbSat=3168063 maxSat=6224581
180.05/90.77	c flip 500000 nbSat=3328323 maxSat=6224581
181.26/91.38	c flip 510000 nbSat=3272615 maxSat=6224581
182.45/91.98	c flip 520000 nbSat=3377534 maxSat=6224581
183.65/92.59	c flip 530000 nbSat=3413993 maxSat=6224581
184.85/93.18	c flip 540000 nbSat=3543219 maxSat=6224581
186.03/93.78	c flip 550000 nbSat=3551727 maxSat=6224581
187.23/94.37	c flip 560000 nbSat=3538155 maxSat=6224581
188.43/94.96	c flip 570000 nbSat=3710539 maxSat=6224581
189.63/95.55	c flip 580000 nbSat=3734008 maxSat=6224581
190.82/96.15	c flip 590000 nbSat=3896805 maxSat=6224581
192.03/96.76	c flip 600000 nbSat=3925020 maxSat=6224581
193.22/97.35	c flip 610000 nbSat=3916819 maxSat=6224581
194.42/97.94	c flip 620000 nbSat=3780068 maxSat=6224581
195.61/98.52	c flip 630000 nbSat=3910368 maxSat=6224581
196.81/99.11	c flip 640000 nbSat=3887609 maxSat=6224581
198.00/99.71	c flip 650000 nbSat=3923380 maxSat=6224581
198.99/100.29	c flip 660000 nbSat=3993433 maxSat=6224581
200.19/100.85	c flip 670000 nbSat=3918359 maxSat=6224581
201.39/101.44	c flip 680000 nbSat=4144125 maxSat=6224581
202.59/102.03	c flip 690000 nbSat=4198368 maxSat=6224581
203.78/102.62	c flip 700000 nbSat=4288878 maxSat=6224581
204.98/103.21	c flip 710000 nbSat=4172168 maxSat=6224581
206.18/103.81	c flip 720000 nbSat=4334677 maxSat=6224581
207.38/104.40	c flip 730000 nbSat=4325171 maxSat=6224581
208.37/104.99	c flip 740000 nbSat=4309485 maxSat=6224581
209.58/105.58	c flip 750000 nbSat=4267089 maxSat=6224581
210.77/106.16	c flip 760000 nbSat=4260793 maxSat=6224581
211.97/106.75	c flip 770000 nbSat=4667008 maxSat=6224581
213.17/107.33	c flip 780000 nbSat=4663953 maxSat=6224581
214.36/107.93	c flip 790000 nbSat=4590130 maxSat=6224581
215.56/108.53	c flip 800000 nbSat=4732286 maxSat=6224581
216.76/109.13	c flip 810000 nbSat=4810484 maxSat=6224581
217.96/109.72	c flip 820000 nbSat=4705801 maxSat=6224581
219.15/110.31	c flip 830000 nbSat=4662127 maxSat=6224581
220.35/110.91	c flip 840000 nbSat=4787963 maxSat=6224581
221.55/111.50	c flip 850000 nbSat=4962956 maxSat=6224581
222.55/112.09	c flip 860000 nbSat=5087659 maxSat=6224581
223.74/112.68	c flip 870000 nbSat=5253742 maxSat=6224581
224.94/113.27	c flip 880000 nbSat=5045524 maxSat=6224581
226.13/113.85	c flip 890000 nbSat=5152542 maxSat=6224581
227.34/114.45	c flip 900000 nbSat=5090699 maxSat=6224581
228.53/115.03	c flip 910000 nbSat=5199687 maxSat=6224581
229.73/115.63	c flip 920000 nbSat=5247086 maxSat=6224581
230.93/116.21	c flip 930000 nbSat=5293650 maxSat=6224581
231.92/116.79	c flip 940000 nbSat=5453331 maxSat=6224581
233.12/117.38	c flip 950000 nbSat=5580273 maxSat=6224581
234.32/117.98	c flip 960000 nbSat=5533561 maxSat=6224581
235.52/118.56	c flip 970000 nbSat=5447019 maxSat=6224581
236.72/119.15	c flip 980000 nbSat=5564250 maxSat=6224581
237.91/119.75	c flip 990000 nbSat=5710040 maxSat=6224581
239.11/120.34	c flip 1000000 nbSat=5947001 maxSat=6224581
240.31/120.93	c flip 1010000 nbSat=5937609 maxSat=6224581
241.50/121.53	c flip 1020000 nbSat=5721783 maxSat=6224581
242.71/122.12	c flip 1030000 nbSat=5942044 maxSat=6224581
243.90/122.70	c flip 1040000 nbSat=5913888 maxSat=6224581
245.09/123.30	c flip 1050000 nbSat=6176640 maxSat=6312505
246.29/123.90	c flip 1060000 nbSat=6127928 maxSat=6312505
247.49/124.50	c flip 1070000 nbSat=6155129 maxSat=6312505
248.69/125.10	c flip 1080000 nbSat=6375725 maxSat=6467654
249.89/125.70	c flip 1090000 nbSat=6456835 maxSat=6670447
250.88/126.29	c flip 1100000 nbSat=6277320 maxSat=6670447
252.28/126.90	c flip 1110000 nbSat=6336961 maxSat=6670447
253.28/127.49	c flip 1120000 nbSat=6249411 maxSat=6670447
254.47/128.10	c flip 1130000 nbSat=6335608 maxSat=6709542
255.68/128.69	c flip 1140000 nbSat=6664084 maxSat=6952922
256.87/129.29	c flip 1150000 nbSat=6649998 maxSat=6952922
258.07/129.88	c flip 1160000 nbSat=6728661 maxSat=7026584
259.26/130.47	c flip 1170000 nbSat=6915148 maxSat=7046406
259.86/130.77	c flip 0 nbSat=208475 maxSat=7046406
260.07/130.87	c flip 10000 nbSat=227328 maxSat=7046406
260.27/130.97	c flip 20000 nbSat=244074 maxSat=7046406
260.66/131.14	c flip 30000 nbSat=254439 maxSat=7046406
261.06/131.37	c flip 40000 nbSat=269825 maxSat=7046406
261.66/131.62	c flip 50000 nbSat=286636 maxSat=7046406
262.27/131.91	c flip 60000 nbSat=307709 maxSat=7046406
262.86/132.21	c flip 70000 nbSat=330621 maxSat=7046406
263.46/132.54	c flip 80000 nbSat=353873 maxSat=7046406
264.06/132.88	c flip 90000 nbSat=380664 maxSat=7046406
264.85/133.26	c flip 100000 nbSat=405792 maxSat=7046406
265.65/133.66	c flip 110000 nbSat=448257 maxSat=7046406
266.66/134.10	c flip 120000 nbSat=485863 maxSat=7046406
267.45/134.58	c flip 130000 nbSat=528450 maxSat=7046406
268.45/135.08	c flip 140000 nbSat=562436 maxSat=7046406
269.65/135.61	c flip 150000 nbSat=632539 maxSat=7046406
270.64/136.14	c flip 160000 nbSat=723782 maxSat=7046406
271.64/136.69	c flip 170000 nbSat=825353 maxSat=7046406
272.84/137.24	c flip 180000 nbSat=897334 maxSat=7046406
274.03/137.81	c flip 190000 nbSat=981667 maxSat=7046406
275.23/138.40	c flip 200000 nbSat=1079653 maxSat=7046406
276.23/138.99	c flip 210000 nbSat=1167408 maxSat=7046406
277.43/139.58	c flip 220000 nbSat=1257285 maxSat=7046406
278.61/140.18	c flip 230000 nbSat=1338715 maxSat=7046406
279.82/140.76	c flip 240000 nbSat=1417523 maxSat=7046406
281.01/141.35	c flip 250000 nbSat=1483418 maxSat=7046406
282.22/141.95	c flip 260000 nbSat=1550119 maxSat=7046406
283.41/142.53	c flip 270000 nbSat=1615824 maxSat=7046406
284.60/143.15	c flip 280000 nbSat=1639987 maxSat=7046406
285.80/143.74	c flip 290000 nbSat=1744351 maxSat=7046406
287.00/144.36	c flip 300000 nbSat=1863395 maxSat=7046406
288.19/144.95	c flip 310000 nbSat=1871090 maxSat=7046406
289.38/145.55	c flip 320000 nbSat=1913179 maxSat=7046406
290.58/146.13	c flip 330000 nbSat=2001532 maxSat=7046406
291.78/146.73	c flip 340000 nbSat=2187153 maxSat=7046406
292.98/147.32	c flip 350000 nbSat=2170861 maxSat=7046406
294.17/147.90	c flip 360000 nbSat=2261733 maxSat=7046406
295.18/148.49	c flip 370000 nbSat=2352399 maxSat=7046406
296.37/149.07	c flip 380000 nbSat=2358342 maxSat=7046406
297.57/149.67	c flip 390000 nbSat=2423102 maxSat=7046406
298.76/150.26	c flip 400000 nbSat=2482805 maxSat=7046406
299.96/150.86	c flip 410000 nbSat=2589703 maxSat=7046406
301.16/151.43	c flip 420000 nbSat=2596639 maxSat=7046406
302.36/152.04	c flip 430000 nbSat=2735312 maxSat=7046406
303.56/152.64	c flip 440000 nbSat=2686360 maxSat=7046406
304.75/153.24	c flip 450000 nbSat=2681897 maxSat=7046406
305.95/153.85	c flip 460000 nbSat=2845729 maxSat=7046406
307.15/154.45	c flip 470000 nbSat=2929109 maxSat=7046406
308.35/155.07	c flip 480000 nbSat=2982132 maxSat=7046406
309.54/155.67	c flip 490000 nbSat=3144911 maxSat=7046406
310.74/156.28	c flip 500000 nbSat=3130769 maxSat=7046406
311.94/156.87	c flip 510000 nbSat=3264312 maxSat=7046406
313.13/157.47	c flip 520000 nbSat=3243993 maxSat=7046406
314.33/158.08	c flip 530000 nbSat=3336733 maxSat=7046406
315.53/158.66	c flip 540000 nbSat=3350891 maxSat=7046406
316.73/159.26	c flip 550000 nbSat=3470942 maxSat=7046406
317.93/159.85	c flip 560000 nbSat=3543263 maxSat=7046406
319.13/160.44	c flip 570000 nbSat=3587175 maxSat=7046406
320.32/161.03	c flip 580000 nbSat=3707488 maxSat=7046406
321.52/161.62	c flip 590000 nbSat=3574280 maxSat=7046406
322.51/162.19	c flip 600000 nbSat=3682718 maxSat=7046406
323.72/162.80	c flip 610000 nbSat=3750594 maxSat=7046406
324.91/163.39	c flip 620000 nbSat=3826477 maxSat=7046406
326.11/163.99	c flip 630000 nbSat=3827568 maxSat=7046406
327.30/164.57	c flip 640000 nbSat=3890257 maxSat=7046406
328.50/165.16	c flip 650000 nbSat=4118504 maxSat=7046406
329.70/165.75	c flip 660000 nbSat=4181115 maxSat=7046406
330.89/166.35	c flip 670000 nbSat=4091385 maxSat=7046406
332.09/166.95	c flip 680000 nbSat=4098060 maxSat=7046406
333.29/167.55	c flip 690000 nbSat=4156186 maxSat=7046406
334.49/168.15	c flip 700000 nbSat=4196625 maxSat=7046406
335.69/168.74	c flip 710000 nbSat=4187381 maxSat=7046406
336.89/169.32	c flip 720000 nbSat=4347833 maxSat=7046406
338.08/169.90	c flip 730000 nbSat=4446698 maxSat=7046406
339.09/170.49	c flip 740000 nbSat=4425703 maxSat=7046406
340.28/171.07	c flip 750000 nbSat=4482249 maxSat=7046406
341.48/171.66	c flip 760000 nbSat=4572538 maxSat=7046406
342.67/172.25	c flip 770000 nbSat=4462460 maxSat=7046406
343.87/172.83	c flip 780000 nbSat=4651909 maxSat=7046406
345.06/173.41	c flip 790000 nbSat=4581544 maxSat=7046406
346.26/174.00	c flip 800000 nbSat=4717114 maxSat=7046406
347.26/174.58	c flip 810000 nbSat=4864005 maxSat=7046406
348.46/175.16	c flip 820000 nbSat=4823110 maxSat=7046406
349.65/175.74	c flip 830000 nbSat=5013095 maxSat=7046406
350.85/176.32	c flip 840000 nbSat=5154497 maxSat=7046406
352.05/176.90	c flip 850000 nbSat=5032466 maxSat=7046406
353.05/177.47	c flip 860000 nbSat=5097064 maxSat=7046406
354.25/178.05	c flip 870000 nbSat=4928118 maxSat=7046406
355.44/178.63	c flip 880000 nbSat=5079715 maxSat=7046406
356.65/179.23	c flip 890000 nbSat=5224965 maxSat=7046406
357.84/179.82	c flip 900000 nbSat=5362839 maxSat=7046406
359.04/180.41	c flip 910000 nbSat=5152611 maxSat=7046406
360.23/181.00	c flip 920000 nbSat=5168716 maxSat=7046406
361.24/181.59	c flip 930000 nbSat=5224502 maxSat=7046406
362.43/182.18	c flip 940000 nbSat=5413082 maxSat=7046406
363.62/182.77	c flip 950000 nbSat=5376754 maxSat=7046406
364.82/183.37	c flip 960000 nbSat=5423926 maxSat=7046406
366.02/183.98	c flip 970000 nbSat=5493032 maxSat=7046406
367.22/184.57	c flip 980000 nbSat=5454972 maxSat=7046406
368.42/185.16	c flip 990000 nbSat=5551451 maxSat=7046406
369.61/185.76	c flip 1000000 nbSat=5730482 maxSat=7046406
370.80/186.33	c flip 1010000 nbSat=5766442 maxSat=7046406
372.01/186.90	c flip 1020000 nbSat=5738801 maxSat=7046406
373.00/187.48	c flip 1030000 nbSat=5917778 maxSat=7046406
374.20/188.08	c flip 1040000 nbSat=5822320 maxSat=7046406
375.39/188.65	c flip 1050000 nbSat=5669566 maxSat=7046406
376.60/189.24	c flip 1060000 nbSat=5843272 maxSat=7046406
377.79/189.82	c flip 1070000 nbSat=5949602 maxSat=7046406
378.79/190.40	c flip 1080000 nbSat=5950632 maxSat=7046406
379.98/190.98	c flip 1090000 nbSat=5668244 maxSat=7046406
381.18/191.54	c flip 1100000 nbSat=6354305 maxSat=7046406
382.38/192.11	c flip 1110000 nbSat=6199901 maxSat=7046406
383.37/192.68	c flip 1120000 nbSat=6302236 maxSat=7046406
384.57/193.27	c flip 1130000 nbSat=6349925 maxSat=7046406
385.77/193.86	c flip 1140000 nbSat=6276904 maxSat=7046406
386.97/194.43	c flip 1150000 nbSat=6299211 maxSat=7046406
388.17/195.01	c flip 1160000 nbSat=6508478 maxSat=7046406
389.17/195.59	c flip 1170000 nbSat=6630961 maxSat=7046406
389.77/195.89	c flip 0 nbSat=206507 maxSat=7046406
389.96/195.99	c flip 10000 nbSat=227048 maxSat=7046406
390.16/196.09	c flip 20000 nbSat=244807 maxSat=7046406
390.56/196.27	c flip 30000 nbSat=255713 maxSat=7046406
390.96/196.49	c flip 40000 nbSat=269513 maxSat=7046406
391.56/196.75	c flip 50000 nbSat=286109 maxSat=7046406
392.16/197.04	c flip 60000 nbSat=304973 maxSat=7046406
392.76/197.35	c flip 70000 nbSat=328327 maxSat=7046406
393.35/197.68	c flip 80000 nbSat=347141 maxSat=7046406
394.16/198.05	c flip 90000 nbSat=376363 maxSat=7046406
394.95/198.41	c flip 100000 nbSat=407161 maxSat=7046406
395.75/198.80	c flip 110000 nbSat=433088 maxSat=7046406
396.54/199.23	c flip 120000 nbSat=487001 maxSat=7046406
397.34/199.69	c flip 130000 nbSat=537436 maxSat=7046406
398.35/200.16	c flip 140000 nbSat=587705 maxSat=7046406
399.34/200.67	c flip 150000 nbSat=641348 maxSat=7046406
400.54/201.20	c flip 160000 nbSat=714077 maxSat=7046406
401.53/201.77	c flip 170000 nbSat=785230 maxSat=7046406
402.74/202.33	c flip 180000 nbSat=881061 maxSat=7046406
403.93/202.91	c flip 190000 nbSat=976296 maxSat=7046406
405.14/203.52	c flip 200000 nbSat=1097033 maxSat=7046406
406.13/204.09	c flip 210000 nbSat=1170161 maxSat=7046406
407.33/204.68	c flip 220000 nbSat=1255346 maxSat=7046406
408.52/205.27	c flip 230000 nbSat=1307868 maxSat=7046406
409.72/205.87	c flip 240000 nbSat=1407821 maxSat=7046406
410.92/206.45	c flip 250000 nbSat=1486587 maxSat=7046406
412.11/207.05	c flip 260000 nbSat=1618964 maxSat=7046406
413.31/207.64	c flip 270000 nbSat=1677813 maxSat=7046406
414.51/208.25	c flip 280000 nbSat=1728406 maxSat=7046406
415.71/208.84	c flip 290000 nbSat=1762521 maxSat=7046406
416.90/209.45	c flip 300000 nbSat=1860747 maxSat=7046406
418.11/210.05	c flip 310000 nbSat=1954690 maxSat=7046406
419.30/210.65	c flip 320000 nbSat=1956515 maxSat=7046406
420.50/211.24	c flip 330000 nbSat=2031346 maxSat=7046406
421.69/211.84	c flip 340000 nbSat=2084431 maxSat=7046406
422.89/212.43	c flip 350000 nbSat=2227779 maxSat=7046406
424.09/213.03	c flip 360000 nbSat=2295375 maxSat=7046406
425.28/213.62	c flip 370000 nbSat=2281325 maxSat=7046406
426.48/214.21	c flip 380000 nbSat=2452542 maxSat=7046406
427.68/214.82	c flip 390000 nbSat=2608636 maxSat=7046406
428.88/215.41	c flip 400000 nbSat=2579863 maxSat=7046406
429.87/215.99	c flip 410000 nbSat=2685963 maxSat=7046406
431.07/216.55	c flip 420000 nbSat=2680119 maxSat=7046406
432.27/217.15	c flip 430000 nbSat=2739277 maxSat=7046406
433.47/217.75	c flip 440000 nbSat=2774760 maxSat=7046406
434.67/218.33	c flip 450000 nbSat=2901542 maxSat=7046406
435.87/218.92	c flip 460000 nbSat=2983172 maxSat=7046406
437.06/219.52	c flip 470000 nbSat=3029664 maxSat=7046406
438.26/220.10	c flip 480000 nbSat=3154144 maxSat=7046406
439.26/220.68	c flip 490000 nbSat=3140253 maxSat=7046406
440.46/221.26	c flip 500000 nbSat=3242458 maxSat=7046406
441.65/221.84	c flip 510000 nbSat=3055225 maxSat=7046406
442.85/222.42	c flip 520000 nbSat=3336222 maxSat=7046406
444.05/223.00	c flip 530000 nbSat=3281685 maxSat=7046406
445.24/223.60	c flip 540000 nbSat=3461352 maxSat=7046406
446.24/224.19	c flip 550000 nbSat=3510062 maxSat=7046406
447.44/224.77	c flip 560000 nbSat=3602217 maxSat=7046406
448.64/225.34	c flip 570000 nbSat=3596886 maxSat=7046406
449.83/225.92	c flip 580000 nbSat=3486840 maxSat=7046406
450.83/226.50	c flip 590000 nbSat=3633235 maxSat=7046406
452.03/227.10	c flip 600000 nbSat=3757710 maxSat=7046406
453.23/227.68	c flip 610000 nbSat=3676275 maxSat=7046406
454.43/228.26	c flip 620000 nbSat=3739927 maxSat=7046406
455.63/228.85	c flip 630000 nbSat=3778920 maxSat=7046406
456.82/229.43	c flip 640000 nbSat=3865670 maxSat=7046406
458.02/230.03	c flip 650000 nbSat=3925492 maxSat=7046406
459.21/230.62	c flip 660000 nbSat=3932654 maxSat=7046406
460.41/231.21	c flip 670000 nbSat=4014514 maxSat=7046406
461.60/231.81	c flip 680000 nbSat=4127521 maxSat=7046406
462.80/232.41	c flip 690000 nbSat=4240539 maxSat=7046406
464.00/233.01	c flip 700000 nbSat=4171846 maxSat=7046406
465.19/233.61	c flip 710000 nbSat=4240992 maxSat=7046406
466.40/234.20	c flip 720000 nbSat=4468709 maxSat=7046406
467.58/234.81	c flip 730000 nbSat=4339478 maxSat=7046406
468.78/235.41	c flip 740000 nbSat=4211721 maxSat=7046406
469.97/236.01	c flip 750000 nbSat=4380675 maxSat=7046406
471.17/236.60	c flip 760000 nbSat=4457091 maxSat=7046406
472.17/237.19	c flip 770000 nbSat=4487777 maxSat=7046406
473.36/237.78	c flip 780000 nbSat=4612858 maxSat=7046406
474.56/238.38	c flip 790000 nbSat=4524709 maxSat=7046406
475.96/239.00	c flip 800000 nbSat=4581542 maxSat=7046406
476.96/239.59	c flip 810000 nbSat=4578176 maxSat=7046406
478.15/240.19	c flip 820000 nbSat=4690989 maxSat=7046406
479.35/240.79	c flip 830000 nbSat=4587653 maxSat=7046406
480.75/241.40	c flip 840000 nbSat=4813264 maxSat=7046406
481.75/241.99	c flip 850000 nbSat=4596251 maxSat=7046406
483.14/242.60	c flip 860000 nbSat=4868163 maxSat=7046406
484.34/243.21	c flip 870000 nbSat=5200763 maxSat=7046406
485.34/243.79	c flip 880000 nbSat=5083731 maxSat=7046406
486.53/244.38	c flip 890000 nbSat=4818971 maxSat=7046406
487.73/244.97	c flip 900000 nbSat=4841136 maxSat=7046406
488.93/245.56	c flip 910000 nbSat=5078260 maxSat=7046406
490.13/246.16	c flip 920000 nbSat=5024597 maxSat=7046406
491.32/246.75	c flip 930000 nbSat=5171064 maxSat=7046406
492.52/247.32	c flip 940000 nbSat=5335293 maxSat=7046406
493.72/247.92	c flip 950000 nbSat=5163653 maxSat=7046406
494.92/248.51	c flip 960000 nbSat=5316626 maxSat=7046406
495.91/249.09	c flip 970000 nbSat=5412379 maxSat=7046406
497.12/249.67	c flip 980000 nbSat=5282501 maxSat=7046406
498.31/250.27	c flip 990000 nbSat=5433360 maxSat=7046406
499.51/250.87	c flip 1000000 nbSat=5502133 maxSat=7046406
500.70/251.46	c flip 1010000 nbSat=5513818 maxSat=7046406
501.90/252.04	c flip 1020000 nbSat=5775014 maxSat=7046406
503.10/252.61	c flip 1030000 nbSat=5678695 maxSat=7046406
504.30/253.20	c flip 1040000 nbSat=5885022 maxSat=7046406
505.30/253.77	c flip 1050000 nbSat=5877212 maxSat=7046406
506.49/254.36	c flip 1060000 nbSat=5630107 maxSat=7046406
507.69/254.95	c flip 1070000 nbSat=5920097 maxSat=7046406
508.89/255.55	c flip 1080000 nbSat=5937084 maxSat=7046406
510.09/256.12	c flip 1090000 nbSat=6255323 maxSat=7046406
511.28/256.71	c flip 1100000 nbSat=6068301 maxSat=7046406
512.28/257.28	c flip 1110000 nbSat=6103339 maxSat=7046406
513.48/257.85	c flip 1120000 nbSat=6156304 maxSat=7046406
514.68/258.43	c flip 1130000 nbSat=6242397 maxSat=7046406
515.87/259.01	c flip 1140000 nbSat=6366087 maxSat=7046406
516.87/259.59	c flip 1150000 nbSat=6264714 maxSat=7046406
518.07/260.17	c flip 1160000 nbSat=6451786 maxSat=7046406
519.27/260.74	c flip 1170000 nbSat=6262368 maxSat=7046406
519.86/261.04	c flip 0 nbSat=207432 maxSat=7046406
520.06/261.14	c flip 10000 nbSat=227500 maxSat=7046406
520.26/261.23	c flip 20000 nbSat=244558 maxSat=7046406
520.66/261.41	c flip 30000 nbSat=256125 maxSat=7046406
521.06/261.64	c flip 40000 nbSat=272668 maxSat=7046406
521.66/261.90	c flip 50000 nbSat=289498 maxSat=7046406
522.06/262.18	c flip 60000 nbSat=311576 maxSat=7046406
522.66/262.49	c flip 70000 nbSat=342809 maxSat=7046406
523.46/262.86	c flip 80000 nbSat=374420 maxSat=7046406
524.25/263.22	c flip 90000 nbSat=407611 maxSat=7046406
525.05/263.63	c flip 100000 nbSat=449040 maxSat=7046406
525.86/264.06	c flip 110000 nbSat=484722 maxSat=7046406
526.85/264.54	c flip 120000 nbSat=527949 maxSat=7046406
527.85/265.06	c flip 130000 nbSat=616303 maxSat=7046406
528.84/265.58	c flip 140000 nbSat=710324 maxSat=7046406
530.05/266.13	c flip 150000 nbSat=797220 maxSat=7046406
531.04/266.66	c flip 160000 nbSat=865544 maxSat=7046406
532.24/267.24	c flip 170000 nbSat=976881 maxSat=7046406
533.43/267.80	c flip 180000 nbSat=1044925 maxSat=7046406
534.44/268.38	c flip 190000 nbSat=1095970 maxSat=7046406
535.63/268.97	c flip 200000 nbSat=1181013 maxSat=7046406
536.84/269.55	c flip 210000 nbSat=1267495 maxSat=7046406
538.03/270.15	c flip 220000 nbSat=1333958 maxSat=7046406
539.22/270.75	c flip 230000 nbSat=1394644 maxSat=7046406
540.42/271.35	c flip 240000 nbSat=1470800 maxSat=7046406
541.62/271.96	c flip 250000 nbSat=1616811 maxSat=7046406
542.82/272.57	c flip 260000 nbSat=1720929 maxSat=7046406
544.01/273.17	c flip 270000 nbSat=1776923 maxSat=7046406
545.21/273.77	c flip 280000 nbSat=1815604 maxSat=7046406
546.40/274.36	c flip 290000 nbSat=1896335 maxSat=7046406
547.61/274.97	c flip 300000 nbSat=2032466 maxSat=7046406
548.80/275.55	c flip 310000 nbSat=2051345 maxSat=7046406
550.00/276.15	c flip 320000 nbSat=2148035 maxSat=7046406
551.20/276.75	c flip 330000 nbSat=2259123 maxSat=7046406
552.39/277.36	c flip 340000 nbSat=2230111 maxSat=7046406
553.58/277.98	c flip 350000 nbSat=2226182 maxSat=7046406
554.98/278.61	c flip 360000 nbSat=2162616 maxSat=7046406
556.18/279.22	c flip 370000 nbSat=2254207 maxSat=7046406
557.37/279.84	c flip 380000 nbSat=2338263 maxSat=7046406
558.57/280.43	c flip 390000 nbSat=2416579 maxSat=7046406
559.76/281.05	c flip 400000 nbSat=2372443 maxSat=7046406
560.97/281.66	c flip 410000 nbSat=2657921 maxSat=7046406
562.16/282.25	c flip 420000 nbSat=2683979 maxSat=7046406
563.35/282.83	c flip 430000 nbSat=2732865 maxSat=7046406
564.55/283.43	c flip 440000 nbSat=2739310 maxSat=7046406
565.75/284.04	c flip 450000 nbSat=2912591 maxSat=7046406
566.94/284.64	c flip 460000 nbSat=3074309 maxSat=7046406
568.14/285.24	c flip 470000 nbSat=3044366 maxSat=7046406
569.34/285.85	c flip 480000 nbSat=3040414 maxSat=7046406
570.54/286.45	c flip 490000 nbSat=3249510 maxSat=7046406
571.74/287.05	c flip 500000 nbSat=3417916 maxSat=7046406
572.93/287.64	c flip 510000 nbSat=3374396 maxSat=7046406
574.14/288.25	c flip 520000 nbSat=3390810 maxSat=7046406
575.33/288.86	c flip 530000 nbSat=3484376 maxSat=7046406
576.52/289.48	c flip 540000 nbSat=3464630 maxSat=7046406
577.72/290.07	c flip 550000 nbSat=3537393 maxSat=7046406
578.92/290.68	c flip 560000 nbSat=3516419 maxSat=7046406
580.12/291.28	c flip 570000 nbSat=3607977 maxSat=7046406
581.31/291.89	c flip 580000 nbSat=3692813 maxSat=7046406
582.51/292.49	c flip 590000 nbSat=3679863 maxSat=7046406
583.71/293.09	c flip 600000 nbSat=3849073 maxSat=7046406
584.91/293.69	c flip 610000 nbSat=3915759 maxSat=7046406
586.10/294.29	c flip 620000 nbSat=3938759 maxSat=7046406
587.31/294.90	c flip 630000 nbSat=4103888 maxSat=7046406
588.51/295.49	c flip 640000 nbSat=4115713 maxSat=7046406
589.90/296.11	c flip 650000 nbSat=4053027 maxSat=7046406
591.10/296.73	c flip 660000 nbSat=4154118 maxSat=7046406
592.30/297.33	c flip 670000 nbSat=4234013 maxSat=7046406
593.50/297.93	c flip 680000 nbSat=4242964 maxSat=7046406
594.69/298.54	c flip 690000 nbSat=4233226 maxSat=7046406
595.90/299.15	c flip 700000 nbSat=4335989 maxSat=7046406
597.09/299.76	c flip 710000 nbSat=4242448 maxSat=7046406
598.29/300.36	c flip 720000 nbSat=4457376 maxSat=7046406
599.48/300.97	c flip 730000 nbSat=4603317 maxSat=7046406
600.68/301.57	c flip 740000 nbSat=4568850 maxSat=7046406
601.88/302.17	c flip 750000 nbSat=4524408 maxSat=7046406
603.08/302.77	c flip 760000 nbSat=4607275 maxSat=7046406
604.28/303.37	c flip 770000 nbSat=4787599 maxSat=7046406
605.47/303.99	c flip 780000 nbSat=4759702 maxSat=7046406
606.87/304.62	c flip 790000 nbSat=4975707 maxSat=7046406
608.07/305.24	c flip 800000 nbSat=4922454 maxSat=7046406
609.27/305.84	c flip 810000 nbSat=4918203 maxSat=7046406
610.46/306.45	c flip 820000 nbSat=4966389 maxSat=7046406
611.66/307.06	c flip 830000 nbSat=5087425 maxSat=7046406
612.85/307.68	c flip 840000 nbSat=5151545 maxSat=7046406
614.05/308.29	c flip 850000 nbSat=5253067 maxSat=7046406
615.45/308.90	c flip 860000 nbSat=5410088 maxSat=7046406
616.64/309.53	c flip 870000 nbSat=5428652 maxSat=7046406
617.85/310.14	c flip 880000 nbSat=5563413 maxSat=7046406
619.04/310.74	c flip 890000 nbSat=5521253 maxSat=7046406
620.24/311.35	c flip 900000 nbSat=5543687 maxSat=7046406
621.43/311.96	c flip 910000 nbSat=5602117 maxSat=7046406
622.63/312.57	c flip 920000 nbSat=5751515 maxSat=7046406
623.83/313.17	c flip 930000 nbSat=5594836 maxSat=7046406
625.03/313.77	c flip 940000 nbSat=5664459 maxSat=7046406
626.23/314.36	c flip 950000 nbSat=5672831 maxSat=7046406
627.42/314.97	c flip 960000 nbSat=5880554 maxSat=7046406
628.62/315.58	c flip 970000 nbSat=5773926 maxSat=7046406
629.82/316.17	c flip 980000 nbSat=5914209 maxSat=7046406
631.02/316.77	c flip 990000 nbSat=5758389 maxSat=7046406
632.21/317.36	c flip 1000000 nbSat=6234508 maxSat=7046406
633.42/317.96	c flip 1010000 nbSat=6061580 maxSat=7046406
634.61/318.56	c flip 1020000 nbSat=5944299 maxSat=7046406
635.80/319.15	c flip 1030000 nbSat=6194842 maxSat=7046406
637.00/319.73	c flip 1040000 nbSat=6227585 maxSat=7046406
638.20/320.33	c flip 1050000 nbSat=6317761 maxSat=7046406
639.40/320.92	c flip 1060000 nbSat=6203555 maxSat=7046406
640.59/321.52	c flip 1070000 nbSat=6363000 maxSat=7046406
641.79/322.10	c flip 1080000 nbSat=6622479 maxSat=7046406
642.79/322.69	c flip 1090000 nbSat=6433060 maxSat=7046406
643.99/323.29	c flip 1100000 nbSat=6531232 maxSat=7046406
645.18/323.89	c flip 1110000 nbSat=6657013 maxSat=7046406
646.38/324.48	c flip 1120000 nbSat=6573985 maxSat=7046406
647.56/325.08	c flip 1130000 nbSat=6536388 maxSat=7046406
648.76/325.65	c flip 1140000 nbSat=6807983 maxSat=7046406
649.95/326.25	c flip 1150000 nbSat=6640068 maxSat=7046406
651.15/326.84	c flip 1160000 nbSat=6861484 maxSat=7046406
652.35/327.43	c flip 1170000 nbSat=6953891 maxSat=7210978
652.95/327.74	c flip 0 nbSat=206787 maxSat=7210978
653.15/327.84	c flip 10000 nbSat=227130 maxSat=7210978
653.34/327.94	c flip 20000 nbSat=244978 maxSat=7210978
653.74/328.11	c flip 30000 nbSat=255450 maxSat=7210978
654.14/328.33	c flip 40000 nbSat=269280 maxSat=7210978
654.54/328.59	c flip 50000 nbSat=287031 maxSat=7210978
655.15/328.88	c flip 60000 nbSat=306050 maxSat=7210978
655.74/329.19	c flip 70000 nbSat=325538 maxSat=7210978
656.54/329.52	c flip 80000 nbSat=349222 maxSat=7210978
657.14/329.88	c flip 90000 nbSat=383298 maxSat=7210978
657.94/330.27	c flip 100000 nbSat=417786 maxSat=7210978
658.74/330.68	c flip 110000 nbSat=472981 maxSat=7210978
659.74/331.12	c flip 120000 nbSat=502713 maxSat=7210978
660.53/331.59	c flip 130000 nbSat=558261 maxSat=7210978
661.53/332.08	c flip 140000 nbSat=644134 maxSat=7210978
662.53/332.59	c flip 150000 nbSat=698122 maxSat=7210978
663.73/333.12	c flip 160000 nbSat=766181 maxSat=7210978
664.72/333.65	c flip 170000 nbSat=860419 maxSat=7210978
665.92/334.21	c flip 180000 nbSat=939383 maxSat=7210978
666.92/334.75	c flip 190000 nbSat=1005676 maxSat=7210978
668.12/335.31	c flip 200000 nbSat=1098552 maxSat=7210978
669.11/335.87	c flip 210000 nbSat=1175149 maxSat=7210978
670.31/336.45	c flip 220000 nbSat=1276081 maxSat=7210978
671.51/337.02	c flip 230000 nbSat=1369860 maxSat=7210978
672.71/337.61	c flip 240000 nbSat=1368084 maxSat=7210978
673.90/338.21	c flip 250000 nbSat=1453204 maxSat=7210978
675.11/338.81	c flip 260000 nbSat=1605255 maxSat=7210978
676.30/339.40	c flip 270000 nbSat=1659794 maxSat=7210978
677.31/339.99	c flip 280000 nbSat=1691396 maxSat=7210978
678.50/340.58	c flip 290000 nbSat=1762868 maxSat=7210978
679.69/341.16	c flip 300000 nbSat=1862870 maxSat=7210978
680.89/341.76	c flip 310000 nbSat=1904892 maxSat=7210978
682.09/342.36	c flip 320000 nbSat=2005697 maxSat=7210978
683.29/342.96	c flip 330000 nbSat=2046418 maxSat=7210978
684.48/343.57	c flip 340000 nbSat=2077581 maxSat=7210978
685.68/344.19	c flip 350000 nbSat=2105507 maxSat=7210978
687.08/344.81	c flip 360000 nbSat=2086304 maxSat=7210978
688.28/345.42	c flip 370000 nbSat=2187193 maxSat=7210978
689.47/346.02	c flip 380000 nbSat=2285369 maxSat=7210978
690.67/346.62	c flip 390000 nbSat=2388468 maxSat=7210978
691.87/347.24	c flip 400000 nbSat=2411301 maxSat=7210978
693.06/347.84	c flip 410000 nbSat=2467487 maxSat=7210978
694.26/348.46	c flip 420000 nbSat=2653687 maxSat=7210978
695.46/349.08	c flip 430000 nbSat=2698197 maxSat=7210978
696.66/349.69	c flip 440000 nbSat=2672150 maxSat=7210978
698.05/350.32	c flip 450000 nbSat=2750670 maxSat=7210978
699.26/350.95	c flip 460000 nbSat=2830441 maxSat=7210978
700.45/351.55	c flip 470000 nbSat=2962936 maxSat=7210978
701.64/352.17	c flip 480000 nbSat=2906527 maxSat=7210978
702.84/352.78	c flip 490000 nbSat=3120507 maxSat=7210978
704.04/353.38	c flip 500000 nbSat=3082693 maxSat=7210978
705.24/353.98	c flip 510000 nbSat=3157678 maxSat=7210978
706.43/354.57	c flip 520000 nbSat=3261729 maxSat=7210978
707.63/355.17	c flip 530000 nbSat=3358717 maxSat=7210978
708.83/355.77	c flip 540000 nbSat=3147557 maxSat=7210978
710.03/356.38	c flip 550000 nbSat=3269725 maxSat=7210978
711.22/356.98	c flip 560000 nbSat=3362759 maxSat=7210978
712.43/357.59	c flip 570000 nbSat=3409078 maxSat=7210978
713.82/358.20	c flip 580000 nbSat=3506938 maxSat=7210978
714.81/358.79	c flip 590000 nbSat=3426137 maxSat=7210978
716.01/359.39	c flip 600000 nbSat=3510217 maxSat=7210978
717.21/359.99	c flip 610000 nbSat=3671551 maxSat=7210978
718.41/360.59	c flip 620000 nbSat=3709754 maxSat=7210978
719.60/361.18	c flip 630000 nbSat=3654242 maxSat=7210978
720.80/361.77	c flip 640000 nbSat=3778313 maxSat=7210978
722.00/362.37	c flip 650000 nbSat=3692275 maxSat=7210978
723.20/362.97	c flip 660000 nbSat=3772064 maxSat=7210978
724.39/363.56	c flip 670000 nbSat=3900218 maxSat=7210978
725.60/364.16	c flip 680000 nbSat=3890174 maxSat=7210978
726.79/364.75	c flip 690000 nbSat=4068644 maxSat=7210978
727.99/365.36	c flip 700000 nbSat=4237320 maxSat=7210978
729.18/365.95	c flip 710000 nbSat=4216549 maxSat=7210978
730.38/366.53	c flip 720000 nbSat=4187005 maxSat=7210978
731.58/367.11	c flip 730000 nbSat=4355610 maxSat=7210978
732.77/367.70	c flip 740000 nbSat=4324783 maxSat=7210978
733.97/368.30	c flip 750000 nbSat=4447931 maxSat=7210978
735.17/368.90	c flip 760000 nbSat=4280098 maxSat=7210978
736.17/369.49	c flip 770000 nbSat=4418518 maxSat=7210978
737.54/370.10	c flip 780000 nbSat=4332199 maxSat=7210978
738.75/370.71	c flip 790000 nbSat=4475571 maxSat=7210978
739.94/371.30	c flip 800000 nbSat=4548814 maxSat=7210978
740.94/371.89	c flip 810000 nbSat=4561326 maxSat=7210978
742.14/372.48	c flip 820000 nbSat=4626274 maxSat=7210978
743.33/373.07	c flip 830000 nbSat=4768153 maxSat=7210978
744.53/373.67	c flip 840000 nbSat=4578351 maxSat=7210978
745.73/374.27	c flip 850000 nbSat=4836078 maxSat=7210978
746.93/374.86	c flip 860000 nbSat=4727270 maxSat=7210978
748.12/375.47	c flip 870000 nbSat=4843358 maxSat=7210978
749.32/376.07	c flip 880000 nbSat=4926660 maxSat=7210978
750.52/376.66	c flip 890000 nbSat=4997096 maxSat=7210978
751.72/377.26	c flip 900000 nbSat=4895427 maxSat=7210978
752.91/377.86	c flip 910000 nbSat=5080864 maxSat=7210978
754.12/378.46	c flip 920000 nbSat=5044835 maxSat=7210978
755.31/379.04	c flip 930000 nbSat=4978756 maxSat=7210978
756.50/379.64	c flip 940000 nbSat=4855161 maxSat=7210978
757.70/380.24	c flip 950000 nbSat=4981441 maxSat=7210978
758.90/380.84	c flip 960000 nbSat=5158018 maxSat=7210978
760.10/381.43	c flip 970000 nbSat=5100690 maxSat=7210978
761.29/382.03	c flip 980000 nbSat=5084919 maxSat=7210978
762.50/382.62	c flip 990000 nbSat=5187394 maxSat=7210978
763.69/383.21	c flip 1000000 nbSat=5158910 maxSat=7210978
764.90/383.81	c flip 1010000 nbSat=5085066 maxSat=7210978
765.88/384.40	c flip 1020000 nbSat=5311530 maxSat=7210978
767.09/384.98	c flip 1030000 nbSat=5415868 maxSat=7210978
768.28/385.57	c flip 1040000 nbSat=5356264 maxSat=7210978
769.48/386.16	c flip 1050000 nbSat=5479312 maxSat=7210978
770.67/386.75	c flip 1060000 nbSat=5347920 maxSat=7210978
771.87/387.35	c flip 1070000 nbSat=5463142 maxSat=7210978
773.07/387.94	c flip 1080000 nbSat=5607857 maxSat=7210978
774.27/388.55	c flip 1090000 nbSat=5747477 maxSat=7210978
775.47/389.14	c flip 1100000 nbSat=5580637 maxSat=7210978
776.66/389.76	c flip 1110000 nbSat=5412267 maxSat=7210978
777.86/390.36	c flip 1120000 nbSat=5724970 maxSat=7210978
779.06/390.96	c flip 1130000 nbSat=5493600 maxSat=7210978
780.26/391.54	c flip 1140000 nbSat=5639743 maxSat=7210978
781.46/392.13	c flip 1150000 nbSat=5704948 maxSat=7210978
782.66/392.73	c flip 1160000 nbSat=5751221 maxSat=7210978
783.85/393.33	c flip 1170000 nbSat=5791978 maxSat=7210978
784.45/393.64	c flip 0 nbSat=207363 maxSat=7210978
784.65/393.73	c flip 10000 nbSat=226918 maxSat=7210978
784.85/393.83	c flip 20000 nbSat=243988 maxSat=7210978
785.04/394.00	c flip 30000 nbSat=253876 maxSat=7210978
785.64/394.21	c flip 40000 nbSat=267103 maxSat=7210978
786.04/394.45	c flip 50000 nbSat=281217 maxSat=7210978
786.64/394.73	c flip 60000 nbSat=300082 maxSat=7210978
787.24/395.05	c flip 70000 nbSat=324209 maxSat=7210978
788.04/395.40	c flip 80000 nbSat=346054 maxSat=7210978
788.64/395.76	c flip 90000 nbSat=382249 maxSat=7210978
789.43/396.14	c flip 100000 nbSat=417289 maxSat=7210978
790.23/396.54	c flip 110000 nbSat=464714 maxSat=7210978
791.03/396.97	c flip 120000 nbSat=502212 maxSat=7210978
792.03/397.43	c flip 130000 nbSat=549107 maxSat=7210978
793.03/397.91	c flip 140000 nbSat=624787 maxSat=7210978
794.03/398.43	c flip 150000 nbSat=674769 maxSat=7210978
795.03/398.96	c flip 160000 nbSat=738021 maxSat=7210978
796.22/399.51	c flip 170000 nbSat=794634 maxSat=7210978
797.22/400.06	c flip 180000 nbSat=875805 maxSat=7210978
798.42/400.62	c flip 190000 nbSat=943881 maxSat=7210978
799.62/401.21	c flip 200000 nbSat=1032142 maxSat=7210978
800.81/401.82	c flip 210000 nbSat=1108446 maxSat=7210978
802.01/402.41	c flip 220000 nbSat=1216130 maxSat=7210978
803.21/403.02	c flip 230000 nbSat=1336079 maxSat=7210978
804.41/403.63	c flip 240000 nbSat=1390713 maxSat=7210978
805.60/404.22	c flip 250000 nbSat=1493543 maxSat=7210978
806.81/404.83	c flip 260000 nbSat=1580982 maxSat=7210978
808.00/405.45	c flip 270000 nbSat=1594477 maxSat=7210978
809.19/406.07	c flip 280000 nbSat=1708095 maxSat=7210978
810.39/406.68	c flip 290000 nbSat=1704500 maxSat=7210978
811.79/407.30	c flip 300000 nbSat=1839906 maxSat=7210978
812.99/407.92	c flip 310000 nbSat=1888734 maxSat=7210978
814.18/408.54	c flip 320000 nbSat=2001593 maxSat=7210978
815.39/409.14	c flip 330000 nbSat=2036879 maxSat=7210978
816.58/409.76	c flip 340000 nbSat=2124225 maxSat=7210978
817.78/410.36	c flip 350000 nbSat=2237898 maxSat=7210978
818.97/410.97	c flip 360000 nbSat=2189243 maxSat=7210978
820.37/411.61	c flip 370000 nbSat=2261445 maxSat=7210978
821.57/412.21	c flip 380000 nbSat=2315414 maxSat=7210978
822.76/412.83	c flip 390000 nbSat=2432758 maxSat=7210978
823.96/413.45	c flip 400000 nbSat=2475756 maxSat=7210978
825.16/414.05	c flip 410000 nbSat=2502739 maxSat=7210978
826.35/414.69	c flip 420000 nbSat=2625193 maxSat=7210978
827.74/415.31	c flip 430000 nbSat=2619185 maxSat=7210978
828.93/415.94	c flip 440000 nbSat=2685101 maxSat=7210978
830.13/416.58	c flip 450000 nbSat=2824131 maxSat=7210978
831.53/417.20	c flip 460000 nbSat=2886918 maxSat=7210978
832.73/417.81	c flip 470000 nbSat=2938514 maxSat=7210978
833.92/418.43	c flip 480000 nbSat=3160176 maxSat=7210978
835.12/419.05	c flip 490000 nbSat=3173384 maxSat=7210978
836.32/419.66	c flip 500000 nbSat=3131789 maxSat=7210978
837.52/420.28	c flip 510000 nbSat=3196575 maxSat=7210978
838.91/420.90	c flip 520000 nbSat=3163287 maxSat=7210978
840.11/421.51	c flip 530000 nbSat=3407819 maxSat=7210978
841.31/422.11	c flip 540000 nbSat=3451410 maxSat=7210978
842.50/422.70	c flip 550000 nbSat=3369466 maxSat=7210978
843.70/423.31	c flip 560000 nbSat=3519039 maxSat=7210978
844.90/423.94	c flip 570000 nbSat=3469789 maxSat=7210978
846.10/424.58	c flip 580000 nbSat=3591522 maxSat=7210978
847.30/425.19	c flip 590000 nbSat=3640303 maxSat=7210978
848.69/425.80	c flip 600000 nbSat=3774855 maxSat=7210978
849.89/426.41	c flip 610000 nbSat=3885959 maxSat=7210978
851.09/427.04	c flip 620000 nbSat=3901317 maxSat=7210978
852.29/427.64	c flip 630000 nbSat=3959050 maxSat=7210978
853.48/428.27	c flip 640000 nbSat=4160935 maxSat=7210978
854.68/428.88	c flip 650000 nbSat=3989438 maxSat=7210978
855.87/429.49	c flip 660000 nbSat=4017649 maxSat=7210978
857.08/430.10	c flip 670000 nbSat=4125947 maxSat=7210978
858.47/430.71	c flip 680000 nbSat=4229903 maxSat=7210978
859.67/431.33	c flip 690000 nbSat=4316229 maxSat=7210978
860.87/431.95	c flip 700000 nbSat=4296376 maxSat=7210978
862.06/432.57	c flip 710000 nbSat=4028767 maxSat=7210978
863.26/433.19	c flip 720000 nbSat=4246114 maxSat=7210978
864.66/433.80	c flip 730000 nbSat=4489367 maxSat=7210978
865.86/434.42	c flip 740000 nbSat=4624087 maxSat=7210978
867.05/435.02	c flip 750000 nbSat=4573287 maxSat=7210978
868.26/435.64	c flip 760000 nbSat=4517962 maxSat=7210978
869.45/436.25	c flip 770000 nbSat=4556668 maxSat=7210978
870.64/436.87	c flip 780000 nbSat=4619273 maxSat=7210978
871.84/437.49	c flip 790000 nbSat=4862401 maxSat=7210978
873.24/438.12	c flip 800000 nbSat=4785103 maxSat=7210978
874.44/438.72	c flip 810000 nbSat=4765788 maxSat=7210978
875.63/439.34	c flip 820000 nbSat=4944663 maxSat=7210978
876.84/439.96	c flip 830000 nbSat=4930575 maxSat=7210978
878.03/440.57	c flip 840000 nbSat=4822510 maxSat=7210978
879.42/441.20	c flip 850000 nbSat=5246395 maxSat=7210978
880.62/441.81	c flip 860000 nbSat=5062370 maxSat=7210978
881.82/442.45	c flip 870000 nbSat=5193010 maxSat=7210978
883.02/443.07	c flip 880000 nbSat=5270970 maxSat=7210978
884.22/443.69	c flip 890000 nbSat=5310624 maxSat=7210978
885.62/444.32	c flip 900000 nbSat=5581247 maxSat=7210978
886.81/444.93	c flip 910000 nbSat=5525351 maxSat=7210978
888.01/445.56	c flip 920000 nbSat=5476225 maxSat=7210978
889.20/446.18	c flip 930000 nbSat=5406859 maxSat=7210978
890.60/446.81	c flip 940000 nbSat=5687153 maxSat=7210978
891.80/447.43	c flip 950000 nbSat=5849868 maxSat=7210978
892.99/448.07	c flip 960000 nbSat=6010824 maxSat=7210978
894.19/448.67	c flip 970000 nbSat=6040086 maxSat=7210978
895.39/449.30	c flip 980000 nbSat=5900137 maxSat=7210978
896.79/449.91	c flip 990000 nbSat=5924556 maxSat=7210978
897.98/450.54	c flip 1000000 nbSat=5867512 maxSat=7210978
899.18/451.17	c flip 1010000 nbSat=6089192 maxSat=7210978
900.38/451.78	c flip 1020000 nbSat=6068471 maxSat=7210978
901.58/452.40	c flip 1030000 nbSat=6092845 maxSat=7210978
902.97/453.02	c flip 1040000 nbSat=5989264 maxSat=7210978
904.17/453.62	c flip 1050000 nbSat=6042887 maxSat=7210978
905.37/454.22	c flip 1060000 nbSat=6081532 maxSat=7210978
906.56/454.85	c flip 1070000 nbSat=6528029 maxSat=7210978
907.77/455.47	c flip 1080000 nbSat=6208334 maxSat=7210978
908.96/456.09	c flip 1090000 nbSat=6325581 maxSat=7210978
910.35/456.71	c flip 1100000 nbSat=6509006 maxSat=7210978
911.55/457.34	c flip 1110000 nbSat=6457577 maxSat=7210978
912.75/457.93	c flip 1120000 nbSat=6446253 maxSat=7210978
913.95/458.54	c flip 1130000 nbSat=6449689 maxSat=7210978
915.14/459.16	c flip 1140000 nbSat=6754828 maxSat=7210978
916.34/459.78	c flip 1150000 nbSat=6648044 maxSat=7210978
917.53/460.38	c flip 1160000 nbSat=6413688 maxSat=7210978
918.93/461.00	c flip 1170000 nbSat=6544077 maxSat=7210978
919.53/461.32	c flip 0 nbSat=206755 maxSat=7210978
919.73/461.42	c flip 10000 nbSat=226859 maxSat=7210978
919.93/461.52	c flip 20000 nbSat=244573 maxSat=7210978
920.32/461.71	c flip 30000 nbSat=256002 maxSat=7210978
920.72/461.93	c flip 40000 nbSat=271488 maxSat=7210978
921.11/462.18	c flip 50000 nbSat=287596 maxSat=7210978
921.71/462.47	c flip 60000 nbSat=310708 maxSat=7210978
922.31/462.77	c flip 70000 nbSat=333127 maxSat=7210978
923.12/463.12	c flip 80000 nbSat=361951 maxSat=7210978
923.71/463.49	c flip 90000 nbSat=393727 maxSat=7210978
924.51/463.88	c flip 100000 nbSat=429490 maxSat=7210978
925.50/464.30	c flip 110000 nbSat=471412 maxSat=7210978
926.30/464.75	c flip 120000 nbSat=533160 maxSat=7210978
927.31/465.22	c flip 130000 nbSat=581370 maxSat=7210978
928.30/465.73	c flip 140000 nbSat=662207 maxSat=7210978
929.30/466.26	c flip 150000 nbSat=732264 maxSat=7210978
930.29/466.79	c flip 160000 nbSat=816945 maxSat=7210978
931.49/467.34	c flip 170000 nbSat=890717 maxSat=7210978
932.49/467.90	c flip 180000 nbSat=968755 maxSat=7210978
933.69/468.46	c flip 190000 nbSat=1079506 maxSat=7210978
934.89/469.03	c flip 200000 nbSat=1136465 maxSat=7210978
935.89/469.59	c flip 210000 nbSat=1229130 maxSat=7210978
937.08/470.16	c flip 220000 nbSat=1303365 maxSat=7210978
938.28/470.73	c flip 230000 nbSat=1376964 maxSat=7210978
939.48/471.30	c flip 240000 nbSat=1419107 maxSat=7210978
940.48/471.89	c flip 250000 nbSat=1493327 maxSat=7210978
941.67/472.46	c flip 260000 nbSat=1599259 maxSat=7210978
942.87/473.04	c flip 270000 nbSat=1623159 maxSat=7210978
944.07/473.64	c flip 280000 nbSat=1681051 maxSat=7210978
945.26/474.23	c flip 290000 nbSat=1803583 maxSat=7210978
946.46/474.82	c flip 300000 nbSat=1834235 maxSat=7210978
947.66/475.41	c flip 310000 nbSat=1872673 maxSat=7210978
948.85/476.00	c flip 320000 nbSat=1960658 maxSat=7210978
949.85/476.57	c flip 330000 nbSat=2036257 maxSat=7210978
951.05/477.14	c flip 340000 nbSat=2079822 maxSat=7210978
952.25/477.72	c flip 350000 nbSat=2141903 maxSat=7210978
953.25/478.29	c flip 360000 nbSat=2266423 maxSat=7210978
954.44/478.88	c flip 370000 nbSat=2284732 maxSat=7210978
955.65/479.45	c flip 380000 nbSat=2294790 maxSat=7210978
956.84/480.03	c flip 390000 nbSat=2424690 maxSat=7210978
957.84/480.60	c flip 400000 nbSat=2441579 maxSat=7210978
959.04/481.16	c flip 410000 nbSat=2479011 maxSat=7210978
960.24/481.73	c flip 420000 nbSat=2538591 maxSat=7210978
961.44/482.31	c flip 430000 nbSat=2524653 maxSat=7210978
962.44/482.90	c flip 440000 nbSat=2690442 maxSat=7210978
963.83/483.50	c flip 450000 nbSat=2739269 maxSat=7210978
964.84/484.09	c flip 460000 nbSat=2886036 maxSat=7210978
966.03/484.69	c flip 470000 nbSat=2893814 maxSat=7210978
967.22/485.27	c flip 480000 nbSat=3007604 maxSat=7210978
968.42/485.85	c flip 490000 nbSat=2918873 maxSat=7210978
969.62/486.45	c flip 500000 nbSat=3057998 maxSat=7210978
970.82/487.03	c flip 510000 nbSat=3009717 maxSat=7210978
972.01/487.62	c flip 520000 nbSat=3091752 maxSat=7210978
973.21/488.20	c flip 530000 nbSat=3158201 maxSat=7210978
974.21/488.79	c flip 540000 nbSat=3164580 maxSat=7210978
975.41/489.36	c flip 550000 nbSat=3233535 maxSat=7210978
976.60/489.95	c flip 560000 nbSat=3397268 maxSat=7210978
977.81/490.53	c flip 570000 nbSat=3504700 maxSat=7210978
979.00/491.10	c flip 580000 nbSat=3461334 maxSat=7210978
980.00/491.68	c flip 590000 nbSat=3503526 maxSat=7210978
981.19/492.25	c flip 600000 nbSat=3527418 maxSat=7210978
982.40/492.83	c flip 610000 nbSat=3491854 maxSat=7210978
983.39/493.39	c flip 620000 nbSat=3683572 maxSat=7210978
984.59/493.96	c flip 630000 nbSat=3627760 maxSat=7210978
985.79/494.52	c flip 640000 nbSat=3704592 maxSat=7210978
986.79/495.07	c flip 650000 nbSat=3621339 maxSat=7210978
987.98/495.62	c flip 660000 nbSat=3777604 maxSat=7210978
988.98/496.18	c flip 670000 nbSat=3795760 maxSat=7210978
990.18/496.73	c flip 680000 nbSat=3758577 maxSat=7210978
991.18/497.28	c flip 690000 nbSat=3802855 maxSat=7210978
992.37/497.84	c flip 700000 nbSat=3845138 maxSat=7210978
993.57/498.41	c flip 710000 nbSat=3885214 maxSat=7210978
994.56/498.97	c flip 720000 nbSat=3796421 maxSat=7210978
995.76/499.55	c flip 730000 nbSat=4033979 maxSat=7210978
996.96/500.12	c flip 740000 nbSat=4017700 maxSat=7210978
998.16/500.71	c flip 750000 nbSat=4098946 maxSat=7210978
999.16/501.28	c flip 760000 nbSat=4006673 maxSat=7210978
1000.35/501.84	c flip 770000 nbSat=4133720 maxSat=7210978
1001.55/502.41	c flip 780000 nbSat=4263721 maxSat=7210978
1002.55/502.98	c flip 790000 nbSat=4401680 maxSat=7210978
1003.75/503.54	c flip 800000 nbSat=4426097 maxSat=7210978
1004.94/504.11	c flip 810000 nbSat=4468898 maxSat=7210978
1006.13/504.71	c flip 820000 nbSat=4539339 maxSat=7210978
1007.13/505.28	c flip 830000 nbSat=4424378 maxSat=7210978
1008.33/505.85	c flip 840000 nbSat=4508803 maxSat=7210978
1009.52/506.43	c flip 850000 nbSat=4563651 maxSat=7210978
1010.52/506.99	c flip 860000 nbSat=4593726 maxSat=7210978
1011.72/507.57	c flip 870000 nbSat=4539533 maxSat=7210978
1012.91/508.17	c flip 880000 nbSat=4823458 maxSat=7210978
1014.10/508.74	c flip 890000 nbSat=4796773 maxSat=7210978
1015.31/509.32	c flip 900000 nbSat=4859207 maxSat=7210978
1016.30/509.90	c flip 910000 nbSat=4877476 maxSat=7210978
1017.50/510.48	c flip 920000 nbSat=4981504 maxSat=7210978
1018.70/511.06	c flip 930000 nbSat=5122488 maxSat=7210978
1019.89/511.64	c flip 940000 nbSat=4905535 maxSat=7210978
1021.09/512.23	c flip 950000 nbSat=4848566 maxSat=7210978
1022.29/512.81	c flip 960000 nbSat=5164353 maxSat=7210978
1023.29/513.39	c flip 970000 nbSat=5331779 maxSat=7210978
1024.48/513.96	c flip 980000 nbSat=5330859 maxSat=7210978
1025.68/514.54	c flip 990000 nbSat=5500591 maxSat=7210978
1026.87/515.12	c flip 1000000 nbSat=5618074 maxSat=7210978
1028.07/515.71	c flip 1010000 nbSat=5570685 maxSat=7210978
1029.27/516.30	c flip 1020000 nbSat=5463603 maxSat=7210978
1030.27/516.87	c flip 1030000 nbSat=5537390 maxSat=7210978
1031.47/517.45	c flip 1040000 nbSat=5567840 maxSat=7210978
1032.67/518.03	c flip 1050000 nbSat=5593038 maxSat=7210978
1033.86/518.60	c flip 1060000 nbSat=5660430 maxSat=7210978
1034.87/519.17	c flip 1070000 nbSat=5720837 maxSat=7210978
1036.06/519.74	c flip 1080000 nbSat=5710573 maxSat=7210978
1037.26/520.30	c flip 1090000 nbSat=5683022 maxSat=7210978
1038.26/520.88	c flip 1100000 nbSat=5716918 maxSat=7210978
1039.46/521.46	c flip 1110000 nbSat=5623432 maxSat=7210978
1040.65/522.04	c flip 1120000 nbSat=5601886 maxSat=7210978
1041.84/522.62	c flip 1130000 nbSat=5914557 maxSat=7210978
1042.84/523.18	c flip 1140000 nbSat=5777070 maxSat=7210978
1044.04/523.78	c flip 1150000 nbSat=6067486 maxSat=7210978
1045.24/524.37	c flip 1160000 nbSat=6088334 maxSat=7210978
1046.44/524.96	c flip 1170000 nbSat=5992027 maxSat=7210978
1047.04/525.25	c flip 0 nbSat=207121 maxSat=7210978
1047.24/525.34	c flip 10000 nbSat=226436 maxSat=7210978
1047.44/525.44	c flip 20000 nbSat=244651 maxSat=7210978
1047.84/525.61	c flip 30000 nbSat=254011 maxSat=7210978
1048.24/525.83	c flip 40000 nbSat=268091 maxSat=7210978
1048.63/526.09	c flip 50000 nbSat=284442 maxSat=7210978
1049.23/526.38	c flip 60000 nbSat=305457 maxSat=7210978
1049.83/526.68	c flip 70000 nbSat=326290 maxSat=7210978
1050.62/527.03	c flip 80000 nbSat=352401 maxSat=7210978
1051.22/527.38	c flip 90000 nbSat=377368 maxSat=7210978
1052.03/527.76	c flip 100000 nbSat=406579 maxSat=7210978
1052.82/528.18	c flip 110000 nbSat=448466 maxSat=7210978
1053.82/528.64	c flip 120000 nbSat=483222 maxSat=7210978
1054.82/529.10	c flip 130000 nbSat=531221 maxSat=7210978
1055.61/529.59	c flip 140000 nbSat=579794 maxSat=7210978
1056.82/530.12	c flip 150000 nbSat=649859 maxSat=7210978
1057.81/530.66	c flip 160000 nbSat=741521 maxSat=7210978
1059.01/531.23	c flip 170000 nbSat=785524 maxSat=7210978
1060.20/531.80	c flip 180000 nbSat=887700 maxSat=7210978
1061.21/532.39	c flip 190000 nbSat=970254 maxSat=7210978
1062.40/532.95	c flip 200000 nbSat=1062018 maxSat=7210978
1063.60/533.54	c flip 210000 nbSat=1108817 maxSat=7210978
1064.79/534.14	c flip 220000 nbSat=1176190 maxSat=7210978
1065.99/534.74	c flip 230000 nbSat=1257583 maxSat=7210978
1067.19/535.33	c flip 240000 nbSat=1370245 maxSat=7210978
1068.38/535.93	c flip 250000 nbSat=1495795 maxSat=7210978
1069.59/536.51	c flip 260000 nbSat=1520239 maxSat=7210978
1070.78/537.13	c flip 270000 nbSat=1583475 maxSat=7210978
1071.98/537.74	c flip 280000 nbSat=1649611 maxSat=7210978
1073.18/538.35	c flip 290000 nbSat=1786438 maxSat=7210978
1074.38/538.96	c flip 300000 nbSat=1856243 maxSat=7210978
1075.57/539.59	c flip 310000 nbSat=1906883 maxSat=7210978
1076.77/540.19	c flip 320000 nbSat=1913803 maxSat=7210978
1078.16/540.82	c flip 330000 nbSat=2084943 maxSat=7210978
1079.36/541.44	c flip 340000 nbSat=2188010 maxSat=7210978
1080.56/542.07	c flip 350000 nbSat=2248608 maxSat=7210978
1081.75/542.69	c flip 360000 nbSat=2396884 maxSat=7210978
1083.16/543.31	c flip 370000 nbSat=2456185 maxSat=7210978
1084.35/543.93	c flip 380000 nbSat=2481515 maxSat=7210978
1085.55/544.54	c flip 390000 nbSat=2511303 maxSat=7210978
1086.75/545.15	c flip 400000 nbSat=2740750 maxSat=7210978
1087.94/545.77	c flip 410000 nbSat=2810916 maxSat=7210978
1089.14/546.38	c flip 420000 nbSat=2856376 maxSat=7210978
1090.54/547.01	c flip 430000 nbSat=2943822 maxSat=7210978
1091.74/547.61	c flip 440000 nbSat=3023456 maxSat=7210978
1092.93/548.22	c flip 450000 nbSat=2963205 maxSat=7210978
1094.14/548.83	c flip 460000 nbSat=3013315 maxSat=7210978
1095.33/549.45	c flip 470000 nbSat=3162670 maxSat=7210978
1096.52/550.08	c flip 480000 nbSat=3257276 maxSat=7210978
1097.71/550.69	c flip 490000 nbSat=3336499 maxSat=7210978
1098.90/551.29	c flip 500000 nbSat=3408333 maxSat=7210978
1100.10/551.89	c flip 510000 nbSat=3520293 maxSat=7210978
1101.50/552.51	c flip 520000 nbSat=3594583 maxSat=7210978
1102.70/553.12	c flip 530000 nbSat=3593793 maxSat=7210978
1103.89/553.72	c flip 540000 nbSat=3743722 maxSat=7210978
1105.09/554.32	c flip 550000 nbSat=3832858 maxSat=7210978
1106.29/554.90	c flip 560000 nbSat=3872223 maxSat=7210978
1107.29/555.48	c flip 570000 nbSat=3886436 maxSat=7210978
1108.48/556.07	c flip 580000 nbSat=3994752 maxSat=7210978
1109.68/556.65	c flip 590000 nbSat=4001531 maxSat=7210978
1110.88/557.25	c flip 600000 nbSat=4026974 maxSat=7210978
1112.07/557.86	c flip 610000 nbSat=4067020 maxSat=7210978
1113.27/558.45	c flip 620000 nbSat=4105091 maxSat=7210978
1114.47/559.06	c flip 630000 nbSat=4242508 maxSat=7210978
1115.67/559.66	c flip 640000 nbSat=4427158 maxSat=7210978
1116.86/560.25	c flip 650000 nbSat=4378275 maxSat=7210978
1118.06/560.84	c flip 660000 nbSat=4465165 maxSat=7210978
1119.26/561.43	c flip 670000 nbSat=4346725 maxSat=7210978
1120.46/562.03	c flip 680000 nbSat=4650585 maxSat=7210978
1121.65/562.63	c flip 690000 nbSat=4713823 maxSat=7210978
1122.86/563.22	c flip 700000 nbSat=4708953 maxSat=7210978
1124.05/563.80	c flip 710000 nbSat=4585465 maxSat=7210978
1125.24/564.40	c flip 720000 nbSat=4628643 maxSat=7210978
1126.24/564.99	c flip 730000 nbSat=4831323 maxSat=7210978
1127.64/565.60	c flip 740000 nbSat=4904926 maxSat=7210978
1128.63/566.19	c flip 750000 nbSat=4893604 maxSat=7210978
1129.83/566.80	c flip 760000 nbSat=4997304 maxSat=7210978
1131.03/567.39	c flip 770000 nbSat=4967754 maxSat=7210978
1132.23/567.99	c flip 780000 nbSat=5075422 maxSat=7210978
1133.43/568.59	c flip 790000 nbSat=5141680 maxSat=7210978
1134.62/569.18	c flip 800000 nbSat=5216001 maxSat=7210978
1135.83/569.76	c flip 810000 nbSat=5257786 maxSat=7210978
1137.02/570.34	c flip 820000 nbSat=5302536 maxSat=7210978
1138.22/570.92	c flip 830000 nbSat=5438102 maxSat=7210978
1139.21/571.49	c flip 840000 nbSat=5498540 maxSat=7210978
1140.42/572.08	c flip 850000 nbSat=5341195 maxSat=7210978
1141.61/572.66	c flip 860000 nbSat=5523874 maxSat=7210978
1142.80/573.23	c flip 870000 nbSat=5547039 maxSat=7210978
1144.00/573.82	c flip 880000 nbSat=5377647 maxSat=7210978
1145.00/574.39	c flip 890000 nbSat=5785289 maxSat=7210978
1146.20/574.97	c flip 900000 nbSat=5716163 maxSat=7210978
1147.39/575.56	c flip 910000 nbSat=5690601 maxSat=7210978
1148.59/576.15	c flip 920000 nbSat=5918132 maxSat=7210978
1149.79/576.76	c flip 930000 nbSat=5775228 maxSat=7210978
1150.99/577.35	c flip 940000 nbSat=5880186 maxSat=7210978
1152.18/577.95	c flip 950000 nbSat=6021208 maxSat=7210978
1153.39/578.56	c flip 960000 nbSat=5587404 maxSat=7210978
1154.58/579.17	c flip 970000 nbSat=5761249 maxSat=7210978
1155.78/579.77	c flip 980000 nbSat=5677166 maxSat=7210978
1156.98/580.39	c flip 990000 nbSat=5893372 maxSat=7210978
1158.17/580.98	c flip 1000000 nbSat=5980186 maxSat=7210978
1159.37/581.57	c flip 1010000 nbSat=6127619 maxSat=7210978
1160.56/582.17	c flip 1020000 nbSat=6145811 maxSat=7210978
1161.76/582.77	c flip 1030000 nbSat=6278559 maxSat=7210978
1162.96/583.36	c flip 1040000 nbSat=6377832 maxSat=7210978
1164.16/583.97	c flip 1050000 nbSat=6246404 maxSat=7210978
1165.36/584.57	c flip 1060000 nbSat=6330364 maxSat=7210978
1166.56/585.17	c flip 1070000 nbSat=6477656 maxSat=7210978
1167.75/585.76	c flip 1080000 nbSat=6638213 maxSat=7210978
1168.96/586.36	c flip 1090000 nbSat=6605539 maxSat=7210978
1170.15/586.97	c flip 1100000 nbSat=6461659 maxSat=7210978
1171.34/587.59	c flip 1110000 nbSat=6601088 maxSat=7210978
1172.74/588.21	c flip 1120000 nbSat=6805207 maxSat=7210978
1173.94/588.82	c flip 1130000 nbSat=6683236 maxSat=7210978
1175.14/589.41	c flip 1140000 nbSat=6949126 maxSat=7210978
1176.33/590.02	c flip 1150000 nbSat=6887606 maxSat=7210978
1177.54/590.63	c flip 1160000 nbSat=7116175 maxSat=7371215
1178.73/591.24	c flip 1170000 nbSat=7379886 maxSat=7520648
1179.33/591.56	c flip 0 nbSat=206959 maxSat=7520648
1179.53/591.66	c flip 10000 nbSat=227200 maxSat=7520648
1179.73/591.76	c flip 20000 nbSat=244989 maxSat=7520648
1180.12/591.95	c flip 30000 nbSat=255580 maxSat=7520648
1180.52/592.17	c flip 40000 nbSat=268570 maxSat=7520648
1181.12/592.43	c flip 50000 nbSat=282822 maxSat=7520648
1181.72/592.71	c flip 60000 nbSat=300951 maxSat=7520648
1182.32/593.03	c flip 70000 nbSat=323351 maxSat=7520648
1182.92/593.36	c flip 80000 nbSat=345564 maxSat=7520648
1183.72/593.71	c flip 90000 nbSat=371332 maxSat=7520648
1184.32/594.09	c flip 100000 nbSat=407485 maxSat=7520648
1185.11/594.48	c flip 110000 nbSat=453249 maxSat=7520648
1186.10/594.91	c flip 120000 nbSat=479579 maxSat=7520648
1186.90/595.37	c flip 130000 nbSat=540340 maxSat=7520648
1187.90/595.84	c flip 140000 nbSat=602832 maxSat=7520648
1188.90/596.35	c flip 150000 nbSat=669741 maxSat=7520648
1189.90/596.85	c flip 160000 nbSat=745583 maxSat=7520648
1190.90/597.39	c flip 170000 nbSat=820105 maxSat=7520648
1192.09/597.92	c flip 180000 nbSat=896005 maxSat=7520648
1193.09/598.49	c flip 190000 nbSat=951610 maxSat=7520648
1194.29/599.03	c flip 200000 nbSat=1015116 maxSat=7520648
1195.47/599.60	c flip 210000 nbSat=1076639 maxSat=7520648
1196.47/600.18	c flip 220000 nbSat=1132683 maxSat=7520648
1197.67/600.76	c flip 230000 nbSat=1221678 maxSat=7520648
1198.87/601.34	c flip 240000 nbSat=1306161 maxSat=7520648

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 26985
/proc/meminfo: memFree=1031080/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=23220 CPUtime=0
/proc/26985/stat : 26985 (ornithorynque) R 26983 26985 25865 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 334337356 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233630110832 0 0 4096 0 0 0 0 17 1 0 0
/proc/26985/statm: 5805 263 218 42 0 45 0

[startup+0.065816 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 26985
/proc/meminfo: memFree=1031080/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=24028 CPUtime=0.06
/proc/26985/stat : 26985 (ornithorynque) R 26983 26985 25865 0 -1 4194304 660 0 0 0 6 0 0 0 18 0 1 0 334337356 24604672 621 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641652322 0 0 4096 1088 0 0 0 17 1 0 0
/proc/26985/statm: 6007 622 379 42 0 259 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24028

[startup+0.101818 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 26985
/proc/meminfo: memFree=1031080/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=25476 CPUtime=0.09
/proc/26985/stat : 26985 (ornithorynque) R 26983 26985 25865 0 -1 4194304 1065 0 0 0 9 0 0 0 18 0 1 0 334337356 26087424 993 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233632600801 0 0 4096 1088 0 0 0 17 1 0 0
/proc/26985/statm: 6369 993 379 42 0 621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25476

[startup+0.301834 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 26985
/proc/meminfo: memFree=1031080/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=33500 CPUtime=0.29
/proc/26985/stat : 26985 (ornithorynque) R 26983 26985 25865 0 -1 4194304 3248 0 0 0 28 1 0 0 19 0 1 0 334337356 34304000 2949 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4254183 0 0 4096 1088 0 0 0 17 1 0 0
/proc/26985/statm: 8375 2949 379 42 0 2627 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33500

[startup+0.701867 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 26985
/proc/meminfo: memFree=1031080/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=60916 CPUtime=0.69
/proc/26985/stat : 26985 (ornithorynque) R 26983 26985 25865 0 -1 4194304 10465 0 0 0 64 5 0 0 23 0 1 0 334337356 62377984 9332 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233632600801 0 0 4096 1088 0 0 0 17 1 0 0
/proc/26985/statm: 15229 9333 383 42 0 9481 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60916

[startup+1.50194 s]
/proc/loadavg: 0.99 0.98 0.99 3/80 26988
/proc/meminfo: memFree=979536/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=100652 CPUtime=2.09
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16579 0 0 0 202 7 0 0 25 0 3 0 334337356 103067648 13131 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25163 13131 389 42 0 19415 0
[pid=26985/tid=26987] ppid=26983 vsize=100652 CPUtime=0.59
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1411 0 0 0 59 0 0 0 25 0 3 0 334337446 103067648 13131 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4328123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=100652 CPUtime=0.59
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 2 0 0 0 59 0 0 0 25 0 3 0 334337446 103067648 13131 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245821 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 100652

[startup+3.10107 s]
/proc/loadavg: 0.99 0.98 0.99 3/80 26988
/proc/meminfo: memFree=979472/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=100652 CPUtime=5.27
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16703 0 0 0 520 7 0 0 25 0 3 0 334337356 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25163 13140 389 42 0 19415 0
[pid=26985/tid=26987] ppid=26983 vsize=100652 CPUtime=2.19
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 219 0 0 0 25 0 3 0 334337446 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246403 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=100652 CPUtime=2.18
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 2 0 0 0 218 0 0 0 25 0 3 0 334337446 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244884 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 100652

[startup+6.30234 s]
/proc/loadavg: 1.07 1.00 1.00 3/80 26988
/proc/meminfo: memFree=979344/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=100652 CPUtime=11.65
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16703 0 0 0 1158 7 0 0 25 0 3 0 334337356 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25163 13140 389 42 0 19415 0
[pid=26985/tid=26987] ppid=26983 vsize=100652 CPUtime=5.38
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 538 0 0 0 25 0 3 0 334337446 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=100652 CPUtime=5.36
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 2 0 0 0 536 0 0 0 25 0 3 0 334337446 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (KiB) 100652

[startup+12.7019 s]
/proc/loadavg: 1.15 1.02 1.01 3/80 26988
/proc/meminfo: memFree=979344/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=100652 CPUtime=24.41
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16703 0 0 0 2434 7 0 0 25 0 3 0 334337356 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25163 13140 389 42 0 19415 0
[pid=26985/tid=26987] ppid=26983 vsize=100652 CPUtime=11.78
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 1178 0 0 0 25 0 3 0 334337446 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4239088 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=100652 CPUtime=11.73
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 2 0 0 0 1173 0 0 0 25 0 3 0 334337446 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4296996 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.41
Current children cumulated vsize (KiB) 100652

[startup+25.5019 s]
/proc/loadavg: 1.34 1.06 1.02 3/80 26988
/proc/meminfo: memFree=979344/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=100652 CPUtime=49.95
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16703 0 0 0 4988 7 0 0 25 0 3 0 334337356 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25163 13140 389 42 0 19415 0
[pid=26985/tid=26987] ppid=26983 vsize=100652 CPUtime=24.58
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 2458 0 0 0 25 0 3 0 334337446 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246390 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=100652 CPUtime=24.47
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 2 0 0 0 2447 0 0 0 25 0 3 0 334337446 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245897 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (KiB) 100652

[startup+51.102 s]
/proc/loadavg: 1.56 1.14 1.04 3/80 26988
/proc/meminfo: memFree=979408/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=100652 CPUtime=101.04
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16703 0 0 0 10096 8 0 0 25 0 3 0 334337356 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25163 13140 389 42 0 19415 0
[pid=26985/tid=26987] ppid=26983 vsize=100652 CPUtime=50.18
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 5017 1 0 0 25 0 3 0 334337446 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246401 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=100652 CPUtime=49.96
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 2 0 0 0 4996 0 0 0 25 0 3 0 334337446 103067648 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244652 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.04
Current children cumulated vsize (KiB) 100652

[startup+102.305 s]
/proc/loadavg: 1.81 1.27 1.09 3/80 26988
/proc/meminfo: memFree=979408/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=101676 CPUtime=203.19
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16960 0 0 0 20311 8 0 0 25 0 3 0 334337356 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25419 13140 389 42 0 19671 0
[pid=26985/tid=26987] ppid=26983 vsize=101676 CPUtime=101.37
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 10136 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246348 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=101676 CPUtime=100.92
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 259 0 0 0 10092 0 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297793 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.19
Current children cumulated vsize (KiB) 101676

[startup+162.301 s]
/proc/loadavg: 1.93 1.40 1.15 3/80 26988
/proc/meminfo: memFree=979408/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=101676 CPUtime=322.91
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16960 0 0 0 32283 8 0 0 25 0 3 0 334337356 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25419 13140 389 42 0 19671 0
[pid=26985/tid=26987] ppid=26983 vsize=101676 CPUtime=161.35
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 16134 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=101676 CPUtime=160.66
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 259 0 0 0 16066 0 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246223 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 322.91
Current children cumulated vsize (KiB) 101676

[startup+222.301 s]
/proc/loadavg: 1.97 1.51 1.20 3/80 26988
/proc/meminfo: memFree=979408/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=101676 CPUtime=442.65
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16960 0 0 0 44256 9 0 0 25 0 3 0 334337356 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25419 13140 389 42 0 19671 0
[pid=26985/tid=26987] ppid=26983 vsize=101676 CPUtime=221.33
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 22132 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246473 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=101676 CPUtime=220.41
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 259 0 0 0 22040 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244199 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.65
Current children cumulated vsize (KiB) 101676

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.24 3/80 26988
/proc/meminfo: memFree=979472/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=101676 CPUtime=562.36
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16960 0 0 0 56227 9 0 0 25 0 3 0 334337356 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25419 13140 389 42 0 19671 0
[pid=26985/tid=26987] ppid=26983 vsize=101676 CPUtime=281.32
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 28131 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246462 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=101676 CPUtime=280.13
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 259 0 0 0 28012 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4296970 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.36
Current children cumulated vsize (KiB) 101676

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.29 3/80 26988
/proc/meminfo: memFree=979472/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=101676 CPUtime=682.09
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16960 0 0 0 68199 10 0 0 25 0 3 0 334337356 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25419 13140 389 42 0 19671 0
[pid=26985/tid=26987] ppid=26983 vsize=101676 CPUtime=341.3
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 34129 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4239099 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=101676 CPUtime=339.88
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 259 0 0 0 33986 2 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244167 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.09
Current children cumulated vsize (KiB) 101676

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/80 26988
/proc/meminfo: memFree=979472/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=101676 CPUtime=801.81
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16960 0 0 0 80171 10 0 0 25 0 3 0 334337356 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25419 13140 389 42 0 19671 0
[pid=26985/tid=26987] ppid=26983 vsize=101676 CPUtime=401.28
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 40127 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246417 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=101676 CPUtime=399.62
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 259 0 0 0 39960 2 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244171 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.81
Current children cumulated vsize (KiB) 101676

[startup+462.302 s]
/proc/loadavg: 2.03 1.79 1.37 3/80 26988
/proc/meminfo: memFree=979472/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=101676 CPUtime=921.51
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16960 0 0 0 92141 10 0 0 25 0 3 0 334337356 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25419 13140 389 42 0 19671 0
[pid=26985/tid=26987] ppid=26983 vsize=101676 CPUtime=461.27
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 46126 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246403 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=101676 CPUtime=459.34
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 259 0 0 0 45932 2 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244160 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.51
Current children cumulated vsize (KiB) 101676

[startup+522.302 s]
/proc/loadavg: 2.01 1.82 1.41 3/80 26988
/proc/meminfo: memFree=979472/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=101676 CPUtime=1041.25
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16960 0 0 0 104114 11 0 0 25 0 3 0 334337356 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25419 13140 389 42 0 19671 0
[pid=26985/tid=26987] ppid=26983 vsize=101676 CPUtime=521.25
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 52124 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246473 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=101676 CPUtime=519.08
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 259 0 0 0 51906 2 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.25
Current children cumulated vsize (KiB) 101676

[startup+582.302 s]
/proc/loadavg: 2.00 1.85 1.45 3/80 26988
/proc/meminfo: memFree=979472/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=101676 CPUtime=1160.96
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16960 0 0 0 116085 11 0 0 25 0 3 0 334337356 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25419 13140 389 42 0 19671 0
[pid=26985/tid=26987] ppid=26983 vsize=101676 CPUtime=581.23
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 58122 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246445 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=101676 CPUtime=578.82
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 259 0 0 0 57880 2 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297620 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1160.96
Current children cumulated vsize (KiB) 101676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.901 s]
/proc/loadavg: 2.00 1.86 1.46 3/80 26988
/proc/meminfo: memFree=979472/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=101676 CPUtime=1200.07
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16960 0 0 0 119996 11 0 0 25 0 3 0 334337356 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25419 13140 389 42 0 19671 0
[pid=26985/tid=26987] ppid=26983 vsize=101676 CPUtime=600.83
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 60082 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246320 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=101676 CPUtime=598.32
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 259 0 0 0 59830 2 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245696 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 101676

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

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

[startup+601.901 s]
/proc/loadavg: 2.00 1.86 1.46 3/80 26988
/proc/meminfo: memFree=979472/2055920 swapFree=4191880/4192956
[pid=26985] ppid=26983 vsize=101676 CPUtime=1200.07
/proc/26985/stat : 26985 (ornithorynque) S 26983 26985 25865 0 -1 4194304 16960 0 0 0 119996 11 0 0 25 0 3 0 334337356 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233641635707 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26985/statm: 25419 13140 389 42 0 19671 0
[pid=26985/tid=26987] ppid=26983 vsize=101676 CPUtime=600.83
/proc/26985/task/26987/stat : 26987 (ornithorynque) R 26983 26985 25865 0 -1 4194368 1535 0 0 0 60082 1 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246320 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26985/tid=26988] ppid=26983 vsize=101676 CPUtime=598.32
/proc/26985/task/26988/stat : 26988 (ornithorynque) R 26983 26985 25865 0 -1 4194368 259 0 0 0 59830 2 0 0 25 0 3 0 334337446 104116224 13140 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245696 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 101676

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.922
CPU time (s): 1200.1
CPU user time (s): 1199.97
CPU system time (s): 0.123981
CPU usage (%): 199.378
Max. virtual memory (cumulated for all children) (KiB): 101676

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

runsolver used 0.680896 second user time and 1.58476 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Tue Mar  6 01:17:05 UTC 2007

IDJOB= 329563
IDBENCH= 20542
IDSOLVER= 139
FILE ID= node3/329563-1173143825

PBS_JOBID= 4014962

Free space on /tmp= 66526 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  2072f9709ddb4f70f2210d26eee094a7

RANDOM SEED= 58937106

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.241
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.241
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:       1031488 kB
Buffers:         41808 kB
Cached:         864568 kB
SwapCached:        268 kB
Active:         210816 kB
Inactive:       749636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1031488 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            6236 kB
Writeback:           0 kB
Mapped:          64128 kB
Slab:            49624 kB
Committed_AS:  1435656 kB
PageTables:       1656 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= 66526 MiB

End job on node3 on Tue Mar  6 01:27:09 UTC 2007