Trace number 3483771

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PicoMUS 941UNSAT 131.134 131.145

General information on the benchmark

Namemus/marques-silva/
hardware-verification/dlx2_cc.cnf
MD5SUM8b97159533ebe54eafd45b00aaada656
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark8.5797
Satisfiable
(Un)Satisfiability was proved
Number of variables1516
Number of clauses12812
Sum of the clauses size36252
Maximum clause length27
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 210805
Number of clauses of size 31025
Number of clauses of size 485
Number of clauses of size 559
Number of clauses of size over 5837

Solver Data 

0.00/0.01	c [picomus] WARNING: no output file given
0.00/0.01	c [picomus] p cnf 1516 12812
3.38/3.43	s UNSATISFIABLE
3.38/3.46	c [picomus] extracted core 1 of size 7861 out of 12812 (61%) after 3.5 sec
6.78/6.83	c [picomus] extracted core 2 of size 6286 out of 12812 (49%) after 6.8 sec
11.00/11.04	c [picomus] extracted core 3 of size 6054 out of 12812 (47%) after 11.0 sec
15.09/15.13	c [picomus] extracted core 4 of size 5798 out of 12812 (45%) after 15.1 sec
18.38/18.43	c [picomus] extracted core 5 of size 5441 out of 12812 (42%) after 18.4 sec
25.78/25.88	c [picomus] extracted core 6 of size 5406 out of 12812 (42%) after 25.9 sec
28.60/28.67	c [picomus] extracted core 7 of size 5209 out of 12812 (41%) after 28.7 sec
34.10/34.17	c [picomus] extracted core 8 of size 5148 out of 12812 (40%) after 34.2 sec
40.38/40.42	c [picomus] extracted core 9 of size 5126 out of 12812 (40%) after 40.4 sec
44.49/44.50	c [picomus] extracted core 10 of size 5054 out of 12812 (39%) after 44.5 sec
49.58/49.64	c [picomus] extracted core 11 of size 5046 out of 12812 (39%) after 49.6 sec
53.18/53.20	c [picomus] extracted core 12 of size 4991 out of 12812 (39%) after 53.2 sec
55.78/55.85	c [picomus] extracted core 13 of size 4930 out of 12812 (38%) after 55.8 sec
59.79/59.88	c [picomus] extracted core 14 of size 4889 out of 12812 (38%) after 59.9 sec
62.38/62.49	c [picomus] extracted core 15 of size 4741 out of 12812 (37%) after 62.5 sec
66.09/66.15	c [picomus] extracted core 16 of size 4710 out of 12812 (37%) after 66.1 sec
69.98/70.05	c [picomus] extracted core 17 of size 4701 out of 12812 (37%) after 70.0 sec
75.79/75.82	c [picomus] extracted core 18 of size 4688 out of 12812 (37%) after 75.8 sec
80.08/80.14	c [picomus] extracted core 19 of size 4650 out of 12812 (36%) after 80.1 sec
84.78/84.89	c [picomus] extracted core 20 of size 4606 out of 12812 (36%) after 84.9 sec
87.68/87.78	c [picomus] extracted core 21 of size 4561 out of 12812 (36%) after 87.8 sec
90.89/90.97	c [picomus] extracted core 22 of size 4547 out of 12812 (35%) after 91.0 sec
94.78/94.80	c [picomus] extracted core 23 of size 4542 out of 12812 (35%) after 94.8 sec
99.38/99.49	c [picomus] extracted core 24 of size 4478 out of 12812 (35%) after 99.5 sec
105.99/106.01	c [picomus] extracted core 25 of size 4477 out of 12812 (35%) after 106.0 sec
113.89/113.91	c [picomus] reduction 1 to 4233 out of 12812 (33%) after 113.9 sec
114.48/114.51	c [picomus] reduction 2 to 3946 out of 12812 (31%) after 114.5 sec
114.58/114.63	c [picomus] reduction 3 to 3929 out of 12812 (31%) after 114.6 sec
114.98/115.05	c [picomus] reduction 4 to 3928 out of 12812 (31%) after 115.0 sec
115.28/115.37	c [picomus] reduction 5 to 3927 out of 12812 (31%) after 115.4 sec
115.40/115.43	c [picomus] reduction 6 to 3926 out of 12812 (31%) after 115.4 sec
115.68/115.77	c [picomus] reduction 7 to 3851 out of 12812 (30%) after 115.8 sec
115.78/115.81	c [picomus] reduction 8 to 3804 out of 12812 (30%) after 115.8 sec
115.78/115.85	c [picomus] reduction 9 to 3803 out of 12812 (30%) after 115.9 sec
115.78/115.88	c [picomus] reduction 10 to 3801 out of 12812 (30%) after 115.9 sec
115.88/115.90	c [picomus] reduction 11 to 3800 out of 12812 (30%) after 115.9 sec
115.88/115.93	c [picomus] reduction 12 to 3799 out of 12812 (30%) after 115.9 sec
115.88/115.96	c [picomus] reduction 13 to 3798 out of 12812 (30%) after 116.0 sec
115.88/115.96	c [picomus] reduction 14 to 3795 out of 12812 (30%) after 116.0 sec
115.88/115.97	c [picomus] reduction 15 to 3792 out of 12812 (30%) after 116.0 sec
115.88/115.99	c [picomus] reduction 16 to 3789 out of 12812 (30%) after 116.0 sec
115.88/115.99	c [picomus] reduction 17 to 3788 out of 12812 (30%) after 116.0 sec
115.88/115.99	c [picomus] reduction 18 to 3784 out of 12812 (30%) after 116.0 sec
115.98/116.00	c [picomus] reduction 19 to 3783 out of 12812 (30%) after 116.0 sec
115.98/116.00	c [picomus] reduction 20 to 3782 out of 12812 (30%) after 116.0 sec
115.98/116.03	c [picomus] reduction 21 to 3781 out of 12812 (30%) after 116.0 sec
115.98/116.03	c [picomus] reduction 22 to 3780 out of 12812 (30%) after 116.0 sec
115.98/116.03	c [picomus] reduction 23 to 3779 out of 12812 (29%) after 116.0 sec
115.98/116.03	c [picomus] reduction 24 to 3778 out of 12812 (29%) after 116.0 sec
115.98/116.04	c [picomus] reduction 25 to 3777 out of 12812 (29%) after 116.0 sec
115.98/116.04	c [picomus] reduction 26 to 3776 out of 12812 (29%) after 116.0 sec
115.98/116.05	c [picomus] reduction 27 to 3775 out of 12812 (29%) after 116.0 sec
115.98/116.05	c [picomus] reduction 28 to 3774 out of 12812 (29%) after 116.0 sec
115.98/116.09	c [picomus] reduction 29 to 3771 out of 12812 (29%) after 116.1 sec
115.98/116.09	c [picomus] reduction 30 to 3770 out of 12812 (29%) after 116.1 sec
115.98/116.09	c [picomus] reduction 31 to 3767 out of 12812 (29%) after 116.1 sec
116.08/116.10	c [picomus] reduction 32 to 3765 out of 12812 (29%) after 116.1 sec
116.08/116.10	c [picomus] reduction 33 to 3764 out of 12812 (29%) after 116.1 sec
116.08/116.10	c [picomus] reduction 34 to 3763 out of 12812 (29%) after 116.1 sec
116.08/116.12	c [picomus] reduction 35 to 3762 out of 12812 (29%) after 116.1 sec
116.08/116.13	c [picomus] reduction 36 to 3760 out of 12812 (29%) after 116.1 sec
116.08/116.14	c [picomus] reduction 37 to 3759 out of 12812 (29%) after 116.1 sec
116.08/116.14	c [picomus] reduction 38 to 3758 out of 12812 (29%) after 116.1 sec
116.08/116.14	c [picomus] reduction 39 to 3757 out of 12812 (29%) after 116.1 sec
116.08/116.15	c [picomus] reduction 40 to 3756 out of 12812 (29%) after 116.1 sec
116.08/116.17	c [picomus] reduction 41 to 3755 out of 12812 (29%) after 116.2 sec
116.08/116.17	c [picomus] reduction 42 to 3754 out of 12812 (29%) after 116.2 sec
116.08/116.17	c [picomus] reduction 43 to 3753 out of 12812 (29%) after 116.2 sec
116.18/116.20	c [picomus] reduction 44 to 3750 out of 12812 (29%) after 116.2 sec
116.18/116.20	c [picomus] reduction 45 to 3749 out of 12812 (29%) after 116.2 sec
116.18/116.22	c [picomus] reduction 46 to 3748 out of 12812 (29%) after 116.2 sec
116.18/116.22	c [picomus] reduction 47 to 3747 out of 12812 (29%) after 116.2 sec
116.18/116.22	c [picomus] reduction 48 to 3746 out of 12812 (29%) after 116.2 sec
116.18/116.23	c [picomus] reduction 49 to 3744 out of 12812 (29%) after 116.2 sec
116.18/116.23	c [picomus] reduction 50 to 3743 out of 12812 (29%) after 116.2 sec
116.18/116.23	c [picomus] reduction 51 to 3742 out of 12812 (29%) after 116.2 sec
116.18/116.23	c [picomus] reduction 52 to 3740 out of 12812 (29%) after 116.2 sec
116.18/116.23	c [picomus] reduction 53 to 3739 out of 12812 (29%) after 116.2 sec
116.18/116.24	c [picomus] reduction 54 to 3738 out of 12812 (29%) after 116.2 sec
116.18/116.24	c [picomus] reduction 55 to 3737 out of 12812 (29%) after 116.2 sec
116.18/116.25	c [picomus] reduction 56 to 3725 out of 12812 (29%) after 116.3 sec
116.18/116.26	c [picomus] reduction 57 to 3724 out of 12812 (29%) after 116.3 sec
116.28/116.36	c [picomus] reduction 58 to 3723 out of 12812 (29%) after 116.4 sec
117.08/117.18	c [picomus] reduction 59 to 3630 out of 12812 (28%) after 117.2 sec
117.48/117.58	c [picomus] reduction 60 to 3628 out of 12812 (28%) after 117.6 sec
117.60/117.62	c [picomus] reduction 61 to 3626 out of 12812 (28%) after 117.6 sec
117.98/118.05	c [picomus] reduction 62 to 3580 out of 12812 (28%) after 118.0 sec
117.98/118.09	c [picomus] reduction 63 to 3553 out of 12812 (28%) after 118.1 sec
118.08/118.12	c [picomus] reduction 64 to 3551 out of 12812 (28%) after 118.1 sec
118.08/118.15	c [picomus] reduction 65 to 3550 out of 12812 (28%) after 118.1 sec
118.08/118.19	c [picomus] reduction 66 to 3548 out of 12812 (28%) after 118.2 sec
118.08/118.19	c [picomus] reduction 67 to 3547 out of 12812 (28%) after 118.2 sec
118.18/118.21	c [picomus] reduction 68 to 3546 out of 12812 (28%) after 118.2 sec
118.18/118.21	c [picomus] reduction 69 to 3540 out of 12812 (28%) after 118.2 sec
118.18/118.22	c [picomus] reduction 70 to 3539 out of 12812 (28%) after 118.2 sec
118.18/118.25	c [picomus] reduction 71 to 3537 out of 12812 (28%) after 118.2 sec
118.18/118.25	c [picomus] reduction 72 to 3534 out of 12812 (28%) after 118.2 sec
118.18/118.27	c [picomus] reduction 73 to 3533 out of 12812 (28%) after 118.3 sec
118.18/118.28	c [picomus] reduction 74 to 3532 out of 12812 (28%) after 118.3 sec
118.18/118.29	c [picomus] reduction 75 to 3531 out of 12812 (28%) after 118.3 sec
118.28/118.31	c [picomus] reduction 76 to 3530 out of 12812 (28%) after 118.3 sec
118.28/118.32	c [picomus] reduction 77 to 3528 out of 12812 (28%) after 118.3 sec
118.28/118.33	c [picomus] reduction 78 to 3525 out of 12812 (28%) after 118.3 sec
118.28/118.33	c [picomus] reduction 79 to 3524 out of 12812 (28%) after 118.3 sec
118.28/118.37	c [picomus] reduction 80 to 3522 out of 12812 (27%) after 118.4 sec
118.58/118.68	c [picomus] reduction 81 to 3521 out of 12812 (27%) after 118.7 sec
118.70/118.77	c [picomus] reduction 82 to 3477 out of 12812 (27%) after 118.8 sec
118.70/118.79	c [picomus] reduction 83 to 3461 out of 12812 (27%) after 118.8 sec
118.80/118.83	c [picomus] reduction 84 to 3458 out of 12812 (27%) after 118.8 sec
118.80/118.86	c [picomus] reduction 85 to 3454 out of 12812 (27%) after 118.9 sec
118.80/118.88	c [picomus] reduction 86 to 3453 out of 12812 (27%) after 118.9 sec
118.88/118.92	c [picomus] reduction 87 to 3452 out of 12812 (27%) after 118.9 sec
118.88/118.99	c [picomus] reduction 88 to 3448 out of 12812 (27%) after 119.0 sec
118.88/118.99	c [picomus] reduction 89 to 3445 out of 12812 (27%) after 119.0 sec
118.98/119.02	c [picomus] reduction 90 to 3440 out of 12812 (27%) after 119.0 sec
118.98/119.05	c [picomus] reduction 91 to 3439 out of 12812 (27%) after 119.1 sec
119.08/119.11	c [picomus] reduction 92 to 3438 out of 12812 (27%) after 119.1 sec
119.08/119.14	c [picomus] reduction 93 to 3437 out of 12812 (27%) after 119.1 sec
119.08/119.17	c [picomus] reduction 94 to 3436 out of 12812 (27%) after 119.2 sec
119.18/119.20	c [picomus] reduction 95 to 3435 out of 12812 (27%) after 119.2 sec
119.90/119.99	c [picomus] reduction 96 to 3434 out of 12812 (27%) after 120.0 sec
120.18/120.29	c [picomus] reduction 97 to 3433 out of 12812 (27%) after 120.3 sec
120.28/120.38	c [picomus] reduction 98 to 3432 out of 12812 (27%) after 120.4 sec
120.28/120.39	c [picomus] reduction 99 to 3431 out of 12812 (27%) after 120.4 sec
120.38/120.42	c [picomus] reduction 100 to 3430 out of 12812 (27%) after 120.4 sec
120.38/120.44	c [picomus] reduction 101 to 3428 out of 12812 (27%) after 120.4 sec
120.38/120.46	c [picomus] reduction 102 to 3426 out of 12812 (27%) after 120.5 sec
120.48/120.57	c [picomus] reduction 103 to 3423 out of 12812 (27%) after 120.6 sec
120.48/120.59	c [picomus] reduction 104 to 3422 out of 12812 (27%) after 120.6 sec
120.58/120.63	c [picomus] reduction 105 to 3421 out of 12812 (27%) after 120.6 sec
120.58/120.66	c [picomus] reduction 106 to 3418 out of 12812 (27%) after 120.7 sec
120.58/120.66	c [picomus] reduction 107 to 3410 out of 12812 (27%) after 120.7 sec
120.58/120.68	c [picomus] reduction 108 to 3408 out of 12812 (27%) after 120.7 sec
120.68/120.71	c [picomus] reduction 109 to 3407 out of 12812 (27%) after 120.7 sec
120.68/120.79	c [picomus] reduction 110 to 3406 out of 12812 (27%) after 120.8 sec
120.78/120.83	c [picomus] reduction 111 to 3403 out of 12812 (27%) after 120.8 sec
120.78/120.86	c [picomus] reduction 112 to 3402 out of 12812 (27%) after 120.9 sec
121.08/121.19	c [picomus] reduction 113 to 3401 out of 12812 (27%) after 121.2 sec
121.18/121.20	c [picomus] reduction 114 to 3400 out of 12812 (27%) after 121.2 sec
121.18/121.26	c [picomus] reduction 115 to 3394 out of 12812 (26%) after 121.3 sec
121.18/121.29	c [picomus] reduction 116 to 3393 out of 12812 (26%) after 121.3 sec
121.48/121.50	c [picomus] reduction 117 to 3370 out of 12812 (26%) after 121.5 sec
121.48/121.59	c [picomus] reduction 118 to 3362 out of 12812 (26%) after 121.6 sec
121.58/121.62	c [picomus] reduction 119 to 3361 out of 12812 (26%) after 121.6 sec
121.58/121.66	c [picomus] reduction 120 to 3353 out of 12812 (26%) after 121.7 sec
121.68/121.77	c [picomus] reduction 121 to 3348 out of 12812 (26%) after 121.8 sec
121.88/121.90	c [picomus] reduction 122 to 3344 out of 12812 (26%) after 121.9 sec
121.88/121.94	c [picomus] reduction 123 to 3343 out of 12812 (26%) after 121.9 sec
122.00/122.01	c [picomus] reduction 124 to 3342 out of 12812 (26%) after 122.0 sec
122.00/122.05	c [picomus] reduction 125 to 3323 out of 12812 (26%) after 122.1 sec
122.00/122.09	c [picomus] reduction 126 to 3320 out of 12812 (26%) after 122.1 sec
122.10/122.16	c [picomus] reduction 127 to 3319 out of 12812 (26%) after 122.2 sec
122.18/122.24	c [picomus] reduction 128 to 3316 out of 12812 (26%) after 122.2 sec
122.28/122.33	c [picomus] reduction 129 to 3315 out of 12812 (26%) after 122.3 sec
122.28/122.33	c [picomus] reduction 130 to 3314 out of 12812 (26%) after 122.3 sec
122.48/122.54	c [picomus] reduction 131 to 3308 out of 12812 (26%) after 122.5 sec
122.58/122.62	c [picomus] reduction 132 to 3307 out of 12812 (26%) after 122.6 sec
122.58/122.65	c [picomus] reduction 133 to 3306 out of 12812 (26%) after 122.7 sec
122.68/122.73	c [picomus] reduction 134 to 3294 out of 12812 (26%) after 122.7 sec
122.68/122.74	c [picomus] reduction 135 to 3293 out of 12812 (26%) after 122.7 sec
122.78/122.81	c [picomus] reduction 136 to 3285 out of 12812 (26%) after 122.8 sec
122.78/122.83	c [picomus] reduction 137 to 3284 out of 12812 (26%) after 122.8 sec
122.78/122.85	c [picomus] reduction 138 to 3283 out of 12812 (26%) after 122.8 sec
122.78/122.85	c [picomus] reduction 139 to 3260 out of 12812 (25%) after 122.9 sec
122.78/122.88	c [picomus] reduction 140 to 3259 out of 12812 (25%) after 122.9 sec
122.88/122.91	c [picomus] reduction 141 to 3257 out of 12812 (25%) after 122.9 sec
123.20/123.25	c [picomus] reduction 142 to 3256 out of 12812 (25%) after 123.3 sec
123.20/123.28	c [picomus] reduction 143 to 3255 out of 12812 (25%) after 123.3 sec
123.38/123.45	c [picomus] reduction 144 to 3253 out of 12812 (25%) after 123.4 sec
123.38/123.45	c [picomus] reduction 145 to 3241 out of 12812 (25%) after 123.5 sec
123.38/123.48	c [picomus] reduction 146 to 3239 out of 12812 (25%) after 123.5 sec
123.38/123.49	c [picomus] reduction 147 to 3237 out of 12812 (25%) after 123.5 sec
123.48/123.51	c [picomus] reduction 148 to 3236 out of 12812 (25%) after 123.5 sec
123.48/123.53	c [picomus] reduction 149 to 3235 out of 12812 (25%) after 123.5 sec
123.48/123.53	c [picomus] reduction 150 to 3233 out of 12812 (25%) after 123.5 sec
123.48/123.58	c [picomus] reduction 151 to 3232 out of 12812 (25%) after 123.6 sec
123.58/123.65	c [picomus] reduction 152 to 3229 out of 12812 (25%) after 123.6 sec
123.58/123.67	c [picomus] reduction 153 to 3227 out of 12812 (25%) after 123.7 sec
123.58/123.69	c [picomus] reduction 154 to 3225 out of 12812 (25%) after 123.7 sec
123.58/123.69	c [picomus] reduction 155 to 3224 out of 12812 (25%) after 123.7 sec
123.68/123.70	c [picomus] reduction 156 to 3222 out of 12812 (25%) after 123.7 sec
123.68/123.70	c [picomus] reduction 157 to 3221 out of 12812 (25%) after 123.7 sec
123.68/123.79	c [picomus] reduction 158 to 3218 out of 12812 (25%) after 123.8 sec
123.78/123.80	c [picomus] reduction 159 to 3217 out of 12812 (25%) after 123.8 sec
123.78/123.86	c [picomus] reduction 160 to 3214 out of 12812 (25%) after 123.9 sec
123.78/123.86	c [picomus] reduction 161 to 3213 out of 12812 (25%) after 123.9 sec
123.78/123.87	c [picomus] reduction 162 to 3210 out of 12812 (25%) after 123.9 sec
123.88/123.96	c [picomus] reduction 163 to 3208 out of 12812 (25%) after 124.0 sec
124.08/124.10	c [picomus] reduction 164 to 3207 out of 12812 (25%) after 124.1 sec
124.08/124.11	c [picomus] reduction 165 to 3206 out of 12812 (25%) after 124.1 sec
124.30/124.32	c [picomus] reduction 166 to 3205 out of 12812 (25%) after 124.3 sec
124.30/124.33	c [picomus] reduction 167 to 3204 out of 12812 (25%) after 124.3 sec
124.30/124.34	c [picomus] reduction 168 to 3203 out of 12812 (25%) after 124.3 sec
124.78/124.86	c [picomus] reduction 169 to 3202 out of 12812 (25%) after 124.9 sec
124.88/124.91	c [picomus] reduction 170 to 3201 out of 12812 (25%) after 124.9 sec
125.08/125.10	c [picomus] reduction 171 to 3200 out of 12812 (25%) after 125.1 sec
125.08/125.14	c [picomus] reduction 172 to 3199 out of 12812 (25%) after 125.1 sec
125.08/125.17	c [picomus] reduction 173 to 3198 out of 12812 (25%) after 125.2 sec
125.18/125.21	c [picomus] reduction 174 to 3197 out of 12812 (25%) after 125.2 sec
125.18/125.23	c [picomus] reduction 175 to 3196 out of 12812 (25%) after 125.2 sec
125.30/125.32	c [picomus] reduction 176 to 3195 out of 12812 (25%) after 125.3 sec
125.68/125.70	c [picomus] reduction 177 to 3194 out of 12812 (25%) after 125.7 sec
125.68/125.77	c [picomus] reduction 178 to 3193 out of 12812 (25%) after 125.8 sec
126.08/126.18	c [picomus] reduction 179 to 3192 out of 12812 (25%) after 126.2 sec
126.18/126.22	c [picomus] reduction 180 to 3191 out of 12812 (25%) after 126.2 sec
126.18/126.29	c [picomus] reduction 181 to 3190 out of 12812 (25%) after 126.3 sec
126.28/126.35	c [picomus] reduction 182 to 3189 out of 12812 (25%) after 126.3 sec
126.40/126.46	c [picomus] reduction 183 to 3179 out of 12812 (25%) after 126.5 sec
126.40/126.46	c [picomus] reduction 184 to 3178 out of 12812 (25%) after 126.5 sec
126.40/126.50	c [picomus] reduction 185 to 3172 out of 12812 (25%) after 126.5 sec
126.40/126.51	c [picomus] reduction 186 to 3171 out of 12812 (25%) after 126.5 sec
126.50/126.52	c [picomus] reduction 187 to 3170 out of 12812 (25%) after 126.5 sec
126.50/126.52	c [picomus] reduction 188 to 3167 out of 12812 (25%) after 126.5 sec
126.50/126.53	c [picomus] reduction 189 to 3166 out of 12812 (25%) after 126.5 sec
126.50/126.54	c [picomus] reduction 190 to 3165 out of 12812 (25%) after 126.5 sec
126.50/126.54	c [picomus] reduction 191 to 3164 out of 12812 (25%) after 126.5 sec
126.50/126.56	c [picomus] reduction 192 to 3163 out of 12812 (25%) after 126.6 sec
126.50/126.59	c [picomus] reduction 193 to 3162 out of 12812 (25%) after 126.6 sec
126.58/126.61	c [picomus] reduction 194 to 3161 out of 12812 (25%) after 126.6 sec
126.58/126.61	c [picomus] reduction 195 to 3160 out of 12812 (25%) after 126.6 sec
126.58/126.66	c [picomus] reduction 196 to 3159 out of 12812 (25%) after 126.7 sec
126.88/126.94	c [picomus] reduction 197 to 3158 out of 12812 (25%) after 126.9 sec
126.88/126.98	c [picomus] reduction 198 to 3156 out of 12812 (25%) after 127.0 sec
127.08/127.12	c [picomus] reduction 199 to 3155 out of 12812 (25%) after 127.1 sec
127.28/127.34	c [picomus] reduction 200 to 3154 out of 12812 (25%) after 127.3 sec
127.28/127.37	c [picomus] reduction 201 to 3153 out of 12812 (25%) after 127.4 sec
127.38/127.45	c [picomus] reduction 202 to 3152 out of 12812 (25%) after 127.4 sec
127.49/127.51	c [picomus] reduction 203 to 3148 out of 12812 (25%) after 127.5 sec
127.49/127.57	c [picomus] reduction 204 to 3147 out of 12812 (25%) after 127.6 sec
127.60/127.67	c [picomus] reduction 205 to 3146 out of 12812 (25%) after 127.7 sec
127.60/127.69	c [picomus] reduction 206 to 3145 out of 12812 (25%) after 127.7 sec
127.68/127.76	c [picomus] reduction 207 to 3144 out of 12812 (25%) after 127.8 sec
127.78/127.88	c [picomus] reduction 208 to 3143 out of 12812 (25%) after 127.9 sec
127.88/127.93	c [picomus] reduction 209 to 3142 out of 12812 (25%) after 127.9 sec
128.08/128.10	c [picomus] reduction 210 to 3140 out of 12812 (25%) after 128.1 sec
128.18/128.24	c [picomus] reduction 211 to 3139 out of 12812 (25%) after 128.2 sec
128.38/128.49	c [picomus] reduction 212 to 3137 out of 12812 (24%) after 128.5 sec
128.48/128.56	c [picomus] reduction 213 to 3136 out of 12812 (24%) after 128.6 sec
128.60/128.62	c [picomus] reduction 214 to 3135 out of 12812 (24%) after 128.6 sec
128.70/128.73	c [picomus] reduction 215 to 3134 out of 12812 (24%) after 128.7 sec
128.78/128.83	c [picomus] reduction 216 to 3132 out of 12812 (24%) after 128.8 sec
128.78/128.89	c [picomus] reduction 217 to 3131 out of 12812 (24%) after 128.9 sec
128.98/129.08	c [picomus] reduction 218 to 3130 out of 12812 (24%) after 129.1 sec
128.98/129.09	c [picomus] reduction 219 to 3129 out of 12812 (24%) after 129.1 sec
129.18/129.20	c [picomus] reduction 220 to 3128 out of 12812 (24%) after 129.2 sec
129.18/129.23	c [picomus] reduction 221 to 3127 out of 12812 (24%) after 129.2 sec
129.18/129.25	c [picomus] reduction 222 to 3126 out of 12812 (24%) after 129.2 sec
129.18/129.29	c [picomus] reduction 223 to 3125 out of 12812 (24%) after 129.3 sec
129.28/129.37	c [picomus] reduction 224 to 3124 out of 12812 (24%) after 129.4 sec
129.28/129.38	c [picomus] reduction 225 to 3123 out of 12812 (24%) after 129.4 sec
129.38/129.45	c [picomus] reduction 226 to 3122 out of 12812 (24%) after 129.4 sec
129.58/129.62	c [picomus] reduction 227 to 3121 out of 12812 (24%) after 129.6 sec
129.58/129.66	c [picomus] reduction 228 to 3120 out of 12812 (24%) after 129.7 sec
129.70/129.75	c [picomus] reduction 229 to 3119 out of 12812 (24%) after 129.7 sec
129.70/129.76	c [picomus] reduction 230 to 3118 out of 12812 (24%) after 129.8 sec
129.80/129.88	c [picomus] reduction 231 to 3117 out of 12812 (24%) after 129.9 sec
129.80/129.90	c [picomus] reduction 232 to 3116 out of 12812 (24%) after 129.9 sec
129.98/130.04	c [picomus] reduction 233 to 3115 out of 12812 (24%) after 130.0 sec
130.08/130.15	c [picomus] reduction 234 to 3114 out of 12812 (24%) after 130.1 sec
130.38/130.47	c [picomus] reduction 235 to 3112 out of 12812 (24%) after 130.5 sec
130.48/130.54	c [picomus] reduction 236 to 3111 out of 12812 (24%) after 130.5 sec
130.58/130.62	c [picomus] reduction 237 to 3110 out of 12812 (24%) after 130.6 sec
130.58/130.64	c [picomus] reduction 238 to 3109 out of 12812 (24%) after 130.6 sec
130.58/130.67	c [picomus] reduction 239 to 3108 out of 12812 (24%) after 130.7 sec
130.68/130.79	c [picomus] reduction 240 to 3105 out of 12812 (24%) after 130.8 sec
130.80/130.82	c [picomus] reduction 241 to 3104 out of 12812 (24%) after 130.8 sec
130.80/130.89	c [picomus] reduction 242 to 3103 out of 12812 (24%) after 130.9 sec
130.90/130.95	c [picomus] reduction 243 to 3102 out of 12812 (24%) after 130.9 sec
130.90/130.95	c [picomus] reduction 244 to 3100 out of 12812 (24%) after 130.9 sec
130.90/130.97	c [picomus] reduction 245 to 3099 out of 12812 (24%) after 131.0 sec
131.08/131.10	c [picomus] reduction 246 to 3097 out of 12812 (24%) after 131.1 sec
131.08/131.14	c [picosat] 3344 calls
131.08/131.14	c [picosat] 2 iterations
131.08/131.14	c [picosat] 346 restarts
131.08/131.14	c [picosat] 0 failed literals
131.08/131.14	c [picosat] 102294 conflicts
131.08/131.14	c [picosat] 36799595 decisions
131.08/131.14	c [picosat] 4254 fixed variables
131.08/131.14	c [picosat] 43678020 learned literals
131.08/131.14	c [picosat] 0.7% deleted literals
131.08/131.14	c [picosat] 45456845 propagations
131.08/131.14	c [picosat] 40.2% variables used
131.08/131.14	c [picosat] 21.9 seconds in library
131.08/131.14	c [picosat] 2.1 megaprops/second
131.08/131.14	c [picosat] probing 0.0 seconds 0%
131.08/131.14	c [picosat] 22 simplifications
131.08/131.14	c [picosat] 19 reductions
131.08/131.14	c [picosat] 167.6 MB recycled
131.08/131.14	c [picosat] 27.6 MB maximally allocated
131.08/131.14	c [picomus] found 9715 redundant clauses 76%
131.08/131.14	c [picomus] computed MUS of size 3097 out of 12812 (24%)
131.08/131.14	v 1
131.08/131.14	v 3
131.08/131.14	v 5
131.08/131.14	v 6
131.08/131.14	v 9
131.08/131.14	v 10
131.08/131.14	v 12
131.08/131.14	v 16
131.08/131.14	v 34
131.08/131.14	v 35
131.08/131.14	v 39
131.08/131.14	v 40
131.08/131.14	v 53
131.08/131.14	v 54
131.08/131.14	v 67
131.08/131.14	v 68
131.08/131.14	v 81
131.08/131.14	v 82
131.08/131.14	v 94
131.08/131.14	v 95
131.08/131.14	v 107
131.08/131.14	v 108
131.08/131.14	v 121
131.08/131.14	v 122
131.08/131.14	v 124
131.08/131.14	v 125
131.08/131.14	v 126
131.08/131.14	v 127
131.08/131.14	v 141
131.08/131.14	v 142
131.08/131.14	v 157
131.08/131.14	v 158
131.08/131.14	v 160
131.08/131.14	v 164
131.08/131.14	v 167
131.08/131.14	v 168
131.08/131.14	v 176
131.08/131.14	v 177
131.08/131.14	v 189
131.08/131.14	v 190
131.08/131.14	v 201
131.08/131.14	v 202
131.08/131.14	v 213
131.08/131.14	v 214
131.08/131.14	v 224
131.08/131.14	v 225
131.08/131.14	v 235
131.08/131.14	v 236
131.08/131.14	v 247
131.08/131.14	v 248
131.08/131.14	v 280
131.08/131.14	v 281
131.08/131.14	v 283
131.08/131.14	v 287
131.08/131.14	v 290
131.08/131.14	v 295
131.08/131.14	v 296
131.08/131.14	v 299
131.08/131.14	v 301
131.08/131.14	v 307
131.08/131.14	v 308
131.08/131.14	v 335
131.08/131.14	v 336
131.08/131.14	v 350
131.08/131.14	v 351
131.08/131.14	v 365
131.08/131.14	v 366
131.08/131.14	v 386
131.08/131.14	v 387
131.08/131.14	v 405
131.08/131.14	v 406
131.08/131.14	v 423
131.08/131.14	v 424
131.08/131.14	v 441
131.08/131.14	v 442
131.08/131.14	v 460
131.08/131.14	v 461
131.08/131.14	v 479
131.08/131.14	v 480
131.08/131.14	v 497
131.08/131.14	v 498
131.08/131.14	v 514
131.08/131.14	v 515
131.08/131.14	v 531
131.08/131.14	v 532
131.08/131.14	v 552
131.08/131.14	v 553
131.08/131.14	v 574
131.08/131.14	v 575
131.08/131.14	v 598
131.08/131.14	v 599
131.08/131.14	v 622
131.08/131.14	v 623
131.08/131.14	v 648
131.08/131.14	v 649
131.08/131.14	v 674
131.08/131.14	v 675
131.08/131.14	v 710
131.08/131.14	v 711
131.08/131.14	v 715
131.08/131.14	v 716
131.08/131.14	v 720
131.08/131.14	v 721
131.08/131.14	v 736
131.08/131.14	v 737
131.08/131.14	v 751
131.08/131.14	v 752
131.08/131.14	v 766
131.08/131.14	v 767
131.08/131.14	v 782
131.08/131.14	v 783
131.08/131.14	v 798
131.08/131.14	v 799
131.08/131.14	v 813
131.08/131.14	v 814
131.08/131.14	v 828
131.08/131.14	v 829
131.08/131.14	v 843
131.08/131.14	v 844
131.08/131.14	v 857
131.08/131.14	v 858
131.08/131.14	v 873
131.08/131.14	v 874
131.08/131.14	v 889
131.08/131.14	v 890
131.08/131.14	v 906
131.08/131.14	v 907
131.08/131.14	v 923
131.08/131.14	v 924
131.08/131.14	v 941
131.08/131.14	v 942
131.08/131.14	v 959
131.08/131.14	v 960
131.08/131.14	v 962
131.08/131.14	v 963
131.08/131.14	v 964
131.08/131.14	v 965
131.08/131.14	v 968
131.08/131.14	v 969
131.08/131.14	v 978
131.08/131.14	v 979
131.08/131.14	v 980
131.08/131.14	v 981
131.08/131.14	v 988
131.08/131.14	v 994
131.08/131.14	v 998
131.08/131.14	v 1004
131.08/131.14	v 1005
131.08/131.14	v 1007
131.08/131.14	v 1023
131.08/131.14	v 1024
131.08/131.14	v 1034
131.08/131.14	v 1035
131.08/131.14	v 1037
131.08/131.14	v 1038
131.08/131.14	v 1039
131.08/131.14	v 1040
131.08/131.14	v 1041
131.08/131.14	v 1042
131.08/131.14	v 1045
131.08/131.14	v 1048
131.08/131.14	v 1049
131.08/131.14	v 1051
131.08/131.14	v 1080
131.08/131.14	v 1081
131.08/131.14	v 1083
131.08/131.14	v 1111
131.08/131.14	v 1112
131.08/131.14	v 1115
131.08/131.14	v 1116
131.08/131.14	v 1138
131.08/131.14	v 1139
131.08/131.14	v 1155
131.08/131.14	v 1156
131.08/131.14	v 1170
131.08/131.14	v 1171
131.08/131.14	v 1184
131.08/131.14	v 1185
131.08/131.14	v 1198
131.08/131.14	v 1199
131.08/131.14	v 1213
131.08/131.14	v 1214
131.08/131.14	v 1228
131.08/131.14	v 1229
131.08/131.14	v 1242
131.08/131.14	v 1243
131.08/131.14	v 1255
131.08/131.14	v 1256
131.08/131.14	v 1268
131.08/131.14	v 1269
131.08/131.14	v 1285
131.08/131.14	v 1286
131.08/131.14	v 1303
131.08/131.14	v 1304
131.08/131.14	v 1323
131.08/131.14	v 1324
131.08/131.14	v 1343
131.08/131.14	v 1344
131.08/131.14	v 1365
131.08/131.14	v 1366
131.08/131.14	v 1369
131.08/131.14	v 1370
131.08/131.14	v 1373
131.08/131.14	v 1376
131.08/131.14	v 1377
131.08/131.14	v 1386
131.08/131.14	v 1396
131.08/131.14	v 1397
131.08/131.14	v 1417
131.08/131.14	v 1418
131.08/131.14	v 1420
131.08/131.14	v 1421
131.08/131.14	v 1424
131.08/131.14	v 1425
131.08/131.14	v 1434
131.08/131.14	v 1435
131.08/131.14	v 1438
131.08/131.14	v 1441
131.08/131.14	v 1442
131.08/131.14	v 1454
131.08/131.14	v 1455
131.08/131.14	v 1458
131.08/131.14	v 1461
131.08/131.14	v 1462
131.08/131.14	v 1473
131.08/131.14	v 1474
131.08/131.14	v 1477
131.08/131.14	v 1480
131.08/131.14	v 1481
131.08/131.14	v 1492
131.08/131.14	v 1495
131.08/131.14	v 1498
131.08/131.14	v 1499
131.08/131.14	v 1509
131.08/131.14	v 1512
131.08/131.14	v 1515
131.08/131.14	v 1516
131.08/131.14	v 1526
131.08/131.14	v 1530
131.08/131.14	v 1531
131.08/131.14	v 1551
131.08/131.14	v 1552
131.08/131.14	v 1555
131.08/131.14	v 1556
131.08/131.14	v 1578
131.08/131.14	v 1579
131.08/131.14	v 1581
131.08/131.14	v 1610
131.08/131.14	v 1611
131.08/131.14	v 1613
131.08/131.14	v 1641
131.08/131.14	v 1642
131.08/131.14	v 1658
131.08/131.14	v 1659
131.08/131.14	v 1673
131.08/131.14	v 1674
131.08/131.14	v 1687
131.08/131.14	v 1688
131.08/131.14	v 1701
131.08/131.14	v 1702
131.08/131.14	v 1716
131.08/131.14	v 1717
131.08/131.14	v 1731
131.08/131.14	v 1732
131.08/131.14	v 1745
131.08/131.14	v 1746
131.08/131.14	v 1758
131.08/131.14	v 1759
131.08/131.14	v 1771
131.08/131.14	v 1772
131.08/131.14	v 1788
131.08/131.14	v 1789
131.08/131.14	v 1806
131.08/131.14	v 1807
131.08/131.14	v 1826
131.08/131.14	v 1827
131.08/131.14	v 1846
131.08/131.14	v 1847
131.08/131.14	v 1868
131.08/131.14	v 1869
131.08/131.14	v 1872
131.08/131.14	v 1873
131.08/131.14	v 1876
131.08/131.14	v 1879
131.08/131.14	v 1880
131.08/131.14	v 1889
131.08/131.14	v 1899
131.08/131.14	v 1900
131.08/131.14	v 1920
131.08/131.14	v 1921
131.08/131.14	v 1923
131.08/131.14	v 1924
131.08/131.14	v 1927
131.08/131.14	v 1928
131.08/131.14	v 1937
131.08/131.14	v 1938
131.08/131.14	v 1941
131.08/131.14	v 1944
131.08/131.14	v 1945
131.08/131.14	v 1957
131.08/131.14	v 1958
131.08/131.14	v 1961
131.08/131.14	v 1964
131.08/131.14	v 1965
131.08/131.14	v 1976
131.08/131.14	v 1977
131.08/131.14	v 1980
131.08/131.14	v 1983
131.08/131.14	v 1984
131.08/131.14	v 1995
131.08/131.14	v 1998
131.08/131.14	v 2001
131.08/131.14	v 2002
131.08/131.14	v 2012
131.08/131.14	v 2015
131.08/131.14	v 2018
131.08/131.14	v 2019
131.08/131.14	v 2029
131.08/131.14	v 2033
131.08/131.14	v 2034
131.08/131.14	v 2057
131.08/131.14	v 2058
131.08/131.14	v 2059
131.08/131.14	v 2060
131.08/131.14	v 2063
131.08/131.14	v 2064
131.08/131.14	v 2073
131.08/131.14	v 2076
131.08/131.14	v 2077
131.08/131.14	v 2093
131.08/131.14	v 2097
131.08/131.14	v 2099
131.08/131.14	v 2119
131.08/131.14	v 2120
131.08/131.14	v 2123
131.08/131.14	v 2124
131.08/131.14	v 2126
131.08/131.14	v 2143
131.08/131.14	v 2161
131.08/131.14	v 2162
131.08/131.14	v 2164
131.08/131.14	v 2166
131.08/131.14	v 2169
131.08/131.14	v 2170
131.08/131.14	v 2182
131.08/131.14	v 2183
131.08/131.14	v 2195
131.08/131.14	v 2196
131.08/131.14	v 2208
131.08/131.14	v 2209
131.08/131.14	v 2220
131.08/131.14	v 2221
131.08/131.14	v 2232
131.08/131.14	v 2233
131.08/131.14	v 2245
131.08/131.14	v 2246
131.08/131.14	v 2260
131.08/131.14	v 2261
131.08/131.14	v 2275
131.08/131.14	v 2276
131.08/131.14	v 2278
131.08/131.14	v 2297
131.08/131.14	v 2299
131.08/131.14	v 2304
131.08/131.14	v 2311
131.08/131.14	v 2312
131.08/131.14	v 2320
131.08/131.14	v 2321
131.08/131.14	v 2332
131.08/131.14	v 2333
131.08/131.14	v 2343
131.08/131.14	v 2344
131.08/131.14	v 2354
131.08/131.14	v 2355
131.08/131.14	v 2364
131.08/131.14	v 2365
131.08/131.14	v 2374
131.08/131.14	v 2375
131.08/131.14	v 2385
131.08/131.14	v 2386
131.08/131.14	v 2416
131.08/131.14	v 2417
131.08/131.14	v 2419
131.08/131.14	v 2437
131.08/131.14	v 2441
131.08/131.14	v 2447
131.08/131.14	v 2448
131.08/131.14	v 2472
131.08/131.14	v 2473
131.08/131.14	v 2478
131.08/131.14	v 2479
131.08/131.14	v 2493
131.08/131.14	v 2494
131.08/131.14	v 2508
131.08/131.14	v 2509
131.08/131.14	v 2528
131.08/131.14	v 2529
131.08/131.14	v 2546
131.08/131.14	v 2547
131.08/131.14	v 2563
131.08/131.14	v 2564
131.08/131.14	v 2580
131.08/131.14	v 2581
131.08/131.14	v 2598
131.08/131.14	v 2599
131.08/131.14	v 2616
131.08/131.14	v 2617
131.08/131.14	v 2633
131.08/131.14	v 2634
131.08/131.14	v 2649
131.08/131.14	v 2650
131.08/131.14	v 2665
131.08/131.14	v 2666
131.08/131.14	v 2685
131.08/131.14	v 2686
131.08/131.14	v 2706
131.08/131.14	v 2707
131.08/131.14	v 2729
131.08/131.14	v 2730
131.08/131.14	v 2752
131.08/131.14	v 2753
131.08/131.14	v 2777
131.08/131.14	v 2778
131.08/131.14	v 2802
131.08/131.14	v 2803
131.08/131.14	v 2836
131.08/131.14	v 2837
131.08/131.14	v 2839
131.08/131.14	v 2841
131.08/131.14	v 2843
131.08/131.14	v 2846
131.08/131.14	v 2847
131.08/131.14	v 2860
131.08/131.14	v 2861
131.08/131.14	v 2872
131.08/131.14	v 2873
131.08/131.14	v 2882
131.08/131.14	v 2883
131.08/131.14	v 2891
131.08/131.14	v 2892
131.08/131.14	v 2900
131.08/131.14	v 2901
131.08/131.14	v 2910
131.08/131.14	v 2911
131.08/131.14	v 2932
131.08/131.14	v 2933
131.08/131.14	v 2935
131.08/131.14	v 2937
131.08/131.14	v 2939
131.08/131.14	v 2942
131.08/131.14	v 2943
131.08/131.14	v 2967
131.08/131.14	v 2968
131.08/131.14	v 2974
131.08/131.14	v 2975
131.08/131.14	v 2993
131.08/131.14	v 2994
131.08/131.14	v 3010
131.08/131.14	v 3011
131.08/131.14	v 3026
131.08/131.14	v 3027
131.08/131.14	v 3045
131.08/131.14	v 3046
131.08/131.14	v 3066
131.08/131.14	v 3067
131.08/131.14	v 3083
131.08/131.14	v 3084
131.08/131.14	v 3099
131.08/131.14	v 3100
131.08/131.14	v 3117
131.08/131.14	v 3118
131.08/131.14	v 3136
131.08/131.14	v 3137
131.08/131.14	v 3155
131.08/131.14	v 3156
131.08/131.14	v 3175
131.08/131.14	v 3176
131.08/131.14	v 3197
131.08/131.14	v 3198
131.08/131.14	v 3219
131.08/131.14	v 3220
131.08/131.14	v 3243
131.08/131.14	v 3244
131.08/131.14	v 3267
131.08/131.14	v 3268
131.08/131.14	v 3293
131.08/131.14	v 3294
131.08/131.14	v 3308
131.08/131.14	v 3309
131.08/131.14	v 3322
131.08/131.14	v 3323
131.08/131.14	v 3336
131.08/131.14	v 3337
131.08/131.14	v 3351
131.08/131.14	v 3352
131.08/131.14	v 3366
131.08/131.14	v 3367
131.08/131.14	v 3380
131.08/131.14	v 3381
131.08/131.14	v 3394
131.08/131.14	v 3395
131.08/131.14	v 3408
131.08/131.14	v 3409
131.08/131.14	v 3421
131.08/131.14	v 3422
131.08/131.14	v 3436
131.08/131.14	v 3437
131.08/131.14	v 3451
131.08/131.14	v 3452
131.08/131.14	v 3467
131.08/131.14	v 3468
131.08/131.14	v 3483
131.08/131.14	v 3484
131.08/131.14	v 3500
131.08/131.14	v 3501
131.08/131.14	v 3517
131.08/131.14	v 3518
131.08/131.14	v 3520
131.08/131.14	v 3521
131.08/131.14	v 3522
131.08/131.14	v 3523
131.08/131.14	v 3538
131.08/131.14	v 3539
131.08/131.14	v 3546
131.08/131.14	v 3547
131.08/131.14	v 3550
131.08/131.14	v 3561
131.08/131.14	v 3562
131.08/131.14	v 3564
131.08/131.14	v 3565
131.08/131.14	v 3566
131.08/131.14	v 3567
131.08/131.14	v 3568
131.08/131.14	v 3569
131.08/131.14	v 3570
131.08/131.14	v 3571
131.08/131.14	v 3572
131.08/131.14	v 3573
131.08/131.14	v 3576
131.08/131.14	v 3579
131.08/131.14	v 3580
131.08/131.14	v 3582
131.08/131.14	v 3607
131.08/131.14	v 3608
131.08/131.14	v 3617
131.08/131.14	v 3634
131.08/131.14	v 3635
131.08/131.14	v 3650
131.08/131.14	v 3651
131.08/131.14	v 3664
131.08/131.14	v 3665
131.08/131.14	v 3677
131.08/131.14	v 3678
131.08/131.14	v 3690
131.08/131.14	v 3691
131.08/131.14	v 3704
131.08/131.14	v 3705
131.08/131.14	v 3718
131.08/131.14	v 3719
131.08/131.14	v 3731
131.08/131.14	v 3732
131.08/131.14	v 3743
131.08/131.14	v 3744
131.08/131.14	v 3755
131.08/131.14	v 3756
131.08/131.14	v 3771
131.08/131.14	v 3772
131.08/131.14	v 3788
131.08/131.14	v 3789
131.08/131.14	v 3807
131.08/131.14	v 3808
131.08/131.14	v 3826
131.08/131.14	v 3827
131.08/131.14	v 3847
131.08/131.14	v 3848
131.08/131.14	v 3868
131.08/131.14	v 3869
131.08/131.14	v 3889
131.08/131.14	v 3890
131.08/131.14	v 3910
131.08/131.14	v 3911
131.08/131.14	v 3931
131.08/131.14	v 3932
131.08/131.14	v 3941
131.08/131.14	v 3959
131.08/131.14	v 3960
131.08/131.14	v 3969
131.08/131.14	v 3986
131.08/131.14	v 3987
131.08/131.14	v 4002
131.08/131.14	v 4003
131.08/131.14	v 4016
131.08/131.14	v 4017
131.08/131.14	v 4029
131.08/131.14	v 4030
131.08/131.14	v 4042
131.08/131.14	v 4043
131.08/131.14	v 4056
131.08/131.14	v 4057
131.08/131.14	v 4070
131.08/131.14	v 4071
131.08/131.14	v 4083
131.08/131.14	v 4084
131.08/131.14	v 4095
131.08/131.14	v 4096
131.08/131.14	v 4107
131.08/131.14	v 4108
131.08/131.14	v 4123
131.08/131.14	v 4124
131.08/131.14	v 4140
131.08/131.14	v 4141
131.08/131.14	v 4159
131.08/131.14	v 4160
131.08/131.14	v 4178
131.08/131.14	v 4179
131.08/131.14	v 4199
131.08/131.14	v 4200
131.08/131.14	v 4220
131.08/131.14	v 4221
131.08/131.14	v 4237
131.08/131.14	v 4238
131.08/131.14	v 4243
131.08/131.14	v 4244
131.08/131.14	v 4258
131.08/131.14	v 4259
131.08/131.14	v 4271
131.08/131.14	v 4272
131.08/131.14	v 4283
131.08/131.14	v 4284
131.08/131.14	v 4298
131.08/131.14	v 4299
131.08/131.14	v 4315
131.08/131.14	v 4316
131.08/131.14	v 4328
131.08/131.14	v 4329
131.08/131.14	v 4340
131.08/131.14	v 4341
131.08/131.14	v 4354
131.08/131.14	v 4355
131.08/131.14	v 4369
131.08/131.14	v 4370
131.08/131.14	v 4384
131.08/131.14	v 4385
131.08/131.14	v 4400
131.08/131.14	v 4401
131.08/131.14	v 4418
131.08/131.14	v 4419
131.08/131.14	v 4436
131.08/131.14	v 4437
131.08/131.14	v 4456
131.08/131.14	v 4457
131.08/131.14	v 4476
131.08/131.14	v 4477
131.08/131.14	v 4491
131.08/131.14	v 4492
131.08/131.14	v 4495
131.08/131.14	v 4496
131.08/131.14	v 4499
131.08/131.14	v 4500
131.08/131.14	v 4506
131.08/131.14	v 4507
131.08/131.14	v 4516
131.08/131.14	v 4518
131.08/131.14	v 4521
131.08/131.14	v 4522
131.08/131.14	v 4525
131.08/131.14	v 4528
131.08/131.14	v 4529
131.08/131.14	v 4532
131.08/131.14	v 4535
131.08/131.14	v 4538
131.08/131.14	v 4540
131.08/131.14	v 4543
131.08/131.14	v 4545
131.08/131.14	v 4550
131.08/131.14	v 4551
131.08/131.14	v 4565
131.08/131.14	v 4566
131.08/131.14	v 4574
131.08/131.14	v 4575
131.08/131.14	v 4589
131.08/131.14	v 4590
131.08/131.14	v 4602
131.08/131.14	v 4603
131.08/131.14	v 4614
131.08/131.14	v 4615
131.08/131.14	v 4629
131.08/131.14	v 4630
131.08/131.14	v 4646
131.08/131.14	v 4647
131.08/131.14	v 4659
131.08/131.14	v 4660
131.08/131.14	v 4671
131.08/131.14	v 4672
131.08/131.14	v 4685
131.08/131.14	v 4686
131.08/131.14	v 4700
131.08/131.14	v 4701
131.08/131.14	v 4715
131.08/131.14	v 4716
131.08/131.14	v 4731
131.08/131.14	v 4732
131.08/131.14	v 4749
131.08/131.14	v 4750
131.08/131.14	v 4767
131.08/131.14	v 4768
131.08/131.14	v 4787
131.08/131.14	v 4788
131.08/131.14	v 4800
131.08/131.14	v 4801
131.08/131.14	v 4804
131.08/131.14	v 4805
131.08/131.14	v 4813
131.08/131.14	v 4814
131.08/131.14	v 4823
131.08/131.14	v 4825
131.08/131.14	v 4828
131.08/131.14	v 4829
131.08/131.14	v 4832
131.08/131.14	v 4835
131.08/131.14	v 4836
131.08/131.14	v 4839
131.08/131.14	v 4842
131.08/131.14	v 4845
131.08/131.14	v 4847
131.08/131.14	v 4850
131.08/131.14	v 4852
131.08/131.14	v 4855
131.08/131.14	v 4857
131.08/131.14	v 4861
131.08/131.14	v 4862
131.08/131.14	v 4865
131.08/131.14	v 4866
131.08/131.14	v 4875
131.08/131.14	v 4876
131.08/131.14	v 4878
131.08/131.14	v 4880
131.08/131.14	v 4882
131.08/131.14	v 4884
131.08/131.14	v 4886
131.08/131.14	v 4892
131.08/131.14	v 4893
131.08/131.14	v 4895
131.08/131.14	v 4897
131.08/131.14	v 4899
131.08/131.14	v 4903
131.08/131.14	v 4912
131.08/131.14	v 4913
131.08/131.14	v 4915
131.08/131.14	v 4917
131.08/131.14	v 4919
131.08/131.14	v 4925
131.08/131.14	v 4933
131.08/131.14	v 4935
131.08/131.14	v 4937
131.08/131.14	v 4938
131.08/131.14	v 4939
131.08/131.14	v 4940
131.08/131.14	v 4943
131.08/131.14	v 4944
131.08/131.14	v 4945
131.08/131.14	v 4954
131.08/131.14	v 4955
131.08/131.14	v 4961
131.08/131.14	v 4963
131.08/131.14	v 4964
131.08/131.14	v 4965
131.08/131.14	v 4966
131.08/131.14	v 4970
131.08/131.14	v 4972
131.08/131.14	v 4973
131.08/131.14	v 4984
131.08/131.14	v 5023
131.08/131.14	v 5025
131.08/131.14	v 5047
131.08/131.14	v 5048
131.08/131.14	v 5052
131.08/131.14	v 5068
131.08/131.14	v 5069
131.08/131.14	v 5073
131.08/131.14	v 5075
131.08/131.14	v 5092
131.08/131.14	v 5093
131.08/131.14	v 5097
131.08/131.14	v 5099
131.08/131.14	v 5120
131.08/131.14	v 5125
131.08/131.14	v 5126
131.08/131.14	v 5127
131.08/131.14	v 5128
131.08/131.14	v 5129
131.08/131.14	v 5130
131.08/131.14	v 5131
131.08/131.14	v 5132
131.08/131.14	v 5133
131.08/131.14	v 5135
131.08/131.14	v 5136
131.08/131.14	v 5137
131.08/131.14	v 5138
131.08/131.14	v 5141
131.08/131.14	v 5146
131.08/131.14	v 5150
131.08/131.14	v 5151
131.08/131.14	v 5152
131.08/131.14	v 5153
131.08/131.14	v 5154
131.08/131.14	v 5155
131.08/131.14	v 5156
131.08/131.14	v 5157
131.08/131.14	v 5158
131.08/131.14	v 5159
131.08/131.14	v 5160
131.08/131.14	v 5161
131.08/131.14	v 5162
131.08/131.14	v 5163
131.08/131.14	v 5164
131.08/131.14	v 5165
131.08/131.14	v 5168
131.08/131.14	v 5169
131.08/131.14	v 5170
131.08/131.14	v 5171
131.08/131.14	v 5172
131.08/131.14	v 5173
131.08/131.14	v 5174
131.08/131.14	v 5175
131.08/131.14	v 5178
131.08/131.14	v 5179
131.08/131.14	v 5183
131.08/131.14	v 5185
131.08/131.14	v 5186
131.08/131.14	v 5187
131.08/131.14	v 5188
131.08/131.14	v 5189
131.08/131.14	v 5190
131.08/131.14	v 5191
131.08/131.14	v 5192
131.08/131.14	v 5193
131.08/131.14	v 5194
131.08/131.14	v 5195
131.08/131.14	v 5196
131.08/131.14	v 5197
131.08/131.14	v 5198
131.08/131.14	v 5199
131.08/131.14	v 5200
131.08/131.14	v 5201
131.08/131.14	v 5202
131.08/131.14	v 5204
131.08/131.14	v 5205
131.08/131.14	v 5206
131.08/131.14	v 5207
131.08/131.14	v 5208
131.08/131.14	v 5209
131.08/131.14	v 5210
131.08/131.14	v 5211
131.08/131.14	v 5212
131.08/131.14	v 5213
131.08/131.14	v 5214
131.08/131.14	v 5215
131.08/131.14	v 5216
131.08/131.14	v 5217
131.08/131.14	v 5218
131.08/131.14	v 5219
131.08/131.14	v 5220
131.08/131.14	v 5221
131.08/131.14	v 5222
131.08/131.14	v 5223
131.08/131.14	v 5224
131.08/131.14	v 5225
131.08/131.14	v 5233
131.08/131.14	v 5234
131.08/131.14	v 5253
131.08/131.14	v 5254
131.08/131.14	v 5256
131.08/131.14	v 5258
131.08/131.14	v 5260
131.08/131.14	v 5271
131.08/131.14	v 5281
131.08/131.14	v 5283
131.08/131.14	v 5299
131.08/131.14	v 5300
131.08/131.14	v 5307
131.08/131.14	v 5309
131.08/131.14	v 5315
131.08/131.14	v 5316
131.08/131.14	v 5327
131.08/131.14	v 5328
131.08/131.14	v 5339
131.08/131.14	v 5340
131.08/131.14	v 5350
131.08/131.14	v 5351
131.08/131.14	v 5361
131.08/131.14	v 5362
131.08/131.14	v 5373
131.08/131.14	v 5374
131.08/131.14	v 5384
131.08/131.14	v 5385
131.08/131.14	v 5386
131.08/131.14	v 5387
131.08/131.14	v 5388
131.08/131.14	v 5389
131.08/131.14	v 5391
131.08/131.14	v 5392
131.08/131.14	v 5393
131.08/131.14	v 5394
131.08/131.14	v 5395
131.08/131.14	v 5396
131.08/131.14	v 5397
131.08/131.14	v 5398
131.08/131.14	v 5399
131.08/131.14	v 5400
131.08/131.14	v 5401
131.08/131.14	v 5402
131.08/131.14	v 5403
131.08/131.14	v 5404
131.08/131.14	v 5405
131.08/131.14	v 5406
131.08/131.14	v 5407
131.08/131.14	v 5408
131.08/131.14	v 5411
131.08/131.14	v 5412
131.08/131.14	v 5414
131.08/131.14	v 5416
131.08/131.14	v 5418
131.08/131.14	v 5431
131.08/131.14	v 5442
131.08/131.14	v 5444
131.08/131.14	v 5463
131.08/131.14	v 5464
131.08/131.14	v 5466
131.08/131.14	v 5468
131.08/131.14	v 5470
131.08/131.14	v 5482
131.08/131.14	v 5492
131.08/131.14	v 5494
131.08/131.14	v 5512
131.08/131.14	v 5513
131.08/131.14	v 5526
131.08/131.14	v 5527
131.08/131.14	v 5539
131.08/131.14	v 5540
131.08/131.14	v 5552
131.08/131.14	v 5553
131.08/131.14	v 5555
131.08/131.14	v 5557
131.08/131.14	v 5559
131.08/131.14	v 5579
131.08/131.14	v 5580
131.08/131.14	v 5583
131.08/131.14	v 5585
131.08/131.14	v 5587
131.08/131.14	v 5589
131.08/131.14	v 5591
131.08/131.14	v 5601
131.08/131.14	v 5619
131.08/131.14	v 5620
131.08/131.14	v 5632
131.08/131.14	v 5633
131.08/131.14	v 5645
131.08/131.14	v 5646
131.08/131.14	v 5648
131.08/131.14	v 5650
131.08/131.14	v 5652
131.08/131.14	v 5671
131.08/131.14	v 5672
131.08/131.14	v 5675
131.08/131.14	v 5677
131.08/131.14	v 5679
131.08/131.14	v 5681
131.08/131.14	v 5683
131.08/131.14	v 5693
131.08/131.14	v 5707
131.08/131.14	v 5708
131.08/131.14	v 5721
131.08/131.14	v 5722
131.08/131.14	v 5735
131.08/131.14	v 5736
131.08/131.14	v 5750
131.08/131.14	v 5751
131.08/131.14	v 5765
131.08/131.14	v 5766
131.08/131.14	v 5781
131.08/131.14	v 5782
131.08/131.14	v 5797
131.08/131.14	v 5798
131.08/131.14	v 5811
131.08/131.14	v 5812
131.08/131.14	v 5815
131.08/131.14	v 5816
131.08/131.14	v 5819
131.08/131.14	v 5820
131.08/131.14	v 5822
131.08/131.14	v 5823
131.08/131.14	v 5824
131.08/131.14	v 5825
131.08/131.14	v 5826
131.08/131.14	v 5827
131.08/131.14	v 5828
131.08/131.14	v 5831
131.08/131.14	v 5832
131.08/131.14	v 5833
131.08/131.14	v 5834
131.08/131.14	v 5835
131.08/131.14	v 5837
131.08/131.14	v 5838
131.08/131.14	v 5839
131.08/131.14	v 5840
131.08/131.14	v 5841
131.08/131.14	v 5842
131.08/131.14	v 5843
131.08/131.14	v 5845
131.08/131.14	v 5846
131.08/131.14	v 5847
131.08/131.14	v 5848
131.08/131.14	v 5849
131.08/131.14	v 5850
131.08/131.14	v 5851
131.08/131.14	v 5853
131.08/131.14	v 5854
131.08/131.14	v 5855
131.08/131.14	v 5856
131.08/131.14	v 5857
131.08/131.14	v 5858
131.08/131.14	v 5859
131.08/131.14	v 5860
131.08/131.14	v 5861
131.08/131.14	v 5862
131.08/131.14	v 5863
131.08/131.14	v 5864
131.08/131.14	v 5865
131.08/131.14	v 5866
131.08/131.14	v 5867
131.08/131.14	v 5870
131.08/131.14	v 5871
131.08/131.14	v 5873
131.08/131.14	v 5874
131.08/131.14	v 5875
131.08/131.14	v 5876
131.08/131.14	v 5877
131.08/131.14	v 5880
131.08/131.14	v 5882
131.08/131.14	v 5883
131.08/131.14	v 5884
131.08/131.14	v 5885
131.08/131.14	v 5888
131.08/131.14	v 5889
131.08/131.14	v 5890
131.08/131.14	v 5891
131.08/131.14	v 5894
131.08/131.14	v 5895
131.08/131.14	v 5896
131.08/131.14	v 5899
131.08/131.14	v 5900
131.08/131.14	v 5901
131.08/131.14	v 5904
131.08/131.14	v 5905
131.08/131.14	v 5906
131.08/131.14	v 5907
131.08/131.14	v 5910
131.08/131.14	v 5911
131.08/131.14	v 5912
131.08/131.14	v 5913
131.08/131.14	v 5917
131.08/131.14	v 5922
131.08/131.14	v 5923
131.08/131.14	v 5925
131.08/131.14	v 5930
131.08/131.14	v 5931
131.08/131.14	v 5933
131.08/131.14	v 5937
131.08/131.14	v 5938
131.08/131.14	v 5940
131.08/131.14	v 5944
131.08/131.14	v 5945
131.08/131.14	v 5947
131.08/131.14	v 5952
131.08/131.14	v 5953
131.08/131.14	v 5955
131.08/131.14	v 5961
131.08/131.14	v 5962
131.08/131.14	v 5963
131.08/131.14	v 5964
131.08/131.14	v 5965
131.08/131.14	v 5966
131.08/131.14	v 5967
131.08/131.14	v 5972
131.08/131.14	v 5974
131.08/131.14	v 5975
131.08/131.14	v 5976
131.08/131.14	v 5977
131.08/131.14	v 5979
131.08/131.14	v 5984
131.08/131.14	v 5985
131.08/131.14	v 5987
131.08/131.14	v 5988
131.08/131.14	v 5990
131.08/131.14	v 5993
131.08/131.14	v 5994
131.08/131.14	v 5995
131.08/131.14	v 5996
131.08/131.14	v 5998
131.08/131.14	v 6003
131.08/131.14	v 6004
131.08/131.14	v 6005
131.08/131.14	v 6006
131.08/131.14	v 6008
131.08/131.14	v 6013
131.08/131.14	v 6014
131.08/131.14	v 6015
131.08/131.14	v 6016
131.08/131.14	v 6019
131.08/131.14	v 6024
131.08/131.14	v 6025
131.08/131.14	v 6026
131.08/131.14	v 6027
131.08/131.14	v 6030
131.08/131.14	v 6035
131.08/131.14	v 6036
131.08/131.14	v 6037
131.08/131.14	v 6038
131.08/131.14	v 6042
131.08/131.14	v 6047
131.08/131.14	v 6048
131.08/131.14	v 6049
131.08/131.14	v 6050
131.08/131.14	v 6054
131.08/131.14	v 6059
131.08/131.14	v 6060
131.08/131.14	v 6061
131.08/131.14	v 6062
131.08/131.14	v 6064
131.08/131.14	v 6069
131.08/131.14	v 6070
131.08/131.14	v 6071
131.08/131.14	v 6072
131.08/131.14	v 6073
131.08/131.14	v 6076
131.08/131.14	v 6078
131.08/131.14	v 6079
131.08/131.14	v 6080
131.08/131.14	v 6084
131.08/131.14	v 6089
131.08/131.14	v 6090
131.08/131.14	v 6091
131.08/131.14	v 6092
131.08/131.14	v 6093
131.08/131.14	v 6095
131.08/131.14	v 6096
131.08/131.14	v 6097
131.08/131.14	v 6098
131.08/131.14	v 6099
131.08/131.14	v 6103
131.08/131.14	v 6114
131.08/131.14	v 6115
131.08/131.14	v 6117
131.08/131.14	v 6118
131.08/131.14	v 6119
131.08/131.14	v 6125
131.08/131.14	v 6126
131.08/131.14	v 6131
131.08/131.14	v 6132
131.08/131.14	v 6133
131.08/131.14	v 6138
131.08/131.14	v 6140
131.08/131.14	v 6143
131.08/131.14	v 6144
131.08/131.14	v 6145
131.08/131.14	v 6149
131.08/131.14	v 6150
131.08/131.14	v 6153
131.08/131.14	v 6154
131.08/131.14	v 6155
131.08/131.14	v 6156
131.08/131.14	v 6162
131.08/131.14	v 6163
131.08/131.14	v 6168
131.08/131.14	v 6169
131.08/131.14	v 6170
131.08/131.14	v 6177
131.08/131.14	v 6178
131.08/131.14	v 6183
131.08/131.14	v 6184
131.08/131.14	v 6186
131.08/131.14	v 6194
131.08/131.14	v 6195
131.08/131.14	v 6200
131.08/131.14	v 6201
131.08/131.14	v 6203
131.08/131.14	v 6211
131.08/131.14	v 6212
131.08/131.14	v 6217
131.08/131.14	v 6218
131.08/131.14	v 6221
131.08/131.14	v 6230
131.08/131.14	v 6231
131.08/131.14	v 6236
131.08/131.14	v 6237
131.08/131.14	v 6240
131.08/131.14	v 6249
131.08/131.14	v 6250
131.08/131.14	v 6255
131.08/131.14	v 6256
131.08/131.14	v 6257
131.08/131.14	v 6264
131.08/131.14	v 6265
131.08/131.14	v 6270
131.08/131.14	v 6271
131.08/131.14	v 6278
131.08/131.14	v 6279
131.08/131.14	v 6298
131.08/131.14	v 6299
131.08/131.14	v 6319
131.08/131.14	v 6320
131.08/131.14	v 6339
131.08/131.14	v 6340
131.08/131.14	v 6354
131.08/131.14	v 6355
131.08/131.14	v 6367
131.08/131.14	v 6368
131.08/131.14	v 6379
131.08/131.14	v 6380
131.08/131.14	v 6391
131.08/131.14	v 6392
131.08/131.14	v 6404
131.08/131.14	v 6405
131.08/131.14	v 6416
131.08/131.14	v 6417
131.08/131.14	v 6427
131.08/131.14	v 6428
131.08/131.14	v 6442
131.08/131.14	v 6443
131.08/131.14	v 6458
131.08/131.14	v 6459
131.08/131.14	v 6476
131.08/131.14	v 6477
131.08/131.14	v 6494
131.08/131.14	v 6495
131.08/131.14	v 6514
131.08/131.14	v 6515
131.08/131.14	v 6534
131.08/131.14	v 6535
131.08/131.14	v 6560
131.08/131.14	v 6561
131.08/131.14	v 6571
131.08/131.14	v 6572
131.08/131.14	v 6580
131.08/131.14	v 6581
131.08/131.14	v 6588
131.08/131.14	v 6589
131.08/131.14	v 6596
131.08/131.14	v 6597
131.08/131.14	v 6605
131.08/131.14	v 6606
131.08/131.14	v 6616
131.08/131.14	v 6617
131.08/131.14	v 6625
131.08/131.14	v 6626
131.08/131.14	v 6636
131.08/131.14	v 6637
131.08/131.14	v 6655
131.08/131.14	v 6656
131.08/131.14	v 6669
131.08/131.14	v 6670
131.08/131.14	v 6681
131.08/131.14	v 6682
131.08/131.14	v 6692
131.08/131.14	v 6693
131.08/131.14	v 6706
131.08/131.14	v 6707
131.08/131.14	v 6718
131.08/131.14	v 6719
131.08/131.14	v 6729
131.08/131.14	v 6730
131.08/131.14	v 6742
131.08/131.14	v 6743
131.08/131.14	v 6756
131.08/131.14	v 6757
131.08/131.14	v 6771
131.08/131.14	v 6772
131.08/131.14	v 6788
131.08/131.14	v 6789
131.08/131.14	v 6805
131.08/131.14	v 6806
131.08/131.14	v 6824
131.08/131.14	v 6825
131.08/131.14	v 6843
131.08/131.14	v 6844
131.08/131.14	v 6859
131.08/131.14	v 6862
131.08/131.14	v 6863
131.08/131.14	v 6879
131.08/131.14	v 6880
131.08/131.14	v 6889
131.08/131.14	v 6890
131.08/131.14	v 6899
131.08/131.14	v 6900
131.08/131.14	v 6908
131.08/131.14	v 6909
131.08/131.14	v 6917
131.08/131.14	v 6918
131.08/131.14	v 6927
131.08/131.14	v 6928
131.08/131.14	v 6933
131.08/131.14	v 6934
131.08/131.14	v 6935
131.08/131.14	v 6936
131.08/131.14	v 6937
131.08/131.14	v 6944
131.08/131.14	v 6945
131.08/131.14	v 6966
131.08/131.14	v 6967
131.08/131.14	v 6981
131.08/131.14	v 6983
131.08/131.14	v 6985
131.08/131.14	v 7004
131.08/131.14	v 7006
131.08/131.14	v 7015
131.08/131.14	v 7016
131.08/131.14	v 7024
131.08/131.14	v 7025
131.08/131.14	v 7032
131.08/131.14	v 7033
131.08/131.14	v 7040
131.08/131.14	v 7041
131.08/131.14	v 7049
131.08/131.14	v 7050
131.08/131.14	v 7051
131.08/131.14	v 7052
131.08/131.14	v 7053
131.08/131.14	v 7054
131.08/131.14	v 7055
131.08/131.14	v 7056
131.08/131.14	v 7057
131.08/131.14	v 7058
131.08/131.14	v 7059
131.08/131.14	v 7060
131.08/131.14	v 7065
131.08/131.14	v 7066
131.08/131.14	v 7067
131.08/131.14	v 7074
131.08/131.14	v 7075
131.08/131.14	v 7083
131.08/131.14	v 7085
131.08/131.14	v 7086
131.08/131.14	v 7093
131.08/131.14	v 7096
131.08/131.14	v 7097
131.08/131.14	v 7378
131.08/131.14	v 7379
131.08/131.14	v 7483
131.08/131.14	v 7485
131.08/131.14	v 7487
131.08/131.14	v 7555
131.08/131.14	v 7557
131.08/131.14	v 7559
131.08/131.14	v 7782
131.08/131.14	v 7784
131.08/131.14	v 7786
131.08/131.14	v 7796
131.08/131.14	v 7856
131.08/131.14	v 7858
131.08/131.14	v 7860
131.08/131.14	v 7870
131.08/131.14	v 8039
131.08/131.14	v 8041
131.08/131.14	v 8042
131.08/131.14	v 8045
131.08/131.14	v 8046
131.08/131.14	v 8047
131.08/131.14	v 8048
131.08/131.14	v 8049
131.08/131.14	v 8050
131.08/131.14	v 8055
131.08/131.14	v 8058
131.08/131.14	v 8059
131.08/131.14	v 8060
131.08/131.14	v 8061
131.08/131.14	v 8063
131.08/131.14	v 8069
131.08/131.14	v 8070
131.08/131.14	v 8072
131.08/131.14	v 8073
131.08/131.14	v 8075
131.08/131.14	v 8079
131.08/131.14	v 8080
131.08/131.14	v 8081
131.08/131.14	v 8082
131.08/131.14	v 8084
131.08/131.14	v 8090
131.08/131.14	v 8091
131.08/131.14	v 8092
131.08/131.14	v 8093
131.08/131.14	v 8095
131.08/131.14	v 8101
131.08/131.14	v 8102
131.08/131.14	v 8103
131.08/131.14	v 8104
131.08/131.14	v 8107
131.08/131.14	v 8113
131.08/131.14	v 8114
131.08/131.14	v 8115
131.08/131.14	v 8116
131.08/131.14	v 8119
131.08/131.14	v 8125
131.08/131.14	v 8126
131.08/131.14	v 8127
131.08/131.14	v 8128
131.08/131.14	v 8132
131.08/131.14	v 8138
131.08/131.14	v 8139
131.08/131.14	v 8140
131.08/131.14	v 8141
131.08/131.14	v 8145
131.08/131.14	v 8151
131.08/131.14	v 8152
131.08/131.14	v 8153
131.08/131.14	v 8154
131.08/131.14	v 8156
131.08/131.14	v 8162
131.08/131.14	v 8163
131.08/131.14	v 8164
131.08/131.14	v 8165
131.08/131.14	v 8166
131.08/131.14	v 8169
131.08/131.14	v 8171
131.08/131.14	v 8172
131.08/131.14	v 8173
131.08/131.14	v 8174
131.08/131.14	v 8175
131.08/131.14	v 8177
131.08/131.14	v 8178
131.08/131.14	v 8179
131.08/131.14	v 8184
131.08/131.14	v 8185
131.08/131.14	v 8187
131.08/131.14	v 8188
131.08/131.14	v 8190
131.08/131.14	v 8193
131.08/131.14	v 8194
131.08/131.14	v 8196
131.08/131.14	v 8197
131.08/131.14	v 8198
131.08/131.14	v 8203
131.08/131.14	v 8204
131.08/131.14	v 8206
131.08/131.14	v 8207
131.08/131.14	v 8208
131.08/131.14	v 8213
131.08/131.14	v 8214
131.08/131.14	v 8216
131.08/131.14	v 8218
131.08/131.14	v 8219
131.08/131.14	v 8224
131.08/131.14	v 8225
131.08/131.14	v 8227
131.08/131.14	v 8229
131.08/131.14	v 8230
131.08/131.14	v 8235
131.08/131.14	v 8236
131.08/131.14	v 8238
131.08/131.14	v 8241
131.08/131.14	v 8242
131.08/131.14	v 8247
131.08/131.14	v 8248
131.08/131.14	v 8249
131.08/131.14	v 8250
131.08/131.14	v 8254
131.08/131.14	v 8259
131.08/131.14	v 8260
131.08/131.14	v 8262
131.08/131.14	v 8266
131.08/131.14	v 8267
131.08/131.14	v 8269
131.08/131.14	v 8270
131.08/131.14	v 8272
131.08/131.14	v 8273
131.08/131.14	v 8274
131.08/131.14	v 8279
131.08/131.14	v 8280
131.08/131.14	v 8281
131.08/131.14	v 8282
131.08/131.14	v 8283
131.08/131.14	v 8286
131.08/131.14	v 8289
131.08/131.14	v 8290
131.08/131.14	v 8291
131.08/131.14	v 8292
131.08/131.14	v 8297
131.08/131.14	v 8308
131.08/131.14	v 8309
131.08/131.14	v 8312
131.08/131.14	v 8313
131.08/131.14	v 8314
131.08/131.14	v 8316
131.08/131.14	v 8322
131.08/131.14	v 8323
131.08/131.14	v 8329
131.08/131.14	v 8330
131.08/131.14	v 8332
131.08/131.14	v 8337
131.08/131.14	v 8339
131.08/131.14	v 8343
131.08/131.14	v 8344
131.08/131.14	v 8346
131.08/131.14	v 8350
131.08/131.14	v 8351
131.08/131.14	v 8354
131.08/131.14	v 8356
131.08/131.14	v 8357
131.08/131.14	v 8359
131.08/131.14	v 8365
131.08/131.14	v 8366
131.08/131.14	v 8372
131.08/131.14	v 8373
131.08/131.14	v 8375
131.08/131.14	v 8382
131.08/131.14	v 8383
131.08/131.14	v 8389
131.08/131.14	v 8390
131.08/131.14	v 8393
131.08/131.14	v 8401
131.08/131.14	v 8402
131.08/131.14	v 8408
131.08/131.14	v 8409
131.08/131.14	v 8412
131.08/131.14	v 8420
131.08/131.14	v 8421
131.08/131.14	v 8427
131.08/131.14	v 8428
131.08/131.14	v 8432
131.08/131.14	v 8441
131.08/131.14	v 8442
131.08/131.14	v 8448
131.08/131.14	v 8449
131.08/131.14	v 8453
131.08/131.14	v 8462
131.08/131.14	v 8463
131.08/131.14	v 8469
131.08/131.14	v 8470
131.08/131.14	v 8472
131.08/131.14	v 8479
131.08/131.14	v 8480
131.08/131.14	v 8486
131.08/131.14	v 8487
131.08/131.14	v 8488
131.08/131.14	v 8489
131.08/131.14	v 8490
131.08/131.14	v 8496
131.08/131.14	v 8497
131.08/131.14	v 8502
131.08/131.14	v 8503
131.08/131.14	v 8504
131.08/131.14	v 8509
131.08/131.14	v 8511
131.08/131.14	v 8514
131.08/131.14	v 8515
131.08/131.14	v 8516
131.08/131.14	v 8520
131.08/131.14	v 8521
131.08/131.14	v 8524
131.08/131.14	v 8525
131.08/131.14	v 8526
131.08/131.14	v 8527
131.08/131.14	v 8533
131.08/131.14	v 8534
131.08/131.14	v 8539
131.08/131.14	v 8540
131.08/131.14	v 8541
131.08/131.14	v 8548
131.08/131.14	v 8549
131.08/131.14	v 8554
131.08/131.14	v 8555
131.08/131.14	v 8557
131.08/131.14	v 8565
131.08/131.14	v 8566
131.08/131.14	v 8571
131.08/131.14	v 8572
131.08/131.14	v 8574
131.08/131.14	v 8582
131.08/131.14	v 8583
131.08/131.14	v 8588
131.08/131.14	v 8589
131.08/131.14	v 8592
131.08/131.14	v 8601
131.08/131.14	v 8602
131.08/131.14	v 8607
131.08/131.14	v 8608
131.08/131.14	v 8611
131.08/131.14	v 8620
131.08/131.14	v 8621
131.08/131.14	v 8626
131.08/131.14	v 8627
131.08/131.14	v 8631
131.08/131.14	v 8642
131.08/131.14	v 8643
131.08/131.14	v 8645
131.08/131.14	v 8646
131.08/131.14	v 8647
131.08/131.14	v 8654
131.08/131.14	v 8655
131.08/131.14	v 8660
131.08/131.14	v 8661
131.08/131.14	v 8663
131.08/131.14	v 8664
131.08/131.14	v 8665
131.08/131.14	v 8666
131.08/131.14	v 8667
131.08/131.14	v 8668
131.08/131.14	v 8669
131.08/131.14	v 8670
131.08/131.14	v 8671
131.08/131.14	v 8674
131.08/131.14	v 8676
131.08/131.14	v 8677
131.08/131.14	v 8678
131.08/131.14	v 8679
131.08/131.14	v 8680
131.08/131.14	v 8682
131.08/131.14	v 8683
131.08/131.14	v 8684
131.08/131.14	v 8685
131.08/131.14	v 8686
131.08/131.14	v 8687
131.08/131.14	v 8688
131.08/131.14	v 8689
131.08/131.14	v 8690
131.08/131.14	v 8691
131.08/131.14	v 8692
131.08/131.14	v 8694
131.08/131.14	v 8695
131.08/131.14	v 8696
131.08/131.14	v 8697
131.08/131.14	v 8698
131.08/131.14	v 8699
131.08/131.14	v 8700
131.08/131.14	v 8701
131.08/131.14	v 8702
131.08/131.14	v 8703
131.08/131.14	v 8704
131.08/131.14	v 8705
131.08/131.14	v 8706
131.08/131.14	v 8707
131.08/131.14	v 8711
131.08/131.14	v 8712
131.08/131.14	v 8732
131.08/131.14	v 8733
131.08/131.14	v 8752
131.08/131.14	v 8753
131.08/131.14	v 8767
131.08/131.14	v 8768
131.08/131.14	v 8780
131.08/131.14	v 8781
131.08/131.14	v 8792
131.08/131.14	v 8793
131.08/131.14	v 8798
131.08/131.14	v 8800
131.08/131.14	v 8802
131.08/131.14	v 8817
131.08/131.14	v 8818
131.08/131.14	v 8830
131.08/131.14	v 8831
131.08/131.14	v 8842
131.08/131.14	v 8843
131.08/131.14	v 8847
131.08/131.14	v 8849
131.08/131.14	v 8851
131.08/131.14	v 8866
131.08/131.14	v 8867
131.08/131.14	v 8881
131.08/131.14	v 8882
131.08/131.14	v 8897
131.08/131.14	v 8898
131.08/131.14	v 8915
131.08/131.14	v 8916
131.08/131.14	v 8933
131.08/131.14	v 8934
131.08/131.14	v 8953
131.08/131.14	v 8954
131.08/131.14	v 8973
131.08/131.14	v 8974
131.08/131.14	v 8979
131.08/131.14	v 8980
131.08/131.14	v 8983
131.08/131.14	v 8984
131.08/131.14	v 8985
131.08/131.14	v 8986
131.08/131.14	v 8987
131.08/131.14	v 8988
131.08/131.14	v 8989
131.08/131.14	v 8990
131.08/131.14	v 8991
131.08/131.14	v 8992
131.08/131.14	v 8995
131.08/131.14	v 8996
131.08/131.14	v 8997
131.08/131.14	v 8998
131.08/131.14	v 8999
131.08/131.14	v 9000
131.08/131.14	v 9001
131.08/131.14	v 9002
131.08/131.14	v 9003
131.08/131.14	v 9004
131.08/131.14	v 9018
131.08/131.14	v 9019
131.08/131.14	v 9023
131.08/131.14	v 9024
131.08/131.14	v 9025
131.08/131.14	v 9026
131.08/131.14	v 9027
131.08/131.14	v 9028
131.08/131.14	v 9031
131.08/131.14	v 9032
131.08/131.14	v 9033
131.08/131.14	v 9034
131.08/131.14	v 9037
131.08/131.14	v 9039
131.08/131.14	v 9040
131.08/131.14	v 9041
131.08/131.14	v 9042
131.08/131.14	v 9043
131.08/131.14	v 9044
131.08/131.14	v 9045
131.08/131.14	v 9046
131.08/131.14	v 9047
131.08/131.14	v 9048
131.08/131.14	v 9049
131.08/131.14	v 9050
131.08/131.14	v 9056
131.08/131.14	v 9057
131.08/131.14	v 9058
131.08/131.14	v 9059
131.08/131.14	v 9060
131.08/131.14	v 9061
131.08/131.14	v 9062
131.08/131.14	v 9067
131.08/131.14	v 9070
131.08/131.14	v 9071
131.08/131.14	v 9074
131.08/131.14	v 9075
131.08/131.14	v 9076
131.08/131.14	v 9077
131.08/131.14	v 9078
131.08/131.14	v 9079
131.08/131.14	v 9080
131.08/131.14	v 9081
131.08/131.14	v 9082
131.08/131.14	v 9086
131.08/131.14	v 9087
131.08/131.14	v 9090
131.08/131.14	v 9091
131.08/131.14	v 9092
131.08/131.14	v 9093
131.08/131.14	v 9094
131.08/131.14	v 9095
131.08/131.14	v 9096
131.08/131.14	v 9097
131.08/131.14	v 9098
131.08/131.14	v 9101
131.08/131.14	v 9104
131.08/131.14	v 9105
131.08/131.14	v 9106
131.08/131.14	v 9107
131.08/131.14	v 9108
131.08/131.14	v 9109
131.08/131.14	v 9110
131.08/131.14	v 9111
131.08/131.14	v 9112
131.08/131.14	v 9114
131.08/131.14	v 9117
131.08/131.14	v 9118
131.08/131.14	v 9119
131.08/131.14	v 9120
131.08/131.14	v 9121
131.08/131.14	v 9122
131.08/131.14	v 9123
131.08/131.14	v 9124
131.08/131.14	v 9125
131.08/131.14	v 9127
131.08/131.14	v 9129
131.08/131.14	v 9130
131.08/131.14	v 9131
131.08/131.14	v 9132
131.08/131.14	v 9133
131.08/131.14	v 9134
131.08/131.14	v 9135
131.08/131.14	v 9136
131.08/131.14	v 9143
131.08/131.14	v 9144
131.08/131.14	v 9145
131.08/131.14	v 9146
131.08/131.14	v 9147
131.08/131.14	v 9148
131.08/131.14	v 9149
131.08/131.14	v 9150
131.08/131.14	v 9151
131.08/131.14	v 9152
131.08/131.14	v 9155
131.08/131.14	v 9160
131.08/131.14	v 9161
131.08/131.14	v 9162
131.08/131.14	v 9163
131.08/131.14	v 9164
131.08/131.14	v 9165
131.08/131.14	v 9166
131.08/131.14	v 9167
131.08/131.14	v 9168
131.08/131.14	v 9169
131.08/131.14	v 9170
131.08/131.14	v 9171
131.08/131.14	v 9172
131.08/131.14	v 9174
131.08/131.14	v 9175
131.08/131.14	v 9176
131.08/131.14	v 9177
131.08/131.14	v 9178
131.08/131.14	v 9179
131.08/131.14	v 9180
131.08/131.14	v 9181
131.08/131.14	v 9182
131.08/131.14	v 9183
131.08/131.14	v 9187
131.08/131.14	v 9188
131.08/131.14	v 9189
131.08/131.14	v 9190
131.08/131.14	v 9192
131.08/131.14	v 9193
131.08/131.14	v 9194
131.08/131.14	v 9195
131.08/131.14	v 9196
131.08/131.14	v 9197
131.08/131.14	v 9198
131.08/131.14	v 9199
131.08/131.14	v 9200
131.08/131.14	v 9201
131.08/131.14	v 9202
131.08/131.14	v 9203
131.08/131.14	v 9204
131.08/131.14	v 9205
131.08/131.14	v 9206
131.08/131.14	v 9207
131.08/131.14	v 9208
131.08/131.14	v 9209
131.08/131.14	v 9211
131.08/131.14	v 9212
131.08/131.14	v 9213
131.08/131.14	v 9214
131.08/131.14	v 9215
131.08/131.14	v 9216
131.08/131.14	v 9217
131.08/131.14	v 9218
131.08/131.14	v 9219
131.08/131.14	v 9221
131.08/131.14	v 9222
131.08/131.14	v 9223
131.08/131.14	v 9224
131.08/131.14	v 9225
131.08/131.14	v 9226
131.08/131.14	v 9227
131.08/131.14	v 9229
131.08/131.14	v 9230
131.08/131.14	v 9231
131.08/131.14	v 9232
131.08/131.14	v 9233
131.08/131.14	v 9234
131.08/131.14	v 9235
131.08/131.14	v 9236
131.08/131.14	v 9239
131.08/131.14	v 9240
131.08/131.14	v 9248
131.08/131.14	v 9249
131.08/131.14	v 9269
131.08/131.14	v 9270
131.08/131.14	v 9285
131.08/131.14	v 9286
131.08/131.14	v 9299
131.08/131.14	v 9300
131.08/131.14	v 9312
131.08/131.14	v 9313
131.08/131.14	v 9328
131.08/131.14	v 9329
131.08/131.14	v 9342
131.08/131.14	v 9343
131.08/131.14	v 9355
131.08/131.14	v 9356
131.08/131.14	v 9370
131.08/131.14	v 9371
131.08/131.14	v 9386
131.08/131.14	v 9387
131.08/131.14	v 9403
131.08/131.14	v 9404
131.08/131.14	v 9422
131.08/131.14	v 9423
131.08/131.14	v 9441
131.08/131.14	v 9442
131.08/131.14	v 9462
131.08/131.14	v 9463
131.08/131.14	v 9483
131.08/131.14	v 9484
131.08/131.14	v 9500
131.08/131.14	v 9503
131.08/131.14	v 9504
131.08/131.14	v 9517
131.08/131.14	v 9518
131.08/131.14	v 9529
131.08/131.14	v 9530
131.08/131.14	v 9540
131.08/131.14	v 9541
131.08/131.14	v 9554
131.08/131.14	v 9555
131.08/131.14	v 9566
131.08/131.14	v 9567
131.08/131.14	v 9577
131.08/131.14	v 9578
131.08/131.14	v 9590
131.08/131.14	v 9591
131.08/131.14	v 9604
131.08/131.14	v 9605
131.08/131.14	v 9619
131.08/131.14	v 9620
131.08/131.14	v 9636
131.08/131.14	v 9637
131.08/131.14	v 9653
131.08/131.14	v 9654
131.08/131.14	v 9672
131.08/131.14	v 9673
131.08/131.14	v 9691
131.08/131.14	v 9692
131.08/131.14	v 9710
131.08/131.14	v 9711
131.08/131.14	v 9713
131.08/131.14	v 9714
131.08/131.14	v 9717
131.08/131.14	v 9719
131.08/131.14	v 9720
131.08/131.14	v 9723
131.08/131.14	v 9724
131.08/131.14	v 9737
131.08/131.14	v 9740
131.08/131.14	v 9741
131.08/131.14	v 9746
131.08/131.14	v 9748
131.08/131.14	v 9750
131.08/131.14	v 9759
131.08/131.14	v 9772
131.08/131.14	v 9773
131.08/131.14	v 9789
131.08/131.14	v 9790
131.08/131.14	v 9807
131.08/131.14	v 9808
131.08/131.14	v 9827
131.08/131.14	v 9828
131.08/131.14	v 9847
131.08/131.14	v 9848
131.08/131.14	v 9869
131.08/131.14	v 9870
131.08/131.14	v 9891
131.08/131.14	v 9892
131.08/131.14	v 9909
131.08/131.14	v 9910
131.08/131.14	v 9914
131.08/131.14	v 9915
131.08/131.14	v 9916
131.08/131.14	v 9922
131.08/131.14	v 9923
131.08/131.14	v 9924
131.08/131.14	v 9925
131.08/131.14	v 9926
131.08/131.14	v 9927
131.08/131.14	v 9928
131.08/131.14	v 9929
131.08/131.14	v 9930
131.08/131.14	v 9931
131.08/131.14	v 9934
131.08/131.14	v 9935
131.08/131.14	v 9936
131.08/131.14	v 9937
131.08/131.14	v 9938
131.08/131.14	v 9939
131.08/131.14	v 9940
131.08/131.14	v 9941
131.08/131.14	v 9942
131.08/131.14	v 9943
131.08/131.14	v 9946
131.08/131.14	v 9947
131.08/131.14	v 9948
131.08/131.14	v 9949
131.08/131.14	v 9950
131.08/131.14	v 9951
131.08/131.14	v 9952
131.08/131.14	v 9953
131.08/131.14	v 9954
131.08/131.14	v 9955
131.08/131.14	v 9963
131.08/131.14	v 9965
131.08/131.14	v 9974
131.08/131.14	v 9975
131.08/131.14	v 9980
131.08/131.14	v 9981
131.08/131.14	v 9984
131.08/131.14	v 9985
131.08/131.14	v 9993
131.08/131.14	v 9994
131.08/131.14	v 10005
131.08/131.14	v 10006
131.08/131.14	v 10013
131.08/131.14	v 10014
131.08/131.14	v 10015
131.08/131.14	v 10016
131.08/131.14	v 10017
131.08/131.14	v 10020
131.08/131.14	v 10021
131.08/131.14	v 10022
131.08/131.14	v 10023
131.08/131.14	v 10024
131.08/131.14	v 10032
131.08/131.14	v 10036
131.08/131.14	v 10037
131.08/131.14	v 10041
131.08/131.14	v 10042
131.08/131.14	v 10044
131.08/131.14	v 10048
131.08/131.14	v 10049
131.08/131.14	v 10057
131.08/131.14	v 10060
131.08/131.14	v 10062
131.08/131.14	v 10065
131.08/131.14	v 10066
131.08/131.14	v 10068
131.08/131.14	v 10070
131.08/131.14	v 10071
131.08/131.14	v 10074
131.08/131.14	v 10075
131.08/131.14	v 10076
131.08/131.14	v 10078
131.08/131.14	v 10082
131.08/131.14	v 10083
131.08/131.14	v 10088
131.08/131.14	v 10089
131.08/131.14	v 10091
131.08/131.14	v 10096
131.08/131.14	v 10097
131.08/131.14	v 10102
131.08/131.14	v 10103
131.08/131.14	v 10107
131.08/131.14	v 10112
131.08/131.14	v 10113
131.08/131.14	v 10118
131.08/131.14	v 10119
131.08/131.14	v 10123
131.08/131.14	v 10128
131.08/131.14	v 10129
131.08/131.14	v 10134
131.08/131.14	v 10135
131.08/131.14	v 10141
131.08/131.14	v 10146
131.08/131.14	v 10147
131.08/131.14	v 10152
131.08/131.14	v 10153
131.08/131.14	v 10159
131.08/131.14	v 10164
131.08/131.14	v 10165
131.08/131.14	v 10170
131.08/131.14	v 10171
131.08/131.14	v 10173
131.08/131.14	v 10178
131.08/131.14	v 10179
131.08/131.14	v 10184
131.08/131.14	v 10185
131.08/131.14	v 10188
131.08/131.14	v 10189
131.08/131.14	v 10206
131.08/131.14	v 10207
131.08/131.14	v 10219
131.08/131.14	v 10220
131.08/131.14	v 10230
131.08/131.14	v 10231
131.08/131.14	v 10240
131.08/131.14	v 10241
131.08/131.14	v 10251
131.08/131.14	v 10252
131.08/131.14	v 10264
131.08/131.14	v 10265
131.08/131.14	v 10278
131.08/131.14	v 10279
131.08/131.14	v 10294
131.08/131.14	v 10295
131.08/131.14	v 10310
131.08/131.14	v 10311
131.08/131.14	v 10328
131.08/131.14	v 10329
131.08/131.14	v 10346
131.08/131.14	v 10347
131.08/131.14	v 10360
131.08/131.14	v 10362
131.08/131.14	v 10365
131.08/131.14	v 10366
131.08/131.14	v 10367
131.08/131.14	v 10368
131.08/131.14	v 10384
131.08/131.14	v 10385
131.08/131.14	v 10389
131.08/131.14	v 10390
131.08/131.14	v 10393
131.08/131.14	v 10394
131.08/131.14	v 10413
131.08/131.14	v 10414
131.08/131.14	v 10428
131.08/131.14	v 10429
131.08/131.14	v 10441
131.08/131.14	v 10442
131.08/131.14	v 10453
131.08/131.14	v 10454
131.08/131.14	v 10466
131.08/131.14	v 10467
131.08/131.14	v 10481
131.08/131.14	v 10482
131.08/131.14	v 10497
131.08/131.14	v 10498
131.08/131.14	v 10515
131.08/131.14	v 10516
131.08/131.14	v 10533
131.08/131.14	v 10534
131.08/131.14	v 10553
131.08/131.14	v 10554
131.08/131.14	v 10573
131.08/131.14	v 10574
131.08/131.14	v 10589
131.08/131.14	v 10590
131.08/131.14	v 10593
131.08/131.14	v 10594
131.08/131.14	v 10595
131.08/131.14	v 10596
131.08/131.14	v 10601
131.08/131.14	v 10602
131.08/131.14	v 10608
131.08/131.14	v 10612
131.08/131.14	v 10613
131.08/131.14	v 10618
131.08/131.14	v 10619
131.08/131.14	v 10623
131.08/131.14	v 10624
131.08/131.14	v 10625
131.08/131.14	v 10628
131.08/131.14	v 10632
131.08/131.14	v 10633
131.08/131.14	v 10643
131.08/131.14	v 10646
131.08/131.14	v 10648
131.08/131.14	v 10652
131.08/131.14	v 10653
131.08/131.14	v 10656
131.08/131.14	v 10658
131.08/131.14	v 10659
131.08/131.14	v 10662
131.08/131.14	v 10664
131.08/131.14	v 10665
131.08/131.14	v 10668
131.08/131.14	v 10672
131.08/131.14	v 10673
131.08/131.14	v 10679
131.08/131.14	v 10680
131.08/131.14	v 10683
131.08/131.14	v 10688
131.08/131.14	v 10689
131.08/131.14	v 10695
131.08/131.14	v 10696
131.08/131.14	v 10701
131.08/131.14	v 10706
131.08/131.14	v 10707
131.08/131.14	v 10713
131.08/131.14	v 10714
131.08/131.14	v 10719
131.08/131.14	v 10724
131.08/131.14	v 10725
131.08/131.14	v 10731
131.08/131.14	v 10732
131.08/131.14	v 10739
131.08/131.14	v 10744
131.08/131.14	v 10745
131.08/131.14	v 10751
131.08/131.14	v 10752
131.08/131.14	v 10758
131.08/131.14	v 10759
131.08/131.14	v 10762
131.08/131.14	v 10763
131.08/131.14	v 10765
131.08/131.14	v 10770
131.08/131.14	v 10771
131.08/131.14	v 10777
131.08/131.14	v 10778
131.08/131.14	v 10781
131.08/131.14	v 10786
131.08/131.14	v 10787
131.08/131.14	v 10788
131.08/131.14	v 10790
131.08/131.14	v 10791
131.08/131.14	v 10794
131.08/131.14	v 10796
131.08/131.14	v 10801
131.08/131.14	v 10802
131.08/131.14	v 10803
131.08/131.14	v 10804
131.08/131.14	v 10806
131.08/131.14	v 10810
131.08/131.14	v 10811
131.08/131.14	v 10816
131.08/131.14	v 10817
131.08/131.14	v 10819
131.08/131.14	v 10822
131.08/131.14	v 10824
131.08/131.14	v 10827
131.08/131.14	v 10828
131.08/131.14	v 10830
131.08/131.14	v 10832
131.08/131.14	v 10833
131.08/131.14	v 10836
131.08/131.14	v 10837
131.08/131.14	v 10838
131.08/131.14	v 10840
131.08/131.14	v 10844
131.08/131.14	v 10845
131.08/131.14	v 10850
131.08/131.14	v 10851
131.08/131.14	v 10853
131.08/131.14	v 10858
131.08/131.14	v 10859
131.08/131.14	v 10864
131.08/131.14	v 10865
131.08/131.14	v 10869
131.08/131.14	v 10874
131.08/131.14	v 10875
131.08/131.14	v 10880
131.08/131.14	v 10881
131.08/131.14	v 10885
131.08/131.14	v 10890
131.08/131.14	v 10891
131.08/131.14	v 10896
131.08/131.14	v 10897
131.08/131.14	v 10903
131.08/131.14	v 10908
131.08/131.14	v 10909
131.08/131.14	v 10914
131.08/131.14	v 10915
131.08/131.14	v 10921
131.08/131.14	v 10926
131.08/131.14	v 10927
131.08/131.14	v 10932
131.08/131.14	v 10933
131.08/131.14	v 10939
131.08/131.14	v 10940
131.08/131.14	v 10943
131.08/131.14	v 10944
131.08/131.14	v 10947
131.08/131.14	v 10948
131.08/131.14	v 10950
131.08/131.14	v 10954
131.08/131.14	v 10955
131.08/131.14	v 10959
131.08/131.14	v 10960
131.08/131.14	v 10962
131.08/131.14	v 10967
131.08/131.14	v 10968
131.08/131.14	v 10969
131.08/131.14	v 10971
131.08/131.14	v 10972
131.08/131.14	v 10973
131.08/131.14	v 10974
131.08/131.14	v 10976
131.08/131.14	v 10979
131.08/131.14	v 10981
131.08/131.14	v 10985
131.08/131.14	v 10986
131.08/131.14	v 10989
131.08/131.14	v 10990
131.08/131.14	v 11002
131.08/131.14	v 11003
131.08/131.14	v 11013
131.08/131.14	v 11014
131.08/131.14	v 11023
131.08/131.14	v 11024
131.08/131.14	v 11034
131.08/131.14	v 11035
131.08/131.14	v 11047
131.08/131.14	v 11048
131.08/131.14	v 11061
131.08/131.14	v 11062
131.08/131.14	v 11077
131.08/131.14	v 11078
131.08/131.14	v 11093
131.08/131.14	v 11094
131.08/131.14	v 11111
131.08/131.14	v 11112
131.08/131.14	v 11129
131.08/131.14	v 11130
131.08/131.14	v 11147
131.08/131.14	v 11148
131.08/131.14	v 11161
131.08/131.14	v 11165
131.08/131.14	v 11166
131.08/131.14	v 11167
131.08/131.14	v 11168
131.08/131.14	v 11182
131.08/131.14	v 11183
131.08/131.14	v 11193
131.08/131.14	v 11195
131.08/131.14	v 11197
131.08/131.14	v 11198
131.08/131.14	v 11199
131.08/131.14	v 11200
131.08/131.14	v 11201
131.08/131.14	v 11202
131.08/131.14	v 11203
131.08/131.14	v 11204
131.08/131.14	v 11206
131.08/131.14	v 11207
131.08/131.14	v 11209
131.08/131.14	v 11215
131.08/131.14	v 11216
131.08/131.14	v 11230
131.08/131.14	v 11231
131.08/131.14	v 11244
131.08/131.14	v 11245
131.08/131.14	v 11248
131.08/131.14	v 11249
131.08/131.14	v 11250
131.08/131.14	v 11251
131.08/131.14	v 11256
131.08/131.14	v 11259
131.08/131.14	v 11260
131.08/131.14	v 11261
131.08/131.14	v 11263
131.08/131.14	v 11269
131.08/131.14	v 11270
131.08/131.14	v 11271
131.08/131.14	v 11274
131.08/131.14	v 11278
131.08/131.14	v 11279
131.08/131.14	v 11280
131.08/131.14	v 11282
131.08/131.14	v 11288
131.08/131.14	v 11289
131.08/131.14	v 11291
131.08/131.14	v 11292
131.08/131.14	v 11298
131.08/131.14	v 11299
131.08/131.14	v 11300
131.08/131.14	v 11303
131.08/131.14	v 11309
131.08/131.14	v 11310
131.08/131.14	v 11311
131.08/131.14	v 11314
131.08/131.14	v 11320
131.08/131.14	v 11321
131.08/131.14	v 11322
131.08/131.14	v 11326
131.08/131.14	v 11332
131.08/131.14	v 11333
131.08/131.14	v 11334
131.08/131.14	v 11338
131.08/131.14	v 11344
131.08/131.14	v 11345
131.08/131.14	v 11347
131.08/131.14	v 11348
131.08/131.14	v 11354
131.08/131.14	v 11355
131.08/131.14	v 11356
131.08/131.14	v 11357
131.08/131.14	v 11360
131.08/131.14	v 11362
131.08/131.14	v 11364
131.08/131.14	v 11365
131.08/131.14	v 11366
131.08/131.14	v 11368
131.08/131.14	v 11369
131.08/131.14	v 11374
131.08/131.14	v 11375
131.08/131.14	v 11376
131.08/131.14	v 11379
131.08/131.14	v 11382
131.08/131.14	v 11383
131.08/131.14	v 11385
131.08/131.14	v 11386
131.08/131.14	v 11391
131.08/131.14	v 11392
131.08/131.14	v 11393
131.08/131.14	v 11395
131.08/131.14	v 11400
131.08/131.14	v 11401
131.08/131.14	v 11402
131.08/131.14	v 11405
131.08/131.14	v 11410
131.08/131.14	v 11411
131.08/131.14	v 11412
131.08/131.14	v 11415
131.08/131.14	v 11420
131.08/131.14	v 11421
131.08/131.14	v 11422
131.08/131.14	v 11426
131.08/131.14	v 11431
131.08/131.14	v 11432
131.08/131.14	v 11436
131.08/131.14	v 11437
131.08/131.14	v 11442
131.08/131.14	v 11443
131.08/131.14	v 11444
131.08/131.14	v 11449
131.08/131.14	v 11451
131.08/131.14	v 11452
131.08/131.14	v 11454
131.08/131.14	v 11455
131.08/131.14	v 11458
131.08/131.14	v 11459
131.08/131.14	v 11460
131.08/131.14	v 11465
131.08/131.14	v 11466
131.08/131.14	v 11467
131.08/131.14	v 11468
131.08/131.14	v 11471
131.08/131.14	v 11473
131.08/131.14	v 11474
131.08/131.14	v 11475
131.08/131.14	v 11480
131.08/131.14	v 11481
131.08/131.14	v 11483
131.08/131.14	v 11484
131.08/131.14	v 11486
131.08/131.14	v 11487
131.08/131.14	v 11492
131.08/131.14	v 11493
131.08/131.14	v 11495
131.08/131.14	v 11497
131.08/131.14	v 11500
131.08/131.14	v 11501
131.08/131.14	v 11503
131.08/131.14	v 11504
131.08/131.14	v 11509
131.08/131.14	v 11510
131.08/131.14	v 11512
131.08/131.14	v 11513
131.08/131.14	v 11518
131.08/131.14	v 11519
131.08/131.14	v 11522
131.08/131.14	v 11523
131.08/131.14	v 11528
131.08/131.14	v 11529
131.08/131.14	v 11532
131.08/131.14	v 11533
131.08/131.14	v 11538
131.08/131.14	v 11539
131.08/131.14	v 11543
131.08/131.14	v 11544
131.08/131.14	v 11549
131.08/131.14	v 11550
131.08/131.14	v 11551
131.08/131.14	v 11555
131.08/131.14	v 11560
131.08/131.14	v 11561
131.08/131.14	v 11563
131.08/131.14	v 11564
131.08/131.14	v 11567
131.08/131.14	v 11568
131.08/131.14	v 11569
131.08/131.14	v 11574
131.08/131.14	v 11575
131.08/131.14	v 11576
131.08/131.14	v 11577
131.08/131.14	v 11580
131.08/131.14	v 11582
131.08/131.14	v 11584
131.08/131.14	v 11586
131.08/131.14	v 11595
131.08/131.14	v 11598
131.08/131.14	v 11599
131.08/131.14	v 11606
131.08/131.14	v 11607
131.08/131.14	v 11613
131.08/131.14	v 11614
131.08/131.14	v 11620
131.08/131.14	v 11621
131.08/131.14	v 11628
131.08/131.14	v 11629
131.08/131.14	v 11631
131.08/131.14	v 11632
131.08/131.14	v 11633
131.08/131.14	v 11634
131.08/131.14	v 11635
131.08/131.14	v 11636
131.08/131.14	v 11637
131.08/131.14	v 11638
131.08/131.14	v 11641
131.08/131.14	v 11642
131.08/131.14	v 11643
131.08/131.14	v 11644
131.08/131.14	v 11645
131.08/131.14	v 11648
131.08/131.14	v 11649
131.08/131.14	v 11650
131.08/131.14	v 11653
131.08/131.14	v 11654
131.08/131.14	v 11657
131.08/131.14	v 11658
131.08/131.14	v 11661
131.08/131.14	v 11662
131.08/131.14	v 11663
131.08/131.14	v 11664
131.08/131.14	v 11665
131.08/131.14	v 11666
131.08/131.14	v 11667
131.08/131.14	v 11668
131.08/131.14	v 11671
131.08/131.14	v 11672
131.08/131.14	v 11674
131.08/131.14	v 11675
131.08/131.14	v 11676
131.08/131.14	v 11681
131.08/131.14	v 11682
131.08/131.14	v 11695
131.08/131.14	v 11696
131.08/131.14	v 11700
131.08/131.14	v 11701
131.08/131.14	v 11702
131.08/131.14	v 11704
131.08/131.14	v 11705
131.08/131.14	v 11719
131.08/131.14	v 11725
131.08/131.14	v 11729
131.08/131.14	v 11730
131.08/131.14	v 11735
131.08/131.14	v 11736
131.08/131.14	v 11739
131.08/131.14	v 11741
131.08/131.14	v 11742
131.08/131.14	v 11744
131.08/131.14	v 11745
131.08/131.14	v 11756
131.08/131.14	v 11757
131.08/131.14	v 11759
131.08/131.14	v 11760
131.08/131.14	v 11772
131.08/131.14	v 11773
131.08/131.14	v 11776
131.08/131.14	v 11777
131.08/131.14	v 11790
131.08/131.14	v 11791
131.08/131.14	v 11794
131.08/131.14	v 11795
131.08/131.14	v 11808
131.08/131.14	v 11809
131.08/131.14	v 11813
131.08/131.14	v 11814
131.08/131.14	v 11828
131.08/131.14	v 11829
131.08/131.14	v 11834
131.08/131.14	v 11840
131.08/131.14	v 11848
131.08/131.14	v 11849
131.08/131.14	v 11851
131.08/131.14	v 11852
131.08/131.14	v 11853
131.08/131.14	v 11854
131.08/131.14	v 11855
131.08/131.14	v 11856
131.08/131.14	v 11857
131.08/131.14	v 11858
131.08/131.14	v 11859
131.08/131.14	v 11860
131.08/131.14	v 11873
131.08/131.14	v 11874
131.08/131.14	v 11875
131.08/131.14	v 11876
131.08/131.14	v 11877
131.08/131.14	v 11887
131.08/131.14	v 11888
131.08/131.14	v 11889
131.08/131.14	v 11895
131.08/131.14	v 11898
131.08/131.14	v 11899
131.08/131.14	v 11903
131.08/131.14	v 11904
131.08/131.14	v 11907
131.08/131.14	v 11908
131.08/131.14	v 11909
131.08/131.14	v 11910
131.08/131.14	v 11911
131.08/131.14	v 11921
131.08/131.14	v 11922
131.08/131.14	v 11923
131.08/131.14	v 11924
131.08/131.14	v 11935
131.08/131.14	v 11936
131.08/131.14	v 11938
131.08/131.14	v 11939
131.08/131.14	v 11951
131.08/131.14	v 11952
131.08/131.14	v 11954
131.08/131.14	v 11955
131.08/131.14	v 11967
131.08/131.14	v 11968
131.08/131.14	v 11971
131.08/131.14	v 11972
131.08/131.14	v 11985
131.08/131.14	v 11986
131.08/131.14	v 11989
131.08/131.14	v 11990
131.08/131.14	v 12003
131.08/131.14	v 12004
131.08/131.14	v 12007
131.08/131.14	v 12008
131.08/131.14	v 12011
131.08/131.14	v 12012
131.08/131.14	v 12015
131.08/131.14	v 12016
131.08/131.14	v 12017
131.08/131.14	v 12018
131.08/131.14	v 12024
131.08/131.14	v 12025
131.08/131.14	v 12028
131.08/131.14	v 12029
131.08/131.14	v 12030
131.08/131.14	v 12031
131.08/131.14	v 12032
131.08/131.14	v 12033
131.08/131.14	v 12034
131.08/131.14	v 12035
131.08/131.14	v 12036
131.08/131.14	v 12037
131.08/131.14	v 12040
131.08/131.14	v 12041
131.08/131.14	v 12042
131.08/131.14	v 12043
131.08/131.14	v 12044
131.08/131.14	v 12045
131.08/131.14	v 12046
131.08/131.14	v 12047
131.08/131.14	v 12048
131.08/131.14	v 12049
131.08/131.14	v 12055
131.08/131.14	v 12056
131.08/131.14	v 12057
131.08/131.14	v 12058
131.08/131.14	v 12059
131.08/131.14	v 12061
131.08/131.14	v 12062
131.08/131.14	v 12063
131.08/131.14	v 12064
131.08/131.14	v 12066
131.08/131.14	v 12069
131.08/131.14	v 12071
131.08/131.14	v 12074
131.08/131.14	v 12077
131.08/131.14	v 12078
131.08/131.14	v 12079
131.08/131.14	v 12080
131.08/131.14	v 12084
131.08/131.14	v 12085
131.08/131.14	v 12088
131.08/131.14	v 12089
131.08/131.14	v 12091
131.08/131.14	v 12092
131.08/131.14	v 12093
131.08/131.14	v 12094
131.08/131.14	v 12095
131.08/131.14	v 12096
131.08/131.14	v 12097
131.08/131.14	v 12098
131.08/131.14	v 12101
131.08/131.14	v 12104
131.08/131.14	v 12105
131.08/131.14	v 12108
131.08/131.14	v 12109
131.08/131.14	v 12110
131.08/131.14	v 12111
131.08/131.14	v 12112
131.08/131.14	v 12113
131.08/131.14	v 12114
131.08/131.14	v 12115
131.08/131.14	v 12116
131.08/131.14	v 12119
131.08/131.14	v 12122
131.08/131.14	v 12123
131.08/131.14	v 12124
131.08/131.14	v 12125
131.08/131.14	v 12126
131.08/131.14	v 12127
131.08/131.14	v 12128
131.08/131.14	v 12129
131.08/131.14	v 12130
131.08/131.14	v 12132
131.08/131.14	v 12135
131.08/131.14	v 12136
131.08/131.14	v 12137
131.08/131.14	v 12138
131.08/131.14	v 12139
131.08/131.14	v 12140
131.08/131.14	v 12141
131.08/131.14	v 12142
131.08/131.14	v 12143
131.08/131.14	v 12145
131.08/131.14	v 12147
131.08/131.14	v 12148
131.08/131.14	v 12149
131.08/131.14	v 12150
131.08/131.14	v 12151
131.08/131.14	v 12152
131.08/131.14	v 12153
131.08/131.14	v 12154
131.08/131.14	v 12159
131.08/131.14	v 12160
131.08/131.14	v 12161
131.08/131.14	v 12164
131.08/131.14	v 12165
131.08/131.14	v 12168
131.08/131.14	v 12169
131.08/131.14	v 12175
131.08/131.14	v 12176
131.08/131.14	v 12184
131.08/131.14	v 12185
131.08/131.14	v 12186
131.08/131.14	v 12187
131.08/131.14	v 12199
131.08/131.14	v 12205
131.08/131.14	v 12208
131.08/131.14	v 12209
131.08/131.14	v 12213
131.08/131.14	v 12214
131.08/131.14	v 12217
131.08/131.14	v 12218
131.08/131.14	v 12219
131.08/131.14	v 12220
131.08/131.14	v 12221
131.08/131.14	v 12231
131.08/131.14	v 12232
131.08/131.14	v 12233
131.08/131.14	v 12234
131.08/131.14	v 12245
131.08/131.14	v 12246
131.08/131.14	v 12248
131.08/131.14	v 12249
131.08/131.14	v 12261
131.08/131.14	v 12262
131.08/131.14	v 12264
131.08/131.14	v 12265
131.08/131.14	v 12277
131.08/131.14	v 12278
131.08/131.14	v 12281
131.08/131.14	v 12282
131.08/131.14	v 12295
131.08/131.14	v 12296
131.08/131.14	v 12299
131.08/131.14	v 12300
131.08/131.14	v 12303
131.08/131.14	v 12304
131.08/131.14	v 12305
131.08/131.14	v 12306
131.08/131.14	v 12310
131.08/131.14	v 12311
131.08/131.14	v 12314
131.08/131.14	v 12315
131.08/131.14	v 12316
131.08/131.14	v 12317
131.08/131.14	v 12318
131.08/131.14	v 12319
131.08/131.14	v 12320
131.08/131.14	v 12321
131.08/131.14	v 12322
131.08/131.14	v 12323
131.08/131.14	v 12330
131.08/131.14	v 12331
131.08/131.14	v 12332
131.08/131.14	v 12333
131.08/131.14	v 12334
131.08/131.14	v 12335
131.08/131.14	v 12336
131.08/131.14	v 12337
131.08/131.14	v 12341
131.08/131.14	v 12342
131.08/131.14	v 12343
131.08/131.14	v 12344
131.08/131.14	v 12345
131.08/131.14	v 12347
131.08/131.14	v 12348
131.08/131.14	v 12349
131.08/131.14	v 12350
131.08/131.14	v 12352
131.08/131.14	v 12355
131.08/131.14	v 12357
131.08/131.14	v 12360
131.08/131.14	v 12363
131.08/131.14	v 12364
131.08/131.14	v 12365
131.08/131.14	v 12366
131.08/131.14	v 12370
131.08/131.14	v 12371
131.08/131.14	v 12374
131.08/131.14	v 12375
131.08/131.14	v 12377
131.08/131.14	v 12378
131.08/131.14	v 12379
131.08/131.14	v 12380
131.08/131.14	v 12381
131.08/131.14	v 12382
131.08/131.14	v 12383
131.08/131.14	v 12384
131.08/131.14	v 12387
131.08/131.14	v 12390
131.08/131.14	v 12391
131.08/131.14	v 12393
131.08/131.14	v 12394
131.08/131.14	v 12395
131.08/131.14	v 12396
131.08/131.14	v 12397
131.08/131.14	v 12398
131.08/131.14	v 12399
131.08/131.14	v 12400
131.08/131.14	v 12401
131.08/131.14	v 12402
131.08/131.14	v 12405
131.08/131.14	v 12408
131.08/131.14	v 12409
131.08/131.14	v 12410
131.08/131.14	v 12411
131.08/131.14	v 12412
131.08/131.14	v 12413
131.08/131.14	v 12414
131.08/131.14	v 12415
131.08/131.14	v 12416
131.08/131.14	v 12418
131.08/131.14	v 12421
131.08/131.14	v 12422
131.08/131.14	v 12423
131.08/131.14	v 12424
131.08/131.14	v 12425
131.08/131.14	v 12426
131.08/131.14	v 12427
131.08/131.14	v 12428
131.08/131.14	v 12429
131.08/131.14	v 12431
131.08/131.14	v 12433
131.08/131.14	v 12434
131.08/131.14	v 12435
131.08/131.14	v 12436
131.08/131.14	v 12437
131.08/131.14	v 12438
131.08/131.14	v 12439
131.08/131.14	v 12440
131.08/131.14	v 12453
131.08/131.14	v 12454
131.08/131.14	v 12457
131.08/131.14	v 12458
131.08/131.14	v 12461
131.08/131.14	v 12468
131.08/131.14	v 12471
131.08/131.14	v 12473
131.08/131.14	v 12474
131.08/131.14	v 12475
131.08/131.14	v 12476
131.08/131.14	v 12477
131.08/131.14	v 12478
131.08/131.14	v 12479
131.08/131.14	v 12480
131.08/131.14	v 12486
131.08/131.14	v 12487
131.08/131.14	v 12489
131.08/131.14	v 12490
131.08/131.14	v 12491
131.08/131.14	v 12492
131.08/131.14	v 12493
131.08/131.14	v 12494
131.08/131.14	v 12495
131.08/131.14	v 12496
131.08/131.14	v 12497
131.08/131.14	v 12499
131.08/131.14	v 12500
131.08/131.14	v 12502
131.08/131.14	v 12503
131.08/131.14	v 12504
131.08/131.14	v 12506
131.08/131.14	v 12507
131.08/131.14	v 12510
131.08/131.14	v 12511
131.08/131.14	v 12513
131.08/131.14	v 12514
131.08/131.14	v 12515
131.08/131.14	v 12516
131.08/131.14	v 12517
131.08/131.14	v 12518
131.08/131.14	v 12521
131.08/131.14	v 12522
131.08/131.14	v 12523
131.08/131.14	v 12524
131.08/131.14	v 12527
131.08/131.14	v 12529
131.08/131.14	v 12530
131.08/131.14	v 12531
131.08/131.14	v 12532
131.08/131.14	v 12533
131.08/131.14	v 12534
131.08/131.14	v 12535
131.08/131.14	v 12536
131.08/131.14	v 12537
131.08/131.14	v 12538
131.08/131.14	v 12539
131.08/131.14	v 12540
131.08/131.14	v 12541
131.08/131.14	v 12542
131.08/131.14	v 12543
131.08/131.14	v 12544
131.08/131.14	v 12545
131.08/131.14	v 12546
131.08/131.14	v 12547
131.08/131.14	v 12548
131.08/131.14	v 12549
131.08/131.14	v 12550
131.08/131.14	v 12554
131.08/131.14	v 12556
131.08/131.14	v 12557
131.08/131.14	v 12558
131.08/131.14	v 12559
131.08/131.14	v 12560
131.08/131.14	v 12561
131.08/131.14	v 12562
131.08/131.14	v 12563
131.08/131.14	v 12564
131.08/131.14	v 12565
131.08/131.14	v 12568
131.08/131.14	v 12569
131.08/131.14	v 12570
131.08/131.14	v 12571
131.08/131.14	v 12572
131.08/131.14	v 12575
131.08/131.14	v 12578
131.08/131.14	v 12579
131.08/131.14	v 12580
131.08/131.14	v 12583
131.08/131.14	v 12584
131.08/131.14	v 12585
131.08/131.14	v 12586
131.08/131.14	v 12587
131.08/131.14	v 12588
131.08/131.14	v 12589
131.08/131.14	v 12592
131.08/131.14	v 12593
131.08/131.14	v 12594
131.08/131.14	v 12595
131.08/131.14	v 12596
131.08/131.14	v 12597
131.08/131.14	v 12598
131.08/131.14	v 12599
131.08/131.14	v 12603
131.08/131.14	v 12604
131.08/131.14	v 12605
131.08/131.14	v 12606
131.08/131.14	v 12607
131.08/131.14	v 12608
131.08/131.14	v 12609
131.08/131.14	v 12613
131.08/131.14	v 12614
131.08/131.14	v 12615
131.08/131.14	v 12616
131.08/131.14	v 12617
131.08/131.14	v 12618
131.08/131.14	v 12619
131.08/131.14	v 12620
131.08/131.14	v 12621
131.08/131.14	v 12622
131.08/131.14	v 12623
131.08/131.14	v 12624
131.08/131.14	v 12625
131.08/131.14	v 12626
131.08/131.14	v 12627
131.08/131.14	v 12628
131.08/131.14	v 12630
131.08/131.14	v 12633
131.08/131.14	v 12634
131.08/131.14	v 12637
131.08/131.14	v 12638
131.08/131.14	v 12639
131.08/131.14	v 12640
131.08/131.14	v 12641
131.08/131.14	v 12642
131.08/131.14	v 12643
131.08/131.14	v 12644
131.08/131.14	v 12645
131.08/131.14	v 12649
131.08/131.14	v 12650
131.08/131.14	v 12652
131.08/131.14	v 12653
131.08/131.14	v 12654
131.08/131.14	v 12655
131.08/131.14	v 12656
131.08/131.14	v 12657
131.08/131.14	v 12658
131.08/131.14	v 12659
131.08/131.14	v 12660
131.08/131.14	v 12662
131.08/131.14	v 12663
131.08/131.14	v 12664
131.08/131.14	v 12665
131.08/131.14	v 12666
131.08/131.14	v 12667
131.08/131.14	v 12668
131.08/131.14	v 12669
131.08/131.14	v 12670
131.08/131.14	v 12671
131.08/131.14	v 12672
131.08/131.14	v 12674
131.08/131.14	v 12675
131.08/131.14	v 12676
131.08/131.14	v 12677
131.08/131.14	v 12678
131.08/131.14	v 12679
131.08/131.14	v 12682
131.08/131.14	v 12683
131.08/131.14	v 12686
131.08/131.14	v 12687
131.08/131.14	v 12689
131.08/131.14	v 12690
131.08/131.14	v 12691
131.08/131.14	v 12692
131.08/131.14	v 12693
131.08/131.14	v 12694
131.08/131.14	v 12695
131.08/131.14	v 12696
131.08/131.14	v 12699
131.08/131.14	v 12700
131.08/131.14	v 12701
131.08/131.14	v 12702
131.08/131.14	v 12703
131.08/131.14	v 12704
131.08/131.14	v 12705
131.08/131.14	v 12706
131.08/131.14	v 12707
131.08/131.14	v 12709
131.08/131.14	v 12710
131.08/131.14	v 12711
131.08/131.14	v 12712
131.08/131.14	v 12714
131.08/131.14	v 12715
131.08/131.14	v 12716
131.08/131.14	v 12718
131.08/131.14	v 12719
131.08/131.14	v 12720
131.08/131.14	v 12722
131.08/131.14	v 12723
131.08/131.14	v 12724
131.08/131.14	v 12725
131.08/131.14	v 12726
131.08/131.14	v 12727
131.08/131.14	v 12730
131.08/131.14	v 12731
131.08/131.14	v 12734
131.08/131.14	v 12735
131.08/131.14	v 12737
131.08/131.14	v 12738
131.08/131.14	v 12739
131.08/131.14	v 12740
131.08/131.14	v 12741
131.08/131.14	v 12742
131.08/131.14	v 12743
131.08/131.14	v 12744
131.08/131.14	v 12747
131.08/131.14	v 12748
131.08/131.14	v 12749
131.08/131.14	v 12750
131.08/131.14	v 12751
131.08/131.14	v 12752
131.08/131.14	v 12753
131.08/131.14	v 12754
131.08/131.14	v 12755
131.08/131.14	v 12757
131.08/131.14	v 12758
131.08/131.14	v 12759
131.08/131.14	v 12760
131.08/131.14	v 12762
131.08/131.14	v 12763
131.08/131.14	v 12765
131.08/131.14	v 12766
131.08/131.14	v 12767
131.08/131.14	v 12768
131.08/131.14	v 12770
131.08/131.14	v 12771
131.08/131.14	v 12780
131.08/131.14	v 12784
131.08/131.14	v 12785
131.08/131.14	v 12786
131.08/131.14	v 12787
131.08/131.14	v 12789
131.08/131.14	v 12791
131.08/131.14	v 12796
131.08/131.14	v 12801
131.08/131.14	v 12802
131.08/131.14	v 12804
131.08/131.14	v 12805
131.08/131.14	v 12806
131.08/131.14	v 12807
131.08/131.14	v 12808
131.08/131.14	v 12809
131.08/131.14	v 12810
131.08/131.14	v 0
131.08/131.14	c [picomus] computed 3097 irredundant clauses 24%
131.08/131.14	c [picomus] 246 reductions in 131.1 seconds

Verifier Data 

OK	3097

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3483771-1307605187/watcher-3483771-1307605187 -o /tmp/evaluation-result-3483771-1307605187/solver-3483771-1307605187 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3483771-1307605187.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.84 1.76 0.67 6/800 18509
/proc/meminfo: memFree=8259348/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=1076 CPUtime=0 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 202 0 0 0 0 0 0 0 25 0 1 0 872116892 1101824 157 33554432000 134512640 135072097 4290232128 18446744073709551615 134705502 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 269 157 53 137 0 130 0

[startup+0.0460821 s]
/proc/loadavg: 3.84 1.76 0.67 6/800 18509
/proc/meminfo: memFree=8259348/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=1924 CPUtime=0.03 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 408 0 0 0 3 0 0 0 25 0 1 0 872116892 1970176 362 33554432000 134512640 135072097 4290232128 18446744073709551615 134538852 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 481 363 68 137 0 342 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1924

[startup+0.101097 s]
/proc/loadavg: 3.84 1.76 0.67 6/800 18509
/proc/meminfo: memFree=8259348/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=2196 CPUtime=0.08 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 502 0 0 0 8 0 0 0 25 0 1 0 872116892 2248704 456 33554432000 134512640 135072097 4290232128 18446744073709551615 134556265 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 549 456 68 137 0 410 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2196

[startup+0.301063 s]
/proc/loadavg: 3.84 1.76 0.67 6/800 18509
/proc/meminfo: memFree=8259348/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=3692 CPUtime=0.28 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 854 0 0 0 28 0 0 0 25 0 1 0 872116892 3780608 808 33554432000 134512640 135072097 4290232128 18446744073709551615 134557326 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 923 808 69 137 0 784 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 3692

[startup+0.70099 s]
/proc/loadavg: 3.84 1.76 0.67 6/800 18509
/proc/meminfo: memFree=8259348/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=6464 CPUtime=0.68 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 1542 0 0 0 68 0 0 0 25 0 1 0 872116892 6619136 1496 33554432000 134512640 135072097 4290232128 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 1616 1496 69 137 0 1477 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6464

[startup+1.50083 s]
/proc/loadavg: 3.84 1.76 0.67 5/801 18511
/proc/meminfo: memFree=8249552/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=12000 CPUtime=1.48 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 2932 0 0 0 148 0 0 0 25 0 1 0 872116892 12288000 2886 33554432000 134512640 135072097 4290232128 18446744073709551615 134557118 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 3000 2886 69 137 0 2861 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12000

[startup+3.10057 s]
/proc/loadavg: 3.84 1.76 0.67 5/801 18511
/proc/meminfo: memFree=8240872/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=22808 CPUtime=3.08 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 5584 0 0 0 307 1 0 0 25 0 1 0 872116892 23355392 5538 33554432000 134512640 135072097 4290232128 18446744073709551615 134684624 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 5702 5538 69 137 0 5563 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22808

[startup+6.301 s]
/proc/loadavg: 3.93 1.81 0.69 5/801 18511
/proc/meminfo: memFree=8241516/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=22736 CPUtime=6.28 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 11097 0 0 0 627 1 0 0 25 0 1 0 872116892 23281664 5537 33554432000 134512640 135072097 4290232128 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 5684 5537 76 137 0 5545 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22736

[startup+12.7008 s]
/proc/loadavg: 3.94 1.85 0.71 5/801 18511
/proc/meminfo: memFree=8224696/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=31700 CPUtime=12.68 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 19825 0 0 0 1265 3 0 0 25 0 1 0 872116892 32460800 7831 33554432000 134512640 135072097 4290232128 18446744073709551615 134556767 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 7925 7831 76 137 0 7786 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31700

[startup+25.5006 s]
/proc/loadavg: 3.95 1.95 0.76 5/801 18511
/proc/meminfo: memFree=8201604/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=58256 CPUtime=25.48 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 40259 0 0 0 2541 7 0 0 25 0 1 0 872116892 59654144 14020 33554432000 134512640 135072097 4290232128 18446744073709551615 134558190 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 14564 14020 76 137 0 14425 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58256

[startup+51.101 s]
/proc/loadavg: 3.97 2.12 0.85 5/801 18512
/proc/meminfo: memFree=8249088/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=13368 CPUtime=51.08 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 90307 0 0 0 5091 17 0 0 25 0 1 0 872116892 13688832 3245 33554432000 134512640 135072097 4290232128 18446744073709551615 134557380 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 3342 3245 76 137 0 3203 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13368

[startup+102.32 s]
/proc/loadavg: 3.76 2.35 1.00 4/795 18530
/proc/meminfo: memFree=8268584/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=26016 CPUtime=102.3 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 193641 0 0 0 10197 33 0 0 25 0 1 0 872116892 26640384 6162 33554432000 134512640 135072097 4290232128 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 6504 6162 76 137 0 6365 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26016

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

[startup+115.101 s]
/proc/loadavg: 3.66 2.40 1.03 4/795 18530
/proc/meminfo: memFree=8272500/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=18924 CPUtime=115.08 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 207808 0 0 0 11473 35 0 0 25 0 1 0 872116892 19378176 4645 33554432000 134512640 135072097 4290232128 18446744073709551615 134518160 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 4731 4645 77 137 0 4592 0
Current children cumulated CPU time (s) 115.08
Current children cumulated vsize (KiB) 18924

[startup+121.5 s]
/proc/loadavg: 3.61 2.41 1.04 4/795 18531
/proc/meminfo: memFree=8272868/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=18924 CPUtime=121.48 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 207808 0 0 0 12113 35 0 0 25 0 1 0 872116892 19378176 4645 33554432000 134512640 135072097 4290232128 18446744073709551615 134558408 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 4731 4645 77 137 0 4592 0
Current children cumulated CPU time (s) 121.48
Current children cumulated vsize (KiB) 18924

[startup+127.9 s]
/proc/loadavg: 3.56 2.42 1.05 4/795 18531
/proc/meminfo: memFree=8272484/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=18924 CPUtime=127.88 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 207808 0 0 0 12753 35 0 0 25 0 1 0 872116892 19378176 4645 33554432000 134512640 135072097 4290232128 18446744073709551615 134543369 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 4731 4645 77 137 0 4592 0
Current children cumulated CPU time (s) 127.88
Current children cumulated vsize (KiB) 18924

[startup+129.501 s]
/proc/loadavg: 3.56 2.42 1.05 4/795 18531
/proc/meminfo: memFree=8272976/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=18924 CPUtime=129.48 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 207808 0 0 0 12913 35 0 0 25 0 1 0 872116892 19378176 4645 33554432000 134512640 135072097 4290232128 18446744073709551615 134583966 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 4731 4645 77 137 0 4592 0
Current children cumulated CPU time (s) 129.48
Current children cumulated vsize (KiB) 18924

[startup+130.301 s]
/proc/loadavg: 3.51 2.43 1.06 4/795 18531
/proc/meminfo: memFree=8272852/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=18924 CPUtime=130.28 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 207808 0 0 0 12993 35 0 0 25 0 1 0 872116892 19378176 4645 33554432000 134512640 135072097 4290232128 18446744073709551615 134543400 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 4731 4645 77 137 0 4592 0
Current children cumulated CPU time (s) 130.28
Current children cumulated vsize (KiB) 18924

[startup+130.701 s]
/proc/loadavg: 3.51 2.43 1.06 4/795 18531
/proc/meminfo: memFree=8272852/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=18924 CPUtime=130.68 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 207808 0 0 0 13033 35 0 0 25 0 1 0 872116892 19378176 4645 33554432000 134512640 135072097 4290232128 18446744073709551615 134549558 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 4731 4645 77 137 0 4592 0
Current children cumulated CPU time (s) 130.68
Current children cumulated vsize (KiB) 18924

[startup+131.101 s]
/proc/loadavg: 3.51 2.43 1.06 4/795 18531
/proc/meminfo: memFree=8273092/32951124 swapFree=57654872/67111528
[pid=18509] ppid=18507 vsize=18924 CPUtime=131.08 cores=4,6
/proc/18509/stat : 18509 (picomus) R 18507 18509 18122 0 -1 4202496 207808 0 0 0 13073 35 0 0 25 0 1 0 872116892 19378176 4645 33554432000 134512640 135072097 4290232128 18446744073709551615 134584053 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18509/statm: 4731 4645 77 137 0 4592 0
Current children cumulated CPU time (s) 131.08
Current children cumulated vsize (KiB) 18924

Child status: 20
Real time (s): 131.145
CPU time (s): 131.134
CPU user time (s): 130.777
CPU system time (s): 0.356945
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 60236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.777
system time used= 0.356945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207809
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 252

runsolver used 0.729889 second user time and 1.56876 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-09 09:39:47
IDJOB=3483771
IDBENCH=89553
IDSOLVER=1974
FILE ID=node132/3483771-1307605187
RUNJOBID= node132-1307605005-18141
PBS_JOBID= 13547757
Free space on /tmp= 73332 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/dlx2_cc.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483771-1307605187/watcher-3483771-1307605187 -o /tmp/evaluation-result-3483771-1307605187/solver-3483771-1307605187 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3483771-1307605187.cnf

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

MD5SUM BENCH= 8b97159533ebe54eafd45b00aaada656
RANDOM SEED=1119079745

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       8259504 kB
Buffers:        167876 kB
Cached:        1028776 kB
SwapCached:      10184 kB
Active:       24140148 kB
Inactive:       227356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       8259504 kB
SwapTotal:    67111528 kB
SwapFree:     57654872 kB
Dirty:          177284 kB
Writeback:          12 kB
AnonPages:    23168512 kB
Mapped:         108748 kB
Slab:           149472 kB
PageTables:     101468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 140341012 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73336 MiB
End job on node132 at 2011-06-09 09:41:59