Trace number 3483523

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 11.6222 11.6312

General information on the benchmark

NameSAT02/industrial/goldberg/rand_net/
rand_net40-25-1.shuffled.cnf
MD5SUMf2e8312ad845734d1755ad930d461e5f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.6146
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of clauses5921
Sum of the clauses size13960
Maximum clause length40
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23840
Number of clauses of size 32080
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data

0.00/0.02	c [picomus] WARNING: no output file given
0.00/0.02	c [picomus] p cnf 2000 5921
0.01/0.08	s UNSATISFIABLE
0.01/0.09	c [picomus] extracted core 1 of size 3868 out of 5921 (65%) after 0.1 sec
0.09/0.14	c [picomus] extracted core 2 of size 3574 out of 5921 (60%) after 0.1 sec
0.09/0.19	c [picomus] extracted core 3 of size 3487 out of 5921 (59%) after 0.2 sec
0.19/0.25	c [picomus] extracted core 4 of size 3437 out of 5921 (58%) after 0.3 sec
0.29/0.33	c [picomus] extracted core 5 of size 3421 out of 5921 (58%) after 0.3 sec
0.39/0.40	c [picomus] extracted core 6 of size 3403 out of 5921 (57%) after 0.4 sec
0.39/0.47	c [picomus] extracted core 7 of size 3377 out of 5921 (57%) after 0.5 sec
0.49/0.54	c [picomus] extracted core 8 of size 3370 out of 5921 (57%) after 0.5 sec
0.49/0.59	c [picomus] extracted core 9 of size 3361 out of 5921 (57%) after 0.6 sec
0.59/0.66	c [picomus] extracted core 10 of size 3360 out of 5921 (57%) after 0.7 sec
0.69/0.74	c [picomus] extracted core 11 of size 3360 out of 5921 (57%) after 0.7 sec
0.89/0.98	c [picomus] reduction 1 to 3337 out of 5921 (56%) after 1.0 sec
1.11/1.13	c [picomus] reduction 2 to 3334 out of 5921 (56%) after 1.1 sec
1.11/1.18	c [picomus] reduction 3 to 3331 out of 5921 (56%) after 1.2 sec
1.28/1.37	c [picomus] reduction 4 to 3328 out of 5921 (56%) after 1.4 sec
1.38/1.43	c [picomus] reduction 5 to 3309 out of 5921 (56%) after 1.4 sec
1.58/1.64	c [picomus] reduction 6 to 3308 out of 5921 (56%) after 1.6 sec
1.88/1.95	c [picomus] reduction 7 to 3306 out of 5921 (56%) after 2.0 sec
1.99/2.06	c [picomus] reduction 8 to 3300 out of 5921 (56%) after 2.1 sec
2.11/2.20	c [picomus] reduction 9 to 3294 out of 5921 (56%) after 2.2 sec
2.29/2.32	c [picomus] reduction 10 to 3288 out of 5921 (56%) after 2.3 sec
2.49/2.57	c [picomus] reduction 11 to 3282 out of 5921 (55%) after 2.6 sec
2.59/2.68	c [picomus] reduction 12 to 3280 out of 5921 (55%) after 2.7 sec
2.69/2.74	c [picomus] reduction 13 to 3269 out of 5921 (55%) after 2.7 sec
2.89/2.92	c [picomus] reduction 14 to 3257 out of 5921 (55%) after 2.9 sec
2.99/3.02	c [picomus] reduction 15 to 3254 out of 5921 (55%) after 3.0 sec
3.31/3.37	c [picomus] reduction 16 to 3245 out of 5921 (55%) after 3.4 sec
3.39/3.41	c [picomus] reduction 17 to 3244 out of 5921 (55%) after 3.4 sec
3.59/3.64	c [picomus] reduction 18 to 3241 out of 5921 (55%) after 3.6 sec
3.59/3.66	c [picomus] reduction 19 to 3238 out of 5921 (55%) after 3.7 sec
3.69/3.74	c [picomus] reduction 20 to 3232 out of 5921 (55%) after 3.7 sec
3.69/3.79	c [picomus] reduction 21 to 3231 out of 5921 (55%) after 3.8 sec
3.79/3.81	c [picomus] reduction 22 to 3228 out of 5921 (55%) after 3.8 sec
3.89/3.92	c [picomus] reduction 23 to 3226 out of 5921 (54%) after 3.9 sec
4.09/4.12	c [picomus] reduction 24 to 3222 out of 5921 (54%) after 4.1 sec
4.09/4.18	c [picomus] reduction 25 to 3221 out of 5921 (54%) after 4.2 sec
4.31/4.32	c [picomus] reduction 26 to 3218 out of 5921 (54%) after 4.3 sec
4.31/4.36	c [picomus] reduction 27 to 3217 out of 5921 (54%) after 4.4 sec
4.49/4.59	c [picomus] reduction 28 to 3215 out of 5921 (54%) after 4.6 sec
4.59/4.64	c [picomus] reduction 29 to 3214 out of 5921 (54%) after 4.6 sec
4.69/4.77	c [picomus] reduction 30 to 3213 out of 5921 (54%) after 4.8 sec
4.89/4.97	c [picomus] reduction 31 to 3212 out of 5921 (54%) after 5.0 sec
4.89/4.98	c [picomus] reduction 32 to 3210 out of 5921 (54%) after 5.0 sec
4.99/5.07	c [picomus] reduction 33 to 3208 out of 5921 (54%) after 5.1 sec
4.99/5.09	c [picomus] reduction 34 to 3206 out of 5921 (54%) after 5.1 sec
5.19/5.23	c [picomus] reduction 35 to 3203 out of 5921 (54%) after 5.2 sec
5.19/5.26	c [picomus] reduction 36 to 3202 out of 5921 (54%) after 5.3 sec
5.19/5.27	c [picomus] reduction 37 to 3197 out of 5921 (54%) after 5.3 sec
5.29/5.30	c [picomus] reduction 38 to 3192 out of 5921 (54%) after 5.3 sec
5.29/5.39	c [picomus] reduction 39 to 3190 out of 5921 (54%) after 5.4 sec
5.51/5.57	c [picomus] reduction 40 to 3188 out of 5921 (54%) after 5.6 sec
5.69/5.71	c [picomus] reduction 41 to 3187 out of 5921 (54%) after 5.7 sec
5.69/5.77	c [picomus] reduction 42 to 3185 out of 5921 (54%) after 5.8 sec
6.19/6.21	c [picomus] reduction 43 to 3179 out of 5921 (54%) after 6.2 sec
6.39/6.40	c [picomus] reduction 44 to 3178 out of 5921 (54%) after 6.4 sec
6.39/6.47	c [picomus] reduction 45 to 3176 out of 5921 (54%) after 6.5 sec
6.51/6.53	c [picomus] reduction 46 to 3174 out of 5921 (54%) after 6.5 sec
6.69/6.74	c [picomus] reduction 47 to 3170 out of 5921 (54%) after 6.7 sec
6.69/6.76	c [picomus] reduction 48 to 3167 out of 5921 (53%) after 6.8 sec
6.69/6.77	c [picomus] reduction 49 to 3165 out of 5921 (53%) after 6.8 sec
6.69/6.78	c [picomus] reduction 50 to 3163 out of 5921 (53%) after 6.8 sec
6.79/6.88	c [picomus] reduction 51 to 3162 out of 5921 (53%) after 6.9 sec
6.89/6.90	c [picomus] reduction 52 to 3160 out of 5921 (53%) after 6.9 sec
6.89/6.93	c [picomus] reduction 53 to 3159 out of 5921 (53%) after 6.9 sec
6.89/6.99	c [picomus] reduction 54 to 3158 out of 5921 (53%) after 7.0 sec
7.29/7.33	c [picomus] reduction 55 to 3157 out of 5921 (53%) after 7.3 sec
7.29/7.36	c [picomus] reduction 56 to 3156 out of 5921 (53%) after 7.4 sec
7.39/7.46	c [picomus] reduction 57 to 3154 out of 5921 (53%) after 7.5 sec
7.49/7.56	c [picomus] reduction 58 to 3153 out of 5921 (53%) after 7.6 sec
7.49/7.59	c [picomus] reduction 59 to 3151 out of 5921 (53%) after 7.6 sec
7.60/7.65	c [picomus] reduction 60 to 3150 out of 5921 (53%) after 7.6 sec
7.71/7.75	c [picomus] reduction 61 to 3149 out of 5921 (53%) after 7.8 sec
7.79/7.82	c [picomus] reduction 62 to 3148 out of 5921 (53%) after 7.8 sec
7.89/7.94	c [picomus] reduction 63 to 3147 out of 5921 (53%) after 7.9 sec
7.89/7.99	c [picomus] reduction 64 to 3146 out of 5921 (53%) after 8.0 sec
8.09/8.11	c [picomus] reduction 65 to 3145 out of 5921 (53%) after 8.1 sec
8.19/8.25	c [picomus] reduction 66 to 3144 out of 5921 (53%) after 8.2 sec
8.29/8.36	c [picomus] reduction 67 to 3143 out of 5921 (53%) after 8.4 sec
8.29/8.38	c [picomus] reduction 68 to 3142 out of 5921 (53%) after 8.4 sec
8.99/9.06	c [picomus] reduction 69 to 3141 out of 5921 (53%) after 9.1 sec
8.99/9.08	c [picomus] reduction 70 to 3139 out of 5921 (53%) after 9.1 sec
9.19/9.21	c [picomus] reduction 71 to 3138 out of 5921 (53%) after 9.2 sec
9.29/9.35	c [picomus] reduction 72 to 3137 out of 5921 (53%) after 9.4 sec
9.59/9.64	c [picomus] reduction 73 to 3136 out of 5921 (53%) after 9.6 sec
9.59/9.69	c [picomus] reduction 74 to 3135 out of 5921 (53%) after 9.7 sec
10.39/10.43	c [picomus] reduction 75 to 3134 out of 5921 (53%) after 10.4 sec
10.39/10.44	c [picomus] reduction 76 to 3133 out of 5921 (53%) after 10.4 sec
10.69/10.76	c [picomus] reduction 77 to 3132 out of 5921 (53%) after 10.8 sec
10.90/11.00	c [picomus] reduction 78 to 3131 out of 5921 (53%) after 11.0 sec
11.09/11.14	c [picomus] reduction 79 to 3130 out of 5921 (53%) after 11.1 sec
11.19/11.29	c [picomus] reduction 80 to 3129 out of 5921 (53%) after 11.3 sec
11.49/11.56	c [picomus] reduction 81 to 3128 out of 5921 (53%) after 11.6 sec
11.49/11.58	c [picomus] reduction 82 to 3127 out of 5921 (53%) after 11.6 sec
11.59/11.62	c [picosat] 3210 calls
11.59/11.62	c [picosat] 0 iterations
11.59/11.62	c [picosat] 11 restarts
11.59/11.62	c [picosat] 0 failed literals
11.59/11.62	c [picosat] 10617 conflicts
11.59/11.62	c [picosat] 14718754 decisions
11.59/11.62	c [picosat] 3337 fixed variables
11.59/11.62	c [picosat] 9766722 learned literals
11.59/11.62	c [picosat] 1.5% deleted literals
11.59/11.62	c [picosat] 23467307 propagations
11.59/11.62	c [picosat] 64.2% variables used
11.59/11.62	c [picosat] 9.4 seconds in library
11.59/11.62	c [picosat] 2.5 megaprops/second
11.59/11.62	c [picosat] probing 0.0 seconds 0%
11.59/11.62	c [picosat] 13 simplifications
11.59/11.62	c [picosat] 1 reductions
11.59/11.62	c [picosat] 36.7 MB recycled
11.59/11.62	c [picosat] 12.7 MB maximally allocated
11.59/11.62	c [picomus] found 2794 redundant clauses 47%
11.59/11.62	c [picomus] computed MUS of size 3127 out of 5921 (53%)
11.59/11.62	v 2
11.59/11.62	v 3
11.59/11.62	v 5
11.59/11.62	v 8
11.59/11.62	v 9
11.59/11.62	v 14
11.59/11.62	v 16
11.59/11.62	v 17
11.59/11.62	v 20
11.59/11.62	v 22
11.59/11.62	v 32
11.59/11.62	v 33
11.59/11.62	v 43
11.59/11.62	v 44
11.59/11.62	v 45
11.59/11.62	v 48
11.59/11.62	v 49
11.59/11.62	v 51
11.59/11.62	v 53
11.59/11.62	v 54
11.59/11.62	v 55
11.59/11.62	v 56
11.59/11.62	v 57
11.59/11.62	v 58
11.59/11.62	v 64
11.59/11.62	v 65
11.59/11.62	v 69
11.59/11.62	v 80
11.59/11.62	v 81
11.59/11.62	v 87
11.59/11.62	v 88
11.59/11.62	v 95
11.59/11.62	v 96
11.59/11.62	v 97
11.59/11.62	v 98
11.59/11.62	v 102
11.59/11.62	v 103
11.59/11.62	v 105
11.59/11.62	v 106
11.59/11.62	v 107
11.59/11.62	v 108
11.59/11.62	v 110
11.59/11.62	v 112
11.59/11.62	v 113
11.59/11.62	v 114
11.59/11.62	v 115
11.59/11.62	v 120
11.59/11.62	v 121
11.59/11.62	v 122
11.59/11.62	v 127
11.59/11.62	v 128
11.59/11.62	v 129
11.59/11.62	v 132
11.59/11.62	v 135
11.59/11.62	v 141
11.59/11.62	v 143
11.59/11.62	v 144
11.59/11.62	v 146
11.59/11.62	v 147
11.59/11.62	v 148
11.59/11.62	v 150
11.59/11.62	v 151
11.59/11.62	v 152
11.59/11.62	v 154
11.59/11.62	v 155
11.59/11.62	v 156
11.59/11.62	v 160
11.59/11.62	v 161
11.59/11.62	v 162
11.59/11.62	v 166
11.59/11.62	v 168
11.59/11.62	v 169
11.59/11.62	v 170
11.59/11.62	v 172
11.59/11.62	v 173
11.59/11.62	v 174
11.59/11.62	v 175
11.59/11.62	v 178
11.59/11.62	v 179
11.59/11.62	v 185
11.59/11.62	v 188
11.59/11.62	v 190
11.59/11.62	v 195
11.59/11.62	v 196
11.59/11.62	v 197
11.59/11.62	v 198
11.59/11.62	v 201
11.59/11.62	v 202
11.59/11.62	v 204
11.59/11.62	v 205
11.59/11.62	v 208
11.59/11.62	v 209
11.59/11.62	v 212
11.59/11.62	v 213
11.59/11.62	v 215
11.59/11.62	v 216
11.59/11.62	v 217
11.59/11.62	v 218
11.59/11.62	v 220
11.59/11.62	v 222
11.59/11.62	v 224
11.59/11.62	v 225
11.59/11.62	v 227
11.59/11.62	v 229
11.59/11.62	v 235
11.59/11.62	v 236
11.59/11.62	v 237
11.59/11.62	v 241
11.59/11.62	v 242
11.59/11.62	v 246
11.59/11.62	v 251
11.59/11.62	v 253
11.59/11.62	v 254
11.59/11.62	v 255
11.59/11.62	v 257
11.59/11.62	v 258
11.59/11.62	v 260
11.59/11.62	v 263
11.59/11.62	v 268
11.59/11.62	v 271
11.59/11.62	v 272
11.59/11.62	v 274
11.59/11.62	v 276
11.59/11.62	v 277
11.59/11.62	v 278
11.59/11.62	v 281
11.59/11.62	v 282
11.59/11.62	v 283
11.59/11.62	v 284
11.59/11.62	v 285
11.59/11.62	v 287
11.59/11.62	v 289
11.59/11.62	v 291
11.59/11.62	v 296
11.59/11.62	v 299
11.59/11.62	v 302
11.59/11.62	v 304
11.59/11.62	v 306
11.59/11.62	v 307
11.59/11.62	v 309
11.59/11.62	v 310
11.59/11.62	v 311
11.59/11.62	v 312
11.59/11.62	v 313
11.59/11.62	v 314
11.59/11.62	v 316
11.59/11.62	v 319
11.59/11.62	v 321
11.59/11.62	v 322
11.59/11.62	v 323
11.59/11.62	v 325
11.59/11.62	v 326
11.59/11.62	v 327
11.59/11.62	v 328
11.59/11.62	v 329
11.59/11.62	v 331
11.59/11.62	v 332
11.59/11.62	v 334
11.59/11.62	v 335
11.59/11.62	v 336
11.59/11.62	v 337
11.59/11.62	v 339
11.59/11.62	v 340
11.59/11.62	v 341
11.59/11.62	v 346
11.59/11.62	v 348
11.59/11.62	v 349
11.59/11.62	v 350
11.59/11.62	v 352
11.59/11.62	v 354
11.59/11.62	v 355
11.59/11.62	v 357
11.59/11.62	v 358
11.59/11.62	v 359
11.59/11.62	v 363
11.59/11.62	v 364
11.59/11.62	v 365
11.59/11.62	v 366
11.59/11.62	v 371
11.59/11.62	v 374
11.59/11.62	v 375
11.59/11.62	v 377
11.59/11.62	v 380
11.59/11.62	v 382
11.59/11.62	v 383
11.59/11.62	v 385
11.59/11.62	v 386
11.59/11.62	v 388
11.59/11.62	v 391
11.59/11.62	v 392
11.59/11.62	v 395
11.59/11.62	v 397
11.59/11.62	v 399
11.59/11.62	v 400
11.59/11.62	v 401
11.59/11.62	v 404
11.59/11.62	v 405
11.59/11.62	v 407
11.59/11.62	v 408
11.59/11.62	v 409
11.59/11.62	v 411
11.59/11.62	v 413
11.59/11.62	v 415
11.59/11.62	v 416
11.59/11.62	v 417
11.59/11.62	v 419
11.59/11.62	v 420
11.59/11.62	v 432
11.59/11.62	v 433
11.59/11.62	v 434
11.59/11.62	v 436
11.59/11.62	v 439
11.59/11.62	v 444
11.59/11.62	v 445
11.59/11.62	v 446
11.59/11.62	v 450
11.59/11.62	v 451
11.59/11.62	v 454
11.59/11.62	v 455
11.59/11.62	v 460
11.59/11.62	v 462
11.59/11.62	v 465
11.59/11.62	v 466
11.59/11.62	v 468
11.59/11.62	v 469
11.59/11.62	v 470
11.59/11.62	v 473
11.59/11.62	v 475
11.59/11.62	v 479
11.59/11.62	v 481
11.59/11.62	v 482
11.59/11.62	v 483
11.59/11.62	v 488
11.59/11.62	v 489
11.59/11.62	v 491
11.59/11.62	v 492
11.59/11.62	v 493
11.59/11.62	v 494
11.59/11.62	v 500
11.59/11.62	v 501
11.59/11.62	v 502
11.59/11.62	v 504
11.59/11.62	v 505
11.59/11.62	v 506
11.59/11.62	v 512
11.59/11.62	v 513
11.59/11.62	v 515
11.59/11.62	v 516
11.59/11.62	v 518
11.59/11.62	v 519
11.59/11.62	v 520
11.59/11.62	v 521
11.59/11.62	v 522
11.59/11.62	v 523
11.59/11.62	v 524
11.59/11.62	v 526
11.59/11.62	v 527
11.59/11.62	v 529
11.59/11.62	v 530
11.59/11.62	v 532
11.59/11.62	v 533
11.59/11.62	v 534
11.59/11.62	v 536
11.59/11.62	v 537
11.59/11.62	v 538
11.59/11.62	v 539
11.59/11.62	v 540
11.59/11.62	v 542
11.59/11.62	v 545
11.59/11.62	v 546
11.59/11.62	v 553
11.59/11.62	v 554
11.59/11.62	v 560
11.59/11.62	v 563
11.59/11.62	v 565
11.59/11.62	v 567
11.59/11.62	v 569
11.59/11.62	v 570
11.59/11.62	v 573
11.59/11.62	v 575
11.59/11.62	v 579
11.59/11.62	v 580
11.59/11.62	v 581
11.59/11.62	v 582
11.59/11.62	v 583
11.59/11.62	v 584
11.59/11.62	v 586
11.59/11.62	v 587
11.59/11.62	v 591
11.59/11.62	v 593
11.59/11.62	v 594
11.59/11.62	v 595
11.59/11.62	v 596
11.59/11.62	v 598
11.59/11.62	v 600
11.59/11.62	v 601
11.59/11.62	v 604
11.59/11.62	v 605
11.59/11.62	v 608
11.59/11.62	v 609
11.59/11.62	v 612
11.59/11.62	v 613
11.59/11.62	v 614
11.59/11.62	v 615
11.59/11.62	v 617
11.59/11.62	v 619
11.59/11.62	v 623
11.59/11.62	v 624
11.59/11.62	v 625
11.59/11.62	v 626
11.59/11.62	v 627
11.59/11.62	v 629
11.59/11.62	v 633
11.59/11.62	v 635
11.59/11.62	v 636
11.59/11.62	v 637
11.59/11.62	v 638
11.59/11.62	v 639
11.59/11.62	v 640
11.59/11.62	v 641
11.59/11.62	v 643
11.59/11.62	v 646
11.59/11.62	v 647
11.59/11.62	v 652
11.59/11.62	v 656
11.59/11.62	v 658
11.59/11.62	v 659
11.59/11.62	v 663
11.59/11.62	v 664
11.59/11.62	v 665
11.59/11.62	v 672
11.59/11.62	v 676
11.59/11.62	v 684
11.59/11.62	v 685
11.59/11.62	v 686
11.59/11.62	v 687
11.59/11.62	v 690
11.59/11.62	v 691
11.59/11.62	v 693
11.59/11.62	v 695
11.59/11.62	v 696
11.59/11.62	v 697
11.59/11.62	v 702
11.59/11.62	v 703
11.59/11.62	v 704
11.59/11.62	v 706
11.59/11.62	v 707
11.59/11.62	v 709
11.59/11.62	v 714
11.59/11.62	v 717
11.59/11.62	v 718
11.59/11.62	v 723
11.59/11.62	v 724
11.59/11.62	v 727
11.59/11.62	v 728
11.59/11.62	v 729
11.59/11.62	v 731
11.59/11.62	v 734
11.59/11.62	v 738
11.59/11.62	v 739
11.59/11.62	v 741
11.59/11.62	v 742
11.59/11.62	v 743
11.59/11.62	v 745
11.59/11.62	v 746
11.59/11.62	v 748
11.59/11.62	v 750
11.59/11.62	v 754
11.59/11.62	v 758
11.59/11.62	v 759
11.59/11.62	v 760
11.59/11.62	v 761
11.59/11.62	v 763
11.59/11.62	v 764
11.59/11.62	v 765
11.59/11.62	v 768
11.59/11.62	v 771
11.59/11.62	v 772
11.59/11.62	v 773
11.59/11.62	v 777
11.59/11.62	v 778
11.59/11.62	v 779
11.59/11.62	v 780
11.59/11.62	v 781
11.59/11.62	v 782
11.59/11.62	v 783
11.59/11.62	v 785
11.59/11.62	v 786
11.59/11.62	v 789
11.59/11.62	v 790
11.59/11.62	v 792
11.59/11.62	v 795
11.59/11.62	v 796
11.59/11.62	v 797
11.59/11.62	v 798
11.59/11.62	v 800
11.59/11.62	v 801
11.59/11.62	v 802
11.59/11.62	v 804
11.59/11.62	v 807
11.59/11.62	v 808
11.59/11.62	v 812
11.59/11.62	v 815
11.59/11.62	v 816
11.59/11.62	v 817
11.59/11.62	v 820
11.59/11.62	v 821
11.59/11.62	v 822
11.59/11.62	v 824
11.59/11.62	v 825
11.59/11.62	v 826
11.59/11.62	v 827
11.59/11.62	v 830
11.59/11.62	v 831
11.59/11.62	v 832
11.59/11.62	v 834
11.59/11.62	v 835
11.59/11.62	v 837
11.59/11.62	v 838
11.59/11.62	v 843
11.59/11.62	v 844
11.59/11.62	v 845
11.59/11.62	v 848
11.59/11.62	v 849
11.59/11.62	v 850
11.59/11.62	v 851
11.59/11.62	v 854
11.59/11.62	v 855
11.59/11.62	v 858
11.59/11.62	v 859
11.59/11.62	v 860
11.59/11.62	v 865
11.59/11.62	v 866
11.59/11.62	v 867
11.59/11.62	v 870
11.59/11.62	v 871
11.59/11.62	v 873
11.59/11.62	v 877
11.59/11.62	v 880
11.59/11.62	v 881
11.59/11.62	v 882
11.59/11.62	v 883
11.59/11.62	v 884
11.59/11.62	v 885
11.59/11.62	v 886
11.59/11.62	v 891
11.59/11.62	v 892
11.59/11.62	v 895
11.59/11.62	v 897
11.59/11.62	v 898
11.59/11.62	v 900
11.59/11.62	v 901
11.59/11.62	v 902
11.59/11.62	v 903
11.59/11.62	v 905
11.59/11.62	v 906
11.59/11.62	v 909
11.59/11.62	v 911
11.59/11.62	v 913
11.59/11.62	v 914
11.59/11.62	v 916
11.59/11.62	v 917
11.59/11.62	v 918
11.59/11.62	v 920
11.59/11.62	v 921
11.59/11.62	v 922
11.59/11.62	v 924
11.59/11.62	v 925
11.59/11.62	v 926
11.59/11.62	v 929
11.59/11.62	v 931
11.59/11.62	v 932
11.59/11.62	v 936
11.59/11.62	v 938
11.59/11.62	v 939
11.59/11.62	v 940
11.59/11.62	v 942
11.59/11.62	v 943
11.59/11.62	v 946
11.59/11.62	v 947
11.59/11.62	v 949
11.59/11.62	v 951
11.59/11.62	v 952
11.59/11.62	v 953
11.59/11.62	v 954
11.59/11.62	v 956
11.59/11.62	v 957
11.59/11.62	v 958
11.59/11.62	v 963
11.59/11.62	v 964
11.59/11.62	v 965
11.59/11.62	v 966
11.59/11.62	v 967
11.59/11.62	v 968
11.59/11.62	v 970
11.59/11.62	v 971
11.59/11.62	v 972
11.59/11.62	v 974
11.59/11.62	v 976
11.59/11.62	v 977
11.59/11.62	v 978
11.59/11.62	v 979
11.59/11.62	v 980
11.59/11.62	v 984
11.59/11.62	v 987
11.59/11.62	v 988
11.59/11.62	v 990
11.59/11.62	v 991
11.59/11.62	v 992
11.59/11.62	v 993
11.59/11.62	v 998
11.59/11.62	v 1000
11.59/11.62	v 1001
11.59/11.62	v 1003
11.59/11.62	v 1004
11.59/11.62	v 1005
11.59/11.62	v 1006
11.59/11.62	v 1007
11.59/11.62	v 1008
11.59/11.62	v 1009
11.59/11.62	v 1010
11.59/11.62	v 1014
11.59/11.62	v 1015
11.59/11.62	v 1016
11.59/11.62	v 1017
11.59/11.62	v 1018
11.59/11.62	v 1020
11.59/11.62	v 1022
11.59/11.62	v 1023
11.59/11.62	v 1024
11.59/11.62	v 1028
11.59/11.62	v 1032
11.59/11.62	v 1033
11.59/11.62	v 1034
11.59/11.62	v 1036
11.59/11.62	v 1038
11.59/11.62	v 1039
11.59/11.62	v 1040
11.59/11.62	v 1043
11.59/11.62	v 1044
11.59/11.62	v 1045
11.59/11.62	v 1046
11.59/11.62	v 1048
11.59/11.62	v 1051
11.59/11.62	v 1052
11.59/11.62	v 1053
11.59/11.62	v 1058
11.59/11.62	v 1059
11.59/11.62	v 1062
11.59/11.62	v 1063
11.59/11.62	v 1064
11.59/11.62	v 1066
11.59/11.62	v 1068
11.59/11.62	v 1079
11.59/11.62	v 1080
11.59/11.62	v 1081
11.59/11.62	v 1084
11.59/11.62	v 1085
11.59/11.62	v 1086
11.59/11.62	v 1087
11.59/11.62	v 1088
11.59/11.62	v 1089
11.59/11.62	v 1090
11.59/11.62	v 1093
11.59/11.62	v 1095
11.59/11.62	v 1098
11.59/11.62	v 1099
11.59/11.62	v 1101
11.59/11.62	v 1102
11.59/11.62	v 1104
11.59/11.62	v 1105
11.59/11.62	v 1107
11.59/11.62	v 1108
11.59/11.62	v 1109
11.59/11.62	v 1111
11.59/11.62	v 1114
11.59/11.62	v 1115
11.59/11.62	v 1118
11.59/11.62	v 1119
11.59/11.62	v 1123
11.59/11.62	v 1124
11.59/11.62	v 1126
11.59/11.62	v 1127
11.59/11.62	v 1128
11.59/11.62	v 1129
11.59/11.62	v 1130
11.59/11.62	v 1132
11.59/11.62	v 1135
11.59/11.62	v 1138
11.59/11.62	v 1139
11.59/11.62	v 1140
11.59/11.62	v 1141
11.59/11.62	v 1142
11.59/11.62	v 1143
11.59/11.62	v 1146
11.59/11.62	v 1147
11.59/11.62	v 1149
11.59/11.62	v 1151
11.59/11.62	v 1152
11.59/11.62	v 1154
11.59/11.62	v 1155
11.59/11.62	v 1157
11.59/11.62	v 1158
11.59/11.62	v 1160
11.59/11.62	v 1161
11.59/11.62	v 1163
11.59/11.62	v 1165
11.59/11.62	v 1167
11.59/11.62	v 1171
11.59/11.62	v 1172
11.59/11.62	v 1173
11.59/11.62	v 1182
11.59/11.62	v 1184
11.59/11.62	v 1187
11.59/11.62	v 1189
11.59/11.62	v 1190
11.59/11.62	v 1191
11.59/11.62	v 1193
11.59/11.62	v 1194
11.59/11.62	v 1195
11.59/11.62	v 1196
11.59/11.62	v 1197
11.59/11.62	v 1198
11.59/11.62	v 1199
11.59/11.62	v 1206
11.59/11.62	v 1209
11.59/11.62	v 1210
11.59/11.62	v 1213
11.59/11.62	v 1214
11.59/11.62	v 1215
11.59/11.62	v 1216
11.59/11.62	v 1218
11.59/11.62	v 1221
11.59/11.62	v 1227
11.59/11.62	v 1231
11.59/11.62	v 1232
11.59/11.62	v 1234
11.59/11.62	v 1237
11.59/11.62	v 1239
11.59/11.62	v 1240
11.59/11.62	v 1242
11.59/11.62	v 1244
11.59/11.62	v 1245
11.59/11.62	v 1246
11.59/11.62	v 1248
11.59/11.62	v 1250
11.59/11.62	v 1251
11.59/11.62	v 1252
11.59/11.62	v 1253
11.59/11.62	v 1254
11.59/11.62	v 1257
11.59/11.62	v 1261
11.59/11.62	v 1267
11.59/11.62	v 1268
11.59/11.62	v 1269
11.59/11.62	v 1270
11.59/11.62	v 1276
11.59/11.62	v 1277
11.59/11.62	v 1282
11.59/11.62	v 1283
11.59/11.62	v 1284
11.59/11.62	v 1287
11.59/11.62	v 1288
11.59/11.62	v 1290
11.59/11.62	v 1292
11.59/11.62	v 1293
11.59/11.62	v 1294
11.59/11.62	v 1295
11.59/11.62	v 1297
11.59/11.62	v 1301
11.59/11.62	v 1302
11.59/11.62	v 1303
11.59/11.62	v 1304
11.59/11.62	v 1305
11.59/11.62	v 1306
11.59/11.62	v 1307
11.59/11.62	v 1310
11.59/11.62	v 1311
11.59/11.62	v 1314
11.59/11.62	v 1315
11.59/11.62	v 1316
11.59/11.62	v 1319
11.59/11.62	v 1320
11.59/11.62	v 1321
11.59/11.62	v 1322
11.59/11.62	v 1323
11.59/11.62	v 1325
11.59/11.62	v 1328
11.59/11.62	v 1329
11.59/11.62	v 1330
11.59/11.62	v 1332
11.59/11.62	v 1334
11.59/11.62	v 1335
11.59/11.62	v 1338
11.59/11.62	v 1339
11.59/11.62	v 1340
11.59/11.62	v 1341
11.59/11.62	v 1344
11.59/11.62	v 1346
11.59/11.62	v 1349
11.59/11.62	v 1350
11.59/11.62	v 1351
11.59/11.62	v 1353
11.59/11.62	v 1355
11.59/11.62	v 1356
11.59/11.62	v 1358
11.59/11.62	v 1359
11.59/11.62	v 1361
11.59/11.62	v 1366
11.59/11.62	v 1369
11.59/11.62	v 1370
11.59/11.62	v 1375
11.59/11.62	v 1376
11.59/11.62	v 1379
11.59/11.62	v 1382
11.59/11.62	v 1384
11.59/11.62	v 1388
11.59/11.62	v 1389
11.59/11.62	v 1390
11.59/11.62	v 1392
11.59/11.62	v 1394
11.59/11.62	v 1395
11.59/11.62	v 1396
11.59/11.62	v 1397
11.59/11.62	v 1398
11.59/11.62	v 1399
11.59/11.62	v 1400
11.59/11.62	v 1402
11.59/11.62	v 1406
11.59/11.62	v 1407
11.59/11.62	v 1411
11.59/11.62	v 1412
11.59/11.62	v 1414
11.59/11.62	v 1416
11.59/11.62	v 1417
11.59/11.62	v 1421
11.59/11.62	v 1423
11.59/11.62	v 1425
11.59/11.62	v 1427
11.59/11.62	v 1428
11.59/11.62	v 1429
11.59/11.62	v 1430
11.59/11.62	v 1431
11.59/11.62	v 1432
11.59/11.62	v 1434
11.59/11.62	v 1436
11.59/11.62	v 1437
11.59/11.62	v 1440
11.59/11.62	v 1442
11.59/11.62	v 1444
11.59/11.62	v 1445
11.59/11.62	v 1449
11.59/11.62	v 1450
11.59/11.62	v 1452
11.59/11.62	v 1454
11.59/11.62	v 1456
11.59/11.62	v 1458
11.59/11.62	v 1459
11.59/11.62	v 1461
11.59/11.62	v 1462
11.59/11.62	v 1464
11.59/11.62	v 1466
11.59/11.62	v 1467
11.59/11.62	v 1470
11.59/11.62	v 1475
11.59/11.62	v 1478
11.59/11.62	v 1479
11.59/11.62	v 1481
11.59/11.62	v 1483
11.59/11.62	v 1486
11.59/11.62	v 1487
11.59/11.62	v 1488
11.59/11.62	v 1489
11.59/11.62	v 1490
11.59/11.62	v 1491
11.59/11.62	v 1492
11.59/11.62	v 1493
11.59/11.62	v 1496
11.59/11.62	v 1498
11.59/11.62	v 1500
11.59/11.62	v 1503
11.59/11.62	v 1504
11.59/11.62	v 1508
11.59/11.62	v 1509
11.59/11.62	v 1510
11.59/11.62	v 1511
11.59/11.62	v 1516
11.59/11.62	v 1518
11.59/11.62	v 1519
11.59/11.62	v 1520
11.59/11.62	v 1521
11.59/11.62	v 1523
11.59/11.62	v 1524
11.59/11.62	v 1525
11.59/11.62	v 1526
11.59/11.62	v 1527
11.59/11.62	v 1529
11.59/11.62	v 1533
11.59/11.62	v 1535
11.59/11.62	v 1537
11.59/11.62	v 1538
11.59/11.62	v 1541
11.59/11.62	v 1542
11.59/11.62	v 1543
11.59/11.62	v 1545
11.59/11.62	v 1547
11.59/11.62	v 1548
11.59/11.62	v 1549
11.59/11.62	v 1555
11.59/11.62	v 1556
11.59/11.62	v 1557
11.59/11.62	v 1558
11.59/11.62	v 1561
11.59/11.62	v 1563
11.59/11.62	v 1564
11.59/11.62	v 1567
11.59/11.62	v 1569
11.59/11.62	v 1571
11.59/11.62	v 1572
11.59/11.62	v 1573
11.59/11.62	v 1574
11.59/11.62	v 1576
11.59/11.62	v 1578
11.59/11.62	v 1583
11.59/11.62	v 1587
11.59/11.62	v 1588
11.59/11.62	v 1589
11.59/11.62	v 1590
11.59/11.62	v 1591
11.59/11.62	v 1592
11.59/11.62	v 1593
11.59/11.62	v 1594
11.59/11.62	v 1595
11.59/11.62	v 1596
11.59/11.62	v 1597
11.59/11.62	v 1598
11.59/11.62	v 1600
11.59/11.62	v 1601
11.59/11.62	v 1602
11.59/11.62	v 1603
11.59/11.62	v 1605
11.59/11.62	v 1606
11.59/11.62	v 1607
11.59/11.62	v 1608
11.59/11.62	v 1609
11.59/11.62	v 1610
11.59/11.62	v 1611
11.59/11.62	v 1613
11.59/11.62	v 1614
11.59/11.62	v 1615
11.59/11.62	v 1616
11.59/11.62	v 1618
11.59/11.62	v 1621
11.59/11.62	v 1622
11.59/11.62	v 1626
11.59/11.62	v 1627
11.59/11.62	v 1628
11.59/11.62	v 1630
11.59/11.62	v 1631
11.59/11.62	v 1632
11.59/11.62	v 1635
11.59/11.62	v 1636
11.59/11.62	v 1637
11.59/11.62	v 1638
11.59/11.62	v 1640
11.59/11.62	v 1642
11.59/11.62	v 1643
11.59/11.62	v 1645
11.59/11.62	v 1646
11.59/11.62	v 1649
11.59/11.62	v 1652
11.59/11.62	v 1653
11.59/11.62	v 1657
11.59/11.62	v 1658
11.59/11.62	v 1659
11.59/11.62	v 1660
11.59/11.62	v 1661
11.59/11.62	v 1663
11.59/11.62	v 1669
11.59/11.62	v 1670
11.59/11.62	v 1671
11.59/11.62	v 1672
11.59/11.62	v 1673
11.59/11.62	v 1674
11.59/11.62	v 1675
11.59/11.62	v 1677
11.59/11.62	v 1678
11.59/11.62	v 1679
11.59/11.62	v 1681
11.59/11.62	v 1683
11.59/11.62	v 1684
11.59/11.62	v 1685
11.59/11.62	v 1686
11.59/11.62	v 1688
11.59/11.62	v 1690
11.59/11.62	v 1691
11.59/11.62	v 1692
11.59/11.62	v 1693
11.59/11.62	v 1694
11.59/11.62	v 1695
11.59/11.62	v 1696
11.59/11.62	v 1697
11.59/11.62	v 1698
11.59/11.62	v 1700
11.59/11.62	v 1704
11.59/11.62	v 1706
11.59/11.62	v 1707
11.59/11.62	v 1709
11.59/11.62	v 1710
11.59/11.62	v 1711
11.59/11.62	v 1712
11.59/11.62	v 1714
11.59/11.62	v 1716
11.59/11.62	v 1717
11.59/11.62	v 1719
11.59/11.62	v 1720
11.59/11.62	v 1721
11.59/11.62	v 1722
11.59/11.62	v 1723
11.59/11.62	v 1725
11.59/11.62	v 1726
11.59/11.62	v 1728
11.59/11.62	v 1729
11.59/11.62	v 1730
11.59/11.62	v 1731
11.59/11.62	v 1733
11.59/11.62	v 1734
11.59/11.62	v 1735
11.59/11.62	v 1737
11.59/11.62	v 1739
11.59/11.62	v 1743
11.59/11.62	v 1745
11.59/11.62	v 1747
11.59/11.62	v 1749
11.59/11.62	v 1750
11.59/11.62	v 1751
11.59/11.62	v 1752
11.59/11.62	v 1757
11.59/11.62	v 1759
11.59/11.62	v 1760
11.59/11.62	v 1761
11.59/11.62	v 1762
11.59/11.62	v 1764
11.59/11.62	v 1765
11.59/11.62	v 1766
11.59/11.62	v 1767
11.59/11.62	v 1771
11.59/11.62	v 1772
11.59/11.62	v 1778
11.59/11.62	v 1780
11.59/11.62	v 1781
11.59/11.62	v 1786
11.59/11.62	v 1788
11.59/11.62	v 1789
11.59/11.62	v 1790
11.59/11.62	v 1791
11.59/11.62	v 1797
11.59/11.63	v 1798
11.59/11.63	v 1801
11.59/11.63	v 1802
11.59/11.63	v 1803
11.59/11.63	v 1804
11.59/11.63	v 1805
11.59/11.63	v 1807
11.59/11.63	v 1808
11.59/11.63	v 1809
11.59/11.63	v 1810
11.59/11.63	v 1812
11.59/11.63	v 1814
11.59/11.63	v 1815
11.59/11.63	v 1817
11.59/11.63	v 1818
11.59/11.63	v 1819
11.59/11.63	v 1822
11.59/11.63	v 1823
11.59/11.63	v 1824
11.59/11.63	v 1827
11.59/11.63	v 1829
11.59/11.63	v 1831
11.59/11.63	v 1837
11.59/11.63	v 1838
11.59/11.63	v 1839
11.59/11.63	v 1840
11.59/11.63	v 1841
11.59/11.63	v 1842
11.59/11.63	v 1843
11.59/11.63	v 1844
11.59/11.63	v 1846
11.59/11.63	v 1848
11.59/11.63	v 1849
11.59/11.63	v 1850
11.59/11.63	v 1854
11.59/11.63	v 1855
11.59/11.63	v 1856
11.59/11.63	v 1857
11.59/11.63	v 1859
11.59/11.63	v 1860
11.59/11.63	v 1863
11.59/11.63	v 1864
11.59/11.63	v 1866
11.59/11.63	v 1868
11.59/11.63	v 1869
11.59/11.63	v 1871
11.59/11.63	v 1874
11.59/11.63	v 1877
11.59/11.63	v 1879
11.59/11.63	v 1880
11.59/11.63	v 1881
11.59/11.63	v 1882
11.59/11.63	v 1883
11.59/11.63	v 1884
11.59/11.63	v 1886
11.59/11.63	v 1887
11.59/11.63	v 1888
11.59/11.63	v 1890
11.59/11.63	v 1893
11.59/11.63	v 1894
11.59/11.63	v 1896
11.59/11.63	v 1897
11.59/11.63	v 1898
11.59/11.63	v 1900
11.59/11.63	v 1901
11.59/11.63	v 1905
11.59/11.63	v 1908
11.59/11.63	v 1909
11.59/11.63	v 1911
11.59/11.63	v 1913
11.59/11.63	v 1915
11.59/11.63	v 1916
11.59/11.63	v 1918
11.59/11.63	v 1919
11.59/11.63	v 1920
11.59/11.63	v 1921
11.59/11.63	v 1922
11.59/11.63	v 1923
11.59/11.63	v 1924
11.59/11.63	v 1925
11.59/11.63	v 1926
11.59/11.63	v 1929
11.59/11.63	v 1930
11.59/11.63	v 1932
11.59/11.63	v 1934
11.59/11.63	v 1935
11.59/11.63	v 1937
11.59/11.63	v 1940
11.59/11.63	v 1942
11.59/11.63	v 1946
11.59/11.63	v 1947
11.59/11.63	v 1949
11.59/11.63	v 1950
11.59/11.63	v 1952
11.59/11.63	v 1954
11.59/11.63	v 1955
11.59/11.63	v 1956
11.59/11.63	v 1957
11.59/11.63	v 1958
11.59/11.63	v 1959
11.59/11.63	v 1960
11.59/11.63	v 1961
11.59/11.63	v 1967
11.59/11.63	v 1971
11.59/11.63	v 1972
11.59/11.63	v 1976
11.59/11.63	v 1979
11.59/11.63	v 1982
11.59/11.63	v 1983
11.59/11.63	v 1986
11.59/11.63	v 1987
11.59/11.63	v 1988
11.59/11.63	v 1991
11.59/11.63	v 1994
11.59/11.63	v 1995
11.59/11.63	v 1996
11.59/11.63	v 1998
11.59/11.63	v 2000
11.59/11.63	v 2001
11.59/11.63	v 2002
11.59/11.63	v 2003
11.59/11.63	v 2004
11.59/11.63	v 2006
11.59/11.63	v 2007
11.59/11.63	v 2008
11.59/11.63	v 2009
11.59/11.63	v 2011
11.59/11.63	v 2012
11.59/11.63	v 2017
11.59/11.63	v 2020
11.59/11.63	v 2021
11.59/11.63	v 2022
11.59/11.63	v 2023
11.59/11.63	v 2029
11.59/11.63	v 2032
11.59/11.63	v 2037
11.59/11.63	v 2038
11.59/11.63	v 2041
11.59/11.63	v 2042
11.59/11.63	v 2047
11.59/11.63	v 2049
11.59/11.63	v 2050
11.59/11.63	v 2053
11.59/11.63	v 2054
11.59/11.63	v 2056
11.59/11.63	v 2057
11.59/11.63	v 2059
11.59/11.63	v 2063
11.59/11.63	v 2064
11.59/11.63	v 2065
11.59/11.63	v 2066
11.59/11.63	v 2069
11.59/11.63	v 2072
11.59/11.63	v 2073
11.59/11.63	v 2074
11.59/11.63	v 2076
11.59/11.63	v 2077
11.59/11.63	v 2080
11.59/11.63	v 2081
11.59/11.63	v 2082
11.59/11.63	v 2084
11.59/11.63	v 2088
11.59/11.63	v 2089
11.59/11.63	v 2090
11.59/11.63	v 2091
11.59/11.63	v 2092
11.59/11.63	v 2096
11.59/11.63	v 2097
11.59/11.63	v 2098
11.59/11.63	v 2099
11.59/11.63	v 2101
11.59/11.63	v 2102
11.59/11.63	v 2104
11.59/11.63	v 2105
11.59/11.63	v 2107
11.59/11.63	v 2109
11.59/11.63	v 2112
11.59/11.63	v 2119
11.59/11.63	v 2120
11.59/11.63	v 2123
11.59/11.63	v 2126
11.59/11.63	v 2127
11.59/11.63	v 2130
11.59/11.63	v 2133
11.59/11.63	v 2134
11.59/11.63	v 2135
11.59/11.63	v 2136
11.59/11.63	v 2137
11.59/11.63	v 2138
11.59/11.63	v 2140
11.59/11.63	v 2141
11.59/11.63	v 2143
11.59/11.63	v 2144
11.59/11.63	v 2149
11.59/11.63	v 2150
11.59/11.63	v 2152
11.59/11.63	v 2154
11.59/11.63	v 2155
11.59/11.63	v 2156
11.59/11.63	v 2157
11.59/11.63	v 2158
11.59/11.63	v 2159
11.59/11.63	v 2160
11.59/11.63	v 2162
11.59/11.63	v 2164
11.59/11.63	v 2165
11.59/11.63	v 2167
11.59/11.63	v 2169
11.59/11.63	v 2171
11.59/11.63	v 2172
11.59/11.63	v 2174
11.59/11.63	v 2178
11.59/11.63	v 2179
11.59/11.63	v 2180
11.59/11.63	v 2181
11.59/11.63	v 2184
11.59/11.63	v 2187
11.59/11.63	v 2188
11.59/11.63	v 2192
11.59/11.63	v 2196
11.59/11.63	v 2197
11.59/11.63	v 2200
11.59/11.63	v 2201
11.59/11.63	v 2203
11.59/11.63	v 2204
11.59/11.63	v 2208
11.59/11.63	v 2209
11.59/11.63	v 2210
11.59/11.63	v 2213
11.59/11.63	v 2215
11.59/11.63	v 2216
11.59/11.63	v 2221
11.59/11.63	v 2223
11.59/11.63	v 2226
11.59/11.63	v 2227
11.59/11.63	v 2228
11.59/11.63	v 2229
11.59/11.63	v 2230
11.59/11.63	v 2231
11.59/11.63	v 2235
11.59/11.63	v 2236
11.59/11.63	v 2241
11.59/11.63	v 2242
11.59/11.63	v 2243
11.59/11.63	v 2244
11.59/11.63	v 2245
11.59/11.63	v 2250
11.59/11.63	v 2253
11.59/11.63	v 2255
11.59/11.63	v 2257
11.59/11.63	v 2259
11.59/11.63	v 2261
11.59/11.63	v 2264
11.59/11.63	v 2266
11.59/11.63	v 2268
11.59/11.63	v 2269
11.59/11.63	v 2270
11.59/11.63	v 2273
11.59/11.63	v 2275
11.59/11.63	v 2276
11.59/11.63	v 2277
11.59/11.63	v 2278
11.59/11.63	v 2279
11.59/11.63	v 2282
11.59/11.63	v 2283
11.59/11.63	v 2284
11.59/11.63	v 2287
11.59/11.63	v 2290
11.59/11.63	v 2291
11.59/11.63	v 2293
11.59/11.63	v 2295
11.59/11.63	v 2296
11.59/11.63	v 2297
11.59/11.63	v 2298
11.59/11.63	v 2299
11.59/11.63	v 2301
11.59/11.63	v 2302
11.59/11.63	v 2303
11.59/11.63	v 2308
11.59/11.63	v 2310
11.59/11.63	v 2311
11.59/11.63	v 2314
11.59/11.63	v 2316
11.59/11.63	v 2317
11.59/11.63	v 2320
11.59/11.63	v 2321
11.59/11.63	v 2323
11.59/11.63	v 2325
11.59/11.63	v 2328
11.59/11.63	v 2330
11.59/11.63	v 2331
11.59/11.63	v 2332
11.59/11.63	v 2334
11.59/11.63	v 2336
11.59/11.63	v 2337
11.59/11.63	v 2338
11.59/11.63	v 2339
11.59/11.63	v 2341
11.59/11.63	v 2342
11.59/11.63	v 2344
11.59/11.63	v 2345
11.59/11.63	v 2346
11.59/11.63	v 2347
11.59/11.63	v 2348
11.59/11.63	v 2349
11.59/11.63	v 2350
11.59/11.63	v 2351
11.59/11.63	v 2352
11.59/11.63	v 2353
11.59/11.63	v 2355
11.59/11.63	v 2357
11.59/11.63	v 2358
11.59/11.63	v 2359
11.59/11.63	v 2360
11.59/11.63	v 2361
11.59/11.63	v 2363
11.59/11.63	v 2365
11.59/11.63	v 2367
11.59/11.63	v 2368
11.59/11.63	v 2369
11.59/11.63	v 2370
11.59/11.63	v 2372
11.59/11.63	v 2376
11.59/11.63	v 2379
11.59/11.63	v 2381
11.59/11.63	v 2382
11.59/11.63	v 2383
11.59/11.63	v 2384
11.59/11.63	v 2387
11.59/11.63	v 2390
11.59/11.63	v 2392
11.59/11.63	v 2393
11.59/11.63	v 2395
11.59/11.63	v 2396
11.59/11.63	v 2397
11.59/11.63	v 2398
11.59/11.63	v 2399
11.59/11.63	v 2400
11.59/11.63	v 2403
11.59/11.63	v 2409
11.59/11.63	v 2410
11.59/11.63	v 2412
11.59/11.63	v 2413
11.59/11.63	v 2416
11.59/11.63	v 2418
11.59/11.63	v 2422
11.59/11.63	v 2425
11.59/11.63	v 2427
11.59/11.63	v 2431
11.59/11.63	v 2432
11.59/11.63	v 2433
11.59/11.63	v 2435
11.59/11.63	v 2437
11.59/11.63	v 2439
11.59/11.63	v 2440
11.59/11.63	v 2441
11.59/11.63	v 2442
11.59/11.63	v 2443
11.59/11.63	v 2444
11.59/11.63	v 2447
11.59/11.63	v 2448
11.59/11.63	v 2449
11.59/11.63	v 2451
11.59/11.63	v 2452
11.59/11.63	v 2454
11.59/11.63	v 2456
11.59/11.63	v 2457
11.59/11.63	v 2461
11.59/11.63	v 2463
11.59/11.63	v 2464
11.59/11.63	v 2465
11.59/11.63	v 2468
11.59/11.63	v 2474
11.59/11.63	v 2478
11.59/11.63	v 2479
11.59/11.63	v 2481
11.59/11.63	v 2482
11.59/11.63	v 2483
11.59/11.63	v 2484
11.59/11.63	v 2485
11.59/11.63	v 2488
11.59/11.63	v 2493
11.59/11.63	v 2494
11.59/11.63	v 2496
11.59/11.63	v 2497
11.59/11.63	v 2498
11.59/11.63	v 2500
11.59/11.63	v 2501
11.59/11.63	v 2504
11.59/11.63	v 2506
11.59/11.63	v 2507
11.59/11.63	v 2508
11.59/11.63	v 2509
11.59/11.63	v 2510
11.59/11.63	v 2512
11.59/11.63	v 2516
11.59/11.63	v 2522
11.59/11.63	v 2523
11.59/11.63	v 2526
11.59/11.63	v 2530
11.59/11.63	v 2531
11.59/11.63	v 2533
11.59/11.63	v 2535
11.59/11.63	v 2536
11.59/11.63	v 2537
11.59/11.63	v 2539
11.59/11.63	v 2540
11.59/11.63	v 2541
11.59/11.63	v 2542
11.59/11.63	v 2546
11.59/11.63	v 2549
11.59/11.63	v 2550
11.59/11.63	v 2552
11.59/11.63	v 2553
11.59/11.63	v 2554
11.59/11.63	v 2556
11.59/11.63	v 2557
11.59/11.63	v 2560
11.59/11.63	v 2561
11.59/11.63	v 2562
11.59/11.63	v 2566
11.59/11.63	v 2567
11.59/11.63	v 2568
11.59/11.63	v 2569
11.59/11.63	v 2570
11.59/11.63	v 2572
11.59/11.63	v 2574
11.59/11.63	v 2575
11.59/11.63	v 2577
11.59/11.63	v 2578
11.59/11.63	v 2580
11.59/11.63	v 2582
11.59/11.63	v 2583
11.59/11.63	v 2587
11.59/11.63	v 2590
11.59/11.63	v 2592
11.59/11.63	v 2593
11.59/11.63	v 2595
11.59/11.63	v 2597
11.59/11.63	v 2598
11.59/11.63	v 2599
11.59/11.63	v 2601
11.59/11.63	v 2602
11.59/11.63	v 2605
11.59/11.63	v 2606
11.59/11.63	v 2607
11.59/11.63	v 2608
11.59/11.63	v 2609
11.59/11.63	v 2612
11.59/11.63	v 2613
11.59/11.63	v 2614
11.59/11.63	v 2616
11.59/11.63	v 2617
11.59/11.63	v 2620
11.59/11.63	v 2621
11.59/11.63	v 2622
11.59/11.63	v 2623
11.59/11.63	v 2625
11.59/11.63	v 2626
11.59/11.63	v 2635
11.59/11.63	v 2637
11.59/11.63	v 2639
11.59/11.63	v 2640
11.59/11.63	v 2642
11.59/11.63	v 2643
11.59/11.63	v 2645
11.59/11.63	v 2646
11.59/11.63	v 2648
11.59/11.63	v 2653
11.59/11.63	v 2655
11.59/11.63	v 2657
11.59/11.63	v 2659
11.59/11.63	v 2660
11.59/11.63	v 2662
11.59/11.63	v 2663
11.59/11.63	v 2664
11.59/11.63	v 2668
11.59/11.63	v 2669
11.59/11.63	v 2670
11.59/11.63	v 2671
11.59/11.63	v 2674
11.59/11.63	v 2675
11.59/11.63	v 2676
11.59/11.63	v 2678
11.59/11.63	v 2684
11.59/11.63	v 2685
11.59/11.63	v 2686
11.59/11.63	v 2689
11.59/11.63	v 2690
11.59/11.63	v 2693
11.59/11.63	v 2696
11.59/11.63	v 2698
11.59/11.63	v 2699
11.59/11.63	v 2700
11.59/11.63	v 2702
11.59/11.63	v 2703
11.59/11.63	v 2706
11.59/11.63	v 2707
11.59/11.63	v 2711
11.59/11.63	v 2712
11.59/11.63	v 2713
11.59/11.63	v 2714
11.59/11.63	v 2715
11.59/11.63	v 2716
11.59/11.63	v 2717
11.59/11.63	v 2719
11.59/11.63	v 2720
11.59/11.63	v 2723
11.59/11.63	v 2724
11.59/11.63	v 2725
11.59/11.63	v 2727
11.59/11.63	v 2728
11.59/11.63	v 2731
11.59/11.63	v 2732
11.59/11.63	v 2733
11.59/11.63	v 2736
11.59/11.63	v 2738
11.59/11.63	v 2739
11.59/11.63	v 2744
11.59/11.63	v 2745
11.59/11.63	v 2746
11.59/11.63	v 2747
11.59/11.63	v 2750
11.59/11.63	v 2751
11.59/11.63	v 2752
11.59/11.63	v 2754
11.59/11.63	v 2757
11.59/11.63	v 2759
11.59/11.63	v 2765
11.59/11.63	v 2766
11.59/11.63	v 2767
11.59/11.63	v 2768
11.59/11.63	v 2771
11.59/11.63	v 2775
11.59/11.63	v 2777
11.59/11.63	v 2779
11.59/11.63	v 2780
11.59/11.63	v 2781
11.59/11.63	v 2782
11.59/11.63	v 2784
11.59/11.63	v 2785
11.59/11.63	v 2786
11.59/11.63	v 2787
11.59/11.63	v 2788
11.59/11.63	v 2789
11.59/11.63	v 2790
11.59/11.63	v 2791
11.59/11.63	v 2792
11.59/11.63	v 2794
11.59/11.63	v 2795
11.59/11.63	v 2804
11.59/11.63	v 2806
11.59/11.63	v 2809
11.59/11.63	v 2815
11.59/11.63	v 2816
11.59/11.63	v 2818
11.59/11.63	v 2819
11.59/11.63	v 2820
11.59/11.63	v 2821
11.59/11.63	v 2822
11.59/11.63	v 2824
11.59/11.63	v 2827
11.59/11.63	v 2831
11.59/11.63	v 2833
11.59/11.63	v 2834
11.59/11.63	v 2835
11.59/11.63	v 2838
11.59/11.63	v 2840
11.59/11.63	v 2843
11.59/11.63	v 2847
11.59/11.63	v 2849
11.59/11.63	v 2850
11.59/11.63	v 2853
11.59/11.63	v 2856
11.59/11.63	v 2857
11.59/11.63	v 2859
11.59/11.63	v 2860
11.59/11.63	v 2864
11.59/11.63	v 2871
11.59/11.63	v 2874
11.59/11.63	v 2876
11.59/11.63	v 2877
11.59/11.63	v 2879
11.59/11.63	v 2880
11.59/11.63	v 2882
11.59/11.63	v 2885
11.59/11.63	v 2888
11.59/11.63	v 2890
11.59/11.63	v 2891
11.59/11.63	v 2892
11.59/11.63	v 2893
11.59/11.63	v 2894
11.59/11.63	v 2896
11.59/11.63	v 2900
11.59/11.63	v 2902
11.59/11.63	v 2909
11.59/11.63	v 2910
11.59/11.63	v 2911
11.59/11.63	v 2912
11.59/11.63	v 2913
11.59/11.63	v 2914
11.59/11.63	v 2915
11.59/11.63	v 2916
11.59/11.63	v 2917
11.59/11.63	v 2918
11.59/11.63	v 2919
11.59/11.63	v 2921
11.59/11.63	v 2922
11.59/11.63	v 2925
11.59/11.63	v 2926
11.59/11.63	v 2929
11.59/11.63	v 2932
11.59/11.63	v 2940
11.59/11.63	v 2943
11.59/11.63	v 2944
11.59/11.63	v 2946
11.59/11.63	v 2947
11.59/11.63	v 2948
11.59/11.63	v 2949
11.59/11.63	v 2952
11.59/11.63	v 2953
11.59/11.63	v 2955
11.59/11.63	v 2958
11.59/11.63	v 2961
11.59/11.63	v 2962
11.59/11.63	v 2968
11.59/11.63	v 2969
11.59/11.63	v 2971
11.59/11.63	v 2972
11.59/11.63	v 2976
11.59/11.63	v 2978
11.59/11.63	v 2981
11.59/11.63	v 2982
11.59/11.63	v 2986
11.59/11.63	v 2988
11.59/11.63	v 2989
11.59/11.63	v 2993
11.59/11.63	v 2994
11.59/11.63	v 2995
11.59/11.63	v 2996
11.59/11.63	v 2997
11.59/11.63	v 2998
11.59/11.63	v 2999
11.59/11.63	v 3000
11.59/11.63	v 3002
11.59/11.63	v 3007
11.59/11.63	v 3008
11.59/11.63	v 3009
11.59/11.63	v 3010
11.59/11.63	v 3011
11.59/11.63	v 3013
11.59/11.63	v 3014
11.59/11.63	v 3015
11.59/11.63	v 3023
11.59/11.63	v 3026
11.59/11.63	v 3033
11.59/11.63	v 3035
11.59/11.63	v 3037
11.59/11.63	v 3038
11.59/11.63	v 3041
11.59/11.63	v 3042
11.59/11.63	v 3043
11.59/11.63	v 3045
11.59/11.63	v 3046
11.59/11.63	v 3047
11.59/11.63	v 3048
11.59/11.63	v 3049
11.59/11.63	v 3051
11.59/11.63	v 3052
11.59/11.63	v 3054
11.59/11.63	v 3055
11.59/11.63	v 3056
11.59/11.63	v 3057
11.59/11.63	v 3058
11.59/11.63	v 3060
11.59/11.63	v 3062
11.59/11.63	v 3063
11.59/11.63	v 3064
11.59/11.63	v 3065
11.59/11.63	v 3066
11.59/11.63	v 3067
11.59/11.63	v 3068
11.59/11.63	v 3071
11.59/11.63	v 3074
11.59/11.63	v 3075
11.59/11.63	v 3077
11.59/11.63	v 3079
11.59/11.63	v 3080
11.59/11.63	v 3081
11.59/11.63	v 3084
11.59/11.63	v 3085
11.59/11.63	v 3086
11.59/11.63	v 3088
11.59/11.63	v 3090
11.59/11.63	v 3091
11.59/11.63	v 3095
11.59/11.63	v 3096
11.59/11.63	v 3097
11.59/11.63	v 3099
11.59/11.63	v 3102
11.59/11.63	v 3103
11.59/11.63	v 3104
11.59/11.63	v 3105
11.59/11.63	v 3106
11.59/11.63	v 3110
11.59/11.63	v 3111
11.59/11.63	v 3116
11.59/11.63	v 3117
11.59/11.63	v 3122
11.59/11.63	v 3123
11.59/11.63	v 3125
11.59/11.63	v 3126
11.59/11.63	v 3127
11.59/11.63	v 3128
11.59/11.63	v 3129
11.59/11.63	v 3131
11.59/11.63	v 3137
11.59/11.63	v 3138
11.59/11.63	v 3141
11.59/11.63	v 3142
11.59/11.63	v 3144
11.59/11.63	v 3146
11.59/11.63	v 3147
11.59/11.63	v 3149
11.59/11.63	v 3151
11.59/11.63	v 3153
11.59/11.63	v 3154
11.59/11.63	v 3155
11.59/11.63	v 3158
11.59/11.63	v 3159
11.59/11.63	v 3163
11.59/11.63	v 3166
11.59/11.63	v 3168
11.59/11.63	v 3173
11.59/11.63	v 3174
11.59/11.63	v 3175
11.59/11.63	v 3179
11.59/11.63	v 3180
11.59/11.63	v 3183
11.59/11.63	v 3184
11.59/11.63	v 3187
11.59/11.63	v 3188
11.59/11.63	v 3190
11.59/11.63	v 3191
11.59/11.63	v 3193
11.59/11.63	v 3195
11.59/11.63	v 3196
11.59/11.63	v 3197
11.59/11.63	v 3198
11.59/11.63	v 3199
11.59/11.63	v 3201
11.59/11.63	v 3204
11.59/11.63	v 3205
11.59/11.63	v 3208
11.59/11.63	v 3211
11.59/11.63	v 3212
11.59/11.63	v 3214
11.59/11.63	v 3215
11.59/11.63	v 3218
11.59/11.63	v 3220
11.59/11.63	v 3223
11.59/11.63	v 3224
11.59/11.63	v 3225
11.59/11.63	v 3226
11.59/11.63	v 3228
11.59/11.63	v 3229
11.59/11.63	v 3230
11.59/11.63	v 3231
11.59/11.63	v 3233
11.59/11.63	v 3235
11.59/11.63	v 3236
11.59/11.63	v 3237
11.59/11.63	v 3238
11.59/11.63	v 3240
11.59/11.63	v 3241
11.59/11.63	v 3242
11.59/11.63	v 3243
11.59/11.63	v 3246
11.59/11.63	v 3247
11.59/11.63	v 3249
11.59/11.63	v 3250
11.59/11.63	v 3252
11.59/11.63	v 3253
11.59/11.63	v 3254
11.59/11.63	v 3255
11.59/11.63	v 3257
11.59/11.63	v 3258
11.59/11.63	v 3259
11.59/11.63	v 3260
11.59/11.63	v 3261
11.59/11.63	v 3263
11.59/11.63	v 3264
11.59/11.63	v 3266
11.59/11.63	v 3269
11.59/11.63	v 3271
11.59/11.63	v 3272
11.59/11.63	v 3273
11.59/11.63	v 3274
11.59/11.63	v 3275
11.59/11.63	v 3278
11.59/11.63	v 3279
11.59/11.63	v 3285
11.59/11.63	v 3286
11.59/11.63	v 3292
11.59/11.63	v 3293
11.59/11.63	v 3294
11.59/11.63	v 3296
11.59/11.63	v 3298
11.59/11.63	v 3301
11.59/11.63	v 3305
11.59/11.63	v 3306
11.59/11.63	v 3309
11.59/11.63	v 3310
11.59/11.63	v 3311
11.59/11.63	v 3315
11.59/11.63	v 3316
11.59/11.63	v 3322
11.59/11.63	v 3323
11.59/11.63	v 3325
11.59/11.63	v 3326
11.59/11.63	v 3327
11.59/11.63	v 3328
11.59/11.63	v 3330
11.59/11.63	v 3331
11.59/11.63	v 3335
11.59/11.63	v 3336
11.59/11.63	v 3337
11.59/11.63	v 3341
11.59/11.63	v 3343
11.59/11.63	v 3345
11.59/11.63	v 3346
11.59/11.63	v 3348
11.59/11.63	v 3349
11.59/11.63	v 3350
11.59/11.63	v 3351
11.59/11.63	v 3353
11.59/11.63	v 3354
11.59/11.63	v 3355
11.59/11.63	v 3356
11.59/11.63	v 3361
11.59/11.63	v 3363
11.59/11.63	v 3364
11.59/11.63	v 3369
11.59/11.63	v 3370
11.59/11.63	v 3371
11.59/11.63	v 3372
11.59/11.63	v 3373
11.59/11.63	v 3374
11.59/11.63	v 3375
11.59/11.63	v 3378
11.59/11.63	v 3380
11.59/11.63	v 3384
11.59/11.63	v 3385
11.59/11.63	v 3386
11.59/11.63	v 3387
11.59/11.63	v 3388
11.59/11.63	v 3390
11.59/11.63	v 3392
11.59/11.63	v 3393
11.59/11.63	v 3394
11.59/11.63	v 3395
11.59/11.63	v 3398
11.59/11.63	v 3399
11.59/11.63	v 3401
11.59/11.63	v 3402
11.59/11.63	v 3405
11.59/11.63	v 3406
11.59/11.63	v 3409
11.59/11.63	v 3413
11.59/11.63	v 3414
11.59/11.63	v 3415
11.59/11.63	v 3417
11.59/11.63	v 3419
11.59/11.63	v 3420
11.59/11.63	v 3421
11.59/11.63	v 3425
11.59/11.63	v 3426
11.59/11.63	v 3427
11.59/11.63	v 3430
11.59/11.63	v 3431
11.59/11.63	v 3432
11.59/11.63	v 3433
11.59/11.63	v 3435
11.59/11.63	v 3436
11.59/11.63	v 3439
11.59/11.63	v 3441
11.59/11.63	v 3442
11.59/11.63	v 3444
11.59/11.63	v 3445
11.59/11.63	v 3447
11.59/11.63	v 3448
11.59/11.63	v 3450
11.59/11.63	v 3452
11.59/11.63	v 3453
11.59/11.63	v 3457
11.59/11.63	v 3458
11.59/11.63	v 3462
11.59/11.63	v 3464
11.59/11.63	v 3465
11.59/11.63	v 3466
11.59/11.63	v 3468
11.59/11.63	v 3470
11.59/11.63	v 3472
11.59/11.63	v 3476
11.59/11.63	v 3477
11.59/11.63	v 3478
11.59/11.63	v 3479
11.59/11.63	v 3481
11.59/11.63	v 3484
11.59/11.63	v 3485
11.59/11.63	v 3486
11.59/11.63	v 3491
11.59/11.63	v 3492
11.59/11.63	v 3493
11.59/11.63	v 3495
11.59/11.63	v 3501
11.59/11.63	v 3507
11.59/11.63	v 3508
11.59/11.63	v 3509
11.59/11.63	v 3512
11.59/11.63	v 3513
11.59/11.63	v 3514
11.59/11.63	v 3517
11.59/11.63	v 3520
11.59/11.63	v 3527
11.59/11.63	v 3529
11.59/11.63	v 3531
11.59/11.63	v 3532
11.59/11.63	v 3533
11.59/11.63	v 3534
11.59/11.63	v 3535
11.59/11.63	v 3536
11.59/11.63	v 3538
11.59/11.63	v 3539
11.59/11.63	v 3541
11.59/11.63	v 3542
11.59/11.63	v 3543
11.59/11.63	v 3548
11.59/11.63	v 3550
11.59/11.63	v 3551
11.59/11.63	v 3554
11.59/11.63	v 3555
11.59/11.63	v 3556
11.59/11.63	v 3557
11.59/11.63	v 3562
11.59/11.63	v 3564
11.59/11.63	v 3567
11.59/11.63	v 3568
11.59/11.63	v 3569
11.59/11.63	v 3570
11.59/11.63	v 3571
11.59/11.63	v 3575
11.59/11.63	v 3580
11.59/11.63	v 3583
11.59/11.63	v 3587
11.59/11.63	v 3588
11.59/11.63	v 3592
11.59/11.63	v 3595
11.59/11.63	v 3598
11.59/11.63	v 3600
11.59/11.63	v 3606
11.59/11.63	v 3608
11.59/11.63	v 3609
11.59/11.63	v 3611
11.59/11.63	v 3612
11.59/11.63	v 3615
11.59/11.63	v 3616
11.59/11.63	v 3619
11.59/11.63	v 3621
11.59/11.63	v 3623
11.59/11.63	v 3625
11.59/11.63	v 3627
11.59/11.63	v 3628
11.59/11.63	v 3630
11.59/11.63	v 3635
11.59/11.63	v 3636
11.59/11.63	v 3637
11.59/11.63	v 3639
11.59/11.63	v 3641
11.59/11.63	v 3642
11.59/11.63	v 3643
11.59/11.63	v 3645
11.59/11.63	v 3647
11.59/11.63	v 3648
11.59/11.63	v 3649
11.59/11.63	v 3650
11.59/11.63	v 3651
11.59/11.63	v 3652
11.59/11.63	v 3654
11.59/11.63	v 3655
11.59/11.63	v 3661
11.59/11.63	v 3662
11.59/11.63	v 3663
11.59/11.63	v 3664
11.59/11.63	v 3666
11.59/11.63	v 3673
11.59/11.63	v 3675
11.59/11.63	v 3678
11.59/11.63	v 3681
11.59/11.63	v 3683
11.59/11.63	v 3684
11.59/11.63	v 3689
11.59/11.63	v 3690
11.59/11.63	v 3695
11.59/11.63	v 3697
11.59/11.63	v 3698
11.59/11.63	v 3700
11.59/11.63	v 3701
11.59/11.63	v 3703
11.59/11.63	v 3705
11.59/11.63	v 3706
11.59/11.63	v 3707
11.59/11.63	v 3711
11.59/11.63	v 3712
11.59/11.63	v 3713
11.59/11.63	v 3714
11.59/11.63	v 3718
11.59/11.63	v 3719
11.59/11.63	v 3723
11.59/11.63	v 3724
11.59/11.63	v 3725
11.59/11.63	v 3726
11.59/11.63	v 3727
11.59/11.63	v 3728
11.59/11.63	v 3732
11.59/11.63	v 3733
11.59/11.63	v 3734
11.59/11.63	v 3735
11.59/11.63	v 3738
11.59/11.63	v 3740
11.59/11.63	v 3741
11.59/11.63	v 3742
11.59/11.63	v 3743
11.59/11.63	v 3744
11.59/11.63	v 3748
11.59/11.63	v 3750
11.59/11.63	v 3753
11.59/11.63	v 3757
11.59/11.63	v 3759
11.59/11.63	v 3760
11.59/11.63	v 3763
11.59/11.63	v 3764
11.59/11.63	v 3765
11.59/11.63	v 3768
11.59/11.63	v 3769
11.59/11.63	v 3771
11.59/11.63	v 3773
11.59/11.63	v 3775
11.59/11.63	v 3776
11.59/11.63	v 3777
11.59/11.63	v 3781
11.59/11.63	v 3783
11.59/11.63	v 3786
11.59/11.63	v 3787
11.59/11.63	v 3788
11.59/11.63	v 3791
11.59/11.63	v 3792
11.59/11.63	v 3793
11.59/11.63	v 3796
11.59/11.63	v 3797
11.59/11.63	v 3798
11.59/11.63	v 3799
11.59/11.63	v 3803
11.59/11.63	v 3806
11.59/11.63	v 3810
11.59/11.63	v 3811
11.59/11.63	v 3812
11.59/11.63	v 3813
11.59/11.63	v 3817
11.59/11.63	v 3818
11.59/11.63	v 3819
11.59/11.63	v 3820
11.59/11.63	v 3821
11.59/11.63	v 3822
11.59/11.63	v 3823
11.59/11.63	v 3824
11.59/11.63	v 3825
11.59/11.63	v 3826
11.59/11.63	v 3827
11.59/11.63	v 3828
11.59/11.63	v 3829
11.59/11.63	v 3831
11.59/11.63	v 3832
11.59/11.63	v 3833
11.59/11.63	v 3834
11.59/11.63	v 3835
11.59/11.63	v 3837
11.59/11.63	v 3840
11.59/11.63	v 3841
11.59/11.63	v 3842
11.59/11.63	v 3843
11.59/11.63	v 3845
11.59/11.63	v 3846
11.59/11.63	v 3847
11.59/11.63	v 3848
11.59/11.63	v 3850
11.59/11.63	v 3853
11.59/11.63	v 3855
11.59/11.63	v 3856
11.59/11.63	v 3858
11.59/11.63	v 3859
11.59/11.63	v 3861
11.59/11.63	v 3862
11.59/11.63	v 3864
11.59/11.63	v 3872
11.59/11.63	v 3873
11.59/11.63	v 3875
11.59/11.63	v 3876
11.59/11.63	v 3877
11.59/11.63	v 3878
11.59/11.63	v 3883
11.59/11.63	v 3886
11.59/11.63	v 3887
11.59/11.63	v 3891
11.59/11.63	v 3898
11.59/11.63	v 3899
11.59/11.63	v 3900
11.59/11.63	v 3901
11.59/11.63	v 3902
11.59/11.63	v 3904
11.59/11.63	v 3905
11.59/11.63	v 3907
11.59/11.63	v 3908
11.59/11.63	v 3909
11.59/11.63	v 3910
11.59/11.63	v 3911
11.59/11.63	v 3913
11.59/11.63	v 3915
11.59/11.63	v 3917
11.59/11.63	v 3918
11.59/11.63	v 3920
11.59/11.63	v 3922
11.59/11.63	v 3924
11.59/11.63	v 3925
11.59/11.63	v 3926
11.59/11.63	v 3927
11.59/11.63	v 3929
11.59/11.63	v 3930
11.59/11.63	v 3931
11.59/11.63	v 3934
11.59/11.63	v 3935
11.59/11.63	v 3936
11.59/11.63	v 3937
11.59/11.63	v 3938
11.59/11.63	v 3939
11.59/11.63	v 3940
11.59/11.63	v 3941
11.59/11.63	v 3943
11.59/11.63	v 3949
11.59/11.63	v 3950
11.59/11.63	v 3951
11.59/11.63	v 3955
11.59/11.63	v 3956
11.59/11.63	v 3957
11.59/11.63	v 3958
11.59/11.63	v 3960
11.59/11.63	v 3962
11.59/11.63	v 3965
11.59/11.63	v 3967
11.59/11.63	v 3970
11.59/11.63	v 3971
11.59/11.63	v 3972
11.59/11.63	v 3973
11.59/11.63	v 3978
11.59/11.63	v 3980
11.59/11.63	v 3981
11.59/11.63	v 3983
11.59/11.63	v 3986
11.59/11.63	v 3989
11.59/11.63	v 3991
11.59/11.63	v 3995
11.59/11.63	v 3996
11.59/11.63	v 3997
11.59/11.63	v 3998
11.59/11.63	v 4000
11.59/11.63	v 4004
11.59/11.63	v 4007
11.59/11.63	v 4009
11.59/11.63	v 4011
11.59/11.63	v 4014
11.59/11.63	v 4016
11.59/11.63	v 4017
11.59/11.63	v 4019
11.59/11.63	v 4020
11.59/11.63	v 4022
11.59/11.63	v 4023
11.59/11.63	v 4024
11.59/11.63	v 4029
11.59/11.63	v 4032
11.59/11.63	v 4034
11.59/11.63	v 4038
11.59/11.63	v 4039
11.59/11.63	v 4041
11.59/11.63	v 4042
11.59/11.63	v 4045
11.59/11.63	v 4046
11.59/11.63	v 4051
11.59/11.63	v 4052
11.59/11.63	v 4053
11.59/11.63	v 4056
11.59/11.63	v 4059
11.59/11.63	v 4060
11.59/11.63	v 4062
11.59/11.63	v 4063
11.59/11.63	v 4064
11.59/11.63	v 4065
11.59/11.63	v 4066
11.59/11.63	v 4067
11.59/11.63	v 4068
11.59/11.63	v 4069
11.59/11.63	v 4079
11.59/11.63	v 4080
11.59/11.63	v 4081
11.59/11.63	v 4084
11.59/11.63	v 4087
11.59/11.63	v 4091
11.59/11.63	v 4093
11.59/11.63	v 4094
11.59/11.63	v 4095
11.59/11.63	v 4098
11.59/11.63	v 4101
11.59/11.63	v 4104
11.59/11.63	v 4106
11.59/11.63	v 4107
11.59/11.63	v 4108
11.59/11.63	v 4109
11.59/11.63	v 4110
11.59/11.63	v 4111
11.59/11.63	v 4112
11.59/11.63	v 4114
11.59/11.63	v 4117
11.59/11.63	v 4118
11.59/11.63	v 4120
11.59/11.63	v 4129
11.59/11.63	v 4131
11.59/11.63	v 4132
11.59/11.63	v 4136
11.59/11.63	v 4137
11.59/11.63	v 4138
11.59/11.63	v 4140
11.59/11.63	v 4142
11.59/11.63	v 4143
11.59/11.63	v 4144
11.59/11.63	v 4146
11.59/11.63	v 4147
11.59/11.63	v 4150
11.59/11.63	v 4151
11.59/11.63	v 4152
11.59/11.63	v 4155
11.59/11.63	v 4156
11.59/11.63	v 4158
11.59/11.63	v 4162
11.59/11.63	v 4163
11.59/11.63	v 4164
11.59/11.63	v 4165
11.59/11.63	v 4170
11.59/11.63	v 4174
11.59/11.63	v 4175
11.59/11.63	v 4177
11.59/11.63	v 4179
11.59/11.63	v 4180
11.59/11.63	v 4183
11.59/11.63	v 4184
11.59/11.63	v 4185
11.59/11.63	v 4187
11.59/11.63	v 4194
11.59/11.63	v 4195
11.59/11.63	v 4196
11.59/11.63	v 4197
11.59/11.63	v 4200
11.59/11.63	v 4201
11.59/11.63	v 4202
11.59/11.63	v 4203
11.59/11.63	v 4204
11.59/11.63	v 4206
11.59/11.63	v 4210
11.59/11.63	v 4213
11.59/11.63	v 4214
11.59/11.63	v 4218
11.59/11.63	v 4219
11.59/11.63	v 4223
11.59/11.63	v 4226
11.59/11.63	v 4231
11.59/11.63	v 4234
11.59/11.63	v 4236
11.59/11.63	v 4237
11.59/11.63	v 4238
11.59/11.63	v 4239
11.59/11.63	v 4240
11.59/11.63	v 4243
11.59/11.63	v 4244
11.59/11.63	v 4248
11.59/11.63	v 4249
11.59/11.63	v 4250
11.59/11.63	v 4251
11.59/11.63	v 4253
11.59/11.63	v 4254
11.59/11.63	v 4255
11.59/11.63	v 4261
11.59/11.63	v 4262
11.59/11.63	v 4264
11.59/11.63	v 4266
11.59/11.63	v 4269
11.59/11.63	v 4270
11.59/11.63	v 4273
11.59/11.63	v 4276
11.59/11.63	v 4277
11.59/11.63	v 4280
11.59/11.63	v 4281
11.59/11.63	v 4282
11.59/11.63	v 4283
11.59/11.63	v 4286
11.59/11.63	v 4287
11.59/11.63	v 4288
11.59/11.63	v 4291
11.59/11.63	v 4292
11.59/11.63	v 4293
11.59/11.63	v 4294
11.59/11.63	v 4296
11.59/11.63	v 4300
11.59/11.63	v 4303
11.59/11.63	v 4307
11.59/11.63	v 4311
11.59/11.63	v 4313
11.59/11.63	v 4314
11.59/11.63	v 4318
11.59/11.63	v 4319
11.59/11.63	v 4321
11.59/11.63	v 4324
11.59/11.63	v 4325
11.59/11.63	v 4327
11.59/11.63	v 4328
11.59/11.63	v 4330
11.59/11.63	v 4331
11.59/11.63	v 4332
11.59/11.63	v 4333
11.59/11.63	v 4334
11.59/11.63	v 4336
11.59/11.63	v 4338
11.59/11.63	v 4342
11.59/11.63	v 4343
11.59/11.63	v 4345
11.59/11.63	v 4346
11.59/11.63	v 4347
11.59/11.63	v 4348
11.59/11.63	v 4353
11.59/11.63	v 4354
11.59/11.63	v 4356
11.59/11.63	v 4360
11.59/11.63	v 4361
11.59/11.63	v 4362
11.59/11.63	v 4366
11.59/11.63	v 4369
11.59/11.63	v 4370
11.59/11.63	v 4371
11.59/11.63	v 4374
11.59/11.63	v 4375
11.59/11.63	v 4376
11.59/11.63	v 4378
11.59/11.63	v 4380
11.59/11.63	v 4381
11.59/11.63	v 4384
11.59/11.63	v 4386
11.59/11.63	v 4388
11.59/11.63	v 4391
11.59/11.63	v 4397
11.59/11.63	v 4398
11.59/11.63	v 4399
11.59/11.63	v 4404
11.59/11.63	v 4405
11.59/11.63	v 4407
11.59/11.63	v 4408
11.59/11.63	v 4409
11.59/11.63	v 4410
11.59/11.63	v 4411
11.59/11.63	v 4414
11.59/11.63	v 4415
11.59/11.63	v 4418
11.59/11.63	v 4420
11.59/11.63	v 4422
11.59/11.63	v 4423
11.59/11.63	v 4424
11.59/11.63	v 4425
11.59/11.63	v 4426
11.59/11.63	v 4427
11.59/11.63	v 4428
11.59/11.63	v 4429
11.59/11.63	v 4430
11.59/11.63	v 4435
11.59/11.63	v 4436
11.59/11.63	v 4437
11.59/11.63	v 4442
11.59/11.63	v 4443
11.59/11.63	v 4444
11.59/11.63	v 4445
11.59/11.63	v 4448
11.59/11.63	v 4449
11.59/11.63	v 4450
11.59/11.63	v 4451
11.59/11.63	v 4453
11.59/11.63	v 4455
11.59/11.63	v 4457
11.59/11.63	v 4459
11.59/11.63	v 4460
11.59/11.63	v 4461
11.59/11.63	v 4464
11.59/11.63	v 4465
11.59/11.63	v 4466
11.59/11.63	v 4469
11.59/11.63	v 4470
11.59/11.63	v 4472
11.59/11.63	v 4473
11.59/11.63	v 4475
11.59/11.63	v 4476
11.59/11.63	v 4477
11.59/11.63	v 4479
11.59/11.63	v 4482
11.59/11.63	v 4483
11.59/11.63	v 4484
11.59/11.63	v 4488
11.59/11.63	v 4490
11.59/11.63	v 4491
11.59/11.63	v 4492
11.59/11.63	v 4493
11.59/11.63	v 4494
11.59/11.63	v 4496
11.59/11.63	v 4499
11.59/11.63	v 4504
11.59/11.63	v 4505
11.59/11.63	v 4507
11.59/11.63	v 4509
11.59/11.63	v 4510
11.59/11.63	v 4513
11.59/11.63	v 4515
11.59/11.63	v 4516
11.59/11.63	v 4517
11.59/11.63	v 4518
11.59/11.63	v 4519
11.59/11.63	v 4521
11.59/11.63	v 4522
11.59/11.63	v 4525
11.59/11.63	v 4527
11.59/11.63	v 4530
11.59/11.63	v 4534
11.59/11.63	v 4536
11.59/11.63	v 4537
11.59/11.63	v 4539
11.59/11.63	v 4541
11.59/11.63	v 4542
11.59/11.63	v 4549
11.59/11.63	v 4550
11.59/11.63	v 4551
11.59/11.63	v 4552
11.59/11.63	v 4553
11.59/11.63	v 4560
11.59/11.63	v 4565
11.59/11.63	v 4568
11.59/11.63	v 4570
11.59/11.63	v 4572
11.59/11.63	v 4573
11.59/11.63	v 4575
11.59/11.63	v 4577
11.59/11.63	v 4581
11.59/11.63	v 4584
11.59/11.63	v 4586
11.59/11.63	v 4587
11.59/11.63	v 4589
11.59/11.63	v 4594
11.59/11.63	v 4595
11.59/11.63	v 4597
11.59/11.63	v 4598
11.59/11.63	v 4599
11.59/11.63	v 4601
11.59/11.63	v 4603
11.59/11.63	v 4606
11.59/11.63	v 4607
11.59/11.63	v 4608
11.59/11.63	v 4609
11.59/11.63	v 4616
11.59/11.63	v 4617
11.59/11.63	v 4619
11.59/11.63	v 4621
11.59/11.63	v 4625
11.59/11.63	v 4626
11.59/11.63	v 4627
11.59/11.63	v 4628
11.59/11.63	v 4630
11.59/11.63	v 4633
11.59/11.63	v 4634
11.59/11.63	v 4635
11.59/11.63	v 4636
11.59/11.63	v 4638
11.59/11.63	v 4639
11.59/11.63	v 4640
11.59/11.63	v 4642
11.59/11.63	v 4643
11.59/11.63	v 4646
11.59/11.63	v 4648
11.59/11.63	v 4649
11.59/11.63	v 4650
11.59/11.63	v 4651
11.59/11.63	v 4654
11.59/11.63	v 4655
11.59/11.63	v 4656
11.59/11.63	v 4658
11.59/11.63	v 4659
11.59/11.63	v 4661
11.59/11.63	v 4665
11.59/11.63	v 4666
11.59/11.63	v 4667
11.59/11.63	v 4669
11.59/11.63	v 4670
11.59/11.63	v 4671
11.59/11.63	v 4672
11.59/11.63	v 4674
11.59/11.63	v 4675
11.59/11.63	v 4676
11.59/11.63	v 4677
11.59/11.63	v 4680
11.59/11.63	v 4682
11.59/11.63	v 4684
11.59/11.63	v 4685
11.59/11.63	v 4690
11.59/11.63	v 4691
11.59/11.63	v 4693
11.59/11.63	v 4695
11.59/11.63	v 4696
11.59/11.63	v 4698
11.59/11.63	v 4701
11.59/11.63	v 4706
11.59/11.63	v 4708
11.59/11.63	v 4709
11.59/11.63	v 4710
11.59/11.63	v 4715
11.59/11.63	v 4716
11.59/11.63	v 4718
11.59/11.63	v 4719
11.59/11.63	v 4723
11.59/11.63	v 4724
11.59/11.63	v 4725
11.59/11.63	v 4726
11.59/11.63	v 4729
11.59/11.63	v 4731
11.59/11.63	v 4733
11.59/11.63	v 4735
11.59/11.63	v 4739
11.59/11.63	v 4740
11.59/11.63	v 4741
11.59/11.63	v 4742
11.59/11.63	v 4744
11.59/11.63	v 4747
11.59/11.63	v 4748
11.59/11.63	v 4751
11.59/11.63	v 4752
11.59/11.63	v 4753
11.59/11.63	v 4756
11.59/11.63	v 4757
11.59/11.63	v 4759
11.59/11.63	v 4760
11.59/11.63	v 4762
11.59/11.63	v 4763
11.59/11.63	v 4764
11.59/11.63	v 4765
11.59/11.63	v 4766
11.59/11.63	v 4767
11.59/11.63	v 4768
11.59/11.63	v 4770
11.59/11.63	v 4772
11.59/11.63	v 4774
11.59/11.63	v 4775
11.59/11.63	v 4776
11.59/11.63	v 4777
11.59/11.63	v 4778
11.59/11.63	v 4783
11.59/11.63	v 4786
11.59/11.63	v 4788
11.59/11.63	v 4789
11.59/11.63	v 4792
11.59/11.63	v 4796
11.59/11.63	v 4798
11.59/11.63	v 4799
11.59/11.63	v 4800
11.59/11.63	v 4801
11.59/11.63	v 4802
11.59/11.63	v 4804
11.59/11.63	v 4806
11.59/11.63	v 4807
11.59/11.63	v 4808
11.59/11.63	v 4810
11.59/11.63	v 4819
11.59/11.63	v 4821
11.59/11.63	v 4822
11.59/11.63	v 4827
11.59/11.63	v 4829
11.59/11.63	v 4830
11.59/11.63	v 4831
11.59/11.63	v 4834
11.59/11.63	v 4836
11.59/11.63	v 4837
11.59/11.63	v 4840
11.59/11.63	v 4842
11.59/11.63	v 4844
11.59/11.63	v 4845
11.59/11.63	v 4847
11.59/11.63	v 4849
11.59/11.63	v 4850
11.59/11.63	v 4852
11.59/11.63	v 4853
11.59/11.63	v 4856
11.59/11.63	v 4860
11.59/11.63	v 4864
11.59/11.63	v 4867
11.59/11.63	v 4868
11.59/11.63	v 4869
11.59/11.63	v 4870
11.59/11.63	v 4875
11.59/11.63	v 4876
11.59/11.63	v 4877
11.59/11.63	v 4879
11.59/11.63	v 4880
11.59/11.63	v 4881
11.59/11.63	v 4884
11.59/11.63	v 4885
11.59/11.63	v 4887
11.59/11.63	v 4889
11.59/11.63	v 4890
11.59/11.63	v 4891
11.59/11.63	v 4895
11.59/11.63	v 4896
11.59/11.63	v 4898
11.59/11.63	v 4900
11.59/11.63	v 4901
11.59/11.63	v 4908
11.59/11.63	v 4910
11.59/11.63	v 4911
11.59/11.63	v 4913
11.59/11.63	v 4918
11.59/11.63	v 4919
11.59/11.63	v 4921
11.59/11.63	v 4922
11.59/11.63	v 4923
11.59/11.63	v 4927
11.59/11.63	v 4931
11.59/11.63	v 4932
11.59/11.63	v 4933
11.59/11.63	v 4937
11.59/11.63	v 4938
11.59/11.63	v 4939
11.59/11.63	v 4940
11.59/11.63	v 4941
11.59/11.63	v 4942
11.59/11.63	v 4944
11.59/11.63	v 4945
11.59/11.63	v 4946
11.59/11.63	v 4947
11.59/11.63	v 4948
11.59/11.63	v 4949
11.59/11.63	v 4950
11.59/11.63	v 4951
11.59/11.63	v 4952
11.59/11.63	v 4954
11.59/11.63	v 4955
11.59/11.63	v 4958
11.59/11.63	v 4959
11.59/11.63	v 4960
11.59/11.63	v 4964
11.59/11.63	v 4965
11.59/11.63	v 4966
11.59/11.63	v 4968
11.59/11.63	v 4969
11.59/11.63	v 4971
11.59/11.63	v 4973
11.59/11.63	v 4978
11.59/11.63	v 4979
11.59/11.63	v 4980
11.59/11.63	v 4981
11.59/11.63	v 4982
11.59/11.63	v 4986
11.59/11.63	v 4988
11.59/11.63	v 4989
11.59/11.63	v 4991
11.59/11.63	v 4992
11.59/11.63	v 4993
11.59/11.63	v 4994
11.59/11.63	v 4995
11.59/11.63	v 4996
11.59/11.63	v 4998
11.59/11.63	v 5000
11.59/11.63	v 5003
11.59/11.63	v 5004
11.59/11.63	v 5005
11.59/11.63	v 5008
11.59/11.63	v 5009
11.59/11.63	v 5010
11.59/11.63	v 5012
11.59/11.63	v 5013
11.59/11.63	v 5015
11.59/11.63	v 5017
11.59/11.63	v 5018
11.59/11.63	v 5020
11.59/11.63	v 5022
11.59/11.63	v 5028
11.59/11.63	v 5029
11.59/11.63	v 5031
11.59/11.63	v 5033
11.59/11.63	v 5038
11.59/11.63	v 5039
11.59/11.63	v 5040
11.59/11.63	v 5041
11.59/11.63	v 5043
11.59/11.63	v 5044
11.59/11.63	v 5046
11.59/11.63	v 5047
11.59/11.63	v 5048
11.59/11.63	v 5050
11.59/11.63	v 5051
11.59/11.63	v 5052
11.59/11.63	v 5055
11.59/11.63	v 5056
11.59/11.63	v 5057
11.59/11.63	v 5058
11.59/11.63	v 5059
11.59/11.63	v 5060
11.59/11.63	v 5061
11.59/11.63	v 5063
11.59/11.63	v 5066
11.59/11.63	v 5067
11.59/11.63	v 5071
11.59/11.63	v 5072
11.59/11.63	v 5074
11.59/11.63	v 5075
11.59/11.63	v 5078
11.59/11.63	v 5081
11.59/11.63	v 5082
11.59/11.63	v 5083
11.59/11.63	v 5085
11.59/11.63	v 5086
11.59/11.63	v 5092
11.59/11.63	v 5095
11.59/11.63	v 5097
11.59/11.63	v 5098
11.59/11.63	v 5099
11.59/11.63	v 5101
11.59/11.63	v 5105
11.59/11.63	v 5107
11.59/11.63	v 5109
11.59/11.63	v 5111
11.59/11.63	v 5113
11.59/11.63	v 5115
11.59/11.63	v 5118
11.59/11.63	v 5119
11.59/11.63	v 5122
11.59/11.63	v 5125
11.59/11.63	v 5134
11.59/11.63	v 5138
11.59/11.63	v 5140
11.59/11.63	v 5141
11.59/11.63	v 5143
11.59/11.63	v 5144
11.59/11.63	v 5145
11.59/11.63	v 5146
11.59/11.63	v 5147
11.59/11.63	v 5148
11.59/11.63	v 5151
11.59/11.63	v 5152
11.59/11.63	v 5155
11.59/11.63	v 5157
11.59/11.63	v 5158
11.59/11.63	v 5159
11.59/11.63	v 5160
11.59/11.63	v 5162
11.59/11.63	v 5163
11.59/11.63	v 5164
11.59/11.63	v 5167
11.59/11.63	v 5170
11.59/11.63	v 5171
11.59/11.63	v 5173
11.59/11.63	v 5174
11.59/11.63	v 5176
11.59/11.63	v 5177
11.59/11.63	v 5179
11.59/11.63	v 5180
11.59/11.63	v 5181
11.59/11.63	v 5182
11.59/11.63	v 5184
11.59/11.63	v 5185
11.59/11.63	v 5186
11.59/11.63	v 5187
11.59/11.63	v 5188
11.59/11.63	v 5189
11.59/11.63	v 5190
11.59/11.63	v 5192
11.59/11.63	v 5195
11.59/11.63	v 5196
11.59/11.63	v 5197
11.59/11.63	v 5198
11.59/11.63	v 5199
11.59/11.63	v 5200
11.59/11.63	v 5201
11.59/11.63	v 5202
11.59/11.63	v 5205
11.59/11.63	v 5206
11.59/11.63	v 5210
11.59/11.63	v 5213
11.59/11.63	v 5217
11.59/11.63	v 5218
11.59/11.63	v 5219
11.59/11.63	v 5220
11.59/11.63	v 5222
11.59/11.63	v 5223
11.59/11.63	v 5224
11.59/11.63	v 5225
11.59/11.63	v 5227
11.59/11.63	v 5228
11.59/11.63	v 5229
11.59/11.63	v 5231
11.59/11.63	v 5232
11.59/11.63	v 5233
11.59/11.63	v 5234
11.59/11.63	v 5235
11.59/11.63	v 5237
11.59/11.63	v 5238
11.59/11.63	v 5239
11.59/11.63	v 5242
11.59/11.63	v 5243
11.59/11.63	v 5244
11.59/11.63	v 5245
11.59/11.63	v 5246
11.59/11.63	v 5247
11.59/11.63	v 5250
11.59/11.63	v 5251
11.59/11.63	v 5254
11.59/11.63	v 5255
11.59/11.63	v 5260
11.59/11.63	v 5263
11.59/11.63	v 5271
11.59/11.63	v 5272
11.59/11.63	v 5273
11.59/11.63	v 5275
11.59/11.63	v 5277
11.59/11.63	v 5278
11.59/11.63	v 5279
11.59/11.63	v 5280
11.59/11.63	v 5281
11.59/11.63	v 5283
11.59/11.63	v 5285
11.59/11.63	v 5287
11.59/11.63	v 5288
11.59/11.63	v 5289
11.59/11.63	v 5290
11.59/11.63	v 5291
11.59/11.63	v 5293
11.59/11.63	v 5296
11.59/11.63	v 5297
11.59/11.63	v 5301
11.59/11.63	v 5303
11.59/11.63	v 5305
11.59/11.63	v 5306
11.59/11.63	v 5307
11.59/11.63	v 5308
11.59/11.63	v 5312
11.59/11.63	v 5313
11.59/11.63	v 5314
11.59/11.63	v 5315
11.59/11.63	v 5316
11.59/11.63	v 5317
11.59/11.63	v 5318
11.59/11.63	v 5321
11.59/11.63	v 5322
11.59/11.63	v 5324
11.59/11.63	v 5325
11.59/11.63	v 5326
11.59/11.63	v 5327
11.59/11.63	v 5331
11.59/11.63	v 5332
11.59/11.63	v 5333
11.59/11.63	v 5334
11.59/11.63	v 5335
11.59/11.63	v 5336
11.59/11.63	v 5338
11.59/11.63	v 5339
11.59/11.63	v 5342
11.59/11.63	v 5343
11.59/11.63	v 5344
11.59/11.63	v 5350
11.59/11.63	v 5354
11.59/11.63	v 5359
11.59/11.63	v 5361
11.59/11.63	v 5363
11.59/11.63	v 5365
11.59/11.63	v 5366
11.59/11.63	v 5367
11.59/11.63	v 5369
11.59/11.63	v 5372
11.59/11.63	v 5375
11.59/11.63	v 5377
11.59/11.63	v 5380
11.59/11.63	v 5384
11.59/11.63	v 5385
11.59/11.63	v 5388
11.59/11.63	v 5389
11.59/11.63	v 5393
11.59/11.63	v 5394
11.59/11.63	v 5396
11.59/11.63	v 5398
11.59/11.63	v 5399
11.59/11.63	v 5400
11.59/11.63	v 5401
11.59/11.63	v 5403
11.59/11.63	v 5404
11.59/11.63	v 5406
11.59/11.63	v 5408
11.59/11.63	v 5409
11.59/11.63	v 5410
11.59/11.63	v 5411
11.59/11.63	v 5415
11.59/11.63	v 5417
11.59/11.63	v 5418
11.59/11.63	v 5419
11.59/11.63	v 5420
11.59/11.63	v 5422
11.59/11.63	v 5425
11.59/11.63	v 5431
11.59/11.63	v 5434
11.59/11.63	v 5435
11.59/11.63	v 5437
11.59/11.63	v 5440
11.59/11.63	v 5441
11.59/11.63	v 5442
11.59/11.63	v 5443
11.59/11.63	v 5447
11.59/11.63	v 5448
11.59/11.63	v 5450
11.59/11.63	v 5451
11.59/11.63	v 5454
11.59/11.63	v 5455
11.59/11.63	v 5456
11.59/11.63	v 5460
11.59/11.63	v 5462
11.59/11.63	v 5466
11.59/11.63	v 5467
11.59/11.63	v 5472
11.59/11.63	v 5474
11.59/11.63	v 5475
11.59/11.63	v 5476
11.59/11.63	v 5478
11.59/11.63	v 5479
11.59/11.63	v 5480
11.59/11.63	v 5483
11.59/11.63	v 5486
11.59/11.63	v 5488
11.59/11.63	v 5489
11.59/11.63	v 5490
11.59/11.63	v 5491
11.59/11.63	v 5493
11.59/11.63	v 5494
11.59/11.63	v 5495
11.59/11.63	v 5496
11.59/11.63	v 5497
11.59/11.63	v 5498
11.59/11.63	v 5499
11.59/11.63	v 5500
11.59/11.63	v 5505
11.59/11.63	v 5507
11.59/11.63	v 5511
11.59/11.63	v 5513
11.59/11.63	v 5516
11.59/11.63	v 5517
11.59/11.63	v 5518
11.59/11.63	v 5520
11.59/11.63	v 5523
11.59/11.63	v 5524
11.59/11.63	v 5525
11.59/11.63	v 5528
11.59/11.63	v 5530
11.59/11.63	v 5531
11.59/11.63	v 5532
11.59/11.63	v 5535
11.59/11.63	v 5536
11.59/11.63	v 5538
11.59/11.63	v 5539
11.59/11.63	v 5543
11.59/11.63	v 5545
11.59/11.63	v 5550
11.59/11.63	v 5551
11.59/11.63	v 5554
11.59/11.63	v 5556
11.59/11.63	v 5557
11.59/11.63	v 5561
11.59/11.63	v 5564
11.59/11.63	v 5565
11.59/11.63	v 5568
11.59/11.63	v 5571
11.59/11.63	v 5572
11.59/11.63	v 5574
11.59/11.63	v 5579
11.59/11.63	v 5582
11.59/11.63	v 5583
11.59/11.63	v 5585
11.59/11.63	v 5586
11.59/11.63	v 5587
11.59/11.63	v 5589
11.59/11.63	v 5590
11.59/11.63	v 5592
11.59/11.63	v 5595
11.59/11.63	v 5597
11.59/11.63	v 5598
11.59/11.63	v 5599
11.59/11.63	v 5602
11.59/11.63	v 5603
11.59/11.63	v 5605
11.59/11.63	v 5607
11.59/11.63	v 5608
11.59/11.63	v 5612
11.59/11.63	v 5614
11.59/11.63	v 5617
11.59/11.63	v 5620
11.59/11.63	v 5624
11.59/11.63	v 5625
11.59/11.63	v 5627
11.59/11.63	v 5629
11.59/11.63	v 5630
11.59/11.63	v 5631
11.59/11.63	v 5634
11.59/11.63	v 5636
11.59/11.63	v 5638
11.59/11.63	v 5639
11.59/11.63	v 5640
11.59/11.63	v 5642
11.59/11.63	v 5645
11.59/11.63	v 5647
11.59/11.63	v 5648
11.59/11.63	v 5649
11.59/11.63	v 5652
11.59/11.63	v 5654
11.59/11.63	v 5656
11.59/11.63	v 5661
11.59/11.63	v 5662
11.59/11.63	v 5664
11.59/11.63	v 5669
11.59/11.63	v 5670
11.59/11.63	v 5672
11.59/11.63	v 5673
11.59/11.63	v 5675
11.59/11.63	v 5676
11.59/11.63	v 5677
11.59/11.63	v 5680
11.59/11.63	v 5681
11.59/11.63	v 5683
11.59/11.63	v 5684
11.59/11.63	v 5685
11.59/11.63	v 5686
11.59/11.63	v 5687
11.59/11.63	v 5688
11.59/11.63	v 5693
11.59/11.63	v 5696
11.59/11.63	v 5697
11.59/11.63	v 5699
11.59/11.63	v 5701
11.59/11.63	v 5702
11.59/11.63	v 5703
11.59/11.63	v 5704
11.59/11.63	v 5706
11.59/11.63	v 5707
11.59/11.63	v 5708
11.59/11.63	v 5709
11.59/11.63	v 5711
11.59/11.63	v 5712
11.59/11.63	v 5714
11.59/11.63	v 5715
11.59/11.63	v 5716
11.59/11.63	v 5721
11.59/11.63	v 5722
11.59/11.63	v 5723
11.59/11.63	v 5725
11.59/11.63	v 5726
11.59/11.63	v 5727
11.59/11.63	v 5729
11.59/11.63	v 5730
11.59/11.63	v 5732
11.59/11.63	v 5735
11.59/11.63	v 5737
11.59/11.63	v 5739
11.59/11.63	v 5741
11.59/11.63	v 5743
11.59/11.63	v 5744
11.59/11.63	v 5745
11.59/11.63	v 5746
11.59/11.63	v 5750
11.59/11.63	v 5752
11.59/11.63	v 5755
11.59/11.63	v 5757
11.59/11.63	v 5758
11.59/11.63	v 5761
11.59/11.63	v 5762
11.59/11.63	v 5763
11.59/11.63	v 5764
11.59/11.63	v 5766
11.59/11.63	v 5774
11.59/11.63	v 5775
11.59/11.63	v 5776
11.59/11.63	v 5779
11.59/11.63	v 5781
11.59/11.63	v 5782
11.59/11.63	v 5784
11.59/11.63	v 5785
11.59/11.63	v 5789
11.59/11.63	v 5797
11.59/11.63	v 5798
11.59/11.63	v 5800
11.59/11.63	v 5803
11.59/11.63	v 5804
11.59/11.63	v 5805
11.59/11.63	v 5806
11.59/11.63	v 5807
11.59/11.63	v 5808
11.59/11.63	v 5809
11.59/11.63	v 5811
11.59/11.63	v 5814
11.59/11.63	v 5817
11.59/11.63	v 5818
11.59/11.63	v 5819
11.59/11.63	v 5820
11.59/11.63	v 5821
11.59/11.63	v 5822
11.59/11.63	v 5825
11.59/11.63	v 5827
11.59/11.63	v 5830
11.59/11.63	v 5834
11.59/11.63	v 5835
11.59/11.63	v 5838
11.59/11.63	v 5840
11.59/11.63	v 5841
11.59/11.63	v 5844
11.59/11.63	v 5846
11.59/11.63	v 5847
11.59/11.63	v 5850
11.59/11.63	v 5851
11.59/11.63	v 5852
11.59/11.63	v 5853
11.59/11.63	v 5856
11.59/11.63	v 5860
11.59/11.63	v 5861
11.59/11.63	v 5865
11.59/11.63	v 5866
11.59/11.63	v 5868
11.59/11.63	v 5870
11.59/11.63	v 5872
11.59/11.63	v 5875
11.59/11.63	v 5877
11.59/11.63	v 5880
11.59/11.63	v 5882
11.59/11.63	v 5883
11.59/11.63	v 5884
11.59/11.63	v 5885
11.59/11.63	v 5891
11.59/11.63	v 5892
11.59/11.63	v 5895
11.59/11.63	v 5896
11.59/11.63	v 5897
11.59/11.63	v 5898
11.59/11.63	v 5900
11.59/11.63	v 5901
11.59/11.63	v 5902
11.59/11.63	v 5909
11.59/11.63	v 5911
11.59/11.63	v 5913
11.59/11.63	v 5916
11.59/11.63	v 5917
11.59/11.63	v 5919
11.59/11.63	v 0
11.59/11.63	c [picomus] computed 3127 irredundant clauses 53%
11.59/11.63	c [picomus] 82 reductions in 11.6 seconds

Verifier Data

OK	3127

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-3483523-1307605011/watcher-3483523-1307605011 -o /tmp/evaluation-result-3483523-1307605011/solver-3483523-1307605011 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3483523-1307605011.cnf 

running on 2 cores: 0,2

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: 0.00 0.00 0.00 3/898 22245
/proc/meminfo: memFree=938428/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=1320 CPUtime=0.01 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 255 0 0 0 1 0 0 0 21 0 1 0 872100764 1351680 209 33554432000 134512640 135072097 4287229472 18446744073709551615 134543471 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 330 209 67 137 0 191 0

[startup+0.0223399 s]
/proc/loadavg: 0.00 0.00 0.00 3/898 22245
/proc/meminfo: memFree=938428/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=1320 CPUtime=0.01 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 258 0 0 0 1 0 0 0 21 0 1 0 872100764 1351680 212 33554432000 134512640 135072097 4287229472 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 330 212 68 137 0 191 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1320

[startup+0.100315 s]
/proc/loadavg: 0.00 0.00 0.00 3/898 22245
/proc/meminfo: memFree=938428/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=1588 CPUtime=0.09 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 353 0 0 0 9 0 0 0 21 0 1 0 872100764 1626112 307 33554432000 134512640 135072097 4287229472 18446744073709551615 134548678 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 397 307 75 137 0 258 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1588

[startup+0.300276 s]
/proc/loadavg: 0.00 0.00 0.00 3/898 22245
/proc/meminfo: memFree=938428/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=1496 CPUtime=0.29 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 520 0 0 0 29 0 0 0 22 0 1 0 872100764 1531904 291 33554432000 134512640 135072097 4287229472 18446744073709551615 134559057 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 374 291 76 137 0 235 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1496

[startup+0.700201 s]
/proc/loadavg: 0.00 0.00 0.00 3/898 22245
/proc/meminfo: memFree=938428/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=1596 CPUtime=0.69 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 615 0 0 0 69 0 0 0 24 0 1 0 872100764 1634304 301 33554432000 134512640 135072097 4287229472 18446744073709551615 134543400 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 399 301 76 137 0 260 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1596

[startup+1.50105 s]
/proc/loadavg: 0.00 0.00 0.00 4/904 22256
/proc/meminfo: memFree=927788/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=9708 CPUtime=1.48 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 2702 0 0 0 148 0 0 0 25 0 1 0 872100764 9940992 2344 33554432000 134512640 135072097 4287229472 18446744073709551615 134517966 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 2427 2344 77 137 0 2288 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9708

[startup+3.10088 s]
/proc/loadavg: 0.00 0.00 0.00 3/899 22300
/proc/meminfo: memFree=922784/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=13864 CPUtime=3.09 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 3742 0 0 0 308 1 0 0 25 0 1 0 872100764 14196736 3383 33554432000 134512640 135072097 4287229472 18446744073709551615 134518239 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 3466 3383 77 137 0 3327 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13864

[startup+6.30026 s]
/proc/loadavg: 0.16 0.03 0.01 3/899 22300
/proc/meminfo: memFree=921792/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=13864 CPUtime=6.29 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 3742 0 0 0 628 1 0 0 25 0 1 0 872100764 14196736 3383 33554432000 134512640 135072097 4287229472 18446744073709551615 134706017 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 3466 3383 77 137 0 3327 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13864

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

[startup+9.50065 s]
/proc/loadavg: 0.16 0.03 0.01 3/899 22300
/proc/meminfo: memFree=908920/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=13864 CPUtime=9.49 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 3742 0 0 0 948 1 0 0 25 0 1 0 872100764 14196736 3383 33554432000 134512640 135072097 4287229472 18446744073709551615 134584035 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 3466 3383 77 137 0 3327 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 13864

[startup+10.3004 s]
/proc/loadavg: 0.31 0.07 0.02 3/899 22300
/proc/meminfo: memFree=899428/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=13864 CPUtime=10.29 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 3742 0 0 0 1028 1 0 0 25 0 1 0 872100764 14196736 3383 33554432000 134512640 135072097 4287229472 18446744073709551615 134585044 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 3466 3383 77 137 0 3327 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 13864

[startup+11.1003 s]
/proc/loadavg: 0.31 0.07 0.02 3/899 22300
/proc/meminfo: memFree=894592/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=13864 CPUtime=11.09 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 3742 0 0 0 1108 1 0 0 25 0 1 0 872100764 14196736 3383 33554432000 134512640 135072097 4287229472 18446744073709551615 134548955 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 3466 3383 77 137 0 3327 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 13864

[startup+11.5002 s]
/proc/loadavg: 0.31 0.07 0.02 3/899 22300
/proc/meminfo: memFree=894592/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=13864 CPUtime=11.49 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 3742 0 0 0 1148 1 0 0 25 0 1 0 872100764 14196736 3383 33554432000 134512640 135072097 4287229472 18446744073709551615 134585057 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 3466 3383 77 137 0 3327 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 13864

[startup+11.6001 s]
/proc/loadavg: 0.31 0.07 0.02 3/899 22300
/proc/meminfo: memFree=894592/32950928 swapFree=38525204/67111528
[pid=22245] ppid=22243 vsize=13864 CPUtime=11.59 cores=0,2
/proc/22245/stat : 22245 (picomus) R 22243 22245 22205 0 -1 4202496 3742 0 0 0 1158 1 0 0 25 0 1 0 872100764 14196736 3383 33554432000 134512640 135072097 4287229472 18446744073709551615 134538363 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22245/statm: 3466 3383 77 137 0 3327 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 13864

Child status: 20
Real time (s): 11.6312
CPU time (s): 11.6222
CPU user time (s): 11.6082
CPU system time (s): 0.013997
CPU usage (%): 99.9231
Max. virtual memory (cumulated for all children) (KiB): 13864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6082
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3743
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= 4
involuntary context switches= 32

runsolver used 0.055991 second user time and 0.175973 second system time

The end

Launcher Data

Begin job on node127 at 2011-06-09 09:36:51
IDJOB=3483523
IDBENCH=87985
IDSOLVER=1974
FILE ID=node127/3483523-1307605011
RUNJOBID= node127-1307605010-22223
PBS_JOBID= 13547762
Free space on /tmp= 73460 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net40-25-1.shuffled.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483523-1307605011/watcher-3483523-1307605011 -o /tmp/evaluation-result-3483523-1307605011/solver-3483523-1307605011 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3483523-1307605011.cnf

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

MD5SUM BENCH= f2e8312ad845734d1755ad930d461e5f
RANDOM SEED=1706959650

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:        938708 kB
Buffers:        200988 kB
Cached:         839980 kB
SwapCached:       9392 kB
Active:       31493932 kB
Inactive:       151528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:        938708 kB
SwapTotal:    67111528 kB
SwapFree:     38525204 kB
Dirty:            1788 kB
Writeback:           0 kB
AnonPages:    30602548 kB
Mapped:         132180 kB
Slab:           136104 kB
PageTables:     156780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 156592024 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73456 MiB
End job on node127 at 2011-06-09 09:37:03