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.05	c constraints 0/846 clauses 0/2259 units 0
0.00/0.05	c vars 2913
1.79/1.82	c 1.63775 104.699 7491 204086
1.79/1.82	o 6475
2.30/2.33	c 2.08068 106.84 15013 254908
2.30/2.33	o 6426
3.89/3.92	c 3.44848 106.969 14081 475450
3.89/3.92	o 6374
5.69/5.74	c 5.04323 107.098 11150 655353
5.69/5.74	o 5039
6.60/6.64	c 5.84811 107.227 11562 728718
6.60/6.64	o 5038
7.39/7.44	c 6.53701 107.742 16687 846419
7.39/7.44	o 4999
13.40/13.43	c 11.7962 108.258 14268 1445107
13.40/13.43	o 4929
13.89/13.94	c 12.2001 108.902 21432 1542071
13.89/13.94	o 4580
16.39/16.49	c 14.4488 108.902 12589 1793428
16.39/16.49	o 3875
17.60/17.68	c 15.5486 108.902 12852 1873851
17.60/17.68	o 3818
18.39/18.42	c 16.2135 108.902 15904 1936593
18.39/18.42	o 3785
20.80/20.85	c 18.4112 109.16 13785 2113003
20.80/20.85	o 3730
23.19/23.29	c 20.5939 109.289 14176 2275740
23.19/23.29	o 3727
26.69/26.77	c 23.6154 109.676 13147 2623857
26.69/26.77	o 3722
27.29/27.36	c 24.1163 110.062 20190 2690576
27.29/27.36	o 3720
27.69/27.77	c 24.4553 110.062 13654 2760583
27.69/27.77	o 3713
29.19/29.30	c 25.8121 110.062 16199 2905175
29.19/29.30	o 3701
29.70/29.79	c 26.245 110.062 14920 2968838
29.70/29.79	o 3699
30.99/31.02	c 27.3108 110.062 14623 3091755
30.99/31.02	o 3695
34.50/34.59	c 30.3854 110.062 15178 3414345
34.50/34.59	o 3687
40.09/40.13	c 35.2106 110.578 11082 3961901
40.09/40.13	o 3679
40.49/40.58	c 35.5836 110.965 19178 4000319
40.49/40.58	o 3678
44.39/44.47	c 39.0981 110.965 15584 4233281
44.39/44.47	o 3677
47.20/47.21	c 41.5027 110.965 14127 4497493
47.20/47.21	o 3675
47.69/47.74	c 41.9516 111.352 11193 4594632
47.69/47.74	o 3674
50.80/50.86	c 44.7702 111.352 15214 4785717
50.80/50.86	o 3668
54.40/54.46	c 47.9737 111.48 10949 5078612
54.40/54.46	o 3665
55.49/55.51	c 48.8906 111.996 15418 5169528
55.49/55.51	o 3567
58.30/58.35	c 51.3232 111.996 11319 5488821
58.30/58.35	o 3566
61.50/61.53	c 54.1708 111.996 14539 5726624
61.50/61.53	o 3565
69.09/69.18	c 60.9807 112.512 18658 6343998
69.09/69.18	o 3559
72.19/72.28	c 63.7343 112.512 12473 6573274
72.19/72.28	o 3558
74.70/74.77	c 65.907 112.512 12712 6820274
74.70/74.77	o 3557
75.90/75.95	c 66.8368 113.156 21361 6889516
75.90/75.95	o 3489
80.69/80.78	c 71.1122 113.156 12971 7208835
80.69/80.78	o 3487
82.09/82.14	c 72.349 113.156 10540 7321586
82.09/82.14	o 3484
82.80/82.88	c 72.9599 113.156 17737 7372691
82.80/82.88	o 3480
85.80/85.87	c 75.5535 113.156 13302 7687118
85.80/85.87	o 3479
89.69/89.70	c 79.03 113.156 16101 7953249
89.69/89.70	o 3476
93.29/93.36	c 82.3185 113.156 13486 8240939
93.29/93.36	o 3447
95.80/95.89	c 84.5411 113.285 13227 8409263
95.80/95.89	o 3444
96.20/96.28	c 84.8621 113.543 17803 8471570
96.20/96.28	o 3443
99.19/99.27	c 87.5297 113.543 16860 8720403
99.19/99.27	o 3437
102.69/102.71	c 90.5082 113.543 13190 9009199
102.69/102.71	o 3435
105.20/105.27	c 92.7579 113.672 12175 9215127
105.20/105.27	o 3433
108.59/108.64	c 95.7504 113.93 18319 9465314
108.59/108.64	o 3431
108.99/109.09	c 96.1384 113.93 15077 9510602
108.99/109.09	o 3428
110.01/110.09	c 96.9743 114.445 25106 9631511
110.01/110.09	o 3426
113.10/113.10	c 99.6299 114.445 12662 9919363
113.10/113.10	o 3423
115.70/115.76	c 101.976 114.445 11559 10141053
115.70/115.76	o 3422
116.20/116.24	c 102.375 114.445 17422 10234163
116.20/116.24	o 3421
119.39/119.48	c 105.293 114.445 17176 10477887
119.39/119.48	o 3412
123.39/123.46	c 108.825 114.445 11478 10796549
123.39/123.46	o 3411
126.50/126.58	c 111.653 114.445 10895 11023206
126.50/126.58	o 3406
127.69/127.70	c 112.583 114.445 13100 11105932
127.69/127.70	o 3404
129.09/129.15	c 113.84 114.574 13595 11267055
129.09/129.15	o 3403
132.10/132.13	c 116.487 114.574 10691 11453890
132.10/132.13	o 3401
135.59/135.68	c 119.686 114.703 14262 11683432
135.59/135.68	o 3400
136.41/136.43	c 120.31 115.219 22553 11819819
136.41/136.43	o 3393
139.29/139.38	c 122.908 115.219 15784 12024815
139.29/139.38	o 3392
142.69/142.74	c 125.902 115.219 13271 12343061
142.69/142.74	o 3386
146.50/146.55	c 129.322 115.219 9335 12607727
146.50/146.55	o 3384
149.90/149.99	c 132.409 115.219 14068 12898242
149.90/149.99	o 3382
152.50/152.51	c 134.653 115.219 11603 13045797
152.50/152.51	o 3381
156.11/156.14	c 137.923 115.348 16577 13302753
156.11/156.14	o 3380
160.20/160.26	c 141.563 115.348 10075 13646126
160.20/160.26	o 3374
161.99/162.09	c 143.215 115.605 16968 13748952
161.99/162.09	o 3373
162.89/162.97	c 143.959 115.992 23203 13867136
162.89/162.97	o 3371
163.59/163.63	c 144.524 115.992 20889 13977044
163.59/163.63	o 3367
170.20/170.26	c 150.423 115.992 10589 14517474
170.20/170.26	o 3366
171.39/171.40	c 151.434 115.992 11595 14598167
171.39/171.40	o 3355
176.19/176.20	c 155.673 115.992 13736 15001041
176.19/176.20	o 3353
177.50/177.55	c 156.783 116.25 20055 15145721
177.50/177.55	o 3348
180.00/180.05	c 158.957 116.25 12920 15357677
180.00/180.05	o 3346
181.59/181.66	c 160.36 116.25 16995 15503810
181.59/181.66	o 3342
183.50/183.57	c 161.956 116.25 12923 15727160
183.50/183.57	o 3341
190.00/190.01	c 167.646 116.25 12629 16325940
190.00/190.01	o 3340
190.70/190.77	c 168.262 116.895 23784 16452117
190.70/190.77	o 3339
191.69/191.78	c 169.151 116.895 14422 16529902
191.69/191.78	o 3338
193.80/193.81	c 170.923 116.895 15509 16769414
193.80/193.81	o 3336
197.40/197.48	c 174.252 116.895 14827 17030163
197.40/197.48	o 3335
197.90/197.99	c 174.69 116.895 15817 17095906
197.90/197.99	o 3331
200.80/200.81	c 177.184 116.895 13339 17319831
200.80/200.81	o 3330
202.10/202.14	c 178.357 116.895 12631 17426048
202.10/202.14	o 3328
203.90/203.91	c 179.861 116.895 10635 17627784
203.90/203.91	o 3327
204.61/204.61	c 180.463 116.895 15666 17730872
204.61/204.61	o 3326
206.00/206.05	c 181.759 116.895 14322 17845304
206.00/206.05	o 3324
211.21/211.28	c 186.418 116.895 10445 18247742
211.21/211.28	o 3322
211.80/211.80	c 186.842 116.895 18117 18324019
211.80/211.80	o 3321
218.81/218.88	c 193.081 116.895 12655 18993344
218.81/218.88	o 3320
219.80/219.85	c 193.879 117.281 19034 19093678
219.80/219.85	o 3309
220.80/220.82	c 194.685 117.539 23878 19257835
220.80/220.82	o 3304
224.10/224.12	c 197.658 117.539 16620 19461025
224.10/224.12	o 3301
226.70/226.71	c 199.91 117.539 9257 19649084
226.70/226.71	o 3300
229.30/229.36	c 202.2 117.539 16946 19861626
229.30/229.36	o 3299
233.50/233.50	c 205.943 117.539 10486 20202496
233.50/233.50	o 3296
236.50/236.51	c 208.613 117.539 14399 20451844
236.50/236.51	o 3295
237.51/237.57	c 209.526 117.539 15077 20531433
237.51/237.57	o 3291
239.90/239.92	c 211.523 117.668 19057 20791716
239.90/239.92	o 3288
242.01/242.02	c 213.327 117.668 13367 21027551
242.01/242.02	o 3286
246.80/246.80	c 217.585 117.668 15123 21398603
246.80/246.80	o 3281
247.60/247.61	c 218.273 118.055 12098 21467663
247.60/247.61	o 3279
248.90/248.98	c 219.476 118.055 11993 21566369
248.90/248.98	o 3278
250.30/250.37	c 220.701 118.055 14003 21683220
250.30/250.37	o 3277
251.40/251.44	c 221.634 118.055 12595 21806949
251.40/251.44	o 3250
253.10/253.16	c 223.147 118.055 15344 21923281
253.10/253.16	o 3249
255.90/255.92	c 225.664 118.055 11462 22101256
255.90/255.92	o 3248
257.60/257.63	c 227.12 118.055 11357 22293769
257.60/257.63	o 3247
260.20/260.25	c 229.321 118.055 16890 22518715
260.20/260.25	o 3246
262.70/262.76	c 231.583 118.055 11327 22700679
262.70/262.76	o 3245
263.50/263.59	c 232.3 118.055 12654 22786295
263.50/263.59	o 3234
267.30/267.36	c 235.69 118.312 18537 23008115
267.30/267.36	o 3233
268.90/268.91	c 237.054 118.312 12830 23170179
268.90/268.91	o 3232
272.00/272.01	c 239.75 118.312 13926 23509104
272.00/272.01	o 3231
273.00/273.04	c 240.667 118.312 14376 23578106
273.00/273.04	o 3224
274.20/274.27	c 241.768 118.312 15417 23681760
274.20/274.27	o 3219
275.01/275.04	c 242.415 118.312 18005 23758852
275.01/275.04	o 3213
276.61/276.61	c 243.766 118.312 13528 23907073
276.61/276.61	o 3212
278.21/278.21	c 245.217 118.312 15026 24017852
278.21/278.21	o 3209
281.40/281.42	c 248.005 118.441 17548 24359678
281.40/281.42	o 3208
287.10/287.14	c 253.046 118.441 12570 24804233
287.10/287.14	o 3205
287.50/287.58	c 253.403 118.699 20776 24837398
287.50/287.58	o 3203
293.80/293.83	c 259.026 118.699 16139 25279107
293.80/293.83	o 3202
294.10/294.10	c 259.257 118.699 11676 25312725
294.10/294.10	o 3201
296.70/296.72	c 261.554 118.699 15654 25541275
296.70/296.72	o 3198
299.90/299.97	c 264.448 118.699 14137 25783511
299.90/299.97	o 3197
300.71/300.72	c 265.067 118.699 15713 25877962
300.71/300.72	o 3193
301.20/301.25	c 265.512 118.699 15566 25946802
301.20/301.25	o 3186
304.20/304.29	c 268.205 118.699 12788 26193552
304.20/304.29	o 3185
307.00/307.04	c 270.621 118.699 15468 26393297
307.00/307.04	o 3183
310.51/310.57	c 273.765 118.699 13408 26660336
310.51/310.57	o 3177
311.80/311.81	c 274.847 118.699 12711 26791604
311.80/311.81	o 3176
313.31/313.40	c 276.232 118.828 17347 26921038
313.31/313.40	o 3175
314.50/314.57	c 277.226 119.215 17600 27061525
314.50/314.57	o 3171
317.40/317.45	c 279.755 119.215 14024 27287825
317.40/317.45	o 3166
320.40/320.45	c 282.344 119.215 19751 27522818
320.40/320.45	o 3163
327.40/327.43	c 288.492 119.344 20805 28116672
327.40/327.43	o 3152
328.10/328.15	c 289.099 119.344 21463 28198206
328.10/328.15	o 3150
328.80/328.83	c 289.665 119.344 20544 28275201
328.80/328.83	o 3149
330.20/330.22	c 290.84 119.344 13752 28435686
330.20/330.22	o 3142
333.81/333.90	c 294.03 119.344 12477 28757375
333.81/333.90	o 3141
334.50/334.52	c 294.547 119.344 12515 28821820
334.50/334.52	o 3140
337.71/337.72	c 297.297 119.344 11254 29097406
337.71/337.72	o 3139
340.50/340.53	c 299.716 119.344 13457 29380041
340.50/340.53	o 3137
341.01/341.09	c 300.215 119.344 15643 29407063
341.01/341.09	o 3135
344.00/344.03	c 302.838 119.344 13881 29607174
344.00/344.03	o 3134
346.80/346.88	c 305.299 119.602 13288 29875632
346.80/346.88	o 3132
353.01/353.03	c 310.718 119.602 15443 30286469
353.01/353.03	o 3131
353.40/353.45	c 311.06 119.602 13033 30348607
353.40/353.45	o 3130
359.00/359.03	c 315.947 119.602 15577 30835645
359.00/359.03	o 3128
362.41/362.50	c 318.974 119.73 11677 31151311
362.41/362.50	o 3127
365.30/365.34	c 321.503 119.73 16482 31353557
365.30/365.34	o 3119
365.81/365.88	c 321.959 119.73 16152 31420478
365.81/365.88	o 3118
369.51/369.56	c 325.239 119.73 13117 31709110
369.51/369.56	o 3114
372.70/372.76	c 328.028 119.73 14811 32045746
372.70/372.76	o 3108
375.90/375.90	c 330.809 119.73 10751 32329581
375.90/375.90	o 3101
377.11/377.17	c 331.879 119.73 14601 32475972
377.11/377.17	o 3099
379.41/379.45	c 333.863 119.73 14134 32702622
379.41/379.45	o 3091
380.31/380.32	c 334.542 120.117 23253 32754680
380.31/380.32	o 3085
381.81/381.85	c 335.887 120.117 13882 32875075
381.81/381.85	o 3084
383.50/383.52	c 337.379 120.117 16180 32988995
383.50/383.52	o 3083
385.20/385.21	c 338.901 120.117 9852 33134805
385.20/385.21	o 3082
386.80/386.84	c 340.342 120.117 13358 33247263
386.80/386.84	o 3081
387.11/387.11	c 340.56 120.117 17456 33273977
387.11/387.11	o 3079
388.60/388.64	c 341.889 120.117 12276 33394717
388.60/388.64	o 3078
390.30/390.33	c 343.39 120.117 13054 33557327
390.30/390.33	o 3075
391.60/391.65	c 344.538 120.117 14772 33695556
391.60/391.65	o 3070
393.20/393.22	c 345.883 120.117 14766 33853996
393.20/393.22	o 3068
394.11/394.16	c 346.659 120.246 21919 33971195
394.11/394.16	o 3067
398.21/398.23	c 350.21 120.246 9104 34333681
398.21/398.23	o 3066
400.10/400.15	c 351.941 120.246 17849 34478012
400.10/400.15	o 3065
403.71/403.76	c 355.161 120.246 14553 34748707
403.71/403.76	o 3064
407.20/407.21	c 358.195 120.246 13792 35003707
407.20/407.21	o 3062
408.01/408.10	c 358.955 120.375 20557 35128595
408.01/408.10	o 3059
411.10/411.13	c 361.654 120.375 16356 35355018
411.10/411.13	o 3058
413.61/413.67	c 363.907 120.375 9388 35562637
413.61/413.67	o 3057
415.40/415.41	c 365.427 120.375 12455 35697178
415.40/415.41	o 3056
416.71/416.71	c 366.566 120.375 14083 35832025
416.71/416.71	o 3045
419.91/419.93	c 369.424 120.504 15812 36090739
419.91/419.93	o 3044
425.90/425.92	c 374.714 120.504 7969 36544925
425.90/425.92	o 3042
428.21/428.27	c 376.769 120.504 14028 36754982
428.21/428.27	o 3041
429.11/429.10	c 377.487 120.504 14017 36817725
429.11/429.10	o 3039
432.21/432.27	c 380.289 120.504 15477 37097013
432.21/432.27	o 3033
432.71/432.75	c 380.677 120.504 15727 37150950
432.71/432.75	o 3026
433.51/433.58	c 381.387 120.762 21759 37224902
433.51/433.58	o 3024
434.01/434.04	c 381.789 120.762 20442 37258795
434.01/434.04	o 3023
436.72/436.76	c 384.234 120.762 14363 37419843
436.72/436.76	o 3021
439.81/439.84	c 387.002 120.762 13854 37607166
439.81/439.84	o 3020
440.31/440.37	c 387.476 121.02 24275 37646964
440.31/440.37	o 3019
443.40/443.40	c 390.162 121.02 14605 37873517
443.40/443.40	o 3018
447.20/447.29	c 393.632 121.02 12404 38179154
447.20/447.29	o 3016
448.11/448.18	c 394.422 121.02 13767 38259404
448.11/448.18	o 2858
449.31/449.34	c 395.475 121.02 12801 38332138
449.31/449.34	o 2856
453.71/453.79	c 399.404 121.02 15174 38613729
453.71/453.79	o 2855
459.21/459.22	c 404.121 121.02 14265 39078709
459.21/459.22	o 2851
460.40/460.47	c 405.239 121.02 14494 39163159
460.40/460.47	o 2849
461.21/461.28	c 405.94 121.02 18583 39229564
461.21/461.28	o 2848
461.71/461.75	c 406.345 121.02 15696 39267749
461.71/461.75	o 2847
463.11/463.11	c 407.542 121.02 11218 39369904
463.11/463.11	o 2845
464.71/464.72	c 408.943 121.02 11156 39500477
464.71/464.72	o 2844
467.41/467.42	c 411.366 121.02 9298 39694398
467.41/467.42	o 2842
471.41/471.45	c 414.901 121.277 16926 40011935
471.41/471.45	o 2840
474.71/474.72	c 417.819 121.277 16810 40267175
474.71/474.72	o 2838
477.81/477.86	c 420.627 121.277 12293 40432498
477.81/477.86	o 2831
481.00/481.06	c 423.482 121.277 12512 40654872
481.00/481.06	o 2829
482.82/482.84	c 425.027 121.277 15628 40807879
482.82/482.84	o 2828
484.31/484.38	c 426.433 121.277 15609 40885204
484.31/484.38	o 2827
488.60/488.60	c 430.196 121.277 17739 41151573
488.60/488.60	o 2826
488.91/488.92	c 430.466 121.277 13912 41181785
488.91/488.92	o 2823
491.72/491.73	c 432.945 121.277 13171 41368663
491.72/491.73	o 2819
495.21/495.23	c 436.101 121.277 16374 41611541
495.21/495.23	o 2817
498.01/498.04	c 438.582 121.277 12033 41821472
498.01/498.04	o 2816
499.32/499.31	c 439.681 121.277 14961 41923836
499.32/499.31	o 2813
501.10/501.19	c 441.352 121.277 16655 42048857
501.10/501.19	o 2812
501.61/501.63	c 441.72 121.277 15826 42097220
501.61/501.63	o 2811
504.81/504.80	c 444.474 121.277 13391 42370985
504.81/504.80	o 2810
506.41/506.43	c 445.924 121.406 12973 42487749
506.41/506.43	o 2809
508.01/508.02	c 447.352 121.406 17006 42604904
508.01/508.02	o 2807
509.61/509.68	c 448.826 121.406 11960 42714875
509.61/509.68	o 2805
515.31/515.35	c 453.874 121.406 11058 43129837
515.31/515.35	o 2800
516.41/516.49	c 454.879 121.793 17777 43230103
516.41/516.49	o 2795
519.31/519.32	c 457.351 121.793 11859 43464953
519.31/519.32	o 2793
522.41/522.42	c 460.053 121.793 16266 43702545
522.41/522.42	o 2791
529.51/529.56	c 466.423 121.793 13815 44249472
529.51/529.56	o 2789
530.51/530.51	c 467.261 121.793 14513 44326734
530.51/530.51	o 2788
535.41/535.45	c 471.564 121.793 13512 44769668
535.41/535.45	o 2787
542.21/542.24	c 477.457 121.922 17770 45335785
542.21/542.24	o 2785
542.91/542.95	c 478.056 121.922 14901 45380529
542.91/542.95	o 2782
545.91/545.94	c 480.706 121.922 14413 45607204
545.91/545.94	o 2781
548.01/548.09	c 482.626 121.922 11241 45781421
548.01/548.09	o 2780
553.01/553.02	c 486.934 122.309 16367 46123874
553.01/553.02	o 2779
555.91/555.96	c 489.552 122.309 10767 46368929
555.91/555.96	o 2777
556.31/556.33	c 489.864 122.309 15876 46412470
556.31/556.33	o 2759
560.92/560.93	c 493.979 122.309 16126 46760473
560.92/560.93	o 2758
562.51/562.52	c 495.377 122.309 14805 46873757
562.51/562.52	o 2753
566.21/566.24	c 498.751 122.309 11314 47132647
566.21/566.24	o 2752
568.11/568.11	c 500.445 122.309 14426 47253377
568.11/568.11	o 2747
570.82/570.86	c 502.863 122.309 16975 47499962
570.82/570.86	o 2744
571.21/571.24	c 503.184 122.309 16188 47539522
571.21/571.24	o 2741
576.21/576.21	c 507.687 122.309 14898 47857252
576.21/576.21	o 2735
577.21/577.23	c 508.578 122.309 15585 47936521
577.21/577.23	o 2734
578.11/578.10	c 509.349 122.566 24707 48004805
578.11/578.10	o 2733
580.91/580.96	c 511.88 122.566 16084 48210644
580.91/580.96	o 2731
583.01/583.03	c 513.717 122.566 11501 48345206
583.01/583.03	o 2730
585.81/585.81	c 516.121 122.566 20796 48547979
585.81/585.81	o 2727
589.01/589.06	c 519.045 122.566 9927 48776438
589.01/589.06	o 2722
592.02/592.07	c 521.777 122.566 17399 48933853
592.02/592.07	o 2721
592.41/592.40	c 522.042 122.566 12511 48983126
592.41/592.40	o 2720
595.01/595.02	c 524.385 122.566 11073 49154677
595.01/595.02	o 2679
597.61/597.66	c 526.737 122.566 14677 49320216
597.61/597.66	o 2678
597.71/597.79	c 526.855 122.566 15326 49336422
597.71/597.79	o 2677
598.11/598.10	c 527.121 122.566 11538 49377300
598.11/598.10	o 2673
600.81/600.88	c 529.565 122.566 10376 49535618
600.81/600.88	o 2670
603.21/603.28	c 531.708 122.566 11459 49651391
603.21/603.28	o 2669
606.72/606.77	c 534.855 122.566 15889 49881263
606.72/606.77	o 2668
609.21/609.23	c 537.036 122.566 14277 50026011
609.21/609.23	o 2666
609.61/609.64	c 537.375 122.566 19488 50069748
609.61/609.64	o 2654
610.91/610.90	c 538.482 122.566 13690 50161680
610.91/610.90	o 2652
612.11/612.13	c 539.547 122.566 12855 50276444
612.11/612.13	o 2647
615.01/615.05	c 542.146 122.566 13707 50489669
615.01/615.05	o 2646
619.01/619.06	c 545.713 122.566 16056 50737581
619.01/619.06	o 2645
620.22/620.27	c 546.822 122.566 14079 50774151
620.22/620.27	o 2643
622.21/622.29	c 548.54 122.566 13115 51009932
622.21/622.29	o 2642
623.12/623.16	c 549.271 122.824 15094 51114058
623.12/623.16	o 2634
624.91/624.99	c 550.92 122.824 14435 51211512
624.91/624.99	o 2633
626.11/626.18	c 552.009 122.824 15058 51276950
626.11/626.18	o 2631
629.32/629.30	c 554.821 122.824 14443 51485843
629.32/629.30	o 2629
629.81/629.81	c 555.259 122.824 13865 51536459
629.81/629.81	o 2628
631.01/631.07	c 556.362 122.824 17058 51620645
631.01/631.07	o 2627
632.52/632.52	c 557.627 122.824 15058 51717302
632.52/632.52	o 2625
633.01/633.03	c 558.062 122.824 14946 51776496
633.01/633.03	o 2621
635.31/635.39	c 560.114 122.824 20576 51951726
635.31/635.39	o 2620
636.11/636.13	c 560.735 122.953 22306 52025506
636.11/636.13	o 2618
637.41/637.47	c 561.895 122.953 14350 52128548
637.41/637.47	o 2613
639.12/639.12	c 563.362 122.953 14772 52228860
639.12/639.12	o 2612
640.41/640.48	c 564.598 122.953 14621 52301422
640.41/640.48	o 2611
642.42/642.48	c 566.387 122.953 14628 52434371
642.42/642.48	o 2610
643.61/643.68	c 567.435 122.953 10890 52523341
643.61/643.68	o 2609
645.11/645.11	c 568.659 122.953 14423 52607551
645.11/645.11	o 2607
647.02/647.08	c 570.44 122.953 15099 52727806
647.02/647.08	o 2606
649.21/649.29	c 572.367 122.953 18034 52945619
649.21/649.29	o 2605
649.51/649.59	c 572.613 122.953 13124 52959577
649.51/649.59	o 2603
650.31/650.39	c 573.296 123.082 16894 53029414
650.31/650.39	o 2602
653.02/653.07	c 575.712 123.082 13354 53187690
653.02/653.07	o 2601
657.01/657.01	c 579.155 123.082 17470 53495970
657.01/657.01	o 2600
658.72/658.70	c 580.625 123.082 11755 53633977
658.72/658.70	o 2599
661.32/661.36	c 582.943 123.082 17630 53855181
661.32/661.36	o 2598
664.12/664.11	c 585.392 123.082 19433 54071288
664.12/664.11	o 2595
666.82/666.83	c 587.84 123.082 13930 54239920
666.82/666.83	o 2593
668.41/668.49	c 589.288 123.082 16122 54374707
668.41/668.49	o 2589
670.52/670.56	c 591.174 123.082 17072 54478529
670.52/670.56	o 2588
671.71/671.72	c 592.188 123.082 12248 54560825
671.71/671.72	o 2587
673.01/673.02	c 593.354 123.082 15495 54642776
673.01/673.02	o 2583
674.42/674.41	c 594.605 123.082 10263 54740404
674.42/674.41	o 2582
677.01/677.04	c 596.915 123.082 20162 54945440
677.01/677.04	o 2580
677.52/677.58	c 597.387 123.082 18147 54986946
677.52/677.58	o 2579
681.31/681.37	c 600.804 123.082 11892 55195753
681.31/681.37	o 2576
684.01/684.04	c 603.15 123.082 17357 55374552
684.01/684.04	o 2575
690.41/690.48	c 608.795 123.34 17845 55869727
690.41/690.48	o 2574
697.11/697.11	c 614.671 123.34 12319 56409122
697.11/697.11	o 2573
699.81/699.86	c 617.131 123.34 13740 56580170
699.81/699.86	o 2572
703.01/703.04	c 619.956 123.34 16299 56803774
703.01/703.04	o 2570
703.52/703.55	c 620.363 123.34 17143 56855057
703.52/703.55	o 2568
704.52/704.56	c 621.224 123.34 15698 56930626
704.52/704.56	o 2565
705.12/705.19	c 621.793 123.34 15531 56962896
705.12/705.19	o 2564
709.21/709.20	c 625.377 123.34 13450 57207321
709.21/709.20	o 2561
710.62/710.62	c 626.654 123.34 15409 57333223
710.62/710.62	o 2560
717.41/717.44	c 632.791 123.34 9432 57674731
717.41/717.44	o 2558
717.81/717.89	c 633.2 123.34 16601 57710349
717.81/717.89	o 2557
721.12/721.19	c 636.233 123.34 13083 57863087
721.12/721.19	o 2556
722.41/722.40	c 637.289 123.34 15822 57939775
722.41/722.40	o 2555
723.82/723.85	c 638.564 123.34 15315 58036826
723.82/723.85	o 2554
730.32/730.32	c 644.368 123.34 18345 58424094
730.32/730.32	o 2553
731.01/731.08	c 645.016 123.598 21617 58489403
731.01/731.08	o 2551
732.41/732.48	c 646.281 123.598 10797 58554224
732.41/732.48	o 2550
734.02/734.09	c 647.663 123.598 12414 58697984
734.02/734.09	o 2548
736.22/736.23	c 649.546 123.598 14496 58810265
736.22/736.23	o 2547
736.92/736.98	c 650.202 123.598 14881 58860751
736.92/736.98	o 2546
737.71/737.78	c 650.892 123.598 15142 58926551
737.71/737.78	o 2544
740.42/740.46	c 653.275 123.598 11168 59065290
740.42/740.46	o 2542
741.72/741.73	c 654.362 123.598 15190 59167577
741.72/741.73	o 2541
743.42/743.43	c 655.861 123.598 17406 59282258
743.42/743.43	o 2540
744.42/744.49	c 656.768 123.598 14768 59381839
744.42/744.49	o 2537
751.12/751.20	c 662.802 123.598 14277 59762525
751.12/751.20	o 2535
752.51/752.55	c 664.022 123.598 8430 59836440
752.51/752.55	o 2533
754.32/754.32	c 665.57 123.598 15310 59986492
754.32/754.32	o 2532
757.32/757.34	c 668.299 123.598 13467 60140688
757.32/757.34	o 2530
757.72/757.78	c 668.669 123.598 18419 60178836
757.72/757.78	o 2529
758.12/758.19	c 669.023 123.598 17236 60208629
758.12/758.19	o 2526
758.51/758.56	c 669.32 123.598 13267 60245851
758.51/758.56	o 2525
761.32/761.33	c 671.76 123.598 14902 60471353
761.32/761.33	o 2522
764.42/764.43	c 674.548 123.598 16938 60645972
764.42/764.43	o 2518
766.32/766.31	c 676.241 123.598 11800 60801422
766.32/766.31	o 2517
767.42/767.49	c 677.282 123.598 11893 60881016
767.42/767.49	o 2515
771.91/771.93	c 681.207 123.727 15536 61176443
771.91/771.93	o 2512
774.32/774.32	c 683.327 123.727 14369 61342762
774.32/774.32	o 2511
775.72/775.70	c 684.54 123.727 9979 61435526
775.72/775.70	o 2510
777.62/777.62	c 686.248 123.727 18465 61552338
777.62/777.62	o 2507
780.82/780.85	c 689.212 123.727 16302 61694850
780.82/780.85	o 2506
783.92/783.99	c 692.088 123.727 11299 61834899
783.92/783.99	o 2504
784.81/784.83	c 692.814 123.727 16574 61902354
784.81/784.83	o 2502
785.51/785.55	c 693.443 123.855 20633 61965530
785.51/785.55	o 2501
787.12/787.11	c 694.857 123.855 13617 62048416
787.12/787.11	o 2500
788.92/788.92	c 696.49 123.855 15065 62167059
788.92/788.92	o 2498
791.72/791.74	c 698.963 123.855 18661 62377904
791.72/791.74	o 2496
794.22/794.23	c 701.136 123.855 13980 62555142
794.22/794.23	o 2495
796.33/796.39	c 703.002 123.855 16195 62742490
796.33/796.39	o 2494
797.91/797.90	c 704.326 123.855 17853 62847781
797.91/797.90	o 2493
800.72/800.78	c 706.881 123.855 15773 63043267
800.72/800.78	o 2491
804.92/804.91	c 710.597 123.855 15761 63289490
804.92/804.91	o 2490
808.02/808.05	c 713.429 123.855 14108 63461968
808.02/808.05	o 2487
811.11/811.19	c 716.187 123.984 18396 63735376
811.11/811.19	o 2485
812.32/812.34	c 717.174 124.113 16744 63814377
812.32/812.34	o 2484
813.02/813.01	c 717.755 124.113 20706 63856094
813.02/813.01	o 2483
814.52/814.56	c 719.114 124.113 14189 63967316
814.52/814.56	o 2482
815.62/815.69	c 720.081 124.113 14387 64110908
815.62/815.69	o 2479
817.23/817.27	c 721.434 124.113 10182 64276793
817.23/817.27	o 2478
818.82/818.84	c 722.785 124.113 18038 64393087
818.82/818.84	o 2477
821.12/821.13	c 724.87 124.113 15037 64503758
821.12/821.13	o 2476
825.62/825.60	c 728.905 124.113 15980 64757132
825.62/825.60	o 2474
826.52/826.50	c 729.672 124.242 20302 64833763
826.52/826.50	o 2472
827.62/827.65	c 730.663 124.242 13365 64921921
827.62/827.65	o 2471
832.42/832.45	c 734.919 124.242 18718 65239190
832.42/832.45	o 2469
835.42/835.42	c 737.493 124.242 16399 65473074
835.42/835.42	o 2468
837.92/837.95	c 739.779 124.242 13193 65605646
837.92/837.95	o 2467
839.12/839.19	c 740.844 124.242 17791 65707040
839.12/839.19	o 2465
839.72/839.76	c 741.32 124.242 18330 65798150
839.72/839.76	o 2462
843.02/843.01	c 744.213 124.242 14342 66043290
843.02/843.01	o 2461
845.61/845.62	c 746.54 124.242 15639 66202727
845.61/845.62	o 2460
848.42/848.41	c 748.985 124.242 12406 66379780
848.42/848.41	o 2457
849.32/849.36	c 749.816 124.242 12633 66432296
849.32/849.36	o 2455
849.82/849.87	c 750.243 124.242 12011 66484598
849.82/849.87	o 2454
851.02/851.06	c 751.329 124.242 12180 66543353
851.02/851.06	o 2453
851.33/851.31	c 751.557 124.242 17115 66562021
851.33/851.31	o 2452
854.63/854.60	c 754.495 124.242 14474 66738688
854.63/854.60	o 2451
857.12/857.11	c 756.737 124.371 19505 66884288
857.12/857.11	o 2450
858.42/858.45	c 757.933 124.371 12667 66980587
858.42/858.45	o 2449
863.32/863.33	c 762.38 124.371 16105 67192500
863.32/863.33	o 2448
865.02/865.09	c 763.839 124.758 15131 67357730
865.02/865.09	o 2447
866.22/866.21	c 764.823 124.758 14478 67467572
866.22/866.21	o 2444
867.62/867.60	c 766.042 124.758 12517 67601152
867.62/867.60	o 2442
871.62/871.69	c 769.652 125.098 12726 67897474
871.62/871.69	o 2440
873.72/873.71	c 771.467 125.098 14530 68016910
873.72/873.71	o 2436
875.02/875.07	c 772.646 125.098 9576 68143983
875.02/875.07	o 2435
876.63/876.66	c 774.049 125.098 17222 68250126
876.63/876.66	o 2434
879.93/880.00	c 776.959 125.098 15732 68501594
879.93/880.00	o 2433
882.42/882.49	c 779.208 125.098 12436 68680272
882.42/882.49	o 2431
884.52/884.53	c 781.015 125.098 15310 68811308
884.52/884.53	o 2430
886.63/886.61	c 782.857 125.098 17431 68917890
886.63/886.61	o 2428
889.02/889.08	c 785.034 125.098 16376 69085165
889.02/889.08	o 2427
892.03/892.02	c 787.615 125.098 20469 69281316
892.03/892.02	o 2426
892.62/892.65	c 788.159 125.098 12341 69325938
892.62/892.65	o 2425
898.82/898.82	c 793.753 125.098 10440 69643824
898.82/898.82	o 2424
903.42/903.40	c 797.832 125.098 15241 70005678
903.42/903.40	o 2423
906.23/906.29	c 800.338 125.098 16904 70237223
906.23/906.29	o 2422
909.22/909.26	c 803.022 125.098 11569 70418149
909.22/909.26	o 2421
909.52/909.51	c 803.243 125.098 15981 70431835
909.52/909.51	o 2419
910.52/910.55	c 804.149 125.098 15806 70492899
910.52/910.55	o 2418
911.42/911.49	c 804.931 125.098 15804 70549087
911.42/911.49	o 2415
912.63/912.69	c 805.94 125.098 17692 70670876
912.63/912.69	o 2413
917.92/917.96	c 810.65 125.098 13228 70951090
917.92/917.96	o 2412
919.13/919.11	c 811.647 125.098 13124 71058864
919.13/919.11	o 2411
920.02/920.08	c 812.473 125.484 15489 71101380
920.02/920.08	o 2410
922.72/922.73	c 814.82 125.484 14918 71267088
922.72/922.73	o 2408
925.22/925.22	c 817.034 125.484 10036 71407562
925.22/925.22	o 2407
926.82/926.85	c 818.488 125.484 18984 71524296
926.82/926.85	o 2406
930.33/930.33	c 821.517 125.484 14520 71785887
930.33/930.33	o 2405
933.22/933.27	c 824.041 125.484 11286 71953139
933.22/933.27	o 2402
937.63/937.61	c 827.908 125.613 12052 72230697
937.63/937.61	o 2401
940.72/940.77	c 830.735 125.613 16846 72404575
940.72/940.77	o 2396
943.42/943.46	c 833.157 125.613 14696 72558938
943.42/943.46	o 2395
944.13/944.15	c 833.731 125.613 14815 72623394
944.13/944.15	o 2390
945.82/945.90	c 835.286 125.613 14108 72736535
945.82/945.90	o 2389
946.62/946.64	c 835.941 125.613 16531 72787662
946.62/946.64	o 2387
947.43/947.45	c 836.614 125.613 15489 72852158
947.43/947.45	o 2382
950.02/950.05	c 838.937 125.613 11158 73007868
950.02/950.05	o 2380
950.22/950.28	c 839.129 125.613 13306 73041187
950.22/950.28	o 2374
953.23/953.21	c 841.782 125.613 12436 73182560
953.23/953.21	o 2373
953.52/953.59	c 842.104 125.613 12704 73205358
953.52/953.59	o 2372
954.93/954.97	c 843.322 125.613 15470 73332362
954.93/954.97	o 2371
957.82/957.87	c 845.892 125.613 9677 73563682
957.82/957.87	o 2368
960.22/960.28	c 848.033 125.613 12115 73723384
960.22/960.28	o 2367
960.52/960.51	c 848.22 125.613 15365 73746887
960.52/960.51	o 2366
965.83/965.84	c 852.998 125.613 17002 74036818
965.83/965.84	o 2365
970.22/970.29	c 856.953 125.613 14209 74305480
970.22/970.29	o 2364
971.72/971.75	c 858.231 125.613 14778 74400274
971.72/971.75	o 2363
972.22/972.20	c 858.614 125.613 13106 74435070
972.22/972.20	o 2361
972.43/972.48	c 858.841 125.613 15940 74465353
972.43/972.48	o 2354
974.93/974.90	c 861.036 125.613 13337 74584906
974.93/974.90	o 2353
976.22/976.26	c 862.24 125.613 16175 74709917
976.22/976.26	o 2350
978.22/978.25	c 864.004 125.613 14997 74878124
978.22/978.25	o 2348
981.02/981.08	c 866.47 125.613 11529 75049308
981.02/981.08	o 2347
982.23/982.29	c 867.551 125.613 14253 75137490
982.23/982.29	o 2346
984.53/984.55	c 869.53 125.613 11343 75319009
984.53/984.55	o 2343
987.63/987.69	c 872.34 125.613 17172 75527863
987.63/987.69	o 2342
989.73/989.74	c 874.18 125.613 11161 75658967
989.73/989.74	o 2340
990.73/990.79	c 875.099 125.613 19299 75737266
990.73/990.79	o 2339
993.92/993.99	c 877.981 125.613 11582 75935501
993.92/993.99	o 2338
995.43/995.50	c 879.303 125.613 15117 76037533
995.43/995.50	o 2337
997.03/997.00	c 880.642 125.613 15044 76112032
997.03/997.00	o 2333
997.73/997.79	c 881.329 125.613 19360 76164155
997.73/997.79	o 2330
998.53/998.56	c 881.99 125.871 21825 76218232
998.53/998.56	o 2329
1001.23/1001.28	c 884.383 125.871 10250 76423020
1001.23/1001.28	o 2328
1004.02/1004.00	c 886.813 125.871 15923 76596303
1004.02/1004.00	o 2327
1004.23/1004.23	c 887.012 125.871 12695 76612366
1004.23/1004.24	o 2326
1008.73/1008.73	c 891.01 125.871 11800 76931765
1008.73/1008.73	o 2325
1010.43/1010.42	c 892.518 125.871 10686 77026578
1010.43/1010.42	o 2323
1010.93/1010.97	c 893.01 125.871 17057 77050365
1010.93/1010.97	o 2321
1014.52/1014.56	c 896.303 125.871 11020 77210808
1014.52/1014.56	o 2319
1017.03/1017.08	c 898.559 125.871 15148 77354414
1017.03/1017.08	o 2318
1017.83/1017.84	c 899.214 125.871 12539 77403923
1017.83/1017.84	o 2317
1018.42/1018.46	c 899.739 125.871 12560 77469306
1018.42/1018.46	o 2316
1020.43/1020.48	c 901.52 125.871 15063 77597685
1020.43/1020.48	o 2315
1023.43/1023.48	c 904.203 125.871 12029 77796218
1023.43/1023.48	o 2313
1023.83/1023.88	c 904.532 125.871 14639 77856863
1023.83/1023.88	o 2312
1024.33/1024.38	c 904.966 125.871 12965 77902125
1024.33/1024.38	o 2309
1026.92/1026.93	c 907.215 125.871 15062 78093783
1026.92/1026.93	o 2307
1030.82/1030.83	c 910.806 125.871 15805 78244567
1030.82/1030.83	o 2306
1033.63/1033.65	c 913.31 125.871 17353 78408956
1033.63/1033.65	o 2305
1034.12/1034.17	c 913.768 125.871 16650 78436036
1034.12/1034.17	o 2304
1035.03/1035.01	c 914.493 125.871 10538 78500850
1035.03/1035.01	o 2300
1036.72/1036.74	c 916.004 125.871 19739 78597599
1036.72/1036.74	o 2298
1037.52/1037.50	c 916.654 126.258 23716 78663483
1037.52/1037.50	o 2297
1041.93/1041.91	c 920.535 126.258 11752 78906969
1041.93/1041.91	o 2294
1043.03/1043.00	c 921.518 126.258 14825 78968082
1043.03/1043.00	o 2293
1043.52/1043.58	c 922.016 126.258 14061 79023312
1043.52/1043.58	o 2291
1046.53/1046.59	c 924.714 126.258 19057 79194806
1046.53/1046.59	o 2290
1049.83/1049.84	c 927.588 126.258 14844 79431858
1049.83/1049.84	o 2289
1051.63/1051.69	c 929.198 126.387 14787 79560750
1051.63/1051.69	o 2288
1054.62/1054.63	c 931.804 126.387 16023 79759992
1054.62/1054.63	o 2287
1057.72/1057.71	c 934.544 126.387 13431 79905242
1057.72/1057.71	o 2285
1058.73/1058.73	c 935.438 126.387 13896 79984537
1058.73/1058.73	o 2284
1059.92/1059.94	c 936.482 126.387 12620 80065375
1059.92/1059.94	o 2283
1062.83/1062.87	c 939.153 126.387 11045 80198906
1062.83/1062.87	o 2282
1063.33/1063.31	c 939.557 126.387 9913 80217649
1063.33/1063.31	o 2280
1063.64/1063.62	c 939.834 126.387 14855 80242267
1063.64/1063.62	o 2278
1066.33/1066.39	c 942.299 126.387 17397 80419751
1066.33/1066.39	o 2277
1066.73/1066.76	c 942.625 126.387 11257 80464041
1066.73/1066.76	o 2275
1070.13/1070.13	c 945.681 126.387 19596 80633728
1070.13/1070.13	o 2270
1073.43/1073.43	c 948.656 126.387 13805 80846001
1073.43/1073.43	o 2269
1073.73/1073.73	c 948.898 126.387 18922 80864708
1073.73/1073.73	o 2266
1076.83/1076.83	c 951.593 126.387 16780 81111890
1076.83/1076.83	o 2264
1077.02/1077.02	c 951.761 126.387 11785 81125312
1077.02/1077.02	o 2263
1077.23/1077.25	c 951.954 126.387 14896 81152489
1077.23/1077.25	o 2262
1077.72/1077.77	c 952.394 126.387 14851 81178988
1077.72/1077.77	o 2261
1083.03/1083.08	c 957.098 126.387 15163 81537781
1083.03/1083.08	o 2260
1087.73/1087.79	c 961.305 126.387 17165 81843102
1087.73/1087.79	o 2259
1090.03/1090.01	c 963.279 126.387 16061 81990129
1090.03/1090.01	o 2258
1093.13/1093.19	c 966.06 126.387 14328 82172935
1093.13/1093.19	o 2255
1095.13/1095.19	c 967.805 126.387 13969 82279631
1095.13/1095.19	o 2252
1098.72/1098.80	c 971.088 126.387 12563 82503741
1098.72/1098.80	o 2251
1101.73/1101.72	c 973.72 126.387 13480 82666708
1101.73/1101.72	o 2250
1102.23/1102.21	c 974.154 126.387 13011 82713554
1102.23/1102.21	o 2249
1103.83/1103.87	c 975.657 126.387 16215 82780033
1103.83/1103.87	o 2247
1105.33/1105.34	c 976.986 126.387 14049 82859083
1105.33/1105.34	o 2246
1108.13/1108.15	c 979.531 126.387 13345 82990855
1108.13/1108.15	o 2238
1108.33/1108.39	c 979.721 126.387 16026 83007630
1108.33/1108.39	o 2237
1109.53/1109.60	c 980.793 126.387 15872 83080314
1109.53/1109.60	o 2236
1111.23/1111.29	c 982.296 126.387 13664 83176872
1111.23/1111.29	o 2232
1114.53/1114.55	c 985.153 126.387 17771 83380733
1114.53/1114.55	o 2231
1115.63/1115.61	c 986.062 126.387 15881 83446912
1115.63/1115.61	o 2230
1116.73/1116.72	c 987.033 126.387 13568 83525653
1116.73/1116.72	o 2228
1120.73/1120.77	c 990.598 126.387 15748 83798947
1120.73/1120.77	o 2226
1121.63/1121.69	c 991.371 126.387 13450 83874712
1121.63/1121.69	o 2225
1124.33/1124.38	c 993.729 126.387 12233 84055162
1124.33/1124.38	o 2224
1127.33/1127.39	c 996.4 126.387 11175 84170124
1127.33/1127.39	o 2223
1127.73/1127.70	c 996.667 126.387 14520 84183859
1127.73/1127.70	o 2221
1127.93/1127.97	c 996.876 126.387 17523 84223843
1127.93/1127.97	o 2219
1131.13/1131.13	c 999.716 126.387 15634 84397767
1131.13/1131.13	o 2218
1133.93/1133.98	c 1002.3 126.516 20348 84517513
1133.93/1133.98	o 2216
1135.24/1135.27	c 1003.48 126.516 10332 84565037
1135.24/1135.27	o 2214
1137.34/1137.36	c 1005.31 126.516 9458 84684074
1137.34/1137.36	o 2213
1137.44/1137.46	c 1005.4 126.516 10604 84691486
1137.44/1137.46	o 2210
1140.13/1140.11	c 1007.78 126.516 17180 84835519
1140.13/1140.11	o 2207
1143.53/1143.56	c 1010.89 126.516 13178 85044986
1143.53/1143.56	o 2206
1144.83/1144.81	c 1012.03 126.516 11323 85097017
1144.83/1144.81	o 2205
1145.04/1145.01	c 1012.21 126.516 12449 85117433
1145.04/1145.01	o 2201
1147.73/1147.79	c 1014.69 126.516 18953 85277158
1147.73/1147.79	o 2200
1150.93/1150.90	c 1017.5 126.516 14586 85461829
1150.93/1150.90	o 2199
1152.13/1152.17	c 1018.61 126.516 9443 85556576
1152.13/1152.17	o 2198
1153.84/1153.82	c 1020.07 126.516 14647 85673840
1153.84/1153.82	o 2197
1154.13/1154.10	c 1020.29 126.516 18643 85713690
1154.13/1154.10	o 2175
1156.93/1156.96	c 1022.86 126.516 12716 85860849
1156.93/1156.96	o 2174
1160.33/1160.37	c 1025.93 126.516 16988 86037362
1160.33/1160.37	o 2172
1163.33/1163.32	c 1028.52 126.516 12049 86223738
1163.33/1163.32	o 2171
1164.63/1164.62	c 1029.69 126.516 15287 86286455
1164.63/1164.62	o 2170
1166.83/1166.87	c 1031.64 126.516 18851 86438361
1166.83/1166.87	o 2169
1171.33/1171.31	c 1035.7 126.516 13893 86620403
1171.33/1171.31	o 2168
1172.04/1172.00	c 1036.34 126.516 12686 86647860
1172.04/1172.00	o 2167
1173.84/1173.88	c 1038.01 126.516 13742 86804125
1173.84/1173.88	o 2165
1175.84/1175.81	c 1039.71 126.516 16477 86908648
1175.84/1175.81	o 2164
1177.04/1177.02	c 1040.82 126.516 16589 86957930
1177.04/1177.02	o 2163
1179.73/1179.77	c 1043.19 126.516 15879 87205136
1179.73/1179.77	o 2160
1180.34/1180.37	c 1043.71 126.645 19075 87238859
1180.34/1180.37	o 2159
1181.03/1181.02	c 1044.31 126.645 17764 87268044
1181.03/1181.02	o 2158
1187.53/1187.51	c 1050.17 126.645 14916 87562674
1187.53/1187.51	o 2156
1190.73/1190.75	c 1053.1 126.645 17501 87719769
1190.73/1190.75	o 2155
1193.43/1193.43	c 1055.45 126.645 12846 87900691
1193.43/1193.43	o 2154
1194.13/1194.10	c 1056.03 126.645 16567 87976033
1194.13/1194.10	o 2108
1197.34/1197.32	c 1058.95 126.645 10718 88119991
1197.34/1197.32	o 2103
1199.83/1199.84	c 1061.15 126.645 12330 88306795
1199.83/1199.84	o 2099
1201.03/1201.04	c 1062.22 126.645 14577 88364029
1201.03/1201.04	o 2098
1202.63/1202.64	c 1063.59 126.645 14379 88486416
1202.63/1202.64	o 2097
1205.73/1205.74	c 1066.37 126.645 17519 88639274
1205.73/1205.74	o 2096
1206.33/1206.39	c 1066.93 126.902 21082 88680011
1206.33/1206.39	o 2095
1207.33/1207.32	c 1067.76 126.902 10473 88747383
1207.33/1207.32	o 2094
1208.64/1208.63	c 1068.93 126.902 11890 88821564
1208.64/1208.63	o 2093
1210.33/1210.33	c 1070.47 126.902 11960 88904616
1210.33/1210.33	o 2092
1211.53/1211.58	c 1071.63 126.902 10678 88964713
1211.53/1211.58	o 2091
1211.83/1211.82	c 1071.83 126.902 15385 88975849
1211.83/1211.82	o 2090
1213.93/1213.94	c 1073.79 126.902 9954 89087500
1213.93/1213.94	o 2089
1215.13/1215.14	c 1074.85 126.902 12786 89155488
1215.13/1215.14	o 2088
1216.34/1216.35	c 1075.93 126.902 16094 89229809
1216.34/1216.35	o 2085
1219.73/1219.77	c 1079.03 126.902 14795 89401182
1219.73/1219.77	o 2084
1220.23/1220.29	c 1079.48 126.902 14889 89431480
1220.23/1220.29	o 2083
1222.24/1222.24	c 1081.21 126.902 12731 89568977
1222.24/1222.24	o 2082
1223.43/1223.47	c 1082.29 126.902 15180 89652995
1223.43/1223.47	o 2081
1225.03/1225.01	c 1083.62 126.902 17347 89735277
1225.03/1225.01	o 2080
1227.94/1227.97	c 1086.26 126.902 14199 89959178
1227.94/1227.97	o 2079
1228.94/1228.92	c 1087.12 126.902 14095 90000378
1228.94/1228.92	o 2078
1230.94/1230.93	c 1088.91 126.902 12158 90105273
1230.94/1230.93	o 2077
1231.23/1231.22	c 1089.15 126.902 15811 90136786
1231.23/1231.22	o 2076
1232.04/1232.02	c 1089.83 126.902 15869 90183689
1232.04/1232.02	o 2075
1237.63/1237.69	c 1094.91 126.902 12183 90515473
1237.63/1237.69	o 2074
1238.03/1238.07	c 1095.22 126.902 16659 90559318
1238.03/1238.07	o 2071
1238.74/1238.70	c 1095.8 126.902 14619 90583813
1238.74/1238.70	o 2068
1239.44/1239.40	c 1096.41 126.902 14232 90619813
1239.44/1239.40	o 2065
1240.64/1240.64	c 1097.52 126.902 17257 90693597
1240.64/1240.64	o 2064
1241.24/1241.27	c 1098.09 126.902 14754 90719671
1241.24/1241.27	o 2061
1241.53/1241.53	c 1098.32 126.902 10052 90734700
1241.53/1241.53	o 2059
1243.43/1243.46	c 1099.99 126.902 15858 90919047
1243.43/1243.46	o 2058
1243.63/1243.65	c 1100.15 126.902 10210 90935217
1243.63/1243.65	o 2056
1246.63/1246.61	c 1102.77 126.902 16633 91128124
1246.63/1246.61	o 2055
1249.33/1249.32	c 1105.19 127.031 18629 91251410
1249.33/1249.32	o 2054
1252.24/1252.23	c 1107.83 127.031 14254 91374364
1252.24/1252.23	o 2053
1253.73/1253.72	c 1109.13 127.031 16971 91462101
1253.73/1253.72	o 2052
1255.23/1255.27	c 1110.46 127.031 13581 91530331
1255.23/1255.27	o 2049
1256.04/1256.01	c 1111.12 127.031 19444 91573989
1256.04/1256.01	o 2048
1262.43/1262.41	c 1116.75 127.16 15119 91976507
1262.43/1262.41	o 2047
1264.33/1264.33	c 1118.46 127.16 10604 92061966
1264.33/1264.33	o 2045
1265.04/1265.09	c 1119.11 127.16 16555 92097065
1265.04/1265.09	o 2044
1268.03/1268.00	c 1121.7 127.16 14767 92241564
1268.03/1268.00	o 2043
1268.54/1268.51	c 1122.16 127.289 22082 92278198
1268.54/1268.51	o 2042
1271.93/1271.92	c 1125.27 127.289 16122 92418913
1271.93/1271.92	o 2039
1273.13/1273.16	c 1126.37 127.289 9789 92486382
1273.13/1273.16	o 2035
1274.34/1274.38	c 1127.45 127.289 12837 92560490
1274.34/1274.38	o 2034
1274.74/1274.75	c 1127.76 127.289 15707 92603825
1274.74/1274.75	o 2032
1277.44/1277.40	c 1130.09 127.289 9587 92776732
1277.44/1277.40	o 2031
1278.14/1278.16	c 1130.79 127.289 18863 92805982
1278.14/1278.16	o 2029
1279.24/1279.29	c 1131.8 127.289 12399 92869787
1279.24/1279.29	o 2028
1280.73/1280.74	c 1133.07 127.289 13803 92989390
1280.73/1280.74	o 2027
1281.03/1281.08	c 1133.35 127.289 20012 93018245
1281.03/1281.08	o 2026
1281.54/1281.53	c 1133.71 127.289 16875 93069026
1281.54/1281.53	o 2024
1281.94/1281.90	c 1134.02 127.289 14031 93118738
1281.94/1281.90	o 2023
1282.03/1282.05	c 1134.15 127.289 16049 93127620
1282.03/1282.05	o 2022
1285.14/1285.10	c 1136.9 127.289 13481 93264459
1285.14/1285.10	o 2021
1287.73/1287.75	c 1139.3 127.289 9772 93448091
1287.73/1287.75	o 2020
1288.24/1288.30	c 1139.75 127.289 18329 93486521
1288.24/1288.30	o 2018
1291.34/1291.33	c 1142.51 127.289 15777 93629927
1291.34/1291.33	o 2017
1294.74/1294.72	c 1145.5 127.289 17235 93797929
1294.74/1294.72	o 2014
1295.13/1295.19	c 1145.9 127.289 15088 93824262
1295.13/1295.19	o 2012
1295.74/1295.75	c 1146.39 127.289 17073 93859874
1295.74/1295.75	o 2011
1297.04/1297.04	c 1147.52 127.289 16068 93944154
1297.04/1297.04	o 2007
1300.24/1300.24	c 1150.41 127.289 13870 94110824
1300.24/1300.24	o 2004
1300.94/1300.99	c 1151.09 127.289 13951 94156594
1300.94/1300.99	o 2003
1301.73/1301.73	c 1151.73 127.289 17025 94216501
1301.73/1301.73	o 2002
1303.03/1303.04	c 1152.91 127.289 13166 94291617
1303.03/1303.04	o 2001
1307.34/1307.38	c 1156.83 127.418 14976 94501824
1307.34/1307.38	o 2000
1312.74/1312.71	c 1161.57 127.418 15607 94818559
1312.74/1312.71	o 1999
1313.44/1313.50	c 1162.23 127.418 16505 94878229
1313.44/1313.50	o 1996
1313.94/1313.95	c 1162.64 127.418 15393 94900823
1313.94/1313.95	o 1995
1316.14/1316.17	c 1164.61 127.418 17469 95041313
1316.14/1316.17	o 1994
1320.14/1320.18	c 1168.15 127.547 22658 95301238
1320.14/1320.18	o 1992
1323.84/1323.89	c 1171.57 127.547 12526 95427334
1323.84/1323.89	o 1991
1328.84/1328.84	c 1175.99 127.547 14822 95713479
1328.84/1328.84	o 1990
1330.64/1330.69	c 1177.63 127.547 14228 95792431
1330.64/1330.69	o 1989
1332.04/1332.02	c 1178.84 127.547 14513 95852485
1332.04/1332.02	o 1988
1333.54/1333.58	c 1180.24 127.547 12622 95942763
1333.54/1333.58	o 1986
1334.24/1334.28	c 1180.84 127.676 24176 96025175
1334.24/1334.28	o 1985
1334.54/1334.53	c 1181.05 127.676 16522 96037303
1334.54/1334.53	o 1984
1335.54/1335.56	c 1181.95 127.676 15211 96097080
1335.54/1335.56	o 1983
1336.94/1336.99	c 1183.25 127.676 10204 96162061
1336.94/1336.99	o 1981
1339.43/1339.46	c 1185.43 127.676 10267 96327928
1339.43/1339.46	o 1980
1342.54/1342.52	c 1188.18 127.676 13732 96463648
1342.54/1342.52	o 1978
1345.34/1345.33	c 1190.71 127.676 11589 96579085
1345.34/1345.33	o 1977
1345.44/1345.43	c 1190.79 127.676 12094 96584058
1345.44/1345.43	o 1976
1350.14/1350.12	c 1195.04 127.676 10906 96801637
1350.14/1350.12	o 1975
1351.94/1351.93	c 1196.67 127.676 19142 96946765
1351.94/1351.93	o 1974
1356.54/1356.59	c 1200.85 127.676 8551 97223906
1356.54/1356.59	o 1973
1357.73/1357.79	c 1201.88 127.676 19241 97312069
1357.73/1357.79	o 1971
1358.34/1358.36	c 1202.37 127.676 18718 97333139
1358.34/1358.36	o 1970
1361.24/1361.29	c 1205 127.676 15469 97516587
1361.24/1361.29	o 1968
1363.64/1363.69	c 1207.18 127.676 14447 97619313
1363.64/1363.69	o 1967
1364.43/1364.48	c 1207.88 127.676 19276 97655890
1364.43/1364.48	o 1966
1366.14/1366.14	c 1209.39 127.676 10439 97761143
1366.14/1366.14	o 1965
1367.94/1367.95	c 1211 127.676 16200 97853318
1367.94/1367.95	o 1960
1371.24/1371.20	c 1213.93 127.676 18866 98001061
1371.24/1371.20	o 1959
1371.84/1371.82	c 1214.45 127.676 18473 98039167
1371.84/1371.82	o 1958
1374.14/1374.14	c 1216.5 127.676 15553 98158880
1374.14/1374.14	o 1957
1376.93/1376.98	c 1219.02 127.676 13796 98324769
1376.93/1376.98	o 1955
1378.35/1378.38	c 1220.25 127.676 17326 98412754
1378.35/1378.38	o 1954
1380.04/1380.03	c 1221.68 127.676 17627 98512763
1380.04/1380.03	o 1952
1383.63/1383.64	c 1224.86 127.805 20324 98677458
1383.63/1383.64	o 1951
1384.04/1384.01	c 1225.18 127.805 15171 98715057
1384.04/1384.01	o 1949
1384.34/1384.30	c 1225.44 127.805 11846 98726621
1384.34/1384.30	o 1948
1386.43/1386.44	c 1227.36 127.805 15299 98827628
1386.43/1386.44	o 1947
1390.54/1390.56	c 1231.05 127.805 15781 99044209
1390.54/1390.56	o 1946
1393.44/1393.45	c 1233.65 127.805 14166 99200856
1393.44/1393.45	o 1943
1396.34/1396.38	c 1236.27 127.805 17496 99352914
1396.34/1396.38	o 1941
1397.05/1397.02	c 1236.8 127.805 18155 99418846
1397.05/1397.02	o 1940
1400.94/1400.92	c 1240.2 127.805 9645 99635266
1400.94/1400.92	o 1937
1403.54/1403.58	c 1242.57 127.805 14208 99802247
1403.54/1403.58	o 1935
1406.94/1406.94	c 1245.59 127.805 14238 99964019
1406.94/1406.94	o 1933
1410.54/1410.54	c 1248.87 127.805 13974 100125781
1410.54/1410.54	o 1931
1411.14/1411.12	c 1249.37 127.934 13633 100172584
1411.14/1411.12	o 1925
1411.74/1411.79	c 1249.97 127.934 13958 100199191
1411.74/1411.79	o 1924
1414.14/1414.11	c 1252.05 127.934 15390 100328957
1414.14/1414.11	o 1923
1416.75/1416.78	c 1254.39 127.934 17435 100466313
1416.75/1416.78	o 1921
1419.94/1419.93	c 1257.18 127.934 10577 100642119
1419.94/1419.93	o 1920
1422.34/1422.31	c 1259.29 127.934 12655 100764100
1422.34/1422.31	o 1919
1425.14/1425.12	c 1261.79 127.934 15885 100925697
1425.14/1425.12	o 1917
1426.24/1426.22	c 1262.75 127.934 9322 100985158
1426.24/1426.22	o 1915
1427.94/1427.92	c 1264.26 127.934 16095 101075733
1427.94/1427.92	o 1914
1428.64/1428.67	c 1264.91 127.934 12388 101134887
1428.64/1428.67	o 1913
1430.64/1430.66	c 1266.7 127.934 16127 101250870
1430.64/1430.66	o 1912
1434.14/1434.18	c 1269.85 127.934 12715 101433333
1434.14/1434.18	o 1911
1434.74/1434.76	c 1270.34 127.934 16268 101460747
1434.74/1434.76	o 1909
1438.14/1438.12	c 1273.34 127.934 13083 101628920
1438.14/1438.12	o 1907
1438.84/1438.81	c 1273.97 127.934 14293 101654037
1438.84/1438.81	o 1906
1441.94/1441.99	c 1276.87 127.934 17472 101774445
1441.94/1441.99	o 1905
1447.64/1447.69	c 1281.94 127.934 18954 102123268
1447.64/1447.69	o 1904
1448.44/1448.44	c 1282.59 127.934 14013 102162669
1448.44/1448.44	o 1901
1449.54/1449.56	c 1283.6 127.934 13940 102206974
1449.54/1449.56	o 1899
1451.04/1451.08	c 1284.92 127.934 13551 102298154
1451.04/1451.08	o 1897
1452.05/1452.01	c 1285.75 127.934 13976 102341421
1452.05/1452.01	o 1894
1453.74/1453.73	c 1287.28 127.934 12580 102423392
1453.74/1453.73	o 1893
1456.74/1456.71	c 1289.92 127.934 12633 102570559
1456.74/1456.71	o 1892
1459.84/1459.87	c 1292.76 127.934 11274 102754027
1459.84/1459.87	o 1891
1461.04/1461.09	c 1293.83 128.32 15416 102825276
1461.04/1461.09	o 1890
1461.44/1461.42	c 1294.13 128.32 11325 102854021
1461.44/1461.42	o 1889
1462.54/1462.56	c 1295.17 128.32 10974 102899255
1462.54/1462.56	o 1887
1463.14/1463.15	c 1295.69 128.32 12248 102929549
1463.14/1463.15	o 1886
1464.04/1464.07	c 1296.51 128.32 17945 102971715
1464.04/1464.07	o 1885
1467.74/1467.71	c 1299.75 128.32 15422 103186401
1467.74/1467.71	o 1884
1468.14/1468.19	c 1300.16 128.32 14603 103232935
1468.14/1468.19	o 1882
1468.94/1468.98	c 1300.88 128.32 17051 103264026
1468.94/1468.98	o 1881
1470.34/1470.35	c 1302.11 128.32 14329 103345384
1470.34/1470.35	o 1879
1473.24/1473.23	c 1304.64 128.32 13469 103556712
1473.24/1473.23	o 1877
1473.44/1473.47	c 1304.83 128.32 16687 103575623
1473.44/1473.47	o 1874
1476.34/1476.34	c 1307.38 128.32 19500 103750695
1476.34/1476.34	o 1873
1477.34/1477.36	c 1308.3 128.32 12649 103802264
1477.34/1477.36	o 1872
1479.34/1479.37	c 1310.05 128.32 17093 103917869
1479.34/1479.37	o 1871
1482.54/1482.56	c 1312.9 128.32 18129 104061104
1482.54/1482.56	o 1870
1485.04/1485.04	c 1315.15 128.32 15111 104144810
1485.04/1485.04	o 1869
1485.34/1485.33	c 1315.39 128.32 19643 104180126
1485.34/1485.33	o 1868
1485.64/1485.67	c 1315.67 128.32 16392 104198292
1485.64/1485.67	o 1867
1486.24/1486.22	c 1316.14 128.32 19561 104229457
1486.24/1486.22	o 1866
1486.95/1486.95	c 1316.75 128.32 12387 104286267
1486.95/1486.95	o 1863
1489.14/1489.19	c 1318.7 128.32 11446 104403026
1489.14/1489.19	o 1862
1490.65/1490.65	c 1320.03 128.32 14281 104455856
1490.65/1490.65	o 1860
1492.24/1492.29	c 1321.52 128.32 17266 104544122
1492.24/1492.29	o 1859
1492.54/1492.59	c 1321.78 128.32 16174 104559103
1492.54/1492.59	o 1858
1493.54/1493.50	c 1322.58 128.32 15172 104600369
1493.54/1493.50	o 1856
1495.24/1495.22	c 1324.11 128.32 14748 104701045
1495.24/1495.22	o 1853
1498.05/1498.09	c 1326.66 128.32 17914 104838389
1498.05/1498.09	o 1852
1498.64/1498.69	c 1327.14 128.32 16063 104913500
1498.64/1498.69	o 1849
1501.45/1501.45	c 1329.64 128.32 14746 105004948
1501.45/1501.45	o 1847
1504.34/1504.31	c 1332.18 128.32 11513 105158200
1504.34/1504.31	o 1846
1504.84/1504.86	c 1332.66 128.32 21185 105188486
1504.84/1504.86	o 1845
1506.24/1506.21	c 1333.9 128.32 9897 105221878
1506.24/1506.21	o 1844
1507.35/1507.32	c 1334.93 128.32 14549 105270064
1507.35/1507.32	o 1841
1511.24/1511.23	c 1338.51 128.32 13553 105432978
1511.24/1511.23	o 1840
1512.04/1512.03	c 1339.2 128.32 15591 105493609
1512.04/1512.03	o 1838
1512.24/1512.22	c 1339.36 128.32 11817 105502701
1512.24/1512.22	o 1836
1515.95/1515.94	c 1342.79 128.32 14247 105660261
1515.95/1515.94	o 1835
1518.85/1518.89	c 1345.41 128.32 12392 105778964
1518.85/1518.89	o 1834
1519.44/1519.44	c 1345.88 128.32 13335 105803545
1519.44/1519.44	o 1832
1522.44/1522.45	c 1348.59 128.32 16702 105951426
1522.44/1522.45	o 1829
1523.55/1523.60	c 1349.59 128.32 16144 106023085
1523.64/1523.60	o 1827
1524.74/1524.74	c 1350.61 128.32 12478 106068028
1524.74/1524.74	o 1826
1525.44/1525.49	c 1351.29 128.32 13790 106098655
1525.44/1525.49	o 1819
1525.65/1525.65	c 1351.43 128.32 16031 106105610
1525.65/1525.65	o 1818
1527.14/1527.10	c 1352.75 128.32 14029 106160902
1527.14/1527.10	o 1816
1528.54/1528.53	c 1354.04 128.32 16621 106255824
1528.54/1528.53	o 1815
1529.14/1529.11	c 1354.57 128.32 14852 106273848
1529.14/1529.11	o 1814
1529.65/1529.68	c 1355.07 128.32 17061 106299411
1529.65/1529.68	o 1812
1531.34/1531.33	c 1356.55 128.32 14304 106370633
1531.34/1531.33	o 1811
1532.94/1532.98	c 1358.05 128.32 16607 106444003
1532.94/1532.98	o 1810
1534.15/1534.15	c 1359.09 128.32 16919 106504227
1534.15/1534.15	o 1809
1537.55/1537.54	c 1362.09 128.449 14346 106684352
1537.55/1537.54	o 1808
1537.85/1537.88	c 1362.38 128.449 19389 106703428
1537.85/1537.88	o 1807
1540.64/1540.64	c 1364.87 128.449 15961 106877782
1540.64/1540.64	o 1806
1542.94/1542.90	c 1366.93 128.449 11108 107001561
1542.94/1542.90	o 1805
1543.94/1543.92	c 1367.85 128.449 18087 107040163
1543.94/1543.92	o 1803
1547.44/1547.48	c 1371.1 128.449 19811 107183427
1547.44/1547.48	o 1802
1548.75/1548.73	c 1372.23 128.449 13080 107238571
1548.75/1548.73	o 1801
1550.74/1550.70	c 1374 128.449 19220 107341996
1550.74/1550.70	o 1800
1554.85/1554.89	c 1377.73 128.449 15954 107574508
1554.85/1554.89	o 1799
1556.84/1556.82	c 1379.46 128.449 12614 107662645
1556.84/1556.82	o 1797
1559.54/1559.53	c 1381.85 128.449 14789 107797165
1559.54/1559.53	o 1796
1561.95/1561.97	c 1384.04 128.449 9178 107934432
1561.95/1561.97	o 1795
1562.34/1562.38	c 1384.37 128.449 14270 107981920
1562.34/1562.38	o 1794
1562.64/1562.67	c 1384.61 128.449 18894 107996289
1562.64/1562.67	o 1793
1563.74/1563.70	c 1385.5 128.449 12081 108075672
1563.74/1563.70	o 1792
1568.75/1568.74	c 1390.08 128.449 13380 108277781
1568.75/1568.74	o 1790
1569.25/1569.26	c 1390.52 128.449 13428 108311955
1569.25/1569.26	o 1789
1571.75/1571.70	c 1392.75 128.449 14295 108389065
1571.75/1571.70	o 1788
1574.64/1574.67	c 1395.38 128.449 16729 108558840
1574.64/1574.67	o 1784
1575.25/1575.29	c 1395.9 128.578 19454 108595905
1575.25/1575.29	o 1783
1581.85/1581.88	c 1401.83 128.578 16318 108897148
1581.85/1581.88	o 1782
1583.95/1583.98	c 1403.71 128.578 14271 109010827
1583.95/1583.98	o 1781
1584.85/1584.84	c 1404.46 128.578 20052 109059018
1584.85/1584.84	o 1780
1587.95/1587.97	c 1407.2 128.578 15536 109237496
1587.95/1587.97	o 1778
1588.85/1588.82	c 1407.94 128.578 11890 109273813
1588.85/1588.82	o 1773
1589.75/1589.72	c 1408.71 128.836 16631 109323747
1589.75/1589.72	o 1772
1590.14/1590.15	c 1409.06 128.836 16130 109353614
1590.14/1590.15	o 1771
1591.84/1591.88	c 1410.67 128.836 14332 109415787
1591.84/1591.88	o 1770
1596.14/1596.16	c 1414.5 128.836 13881 109585443
1596.14/1596.16	o 1769
1600.75/1600.70	c 1418.52 128.836 13264 109836373
1600.75/1600.70	o 1768
1602.15/1602.18	c 1419.85 128.836 16119 109955716
1602.15/1602.18	o 1767
1602.84/1602.80	c 1420.38 128.836 20348 109990229
1602.84/1602.80	o 1766
1603.35/1603.32	c 1420.82 128.836 9972 110032291
1603.35/1603.32	o 1764
1609.25/1609.22	c 1426.2 128.836 11411 110289786
1609.25/1609.22	o 1762
1610.94/1610.96	c 1427.71 128.965 13844 110380841
1610.94/1610.96	o 1761
1613.65/1613.65	c 1430.22 128.965 15072 110466229
1613.65/1613.65	o 1759
1615.05/1615.09	c 1431.54 128.965 17256 110507739
1615.05/1615.09	o 1757
1616.35/1616.37	c 1432.65 128.965 15929 110587698
1616.35/1616.37	o 1756
1616.85/1616.86	c 1433.08 128.965 15532 110618003
1616.85/1616.86	o 1755
1623.45/1623.48	c 1438.92 128.965 15995 110991568
1623.45/1623.48	o 1754
1623.94/1623.91	c 1439.3 128.965 15695 111024987
1623.94/1623.91	o 1753
1626.65/1626.65	c 1441.75 128.965 15199 111195877
1626.65/1626.65	o 1752
1628.65/1628.66	c 1443.53 128.965 14506 111291354
1628.65/1628.66	o 1750
1629.55/1629.55	c 1444.32 128.965 17557 111341366
1629.55/1629.55	o 1749
1633.65/1633.67	c 1448.01 128.965 17206 111563095
1633.65/1633.67	o 1748
1635.54/1635.55	c 1449.71 128.965 16553 111649139
1635.54/1635.55	o 1746
1638.05/1638.01	c 1451.93 128.965 14094 111741922
1638.05/1638.01	o 1745
1640.85/1640.87	c 1454.55 128.965 16124 111856102
1640.85/1640.87	o 1744
1641.74/1641.78	c 1455.33 128.965 21158 111927529
1641.74/1641.78	o 1743
1642.35/1642.37	c 1455.8 128.965 17549 111950672
1642.35/1642.37	o 1742
1646.05/1646.07	c 1459.2 128.965 12458 112073210
1646.05/1646.07	o 1741
1647.25/1647.20	c 1460.2 128.965 15251 112152736
1647.25/1647.20	o 1740
1647.76/1647.72	c 1460.65 128.965 15068 112177143
1647.76/1647.72	o 1739
1649.44/1649.44	c 1462.16 128.965 20048 112267861
1649.44/1649.44	o 1736
1652.55/1652.55	c 1465 128.965 13227 112412972
1652.55/1652.55	o 1735
1652.65/1652.69	c 1465.12 128.965 15503 112420299
1652.65/1652.69	o 1733
1655.56/1655.56	c 1467.74 128.965 16891 112506718
1655.56/1655.56	o 1732
1656.04/1656.03	c 1468.14 128.965 18935 112526850
1656.04/1656.03	o 1728
1660.25/1660.20	c 1471.91 128.965 13380 112708590
1660.25/1660.20	o 1727
1661.44/1661.47	c 1473.05 128.965 14765 112767328
1661.44/1661.47	o 1726
1661.74/1661.79	c 1473.33 128.965 10931 112778802
1661.74/1661.79	o 1724
1664.05/1664.09	c 1475.39 128.965 17532 112884938
1664.05/1664.09	o 1722
1667.95/1667.91	c 1478.82 129.223 23063 113044952
1667.95/1667.91	o 1719
1668.75/1668.74	c 1479.55 129.223 18256 113104669
1668.75/1668.74	o 1718
1671.05/1671.08	c 1481.62 129.223 12755 113197049
1671.05/1671.08	o 1717
1674.25/1674.20	c 1484.44 129.223 16298 113365505
1674.25/1674.20	o 1716
1677.34/1677.39	c 1487.31 129.223 19485 113520187
1677.34/1677.39	o 1715
1679.05/1679.00	c 1488.71 129.223 15881 113643115
1679.05/1679.00	o 1712
1680.85/1680.89	c 1490.35 129.223 12738 113752033
1680.85/1680.89	o 1711
1683.95/1683.91	c 1493.07 129.223 11110 113902288
1683.95/1683.91	o 1710
1686.74/1686.74	c 1495.64 129.223 16980 114032605
1686.74/1686.74	o 1709
1687.04/1687.06	c 1495.91 129.223 11988 114044621
1687.04/1687.06	o 1706
1689.75/1689.72	c 1498.32 129.223 13605 114157023
1689.75/1689.72	o 1705
1693.05/1693.02	c 1501.33 129.223 13959 114296988
1693.05/1693.02	o 1703
1693.95/1693.99	c 1502.17 129.223 21850 114349554
1693.95/1693.99	o 1696
1694.65/1694.60	c 1502.7 129.223 19594 114395541
1694.65/1694.60	o 1693
1694.85/1694.81	c 1502.88 129.223 13694 114403942
1694.85/1694.81	o 1692
1695.25/1695.28	c 1503.3 129.48 24075 114421839
1695.25/1695.28	o 1690
1698.05/1698.00	c 1505.76 129.984 14438 114535149
1698.05/1698.00	o 1689
1699.45/1699.49	c 1507.07 129.984 12570 114611368
1699.45/1699.49	o 1688
1701.15/1701.15	c 1508.56 129.984 9695 114678933
1701.15/1701.15	o 1687
1702.25/1702.23	c 1509.51 129.984 12772 114747542
1702.25/1702.23	o 1683
1703.86/1703.80	c 1510.93 129.984 8925 114801588
1703.86/1703.80	o 1682
1706.45/1706.42	c 1513.27 129.984 11598 114919531
1706.45/1706.42	o 1680
1706.55/1706.56	c 1513.38 129.984 14284 114928623
1706.55/1706.56	o 1679
1707.65/1707.68	c 1514.4 129.984 16542 114975309
1707.65/1707.68	o 1678
1712.85/1712.84	c 1519.08 129.984 17489 115228734
1712.85/1712.84	o 1677
1713.85/1713.81	c 1519.94 129.984 16233 115294291
1713.85/1713.81	o 1676
1715.65/1715.68	c 1521.6 129.984 17104 115392099
1715.65/1715.68	o 1674
1718.95/1718.90	c 1524.51 129.984 20042 115500878
1718.95/1718.90	o 1673
1719.36/1719.37	c 1524.93 129.984 18233 115528073
1719.36/1719.37	o 1671
1722.85/1722.88	c 1528.11 129.984 14250 115685532
1722.85/1722.88	o 1670
1724.35/1724.33	c 1529.42 129.984 17213 115748645
1724.35/1724.33	o 1669
1727.55/1727.53	c 1532.29 129.984 9140 115896596
1727.55/1727.53	o 1667
1729.26/1729.29	c 1533.9 129.984 12363 115963897
1729.26/1729.29	o 1665
1731.55/1731.56	c 1535.96 129.984 13860 116096988
1731.55/1731.56	o 1664
1731.75/1731.73	c 1536.1 129.984 15540 116107770
1731.75/1731.73	o 1663
1732.15/1732.14	c 1536.43 129.984 13820 116137172
1732.15/1732.14	o 1662
1733.75/1733.77	c 1537.94 129.984 16817 116196464
1733.75/1733.77	o 1661
1735.55/1735.54	c 1539.54 129.984 13502 116262250
1735.55/1735.54	o 1659
1738.15/1738.18	c 1541.88 129.984 13832 116402684
1738.15/1738.18	o 1657
1741.36/1741.35	c 1544.76 129.984 11001 116518470
1741.36/1741.35	o 1656
1743.25/1743.27	c 1546.55 129.984 9770 116577350
1743.25/1743.27	o 1654
1744.25/1744.25	c 1547.37 129.984 17852 116649787
1744.25/1744.25	o 1653
1744.55/1744.58	c 1547.66 129.984 15621 116663576
1744.55/1744.58	o 1651
1744.85/1744.86	c 1547.91 129.984 14635 116674718
1744.85/1744.86	o 1650
1747.86/1747.88	c 1550.64 129.984 14247 116807611
1747.86/1747.88	o 1649
1750.45/1750.47	c 1553 129.984 12206 116919729
1750.45/1750.47	o 1648
1751.15/1751.12	c 1553.56 129.984 15234 116946333
1751.15/1751.12	o 1647
1753.05/1753.01	c 1555.22 129.984 8702 117062422
1753.05/1753.01	o 1646
1753.35/1753.33	c 1555.48 129.984 15053 117077810
1753.35/1753.33	o 1645
1755.85/1755.80	c 1557.7 129.984 12276 117184664
1755.85/1755.80	o 1644
1756.25/1756.21	c 1558.06 129.984 19854 117203471
1756.25/1756.21	o 1641
1758.65/1758.62	c 1560.24 129.984 15158 117293048
1758.65/1758.62	o 1640
1758.75/1758.75	c 1560.35 129.984 9687 117299007
1758.75/1758.75	o 1639
1761.46/1761.48	c 1562.75 129.984 17753 117434339
1761.46/1761.48	o 1637
1762.75/1762.76	c 1563.91 129.984 12144 117479130
1762.75/1762.76	o 1636
1763.95/1763.95	c 1564.97 129.984 14650 117524954
1763.95/1763.95	o 1635
1765.15/1765.11	c 1565.98 129.984 17829 117583039
1765.15/1765.11	o 1634
1766.86/1766.82	c 1567.52 129.984 17688 117648310
1766.86/1766.82	o 1633
1767.35/1767.37	c 1567.98 129.984 16842 117673930
1767.35/1767.37	o 1631
1769.85/1769.83	c 1570.25 129.984 13250 117765262
1769.85/1769.83	o 1630
1773.16/1773.10	c 1573.26 129.984 10333 117866946
1773.16/1773.10	o 1629
1773.55/1773.56	c 1573.66 129.984 16017 117905314
1773.55/1773.56	o 1628
1776.65/1776.67	c 1576.46 129.984 20412 118028397
1776.65/1776.67	o 1627
1777.85/1777.85	c 1577.49 129.984 13360 118095265
1777.85/1777.85	o 1626
1779.15/1779.16	c 1578.65 129.984 12190 118148321
1779.15/1779.16	o 1624
1779.76/1779.78	c 1579.18 129.984 23235 118204483
1779.76/1779.78	o 1623
1780.96/1780.94	c 1580.25 129.984 14195 118246504
1780.96/1780.94	o 1622
1782.95/1782.90	c 1582.02 129.984 10873 118324062
1782.95/1782.90	o 1620
1784.05/1784.07	c 1583.08 129.984 10339 118360624
1784.05/1784.07	o 1619
1785.55/1785.50	c 1584.36 129.984 13215 118428129
1785.55/1785.50	o 1618
1786.05/1786.04	c 1584.86 129.984 19756 118449207
1786.05/1786.04	o 1617
1788.45/1788.45	c 1587.06 129.984 13920 118522052
1788.45/1788.45	o 1616
1789.95/1789.92	c 1588.37 129.984 14859 118594394
1789.95/1789.92	o 1614
1790.55/1790.53	c 1588.93 129.984 14240 118612177
1790.55/1790.53	o 1613
1791.56/1791.55	c 1589.81 129.984 22508 118659971
1791.56/1791.55	o 1612
1792.45/1792.41	c 1590.56 130.242 26543 118713951
1792.45/1792.41	o 1611
1792.85/1792.88	c 1590.96 130.242 18560 118750869
1792.85/1792.88	o 1609
1795.35/1795.33	c 1593.12 130.242 13888 118862797
1795.35/1795.33	o 1608
1795.95/1795.92	c 1593.66 130.242 15127 118881738
1795.95/1795.92	o 1606
1798.15/1798.19	c 1595.64 130.242 17500 118984629
1798.15/1798.19	o 1605
1800.06/1800.00	s SATISFIABLE
1800.06/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 x2729 x2730 x2731 x2732 -x2733 x2734 x2735 x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 x2746 x2747 x2748 x2749 x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 x2779 x2780 -x2781 -x2782 -x2783 x2784 x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 -x2792 x2793 x2794 x2795 -x2796 -x2797 x2798 x2799 -x2800 -x2801 x2802 -x2803 -x2804 -x2805 -x2806 x2807 x2808 x2809 x2810 -x2811 x2812 -x2813 x2814 -x2815 x2816 x2817 -x2818 x2819 x2820 x2821 x2822 x2823 -x2824 x2825 -x2826 x2827 x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 x2848 -x2849 x2850 -x2851 x2852 x2853 -x2854 -x2855 -x2856 -x2857 x2858 -x2859 -x2860 -x2861 x2862 x2863 -x2864 -x2865 x2866 x2867 x2868 x2869 -x2870 -x2871 x2872 x2873 -x2874 x2875 x2876 -x2877 x2878 x2879 -x2880 x2881 x2882 -x2883 x2884 x2885 x2886 -x2887 x2888 -x2889 x2890 x2891 x2892 -x2893 -x2894 x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 x2902 x2903 x2904 x2905 -x2906 x2907 x2908 -x2909 x2910 -x2911 -x2912 x2913

OK	1605

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698998-1278465126/watcher-2698998-1278465126 -o /tmp/evaluation-result-2698998-1278465126/solver-2698998-1278465126 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698998-1278465126.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.99 2.00 1.94 4/178 14515
/proc/meminfo: memFree=29507764/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=2136 CPUtime=0
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 14726789 2187264 174 4089446400 134512640 136422188 4290083776 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14515/statm: 534 174 144 467 0 65 0

[startup+0.0974641 s]
/proc/loadavg: 1.99 2.00 1.94 4/178 14515
/proc/meminfo: memFree=29507764/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=17284 CPUtime=0.08
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 3988 0 0 0 8 0 0 0 25 0 1 0 14726789 17698816 3907 4089446400 134512640 136422188 4290083776 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 4321 3910 193 467 0 3852 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17284

[startup+0.100462 s]
/proc/loadavg: 1.99 2.00 1.94 4/178 14515
/proc/meminfo: memFree=29507764/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=17936 CPUtime=0.09
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 4173 0 0 0 9 0 0 0 25 0 1 0 14726789 18366464 4092 4089446400 134512640 136422188 4290083776 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 4484 4094 193 467 0 4015 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17936

[startup+0.300437 s]
/proc/loadavg: 1.99 2.00 1.94 4/178 14515
/proc/meminfo: memFree=29507764/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=51460 CPUtime=0.29
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 13180 0 0 0 27 2 0 0 25 0 1 0 14726789 52695040 12464 4089446400 134512640 136422188 4290083776 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 12865 12465 193 467 0 12396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51460

[startup+0.70035 s]
/proc/loadavg: 1.99 2.00 1.94 4/178 14515
/proc/meminfo: memFree=29507764/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=106416 CPUtime=0.69
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 27194 0 0 0 64 5 0 0 25 0 1 0 14726789 108969984 25257 4089446400 134512640 136422188 4290083776 18446744073709551615 135025760 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 26604 25257 214 467 0 26135 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106416

[startup+1.5002 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 14516
/proc/meminfo: memFree=29406820/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=106680 CPUtime=1.49
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 27290 0 0 0 136 13 0 0 25 0 1 0 14726789 109240320 25353 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 26670 25353 214 467 0 26201 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106680

[startup+3.10091 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 14516
/proc/meminfo: memFree=29404960/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=109400 CPUtime=3.09
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 28055 0 0 0 276 33 0 0 25 0 1 0 14726789 112025600 25782 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 27350 25782 237 467 0 26881 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109400

[startup+6.30031 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 14516
/proc/meminfo: memFree=29404936/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=109664 CPUtime=6.29
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 28149 0 0 0 555 74 0 0 25 0 1 0 14726789 112295936 25874 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 27416 25874 237 467 0 26947 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109664

[startup+12.7001 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 14516
/proc/meminfo: memFree=29404084/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=110720 CPUtime=12.69
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 28412 0 0 0 1118 151 0 0 25 0 1 0 14726789 113377280 26135 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 27680 26135 237 467 0 27211 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110720

[startup+25.5007 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 14516
/proc/meminfo: memFree=29402916/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=112172 CPUtime=25.49
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 28759 0 0 0 2253 296 0 0 25 0 1 0 14726789 114864128 26475 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 28043 26475 237 467 0 27574 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112172

[startup+51.101 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 14517
/proc/meminfo: memFree=29401232/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=114020 CPUtime=51.09
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 29249 0 0 0 4498 611 0 0 25 0 1 0 14726789 116756480 26952 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 28505 26952 237 467 0 28036 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 114020

[startup+102.306 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 14518
/proc/meminfo: memFree=29398572/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=116264 CPUtime=102.31
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 29840 0 0 0 9019 1212 0 0 25 0 1 0 14726789 119054336 27526 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 29066 27526 237 467 0 28597 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 116264

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 14520
/proc/meminfo: memFree=29396776/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=118376 CPUtime=162.29
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 30375 0 0 0 14339 1890 0 0 25 0 1 0 14726789 121217024 28037 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 29594 28037 237 467 0 29125 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 118376

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14522
/proc/meminfo: memFree=29394480/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=120356 CPUtime=222.3
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 30915 0 0 0 19604 2626 0 0 25 0 1 0 14726789 123244544 28552 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 30089 28552 237 467 0 29620 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 120356

[startup+282.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 14523
/proc/meminfo: memFree=29393788/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=121280 CPUtime=282.3
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 31160 0 0 0 24879 3351 0 0 25 0 1 0 14726789 124190720 28769 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 30320 28769 237 467 0 29851 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 121280

[startup+342.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 14525
/proc/meminfo: memFree=29392728/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=122204 CPUtime=342.3
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 31423 0 0 0 30130 4100 0 0 25 0 1 0 14726789 125136896 29007 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 30551 29007 237 467 0 30082 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 122204

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14529
/proc/meminfo: memFree=29391408/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=123128 CPUtime=402.3
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 31685 0 0 0 35391 4839 0 0 25 0 1 0 14726789 126083072 29243 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 30782 29243 237 467 0 30313 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 123128

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14531
/proc/meminfo: memFree=29390552/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=123920 CPUtime=462.3
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 31906 0 0 0 40683 5547 0 0 25 0 1 0 14726789 126894080 29437 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 30980 29437 237 467 0 30511 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 123920

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14533
/proc/meminfo: memFree=29389612/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=124712 CPUtime=522.31
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 32111 0 0 0 45995 6236 0 0 25 0 1 0 14726789 127705088 29618 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 31178 29618 237 467 0 30709 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 124712

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14534
/proc/meminfo: memFree=29388924/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=125504 CPUtime=582.31
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 32344 0 0 0 51308 6923 0 0 25 0 1 0 14726789 128516096 29830 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 31376 29830 237 467 0 30907 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 125504

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14536
/proc/meminfo: memFree=29388360/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=125900 CPUtime=642.32
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 32476 0 0 0 56624 7608 0 0 25 0 1 0 14726789 128921600 29929 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 31475 29929 237 467 0 31006 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 125900

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 1.08 1.60 1.80 2/171 14562
/proc/meminfo: memFree=29414500/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=127088 CPUtime=822.31
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 32883 0 0 0 72590 9641 0 0 25 0 1 0 14726789 130138112 30253 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 31772 30253 237 467 0 31303 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 127088

[startup+882.3 s]
/proc/loadavg: 1.03 1.49 1.75 2/171 14563
/proc/meminfo: memFree=29413692/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=128096 CPUtime=882.32
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 33108 0 0 0 77904 10328 0 0 25 0 1 0 14726789 131170304 30451 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32024 30451 237 467 0 31555 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 128096

[startup+942.3 s]
/proc/loadavg: 1.01 1.40 1.70 2/171 14565
/proc/meminfo: memFree=29413128/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=128624 CPUtime=942.32
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 33277 0 0 0 83209 11023 0 0 25 0 1 0 14726789 131710976 30596 4089446400 134512640 136422188 4290083776 18446744073709551615 135020711 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32156 30596 237 467 0 31687 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 128624

[startup+1002.3 s]
/proc/loadavg: 1.00 1.32 1.65 2/171 14566
/proc/meminfo: memFree=29412932/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=128888 CPUtime=1002.32
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 33384 0 0 0 88530 11702 0 0 25 0 1 0 14726789 131981312 30670 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32222 30670 237 467 0 31753 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 128888

[startup+1062.3 s]
/proc/loadavg: 1.00 1.26 1.61 2/171 14568
/proc/meminfo: memFree=29412364/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=129416 CPUtime=1062.32
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 33560 0 0 0 93867 12365 0 0 25 0 1 0 14726789 132521984 30816 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32354 30816 237 467 0 31885 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 129416

[startup+1122.3 s]
/proc/loadavg: 1.00 1.21 1.57 2/171 14570
/proc/meminfo: memFree=29412172/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=129416 CPUtime=1122.33
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 33594 0 0 0 99193 13040 0 0 25 0 1 0 14726789 132521984 30819 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32354 30819 237 467 0 31885 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 129416

[startup+1182.3 s]
/proc/loadavg: 1.00 1.17 1.53 2/171 14571
/proc/meminfo: memFree=29411608/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=129680 CPUtime=1182.33
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 33702 0 0 0 104547 13686 0 0 25 0 1 0 14726789 132792320 30896 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32420 30896 237 467 0 31951 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 129680

[startup+1242.3 s]
/proc/loadavg: 1.00 1.14 1.50 2/171 14573
/proc/meminfo: memFree=29411408/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=129944 CPUtime=1242.33
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 33810 0 0 0 109899 14334 0 0 25 0 1 0 14726789 133062656 30969 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32486 30969 237 467 0 32017 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 129944

[startup+1302.3 s]
/proc/loadavg: 1.00 1.11 1.46 2/171 14574
/proc/meminfo: memFree=29410588/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=130340 CPUtime=1302.34
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 33943 0 0 0 115225 15009 0 0 25 0 1 0 14726789 133468160 31066 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32585 31066 237 467 0 32116 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 130340

[startup+1362.3 s]
/proc/loadavg: 1.00 1.09 1.43 2/171 14576
/proc/meminfo: memFree=29410144/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=130736 CPUtime=1362.34
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 34079 0 0 0 120593 15641 0 0 25 0 1 0 14726789 133873664 31176 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32684 31176 237 467 0 32215 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 130736

[startup+1422.31 s]
/proc/loadavg: 1.00 1.07 1.40 2/171 14578
/proc/meminfo: memFree=29409700/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=131000 CPUtime=1422.34
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 34153 0 0 0 125927 16307 0 0 25 0 1 0 14726789 134144000 31223 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32750 31223 237 467 0 32281 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 131000

[startup+1482.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/171 14579
/proc/meminfo: memFree=29409384/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=131396 CPUtime=1482.34
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 34287 0 0 0 131269 16965 0 0 25 0 1 0 14726789 134549504 31324 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32849 31324 237 467 0 32380 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 131396

[startup+1542.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/171 14581
/proc/meminfo: memFree=29408940/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=131528 CPUtime=1542.34
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 34375 0 0 0 136640 17594 0 0 25 0 1 0 14726789 134684672 31372 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32882 31372 237 467 0 32413 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 131528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/171 14582
/proc/meminfo: memFree=29408372/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=131924 CPUtime=1602.35
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 34513 0 0 0 141995 18240 0 0 25 0 1 0 14726789 135090176 31482 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 32981 31482 237 467 0 32512 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 131924

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/171 14584
/proc/meminfo: memFree=29408424/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=132056 CPUtime=1662.35
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 34574 0 0 0 147378 18857 0 0 25 0 1 0 14726789 135225344 31513 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 33014 31513 237 467 0 32545 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 132056

[startup+1722.3 s]
/proc/loadavg: 1.06 1.03 1.28 2/171 14586
/proc/meminfo: memFree=29407376/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=133100 CPUtime=1722.35
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 34796 0 0 0 152760 19475 0 0 25 0 1 0 14726789 136294400 31705 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 33275 31705 237 467 0 32806 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 133100

[startup+1782.3 s]
/proc/loadavg: 1.02 1.02 1.26 2/171 14587
/proc/meminfo: memFree=29407424/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=133100 CPUtime=1782.35
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 34838 0 0 0 158150 20085 0 0 25 0 1 0 14726789 136294400 31709 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 33275 31709 237 467 0 32806 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 133100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.01 1.02 1.25 2/171 14588
/proc/meminfo: memFree=29406792/32951124 swapFree=67111528/67111528
[pid=14515] ppid=14513 vsize=133364 CPUtime=1800.06
/proc/14515/stat : 14515 (pbct) R 14513 14515 13862 0 -1 4202496 34931 0 0 0 159725 20281 0 0 25 0 1 0 14726789 136564736 31789 4089446400 134512640 136422188 4290083776 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14515/statm: 33341 31789 237 467 0 32872 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 133364

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.07
CPU user time (s): 1597.25
CPU system time (s): 202.82
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 133364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1597.25
system time used= 202.82
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34932
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= 3
involuntary context switches= 2748

runsolver used 2.5926 second user time and 5.65614 second system time

The end

Begin job on node111 at 2010-07-07 03:12:06
IDJOB=2698998
IDBENCH=79321
IDSOLVER=1212
FILE ID=node111/2698998-1278465126
PBS_JOBID= 11233771
Free space on /tmp= 73820 MiB

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

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

MD5SUM BENCH= c66b0d06980494e69f908f826af367b4
RANDOM SEED=1124149655

node111.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.825
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.65
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.825
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.98
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.825
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.67
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.825
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.86
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.825
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	: 5233.30
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.825
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.82
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.825
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.75
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.825
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29508284 kB
Buffers:        112008 kB
Cached:        3105560 kB
SwapCached:          0 kB
Active:        1753524 kB
Inactive:      1550932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29508284 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2164 kB
Writeback:           0 kB
AnonPages:       86956 kB
Mapped:          15620 kB
Slab:            75608 kB
PageTables:       4484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   229460 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73820 MiB
End job on node111 at 2010-07-07 03:42:08