Trace number 3483669

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 37.0264 37.0294

General information on the benchmark

Namemus/marques-silva/
bmc-default/longmult6.cnf
MD5SUMbf30cb2a7e6ed20793696ed7dc1e07cb
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.904
Satisfiable
(Un)Satisfiability was proved
Number of variables2848
Number of clauses8853
Sum of the clauses size21387
Maximum clause length18
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 25973
Number of clauses of size 32317
Number of clauses of size 4395
Number of clauses of size 57
Number of clauses of size over 5126

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 2848 8853
0.29/0.31	s UNSATISFIABLE
0.29/0.32	c [picomus] extracted core 1 of size 2914 out of 8853 (33%) after 0.3 sec
0.59/0.62	c [picomus] extracted core 2 of size 2870 out of 8853 (32%) after 0.6 sec
0.79/0.88	c [picomus] extracted core 3 of size 2844 out of 8853 (32%) after 0.9 sec
1.11/1.15	c [picomus] extracted core 4 of size 2841 out of 8853 (32%) after 1.2 sec
1.39/1.47	c [picomus] extracted core 5 of size 2828 out of 8853 (32%) after 1.5 sec
1.69/1.71	c [picomus] extracted core 6 of size 2823 out of 8853 (32%) after 1.7 sec
1.89/1.96	c [picomus] extracted core 7 of size 2823 out of 8853 (32%) after 2.0 sec
2.10/2.20	c [picomus] extracted core 8 of size 2823 out of 8853 (32%) after 2.2 sec
2.39/2.44	c [picomus] extracted core 9 of size 2823 out of 8853 (32%) after 2.4 sec
3.30/3.34	c [picomus] reduction 1 to 2568 out of 8853 (29%) after 3.3 sec
3.39/3.47	c [picomus] reduction 2 to 2566 out of 8853 (29%) after 3.5 sec
3.89/3.94	c [picomus] reduction 3 to 2564 out of 8853 (29%) after 3.9 sec
5.20/5.24	c [picomus] reduction 4 to 2561 out of 8853 (29%) after 5.2 sec
20.91/20.94	c [picomus] reduction 5 to 2557 out of 8853 (29%) after 20.9 sec
21.49/21.58	c [picomus] reduction 6 to 2551 out of 8853 (29%) after 21.6 sec
22.19/22.21	c [picomus] reduction 7 to 2485 out of 8853 (28%) after 22.2 sec
22.89/22.90	c [picomus] reduction 8 to 2482 out of 8853 (28%) after 22.9 sec
23.39/23.50	c [picomus] reduction 9 to 2420 out of 8853 (27%) after 23.5 sec
23.99/24.04	c [picomus] reduction 10 to 2419 out of 8853 (27%) after 24.0 sec
24.11/24.15	c [picomus] reduction 11 to 2417 out of 8853 (27%) after 24.2 sec
24.49/24.55	c [picomus] reduction 12 to 2416 out of 8853 (27%) after 24.6 sec
25.09/25.18	c [picomus] reduction 13 to 2357 out of 8853 (27%) after 25.2 sec
25.59/25.60	c [picomus] reduction 14 to 2356 out of 8853 (27%) after 25.6 sec
25.99/26.07	c [picomus] reduction 15 to 2355 out of 8853 (27%) after 26.1 sec
26.69/26.77	c [picomus] reduction 16 to 2299 out of 8853 (26%) after 26.8 sec
26.79/26.86	c [picomus] reduction 17 to 2298 out of 8853 (26%) after 26.9 sec
28.69/28.71	c [picomus] reduction 18 to 2245 out of 8853 (25%) after 28.7 sec
28.69/28.75	c [picomus] reduction 19 to 2244 out of 8853 (25%) after 28.8 sec
30.89/30.94	c [picomus] reduction 20 to 2243 out of 8853 (25%) after 30.9 sec
31.09/31.10	c [picomus] reduction 21 to 2242 out of 8853 (25%) after 31.1 sec
31.39/31.40	c [picomus] reduction 22 to 2241 out of 8853 (25%) after 31.4 sec
31.49/31.59	c [picomus] reduction 23 to 2188 out of 8853 (25%) after 31.6 sec
31.59/31.61	c [picomus] reduction 24 to 2187 out of 8853 (25%) after 31.6 sec
36.99/37.02	c [picosat] 2212 calls
36.99/37.02	c [picosat] 0 iterations
36.99/37.02	c [picosat] 0 restarts
36.99/37.02	c [picosat] 0 failed literals
36.99/37.02	c [picosat] 118811 conflicts
36.99/37.02	c [picosat] 20624084 decisions
36.99/37.02	c [picosat] 2663 fixed variables
36.99/37.02	c [picosat] 67101437 learned literals
36.99/37.02	c [picosat] 4.1% deleted literals
36.99/37.02	c [picosat] 52341478 propagations
36.99/37.02	c [picosat] 32.7% variables used
36.99/37.02	c [picosat] 32.8 seconds in library
36.99/37.02	c [picosat] 1.6 megaprops/second
36.99/37.02	c [picosat] probing 0.1 seconds 0%
36.99/37.02	c [picosat] 27 simplifications
36.99/37.02	c [picosat] 47 reductions
36.99/37.02	c [picosat] 257.1 MB recycled
36.99/37.02	c [picosat] 14.2 MB maximally allocated
36.99/37.02	c [picomus] found 6666 redundant clauses 75%
36.99/37.02	c [picomus] computed MUS of size 2187 out of 8853 (25%)
36.99/37.02	v 2
36.99/37.02	v 4
36.99/37.02	v 5
36.99/37.02	v 9
36.99/37.02	v 10
36.99/37.02	v 11
36.99/37.02	v 12
36.99/37.02	v 13
36.99/37.02	v 14
36.99/37.02	v 15
36.99/37.02	v 16
36.99/37.02	v 17
36.99/37.02	v 18
36.99/37.02	v 19
36.99/37.02	v 20
36.99/37.02	v 21
36.99/37.02	v 22
36.99/37.02	v 24
36.99/37.02	v 25
36.99/37.02	v 26
36.99/37.02	v 27
36.99/37.02	v 28
36.99/37.02	v 30
36.99/37.02	v 31
36.99/37.02	v 32
36.99/37.02	v 34
36.99/37.02	v 35
36.99/37.02	v 36
36.99/37.02	v 37
36.99/37.02	v 38
36.99/37.02	v 39
36.99/37.02	v 40
36.99/37.02	v 41
36.99/37.02	v 42
36.99/37.02	v 46
36.99/37.02	v 47
36.99/37.02	v 48
36.99/37.02	v 50
36.99/37.02	v 51
36.99/37.02	v 52
36.99/37.02	v 53
36.99/37.02	v 54
36.99/37.02	v 55
36.99/37.02	v 57
36.99/37.02	v 58
36.99/37.02	v 59
36.99/37.02	v 61
36.99/37.02	v 62
36.99/37.02	v 63
36.99/37.02	v 64
36.99/37.02	v 65
36.99/37.02	v 66
36.99/37.02	v 67
36.99/37.02	v 68
36.99/37.02	v 69
36.99/37.02	v 70
36.99/37.02	v 71
36.99/37.02	v 72
36.99/37.02	v 73
36.99/37.02	v 74
36.99/37.02	v 75
36.99/37.02	v 76
36.99/37.02	v 77
36.99/37.02	v 78
36.99/37.02	v 79
36.99/37.02	v 80
36.99/37.02	v 81
36.99/37.02	v 82
36.99/37.02	v 84
36.99/37.02	v 85
36.99/37.02	v 86
36.99/37.02	v 87
36.99/37.02	v 88
36.99/37.02	v 89
36.99/37.02	v 90
36.99/37.02	v 91
36.99/37.02	v 92
36.99/37.02	v 93
36.99/37.02	v 95
36.99/37.02	v 96
36.99/37.02	v 97
36.99/37.02	v 98
36.99/37.02	v 99
36.99/37.02	v 100
36.99/37.02	v 102
36.99/37.02	v 103
36.99/37.02	v 104
36.99/37.02	v 106
36.99/37.02	v 107
36.99/37.02	v 108
36.99/37.02	v 109
36.99/37.02	v 110
36.99/37.02	v 111
36.99/37.02	v 112
36.99/37.02	v 113
36.99/37.02	v 114
36.99/37.02	v 115
36.99/37.02	v 116
36.99/37.02	v 117
36.99/37.02	v 118
36.99/37.02	v 119
36.99/37.02	v 120
36.99/37.02	v 121
36.99/37.02	v 122
36.99/37.02	v 123
36.99/37.02	v 124
36.99/37.02	v 125
36.99/37.02	v 126
36.99/37.02	v 127
36.99/37.02	v 129
36.99/37.02	v 130
36.99/37.02	v 131
36.99/37.02	v 132
36.99/37.02	v 133
36.99/37.02	v 134
36.99/37.02	v 135
36.99/37.02	v 136
36.99/37.02	v 137
36.99/37.02	v 138
36.99/37.02	v 140
36.99/37.02	v 141
36.99/37.02	v 142
36.99/37.02	v 143
36.99/37.02	v 144
36.99/37.02	v 145
36.99/37.02	v 147
36.99/37.02	v 148
36.99/37.02	v 149
36.99/37.02	v 151
36.99/37.02	v 152
36.99/37.02	v 153
36.99/37.02	v 154
36.99/37.02	v 155
36.99/37.02	v 156
36.99/37.02	v 157
36.99/37.02	v 158
36.99/37.02	v 159
36.99/37.02	v 160
36.99/37.02	v 161
36.99/37.02	v 162
36.99/37.02	v 163
36.99/37.02	v 164
36.99/37.02	v 165
36.99/37.02	v 166
36.99/37.02	v 167
36.99/37.02	v 168
36.99/37.02	v 169
36.99/37.02	v 170
36.99/37.02	v 171
36.99/37.02	v 172
36.99/37.02	v 174
36.99/37.02	v 175
36.99/37.02	v 176
36.99/37.02	v 177
36.99/37.02	v 178
36.99/37.02	v 179
36.99/37.02	v 180
36.99/37.02	v 181
36.99/37.02	v 182
36.99/37.02	v 183
36.99/37.02	v 185
36.99/37.02	v 186
36.99/37.02	v 187
36.99/37.02	v 188
36.99/37.02	v 189
36.99/37.02	v 190
36.99/37.02	v 193
36.99/37.02	v 194
36.99/37.02	v 195
36.99/37.02	v 196
36.99/37.02	v 197
36.99/37.02	v 198
36.99/37.02	v 199
36.99/37.02	v 200
36.99/37.02	v 201
36.99/37.02	v 202
36.99/37.02	v 203
36.99/37.02	v 204
36.99/37.02	v 205
36.99/37.02	v 206
36.99/37.02	v 207
36.99/37.02	v 209
36.99/37.02	v 210
36.99/37.02	v 211
36.99/37.02	v 212
36.99/37.02	v 213
36.99/37.02	v 214
36.99/37.02	v 215
36.99/37.02	v 216
36.99/37.02	v 217
36.99/37.02	v 218
36.99/37.02	v 221
36.99/37.02	v 222
36.99/37.02	v 223
36.99/37.02	v 224
36.99/37.02	v 225
36.99/37.02	v 226
36.99/37.02	v 227
36.99/37.02	v 228
36.99/37.02	v 229
36.99/37.02	v 230
36.99/37.02	v 231
36.99/37.02	v 232
36.99/37.02	v 233
36.99/37.02	v 234
36.99/37.02	v 235
36.99/37.02	v 236
36.99/37.02	v 237
36.99/37.02	v 238
36.99/37.02	v 239
36.99/37.02	v 240
36.99/37.02	v 241
36.99/37.02	v 242
36.99/37.02	v 243
36.99/37.02	v 244
36.99/37.02	v 245
36.99/37.02	v 246
36.99/37.02	v 247
36.99/37.02	v 248
36.99/37.02	v 249
36.99/37.02	v 250
36.99/37.02	v 251
36.99/37.02	v 252
36.99/37.02	v 253
36.99/37.02	v 254
36.99/37.02	v 255
36.99/37.02	v 256
36.99/37.02	v 257
36.99/37.02	v 258
36.99/37.02	v 259
36.99/37.02	v 260
36.99/37.02	v 261
36.99/37.02	v 262
36.99/37.02	v 263
36.99/37.02	v 264
36.99/37.02	v 265
36.99/37.02	v 266
36.99/37.02	v 267
36.99/37.02	v 268
36.99/37.02	v 269
36.99/37.02	v 270
36.99/37.02	v 271
36.99/37.02	v 272
36.99/37.02	v 273
36.99/37.02	v 274
36.99/37.02	v 275
36.99/37.02	v 276
36.99/37.02	v 277
36.99/37.02	v 278
36.99/37.02	v 279
36.99/37.02	v 280
36.99/37.02	v 281
36.99/37.02	v 282
36.99/37.02	v 283
36.99/37.02	v 284
36.99/37.02	v 285
36.99/37.02	v 286
36.99/37.02	v 287
36.99/37.02	v 288
36.99/37.02	v 289
36.99/37.02	v 290
36.99/37.02	v 291
36.99/37.02	v 292
36.99/37.02	v 293
36.99/37.02	v 294
36.99/37.02	v 295
36.99/37.02	v 299
36.99/37.02	v 300
36.99/37.02	v 301
36.99/37.02	v 302
36.99/37.02	v 303
36.99/37.02	v 304
36.99/37.02	v 305
36.99/37.02	v 306
36.99/37.02	v 307
36.99/37.02	v 308
36.99/37.02	v 309
36.99/37.02	v 310
36.99/37.02	v 311
36.99/37.02	v 312
36.99/37.02	v 313
36.99/37.02	v 314
36.99/37.02	v 315
36.99/37.02	v 316
36.99/37.02	v 317
36.99/37.02	v 318
36.99/37.02	v 319
36.99/37.02	v 320
36.99/37.02	v 321
36.99/37.02	v 322
36.99/37.02	v 323
36.99/37.02	v 324
36.99/37.02	v 325
36.99/37.02	v 326
36.99/37.02	v 327
36.99/37.02	v 328
36.99/37.02	v 329
36.99/37.02	v 330
36.99/37.02	v 331
36.99/37.02	v 332
36.99/37.02	v 333
36.99/37.02	v 334
36.99/37.02	v 335
36.99/37.02	v 336
36.99/37.02	v 337
36.99/37.02	v 338
36.99/37.02	v 339
36.99/37.02	v 340
36.99/37.02	v 341
36.99/37.02	v 342
36.99/37.02	v 343
36.99/37.02	v 344
36.99/37.02	v 345
36.99/37.02	v 346
36.99/37.02	v 347
36.99/37.02	v 348
36.99/37.02	v 349
36.99/37.02	v 350
36.99/37.02	v 351
36.99/37.02	v 352
36.99/37.02	v 353
36.99/37.02	v 354
36.99/37.02	v 355
36.99/37.02	v 356
36.99/37.02	v 357
36.99/37.02	v 358
36.99/37.02	v 359
36.99/37.02	v 360
36.99/37.02	v 361
36.99/37.02	v 362
36.99/37.02	v 363
36.99/37.02	v 364
36.99/37.02	v 365
36.99/37.02	v 366
36.99/37.02	v 367
36.99/37.02	v 368
36.99/37.02	v 369
36.99/37.02	v 370
36.99/37.02	v 371
36.99/37.02	v 372
36.99/37.02	v 373
36.99/37.02	v 374
36.99/37.02	v 375
36.99/37.02	v 376
36.99/37.02	v 377
36.99/37.02	v 378
36.99/37.02	v 379
36.99/37.02	v 380
36.99/37.02	v 381
36.99/37.02	v 382
36.99/37.02	v 383
36.99/37.02	v 384
36.99/37.02	v 385
36.99/37.02	v 386
36.99/37.02	v 387
36.99/37.02	v 388
36.99/37.02	v 389
36.99/37.02	v 390
36.99/37.02	v 391
36.99/37.02	v 392
36.99/37.02	v 393
36.99/37.02	v 394
36.99/37.02	v 395
36.99/37.02	v 396
36.99/37.02	v 397
36.99/37.02	v 398
36.99/37.02	v 399
36.99/37.02	v 400
36.99/37.02	v 401
36.99/37.02	v 402
36.99/37.02	v 403
36.99/37.02	v 404
36.99/37.02	v 405
36.99/37.02	v 406
36.99/37.02	v 407
36.99/37.02	v 408
36.99/37.02	v 409
36.99/37.02	v 410
36.99/37.02	v 411
36.99/37.02	v 412
36.99/37.02	v 413
36.99/37.02	v 414
36.99/37.02	v 415
36.99/37.02	v 416
36.99/37.02	v 417
36.99/37.02	v 418
36.99/37.02	v 419
36.99/37.02	v 420
36.99/37.02	v 421
36.99/37.02	v 422
36.99/37.02	v 423
36.99/37.02	v 424
36.99/37.02	v 425
36.99/37.02	v 426
36.99/37.02	v 427
36.99/37.02	v 428
36.99/37.02	v 429
36.99/37.02	v 430
36.99/37.02	v 431
36.99/37.02	v 432
36.99/37.02	v 433
36.99/37.02	v 434
36.99/37.02	v 435
36.99/37.02	v 436
36.99/37.02	v 437
36.99/37.02	v 438
36.99/37.02	v 439
36.99/37.02	v 440
36.99/37.02	v 441
36.99/37.02	v 442
36.99/37.02	v 443
36.99/37.02	v 444
36.99/37.02	v 445
36.99/37.02	v 446
36.99/37.02	v 447
36.99/37.02	v 448
36.99/37.02	v 449
36.99/37.02	v 450
36.99/37.02	v 451
36.99/37.02	v 452
36.99/37.02	v 453
36.99/37.02	v 454
36.99/37.02	v 455
36.99/37.02	v 456
36.99/37.02	v 457
36.99/37.02	v 458
36.99/37.02	v 459
36.99/37.02	v 460
36.99/37.02	v 461
36.99/37.02	v 462
36.99/37.02	v 463
36.99/37.02	v 464
36.99/37.02	v 465
36.99/37.02	v 466
36.99/37.02	v 467
36.99/37.02	v 468
36.99/37.02	v 469
36.99/37.02	v 470
36.99/37.02	v 471
36.99/37.02	v 472
36.99/37.02	v 473
36.99/37.02	v 474
36.99/37.02	v 475
36.99/37.02	v 476
36.99/37.02	v 477
36.99/37.02	v 478
36.99/37.02	v 479
36.99/37.02	v 480
36.99/37.02	v 481
36.99/37.02	v 482
36.99/37.02	v 483
36.99/37.02	v 484
36.99/37.02	v 485
36.99/37.02	v 486
36.99/37.02	v 487
36.99/37.02	v 488
36.99/37.02	v 489
36.99/37.02	v 490
36.99/37.02	v 491
36.99/37.02	v 492
36.99/37.02	v 493
36.99/37.02	v 494
36.99/37.02	v 495
36.99/37.02	v 496
36.99/37.02	v 497
36.99/37.02	v 498
36.99/37.02	v 499
36.99/37.02	v 500
36.99/37.02	v 501
36.99/37.02	v 502
36.99/37.02	v 503
36.99/37.02	v 504
36.99/37.02	v 505
36.99/37.02	v 506
36.99/37.02	v 507
36.99/37.02	v 508
36.99/37.02	v 509
36.99/37.02	v 510
36.99/37.02	v 511
36.99/37.02	v 512
36.99/37.02	v 513
36.99/37.02	v 514
36.99/37.02	v 515
36.99/37.02	v 516
36.99/37.02	v 517
36.99/37.02	v 518
36.99/37.02	v 519
36.99/37.02	v 520
36.99/37.02	v 521
36.99/37.02	v 522
36.99/37.02	v 523
36.99/37.02	v 524
36.99/37.02	v 525
36.99/37.02	v 526
36.99/37.02	v 527
36.99/37.02	v 528
36.99/37.02	v 529
36.99/37.02	v 530
36.99/37.02	v 531
36.99/37.02	v 532
36.99/37.02	v 533
36.99/37.02	v 534
36.99/37.02	v 535
36.99/37.02	v 536
36.99/37.02	v 537
36.99/37.02	v 538
36.99/37.02	v 539
36.99/37.02	v 540
36.99/37.02	v 541
36.99/37.02	v 542
36.99/37.02	v 543
36.99/37.02	v 544
36.99/37.02	v 545
36.99/37.02	v 546
36.99/37.02	v 547
36.99/37.02	v 548
36.99/37.02	v 549
36.99/37.02	v 550
36.99/37.02	v 551
36.99/37.02	v 552
36.99/37.02	v 553
36.99/37.02	v 554
36.99/37.02	v 555
36.99/37.02	v 556
36.99/37.02	v 557
36.99/37.02	v 558
36.99/37.02	v 559
36.99/37.02	v 560
36.99/37.02	v 561
36.99/37.02	v 562
36.99/37.02	v 563
36.99/37.02	v 564
36.99/37.02	v 565
36.99/37.02	v 566
36.99/37.02	v 567
36.99/37.02	v 568
36.99/37.02	v 569
36.99/37.02	v 570
36.99/37.02	v 571
36.99/37.02	v 572
36.99/37.02	v 573
36.99/37.02	v 574
36.99/37.02	v 575
36.99/37.02	v 576
36.99/37.02	v 577
36.99/37.02	v 578
36.99/37.02	v 579
36.99/37.02	v 580
36.99/37.02	v 581
36.99/37.02	v 582
36.99/37.02	v 583
36.99/37.02	v 584
36.99/37.02	v 585
36.99/37.02	v 586
36.99/37.02	v 587
36.99/37.02	v 588
36.99/37.02	v 589
36.99/37.02	v 590
36.99/37.02	v 591
36.99/37.02	v 592
36.99/37.02	v 593
36.99/37.02	v 594
36.99/37.02	v 595
36.99/37.02	v 596
36.99/37.02	v 597
36.99/37.02	v 598
36.99/37.02	v 599
36.99/37.02	v 600
36.99/37.02	v 601
36.99/37.02	v 602
36.99/37.02	v 603
36.99/37.02	v 604
36.99/37.02	v 605
36.99/37.02	v 606
36.99/37.02	v 607
36.99/37.02	v 608
36.99/37.02	v 609
36.99/37.02	v 610
36.99/37.02	v 611
36.99/37.02	v 612
36.99/37.02	v 613
36.99/37.02	v 614
36.99/37.02	v 615
36.99/37.02	v 616
36.99/37.02	v 617
36.99/37.02	v 618
36.99/37.02	v 619
36.99/37.02	v 620
36.99/37.02	v 621
36.99/37.02	v 622
36.99/37.02	v 623
36.99/37.02	v 624
36.99/37.02	v 625
36.99/37.02	v 626
36.99/37.02	v 627
36.99/37.02	v 628
36.99/37.02	v 629
36.99/37.02	v 630
36.99/37.02	v 631
36.99/37.02	v 632
36.99/37.02	v 633
36.99/37.02	v 634
36.99/37.02	v 635
36.99/37.02	v 636
36.99/37.02	v 637
36.99/37.02	v 638
36.99/37.02	v 639
36.99/37.02	v 640
36.99/37.02	v 641
36.99/37.02	v 642
36.99/37.02	v 643
36.99/37.02	v 644
36.99/37.02	v 645
36.99/37.02	v 646
36.99/37.02	v 647
36.99/37.02	v 648
36.99/37.02	v 649
36.99/37.02	v 650
36.99/37.02	v 651
36.99/37.02	v 652
36.99/37.02	v 653
36.99/37.02	v 654
36.99/37.02	v 655
36.99/37.02	v 656
36.99/37.02	v 657
36.99/37.02	v 658
36.99/37.02	v 659
36.99/37.02	v 660
36.99/37.02	v 661
36.99/37.02	v 662
36.99/37.02	v 663
36.99/37.02	v 664
36.99/37.02	v 665
36.99/37.02	v 666
36.99/37.02	v 667
36.99/37.02	v 668
36.99/37.02	v 669
36.99/37.02	v 670
36.99/37.02	v 671
36.99/37.02	v 672
36.99/37.02	v 673
36.99/37.02	v 674
36.99/37.02	v 675
36.99/37.02	v 676
36.99/37.02	v 677
36.99/37.02	v 678
36.99/37.02	v 679
36.99/37.02	v 680
36.99/37.02	v 681
36.99/37.02	v 682
36.99/37.02	v 683
36.99/37.02	v 684
36.99/37.02	v 685
36.99/37.02	v 686
36.99/37.02	v 687
36.99/37.02	v 688
36.99/37.02	v 689
36.99/37.02	v 690
36.99/37.02	v 691
36.99/37.02	v 692
36.99/37.02	v 693
36.99/37.02	v 694
36.99/37.02	v 695
36.99/37.02	v 696
36.99/37.02	v 697
36.99/37.02	v 698
36.99/37.02	v 699
36.99/37.02	v 700
36.99/37.02	v 701
36.99/37.02	v 702
36.99/37.02	v 703
36.99/37.02	v 704
36.99/37.02	v 705
36.99/37.02	v 706
36.99/37.02	v 707
36.99/37.02	v 708
36.99/37.02	v 709
36.99/37.02	v 710
36.99/37.02	v 711
36.99/37.02	v 712
36.99/37.02	v 713
36.99/37.02	v 714
36.99/37.02	v 715
36.99/37.02	v 716
36.99/37.02	v 717
36.99/37.02	v 718
36.99/37.02	v 719
36.99/37.02	v 720
36.99/37.02	v 721
36.99/37.02	v 722
36.99/37.02	v 723
36.99/37.02	v 724
36.99/37.02	v 725
36.99/37.02	v 726
36.99/37.02	v 727
36.99/37.02	v 728
36.99/37.02	v 729
36.99/37.02	v 730
36.99/37.02	v 731
36.99/37.02	v 732
36.99/37.02	v 733
36.99/37.02	v 734
36.99/37.02	v 735
36.99/37.02	v 736
36.99/37.02	v 737
36.99/37.02	v 738
36.99/37.02	v 739
36.99/37.02	v 740
36.99/37.02	v 741
36.99/37.02	v 742
36.99/37.02	v 743
36.99/37.02	v 744
36.99/37.02	v 745
36.99/37.02	v 746
36.99/37.02	v 747
36.99/37.02	v 748
36.99/37.02	v 749
36.99/37.02	v 750
36.99/37.02	v 751
36.99/37.02	v 752
36.99/37.02	v 753
36.99/37.02	v 754
36.99/37.02	v 755
36.99/37.02	v 756
36.99/37.02	v 757
36.99/37.02	v 758
36.99/37.02	v 759
36.99/37.02	v 760
36.99/37.02	v 761
36.99/37.02	v 762
36.99/37.02	v 763
36.99/37.02	v 764
36.99/37.02	v 765
36.99/37.02	v 766
36.99/37.02	v 767
36.99/37.02	v 768
36.99/37.02	v 769
36.99/37.02	v 770
36.99/37.02	v 771
36.99/37.02	v 772
36.99/37.02	v 773
36.99/37.02	v 774
36.99/37.02	v 775
36.99/37.02	v 776
36.99/37.02	v 777
36.99/37.02	v 778
36.99/37.02	v 779
36.99/37.02	v 780
36.99/37.02	v 781
36.99/37.02	v 782
36.99/37.02	v 783
36.99/37.02	v 784
36.99/37.02	v 785
36.99/37.02	v 786
36.99/37.02	v 787
36.99/37.02	v 788
36.99/37.02	v 789
36.99/37.02	v 790
36.99/37.02	v 791
36.99/37.02	v 792
36.99/37.02	v 793
36.99/37.02	v 794
36.99/37.02	v 795
36.99/37.02	v 796
36.99/37.02	v 797
36.99/37.02	v 798
36.99/37.02	v 799
36.99/37.02	v 800
36.99/37.02	v 801
36.99/37.02	v 802
36.99/37.02	v 803
36.99/37.02	v 804
36.99/37.02	v 805
36.99/37.02	v 806
36.99/37.02	v 807
36.99/37.02	v 808
36.99/37.02	v 809
36.99/37.02	v 810
36.99/37.02	v 811
36.99/37.02	v 812
36.99/37.02	v 813
36.99/37.02	v 814
36.99/37.02	v 815
36.99/37.02	v 816
36.99/37.02	v 817
36.99/37.02	v 818
36.99/37.02	v 819
36.99/37.02	v 820
36.99/37.02	v 821
36.99/37.02	v 822
36.99/37.02	v 823
36.99/37.02	v 824
36.99/37.02	v 825
36.99/37.02	v 826
36.99/37.02	v 827
36.99/37.02	v 828
36.99/37.02	v 829
36.99/37.02	v 830
36.99/37.02	v 831
36.99/37.02	v 832
36.99/37.02	v 833
36.99/37.02	v 834
36.99/37.02	v 835
36.99/37.02	v 836
36.99/37.02	v 837
36.99/37.02	v 838
36.99/37.02	v 839
36.99/37.02	v 840
36.99/37.02	v 841
36.99/37.02	v 842
36.99/37.02	v 843
36.99/37.02	v 844
36.99/37.02	v 845
36.99/37.02	v 846
36.99/37.02	v 847
36.99/37.02	v 848
36.99/37.02	v 849
36.99/37.02	v 850
36.99/37.02	v 851
36.99/37.02	v 852
36.99/37.02	v 853
36.99/37.02	v 854
36.99/37.02	v 855
36.99/37.02	v 856
36.99/37.02	v 857
36.99/37.02	v 858
36.99/37.02	v 859
36.99/37.02	v 860
36.99/37.02	v 861
36.99/37.02	v 862
36.99/37.02	v 863
36.99/37.02	v 864
36.99/37.02	v 865
36.99/37.02	v 866
36.99/37.02	v 867
36.99/37.02	v 868
36.99/37.02	v 869
36.99/37.02	v 870
36.99/37.02	v 871
36.99/37.02	v 872
36.99/37.02	v 873
36.99/37.02	v 874
36.99/37.02	v 875
36.99/37.02	v 876
36.99/37.02	v 877
36.99/37.02	v 878
36.99/37.02	v 879
36.99/37.02	v 880
36.99/37.02	v 881
36.99/37.02	v 882
36.99/37.02	v 883
36.99/37.02	v 884
36.99/37.02	v 885
36.99/37.02	v 886
36.99/37.02	v 887
36.99/37.02	v 888
36.99/37.02	v 889
36.99/37.02	v 890
36.99/37.02	v 891
36.99/37.02	v 892
36.99/37.02	v 893
36.99/37.02	v 894
36.99/37.02	v 895
36.99/37.02	v 896
36.99/37.02	v 897
36.99/37.02	v 898
36.99/37.02	v 899
36.99/37.02	v 900
36.99/37.02	v 901
36.99/37.02	v 902
36.99/37.02	v 903
36.99/37.02	v 904
36.99/37.02	v 905
36.99/37.02	v 906
36.99/37.02	v 907
36.99/37.02	v 908
36.99/37.02	v 909
36.99/37.02	v 910
36.99/37.02	v 911
36.99/37.02	v 912
36.99/37.02	v 913
36.99/37.02	v 914
36.99/37.02	v 915
36.99/37.02	v 916
36.99/37.02	v 917
36.99/37.02	v 918
36.99/37.02	v 919
36.99/37.02	v 920
36.99/37.02	v 921
36.99/37.02	v 922
36.99/37.02	v 923
36.99/37.02	v 924
36.99/37.02	v 925
36.99/37.02	v 926
36.99/37.02	v 927
36.99/37.02	v 928
36.99/37.02	v 929
36.99/37.02	v 930
36.99/37.02	v 931
36.99/37.02	v 932
36.99/37.02	v 933
36.99/37.02	v 934
36.99/37.02	v 935
36.99/37.02	v 936
36.99/37.02	v 937
36.99/37.02	v 938
36.99/37.02	v 939
36.99/37.02	v 940
36.99/37.02	v 941
36.99/37.02	v 942
36.99/37.02	v 943
36.99/37.02	v 944
36.99/37.02	v 945
36.99/37.02	v 946
36.99/37.02	v 947
36.99/37.02	v 948
36.99/37.02	v 949
36.99/37.02	v 950
36.99/37.02	v 951
36.99/37.02	v 952
36.99/37.02	v 953
36.99/37.02	v 954
36.99/37.02	v 955
36.99/37.02	v 956
36.99/37.02	v 957
36.99/37.02	v 958
36.99/37.02	v 959
36.99/37.02	v 960
36.99/37.02	v 961
36.99/37.02	v 962
36.99/37.02	v 963
36.99/37.02	v 964
36.99/37.02	v 965
36.99/37.02	v 966
36.99/37.02	v 975
36.99/37.02	v 977
36.99/37.02	v 978
36.99/37.02	v 1649
36.99/37.02	v 1650
36.99/37.02	v 1672
36.99/37.02	v 1673
36.99/37.02	v 1679
36.99/37.02	v 1680
36.99/37.02	v 1681
36.99/37.02	v 1682
36.99/37.02	v 1684
36.99/37.02	v 1868
36.99/37.02	v 1892
36.99/37.02	v 1893
36.99/37.02	v 1894
36.99/37.02	v 1913
36.99/37.02	v 1918
36.99/37.02	v 2055
36.99/37.02	v 2057
36.99/37.02	v 2060
36.99/37.02	v 2588
36.99/37.02	v 2589
36.99/37.02	v 2590
36.99/37.02	v 2591
36.99/37.02	v 2592
36.99/37.02	v 2593
36.99/37.02	v 2596
36.99/37.02	v 2598
36.99/37.02	v 2602
36.99/37.02	v 2603
36.99/37.02	v 2604
36.99/37.02	v 2605
36.99/37.02	v 2606
36.99/37.02	v 2607
36.99/37.02	v 2608
36.99/37.02	v 2609
36.99/37.02	v 2610
36.99/37.02	v 2611
36.99/37.02	v 2612
36.99/37.02	v 2613
36.99/37.02	v 2616
36.99/37.02	v 2617
36.99/37.02	v 2618
36.99/37.02	v 2619
36.99/37.02	v 2620
36.99/37.02	v 2621
36.99/37.02	v 2622
36.99/37.02	v 2623
36.99/37.02	v 2624
36.99/37.02	v 2631
36.99/37.02	v 2634
36.99/37.02	v 2637
36.99/37.02	v 2641
36.99/37.02	v 2669
36.99/37.02	v 2672
36.99/37.02	v 2675
36.99/37.02	v 2679
36.99/37.02	v 2707
36.99/37.02	v 2710
36.99/37.02	v 2712
36.99/37.02	v 2717
36.99/37.02	v 2745
36.99/37.02	v 2749
36.99/37.02	v 2752
36.99/37.02	v 2757
36.99/37.02	v 2807
36.99/37.02	v 2808
36.99/37.02	v 2832
36.99/37.02	v 2833
36.99/37.02	v 2834
36.99/37.02	v 2852
36.99/37.02	v 2858
36.99/37.02	v 2986
36.99/37.02	v 2988
36.99/37.02	v 2991
36.99/37.02	v 2995
36.99/37.02	v 2996
36.99/37.02	v 2997
36.99/37.02	v 3000
36.99/37.02	v 3002
36.99/37.02	v 3094
36.99/37.02	v 3095
36.99/37.02	v 3096
36.99/37.02	v 3099
36.99/37.02	v 3101
36.99/37.02	v 3103
36.99/37.02	v 3104
36.99/37.02	v 3105
36.99/37.02	v 3108
36.99/37.02	v 3110
36.99/37.02	v 3113
36.99/37.02	v 3119
36.99/37.02	v 3122
36.99/37.02	v 3128
36.99/37.02	v 3131
36.99/37.02	v 3137
36.99/37.02	v 3140
36.99/37.02	v 3146
36.99/37.02	v 3528
36.99/37.02	v 3529
36.99/37.02	v 3530
36.99/37.02	v 3531
36.99/37.02	v 3532
36.99/37.02	v 3533
36.99/37.02	v 3534
36.99/37.02	v 3535
36.99/37.02	v 3536
36.99/37.02	v 3537
36.99/37.02	v 3538
36.99/37.02	v 3539
36.99/37.02	v 3540
36.99/37.02	v 3541
36.99/37.02	v 3542
36.99/37.02	v 3543
36.99/37.02	v 3544
36.99/37.02	v 3545
36.99/37.02	v 3546
36.99/37.02	v 3547
36.99/37.02	v 3548
36.99/37.02	v 3549
36.99/37.02	v 3550
36.99/37.02	v 3551
36.99/37.02	v 3552
36.99/37.02	v 3553
36.99/37.02	v 3556
36.99/37.02	v 3557
36.99/37.02	v 3558
36.99/37.02	v 3559
36.99/37.02	v 3560
36.99/37.02	v 3561
36.99/37.02	v 3562
36.99/37.02	v 3563
36.99/37.02	v 3564
36.99/37.02	v 3566
36.99/37.02	v 3567
36.99/37.02	v 3568
36.99/37.02	v 3569
36.99/37.02	v 3570
36.99/37.02	v 3571
36.99/37.02	v 3574
36.99/37.02	v 3576
36.99/37.02	v 3580
36.99/37.02	v 3581
36.99/37.02	v 3582
36.99/37.02	v 3583
36.99/37.02	v 3584
36.99/37.02	v 3585
36.99/37.02	v 3586
36.99/37.02	v 3587
36.99/37.02	v 3588
36.99/37.02	v 3589
36.99/37.02	v 3591
36.99/37.02	v 3594
36.99/37.02	v 3595
36.99/37.02	v 3596
36.99/37.02	v 3599
36.99/37.02	v 3601
36.99/37.02	v 3602
36.99/37.02	v 3609
36.99/37.02	v 3612
36.99/37.02	v 3615
36.99/37.02	v 3619
36.99/37.02	v 3647
36.99/37.02	v 3650
36.99/37.02	v 3652
36.99/37.02	v 3657
36.99/37.02	v 3685
36.99/37.02	v 3689
36.99/37.02	v 3692
36.99/37.02	v 3697
36.99/37.02	v 3747
36.99/37.02	v 3748
36.99/37.02	v 3772
36.99/37.02	v 3773
36.99/37.02	v 3774
36.99/37.02	v 3791
36.99/37.02	v 3792
36.99/37.02	v 3797
36.99/37.02	v 3798
36.99/37.02	v 3917
36.99/37.02	v 3919
36.99/37.02	v 3922
36.99/37.02	v 3926
36.99/37.02	v 3927
36.99/37.02	v 3928
36.99/37.02	v 3931
36.99/37.02	v 3933
36.99/37.02	v 3935
36.99/37.02	v 3936
36.99/37.02	v 3937
36.99/37.02	v 3940
36.99/37.02	v 3942
36.99/37.02	v 4034
36.99/37.02	v 4035
36.99/37.02	v 4036
36.99/37.02	v 4039
36.99/37.02	v 4041
36.99/37.02	v 4043
36.99/37.02	v 4044
36.99/37.02	v 4045
36.99/37.02	v 4048
36.99/37.02	v 4050
36.99/37.02	v 4052
36.99/37.02	v 4053
36.99/37.02	v 4054
36.99/37.02	v 4057
36.99/37.02	v 4059
36.99/37.02	v 4062
36.99/37.02	v 4068
36.99/37.02	v 4071
36.99/37.02	v 4077
36.99/37.02	v 4080
36.99/37.02	v 4086
36.99/37.02	v 4468
36.99/37.02	v 4469
36.99/37.02	v 4470
36.99/37.02	v 4471
36.99/37.02	v 4472
36.99/37.02	v 4473
36.99/37.02	v 4474
36.99/37.02	v 4475
36.99/37.02	v 4476
36.99/37.02	v 4477
36.99/37.02	v 4478
36.99/37.02	v 4479
36.99/37.02	v 4480
36.99/37.02	v 4481
36.99/37.02	v 4482
36.99/37.02	v 4483
36.99/37.02	v 4484
36.99/37.02	v 4485
36.99/37.02	v 4486
36.99/37.02	v 4487
36.99/37.02	v 4488
36.99/37.02	v 4489
36.99/37.02	v 4490
36.99/37.02	v 4491
36.99/37.02	v 4492
36.99/37.02	v 4493
36.99/37.02	v 4496
36.99/37.02	v 4497
36.99/37.02	v 4498
36.99/37.02	v 4499
36.99/37.02	v 4500
36.99/37.02	v 4501
36.99/37.02	v 4502
36.99/37.02	v 4503
36.99/37.02	v 4504
36.99/37.02	v 4506
36.99/37.02	v 4507
36.99/37.02	v 4508
36.99/37.02	v 4509
36.99/37.02	v 4510
36.99/37.02	v 4511
36.99/37.02	v 4512
36.99/37.02	v 4513
36.99/37.02	v 4514
36.99/37.02	v 4515
36.99/37.02	v 4516
36.99/37.02	v 4517
36.99/37.02	v 4518
36.99/37.02	v 4519
36.99/37.02	v 4520
36.99/37.02	v 4521
36.99/37.02	v 4522
36.99/37.02	v 4523
36.99/37.02	v 4524
36.99/37.02	v 4525
36.99/37.02	v 4526
36.99/37.02	v 4527
36.99/37.02	v 4528
36.99/37.02	v 4529
36.99/37.02	v 4531
36.99/37.02	v 4534
36.99/37.02	v 4535
36.99/37.02	v 4536
36.99/37.02	v 4539
36.99/37.02	v 4541
36.99/37.02	v 4542
36.99/37.02	v 4544
36.99/37.02	v 4545
36.99/37.02	v 4546
36.99/37.02	v 4547
36.99/37.02	v 4548
36.99/37.02	v 4549
36.99/37.02	v 4552
36.99/37.02	v 4554
36.99/37.02	v 4558
36.99/37.02	v 4559
36.99/37.02	v 4560
36.99/37.02	v 4561
36.99/37.02	v 4562
36.99/37.02	v 4563
36.99/37.02	v 4564
36.99/37.02	v 4565
36.99/37.02	v 4566
36.99/37.02	v 4567
36.99/37.02	v 4569
36.99/37.02	v 4572
36.99/37.02	v 4573
36.99/37.02	v 4574
36.99/37.02	v 4577
36.99/37.02	v 4579
36.99/37.02	v 4580
36.99/37.02	v 4587
36.99/37.02	v 4590
36.99/37.02	v 4592
36.99/37.02	v 4597
36.99/37.02	v 4625
36.99/37.02	v 4629
36.99/37.02	v 4632
36.99/37.02	v 4637
36.99/37.02	v 4687
36.99/37.02	v 4688
36.99/37.02	v 4712
36.99/37.02	v 4713
36.99/37.02	v 4714
36.99/37.02	v 4730
36.99/37.02	v 4731
36.99/37.02	v 4732
36.99/37.02	v 4737
36.99/37.02	v 4738
36.99/37.02	v 4848
36.99/37.02	v 4850
36.99/37.02	v 4853
36.99/37.02	v 4857
36.99/37.02	v 4858
36.99/37.02	v 4859
36.99/37.02	v 4862
36.99/37.02	v 4864
36.99/37.02	v 4866
36.99/37.02	v 4867
36.99/37.02	v 4868
36.99/37.02	v 4871
36.99/37.02	v 4873
36.99/37.02	v 4875
36.99/37.02	v 4876
36.99/37.02	v 4877
36.99/37.02	v 4880
36.99/37.02	v 4882
36.99/37.02	v 4974
36.99/37.02	v 4975
36.99/37.02	v 4976
36.99/37.02	v 4979
36.99/37.02	v 4981
36.99/37.02	v 4983
36.99/37.02	v 4984
36.99/37.02	v 4985
36.99/37.02	v 4988
36.99/37.02	v 4990
36.99/37.02	v 4992
36.99/37.02	v 4993
36.99/37.02	v 4994
36.99/37.02	v 4997
36.99/37.02	v 4999
36.99/37.02	v 5001
36.99/37.02	v 5002
36.99/37.02	v 5003
36.99/37.02	v 5006
36.99/37.02	v 5008
36.99/37.02	v 5011
36.99/37.02	v 5017
36.99/37.02	v 5020
36.99/37.02	v 5026
36.99/37.02	v 5408
36.99/37.02	v 5409
36.99/37.02	v 5410
36.99/37.02	v 5411
36.99/37.02	v 5412
36.99/37.02	v 5413
36.99/37.02	v 5414
36.99/37.02	v 5415
36.99/37.02	v 5416
36.99/37.02	v 5417
36.99/37.02	v 5418
36.99/37.02	v 5419
36.99/37.02	v 5420
36.99/37.02	v 5421
36.99/37.02	v 5422
36.99/37.02	v 5423
36.99/37.02	v 5424
36.99/37.02	v 5425
36.99/37.02	v 5426
36.99/37.02	v 5427
36.99/37.02	v 5428
36.99/37.02	v 5429
36.99/37.02	v 5430
36.99/37.02	v 5431
36.99/37.02	v 5433
36.99/37.02	v 5436
36.99/37.02	v 5437
36.99/37.02	v 5438
36.99/37.02	v 5439
36.99/37.02	v 5440
36.99/37.02	v 5441
36.99/37.02	v 5442
36.99/37.02	v 5443
36.99/37.02	v 5444
36.99/37.02	v 5446
36.99/37.02	v 5447
36.99/37.02	v 5448
36.99/37.02	v 5449
36.99/37.02	v 5450
36.99/37.02	v 5451
36.99/37.02	v 5452
36.99/37.02	v 5453
36.99/37.02	v 5454
36.99/37.02	v 5455
36.99/37.02	v 5456
36.99/37.02	v 5457
36.99/37.02	v 5458
36.99/37.02	v 5459
36.99/37.02	v 5460
36.99/37.02	v 5461
36.99/37.02	v 5462
36.99/37.02	v 5463
36.99/37.02	v 5464
36.99/37.02	v 5465
36.99/37.02	v 5466
36.99/37.02	v 5467
36.99/37.02	v 5468
36.99/37.02	v 5469
36.99/37.02	v 5471
36.99/37.02	v 5474
36.99/37.02	v 5475
36.99/37.02	v 5476
36.99/37.02	v 5479
36.99/37.02	v 5481
36.99/37.02	v 5482
36.99/37.02	v 5484
36.99/37.02	v 5485
36.99/37.02	v 5486
36.99/37.02	v 5487
36.99/37.02	v 5488
36.99/37.02	v 5489
36.99/37.02	v 5490
36.99/37.02	v 5491
36.99/37.02	v 5492
36.99/37.02	v 5493
36.99/37.02	v 5494
36.99/37.02	v 5495
36.99/37.02	v 5496
36.99/37.02	v 5497
36.99/37.02	v 5498
36.99/37.02	v 5499
36.99/37.02	v 5500
36.99/37.02	v 5501
36.99/37.02	v 5502
36.99/37.02	v 5503
36.99/37.02	v 5504
36.99/37.02	v 5505
36.99/37.02	v 5506
36.99/37.02	v 5507
36.99/37.02	v 5509
36.99/37.02	v 5512
36.99/37.02	v 5513
36.99/37.02	v 5514
36.99/37.02	v 5517
36.99/37.02	v 5519
36.99/37.02	v 5520
36.99/37.02	v 5522
36.99/37.02	v 5523
36.99/37.02	v 5524
36.99/37.02	v 5525
36.99/37.02	v 5526
36.99/37.02	v 5527
36.99/37.02	v 5530
36.99/37.02	v 5532
36.99/37.02	v 5536
36.99/37.02	v 5537
36.99/37.02	v 5538
36.99/37.02	v 5539
36.99/37.02	v 5540
36.99/37.02	v 5541
36.99/37.02	v 5542
36.99/37.02	v 5543
36.99/37.02	v 5544
36.99/37.02	v 5545
36.99/37.02	v 5547
36.99/37.02	v 5550
36.99/37.02	v 5551
36.99/37.02	v 5552
36.99/37.02	v 5555
36.99/37.02	v 5557
36.99/37.02	v 5558
36.99/37.02	v 5565
36.99/37.02	v 5569
36.99/37.02	v 5572
36.99/37.02	v 5577
36.99/37.02	v 5627
36.99/37.02	v 5628
36.99/37.02	v 5652
36.99/37.02	v 5653
36.99/37.02	v 5654
36.99/37.02	v 5669
36.99/37.02	v 5670
36.99/37.02	v 5671
36.99/37.02	v 5672
36.99/37.02	v 5677
36.99/37.02	v 5678
36.99/37.02	v 5779
36.99/37.02	v 5781
36.99/37.02	v 5784
36.99/37.02	v 5788
36.99/37.02	v 5789
36.99/37.02	v 5790
36.99/37.02	v 5793
36.99/37.02	v 5795
36.99/37.02	v 5797
36.99/37.02	v 5798
36.99/37.02	v 5799
36.99/37.02	v 5802
36.99/37.02	v 5804
36.99/37.02	v 5806
36.99/37.02	v 5807
36.99/37.02	v 5808
36.99/37.02	v 5811
36.99/37.02	v 5813
36.99/37.02	v 5815
36.99/37.02	v 5816
36.99/37.02	v 5817
36.99/37.02	v 5820
36.99/37.02	v 5822
36.99/37.02	v 5914
36.99/37.02	v 5915
36.99/37.02	v 5916
36.99/37.02	v 5919
36.99/37.02	v 5921
36.99/37.02	v 5923
36.99/37.02	v 5924
36.99/37.02	v 5925
36.99/37.02	v 5928
36.99/37.02	v 5930
36.99/37.02	v 5932
36.99/37.02	v 5933
36.99/37.02	v 5934
36.99/37.02	v 5937
36.99/37.02	v 5939
36.99/37.02	v 5941
36.99/37.02	v 5942
36.99/37.02	v 5943
36.99/37.02	v 5946
36.99/37.02	v 5948
36.99/37.02	v 5950
36.99/37.02	v 5951
36.99/37.02	v 5952
36.99/37.02	v 5955
36.99/37.02	v 5957
36.99/37.02	v 5960
36.99/37.02	v 5966
36.99/37.02	v 6348
36.99/37.02	v 6349
36.99/37.02	v 6350
36.99/37.02	v 6351
36.99/37.02	v 6352
36.99/37.02	v 6353
36.99/37.02	v 6354
36.99/37.02	v 6355
36.99/37.02	v 6356
36.99/37.02	v 6357
36.99/37.02	v 6358
36.99/37.02	v 6359
36.99/37.02	v 6360
36.99/37.02	v 6361
36.99/37.02	v 6362
36.99/37.02	v 6363
36.99/37.02	v 6364
36.99/37.02	v 6365
36.99/37.02	v 6366
36.99/37.02	v 6367
36.99/37.02	v 6368
36.99/37.02	v 6369
36.99/37.02	v 6370
36.99/37.02	v 6371
36.99/37.02	v 6373
36.99/37.02	v 6376
36.99/37.02	v 6377
36.99/37.02	v 6378
36.99/37.02	v 6380
36.99/37.02	v 6381
36.99/37.02	v 6382
36.99/37.02	v 6383
36.99/37.02	v 6384
36.99/37.02	v 6386
36.99/37.02	v 6387
36.99/37.02	v 6388
36.99/37.02	v 6389
36.99/37.02	v 6390
36.99/37.02	v 6391
36.99/37.02	v 6392
36.99/37.02	v 6393
36.99/37.02	v 6394
36.99/37.02	v 6395
36.99/37.02	v 6396
36.99/37.02	v 6397
36.99/37.02	v 6398
36.99/37.02	v 6399
36.99/37.02	v 6400
36.99/37.02	v 6401
36.99/37.02	v 6402
36.99/37.02	v 6403
36.99/37.02	v 6404
36.99/37.02	v 6405
36.99/37.02	v 6406
36.99/37.02	v 6407
36.99/37.02	v 6408
36.99/37.02	v 6409
36.99/37.02	v 6411
36.99/37.02	v 6414
36.99/37.02	v 6415
36.99/37.02	v 6416
36.99/37.02	v 6419
36.99/37.02	v 6421
36.99/37.02	v 6422
36.99/37.02	v 6424
36.99/37.02	v 6425
36.99/37.02	v 6426
36.99/37.02	v 6427
36.99/37.02	v 6428
36.99/37.02	v 6429
36.99/37.02	v 6430
36.99/37.02	v 6431
36.99/37.02	v 6432
36.99/37.02	v 6433
36.99/37.02	v 6434
36.99/37.02	v 6435
36.99/37.02	v 6436
36.99/37.02	v 6437
36.99/37.02	v 6438
36.99/37.02	v 6439
36.99/37.02	v 6440
36.99/37.02	v 6441
36.99/37.02	v 6442
36.99/37.02	v 6443
36.99/37.02	v 6444
36.99/37.02	v 6445
36.99/37.02	v 6446
36.99/37.02	v 6447
36.99/37.02	v 6449
36.99/37.02	v 6452
36.99/37.02	v 6453
36.99/37.02	v 6454
36.99/37.02	v 6457
36.99/37.02	v 6459
36.99/37.02	v 6460
36.99/37.02	v 6462
36.99/37.02	v 6463
36.99/37.02	v 6464
36.99/37.02	v 6465
36.99/37.02	v 6466
36.99/37.02	v 6467
36.99/37.02	v 6470
36.99/37.02	v 6471
36.99/37.02	v 6472
36.99/37.02	v 6474
36.99/37.02	v 6476
36.99/37.02	v 6477
36.99/37.02	v 6478
36.99/37.02	v 6479
36.99/37.02	v 6480
36.99/37.02	v 6481
36.99/37.02	v 6482
36.99/37.02	v 6483
36.99/37.02	v 6484
36.99/37.02	v 6485
36.99/37.02	v 6487
36.99/37.02	v 6490
36.99/37.02	v 6491
36.99/37.02	v 6492
36.99/37.02	v 6495
36.99/37.02	v 6497
36.99/37.02	v 6498
36.99/37.02	v 6500
36.99/37.02	v 6501
36.99/37.02	v 6502
36.99/37.02	v 6503
36.99/37.02	v 6504
36.99/37.02	v 6505
36.99/37.02	v 6509
36.99/37.02	v 6512
36.99/37.02	v 6516
36.99/37.02	v 6517
36.99/37.02	v 6518
36.99/37.02	v 6519
36.99/37.02	v 6520
36.99/37.02	v 6521
36.99/37.02	v 6522
36.99/37.02	v 6523
36.99/37.02	v 6524
36.99/37.02	v 6525
36.99/37.02	v 6530
36.99/37.02	v 6531
36.99/37.02	v 6532
36.99/37.02	v 6535
36.99/37.02	v 6537
36.99/37.02	v 6538
36.99/37.02	v 6567
36.99/37.02	v 6568
36.99/37.02	v 6592
36.99/37.02	v 6593
36.99/37.02	v 6594
36.99/37.02	v 6608
36.99/37.02	v 6609
36.99/37.02	v 6610
36.99/37.02	v 6611
36.99/37.02	v 6612
36.99/37.02	v 6617
36.99/37.02	v 6618
36.99/37.02	v 6710
36.99/37.02	v 6712
36.99/37.02	v 6715
36.99/37.02	v 6719
36.99/37.02	v 6720
36.99/37.02	v 6721
36.99/37.02	v 6724
36.99/37.02	v 6726
36.99/37.02	v 6728
36.99/37.02	v 6729
36.99/37.02	v 6730
36.99/37.02	v 6733
36.99/37.02	v 6735
36.99/37.02	v 6737
36.99/37.02	v 6738
36.99/37.02	v 6739
36.99/37.02	v 6742
36.99/37.02	v 6744
36.99/37.02	v 6746
36.99/37.02	v 6747
36.99/37.02	v 6748
36.99/37.02	v 6751
36.99/37.02	v 6753
36.99/37.02	v 6755
36.99/37.02	v 6756
36.99/37.02	v 6757
36.99/37.02	v 6760
36.99/37.02	v 6762
36.99/37.02	v 6854
36.99/37.02	v 6855
36.99/37.02	v 6856
36.99/37.02	v 6859
36.99/37.02	v 6861
36.99/37.02	v 6863
36.99/37.02	v 6864
36.99/37.02	v 6865
36.99/37.02	v 6868
36.99/37.02	v 6870
36.99/37.02	v 6872
36.99/37.02	v 6873
36.99/37.02	v 6874
36.99/37.02	v 6877
36.99/37.02	v 6879
36.99/37.02	v 6881
36.99/37.02	v 6882
36.99/37.02	v 6883
36.99/37.02	v 6886
36.99/37.02	v 6888
36.99/37.02	v 6890
36.99/37.02	v 6891
36.99/37.02	v 6892
36.99/37.02	v 6895
36.99/37.02	v 6897
36.99/37.02	v 6899
36.99/37.02	v 6900
36.99/37.02	v 6901
36.99/37.02	v 6904
36.99/37.02	v 6906
36.99/37.02	v 7288
36.99/37.02	v 7290
36.99/37.02	v 7292
36.99/37.02	v 7295
36.99/37.02	v 7298
36.99/37.02	v 7303
36.99/37.02	v 7304
36.99/37.02	v 7306
36.99/37.02	v 7308
36.99/37.02	v 7311
36.99/37.02	v 7316
36.99/37.02	v 7317
36.99/37.02	v 7318
36.99/37.02	v 7321
36.99/37.02	v 7323
36.99/37.02	v 7324
36.99/37.02	v 7326
36.99/37.02	v 7328
36.99/37.02	v 7330
36.99/37.02	v 7333
36.99/37.02	v 7336
36.99/37.02	v 7341
36.99/37.02	v 7342
36.99/37.02	v 7344
36.99/37.02	v 7346
36.99/37.02	v 7349
36.99/37.02	v 7354
36.99/37.02	v 7355
36.99/37.02	v 7356
36.99/37.02	v 7359
36.99/37.02	v 7361
36.99/37.02	v 7362
36.99/37.02	v 7364
36.99/37.02	v 7366
36.99/37.02	v 7368
36.99/37.02	v 7371
36.99/37.02	v 7374
36.99/37.02	v 7379
36.99/37.02	v 7380
36.99/37.02	v 7382
36.99/37.02	v 7384
36.99/37.02	v 7387
36.99/37.02	v 7392
36.99/37.02	v 7393
36.99/37.02	v 7394
36.99/37.02	v 7397
36.99/37.02	v 7399
36.99/37.02	v 7400
36.99/37.02	v 7402
36.99/37.02	v 7404
36.99/37.02	v 7406
36.99/37.02	v 7409
36.99/37.02	v 7412
36.99/37.02	v 7417
36.99/37.02	v 7418
36.99/37.03	v 7420
36.99/37.03	v 7422
36.99/37.03	v 7425
36.99/37.03	v 7430
36.99/37.03	v 7431
36.99/37.03	v 7432
36.99/37.03	v 7435
36.99/37.03	v 7437
36.99/37.03	v 7438
36.99/37.03	v 7440
36.99/37.03	v 7442
36.99/37.03	v 7444
36.99/37.03	v 7448
36.99/37.03	v 7451
36.99/37.03	v 7457
36.99/37.03	v 7458
36.99/37.03	v 7460
36.99/37.03	v 7462
36.99/37.03	v 7465
36.99/37.03	v 7470
36.99/37.03	v 7471
36.99/37.03	v 7472
36.99/37.03	v 7475
36.99/37.03	v 7477
36.99/37.03	v 7478
36.99/37.03	v 7480
36.99/37.03	v 7482
36.99/37.03	v 7484
36.99/37.03	v 7486
36.99/37.03	v 7488
36.99/37.03	v 7490
36.99/37.03	v 7493
36.99/37.03	v 7498
36.99/37.03	v 7499
36.99/37.03	v 7500
36.99/37.03	v 7503
36.99/37.03	v 7505
36.99/37.03	v 7506
36.99/37.03	v 7507
36.99/37.03	v 7508
36.99/37.03	v 7533
36.99/37.03	v 7547
36.99/37.03	v 7548
36.99/37.03	v 7549
36.99/37.03	v 7550
36.99/37.03	v 7551
36.99/37.03	v 7552
36.99/37.03	v 7553
36.99/37.03	v 7558
36.99/37.03	v 7559
36.99/37.03	v 7561
36.99/37.03	v 7562
36.99/37.03	v 7563
36.99/37.03	v 7564
36.99/37.03	v 7565
36.99/37.03	v 7566
36.99/37.03	v 7567
36.99/37.03	v 7577
36.99/37.03	v 7578
36.99/37.03	v 7579
36.99/37.03	v 7580
36.99/37.03	v 7581
36.99/37.03	v 7582
36.99/37.03	v 7583
36.99/37.03	v 7584
36.99/37.03	v 7585
36.99/37.03	v 7586
36.99/37.03	v 7587
36.99/37.03	v 7588
36.99/37.03	v 7589
36.99/37.03	v 7590
36.99/37.03	v 7591
36.99/37.03	v 7612
36.99/37.03	v 7613
36.99/37.03	v 7614
36.99/37.03	v 7615
36.99/37.03	v 7616
36.99/37.03	v 7617
36.99/37.03	v 7618
36.99/37.03	v 7619
36.99/37.03	v 7620
36.99/37.03	v 7621
36.99/37.03	v 7622
36.99/37.03	v 7623
36.99/37.03	v 7625
36.99/37.03	v 7646
36.99/37.03	v 7647
36.99/37.03	v 7648
36.99/37.03	v 7649
36.99/37.03	v 7650
36.99/37.03	v 7651
36.99/37.03	v 7652
36.99/37.03	v 7653
36.99/37.03	v 7654
36.99/37.03	v 7655
36.99/37.03	v 7656
36.99/37.03	v 7657
36.99/37.03	v 7658
36.99/37.03	v 7659
36.99/37.03	v 7680
36.99/37.03	v 7681
36.99/37.03	v 7682
36.99/37.03	v 7683
36.99/37.03	v 7684
36.99/37.03	v 7685
36.99/37.03	v 7686
36.99/37.03	v 7687
36.99/37.03	v 7688
36.99/37.03	v 7689
36.99/37.03	v 7690
36.99/37.03	v 7691
36.99/37.03	v 7692
36.99/37.03	v 7714
36.99/37.03	v 7717
36.99/37.03	v 7720
36.99/37.03	v 7721
36.99/37.03	v 7722
36.99/37.03	v 7723
36.99/37.03	v 7724
36.99/37.03	v 7725
36.99/37.03	v 7726
36.99/37.03	v 7727
36.99/37.03	v 7728
36.99/37.03	v 7729
36.99/37.03	v 7730
36.99/37.03	v 7731
36.99/37.03	v 7752
36.99/37.03	v 7753
36.99/37.03	v 7754
36.99/37.03	v 7755
36.99/37.03	v 7756
36.99/37.03	v 7757
36.99/37.03	v 7758
36.99/37.03	v 7759
36.99/37.03	v 7760
36.99/37.03	v 7761
36.99/37.03	v 7762
36.99/37.03	v 7763
36.99/37.03	v 7764
36.99/37.03	v 7785
36.99/37.03	v 7786
36.99/37.03	v 7787
36.99/37.03	v 7788
36.99/37.03	v 7789
36.99/37.03	v 7790
36.99/37.03	v 7791
36.99/37.03	v 7792
36.99/37.03	v 7793
36.99/37.03	v 7794
36.99/37.03	v 7796
36.99/37.03	v 7818
36.99/37.03	v 7819
36.99/37.03	v 7820
36.99/37.03	v 7821
36.99/37.03	v 7822
36.99/37.03	v 7823
36.99/37.03	v 7824
36.99/37.03	v 7825
36.99/37.03	v 7826
36.99/37.03	v 7827
36.99/37.03	v 7828
36.99/37.03	v 7829
36.99/37.03	v 7830
36.99/37.03	v 7831
36.99/37.03	v 7852
36.99/37.03	v 7853
36.99/37.03	v 7854
36.99/37.03	v 7855
36.99/37.03	v 7856
36.99/37.03	v 7857
36.99/37.03	v 7858
36.99/37.03	v 7859
36.99/37.03	v 7860
36.99/37.03	v 7861
36.99/37.03	v 7862
36.99/37.03	v 7863
36.99/37.03	v 7864
36.99/37.03	v 7886
36.99/37.03	v 7887
36.99/37.03	v 7889
36.99/37.03	v 7894
36.99/37.03	v 7895
36.99/37.03	v 7896
36.99/37.03	v 7897
36.99/37.03	v 7898
36.99/37.03	v 7899
36.99/37.03	v 7900
36.99/37.03	v 7901
36.99/37.03	v 7902
36.99/37.03	v 7903
36.99/37.03	v 7924
36.99/37.03	v 7925
36.99/37.03	v 7927
36.99/37.03	v 7928
36.99/37.03	v 7929
36.99/37.03	v 7930
36.99/37.03	v 7931
36.99/37.03	v 7932
36.99/37.03	v 7933
36.99/37.03	v 7934
36.99/37.03	v 7935
36.99/37.03	v 7936
36.99/37.03	v 7957
36.99/37.03	v 7958
36.99/37.03	v 7959
36.99/37.03	v 7960
36.99/37.03	v 7961
36.99/37.03	v 7962
36.99/37.03	v 7963
36.99/37.03	v 7964
36.99/37.03	v 7966
36.99/37.03	v 7990
36.99/37.03	v 7991
36.99/37.03	v 7992
36.99/37.03	v 7993
36.99/37.03	v 7994
36.99/37.03	v 7995
36.99/37.03	v 7996
36.99/37.03	v 7997
36.99/37.03	v 7998
36.99/37.03	v 7999
36.99/37.03	v 8000
36.99/37.03	v 8001
36.99/37.03	v 8002
36.99/37.03	v 8003
36.99/37.03	v 8024
36.99/37.03	v 8025
36.99/37.03	v 8026
36.99/37.03	v 8027
36.99/37.03	v 8028
36.99/37.03	v 8029
36.99/37.03	v 8030
36.99/37.03	v 8031
36.99/37.03	v 8032
36.99/37.03	v 8033
36.99/37.03	v 8034
36.99/37.03	v 8035
36.99/37.03	v 8036
36.99/37.03	v 8058
36.99/37.03	v 8059
36.99/37.03	v 8061
36.99/37.03	v 8068
36.99/37.03	v 8069
36.99/37.03	v 8070
36.99/37.03	v 8071
36.99/37.03	v 8072
36.99/37.03	v 8073
36.99/37.03	v 8074
36.99/37.03	v 8075
36.99/37.03	v 8096
36.99/37.03	v 8097
36.99/37.03	v 8099
36.99/37.03	v 8101
36.99/37.03	v 8102
36.99/37.03	v 8103
36.99/37.03	v 8104
36.99/37.03	v 8105
36.99/37.03	v 8106
36.99/37.03	v 8107
36.99/37.03	v 8108
36.99/37.03	v 8129
36.99/37.03	v 8130
36.99/37.03	v 8131
36.99/37.03	v 8132
36.99/37.03	v 8133
36.99/37.03	v 8134
36.99/37.03	v 8136
36.99/37.03	v 8162
36.99/37.03	v 8163
36.99/37.03	v 8164
36.99/37.03	v 8165
36.99/37.03	v 8166
36.99/37.03	v 8167
36.99/37.03	v 8168
36.99/37.03	v 8169
36.99/37.03	v 8170
36.99/37.03	v 8171
36.99/37.03	v 8172
36.99/37.03	v 8173
36.99/37.03	v 8174
36.99/37.03	v 8175
36.99/37.03	v 8196
36.99/37.03	v 8197
36.99/37.03	v 8198
36.99/37.03	v 8199
36.99/37.03	v 8200
36.99/37.03	v 8201
36.99/37.03	v 8202
36.99/37.03	v 8203
36.99/37.03	v 8204
36.99/37.03	v 8205
36.99/37.03	v 8206
36.99/37.03	v 8207
36.99/37.03	v 8208
36.99/37.03	v 8230
36.99/37.03	v 8231
36.99/37.03	v 8233
36.99/37.03	v 8242
36.99/37.03	v 8243
36.99/37.03	v 8244
36.99/37.03	v 8245
36.99/37.03	v 8246
36.99/37.03	v 8247
36.99/37.03	v 8268
36.99/37.03	v 8269
36.99/37.03	v 8271
36.99/37.03	v 8273
36.99/37.03	v 8275
36.99/37.03	v 8276
36.99/37.03	v 8277
36.99/37.03	v 8278
36.99/37.03	v 8279
36.99/37.03	v 8280
36.99/37.03	v 8301
36.99/37.03	v 8302
36.99/37.03	v 8303
36.99/37.03	v 8304
36.99/37.03	v 8306
36.99/37.03	v 8334
36.99/37.03	v 8335
36.99/37.03	v 8336
36.99/37.03	v 8337
36.99/37.03	v 8338
36.99/37.03	v 8339
36.99/37.03	v 8340
36.99/37.03	v 8341
36.99/37.03	v 8342
36.99/37.03	v 8343
36.99/37.03	v 8344
36.99/37.03	v 8345
36.99/37.03	v 8346
36.99/37.03	v 8347
36.99/37.03	v 8368
36.99/37.03	v 8369
36.99/37.03	v 8370
36.99/37.03	v 8371
36.99/37.03	v 8372
36.99/37.03	v 8373
36.99/37.03	v 8374
36.99/37.03	v 8375
36.99/37.03	v 8376
36.99/37.03	v 8377
36.99/37.03	v 8378
36.99/37.03	v 8379
36.99/37.03	v 8380
36.99/37.03	v 8402
36.99/37.03	v 8403
36.99/37.03	v 8405
36.99/37.03	v 8416
36.99/37.03	v 8417
36.99/37.03	v 8418
36.99/37.03	v 8419
36.99/37.03	v 8440
36.99/37.03	v 8441
36.99/37.03	v 8443
36.99/37.03	v 8445
36.99/37.03	v 8447
36.99/37.03	v 8449
36.99/37.03	v 8450
36.99/37.03	v 8451
36.99/37.03	v 8452
36.99/37.03	v 8473
36.99/37.03	v 8474
36.99/37.03	v 8476
36.99/37.03	v 8506
36.99/37.03	v 8507
36.99/37.03	v 8508
36.99/37.03	v 8509
36.99/37.03	v 8510
36.99/37.03	v 8511
36.99/37.03	v 8512
36.99/37.03	v 8513
36.99/37.03	v 8514
36.99/37.03	v 8515
36.99/37.03	v 8516
36.99/37.03	v 8517
36.99/37.03	v 8518
36.99/37.03	v 8519
36.99/37.03	v 8540
36.99/37.03	v 8541
36.99/37.03	v 8542
36.99/37.03	v 8543
36.99/37.03	v 8544
36.99/37.03	v 8545
36.99/37.03	v 8546
36.99/37.03	v 8547
36.99/37.03	v 8548
36.99/37.03	v 8549
36.99/37.03	v 8550
36.99/37.03	v 8551
36.99/37.03	v 8552
36.99/37.03	v 8574
36.99/37.03	v 8577
36.99/37.03	v 8590
36.99/37.03	v 8591
36.99/37.03	v 8646
36.99/37.03	v 8678
36.99/37.03	v 8679
36.99/37.03	v 8680
36.99/37.03	v 8681
36.99/37.03	v 8682
36.99/37.03	v 8683
36.99/37.03	v 8684
36.99/37.03	v 8685
36.99/37.03	v 8686
36.99/37.03	v 8687
36.99/37.03	v 8688
36.99/37.03	v 8689
36.99/37.03	v 8690
36.99/37.03	v 8691
36.99/37.03	v 8712
36.99/37.03	v 8713
36.99/37.03	v 8714
36.99/37.03	v 8715
36.99/37.03	v 8716
36.99/37.03	v 8717
36.99/37.03	v 8718
36.99/37.03	v 8719
36.99/37.03	v 8720
36.99/37.03	v 8721
36.99/37.03	v 8722
36.99/37.03	v 8723
36.99/37.03	v 8724
36.99/37.03	v 8746
36.99/37.03	v 8749
36.99/37.03	v 8762
36.99/37.03	v 8763
36.99/37.03	v 8850
36.99/37.03	v 8851
36.99/37.03	v 8852
36.99/37.03	v 8853
36.99/37.03	v 0
36.99/37.03	c [picomus] computed 2187 irredundant clauses 25%
36.99/37.03	c [picomus] 24 reductions in 37.0 seconds

Verifier Data 

OK	2187

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

running on 2 cores: 5,7

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.75 1.71 0.65 4/771 16313
/proc/meminfo: memFree=9175456/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=1604 CPUtime=0.01 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 338 0 0 0 1 0 0 0 25 0 1 0 872123640 1642496 292 33554432000 134512640 135072097 4293335776 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 401 292 68 137 0 262 0

[startup+0.032901 s]
/proc/loadavg: 3.75 1.71 0.65 4/771 16313
/proc/meminfo: memFree=9175456/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=1736 CPUtime=0.03 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 352 0 0 0 3 0 0 0 25 0 1 0 872123640 1777664 307 33554432000 134512640 135072097 4293335776 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 434 307 68 137 0 295 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1736

[startup+0.100894 s]
/proc/loadavg: 3.75 1.71 0.65 4/771 16313
/proc/meminfo: memFree=9175456/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=2000 CPUtime=0.09 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 421 0 0 0 9 0 0 0 25 0 1 0 872123640 2048000 375 33554432000 134512640 135072097 4293335776 18446744073709551615 134543770 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 500 375 68 137 0 361 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2000

[startup+0.30086 s]
/proc/loadavg: 3.75 1.71 0.65 4/771 16313
/proc/meminfo: memFree=9175456/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=2796 CPUtime=0.29 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 620 0 0 0 29 0 0 0 25 0 1 0 872123640 2863104 574 33554432000 134512640 135072097 4293335776 18446744073709551615 134539151 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 699 574 68 137 0 560 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2796

[startup+0.700786 s]
/proc/loadavg: 3.75 1.71 0.65 4/771 16313
/proc/meminfo: memFree=9175456/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=1776 CPUtime=0.69 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 1099 0 0 0 69 0 0 0 25 0 1 0 872123640 1818624 340 33554432000 134512640 135072097 4293335776 18446744073709551615 134558341 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 444 340 76 137 0 305 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1776

[startup+1.50064 s]
/proc/loadavg: 3.75 1.71 0.65 5/772 16314
/proc/meminfo: memFree=9172740/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=1468 CPUtime=1.49 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 2111 0 0 0 149 0 0 0 25 0 1 0 872123640 1503232 264 33554432000 134512640 135072097 4293335776 18446744073709551615 134543824 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 367 264 76 137 0 228 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1468

[startup+3.10036 s]
/proc/loadavg: 3.75 1.71 0.65 5/772 16314
/proc/meminfo: memFree=9171768/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=6780 CPUtime=3.09 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 4802 0 0 0 309 0 0 0 25 0 1 0 872123640 6942720 1584 33554432000 134512640 135072097 4293335776 18446744073709551615 134517946 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 1695 1584 76 137 0 1556 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6780

[startup+6.30079 s]
/proc/loadavg: 3.77 1.75 0.67 5/772 16314
/proc/meminfo: memFree=9160484/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=11816 CPUtime=6.3 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 6081 0 0 0 629 1 0 0 25 0 1 0 872123640 12099584 2861 33554432000 134512640 135072097 4293335776 18446744073709551615 134556584 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 2954 2861 77 137 0 2815 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 11816

[startup+12.7006 s]
/proc/loadavg: 3.79 1.78 0.68 5/772 16314
/proc/meminfo: memFree=9157104/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=15720 CPUtime=12.69 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 7134 0 0 0 1268 1 0 0 25 0 1 0 872123640 16097280 3824 33554432000 134512640 135072097 4293335776 18446744073709551615 134543939 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 3930 3824 77 137 0 3791 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15720

[startup+25.5004 s]
/proc/loadavg: 3.84 1.89 0.74 5/772 16315
/proc/meminfo: memFree=9155992/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=15580 CPUtime=25.49 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 7136 0 0 0 2548 1 0 0 25 0 1 0 872123640 15953920 3804 33554432000 134512640 135072097 4293335776 18446744073709551615 134556265 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 3895 3804 77 137 0 3756 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15580

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

[startup+31.9182 s]
/proc/loadavg: 3.85 1.93 0.75 5/772 16315
/proc/meminfo: memFree=9156824/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=15580 CPUtime=31.91 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 7136 0 0 0 3190 1 0 0 25 0 1 0 872123640 15953920 3804 33554432000 134512640 135072097 4293335776 18446744073709551615 134558965 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 3895 3804 77 137 0 3756 0
Current children cumulated CPU time (s) 31.91
Current children cumulated vsize (KiB) 15580

[startup+35.1007 s]
/proc/loadavg: 3.86 1.96 0.77 5/772 16315
/proc/meminfo: memFree=9157316/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=15580 CPUtime=35.11 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 7136 0 0 0 3510 1 0 0 25 0 1 0 872123640 15953920 3804 33554432000 134512640 135072097 4293335776 18446744073709551615 134543834 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 3895 3804 77 137 0 3756 0
Current children cumulated CPU time (s) 35.11
Current children cumulated vsize (KiB) 15580

[startup+35.9005 s]
/proc/loadavg: 3.86 1.96 0.77 5/772 16315
/proc/meminfo: memFree=9157316/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=15580 CPUtime=35.89 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 7136 0 0 0 3588 1 0 0 25 0 1 0 872123640 15953920 3804 33554432000 134512640 135072097 4293335776 18446744073709551615 134543684 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 3895 3804 77 137 0 3756 0
Current children cumulated CPU time (s) 35.89
Current children cumulated vsize (KiB) 15580

[startup+36.7004 s]
/proc/loadavg: 3.86 1.96 0.77 5/772 16315
/proc/meminfo: memFree=9157812/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=15580 CPUtime=36.69 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 7136 0 0 0 3668 1 0 0 25 0 1 0 872123640 15953920 3804 33554432000 134512640 135072097 4293335776 18446744073709551615 134556300 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 3895 3804 77 137 0 3756 0
Current children cumulated CPU time (s) 36.69
Current children cumulated vsize (KiB) 15580

[startup+36.9003 s]
/proc/loadavg: 3.86 1.96 0.77 5/772 16315
/proc/meminfo: memFree=9157812/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=15580 CPUtime=36.89 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 7136 0 0 0 3688 1 0 0 25 0 1 0 872123640 15953920 3804 33554432000 134512640 135072097 4293335776 18446744073709551615 134543854 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 3895 3804 77 137 0 3756 0
Current children cumulated CPU time (s) 36.89
Current children cumulated vsize (KiB) 15580

[startup+37.0003 s]
/proc/loadavg: 3.86 1.96 0.77 5/772 16315
/proc/meminfo: memFree=9157812/32950904 swapFree=56615552/67111528
[pid=16313] ppid=16311 vsize=15580 CPUtime=36.99 cores=5,7
/proc/16313/stat : 16313 (picomus) R 16311 16313 15810 0 -1 4202496 7136 0 0 0 3698 1 0 0 25 0 1 0 872123640 15953920 3804 33554432000 134512640 135072097 4293335776 18446744073709551615 134548968 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16313/statm: 3895 3804 77 137 0 3756 0
Current children cumulated CPU time (s) 36.99
Current children cumulated vsize (KiB) 15580

Child status: 20
Real time (s): 37.0294
CPU time (s): 37.0264
CPU user time (s): 37.0114
CPU system time (s): 0.014997
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 15720

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

runsolver used 0.184971 second user time and 0.411937 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-09 09:40:39
IDJOB=3483669
IDBENCH=89592
IDSOLVER=1974
FILE ID=node121/3483669-1307605239
RUNJOBID= node121-1307605082-16243
PBS_JOBID= 13547768
Free space on /tmp= 73372 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/mus/marques-silva/bmc-default/longmult6.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483669-1307605239/watcher-3483669-1307605239 -o /tmp/evaluation-result-3483669-1307605239/solver-3483669-1307605239 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3483669-1307605239.cnf

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

MD5SUM BENCH= bf30cb2a7e6ed20793696ed7dc1e07cb
RANDOM SEED=1370241574

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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:     32950904 kB
MemFree:       9175736 kB
Buffers:        215676 kB
Cached:        1087924 kB
SwapCached:       9940 kB
Active:       23165592 kB
Inactive:       294628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:       9175736 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:             776 kB
Writeback:          24 kB
AnonPages:    22154384 kB
Mapped:         131032 kB
Slab:           144528 kB
PageTables:      98164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 111531756 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= 73372 MiB
End job on node121 at 2011-06-09 09:41:16