0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 4740 34241
3.89/3.96	s UNSATISFIABLE
3.89/3.98	c [picomus] extracted core 1 of size 8251 out of 34241 (24%) after 4.0 sec
6.79/6.83	c [picomus] extracted core 2 of size 7114 out of 34241 (21%) after 6.8 sec
9.80/9.80	c [picomus] extracted core 3 of size 6544 out of 34241 (19%) after 9.8 sec
12.29/12.37	c [picomus] extracted core 4 of size 6023 out of 34241 (18%) after 12.4 sec
15.19/15.22	c [picomus] extracted core 5 of size 5584 out of 34241 (16%) after 15.2 sec
17.49/17.59	c [picomus] extracted core 6 of size 5489 out of 34241 (16%) after 17.6 sec
20.09/20.16	c [picomus] extracted core 7 of size 5384 out of 34241 (16%) after 20.2 sec
22.60/22.60	c [picomus] extracted core 8 of size 5278 out of 34241 (15%) after 22.6 sec
25.69/25.72	c [picomus] extracted core 9 of size 5236 out of 34241 (15%) after 25.7 sec
28.29/28.38	c [picomus] extracted core 10 of size 5207 out of 34241 (15%) after 28.4 sec
30.99/31.07	c [picomus] extracted core 11 of size 5177 out of 34241 (15%) after 31.1 sec
33.60/33.70	c [picomus] extracted core 12 of size 5045 out of 34241 (15%) after 33.7 sec
36.49/36.53	c [picomus] extracted core 13 of size 5030 out of 34241 (15%) after 36.5 sec
39.19/39.27	c [picomus] extracted core 14 of size 4994 out of 34241 (15%) after 39.3 sec
41.69/41.75	c [picomus] extracted core 15 of size 4898 out of 34241 (14%) after 41.8 sec
44.00/44.01	c [picomus] extracted core 16 of size 4848 out of 34241 (14%) after 44.0 sec
48.09/48.14	c [picomus] extracted core 17 of size 4839 out of 34241 (14%) after 48.1 sec
50.99/51.05	c [picomus] extracted core 18 of size 4825 out of 34241 (14%) after 51.1 sec
54.49/54.51	c [picomus] extracted core 19 of size 4819 out of 34241 (14%) after 54.5 sec
57.39/57.46	c [picomus] extracted core 20 of size 4810 out of 34241 (14%) after 57.5 sec
59.89/59.96	c [picomus] extracted core 21 of size 4802 out of 34241 (14%) after 60.0 sec
85.40/85.40	c [picomus] reduction 1 to 4745 out of 34241 (14%) after 85.4 sec
97.00/97.05	c [picomus] reduction 2 to 4667 out of 34241 (14%) after 97.1 sec
103.80/103.82	c [picomus] reduction 3 to 4521 out of 34241 (13%) after 103.8 sec
106.10/106.17	c [picomus] reduction 4 to 4437 out of 34241 (13%) after 106.2 sec
111.30/111.38	c [picomus] reduction 5 to 4394 out of 34241 (13%) after 111.4 sec
114.60/114.63	c [picomus] reduction 6 to 4298 out of 34241 (13%) after 114.6 sec
117.10/117.11	c [picomus] reduction 7 to 4263 out of 34241 (12%) after 117.1 sec
119.80/119.86	c [picomus] reduction 8 to 4204 out of 34241 (12%) after 119.9 sec
121.50/121.57	c [picomus] reduction 9 to 4102 out of 34241 (12%) after 121.6 sec
122.00/122.09	c [picomus] reduction 10 to 4090 out of 34241 (12%) after 122.1 sec
122.60/122.61	c [picomus] reduction 11 to 4089 out of 34241 (12%) after 122.6 sec
124.00/124.00	c [picomus] reduction 12 to 4065 out of 34241 (12%) after 124.0 sec
124.70/124.73	c [picomus] reduction 13 to 4057 out of 34241 (12%) after 124.7 sec
125.60/125.60	c [picomus] reduction 14 to 4053 out of 34241 (12%) after 125.6 sec
126.70/126.72	c [picomus] reduction 15 to 4045 out of 34241 (12%) after 126.7 sec
127.40/127.42	c [picomus] reduction 16 to 4039 out of 34241 (12%) after 127.4 sec
128.00/128.09	c [picomus] reduction 17 to 4029 out of 34241 (12%) after 128.1 sec
128.40/128.41	c [picomus] reduction 18 to 4027 out of 34241 (12%) after 128.4 sec
129.80/129.87	c [picomus] reduction 19 to 3995 out of 34241 (12%) after 129.9 sec
130.60/130.61	c [picomus] reduction 20 to 3985 out of 34241 (12%) after 130.6 sec
131.10/131.11	c [picomus] reduction 21 to 3976 out of 34241 (12%) after 131.1 sec
131.30/131.36	c [picomus] reduction 22 to 3974 out of 34241 (12%) after 131.4 sec
133.00/133.00	c [picomus] reduction 23 to 3962 out of 34241 (12%) after 133.0 sec
133.40/133.41	c [picomus] reduction 24 to 3960 out of 34241 (12%) after 133.4 sec
134.50/134.57	c [picomus] reduction 25 to 3951 out of 34241 (12%) after 134.6 sec
135.00/135.07	c [picomus] reduction 26 to 3949 out of 34241 (12%) after 135.1 sec
135.60/135.68	c [picomus] reduction 27 to 3941 out of 34241 (12%) after 135.7 sec
135.80/135.85	c [picomus] reduction 28 to 3940 out of 34241 (12%) after 135.9 sec
136.10/136.16	c [picomus] reduction 29 to 3939 out of 34241 (12%) after 136.2 sec
136.50/136.53	c [picomus] reduction 30 to 3935 out of 34241 (11%) after 136.5 sec
137.20/137.20	c [picomus] reduction 31 to 3934 out of 34241 (11%) after 137.2 sec
138.80/138.81	c [picomus] reduction 32 to 3929 out of 34241 (11%) after 138.8 sec
141.00/141.04	c [picomus] reduction 33 to 3896 out of 34241 (11%) after 141.0 sec
142.90/142.98	c [picomus] reduction 34 to 3879 out of 34241 (11%) after 143.0 sec
145.80/145.81	c [picomus] reduction 35 to 3868 out of 34241 (11%) after 145.8 sec
149.50/149.53	c [picomus] reduction 36 to 3842 out of 34241 (11%) after 149.5 sec
152.60/152.66	c [picomus] reduction 37 to 3826 out of 34241 (11%) after 152.7 sec
154.90/154.90	c [picomus] reduction 38 to 3818 out of 34241 (11%) after 154.9 sec
156.00/156.07	c [picomus] reduction 39 to 3806 out of 34241 (11%) after 156.1 sec
156.50/156.52	c [picomus] reduction 40 to 3805 out of 34241 (11%) after 156.5 sec
158.00/158.03	c [picomus] reduction 41 to 3800 out of 34241 (11%) after 158.0 sec
159.20/159.21	c [picomus] reduction 42 to 3799 out of 34241 (11%) after 159.2 sec
160.10/160.11	c [picomus] reduction 43 to 3796 out of 34241 (11%) after 160.1 sec
160.30/160.30	c [picomus] reduction 44 to 3795 out of 34241 (11%) after 160.3 sec
162.80/162.82	c [picomus] reduction 45 to 3783 out of 34241 (11%) after 162.8 sec
164.70/164.77	c [picomus] reduction 46 to 3781 out of 34241 (11%) after 164.8 sec
165.40/165.45	c [picomus] reduction 47 to 3780 out of 34241 (11%) after 165.5 sec
166.70/166.74	c [picomus] reduction 48 to 3775 out of 34241 (11%) after 166.7 sec
168.70/168.71	c [picomus] reduction 49 to 3772 out of 34241 (11%) after 168.7 sec
169.60/169.63	c [picomus] reduction 50 to 3769 out of 34241 (11%) after 169.6 sec
170.40/170.41	c [picomus] reduction 51 to 3765 out of 34241 (11%) after 170.4 sec
171.00/171.07	c [picomus] reduction 52 to 3764 out of 34241 (11%) after 171.1 sec
171.50/171.56	c [picomus] reduction 53 to 3763 out of 34241 (11%) after 171.6 sec
172.10/172.11	c [picomus] reduction 54 to 3761 out of 34241 (11%) after 172.1 sec
174.70/174.77	c [picomus] reduction 55 to 3757 out of 34241 (11%) after 174.8 sec
175.40/175.49	c [picomus] reduction 56 to 3756 out of 34241 (11%) after 175.5 sec
176.00/176.01	c [picomus] reduction 57 to 3753 out of 34241 (11%) after 176.0 sec
176.50/176.53	c [picomus] reduction 58 to 3749 out of 34241 (11%) after 176.5 sec
176.90/176.98	c [picomus] reduction 59 to 3748 out of 34241 (11%) after 177.0 sec
177.10/177.15	c [picomus] reduction 60 to 3747 out of 34241 (11%) after 177.2 sec
177.30/177.33	c [picomus] reduction 61 to 3746 out of 34241 (11%) after 177.3 sec
177.40/177.48	c [picomus] reduction 62 to 3745 out of 34241 (11%) after 177.5 sec
177.50/177.54	c [picomus] reduction 63 to 3743 out of 34241 (11%) after 177.5 sec
177.60/177.63	c [picomus] reduction 64 to 3742 out of 34241 (11%) after 177.6 sec
188.00/188.02	c [picomus] reduction 65 to 3724 out of 34241 (11%) after 188.0 sec
189.29/189.31	c [picomus] reduction 66 to 3722 out of 34241 (11%) after 189.3 sec
191.69/191.74	c [picomus] reduction 67 to 3721 out of 34241 (11%) after 191.8 sec
193.09/193.16	c [picomus] reduction 68 to 3719 out of 34241 (11%) after 193.2 sec
194.19/194.28	c [picomus] reduction 69 to 3697 out of 34241 (11%) after 194.3 sec
194.80/194.83	c [picomus] reduction 70 to 3692 out of 34241 (11%) after 194.8 sec
195.50/195.59	c [picomus] reduction 71 to 3687 out of 34241 (11%) after 195.6 sec
196.00/196.09	c [picomus] reduction 72 to 3686 out of 34241 (11%) after 196.1 sec
196.30/196.31	c [picomus] reduction 73 to 3685 out of 34241 (11%) after 196.3 sec
196.70/196.74	c [picomus] reduction 74 to 3681 out of 34241 (11%) after 196.8 sec
197.40/197.40	c [picomus] reduction 75 to 3680 out of 34241 (11%) after 197.4 sec
197.40/197.48	c [picomus] reduction 76 to 3679 out of 34241 (11%) after 197.5 sec
200.80/200.87	c [picomus] reduction 77 to 3676 out of 34241 (11%) after 200.9 sec
201.60/201.67	c [picomus] reduction 78 to 3674 out of 34241 (11%) after 201.7 sec
201.60/201.69	c [picomus] reduction 79 to 3673 out of 34241 (11%) after 201.7 sec
205.29/205.34	c [picomus] reduction 80 to 3670 out of 34241 (11%) after 205.4 sec
215.60/215.61	c [picomus] reduction 81 to 3662 out of 34241 (11%) after 215.6 sec
218.80/218.80	c [picomus] reduction 82 to 3656 out of 34241 (11%) after 218.8 sec
223.20/223.21	c [picomus] reduction 83 to 3650 out of 34241 (11%) after 223.2 sec
232.10/232.14	c [picomus] reduction 84 to 3643 out of 34241 (11%) after 232.2 sec
234.70/234.74	c [picomus] reduction 85 to 3628 out of 34241 (11%) after 234.8 sec
236.20/236.23	c [picomus] reduction 86 to 3620 out of 34241 (11%) after 236.2 sec
238.60/238.62	c [picomus] reduction 87 to 3584 out of 34241 (10%) after 238.6 sec
239.20/239.26	c [picomus] reduction 88 to 3579 out of 34241 (10%) after 239.3 sec
240.50/240.57	c [picomus] reduction 89 to 3577 out of 34241 (10%) after 240.6 sec
268.10/268.13	c [picomus] reduction 90 to 3569 out of 34241 (10%) after 268.1 sec
281.70/281.70	c [picomus] reduction 91 to 3556 out of 34241 (10%) after 281.7 sec
284.70/284.77	c [picomus] reduction 92 to 3548 out of 34241 (10%) after 284.8 sec
286.90/286.94	c [picomus] reduction 93 to 3545 out of 34241 (10%) after 287.0 sec
289.40/289.47	c [picomus] reduction 94 to 3535 out of 34241 (10%) after 289.5 sec
291.70/291.70	c [picomus] reduction 95 to 3534 out of 34241 (10%) after 291.7 sec
293.50/293.59	c [picomus] reduction 96 to 3530 out of 34241 (10%) after 293.6 sec
294.70/294.73	c [picomus] reduction 97 to 3525 out of 34241 (10%) after 294.7 sec
300.50/300.59	c [picomus] reduction 98 to 3522 out of 34241 (10%) after 300.6 sec
302.10/302.12	c [picomus] reduction 99 to 3518 out of 34241 (10%) after 302.1 sec
302.70/302.78	c [picomus] reduction 100 to 3510 out of 34241 (10%) after 302.8 sec
304.90/304.99	c [picomus] reduction 101 to 3509 out of 34241 (10%) after 305.0 sec
305.30/305.34	c [picomus] reduction 102 to 3507 out of 34241 (10%) after 305.3 sec
305.80/305.86	c [picomus] reduction 103 to 3506 out of 34241 (10%) after 305.9 sec
308.30/308.31	c [picomus] reduction 104 to 3504 out of 34241 (10%) after 308.3 sec
309.90/309.99	c [picomus] reduction 105 to 3503 out of 34241 (10%) after 310.0 sec
310.70/310.75	c [picomus] reduction 106 to 3501 out of 34241 (10%) after 310.8 sec
313.10/313.17	c [picomus] reduction 107 to 3500 out of 34241 (10%) after 313.2 sec
313.90/313.90	c [picomus] reduction 108 to 3485 out of 34241 (10%) after 313.9 sec
314.00/314.07	c [picomus] reduction 109 to 3483 out of 34241 (10%) after 314.1 sec
314.10/314.15	c [picomus] reduction 110 to 3482 out of 34241 (10%) after 314.2 sec
314.70/314.75	c [picomus] reduction 111 to 3479 out of 34241 (10%) after 314.8 sec
315.00/315.10	c [picomus] reduction 112 to 3477 out of 34241 (10%) after 315.1 sec
315.10/315.16	c [picomus] reduction 113 to 3475 out of 34241 (10%) after 315.2 sec
315.20/315.22	c [picomus] reduction 114 to 3474 out of 34241 (10%) after 315.2 sec
315.20/315.28	c [picomus] reduction 115 to 3472 out of 34241 (10%) after 315.3 sec
315.40/315.43	c [picomus] reduction 116 to 3470 out of 34241 (10%) after 315.4 sec
315.40/315.48	c [picomus] reduction 117 to 3469 out of 34241 (10%) after 315.5 sec
315.50/315.58	c [picomus] reduction 118 to 3468 out of 34241 (10%) after 315.6 sec
315.80/315.80	c [picomus] reduction 119 to 3467 out of 34241 (10%) after 315.8 sec
315.80/315.83	c [picomus] reduction 120 to 3466 out of 34241 (10%) after 315.8 sec
316.10/316.13	c [picomus] reduction 121 to 3464 out of 34241 (10%) after 316.1 sec
316.90/316.98	c [picomus] reduction 122 to 3463 out of 34241 (10%) after 317.0 sec
318.10/318.16	c [picomus] reduction 123 to 3461 out of 34241 (10%) after 318.2 sec
318.40/318.42	c [picomus] reduction 124 to 3460 out of 34241 (10%) after 318.4 sec
318.70/318.73	c [picomus] reduction 125 to 3459 out of 34241 (10%) after 318.7 sec
319.10/319.14	c [picomus] reduction 126 to 3457 out of 34241 (10%) after 319.2 sec
321.80/321.86	c [picomus] reduction 127 to 3455 out of 34241 (10%) after 321.9 sec
321.90/321.99	c [picomus] reduction 128 to 3454 out of 34241 (10%) after 322.0 sec
322.21/322.23	c [picomus] reduction 129 to 3452 out of 34241 (10%) after 322.2 sec
322.21/322.27	c [picomus] reduction 130 to 3451 out of 34241 (10%) after 322.3 sec
322.31/322.32	c [picomus] reduction 131 to 3450 out of 34241 (10%) after 322.3 sec
322.90/322.90	c [picomus] reduction 132 to 3449 out of 34241 (10%) after 322.9 sec
323.20/323.23	c [picomus] reduction 133 to 3447 out of 34241 (10%) after 323.2 sec
323.60/323.60	c [picomus] reduction 134 to 3445 out of 34241 (10%) after 323.6 sec
324.80/324.89	c [picomus] reduction 135 to 3441 out of 34241 (10%) after 324.9 sec
326.30/326.31	c [picomus] reduction 136 to 3440 out of 34241 (10%) after 326.3 sec
327.10/327.19	c [picomus] reduction 137 to 3436 out of 34241 (10%) after 327.2 sec
327.90/327.97	c [picomus] reduction 138 to 3431 out of 34241 (10%) after 328.0 sec
328.60/328.68	c [picomus] reduction 139 to 3429 out of 34241 (10%) after 328.7 sec
328.91/328.96	c [picomus] reduction 140 to 3426 out of 34241 (10%) after 329.0 sec
329.10/329.18	c [picomus] reduction 141 to 3425 out of 34241 (10%) after 329.2 sec
329.50/329.59	c [picomus] reduction 142 to 3424 out of 34241 (10%) after 329.6 sec
329.70/329.78	c [picomus] reduction 143 to 3423 out of 34241 (10%) after 329.8 sec
330.30/330.31	c [picomus] reduction 144 to 3420 out of 34241 (10%) after 330.3 sec
330.40/330.43	c [picomus] reduction 145 to 3419 out of 34241 (10%) after 330.4 sec
330.50/330.58	c [picomus] reduction 146 to 3418 out of 34241 (10%) after 330.6 sec
331.70/331.72	c [picomus] reduction 147 to 3417 out of 34241 (10%) after 331.7 sec
332.50/332.55	c [picomus] reduction 148 to 3415 out of 34241 (10%) after 332.6 sec
333.40/333.41	c [picomus] reduction 149 to 3410 out of 34241 (10%) after 333.4 sec
333.90/333.94	c [picomus] reduction 150 to 3409 out of 34241 (10%) after 334.0 sec
334.30/334.37	c [picomus] reduction 151 to 3408 out of 34241 (10%) after 334.4 sec
334.90/334.95	c [picomus] reduction 152 to 3407 out of 34241 (10%) after 335.0 sec
335.10/335.19	c [picomus] reduction 153 to 3406 out of 34241 (10%) after 335.2 sec
335.30/335.34	c [picomus] reduction 154 to 3405 out of 34241 (10%) after 335.4 sec
335.41/335.47	c [picomus] reduction 155 to 3403 out of 34241 (10%) after 335.5 sec
335.70/335.77	c [picomus] reduction 156 to 3402 out of 34241 (10%) after 335.8 sec
336.00/336.06	c [picomus] reduction 157 to 3401 out of 34241 (10%) after 336.1 sec
336.10/336.17	c [picomus] reduction 158 to 3400 out of 34241 (10%) after 336.2 sec
336.20/336.24	c [picomus] reduction 159 to 3399 out of 34241 (10%) after 336.2 sec
336.20/336.29	c [picomus] reduction 160 to 3398 out of 34241 (10%) after 336.3 sec
336.30/336.32	c [picomus] reduction 161 to 3397 out of 34241 (10%) after 336.3 sec
336.30/336.36	c [picomus] reduction 162 to 3395 out of 34241 (10%) after 336.4 sec
336.30/336.39	c [picomus] reduction 163 to 3394 out of 34241 (10%) after 336.4 sec
336.40/336.44	c [picomus] reduction 164 to 3393 out of 34241 (10%) after 336.5 sec
336.50/336.51	c [picomus] reduction 165 to 3390 out of 34241 (10%) after 336.5 sec
336.50/336.55	c [picomus] reduction 166 to 3388 out of 34241 (10%) after 336.6 sec
336.60/336.65	c [picomus] reduction 167 to 3387 out of 34241 (10%) after 336.7 sec
336.60/336.69	c [picomus] reduction 168 to 3386 out of 34241 (10%) after 336.7 sec
336.70/336.74	c [picomus] reduction 169 to 3385 out of 34241 (10%) after 336.8 sec
336.80/336.80	c [picomus] reduction 170 to 3384 out of 34241 (10%) after 336.8 sec
337.00/337.05	c [picomus] reduction 171 to 3383 out of 34241 (10%) after 337.1 sec
337.10/337.13	c [picomus] reduction 172 to 3382 out of 34241 (10%) after 337.1 sec
337.30/337.32	c [picomus] reduction 173 to 3381 out of 34241 (10%) after 337.3 sec
338.60/338.64	c [picomus] reduction 174 to 3380 out of 34241 (10%) after 338.7 sec
338.90/338.90	c [picomus] reduction 175 to 3377 out of 34241 (10%) after 338.9 sec
339.00/339.07	c [picomus] reduction 176 to 3376 out of 34241 (10%) after 339.1 sec
342.40/342.43	c [picomus] reduction 177 to 3374 out of 34241 (10%) after 342.4 sec
343.00/343.07	c [picomus] reduction 178 to 3371 out of 34241 (10%) after 343.1 sec
343.30/343.39	c [picomus] reduction 179 to 3370 out of 34241 (10%) after 343.4 sec
347.50/347.50	c [picomus] reduction 180 to 3368 out of 34241 (10%) after 347.5 sec
350.20/350.29	c [picomus] reduction 181 to 3350 out of 34241 (10%) after 350.3 sec
351.60/351.68	c [picomus] reduction 182 to 3349 out of 34241 (10%) after 351.7 sec
353.80/353.87	c [picomus] reduction 183 to 3339 out of 34241 (10%) after 353.9 sec
354.40/354.45	c [picomus] reduction 184 to 3338 out of 34241 (10%) after 354.5 sec
356.00/356.06	c [picomus] reduction 185 to 3332 out of 34241 (10%) after 356.1 sec
357.90/357.95	c [picomus] reduction 186 to 3324 out of 34241 (10%) after 358.0 sec
359.70/359.78	c [picomus] reduction 187 to 3322 out of 34241 (10%) after 359.8 sec
361.00/361.00	c [picomus] reduction 188 to 3320 out of 34241 (10%) after 361.0 sec
361.30/361.30	c [picomus] reduction 189 to 3319 out of 34241 (10%) after 361.3 sec
361.60/361.64	c [picomus] reduction 190 to 3317 out of 34241 (10%) after 361.7 sec
362.30/362.36	c [picomus] reduction 191 to 3316 out of 34241 (10%) after 362.4 sec
363.10/363.14	c [picomus] reduction 192 to 3314 out of 34241 (10%) after 363.2 sec
363.70/363.79	c [picomus] reduction 193 to 3313 out of 34241 (10%) after 363.8 sec
364.30/364.32	c [picomus] reduction 194 to 3312 out of 34241 (10%) after 364.3 sec
365.60/365.67	c [picomus] reduction 195 to 3311 out of 34241 (10%) after 365.7 sec
366.61/366.69	c [picomus] reduction 196 to 3310 out of 34241 (10%) after 366.7 sec
368.41/368.43	c [picomus] reduction 197 to 3309 out of 34241 (10%) after 368.4 sec
369.20/369.27	c [picomus] reduction 198 to 3293 out of 34241 (10%) after 369.3 sec
369.61/369.63	c [picomus] reduction 199 to 3291 out of 34241 (10%) after 369.6 sec
370.01/370.02	c [picomus] reduction 200 to 3289 out of 34241 (10%) after 370.0 sec
370.21/370.26	c [picomus] reduction 201 to 3287 out of 34241 (10%) after 370.3 sec
370.91/370.96	c [picomus] reduction 202 to 3285 out of 34241 (10%) after 371.0 sec
371.71/371.78	c [picomus] reduction 203 to 3284 out of 34241 (10%) after 371.8 sec
373.01/373.07	c [picomus] reduction 204 to 3278 out of 34241 (10%) after 373.1 sec
374.31/374.36	c [picomus] reduction 205 to 3276 out of 34241 (10%) after 374.4 sec
375.41/375.47	c [picomus] reduction 206 to 3274 out of 34241 (10%) after 375.5 sec
376.61/376.61	c [picomus] reduction 207 to 3273 out of 34241 (10%) after 376.6 sec
377.71/377.71	c [picomus] reduction 208 to 3272 out of 34241 (10%) after 377.7 sec
378.10/378.10	c [picomus] reduction 209 to 3270 out of 34241 (10%) after 378.1 sec
378.70/378.75	c [picomus] reduction 210 to 3267 out of 34241 (10%) after 378.8 sec
379.30/379.31	c [picomus] reduction 211 to 3237 out of 34241 (9%) after 379.3 sec
381.21/381.26	c [picomus] reduction 212 to 3236 out of 34241 (9%) after 381.3 sec
381.41/381.41	c [picomus] reduction 213 to 3235 out of 34241 (9%) after 381.4 sec
381.51/381.54	c [picomus] reduction 214 to 3234 out of 34241 (9%) after 381.6 sec
381.61/381.61	c [picomus] reduction 215 to 3233 out of 34241 (9%) after 381.6 sec
381.90/381.90	c [picomus] reduction 216 to 3231 out of 34241 (9%) after 381.9 sec
382.50/382.54	c [picomus] reduction 217 to 3230 out of 34241 (9%) after 382.6 sec
382.60/382.66	c [picomus] reduction 218 to 3229 out of 34241 (9%) after 382.7 sec
382.71/382.75	c [picomus] reduction 219 to 3228 out of 34241 (9%) after 382.8 sec
382.90/382.92	c [picomus] reduction 220 to 3227 out of 34241 (9%) after 382.9 sec
383.30/383.39	c [picomus] reduction 221 to 3226 out of 34241 (9%) after 383.4 sec
383.70/383.78	c [picomus] reduction 222 to 3224 out of 34241 (9%) after 383.8 sec
383.91/383.94	c [picomus] reduction 223 to 3222 out of 34241 (9%) after 384.0 sec
384.10/384.19	c [picomus] reduction 224 to 3219 out of 34241 (9%) after 384.2 sec
384.60/384.61	c [picomus] reduction 225 to 3217 out of 34241 (9%) after 384.6 sec
385.81/385.88	c [picomus] reduction 226 to 3215 out of 34241 (9%) after 385.9 sec
386.31/386.32	c [picomus] reduction 227 to 3213 out of 34241 (9%) after 386.3 sec
386.61/386.61	c [picomus] reduction 228 to 3211 out of 34241 (9%) after 386.6 sec
386.91/386.90	c [picomus] reduction 229 to 3209 out of 34241 (9%) after 386.9 sec
387.01/387.05	c [picomus] reduction 230 to 3207 out of 34241 (9%) after 387.1 sec
387.21/387.24	c [picomus] reduction 231 to 3205 out of 34241 (9%) after 387.3 sec
387.21/387.29	c [picomus] reduction 232 to 3203 out of 34241 (9%) after 387.3 sec
387.51/387.50	c [picomus] reduction 233 to 3201 out of 34241 (9%) after 387.5 sec
388.01/388.03	c [picomus] reduction 234 to 3200 out of 34241 (9%) after 388.1 sec
389.31/389.32	c [picomus] reduction 235 to 3199 out of 34241 (9%) after 389.3 sec
391.81/391.83	c [picomus] reduction 236 to 3198 out of 34241 (9%) after 391.8 sec
392.11/392.14	c [picomus] reduction 237 to 3197 out of 34241 (9%) after 392.2 sec
392.91/392.90	c [picomus] reduction 238 to 3195 out of 34241 (9%) after 392.9 sec
393.71/393.78	c [picomus] reduction 239 to 3192 out of 34241 (9%) after 393.8 sec
394.11/394.15	c [picomus] reduction 240 to 3190 out of 34241 (9%) after 394.2 sec
394.81/394.80	c [picomus] reduction 241 to 3188 out of 34241 (9%) after 394.8 sec
396.61/396.65	c [picomus] reduction 242 to 3186 out of 34241 (9%) after 396.7 sec
397.11/397.16	c [picomus] reduction 243 to 3185 out of 34241 (9%) after 397.2 sec
397.61/397.66	c [picomus] reduction 244 to 3184 out of 34241 (9%) after 397.7 sec
400.01/400.02	c [picomus] reduction 245 to 3181 out of 34241 (9%) after 400.0 sec
400.81/400.84	c [picomus] reduction 246 to 3179 out of 34241 (9%) after 400.9 sec
401.31/401.35	c [picomus] reduction 247 to 3177 out of 34241 (9%) after 401.4 sec
401.60/401.63	c [picomus] reduction 248 to 3174 out of 34241 (9%) after 401.6 sec
401.60/401.65	c [picomus] reduction 249 to 3172 out of 34241 (9%) after 401.7 sec
401.90/401.90	c [picomus] reduction 250 to 3170 out of 34241 (9%) after 401.9 sec
401.90/401.92	c [picomus] reduction 251 to 3168 out of 34241 (9%) after 401.9 sec
402.00/402.06	c [picomus] reduction 252 to 3166 out of 34241 (9%) after 402.1 sec
402.10/402.12	c [picomus] reduction 253 to 3164 out of 34241 (9%) after 402.1 sec
402.20/402.29	c [picomus] reduction 254 to 3162 out of 34241 (9%) after 402.3 sec
402.61/402.65	c [picomus] reduction 255 to 3160 out of 34241 (9%) after 402.7 sec
402.70/402.70	c [picomus] reduction 256 to 3158 out of 34241 (9%) after 402.7 sec
402.70/402.78	c [picomus] reduction 257 to 3156 out of 34241 (9%) after 402.8 sec
403.00/403.06	c [picomus] reduction 258 to 3153 out of 34241 (9%) after 403.1 sec
403.40/403.40	c [picomus] reduction 259 to 3152 out of 34241 (9%) after 403.4 sec
404.30/404.37	c [picomus] reduction 260 to 3151 out of 34241 (9%) after 404.4 sec
406.40/406.41	c [picomus] reduction 261 to 3150 out of 34241 (9%) after 406.4 sec
407.01/407.00	c [picomus] reduction 262 to 3149 out of 34241 (9%) after 407.0 sec
407.50/407.56	c [picomus] reduction 263 to 3148 out of 34241 (9%) after 407.6 sec
407.81/407.83	c [picomus] reduction 264 to 3147 out of 34241 (9%) after 407.8 sec
407.91/407.95	c [picomus] reduction 265 to 3146 out of 34241 (9%) after 408.0 sec
408.01/408.03	c [picomus] reduction 266 to 3145 out of 34241 (9%) after 408.0 sec
408.70/408.78	c [picomus] reduction 267 to 3143 out of 34241 (9%) after 408.8 sec
409.40/409.40	c [picomus] reduction 268 to 3141 out of 34241 (9%) after 409.4 sec
411.41/411.42	c [picomus] reduction 269 to 3140 out of 34241 (9%) after 411.4 sec
412.70/412.70	c [picomus] reduction 270 to 3137 out of 34241 (9%) after 412.7 sec
413.61/413.66	c [picomus] reduction 271 to 3136 out of 34241 (9%) after 413.7 sec
415.30/415.30	c [picomus] reduction 272 to 3133 out of 34241 (9%) after 415.3 sec
415.60/415.69	c [picomus] reduction 273 to 3131 out of 34241 (9%) after 415.7 sec
416.20/416.22	c [picomus] reduction 274 to 3128 out of 34241 (9%) after 416.2 sec
416.40/416.49	c [picomus] reduction 275 to 3126 out of 34241 (9%) after 416.5 sec
416.70/416.78	c [picomus] reduction 276 to 3124 out of 34241 (9%) after 416.8 sec
416.91/416.90	c [picomus] reduction 277 to 3122 out of 34241 (9%) after 416.9 sec
417.40/417.48	c [picomus] reduction 278 to 3120 out of 34241 (9%) after 417.5 sec
417.91/417.96	c [picomus] reduction 279 to 3118 out of 34241 (9%) after 418.0 sec
418.40/418.40	c [picomus] reduction 280 to 3116 out of 34241 (9%) after 418.4 sec
418.50/418.52	c [picomus] reduction 281 to 3114 out of 34241 (9%) after 418.5 sec
418.91/418.96	c [picomus] reduction 282 to 3112 out of 34241 (9%) after 419.0 sec
419.71/419.78	c [picomus] reduction 283 to 3109 out of 34241 (9%) after 419.8 sec
420.21/420.28	c [picomus] reduction 284 to 3106 out of 34241 (9%) after 420.3 sec
420.41/420.45	c [picomus] reduction 285 to 3104 out of 34241 (9%) after 420.5 sec
420.51/420.57	c [picomus] reduction 286 to 3102 out of 34241 (9%) after 420.6 sec
421.80/421.81	c [picomus] reduction 287 to 3100 out of 34241 (9%) after 421.8 sec
422.20/422.23	c [picomus] reduction 288 to 3099 out of 34241 (9%) after 422.2 sec
422.70/422.75	c [picomus] reduction 289 to 3098 out of 34241 (9%) after 422.8 sec
423.10/423.14	c [picomus] reduction 290 to 3097 out of 34241 (9%) after 423.2 sec
423.51/423.59	c [picomus] reduction 291 to 3096 out of 34241 (9%) after 423.6 sec
424.01/424.08	c [picomus] reduction 292 to 3094 out of 34241 (9%) after 424.1 sec
424.41/424.40	c [picomus] reduction 293 to 3093 out of 34241 (9%) after 424.4 sec
424.71/424.74	c [picomus] reduction 294 to 3092 out of 34241 (9%) after 424.8 sec
424.91/424.98	c [picomus] reduction 295 to 3091 out of 34241 (9%) after 425.0 sec
425.11/425.17	c [picomus] reduction 296 to 3090 out of 34241 (9%) after 425.2 sec
425.31/425.37	c [picomus] reduction 297 to 3089 out of 34241 (9%) after 425.4 sec
425.61/425.61	c [picomus] reduction 298 to 3088 out of 34241 (9%) after 425.6 sec
425.80/425.80	c [picomus] reduction 299 to 3087 out of 34241 (9%) after 425.8 sec
429.20/429.20	c [picomus] reduction 300 to 3086 out of 34241 (9%) after 429.2 sec
429.70/429.73	c [picomus] reduction 301 to 3085 out of 34241 (9%) after 429.7 sec
430.20/430.27	c [picomus] reduction 302 to 3084 out of 34241 (9%) after 430.3 sec
430.70/430.76	c [picomus] reduction 303 to 3083 out of 34241 (9%) after 430.8 sec
431.11/431.13	c [picomus] reduction 304 to 3082 out of 34241 (9%) after 431.1 sec
432.31/432.31	c [picomus] reduction 305 to 3079 out of 34241 (9%) after 432.3 sec
432.80/432.82	c [picomus] reduction 306 to 3077 out of 34241 (9%) after 432.8 sec
433.70/433.76	c [picomus] reduction 307 to 3075 out of 34241 (9%) after 433.8 sec
434.41/434.45	c [picomus] reduction 308 to 3072 out of 34241 (9%) after 434.5 sec
435.20/435.25	c [picomus] reduction 309 to 3069 out of 34241 (9%) after 435.3 sec
435.90/435.92	c [picomus] reduction 310 to 3067 out of 34241 (9%) after 435.9 sec
436.61/436.63	c [picomus] reduction 311 to 3066 out of 34241 (9%) after 436.6 sec
439.50/439.58	c [picomus] reduction 312 to 3065 out of 34241 (9%) after 439.6 sec
439.80/439.83	c [picomus] reduction 313 to 3064 out of 34241 (9%) after 439.8 sec
440.81/440.85	c [picomus] reduction 314 to 3062 out of 34241 (9%) after 440.9 sec
441.11/441.17	c [picomus] reduction 315 to 3060 out of 34241 (9%) after 441.2 sec
441.30/441.37	c [picomus] reduction 316 to 3058 out of 34241 (9%) after 441.4 sec
441.50/441.51	c [picomus] reduction 317 to 3056 out of 34241 (9%) after 441.5 sec
441.60/441.63	c [picomus] reduction 318 to 3054 out of 34241 (9%) after 441.6 sec
441.80/441.80	c [picomus] reduction 319 to 3052 out of 34241 (9%) after 441.8 sec
441.90/441.95	c [picomus] reduction 320 to 3050 out of 34241 (9%) after 442.0 sec
442.40/442.48	c [picomus] reduction 321 to 3048 out of 34241 (9%) after 442.5 sec
443.31/443.31	c [picomus] reduction 322 to 3047 out of 34241 (9%) after 443.3 sec
443.90/443.96	c [picomus] reduction 323 to 3045 out of 34241 (9%) after 444.0 sec
444.31/444.35	c [picomus] reduction 324 to 3044 out of 34241 (9%) after 444.4 sec
445.30/445.31	c [picomus] reduction 325 to 3042 out of 34241 (9%) after 445.3 sec
445.70/445.75	c [picomus] reduction 326 to 3041 out of 34241 (9%) after 445.8 sec
446.51/446.57	c [picomus] reduction 327 to 3040 out of 34241 (9%) after 446.6 sec
446.81/446.82	c [picomus] reduction 328 to 3039 out of 34241 (9%) after 446.8 sec
447.11/447.19	c [picomus] reduction 329 to 3038 out of 34241 (9%) after 447.2 sec
447.41/447.49	c [picomus] reduction 330 to 3037 out of 34241 (9%) after 447.5 sec
447.90/447.92	c [picomus] reduction 331 to 3036 out of 34241 (9%) after 447.9 sec
448.40/448.43	c [picomus] reduction 332 to 3035 out of 34241 (9%) after 448.4 sec
448.71/448.73	c [picomus] reduction 333 to 3034 out of 34241 (9%) after 448.7 sec
449.00/449.04	c [picomus] reduction 334 to 3033 out of 34241 (9%) after 449.1 sec
449.91/449.97	c [picomus] reduction 335 to 3032 out of 34241 (9%) after 450.0 sec
450.30/450.30	c [picomus] reduction 336 to 3031 out of 34241 (9%) after 450.3 sec
450.60/450.64	c [picomus] reduction 337 to 3030 out of 34241 (9%) after 450.7 sec
451.01/451.02	c [picomus] reduction 338 to 3029 out of 34241 (9%) after 451.0 sec
451.20/451.21	c [picomus] reduction 339 to 3028 out of 34241 (9%) after 451.2 sec
451.41/451.40	c [picomus] reduction 340 to 3027 out of 34241 (9%) after 451.4 sec
451.41/451.47	c [picomus] reduction 341 to 3026 out of 34241 (9%) after 451.5 sec
451.61/451.65	c [picomus] reduction 342 to 3025 out of 34241 (9%) after 451.7 sec
451.91/451.90	c [picomus] reduction 343 to 3024 out of 34241 (9%) after 451.9 sec
452.11/452.19	c [picomus] reduction 344 to 3023 out of 34241 (9%) after 452.2 sec
452.31/452.32	c [picomus] reduction 345 to 3022 out of 34241 (9%) after 452.3 sec
453.61/453.61	c [picomus] reduction 346 to 3021 out of 34241 (9%) after 453.6 sec
454.21/454.23	c [picomus] reduction 347 to 3020 out of 34241 (9%) after 454.2 sec
454.50/454.56	c [picomus] reduction 348 to 3018 out of 34241 (9%) after 454.6 sec
454.70/454.78	c [picomus] reduction 349 to 3017 out of 34241 (9%) after 454.8 sec
455.00/455.03	c [picomus] reduction 350 to 3016 out of 34241 (9%) after 455.0 sec
455.10/455.18	c [picomus] reduction 351 to 3015 out of 34241 (9%) after 455.2 sec
455.20/455.28	c [picomus] reduction 352 to 3014 out of 34241 (9%) after 455.3 sec
455.41/455.47	c [picomus] reduction 353 to 3013 out of 34241 (9%) after 455.5 sec
455.50/455.57	c [picomus] reduction 354 to 3012 out of 34241 (9%) after 455.6 sec
456.10/456.16	c [picomus] reduction 355 to 3011 out of 34241 (9%) after 456.2 sec
456.60/456.60	c [picomus] reduction 356 to 3010 out of 34241 (9%) after 456.6 sec
457.00/457.06	c [picomus] reduction 357 to 3009 out of 34241 (9%) after 457.1 sec
457.40/457.46	c [picomus] reduction 358 to 3008 out of 34241 (9%) after 457.5 sec
457.70/457.74	c [picomus] reduction 359 to 3007 out of 34241 (9%) after 457.8 sec
457.90/457.93	c [picomus] reduction 360 to 3006 out of 34241 (9%) after 458.0 sec
458.10/458.13	c [picomus] reduction 361 to 3005 out of 34241 (9%) after 458.1 sec
458.20/458.22	c [picomus] reduction 362 to 3004 out of 34241 (9%) after 458.2 sec
458.20/458.29	c [picomus] reduction 363 to 3003 out of 34241 (9%) after 458.3 sec
458.30/458.30	c [picomus] reduction 364 to 3002 out of 34241 (9%) after 458.3 sec
458.50/458.58	c [picomus] reduction 365 to 3001 out of 34241 (9%) after 458.6 sec
459.40/459.47	c [picomus] reduction 366 to 3000 out of 34241 (9%) after 459.5 sec
460.91/460.95	c [picomus] reduction 367 to 2999 out of 34241 (9%) after 461.0 sec
460.91/460.97	c [picomus] reduction 368 to 2998 out of 34241 (9%) after 461.0 sec
461.00/461.01	c [picomus] reduction 369 to 2997 out of 34241 (9%) after 461.0 sec
461.00/461.07	c [picomus] reduction 370 to 2996 out of 34241 (9%) after 461.1 sec
461.20/461.27	c [picomus] reduction 371 to 2995 out of 34241 (9%) after 461.3 sec
461.40/461.46	c [picomus] reduction 372 to 2994 out of 34241 (9%) after 461.5 sec
461.50/461.57	c [picomus] reduction 373 to 2993 out of 34241 (9%) after 461.6 sec
461.60/461.67	c [picomus] reduction 374 to 2992 out of 34241 (9%) after 461.7 sec
461.80/461.81	c [picomus] reduction 375 to 2991 out of 34241 (9%) after 461.8 sec
461.91/461.93	c [picomus] reduction 376 to 2990 out of 34241 (9%) after 461.9 sec
462.01/462.03	c [picomus] reduction 377 to 2989 out of 34241 (9%) after 462.1 sec
462.10/462.11	c [picomus] reduction 378 to 2988 out of 34241 (9%) after 462.1 sec
462.10/462.15	c [picomus] reduction 379 to 2987 out of 34241 (9%) after 462.2 sec
463.30/463.36	c [picomus] reduction 380 to 2986 out of 34241 (9%) after 463.4 sec
463.30/463.39	c [picomus] reduction 381 to 2985 out of 34241 (9%) after 463.4 sec
463.40/463.40	c [picomus] reduction 382 to 2984 out of 34241 (9%) after 463.4 sec
463.40/463.41	c [picomus] reduction 383 to 2983 out of 34241 (9%) after 463.4 sec
463.40/463.46	c [picomus] reduction 384 to 2982 out of 34241 (9%) after 463.5 sec
463.80/463.82	c [picomus] reduction 385 to 2981 out of 34241 (9%) after 463.8 sec
464.00/464.01	c [picomus] reduction 386 to 2980 out of 34241 (9%) after 464.0 sec
464.00/464.05	c [picomus] reduction 387 to 2979 out of 34241 (9%) after 464.1 sec
464.11/464.19	c [picomus] reduction 388 to 2978 out of 34241 (9%) after 464.2 sec
464.21/464.22	c [picomus] reduction 389 to 2977 out of 34241 (9%) after 464.2 sec
464.21/464.22	c [picomus] reduction 390 to 2976 out of 34241 (9%) after 464.2 sec
464.21/464.27	c [picomus] reduction 391 to 2975 out of 34241 (9%) after 464.3 sec
464.21/464.30	c [picomus] reduction 392 to 2974 out of 34241 (9%) after 464.3 sec
464.30/464.31	c [picomus] reduction 393 to 2973 out of 34241 (9%) after 464.3 sec
464.30/464.38	c [picomus] reduction 394 to 2972 out of 34241 (9%) after 464.4 sec
464.50/464.57	c [picomus] reduction 395 to 2971 out of 34241 (9%) after 464.6 sec
464.70/464.77	c [picomus] reduction 396 to 2970 out of 34241 (9%) after 464.8 sec
464.80/464.83	c [picomus] reduction 397 to 2969 out of 34241 (9%) after 464.9 sec
464.80/464.88	c [picomus] reduction 398 to 2968 out of 34241 (9%) after 464.9 sec
464.90/464.93	c [picomus] reduction 399 to 2966 out of 34241 (9%) after 465.0 sec
464.90/464.97	c [picomus] reduction 400 to 2965 out of 34241 (9%) after 465.0 sec
464.90/464.98	c [picomus] reduction 401 to 2964 out of 34241 (9%) after 465.0 sec
465.10/465.16	c [picomus] reduction 402 to 2963 out of 34241 (9%) after 465.2 sec
465.31/465.34	c [picomus] reduction 403 to 2962 out of 34241 (9%) after 465.4 sec
465.40/465.40	c [picomus] reduction 404 to 2961 out of 34241 (9%) after 465.4 sec
465.40/465.43	c [picomus] reduction 405 to 2960 out of 34241 (9%) after 465.4 sec
465.40/465.47	c [picomus] reduction 406 to 2959 out of 34241 (9%) after 465.5 sec
465.70/465.72	c [picomus] reduction 407 to 2958 out of 34241 (9%) after 465.7 sec
465.70/465.75	c [picomus] reduction 408 to 2957 out of 34241 (9%) after 465.8 sec
466.20/466.26	c [picomus] reduction 409 to 2956 out of 34241 (9%) after 466.3 sec
466.31/466.37	c [picomus] reduction 410 to 2955 out of 34241 (9%) after 466.4 sec
466.41/466.45	c [picomus] reduction 411 to 2954 out of 34241 (9%) after 466.5 sec
467.00/467.06	c [picomus] reduction 412 to 2953 out of 34241 (9%) after 467.1 sec
467.10/467.14	c [picomus] reduction 413 to 2952 out of 34241 (9%) after 467.2 sec
467.20/467.23	c [picomus] reduction 414 to 2951 out of 34241 (9%) after 467.3 sec
467.20/467.26	c [picomus] reduction 415 to 2950 out of 34241 (9%) after 467.3 sec
467.41/467.45	c [picomus] reduction 416 to 2948 out of 34241 (9%) after 467.5 sec
467.41/467.48	c [picomus] reduction 417 to 2947 out of 34241 (9%) after 467.5 sec
467.90/467.90	c [picomus] reduction 418 to 2946 out of 34241 (9%) after 467.9 sec
467.90/467.95	c [picomus] reduction 419 to 2945 out of 34241 (9%) after 468.0 sec
467.90/468.00	c [picomus] reduction 420 to 2944 out of 34241 (9%) after 468.0 sec
468.10/468.12	c [picomus] reduction 421 to 2943 out of 34241 (9%) after 468.1 sec
468.30/468.30	c [picomus] reduction 422 to 2942 out of 34241 (9%) after 468.3 sec
468.40/468.40	c [picomus] reduction 423 to 2941 out of 34241 (9%) after 468.4 sec
468.40/468.45	c [picomus] reduction 424 to 2940 out of 34241 (9%) after 468.5 sec
468.51/468.55	c [picomus] reduction 425 to 2939 out of 34241 (9%) after 468.6 sec
468.61/468.66	c [picomus] reduction 426 to 2938 out of 34241 (9%) after 468.7 sec
468.80/468.83	c [picomus] reduction 427 to 2937 out of 34241 (9%) after 468.8 sec
468.90/468.97	c [picomus] reduction 428 to 2936 out of 34241 (9%) after 469.0 sec
469.20/469.26	c [picomus] reduction 429 to 2935 out of 34241 (9%) after 469.3 sec
469.50/469.52	c [picomus] reduction 430 to 2934 out of 34241 (9%) after 469.5 sec
469.80/469.80	c [picomus] reduction 431 to 2933 out of 34241 (9%) after 469.8 sec
470.10/470.12	c [picomus] reduction 432 to 2932 out of 34241 (9%) after 470.1 sec
470.10/470.19	c [picomus] reduction 433 to 2931 out of 34241 (9%) after 470.2 sec
470.20/470.27	c [picomus] reduction 434 to 2930 out of 34241 (9%) after 470.3 sec
470.30/470.32	c [picomus] reduction 435 to 2929 out of 34241 (9%) after 470.3 sec
470.40/470.42	c [picomus] reduction 436 to 2928 out of 34241 (9%) after 470.4 sec
470.40/470.49	c [picomus] reduction 437 to 2927 out of 34241 (9%) after 470.5 sec
470.50/470.55	c [picomus] reduction 438 to 2926 out of 34241 (9%) after 470.6 sec
470.60/470.63	c [picomus] reduction 439 to 2925 out of 34241 (9%) after 470.6 sec
470.71/470.79	c [picomus] reduction 440 to 2924 out of 34241 (9%) after 470.8 sec
470.90/470.92	c [picomus] reduction 441 to 2923 out of 34241 (9%) after 470.9 sec
470.90/470.99	c [picomus] reduction 442 to 2922 out of 34241 (9%) after 471.0 sec
471.10/471.12	c [picomus] reduction 443 to 2921 out of 34241 (9%) after 471.1 sec
471.10/471.19	c [picomus] reduction 444 to 2920 out of 34241 (9%) after 471.2 sec
471.20/471.21	c [picomus] reduction 445 to 2919 out of 34241 (9%) after 471.2 sec
471.30/471.31	c [picomus] reduction 446 to 2918 out of 34241 (9%) after 471.3 sec
471.40/471.46	c [picomus] reduction 447 to 2917 out of 34241 (9%) after 471.5 sec
471.70/471.74	c [picomus] reduction 448 to 2916 out of 34241 (9%) after 471.8 sec
471.81/471.87	c [picomus] reduction 449 to 2915 out of 34241 (9%) after 471.9 sec
472.10/472.13	c [picomus] reduction 450 to 2914 out of 34241 (9%) after 472.1 sec
472.10/472.17	c [picomus] reduction 451 to 2913 out of 34241 (9%) after 472.2 sec
472.10/472.18	c [picomus] reduction 452 to 2912 out of 34241 (9%) after 472.2 sec
472.20/472.20	c [picomus] reduction 453 to 2911 out of 34241 (9%) after 472.2 sec
472.40/472.45	c [picomus] reduction 454 to 2910 out of 34241 (8%) after 472.5 sec
472.70/472.71	c [picomus] reduction 455 to 2909 out of 34241 (8%) after 472.7 sec
472.91/472.90	c [picomus] reduction 456 to 2908 out of 34241 (8%) after 472.9 sec
473.10/473.12	c [picomus] reduction 457 to 2907 out of 34241 (8%) after 473.1 sec
473.30/473.33	c [picomus] reduction 458 to 2906 out of 34241 (8%) after 473.3 sec
473.50/473.51	c [picomus] reduction 459 to 2905 out of 34241 (8%) after 473.5 sec
474.01/474.00	c [picomus] reduction 460 to 2904 out of 34241 (8%) after 474.0 sec
474.11/474.16	c [picomus] reduction 461 to 2903 out of 34241 (8%) after 474.2 sec
474.40/474.40	c [picomus] reduction 462 to 2902 out of 34241 (8%) after 474.4 sec
474.60/474.61	c [picomus] reduction 463 to 2901 out of 34241 (8%) after 474.6 sec
474.70/474.73	c [picomus] reduction 464 to 2900 out of 34241 (8%) after 474.7 sec
474.70/474.76	c [picomus] reduction 465 to 2899 out of 34241 (8%) after 474.8 sec
474.80/474.89	c [picomus] reduction 466 to 2898 out of 34241 (8%) after 474.9 sec
475.00/475.00	c [picomus] reduction 467 to 2897 out of 34241 (8%) after 475.0 sec
475.50/475.51	c [picomus] reduction 468 to 2896 out of 34241 (8%) after 475.5 sec
475.60/475.67	c [picomus] reduction 469 to 2895 out of 34241 (8%) after 475.7 sec
475.70/475.77	c [picomus] reduction 470 to 2894 out of 34241 (8%) after 475.8 sec
475.90/475.97	c [picomus] reduction 471 to 2893 out of 34241 (8%) after 476.0 sec
476.00/476.01	c [picomus] reduction 472 to 2892 out of 34241 (8%) after 476.0 sec
476.10/476.10	c [picomus] reduction 473 to 2891 out of 34241 (8%) after 476.1 sec
476.10/476.16	c [picomus] reduction 474 to 2890 out of 34241 (8%) after 476.2 sec
476.21/476.20	c [picomus] reduction 475 to 2889 out of 34241 (8%) after 476.2 sec
476.21/476.29	c [picomus] reduction 476 to 2888 out of 34241 (8%) after 476.3 sec
476.31/476.33	c [picomus] reduction 477 to 2887 out of 34241 (8%) after 476.3 sec
476.31/476.37	c [picomus] reduction 478 to 2886 out of 34241 (8%) after 476.4 sec
476.40/476.43	c [picomus] reduction 479 to 2885 out of 34241 (8%) after 476.5 sec
476.70/476.74	c [picomus] reduction 480 to 2884 out of 34241 (8%) after 476.8 sec
476.80/476.89	c [picomus] reduction 481 to 2883 out of 34241 (8%) after 476.9 sec
477.10/477.13	c [picomus] reduction 482 to 2882 out of 34241 (8%) after 477.1 sec
477.31/477.31	c [picomus] reduction 483 to 2881 out of 34241 (8%) after 477.3 sec
477.31/477.36	c [picomus] reduction 484 to 2880 out of 34241 (8%) after 477.4 sec
477.50/477.50	c [picomus] reduction 485 to 2879 out of 34241 (8%) after 477.5 sec
477.50/477.55	c [picomus] reduction 486 to 2878 out of 34241 (8%) after 477.6 sec
477.60/477.63	c [picomus] reduction 487 to 2877 out of 34241 (8%) after 477.6 sec
477.60/477.66	c [picomus] reduction 488 to 2876 out of 34241 (8%) after 477.7 sec
477.70/477.73	c [picomus] reduction 489 to 2875 out of 34241 (8%) after 477.8 sec
477.70/477.79	c [picomus] reduction 490 to 2874 out of 34241 (8%) after 477.8 sec
477.80/477.84	c [picomus] reduction 491 to 2873 out of 34241 (8%) after 477.9 sec
477.80/477.87	c [picomus] reduction 492 to 2872 out of 34241 (8%) after 477.9 sec
477.80/477.88	c [picomus] reduction 493 to 2871 out of 34241 (8%) after 477.9 sec
477.90/477.93	c [picomus] reduction 494 to 2870 out of 34241 (8%) after 477.9 sec
477.90/477.99	c [picomus] reduction 495 to 2869 out of 34241 (8%) after 478.0 sec
478.00/478.00	c [picomus] reduction 496 to 2868 out of 34241 (8%) after 478.0 sec
478.00/478.02	c [picomus] reduction 497 to 2867 out of 34241 (8%) after 478.0 sec
478.00/478.06	c [picomus] reduction 498 to 2866 out of 34241 (8%) after 478.1 sec
478.00/478.07	c [picomus] reduction 499 to 2865 out of 34241 (8%) after 478.1 sec
478.10/478.13	c [picomus] reduction 500 to 2864 out of 34241 (8%) after 478.1 sec
478.10/478.17	c [picomus] reduction 501 to 2863 out of 34241 (8%) after 478.2 sec
478.30/478.36	c [picomus] reduction 502 to 2862 out of 34241 (8%) after 478.4 sec
478.41/478.40	c [picomus] reduction 503 to 2861 out of 34241 (8%) after 478.4 sec
478.41/478.45	c [picomus] reduction 504 to 2860 out of 34241 (8%) after 478.5 sec
478.51/478.59	c [picomus] reduction 505 to 2859 out of 34241 (8%) after 478.6 sec
478.80/478.89	c [picomus] reduction 506 to 2858 out of 34241 (8%) after 478.9 sec
478.90/478.96	c [picomus] reduction 507 to 2857 out of 34241 (8%) after 479.0 sec
479.10/479.12	c [picomus] reduction 508 to 2856 out of 34241 (8%) after 479.1 sec
479.10/479.17	c [picomus] reduction 509 to 2855 out of 34241 (8%) after 479.2 sec
479.10/479.18	c [picomus] reduction 510 to 2854 out of 34241 (8%) after 479.2 sec
479.20/479.26	c [picomus] reduction 511 to 2853 out of 34241 (8%) after 479.3 sec
479.30/479.32	c [picomus] reduction 512 to 2852 out of 34241 (8%) after 479.3 sec
480.00/480.03	c [picosat] 3365 calls
480.00/480.03	c [picosat] 0 iterations
480.00/480.03	c [picosat] 6780 restarts
480.00/480.03	c [picosat] 0 failed literals
480.00/480.03	c [picosat] 1247745 conflicts
480.00/480.03	c [picosat] 106571316 decisions
480.00/480.03	c [picosat] 4837 fixed variables
480.00/480.03	c [picosat] 1093493765 learned literals
480.00/480.03	c [picosat] 4.3% deleted literals
480.00/480.03	c [picosat] 299666709 propagations
480.00/480.03	c [picosat] 17.6% variables used
480.00/480.03	c [picosat] 411.2 seconds in library
480.00/480.03	c [picosat] 0.7 megaprops/second
480.00/480.03	c [picosat] probing 0.9 seconds 0%
480.00/480.03	c [picosat] 143 simplifications
480.00/480.03	c [picosat] 148 reductions
480.00/480.03	c [picosat] 97.0 MB recycled
480.00/480.03	c [picosat] 73.3 MB maximally allocated
480.00/480.03	c [picomus] found 31389 redundant clauses 92%
480.00/480.03	c [picomus] computed MUS of size 2852 out of 34241 (8%)
480.00/480.03	v 3
480.00/480.03	v 5
480.00/480.03	v 7
480.00/480.03	v 9
480.00/480.03	v 11
480.00/480.03	v 13
480.00/480.03	v 17
480.00/480.03	v 19
480.00/480.03	v 21
480.00/480.03	v 23
480.00/480.03	v 33
480.00/480.03	v 35
480.00/480.03	v 37
480.00/480.03	v 39
480.00/480.03	v 41
480.00/480.03	v 43
480.00/480.03	v 45
480.00/480.03	v 47
480.00/480.03	v 49
480.00/480.03	v 51
480.00/480.03	v 59
480.00/480.03	v 61
480.00/480.03	v 63
480.00/480.03	v 65
480.00/480.03	v 67
480.00/480.03	v 69
480.00/480.03	v 71
480.00/480.03	v 73
480.00/480.03	v 75
480.00/480.03	v 83
480.00/480.03	v 85
480.00/480.03	v 87
480.00/480.03	v 89
480.00/480.03	v 91
480.00/480.03	v 93
480.00/480.03	v 95
480.00/480.03	v 97
480.00/480.03	v 105
480.00/480.03	v 107
480.00/480.03	v 109
480.00/480.03	v 111
480.00/480.03	v 113
480.00/480.03	v 115
480.00/480.03	v 117
480.00/480.03	v 125
480.00/480.03	v 127
480.00/480.03	v 129
480.00/480.03	v 131
480.00/480.03	v 133
480.00/480.03	v 135
480.00/480.03	v 143
480.00/480.03	v 145
480.00/480.03	v 147
480.00/480.03	v 149
480.00/480.03	v 151
480.00/480.03	v 159
480.00/480.03	v 161
480.00/480.03	v 163
480.00/480.03	v 165
480.00/480.03	v 173
480.00/480.03	v 175
480.00/480.03	v 177
480.00/480.03	v 185
480.00/480.03	v 187
480.00/480.03	v 195
480.00/480.03	v 201
480.00/480.03	v 212
480.00/480.03	v 250
480.00/480.03	v 251
480.00/480.03	v 252
480.00/480.03	v 256
480.00/480.03	v 257
480.00/480.03	v 258
480.00/480.03	v 259
480.00/480.03	v 260
480.00/480.03	v 261
480.00/480.03	v 262
480.00/480.03	v 263
480.00/480.03	v 264
480.00/480.03	v 265
480.00/480.03	v 268
480.00/480.03	v 269
480.00/480.03	v 270
480.00/480.03	v 271
480.00/480.03	v 272
480.00/480.03	v 273
480.00/480.03	v 274
480.00/480.03	v 275
480.00/480.03	v 276
480.00/480.03	v 279
480.00/480.03	v 280
480.00/480.03	v 281
480.00/480.03	v 282
480.00/480.03	v 283
480.00/480.03	v 284
480.00/480.03	v 285
480.00/480.03	v 286
480.00/480.03	v 287
480.00/480.03	v 289
480.00/480.03	v 290
480.00/480.03	v 291
480.00/480.03	v 292
480.00/480.03	v 293
480.00/480.03	v 294
480.00/480.03	v 295
480.00/480.03	v 296
480.00/480.03	v 297
480.00/480.03	v 298
480.00/480.03	v 299
480.00/480.03	v 300
480.00/480.03	v 301
480.00/480.03	v 302
480.00/480.03	v 303
480.00/480.03	v 304
480.00/480.03	v 306
480.00/480.03	v 307
480.00/480.03	v 308
480.00/480.03	v 309
480.00/480.03	v 310
480.00/480.03	v 313
480.00/480.03	v 314
480.00/480.03	v 315
480.00/480.03	v 316
480.00/480.03	v 320
480.00/480.03	v 321
480.00/480.03	v 322
480.00/480.03	v 324
480.00/480.03	v 325
480.00/480.03	v 423
480.00/480.03	v 424
480.00/480.03	v 425
480.00/480.03	v 426
480.00/480.03	v 427
480.00/480.03	v 428
480.00/480.03	v 429
480.00/480.03	v 430
480.00/480.03	v 431
480.00/480.03	v 432
480.00/480.03	v 433
480.00/480.03	v 434
480.00/480.03	v 435
480.00/480.03	v 436
480.00/480.03	v 437
480.00/480.03	v 438
480.00/480.03	v 439
480.00/480.03	v 440
480.00/480.03	v 441
480.00/480.03	v 442
480.00/480.03	v 443
480.00/480.03	v 444
480.00/480.03	v 445
480.00/480.03	v 446
480.00/480.03	v 447
480.00/480.03	v 448
480.00/480.03	v 449
480.00/480.03	v 450
480.00/480.03	v 451
480.00/480.03	v 452
480.00/480.03	v 453
480.00/480.03	v 454
480.00/480.03	v 455
480.00/480.03	v 456
480.00/480.03	v 457
480.00/480.03	v 458
480.00/480.03	v 459
480.00/480.03	v 460
480.00/480.03	v 461
480.00/480.03	v 462
480.00/480.03	v 463
480.00/480.03	v 464
480.00/480.03	v 465
480.00/480.03	v 466
480.00/480.03	v 467
480.00/480.03	v 468
480.00/480.03	v 469
480.00/480.03	v 470
480.00/480.03	v 471
480.00/480.03	v 472
480.00/480.03	v 473
480.00/480.03	v 474
480.00/480.03	v 475
480.00/480.03	v 476
480.00/480.03	v 477
480.00/480.03	v 478
480.00/480.03	v 479
480.00/480.03	v 480
480.00/480.03	v 481
480.00/480.03	v 482
480.00/480.03	v 483
480.00/480.03	v 484
480.00/480.03	v 485
480.00/480.03	v 486
480.00/480.03	v 487
480.00/480.03	v 488
480.00/480.03	v 489
480.00/480.03	v 490
480.00/480.03	v 491
480.00/480.03	v 492
480.00/480.03	v 493
480.00/480.03	v 494
480.00/480.03	v 495
480.00/480.03	v 496
480.00/480.03	v 497
480.00/480.03	v 498
480.00/480.03	v 499
480.00/480.03	v 500
480.00/480.03	v 501
480.00/480.03	v 502
480.00/480.03	v 503
480.00/480.03	v 504
480.00/480.03	v 505
480.00/480.03	v 506
480.00/480.03	v 507
480.00/480.03	v 508
480.00/480.03	v 509
480.00/480.03	v 510
480.00/480.03	v 511
480.00/480.03	v 512
480.00/480.03	v 513
480.00/480.03	v 516
480.00/480.03	v 519
480.00/480.03	v 520
480.00/480.03	v 521
480.00/480.03	v 522
480.00/480.03	v 523
480.00/480.03	v 524
480.00/480.03	v 525
480.00/480.03	v 526
480.00/480.03	v 528
480.00/480.03	v 529
480.00/480.03	v 530
480.00/480.03	v 531
480.00/480.03	v 532
480.00/480.03	v 533
480.00/480.03	v 534
480.00/480.03	v 535
480.00/480.03	v 536
480.00/480.03	v 537
480.00/480.03	v 538
480.00/480.03	v 539
480.00/480.03	v 540
480.00/480.03	v 541
480.00/480.03	v 542
480.00/480.03	v 543
480.00/480.03	v 544
480.00/480.03	v 545
480.00/480.03	v 546
480.00/480.03	v 547
480.00/480.03	v 548
480.00/480.03	v 549
480.00/480.03	v 552
480.00/480.03	v 553
480.00/480.03	v 554
480.00/480.03	v 555
480.00/480.03	v 556
480.00/480.03	v 557
480.00/480.03	v 558
480.00/480.03	v 559
480.00/480.03	v 562
480.00/480.03	v 563
480.00/480.03	v 564
480.00/480.03	v 565
480.00/480.03	v 566
480.00/480.03	v 567
480.00/480.03	v 568
480.00/480.03	v 571
480.00/480.03	v 572
480.00/480.03	v 573
480.00/480.03	v 574
480.00/480.03	v 575
480.00/480.03	v 576
480.00/480.03	v 579
480.00/480.03	v 580
480.00/480.03	v 581
480.00/480.03	v 582
480.00/480.03	v 583
480.00/480.03	v 586
480.00/480.03	v 587
480.00/480.03	v 588
480.00/480.03	v 589
480.00/480.03	v 592
480.00/480.03	v 593
480.00/480.03	v 594
480.00/480.03	v 608
480.00/480.03	v 609
480.00/480.03	v 610
480.00/480.03	v 611
480.00/480.03	v 612
480.00/480.03	v 613
480.00/480.03	v 614
480.00/480.03	v 615
480.00/480.03	v 616
480.00/480.03	v 617
480.00/480.03	v 622
480.00/480.03	v 623
480.00/480.03	v 624
480.00/480.03	v 625
480.00/480.03	v 626
480.00/480.03	v 627
480.00/480.03	v 628
480.00/480.03	v 629
480.00/480.03	v 635
480.00/480.03	v 636
480.00/480.03	v 637
480.00/480.03	v 638
480.00/480.03	v 639
480.00/480.03	v 640
480.00/480.03	v 645
480.00/480.03	v 646
480.00/480.03	v 647
480.00/480.03	v 648
480.00/480.03	v 649
480.00/480.03	v 650
480.00/480.03	v 654
480.00/480.03	v 655
480.00/480.03	v 656
480.00/480.03	v 657
480.00/480.03	v 658
480.00/480.03	v 659
480.00/480.03	v 663
480.00/480.03	v 664
480.00/480.03	v 665
480.00/480.03	v 666
480.00/480.03	v 667
480.00/480.03	v 672
480.00/480.03	v 673
480.00/480.03	v 674
480.00/480.03	v 678
480.00/480.03	v 679
480.00/480.03	v 680
480.00/480.03	v 684
480.00/480.03	v 685
480.00/480.03	v 689
480.00/480.03	v 697
480.00/480.03	v 698
480.00/480.03	v 699
480.00/480.03	v 700
480.00/480.03	v 701
480.00/480.03	v 702
480.00/480.03	v 703
480.00/480.03	v 704
480.00/480.03	v 705
480.00/480.03	v 706
480.00/480.03	v 709
480.00/480.03	v 710
480.00/480.03	v 711
480.00/480.03	v 712
480.00/480.03	v 713
480.00/480.03	v 714
480.00/480.03	v 715
480.00/480.03	v 716
480.00/480.03	v 717
480.00/480.03	v 718
480.00/480.03	v 719
480.00/480.03	v 721
480.00/480.03	v 722
480.00/480.03	v 723
480.00/480.03	v 724
480.00/480.03	v 725
480.00/480.03	v 726
480.00/480.03	v 727
480.00/480.03	v 728
480.00/480.03	v 729
480.00/480.03	v 730
480.00/480.03	v 731
480.00/480.03	v 732
480.00/480.03	v 733
480.00/480.03	v 734
480.00/480.03	v 735
480.00/480.03	v 736
480.00/480.03	v 737
480.00/480.03	v 738
480.00/480.03	v 739
480.00/480.03	v 740
480.00/480.03	v 741
480.00/480.03	v 742
480.00/480.03	v 743
480.00/480.03	v 744
480.00/480.03	v 745
480.00/480.03	v 746
480.00/480.03	v 747
480.00/480.03	v 748
480.00/480.03	v 749
480.00/480.03	v 750
480.00/480.03	v 751
480.00/480.03	v 752
480.00/480.03	v 753
480.00/480.03	v 754
480.00/480.03	v 755
480.00/480.03	v 756
480.00/480.03	v 757
480.00/480.03	v 758
480.00/480.03	v 759
480.00/480.03	v 760
480.00/480.03	v 761
480.00/480.03	v 762
480.00/480.03	v 763
480.00/480.03	v 764
480.00/480.03	v 765
480.00/480.03	v 766
480.00/480.03	v 767
480.00/480.03	v 768
480.00/480.03	v 769
480.00/480.03	v 770
480.00/480.03	v 771
480.00/480.03	v 772
480.00/480.03	v 773
480.00/480.03	v 774
480.00/480.03	v 775
480.00/480.03	v 776
480.00/480.03	v 777
480.00/480.03	v 778
480.00/480.03	v 779
480.00/480.03	v 780
480.00/480.03	v 781
480.00/480.03	v 782
480.00/480.03	v 783
480.00/480.03	v 785
480.00/480.03	v 885
480.00/480.03	v 886
480.00/480.03	v 887
480.00/480.03	v 888
480.00/480.03	v 889
480.00/480.03	v 890
480.00/480.03	v 897
480.00/480.03	v 898
480.00/480.03	v 899
480.00/480.03	v 900
480.00/480.03	v 901
480.00/480.03	v 902
480.00/480.03	v 908
480.00/480.03	v 909
480.00/480.03	v 910
480.00/480.03	v 911
480.00/480.03	v 912
480.00/480.03	v 913
480.00/480.03	v 918
480.00/480.03	v 919
480.00/480.03	v 920
480.00/480.03	v 921
480.00/480.03	v 922
480.00/480.03	v 923
480.00/480.03	v 927
480.00/480.03	v 928
480.00/480.03	v 929
480.00/480.03	v 930
480.00/480.03	v 931
480.00/480.03	v 932
480.00/480.03	v 935
480.00/480.03	v 936
480.00/480.03	v 937
480.00/480.03	v 938
480.00/480.03	v 939
480.00/480.03	v 940
480.00/480.03	v 942
480.00/480.03	v 943
480.00/480.03	v 944
480.00/480.03	v 945
480.00/480.03	v 946
480.00/480.03	v 947
480.00/480.03	v 948
480.00/480.03	v 949
480.00/480.03	v 950
480.00/480.03	v 951
480.00/480.03	v 952
480.00/480.03	v 953
480.00/480.03	v 955
480.00/480.03	v 956
480.00/480.03	v 957
480.00/480.03	v 958
480.00/480.03	v 959
480.00/480.03	v 960
480.00/480.03	v 961
480.00/480.03	v 962
480.00/480.03	v 964
480.00/480.03	v 965
480.00/480.03	v 966
480.00/480.03	v 967
480.00/480.03	v 968
480.00/480.03	v 969
480.00/480.03	v 970
480.00/480.03	v 971
480.00/480.03	v 972
480.00/480.03	v 973
480.00/480.03	v 974
480.00/480.03	v 975
480.00/480.03	v 976
480.00/480.03	v 977
480.00/480.03	v 978
480.00/480.03	v 979
480.00/480.03	v 980
480.00/480.03	v 981
480.00/480.03	v 982
480.00/480.03	v 983
480.00/480.03	v 984
480.00/480.03	v 985
480.00/480.03	v 986
480.00/480.03	v 987
480.00/480.03	v 988
480.00/480.03	v 989
480.00/480.03	v 990
480.00/480.03	v 991
480.00/480.03	v 992
480.00/480.03	v 993
480.00/480.03	v 994
480.00/480.03	v 995
480.00/480.03	v 996
480.00/480.03	v 997
480.00/480.03	v 998
480.00/480.03	v 999
480.00/480.03	v 1000
480.00/480.03	v 1001
480.00/480.03	v 1002
480.00/480.03	v 1003
480.00/480.03	v 1004
480.00/480.03	v 1005
480.00/480.03	v 1006
480.00/480.03	v 1007
480.00/480.03	v 1008
480.00/480.03	v 1009
480.00/480.03	v 1010
480.00/480.03	v 1011
480.00/480.03	v 1012
480.00/480.03	v 1013
480.00/480.03	v 1014
480.00/480.03	v 1015
480.00/480.03	v 1016
480.00/480.03	v 1017
480.00/480.03	v 1018
480.00/480.03	v 1019
480.00/480.03	v 1020
480.00/480.03	v 1021
480.00/480.03	v 1022
480.00/480.03	v 1023
480.00/480.03	v 1024
480.00/480.03	v 1025
480.00/480.03	v 1026
480.00/480.03	v 1027
480.00/480.03	v 1028
480.00/480.03	v 1029
480.00/480.03	v 1030
480.00/480.03	v 1031
480.00/480.03	v 1032
480.00/480.03	v 1033
480.00/480.03	v 1034
480.00/480.03	v 1035
480.00/480.03	v 1036
480.00/480.03	v 1037
480.00/480.03	v 1038
480.00/480.03	v 1039
480.00/480.03	v 1040
480.00/480.03	v 1041
480.00/480.03	v 1042
480.00/480.03	v 1043
480.00/480.03	v 1044
480.00/480.03	v 1045
480.00/480.03	v 1046
480.00/480.03	v 1047
480.00/480.03	v 1048
480.00/480.03	v 1049
480.00/480.03	v 1050
480.00/480.03	v 1051
480.00/480.03	v 1052
480.00/480.03	v 1053
480.00/480.03	v 1054
480.00/480.03	v 1055
480.00/480.03	v 1056
480.00/480.03	v 1057
480.00/480.03	v 1058
480.00/480.03	v 1059
480.00/480.03	v 1060
480.00/480.03	v 1061
480.00/480.03	v 1062
480.00/480.03	v 1063
480.00/480.03	v 1064
480.00/480.03	v 1065
480.00/480.03	v 1066
480.00/480.03	v 1067
480.00/480.03	v 1068
480.00/480.03	v 1069
480.00/480.03	v 1070
480.00/480.03	v 1071
480.00/480.03	v 1072
480.00/480.03	v 1073
480.00/480.03	v 1074
480.00/480.03	v 1075
480.00/480.03	v 1076
480.00/480.03	v 1077
480.00/480.03	v 1078
480.00/480.03	v 1079
480.00/480.03	v 1080
480.00/480.03	v 1081
480.00/480.03	v 1082
480.00/480.03	v 1083
480.00/480.03	v 1084
480.00/480.03	v 1085
480.00/480.03	v 1086
480.00/480.03	v 1087
480.00/480.03	v 1088
480.00/480.03	v 1089
480.00/480.03	v 1090
480.00/480.03	v 1091
480.00/480.03	v 1092
480.00/480.03	v 1093
480.00/480.03	v 1094
480.00/480.03	v 1095
480.00/480.03	v 1096
480.00/480.03	v 1097
480.00/480.03	v 1098
480.00/480.03	v 1099
480.00/480.03	v 1100
480.00/480.03	v 1101
480.00/480.03	v 1102
480.00/480.03	v 1103
480.00/480.03	v 1104
480.00/480.03	v 1105
480.00/480.03	v 1106
480.00/480.03	v 1107
480.00/480.03	v 1108
480.00/480.03	v 1109
480.00/480.03	v 1110
480.00/480.03	v 1111
480.00/480.03	v 1112
480.00/480.03	v 1113
480.00/480.03	v 1114
480.00/480.03	v 1115
480.00/480.03	v 1116
480.00/480.03	v 1117
480.00/480.03	v 1118
480.00/480.03	v 1119
480.00/480.03	v 1120
480.00/480.03	v 1121
480.00/480.03	v 1122
480.00/480.03	v 1123
480.00/480.03	v 1124
480.00/480.03	v 1125
480.00/480.03	v 1126
480.00/480.03	v 1127
480.00/480.03	v 1128
480.00/480.03	v 1129
480.00/480.03	v 1130
480.00/480.03	v 1131
480.00/480.03	v 1132
480.00/480.03	v 1133
480.00/480.03	v 1134
480.00/480.03	v 1135
480.00/480.03	v 1136
480.00/480.03	v 1137
480.00/480.03	v 1138
480.00/480.03	v 1139
480.00/480.03	v 1140
480.00/480.03	v 1141
480.00/480.03	v 1142
480.00/480.03	v 1143
480.00/480.03	v 1144
480.00/480.03	v 1145
480.00/480.03	v 1146
480.00/480.03	v 1147
480.00/480.03	v 1148
480.00/480.03	v 1149
480.00/480.03	v 1150
480.00/480.03	v 1151
480.00/480.03	v 1152
480.00/480.03	v 1153
480.00/480.03	v 1154
480.00/480.03	v 1155
480.00/480.03	v 1156
480.00/480.03	v 1157
480.00/480.03	v 1158
480.00/480.03	v 1159
480.00/480.03	v 1160
480.00/480.03	v 1161
480.00/480.03	v 1162
480.00/480.03	v 1163
480.00/480.03	v 1164
480.00/480.03	v 1165
480.00/480.03	v 1166
480.00/480.03	v 1167
480.00/480.03	v 1168
480.00/480.03	v 1169
480.00/480.03	v 1170
480.00/480.03	v 1171
480.00/480.03	v 1172
480.00/480.03	v 1173
480.00/480.03	v 1174
480.00/480.03	v 1175
480.00/480.03	v 1176
480.00/480.03	v 1177
480.00/480.03	v 1178
480.00/480.03	v 1179
480.00/480.03	v 1180
480.00/480.03	v 1181
480.00/480.03	v 1182
480.00/480.03	v 1183
480.00/480.03	v 1184
480.00/480.03	v 1185
480.00/480.03	v 1186
480.00/480.03	v 1187
480.00/480.03	v 1188
480.00/480.03	v 1189
480.00/480.03	v 1190
480.00/480.03	v 1191
480.00/480.03	v 1192
480.00/480.03	v 1193
480.00/480.03	v 1194
480.00/480.03	v 1195
480.00/480.03	v 1196
480.00/480.03	v 1197
480.00/480.03	v 1198
480.00/480.03	v 1199
480.00/480.03	v 1200
480.00/480.03	v 1201
480.00/480.03	v 1202
480.00/480.03	v 1203
480.00/480.03	v 1204
480.00/480.03	v 1205
480.00/480.03	v 1206
480.00/480.03	v 1207
480.00/480.03	v 1208
480.00/480.03	v 1209
480.00/480.03	v 1210
480.00/480.03	v 1211
480.00/480.03	v 1212
480.00/480.03	v 1213
480.00/480.03	v 1214
480.00/480.03	v 1215
480.00/480.03	v 1216
480.00/480.03	v 1217
480.00/480.03	v 1218
480.00/480.03	v 1219
480.00/480.03	v 1220
480.00/480.03	v 1221
480.00/480.03	v 1222
480.00/480.03	v 1223
480.00/480.03	v 1224
480.00/480.03	v 1225
480.00/480.03	v 1226
480.00/480.03	v 1227
480.00/480.03	v 1228
480.00/480.03	v 1229
480.00/480.03	v 1230
480.00/480.03	v 1231
480.00/480.03	v 1232
480.00/480.03	v 1233
480.00/480.03	v 1234
480.00/480.03	v 1235
480.00/480.03	v 1236
480.00/480.03	v 1237
480.00/480.03	v 1238
480.00/480.03	v 1239
480.00/480.03	v 1240
480.00/480.03	v 1241
480.00/480.03	v 1242
480.00/480.03	v 1243
480.00/480.03	v 1244
480.00/480.03	v 1245
480.00/480.03	v 1246
480.00/480.03	v 1247
480.00/480.03	v 1248
480.00/480.03	v 1249
480.00/480.03	v 1250
480.00/480.03	v 1251
480.00/480.03	v 1252
480.00/480.03	v 1253
480.00/480.03	v 1255
480.00/480.03	v 1256
480.00/480.03	v 1257
480.00/480.03	v 1258
480.00/480.03	v 1259
480.00/480.03	v 1260
480.00/480.03	v 1261
480.00/480.03	v 1262
480.00/480.03	v 1263
480.00/480.03	v 1264
480.00/480.03	v 1265
480.00/480.03	v 1266
480.00/480.03	v 1267
480.00/480.03	v 1268
480.00/480.03	v 1269
480.00/480.03	v 1270
480.00/480.03	v 1271
480.00/480.03	v 1272
480.00/480.03	v 1273
480.00/480.03	v 1274
480.00/480.03	v 1275
480.00/480.03	v 1276
480.00/480.03	v 1277
480.00/480.03	v 1278
480.00/480.03	v 1279
480.00/480.03	v 1280
480.00/480.03	v 1281
480.00/480.03	v 1282
480.00/480.03	v 1283
480.00/480.03	v 1284
480.00/480.03	v 1285
480.00/480.03	v 1286
480.00/480.03	v 1287
480.00/480.03	v 1288
480.00/480.03	v 1289
480.00/480.03	v 1290
480.00/480.03	v 1291
480.00/480.03	v 1292
480.00/480.03	v 1293
480.00/480.03	v 1294
480.00/480.03	v 1295
480.00/480.03	v 1296
480.00/480.03	v 1297
480.00/480.03	v 1298
480.00/480.03	v 1299
480.00/480.03	v 1300
480.00/480.03	v 1301
480.00/480.03	v 1302
480.00/480.03	v 1303
480.00/480.03	v 1304
480.00/480.03	v 1305
480.00/480.03	v 1306
480.00/480.03	v 1307
480.00/480.03	v 1308
480.00/480.03	v 1309
480.00/480.03	v 1310
480.00/480.03	v 1311
480.00/480.03	v 1312
480.00/480.03	v 1313
480.00/480.03	v 1314
480.00/480.03	v 1315
480.00/480.03	v 1316
480.00/480.03	v 1317
480.00/480.03	v 1318
480.00/480.03	v 1319
480.00/480.03	v 1320
480.00/480.03	v 1321
480.00/480.03	v 1322
480.00/480.03	v 1323
480.00/480.03	v 1324
480.00/480.03	v 1325
480.00/480.03	v 1326
480.00/480.03	v 1327
480.00/480.03	v 1328
480.00/480.03	v 1329
480.00/480.03	v 1330
480.00/480.03	v 1331
480.00/480.03	v 1332
480.00/480.03	v 1424
480.00/480.03	v 1425
480.00/480.03	v 1426
480.00/480.03	v 1427
480.00/480.03	v 1428
480.00/480.03	v 1429
480.00/480.03	v 1430
480.00/480.03	v 1431
480.00/480.03	v 1432
480.00/480.03	v 1433
480.00/480.03	v 1434
480.00/480.03	v 1435
480.00/480.03	v 1436
480.00/480.03	v 1437
480.00/480.03	v 1438
480.00/480.03	v 1439
480.00/480.03	v 1440
480.00/480.03	v 1441
480.00/480.03	v 1442
480.00/480.03	v 1443
480.00/480.03	v 1444
480.00/480.03	v 1445
480.00/480.03	v 1446
480.00/480.03	v 1447
480.00/480.03	v 1448
480.00/480.03	v 1449
480.00/480.03	v 1450
480.00/480.03	v 1451
480.00/480.03	v 1452
480.00/480.03	v 1453
480.00/480.03	v 1454
480.00/480.03	v 1455
480.00/480.03	v 1456
480.00/480.03	v 1457
480.00/480.03	v 1458
480.00/480.03	v 1459
480.00/480.03	v 1460
480.00/480.03	v 1461
480.00/480.03	v 1462
480.00/480.03	v 1463
480.00/480.03	v 1464
480.00/480.03	v 1465
480.00/480.03	v 1466
480.00/480.03	v 1467
480.00/480.03	v 1468
480.00/480.03	v 1469
480.00/480.03	v 1470
480.00/480.03	v 1471
480.00/480.03	v 1472
480.00/480.03	v 1473
480.00/480.03	v 1474
480.00/480.03	v 1475
480.00/480.03	v 1476
480.00/480.03	v 1477
480.00/480.03	v 1478
480.00/480.03	v 1479
480.00/480.03	v 1480
480.00/480.03	v 1481
480.00/480.03	v 1482
480.00/480.03	v 1483
480.00/480.03	v 1484
480.00/480.03	v 1485
480.00/480.03	v 1486
480.00/480.03	v 1487
480.00/480.03	v 1488
480.00/480.03	v 1489
480.00/480.03	v 1490
480.00/480.03	v 1491
480.00/480.03	v 1492
480.00/480.03	v 1493
480.00/480.03	v 1494
480.00/480.03	v 1495
480.00/480.03	v 1496
480.00/480.03	v 1497
480.00/480.03	v 1498
480.00/480.03	v 1499
480.00/480.03	v 1500
480.00/480.03	v 1501
480.00/480.03	v 1502
480.00/480.03	v 1503
480.00/480.03	v 1504
480.00/480.03	v 1505
480.00/480.03	v 1506
480.00/480.03	v 1507
480.00/480.03	v 1508
480.00/480.03	v 1509
480.00/480.03	v 1510
480.00/480.03	v 1511
480.00/480.03	v 1512
480.00/480.03	v 1513
480.00/480.03	v 1514
480.00/480.03	v 1516
480.00/480.03	v 1518
480.00/480.03	v 1520
480.00/480.03	v 1522
480.00/480.03	v 1524
480.00/480.03	v 1526
480.00/480.03	v 1528
480.00/480.03	v 1529
480.00/480.03	v 1530
480.00/480.03	v 1531
480.00/480.03	v 1532
480.00/480.03	v 1533
480.00/480.03	v 1534
480.00/480.03	v 1535
480.00/480.03	v 1536
480.00/480.03	v 1537
480.00/480.03	v 1538
480.00/480.03	v 1539
480.00/480.03	v 1540
480.00/480.03	v 1541
480.00/480.03	v 1542
480.00/480.03	v 1543
480.00/480.03	v 1544
480.00/480.03	v 1545
480.00/480.03	v 1546
480.00/480.03	v 1547
480.00/480.03	v 1548
480.00/480.03	v 1549
480.00/480.03	v 1550
480.00/480.03	v 1551
480.00/480.03	v 1552
480.00/480.03	v 1553
480.00/480.03	v 1554
480.00/480.03	v 1555
480.00/480.03	v 1556
480.00/480.03	v 1557
480.00/480.03	v 1558
480.00/480.03	v 1559
480.00/480.03	v 1560
480.00/480.03	v 1561
480.00/480.03	v 1562
480.00/480.03	v 1563
480.00/480.03	v 1564
480.00/480.03	v 1565
480.00/480.03	v 1566
480.00/480.03	v 1567
480.00/480.03	v 1568
480.00/480.03	v 1569
480.00/480.03	v 1570
480.00/480.03	v 1571
480.00/480.03	v 1572
480.00/480.03	v 1573
480.00/480.03	v 1574
480.00/480.03	v 1575
480.00/480.03	v 1576
480.00/480.03	v 1577
480.00/480.03	v 1578
480.00/480.03	v 1579
480.00/480.03	v 1580
480.00/480.03	v 1581
480.00/480.03	v 1582
480.00/480.03	v 1583
480.00/480.03	v 1584
480.00/480.03	v 1585
480.00/480.03	v 1586
480.00/480.03	v 1587
480.00/480.03	v 1588
480.00/480.03	v 1589
480.00/480.03	v 1590
480.00/480.03	v 1591
480.00/480.03	v 1592
480.00/480.03	v 1593
480.00/480.03	v 1594
480.00/480.03	v 1595
480.00/480.03	v 1596
480.00/480.03	v 1597
480.00/480.03	v 1598
480.00/480.03	v 1599
480.00/480.03	v 1600
480.00/480.03	v 1601
480.00/480.03	v 1602
480.00/480.03	v 1603
480.00/480.03	v 1604
480.00/480.03	v 1605
480.00/480.03	v 2971
480.00/480.03	v 2972
480.00/480.03	v 2973
480.00/480.03	v 2974
480.00/480.03	v 2975
480.00/480.03	v 2977
480.00/480.03	v 2978
480.00/480.03	v 2979
480.00/480.03	v 2980
480.00/480.03	v 2981
480.00/480.03	v 2983
480.00/480.03	v 2984
480.00/480.03	v 2986
480.00/480.03	v 2987
480.00/480.03	v 2988
480.00/480.03	v 2990
480.00/480.03	v 2991
480.00/480.03	v 2992
480.00/480.03	v 2993
480.00/480.03	v 2997
480.00/480.03	v 2999
480.00/480.03	v 3000
480.00/480.03	v 3002
480.00/480.03	v 3003
480.00/480.03	v 3004
480.00/480.03	v 3005
480.00/480.03	v 3006
480.00/480.03	v 3008
480.00/480.03	v 3009
480.00/480.03	v 3010
480.00/480.03	v 3011
480.00/480.03	v 3013
480.00/480.03	v 3014
480.00/480.03	v 3015
480.00/480.03	v 3016
480.00/480.03	v 3017
480.00/480.03	v 3019
480.00/480.03	v 3020
480.00/480.03	v 3021
480.00/480.03	v 3023
480.00/480.03	v 3024
480.00/480.03	v 3025
480.00/480.03	v 3026
480.00/480.03	v 3027
480.00/480.03	v 3029
480.00/480.03	v 3030
480.00/480.03	v 3032
480.00/480.03	v 3033
480.00/480.03	v 3034
480.00/480.03	v 3035
480.00/480.03	v 3036
480.00/480.03	v 3038
480.00/480.03	v 3039
480.00/480.03	v 3048
480.00/480.03	v 3049
480.00/480.03	v 3050
480.00/480.03	v 3051
480.00/480.03	v 3053
480.00/480.03	v 3054
480.00/480.03	v 3055
480.00/480.03	v 3056
480.00/480.03	v 3057
480.00/480.03	v 3059
480.00/480.03	v 3060
480.00/480.03	v 3061
480.00/480.03	v 3062
480.00/480.03	v 3064
480.00/480.03	v 3065
480.00/480.03	v 3066
480.00/480.03	v 3068
480.00/480.03	v 3069
480.00/480.03	v 3071
480.00/480.03	v 3072
480.00/480.03	v 3075
480.00/480.03	v 3085
480.00/480.03	v 3108
480.00/480.03	v 3117
480.00/480.03	v 3123
480.00/480.03	v 3124
480.00/480.03	v 3131
480.00/480.03	v 3137
480.00/480.03	v 3148
480.00/480.03	v 3154
480.00/480.03	v 3164
480.00/480.03	v 3175
480.00/480.03	v 3206
480.00/480.03	v 3207
480.00/480.03	v 3211
480.00/480.03	v 3212
480.00/480.03	v 3223
480.00/480.03	v 3224
480.00/480.03	v 3227
480.00/480.03	v 3233
480.00/480.03	v 3243
480.00/480.03	v 3244
480.00/480.03	v 3247
480.00/480.03	v 3248
480.00/480.03	v 3258
480.00/480.03	v 3268
480.00/480.03	v 3271
480.00/480.03	v 3272
480.00/480.03	v 3281
480.00/480.03	v 3287
480.00/480.03	v 3297
480.00/480.03	v 3298
480.00/480.03	v 3306
480.00/480.03	v 3307
480.00/480.03	v 3308
480.00/480.03	v 3309
480.00/480.03	v 3314
480.00/480.03	v 3315
480.00/480.03	v 3318
480.00/480.03	v 3319
480.00/480.03	v 3325
480.00/480.03	v 3326
480.00/480.03	v 3327
480.00/480.03	v 3328
480.00/480.03	v 3329
480.00/480.03	v 3330
480.00/480.03	v 3331
480.00/480.03	v 3461
480.00/480.03	v 3465
480.00/480.03	v 3466
480.00/480.03	v 3482
480.00/480.03	v 3489
480.00/480.03	v 3491
480.00/480.03	v 3492
480.00/480.03	v 3497
480.00/480.03	v 3764
480.00/480.03	v 3768
480.00/480.03	v 3769
480.00/480.03	v 3774
480.00/480.03	v 3775
480.00/480.03	v 3781
480.00/480.03	v 3785
480.00/480.03	v 3791
480.00/480.03	v 3799
480.00/480.03	v 3800
480.00/480.03	v 3801
480.00/480.03	v 3873
480.00/480.03	v 3877
480.00/480.03	v 3878
480.00/480.03	v 3879
480.00/480.03	v 3881
480.00/480.03	v 3895
480.00/480.03	v 3896
480.00/480.03	v 3913
480.00/480.03	v 3914
480.00/480.03	v 3918
480.00/480.03	v 3920
480.00/480.03	v 3923
480.00/480.03	v 3960
480.00/480.03	v 3962
480.00/480.03	v 3963
480.00/480.03	v 3964
480.00/480.03	v 3965
480.00/480.03	v 3966
480.00/480.03	v 3984
480.00/480.03	v 3986
480.00/480.03	v 3994
480.00/480.03	v 3997
480.00/480.03	v 4007
480.00/480.03	v 4013
480.00/480.03	v 4014
480.00/480.03	v 4015
480.00/480.03	v 4017
480.00/480.03	v 4018
480.00/480.03	v 4019
480.00/480.03	v 4020
480.00/480.03	v 4071
480.00/480.03	v 4074
480.00/480.03	v 4077
480.00/480.03	v 4080
480.00/480.03	v 4083
480.00/480.03	v 4086
480.00/480.03	v 4089
480.00/480.03	v 4092
480.00/480.03	v 4095
480.00/480.03	v 4098
480.00/480.03	v 4101
480.00/480.03	v 4104
480.00/480.03	v 4111
480.00/480.03	v 4114
480.00/480.03	v 4117
480.00/480.03	v 4120
480.00/480.03	v 4123
480.00/480.03	v 4126
480.00/480.03	v 4127
480.00/480.03	v 4129
480.00/480.03	v 4130
480.00/480.03	v 4132
480.00/480.03	v 4133
480.00/480.03	v 4135
480.00/480.03	v 4136
480.00/480.03	v 4138
480.00/480.03	v 4139
480.00/480.03	v 4141
480.00/480.03	v 4142
480.00/480.03	v 4144
480.00/480.03	v 4145
480.00/480.03	v 4147
480.00/480.03	v 4148
480.00/480.03	v 4151
480.00/480.03	v 4153
480.00/480.03	v 4154
480.00/480.03	v 4156
480.00/480.03	v 4159
480.00/480.03	v 4160
480.00/480.03	v 4162
480.00/480.03	v 4163
480.00/480.03	v 4165
480.00/480.03	v 4166
480.00/480.03	v 4168
480.00/480.03	v 4169
480.00/480.03	v 4171
480.00/480.03	v 4172
480.00/480.03	v 4174
480.00/480.03	v 4175
480.00/480.03	v 4177
480.00/480.03	v 4178
480.00/480.03	v 4180
480.00/480.03	v 4181
480.00/480.03	v 4183
480.00/480.03	v 4184
480.00/480.03	v 4186
480.00/480.03	v 4187
480.00/480.03	v 4189
480.00/480.03	v 4190
480.00/480.03	v 4192
480.00/480.03	v 4193
480.00/480.03	v 4195
480.00/480.03	v 4196
480.00/480.03	v 4198
480.00/480.03	v 4199
480.00/480.03	v 4202
480.00/480.03	v 4204
480.00/480.03	v 4207
480.00/480.03	v 4209
480.00/480.03	v 4210
480.00/480.03	v 4212
480.00/480.03	v 4213
480.00/480.03	v 4214
480.00/480.03	v 4215
480.00/480.03	v 4216
480.00/480.03	v 4217
480.00/480.03	v 4218
480.00/480.03	v 4219
480.00/480.03	v 4220
480.00/480.03	v 4221
480.00/480.03	v 4222
480.00/480.03	v 4223
480.00/480.03	v 4224
480.00/480.03	v 4225
480.00/480.03	v 4226
480.00/480.03	v 4227
480.00/480.03	v 4228
480.00/480.03	v 4229
480.00/480.03	v 4230
480.00/480.03	v 4231
480.00/480.03	v 4232
480.00/480.03	v 4233
480.00/480.03	v 4234
480.00/480.03	v 4235
480.00/480.03	v 4236
480.00/480.03	v 4238
480.00/480.03	v 4241
480.00/480.03	v 4244
480.00/480.03	v 4291
480.00/480.03	v 4294
480.00/480.03	v 4297
480.00/480.03	v 4300
480.00/480.03	v 4303
480.00/480.03	v 4306
480.00/480.03	v 4309
480.00/480.03	v 4312
480.00/480.03	v 4315
480.00/480.03	v 4318
480.00/480.03	v 4321
480.00/480.03	v 4324
480.00/480.03	v 4327
480.00/480.03	v 4328
480.00/480.03	v 4331
480.00/480.03	v 4334
480.00/480.03	v 4336
480.00/480.03	v 4337
480.00/480.03	v 4339
480.00/480.03	v 4340
480.00/480.03	v 4342
480.00/480.03	v 4343
480.00/480.03	v 4345
480.00/480.03	v 4346
480.00/480.03	v 4348
480.00/480.03	v 4349
480.00/480.03	v 4350
480.00/480.03	v 4351
480.00/480.03	v 4352
480.00/480.03	v 4353
480.00/480.03	v 4354
480.00/480.03	v 4355
480.00/480.03	v 4356
480.00/480.03	v 4357
480.00/480.03	v 4358
480.00/480.03	v 4359
480.00/480.03	v 4360
480.00/480.03	v 4361
480.00/480.03	v 4363
480.00/480.03	v 4364
480.00/480.03	v 4365
480.00/480.03	v 4366
480.00/480.03	v 4367
480.00/480.03	v 4368
480.00/480.03	v 4369
480.00/480.03	v 4370
480.00/480.03	v 4371
480.00/480.03	v 4372
480.00/480.03	v 4373
480.00/480.03	v 4374
480.00/480.03	v 4375
480.00/480.03	v 4376
480.00/480.03	v 4377
480.00/480.03	v 4378
480.00/480.03	v 4379
480.00/480.03	v 4382
480.00/480.03	v 4384
480.00/480.03	v 4387
480.00/480.03	v 4390
480.00/480.03	v 4393
480.00/480.03	v 4394
480.00/480.03	v 4396
480.00/480.03	v 4397
480.00/480.03	v 4399
480.00/480.03	v 4400
480.00/480.03	v 4402
480.00/480.03	v 4403
480.00/480.03	v 4405
480.00/480.03	v 4406
480.00/480.03	v 4408
480.00/480.03	v 4409
480.00/480.03	v 4410
480.00/480.03	v 4411
480.00/480.03	v 4412
480.00/480.03	v 4413
480.00/480.03	v 4415
480.00/480.03	v 4418
480.00/480.03	v 4419
480.00/480.03	v 4421
480.00/480.03	v 4422
480.00/480.03	v 4424
480.00/480.03	v 4426
480.00/480.03	v 4427
480.00/480.03	v 4429
480.00/480.03	v 4432
480.00/480.03	v 4435
480.00/480.03	v 4438
480.00/480.03	v 4439
480.00/480.03	v 4441
480.00/480.03	v 4442
480.00/480.03	v 4444
480.00/480.03	v 4445
480.00/480.03	v 4447
480.00/480.03	v 4448
480.00/480.03	v 4450
480.00/480.03	v 4451
480.00/480.03	v 4453
480.00/480.03	v 4454
480.00/480.03	v 4456
480.00/480.03	v 4457
480.00/480.03	v 4459
480.00/480.03	v 4460
480.00/480.03	v 4462
480.00/480.03	v 4463
480.00/480.03	v 4465
480.00/480.03	v 4466
480.00/480.03	v 4469
480.00/480.03	v 4471
480.00/480.03	v 4474
480.00/480.03	v 4475
480.00/480.03	v 4477
480.00/480.03	v 4478
480.00/480.03	v 4480
480.00/480.03	v 4481
480.00/480.03	v 4483
480.00/480.03	v 4484
480.00/480.03	v 4486
480.00/480.03	v 4487
480.00/480.03	v 4489
480.00/480.03	v 4490
480.00/480.03	v 4492
480.00/480.03	v 4493
480.00/480.03	v 4495
480.00/480.03	v 4496
480.00/480.03	v 4498
480.00/480.03	v 4499
480.00/480.03	v 4501
480.00/480.03	v 4502
480.00/480.03	v 4504
480.00/480.03	v 4505
480.00/480.03	v 4507
480.00/480.03	v 4508
480.00/480.03	v 4510
480.00/480.03	v 4511
480.00/480.03	v 4513
480.00/480.03	v 4514
480.00/480.03	v 4562
480.00/480.03	v 4564
480.00/480.03	v 4565
480.00/480.03	v 4567
480.00/480.03	v 4568
480.00/480.03	v 4570
480.00/480.03	v 4571
480.00/480.03	v 4573
480.00/480.03	v 4574
480.00/480.03	v 4576
480.00/480.03	v 4577
480.00/480.03	v 4579
480.00/480.03	v 4580
480.00/480.03	v 4582
480.00/480.03	v 4583
480.00/480.03	v 4585
480.00/480.03	v 4586
480.00/480.03	v 4588
480.00/480.03	v 4589
480.00/480.03	v 4591
480.00/480.03	v 4592
480.00/480.03	v 4594
480.00/480.03	v 4595
480.00/480.03	v 4597
480.00/480.03	v 4598
480.00/480.03	v 4600
480.00/480.03	v 4601
480.00/480.03	v 4604
480.00/480.03	v 4608
480.00/480.03	v 4611
480.00/480.03	v 4614
480.00/480.03	v 4617
480.00/480.03	v 4620
480.00/480.03	v 4623
480.00/480.03	v 4626
480.00/480.03	v 4629
480.00/480.03	v 4632
480.00/480.03	v 4635
480.00/480.03	v 4638
480.00/480.03	v 4641
480.00/480.03	v 4644
480.00/480.03	v 4647
480.00/480.03	v 4651
480.00/480.03	v 4652
480.00/480.03	v 4654
480.00/480.03	v 4655
480.00/480.03	v 4657
480.00/480.03	v 4658
480.00/480.03	v 4660
480.00/480.03	v 4661
480.00/480.03	v 4663
480.00/480.03	v 4664
480.00/480.03	v 4666
480.00/480.03	v 4667
480.00/480.03	v 4669
480.00/480.03	v 4670
480.00/480.03	v 4672
480.00/480.03	v 4673
480.00/480.03	v 4675
480.00/480.03	v 4676
480.00/480.03	v 4678
480.00/480.03	v 4679
480.00/480.03	v 4681
480.00/480.03	v 4682
480.00/480.03	v 4684
480.00/480.03	v 4685
480.00/480.03	v 4687
480.00/480.03	v 4688
480.00/480.03	v 4690
480.00/480.03	v 4691
480.00/480.03	v 4693
480.00/480.03	v 4694
480.00/480.03	v 4696
480.00/480.03	v 4697
480.00/480.03	v 4699
480.00/480.03	v 4700
480.00/480.03	v 4702
480.00/480.03	v 4705
480.00/480.03	v 4708
480.00/480.03	v 4711
480.00/480.03	v 4714
480.00/480.03	v 4717
480.00/480.03	v 4718
480.00/480.03	v 4721
480.00/480.03	v 4723
480.00/480.03	v 4724
480.00/480.03	v 4727
480.00/480.03	v 4730
480.00/480.03	v 4733
480.00/480.03	v 4736
480.00/480.03	v 4739
480.00/480.03	v 4966
480.00/480.03	v 4967
480.00/480.03	v 4969
480.00/480.03	v 4970
480.00/480.03	v 4972
480.00/480.03	v 4973
480.00/480.03	v 4975
480.00/480.03	v 4976
480.00/480.03	v 4978
480.00/480.03	v 4979
480.00/480.03	v 4981
480.00/480.03	v 4982
480.00/480.03	v 4984
480.00/480.03	v 4985
480.00/480.03	v 4987
480.00/480.03	v 4988
480.00/480.03	v 4990
480.00/480.03	v 4991
480.00/480.03	v 4993
480.00/480.03	v 4994
480.00/480.03	v 4996
480.00/480.03	v 4997
480.00/480.03	v 4999
480.00/480.03	v 5000
480.00/480.03	v 5002
480.00/480.03	v 5003
480.00/480.03	v 5005
480.00/480.03	v 5006
480.00/480.03	v 5008
480.00/480.03	v 5009
480.00/480.03	v 5056
480.00/480.03	v 5057
480.00/480.03	v 5059
480.00/480.03	v 5060
480.00/480.03	v 5062
480.00/480.03	v 5063
480.00/480.03	v 5065
480.00/480.03	v 5066
480.00/480.03	v 5068
480.00/480.03	v 5069
480.00/480.03	v 5071
480.00/480.03	v 5072
480.00/480.03	v 5074
480.00/480.03	v 5075
480.00/480.03	v 5077
480.00/480.03	v 5078
480.00/480.03	v 5080
480.00/480.03	v 5081
480.00/480.03	v 5083
480.00/480.03	v 5084
480.00/480.03	v 5086
480.00/480.03	v 5087
480.00/480.03	v 5089
480.00/480.03	v 5090
480.00/480.03	v 5092
480.00/480.03	v 5093
480.00/480.03	v 5095
480.00/480.03	v 5096
480.00/480.03	v 5098
480.00/480.03	v 5099
480.00/480.03	v 5147
480.00/480.03	v 5149
480.00/480.03	v 5150
480.00/480.03	v 5152
480.00/480.03	v 5153
480.00/480.03	v 5155
480.00/480.03	v 5156
480.00/480.03	v 5158
480.00/480.03	v 5159
480.00/480.03	v 5161
480.00/480.03	v 5162
480.00/480.03	v 5164
480.00/480.03	v 5165
480.00/480.03	v 5167
480.00/480.03	v 5168
480.00/480.03	v 5170
480.00/480.03	v 5171
480.00/480.03	v 5173
480.00/480.03	v 5174
480.00/480.03	v 5176
480.00/480.03	v 5177
480.00/480.03	v 5179
480.00/480.03	v 5180
480.00/480.03	v 5182
480.00/480.03	v 5183
480.00/480.03	v 5185
480.00/480.03	v 5186
480.00/480.03	v 5189
480.00/480.03	v 5327
480.00/480.03	v 5330
480.00/480.03	v 5332
480.00/480.03	v 5333
480.00/480.03	v 5335
480.00/480.03	v 5336
480.00/480.03	v 5338
480.00/480.03	v 5339
480.00/480.03	v 5341
480.00/480.03	v 5342
480.00/480.03	v 5344
480.00/480.03	v 5345
480.00/480.03	v 5347
480.00/480.03	v 5348
480.00/480.03	v 5350
480.00/480.03	v 5351
480.00/480.03	v 5353
480.00/480.03	v 5354
480.00/480.03	v 5356
480.00/480.03	v 5357
480.00/480.03	v 5359
480.00/480.03	v 5360
480.00/480.03	v 5362
480.00/480.03	v 5363
480.00/480.03	v 5365
480.00/480.03	v 5366
480.00/480.03	v 5368
480.00/480.03	v 5369
480.00/480.03	v 5417
480.00/480.03	v 5420
480.00/480.03	v 5423
480.00/480.03	v 5426
480.00/480.03	v 5429
480.00/480.03	v 5432
480.00/480.03	v 5435
480.00/480.03	v 5438
480.00/480.03	v 5441
480.00/480.03	v 5443
480.00/480.03	v 5444
480.00/480.03	v 5446
480.00/480.03	v 5447
480.00/480.03	v 5449
480.00/480.03	v 5450
480.00/480.03	v 5452
480.00/480.03	v 5455
480.00/480.03	v 5458
480.00/480.03	v 5466
480.00/480.03	v 5469
480.00/480.03	v 5472
480.00/480.03	v 5475
480.00/480.03	v 5478
480.00/480.03	v 5481
480.00/480.03	v 5484
480.00/480.03	v 5487
480.00/480.03	v 5490
480.00/480.03	v 5493
480.00/480.03	v 5496
480.00/480.03	v 5499
480.00/480.03	v 5502
480.00/480.03	v 5506
480.00/480.03	v 5507
480.00/480.03	v 5509
480.00/480.03	v 5510
480.00/480.03	v 5512
480.00/480.03	v 5513
480.00/480.03	v 5515
480.00/480.03	v 5516
480.00/480.03	v 5518
480.00/480.03	v 5519
480.00/480.03	v 5521
480.00/480.03	v 5522
480.00/480.03	v 5524
480.00/480.03	v 5525
480.00/480.03	v 5527
480.00/480.03	v 5528
480.00/480.03	v 5530
480.00/480.03	v 5531
480.00/480.03	v 5533
480.00/480.03	v 5534
480.00/480.03	v 5536
480.00/480.03	v 5537
480.00/480.03	v 5539
480.00/480.03	v 5540
480.00/480.03	v 5542
480.00/480.03	v 5543
480.00/480.03	v 5545
480.00/480.03	v 5546
480.00/480.03	v 5548
480.00/480.03	v 5549
480.00/480.03	v 5551
480.00/480.03	v 5552
480.00/480.03	v 5554
480.00/480.03	v 5555
480.00/480.03	v 5557
480.00/480.03	v 5558
480.00/480.03	v 5560
480.00/480.03	v 5561
480.00/480.03	v 5563
480.00/480.03	v 5564
480.00/480.03	v 5566
480.00/480.03	v 5567
480.00/480.03	v 5569
480.00/480.03	v 5570
480.00/480.03	v 5572
480.00/480.03	v 5573
480.00/480.03	v 5575
480.00/480.03	v 5576
480.00/480.03	v 5578
480.00/480.03	v 5579
480.00/480.03	v 5581
480.00/480.03	v 5582
480.00/480.03	v 5584
480.00/480.03	v 5585
480.00/480.03	v 5587
480.00/480.03	v 5588
480.00/480.03	v 5590
480.00/480.03	v 5591
480.00/480.03	v 5593
480.00/480.03	v 5594
480.00/480.03	v 5686
480.00/480.03	v 5687
480.00/480.03	v 5689
480.00/480.03	v 5690
480.00/480.03	v 5691
480.00/480.03	v 5692
480.00/480.03	v 5693
480.00/480.03	v 5695
480.00/480.03	v 5696
480.00/480.03	v 5697
480.00/480.03	v 5698
480.00/480.03	v 5699
480.00/480.03	v 5701
480.00/480.03	v 5702
480.00/480.03	v 5703
480.00/480.03	v 5704
480.00/480.03	v 5705
480.00/480.03	v 5707
480.00/480.03	v 5708
480.00/480.03	v 5709
480.00/480.03	v 5710
480.00/480.03	v 5711
480.00/480.03	v 5713
480.00/480.03	v 5714
480.00/480.03	v 5715
480.00/480.03	v 5716
480.00/480.03	v 5717
480.00/480.03	v 5719
480.00/480.03	v 5720
480.00/480.03	v 5721
480.00/480.03	v 5722
480.00/480.03	v 5723
480.00/480.03	v 5725
480.00/480.03	v 5726
480.00/480.03	v 5727
480.00/480.03	v 5728
480.00/480.03	v 5729
480.00/480.03	v 5776
480.00/480.03	v 5777
480.00/480.03	v 5779
480.00/480.03	v 5780
480.00/480.03	v 5782
480.00/480.03	v 5783
480.00/480.03	v 5785
480.00/480.03	v 5786
480.00/480.03	v 5788
480.00/480.03	v 5789
480.00/480.03	v 5791
480.00/480.03	v 5792
480.00/480.03	v 5794
480.00/480.03	v 5795
480.00/480.03	v 5797
480.00/480.03	v 5798
480.00/480.03	v 5800
480.00/480.03	v 5801
480.00/480.03	v 5803
480.00/480.03	v 5804
480.00/480.03	v 5806
480.00/480.03	v 5807
480.00/480.03	v 5809
480.00/480.03	v 5810
480.00/480.03	v 5812
480.00/480.03	v 5813
480.00/480.03	v 5815
480.00/480.03	v 5816
480.00/480.03	v 5818
480.00/480.03	v 5819
480.00/480.03	v 5832
480.00/480.03	v 5835
480.00/480.03	v 5838
480.00/480.03	v 5841
480.00/480.03	v 5844
480.00/480.03	v 5847
480.00/480.03	v 5850
480.00/480.03	v 5957
480.00/480.03	v 5960
480.00/480.03	v 5963
480.00/480.03	v 5966
480.00/480.03	v 5968
480.00/480.03	v 5969
480.00/480.03	v 5971
480.00/480.03	v 5972
480.00/480.03	v 5974
480.00/480.03	v 5975
480.00/480.03	v 5977
480.00/480.03	v 5978
480.00/480.03	v 5980
480.00/480.03	v 5981
480.00/480.03	v 5983
480.00/480.03	v 5984
480.00/480.03	v 5986
480.00/480.03	v 5989
480.00/480.03	v 5992
480.00/480.03	v 5995
480.00/480.03	v 5999
480.00/480.03	v 6012
480.00/480.03	v 6018
480.00/480.03	v 6021
480.00/480.03	v 6024
480.00/480.03	v 6027
480.00/480.03	v 6030
480.00/480.03	v 6033
480.00/480.03	v 6036
480.00/480.03	v 6046
480.00/480.03	v 6047
480.00/480.03	v 6049
480.00/480.03	v 6050
480.00/480.03	v 6052
480.00/480.03	v 6053
480.00/480.03	v 6055
480.00/480.03	v 6056
480.00/480.03	v 6058
480.00/480.03	v 6059
480.00/480.03	v 6061
480.00/480.03	v 6062
480.00/480.03	v 6064
480.00/480.03	v 6065
480.00/480.03	v 6067
480.00/480.03	v 6068
480.00/480.03	v 6070
480.00/480.03	v 6071
480.00/480.03	v 6074
480.00/480.03	v 6077
480.00/480.03	v 6080
480.00/480.03	v 6083
480.00/480.03	v 6086
480.00/480.03	v 6089
480.00/480.03	v 6091
480.00/480.03	v 6094
480.00/480.03	v 6097
480.00/480.03	v 6098
480.00/480.03	v 6100
480.00/480.03	v 6103
480.00/480.03	v 6104
480.00/480.03	v 6106
480.00/480.03	v 6109
480.00/480.03	v 6110
480.00/480.03	v 6112
480.00/480.03	v 6113
480.00/480.03	v 6115
480.00/480.03	v 6116
480.00/480.03	v 6119
480.00/480.03	v 6122
480.00/480.03	v 6125
480.00/480.03	v 6128
480.00/480.03	v 6131
480.00/480.03	v 6134
480.00/480.03	v 6182
480.00/480.03	v 6184
480.00/480.03	v 6185
480.00/480.03	v 6187
480.00/480.03	v 6188
480.00/480.03	v 6190
480.00/480.03	v 6191
480.00/480.03	v 6193
480.00/480.03	v 6194
480.00/480.03	v 6196
480.00/480.03	v 6197
480.00/480.03	v 6199
480.00/480.03	v 6200
480.00/480.03	v 6202
480.00/480.03	v 6203
480.00/480.03	v 6205
480.00/480.03	v 6206
480.00/480.03	v 6208
480.00/480.03	v 6209
480.00/480.03	v 6212
480.00/480.03	v 6215
480.00/480.03	v 6218
480.00/480.03	v 6221
480.00/480.03	v 6224
480.00/480.03	v 6237
480.00/480.03	v 6243
480.00/480.03	v 6249
480.00/480.03	v 6252
480.00/480.03	v 6255
480.00/480.03	v 6406
480.00/480.03	v 6407
480.00/480.03	v 6409
480.00/480.03	v 6410
480.00/480.03	v 6412
480.00/480.03	v 6413
480.00/480.03	v 6415
480.00/480.03	v 6416
480.00/480.03	v 6418
480.00/480.03	v 6419
480.00/480.03	v 6421
480.00/480.03	v 6422
480.00/480.03	v 6424
480.00/480.03	v 6425
480.00/480.03	v 6427
480.00/480.03	v 6428
480.00/480.03	v 6430
480.00/480.03	v 6431
480.00/480.03	v 6433
480.00/480.03	v 6434
480.00/480.03	v 6436
480.00/480.03	v 6437
480.00/480.03	v 6439
480.00/480.03	v 6440
480.00/480.03	v 6442
480.00/480.03	v 6443
480.00/480.03	v 6445
480.00/480.03	v 6446
480.00/480.03	v 6448
480.00/480.03	v 6449
480.00/480.03	v 6452
480.00/480.03	v 6454
480.00/480.03	v 6457
480.00/480.03	v 6460
480.00/480.03	v 6463
480.00/480.03	v 6466
480.00/480.03	v 6469
480.00/480.03	v 6472
480.00/480.03	v 6476
480.00/480.03	v 6479
480.00/480.03	v 6482
480.00/480.03	v 6485
480.00/480.03	v 6488
480.00/480.03	v 6491
480.00/480.03	v 6494
480.00/480.03	v 6541
480.00/480.03	v 6542
480.00/480.03	v 6544
480.00/480.03	v 6545
480.00/480.03	v 6547
480.00/480.03	v 6548
480.00/480.03	v 6550
480.00/480.03	v 6551
480.00/480.03	v 6553
480.00/480.03	v 6554
480.00/480.03	v 6556
480.00/480.03	v 6557
480.00/480.03	v 6559
480.00/480.03	v 6560
480.00/480.03	v 6562
480.00/480.03	v 6563
480.00/480.03	v 6565
480.00/480.03	v 6566
480.00/480.03	v 6568
480.00/480.03	v 6569
480.00/480.03	v 6571
480.00/480.03	v 6572
480.00/480.03	v 6574
480.00/480.03	v 6575
480.00/480.03	v 6577
480.00/480.03	v 6578
480.00/480.03	v 6580
480.00/480.03	v 6581
480.00/480.03	v 6583
480.00/480.03	v 6584
480.00/480.03	v 6632
480.00/480.03	v 6634
480.00/480.03	v 6635
480.00/480.03	v 6637
480.00/480.03	v 6638
480.00/480.03	v 6640
480.00/480.03	v 6641
480.00/480.03	v 6643
480.00/480.03	v 6644
480.00/480.03	v 6646
480.00/480.03	v 6647
480.00/480.03	v 6649
480.00/480.03	v 6650
480.00/480.03	v 6652
480.00/480.03	v 6653
480.00/480.03	v 6655
480.00/480.03	v 6656
480.00/480.03	v 6658
480.00/480.03	v 6659
480.00/480.03	v 6661
480.00/480.03	v 6662
480.00/480.03	v 6664
480.00/480.03	v 6665
480.00/480.03	v 6667
480.00/480.03	v 6668
480.00/480.03	v 6670
480.00/480.03	v 6671
480.00/480.03	v 6674
480.00/480.03	v 6681
480.00/480.03	v 6684
480.00/480.03	v 6687
480.00/480.03	v 6690
480.00/480.03	v 6693
480.00/480.03	v 6696
480.00/480.03	v 6699
480.00/480.03	v 6705
480.00/480.03	v 6711
480.00/480.03	v 6714
480.00/480.03	v 6717
480.00/480.03	v 6811
480.00/480.03	v 6812
480.00/480.03	v 6814
480.00/480.03	v 6815
480.00/480.03	v 6817
480.00/480.03	v 6818
480.00/480.03	v 6820
480.00/480.03	v 6821
480.00/480.03	v 6823
480.00/480.03	v 6824
480.00/480.03	v 6826
480.00/480.03	v 6827
480.00/480.03	v 6829
480.00/480.03	v 6830
480.00/480.03	v 6832
480.00/480.03	v 6833
480.00/480.03	v 6835
480.00/480.03	v 6836
480.00/480.03	v 6838
480.00/480.03	v 6839
480.00/480.03	v 6841
480.00/480.03	v 6842
480.00/480.03	v 6844
480.00/480.03	v 6845
480.00/480.03	v 6847
480.00/480.03	v 6848
480.00/480.03	v 6850
480.00/480.03	v 6851
480.00/480.03	v 6853
480.00/480.03	v 6854
480.00/480.03	v 6903
480.00/480.03	v 6947
480.00/480.03	v 6949
480.00/480.03	v 6951
480.00/480.03	v 6952
480.00/480.03	v 6953
480.00/480.03	v 6954
480.00/480.03	v 6955
480.00/480.03	v 6956
480.00/480.03	v 6957
480.00/480.03	v 6958
480.00/480.03	v 6959
480.00/480.03	v 6960
480.00/480.03	v 6961
480.00/480.03	v 6962
480.00/480.03	v 6963
480.00/480.03	v 6964
480.00/480.03	v 6965
480.00/480.03	v 6966
480.00/480.03	v 6967
480.00/480.03	v 6968
480.00/480.03	v 6969
480.00/480.03	v 6970
480.00/480.03	v 6971
480.00/480.03	v 6972
480.00/480.03	v 6974
480.00/480.03	v 6975
480.00/480.03	v 6977
480.00/480.03	v 6978
480.00/480.03	v 6980
480.00/480.03	v 6981
480.00/480.03	v 6983
480.00/480.03	v 6984
480.00/480.03	v 6986
480.00/480.03	v 6987
480.00/480.03	v 6989
480.00/480.03	v 7037
480.00/480.03	v 7039
480.00/480.03	v 7040
480.00/480.03	v 7042
480.00/480.03	v 7043
480.00/480.03	v 7045
480.00/480.03	v 7046
480.00/480.03	v 7048
480.00/480.03	v 7049
480.00/480.03	v 7051
480.00/480.03	v 7052
480.00/480.03	v 7054
480.00/480.03	v 7055
480.00/480.03	v 7057
480.00/480.03	v 7058
480.00/480.03	v 7060
480.00/480.03	v 7061
480.00/480.03	v 7063
480.00/480.03	v 7064
480.00/480.03	v 7066
480.00/480.03	v 7067
480.00/480.03	v 7069
480.00/480.03	v 7070
480.00/480.03	v 7072
480.00/480.03	v 7073
480.00/480.03	v 7075
480.00/480.03	v 7076
480.00/480.03	v 7079
480.00/480.03	v 7487
480.00/480.03	v 7490
480.00/480.03	v 7493
480.00/480.03	v 7496
480.00/480.03	v 7499
480.00/480.03	v 7502
480.00/480.03	v 7505
480.00/480.03	v 7508
480.00/480.03	v 7511
480.00/480.03	v 7513
480.00/480.03	v 7514
480.00/480.03	v 7516
480.00/480.03	v 7517
480.00/480.03	v 7519
480.00/480.03	v 7520
480.00/480.03	v 7522
480.00/480.03	v 7523
480.00/480.03	v 7525
480.00/480.03	v 7526
480.00/480.03	v 7528
480.00/480.03	v 7622
480.00/480.03	v 7624
480.00/480.03	v 7628
480.00/480.03	v 7631
480.00/480.03	v 7634
480.00/480.03	v 7637
480.00/480.03	v 7640
480.00/480.03	v 7643
480.00/480.03	v 7646
480.00/480.03	v 7649
480.00/480.03	v 7652
480.00/480.03	v 7655
480.00/480.03	v 7658
480.00/480.03	v 7661
480.00/480.03	v 7664
480.00/480.03	v 7712
480.00/480.03	v 7714
480.00/480.03	v 7715
480.00/480.03	v 7718
480.00/480.03	v 7721
480.00/480.03	v 7723
480.00/480.03	v 7724
480.00/480.03	v 7727
480.00/480.03	v 7730
480.00/480.03	v 7733
480.00/480.03	v 7735
480.00/480.03	v 7736
480.00/480.03	v 7739
480.00/480.03	v 7742
480.00/480.03	v 7745
480.00/480.03	v 7748
480.00/480.03	v 7751
480.00/480.03	v 7754
480.00/480.03	v 7801
480.00/480.03	v 7802
480.00/480.03	v 7804
480.00/480.03	v 7805
480.00/480.03	v 7807
480.00/480.03	v 7808
480.00/480.03	v 7810
480.00/480.03	v 7811
480.00/480.03	v 7813
480.00/480.03	v 7814
480.00/480.03	v 7816
480.00/480.03	v 7817
480.00/480.03	v 7819
480.00/480.03	v 7820
480.00/480.03	v 7822
480.00/480.03	v 7823
480.00/480.03	v 7825
480.00/480.03	v 7826
480.00/480.03	v 7828
480.00/480.03	v 7829
480.00/480.03	v 7831
480.00/480.03	v 7832
480.00/480.03	v 7834
480.00/480.03	v 7835
480.00/480.03	v 7837
480.00/480.03	v 7838
480.00/480.03	v 7840
480.00/480.03	v 7841
480.00/480.03	v 7843
480.00/480.03	v 7844
480.00/480.03	v 7891
480.00/480.03	v 7892
480.00/480.03	v 7894
480.00/480.03	v 7895
480.00/480.03	v 7897
480.00/480.03	v 7898
480.00/480.03	v 7900
480.00/480.03	v 7901
480.00/480.03	v 7903
480.00/480.03	v 7904
480.00/480.03	v 7906
480.00/480.03	v 7907
480.00/480.03	v 7909
480.00/480.03	v 7910
480.00/480.03	v 7912
480.00/480.03	v 7913
480.00/480.03	v 7915
480.00/480.03	v 7916
480.00/480.03	v 7918
480.00/480.03	v 7919
480.00/480.03	v 7921
480.00/480.03	v 7922
480.00/480.03	v 7924
480.00/480.03	v 7925
480.00/480.03	v 7927
480.00/480.03	v 7928
480.00/480.03	v 7930
480.00/480.03	v 7931
480.00/480.03	v 7933
480.00/480.03	v 7934
480.00/480.03	v 7981
480.00/480.03	v 7982
480.00/480.03	v 7983
480.00/480.03	v 7984
480.00/480.03	v 7985
480.00/480.03	v 7986
480.00/480.03	v 7987
480.00/480.03	v 7988
480.00/480.03	v 7989
480.00/480.03	v 7990
480.00/480.03	v 7991
480.00/480.03	v 7992
480.00/480.03	v 7993
480.00/480.03	v 7994
480.00/480.03	v 7995
480.00/480.03	v 7996
480.00/480.03	v 7997
480.00/480.03	v 7998
480.00/480.03	v 7999
480.00/480.03	v 8000
480.00/480.03	v 8001
480.00/480.03	v 8002
480.00/480.03	v 8003
480.00/480.03	v 8004
480.00/480.03	v 8005
480.00/480.03	v 8006
480.00/480.03	v 8007
480.00/480.03	v 8008
480.00/480.03	v 8009
480.00/480.03	v 8010
480.00/480.03	v 8011
480.00/480.03	v 8012
480.00/480.03	v 8013
480.00/480.03	v 8014
480.00/480.03	v 8015
480.00/480.03	v 8016
480.00/480.03	v 8017
480.00/480.03	v 8018
480.00/480.03	v 8019
480.00/480.03	v 8020
480.00/480.03	v 8021
480.00/480.03	v 8022
480.00/480.03	v 8023
480.00/480.03	v 8024
480.00/480.03	v 8025
480.00/480.03	v 8026
480.00/480.03	v 8027
480.00/480.03	v 8029
480.00/480.03	v 8030
480.00/480.03	v 8032
480.00/480.03	v 8033
480.00/480.03	v 8035
480.00/480.03	v 8036
480.00/480.03	v 8038
480.00/480.03	v 8039
480.00/480.03	v 8041
480.00/480.03	v 8042
480.00/480.03	v 8044
480.00/480.03	v 8045
480.00/480.03	v 8047
480.00/480.03	v 8048
480.00/480.03	v 8050
480.00/480.03	v 8051
480.00/480.03	v 8053
480.00/480.03	v 8054
480.00/480.03	v 8056
480.00/480.03	v 8057
480.00/480.03	v 8059
480.00/480.03	v 8060
480.00/480.03	v 8062
480.00/480.03	v 8063
480.00/480.03	v 8065
480.00/480.03	v 8066
480.00/480.03	v 8068
480.00/480.03	v 8069
480.00/480.03	v 8073
480.00/480.03	v 8079
480.00/480.03	v 8085
480.00/480.03	v 8091
480.00/480.03	v 8097
480.00/480.03	v 8103
480.00/480.03	v 8109
480.00/480.03	v 8115
480.00/480.03	v 8121
480.00/480.03	v 8124
480.00/480.03	v 8127
480.00/480.03	v 8130
480.00/480.03	v 8133
480.00/480.03	v 8136
480.00/480.03	v 8139
480.00/480.03	v 8142
480.00/480.03	v 8145
480.00/480.03	v 8148
480.00/480.03	v 8151
480.00/480.03	v 8154
480.00/480.03	v 8206
480.00/480.03	v 8207
480.00/480.03	v 8209
480.00/480.03	v 8210
480.00/480.03	v 8212
480.00/480.03	v 8213
480.00/480.03	v 8215
480.00/480.03	v 8216
480.00/480.03	v 8218
480.00/480.03	v 8219
480.00/480.03	v 8221
480.00/480.03	v 8222
480.00/480.03	v 8224
480.00/480.03	v 8225
480.00/480.03	v 8227
480.00/480.03	v 8228
480.00/480.03	v 8230
480.00/480.03	v 8231
480.00/480.03	v 8233
480.00/480.03	v 8234
480.00/480.03	v 8236
480.00/480.03	v 8237
480.00/480.03	v 8239
480.00/480.03	v 8240
480.00/480.03	v 8242
480.00/480.03	v 8243
480.00/480.03	v 8245
480.00/480.03	v 8246
480.00/480.03	v 8248
480.00/480.03	v 8249
480.00/480.03	v 8331
480.00/480.03	v 8334
480.00/480.03	v 8386
480.00/480.03	v 8387
480.00/480.03	v 8388
480.00/480.03	v 8389
480.00/480.03	v 8390
480.00/480.03	v 8391
480.00/480.03	v 8392
480.00/480.03	v 8393
480.00/480.03	v 8395
480.00/480.03	v 8396
480.00/480.03	v 8397
480.00/480.03	v 8398
480.00/480.03	v 8399
480.00/480.03	v 8401
480.00/480.03	v 8402
480.00/480.03	v 8404
480.00/480.03	v 8405
480.00/480.03	v 8406
480.00/480.03	v 8407
480.00/480.03	v 8408
480.00/480.03	v 8410
480.00/480.03	v 8411
480.00/480.03	v 8412
480.00/480.03	v 8413
480.00/480.03	v 8414
480.00/480.03	v 8416
480.00/480.03	v 8417
480.00/480.03	v 8418
480.00/480.03	v 8419
480.00/480.03	v 8420
480.00/480.03	v 8421
480.00/480.03	v 8422
480.00/480.03	v 8423
480.00/480.03	v 8424
480.00/480.03	v 8425
480.00/480.03	v 8426
480.00/480.03	v 8427
480.00/480.03	v 8428
480.00/480.03	v 8429
480.00/480.03	v 8430
480.00/480.03	v 8431
480.00/480.03	v 8432
480.00/480.03	v 8434
480.00/480.03	v 8435
480.00/480.03	v 8437
480.00/480.03	v 8438
480.00/480.03	v 8440
480.00/480.03	v 8441
480.00/480.03	v 8443
480.00/480.03	v 8444
480.00/480.03	v 8446
480.00/480.03	v 8447
480.00/480.03	v 8449
480.00/480.03	v 8450
480.00/480.03	v 8452
480.00/480.03	v 8453
480.00/480.03	v 8455
480.00/480.03	v 8456
480.00/480.03	v 8458
480.00/480.03	v 8459
480.00/480.03	v 8461
480.00/480.03	v 8462
480.00/480.03	v 8464
480.00/480.03	v 8465
480.00/480.03	v 8467
480.00/480.03	v 8468
480.00/480.03	v 8470
480.00/480.03	v 8471
480.00/480.03	v 8473
480.00/480.03	v 8474
480.00/480.03	v 8522
480.00/480.03	v 8524
480.00/480.03	v 8525
480.00/480.03	v 8527
480.00/480.03	v 8528
480.00/480.03	v 8530
480.00/480.03	v 8531
480.00/480.03	v 8533
480.00/480.03	v 8534
480.00/480.03	v 8536
480.00/480.03	v 8537
480.00/480.03	v 8539
480.00/480.03	v 8540
480.00/480.03	v 8542
480.00/480.03	v 8543
480.00/480.03	v 8545
480.00/480.03	v 8546
480.00/480.03	v 8548
480.00/480.03	v 8549
480.00/480.03	v 8551
480.00/480.03	v 8552
480.00/480.03	v 8554
480.00/480.03	v 8555
480.00/480.03	v 8557
480.00/480.03	v 8558
480.00/480.03	v 8561
480.00/480.03	v 8564
480.00/480.03	v 8566
480.00/480.03	v 8567
480.00/480.03	v 8569
480.00/480.03	v 8570
480.00/480.03	v 8572
480.00/480.03	v 8573
480.00/480.03	v 8575
480.00/480.03	v 8576
480.00/480.03	v 8578
480.00/480.03	v 8579
480.00/480.03	v 8581
480.00/480.03	v 8582
480.00/480.03	v 8584
480.00/480.03	v 8585
480.00/480.03	v 8587
480.00/480.03	v 8588
480.00/480.03	v 8590
480.00/480.03	v 8591
480.00/480.03	v 8593
480.00/480.03	v 8594
480.00/480.03	v 8596
480.00/480.03	v 8597
480.00/480.03	v 8599
480.00/480.03	v 8600
480.00/480.03	v 8602
480.00/480.03	v 8603
480.00/480.03	v 8605
480.00/480.03	v 8606
480.00/480.03	v 8608
480.00/480.03	v 8609
480.00/480.03	v 8701
480.00/480.03	v 8705
480.00/480.03	v 8707
480.00/480.03	v 8708
480.00/480.03	v 8711
480.00/480.03	v 8713
480.00/480.03	v 8714
480.00/480.03	v 8717
480.00/480.03	v 8719
480.00/480.03	v 8720
480.00/480.03	v 8723
480.00/480.03	v 8725
480.00/480.03	v 8726
480.00/480.03	v 8729
480.00/480.03	v 8731
480.00/480.03	v 8732
480.00/480.03	v 8735
480.00/480.03	v 8737
480.00/480.03	v 8738
480.00/480.03	v 8741
480.00/480.03	v 8743
480.00/480.03	v 13488
480.00/480.03	v 13489
480.00/480.03	v 13490
480.00/480.03	v 13491
480.00/480.03	v 13492
480.00/480.03	v 13493
480.00/480.03	v 13494
480.00/480.03	v 13495
480.00/480.03	v 13496
480.00/480.03	v 13497
480.00/480.03	v 13498
480.00/480.03	v 13499
480.00/480.03	v 13518
480.00/480.03	v 13534
480.00/480.03	v 13537
480.00/480.03	v 13538
480.00/480.03	v 13539
480.00/480.03	v 13540
480.00/480.03	v 13541
480.00/480.03	v 13542
480.00/480.03	v 13543
480.00/480.03	v 13544
480.00/480.03	v 13545
480.00/480.03	v 13546
480.00/480.03	v 13550
480.00/480.03	v 13582
480.00/480.03	v 13587
480.00/480.03	v 13588
480.00/480.03	v 13589
480.00/480.03	v 13590
480.00/480.03	v 13592
480.00/480.03	v 13593
480.00/480.03	v 13594
480.00/480.03	v 13595
480.00/480.03	v 13596
480.00/480.03	v 13598
480.00/480.03	v 13608
480.00/480.03	v 13609
480.00/480.03	v 13611
480.00/480.03	v 13612
480.00/480.03	v 13614
480.00/480.03	v 13630
480.00/480.03	v 13646
480.00/480.03	v 13678
480.00/480.03	v 13679
480.00/480.03	v 13680
480.00/480.03	v 13681
480.00/480.03	v 13682
480.00/480.03	v 13683
480.00/480.03	v 13684
480.00/480.03	v 13685
480.00/480.03	v 13686
480.00/480.03	v 13687
480.00/480.03	v 13688
480.00/480.03	v 13689
480.00/480.03	v 13690
480.00/480.03	v 13691
480.00/480.03	v 13692
480.00/480.03	v 13710
480.00/480.03	v 13726
480.00/480.03	v 13822
480.00/480.03	v 13854
480.00/480.03	v 13886
480.00/480.03	v 13950
480.00/480.03	v 13982
480.00/480.03	v 13984
480.00/480.03	v 13985
480.00/480.03	v 13986
480.00/480.03	v 13987
480.00/480.03	v 13988
480.00/480.03	v 13989
480.00/480.03	v 13990
480.00/480.03	v 13991
480.00/480.03	v 13992
480.00/480.03	v 13993
480.00/480.03	v 13994
480.00/480.03	v 13995
480.00/480.03	v 13996
480.00/480.03	v 14014
480.00/480.03	v 14030
480.00/480.03	v 14064
480.00/480.03	v 14066
480.00/480.03	v 14068
480.00/480.03	v 14070
480.00/480.03	v 14072
480.00/480.03	v 14074
480.00/480.03	v 14076
480.00/480.03	v 14078
480.00/480.03	v 14110
480.00/480.03	v 14114
480.00/480.03	v 14115
480.00/480.03	v 14116
480.00/480.03	v 14117
480.00/480.03	v 14118
480.00/480.03	v 14119
480.00/480.03	v 14120
480.00/480.03	v 14174
480.00/480.03	v 14178
480.00/480.03	v 14180
480.00/480.03	v 14181
480.00/480.03	v 14182
480.00/480.03	v 14183
480.00/480.03	v 14184
480.00/480.03	v 14185
480.00/480.03	v 14186
480.00/480.03	v 14206
480.00/480.03	v 14222
480.00/480.03	v 14254
480.00/480.03	v 14258
480.00/480.03	v 14260
480.00/480.03	v 14262
480.00/480.03	v 14263
480.00/480.03	v 14264
480.00/480.03	v 14334
480.00/480.03	v 14350
480.00/480.03	v 14382
480.00/480.03	v 14414
480.00/480.03	v 14416
480.00/480.03	v 14417
480.00/480.03	v 14418
480.00/480.03	v 14419
480.00/480.03	v 14420
480.00/480.03	v 14421
480.00/480.03	v 14422
480.00/480.03	v 14424
480.00/480.03	v 14426
480.00/480.03	v 14427
480.00/480.03	v 14428
480.00/480.03	v 14478
480.00/480.03	v 14495
480.00/480.03	v 14512
480.00/480.03	v 14513
480.00/480.03	v 14514
480.00/480.03	v 14515
480.00/480.03	v 14516
480.00/480.03	v 14517
480.00/480.03	v 14518
480.00/480.03	v 14519
480.00/480.03	v 14520
480.00/480.03	v 14521
480.00/480.03	v 14522
480.00/480.03	v 14523
480.00/480.03	v 14524
480.00/480.03	v 14526
480.00/480.03	v 14558
480.00/480.03	v 14718
480.00/480.03	v 14766
480.00/480.03	v 14798
480.00/480.03	v 14830
480.00/480.03	v 14862
480.00/480.03	v 14879
480.00/480.03	v 14880
480.00/480.03	v 14881
480.00/480.03	v 14882
480.00/480.03	v 14883
480.00/480.03	v 14884
480.00/480.03	v 14885
480.00/480.03	v 14886
480.00/480.03	v 14887
480.00/480.03	v 14888
480.00/480.03	v 14889
480.00/480.03	v 14890
480.00/480.03	v 14891
480.00/480.03	v 14892
480.00/480.03	v 14893
480.00/480.03	v 14894
480.00/480.03	v 14910
480.00/480.03	v 14911
480.00/480.03	v 14913
480.00/480.03	v 14915
480.00/480.03	v 14917
480.00/480.03	v 14919
480.00/480.03	v 14921
480.00/480.03	v 14923
480.00/480.03	v 14925
480.00/480.03	v 14928
480.00/480.03	v 14929
480.00/480.03	v 14930
480.00/480.03	v 14931
480.00/480.03	v 14932
480.00/480.03	v 14933
480.00/480.03	v 14934
480.00/480.03	v 14935
480.00/480.03	v 14936
480.00/480.03	v 14937
480.00/480.03	v 14938
480.00/480.03	v 14939
480.00/480.03	v 14974
480.00/480.03	v 15002
480.00/480.03	v 15003
480.00/480.03	v 15023
480.00/480.03	v 15024
480.00/480.03	v 15026
480.00/480.03	v 15029
480.00/480.03	v 15031
480.00/480.03	v 15033
480.00/480.03	v 15034
480.00/480.03	v 15035
480.00/480.03	v 15036
480.00/480.03	v 15037
480.00/480.03	v 15038
480.00/480.03	v 15054
480.00/480.03	v 15086
480.00/480.03	v 15102
480.00/480.03	v 15150
480.00/480.03	v 21976
480.00/480.03	v 22003
480.00/480.03	v 22063
480.00/480.03	v 24418
480.00/480.03	v 24420
480.00/480.03	v 24421
480.00/480.03	v 24422
480.00/480.03	v 24990
480.00/480.03	v 24995
480.00/480.03	v 26559
480.00/480.03	v 26620
480.00/480.03	v 26863
480.00/480.03	v 26990
480.00/480.03	v 26992
480.00/480.03	v 27086
480.00/480.03	v 28195
480.00/480.03	v 28256
480.00/480.03	v 28272
480.00/480.03	v 28273
480.00/480.03	v 28274
480.00/480.03	v 28275
480.00/480.03	v 28276
480.00/480.03	v 28277
480.00/480.03	v 28278
480.00/480.03	v 28279
480.00/480.03	v 28286
480.00/480.03	v 28303
480.00/480.03	v 28304
480.00/480.03	v 28305
480.00/480.03	v 28306
480.00/480.03	v 28307
480.00/480.03	v 28308
480.00/480.03	v 28309
480.00/480.03	v 28310
480.00/480.03	v 28311
480.00/480.03	v 28312
480.00/480.03	v 28313
480.00/480.03	v 28314
480.00/480.03	v 28315
480.00/480.03	v 28415
480.00/480.03	v 28417
480.00/480.03	v 28514
480.00/480.03	v 28515
480.00/480.03	v 28516
480.00/480.03	v 28517
480.00/480.03	v 28518
480.00/480.03	v 28519
480.00/480.03	v 28521
480.00/480.03	v 28522
480.00/480.03	v 28523
480.00/480.03	v 28527
480.00/480.03	v 28535
480.00/480.03	v 28537
480.00/480.03	v 28541
480.00/480.03	v 28749
480.00/480.03	v 28794
480.00/480.03	v 28795
480.00/480.03	v 28858
480.00/480.03	v 28937
480.00/480.03	v 28939
480.00/480.03	v 28941
480.00/480.03	v 28944
480.00/480.03	v 28946
480.00/480.03	v 28955
480.00/480.03	v 28957
480.00/480.03	v 29489
480.00/480.03	v 29491
480.00/480.03	v 29492
480.00/480.03	v 29494
480.00/480.03	v 29496
480.00/480.03	v 29517
480.00/480.03	v 29518
480.00/480.03	v 29519
480.00/480.03	v 29520
480.00/480.03	v 29533
480.00/480.03	v 29535
480.00/480.03	v 29537
480.00/480.03	v 29539
480.00/480.03	v 29541
480.00/480.03	v 29543
480.00/480.03	v 29545
480.00/480.03	v 29547
480.00/480.03	v 29548
480.00/480.03	v 29549
480.00/480.03	v 29550
480.00/480.03	v 29551
480.00/480.03	v 29552
480.00/480.03	v 29553
480.00/480.03	v 29554
480.00/480.03	v 29555
480.00/480.03	v 29556
480.00/480.03	v 29557
480.00/480.03	v 29560
480.00/480.03	v 29563
480.00/480.03	v 29564
480.00/480.03	v 29565
480.00/480.03	v 29566
480.00/480.03	v 29567
480.00/480.03	v 29568
480.00/480.03	v 29569
480.00/480.03	v 29570
480.00/480.03	v 29571
480.00/480.03	v 29890
480.00/480.03	v 30002
480.00/480.03	v 30003
480.00/480.03	v 30004
480.00/480.03	v 30007
480.00/480.03	v 30048
480.00/480.03	v 30050
480.00/480.03	v 30056
480.00/480.03	v 30297
480.00/480.03	v 30298
480.00/480.03	v 30299
480.00/480.03	v 30300
480.00/480.03	v 30301
480.00/480.03	v 30302
480.00/480.03	v 30303
480.00/480.03	v 30304
480.00/480.03	v 30305
480.00/480.03	v 30306
480.00/480.03	v 30307
480.00/480.03	v 30308
480.00/480.03	v 30309
480.00/480.03	v 30310
480.00/480.03	v 30311
480.00/480.03	v 30312
480.00/480.03	v 30313
480.00/480.03	v 30314
480.00/480.03	v 30315
480.00/480.03	v 30316
480.00/480.03	v 30317
480.00/480.03	v 30318
480.00/480.03	v 30319
480.00/480.03	v 30320
480.00/480.03	v 30321
480.00/480.03	v 30322
480.00/480.03	v 30323
480.00/480.03	v 30324
480.00/480.03	v 30325
480.00/480.03	v 30326
480.00/480.03	v 30371
480.00/480.03	v 30386
480.00/480.03	v 30387
480.00/480.03	v 30388
480.00/480.03	v 30389
480.00/480.03	v 30390
480.00/480.03	v 30391
480.00/480.03	v 30392
480.00/480.03	v 30393
480.00/480.03	v 30394
480.00/480.03	v 30395
480.00/480.03	v 30396
480.00/480.03	v 30397
480.00/480.03	v 30398
480.00/480.03	v 30399
480.00/480.03	v 30400
480.00/480.03	v 30401
480.00/480.03	v 0
480.00/480.03	c [picomus] computed 2852 irredundant clauses 8%
480.00/480.03	c [picomus] 512 reductions in 480.0 seconds

OK	2852

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493746-1307802720/watcher-3493746-1307802720 -o /tmp/evaluation-result-3493746-1307802720/solver-3493746-1307802720 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493746-1307802720.cnf 

running on 2 cores: 4,6

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.99 3.98 3.52 4/189 6980
/proc/meminfo: memFree=31042860/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=1592 CPUtime=0 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 304 0 0 0 0 0 0 0 25 0 1 0 970502616 1630208 258 33554432000 134512640 135072097 4290627168 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 398 259 53 137 0 259 0

[startup+0.0998631 s]
/proc/loadavg: 3.99 3.98 3.52 4/189 6980
/proc/meminfo: memFree=31042860/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=4280 CPUtime=0.09 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 993 0 0 0 9 0 0 0 25 0 1 0 970502616 4382720 946 33554432000 134512640 135072097 4290627168 18446744073709551615 134558322 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 1070 946 68 137 0 931 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4280

[startup+0.100845 s]
/proc/loadavg: 3.99 3.98 3.52 4/189 6980
/proc/meminfo: memFree=31042860/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=4280 CPUtime=0.09 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 995 0 0 0 9 0 0 0 25 0 1 0 970502616 4382720 948 33554432000 134512640 135072097 4290627168 18446744073709551615 134520177 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 1070 948 68 137 0 931 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4280

[startup+0.300801 s]
/proc/loadavg: 3.99 3.98 3.52 4/189 6980
/proc/meminfo: memFree=31042860/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=5336 CPUtime=0.29 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 1233 0 0 0 29 0 0 0 25 0 1 0 970502616 5464064 1186 33554432000 134512640 135072097 4290627168 18446744073709551615 134539520 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 1334 1186 68 137 0 1195 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5336

[startup+0.700764 s]
/proc/loadavg: 3.99 3.98 3.52 4/189 6980
/proc/meminfo: memFree=31042860/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=6960 CPUtime=0.69 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 1645 0 0 0 69 0 0 0 25 0 1 0 970502616 7127040 1598 33554432000 134512640 135072097 4290627168 18446744073709551615 134543682 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 1740 1598 68 137 0 1601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6960

[startup+1.5006 s]
/proc/loadavg: 3.99 3.98 3.52 5/190 6981
/proc/meminfo: memFree=31033700/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=9996 CPUtime=1.49 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 2387 0 0 0 149 0 0 0 25 0 1 0 970502616 10235904 2340 33554432000 134512640 135072097 4290627168 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 2499 2340 68 137 0 2360 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9996

[startup+3.10031 s]
/proc/loadavg: 3.99 3.98 3.52 5/190 6981
/proc/meminfo: memFree=31029112/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=14736 CPUtime=3.09 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 3507 0 0 0 309 0 0 0 25 0 1 0 970502616 15089664 3460 33554432000 134512640 135072097 4290627168 18446744073709551615 134538302 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 3684 3460 79 137 0 3545 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14736

[startup+6.30072 s]
/proc/loadavg: 3.99 3.98 3.52 5/190 6981
/proc/meminfo: memFree=31030100/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=14488 CPUtime=6.29 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 6581 0 0 0 629 0 0 0 25 0 1 0 970502616 14835712 3494 33554432000 134512640 135072097 4290627168 18446744073709551615 134557369 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 3622 3494 76 137 0 3483 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14488

[startup+12.7005 s]
/proc/loadavg: 3.99 3.98 3.52 5/190 6981
/proc/meminfo: memFree=31025984/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=4660 CPUtime=12.69 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 15018 0 0 0 1267 2 0 0 25 0 1 0 970502616 4771840 1023 33554432000 134512640 135072097 4290627168 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 1165 1023 76 137 0 1026 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 4660

[startup+25.5002 s]
/proc/loadavg: 3.99 3.98 3.53 5/190 6982
/proc/meminfo: memFree=31022120/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=20472 CPUtime=25.49 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 33423 0 0 0 2543 6 0 0 25 0 1 0 970502616 20963328 4869 33554432000 134512640 135072097 4290627168 18446744073709551615 134518057 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 5118 4869 76 137 0 4979 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20472

[startup+51.1005 s]
/proc/loadavg: 3.99 3.98 3.54 5/190 6982
/proc/meminfo: memFree=31023204/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=2992 CPUtime=51.09 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 71333 0 0 0 5096 13 0 0 25 0 1 0 970502616 3063808 603 33554432000 134512640 135072097 4290627168 18446744073709551615 134556684 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 748 603 76 137 0 609 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2992

[startup+102.307 s]
/proc/loadavg: 4.04 4.00 3.57 5/190 6984
/proc/meminfo: memFree=30951124/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=79752 CPUtime=102.3 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 103950 0 0 0 10211 19 0 0 25 0 1 0 970502616 81666048 19791 33554432000 134512640 135072097 4290627168 18446744073709551615 134556265 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 19938 19791 77 137 0 19799 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 79752

[startup+162.301 s]
/proc/loadavg: 4.01 4.00 3.59 5/190 6985
/proc/meminfo: memFree=30901588/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=73472 CPUtime=162.3 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 103954 0 0 0 16211 19 0 0 25 0 1 0 970502616 75235328 18244 33554432000 134512640 135072097 4290627168 18446744073709551615 134517975 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18368 18244 77 137 0 18229 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 73472

[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.61 5/190 6987
/proc/meminfo: memFree=30900288/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=222.3 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104602 0 0 0 22211 19 0 0 25 0 1 0 970502616 76386304 18529 33554432000 134512640 135072097 4290627168 18446744073709551615 134543606 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18529 77 137 0 18510 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 74596

[startup+282.301 s]
/proc/loadavg: 4.07 4.01 3.64 5/190 6988
/proc/meminfo: memFree=30900240/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=282.3 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104604 0 0 0 28211 19 0 0 25 0 1 0 970502616 76386304 18531 33554432000 134512640 135072097 4290627168 18446744073709551615 134543729 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18531 77 137 0 18510 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 74596

[startup+342.301 s]
/proc/loadavg: 4.02 4.01 3.66 5/190 6990
/proc/meminfo: memFree=30899940/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=342.3 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104604 0 0 0 34211 19 0 0 25 0 1 0 970502616 76386304 18531 33554432000 134512640 135072097 4290627168 18446744073709551615 134517975 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18531 77 137 0 18510 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 74596

[startup+402.301 s]
/proc/loadavg: 4.01 4.00 3.68 5/190 6992
/proc/meminfo: memFree=30899892/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=402.3 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104606 0 0 0 40210 20 0 0 25 0 1 0 970502616 76386304 18533 33554432000 134512640 135072097 4290627168 18446744073709551615 134558376 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18533 77 137 0 18510 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 74596

[startup+462.301 s]
/proc/loadavg: 4.04 4.01 3.70 5/190 6996
/proc/meminfo: memFree=30898520/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=462.3 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104606 0 0 0 46210 20 0 0 25 0 1 0 970502616 76386304 18533 33554432000 134512640 135072097 4290627168 18446744073709551615 134549025 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18533 77 137 0 18510 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 74596

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

[startup+473.501 s]
/proc/loadavg: 4.04 4.01 3.70 5/190 6996
/proc/meminfo: memFree=30898632/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=473.5 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104606 0 0 0 47330 20 0 0 25 0 1 0 970502616 76386304 18533 33554432000 134512640 135072097 4290627168 18446744073709551615 134556255 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18533 77 137 0 18510 0
Current children cumulated CPU time (s) 473.5
Current children cumulated vsize (KiB) 74596

[startup+476.701 s]
/proc/loadavg: 4.03 4.01 3.70 5/190 6997
/proc/meminfo: memFree=30898628/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=476.7 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104606 0 0 0 47650 20 0 0 25 0 1 0 970502616 76386304 18533 33554432000 134512640 135072097 4290627168 18446744073709551615 134543770 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18533 77 137 0 18510 0
Current children cumulated CPU time (s) 476.7
Current children cumulated vsize (KiB) 74596

[startup+478.3 s]
/proc/loadavg: 4.03 4.01 3.70 5/190 6997
/proc/meminfo: memFree=30898628/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=478.3 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104606 0 0 0 47810 20 0 0 25 0 1 0 970502616 76386304 18533 33554432000 134512640 135072097 4290627168 18446744073709551615 134559004 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18533 77 137 0 18510 0
Current children cumulated CPU time (s) 478.3
Current children cumulated vsize (KiB) 74596

[startup+479.101 s]
/proc/loadavg: 4.03 4.01 3.70 5/190 6997
/proc/meminfo: memFree=30898744/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=479.1 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104606 0 0 0 47890 20 0 0 25 0 1 0 970502616 76386304 18533 33554432000 134512640 135072097 4290627168 18446744073709551615 134557193 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18533 77 137 0 18510 0
Current children cumulated CPU time (s) 479.1
Current children cumulated vsize (KiB) 74596

[startup+479.501 s]
/proc/loadavg: 4.03 4.01 3.70 5/190 6997
/proc/meminfo: memFree=30898744/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=479.51 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104606 0 0 0 47931 20 0 0 25 0 1 0 970502616 76386304 18533 33554432000 134512640 135072097 4290627168 18446744073709551615 134548997 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18533 77 137 0 18510 0
Current children cumulated CPU time (s) 479.51
Current children cumulated vsize (KiB) 74596

[startup+479.901 s]
/proc/loadavg: 4.03 4.01 3.70 5/190 6997
/proc/meminfo: memFree=30898744/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=479.9 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104606 0 0 0 47970 20 0 0 25 0 1 0 970502616 76386304 18533 33554432000 134512640 135072097 4290627168 18446744073709551615 134543617 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18533 77 137 0 18510 0
Current children cumulated CPU time (s) 479.9
Current children cumulated vsize (KiB) 74596

[startup+480.001 s]
/proc/loadavg: 4.03 4.01 3.70 5/190 6997
/proc/meminfo: memFree=30898744/32951124 swapFree=67056304/67111528
[pid=6980] ppid=6978 vsize=74596 CPUtime=480 cores=4,6
/proc/6980/stat : 6980 (picomus) R 6978 6980 6571 0 -1 4202496 104606 0 0 0 47980 20 0 0 25 0 1 0 970502616 76386304 18533 33554432000 134512640 135072097 4290627168 18446744073709551615 134583521 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6980/statm: 18649 18533 77 137 0 18510 0
Current children cumulated CPU time (s) 480
Current children cumulated vsize (KiB) 74596

Child status: 20
Real time (s): 480.036
CPU time (s): 480.045
CPU user time (s): 479.834
CPU system time (s): 0.210967
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 79752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 479.834
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104607
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= 5
involuntary context switches= 657

runsolver used 0.85487 second user time and 1.80272 second system time

The end

Begin job on node110 at 2011-06-11 16:32:00
IDJOB=3493746
IDBENCH=83448
IDSOLVER=1974
FILE ID=node110/3493746-1307802720
RUNJOBID= node110-1307800705-6590
PBS_JOBID= 13551064
Free space on /tmp= 74108 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00N15.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493746-1307802720/watcher-3493746-1307802720 -o /tmp/evaluation-result-3493746-1307802720/solver-3493746-1307802720 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493746-1307802720.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 118efc8c27ac8b98e0191aab5293839d
RANDOM SEED=1164147621

node110.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.830
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.66
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.830
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.83
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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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:      31043280 kB
Buffers:        309660 kB
Cached:         817496 kB
SwapCached:       8464 kB
Active:        1071448 kB
Inactive:       601796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31043280 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            1216 kB
Writeback:           0 kB
AnonPages:      544376 kB
Mapped:          14164 kB
Slab:           168656 kB
PageTables:       6288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   802936 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= 74104 MiB
End job on node110 at 2011-06-11 16:40:00