0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.02/0.05	c constraints 280/566 clauses 737/1522 units 0
0.02/0.05	c vars 2913
1.39/1.49	c 1.11683 99.7188 6901 168883
1.39/1.49	o 5225
6.70/6.71	c 4.79027 103.309 18603 515515
6.70/6.71	o 3876
7.99/8.01	c 5.71513 103.309 12438 601802
7.99/8.01	o 3485
13.00/13.03	c 9.12861 104.082 21521 922989
13.00/13.03	o 3459
20.09/20.11	c 14.5058 104.082 12711 1285322
20.09/20.11	o 3408
21.39/21.48	c 15.5476 104.211 13441 1359065
21.39/21.48	o 3404
22.69/22.75	c 16.4535 104.469 15890 1460341
22.69/22.75	o 3287
26.19/26.24	c 18.9151 104.855 15664 1676742
26.19/26.24	o 3267
26.49/26.57	c 19.1141 104.855 13446 1713629
26.49/26.57	o 3233
31.19/31.21	c 22.6016 105.629 13917 1941760
31.19/31.21	o 3084
32.49/32.58	c 23.6284 105.629 14409 2028946
32.49/32.58	o 2980
33.29/33.35	c 24.1323 105.887 16692 2084491
33.29/33.35	o 2975
38.99/39.07	c 28.0617 106.016 11603 2465768
38.99/39.07	o 2947
41.89/41.99	c 30.2414 106.016 10570 2616041
41.89/41.99	o 2945
43.90/43.93	c 31.7612 106.145 13168 2725294
43.90/43.93	o 2941
45.29/45.33	c 32.726 106.402 16978 2829171
45.29/45.33	o 2938
49.19/49.24	c 35.5806 106.66 13483 3059178
49.19/49.24	o 2880
52.19/52.20	c 37.7833 106.66 14456 3200976
52.19/52.20	o 2641
52.59/52.70	c 38.1542 107.047 19600 3237943
52.59/52.70	o 2638
53.20/53.21	c 38.4592 107.047 17804 3290850
53.20/53.21	o 2627
55.19/55.24	c 39.8669 107.047 13239 3412601
55.19/55.24	o 2451
55.49/55.55	c 40.0469 107.047 17677 3458612
55.49/55.55	o 2390
58.49/58.57	c 42.2806 107.047 15632 3628702
58.49/58.57	o 2339
58.99/59.03	c 42.6395 107.047 12438 3641796
58.99/59.03	o 2337
65.90/65.92	c 47.8727 107.434 13545 3987078
65.90/65.92	o 2331
66.39/66.44	c 48.1977 107.949 21204 4036744
66.39/66.44	o 2307
69.99/70.00	c 50.9353 107.949 15158 4197336
69.99/70.00	o 2288
73.39/73.47	c 53.4439 108.207 21916 4360548
73.39/73.47	o 2287
75.99/76.03	c 55.2796 108.207 15633 4488359
75.99/76.03	o 2285
76.99/77.09	c 56.0365 108.207 15654 4539831
76.99/77.09	o 2283
78.79/78.83	c 57.3813 108.207 15449 4603881
78.79/78.83	o 2282
79.49/79.55	c 57.7732 108.465 20020 4661517
79.49/79.55	o 2281
82.19/82.24	c 59.6869 108.465 13329 4803766
82.19/82.24	o 2277
85.19/85.21	c 61.8126 108.465 14795 4973216
85.19/85.21	o 2276
88.79/88.83	c 64.5632 108.98 20816 5146508
88.79/88.83	o 2273
92.19/92.26	c 67.0018 108.98 11930 5361913
92.19/92.26	o 2218
94.09/94.11	c 68.3206 108.98 15949 5456831
94.09/94.11	o 2217
94.99/95.05	c 68.9535 108.98 14947 5523595
94.99/95.05	o 2196
97.79/97.88	c 71.0342 108.98 11727 5645873
97.79/97.88	o 2178
100.69/100.75	c 73.1019 108.98 15097 5773874
100.69/100.75	o 2174
103.19/103.23	c 74.8836 108.98 14746 5892265
103.19/103.23	o 2168
103.99/104.06	c 75.4335 109.625 23074 5956861
103.99/104.06	o 2167
104.19/104.24	c 75.5455 109.625 13005 5976181
104.19/104.24	o 2149
104.50/104.55	c 75.7525 109.625 15868 6000548
104.50/104.55	o 1865
105.70/105.74	c 76.5604 109.625 11298 6075434
105.70/105.74	o 1864
106.89/107.00	c 77.4772 109.625 14417 6139267
106.89/107.00	o 1861
110.20/110.23	c 79.7499 109.625 20758 6311055
110.20/110.23	o 1860
113.49/113.57	c 82.1815 109.625 16237 6479821
113.49/113.57	o 1859
117.79/117.80	c 85.392 109.883 19206 6675705
117.79/117.80	o 1856
121.09/121.18	c 88.0026 109.883 17646 6807102
121.09/121.18	o 1852
123.49/123.51	c 89.6384 109.883 16794 6931090
123.49/123.51	o 1851
123.69/123.70	c 89.7514 109.883 11251 6945879
123.69/123.70	o 1850
124.59/124.67	c 90.4183 109.883 11939 6994851
124.59/124.67	o 1849
129.09/129.17	c 93.7627 110.141 18077 7232760
129.09/129.17	o 1848
129.49/129.53	c 94.0077 110.141 12745 7255582
129.49/129.53	o 1841
131.40/131.50	c 95.4875 110.141 12776 7320665
131.40/131.50	o 1840
132.79/132.81	c 96.4413 110.141 15814 7373240
132.79/132.81	o 1839
138.39/138.45	c 100.429 110.27 15727 7660194
138.39/138.45	o 1838
141.39/141.43	c 102.684 110.27 13380 7776629
141.39/141.43	o 1836
141.69/141.80	c 102.891 110.527 19707 7813374
141.69/141.80	o 1835
142.79/142.82	c 103.599 110.527 9573 7859129
142.79/142.82	o 1833
146.39/146.42	c 106.278 110.527 10100 8013532
146.39/146.42	o 1831
146.59/146.63	c 106.419 110.527 13410 8024376
146.59/146.63	o 1830
147.49/147.51	c 106.979 110.656 12329 8071781
147.49/147.51	o 1829
148.69/148.73	c 108.008 110.656 15614 8096959
148.69/148.73	o 1827
149.19/149.20	c 108.324 110.656 15734 8129016
149.19/149.20	o 1826
153.49/153.59	c 111.378 110.785 14891 8336136
153.49/153.59	o 1820
154.19/154.20	c 111.76 111.301 23849 8395166
154.19/154.20	o 1817
154.39/154.47	c 111.936 111.301 15835 8408860
154.39/154.47	o 1804
160.79/160.86	c 116.67 111.301 14027 8691022
160.79/160.86	o 1802
166.19/166.29	c 120.306 111.301 15266 8981859
166.19/166.29	o 1796
169.59/169.61	c 122.758 111.301 13573 9134375
169.59/169.61	o 1793
170.70/170.78	c 123.579 111.301 16802 9188426
170.70/170.79	o 1789
172.60/172.69	c 124.83 111.301 16663 9304114
172.60/172.69	o 1787
177.70/177.78	c 128.47 111.301 16198 9518907
177.70/177.78	o 1786
177.99/178.10	c 128.663 111.301 14194 9534906
177.99/178.10	o 1783
179.59/179.63	c 129.915 111.43 17231 9580584
179.59/179.63	o 1777
181.19/181.25	c 131.137 111.43 15492 9632861
181.19/181.25	o 1776
182.99/183.05	c 132.437 111.43 11563 9716619
182.99/183.05	o 1774
183.60/183.63	c 132.816 111.43 12423 9758193
183.60/183.63	o 1752
185.69/185.75	c 134.322 111.559 10128 9866067
185.69/185.75	o 1747
187.39/187.40	c 135.487 111.688 15743 9972375
187.39/187.40	o 1744
191.59/191.60	c 138.734 111.688 10343 10127642
191.59/191.60	o 1743
194.40/194.41	c 140.738 111.945 16609 10231533
194.40/194.41	o 1740
197.59/197.63	c 143.213 111.945 12724 10356156
197.59/197.63	o 1735
198.49/198.51	c 143.77 111.945 15041 10402531
198.49/198.51	o 1731
200.00/200.02	c 144.839 111.945 15066 10459222
200.00/200.02	o 1730
202.89/202.92	c 146.934 112.074 12783 10597739
202.89/202.92	o 1727
203.09/203.17	c 147.099 112.074 15426 10620882
203.09/203.17	o 1722
203.60/203.69	c 147.396 112.203 17246 10664855
203.60/203.69	o 1716
203.90/203.91	c 147.531 112.203 13095 10675719
203.90/203.91	o 1715
207.20/207.21	c 150.065 112.203 12418 10818384
207.20/207.21	o 1714
209.60/209.65	c 151.896 112.203 14833 10901274
209.60/209.65	o 1708
210.20/210.29	c 152.288 112.332 17202 10960461
210.20/210.29	o 1707
213.40/213.44	c 154.679 112.332 12301 11089321
213.40/213.44	o 1705
216.49/216.59	c 156.995 112.461 17568 11242020
216.49/216.59	o 1704
216.70/216.74	c 157.089 112.461 11956 11249265
216.70/216.74	o 1701
219.09/219.11	c 158.844 112.461 14097 11335079
219.09/219.11	o 1699
223.80/223.83	c 162.329 112.59 14235 11573381
223.80/223.83	o 1698
225.70/225.72	c 163.735 112.59 9229 11664173
225.70/225.72	o 1693
229.59/229.69	c 166.697 112.848 17090 11819207
229.59/229.69	o 1691
230.39/230.44	c 167.193 112.977 20014 11866575
230.39/230.44	o 1689
231.20/231.28	c 167.733 113.363 25299 11913862
231.20/231.28	o 1688
234.00/234.02	c 169.628 113.363 15315 12053918
234.00/234.02	o 1686
237.00/237.08	c 171.996 113.363 14651 12190700
237.00/237.08	o 1685
237.30/237.31	c 172.131 113.363 18701 12205986
237.30/237.31	o 1684
238.79/238.89	c 173.389 113.363 9629 12255180
238.79/238.89	o 1681
239.80/239.85	c 174.038 113.363 12778 12299501
239.80/239.85	o 1679
240.50/240.55	c 174.556 113.363 12802 12330014
240.50/240.55	o 1671
243.20/243.26	c 176.538 113.363 16359 12465172
243.20/243.26	o 1664
243.60/243.68	c 176.806 113.363 17746 12485425
243.60/243.68	o 1663
244.80/244.80	c 177.579 113.363 11946 12544207
244.80/244.80	o 1657
246.80/246.84	c 179.197 113.363 11083 12623128
246.80/246.84	o 1656
248.20/248.26	c 180.239 113.363 14976 12681007
248.20/248.26	o 1651
249.49/249.54	c 181.137 113.363 13067 12734366
249.49/249.54	o 1641
252.29/252.33	c 183.156 113.363 12468 12834812
252.29/252.33	o 1635
253.70/253.73	c 184.263 113.363 14078 12879698
253.70/253.73	o 1634
255.89/255.94	c 185.813 113.363 15304 13008541
255.89/255.94	o 1629
256.09/256.20	c 185.976 113.672 11922 13021033
256.09/256.20	o 1628
258.60/258.60	c 187.661 113.672 14244 13128527
258.60/258.60	o 1627
261.20/261.28	c 189.711 113.672 13261 13228303
261.20/261.28	o 1626
261.90/261.95	c 190.181 113.672 15737 13256553
261.90/261.95	o 1624
264.39/264.42	c 191.994 113.672 13207 13370762
264.39/264.42	o 1618
265.50/265.55	c 192.793 113.672 16101 13420773
265.50/265.55	o 1616
268.60/268.69	c 195.235 113.672 15242 13541513
268.60/268.69	o 1611
271.71/271.73	c 197.579 113.672 11540 13649606
271.71/271.73	o 1610
273.10/273.15	c 198.666 113.672 13844 13705000
273.10/273.15	o 1600
275.59/275.61	c 200.521 113.801 17976 13793477
275.59/275.61	o 1599
276.40/276.48	c 201.123 113.801 12038 13823957
276.40/276.48	o 1597
278.70/278.71	c 202.817 113.801 13173 13910918
278.70/278.71	o 1595
279.90/279.99	c 203.763 113.801 15190 13975255
279.90/279.99	o 1584
281.69/281.72	c 205.053 113.801 15966 14045364
281.69/281.72	o 1582
282.29/282.37	c 205.468 114.059 19628 14082857
282.29/282.37	o 1580
286.01/286.00	c 208.066 114.059 15455 14263558
286.01/286.00	o 1577
286.49/286.56	c 208.465 114.059 15186 14287162
286.49/286.56	o 1575
288.50/288.58	c 209.952 114.059 17277 14381144
288.50/288.58	o 1571
289.00/289.06	c 210.292 114.059 15759 14401253
289.00/289.06	o 1570
291.60/291.65	c 212.311 114.059 10371 14486972
291.60/291.65	o 1569
295.00/295.09	c 214.803 114.316 19145 14618695
295.00/295.09	o 1567
301.79/301.88	c 219.921 114.316 17889 14882578
301.79/301.88	o 1566
303.10/303.16	c 220.844 114.316 11920 14926717
303.10/303.16	o 1564
303.60/303.64	c 221.176 114.316 11817 14949833
303.60/303.64	o 1562
304.10/304.14	c 221.5 114.316 11899 14972727
304.10/304.14	o 1561
305.10/305.15	c 222.176 114.316 12573 15037421
305.10/305.15	o 1560
307.90/308.00	c 224.272 114.316 13260 15144600
307.90/308.00	o 1558
308.20/308.27	c 224.436 114.445 18285 15158238
308.20/308.27	o 1552
308.40/308.48	c 224.568 114.445 13727 15168167
308.40/308.48	o 1551
312.30/312.38	c 227.348 114.445 13688 15326825
312.30/312.38	o 1550
313.10/313.16	c 227.942 114.445 12771 15372259
313.10/313.16	o 1546
316.20/316.25	c 230.11 114.445 13745 15519464
316.20/316.25	o 1544
316.99/317.07	c 230.678 114.445 12707 15552676
316.99/317.07	o 1540
318.50/318.57	c 231.676 114.445 13490 15642691
318.50/318.57	o 1538
319.09/319.19	c 232.172 114.445 10613 15665138
319.09/319.19	o 1526
319.50/319.50	c 232.386 114.445 15334 15678276
319.50/319.50	o 1524
320.30/320.39	c 233.029 114.445 14154 15704782
320.30/320.39	o 1519
320.50/320.52	c 233.111 114.445 15684 15713729
320.50/320.52	o 1514
321.60/321.60	c 233.888 114.445 14301 15759510
321.60/321.60	o 1513
321.70/321.72	c 233.954 114.445 15585 15770958
321.70/321.72	o 1501
326.30/326.33	c 237.347 114.574 11436 15940422
326.30/326.33	o 1499
329.00/329.01	c 239.264 114.574 12455 16059176
329.00/329.01	o 1491
329.70/329.71	c 239.765 114.574 14357 16090490
329.70/329.71	o 1489
332.70/332.76	c 241.944 114.961 21588 16218927
332.70/332.76	o 1487
333.50/333.57	c 242.491 114.961 17692 16265372
333.50/333.57	o 1486
335.20/335.24	c 243.684 114.961 11602 16341332
335.20/335.24	o 1483
335.70/335.72	c 244.004 114.961 11790 16371167
335.70/335.72	o 1481
335.80/335.86	c 244.1 114.961 13324 16380632
335.80/335.86	o 1479
338.50/338.58	c 246.204 114.961 9318 16466224
338.50/338.58	o 1478
339.30/339.37	c 246.711 114.961 16451 16521060
339.30/339.37	o 1474
342.20/342.26	c 248.908 114.961 14813 16639536
342.20/342.26	o 1471
346.20/346.22	c 251.921 115.477 24103 16767353
346.20/346.22	o 1470
347.70/347.72	c 253.092 115.477 14229 16809015
347.70/347.72	o 1469
348.90/348.90	c 253.875 115.477 12416 16860377
348.90/348.90	o 1466
352.01/352.07	c 256.147 115.477 13848 16988833
352.01/352.07	o 1464
355.10/355.12	c 258.457 115.477 16386 17118758
355.10/355.12	o 1463
355.50/355.55	c 258.78 115.477 13175 17139528
355.50/355.55	o 1462
358.40/358.48	c 260.862 115.477 11902 17267207
358.40/358.48	o 1460
358.80/358.83	c 261.097 115.477 19695 17281380
358.80/358.83	o 1455
363.90/363.97	c 264.779 115.477 14860 17501758
363.90/363.97	o 1453
364.40/364.45	c 265.162 115.477 14476 17518441
364.40/364.45	o 1452
365.70/365.73	c 266.249 115.477 14367 17563347
365.70/365.73	o 1451
367.41/367.46	c 267.736 115.477 12798 17609114
367.41/367.46	o 1449
368.31/368.35	c 268.512 115.477 13006 17644784
368.31/368.35	o 1448
370.71/370.75	c 270.365 115.477 14085 17740902
370.71/370.75	o 1445
371.20/371.26	c 270.704 115.477 15415 17771359
371.20/371.26	o 1440
374.60/374.61	c 273.278 115.477 12594 17868157
374.60/374.61	o 1439
375.60/375.65	c 274.062 115.477 11938 17898951
375.60/375.65	o 1438
375.80/375.83	c 274.188 115.477 12491 17918486
375.80/375.83	o 1436
377.00/377.02	c 275.055 115.477 15006 17959921
377.00/377.02	o 1435
377.60/377.60	c 275.465 115.477 17877 17977294
377.60/377.60	o 1432
380.20/380.21	c 277.346 115.477 10759 18086578
380.20/380.21	o 1429
382.80/382.87	c 279.407 115.477 15098 18169593
382.80/382.87	o 1428
383.60/383.65	c 279.894 115.477 14576 18210763
383.60/383.65	o 1427
384.30/384.33	c 280.317 115.605 19615 18257843
384.30/384.33	o 1426
385.10/385.14	c 280.883 115.605 14962 18287552
385.10/385.14	o 1424
387.01/387.04	c 282.396 115.605 13895 18345685
387.01/387.04	o 1422
387.41/387.48	c 282.62 115.605 19883 18365598
387.41/387.48	o 1416
389.00/389.08	c 283.87 115.605 13146 18402231
389.00/389.08	o 1415
390.31/390.32	c 284.76 115.605 16002 18466432
390.31/390.32	o 1413
390.70/390.70	c 284.993 115.605 18324 18482387
390.70/390.70	o 1412
391.81/391.82	c 285.758 115.605 12474 18535708
391.81/391.82	o 1411
393.20/393.27	c 286.842 115.605 10917 18576356
393.20/393.27	o 1408
395.70/395.78	c 288.629 115.605 13820 18681403
395.70/395.78	o 1407
396.90/396.93	c 289.323 115.992 13933 18748837
396.90/396.93	o 1398
401.60/401.60	c 292.768 115.992 12954 18944167
401.60/401.60	o 1397
402.90/402.95	c 293.772 115.992 14113 19005550
402.90/402.95	o 1392
405.40/405.47	c 295.728 115.992 8776 19086175
405.40/405.47	o 1391
405.60/405.68	c 295.868 115.992 13646 19094869
405.60/405.68	o 1390
406.60/406.62	c 296.526 115.992 15336 19132870
406.60/406.62	o 1389
408.91/408.95	c 298.294 115.992 17310 19196903
408.91/408.95	o 1387
409.40/409.44	c 298.599 115.992 9888 19223425
409.40/409.44	o 1386
410.01/410.04	c 298.99 115.992 13166 19246883
410.01/410.04	o 1385
410.70/410.76	c 299.543 116.121 22884 19266740
410.70/410.76	o 1382
415.81/415.88	c 303.121 116.324 14005 19506035
415.81/415.88	o 1381
417.11/417.10	c 304.059 116.324 12215 19541531
417.11/417.10	o 1380
421.60/421.65	c 307.288 116.324 16097 19777211
421.60/421.65	o 1371
422.00/422.06	c 307.582 116.324 14702 19790459
422.00/422.06	o 1368
424.91/424.98	c 309.741 116.324 9645 19880356
424.91/424.98	o 1367
427.01/427.06	c 311.364 116.324 13050 19933126
427.01/427.06	o 1364
428.50/428.55	c 312.447 116.324 13482 19999781
428.50/428.55	o 1360
431.11/431.18	c 314.412 116.324 13709 20091945
431.11/431.18	o 1358
433.80/433.85	c 316.308 116.324 15759 20207125
433.80/433.85	o 1355
434.30/434.37	c 316.686 116.324 16366 20223687
434.30/434.37	o 1354
437.01/437.03	c 318.683 116.324 15663 20314807
437.01/437.03	o 1353
439.91/439.93	c 320.734 116.324 17084 20428523
439.91/439.93	o 1351
442.90/442.99	c 323.156 116.324 13738 20516812
442.90/442.99	o 1350
444.30/444.31	c 324.13 116.324 16436 20572559
444.30/444.31	o 1347
445.90/445.99	c 325.353 116.324 17712 20640465
445.90/445.99	o 1346
446.20/446.26	c 325.518 116.324 13035 20660101
446.20/446.26	o 1345
448.10/448.14	c 326.822 116.324 14924 20734062
448.10/448.14	o 1344
448.60/448.61	c 327.09 116.324 15758 20755591
448.60/448.61	o 1343
451.01/451.07	c 328.792 116.324 12273 20872958
451.01/451.07	o 1342
452.30/452.34	c 329.741 116.324 14252 20912239
452.30/452.34	o 1338
455.71/455.72	c 332.397 116.324 15970 21003871
455.71/455.72	o 1336
456.80/456.86	c 333.217 116.324 11015 21051673
456.80/456.86	o 1335
457.11/457.19	c 333.429 116.324 15596 21073965
457.11/457.19	o 1334
458.40/458.44	c 334.385 116.711 23500 21109145
458.40/458.44	o 1330
459.71/459.73	c 335.342 116.711 12799 21151368
459.71/459.73	o 1329
460.91/460.95	c 336.216 116.711 13342 21200139
460.91/460.95	o 1323
464.41/464.41	c 338.981 116.711 16486 21298737
464.41/464.41	o 1322
465.80/465.82	c 339.925 116.711 15663 21375267
465.80/465.82	o 1319
467.01/467.01	c 340.883 116.711 12401 21404159
467.01/467.01	o 1318
467.91/467.91	c 341.531 116.711 13051 21442945
467.91/467.91	o 1317
471.31/471.34	c 344.26 116.711 14558 21534454
471.31/471.34	o 1316
471.81/471.84	c 344.626 116.84 22310 21549497
471.81/471.84	o 1315
474.90/474.91	c 346.948 116.84 16383 21671151
474.90/474.91	o 1314
478.52/478.59	c 349.603 116.84 16469 21800782
478.52/478.59	o 1312
481.11/481.10	c 351.342 116.84 13565 21912657
481.11/481.10	o 1311
483.70/483.78	c 353.265 116.84 16443 22024131
483.70/483.78	o 1309
484.10/484.19	c 353.537 116.84 16415 22037366
484.10/484.19	o 1308
486.61/486.65	c 355.331 116.84 14462 22134412
486.61/486.65	o 1306
490.51/490.50	c 358.214 116.84 17234 22268137
490.51/490.50	o 1304
494.01/494.03	c 360.772 116.969 9143 22394224
494.01/494.03	o 1302
495.21/495.27	c 361.582 116.969 15784 22441308
495.21/495.27	o 1301
496.31/496.35	c 362.242 117.227 23557 22491281
496.31/496.35	o 1296
499.41/499.42	c 364.462 117.227 14204 22615225
499.41/499.42	o 1294
502.90/502.98	c 367.18 117.227 16041 22740604
502.90/502.98	o 1284
503.90/503.97	c 367.871 117.227 15052 22781645
503.90/503.97	o 1282
506.50/506.56	c 369.614 117.227 11357 22904714
506.50/506.56	o 1281
506.71/506.79	c 369.765 117.227 14193 22920555
506.71/506.79	o 1280
506.90/506.98	c 369.916 117.227 15250 22926487
506.90/506.98	o 1279
507.21/507.27	c 370.113 117.227 12832 22941611
507.21/507.27	o 1277
508.91/508.98	c 371.328 117.227 14716 23012455
508.91/508.98	o 1274
509.31/509.31	c 371.532 117.227 13539 23025897
509.31/509.31	o 1273
509.51/509.50	c 371.678 117.227 15788 23037814
509.51/509.50	o 1272
512.10/512.11	c 373.587 117.227 15784 23137287
512.10/512.11	o 1267
515.50/515.54	c 376.13 117.227 21285 23250377
515.50/515.54	o 1265
518.01/518.02	c 377.887 117.227 13087 23340827
518.01/518.02	o 1261
521.71/521.75	c 380.813 117.227 15077 23468299
521.71/521.75	o 1257
522.11/522.19	c 381.063 117.227 15308 23490517
522.11/522.19	o 1256
524.90/524.94	c 383.082 117.227 19079 23589015
524.90/524.94	o 1254
528.51/528.55	c 385.908 117.227 14403 23706843
528.51/528.55	o 1253
530.71/530.79	c 387.698 117.227 14816 23753985
530.71/530.79	o 1249
531.91/531.99	c 388.546 117.227 18651 23796587
531.91/531.99	o 1246
535.21/535.26	c 391.144 117.227 12921 23902524
535.21/535.26	o 1245
535.90/535.94	c 391.591 117.227 16411 23932539
535.90/535.94	o 1244
536.30/536.31	c 391.82 117.227 16918 23948422
536.30/536.31	o 1243
538.61/538.68	c 393.553 117.227 14731 24027771
538.61/538.68	o 1242
540.91/540.98	c 395.245 117.227 9805 24104557
540.91/540.98	o 1241
541.41/541.42	c 395.576 117.227 17033 24121067
541.41/541.42	o 1240
545.71/545.71	c 398.931 117.227 12801 24243082
545.71/545.71	o 1238
548.50/548.51	c 401.069 117.227 17133 24339035
548.50/548.51	o 1234
548.82/548.89	c 401.33 117.227 14623 24355872
548.82/548.89	o 1229
551.21/551.21	c 402.907 117.227 12658 24453993
551.21/551.21	o 1228
553.01/553.07	c 404.286 117.227 14829 24527306
553.01/553.07	o 1227
554.71/554.70	c 405.427 117.227 17894 24579496
554.71/554.70	o 1226
556.71/556.74	c 406.992 117.227 9039 24640720
556.71/556.74	o 1223
558.01/558.09	c 408.028 117.227 9567 24680388
558.01/558.09	o 1222
562.01/562.05	c 411.227 117.227 14504 24796778
562.01/562.05	o 1221
562.21/562.28	c 411.363 117.613 19463 24807066
562.21/562.28	o 1220
562.31/562.39	c 411.447 117.613 10801 24811276
562.31/562.39	o 1219
566.11/566.14	c 414.426 117.613 15088 24910879
566.11/566.14	o 1218
568.01/568.07	c 415.872 117.613 11285 24987344
568.01/568.07	o 1217
568.31/568.37	c 416.077 117.613 13836 25000150
568.31/568.37	o 1216
569.21/569.29	c 416.784 117.613 17190 25027432
569.21/569.29	o 1214
571.61/571.60	c 418.422 117.613 17259 25108708
571.61/571.60	o 1213
575.10/575.12	c 420.991 117.613 16021 25217955
575.10/575.12	o 1207
578.71/578.72	c 423.62 117.613 11634 25373055
578.71/578.72	o 1206
579.91/579.94	c 424.458 117.613 15291 25431488
579.91/579.94	o 1202
580.82/580.89	c 425.157 117.613 14356 25462140
580.82/580.89	o 1201
583.41/583.42	c 426.957 117.613 14061 25572979
583.41/583.42	o 1198
584.71/584.79	c 427.971 117.613 16130 25622611
584.71/584.79	o 1194
586.22/586.23	c 428.994 117.613 16091 25673243
586.22/586.23	o 1192
586.61/586.64	c 429.281 117.613 15867 25691450
586.61/586.64	o 1191
589.81/589.89	c 431.824 117.742 17870 25789192
589.81/589.89	o 1190
592.61/592.67	c 433.624 117.742 18074 25919068
592.61/592.67	o 1189
593.91/593.97	c 434.654 117.742 14672 25959362
593.91/593.97	o 1188
594.11/594.19	c 434.796 117.742 16085 25985406
594.11/594.19	o 1187
595.91/595.91	c 436.159 117.742 11181 26026524
595.91/595.91	o 1186
597.81/597.86	c 437.64 117.742 13094 26088017
597.81/597.86	o 1184
599.11/599.14	c 438.636 117.742 14691 26117369
599.11/599.14	o 1181
599.71/599.71	c 439.015 117.742 17952 26134691
599.71/599.71	o 1179
604.21/604.22	c 442.373 117.742 10152 26316589
604.21/604.22	o 1178
604.61/604.64	c 442.734 117.742 12957 26326572
604.61/604.64	o 1175
606.01/606.07	c 443.787 117.871 18721 26372245
606.01/606.07	o 1174
610.61/610.65	c 447.374 117.871 14272 26509051
610.61/610.65	o 1173
612.21/612.29	c 448.736 117.871 15372 26550820
612.21/612.29	o 1169
612.62/612.64	c 448.982 117.871 14675 26567229
612.62/612.64	o 1167
612.81/612.87	c 449.131 117.871 18029 26579049
612.81/612.87	o 1162
613.32/613.34	c 449.498 117.871 15460 26590382
613.32/613.34	o 1159
615.61/615.62	c 451.187 117.871 9703 26670239
615.61/615.62	o 1157
616.11/616.15	c 451.598 117.871 17635 26686914
616.11/616.15	o 1155
617.21/617.21	c 452.445 117.871 11973 26715367
617.21/617.21	o 1151
618.61/618.62	c 453.52 117.871 11101 26752380
618.61/618.62	o 1150
619.12/619.13	c 453.826 118 19250 26775560
619.12/619.13	o 1148
621.61/621.66	c 455.66 118 16006 26867016
621.61/621.66	o 1144
623.91/623.93	c 457.432 118 11366 26919352
623.91/623.93	o 1141
625.01/625.03	c 458.303 118 14492 26956634
625.01/625.03	o 1130
626.01/626.01	c 458.864 118.129 18771 27003250
626.01/626.01	o 1129
628.61/628.63	c 460.792 118.129 12875 27083933
628.61/628.63	o 1128
632.32/632.37	c 463.632 118.129 17145 27201687
632.32/632.37	o 1127
636.21/636.22	c 466.571 118.129 12851 27316258
636.21/636.22	o 1126
637.31/637.38	c 467.51 118.129 16392 27362909
637.31/637.38	o 1120
639.51/639.59	c 469.085 118.129 18314 27441408
639.51/639.59	o 1119
640.31/640.32	c 469.557 118.129 13981 27474764
640.31/640.32	o 1112
641.41/641.45	c 470.45 118.129 15167 27506274
641.41/641.45	o 1111
642.91/642.97	c 471.572 118.129 14148 27547760
642.91/642.97	o 1106
645.51/645.56	c 473.47 118.258 18632 27624244
645.51/645.56	o 1105
647.21/647.27	c 474.763 118.258 12361 27707217
647.21/647.27	o 1104
649.51/649.55	c 476.431 118.258 13855 27788818
649.51/649.55	o 1103
650.31/650.39	c 477.102 118.258 17048 27808901
650.31/650.39	o 1102
652.11/652.18	c 478.414 118.258 12469 27892833
652.11/652.18	o 1099
655.31/655.33	c 480.647 118.258 14637 28015058
655.31/655.33	o 1098
657.11/657.14	c 482.024 118.258 14289 28068153
657.11/657.14	o 1094
658.41/658.48	c 482.976 118.258 13030 28115274
658.41/658.48	o 1093
661.02/661.02	c 484.825 118.258 14408 28199353
661.02/661.02	o 1092
663.71/663.79	c 486.847 118.387 10690 28302944
663.71/663.79	o 1091
664.41/664.41	c 487.293 118.387 13223 28323686
664.41/664.41	o 1086
664.92/664.99	c 487.654 118.387 18073 28348624
664.92/664.99	o 1085
667.71/667.79	c 489.692 118.387 14252 28431723
667.71/667.79	o 1084
670.71/670.79	c 491.972 118.387 17990 28523078
670.71/670.79	o 1081
675.81/675.89	c 495.991 118.387 17623 28655527
675.81/675.89	o 1079
676.42/676.47	c 496.4 118.387 15489 28676757
676.42/676.47	o 1074
677.12/677.19	c 496.967 118.387 15664 28694694
677.12/677.19	o 1070
677.62/677.64	c 497.27 118.387 15655 28712471
677.62/677.64	o 1065
680.11/680.19	c 499.15 118.387 14448 28788167
680.11/680.19	o 1063
681.41/681.46	c 500.087 118.387 15329 28831881
681.41/681.46	o 1061
683.21/683.29	c 501.557 118.387 14019 28872617
683.21/683.29	o 1060
685.41/685.46	c 503.106 118.387 11655 28946686
685.41/685.46	o 1058
686.91/686.91	c 504.204 118.387 13477 28985574
686.91/686.91	o 1057
687.61/687.64	c 504.796 118.387 13398 29004570
687.61/687.64	o 1056
690.42/690.41	c 506.791 119.031 13589 29089352
690.42/690.41	o 1055
693.52/693.58	c 509.144 119.031 19317 29186534
693.52/693.58	o 1053
694.71/694.76	c 509.97 119.031 13179 29233131
694.71/694.76	o 1052
696.11/696.12	c 510.95 119.031 8935 29282463
696.11/696.12	o 1050
698.32/698.35	c 512.673 119.031 15950 29339526
698.32/698.35	o 1047
702.22/702.25	c 515.621 119.031 18483 29460557
702.22/702.25	o 1046
702.31/702.39	c 515.704 119.031 11548 29468169
702.31/702.39	o 1045
704.62/704.65	c 517.361 119.031 10592 29541492
704.62/704.65	o 1044
707.62/707.63	c 519.427 119.031 14621 29658846
707.62/707.63	o 1043
710.72/710.74	c 521.784 119.031 17878 29747100
710.72/710.74	o 1041
712.62/712.65	c 523.176 119.031 15714 29800740
712.62/712.65	o 1040
713.32/713.30	c 523.687 119.031 15651 29818046
713.32/713.30	o 1039
713.51/713.55	c 523.872 119.031 11502 29826871
713.51/713.55	o 1036
713.92/713.94	c 524.163 119.031 18078 29838820
713.92/713.94	o 1022
714.21/714.24	c 524.357 119.031 16589 29853687
714.21/714.24	o 1020
718.61/718.69	c 527.717 119.031 17119 29994690
718.61/718.69	o 1016
720.71/720.80	c 529.224 119.031 15728 30070228
720.71/720.80	o 1015
723.02/723.09	c 530.814 119.031 18054 30143615
723.02/723.09	o 1014
724.31/724.30	c 531.67 119.031 11754 30184678
724.31/724.30	o 1008
726.11/726.17	c 533.056 119.031 18047 30242569
726.11/726.17	o 1005
732.12/732.18	c 537.574 119.031 16437 30430094
732.12/732.18	o 1004
732.72/732.79	c 538.049 119.031 16223 30450349
732.72/732.79	o 1003
733.01/733.08	c 538.228 119.031 14397 30462698
733.01/733.08	o 1001
734.91/734.99	c 539.704 119.031 16571 30524367
734.91/734.99	o 998
737.41/737.49	c 541.59 119.031 15003 30593025
737.41/737.49	o 997
738.52/738.59	c 542.336 119.031 18535 30629002
738.52/738.59	o 996
742.52/742.59	c 545.518 119.031 12943 30720615
742.52/742.59	o 990
744.22/744.22	c 546.703 119.031 15256 30784791
744.22/744.22	o 978
747.82/747.83	c 549.295 119.031 15539 30903050
747.82/747.83	o 976
748.12/748.13	c 549.508 119.031 10810 30916079
748.12/748.13	o 975
750.22/750.26	c 551.064 119.031 14192 30980774
750.22/750.26	o 972
750.42/750.43	c 551.186 119.031 16410 30989500
750.42/750.43	o 971
753.52/753.55	c 553.607 119.031 11526 31063839
753.52/753.55	o 970
754.92/754.97	c 554.667 119.031 13470 31108866
754.92/754.97	o 969
758.02/758.03	c 556.802 119.031 13752 31227735
758.02/758.03	o 968
758.52/758.54	c 557.192 119.031 12847 31244311
758.52/758.54	o 967
758.62/758.65	c 557.255 119.031 14635 31249878
758.62/758.65	o 962
760.21/760.28	c 558.513 119.031 11922 31291751
760.21/760.28	o 960
762.92/762.97	c 560.496 119.031 12840 31369975
762.92/762.97	o 959
763.21/763.28	c 560.652 119.031 16196 31387710
763.21/763.28	o 958
763.72/763.73	c 560.963 119.031 14543 31401328
763.72/763.73	o 956
765.72/765.77	c 562.4 119.031 10656 31477831
765.72/765.77	o 955
767.82/767.82	c 563.937 119.031 14331 31540279
767.82/767.82	o 948
769.31/769.33	c 565.068 119.289 19041 31586243
769.31/769.33	o 947
771.91/771.92	c 567.026 119.289 16301 31665087
771.91/771.92	o 946
774.71/774.76	c 569.122 119.289 13431 31749568
774.71/774.76	o 945
775.12/775.12	c 569.357 119.289 12776 31768825
775.12/775.12	o 940
776.52/776.54	c 570.482 119.289 14539 31809008
776.52/776.54	o 938
777.72/777.79	c 571.445 119.289 14908 31852357
777.72/777.79	o 933
780.02/780.04	c 573.208 119.289 12562 31910039
780.02/780.04	o 932
781.12/781.19	c 574.028 119.289 16857 31950665
781.12/781.19	o 931
783.22/783.26	c 575.631 119.289 15449 32003556
783.22/783.26	o 929
785.71/785.71	c 577.553 119.289 9334 32063895
785.71/785.71	o 928
787.41/787.46	c 578.934 119.289 14366 32110344
787.41/787.46	o 927
788.52/788.56	c 579.697 119.289 18561 32158666
788.52/788.56	o 926
791.32/791.34	c 581.846 119.289 14775 32230654
791.32/791.34	o 924
792.62/792.62	c 582.769 119.289 10256 32271780
792.62/792.62	o 921
794.12/794.15	c 583.919 119.289 17844 32321552
794.12/794.15	o 920
799.22/799.22	c 587.602 119.289 9968 32476846
799.22/799.22	o 918
799.42/799.40	c 587.735 119.289 13170 32484530
799.42/799.40	o 911
803.82/803.82	c 591.029 119.289 10408 32617385
803.82/803.82	o 909
805.91/805.94	c 592.556 119.805 22937 32679468
805.91/805.94	o 907
811.31/811.31	c 596.382 119.805 15541 32848360
811.31/811.31	o 902
811.62/811.63	c 596.598 119.805 13631 32858798
811.62/811.63	o 899
812.01/812.06	c 596.864 119.805 13111 32875975
812.01/812.06	o 897
812.22/812.21	c 596.97 119.805 16047 32881749
812.22/812.21	o 896
813.72/813.74	c 598.112 119.996 14059 32923356
813.72/813.74	o 894
814.52/814.51	c 598.605 119.996 13318 32967230
814.52/814.51	o 891
815.32/815.32	c 599.148 119.996 15445 32994423
815.32/815.32	o 890
816.72/816.78	c 600.196 119.996 15976 33046561
816.72/816.78	o 889
817.12/817.15	c 600.492 119.996 12464 33057676
817.12/817.15	o 887
819.22/819.29	c 602.101 119.996 13037 33117596
819.22/819.29	o 886
822.22/822.29	c 604.39 119.996 15517 33199321
822.22/822.29	o 884
822.42/822.46	c 604.497 119.996 10852 33206816
822.42/822.46	o 883
823.82/823.81	c 605.523 119.996 14492 33245333
823.82/823.81	o 881
826.72/826.70	c 607.841 119.996 14466 33319508
826.72/826.70	o 880
826.92/826.96	c 608.035 119.996 8631 33328553
826.92/826.96	o 879
827.32/827.32	c 608.289 119.996 14164 33341327
827.32/827.32	o 876
829.01/829.00	c 609.519 119.996 13994 33387872
829.01/829.00	o 875
829.22/829.28	c 609.777 119.996 14566 33391632
829.22/829.28	o 872
834.92/834.92	c 614.08 119.996 14374 33545456
834.92/834.92	o 871
835.31/835.39	c 614.362 119.996 15691 33581632
835.31/835.39	o 868
836.22/836.23	c 614.954 119.996 12273 33607258
836.22/836.23	o 865
838.12/838.11	c 616.213 119.996 15961 33681252
838.12/838.11	o 864
840.72/840.71	c 618.142 119.996 12021 33751334
840.72/840.71	o 863
840.82/840.80	c 618.21 119.996 12719 33754945
840.82/840.80	o 861
843.22/843.27	c 620.096 119.996 14977 33817715
843.22/843.27	o 858
843.32/843.36	c 620.167 119.996 15754 33821590
843.32/843.36	o 857
845.32/845.32	c 621.762 119.996 10887 33860420
845.32/845.32	o 855
847.12/847.19	c 623.069 119.996 13420 33920351
847.12/847.19	o 854
853.12/853.16	c 627.737 119.996 18145 34066616
853.12/853.16	o 852
853.32/853.36	c 627.885 119.996 12043 34073614
853.32/853.36	o 851
856.83/856.89	c 630.78 119.996 12210 34146378
856.83/856.89	o 850
860.22/860.26	c 633.544 119.996 9274 34219174
860.22/860.26	o 848
860.92/860.95	c 634.009 120.125 20312 34241485
860.92/860.95	o 846
861.22/861.20	c 634.152 120.125 16332 34252964
861.22/861.20	o 840
863.32/863.34	c 635.636 120.125 14715 34326666
863.32/863.34	o 838
864.42/864.47	c 636.483 120.125 13435 34362837
864.42/864.47	o 837
864.63/864.67	c 636.636 120.125 15989 34370928
864.63/864.67	o 836
866.12/866.15	c 637.766 120.125 12042 34415547
866.12/866.15	o 831
868.02/868.01	c 639.143 120.125 15124 34482908
868.02/868.01	o 828
868.92/868.93	c 639.799 120.125 14780 34512625
868.92/868.93	o 827
872.52/872.57	c 642.641 120.125 20075 34596777
872.52/872.57	o 826
872.92/872.95	c 642.904 120.125 15985 34607783
872.92/872.95	o 824
875.42/875.48	c 644.9 120.125 13278 34665976
875.42/875.48	o 819
876.52/876.50	c 645.761 120.125 12717 34688143
876.52/876.50	o 818
878.52/878.52	c 647.186 120.125 13833 34751511
878.52/878.52	o 815
879.42/879.43	c 647.855 120.125 14084 34779556
879.42/879.43	o 813
881.32/881.36	c 649.268 120.125 15394 34837100
881.32/881.36	o 809
883.33/883.34	c 650.747 120.125 13632 34885365
883.33/883.34	o 808
884.02/884.06	c 651.251 120.125 17462 34906977
884.02/884.06	o 803
884.72/884.72	c 651.708 120.254 20715 34928505
884.72/884.72	o 801
886.32/886.33	c 653.005 120.254 15155 34961181
886.32/886.33	o 799
886.32/886.39	c 653.054 120.254 15457 34964486
886.32/886.39	o 798
889.03/889.06	c 655.057 120.254 15278 35045741
889.03/889.06	o 797
890.12/890.20	c 655.938 120.254 15725 35075589
890.12/890.20	o 796
890.42/890.49	c 656.145 120.254 13123 35084766
890.42/890.49	o 795
893.42/893.43	c 658.308 120.254 16632 35164085
893.42/893.43	o 794
894.83/894.89	c 659.488 120.254 15465 35191741
894.83/894.89	o 789
897.72/897.77	c 661.561 120.383 20273 35277622
897.72/897.77	o 787
900.12/900.10	c 663.337 120.383 15472 35340655
900.12/900.10	o 785
903.72/903.72	c 666.235 120.383 12783 35418641
903.72/903.72	o 779
905.22/905.28	c 667.371 120.383 14014 35469320
905.22/905.28	o 776
907.53/907.54	c 668.942 120.383 15139 35542825
907.53/907.54	o 775
908.63/908.62	c 669.707 120.383 17030 35574483
908.63/908.62	o 773
909.03/909.09	c 670.055 120.383 15714 35588047
909.03/909.09	o 770
909.42/909.44	c 670.26 120.383 15982 35602069
909.42/909.44	o 769
910.52/910.53	c 671.09 120.383 8488 35637149
910.52/910.53	o 768
911.83/911.85	c 672.011 120.383 17221 35681090
911.83/911.85	o 763
914.52/914.51	c 673.918 120.383 11323 35759132
914.52/914.51	o 757
916.83/916.87	c 675.68 120.383 9986 35814549
916.83/916.87	o 756
918.43/918.41	c 676.829 120.383 16064 35852652
918.43/918.41	o 755
919.22/919.22	c 677.53 120.383 14090 35864393
919.22/919.22	o 751
919.43/919.49	c 677.749 120.383 17240 35872265
919.43/919.49	o 750
919.92/919.92	c 678.088 120.383 14791 35883696
919.92/919.92	o 749
921.12/921.18	c 678.965 120.383 15066 35923582
921.12/921.18	o 748
923.93/924.00	c 681.083 120.383 18241 36005147
923.93/924.00	o 746
927.02/927.05	c 683.236 120.77 24181 36097468
927.02/927.05	o 741
932.83/932.83	c 687.67 120.77 12621 36250648
932.83/932.83	o 740
933.03/933.08	c 687.825 120.77 17460 36265571
933.03/933.08	o 739
933.42/933.47	c 688.106 120.77 15569 36276781
933.42/933.47	o 738
937.02/937.09	c 690.733 120.77 12032 36377156
937.02/937.09	o 736
937.23/937.25	c 690.86 120.77 13855 36383686
937.23/937.25	o 734
939.72/939.77	c 692.808 120.77 16054 36437437
939.72/939.77	o 732
941.83/941.87	c 694.31 120.77 11208 36522919
941.83/941.87	o 723
944.83/944.86	c 696.432 120.77 18293 36611083
944.83/944.86	o 722
945.03/945.06	c 696.561 120.77 12891 36620552
945.03/945.06	o 721
947.82/947.83	c 698.678 120.77 16965 36694820
947.82/947.83	o 719
949.63/949.69	c 700.03 120.77 14134 36746352
949.63/949.69	o 715
950.63/950.60	c 700.628 120.77 16676 36781292
950.63/950.60	o 714
952.52/952.53	c 702.001 120.77 10932 36838375
952.52/952.53	o 689
952.93/952.93	c 702.27 120.77 17345 36854824
952.93/952.93	o 687
953.73/953.76	c 702.886 120.77 15198 36880844
953.73/953.76	o 686
954.52/954.50	c 703.481 120.77 15185 36895559
954.52/954.50	o 684
955.52/955.56	c 704.313 120.77 12586 36920231
955.52/955.56	o 682
955.73/955.78	c 704.459 120.77 17026 36927894
955.73/955.78	o 681
955.93/955.97	c 704.596 120.77 11771 36935641
955.93/955.97	o 680
957.22/957.22	c 705.576 120.77 11403 36962706
957.22/957.22	o 677
958.62/958.63	c 706.562 120.77 19926 37010977
958.62/958.63	o 668
962.23/962.20	c 709.395 120.77 14512 37091856
962.23/962.20	o 660
965.02/965.02	c 711.474 120.77 18937 37170613
965.02/965.02	o 655
966.73/966.70	c 712.838 120.77 11900 37206127
966.73/966.70	o 652
968.62/968.68	c 714.336 120.77 20215 37253237
968.62/968.68	o 651
970.02/970.00	c 715.316 120.77 13361 37285778
970.02/970.00	o 650
970.92/970.94	c 716.061 120.77 9843 37308870
970.92/970.94	o 649
972.63/972.60	c 717.207 120.77 16396 37363341
972.63/972.60	o 647
973.43/973.43	c 717.825 120.77 11000 37383409
973.43/973.43	o 645
974.12/974.13	c 718.359 120.77 10843 37401597
974.12/974.13	o 641
974.53/974.53	c 718.626 120.77 17786 37417272
974.53/974.53	o 639
977.72/977.73	c 721.13 120.77 18852 37489410
977.72/977.73	o 637
980.72/980.75	c 723.442 120.77 17009 37568252
980.72/980.75	o 636
981.63/981.65	c 724.047 121.285 26267 37597579
981.63/981.65	o 635
983.93/983.96	c 725.67 121.285 11216 37673027
983.93/983.96	o 633
987.22/987.27	c 728.085 121.285 18380 37760541
987.22/987.27	o 630
989.12/989.14	c 729.455 121.285 15894 37807980
989.12/989.14	o 629
989.83/989.85	c 729.985 121.285 11846 37828046
989.83/989.85	o 625
992.82/992.86	c 732.111 121.285 16742 37927546
992.82/992.86	o 623
995.33/995.33	c 733.916 121.285 17744 38006262
995.33/995.33	o 620
998.02/998.02	c 736.004 121.285 13372 38068652
998.02/998.02	o 618
998.62/998.64	c 736.438 121.285 14825 38089567
998.62/998.64	o 615
999.13/999.12	c 736.796 121.285 14869 38103548
999.13/999.12	o 613
1004.33/1004.32	c 740.841 121.285 14202 38219949
1004.33/1004.32	o 612
1004.42/1004.47	c 740.954 121.285 16309 38226844
1004.42/1004.47	o 611
1005.13/1005.13	c 741.445 121.285 18404 38246184
1005.13/1005.13	o 608
1005.83/1005.87	c 741.905 121.414 25557 38282870
1005.83/1005.87	o 607
1011.13/1011.15	c 745.806 121.414 16933 38433152
1011.13/1011.15	o 604
1015.83/1015.89	c 749.515 121.414 14634 38547166
1015.83/1015.89	o 598
1017.93/1017.96	c 751.04 121.414 14452 38597827
1017.93/1017.96	o 596
1020.62/1020.63	c 753.111 121.414 10508 38661435
1020.62/1020.63	o 595
1021.94/1021.91	c 754.068 121.414 15211 38699474
1021.94/1021.91	o 594
1025.93/1025.96	c 757.151 121.414 12391 38791658
1025.93/1025.96	o 592
1026.23/1026.20	c 757.342 121.414 15289 38798203
1026.23/1026.20	o 590
1027.43/1027.48	c 758.369 121.414 8875 38825433
1027.43/1027.48	o 589
1030.03/1030.04	c 760.248 121.414 14333 38896606
1030.03/1030.04	o 587
1031.32/1031.32	c 761.234 121.414 16028 38930475
1031.32/1031.32	o 585
1032.33/1032.31	c 761.987 121.414 15733 38955259
1032.33/1032.31	o 584
1033.03/1033.06	c 762.62 121.414 15023 38969809
1033.03/1033.06	o 583
1037.63/1037.61	c 766.056 121.414 18364 39080540
1037.63/1037.61	o 579
1041.73/1041.76	c 769.21 121.414 17393 39191210
1041.73/1041.76	o 578
1042.23/1042.24	c 769.577 121.414 15741 39207519
1042.23/1042.24	o 577
1043.83/1043.84	c 770.756 121.414 17745 39250680
1043.83/1043.84	o 574
1046.03/1046.00	c 772.348 121.414 13100 39309711
1046.03/1046.00	o 572
1048.73/1048.72	c 774.377 121.414 12126 39380853
1048.73/1048.72	o 564
1054.63/1054.61	c 778.766 121.414 14327 39531310
1054.63/1054.61	o 563
1055.13/1055.13	c 779.114 121.414 18764 39551813
1055.13/1055.13	o 562
1057.33/1057.31	c 780.746 121.414 15298 39609721
1057.33/1057.31	o 560
1059.52/1059.58	c 782.387 121.414 17939 39678045
1059.52/1059.58	o 556
1064.22/1064.28	c 786.04 121.414 16827 39782748
1064.22/1064.28	o 555
1065.84/1065.81	c 787.145 121.414 15781 39822856
1065.84/1065.81	o 553
1066.32/1066.33	c 787.503 121.414 18489 39839617
1066.32/1066.33	o 551
1071.53/1071.58	c 791.417 121.414 13285 39978234
1071.53/1071.58	o 549
1071.83/1071.82	c 791.63 121.414 14138 39981216
1071.83/1071.82	o 547
1078.52/1078.51	c 796.921 121.414 12363 40128336
1078.52/1078.51	o 545
1078.93/1078.93	c 797.241 121.414 18706 40138095
1078.93/1078.93	o 542
1083.33/1083.39	c 800.677 121.414 14191 40243860
1083.33/1083.39	o 541
1084.23/1084.25	c 801.273 121.414 16040 40272007
1084.23/1084.25	o 539
1085.13/1085.13	c 801.944 121.414 20542 40291044
1085.13/1085.13	o 537
1087.22/1087.20	c 803.55 121.414 12919 40331909
1087.22/1087.20	o 536
1088.12/1088.13	c 804.298 121.414 15001 40352373
1088.12/1088.13	o 534
1090.63/1090.60	c 806.15 121.414 14450 40419154
1090.63/1090.60	o 531
1091.53/1091.55	c 806.924 121.543 12698 40441147
1091.53/1091.55	o 529
1093.73/1093.71	c 808.48 121.543 15885 40498401
1093.73/1093.71	o 528
1094.54/1094.53	c 809.082 121.543 15530 40521419
1094.54/1094.53	o 523
1096.83/1096.85	c 810.897 121.543 17372 40569522
1096.83/1096.85	o 521
1098.63/1098.67	c 812.212 121.543 11658 40621408
1098.63/1098.67	o 520
1099.23/1099.23	c 812.68 121.543 17465 40634023
1099.23/1099.23	o 500
1101.23/1101.29	c 814.258 121.543 9497 40683184
1101.23/1101.29	o 498
1101.43/1101.43	c 814.35 121.543 11727 40688705
1101.43/1101.43	o 494
1102.83/1102.85	c 815.464 121.543 14116 40718252
1102.83/1102.85	o 493
1103.23/1103.26	c 815.759 121.543 19984 40733866
1103.23/1103.26	o 492
1103.93/1103.97	c 816.294 121.543 21316 40752167
1103.93/1103.97	o 490
1106.73/1106.73	c 818.339 121.543 14031 40822706
1106.73/1106.73	o 489
1110.03/1110.08	c 820.899 121.543 13742 40909731
1110.03/1110.08	o 488
1110.54/1110.52	c 821.175 121.543 13636 40924259
1110.54/1110.52	o 487
1112.14/1112.13	c 822.471 121.543 14698 40955863
1112.14/1112.13	o 486
1112.73/1112.72	c 822.9 121.543 15748 40972537
1112.73/1112.72	o 484
1115.13/1115.19	c 824.874 121.543 13695 41020680
1115.13/1115.19	o 482
1115.73/1115.70	c 825.297 121.543 11474 41032602
1115.73/1115.70	o 481
1116.03/1116.01	c 825.498 121.543 17624 41045915
1116.03/1116.01	o 479
1117.53/1117.52	c 826.665 121.543 14361 41084331
1117.53/1117.52	o 478
1118.74/1118.76	c 827.605 121.543 16370 41114338
1118.74/1118.76	o 477
1121.93/1121.94	c 830.053 121.672 19320 41187192
1121.93/1121.94	o 476
1125.53/1125.52	c 832.896 121.672 13502 41258504
1125.53/1125.52	o 475
1128.83/1128.86	c 835.547 121.672 15571 41324821
1128.83/1128.86	o 474
1129.43/1129.41	c 835.972 121.672 14910 41336468
1129.43/1129.41	o 470
1132.63/1132.66	c 838.533 121.672 18102 41404407
1132.63/1132.66	o 469
1136.23/1136.30	c 841.172 122.059 25607 41503099
1136.23/1136.30	o 466
1139.43/1139.42	c 843.541 122.059 12189 41575003
1139.43/1139.42	o 464
1141.74/1141.78	c 845.285 122.059 10890 41635959
1141.74/1141.78	o 463
1142.03/1142.09	c 845.496 122.059 18409 41648522
1142.03/1142.09	o 462
1145.83/1145.86	c 848.282 122.059 14298 41746763
1145.83/1145.86	o 461
1147.03/1147.00	c 849.13 122.059 16734 41781994
1147.03/1147.00	o 459
1147.73/1147.73	c 849.671 122.059 19601 41800858
1147.73/1147.73	o 457
1150.14/1150.19	c 851.478 122.059 15546 41868424
1150.14/1150.19	o 455
1152.74/1152.77	c 853.451 122.059 14532 41925520
1152.74/1152.77	o 453
1153.13/1153.18	c 853.724 122.059 13434 41940067
1153.13/1153.18	o 452
1153.43/1153.40	c 853.869 122.059 17605 41950672
1153.43/1153.40	o 450
1154.53/1154.51	c 854.63 122.059 14714 41986475
1154.53/1154.51	o 447
1159.34/1159.34	c 858.278 122.059 12574 42100079
1159.34/1159.34	o 446
1161.43/1161.44	c 859.959 122.059 15627 42140078
1161.43/1161.44	o 443
1162.33/1162.38	c 860.675 122.059 15371 42166123
1162.33/1162.38	o 442
1165.73/1165.70	c 863.25 122.059 13445 42239936
1165.73/1165.70	o 440
1166.83/1166.82	c 864.091 122.059 12834 42270042
1166.83/1166.82	o 438
1168.73/1168.71	c 865.577 122.059 11774 42309719
1168.73/1168.71	o 436
1171.53/1171.56	c 867.665 122.059 14172 42385103
1171.53/1171.56	o 434
1176.33/1176.30	c 871.238 122.059 12647 42496437
1176.33/1176.30	o 432
1177.93/1177.99	c 872.588 122.059 19763 42531643
1177.93/1177.99	o 431
1178.43/1178.49	c 872.917 122.059 19908 42547114
1178.43/1178.49	o 429
1181.34/1181.36	c 875.145 122.059 15479 42604594
1181.34/1181.36	o 428
1181.63/1181.60	c 875.301 122.059 12824 42613938
1181.63/1181.60	o 427
1182.13/1182.14	c 875.688 122.059 12865 42629931
1182.13/1182.14	o 426
1184.94/1184.96	c 877.883 122.059 17170 42692497
1184.94/1184.96	o 424
1187.74/1187.77	c 880.116 122.059 13287 42751103
1187.74/1187.77	o 423
1189.04/1189.01	c 881.112 122.059 11145 42774855
1189.04/1189.01	o 421
1190.53/1190.57	c 882.253 122.059 13908 42818784
1190.53/1190.57	o 420
1191.04/1191.01	c 882.523 122.059 16783 42835123
1191.04/1191.01	o 418
1195.83/1195.88	c 886.054 122.059 16040 42960982
1195.83/1195.88	o 413
1196.63/1196.68	c 886.643 122.059 20766 42982057
1196.63/1196.68	o 412
1198.43/1198.49	c 888.006 122.059 13500 43030082
1198.43/1198.49	o 411
1200.63/1200.64	c 889.556 122.059 17650 43093218
1200.63/1200.64	o 410
1202.04/1202.00	c 890.554 122.059 14240 43129225
1202.04/1202.00	o 409
1202.23/1202.26	c 890.751 122.059 17841 43137096
1202.23/1202.26	o 407
1203.03/1203.04	c 891.344 122.059 20310 43154396
1203.03/1203.04	o 406
1203.34/1203.33	c 891.549 122.059 15064 43163443
1203.34/1203.33	o 404
1204.73/1204.75	c 892.697 122.059 14795 43191136
1204.73/1204.75	o 403
1206.13/1206.14	c 893.684 122.059 14424 43232784
1206.13/1206.14	o 402
1208.94/1208.99	c 895.82 122.059 17110 43308191
1208.94/1208.99	o 401
1214.73/1214.71	c 900.128 122.059 13942 43447089
1214.73/1214.71	o 398
1214.93/1214.93	c 900.286 122.059 17674 43454051
1214.93/1214.93	o 395
1217.44/1217.46	c 902.174 122.059 14191 43516193
1217.44/1217.46	o 392
1220.13/1220.18	c 904.251 122.059 13918 43581108
1220.13/1220.18	o 390
1223.94/1223.90	c 907.132 122.059 16451 43664812
1223.94/1223.90	o 386
1226.54/1226.54	c 909.111 122.059 17991 43730871
1226.54/1226.55	o 384
1226.74/1226.78	c 909.267 122.059 12701 43739344
1226.74/1226.78	o 383
1229.34/1229.33	c 911.317 122.059 14300 43788677
1229.34/1229.33	o 382
1229.64/1229.64	c 911.5 122.059 14068 43801295
1229.64/1229.64	o 379
1229.93/1229.93	c 911.697 122.059 11636 43811328
1229.93/1229.93	o 377
1231.84/1231.83	c 912.976 122.059 17016 43870636
1231.84/1231.83	o 376
1232.93/1232.99	c 913.805 122.059 13800 43907679
1232.93/1232.99	o 375
1237.04/1237.06	c 916.858 122.188 16474 44011292
1237.04/1237.06	o 369
1237.34/1237.39	c 917.06 122.188 16612 44024168
1237.34/1237.39	o 362
1241.54/1241.53	c 920.159 122.188 16330 44119636
1241.54/1241.53	o 359
1241.94/1241.96	c 920.46 122.188 15777 44134948
1241.94/1241.96	o 358
1243.13/1243.10	c 921.339 122.188 15432 44159916
1243.13/1243.10	o 355
1247.74/1247.78	c 924.924 122.188 10794 44263503
1247.74/1247.78	o 352
1249.34/1249.33	c 926.157 122.188 14268 44295506
1249.34/1249.33	o 351
1251.04/1251.09	c 927.341 122.883 13219 44347781
1251.04/1251.09	o 348
1254.53/1254.55	c 930.136 122.883 13547 44411333
1254.53/1254.55	o 346
1255.15/1255.17	c 930.707 122.883 8689 44418663
1255.15/1255.17	o 345
1257.73/1257.79	c 932.674 122.883 16998 44487492
1257.73/1257.79	o 343
1259.13/1259.11	c 933.629 122.883 14631 44524930
1259.13/1259.11	o 342
1260.44/1260.44	c 934.601 122.883 19962 44560949
1260.44/1260.44	o 341
1261.64/1261.66	c 935.567 122.883 10875 44590759
1261.64/1261.66	o 339
1262.13/1262.15	c 935.947 122.883 10392 44603236
1262.13/1262.15	o 338
1263.43/1263.45	c 936.958 122.883 11158 44634675
1263.43/1263.45	o 337
1265.14/1265.16	c 938.27 123.141 14824 44665066
1265.14/1265.16	o 336
1269.54/1269.59	c 941.691 123.141 11411 44763009
1269.54/1269.59	o 334
1270.13/1270.17	c 942.089 123.141 10359 44783965
1270.13/1270.17	o 333
1270.33/1270.32	c 942.18 123.141 13873 44790181
1270.33/1270.32	o 332
1271.34/1271.39	c 943.043 123.141 18403 44808761
1271.34/1271.39	o 328
1277.73/1277.80	c 948.057 123.141 15547 44943951
1277.73/1277.80	o 327
1277.94/1277.99	c 948.211 123.141 17096 44949403
1277.94/1277.99	o 324
1283.75/1283.77	c 952.413 123.141 20151 45101069
1283.75/1283.77	o 315
1289.94/1289.93	c 957.102 123.141 17518 45243720
1289.94/1289.93	o 314
1290.73/1290.78	c 957.734 123.27 21152 45261185
1290.73/1290.78	o 308
1293.44/1293.45	c 959.88 123.27 10473 45311827
1293.44/1293.45	o 307
1293.83/1293.86	c 960.22 123.27 14479 45320105
1293.83/1293.86	o 306
1295.04/1295.07	c 961.158 123.27 16737 45346742
1295.04/1295.07	o 305
1296.94/1296.95	c 962.658 123.27 14676 45381219
1296.94/1296.95	o 304
1299.84/1299.86	c 964.919 123.27 11797 45437211
1299.84/1299.86	o 302
1303.44/1303.43	c 967.649 123.27 16720 45519877
1303.44/1303.43	o 300
1303.84/1303.82	c 967.952 123.27 13857 45530596
1303.84/1303.82	o 295
1304.33/1304.30	c 968.311 123.27 14203 45542609
1304.33/1304.30	o 293
1309.64/1309.67	c 972.322 123.27 20279 45678454
1309.64/1309.67	o 290
1315.34/1315.37	c 976.502 123.27 12596 45821774
1315.34/1315.37	o 287
1318.24/1318.25	c 978.728 123.27 12712 45881994
1318.24/1318.25	o 286
1318.64/1318.69	c 979.011 123.27 12367 45896739
1318.64/1318.69	o 285
1321.24/1321.20	c 980.818 123.27 19309 45964007
1321.24/1321.20	o 283
1322.24/1322.28	c 981.575 123.27 12121 45992917
1322.24/1322.28	o 282
1324.84/1324.80	c 983.398 123.27 16462 46057610
1324.84/1324.80	o 281
1325.24/1325.23	c 983.709 123.27 15487 46071727
1325.24/1325.23	o 280
1326.24/1326.21	c 984.42 123.27 15228 46100711
1326.24/1326.21	o 279
1326.34/1326.38	c 984.527 123.27 18371 46106804
1326.34/1326.38	o 278
1330.83/1330.89	c 987.988 123.27 15552 46200518
1330.83/1330.89	o 276
1333.14/1333.11	c 989.741 123.27 12115 46246017
1333.14/1333.11	o 275
1334.64/1334.68	c 990.868 123.27 15090 46288414
1334.64/1334.68	o 274
1335.64/1335.66	c 991.643 123.27 17769 46308707
1335.64/1335.66	o 273
1339.54/1339.58	c 994.467 123.27 22548 46413822
1339.54/1339.58	o 272
1342.04/1342.00	c 996.299 123.27 16147 46469304
1342.04/1342.00	o 271
1344.54/1344.54	c 997.958 123.27 17008 46552257
1344.54/1344.54	o 270
1347.14/1347.15	c 999.927 123.27 13604 46617784
1347.14/1347.15	o 269
1349.84/1349.81	c 1001.94 123.27 15466 46675490
1349.84/1349.81	o 268
1350.14/1350.16	c 1002.19 123.27 13852 46687804
1350.14/1350.16	o 266
1351.04/1351.00	c 1002.8 123.27 11315 46709995
1351.04/1351.00	o 264
1352.04/1352.00	c 1003.48 123.27 20615 46737177
1352.04/1352.00	o 263
1359.54/1359.56	c 1009.48 123.27 15239 46883740
1359.54/1359.56	o 262
1363.14/1363.15	c 1012.34 123.27 14700 46956913
1363.14/1363.15	o 261
1366.34/1366.36	c 1014.75 123.27 16748 47036763
1366.34/1366.36	o 260
1371.84/1371.80	c 1019.1 123.27 12500 47138929
1371.84/1371.80	o 256
1373.44/1373.45	c 1020.44 123.27 15311 47170484
1373.44/1373.45	o 255
1374.84/1374.88	c 1021.59 123.27 10142 47199248
1374.84/1374.88	o 254
1375.84/1375.85	c 1022.28 123.27 11571 47226311
1375.84/1375.85	o 251
1379.14/1379.18	c 1024.86 123.27 16070 47293331
1379.14/1379.18	o 248
1380.34/1380.39	c 1025.72 123.527 14402 47328078
1380.34/1380.39	o 245
1383.44/1383.47	c 1028.18 123.527 12255 47381813
1383.44/1383.47	o 244
1386.94/1386.91	c 1030.91 123.527 15699 47450911
1386.94/1386.91	o 241
1388.64/1388.62	c 1032.27 123.527 13572 47484838
1388.64/1388.62	o 239
1389.64/1389.69	c 1033.03 123.527 16352 47514546
1389.64/1389.69	o 236
1391.04/1391.05	c 1034.12 123.527 15411 47540760
1391.04/1391.05	o 235
1392.84/1392.85	c 1035.5 123.527 15246 47582378
1392.84/1392.85	o 233
1393.34/1393.35	c 1035.82 123.527 19198 47601420
1393.34/1393.35	o 232
1395.34/1395.35	c 1037.3 123.527 15020 47651800
1395.34/1395.35	o 229
1398.74/1398.79	c 1039.85 123.527 16916 47740516
1398.74/1398.79	o 227
1400.04/1400.02	c 1040.71 123.527 11157 47774316
1400.04/1400.02	o 226
1401.64/1401.62	c 1041.91 123.527 18388 47811352
1401.64/1401.62	o 225
1404.84/1404.83	c 1044.33 123.527 20563 47883627
1404.84/1404.83	o 223
1405.14/1405.10	c 1044.49 123.527 16832 47895467
1405.14/1405.10	o 219
1405.94/1406.00	c 1045.05 123.527 17173 47924964
1405.94/1406.00	o 217
1406.44/1406.43	c 1045.38 123.527 15575 47935515
1406.44/1406.43	o 211
1413.74/1413.75	c 1051.39 123.527 13711 48048763
1413.74/1413.75	o 210
1414.55/1414.60	c 1052.03 123.527 12827 48068108
1414.55/1414.60	o 207
1416.84/1416.83	c 1053.81 123.527 15650 48112191
1416.84/1416.83	o 206
1417.54/1417.56	c 1054.38 123.527 15509 48128724
1417.54/1417.56	o 205
1417.84/1417.83	c 1054.56 123.527 12153 48137062
1417.84/1417.83	o 203
1422.84/1422.86	c 1058.76 123.527 12227 48210359
1422.84/1422.86	o 202
1423.24/1423.28	c 1059.12 123.527 15392 48217915
1423.24/1423.28	o 201
1425.45/1425.49	c 1060.64 123.527 17201 48280866
1425.45/1425.49	o 200
1429.65/1429.60	c 1063.87 123.527 19537 48357370
1429.65/1429.60	o 199
1432.54/1432.53	c 1066.04 123.527 14325 48428375
1432.54/1432.53	o 198
1435.94/1435.94	c 1068.6 123.527 15137 48505698
1435.94/1435.94	o 196
1436.34/1436.38	c 1068.91 123.527 14816 48520846
1436.34/1436.38	o 194
1438.75/1438.79	c 1070.65 123.527 15275 48584851
1438.75/1438.79	o 193
1441.54/1441.50	c 1072.68 123.527 15655 48641955
1441.54/1441.50	o 188
1444.24/1444.24	c 1074.71 123.527 17325 48704938
1444.24/1444.24	o 187
1447.65/1447.64	c 1077.44 123.527 18836 48767683
1447.65/1447.64	o 186
1448.55/1448.52	c 1078.11 123.527 22081 48786723
1448.55/1448.52	o 185
1451.94/1451.99	c 1080.94 123.527 17126 48846865
1451.94/1451.99	o 184
1455.35/1455.36	c 1083.56 123.527 18362 48911201
1455.35/1455.36	o 181
1460.04/1460.07	c 1087.23 123.527 14771 49008357
1460.04/1460.07	o 180
1462.14/1462.14	c 1088.75 123.527 21164 49054876
1462.14/1462.14	o 179
1462.74/1462.73	c 1089.21 123.527 19452 49067901
1462.74/1462.73	o 178
1466.44/1466.45	c 1092.22 123.527 11854 49137406
1466.44/1466.45	o 177
1470.54/1470.59	c 1095.53 123.527 15695 49214657
1470.54/1470.59	o 176
1477.94/1477.90	c 1101.26 123.527 14212 49356344
1477.94/1477.90	o 170
1480.94/1480.98	c 1103.59 123.527 16807 49427138
1480.94/1480.98	o 168
1483.95/1483.92	c 1105.87 123.527 15722 49486372
1483.95/1483.93	o 166
1486.34/1486.33	c 1107.57 123.527 17486 49548447
1486.34/1486.33	o 164
1490.05/1490.01	c 1110.27 124.348 16889 49635372
1490.05/1490.01	o 163
1492.95/1492.93	c 1112.53 124.348 16487 49695862
1492.95/1492.93	o 146
1493.45/1493.42	c 1112.91 124.348 14396 49707868
1493.45/1493.42	o 145
1496.75/1496.71	c 1115.36 124.348 21377 49784138
1496.75/1496.71	o 144
1502.24/1502.23	c 1119.33 124.348 19276 49915104
1502.24/1502.23	o 143
1502.95/1502.97	c 1119.93 124.348 17731 49926861
1502.95/1502.97	o 138
1508.35/1508.33	c 1123.88 124.348 14904 50051398
1508.35/1508.33	o 136
1512.04/1512.05	c 1126.86 124.348 17936 50118291
1512.04/1512.05	o 135
1514.84/1514.87	c 1129.08 124.348 11280 50172191
1514.84/1514.87	o 134
1517.24/1517.26	c 1130.96 124.348 16401 50221185
1517.24/1517.26	o 131
1518.54/1518.50	c 1131.83 124.348 18817 50255773
1518.54/1518.50	o 130
1522.74/1522.79	c 1135.05 124.348 16215 50344153
1522.74/1522.79	o 120
1525.25/1525.20	c 1136.89 124.348 15073 50389479
1525.25/1525.20	o 118
1531.65/1531.66	c 1141.94 124.348 13347 50513661
1531.65/1531.66	o 116
1533.55/1533.56	c 1143.38 124.734 23265 50551102
1533.55/1533.56	o 114
1536.94/1536.98	c 1146.1 124.734 14142 50606133
1536.94/1536.98	o 112
1537.34/1537.36	c 1146.41 124.734 18234 50614580
1537.34/1537.36	o 111
1538.44/1538.47	c 1147.18 124.734 11835 50644148
1538.44/1538.47	o 110
1540.94/1540.95	c 1149.04 124.734 22671 50699720
1540.94/1540.96	o 109
1542.45/1542.47	c 1150.21 124.734 13316 50728882
1542.45/1542.47	o 108
1547.54/1547.50	c 1154.1 124.734 18399 50833193
1547.54/1547.50	o 107
1547.95/1547.92	c 1154.37 124.734 19852 50850728
1547.95/1547.92	o 105
1553.84/1553.84	c 1158.92 124.734 16843 50964207
1553.84/1553.84	o 104
1554.54/1554.58	c 1159.51 124.734 17066 50977974
1554.54/1554.58	o 102
1560.35/1560.33	c 1164.08 124.734 14109 51076885
1560.35/1560.33	o 101
1560.85/1560.83	c 1164.43 124.734 13282 51092987
1560.85/1560.83	o 100
1562.25/1562.20	c 1165.44 124.734 18204 51125582
1562.25/1562.20	o 99
1565.55/1565.56	c 1168.07 124.734 17441 51183812
1565.55/1565.56	o 98
1566.75/1566.70	c 1168.89 124.734 9862 51211333
1566.75/1566.70	o 97
1568.25/1568.27	c 1170.07 124.734 16056 51247526
1568.25/1568.27	o 96
1570.55/1570.57	c 1171.71 124.734 15282 51307821
1570.55/1570.57	o 95
1574.55/1574.52	c 1174.67 124.734 12841 51390805
1574.55/1574.52	o 94
1574.95/1574.93	c 1175.03 124.734 16401 51397041
1574.95/1574.93	o 93
1576.36/1576.39	c 1176.14 124.734 9811 51426567
1576.36/1576.39	o 91
1577.75/1577.73	c 1177.21 124.734 17659 51455003
1577.75/1577.73	o 88
1582.45/1582.40	c 1180.87 124.734 16660 51543734
1582.45/1582.40	o 87
1582.85/1582.83	c 1181.22 124.734 11165 51550390
1582.85/1582.83	o 86
1584.74/1584.74	c 1182.68 124.734 12139 51595423
1584.74/1584.74	o 84
1585.85/1585.89	c 1183.61 124.734 15205 51614964
1585.85/1585.89	o 82
1589.65/1589.67	c 1186.69 124.734 13687 51671986
1589.65/1589.67	o 81
1590.35/1590.36	c 1187.19 124.734 15743 51693520
1590.35/1590.36	o 77
1593.85/1593.82	c 1189.93 124.734 14710 51755852
1593.85/1593.82	o 76
1595.15/1595.16	c 1190.94 124.734 14879 51783731
1595.15/1595.16	o 72
1596.84/1596.86	c 1192.22 124.734 14257 51825030
1596.84/1596.86	o 71
1599.36/1599.39	c 1194.18 124.734 13420 51874400
1599.36/1599.39	o 66
1599.65/1599.66	c 1194.4 124.734 15771 51881192
1599.65/1599.66	o 64
1602.95/1602.90	c 1197.04 124.734 15749 51938644
1602.95/1602.90	o 63
1603.15/1603.15	c 1197.19 124.734 11775 51948671
1603.15/1603.15	o 62
1603.55/1603.52	c 1197.44 124.734 19017 51963274
1603.55/1603.52	o 57
1604.65/1604.62	c 1198.2 124.734 19990 51996365
1604.65/1604.62	o 56
1608.45/1608.49	c 1201.34 124.734 17702 52060249
1608.45/1608.49	o 54
1614.85/1614.82	c 1206.45 124.734 15435 52171225
1614.85/1614.82	o 52
1618.55/1618.58	c 1209.44 124.734 21435 52247915
1618.55/1618.58	o 50
1621.65/1621.67	c 1211.95 124.734 12261 52304474
1621.65/1621.67	o 48
1625.15/1625.16	c 1214.8 124.734 16755 52366036
1625.15/1625.16	o 47
1626.45/1626.49	c 1215.87 124.734 14923 52389551
1626.45/1626.49	o 46
1626.96/1626.93	c 1216.22 124.734 11323 52400908
1626.96/1626.93	o 43
1628.45/1628.43	c 1217.45 124.734 19718 52428587
1628.45/1628.43	o 41
1630.05/1630.02	c 1218.71 124.734 19236 52454801
1630.05/1630.02	o 40
1630.95/1630.95	c 1219.5 124.734 17050 52469378
1630.95/1630.95	o 38
1632.75/1632.77	c 1220.89 124.734 15023 52513225
1632.75/1632.77	o 37
1633.35/1633.33	c 1221.28 124.734 17439 52528301
1633.35/1633.33	o 35
1633.85/1633.88	c 1221.65 124.734 19911 52546772
1633.85/1633.88	o 34
1634.66/1634.61	c 1222.16 124.863 24472 52566050
1634.66/1634.61	o 33
1635.35/1635.36	c 1222.73 124.863 23309 52584551
1635.35/1635.36	o 32
1643.75/1643.79	c 1229.66 125.367 17685 52726526
1643.75/1643.79	o 31
1644.95/1644.95	c 1230.49 125.367 11837 52757142
1644.95/1644.95	o 30
1645.35/1645.38	c 1230.87 125.367 13797 52762731
1645.35/1645.38	o 28
1646.25/1646.22	c 1231.5 125.367 17598 52786769
1646.25/1646.22	o 27
1648.95/1648.93	c 1233.75 125.367 17337 52829190
1648.95/1648.93	o 25
1649.85/1649.89	c 1234.55 125.367 17798 52846442
1649.85/1649.89	o 24
1650.35/1650.31	c 1234.9 125.367 21460 52856073
1650.35/1650.31	o 23
1653.55/1653.55	c 1237.53 125.367 17890 52912252
1653.55/1653.55	o 22
1655.56/1655.53	c 1239.22 125.367 18195 52945318
1655.56/1655.53	o 20
1657.25/1657.24	c 1240.68 125.367 17455 52972899
1657.25/1657.24	o 18
1657.96/1657.95	c 1241.25 125.367 17338 52987246
1657.96/1657.95	o 14
1659.95/1659.94	c 1242.96 125.367 16295 53014093
1659.95/1659.94	o 12
1661.86/1661.80	c 1244.49 125.367 19792 53047888
1661.86/1661.80	o 9
1663.75/1663.74	c 1246.05 125.367 16645 53091372
1663.75/1663.74	o 8
1664.25/1664.28	c 1246.52 125.367 11693 53100716
1664.25/1664.28	o 7
1665.95/1665.97	c 1247.94 125.367 19426 53128347
1665.95/1665.97	o 6
1666.56/1666.58	c 1248.43 125.367 20039 53141500
1666.56/1666.58	o 5
1667.95/1667.97	c 1249.53 125.367 19498 53168308
1667.95/1667.97	o 4
1668.25/1668.27	c 1249.79 125.367 11599 53174962
1668.25/1668.27	o 3
1668.66/1668.68	c 1250.15 125.367 15858 53184773
1668.66/1668.68	o 1
1668.66/1668.69	c 1250.15 125.367 15860 53184776
1668.66/1668.69	s OPTIMUM FOUND
1668.66/1668.69	v -x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 -x21 x22 x23 x24 x25 -x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 -x52 x53 -x54 -x55 x56 -x57 -x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 -x74 -x75 -x76 x77 -x78 x79 x80 x81 x82 x83 x84 x85 x86 -x87 x88 -x89 x90 x91 x92 x93 x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 x108 -x109 -x110 x111 -x112 -x113 -x114 x115 -x116 x117 -x118 -x119 x120 -x121 -x122 x123 -x124 x125 -x126 -x127 -x128 x129 -x130 -x131 x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 -x164 x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 x205 x206 x207 x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 x231 x232 x233 -x234 -x235 -x236 -x237 -x238 x239 x240 x241 x242 x243 x244 x245 -x246 -x247 x248 x249 x250 x251 x252 -x253 -x254 x255 x256 x257 -x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 -x314 x315 -x316 x317 -x318 -x319 x320 x321 x322 x323 x324 x325 x326 x327 -x328 -x329 x330 x331 x332 -x333 -x334 x335 x336 -x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 -x348 -x349 x350 x351 x352 x353 x354 x355 x356 x357 -x358 x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 x367 -x368 -x369 x370 -x371 -x372 x373 x374 x375 x376 x377 -x378 -x379 x380 x381 -x382 -x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 -x413 x414 -x415 -x416 -x417 x418 -x419 x420 -x421 -x422 x423 -x424 -x425 x426 -x427 -x428 -x429 x430 -x431 x432 -x433 x434 -x435 -x436 -x437 -x438 x439 -x440 x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 x477 x478 x479 x480 x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 x496 -x497 x498 -x499 x500 -x501 -x502 -x503 -x504 x505 -x506 x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 x520 x521 x522 x523 x524 x525 x526 -x527 -x528 x529 -x530 -x531 x532 x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 x586 -x587 -x588 x589 -x590 x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 x602 -x603 x604 -x605 x606 -x607 -x608 -x609 x610 x611 x612 -x613 x614 x615 x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 x625 x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 x652 x653 x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 x691 x692 x693 x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 -x763 x764 -x765 x766 -x767 -x768 -x769 -x770 x771 x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 x783 -x784 -x785 x786 -x787 -x788 x789 -x790 -x791 x792 x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 x802 x803 -x804 -x805 x806 x807 -x808 x809 -x810 -x811 -x812 -x813 x814 -x815 x816 -x817 x818 -x819 x820 -x821 x822 -x823 x824 -x825 x826 -x827 x828 -x829 x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 x850 x851 x852 x853 x854 x855 x856 x857 -x858 x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 x924 x925 x926 x927 -x928 x929 -x930 -x931 x932 -x933 -x934 -x935 x936 -x937 -x938 x939 x940 -x941 x942 -x943 x944 -x945 x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 x954 x955 -x956 -x957 x958 x959 -x960 x961 -x962 x963 -x964 -x965 x966 x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 x1003 x1004 x1005 x1006 x1007 x1008 x1009 x1010 x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 x1077 -x1078 x1079 x1080 -x1081 x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 x1126 x1127 x1128 x1129 x1130 x1131 x1132 x1133 x1134 x1135 x1136 x1137 x1138 x1139 x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 x1160 x1161 x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 x1211 -x1212 x1213 -x1214 -x1215 x1216 x1217 -x1218 x1219 -x1220 x1221 -x1222 -x1223 x1224 x1225 -x1226 x1227 -x1228 x1229 -x1230 -x1231 -x1232 x1233 x1234 -x1235 x1236 x1237 -x1238 x1239 -x1240 x1241 -x1242 -x1243 -x1244 x1245 x1246 -x1247 x1248 x1249 -x1250 x1251 -x1252 x1253 -x1254 -x1255 -x1256 x1257 x1258 -x1259 x1260 x1261 -x1262 x1263 -x1264 x1265 -x1266 -x1267 -x1268 x1269 x1270 -x1271 x1272 x1273 -x1274 x1275 -x1276 x1277 -x1278 -x1279 -x1280 x1281 x1282 -x1283 -x1284 x1285 -x1286 x1287 -x1288 -x1289 -x1290 x1291 x1292 -x1293 -x1294 x1295 -x1296 x1297 -x1298 x1299 -x1300 -x1301 -x1302 x1303 x1304 -x1305 -x1306 x1307 x1308 x1309 -x1310 x1311 x1312 -x1313 -x1314 x1315 -x1316 x1317 -x1318 -x1319 x1320 -x1321 -x1322 x1323 x1324 -x1325 -x1326 x1327 -x1328 -x1329 x1330 -x1331 x1332 -x1333 -x1334 x1335 x1336 -x1337 -x1338 x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 x1349 x1350 x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 x1361 x1362 x1363 -x1364 x1365 -x1366 -x1367 x1368 x1369 -x1370 x1371 -x1372 x1373 -x1374 -x1375 -x1376 x1377 x1378 -x1379 x1380 x1381 -x1382 x1383 -x1384 x1385 -x1386 -x1387 -x1388 x1389 x1390 -x1391 x1392 x1393 -x1394 x1395 -x1396 x1397 -x1398 -x1399 -x1400 x1401 x1402 -x1403 x1404 x1405 -x1406 x1407 -x1408 x1409 -x1410 -x1411 -x1412 x1413 x1414 -x1415 x1416 x1417 -x1418 x1419 -x1420 x1421 -x1422 -x1423 -x1424 x1425 x1426 -x1427 x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 x1438 -x1439 x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 x1450 -x1451 x1452 -x1453 x1454 x1455 x1456 x1457 -x1458 -x1459 -x1460 x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 x1470 -x1471 x1472 x1473 -x1474 -x1475 x1476 -x1477 -x1478 x1479 x1480 -x1481 -x1482 x1483 x1484 x1485 -x1486 x1487 x1488 -x1489 -x1490 x1491 x1492 -x1493 -x1494 x1495 x1496 x1497 -x1498 x1499 x1500 x1501 -x1502 x1503 -x1504 x1505 -x1506 -x1507 -x1508 x1509 x1510 x1511 x1512 x1513 -x1514 x1515 -x1516 x1517 -x1518 -x1519 -x1520 x1521 x1522 x1523 x1524 x1525 x1526 -x1527 x1528 x1529 x1530 -x1531 x1532 x1533 x1534 x1535 x1536 x1537 x1538 -x1539 x1540 x1541 x1542 -x1543 x1544 x1545 x1546 x1547 -x1548 x1549 -x1550 -x1551 x1552 -x1553 x1554 -x1555 -x1556 -x1557 x1558 x1559 x1560 x1561 -x1562 x1563 -x1564 x1565 -x1566 -x1567 -x1568 x1569 x1570 -x1571 x1572 -x1573 x1574 x1575 -x1576 x1577 x1578 -x1579 x1580 x1581 -x1582 -x1583 x1584 -x1585 x1586 x1587 -x1588 x1589 x1590 -x1591 x1592 x1593 -x1594 -x1595 x1596 x1597 -x1598 x1599 x1600 -x1601 x1602 x1603 -x1604 x1605 -x1606 -x1607 x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 x1629 -x1630 -x1631 x1632 -x1633 x1634 x1635 x1636 x1637 x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 x1649 -x1650 x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 x1661 -x1662 x1663 x1664 -x1665 -x1666 -x1667 x1668 x1669 -x1670 x1671 -x1672 x1673 -x1674 -x1675 -x1676 x1677 -x1678 x1679 x1680 x1681 -x1682 x1683 -x1684 x1685 -x1686 -x1687 -x1688 x1689 x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 x1710 -x1711 x1712 -x1713 -x1714 -x1715 x1716 -x1717 x1718 x1719 x1720 x1721 x1722 -x1723 -x1724 x1725 -x1726 -x1727 x1728 -x1729 -x1730 x1731 x1732 x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 x1743 x1744 x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 x1753 -x1754 x1755 -x1756 x1757 -x1758 -x1759 -x1760 x1761 x1762 -x1763 x1764 x1765 -x1766 x1767 -x1768 x1769 -x1770 -x1771 -x1772 x1773 x1774 -x1775 x1776 x1777 -x1778 -x1779 x1780 x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 x1788 x1789 x1790 x1791 -x1792 x1793 x1794 x1795 -x1796 -x1797 -x1798 x1799 x1800 x1801 x1802 x1803 -x1804 x1805 x1806 x1807 -x1808 -x1809 -x1810 x1811 x1812 x1813 -x1814 x1815 -x1816 x1817 -x1818 -x1819 -x1820 x1821 x1822 -x1823 x1824 x1825 -x1826 x1827 -x1828 x1829 -x1830 -x1831 -x1832 x1833 x1834 -x1835 x1836 x1837 -x1838 x1839 -x1840 x1841 -x1842 -x1843 -x1844 x1845 x1846 -x1847 x1848 x1849 -x1850 x1851 -x1852 x1853 -x1854 -x1855 -x1856 x1857 x1858 -x1859 x1860 x1861 -x1862 x1863 -x1864 x1865 -x1866 -x1867 -x1868 x1869 x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 x1877 -x1878 x1879 -x1880 x1881 x1882 -x1883 x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 x1891 -x1892 x1893 x1894 -x1895 x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 x1910 x1911 x1912 x1913 x1914 x1915 x1916 x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 x1954 x1955 -x1956 x1957 -x1958 x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 x1966 x1967 -x1968 x1969 -x1970 x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 x1980 x1981 -x1982 x1983 x1984 -x1985 x1986 x1987 -x1988 -x1989 x1990 -x1991 x1992 x1993 -x1994 x1995 x1996 -x1997 x1998 x1999 -x2000 -x2001 x2002 -x2003 x2004 x2005 -x2006 -x2007 x2008 x2009 x2010 x2011 -x2012 x2013 -x2014 -x2015 x2016 -x2017 -x2018 x2019 x2020 x2021 x2022 x2023 -x2024 x2025 -x2026 -x2027 x2028 -x2029 -x2030 x2031 x2032 x2033 x2034 -x2035 -x2036 x2037 -x2038 -x2039 x2040 -x2041 -x2042 x2043 x2044 x2045 x2046 x2047 x2048 x2049 x2050 -x2051 -x2052 x2053 -x2054 -x2055 x2056 -x2057 -x2058 x2059 x2060 x2061 x2062 -x2063 -x2064 x2065 -x2066 -x2067 x2068 -x2069 -x2070 x2071 x2072 x2073 x2074 -x2075 -x2076 x2077 -x2078 -x2079 x2080 -x2081 -x2082 x2083 x2084 x2085 x2086 -x2087 -x2088 x2089 -x2090 -x2091 x2092 -x2093 -x2094 x2095 x2096 x2097 -x2098 x2099 -x2100 x2101 -x2102 -x2103 -x2104 x2105 x2106 -x2107 x2108 x2109 -x2110 x2111 -x2112 x2113 -x2114 -x2115 -x2116 x2117 x2118 -x2119 x2120 x2121 x2122 x2123 x2124 -x2125 -x2126 x2127 -x2128 -x2129 x2130 -x2131 -x2132 x2133 x2134 x2135 -x2136 x2137 -x2138 x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 x2183 x2184 x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 x2193 x2194 -x2195 -x2196 x2197 x2198 -x2199 x2200 x2201 x2202 -x2203 x2204 x2205 x2206 x2207 x2208 -x2209 x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 x2259 x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 x2272 x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 x2284 x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 x2296 x2297 -x2298 x2299 x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 x2308 x2309 -x2310 x2311 x2312 -x2313 x2314 x2315 -x2316 x2317 -x2318 x2319 -x2320 -x2321 -x2322 x2323 x2324 x2325 x2326 x2327 -x2328 x2329 -x2330 x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 x2338 x2339 x2340 x2341 -x2342 x2343 x2344 x2345 -x2346 -x2347 -x2348 x2349 x2350 x2351 -x2352 x2353 -x2354 x2355 -x2356 -x2357 -x2358 x2359 x2360 x2361 -x2362 x2363 -x2364 x2365 x2366 -x2367 -x2368 x2369 -x2370 x2371 -x2372 -x2373 x2374 x2375 -x2376 x2377 -x2378 x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 x2387 x2388 x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 x2396 x2397 x2398 x2399 -x2400 x2401 x2402 -x2403 -x2404 x2405 x2406 x2407 x2408 -x2409 x2410 x2411 x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 x2432 x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 x2440 x2441 x2442 -x2443 -x2444 x2445 x2446 -x2447 x2448 x2449 x2450 x2451 x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 x2469 x2470 x2471 -x2472 x2473 -x2474 x2475 x2476 x2477 x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 x2485 x2486 x2487 -x2488 x2489 -x2490 x2491 x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 x2499 x2500 -x2501 x2502 -x2503 x2504 x2505 x2506 -x2507 x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 x2515 -x2516 x2517 -x2518 -x2519 -x2520 x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 x2533 x2534 -x2535 -x2536 -x2537 x2538 -x2539 x2540 -x2541 x2542 -x2543 x2544 -x2545 x2546 -x2547 -x2548 -x2549 x2550 x2551 x2552 -x2553 -x2554 x2555 -x2556 x2557 -x2558 x2559 -x2560 x2561 x2562 -x2563 x2564 -x2565 x2566 -x2567 x2568 x2569 -x2570 -x2571 -x2572 x2573 -x2574 x2575 x2576 x2577 x2578 -x2579 x2580 x2581 -x2582 x2583 -x2584 x2585 -x2586 x2587 -x2588 -x2589 x2590 x2591 x2592 x2593 x2594 -x2595 -x2596 x2597 x2598 -x2599 -x2600 x2601 x2602 -x2603 x2604 x2605 -x2606 x2607 x2608 -x2609 x2610 x2611 -x2612 -x2613 x2614 -x2615 x2616 x2617 x2618 x2619 x2620 -x2621 -x2622 x2623 -x2624 x2625 x2626 x2627 x2628 x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 -x2646 x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 x2657 -x2658 -x2659 -x2660 -x2661 x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 x2675 -x2676 x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 x2697 x2698 -x2699 x2700 x2701 x2702 -x2703 -x2704 x2705 -x2706 x2707 -x2708 -x2709 -x2710 x2711 -x2712 x2713 x2714 -x2715 x2716 -x2717 -x2718 -x2719 x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 x2728 -x2729 -x2730 x2731 x2732 x2733 -x2734 -x2735 x2736 -x2737 -x2738 x2739 x2740 -x2741 x2742 x2743 x2744 -x2745 -x2746 -x2747 -x2748 x2749 x2750 x2751 x2752 -x2753 -x2754 -x2755 -x2756 x2757 x2758 x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 x2771 x2772 -x2773 x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x2800 -x2801 x2802 -x2803 -x2804 -x2805 x2806 x2807 -x2808 x2809 x2810 x2811 x2812 x2813 -x2814 -x2815 x2816 -x2817 -x2818 x2819 -x2820 -x2821 -x2822 x2823 x2824 -x2825 -x2826 x2827 x2828 x2829 x2830 -x2831 x2832 -x2833 x2834 -x2835 -x2836 -x2837 x2838 x2839 -x2840 x2841 x2842 -x2843 x2844 -x2845 x2846 -x2847 -x2848 -x2849 x2850 -x2851 x2852 x2853 -x2854 -x2855 x2856 x2857 -x2858 x2859 -x2860 x2861 -x2862 x2863 -x2864 -x2865 x2866 x2867 -x2868 x2869 x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 x2894 -x2895 x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 x2903 -x2904 x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 x2912 x2913

OK	1

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698796-1278461544/watcher-2698796-1278461544 -o /tmp/evaluation-result-2698796-1278461544/solver-2698796-1278461544 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698796-1278461544.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11128
/proc/meminfo: memFree=30738816/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=2136 CPUtime=0
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 253 0 0 0 0 0 0 0 22 0 1 0 14301660 2187264 173 4089446400 134512640 136422188 4287826848 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11128/statm: 534 173 144 467 0 65 0

[startup+0.0291649 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11128
/proc/meminfo: memFree=30738816/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=2928 CPUtime=0.02
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 434 0 0 0 2 0 0 0 22 0 1 0 14301660 2998272 354 4089446400 134512640 136422188 4287826848 18446744073709551615 135812218 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11128/statm: 732 355 144 467 0 263 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2928

[startup+0.101165 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11128
/proc/meminfo: memFree=30738816/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=15564 CPUtime=0.09
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 3601 0 0 0 9 0 0 0 22 0 1 0 14301660 15937536 3521 4089446400 134512640 136422188 4287826848 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/11128/statm: 3891 3522 193 467 0 3422 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15564

[startup+0.301132 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11128
/proc/meminfo: memFree=30738816/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=51296 CPUtime=0.29
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 13143 0 0 0 28 1 0 0 22 0 1 0 14301660 52527104 12367 4089446400 134512640 136422188 4287826848 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/11128/statm: 12824 12368 193 467 0 12355 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51296

[startup+0.70105 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11128
/proc/meminfo: memFree=30738816/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=101448 CPUtime=0.69
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 25960 0 0 0 59 10 0 0 24 0 1 0 14301660 103882752 24109 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/11128/statm: 25362 24109 214 467 0 24893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101448

[startup+1.5009 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30642840/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=103380 CPUtime=1.49
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 26565 0 0 0 111 38 0 0 25 0 1 0 14301660 105861120 24395 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/11128/statm: 25845 24395 237 467 0 25376 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103380

[startup+3.1006 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30640732/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=104464 CPUtime=3.09
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 26828 0 0 0 232 77 0 0 25 0 1 0 14301660 106971136 24658 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/11128/statm: 26116 24658 237 467 0 25647 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104464

[startup+6.30099 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30640144/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=105784 CPUtime=6.29
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 27158 0 0 0 454 175 0 0 25 0 1 0 14301660 108322816 24988 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/11128/statm: 26446 24988 237 467 0 25977 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 105784

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30639164/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=106312 CPUtime=12.7
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 27296 0 0 0 895 375 0 0 25 0 1 0 14301660 108863488 25124 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/11128/statm: 26578 25124 237 467 0 26109 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 106312

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11156
/proc/meminfo: memFree=30739180/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=107104 CPUtime=25.49
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 27510 0 0 0 1847 702 0 0 25 0 1 0 14301660 109674496 25334 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/11128/statm: 26776 25334 237 467 0 26307 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 107104

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11185
/proc/meminfo: memFree=30638268/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=109216 CPUtime=51.09
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 28025 0 0 0 3695 1414 0 0 25 0 1 0 14301660 111837184 25839 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/11128/statm: 27304 25839 237 467 0 26835 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 109216

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11185
/proc/meminfo: memFree=30634108/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=111592 CPUtime=102.29
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 28647 0 0 0 7428 2801 0 0 25 0 1 0 14301660 114270208 26438 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 27898 26438 237 467 0 27429 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 111592

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11187
/proc/meminfo: memFree=30631548/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=113968 CPUtime=162.29
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 29292 0 0 0 11765 4464 0 0 25 0 1 0 14301660 116703232 27053 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 28492 27053 237 467 0 28023 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 113968

[startup+222.301 s]
/proc/loadavg: 2.07 2.02 1.92 3/178 11189
/proc/meminfo: memFree=30630216/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=115288 CPUtime=222.29
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 29616 0 0 0 16122 6107 0 0 25 0 1 0 14301660 118054912 27349 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 28822 27349 237 467 0 28353 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 115288

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 11191
/proc/meminfo: memFree=30628648/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=116660 CPUtime=282.29
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 30010 0 0 0 20542 7687 0 0 25 0 1 0 14301660 119459840 27709 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 29165 27709 237 467 0 28696 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 116660

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 11219
/proc/meminfo: memFree=30695660/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=117716 CPUtime=342.3
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 30323 0 0 0 24893 9337 0 0 25 0 1 0 14301660 120541184 27985 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 29429 27985 237 467 0 28960 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 117716

[startup+402.3 s]
/proc/loadavg: 1.96 1.99 1.91 3/178 11328
/proc/meminfo: memFree=30072592/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=118772 CPUtime=402.3
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 30634 0 0 0 29332 10898 0 0 25 0 1 0 14301660 121622528 28261 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 29693 28261 237 467 0 29224 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 118772

[startup+462.301 s]
/proc/loadavg: 1.98 1.99 1.91 3/178 11330
/proc/meminfo: memFree=30068028/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=119508 CPUtime=462.3
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 30841 0 0 0 33727 12503 0 0 25 0 1 0 14301660 122376192 28434 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 29877 28434 237 467 0 29408 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 119508

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 11332
/proc/meminfo: memFree=30065724/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=120036 CPUtime=522.31
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 31000 0 0 0 38114 14117 0 0 25 0 1 0 14301660 122916864 28562 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 30009 28562 237 467 0 29540 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 120036

[startup+582.301 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 11334
/proc/meminfo: memFree=30063548/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=120432 CPUtime=582.31
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 31112 0 0 0 42618 15613 0 0 25 0 1 0 14301660 123322368 28644 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 30108 28644 237 467 0 29639 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 120432

[startup+642.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 11335
/proc/meminfo: memFree=30060500/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=120960 CPUtime=642.32
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 31296 0 0 0 47111 17121 0 0 25 0 1 0 14301660 123863040 28792 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 30240 28792 237 467 0 29771 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 120960

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=30055000/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=123664 CPUtime=942.33
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 32130 0 0 0 69456 24777 0 0 25 0 1 0 14301660 126631936 29456 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 30916 29456 237 467 0 30447 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 123664

[startup+1002.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 11344
/proc/meminfo: memFree=30054312/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=124192 CPUtime=1002.32
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 32303 0 0 0 73926 26306 0 0 25 0 1 0 14301660 127172608 29593 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31048 29593 237 467 0 30579 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 124192

[startup+1062.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 11349
/proc/meminfo: memFree=30053708/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=124324 CPUtime=1062.33
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 32364 0 0 0 78451 27782 0 0 25 0 1 0 14301660 127307776 29628 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31081 29628 237 467 0 30612 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 124324

[startup+1122.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/178 11351
/proc/meminfo: memFree=30052448/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=124588 CPUtime=1122.33
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 32460 0 0 0 83033 29200 0 0 25 0 1 0 14301660 127578112 29689 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31147 29689 237 467 0 30678 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 124588

[startup+1182.3 s]
/proc/loadavg: 2.03 2.00 1.92 3/178 11353
/proc/meminfo: memFree=30051644/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=124984 CPUtime=1182.33
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 32612 0 0 0 87582 30651 0 0 25 0 1 0 14301660 127983616 29812 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31246 29812 237 467 0 30777 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 124984

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 11354
/proc/meminfo: memFree=30051180/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=125116 CPUtime=1242.33
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 32675 0 0 0 92072 32161 0 0 25 0 1 0 14301660 128118784 29843 4089446400 134512640 136422188 4287826848 18446744073709551615 135025957 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31279 29843 237 467 0 30810 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 125116

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 11355
/proc/meminfo: memFree=30050108/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=126224 CPUtime=1302.34
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 32969 0 0 0 96684 33550 0 0 25 0 1 0 14301660 129253376 30110 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31556 30110 237 467 0 31087 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 126224

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 11357
/proc/meminfo: memFree=30049672/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=126224 CPUtime=1362.34
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 32998 0 0 0 101167 35067 0 0 25 0 1 0 14301660 129253376 30113 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31556 30113 237 467 0 31087 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 126224

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11359
/proc/meminfo: memFree=30049208/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=126488 CPUtime=1422.35
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 33078 0 0 0 105825 36410 0 0 25 0 1 0 14301660 129523712 30165 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31622 30165 237 467 0 31153 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 126488

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11361
/proc/meminfo: memFree=30048512/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=126488 CPUtime=1482.34
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 33132 0 0 0 110464 37770 0 0 25 0 1 0 14301660 129523712 30198 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31622 30198 237 467 0 31153 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 126488

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11362
/proc/meminfo: memFree=30046448/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=127724 CPUtime=1542.35
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 33378 0 0 0 115010 39225 0 0 25 0 1 0 14301660 130789376 30423 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31931 30423 237 467 0 31462 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 127724

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11363
/proc/meminfo: memFree=30046616/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=127724 CPUtime=1602.35
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 33408 0 0 0 119653 40582 0 0 25 0 1 0 14301660 130789376 30426 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31931 30426 237 467 0 31462 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 127724

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11365
/proc/meminfo: memFree=30046028/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=128372 CPUtime=1662.35
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 33540 0 0 0 124490 41745 0 0 25 0 1 0 14301660 131452928 30526 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 32093 30526 237 467 0 31624 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 128372

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

[startup+1663.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11365
/proc/meminfo: memFree=30046016/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=128372 CPUtime=1663.95
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 33541 0 0 0 124618 41777 0 0 25 0 1 0 14301660 131452928 30526 4089446400 134512640 136422188 4287826848 18446744073709551615 134868568 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 32093 30526 237 467 0 31624 0
Current children cumulated CPU time (s) 1663.95
Current children cumulated vsize (KiB) 128372

[startup+1667.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 11368
/proc/meminfo: memFree=30745644/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=128372 CPUtime=1667.15
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 33545 0 0 0 124881 41834 0 0 25 0 1 0 14301660 131452928 30527 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 32093 30527 237 467 0 31624 0
Current children cumulated CPU time (s) 1667.15
Current children cumulated vsize (KiB) 128372

[startup+1667.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11392
/proc/meminfo: memFree=30743444/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=128372 CPUtime=1667.95
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 33545 0 0 0 124947 41848 0 0 25 0 1 0 14301660 131452928 30527 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 32093 30527 237 467 0 31624 0
Current children cumulated CPU time (s) 1667.95
Current children cumulated vsize (KiB) 128372

[startup+1668.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11392
/proc/meminfo: memFree=30743444/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=128372 CPUtime=1668.36
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 33549 0 0 0 124981 41855 0 0 25 0 1 0 14301660 131452928 30529 4089446400 134512640 136422188 4287826848 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 32093 30529 237 467 0 31624 0
Current children cumulated CPU time (s) 1668.36
Current children cumulated vsize (KiB) 128372

[startup+1668.71 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11392
/proc/meminfo: memFree=30742948/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=124568 CPUtime=1668.76
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 33554 0 0 0 125016 41860 0 0 25 0 1 0 14301660 127557632 29912 4089446400 134512640 136422188 4287826848 18446744073709551615 134710632 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 31142 29912 240 467 0 30673 0
Current children cumulated CPU time (s) 1668.76
Current children cumulated vsize (KiB) 124568

[startup+1668.8 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11392
/proc/meminfo: memFree=30742948/32950928 swapFree=67111528/67111528
[pid=11128] ppid=11126 vsize=119440 CPUtime=1668.85
/proc/11128/stat : 11128 (pbct) R 11126 11128 10681 0 -1 4202496 33554 0 0 0 125025 41860 0 0 25 0 1 0 14301660 122306560 28967 4089446400 134512640 136422188 4287826848 18446744073709551615 135805458 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11128/statm: 29860 28967 240 467 0 29391 0
Current children cumulated CPU time (s) 1668.85
Current children cumulated vsize (KiB) 119440

Child status: 0
Real time (s): 1668.87
CPU time (s): 1668.93
CPU user time (s): 1250.32
CPU system time (s): 418.607
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 128372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1250.32
system time used= 418.607
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33555
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= 2
involuntary context switches= 2809

runsolver used 2.95555 second user time and 5.68314 second system time

The end

Begin job on node115 at 2010-07-07 02:12:24
IDJOB=2698796
IDBENCH=79006
IDSOLVER=1212
FILE ID=node115/2698796-1278461544
PBS_JOBID= 11233762
Free space on /tmp= 73752 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698796-1278461544/watcher-2698796-1278461544 -o /tmp/evaluation-result-2698796-1278461544/solver-2698796-1278461544 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698796-1278461544.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0513f373de819ad63cf76545ce499638
RANDOM SEED=918270630

node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30739584 kB
Buffers:         97676 kB
Cached:        1782400 kB
SwapCached:          0 kB
Active:         783068 kB
Inactive:      1293244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30739584 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4564 kB
Writeback:           0 kB
AnonPages:      195844 kB
Mapped:          15616 kB
Slab:            71432 kB
PageTables:       5024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   341224 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73748 MiB
End job on node115 at 2010-07-07 02:40:13