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.00/0.06	c constraints 51/121 clauses 2255/4908 units 166
0.00/0.06	c vars 2728
0.59/0.63	c 0.510922 52.4141 138 190104
0.59/0.63	o 33213
0.59/0.66	c 0.52492 53.1484 148 202183
0.59/0.66	o 32432
0.59/0.69	c 0.548916 53.1484 162 220573
0.59/0.69	o 31811
0.69/0.77	c 0.607907 53.1484 265 232273
0.69/0.77	o 23452
0.79/0.84	c 0.6519 53.2773 351 236073
0.79/0.84	o 23451
0.79/0.85	c 0.661899 53.2773 357 241622
0.79/0.85	o 17204
0.89/0.96	c 0.742887 53.4062 461 249914
0.89/0.96	o 13562
0.89/0.98	c 0.749886 53.4062 463 255153
0.89/0.98	o 12521
0.89/0.99	c 0.761884 53.4062 465 260720
0.89/0.99	o 12479
1.10/1.12	c 0.856869 53.5352 574 268875
1.10/1.12	o 12466
1.10/1.13	c 0.866868 53.5352 576 275114
1.10/1.13	o 9294
1.10/1.15	c 0.876866 53.5352 583 278686
1.10/1.15	o 9291
1.10/1.16	c 0.885865 53.5352 586 284869
1.10/1.16	o 9176
1.10/1.18	c 0.894863 53.5352 591 291578
1.10/1.18	o 8772
1.10/1.19	c 0.903862 53.5352 592 296811
1.10/1.19	o 8521
1.19/1.20	c 0.911861 53.5352 592 302031
1.19/1.20	o 8417
1.19/1.21	c 0.922859 53.5352 595 305224
1.19/1.21	o 8414
1.19/1.22	c 0.929858 53.5352 597 310534
1.19/1.22	o 7354
1.19/1.24	c 0.936857 53.5352 597 315771
1.19/1.24	o 7012
1.19/1.25	c 0.944856 53.5352 598 320637
1.19/1.25	o 6983
1.19/1.26	c 0.955854 53.5352 599 325692
1.19/1.26	o 6955
1.19/1.28	c 0.966853 53.5352 606 328877
1.19/1.28	o 6952
1.19/1.29	c 0.976851 53.5352 606 334110
1.19/1.29	o 5753
1.29/1.30	c 0.98485 53.5352 606 338291
1.29/1.30	o 5732
1.29/1.31	c 0.993848 53.5352 606 341792
1.29/1.31	o 5730
1.29/1.32	c 1.00185 53.5352 606 346934
1.29/1.32	o 5653
1.29/1.34	c 1.01085 53.5352 607 351215
1.29/1.34	o 5647
1.29/1.35	c 1.01885 53.5352 608 356541
1.29/1.35	o 5310
1.29/1.36	c 1.02784 53.5352 608 361809
1.29/1.36	o 4873
1.29/1.37	c 1.03684 53.5352 608 365239
1.29/1.37	o 4867
1.29/1.38	c 1.04384 53.5352 608 368469
1.29/1.38	o 4866
1.29/1.40	c 1.05284 53.5352 609 372439
1.29/1.40	o 4864
2.29/2.33	c 1.69074 54.0508 1781 382653
2.29/2.33	o 4863
4.19/4.23	c 2.99554 54.9531 3720 395657
4.19/4.23	o 4862
4.49/4.53	c 3.19551 55.082 3967 397952
4.49/4.53	o 4861
5.39/5.41	c 3.78742 55.2109 2238 405779
5.39/5.41	o 4860
5.49/5.53	c 3.87041 55.2109 2288 410645
5.49/5.53	o 4859
6.50/6.57	c 4.5763 55.2109 3588 417170
6.50/6.57	o 4852
6.50/6.58	c 4.5873 55.2109 3589 420788
6.50/6.58	o 4844
6.50/6.60	c 4.5983 55.2109 3589 424040
6.50/6.60	o 4841
6.60/6.61	c 4.6093 55.2109 3589 427604
6.60/6.61	o 4838
6.60/6.62	c 4.6193 55.2109 3589 430994
6.60/6.62	o 4836
6.60/6.64	c 4.6283 55.2109 3589 433832
6.60/6.64	o 4834
6.60/6.68	c 4.65929 55.2109 3607 435516
6.60/6.68	o 4832
6.69/6.73	c 4.69129 55.2109 3629 437475
6.69/6.73	o 4831
6.69/6.76	c 4.71828 55.2109 3639 439514
6.69/6.76	o 4830
6.69/6.77	c 4.72928 55.2109 3639 443050
6.69/6.77	o 4825
6.69/6.79	c 4.74128 55.2109 3639 446438
6.69/6.79	o 4824
6.79/6.80	c 4.75228 55.2109 3640 450209
6.79/6.80	o 4823
6.79/6.81	c 4.76128 55.2109 3640 454053
6.79/6.81	o 4822
6.79/6.83	c 4.77027 55.2109 3640 457448
6.79/6.83	o 4820
6.79/6.84	c 4.78227 55.2109 3640 461262
6.79/6.84	o 4815
6.79/6.85	c 4.79327 55.2109 3641 464723
6.79/6.85	o 4814
6.79/6.87	c 4.80327 55.2109 3643 471151
6.79/6.87	o 4801
6.79/6.88	c 4.81027 55.2109 3645 474934
6.79/6.88	o 4796
6.89/6.99	c 4.87626 55.2109 3746 481365
6.89/6.99	o 4794
6.99/7.00	c 4.88526 55.2109 3746 485074
6.99/7.00	o 4792
6.99/7.01	c 4.89626 55.2109 3748 489891
6.99/7.01	o 4755
6.99/7.03	c 4.90725 55.2109 3750 493935
6.99/7.03	o 4750
6.99/7.04	c 4.91725 55.2109 3753 499271
6.99/7.04	o 4745
7.09/7.17	c 5.00624 55.2109 3851 501674
7.09/7.17	o 4743
7.09/7.18	c 5.01424 55.2109 3852 505434
7.09/7.18	o 4735
7.09/7.19	c 5.02224 55.2109 3852 509631
7.09/7.19	o 4734
7.19/7.20	c 5.02923 55.2109 3852 514961
7.19/7.20	o 4156
7.19/7.22	c 5.04023 55.2109 3854 520204
7.19/7.22	o 4144
7.19/7.23	c 5.04623 55.2109 3856 524725
7.19/7.23	o 4130
7.19/7.24	c 5.05823 55.2109 3857 531701
7.19/7.24	o 3992
7.19/7.27	c 5.07523 55.2109 3865 534527
7.19/7.27	o 3990
7.19/7.28	c 5.08523 55.2109 3865 538166
7.19/7.28	o 3987
7.19/7.29	c 5.09822 55.2109 3866 543843
7.19/7.29	o 3755
7.49/7.52	c 5.2502 55.2109 4023 546962
7.49/7.52	o 3754
8.99/9.06	c 6.30004 55.2109 2815 558761
8.99/9.06	o 3748
8.99/9.08	c 6.31004 55.2109 2815 562475
8.99/9.08	o 3747
9.09/9.15	c 6.35903 55.2109 2852 563800
9.09/9.15	o 3746
10.39/10.42	c 7.2469 55.2109 3856 568587
10.39/10.42	o 3745
10.49/10.56	c 7.33788 55.2109 3964 572050
10.49/10.56	o 3742
10.68/10.79	c 7.49586 55.2109 4118 574166
10.68/10.79	o 3739
11.08/11.13	c 7.73182 55.2109 4413 577511
11.08/11.13	o 3738
13.59/13.62	c 9.41957 55.2109 4196 584985
13.59/13.62	o 3736
13.69/13.73	c 9.49956 55.2109 4344 587197
13.69/13.73	o 3734
13.79/13.84	c 9.57254 55.2109 2231 589162
13.79/13.84	o 3733
13.79/13.85	c 9.58154 55.2109 2232 593177
13.79/13.85	o 3725
13.99/14.06	c 9.72552 55.2109 2332 599709
13.99/14.06	o 3701
14.09/14.19	c 9.82551 55.2109 2396 601334
14.09/14.19	o 3698
14.69/14.71	c 10.1765 55.2109 2975 606026
14.69/14.71	o 3697
16.89/16.90	c 11.6762 55.2109 2530 613250
16.89/16.90	o 3696
17.39/17.40	c 12.0382 55.2109 2920 616916
17.39/17.40	o 3694
18.09/18.11	c 12.5241 55.2109 3532 623555
18.09/18.11	o 3691
18.19/18.20	c 12.5831 55.2109 3633 630661
18.19/18.20	o 3605
19.49/19.58	c 13.5309 55.2109 2868 641500
19.49/19.58	o 3604
19.49/19.60	c 13.5399 55.2109 2868 644933
19.49/19.60	o 3601
19.59/19.61	c 13.5489 55.2109 2868 648314
19.59/19.61	o 3599
19.70/19.71	c 13.6049 55.2109 2923 649842
19.70/19.71	o 3597
20.09/20.13	c 13.8969 55.2109 3242 656456
20.09/20.13	o 3589
21.89/21.98	c 15.1477 55.2109 2423 664369
21.89/21.98	o 3588
21.99/22.05	c 15.2067 55.2109 2452 666289
21.99/22.05	o 3587
22.19/22.27	c 15.3507 55.2109 2655 672492
22.19/22.27	o 3586
22.69/22.74	c 15.6676 55.2109 2914 675702
22.69/22.74	o 3585
22.89/22.94	c 15.7916 55.2109 3118 679748
22.89/22.94	o 3584
31.69/31.71	c 21.6257 55.3398 3351 703552
31.69/31.71	o 3583
31.69/31.77	c 21.6687 55.3398 3388 704728
31.69/31.77	o 3582
31.80/31.81	c 21.6967 55.3398 3488 707347
31.80/31.81	o 3581
31.80/31.90	c 21.7617 55.3398 3531 708466
31.80/31.90	o 3580
32.19/32.29	c 22.0386 55.3398 4065 712781
32.19/32.29	o 3579
32.69/32.72	c 22.3276 55.3398 4389 715335
32.69/32.72	o 3578
33.29/33.33	c 22.7555 55.3398 2551 721966
33.29/33.33	o 3577
33.69/33.71	c 22.9925 55.3398 2844 724799
33.69/33.71	o 3576
34.00/34.07	c 23.2465 55.3398 3203 727981
34.00/34.07	o 3575
34.19/34.22	c 23.3465 55.3398 3414 733148
34.19/34.22	o 3574
34.29/34.38	c 23.4504 55.3398 3551 736865
34.29/34.38	o 3573
36.09/36.18	c 24.6812 55.3398 2560 745048
36.09/36.18	o 3571
36.89/36.91	c 25.1812 55.3398 3167 747367
36.89/36.91	o 3570
36.89/36.96	c 25.2152 55.3398 3273 749588
36.89/36.96	o 3568
37.39/37.47	c 25.5661 55.3398 3608 752893
37.39/37.48	o 3567
37.69/37.78	c 25.7711 55.3398 3910 756904
37.69/37.78	o 3566
37.79/37.84	c 25.8171 55.3398 3931 758242
37.79/37.84	o 3564
40.09/40.12	c 27.3698 55.3398 2916 762758
40.09/40.12	o 3563
81.49/81.54	c 55.0176 55.9844 4950 826017
81.49/81.54	o 3562
82.19/82.27	c 55.5296 55.9844 3017 830001
82.19/82.27	o 3561
83.19/83.28	c 56.2055 55.9844 3710 834934
83.19/83.28	o 3560
83.30/83.35	c 56.2584 55.9844 3819 836009
83.30/83.35	o 3559
83.79/83.84	c 56.6074 55.9844 4136 839835
83.79/83.84	o 3558
84.60/84.65	c 57.1573 55.9844 2774 845825
84.60/84.65	o 3557
84.70/84.79	c 57.2513 55.9844 2850 847893
84.70/84.79	o 3556
84.79/84.83	c 57.2773 55.9844 2879 850370
84.79/84.83	o 3555
87.29/87.35	c 59.006 55.9844 2331 859316
87.29/87.35	o 3554
87.49/87.54	c 59.123 55.9844 2545 861258
87.49/87.54	o 3553
87.89/87.91	c 59.378 55.9844 2745 864183
87.89/87.91	o 3552
87.89/87.93	c 59.388 55.9844 2749 866305
87.89/87.93	o 3551
89.19/89.27	c 60.3058 55.9844 4464 873118
89.19/89.27	o 3550
90.10/90.12	c 60.8627 55.9844 2798 879272
90.10/90.12	o 3549
90.10/90.17	c 60.8987 55.9844 2903 882378
90.10/90.17	o 3548
90.10/90.20	c 60.9127 55.9844 2910 884735
90.10/90.20	o 3547
93.09/93.14	c 62.8784 55.9844 3010 897365
93.09/93.14	o 3546
93.20/93.23	c 62.9484 55.9844 3071 899449
93.20/93.23	o 3545
95.49/95.51	c 64.5242 55.9844 2568 908703
95.49/95.51	o 3544
96.49/96.59	c 65.2511 55.9844 3370 917067
96.49/96.59	o 3543
96.70/96.78	c 65.3801 55.9844 3462 918551
96.70/96.78	o 3542
97.49/97.54	c 65.899 55.9844 3957 921236
97.49/97.54	o 3541
100.49/100.53	c 67.8587 55.9844 4241 934556
100.49/100.53	o 3540
118.80/118.89	c 80.1968 56.2422 3801 968493
118.80/118.89	o 3539
121.90/121.94	c 82.2265 56.2422 4105 981256
121.90/121.94	o 3538
123.09/123.15	c 83.0764 56.2422 2420 985676
123.09/123.15	o 3537
123.09/123.18	c 83.0984 56.2422 2440 988078
123.09/123.18	o 3536
124.59/124.66	c 84.0812 56.2422 3366 993092
124.59/124.66	o 3535
125.20/125.21	c 84.4572 56.2422 3760 998113
125.20/125.21	o 3534
125.70/125.79	c 84.8641 56.2422 4201 1002019
125.70/125.79	o 3533
126.00/126.03	c 85.0321 56.2422 4436 1005298
126.00/126.03	o 3532
130.29/130.30	c 87.8206 56.2422 3685 1022460
130.29/130.30	o 3531
134.10/134.19	c 90.4223 56.2422 5299 1026496
134.10/134.19	o 3530
136.20/136.25	c 91.815 56.2422 4075 1035441
136.20/136.25	o 3529
139.39/139.47	c 93.9467 56.2422 3997 1045841
139.39/139.47	o 3528
139.49/139.54	c 94.0007 56.2422 4102 1049062
139.49/139.54	o 3527
139.49/139.56	c 94.0127 56.2422 4105 1050971
139.49/139.56	o 3526
139.49/139.58	c 94.0287 56.2422 4108 1053648
139.49/139.58	o 3525
139.49/139.59	c 94.0387 56.2422 4110 1056172
139.49/139.59	o 3524
139.59/139.65	c 94.0807 56.2422 4145 1058647
139.59/139.65	o 3523
139.59/139.67	c 94.0967 56.2422 4158 1061707
139.59/139.67	o 3522
143.90/143.98	c 97.0422 56.2422 3700 1077788
143.90/143.98	o 3521
144.90/144.96	c 97.7131 56.2422 4349 1082490
144.90/144.96	o 3520
154.60/154.62	c 104.05 56.2422 3566 1108087
154.60/154.62	o 3519
194.89/194.97	c 130.832 56.6289 3925 1157037
194.89/194.97	o 3518
196.50/196.54	c 131.899 56.6289 2870 1165267
196.50/196.54	o 3517
196.70/196.71	c 132.025 56.6289 2992 1169043
196.70/196.71	o 3516
199.90/199.99	c 134.183 56.6289 3555 1183982
199.90/199.99	o 3515
200.60/200.66	c 134.63 56.6289 4162 1189689
200.60/200.66	o 3514
200.80/200.87	c 134.776 56.6289 4249 1190806
200.80/200.87	o 3513
201.09/201.11	c 134.942 56.6289 4354 1195714
201.09/201.11	o 3512
201.09/201.18	c 134.994 56.6289 4467 1198821
201.09/201.18	o 3510
201.20/201.20	c 135.007 56.6289 4472 1201040
201.20/201.20	o 3509
201.30/201.34	c 135.098 56.6289 2305 1203326
201.30/201.34	o 3508
201.70/201.72	c 135.359 56.6289 2562 1206634
201.70/201.72	o 3507
201.89/201.94	c 135.503 56.6289 2765 1210145
201.89/201.94	o 3506
202.79/202.83	c 136.089 56.6289 3472 1215561
202.79/202.83	o 3505
211.11/211.14	c 141.596 56.6289 2794 1235833
211.11/211.14	o 3504
211.70/211.73	c 142 56.6289 3129 1239897
211.70/211.73	o 3503
211.90/211.92	c 142.134 56.6289 3277 1242091
211.90/211.92	o 3502
214.40/214.44	c 143.794 56.6289 2797 1251095
214.40/214.44	o 3501
214.40/214.48	c 143.819 56.6289 2813 1253238
214.40/214.48	o 3499
219.60/219.63	c 147.306 56.6289 2651 1272517
219.60/219.63	o 3498
223.60/223.65	c 149.998 56.6289 3672 1287191
223.60/223.65	o 3497
223.69/223.72	c 150.046 56.6289 3779 1289009
223.69/223.72	o 3496
224.20/224.28	c 150.418 56.6289 4113 1292855
224.20/224.28	o 3495
225.99/226.05	c 151.642 56.6289 5203 1295851
225.99/226.05	o 3493
226.10/226.19	c 151.736 56.6289 2741 1297543
226.10/226.19	o 3492
226.99/227.04	c 152.313 56.6289 3259 1302878
226.99/227.04	o 3491
227.19/227.24	c 152.446 56.6289 3364 1305816
227.19/227.24	o 3490
227.70/227.77	c 152.805 56.6289 3870 1311079
227.70/227.77	o 3489
227.79/227.90	c 152.903 56.6289 3990 1313680
227.79/227.90	o 3487
228.29/228.39	c 153.24 56.6289 4325 1317771
228.29/228.39	o 3486
228.50/228.54	c 153.343 56.6289 4433 1321280
228.50/228.54	o 3485
228.50/228.55	c 153.352 56.6289 4433 1323268
228.50/228.55	o 3484
229.49/229.53	c 154.015 56.6289 3022 1331212
229.49/229.53	o 3483
232.70/232.77	c 156.231 56.6289 2768 1339323
232.70/232.77	o 3482
233.40/233.43	c 156.693 56.6289 3487 1344155
233.40/233.43	o 3481
233.40/233.45	c 156.709 56.6289 3493 1345810
233.40/233.45	o 3480
236.19/236.29	c 158.62 56.6289 3000 1356985
236.19/236.29	o 3479
239.49/239.59	c 160.829 56.6289 2911 1369628
239.49/239.59	o 3478
245.10/245.14	c 164.536 56.6289 4093 1383319
245.10/245.14	o 3477
245.59/245.61	c 164.838 56.6289 4392 1385791
245.59/245.61	o 3476
248.20/248.29	c 166.657 56.6289 3741 1391844
248.20/248.29	o 3474
248.70/248.70	c 166.936 56.6289 4101 1394326
248.70/248.70	o 3473
251.29/251.31	c 168.706 56.6289 3560 1403585
251.29/251.31	o 3470
255.10/255.12	c 171.274 56.6289 3894 1414350
255.10/255.12	o 3469
255.99/256.00	c 171.889 56.6289 2308 1420498
255.99/256.00	o 3467
256.09/256.16	c 172.008 56.6289 2392 1421860
256.09/256.16	o 3466
256.30/256.34	c 172.131 56.6289 2518 1424514
256.30/256.34	o 3465
257.50/257.56	c 172.971 56.6289 3608 1431284
257.50/257.56	o 3464
269.60/269.63	c 181.174 56.7578 3008 1458606
269.60/269.63	o 3463
271.90/271.92	c 182.691 56.7578 4562 1467371
271.90/271.92	o 3462
272.20/272.24	c 182.905 56.7578 2442 1470061
272.20/272.24	o 3461
273.30/273.39	c 183.689 56.7578 3549 1476304
273.30/273.39	o 3460
273.49/273.52	c 183.787 56.7578 3664 1478610
273.49/273.52	o 3459
276.00/276.01	c 185.439 56.7578 3042 1488333
276.00/276.01	o 3458
276.79/276.85	c 186.027 56.7578 3697 1493309
276.79/276.85	o 3457
279.20/279.27	c 187.642 56.7578 3128 1500881
279.20/279.27	o 3456
279.31/279.35	c 187.7 56.7578 3164 1504479
279.31/279.35	o 3455
280.00/280.09	c 188.199 56.7578 3543 1507449
280.00/280.09	o 3454
284.60/284.64	c 191.277 56.7578 4491 1520804
284.60/284.64	o 3453
284.80/284.81	c 191.386 56.7578 2332 1522591
284.80/284.81	o 3450
286.50/286.58	c 192.584 56.7578 3414 1527919
286.50/286.58	o 3449
286.90/286.97	c 192.853 56.7578 3731 1530625
286.90/286.97	o 3448
288.70/288.71	c 193.964 56.7578 2900 1539000
288.70/288.71	o 3447
288.90/288.91	c 194.103 56.7578 3066 1540598
288.90/288.91	o 3446
289.00/289.09	c 194.235 56.7578 3175 1542578
289.00/289.09	o 3445
289.60/289.68	c 194.636 56.7578 3705 1546740
289.60/289.68	o 3444
294.10/294.17	c 197.642 56.7578 4161 1555442
294.10/294.17	o 3442
294.70/294.79	c 198.065 56.7578 4462 1559000
294.70/294.79	o 3440
295.10/295.13	c 198.289 56.7578 2418 1562186
295.10/295.13	o 3439
296.20/296.26	c 199.033 56.7578 3221 1568660
296.20/296.26	o 3438
296.59/296.61	c 199.263 56.7578 3522 1572668
296.59/296.61	o 3437
296.59/296.63	c 199.27 56.7578 3524 1574391
296.59/296.63	o 3436
297.60/297.62	c 199.96 56.7578 4050 1579749
297.60/297.62	o 3435
297.70/297.72	c 200.033 56.7578 4159 1581793
297.70/297.72	o 3434
297.70/297.74	c 200.042 56.7578 4160 1583597
297.70/297.74	o 3433
297.70/297.78	c 200.068 56.7578 4174 1585035
297.70/297.78	o 3432
297.70/297.79	c 200.078 56.7578 4176 1586056
297.70/297.79	o 3431
297.80/297.81	c 200.087 56.7578 4179 1588615
297.80/297.81	o 3430
297.80/297.82	c 200.096 56.7578 4183 1592067
297.80/297.82	o 3428
297.80/297.83	c 200.105 56.7578 4183 1594914
297.80/297.83	o 3427
297.80/297.85	c 200.112 56.7578 4184 1597916
297.80/297.85	o 3426
297.80/297.87	c 200.127 56.7578 4193 1602052
297.80/297.87	o 3424
297.80/297.88	c 200.137 56.7578 4195 1604903
297.80/297.88	o 3423
297.90/297.90	c 200.15 56.7578 4200 1607802
297.90/297.90	o 3419
297.90/297.93	c 200.162 56.7578 4211 1611012
297.90/297.93	o 3415
297.90/297.97	c 200.187 56.7578 4228 1613324
297.90/297.97	o 3414
297.90/297.99	c 200.198 56.7578 4233 1617543
297.90/297.99	o 3412
298.20/298.23	c 200.373 56.7578 4568 1621446
298.20/298.23	o 3411
298.40/298.44	c 200.512 56.7578 2412 1623661
298.40/298.44	o 3410
299.21/299.25	c 201.043 56.7578 2970 1627333
299.21/299.25	o 3409
299.50/299.52	c 201.235 56.7578 3198 1630657
299.50/299.52	o 3407
299.50/299.59	c 201.281 56.7578 3228 1631422
299.50/299.59	o 3406
310.00/310.07	c 208.349 56.7578 2925 1669698
310.00/310.07	o 3405
316.19/316.29	c 212.539 56.7578 4968 1682544
316.19/316.29	o 3404
319.01/319.03	c 214.32 56.7578 4745 1693737
319.01/319.03	o 3403
319.50/319.59	c 214.694 56.7578 2904 1698711
319.50/319.59	o 3402
320.59/320.61	c 215.401 56.7578 3609 1704358
320.59/320.61	o 3401
320.70/320.70	c 215.459 56.7578 3646 1706114
320.70/320.70	o 3399
320.80/320.89	c 215.591 56.7578 3779 1707820
320.80/320.89	o 3398
321.00/321.01	c 215.679 56.7578 3888 1709870
321.00/321.01	o 3397
327.20/327.29	c 219.863 56.7578 2808 1723736
327.20/327.29	o 3396
327.40/327.41	c 219.946 56.7578 2913 1726170
327.40/327.41	o 3395
327.50/327.54	c 220.03 56.7578 2978 1727546
327.50/327.54	o 3394
328.00/328.06	c 220.394 56.7578 3296 1730580
328.00/328.06	o 3393
328.40/328.40	c 220.617 56.7578 3575 1732970
328.40/328.40	o 3392
328.40/328.44	c 220.643 56.7578 3594 1734451
328.40/328.44	o 3391
328.50/328.59	c 220.736 56.7578 3665 1735837
328.50/328.59	o 3390
328.80/328.89	c 220.934 56.7578 4000 1739000
328.80/328.89	o 3389
329.20/329.25	c 221.175 56.7578 4233 1741782
329.20/329.25	o 3388
329.40/329.41	c 221.289 56.7578 4348 1743318
329.40/329.41	o 3386
329.40/329.43	c 221.304 56.7578 4353 1744128
329.40/329.43	o 3385
329.40/329.48	c 221.334 56.7578 4371 1745699
329.40/329.48	o 3384
412.50/412.55	c 276.762 57.5352 3275 1943625
412.50/412.55	o 3383
412.70/412.77	c 276.93 57.5352 3381 1945959
412.70/412.77	o 3382
413.20/413.23	c 277.239 57.5352 3643 1948418
413.20/413.23	o 3381
413.50/413.55	c 277.462 57.5352 3816 1950517
413.50/413.55	o 3380
415.11/415.18	c 278.59 57.5352 2772 1958025
415.11/415.18	o 3379
418.41/418.43	c 280.767 57.5352 2665 1967548
418.41/418.43	o 3378
418.50/418.57	c 280.859 57.5352 2724 1968481
418.50/418.57	o 3377
419.00/419.07	c 281.188 57.5352 3078 1971915
419.00/419.07	o 3376
430.40/430.46	c 288.782 57.5352 3588 1997535
430.40/430.46	o 3375
430.51/430.57	c 288.853 57.5352 3702 1999298
430.51/430.57	o 3374
434.60/434.64	c 291.584 57.5352 4530 2014977
434.60/434.64	o 3373
434.90/434.94	c 291.792 57.5352 4671 2016996
434.90/434.94	o 3372
436.11/436.13	c 292.576 57.5352 3010 2021329
436.11/436.13	o 3371
440.80/440.83	c 295.73 57.5352 3768 2037132
440.80/440.83	o 3370
441.40/441.48	c 296.173 57.5352 4212 2040788
441.40/441.48	o 3369
459.90/459.92	c 308.49 57.6641 4342 2072150
459.90/459.92	o 3368
460.01/460.00	c 308.543 57.6641 4455 2073656
460.01/460.00	o 3367
460.60/460.66	c 308.996 57.6641 2522 2076529
460.60/460.66	o 3366
462.40/462.42	c 310.17 57.6641 4093 2083198
462.40/462.42	o 3365
463.40/463.41	c 310.829 57.6641 2505 2089010
463.40/463.41	o 3364
464.00/464.05	c 311.251 57.6641 2892 2090864
464.00/464.05	o 3363
466.00/466.00	c 312.521 57.6641 4284 2097549
466.00/466.00	o 3362
466.00/466.04	c 312.544 57.6641 4299 2098428
466.00/466.04	o 3361
466.31/466.31	c 312.738 57.6641 4476 2100785
466.31/466.31	o 3360
468.90/468.90	c 314.417 57.6641 4073 2109210
468.90/468.90	o 3359
468.90/468.98	c 314.466 57.6641 4103 2110411
468.90/468.98	o 3358
469.31/469.31	c 314.698 57.6641 4292 2112070
469.31/469.31	o 3357
469.90/469.94	c 315.127 57.6641 2359 2115937
469.90/469.94	o 3356
470.01/470.05	c 315.2 57.6641 2434 2116951
470.01/470.05	o 3355
470.81/470.86	c 315.75 57.6641 2818 2118662
470.81/470.86	o 3354
470.90/470.91	c 315.786 57.6641 2833 2119424
470.90/470.91	o 3353
471.50/471.56	c 316.228 57.6641 3430 2121946
471.50/471.56	o 3352
473.70/473.77	c 317.696 57.6641 2876 2131663
473.70/473.77	o 3351
474.01/474.07	c 317.918 57.6641 2985 2134091
474.01/474.07	o 3350
474.51/474.59	c 318.267 57.6641 3516 2137393
474.51/474.59	o 3349
474.91/474.93	c 318.493 57.6641 3710 2138938
474.91/474.93	o 3348
475.11/475.12	c 318.615 57.6641 3842 2140114
475.11/475.12	o 3347
475.30/475.35	c 318.764 57.6641 4079 2142844
475.30/475.35	o 3346
478.51/478.58	c 320.94 57.6641 3445 2148593
478.51/478.58	o 3345
478.70/478.74	c 321.035 57.6641 3555 2150037
478.70/478.74	o 3344
478.80/478.84	c 321.108 57.6641 3601 2150940
478.80/478.84	o 3343
478.90/478.91	c 321.156 57.6641 3631 2151838
478.90/478.91	o 3342
479.10/479.13	c 321.305 57.6641 3784 2153085
479.10/479.13	o 3341
479.51/479.58	c 321.61 57.6641 4102 2156258
479.51/479.58	o 3340
480.00/480.01	c 321.908 57.6641 4320 2158833
480.00/480.01	o 3338
481.20/481.23	c 322.76 57.6641 3081 2164878
481.20/481.23	o 3336
481.40/481.44	c 322.888 57.6641 3218 2166542
481.40/481.44	o 3335
482.30/482.32	c 323.507 57.6641 3861 2172518
482.30/482.32	o 3334
483.71/483.77	c 324.502 57.6641 2678 2176528
483.71/483.77	o 3333
510.70/510.78	c 342.122 57.6641 3223 2215584
510.70/510.78	o 3332
512.11/512.10	c 343.02 57.6641 4138 2223023
512.11/512.10	o 3331
512.40/512.43	c 343.232 57.6641 4279 2225888
512.40/512.43	o 3330
514.61/514.64	c 344.724 57.6641 3098 2232972
514.61/514.64	o 3329
515.11/515.11	c 345.044 57.6641 3323 2236325
515.11/515.11	o 3328
515.61/515.69	c 345.449 57.6641 3597 2238123
515.61/515.69	o 3327
519.71/519.74	c 348.167 57.6641 4471 2251737
519.71/519.74	o 3326
520.21/520.26	c 348.51 57.6641 4686 2253943
520.21/520.26	o 3325
520.80/520.80	c 348.883 57.6641 2631 2256030
520.80/520.80	o 3324
521.81/521.83	c 349.571 57.6641 3545 2261307
521.81/521.83	o 3321
523.51/523.51	c 350.735 57.6641 4839 2268387
523.51/523.51	o 3320
529.11/529.14	c 354.408 57.793 3308 2278162
529.11/529.14	o 3319
529.41/529.44	c 354.603 57.793 3483 2279416
529.41/529.44	o 3318
531.21/531.25	c 355.811 57.793 2413 2286284
531.21/531.25	o 3317
534.11/534.19	c 357.722 57.793 4414 2298369
534.11/534.19	o 3316
534.20/534.21	c 357.735 57.793 4426 2300490
534.20/534.21	o 3315
534.20/534.22	c 357.748 57.793 4431 2302061
534.20/534.22	o 3313
534.31/534.31	c 357.806 57.793 4550 2304575
534.31/534.31	o 3312
537.21/537.24	c 359.793 57.793 4374 2315664
537.21/537.24	o 3311
537.30/537.37	c 359.881 57.793 4508 2316959
537.30/537.37	o 3310
556.11/556.12	c 372.346 57.9219 3752 2355409
556.11/556.12	o 3309
556.31/556.36	c 372.515 57.9219 3913 2359595
556.31/556.36	o 3308
556.62/556.69	c 372.737 57.9219 4324 2363965
556.62/556.69	o 3307
557.51/557.57	c 373.313 57.9219 2511 2368438
557.51/557.57	o 3306
558.01/558.01	c 373.63 57.9219 2867 2371705
558.01/558.01	o 3305
558.61/558.68	c 374.095 57.9219 3495 2376452
558.61/558.68	o 3304
564.61/564.65	c 378.061 58.0508 4638 2391939
564.61/564.65	o 3302
564.91/564.92	c 378.242 58.0508 2570 2396155
564.91/564.92	o 3301
565.00/565.02	c 378.311 58.0508 2620 2397517
565.00/565.02	o 3300
565.51/565.51	c 378.643 58.0508 2932 2400278
565.51/565.51	o 3298
566.51/566.59	c 379.387 58.0508 3912 2405377
566.51/566.59	o 3297
566.81/566.83	c 379.555 58.0508 4134 2407363
566.81/566.83	o 3296
578.30/578.37	c 387.237 58.0508 4434 2430343
578.30/578.37	o 3295
578.52/578.57	c 387.368 58.0508 4568 2432128
578.52/578.57	o 3294
579.01/579.05	c 387.702 58.0508 4863 2433735
579.01/579.05	o 3293
579.40/579.43	c 387.951 58.0508 2696 2436734
579.40/579.43	o 3290
579.50/579.52	c 388.015 58.0508 2804 2439716
579.50/579.52	o 3289
580.91/580.90	c 388.967 58.0508 4411 2449087
580.91/580.90	o 3288
583.70/583.77	c 390.899 58.0508 3944 2459372
583.70/583.77	o 3287
585.01/585.10	c 391.784 58.0508 2796 2464017
585.01/585.10	o 3286
646.01/646.00	c 431.927 58.5664 3913 2592515
646.01/646.00	o 3285
649.02/649.01	c 433.968 58.5664 3394 2601738
649.02/649.01	o 3284
655.21/655.23	c 438.106 58.5664 2396 2616769
655.21/655.23	o 3283
655.41/655.45	c 438.261 58.5664 2564 2618915
655.41/655.45	o 3282
656.31/656.37	c 438.885 58.5664 3119 2623797
656.31/656.37	o 3281
656.62/656.70	c 439.105 58.5664 3278 2625129
656.62/656.70	o 3280
658.31/658.33	c 440.219 58.5664 4402 2630277
658.31/658.33	o 3279
658.51/658.59	c 440.406 58.5664 4525 2632061
658.51/658.59	o 3278
658.61/658.62	c 440.423 58.5664 4533 2633211
658.61/658.62	o 3277
659.81/659.83	c 441.268 58.5664 3075 2641039
659.81/659.83	o 3276
659.81/659.84	c 441.278 58.5664 3078 2643147
659.81/659.84	o 3274
662.30/662.38	c 442.973 58.5664 4314 2647223
662.30/662.38	o 3273
662.51/662.59	c 443.104 58.5664 4517 2651136
662.51/662.59	o 3271
662.61/662.61	c 443.115 58.5664 4524 2652783
662.61/662.61	o 3270
664.42/664.45	c 444.32 58.5664 3424 2661676
664.42/664.45	o 3269
666.30/666.30	c 445.569 58.5664 2527 2668634
666.30/666.30	o 3268
666.71/666.75	c 445.876 58.5664 2886 2672237
666.71/666.75	o 3267
668.81/668.82	c 447.281 58.5664 4591 2679114
668.81/668.82	o 3266
668.91/668.93	c 447.353 58.5664 4701 2680890
668.91/668.93	o 3265
669.01/669.03	c 447.419 58.5664 4753 2682157
669.01/669.03	o 3264
669.10/669.15	c 447.51 58.5664 2455 2683679
669.10/669.15	o 3263
669.31/669.36	c 447.644 58.5664 2644 2685778
669.31/669.36	o 3262
669.82/669.84	c 447.955 58.5664 2908 2688259
669.82/669.84	o 3261
669.92/669.93	c 448.02 58.5664 2966 2689052
669.92/669.93	o 3260
670.21/670.20	c 448.209 58.5664 3189 2691750
670.21/670.20	o 3257
670.31/670.32	c 448.292 58.5664 3297 2693752
670.31/670.32	o 3255
672.51/672.53	c 449.792 58.5664 4757 2701872
672.51/672.53	o 3254
672.61/672.65	c 449.869 58.5664 2439 2703159
672.61/672.65	o 3253
673.11/673.13	c 450.188 58.5664 2747 2705683
673.11/673.13	o 3252
673.22/673.28	c 450.303 58.5664 2864 2709508
673.22/673.28	o 3251
673.31/673.31	c 450.32 58.5664 2872 2711217
673.31/673.31	o 3249
673.31/673.32	c 450.329 58.5664 2873 2713965
673.31/673.32	o 3248
675.31/675.33	c 451.704 58.5664 4186 2723664
675.31/675.33	o 3247
675.41/675.40	c 451.759 58.5664 4236 2725760
675.41/675.40	o 3244
675.41/675.41	c 451.765 58.5664 4237 2728329
675.41/675.41	o 3243
675.41/675.43	c 451.774 58.5664 4237 2731134
675.41/675.43	o 3242
675.41/675.44	c 451.783 58.5664 4237 2734050
675.41/675.44	o 3241
675.41/675.46	c 451.799 58.5664 4245 2738339
675.41/675.46	o 3240
684.51/684.55	c 457.902 58.5664 2486 2759570
684.51/684.55	o 3239
684.71/684.73	c 458.036 58.5664 2554 2760550
684.71/684.73	o 3238
685.31/685.31	c 458.426 58.5664 2956 2764089
685.31/685.31	o 3236
685.31/685.36	c 458.457 58.5664 2975 2765352
685.31/685.36	o 3235
685.51/685.59	c 458.619 58.5664 3154 2767299
685.51/685.59	o 3231
685.81/685.85	c 458.797 58.5664 3369 2770380
685.81/685.85	o 3230
686.91/686.99	c 459.544 58.5664 4391 2777056
686.91/686.99	o 3229
687.01/687.06	c 459.591 58.5664 4424 2779070
687.01/687.06	o 3228
697.01/697.03	c 466.14 58.5664 3086 2794736
697.01/697.03	o 3227
697.51/697.52	c 466.471 58.5664 3401 2798064
697.51/697.52	o 3226
697.61/697.63	c 466.549 58.5664 3511 2800395
697.61/697.63	o 3225
697.61/697.65	c 466.567 58.5664 3518 2801639
697.61/697.65	o 3224
697.91/697.94	c 466.768 58.5664 3736 2804236
697.91/697.94	o 3223
698.21/698.21	c 466.951 58.5664 3877 2806876
698.21/698.21	o 3222
698.52/698.55	c 467.184 58.5664 4378 2811106
698.52/698.55	o 3220
698.52/698.58	c 467.207 58.5664 4389 2812618
698.52/698.58	o 3219
699.80/699.80	c 468.031 58.5664 2772 2817035
699.80/699.80	o 3218
699.91/699.99	c 468.176 58.6992 2933 2818252
699.91/699.99	o 3216
706.01/706.05	c 472.189 58.6992 3707 2830571
706.01/706.05	o 3215
706.12/706.18	c 472.274 58.6992 3761 2831225
706.12/706.18	o 3214
706.22/706.23	c 472.311 58.6992 3785 2832331
706.22/706.23	o 3212
706.22/706.26	c 472.332 58.6992 3794 2833648
706.22/706.26	o 3211
706.41/706.43	c 472.442 58.6992 3870 2834964
706.41/706.43	o 3210
706.41/706.45	c 472.466 58.6992 3878 2836251
706.41/706.45	o 3209
707.01/707.02	c 472.839 58.6992 4156 2838409
707.01/707.02	o 3208
708.32/708.38	c 473.764 58.6992 2545 2842362
708.32/708.38	o 3207
708.61/708.68	c 473.965 58.6992 2791 2844017
708.61/708.68	o 3206
708.71/708.75	c 474.01 58.6992 2896 2846208
708.71/708.75	o 3205
709.42/709.47	c 474.5 58.6992 3459 2849801
709.42/709.47	o 3204
709.71/709.77	c 474.715 58.6992 3767 2852092
709.71/709.77	o 3203
709.81/709.83	c 474.754 58.6992 3796 2853050
709.81/709.83	o 3202
714.11/714.14	c 477.673 58.6992 5188 2861692
714.11/714.14	o 3201
714.81/714.80	c 478.124 58.6992 3176 2863860
714.81/714.80	o 3200
715.31/715.34	c 478.489 58.6992 3698 2868203
715.31/715.34	o 3199
716.21/716.28	c 479.118 58.6992 4317 2871656
716.21/716.28	o 3198
719.11/719.18	c 481.05 58.6992 4252 2882577
719.11/719.18	o 3197
720.21/720.24	c 481.742 58.6992 2458 2887078
720.21/720.24	o 3196
723.51/723.56	c 483.959 58.6992 4927 2893078
723.51/723.56	o 3195
724.01/724.04	c 484.285 58.6992 2773 2895547
724.01/724.04	o 3194
724.42/724.49	c 484.58 58.6992 3005 2897766
724.42/724.49	o 3193
724.61/724.60	c 484.664 58.6992 3111 2899581
724.61/724.60	o 3192
725.81/725.81	c 485.456 58.6992 3884 2904373
725.81/725.81	o 3191
725.92/725.95	c 485.55 58.6992 4006 2905784
725.92/725.95	o 3189
727.41/727.48	c 486.586 58.6992 2632 2912400
727.41/727.48	o 3187
728.01/728.07	c 486.981 58.6992 3132 2916516
728.01/728.07	o 3186
728.01/728.09	c 486.993 58.6992 3136 2918061
728.01/728.09	o 3185
729.01/729.04	c 487.65 58.6992 3681 2920279
729.01/729.04	o 3184
730.52/730.60	c 488.726 58.6992 4596 2925765
730.52/730.60	o 3183
731.11/731.15	c 489.086 58.6992 2602 2930901
731.11/731.15	o 3182
731.31/731.33	c 489.216 58.6992 2700 2932592
731.31/731.33	o 3181
734.41/734.47	c 491.287 58.6992 2459 2942724
734.41/734.47	o 3180
734.51/734.50	c 491.309 58.6992 2468 2944204
734.51/734.50	o 3177
734.61/734.63	c 491.398 58.6992 2577 2947302
734.61/734.63	o 3176
734.61/734.64	c 491.411 58.6992 2578 2949493
734.61/734.64	o 3174
734.61/734.68	c 491.436 58.6992 2595 2952160
734.61/734.68	o 3173
736.61/736.68	c 492.82 58.6992 4503 2958238
736.61/736.68	o 3172
736.92/736.93	c 492.988 58.6992 4623 2960538
736.92/736.93	o 3171
737.11/737.12	c 493.117 58.6992 4776 2962264
737.11/737.12	o 3169
737.91/737.93	c 493.664 58.6992 2842 2967143
737.91/737.93	o 3168
737.91/737.95	c 493.676 58.6992 2843 2968455
737.91/737.95	o 3167
739.31/739.36	c 494.603 58.6992 3878 2972956
739.31/739.36	o 3165
739.41/739.41	c 494.642 58.6992 3898 2974524
739.41/739.41	o 3164
755.02/755.06	c 505.152 58.6992 4528 3013390
755.02/755.06	o 3163
755.42/755.47	c 505.417 58.6992 2474 3016101
755.42/755.47	o 3162
755.62/755.63	c 505.528 58.6992 2544 3017406
755.62/755.63	o 3161
757.31/757.30	c 506.667 58.6992 4048 3022394
757.31/757.30	o 3160
759.41/759.49	c 508.135 58.6992 2817 3029799
759.41/759.49	o 3159
761.51/761.53	c 509.487 58.6992 4122 3034723
761.51/761.53	o 3158
761.71/761.73	c 509.612 58.6992 4227 3036148
761.71/761.73	o 3157
762.21/762.23	c 509.933 58.6992 4491 3038324
762.21/762.23	o 3156
763.32/763.36	c 510.695 58.6992 2993 3042661
763.32/763.36	o 3155
763.42/763.42	c 510.732 58.6992 3020 3043578
763.42/763.42	o 3154
765.62/765.63	c 512.181 58.6992 4489 3048778
765.62/765.63	o 3153
765.71/765.74	c 512.268 58.6992 4604 3050768
765.71/765.74	o 3151
765.91/765.92	c 512.382 58.6992 4716 3052269
765.91/765.92	o 3150
767.91/767.91	c 513.747 58.6992 3387 3057347
767.91/767.91	o 3149
768.41/768.47	c 514.138 58.6992 3940 3059582
768.41/768.47	o 3148
774.71/774.78	c 518.401 58.6992 3829 3074809
774.71/774.78	o 3147
775.61/775.68	c 519.027 58.6992 4489 3079386
775.61/775.68	o 3146
777.72/777.71	c 520.36 58.6992 3502 3086163
777.72/777.71	o 3145
778.01/778.06	c 520.579 58.6992 3710 3088828
778.01/778.06	o 3144
778.21/778.25	c 520.723 58.6992 3810 3090364
778.21/778.25	o 3143
778.21/778.27	c 520.742 58.6992 3817 3091381
778.21/778.27	o 3140
778.51/778.54	c 520.93 58.6992 3988 3093301
778.51/778.54	o 3139
778.62/778.61	c 520.968 58.6992 4026 3094565
778.62/778.61	o 3138
780.21/780.20	c 522.039 58.6992 2704 3099033
780.21/780.20	o 3137
780.61/780.62	c 522.318 58.6992 2971 3101209
780.61/780.62	o 3136
785.22/785.28	c 525.438 58.6992 4229 3117737
785.22/785.28	o 3135
785.91/785.96	c 525.894 58.6992 4702 3120507
785.91/785.96	o 3134
786.81/786.87	c 526.52 58.6992 2830 3123124
786.81/786.87	o 3133
791.92/791.97	c 529.89 58.6992 5459 3128265
791.92/791.97	o 3132
794.51/794.50	c 531.598 58.6992 4246 3132062
794.51/794.50	o 3131
797.31/797.37	c 533.535 58.6992 5301 3134712
797.31/797.37	o 3130
797.61/797.67	c 533.737 58.6992 2844 3135853
797.61/797.67	o 3129
798.31/798.40	c 534.214 58.6992 3254 3138536
798.31/798.40	o 3128
798.41/798.42	c 534.236 58.6992 3263 3139141
798.41/798.42	o 3127
798.62/798.67	c 534.398 58.6992 3367 3140721
798.62/798.67	o 3126
798.71/798.71	c 534.427 58.6992 3382 3141276
798.71/798.71	o 3125
798.71/798.73	c 534.44 58.6992 3385 3142227
798.71/798.73	o 3124
798.81/798.84	c 534.509 58.6992 3442 3144068
798.81/798.84	o 3123
799.21/799.23	c 534.782 58.6992 3757 3148377
799.21/799.23	o 3122
799.41/799.46	c 534.943 58.6992 3975 3150889
799.41/799.46	o 3121
800.82/800.84	c 535.867 58.6992 2567 3158273
800.82/800.84	o 3120
804.41/804.40	c 538.27 58.6992 5094 3166853
804.41/804.40	o 3119
805.92/805.90	c 539.257 58.6992 3876 3172625
805.92/805.90	o 3117
805.92/805.96	c 539.303 58.6992 3902 3173698
805.92/805.96	o 3116
806.51/806.52	c 539.693 58.6992 4314 3176863
806.51/806.52	o 3115
806.81/806.85	c 539.91 58.6992 4523 3179623
806.81/806.85	o 3112
807.22/807.21	c 540.153 58.6992 4775 3182606
807.22/807.21	o 3111
808.52/808.55	c 541.053 58.6992 3200 3186965
808.52/808.55	o 3110
808.71/808.74	c 541.189 58.6992 3322 3188119
808.71/808.74	o 3109
809.21/809.21	c 541.498 58.6992 3535 3189342
809.21/809.21	o 3108
820.71/820.79	c 549.302 58.8281 3944 3205499
820.71/820.79	o 3107
824.31/824.36	c 551.666 58.8281 3680 3214705
824.31/824.36	o 3106
827.82/827.86	c 554.028 58.8281 4071 3227650
827.82/827.86	o 3105
834.31/834.37	c 558.386 58.8281 3673 3246694
834.31/834.37	o 3104
851.11/851.14	c 569.41 58.8281 3972 3276492
851.11/851.14	o 3103
851.32/851.39	c 569.596 58.8281 4100 3278130
851.32/851.39	o 3102
852.02/852.09	c 570.08 58.8281 4382 3279980
852.02/852.09	o 3101
852.31/852.35	c 570.237 58.8281 4508 3281231
852.31/852.35	o 3100
852.31/852.37	c 570.257 58.8281 4513 3282522
852.31/852.37	o 3099
852.91/852.94	c 570.634 58.8281 4816 3285735
852.91/852.94	o 3098
853.01/853.01	c 570.677 58.8281 4848 3286997
853.01/853.01	o 3097
853.01/853.03	c 570.686 58.8281 4852 3288507
853.01/853.03	o 3096
861.62/861.63	c 576.463 58.8281 2904 3312327
861.62/861.63	o 3095
862.52/862.58	c 577.089 58.8281 3639 3316485
862.52/862.58	o 3094
864.31/864.33	c 578.24 58.8281 4705 3322509
864.31/864.33	o 3093
865.31/865.39	c 578.967 58.8281 5157 3324554
865.31/865.39	o 3092
865.62/865.67	c 579.146 58.8281 2749 3326295
865.62/865.67	o 3091
868.82/868.82	c 581.246 58.8281 4507 3334080
868.82/868.82	o 3090
868.92/868.93	c 581.324 58.8281 4552 3334819
868.92/868.93	o 3089
869.91/870.00	c 582.041 58.8281 2984 3340407
869.91/870.00	o 3088
871.12/871.12	c 582.78 58.8281 3820 3346647
871.12/871.12	o 3087
871.22/871.29	c 582.899 58.8281 3875 3347843
871.22/871.29	o 3086
871.52/871.60	c 583.103 58.8281 4176 3352139
871.52/871.60	o 3085
871.82/871.80	c 583.241 58.8281 4260 3353981
871.82/871.80	o 3084
871.82/871.85	c 583.274 58.8281 4273 3355377
871.82/871.85	o 3083
871.91/871.93	c 583.336 58.8281 4376 3358807
871.91/871.93	o 3082
871.91/871.95	c 583.348 58.8281 4377 3361418
871.91/871.95	o 3081
878.21/878.24	c 587.534 58.8281 3998 3379270
878.21/878.24	o 3080
878.41/878.41	c 587.639 58.8281 4063 3380386
878.41/878.41	o 3078
878.51/878.59	c 587.752 58.8281 4193 3382719
878.51/878.59	o 3076
878.92/878.94	c 587.991 58.8281 4415 3385131
878.92/878.94	o 3075
879.12/879.19	c 588.166 58.8281 4552 3387255
879.12/879.19	o 3074
879.32/879.31	c 588.243 58.8281 4659 3389091
879.32/879.31	o 3073
879.32/879.34	c 588.27 58.8281 4682 3390873
879.32/879.34	o 3071
879.32/879.37	c 588.292 58.8281 4687 3392458
879.32/879.37	o 3070
879.51/879.53	c 588.406 58.8281 4792 3394287
879.51/879.53	o 3069
879.51/879.59	c 588.453 58.8281 4814 3395269
879.51/879.59	o 3067
879.81/879.81	c 588.603 58.8281 2512 3397277
879.81/879.81	o 3066
879.81/879.84	c 588.615 58.8281 2515 3398150
879.81/879.84	o 3065
879.92/879.93	c 588.68 58.8281 2618 3400751
879.92/879.93	o 3064
880.41/880.49	c 589.065 58.8281 3030 3404417
880.41/880.49	o 3063
880.82/880.86	c 589.308 58.8281 3261 3406420
880.82/880.86	o 3062
881.31/881.36	c 589.653 58.8281 3666 3409749
881.31/881.36	o 3061
881.61/881.61	c 589.814 58.8281 3794 3411156
881.61/881.61	o 3060
881.61/881.66	c 589.847 58.8281 3823 3412029
881.61/881.66	o 3059
884.81/884.88	c 591.967 58.8281 2873 3416702
884.81/884.88	o 3058
884.91/884.91	c 591.988 58.8281 2876 3417496
884.91/884.91	o 3057
885.22/885.27	c 592.215 58.8281 3024 3420681
885.22/885.27	o 3056
885.61/885.64	c 592.453 58.8281 3223 3422608
885.61/885.64	o 3055
886.41/886.41	c 592.984 58.8281 3947 3428123
886.41/886.41	o 3054
890.61/890.68	c 595.849 58.8281 3983 3438748
890.61/890.68	o 3053
900.21/900.29	c 602.188 58.8281 2817 3457584
900.21/900.29	o 3052
901.61/901.64	c 603.071 58.8281 3653 3462487
901.61/901.64	o 3051
907.91/907.93	c 607.155 58.8281 2654 3476851
907.91/907.93	o 3050
908.72/908.75	c 607.703 58.8281 3188 3480710
908.72/908.75	o 3049
908.72/908.78	c 607.723 58.8281 3195 3482393
908.72/908.78	o 3048
908.92/908.95	c 607.841 58.8281 3274 3483988
908.92/908.95	o 3047
909.01/909.05	c 607.921 58.8281 3346 3485129
909.01/909.05	o 3046
910.02/910.06	c 608.619 58.8281 3943 3488759
910.02/910.06	o 3045
912.71/912.70	c 610.417 58.8281 3178 3496547
912.71/912.70	o 3044
912.81/912.88	c 610.542 58.8281 3280 3498960
912.81/912.88	o 3042
912.81/912.90	c 610.556 58.8281 3285 3501659
912.81/912.90	o 3041
912.92/912.92	c 610.572 58.8281 3289 3502994
912.92/912.92	o 3040
912.92/912.93	c 610.584 58.8281 3293 3505775
912.92/912.93	o 3039
915.01/915.04	c 612.014 58.8281 4664 3511477
915.01/915.04	o 3038
915.22/915.24	c 612.147 58.8281 4738 3512176
915.22/915.24	o 3037
915.81/915.83	c 612.53 58.8281 2587 3514319
915.81/915.83	o 3036
916.22/916.30	c 612.856 58.8281 2865 3515924
916.22/916.30	o 3035
916.61/916.61	c 613.059 58.8281 3101 3518382
916.61/916.61	o 3034
917.22/917.29	c 613.498 58.8281 3604 3523116
917.22/917.29	o 3033
917.92/917.96	c 613.979 58.8281 4126 3527625
917.92/917.96	o 3032
922.51/922.58	c 617.047 58.8281 4574 3537287
922.51/922.58	o 3031
925.02/925.02	c 618.639 58.8281 3401 3544727
925.02/925.02	o 3030
925.22/925.21	c 618.764 58.8281 3621 3546830
925.22/925.21	o 3029
927.71/927.72	c 620.477 58.8281 2618 3553363
927.71/927.72	o 3027
927.71/927.75	c 620.501 58.8281 2627 3555540
927.71/927.75	o 3026
928.12/928.18	c 620.79 58.8281 2816 3557105
928.12/928.18	o 3025
931.73/931.76	c 623.173 58.8281 5300 3565628
931.73/931.76	o 3024
932.31/932.30	c 623.561 58.8281 2973 3568170
932.31/932.30	o 3023
933.32/933.38	c 624.281 58.8281 3536 3571236
933.32/933.38	o 3022
933.62/933.61	c 624.44 58.8281 3697 3572456
933.62/933.61	o 3021
933.82/933.86	c 624.598 58.8281 3816 3573987
933.82/933.86	o 3020
933.82/933.88	c 624.614 58.8281 3821 3574914
933.82/933.88	o 3019
934.02/934.03	c 624.72 58.8281 3939 3578810
934.02/934.03	o 3018
934.02/934.08	c 624.753 58.8281 3958 3580334
934.02/934.08	o 3017
936.91/936.96	c 626.694 58.8281 3168 3590137
936.91/936.96	o 3015
938.92/938.94	c 628.078 58.8281 4501 3593802
938.92/938.94	o 3014
940.31/940.37	c 629.032 58.8281 2885 3599247
940.31/940.37	o 3013
940.81/940.80	c 629.323 58.8281 3113 3602010
940.81/940.80	o 3012
941.42/941.48	c 629.773 58.8281 3444 3604832
941.42/941.48	o 3011
942.91/942.91	c 630.717 58.8281 4341 3607184
942.91/942.91	o 3010
943.62/943.60	c 631.164 58.8281 4760 3609817
943.62/943.60	o 3009
944.61/944.67	c 631.876 58.8281 3043 3614173
944.61/944.67	o 3008
948.32/948.39	c 634.322 58.8281 4889 3621812
948.32/948.39	o 3007
1011.92/1011.91	c 676.115 59.3438 3193 3701341
1011.92/1011.91	o 3006
1012.11/1012.16	c 676.282 59.3438 3338 3702607
1012.11/1012.16	o 3005
1013.82/1013.83	c 677.414 59.3438 4605 3708707
1013.82/1013.83	o 3004
1014.52/1014.58	c 677.911 59.3438 2663 3712984
1014.52/1014.58	o 3003
1017.12/1017.19	c 679.697 59.3438 4644 3720400
1017.12/1017.19	o 3002
1018.91/1018.92	c 680.853 59.3438 2985 3726031
1018.91/1018.92	o 3001
1018.91/1018.94	c 680.87 59.3438 2990 3727402
1018.91/1018.94	o 3000
1018.91/1018.95	c 680.883 59.3438 2992 3728990
1018.91/1018.95	o 2999
1019.02/1019.00	c 680.912 59.3438 3048 3729872
1019.02/1019.00	o 2998
1019.12/1019.16	c 681.02 59.3438 3152 3731506
1019.12/1019.16	o 2997
1019.22/1019.22	c 681.064 59.3438 3174 3732716
1019.22/1019.22	o 2996
1021.02/1021.07	c 682.292 59.3438 4180 3736696
1021.02/1021.07	o 2995
1021.11/1021.13	c 682.333 59.3438 4202 3737457
1021.11/1021.13	o 2994
1021.92/1021.95	c 682.873 59.3438 4719 3740327
1021.92/1021.96	o 2992
1022.02/1022.03	c 682.928 59.3438 4829 3741762
1022.02/1022.03	o 2991
1022.32/1022.35	c 683.133 59.3438 4990 3743264
1022.32/1022.35	o 2990
1031.72/1031.80	c 689.246 59.3438 3920 3763753
1031.72/1031.80	o 2988
1031.92/1031.92	c 689.325 59.3438 4029 3764941
1031.92/1031.92	o 2987
1032.02/1032.10	c 689.457 59.3438 4139 3766666
1032.02/1032.10	o 2986
1035.81/1035.86	c 692.025 59.3438 3854 3776798
1035.81/1035.86	o 2985
1035.92/1035.91	c 692.058 59.3438 3867 3777516
1035.92/1035.91	o 2984
1035.92/1035.93	c 692.069 59.3438 3875 3778784
1035.92/1035.93	o 2983
1036.02/1036.08	c 692.167 59.3438 3958 3780066
1036.02/1036.08	o 2982
1036.31/1036.35	c 692.361 59.3438 4133 3781974
1036.31/1036.35	o 2981
1036.92/1036.92	c 692.751 59.3438 4458 3783606
1036.92/1036.92	o 2980
1037.12/1037.14	c 692.905 59.3438 4623 3785616
1037.12/1037.14	o 2979
1037.52/1037.52	c 693.142 59.3438 4901 3787660
1037.52/1037.52	o 2978
1039.42/1039.47	c 694.417 59.3438 3504 3792993
1039.42/1039.47	o 2977
1040.81/1040.83	c 695.322 59.3438 4373 3796906
1040.81/1040.83	o 2976
1041.32/1041.34	c 695.67 59.3438 4642 3798912
1041.32/1041.34	o 2975
1042.12/1042.12	c 696.201 59.3438 2757 3801328
1042.12/1042.12	o 2974
1042.42/1042.48	c 696.455 59.3438 2920 3802969
1042.42/1042.48	o 2972
1064.82/1064.83	c 711.243 59.4727 2988 3839313
1064.82/1064.83	o 2971
1070.22/1070.25	c 714.853 59.4727 4484 3854196
1070.22/1070.25	o 2970
1071.32/1071.32	c 715.564 59.4727 2646 3858837
1071.32/1071.32	o 2969
1071.32/1071.37	c 715.602 59.4727 2665 3859713
1071.32/1071.37	o 2968
1071.42/1071.41	c 715.63 59.4727 2769 3861008
1071.42/1071.41	o 2967
1071.42/1071.44	c 715.651 59.4727 2788 3861600
1071.42/1071.44	o 2966
1071.91/1071.98	c 716.016 59.4727 3130 3864524
1071.91/1071.98	o 2965
1072.52/1072.56	c 716.405 59.4727 4035 3867807
1072.52/1072.56	o 2964
1072.61/1072.61	c 716.441 59.4727 4051 3869630
1072.61/1072.61	o 2963
1072.92/1072.91	c 716.65 59.4727 4270 3872778
1072.92/1072.91	o 2962
1072.92/1072.96	c 716.691 59.4727 4371 3874500
1072.92/1072.96	o 2961
1081.62/1081.67	c 722.519 59.4727 2871 3904199
1081.62/1081.67	o 2960
1082.42/1082.48	c 723.084 59.4727 3339 3907282
1082.42/1082.48	o 2959
1083.61/1083.61	c 723.831 59.4727 4049 3910587
1083.61/1083.61	o 2958
1083.81/1083.84	c 724 59.4727 4369 3912976
1083.81/1083.84	o 2957
1083.81/1083.87	c 724.023 59.4727 4382 3913899
1083.81/1083.87	o 2956
1088.31/1088.35	c 727.004 59.4727 4261 3920747
1088.31/1088.35	o 2955
1088.52/1088.52	c 727.112 59.4727 4389 3922200
1088.52/1088.52	o 2954
1088.82/1088.89	c 727.362 59.4727 4626 3924095
1088.82/1088.89	o 2953
1088.92/1088.90	c 727.372 59.4727 4629 3924916
1088.92/1088.90	o 2952
1088.92/1088.94	c 727.395 59.4727 4644 3926063
1088.92/1088.94	o 2949
1088.92/1088.96	c 727.411 59.4727 4653 3928127
1088.92/1088.96	o 2948
1089.51/1089.56	c 727.804 59.4727 4999 3931892
1089.51/1089.56	o 2947
1089.72/1089.73	c 727.917 59.4727 2562 3934922
1089.72/1089.73	o 2946
1090.91/1090.93	c 728.749 59.4727 3521 3939856
1090.91/1090.93	o 2945
1092.02/1092.05	c 729.514 59.4727 4156 3943022
1092.02/1092.05	o 2944
1092.91/1092.91	c 730.086 59.4727 4732 3947165
1092.91/1092.91	o 2943
1095.52/1095.57	c 731.826 59.4727 4264 3952616
1095.52/1095.57	o 2942
1128.02/1128.03	c 753.782 59.9883 3469 4009604
1128.02/1128.03	o 2941
1131.92/1131.96	c 756.418 59.9883 3468 4018517
1131.92/1131.97	o 2940
1132.51/1132.51	c 756.784 59.9883 3756 4020419
1132.51/1132.51	o 2939
1132.71/1132.73	c 756.923 59.9883 3888 4021559
1132.71/1132.73	o 2938
1133.42/1133.45	c 757.424 59.9883 4470 4025056
1133.42/1133.45	o 2937
1134.41/1134.50	c 758.118 59.9883 2649 4029237
1134.41/1134.50	o 2936
1135.32/1135.37	c 758.693 59.9883 3305 4033125
1135.32/1135.37	o 2935
1136.91/1136.92	c 759.707 59.9883 4425 4038583
1136.91/1136.92	o 2934
1136.91/1136.98	c 759.744 59.9883 4449 4039243
1136.91/1136.98	o 2931
1138.12/1138.19	c 760.531 59.9883 5131 4041328
1138.12/1138.19	o 2929
1138.62/1138.60	c 760.808 59.9883 2886 4043626
1138.62/1138.60	o 2928
1139.52/1139.60	c 761.486 59.9883 3693 4047821
1139.52/1139.60	o 2927
1140.22/1140.22	c 761.907 59.9883 4042 4050789
1140.22/1140.22	o 2926
1140.92/1140.98	c 762.417 59.9883 4784 4054440
1140.92/1140.98	o 2925
1141.12/1141.16	c 762.542 59.9883 4916 4055920
1141.12/1141.16	o 2924
1141.22/1141.27	c 762.62 59.9883 5031 4056977
1141.22/1141.27	o 2923
1143.72/1143.78	c 764.251 59.9883 4382 4066004
1143.72/1143.78	o 2922
1144.11/1144.19	c 764.529 59.9883 4568 4068082
1144.11/1144.19	o 2921
1145.51/1145.51	c 765.41 59.9883 2946 4072663
1145.51/1145.51	o 2920
1145.92/1145.96	c 765.705 59.9883 3416 4075638
1145.92/1145.96	o 2919
1148.32/1148.37	c 767.298 59.9883 2567 4081878
1148.32/1148.37	o 2918
1148.32/1148.40	c 767.318 59.9883 2580 4082830
1148.32/1148.40	o 2916
1148.62/1148.61	c 767.464 59.9883 2677 4084229
1148.62/1148.61	o 2915
1157.72/1157.71	c 773.526 59.9883 5798 4098999
1157.72/1157.71	o 2913
1158.62/1158.64	c 774.156 59.9883 3527 4102198
1158.62/1158.64	o 2912
1160.12/1160.17	c 775.188 59.9883 4627 4107590
1160.12/1160.17	o 2911
1160.32/1160.36	c 775.321 59.9883 4696 4108292
1160.32/1160.36	o 2910
1160.62/1160.63	c 775.505 59.9883 4937 4109650
1160.62/1160.63	o 2909
1160.82/1160.80	c 775.612 59.9883 5059 4111109
1160.82/1160.80	o 2908
1160.82/1160.86	c 775.652 59.9883 2565 4112044
1160.82/1160.86	o 2907
1167.92/1167.96	c 780.384 59.9883 4311 4125177
1167.92/1167.96	o 2906
1168.82/1168.89	c 780.975 59.9883 2858 4131105
1168.82/1168.89	o 2905
1173.02/1173.00	c 783.731 59.9883 3539 4145579
1173.02/1173.00	o 2904
1173.72/1173.75	c 784.221 59.9883 3902 4147946
1173.72/1173.75	o 2903
1176.52/1176.51	c 786.049 59.9883 5234 4151973
1176.52/1176.51	o 2902
1176.92/1176.92	c 786.32 59.9883 2857 4153701
1176.92/1176.92	o 2900
1179.02/1179.08	c 787.75 59.9883 4437 4161145
1179.02/1179.08	o 2898
1180.22/1180.22	c 788.51 59.9883 2926 4166530
1180.22/1180.22	o 2896
1184.72/1184.74	c 791.574 59.9883 3359 4178058
1184.72/1184.74	o 2895
1190.42/1190.40	c 795.301 59.9883 5147 4194098
1190.42/1190.40	o 2894
1192.12/1192.12	c 796.47 59.9883 3649 4202422
1192.12/1192.12	o 2893
1192.32/1192.37	c 796.649 59.9883 3835 4204184
1192.32/1192.37	o 2892
1192.62/1192.65	c 796.846 59.9883 4011 4205804
1192.62/1192.65	o 2891
1192.72/1192.71	c 796.892 59.9883 4034 4206819
1192.72/1192.71	o 2890
1197.52/1197.52	c 800.117 60.1172 3938 4214783
1197.52/1197.52	o 2889
1197.62/1197.63	c 800.193 60.1172 4071 4216503
1197.62/1197.63	o 2888
1198.02/1198.06	c 800.482 60.1172 4330 4219265
1198.02/1198.06	o 2887
1199.72/1199.72	c 801.568 60.1172 2875 4226134
1199.72/1199.72	o 2886
1202.42/1202.43	c 803.382 60.1172 5001 4234084
1202.42/1202.43	o 2885
1202.72/1202.71	c 803.587 60.1172 2703 4235796
1202.72/1202.71	o 2884
1204.02/1204.09	c 804.49 60.1172 3729 4239765
1204.02/1204.09	o 2882
1204.92/1204.98	c 805.077 60.1172 4479 4244449
1204.92/1204.98	o 2881
1205.42/1205.44	c 805.394 60.1172 4779 4248331
1205.42/1205.44	o 2880
1208.02/1208.08	c 807.115 60.1172 4014 4256000
1208.02/1208.08	o 2879
1208.42/1208.43	c 807.34 60.1172 4272 4258069
1208.42/1208.43	o 2878
1208.82/1208.84	c 807.625 60.1172 4594 4260760
1208.82/1208.84	o 2877
1209.22/1209.26	c 807.893 60.1172 4833 4263283
1209.22/1209.26	o 2876
1211.92/1211.97	c 809.597 60.1172 4502 4268329
1211.92/1211.97	o 2875
1218.02/1218.07	c 813.565 60.1172 3411 4284268
1218.02/1218.07	o 2874
1218.42/1218.43	c 813.798 60.1172 3639 4286855
1218.42/1218.43	o 2873
1222.92/1222.99	c 816.859 60.1172 5092 4302079
1222.92/1222.99	o 2872
1223.23/1223.26	c 817.046 60.1172 2683 4304004
1223.23/1223.26	o 2871
1223.62/1223.68	c 817.332 60.1172 2951 4306044
1223.62/1223.68	o 2870
1224.02/1224.00	c 817.539 60.1172 3086 4307933
1224.02/1224.00	o 2869
1226.22/1226.27	c 819.097 60.1172 4453 4314675
1226.22/1226.27	o 2868
1226.72/1226.77	c 819.435 60.1172 4675 4316001
1226.72/1226.77	o 2867
1227.32/1227.34	c 819.814 60.1172 5137 4318413
1227.32/1227.34	o 2866
1242.93/1242.99	c 830.138 60.1172 5199 4353355
1242.93/1242.99	o 2865
1243.82/1243.84	c 830.69 60.1172 3824 4359349
1243.82/1243.84	o 2864
1245.13/1245.17	c 831.586 60.1172 4518 4362719
1245.13/1245.17	o 2863
1245.22/1245.23	c 831.632 60.1172 4558 4363502
1245.22/1245.23	o 2862
1248.43/1248.40	c 833.738 60.1172 4210 4372226
1248.43/1248.40	o 2861
1248.43/1248.46	c 833.776 60.1172 4230 4372827
1248.43/1248.46	o 2860
1248.52/1248.51	c 833.816 60.1172 4249 4373686
1248.52/1248.51	o 2859
1248.62/1248.63	c 833.903 60.1172 4353 4375568
1248.62/1248.63	o 2858
1248.62/1248.65	c 833.912 60.1172 4354 4376722
1248.62/1248.65	o 2857
1248.73/1248.76	c 833.977 60.1172 4466 4378992
1248.73/1248.76	o 2856
1248.92/1248.94	c 834.107 60.1172 4566 4381563
1248.92/1248.94	o 2855
1249.02/1249.03	c 834.167 60.1172 4598 4382287
1249.02/1249.03	o 2854
1250.82/1250.87	c 835.358 60.1172 3182 4389021
1250.82/1250.87	o 2853
1259.83/1259.87	c 841.282 60.1172 4292 4406202
1259.83/1259.87	o 2852
1263.02/1263.01	c 843.297 60.1172 3880 4414034
1263.02/1263.01	o 2851
1263.83/1263.87	c 843.876 60.1172 4410 4417566
1263.83/1263.87	o 2850
1264.02/1264.03	c 843.992 60.1172 4595 4419066
1264.02/1264.03	o 2849
1270.92/1270.91	c 848.504 60.1172 4447 4436725
1270.92/1270.91	o 2848
1271.62/1271.64	c 848.989 60.1172 4951 4439711
1271.62/1271.64	o 2847
1275.02/1275.02	c 851.236 60.1172 4308 4448479
1275.02/1275.02	o 2846
1277.22/1277.23	c 852.677 60.1172 3176 4453292
1277.22/1277.23	o 2845
1278.23/1278.22	c 853.323 60.1172 3616 4454761
1278.23/1278.22	o 2844
1278.32/1278.38	c 853.433 60.1172 3731 4455876
1278.32/1278.38	o 2843
1278.83/1278.88	c 853.793 60.1172 4139 4458843
1278.83/1278.88	o 2842
1278.92/1278.99	c 853.876 60.1172 4197 4459597
1278.92/1278.99	o 2841
1279.92/1279.93	c 854.5 60.1172 4772 4462417
1279.92/1279.93	o 2840
1280.02/1280.03	c 854.573 60.1172 4817 4463235
1280.02/1280.03	o 2839
1280.02/1280.09	c 854.616 60.1172 4836 4464095
1280.02/1280.09	o 2838
1280.12/1280.12	c 854.633 60.1172 4851 4464958
1280.12/1280.12	o 2837
1280.12/1280.14	c 854.65 60.1172 4855 4466001
1280.12/1280.14	o 2836
1280.23/1280.30	c 854.76 60.1172 4963 4468553
1280.23/1280.30	o 2835
1281.03/1281.00	c 855.215 60.1172 2890 4471579
1281.03/1281.00	o 2834
1281.03/1281.09	c 855.282 60.1172 2934 4472396
1281.03/1281.09	o 2832
1281.12/1281.15	c 855.321 60.1172 2965 4474445
1281.12/1281.15	o 2831
1292.82/1292.81	c 863.088 60.1172 5062 4501608
1292.82/1292.81	o 2830
1295.52/1295.59	c 864.9 60.1172 4592 4508678
1295.52/1295.59	o 2829
1296.42/1296.40	c 865.451 60.1172 2609 4512137
1296.42/1296.40	o 2828
1296.53/1296.57	c 865.569 60.1172 2676 4512717
1296.53/1296.57	o 2827
1296.62/1296.61	c 865.598 60.1172 2686 4513965
1296.62/1296.61	o 2826
1298.13/1298.19	c 866.666 60.1172 3677 4519146
1298.13/1298.19	o 2825
1299.43/1299.48	c 867.553 60.1172 4584 4523594
1299.43/1299.48	o 2824
1299.92/1299.97	c 867.855 60.1172 4800 4525145
1299.92/1299.97	o 2823
1300.03/1300.04	c 867.904 60.1172 4823 4525499
1300.03/1300.04	o 2822
1300.13/1300.15	c 867.98 60.1172 4862 4526056
1300.13/1300.15	o 2821
1305.52/1305.53	c 871.628 60.1172 3402 4537550
1305.52/1305.53	o 2820
1305.73/1305.72	c 871.754 60.1172 3554 4538408
1305.73/1305.72	o 2819
1305.93/1305.91	c 871.888 60.1172 3667 4540270
1305.93/1305.91	o 2818
1306.03/1306.07	c 871.988 60.1172 3771 4542468
1306.03/1306.07	o 2817
1309.63/1309.61	c 874.382 60.1172 3567 4551243
1309.63/1309.61	o 2816
1309.72/1309.71	c 874.451 60.1172 3677 4552728
1309.72/1309.71	o 2815
1318.42/1318.42	c 880.346 60.1172 5835 4565300
1318.42/1318.42	o 2814
1319.12/1319.18	c 880.856 60.1172 3520 4570207
1319.12/1319.18	o 2813
1320.22/1320.28	c 881.606 60.1172 4251 4574048
1320.22/1320.28	o 2812
1320.53/1320.54	c 881.783 60.1172 4430 4575409
1320.53/1320.54	o 2811
1321.33/1321.33	c 882.292 60.1172 4960 4577775
1321.33/1321.33	o 2810
1321.33/1321.37	c 882.318 60.1172 4972 4578217
1321.33/1321.37	o 2809
1321.72/1321.77	c 882.611 60.1172 5200 4579882
1321.72/1321.77	o 2808
1321.72/1321.79	c 882.628 60.1172 2606 4581088
1321.72/1321.79	o 2807
1321.92/1321.99	c 882.765 60.1172 2758 4582438
1321.92/1321.99	o 2806
1322.03/1322.00	c 882.774 60.1172 2759 4583039
1322.03/1322.00	o 2805
1322.03/1322.04	c 882.804 60.1172 2772 4584084
1322.03/1322.04	o 2804
1322.13/1322.20	c 882.904 60.1172 2883 4585822
1322.13/1322.20	o 2803
1322.23/1322.23	c 882.925 60.1172 2887 4586502
1322.23/1322.23	o 2802
1327.32/1327.39	c 886.27 60.1172 3412 4596225
1327.32/1327.39	o 2801
1328.12/1328.14	c 886.777 60.1172 3845 4598551
1328.12/1328.14	o 2800
1328.42/1328.47	c 886.983 60.1172 4070 4600071
1328.42/1328.47	o 2799
1328.62/1328.67	c 887.099 60.1172 4176 4602054
1328.62/1328.67	o 2798
1328.93/1328.97	c 887.293 60.1172 4322 4603985
1328.93/1328.97	o 2797
1329.83/1329.84	c 887.889 60.1172 5044 4610706
1329.83/1329.84	o 2796
1330.03/1330.06	c 888.047 60.1172 5189 4612528
1330.03/1330.06	o 2795
1330.32/1330.32	c 888.217 60.1172 2743 4613658
1330.32/1330.32	o 2794
1330.42/1330.47	c 888.313 60.1172 2863 4614877
1330.42/1330.47	o 2793
1341.43/1341.42	c 895.548 60.1172 4517 4634444
1341.43/1341.42	o 2792
1342.53/1342.55	c 896.299 60.1172 2755 4638692
1342.53/1342.55	o 2791
1342.63/1342.66	c 896.374 60.1172 2881 4639745
1342.63/1342.66	o 2790
1344.13/1344.13	c 897.38 60.1172 3746 4644576
1344.13/1344.13	o 2789
1346.62/1346.63	c 899.037 60.1172 5577 4650302
1346.62/1346.63	o 2788
1348.92/1348.92	c 900.586 60.1172 4604 4659093
1348.92/1348.92	o 2787
1350.03/1350.04	c 901.324 60.1172 5085 4660968
1350.03/1350.04	o 2786
1357.93/1357.94	c 906.588 60.1172 3301 4679548
1357.93/1357.94	o 2785
1358.53/1358.56	c 906.982 60.1172 3569 4680507
1358.53/1358.56	o 2784
1358.72/1358.77	c 907.114 60.1172 3697 4681496
1358.72/1358.77	o 2783
1358.83/1358.85	c 907.176 60.1172 3803 4682643
1358.83/1358.85	o 2782
1358.93/1358.93	c 907.224 60.1172 3841 4683531
1358.93/1358.93	o 2781
1360.23/1360.23	c 908.079 60.1172 4630 4686317
1360.23/1360.23	o 2780
1360.33/1360.31	c 908.133 60.1172 4734 4687366
1360.33/1360.31	o 2779
1360.73/1360.73	c 908.413 60.1172 4997 4690323
1360.73/1360.73	o 2778
1362.52/1362.51	c 909.547 60.1172 3479 4695265
1362.52/1362.51	o 2777
1362.83/1362.85	c 909.782 60.1172 3751 4696942
1362.83/1362.85	o 2776
1367.12/1367.18	c 912.622 60.1172 4618 4707007
1367.12/1367.18	o 2775
1368.53/1368.54	c 913.544 60.1172 2781 4711515
1368.53/1368.54	o 2774
1368.93/1368.95	c 913.825 60.1172 3011 4713468
1368.93/1368.95	o 2773
1369.53/1369.57	c 914.234 60.1172 3413 4716088
1369.53/1369.57	o 2772
1369.72/1369.75	c 914.359 60.1172 3547 4717245
1369.72/1369.75	o 2771
1369.83/1369.82	c 914.401 60.1172 3576 4718377
1369.83/1369.82	o 2770
1372.73/1372.71	c 916.379 60.1172 2709 4727044
1372.73/1372.71	o 2769
1376.03/1376.04	c 918.555 60.1172 4910 4737539
1376.03/1376.04	o 2768
1379.02/1379.04	c 920.572 60.1172 4177 4745875
1379.02/1379.04	o 2767
1379.73/1379.79	c 921.054 60.1172 4694 4750968
1379.73/1379.79	o 2766
1381.22/1381.21	c 922.014 60.1172 3199 4757591
1381.22/1381.21	o 2765
1381.22/1381.24	c 922.041 60.1172 3208 4758756
1381.22/1381.24	o 2764
1381.22/1381.28	c 922.067 60.1172 3231 4759782
1381.22/1381.28	o 2763
1381.32/1381.33	c 922.106 60.1172 3246 4760587
1381.32/1381.33	o 2762
1383.83/1383.89	c 923.823 60.1172 5052 4769484
1383.83/1383.89	o 2761
1383.92/1383.92	c 923.842 60.1172 5062 4770129
1383.92/1383.92	o 2760
1383.92/1383.97	c 923.875 60.1172 5096 4771243
1383.92/1383.97	o 2759
1384.02/1384.05	c 923.926 60.1172 5128 4772137
1384.02/1384.05	o 2758
1384.02/1384.09	c 923.949 60.1172 5145 4773178
1384.02/1384.09	o 2757
1384.43/1384.46	c 924.196 60.1172 2827 4775838
1384.43/1384.46	o 2756
1384.83/1384.86	c 924.454 60.1172 3291 4778281
1384.83/1384.86	o 2755
1384.83/1384.89	c 924.48 60.1172 3304 4779091
1384.83/1384.89	o 2754
1385.12/1385.15	c 924.679 60.1172 3444 4780721
1385.12/1385.15	o 2753
1385.72/1385.73	c 925.069 60.1172 3978 4783350
1385.72/1385.73	o 2752
1387.92/1387.98	c 926.526 60.1172 2882 4786711
1387.92/1387.98	o 2751
1388.52/1388.59	c 926.925 60.1172 3127 4788957
1388.52/1388.59	o 2749
1389.03/1389.07	c 927.258 60.1172 3524 4791043
1389.03/1389.07	o 2748
1390.12/1390.14	c 927.957 60.1172 4262 4794836
1390.12/1390.14	o 2747
1392.53/1392.57	c 929.614 60.1172 3020 4799256
1392.53/1392.57	o 2746
1392.93/1392.96	c 929.876 60.1172 3258 4800741
1392.93/1392.96	o 2743
1394.02/1394.10	c 930.641 60.1172 4199 4805557
1394.02/1394.10	o 2742
1396.42/1396.44	c 932.185 60.1172 3302 4811859
1396.42/1396.44	o 2741
1396.52/1396.57	c 932.275 60.1172 3425 4814057
1396.52/1396.57	o 2740
1398.03/1398.01	c 933.268 60.1172 4347 4818941
1398.03/1398.01	o 2739
1398.13/1398.11	c 933.331 60.1172 4382 4819530
1398.13/1398.11	o 2738
1399.13/1399.18	c 934.081 60.1172 5106 4821933
1399.13/1399.18	o 2737
1400.03/1400.03	c 934.645 60.1172 2841 4823926
1400.03/1400.03	o 2736
1401.03/1401.06	c 935.346 60.1172 3678 4827118
1401.03/1401.06	o 2735
1401.13/1401.19	c 935.433 60.1172 3766 4827845
1401.13/1401.19	o 2734
1404.33/1404.39	c 937.607 60.1172 3080 4834805
1404.33/1404.39	o 2733
1406.22/1406.20	c 938.799 60.1172 4480 4842318
1406.22/1406.20	o 2732
1406.22/1406.21	c 938.811 60.1172 4483 4844267
1406.22/1406.21	o 2731
1406.32/1406.33	c 938.893 60.1172 4528 4846165
1406.32/1406.33	o 2730
1407.63/1407.66	c 939.792 60.1172 2989 4850274
1407.63/1407.66	o 2729
1407.83/1407.80	c 939.882 60.1172 3120 4851248
1407.83/1407.80	o 2728
1407.93/1407.99	c 940.008 60.1172 3227 4853141
1407.93/1407.99	o 2726
1408.03/1408.06	c 940.058 60.1172 3253 4853752
1408.03/1408.06	o 2725
1408.43/1408.41	c 940.303 60.1172 3501 4855517
1408.43/1408.41	o 2724
1411.42/1411.40	c 942.229 60.1172 2918 4861978
1411.42/1411.40	o 2723
1415.63/1415.70	c 945.049 60.1172 3899 4874941
1415.63/1415.70	o 2722
1432.13/1432.16	c 956.066 60.1172 3299 4908858
1432.13/1432.16	o 2720
1433.93/1433.93	c 957.257 60.1172 4737 4916433
1433.93/1433.93	o 2719
1434.23/1434.30	c 957.491 60.1172 5043 4918616
1434.23/1434.30	o 2718
1434.62/1434.62	c 957.717 60.1172 5217 4920244
1434.62/1434.62	o 2717
1435.53/1435.58	c 958.362 60.1172 3294 4924133
1435.53/1435.58	o 2716
1437.33/1437.39	c 959.586 60.1172 4412 4929522
1437.33/1437.39	o 2715
1439.93/1439.97	c 961.288 60.1172 3313 4935133
1439.93/1439.97	o 2714
1441.63/1441.68	c 962.42 60.1172 4772 4941322
1441.63/1441.68	o 2713
1442.03/1442.06	c 962.668 60.1172 4946 4943409
1442.03/1442.06	o 2712
1442.43/1442.48	c 962.945 60.1172 2716 4946276
1442.43/1442.48	o 2711
1442.83/1442.86	c 963.192 60.1172 2902 4948024
1442.83/1442.86	o 2710
1443.83/1443.85	c 963.882 60.1172 3555 4951982
1443.83/1443.85	o 2709
1444.13/1444.18	c 964.118 60.1172 3782 4953291
1444.13/1444.18	o 2708
1444.43/1444.47	c 964.31 60.1172 3936 4954189
1444.43/1444.47	o 2707
1444.92/1444.97	c 964.658 60.1172 4245 4957672
1444.92/1444.97	o 2706
1445.63/1445.61	c 965.071 60.1172 4645 4961302
1445.63/1445.61	o 2705
1445.63/1445.63	c 965.084 60.1172 4648 4962470
1445.63/1445.63	o 2703
1445.63/1445.65	c 965.097 60.1172 4653 4963177
1445.63/1445.65	o 2702
1445.73/1445.70	c 965.125 60.1172 4679 4964379
1445.73/1445.70	o 2701
1446.02/1446.09	c 965.39 60.1172 4917 4966786
1446.02/1446.09	o 2700
1447.82/1447.85	c 966.571 60.1172 5663 4969021
1447.82/1447.85	o 2699
1447.93/1447.95	c 966.635 60.1172 2866 4969800
1447.93/1447.95	o 2698
1448.03/1448.02	c 966.677 60.1172 2897 4970512
1448.03/1448.02	o 2697
1448.03/1448.07	c 966.72 60.1172 2937 4972097
1448.03/1448.07	o 2696
1448.63/1448.67	c 967.139 60.1172 3245 4975075
1448.63/1448.67	o 2695
1448.93/1448.90	c 967.295 60.1172 3520 4976617
1448.93/1448.90	o 2694
1449.03/1449.00	c 967.375 60.1172 3562 4977603
1449.03/1449.00	o 2693
1449.03/1449.07	c 967.419 60.1172 3584 4978760
1449.03/1449.07	o 2691
1449.13/1449.11	c 967.447 60.1172 3608 4980240
1449.13/1449.11	o 2690
1449.33/1449.30	c 967.581 60.1172 3799 4982001
1449.33/1449.30	o 2689
1449.63/1449.67	c 967.836 60.1172 4085 4983818
1449.63/1449.67	o 2688
1449.73/1449.77	c 967.905 60.1172 4185 4986249
1449.73/1449.77	o 2687
1449.84/1449.82	c 967.945 60.1172 4218 4987220
1449.84/1449.82	o 2686
1449.92/1449.98	c 968.058 60.1172 4360 4989257
1449.92/1449.98	o 2685
1450.13/1450.16	c 968.174 60.1172 4469 4991228
1450.13/1450.16	o 2683
1451.03/1451.00	c 968.74 60.1172 5075 4995001
1451.03/1451.00	o 2682
1455.13/1455.13	c 971.503 60.1172 4944 5006033
1455.13/1455.13	o 2681
1455.43/1455.49	c 971.757 60.1172 5177 5006986
1455.43/1455.49	o 2680
1456.93/1456.95	c 972.76 60.1172 3423 5009589
1456.93/1456.95	o 2679
1456.93/1456.99	c 972.782 60.1172 3437 5010083
1456.93/1456.99	o 2678
1457.12/1457.11	c 972.869 60.1172 3542 5011517
1457.12/1457.11	o 2677
1457.12/1457.17	c 972.913 60.1172 3567 5012406
1457.12/1457.17	o 2676
1457.54/1457.54	c 973.166 60.1172 3996 5015690
1457.54/1457.54	o 2675
1457.83/1457.88	c 973.401 60.1172 4221 5017692
1457.83/1457.88	o 2674
1458.12/1458.10	c 973.541 60.1172 4336 5019405
1458.12/1458.10	o 2673
1459.03/1459.06	c 974.198 60.1172 5006 5021914
1459.03/1459.06	o 2672
1459.12/1459.16	c 974.256 60.1172 5130 5022979
1459.12/1459.16	o 2671
1459.22/1459.28	c 974.338 60.1172 5194 5023746
1459.22/1459.28	o 2670
1459.32/1459.31	c 974.355 60.1172 5202 5024658
1459.32/1459.31	o 2669
1461.32/1461.31	c 975.73 60.1172 4456 5032618
1461.32/1461.31	o 2668
1461.32/1461.34	c 975.745 60.1172 4461 5033445
1461.32/1461.34	o 2667
1461.43/1461.48	c 975.837 60.1172 4514 5034313
1461.43/1461.48	o 2666
1465.43/1465.41	c 978.44 60.1172 4771 5043847
1465.43/1465.41	o 2665
1471.03/1471.04	c 982.209 60.1172 3184 5055874
1471.03/1471.04	o 2664
1471.13/1471.16	c 982.291 60.1172 3308 5056808
1471.13/1471.16	o 2662
1471.33/1471.30	c 982.386 60.1172 3445 5058115
1471.33/1471.30	o 2661
1471.43/1471.40	c 982.445 60.1172 3478 5059085
1471.43/1471.40	o 2660
1474.83/1474.89	c 984.734 60.1172 3056 5067158
1474.83/1474.89	o 2659
1476.53/1476.53	c 985.824 60.1172 4471 5073899
1476.53/1476.53	o 2658
1477.12/1477.20	c 986.243 60.1172 4891 5077032
1477.12/1477.20	o 2657
1477.33/1477.34	c 986.335 60.1172 5024 5078649
1477.33/1477.34	o 2656
1477.53/1477.56	c 986.485 60.1172 5255 5080242
1477.53/1477.56	o 2655
1478.73/1478.78	c 987.328 60.1172 3591 5085060
1478.73/1478.78	o 2654
1478.83/1478.83	c 987.361 60.1172 3602 5086089
1478.83/1478.83	o 2653
1479.03/1479.00	c 987.474 60.1172 3707 5087823
1479.03/1479.00	o 2652
1479.03/1479.07	c 987.523 60.1172 3727 5088737
1479.03/1479.07	o 2651
1479.12/1479.10	c 987.543 60.1172 3736 5089813
1479.12/1479.10	o 2650
1479.33/1479.32	c 987.685 60.1172 3852 5091806
1479.33/1479.32	o 2649
1479.33/1479.34	c 987.702 60.1172 3857 5093175
1479.33/1479.34	o 2648
1483.13/1483.20	c 990.269 60.1172 3942 5104889
1483.13/1483.20	o 2647
1484.43/1484.41	c 991.084 60.1172 4519 5107345
1484.43/1484.41	o 2646
1488.63/1488.66	c 993.845 60.1172 3147 5120049
1488.63/1488.66	o 2645
1498.83/1498.80	c 1000.52 60.1172 5914 5130177
1498.83/1498.80	o 2644
1501.03/1501.02	c 1001.99 60.25 4690 5137465
1501.03/1501.02	o 2643
1508.43/1508.48	c 1006.97 60.25 4489 5154625
1508.43/1508.48	o 2642
1508.63/1508.67	c 1007.1 60.25 4583 5155208
1508.63/1508.67	o 2641
1509.43/1509.41	c 1007.6 60.25 4869 5156312
1509.43/1509.41	o 2640
1509.43/1509.47	c 1007.64 60.25 4891 5157150
1509.43/1509.47	o 2639
1509.93/1509.97	c 1007.96 60.25 5259 5159187
1509.93/1509.97	o 2638
1510.73/1510.70	c 1008.44 60.25 3027 5161687
1510.73/1510.70	o 2637
1511.13/1511.16	c 1008.75 60.25 3320 5163345
1511.13/1511.16	o 2636
1512.44/1512.43	c 1009.6 60.25 4343 5167253
1512.44/1512.43	o 2635
1514.13/1514.15	c 1010.7 60.25 2850 5172926
1514.13/1514.15	o 2634
1514.23/1514.28	c 1010.78 60.25 2898 5173738
1514.23/1514.28	o 2633
1514.43/1514.43	c 1010.88 60.25 3016 5175563
1514.43/1514.43	o 2632
1514.53/1514.50	c 1010.94 60.25 3118 5176940
1514.53/1514.50	o 2631
1515.13/1515.15	c 1011.38 60.25 3458 5178442
1515.13/1515.15	o 2630
1515.43/1515.47	c 1011.59 60.25 3712 5179573
1515.43/1515.47	o 2629
1517.43/1517.40	c 1012.83 60.25 5330 5186667
1517.43/1517.40	o 2628
1518.03/1518.02	c 1013.25 60.25 2984 5188871
1518.03/1518.02	o 2627
1519.83/1519.80	c 1014.43 60.25 4310 5195317
1519.83/1519.80	o 2626
1520.24/1520.24	c 1014.75 60.25 4584 5197063
1520.24/1520.24	o 2624
1522.33/1522.35	c 1016.12 60.25 3638 5202093
1522.33/1522.35	o 2623
1534.53/1534.54	c 1024.17 60.25 4080 5224913
1534.53/1534.54	o 2621
1534.64/1534.67	c 1024.26 60.25 4196 5225732
1534.64/1534.67	o 2620
1534.74/1534.71	c 1024.29 60.25 4224 5226325
1534.74/1534.71	o 2619
1536.23/1536.21	c 1025.26 60.25 5274 5230734
1536.23/1536.21	o 2618
1536.33/1536.37	c 1025.38 60.25 2698 5231965
1536.33/1536.37	o 2617
1536.53/1536.52	c 1025.48 60.25 2764 5232722
1536.53/1536.52	o 2616
1536.83/1536.81	c 1025.67 60.25 2952 5233882
1536.83/1536.81	o 2615
1537.03/1537.01	c 1025.8 60.25 3084 5235092
1537.03/1537.01	o 2614
1537.13/1537.17	c 1025.92 60.25 3141 5235694
1537.13/1537.17	o 2613
1537.33/1537.32	c 1026.02 60.25 3253 5237250
1537.33/1537.32	o 2612
1538.73/1538.73	c 1026.92 60.25 4201 5241496
1538.73/1538.73	o 2611
1539.23/1539.20	c 1027.24 60.25 4395 5242852
1539.23/1539.20	o 2610
1540.13/1540.11	c 1027.87 60.25 4836 5244681
1540.13/1540.11	o 2609
1540.23/1540.27	c 1027.97 60.25 4987 5245764
1540.23/1540.27	o 2608
1540.74/1540.77	c 1028.32 60.25 5273 5247765
1540.74/1540.77	o 2607
1543.43/1543.43	c 1030.12 60.25 4148 5254521
1543.43/1543.43	o 2606
1546.64/1546.61	c 1032.27 60.25 3156 5261884
1546.64/1546.61	o 2605
1547.93/1547.96	c 1033.17 60.25 3997 5266210
1547.93/1547.96	o 2604
1547.93/1547.97	c 1033.18 60.25 3998 5266996
1547.93/1547.97	o 2602
1548.03/1548.03	c 1033.23 60.25 4020 5268156
1548.03/1548.03	o 2601
1548.13/1548.13	c 1033.28 60.25 4067 5268775
1548.13/1548.13	o 2600
1548.53/1548.52	c 1033.54 60.25 4240 5270378
1548.53/1548.52	o 2599
1549.53/1549.57	c 1034.22 60.25 5164 5274917
1549.53/1549.57	o 2598
1551.53/1551.56	c 1035.55 60.25 3660 5280557
1551.53/1551.56	o 2597
1559.83/1559.89	c 1041.01 60.25 3222 5295920
1559.83/1559.89	o 2596
1561.43/1561.40	c 1042 60.25 4142 5299214
1561.43/1561.40	o 2595
1561.94/1561.96	c 1042.37 60.25 4489 5301525
1561.94/1561.96	o 2594
1562.23/1562.20	c 1042.53 60.25 4582 5302985
1562.23/1562.20	o 2593
1562.63/1562.60	c 1042.8 60.25 4914 5305567
1562.63/1562.60	o 2592
1562.73/1562.74	c 1042.89 60.25 5015 5307753
1562.73/1562.74	o 2591
1562.73/1562.75	c 1042.9 60.25 5015 5309199
1562.73/1562.75	o 2590
1562.73/1562.78	c 1042.93 60.25 5025 5310820
1562.73/1562.78	o 2589
1563.43/1563.45	c 1043.37 60.25 2951 5314029
1563.43/1563.45	o 2588
1574.23/1574.22	c 1050.56 60.25 4477 5329462
1574.23/1574.22	o 2587
1575.44/1575.43	c 1051.38 60.25 5337 5333859
1575.44/1575.43	o 2586
1575.63/1575.65	c 1051.54 60.25 5432 5335242
1575.63/1575.65	o 2585
1578.03/1578.06	c 1053.13 60.25 4846 5342950
1578.03/1578.06	o 2584
1578.03/1578.09	c 1053.16 60.25 4868 5343697
1578.03/1578.09	o 2583
1578.63/1578.60	c 1053.5 60.25 5150 5345604
1578.63/1578.60	o 2582
1579.43/1579.47	c 1054.06 60.25 3070 5348691
1579.43/1579.47	o 2581
1579.54/1579.55	c 1054.12 60.25 3099 5349424
1579.54/1579.55	o 2580
1583.13/1583.19	c 1056.56 60.25 3556 5359230
1583.13/1583.19	o 2579
1584.53/1584.50	c 1057.42 60.25 4372 5362892
1584.53/1584.50	o 2578
1584.73/1584.73	c 1057.57 60.25 4521 5363790
1584.73/1584.73	o 2577
1584.83/1584.82	c 1057.63 60.25 4575 5364704
1584.83/1584.82	o 2576
1585.04/1585.03	c 1057.77 60.25 4780 5365741
1585.04/1585.03	o 2575
1585.04/1585.08	c 1057.8 60.25 4795 5366691
1585.04/1585.08	o 2574
1585.14/1585.12	c 1057.83 60.25 4804 5367574
1585.14/1585.12	o 2573
1585.14/1585.14	c 1057.84 60.25 4806 5368529
1585.14/1585.14	o 2572
1586.14/1586.18	c 1058.55 60.25 3026 5375943
1586.14/1586.18	o 2571
1593.73/1593.76	c 1063.6 60.25 3272 5392153
1593.73/1593.76	o 2570
1594.03/1594.00	c 1063.77 60.25 3487 5393491
1594.03/1594.00	o 2569
1594.03/1594.06	c 1063.8 60.25 3511 5394303
1594.03/1594.06	o 2568
1596.23/1596.28	c 1065.27 60.25 5027 5400261
1596.23/1596.28	o 2567
1596.93/1596.98	c 1065.75 60.25 5437 5403494
1596.93/1596.98	o 2566
1597.13/1597.10	c 1065.83 60.25 2833 5405140
1597.13/1597.10	o 2565
1599.03/1599.07	c 1067.16 60.25 4322 5409453
1599.03/1599.07	o 2564
1599.54/1599.54	c 1067.48 60.25 4732 5412793
1599.54/1599.54	o 2563
1601.34/1601.34	c 1068.65 60.25 3110 5416948
1601.34/1601.34	o 2562
1602.63/1602.68	c 1069.53 60.25 3838 5419804
1602.63/1602.68	o 2561
1604.43/1604.43	c 1070.69 60.25 5152 5426402
1604.43/1604.43	o 2560
1604.93/1604.99	c 1071.09 60.25 2748 5429118
1604.93/1604.99	o 2559
1610.83/1610.81	c 1074.98 60.25 4732 5440132
1610.83/1610.81	o 2558
1612.03/1612.00	c 1075.78 60.25 5426 5443505
1612.03/1612.00	o 2557
1612.24/1612.26	c 1075.96 60.25 2884 5444412
1612.24/1612.26	o 2556
1612.44/1612.45	c 1076.08 60.25 3016 5445355
1612.44/1612.45	o 2555
1612.54/1612.51	c 1076.13 60.25 3036 5445875
1612.54/1612.51	o 2554
1612.64/1612.62	c 1076.2 60.25 3086 5446517
1612.64/1612.62	o 2553
1612.64/1612.64	c 1076.22 60.25 3097 5447569
1612.64/1612.64	o 2552
1615.13/1615.12	c 1077.83 60.25 4808 5453085
1615.13/1615.12	o 2551
1615.73/1615.74	c 1078.25 60.25 5079 5454535
1615.73/1615.74	o 2550
1616.33/1616.37	c 1078.67 60.25 5534 5456730
1616.33/1616.37	o 2549
1616.93/1616.95	c 1079.04 60.25 3060 5458347
1616.93/1616.95	o 2548
1618.64/1618.65	c 1080.19 60.25 3953 5460457
1618.64/1618.65	o 2547
1619.53/1619.50	c 1080.76 60.25 4643 5463910
1619.53/1619.50	o 2546
1619.63/1619.69	c 1080.87 60.25 4772 5464913
1619.63/1619.69	o 2545
1619.73/1619.74	c 1080.91 60.25 4790 5465376
1619.73/1619.74	o 2544
1620.13/1620.15	c 1081.22 60.25 4966 5466370
1620.13/1620.15	o 2543
1620.24/1620.30	c 1081.31 60.25 5071 5467532
1620.24/1620.30	o 2542
1620.64/1620.60	c 1081.52 60.25 5233 5469321
1620.64/1620.60	o 2541
1622.73/1622.73	c 1082.95 60.25 4161 5475674
1622.73/1622.73	o 2540
1624.44/1624.47	c 1084.15 60.25 5214 5479840
1624.44/1624.47	o 2539
1624.54/1624.57	c 1084.22 60.25 5263 5480365
1624.54/1624.57	o 2538
1624.54/1624.59	c 1084.23 60.25 5266 5480988
1624.54/1624.59	o 2537
1624.93/1624.92	c 1084.45 60.25 5427 5482460
1624.93/1624.92	o 2536
1624.93/1624.95	c 1084.47 60.25 2718 5482912
1624.93/1624.95	o 2535
1625.03/1625.09	c 1084.57 60.25 2899 5484885
1625.03/1625.09	o 2534
1627.33/1627.35	c 1086.05 60.25 4631 5492381
1627.33/1627.35	o 2533
1627.63/1627.67	c 1086.27 60.25 4805 5493704
1627.63/1627.67	o 2531
1627.83/1627.89	c 1086.41 60.25 4928 5495177
1627.83/1627.89	o 2530
1628.04/1628.01	c 1086.5 60.25 5000 5495630
1628.04/1628.01	o 2529
1628.13/1628.10	c 1086.56 60.25 5038 5496248
1628.13/1628.10	o 2528
1628.83/1628.83	c 1087.04 60.25 2788 5499324
1628.83/1628.83	o 2527
1628.93/1628.96	c 1087.13 60.25 2906 5500417
1628.93/1628.96	o 2526
1629.14/1629.15	c 1087.26 60.25 2980 5501086
1629.14/1629.15	o 2525
1630.14/1630.18	c 1087.94 60.25 3901 5503478
1630.14/1630.18	o 2524
1632.84/1632.81	c 1089.63 60.25 2984 5510939
1632.84/1632.81	o 2522
1633.33/1633.32	c 1089.98 60.25 3233 5512427
1633.33/1633.32	o 2521
1635.23/1635.24	c 1091.26 60.25 4955 5519780
1635.23/1635.24	o 2520
1635.43/1635.46	c 1091.41 60.25 5122 5521037
1635.43/1635.46	o 2519
1635.74/1635.77	c 1091.62 60.25 5274 5522270
1635.74/1635.77	o 2518
1635.83/1635.86	c 1091.69 60.25 5382 5525280
1635.83/1635.86	o 2517
1636.04/1636.03	c 1091.79 60.25 5442 5525948
1636.04/1636.03	o 2516
1636.14/1636.13	c 1091.86 60.25 2763 5526974
1636.14/1636.13	o 2515
1636.23/1636.22	c 1091.92 60.25 2866 5528008
1636.23/1636.22	o 2514
1637.84/1637.82	c 1092.99 60.25 4168 5534452
1637.84/1637.82	o 2513
1641.33/1641.32	c 1095.3 60.25 3440 5542057
1641.33/1641.32	o 2512
1644.83/1644.80	c 1097.58 60.25 3704 5551321
1644.83/1644.80	o 2511
1645.74/1645.78	c 1098.22 60.25 4319 5555382
1645.74/1645.78	o 2510
1646.44/1646.41	c 1098.66 60.25 4715 5558027
1646.44/1646.41	o 2509
1647.03/1647.02	c 1099.07 60.25 5126 5560624
1647.03/1647.02	o 2508
1647.13/1647.17	c 1099.17 60.25 5250 5561913
1647.13/1647.17	o 2507
1647.84/1647.85	c 1099.62 60.25 3006 5565407
1647.84/1647.85	o 2506
1648.43/1648.40	c 1099.99 60.25 3356 5567350
1648.43/1648.40	o 2505
1648.53/1648.57	c 1100.11 60.25 3559 5569391
1648.53/1648.57	o 2504
1648.94/1648.91	c 1100.33 60.25 3721 5570385
1648.94/1648.91	o 2502
1655.54/1655.52	c 1104.7 60.25 4130 5577994
1655.54/1655.52	o 2501
1655.64/1655.64	c 1104.77 60.25 4231 5579338
1655.64/1655.64	o 2500
1655.83/1655.83	c 1104.91 60.25 4298 5580283
1655.83/1655.83	o 2499
1657.93/1657.99	c 1106.37 60.25 3803 5589773
1657.93/1657.99	o 2498
1659.24/1659.25	c 1107.21 60.25 4930 5594149
1659.24/1659.25	o 2497
1661.24/1661.20	c 1108.44 60.25 3356 5598729
1661.24/1661.20	o 2496
1661.63/1661.67	c 1108.74 60.25 3564 5600371
1661.63/1661.67	o 2495
1661.94/1661.90	c 1108.89 60.25 3715 5601506
1661.94/1661.90	o 2494
1662.04/1662.00	c 1108.96 60.25 3817 5602638
1662.04/1662.00	o 2493
1662.14/1662.19	c 1109.09 60.25 3886 5603241
1662.14/1662.19	o 2491
1662.24/1662.21	c 1109.1 60.25 3891 5604454
1662.24/1662.21	o 2490
1662.34/1662.34	c 1109.2 60.25 3984 5605527
1662.34/1662.34	o 2489
1662.34/1662.37	c 1109.22 60.25 3989 5605996
1662.34/1662.37	o 2488
1662.44/1662.40	c 1109.24 60.25 4002 5607364
1662.44/1662.40	o 2485
1662.53/1662.54	c 1109.33 60.25 4071 5608827
1662.53/1662.54	o 2484
1662.63/1662.63	c 1109.4 60.25 4103 5609849
1662.63/1662.63	o 2483
1662.73/1662.73	c 1109.46 60.25 4166 5611178
1662.73/1662.73	o 2482
1663.43/1663.46	c 1109.96 60.25 4715 5614452
1663.43/1663.46	o 2480
1663.53/1663.58	c 1110.05 60.25 4786 5615359
1663.53/1663.58	o 2479
1664.43/1664.45	c 1110.63 60.25 5300 5617593
1664.43/1664.45	o 2478
1664.74/1664.70	c 1110.79 60.25 5382 5618325
1664.74/1664.70	o 2477
1665.13/1665.17	c 1111.11 60.25 2917 5619996
1665.13/1665.17	o 2476
1665.74/1665.71	c 1111.48 60.25 3193 5621656
1665.74/1665.71	o 2475
1666.14/1666.12	c 1111.75 60.25 3432 5622879
1666.14/1666.12	o 2474
1667.54/1667.57	c 1112.73 60.25 4281 5625553
1667.54/1667.57	o 2473
1668.14/1668.13	c 1113.11 60.25 4606 5627539
1668.14/1668.13	o 2472
1668.24/1668.22	c 1113.18 60.25 4645 5628263
1668.24/1668.22	o 2471
1668.43/1668.44	c 1113.33 60.25 4964 5630013
1668.43/1668.44	o 2470
1669.33/1669.35	c 1113.96 60.25 5483 5632785
1669.33/1669.35	o 2469
1669.33/1669.39	c 1113.99 60.25 2756 5633218
1669.33/1669.39	o 2468
1669.44/1669.44	c 1114.02 60.25 2771 5634375
1669.44/1669.44	o 2467
1670.53/1670.55	c 1114.78 60.25 3683 5639295
1670.53/1670.55	o 2466
1672.44/1672.42	c 1116.01 60.25 5074 5645867
1672.44/1672.42	o 2465
1675.04/1675.04	c 1117.79 60.25 4624 5656866
1675.04/1675.04	o 2463
1677.03/1677.05	c 1119.1 60.25 3456 5663775
1677.03/1677.05	o 2462
1677.93/1677.90	c 1119.69 60.25 4048 5666186
1677.93/1677.90	o 2461
1687.03/1687.06	c 1125.79 60.25 3764 5680484
1687.03/1687.07	o 2460
1687.73/1687.74	c 1126.29 60.25 4279 5683664
1687.73/1687.74	o 2459
1688.33/1688.39	c 1126.73 60.25 4982 5687935
1688.33/1688.39	o 2458
1689.13/1689.17	c 1127.25 60.25 2836 5691299
1689.13/1689.17	o 2457
1690.64/1690.70	c 1128.23 60.25 3665 5694299
1690.64/1690.70	o 2456
1690.84/1690.80	c 1128.3 60.25 3712 5694771
1690.84/1690.80	o 2455
1695.14/1695.15	c 1131.13 60.25 4044 5703461
1695.14/1695.15	o 2454
1695.43/1695.46	c 1131.33 60.3867 4223 5704558
1695.43/1695.46	o 2453
1698.84/1698.83	c 1133.53 60.3867 4183 5713012
1698.84/1698.83	o 2452
1698.94/1698.96	c 1133.62 60.3867 4297 5714066
1698.94/1698.96	o 2451
1699.24/1699.29	c 1133.85 60.3867 4508 5715397
1699.24/1699.29	o 2450
1699.44/1699.43	c 1133.94 60.3867 4639 5716469
1699.44/1699.43	o 2449
1699.44/1699.45	c 1133.95 60.3867 4644 5718169
1699.44/1699.45	o 2448
1699.44/1699.48	c 1133.97 60.3867 4653 5718801
1699.44/1699.48	o 2447
1699.74/1699.76	c 1134.16 60.3867 4755 5721527
1699.74/1699.76	o 2446
1704.63/1704.64	c 1137.4 60.3867 5189 5728882
1704.63/1704.64	o 2445
1704.84/1704.83	c 1137.53 60.3867 5355 5729962
1704.84/1704.83	o 2444
1705.33/1705.36	c 1137.89 60.3867 2987 5732301
1705.33/1705.36	o 2443
1705.93/1705.94	c 1138.29 60.3867 3388 5733969
1705.93/1705.94	o 2442
1706.53/1706.52	c 1138.69 60.3867 3709 5735770
1706.53/1706.52	o 2441
1707.83/1707.89	c 1139.61 60.3867 5357 5740647
1707.83/1707.89	o 2440
1708.03/1708.01	c 1139.68 60.3867 5480 5742191
1708.03/1708.01	o 2439
1708.34/1708.39	c 1139.93 60.3867 2854 5743744
1708.34/1708.39	o 2438
1709.03/1709.01	c 1140.33 60.3867 3468 5746495
1709.03/1709.01	o 2437
1709.23/1709.26	c 1140.5 60.3867 3642 5747729
1709.23/1709.26	o 2436
1710.24/1710.27	c 1141.18 60.3867 4471 5750948
1710.24/1710.27	o 2435
1710.54/1710.52	c 1141.36 60.3867 4675 5752917
1710.54/1710.52	o 2434
1712.33/1712.37	c 1142.64 60.3867 3055 5757691
1712.33/1712.37	o 2433
1712.84/1712.81	c 1142.93 60.3867 3495 5759586
1712.84/1712.81	o 2432
1713.74/1713.76	c 1143.53 60.3867 4167 5762914
1713.74/1713.76	o 2431
1713.84/1713.89	c 1143.62 60.3867 4270 5764292
1713.84/1713.89	o 2430
1714.23/1714.22	c 1143.85 60.3867 4463 5765474
1714.23/1714.22	o 2429
1714.53/1714.54	c 1144.05 60.3867 4708 5767055
1714.53/1714.54	o 2428
1714.53/1714.58	c 1144.08 60.3867 4717 5767462
1714.53/1714.58	o 2427
1714.73/1714.72	c 1144.17 60.3867 4848 5768797
1714.73/1714.72	o 2426
1715.94/1715.94	c 1144.96 60.3867 5849 5771586
1715.94/1715.94	o 2425
1716.14/1716.10	c 1145.07 60.3867 3031 5772962
1716.14/1716.10	o 2424
1716.23/1716.27	c 1145.19 60.3867 3095 5773604
1716.23/1716.27	o 2423
1716.63/1716.69	c 1145.5 60.3867 3317 5775524
1716.63/1716.69	o 2421
1716.74/1716.71	c 1145.51 60.3867 3321 5776111
1716.74/1716.71	o 2420
1716.74/1716.74	c 1145.53 60.3867 3331 5777728
1716.74/1716.74	o 2419
1717.04/1717.08	c 1145.75 60.3867 3654 5779700
1717.04/1717.08	o 2418
1717.24/1717.27	c 1145.88 60.3867 3784 5780620
1717.24/1717.27	o 2417
1719.54/1719.55	c 1147.39 60.3867 5196 5785502
1719.54/1719.55	o 2416
1720.34/1720.33	c 1147.91 60.3867 3058 5788388
1720.34/1720.33	o 2415
1720.73/1720.74	c 1148.2 60.3867 3291 5790053
1720.73/1720.74	o 2414
1720.83/1720.86	c 1148.28 60.3867 3353 5791142
1720.83/1720.86	o 2413
1721.14/1721.18	c 1148.5 60.3867 3520 5792250
1721.14/1721.18	o 2412
1721.64/1721.62	c 1148.8 60.3867 3815 5793776
1721.64/1721.62	o 2411
1725.54/1725.59	c 1151.41 60.3867 4120 5804313
1725.54/1725.59	o 2410
1726.23/1726.23	c 1151.85 60.3867 4435 5806748
1726.23/1726.23	o 2409
1744.24/1744.29	c 1163.7 60.3867 3314 5846861
1744.24/1744.29	o 2408
1744.33/1744.31	c 1163.71 60.3867 3320 5847978
1744.33/1744.31	o 2407
1744.33/1744.35	c 1163.74 60.3867 3336 5849078
1744.33/1744.35	o 2406
1744.33/1744.39	c 1163.76 60.3867 3351 5849890
1744.33/1744.39	o 2405
1744.44/1744.45	c 1163.81 60.3867 3386 5850604
1744.44/1744.45	o 2404
1744.44/1744.49	c 1163.83 60.3867 3423 5851375
1744.44/1744.49	o 2403
1744.54/1744.55	c 1163.88 60.3867 3455 5851893
1744.54/1744.55	o 2402
1745.33/1745.30	c 1164.4 60.3867 4066 5855042
1745.33/1745.30	o 2401
1745.44/1745.40	c 1164.46 60.3867 4172 5856795
1745.44/1745.40	o 2400
1745.53/1745.56	c 1164.57 60.3867 4318 5857927
1745.53/1745.56	o 2399
1748.34/1748.35	c 1166.42 60.3867 4447 5868757
1748.34/1748.35	o 2398
1749.14/1749.12	c 1166.92 60.3867 5030 5871575
1749.14/1749.12	o 2397
1749.44/1749.48	c 1167.17 60.3867 5358 5873977
1749.44/1749.48	o 2396
1749.63/1749.64	c 1167.27 60.3867 5489 5875038
1749.63/1749.64	o 2395
1755.03/1755.07	c 1170.81 60.3867 4160 5884191
1755.03/1755.07	o 2394
1756.83/1756.83	c 1171.97 60.3867 5550 5889658
1756.83/1756.83	o 2393
1761.74/1761.72	c 1175.25 60.3867 3288 5901478
1761.74/1761.72	o 2392
1762.63/1762.63	c 1175.84 60.3867 4026 5903636
1762.63/1762.63	o 2391
1763.04/1763.07	c 1176.13 60.3867 4320 5905148
1763.04/1763.07	o 2389
1764.24/1764.20	c 1176.89 60.3867 5235 5909362
1764.24/1764.20	o 2388
1765.84/1765.83	c 1177.97 60.3867 3613 5914194
1765.84/1765.83	o 2387
1766.34/1766.34	c 1178.34 60.3867 3929 5916032
1766.34/1766.34	o 2386
1766.54/1766.56	c 1178.47 60.3867 4134 5917744
1766.54/1766.56	o 2385
1766.65/1766.67	c 1178.55 60.3867 4177 5918481
1766.65/1766.67	o 2384
1766.73/1766.71	c 1178.58 60.3867 4186 5918980
1766.73/1766.71	o 2383
1766.84/1766.81	c 1178.64 60.3867 4304 5919835
1766.84/1766.81	o 2382
1767.03/1767.01	c 1178.77 60.3867 4368 5920330
1767.03/1767.01	o 2381
1778.43/1778.40	c 1186.42 60.3867 3151 5937020
1778.43/1778.40	o 2380
1800.04/1800.00	s SATISFIABLE
1800.04/1800.00	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

OK	2380

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699002-1278462017/watcher-2699002-1278462017 -o /tmp/evaluation-result-2699002-1278462017/solver-2699002-1278462017 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699002-1278462017.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: 1.92 1.98 1.96 4/182 12700
/proc/meminfo: memFree=31023648/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=2136 CPUtime=0
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 14415003 2187264 176 4089446400 134512640 136422188 4288460096 18446744073709551615 135160473 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/12700/statm: 534 176 144 467 0 65 0

[startup+0.092526 s]
/proc/loadavg: 1.92 1.98 1.96 4/182 12700
/proc/meminfo: memFree=31023648/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=13256 CPUtime=0.08
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 2975 0 0 0 8 0 0 0 25 0 1 0 14415003 13574144 2895 4089446400 134512640 136422188 4288460096 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 3314 2897 193 467 0 2845 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13256

[startup+0.100524 s]
/proc/loadavg: 1.92 1.98 1.96 4/182 12700
/proc/meminfo: memFree=31023648/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=15440 CPUtime=0.09
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 3525 0 0 0 9 0 0 0 25 0 1 0 14415003 15810560 3445 4089446400 134512640 136422188 4288460096 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 3860 3447 193 467 0 3391 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15440

[startup+0.300502 s]
/proc/loadavg: 1.92 1.98 1.96 4/182 12700
/proc/meminfo: memFree=31023648/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=52956 CPUtime=0.29
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 13254 0 0 0 28 1 0 0 25 0 1 0 14415003 54226944 12441 4089446400 134512640 136422188 4288460096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 13239 12441 207 467 0 12770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52956

[startup+0.700416 s]
/proc/loadavg: 1.92 1.98 1.96 4/182 12700
/proc/meminfo: memFree=31023648/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=54420 CPUtime=0.69
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 13574 0 0 0 55 14 0 0 25 0 1 0 14415003 55726080 12758 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 13605 12758 237 467 0 13136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54420

[startup+1.50028 s]
/proc/loadavg: 1.92 1.98 1.96 3/183 12701
/proc/meminfo: memFree=30972924/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=54816 CPUtime=1.49
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 13730 0 0 0 112 37 0 0 25 0 1 0 14415003 56131584 12885 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 13704 12885 237 467 0 13235 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54816

[startup+3.10099 s]
/proc/loadavg: 1.92 1.98 1.96 3/183 12701
/proc/meminfo: memFree=30972196/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=55740 CPUtime=3.1
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 13951 0 0 0 222 88 0 0 25 0 1 0 14415003 57077760 13105 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 13935 13105 237 467 0 13466 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 55740

[startup+6.3004 s]
/proc/loadavg: 2.01 2.00 1.97 3/183 12701
/proc/meminfo: memFree=30970956/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=56532 CPUtime=6.29
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 14163 0 0 0 439 190 0 0 25 0 1 0 14415003 57888768 13313 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12700/statm: 14133 13313 237 467 0 13664 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56532

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 1.97 3/183 12701
/proc/meminfo: memFree=30971164/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=56532 CPUtime=12.69
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 14207 0 0 0 880 389 0 0 25 0 1 0 14415003 57888768 13316 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14133 13316 237 467 0 13664 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56532

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 12702
/proc/meminfo: memFree=30971312/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=56532 CPUtime=25.49
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 14229 0 0 0 1748 801 0 0 25 0 1 0 14415003 57888768 13317 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14133 13317 237 467 0 13664 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56532

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 12703
/proc/meminfo: memFree=30971108/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=56796 CPUtime=51.09
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 14302 0 0 0 3473 1636 0 0 25 0 1 0 14415003 58159104 13372 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14199 13372 237 467 0 13730 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 56796

[startup+102.306 s]
/proc/loadavg: 2.06 2.01 1.97 3/183 12704
/proc/meminfo: memFree=30970192/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=57324 CPUtime=102.3
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 14443 0 0 0 6906 3324 0 0 25 0 1 0 14415003 58699776 13490 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14331 13490 237 467 0 13862 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 57324

[startup+162.301 s]
/proc/loadavg: 2.06 2.03 1.98 3/183 12705
/proc/meminfo: memFree=30969280/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=57852 CPUtime=162.3
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 14593 0 0 0 10918 5312 0 0 25 0 1 0 14415003 59240448 13619 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14463 13619 237 467 0 13994 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 57852

[startup+222.301 s]
/proc/loadavg: 2.02 2.02 1.98 3/183 12707
/proc/meminfo: memFree=30969100/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=57984 CPUtime=222.3
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 14670 0 0 0 14909 7321 0 0 25 0 1 0 14415003 59375616 13677 4089446400 134512640 136422188 4288460096 18446744073709551615 135026560 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14496 13677 237 467 0 14027 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 57984

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/183 12709
/proc/meminfo: memFree=30968676/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=58116 CPUtime=282.29
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 14746 0 0 0 18970 9259 0 0 25 0 1 0 14415003 59510784 13715 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14529 13715 237 467 0 14060 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 58116

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/183 12711
/proc/meminfo: memFree=30968600/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=58248 CPUtime=342.3
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 14841 0 0 0 22983 11247 0 0 25 0 1 0 14415003 59645952 13756 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14562 13756 237 467 0 14093 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 58248

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 12712
/proc/meminfo: memFree=30967808/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=58912 CPUtime=402.3
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 14994 0 0 0 26990 13240 0 0 25 0 1 0 14415003 60325888 13909 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14728 13909 237 467 0 14259 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 58912

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 12713
/proc/meminfo: memFree=30967720/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=59044 CPUtime=462.3
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 15061 0 0 0 31008 15222 0 0 25 0 1 0 14415003 60461056 13958 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14761 13958 237 467 0 14292 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 59044

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 12715
/proc/meminfo: memFree=30967420/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=59044 CPUtime=522.31
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 15102 0 0 0 34989 17242 0 0 25 0 1 0 14415003 60461056 13958 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14761 13958 237 467 0 14292 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 59044

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 12717
/proc/meminfo: memFree=30966884/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=59440 CPUtime=582.3
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 15210 0 0 0 38989 19241 0 0 25 0 1 0 14415003 60866560 14038 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14860 14038 237 467 0 14391 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 59440

[startup+642.301 s]
/proc/loadavg: 2.07 2.02 1.98 3/183 12719
/proc/meminfo: memFree=30966572/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=59836 CPUtime=642.31
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 15318 0 0 0 42939 21292 0 0 25 0 1 0 14415003 61272064 14144 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 14959 14144 237 467 0 14490 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 59836

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.02 1.99 3/183 12723
/proc/meminfo: memFree=30965424/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=60236 CPUtime=822.31
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 15556 0 0 0 55031 27200 0 0 25 0 1 0 14415003 61681664 14231 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15059 14231 237 467 0 14590 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 60236

[startup+882.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 12753
/proc/meminfo: memFree=30504448/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=60236 CPUtime=882.31
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 15609 0 0 0 59025 29206 0 0 25 0 1 0 14415003 61681664 14240 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12700/statm: 15059 14240 237 467 0 14590 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 60236

[startup+942.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 12755
/proc/meminfo: memFree=30420324/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=60236 CPUtime=942.31
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 15658 0 0 0 63030 31201 0 0 25 0 1 0 14415003 61681664 14244 4089446400 134512640 136422188 4288460096 18446744073709551615 135025880 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12700/statm: 15059 14244 237 467 0 14590 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 60236

[startup+1002.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 12756
/proc/meminfo: memFree=30329512/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=60764 CPUtime=1002.31
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 15799 0 0 0 66984 33247 0 0 25 0 1 0 14415003 62222336 14381 4089446400 134512640 136422188 4288460096 18446744073709551615 135686449 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12700/statm: 15191 14381 237 467 0 14722 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 60764

[startup+1062.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 12757
/proc/meminfo: memFree=30250092/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=60896 CPUtime=1062.32
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 15845 0 0 0 70951 35281 0 0 25 0 1 0 14415003 62357504 14395 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15224 14395 237 467 0 14755 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 60896

[startup+1122.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 12759
/proc/meminfo: memFree=30162504/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61424 CPUtime=1122.32
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16023 0 0 0 74992 37240 0 0 25 0 1 0 14415003 62898176 14545 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15356 14545 237 467 0 14887 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 61424

[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 12761
/proc/meminfo: memFree=30048012/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61424 CPUtime=1182.32
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16061 0 0 0 78992 39240 0 0 25 0 1 0 14415003 62898176 14545 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15356 14545 237 467 0 14887 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 61424

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 12763
/proc/meminfo: memFree=29960536/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61556 CPUtime=1242.32
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16113 0 0 0 82965 41267 0 0 25 0 1 0 14415003 63033344 14568 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15389 14568 237 467 0 14920 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 61556

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 12764
/proc/meminfo: memFree=29891920/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61556 CPUtime=1302.33
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16158 0 0 0 86945 43288 0 0 25 0 1 0 14415003 63033344 14569 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15389 14569 237 467 0 14920 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 61556

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12765
/proc/meminfo: memFree=29891612/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61556 CPUtime=1362.32
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16201 0 0 0 90941 45291 0 0 25 0 1 0 14415003 63033344 14569 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15389 14569 237 467 0 14920 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 61556

[startup+1422.31 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 12767
/proc/meminfo: memFree=29891792/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61556 CPUtime=1422.33
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16255 0 0 0 94941 47292 0 0 25 0 1 0 14415003 63033344 14571 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15389 14571 237 467 0 14920 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 61556

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 12769
/proc/meminfo: memFree=29891128/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61556 CPUtime=1482.33
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16334 0 0 0 98967 49266 0 0 25 0 1 0 14415003 63033344 14581 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15389 14581 237 467 0 14920 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 61556

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 12771
/proc/meminfo: memFree=29891056/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61692 CPUtime=1542.33
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16394 0 0 0 102933 51300 0 0 25 0 1 0 14415003 63172608 14602 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15423 14602 237 467 0 14954 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 61692

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12772
/proc/meminfo: memFree=29890772/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61692 CPUtime=1602.34
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16438 0 0 0 106928 53306 0 0 25 0 1 0 14415003 63172608 14602 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15423 14602 237 467 0 14954 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 61692

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12773
/proc/meminfo: memFree=29844808/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61692 CPUtime=1662.34
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16508 0 0 0 110916 55318 0 0 25 0 1 0 14415003 63172608 14604 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15423 14604 237 467 0 14954 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 61692

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12775
/proc/meminfo: memFree=29762788/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61832 CPUtime=1722.34
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16618 0 0 0 114924 57310 0 0 25 0 1 0 14415003 63315968 14640 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15458 14640 237 467 0 14989 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 61832

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12777
/proc/meminfo: memFree=29717104/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=61832 CPUtime=1782.34
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16649 0 0 0 118900 59334 0 0 25 0 1 0 14415003 63315968 14641 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15458 14641 237 467 0 14989 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 61832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12777
/proc/meminfo: memFree=29716356/32951124 swapFree=67111528/67111528
[pid=12700] ppid=12698 vsize=62228 CPUtime=1800.04
/proc/12700/stat : 12700 (pbct) R 12698 12700 12372 0 -1 4202496 16748 0 0 0 120060 59944 0 0 25 0 1 0 14415003 63721472 14740 4089446400 134512640 136422188 4288460096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12700/statm: 15557 14740 237 467 0 15088 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 62228

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

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1200.6
CPU system time (s): 599.451
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 62228

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

runsolver used 2.72458 second user time and 5.79712 second system time

The end

Begin job on node134 at 2010-07-07 02:20:17
IDJOB=2699002
IDBENCH=79075
IDSOLVER=1212
FILE ID=node134/2699002-1278462017
PBS_JOBID= 11233724
Free space on /tmp= 73772 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j308_1-unsat--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699002-1278462017/watcher-2699002-1278462017 -o /tmp/evaluation-result-2699002-1278462017/solver-2699002-1278462017 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699002-1278462017.wbo

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

MD5SUM BENCH= 0541e9779bfbef683d2818db74c4cdd4
RANDOM SEED=212023845

node134.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.801
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.60
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.801
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.75
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.801
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.82
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.801
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.83
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.801
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.66
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.801
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.83
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.801
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.74
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.801
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31024176 kB
Buffers:        107228 kB
Cached:        1603352 kB
SwapCached:          0 kB
Active:         562832 kB
Inactive:      1230616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31024176 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1992 kB
Writeback:           0 kB
AnonPages:       82792 kB
Mapped:          15528 kB
Slab:            72244 kB
PageTables:       4912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   227068 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73768 MiB
End job on node134 at 2010-07-07 02:50:19