Trace number 424034

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, and are wall clock time (not CPU 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
ranov 2007-02-08SAT 75.1336 75.3547

General information on the benchmark

Namerandom/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf
MD5SUM9b15d123fe04b0b8ae54fce3b90458d6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.990849
Satisfiable
(Un)Satisfiability was proved
Number of variables2405
Number of clauses7478
Sum of the clauses size20939
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21495
Number of clauses of size 35983
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.02/0.10	c +------------------------------+
0.02/0.10	c | R+AdaptNovelty+, version 1.5 |
0.02/0.10	c +------------------------------+
0.02/0.10	c ranov -h for help
0.02/0.10	c 
0.02/0.10	c Problem instance: numAtoms = 2405, numClauses = 7510, numLiterals = 21028
0.02/0.10	c General parameters: seed=325621198, cutoff=100000, targetCost = 0, print solution: yes
0.02/0.10	c R+AdaptNovelty+ parameters: noise = 0, walkprob = 1
0.02/0.10	c tries = 1
0.02/0.10	c 
75.07/75.14	s SATISFIABLE
75.07/75.14	v -1
75.07/75.14	v -2
75.07/75.14	v -3
75.07/75.14	v -4
75.07/75.14	v -5
75.07/75.14	v 6
75.07/75.14	v -7
75.07/75.14	v -8
75.07/75.14	v 9
75.07/75.14	v 10
75.07/75.14	v 11
75.07/75.14	v 12
75.07/75.14	v -13
75.07/75.14	v 14
75.07/75.14	v 15
75.07/75.14	v 16
75.07/75.14	v -17
75.07/75.14	v 18
75.07/75.14	v 19
75.07/75.14	v -20
75.07/75.14	v -21
75.07/75.14	v 22
75.07/75.14	v 23
75.07/75.14	v -24
75.07/75.14	v 25
75.07/75.14	v 26
75.07/75.14	v -27
75.07/75.14	v 28
75.07/75.14	v -29
75.07/75.14	v 30
75.07/75.14	v 31
75.07/75.14	v 32
75.07/75.14	v 33
75.07/75.14	v 34
75.07/75.14	v -35
75.07/75.14	v 36
75.07/75.14	v 37
75.07/75.14	v -38
75.07/75.14	v 39
75.07/75.14	v 40
75.07/75.14	v 41
75.07/75.14	v 42
75.07/75.14	v 43
75.07/75.14	v -44
75.07/75.14	v -45
75.07/75.14	v 46
75.07/75.14	v 47
75.07/75.14	v 48
75.07/75.14	v -49
75.07/75.14	v -50
75.07/75.14	v 51
75.07/75.14	v 52
75.07/75.14	v 53
75.07/75.14	v 54
75.07/75.14	v -55
75.07/75.14	v -56
75.07/75.14	v 57
75.07/75.14	v -58
75.07/75.14	v 59
75.07/75.14	v 60
75.07/75.14	v -61
75.07/75.14	v -62
75.07/75.14	v 63
75.07/75.14	v 64
75.07/75.14	v 65
75.07/75.14	v 66
75.07/75.14	v -67
75.07/75.14	v 68
75.07/75.14	v 69
75.07/75.14	v 70
75.07/75.14	v 71
75.07/75.14	v -72
75.07/75.14	v -73
75.07/75.14	v 74
75.07/75.14	v 75
75.07/75.14	v -76
75.07/75.14	v -77
75.07/75.14	v 78
75.07/75.14	v 79
75.07/75.14	v -80
75.07/75.14	v 81
75.07/75.14	v 82
75.07/75.14	v -83
75.07/75.14	v 84
75.07/75.14	v -85
75.07/75.14	v -86
75.07/75.14	v 87
75.07/75.14	v 88
75.07/75.14	v -89
75.07/75.14	v 90
75.07/75.14	v 91
75.07/75.14	v -92
75.07/75.14	v -93
75.07/75.14	v -94
75.07/75.14	v -95
75.07/75.14	v 96
75.07/75.14	v -97
75.07/75.14	v 98
75.07/75.14	v -99
75.07/75.14	v 100
75.07/75.14	v -101
75.07/75.14	v -102
75.07/75.14	v -103
75.07/75.14	v -104
75.07/75.14	v 105
75.07/75.14	v 106
75.07/75.14	v -107
75.07/75.14	v -108
75.07/75.14	v 109
75.07/75.14	v 110
75.07/75.14	v 111
75.07/75.14	v -112
75.07/75.14	v -113
75.07/75.14	v -114
75.07/75.14	v -115
75.07/75.14	v 116
75.07/75.14	v -117
75.07/75.14	v 118
75.07/75.14	v 119
75.07/75.14	v -120
75.07/75.14	v 121
75.07/75.14	v 122
75.07/75.14	v -123
75.07/75.14	v 124
75.07/75.14	v 125
75.07/75.14	v 126
75.07/75.14	v -127
75.07/75.14	v 128
75.07/75.14	v -129
75.07/75.14	v 130
75.07/75.14	v -131
75.07/75.14	v -132
75.07/75.14	v -133
75.07/75.14	v 134
75.07/75.14	v -135
75.07/75.14	v -136
75.07/75.14	v 137
75.07/75.14	v 138
75.07/75.14	v -139
75.07/75.14	v 140
75.07/75.14	v -141
75.07/75.14	v 142
75.07/75.14	v 143
75.07/75.14	v 144
75.07/75.14	v -145
75.07/75.14	v 146
75.07/75.14	v -147
75.07/75.14	v -148
75.07/75.14	v 149
75.07/75.14	v 150
75.07/75.14	v 151
75.07/75.14	v 152
75.07/75.14	v -153
75.07/75.14	v -154
75.07/75.14	v -155
75.07/75.14	v -156
75.07/75.14	v -157
75.07/75.14	v -158
75.07/75.14	v -159
75.07/75.14	v -160
75.07/75.14	v -161
75.07/75.14	v 162
75.07/75.14	v -163
75.07/75.14	v 164
75.07/75.14	v -165
75.07/75.14	v 166
75.07/75.14	v -167
75.07/75.14	v 168
75.07/75.14	v -169
75.07/75.14	v -170
75.07/75.14	v -171
75.07/75.14	v 172
75.07/75.14	v -173
75.07/75.14	v -174
75.07/75.14	v 175
75.07/75.14	v 176
75.07/75.14	v 177
75.07/75.14	v -178
75.07/75.14	v 179
75.07/75.14	v 180
75.07/75.14	v 181
75.07/75.14	v -182
75.07/75.14	v 183
75.07/75.14	v 184
75.07/75.14	v -185
75.07/75.14	v -186
75.07/75.14	v -187
75.07/75.14	v -188
75.07/75.14	v -189
75.07/75.14	v -190
75.07/75.14	v -191
75.07/75.14	v 192
75.07/75.14	v 193
75.07/75.14	v -194
75.07/75.14	v -195
75.07/75.14	v -196
75.07/75.14	v 197
75.07/75.14	v -198
75.07/75.14	v 199
75.07/75.14	v 200
75.07/75.14	v 201
75.07/75.14	v -202
75.07/75.14	v -203
75.07/75.14	v 204
75.07/75.14	v 205
75.07/75.14	v -206
75.07/75.14	v -207
75.07/75.14	v 208
75.07/75.14	v 209
75.07/75.14	v 210
75.07/75.14	v -211
75.07/75.14	v -212
75.07/75.14	v 213
75.07/75.14	v 214
75.07/75.14	v -215
75.07/75.14	v -216
75.07/75.14	v -217
75.07/75.14	v 218
75.07/75.14	v -219
75.07/75.14	v 220
75.07/75.14	v -221
75.07/75.14	v 222
75.07/75.14	v -223
75.07/75.14	v 224
75.07/75.14	v 225
75.07/75.14	v 226
75.07/75.14	v 227
75.07/75.14	v -228
75.07/75.14	v 229
75.07/75.14	v 230
75.07/75.14	v 231
75.07/75.14	v 232
75.07/75.14	v -233
75.07/75.14	v 234
75.07/75.14	v 235
75.07/75.14	v -236
75.07/75.14	v -237
75.07/75.14	v 238
75.07/75.14	v -239
75.07/75.14	v -240
75.07/75.14	v -241
75.07/75.14	v -242
75.07/75.14	v 243
75.07/75.14	v -244
75.07/75.14	v -245
75.07/75.14	v -246
75.07/75.14	v 247
75.07/75.14	v -248
75.07/75.14	v 249
75.07/75.14	v 250
75.07/75.14	v -251
75.07/75.14	v -252
75.07/75.14	v 253
75.07/75.14	v -254
75.07/75.14	v 255
75.07/75.14	v -256
75.07/75.14	v 257
75.07/75.14	v 258
75.07/75.14	v -259
75.07/75.14	v 260
75.07/75.14	v 261
75.07/75.14	v 262
75.07/75.14	v -263
75.07/75.14	v -264
75.07/75.14	v -265
75.07/75.14	v -266
75.07/75.14	v -267
75.07/75.14	v 268
75.07/75.14	v -269
75.07/75.14	v -270
75.07/75.14	v 271
75.07/75.14	v 272
75.07/75.14	v -273
75.07/75.14	v -274
75.07/75.14	v 275
75.07/75.14	v 276
75.07/75.14	v -277
75.07/75.14	v -278
75.07/75.14	v -279
75.07/75.14	v -280
75.07/75.14	v 281
75.07/75.14	v -282
75.07/75.14	v 283
75.07/75.14	v 284
75.07/75.14	v 285
75.07/75.14	v 286
75.07/75.14	v -287
75.07/75.14	v -288
75.07/75.14	v -289
75.07/75.14	v 290
75.07/75.14	v 291
75.07/75.14	v -292
75.07/75.14	v -293
75.07/75.14	v 294
75.07/75.14	v 295
75.07/75.14	v -296
75.07/75.14	v -297
75.07/75.14	v -298
75.07/75.14	v -299
75.07/75.14	v 300
75.07/75.14	v 301
75.07/75.14	v 302
75.07/75.14	v -303
75.07/75.14	v -304
75.07/75.14	v 305
75.07/75.14	v -306
75.07/75.14	v -307
75.07/75.14	v -308
75.07/75.14	v 309
75.07/75.14	v -310
75.07/75.14	v 311
75.07/75.14	v 312
75.07/75.14	v -313
75.07/75.14	v 314
75.07/75.14	v -315
75.07/75.14	v 316
75.07/75.14	v -317
75.07/75.14	v 318
75.07/75.14	v -319
75.07/75.14	v 320
75.07/75.14	v 321
75.07/75.14	v 322
75.07/75.14	v 323
75.07/75.14	v 324
75.07/75.14	v 325
75.07/75.14	v -326
75.07/75.14	v 327
75.07/75.14	v -328
75.07/75.14	v 329
75.07/75.14	v 330
75.07/75.14	v -331
75.07/75.14	v -332
75.07/75.14	v -333
75.07/75.14	v 334
75.07/75.14	v -335
75.07/75.14	v 336
75.07/75.14	v -337
75.07/75.14	v -338
75.07/75.14	v 339
75.07/75.14	v 340
75.07/75.14	v -341
75.07/75.14	v 342
75.07/75.14	v 343
75.07/75.14	v -344
75.07/75.14	v 345
75.07/75.14	v 346
75.07/75.14	v 347
75.07/75.14	v -348
75.07/75.14	v 349
75.07/75.14	v 350
75.07/75.14	v -351
75.07/75.14	v 352
75.07/75.14	v -353
75.07/75.14	v -354
75.07/75.14	v 355
75.07/75.14	v 356
75.07/75.14	v -357
75.07/75.14	v -358
75.07/75.14	v 359
75.07/75.14	v 360
75.07/75.14	v 361
75.07/75.14	v -362
75.07/75.14	v -363
75.07/75.14	v 364
75.07/75.14	v -365
75.07/75.14	v 366
75.07/75.14	v -367
75.07/75.14	v 368
75.07/75.14	v 369
75.07/75.14	v 370
75.07/75.14	v 371
75.07/75.14	v -372
75.07/75.14	v 373
75.07/75.14	v 374
75.07/75.14	v 375
75.07/75.14	v 376
75.07/75.14	v -377
75.07/75.14	v 378
75.07/75.14	v 379
75.07/75.14	v 380
75.07/75.14	v 381
75.07/75.14	v 382
75.07/75.14	v 383
75.07/75.14	v 384
75.07/75.14	v -385
75.07/75.14	v -386
75.07/75.14	v -387
75.07/75.14	v -388
75.07/75.14	v 389
75.07/75.14	v -390
75.07/75.14	v 391
75.07/75.14	v -392
75.07/75.14	v -393
75.07/75.14	v -394
75.07/75.14	v 395
75.07/75.14	v 396
75.07/75.14	v -397
75.07/75.14	v -398
75.07/75.14	v -399
75.07/75.14	v -400
75.07/75.14	v 401
75.07/75.14	v -402
75.07/75.14	v -403
75.07/75.14	v -404
75.07/75.14	v 405
75.07/75.14	v 406
75.07/75.14	v 407
75.07/75.14	v 408
75.07/75.14	v -409
75.07/75.14	v 410
75.07/75.14	v -411
75.07/75.14	v -412
75.07/75.14	v -413
75.07/75.14	v -414
75.07/75.14	v -415
75.07/75.14	v 416
75.07/75.14	v -417
75.07/75.14	v -418
75.07/75.14	v 419
75.07/75.14	v -420
75.07/75.14	v -421
75.07/75.14	v -422
75.07/75.14	v -423
75.07/75.14	v 424
75.07/75.14	v 425
75.07/75.14	v 426
75.07/75.14	v 427
75.07/75.14	v -428
75.07/75.14	v -429
75.07/75.14	v 430
75.07/75.14	v -431
75.07/75.14	v -432
75.07/75.14	v 433
75.07/75.14	v 434
75.07/75.14	v 435
75.07/75.14	v 436
75.07/75.14	v 437
75.07/75.14	v 438
75.07/75.14	v 439
75.07/75.14	v -440
75.07/75.14	v 441
75.07/75.14	v 442
75.07/75.14	v -443
75.07/75.14	v -444
75.07/75.14	v 445
75.07/75.14	v -446
75.07/75.14	v 447
75.07/75.14	v 448
75.07/75.14	v 449
75.07/75.14	v 450
75.07/75.14	v 451
75.07/75.14	v -452
75.07/75.14	v -453
75.07/75.14	v 454
75.07/75.14	v 455
75.07/75.14	v -456
75.07/75.14	v 457
75.07/75.14	v 458
75.07/75.14	v 459
75.07/75.14	v -460
75.07/75.14	v -461
75.07/75.14	v 462
75.07/75.14	v -463
75.07/75.14	v -464
75.07/75.14	v 465
75.07/75.14	v 466
75.07/75.14	v 467
75.07/75.14	v 468
75.07/75.14	v 469
75.07/75.14	v 470
75.07/75.14	v 471
75.07/75.14	v 472
75.07/75.14	v -473
75.07/75.14	v 474
75.07/75.14	v -475
75.07/75.14	v -476
75.07/75.14	v 477
75.07/75.14	v -478
75.07/75.14	v 479
75.07/75.14	v 480
75.07/75.14	v 481
75.07/75.14	v 482
75.07/75.14	v -483
75.07/75.14	v -484
75.07/75.14	v 485
75.07/75.14	v 486
75.07/75.14	v -487
75.07/75.14	v 488
75.07/75.14	v 489
75.07/75.14	v -490
75.07/75.14	v 491
75.07/75.14	v -492
75.07/75.14	v -493
75.07/75.14	v 494
75.07/75.14	v 495
75.07/75.14	v 496
75.07/75.14	v -497
75.07/75.14	v 498
75.07/75.14	v -499
75.07/75.14	v 500
75.07/75.14	v -501
75.07/75.14	v 502
75.07/75.14	v -503
75.07/75.14	v 504
75.07/75.14	v -505
75.07/75.14	v 506
75.07/75.14	v 507
75.07/75.14	v -508
75.07/75.14	v -509
75.07/75.14	v 510
75.07/75.14	v -511
75.07/75.14	v 512
75.07/75.14	v 513
75.07/75.14	v 514
75.07/75.14	v -515
75.07/75.14	v 516
75.07/75.14	v 517
75.07/75.14	v 518
75.07/75.14	v -519
75.07/75.14	v -520
75.07/75.14	v -521
75.07/75.14	v -522
75.07/75.14	v 523
75.07/75.14	v 524
75.07/75.14	v 525
75.07/75.14	v 526
75.07/75.14	v -527
75.07/75.14	v 528
75.07/75.14	v -529
75.07/75.14	v -530
75.07/75.14	v 531
75.07/75.14	v -532
75.07/75.14	v -533
75.07/75.14	v -534
75.07/75.14	v -535
75.07/75.14	v -536
75.07/75.14	v 537
75.07/75.14	v 538
75.07/75.14	v -539
75.07/75.14	v -540
75.07/75.14	v 541
75.07/75.14	v -542
75.07/75.14	v 543
75.07/75.14	v 544
75.07/75.14	v 545
75.07/75.14	v 546
75.07/75.14	v -547
75.07/75.14	v -548
75.07/75.14	v -549
75.07/75.14	v 550
75.07/75.14	v -551
75.07/75.14	v -552
75.07/75.14	v 553
75.07/75.14	v -554
75.07/75.14	v -555
75.07/75.14	v -556
75.07/75.14	v -557
75.07/75.14	v -558
75.07/75.14	v -559
75.07/75.14	v 560
75.07/75.14	v -561
75.07/75.14	v 562
75.07/75.14	v 563
75.07/75.14	v -564
75.07/75.14	v 565
75.07/75.14	v 566
75.07/75.14	v 567
75.07/75.14	v -568
75.07/75.14	v -569
75.07/75.14	v 570
75.07/75.14	v -571
75.07/75.14	v 572
75.07/75.14	v 573
75.07/75.14	v -574
75.07/75.14	v 575
75.07/75.14	v -576
75.07/75.14	v -577
75.07/75.14	v 578
75.07/75.14	v 579
75.07/75.14	v 580
75.07/75.14	v 581
75.07/75.14	v -582
75.07/75.14	v 583
75.07/75.14	v -584
75.07/75.14	v -585
75.07/75.14	v 586
75.07/75.14	v 587
75.07/75.14	v -588
75.07/75.14	v 589
75.07/75.14	v 590
75.07/75.14	v 591
75.07/75.14	v -592
75.07/75.14	v 593
75.07/75.14	v 594
75.07/75.14	v -595
75.07/75.14	v -596
75.07/75.14	v -597
75.07/75.14	v -598
75.07/75.14	v 599
75.07/75.14	v 600
75.07/75.14	v -601
75.07/75.14	v 602
75.07/75.14	v 603
75.07/75.14	v 604
75.07/75.14	v -605
75.07/75.14	v 606
75.07/75.14	v -607
75.07/75.14	v -608
75.07/75.14	v 609
75.07/75.14	v 610
75.07/75.14	v -611
75.07/75.14	v -612
75.07/75.14	v -613
75.07/75.14	v -614
75.07/75.14	v 615
75.07/75.14	v -616
75.07/75.14	v -617
75.07/75.14	v -618
75.07/75.14	v -619
75.07/75.14	v 620
75.07/75.14	v 621
75.07/75.14	v -622
75.07/75.14	v 623
75.07/75.14	v -624
75.07/75.14	v 625
75.07/75.14	v 626
75.07/75.14	v 627
75.07/75.14	v 628
75.07/75.14	v -629
75.07/75.14	v 630
75.07/75.14	v -631
75.07/75.14	v 632
75.07/75.14	v 633
75.07/75.14	v -634
75.07/75.14	v -635
75.07/75.14	v -636
75.07/75.14	v -637
75.07/75.14	v 638
75.07/75.14	v 639
75.07/75.14	v -640
75.07/75.14	v -641
75.07/75.14	v 642
75.07/75.14	v -643
75.07/75.14	v -644
75.07/75.14	v 645
75.07/75.14	v -646
75.07/75.14	v -647
75.07/75.14	v 648
75.07/75.14	v 649
75.07/75.14	v 650
75.07/75.14	v 651
75.07/75.14	v -652
75.07/75.14	v 653
75.07/75.14	v 654
75.07/75.14	v -655
75.07/75.14	v -656
75.07/75.14	v 657
75.07/75.14	v -658
75.07/75.14	v 659
75.07/75.14	v 660
75.07/75.14	v -661
75.07/75.14	v 662
75.07/75.14	v 663
75.07/75.14	v 664
75.07/75.14	v 665
75.07/75.14	v -666
75.07/75.14	v 667
75.07/75.14	v -668
75.07/75.14	v 669
75.07/75.14	v -670
75.07/75.14	v 671
75.07/75.14	v -672
75.07/75.14	v -673
75.07/75.14	v 674
75.07/75.14	v 675
75.07/75.14	v -676
75.07/75.14	v 677
75.07/75.14	v -678
75.07/75.14	v -679
75.07/75.14	v -680
75.07/75.14	v -681
75.07/75.14	v -682
75.07/75.14	v -683
75.07/75.14	v 684
75.07/75.14	v 685
75.07/75.14	v -686
75.07/75.14	v -687
75.07/75.14	v 688
75.07/75.14	v 689
75.07/75.14	v 690
75.07/75.14	v 691
75.07/75.14	v 692
75.07/75.14	v -693
75.07/75.14	v -694
75.07/75.14	v 695
75.07/75.14	v 696
75.07/75.14	v -697
75.07/75.14	v 698
75.07/75.14	v -699
75.07/75.14	v -700
75.07/75.14	v -701
75.07/75.14	v 702
75.07/75.14	v 703
75.07/75.14	v -704
75.07/75.14	v 705
75.07/75.14	v -706
75.07/75.14	v 707
75.07/75.14	v -708
75.07/75.14	v -709
75.07/75.14	v -710
75.07/75.14	v -711
75.07/75.14	v 712
75.07/75.14	v -713
75.07/75.14	v -714
75.07/75.14	v 715
75.07/75.14	v 716
75.07/75.14	v 717
75.07/75.14	v 718
75.07/75.14	v -719
75.07/75.14	v -720
75.07/75.14	v 721
75.07/75.14	v 722
75.07/75.14	v 723
75.07/75.14	v -724
75.07/75.14	v -725
75.07/75.14	v -726
75.07/75.14	v 727
75.07/75.14	v -728
75.07/75.14	v 729
75.07/75.14	v -730
75.07/75.14	v -731
75.07/75.14	v 732
75.07/75.14	v -733
75.07/75.14	v -734
75.07/75.14	v 735
75.07/75.14	v -736
75.07/75.14	v 737
75.07/75.14	v 738
75.07/75.14	v -739
75.07/75.14	v 740
75.07/75.14	v 741
75.07/75.14	v 742
75.07/75.14	v 743
75.07/75.14	v -744
75.07/75.14	v -745
75.07/75.14	v 746
75.07/75.14	v -747
75.07/75.14	v 748
75.07/75.14	v -749
75.07/75.14	v -750
75.07/75.14	v -751
75.07/75.14	v -752
75.07/75.14	v -753
75.07/75.14	v -754
75.07/75.14	v 755
75.07/75.14	v -756
75.07/75.14	v 757
75.07/75.14	v 758
75.07/75.14	v -759
75.07/75.14	v -760
75.07/75.14	v -761
75.07/75.14	v -762
75.07/75.14	v 763
75.07/75.14	v -764
75.07/75.14	v 765
75.07/75.14	v -766
75.07/75.14	v 767
75.07/75.14	v 768
75.07/75.14	v 769
75.07/75.14	v 770
75.07/75.14	v 771
75.07/75.14	v -772
75.07/75.14	v 773
75.07/75.14	v 774
75.07/75.14	v -775
75.07/75.14	v 776
75.07/75.14	v 777
75.07/75.14	v -778
75.07/75.14	v -779
75.07/75.14	v 780
75.07/75.14	v -781
75.07/75.14	v 782
75.07/75.14	v 783
75.07/75.14	v 784
75.07/75.14	v -785
75.07/75.14	v 786
75.07/75.14	v -787
75.07/75.14	v -788
75.07/75.14	v 789
75.07/75.14	v 790
75.07/75.14	v -791
75.07/75.14	v 792
75.07/75.14	v 793
75.07/75.14	v 794
75.07/75.14	v 795
75.07/75.14	v 796
75.07/75.14	v 797
75.07/75.14	v -798
75.07/75.14	v 799
75.07/75.14	v -800
75.07/75.14	v 801
75.07/75.14	v -802
75.07/75.14	v 803
75.07/75.14	v -804
75.07/75.14	v -805
75.07/75.14	v -806
75.07/75.14	v -807
75.07/75.14	v -808
75.07/75.14	v 809
75.07/75.14	v -810
75.07/75.14	v -811
75.07/75.14	v -812
75.07/75.14	v -813
75.07/75.14	v -814
75.07/75.14	v -815
75.07/75.14	v 816
75.07/75.14	v -817
75.07/75.14	v 818
75.07/75.14	v 819
75.07/75.14	v 820
75.07/75.14	v -821
75.07/75.14	v 822
75.07/75.14	v 823
75.07/75.14	v 824
75.07/75.14	v -825
75.07/75.14	v -826
75.07/75.14	v -827
75.07/75.14	v -828
75.07/75.14	v -829
75.07/75.14	v 830
75.07/75.14	v 831
75.07/75.14	v 832
75.07/75.14	v 833
75.07/75.14	v -834
75.07/75.14	v -835
75.07/75.14	v -836
75.07/75.14	v 837
75.07/75.14	v 838
75.07/75.14	v -839
75.07/75.14	v 840
75.07/75.14	v 841
75.07/75.14	v 842
75.07/75.14	v 843
75.07/75.14	v 844
75.07/75.14	v 845
75.07/75.14	v 846
75.07/75.14	v -847
75.07/75.14	v -848
75.07/75.14	v 849
75.07/75.14	v -850
75.07/75.14	v 851
75.07/75.14	v 852
75.07/75.14	v 853
75.07/75.14	v -854
75.07/75.14	v -855
75.07/75.14	v 856
75.07/75.14	v 857
75.07/75.14	v -858
75.07/75.14	v -859
75.07/75.14	v 860
75.07/75.14	v 861
75.07/75.14	v -862
75.07/75.14	v 863
75.07/75.14	v 864
75.07/75.14	v 865
75.07/75.14	v 866
75.07/75.14	v -867
75.07/75.14	v 868
75.07/75.14	v -869
75.07/75.14	v -870
75.07/75.14	v -871
75.07/75.14	v -872
75.07/75.14	v 873
75.07/75.14	v 874
75.07/75.14	v 875
75.07/75.14	v 876
75.07/75.14	v -877
75.07/75.14	v -878
75.07/75.14	v -879
75.07/75.14	v 880
75.07/75.14	v 881
75.07/75.14	v -882
75.07/75.14	v -883
75.07/75.14	v 884
75.07/75.14	v -885
75.07/75.14	v 886
75.07/75.14	v -887
75.07/75.14	v -888
75.07/75.14	v -889
75.07/75.14	v 890
75.07/75.14	v -891
75.07/75.14	v 892
75.07/75.14	v -893
75.07/75.14	v 894
75.07/75.14	v 895
75.07/75.14	v 896
75.07/75.14	v -897
75.07/75.14	v -898
75.07/75.14	v -899
75.07/75.14	v 900
75.07/75.14	v -901
75.07/75.14	v -902
75.07/75.14	v -903
75.07/75.14	v -904
75.07/75.14	v -905
75.07/75.14	v -906
75.07/75.14	v -907
75.07/75.14	v -908
75.07/75.14	v -909
75.07/75.14	v -910
75.07/75.14	v -911
75.07/75.14	v 912
75.07/75.14	v 913
75.07/75.14	v 914
75.07/75.14	v -915
75.07/75.14	v -916
75.07/75.14	v -917
75.07/75.14	v 918
75.07/75.14	v -919
75.07/75.14	v 920
75.07/75.14	v 921
75.07/75.14	v 922
75.07/75.14	v -923
75.07/75.14	v 924
75.07/75.14	v 925
75.07/75.14	v 926
75.07/75.14	v 927
75.07/75.14	v -928
75.07/75.14	v 929
75.07/75.14	v 930
75.07/75.14	v 931
75.07/75.14	v -932
75.07/75.14	v -933
75.07/75.14	v -934
75.07/75.14	v 935
75.07/75.14	v -936
75.07/75.14	v -937
75.07/75.14	v -938
75.07/75.14	v 939
75.07/75.14	v 940
75.07/75.14	v -941
75.07/75.14	v 942
75.07/75.14	v -943
75.07/75.14	v -944
75.07/75.14	v 945
75.07/75.14	v 946
75.07/75.14	v -947
75.07/75.14	v -948
75.07/75.14	v 949
75.07/75.14	v -950
75.07/75.14	v 951
75.07/75.14	v 952
75.07/75.14	v -953
75.07/75.14	v -954
75.07/75.14	v 955
75.07/75.14	v -956
75.07/75.14	v 957
75.07/75.14	v 958
75.07/75.14	v -959
75.07/75.14	v 960
75.07/75.14	v -961
75.07/75.14	v 962
75.07/75.14	v 963
75.07/75.14	v 964
75.07/75.14	v 965
75.07/75.14	v 966
75.07/75.14	v -967
75.07/75.14	v 968
75.07/75.14	v 969
75.07/75.14	v -970
75.07/75.14	v 971
75.07/75.14	v 972
75.07/75.14	v 973
75.07/75.14	v 974
75.07/75.14	v -975
75.07/75.14	v 976
75.07/75.14	v -977
75.07/75.14	v 978
75.07/75.14	v 979
75.07/75.14	v -980
75.07/75.14	v 981
75.07/75.14	v 982
75.07/75.14	v -983
75.07/75.14	v -984
75.07/75.14	v -985
75.07/75.14	v -986
75.07/75.14	v 987
75.07/75.14	v 988
75.07/75.14	v 989
75.07/75.14	v -990
75.07/75.14	v 991
75.07/75.14	v 992
75.07/75.14	v -993
75.07/75.14	v -994
75.07/75.14	v 995
75.07/75.14	v -996
75.07/75.14	v -997
75.07/75.14	v 998
75.07/75.14	v 999
75.07/75.14	v 1000
75.07/75.14	v 1001
75.07/75.14	v 1002
75.07/75.14	v -1003
75.07/75.14	v -1004
75.07/75.14	v 1005
75.07/75.14	v -1006
75.07/75.14	v 1007
75.07/75.14	v -1008
75.07/75.14	v 1009
75.07/75.14	v -1010
75.07/75.14	v 1011
75.07/75.14	v -1012
75.07/75.14	v -1013
75.07/75.14	v -1014
75.07/75.14	v -1015
75.07/75.14	v 1016
75.07/75.14	v 1017
75.07/75.14	v -1018
75.07/75.14	v -1019
75.07/75.14	v 1020
75.07/75.14	v 1021
75.07/75.14	v -1022
75.07/75.14	v -1023
75.07/75.14	v 1024
75.07/75.14	v -1025
75.07/75.14	v -1026
75.07/75.14	v 1027
75.07/75.14	v 1028
75.07/75.14	v -1029
75.07/75.14	v -1030
75.07/75.14	v 1031
75.07/75.14	v -1032
75.07/75.14	v 1033
75.07/75.14	v 1034
75.07/75.14	v 1035
75.07/75.14	v 1036
75.07/75.14	v -1037
75.07/75.14	v -1038
75.07/75.14	v 1039
75.07/75.14	v 1040
75.07/75.14	v 1041
75.07/75.14	v 1042
75.07/75.14	v -1043
75.07/75.14	v 1044
75.07/75.14	v -1045
75.07/75.14	v 1046
75.07/75.14	v -1047
75.07/75.14	v 1048
75.07/75.14	v 1049
75.07/75.14	v 1050
75.07/75.14	v -1051
75.07/75.14	v -1052
75.07/75.14	v 1053
75.07/75.14	v 1054
75.07/75.14	v -1055
75.07/75.14	v -1056
75.07/75.14	v 1057
75.07/75.14	v 1058
75.07/75.14	v 1059
75.07/75.14	v 1060
75.07/75.14	v -1061
75.07/75.14	v 1062
75.07/75.14	v -1063
75.07/75.14	v -1064
75.07/75.14	v 1065
75.07/75.14	v -1066
75.07/75.14	v 1067
75.07/75.14	v 1068
75.07/75.14	v -1069
75.07/75.14	v 1070
75.07/75.14	v -1071
75.07/75.14	v 1072
75.07/75.14	v -1073
75.07/75.14	v 1074
75.07/75.14	v 1075
75.07/75.14	v 1076
75.07/75.14	v -1077
75.07/75.14	v -1078
75.07/75.14	v -1079
75.07/75.14	v 1080
75.07/75.14	v -1081
75.07/75.14	v -1082
75.07/75.14	v 1083
75.07/75.14	v 1084
75.07/75.14	v 1085
75.07/75.14	v -1086
75.07/75.14	v -1087
75.07/75.14	v 1088
75.07/75.14	v 1089
75.07/75.14	v 1090
75.07/75.14	v -1091
75.07/75.14	v 1092
75.07/75.14	v -1093
75.07/75.14	v 1094
75.07/75.14	v 1095
75.07/75.14	v -1096
75.07/75.14	v 1097
75.07/75.14	v 1098
75.07/75.14	v -1099
75.07/75.14	v -1100
75.07/75.14	v -1101
75.07/75.14	v -1102
75.07/75.14	v 1103
75.07/75.14	v -1104
75.07/75.14	v -1105
75.07/75.14	v -1106
75.07/75.14	v -1107
75.07/75.14	v 1108
75.07/75.14	v -1109
75.07/75.14	v -1110
75.07/75.14	v -1111
75.07/75.14	v -1112
75.07/75.14	v -1113
75.07/75.14	v 1114
75.07/75.14	v 1115
75.07/75.14	v -1116
75.07/75.14	v 1117
75.07/75.14	v -1118
75.07/75.14	v 1119
75.07/75.14	v 1120
75.07/75.14	v 1121
75.07/75.14	v 1122
75.07/75.14	v -1123
75.07/75.14	v -1124
75.07/75.14	v 1125
75.07/75.14	v 1126
75.07/75.14	v 1127
75.07/75.14	v 1128
75.07/75.14	v 1129
75.07/75.14	v -1130
75.07/75.14	v 1131
75.07/75.14	v -1132
75.07/75.14	v -1133
75.07/75.14	v 1134
75.07/75.14	v 1135
75.07/75.14	v -1136
75.07/75.14	v 1137
75.07/75.14	v -1138
75.07/75.14	v -1139
75.07/75.14	v -1140
75.07/75.14	v -1141
75.07/75.14	v -1142
75.07/75.14	v 1143
75.07/75.14	v 1144
75.07/75.14	v 1145
75.07/75.14	v 1146
75.07/75.14	v 1147
75.07/75.14	v -1148
75.07/75.14	v 1149
75.07/75.14	v -1150
75.07/75.14	v 1151
75.07/75.14	v -1152
75.07/75.14	v 1153
75.07/75.14	v -1154
75.07/75.14	v 1155
75.07/75.14	v -1156
75.07/75.14	v -1157
75.07/75.14	v -1158
75.07/75.14	v 1159
75.07/75.14	v 1160
75.07/75.14	v -1161
75.07/75.14	v 1162
75.07/75.14	v -1163
75.07/75.14	v -1164
75.07/75.14	v 1165
75.07/75.14	v 1166
75.07/75.14	v 1167
75.07/75.14	v 1168
75.07/75.14	v -1169
75.07/75.14	v -1170
75.07/75.14	v -1171
75.07/75.14	v 1172
75.07/75.14	v -1173
75.07/75.14	v 1174
75.07/75.14	v -1175
75.07/75.14	v -1176
75.07/75.14	v -1177
75.07/75.14	v -1178
75.07/75.14	v -1179
75.07/75.14	v 1180
75.07/75.14	v 1181
75.07/75.14	v 1182
75.07/75.14	v 1183
75.07/75.14	v -1184
75.07/75.14	v -1185
75.07/75.14	v 1186
75.07/75.14	v -1187
75.07/75.14	v 1188
75.07/75.14	v 1189
75.07/75.14	v 1190
75.07/75.14	v -1191
75.07/75.14	v 1192
75.07/75.14	v 1193
75.07/75.14	v -1194
75.07/75.14	v 1195
75.07/75.14	v 1196
75.07/75.14	v -1197
75.07/75.14	v 1198
75.07/75.14	v -1199
75.07/75.14	v -1200
75.07/75.14	v -1201
75.07/75.14	v 1202
75.07/75.14	v 1203
75.07/75.14	v -1204
75.07/75.14	v 1205
75.07/75.14	v 1206
75.07/75.14	v 1207
75.07/75.14	v -1208
75.07/75.14	v 1209
75.07/75.14	v -1210
75.07/75.14	v 1211
75.07/75.14	v 1212
75.07/75.14	v 1213
75.07/75.14	v -1214
75.07/75.14	v 1215
75.07/75.14	v -1216
75.07/75.14	v 1217
75.07/75.14	v 1218
75.07/75.14	v 1219
75.07/75.14	v -1220
75.07/75.14	v 1221
75.07/75.14	v -1222
75.07/75.14	v -1223
75.07/75.14	v 1224
75.07/75.14	v -1225
75.07/75.14	v 1226
75.07/75.14	v -1227
75.07/75.14	v 1228
75.07/75.14	v 1229
75.07/75.14	v 1230
75.07/75.14	v 1231
75.07/75.14	v -1232
75.07/75.14	v 1233
75.07/75.14	v -1234
75.07/75.14	v 1235
75.07/75.14	v -1236
75.07/75.14	v 1237
75.07/75.14	v 1238
75.07/75.14	v -1239
75.07/75.14	v -1240
75.07/75.14	v 1241
75.07/75.14	v 1242
75.07/75.14	v 1243
75.07/75.14	v -1244
75.07/75.14	v 1245
75.07/75.14	v -1246
75.07/75.14	v 1247
75.07/75.14	v -1248
75.07/75.14	v 1249
75.07/75.14	v 1250
75.07/75.14	v -1251
75.07/75.14	v -1252
75.07/75.14	v -1253
75.07/75.14	v -1254
75.07/75.14	v 1255
75.07/75.14	v 1256
75.07/75.14	v 1257
75.07/75.14	v 1258
75.07/75.14	v 1259
75.07/75.14	v 1260
75.07/75.14	v -1261
75.07/75.14	v -1262
75.07/75.14	v -1263
75.07/75.14	v -1264
75.07/75.14	v 1265
75.07/75.14	v -1266
75.07/75.14	v -1267
75.07/75.14	v -1268
75.07/75.14	v 1269
75.07/75.14	v -1270
75.07/75.14	v -1271
75.07/75.14	v 1272
75.07/75.14	v 1273
75.07/75.14	v 1274
75.07/75.14	v 1275
75.07/75.14	v 1276
75.07/75.14	v 1277
75.07/75.14	v 1278
75.07/75.14	v 1279
75.07/75.14	v -1280
75.07/75.14	v 1281
75.07/75.14	v 1282
75.07/75.14	v -1283
75.07/75.14	v -1284
75.07/75.14	v 1285
75.07/75.14	v -1286
75.07/75.14	v 1287
75.07/75.14	v -1288
75.07/75.14	v 1289
75.07/75.14	v -1290
75.07/75.14	v -1291
75.07/75.14	v 1292
75.07/75.14	v 1293
75.07/75.14	v -1294
75.07/75.14	v 1295
75.07/75.14	v 1296
75.07/75.14	v -1297
75.07/75.14	v 1298
75.07/75.14	v 1299
75.07/75.14	v -1300
75.07/75.14	v 1301
75.07/75.14	v 1302
75.07/75.14	v 1303
75.07/75.14	v -1304
75.07/75.14	v 1305
75.07/75.14	v 1306
75.07/75.14	v 1307
75.07/75.14	v -1308
75.07/75.14	v -1309
75.07/75.14	v -1310
75.07/75.14	v 1311
75.07/75.14	v -1312
75.07/75.14	v 1313
75.07/75.14	v 1314
75.07/75.14	v -1315
75.07/75.14	v 1316
75.07/75.14	v 1317
75.07/75.14	v -1318
75.07/75.14	v 1319
75.07/75.14	v 1320
75.07/75.14	v 1321
75.07/75.14	v 1322
75.07/75.14	v -1323
75.07/75.14	v -1324
75.07/75.14	v 1325
75.07/75.14	v -1326
75.07/75.14	v 1327
75.07/75.14	v -1328
75.07/75.14	v 1329
75.07/75.14	v 1330
75.07/75.14	v -1331
75.07/75.14	v 1332
75.07/75.14	v -1333
75.07/75.14	v -1334
75.07/75.14	v 1335
75.07/75.14	v -1336
75.07/75.14	v -1337
75.07/75.14	v -1338
75.07/75.14	v -1339
75.07/75.14	v -1340
75.07/75.14	v -1341
75.07/75.14	v 1342
75.07/75.14	v -1343
75.07/75.14	v -1344
75.07/75.14	v 1345
75.07/75.14	v 1346
75.07/75.14	v 1347
75.07/75.14	v 1348
75.07/75.14	v -1349
75.07/75.14	v 1350
75.07/75.14	v 1351
75.07/75.14	v 1352
75.07/75.14	v -1353
75.07/75.14	v 1354
75.07/75.14	v -1355
75.07/75.14	v 1356
75.07/75.14	v -1357
75.07/75.14	v -1358
75.07/75.14	v -1359
75.07/75.14	v -1360
75.07/75.14	v -1361
75.07/75.14	v -1362
75.07/75.14	v 1363
75.07/75.14	v -1364
75.07/75.14	v -1365
75.07/75.14	v -1366
75.07/75.14	v 1367
75.07/75.14	v 1368
75.07/75.14	v -1369
75.07/75.14	v 1370
75.07/75.14	v -1371
75.07/75.14	v -1372
75.07/75.14	v 1373
75.07/75.14	v 1374
75.07/75.14	v -1375
75.07/75.14	v -1376
75.07/75.14	v -1377
75.07/75.14	v 1378
75.07/75.14	v -1379
75.07/75.15	v 1380
75.07/75.15	v 1381
75.07/75.15	v -1382
75.07/75.15	v -1383
75.07/75.15	v -1384
75.07/75.15	v -1385
75.07/75.15	v -1386
75.07/75.15	v -1387
75.07/75.15	v -1388
75.07/75.15	v 1389
75.07/75.15	v -1390
75.07/75.15	v -1391
75.07/75.15	v -1392
75.07/75.15	v 1393
75.07/75.15	v 1394
75.07/75.15	v 1395
75.07/75.15	v 1396
75.07/75.15	v 1397
75.07/75.15	v 1398
75.07/75.15	v -1399
75.07/75.15	v 1400
75.07/75.15	v 1401
75.07/75.15	v -1402
75.07/75.15	v 1403
75.07/75.15	v 1404
75.07/75.15	v -1405
75.07/75.15	v 1406
75.07/75.15	v -1407
75.07/75.15	v 1408
75.07/75.15	v -1409
75.07/75.15	v -1410
75.07/75.15	v -1411
75.07/75.15	v -1412
75.07/75.15	v 1413
75.07/75.15	v 1414
75.07/75.15	v 1415
75.07/75.15	v 1416
75.07/75.15	v -1417
75.07/75.15	v 1418
75.07/75.15	v -1419
75.07/75.15	v 1420
75.07/75.15	v -1421
75.07/75.15	v 1422
75.07/75.15	v 1423
75.07/75.15	v 1424
75.07/75.15	v -1425
75.07/75.15	v -1426
75.07/75.15	v -1427
75.07/75.15	v -1428
75.07/75.15	v -1429
75.07/75.15	v -1430
75.07/75.15	v 1431
75.07/75.15	v -1432
75.07/75.15	v -1433
75.07/75.15	v 1434
75.07/75.15	v -1435
75.07/75.15	v -1436
75.07/75.15	v 1437
75.07/75.15	v 1438
75.07/75.15	v -1439
75.07/75.15	v 1440
75.07/75.15	v 1441
75.07/75.15	v -1442
75.07/75.15	v -1443
75.07/75.15	v 1444
75.07/75.15	v 1445
75.07/75.15	v -1446
75.07/75.15	v 1447
75.07/75.15	v 1448
75.07/75.15	v -1449
75.07/75.15	v 1450
75.07/75.15	v 1451
75.07/75.15	v -1452
75.07/75.15	v 1453
75.07/75.15	v 1454
75.07/75.15	v 1455
75.07/75.15	v 1456
75.07/75.15	v -1457
75.07/75.15	v -1458
75.07/75.15	v 1459
75.07/75.15	v -1460
75.07/75.15	v 1461
75.07/75.15	v 1462
75.07/75.15	v 1463
75.07/75.15	v 1464
75.07/75.15	v 1465
75.07/75.15	v 1466
75.07/75.15	v -1467
75.07/75.15	v 1468
75.07/75.15	v -1469
75.07/75.15	v 1470
75.07/75.15	v -1471
75.07/75.15	v -1472
75.07/75.15	v -1473
75.07/75.15	v -1474
75.07/75.15	v -1475
75.07/75.15	v 1476
75.07/75.15	v -1477
75.07/75.15	v -1478
75.07/75.15	v -1479
75.07/75.15	v -1480
75.07/75.15	v -1481
75.07/75.15	v -1482
75.07/75.15	v 1483
75.07/75.15	v 1484
75.07/75.15	v -1485
75.07/75.15	v -1486
75.07/75.15	v 1487
75.07/75.15	v 1488
75.07/75.15	v -1489
75.07/75.15	v -1490
75.07/75.15	v -1491
75.07/75.15	v -1492
75.07/75.15	v -1493
75.07/75.15	v 1494
75.07/75.15	v 1495
75.07/75.15	v 1496
75.07/75.15	v 1497
75.07/75.15	v 1498
75.07/75.15	v -1499
75.07/75.15	v 1500
75.07/75.15	v 1501
75.07/75.15	v 1502
75.07/75.15	v 1503
75.07/75.15	v -1504
75.07/75.15	v -1505
75.07/75.15	v 1506
75.07/75.15	v -1507
75.07/75.15	v -1508
75.07/75.15	v 1509
75.07/75.15	v -1510
75.07/75.15	v 1511
75.07/75.15	v -1512
75.07/75.15	v -1513
75.07/75.15	v -1514
75.07/75.15	v -1515
75.07/75.15	v -1516
75.07/75.15	v 1517
75.07/75.15	v -1518
75.07/75.15	v 1519
75.07/75.15	v -1520
75.07/75.15	v -1521
75.07/75.15	v -1522
75.07/75.15	v -1523
75.07/75.15	v 1524
75.07/75.15	v 1525
75.07/75.15	v 1526
75.07/75.15	v 1527
75.07/75.15	v 1528
75.07/75.15	v -1529
75.07/75.15	v 1530
75.07/75.15	v 1531
75.07/75.15	v 1532
75.07/75.15	v 1533
75.07/75.15	v -1534
75.07/75.15	v 1535
75.07/75.15	v -1536
75.07/75.15	v 1537
75.07/75.15	v -1538
75.07/75.15	v 1539
75.07/75.15	v 1540
75.07/75.15	v -1541
75.07/75.15	v 1542
75.07/75.15	v 1543
75.07/75.15	v -1544
75.07/75.15	v 1545
75.07/75.15	v 1546
75.07/75.15	v -1547
75.07/75.15	v -1548
75.07/75.15	v 1549
75.07/75.15	v 1550
75.07/75.15	v 1551
75.07/75.15	v -1552
75.07/75.15	v -1553
75.07/75.15	v 1554
75.07/75.15	v 1555
75.07/75.15	v -1556
75.07/75.15	v -1557
75.07/75.15	v 1558
75.07/75.15	v 1559
75.07/75.15	v -1560
75.07/75.15	v -1561
75.07/75.15	v 1562
75.07/75.15	v 1563
75.07/75.15	v 1564
75.07/75.15	v 1565
75.07/75.15	v 1566
75.07/75.15	v 1567
75.07/75.15	v 1568
75.07/75.15	v 1569
75.07/75.15	v 1570
75.07/75.15	v -1571
75.07/75.15	v -1572
75.07/75.15	v -1573
75.07/75.15	v -1574
75.07/75.15	v -1575
75.07/75.15	v 1576
75.07/75.15	v -1577
75.07/75.15	v 1578
75.07/75.15	v -1579
75.07/75.15	v 1580
75.07/75.15	v -1581
75.07/75.15	v -1582
75.07/75.15	v 1583
75.07/75.15	v 1584
75.07/75.15	v -1585
75.07/75.15	v -1586
75.07/75.15	v -1587
75.07/75.15	v -1588
75.07/75.15	v -1589
75.07/75.15	v -1590
75.07/75.15	v 1591
75.07/75.15	v 1592
75.07/75.15	v 1593
75.07/75.15	v -1594
75.07/75.15	v 1595
75.07/75.15	v 1596
75.07/75.15	v -1597
75.07/75.15	v -1598
75.07/75.15	v 1599
75.07/75.15	v -1600
75.07/75.15	v 1601
75.07/75.15	v 1602
75.07/75.15	v -1603
75.07/75.15	v 1604
75.07/75.15	v 1605
75.07/75.15	v -1606
75.07/75.15	v 1607
75.07/75.15	v 1608
75.07/75.15	v -1609
75.07/75.15	v -1610
75.07/75.15	v 1611
75.07/75.15	v -1612
75.07/75.15	v 1613
75.07/75.15	v -1614
75.07/75.15	v 1615
75.07/75.15	v 1616
75.07/75.15	v 1617
75.07/75.15	v -1618
75.07/75.15	v -1619
75.07/75.15	v -1620
75.07/75.15	v 1621
75.07/75.15	v 1622
75.07/75.15	v -1623
75.07/75.15	v -1624
75.07/75.15	v 1625
75.07/75.15	v 1626
75.07/75.15	v 1627
75.07/75.15	v -1628
75.07/75.15	v -1629
75.07/75.15	v -1630
75.07/75.15	v -1631
75.07/75.15	v -1632
75.07/75.15	v 1633
75.07/75.15	v 1634
75.07/75.15	v 1635
75.07/75.15	v -1636
75.07/75.15	v -1637
75.07/75.15	v 1638
75.07/75.15	v -1639
75.07/75.15	v -1640
75.07/75.15	v 1641
75.07/75.15	v -1642
75.07/75.15	v -1643
75.07/75.15	v 1644
75.07/75.15	v 1645
75.07/75.15	v 1646
75.07/75.15	v 1647
75.07/75.15	v 1648
75.07/75.15	v -1649
75.07/75.15	v -1650
75.07/75.15	v 1651
75.07/75.15	v 1652
75.07/75.15	v 1653
75.07/75.15	v 1654
75.07/75.15	v -1655
75.07/75.15	v -1656
75.07/75.15	v 1657
75.07/75.15	v -1658
75.07/75.15	v -1659
75.07/75.15	v 1660
75.07/75.15	v -1661
75.07/75.15	v -1662
75.07/75.15	v 1663
75.07/75.15	v 1664
75.07/75.15	v -1665
75.07/75.15	v -1666
75.07/75.15	v -1667
75.07/75.15	v -1668
75.07/75.15	v 1669
75.07/75.15	v -1670
75.07/75.15	v -1671
75.07/75.15	v 1672
75.07/75.15	v -1673
75.07/75.15	v -1674
75.07/75.15	v -1675
75.07/75.15	v 1676
75.07/75.15	v 1677
75.07/75.15	v -1678
75.07/75.15	v -1679
75.07/75.15	v -1680
75.07/75.15	v 1681
75.07/75.15	v -1682
75.07/75.15	v 1683
75.07/75.15	v -1684
75.07/75.15	v -1685
75.07/75.15	v 1686
75.07/75.15	v 1687
75.07/75.15	v -1688
75.07/75.15	v -1689
75.07/75.15	v -1690
75.07/75.15	v 1691
75.07/75.15	v 1692
75.07/75.15	v 1693
75.07/75.15	v 1694
75.07/75.15	v 1695
75.07/75.15	v -1696
75.07/75.15	v 1697
75.07/75.15	v -1698
75.07/75.15	v -1699
75.07/75.15	v 1700
75.07/75.15	v 1701
75.07/75.15	v -1702
75.07/75.15	v -1703
75.07/75.15	v -1704
75.07/75.15	v -1705
75.07/75.15	v -1706
75.07/75.15	v -1707
75.07/75.15	v 1708
75.07/75.15	v -1709
75.07/75.15	v 1710
75.07/75.15	v -1711
75.07/75.15	v 1712
75.07/75.15	v 1713
75.07/75.15	v -1714
75.07/75.15	v -1715
75.07/75.15	v -1716
75.07/75.15	v -1717
75.07/75.15	v -1718
75.07/75.15	v -1719
75.07/75.15	v 1720
75.07/75.15	v -1721
75.07/75.15	v -1722
75.07/75.15	v 1723
75.07/75.15	v -1724
75.07/75.15	v -1725
75.07/75.15	v -1726
75.07/75.15	v -1727
75.07/75.15	v 1728
75.07/75.15	v 1729
75.07/75.15	v 1730
75.07/75.15	v 1731
75.07/75.15	v -1732
75.07/75.15	v 1733
75.07/75.15	v 1734
75.07/75.15	v 1735
75.07/75.15	v 1736
75.07/75.15	v -1737
75.07/75.15	v 1738
75.07/75.15	v 1739
75.07/75.15	v -1740
75.07/75.15	v 1741
75.07/75.15	v -1742
75.07/75.15	v 1743
75.07/75.15	v 1744
75.07/75.15	v -1745
75.07/75.15	v -1746
75.07/75.15	v 1747
75.07/75.15	v 1748
75.07/75.15	v -1749
75.07/75.15	v 1750
75.07/75.15	v -1751
75.07/75.15	v 1752
75.07/75.15	v -1753
75.07/75.15	v 1754
75.07/75.15	v 1755
75.07/75.15	v 1756
75.07/75.15	v 1757
75.07/75.15	v -1758
75.07/75.15	v -1759
75.07/75.15	v -1760
75.07/75.15	v -1761
75.07/75.15	v 1762
75.07/75.15	v -1763
75.07/75.15	v 1764
75.07/75.15	v 1765
75.07/75.15	v 1766
75.07/75.15	v 1767
75.07/75.15	v -1768
75.07/75.15	v 1769
75.07/75.15	v 1770
75.07/75.15	v 1771
75.07/75.15	v 1772
75.07/75.15	v 1773
75.07/75.15	v 1774
75.07/75.15	v -1775
75.07/75.15	v 1776
75.07/75.15	v 1777
75.07/75.15	v 1778
75.07/75.15	v 1779
75.07/75.15	v -1780
75.07/75.15	v -1781
75.07/75.15	v 1782
75.07/75.15	v 1783
75.07/75.15	v -1784
75.07/75.15	v -1785
75.07/75.15	v 1786
75.07/75.15	v -1787
75.07/75.15	v 1788
75.07/75.15	v -1789
75.07/75.15	v -1790
75.07/75.15	v -1791
75.07/75.15	v -1792
75.07/75.15	v 1793
75.07/75.15	v -1794
75.07/75.15	v 1795
75.07/75.15	v 1796
75.07/75.15	v 1797
75.07/75.15	v -1798
75.07/75.15	v 1799
75.07/75.15	v 1800
75.07/75.15	v -1801
75.07/75.15	v 1802
75.07/75.15	v 1803
75.07/75.15	v -1804
75.07/75.15	v 1805
75.07/75.15	v 1806
75.07/75.15	v -1807
75.07/75.15	v 1808
75.07/75.15	v -1809
75.07/75.15	v 1810
75.07/75.15	v -1811
75.07/75.15	v -1812
75.07/75.15	v 1813
75.07/75.15	v -1814
75.07/75.15	v -1815
75.07/75.15	v 1816
75.07/75.15	v -1817
75.07/75.15	v 1818
75.07/75.15	v -1819
75.07/75.15	v 1820
75.07/75.15	v -1821
75.07/75.15	v 1822
75.07/75.15	v 1823
75.07/75.15	v -1824
75.07/75.15	v 1825
75.07/75.15	v 1826
75.07/75.15	v -1827
75.07/75.15	v 1828
75.07/75.15	v -1829
75.07/75.15	v -1830
75.07/75.15	v -1831
75.07/75.15	v -1832
75.07/75.15	v 1833
75.07/75.15	v 1834
75.07/75.15	v 1835
75.07/75.15	v -1836
75.07/75.15	v -1837
75.07/75.15	v 1838
75.07/75.15	v 1839
75.07/75.15	v -1840
75.07/75.15	v -1841
75.07/75.15	v -1842
75.07/75.15	v 1843
75.07/75.15	v 1844
75.07/75.15	v 1845
75.07/75.15	v 1846
75.07/75.15	v -1847
75.07/75.15	v -1848
75.07/75.15	v 1849
75.07/75.15	v 1850
75.07/75.15	v -1851
75.07/75.15	v 1852
75.07/75.15	v 1853
75.07/75.15	v -1854
75.07/75.15	v 1855
75.07/75.15	v 1856
75.07/75.15	v 1857
75.07/75.15	v 1858
75.07/75.15	v 1859
75.07/75.15	v -1860
75.07/75.15	v 1861
75.07/75.15	v 1862
75.07/75.15	v -1863
75.07/75.15	v -1864
75.07/75.15	v -1865
75.07/75.15	v 1866
75.07/75.15	v 1867
75.07/75.15	v 1868
75.07/75.15	v -1869
75.07/75.15	v -1870
75.07/75.15	v 1871
75.07/75.15	v 1872
75.07/75.15	v -1873
75.07/75.15	v 1874
75.07/75.15	v -1875
75.07/75.15	v 1876
75.07/75.15	v 1877
75.07/75.15	v -1878
75.07/75.15	v -1879
75.07/75.15	v -1880
75.07/75.15	v -1881
75.07/75.15	v 1882
75.07/75.15	v 1883
75.07/75.15	v 1884
75.07/75.15	v -1885
75.07/75.15	v 1886
75.07/75.15	v 1887
75.07/75.15	v 1888
75.07/75.15	v -1889
75.07/75.15	v 1890
75.07/75.15	v -1891
75.07/75.15	v 1892
75.07/75.15	v 1893
75.07/75.15	v -1894
75.07/75.15	v -1895
75.07/75.15	v 1896
75.07/75.15	v 1897
75.07/75.15	v -1898
75.07/75.15	v -1899
75.07/75.15	v 1900
75.07/75.15	v 1901
75.07/75.15	v -1902
75.07/75.15	v -1903
75.07/75.15	v 1904
75.07/75.15	v -1905
75.07/75.15	v -1906
75.07/75.15	v 1907
75.07/75.15	v -1908
75.07/75.15	v 1909
75.07/75.15	v -1910
75.07/75.15	v 1911
75.07/75.15	v 1912
75.07/75.15	v 1913
75.07/75.15	v 1914
75.07/75.15	v -1915
75.07/75.15	v 1916
75.07/75.15	v -1917
75.07/75.15	v -1918
75.07/75.15	v -1919
75.07/75.15	v -1920
75.07/75.15	v 1921
75.07/75.15	v 1922
75.07/75.15	v -1923
75.07/75.15	v 1924
75.07/75.15	v -1925
75.07/75.15	v -1926
75.07/75.15	v 1927
75.07/75.15	v 1928
75.07/75.15	v 1929
75.07/75.15	v -1930
75.07/75.15	v 1931
75.07/75.15	v 1932
75.07/75.15	v 1933
75.07/75.15	v -1934
75.07/75.15	v 1935
75.07/75.15	v -1936
75.07/75.15	v -1937
75.07/75.15	v 1938
75.07/75.15	v 1939
75.07/75.15	v 1940
75.07/75.15	v -1941
75.07/75.15	v -1942
75.07/75.15	v 1943
75.07/75.15	v -1944
75.07/75.15	v -1945
75.07/75.15	v 1946
75.07/75.15	v 1947
75.07/75.15	v -1948
75.07/75.15	v 1949
75.07/75.15	v -1950
75.07/75.15	v -1951
75.07/75.15	v 1952
75.07/75.15	v 1953
75.07/75.15	v -1954
75.07/75.15	v -1955
75.07/75.15	v 1956
75.07/75.15	v -1957
75.07/75.15	v -1958
75.07/75.15	v 1959
75.07/75.15	v -1960
75.07/75.15	v -1961
75.07/75.15	v -1962
75.07/75.15	v -1963
75.07/75.15	v -1964
75.07/75.15	v -1965
75.07/75.15	v 1966
75.07/75.15	v 1967
75.07/75.15	v 1968
75.07/75.15	v -1969
75.07/75.15	v -1970
75.07/75.15	v 1971
75.07/75.15	v 1972
75.07/75.15	v -1973
75.07/75.15	v -1974
75.07/75.15	v 1975
75.07/75.15	v -1976
75.07/75.15	v -1977
75.07/75.15	v -1978
75.07/75.15	v 1979
75.07/75.15	v 1980
75.07/75.15	v -1981
75.07/75.15	v -1982
75.07/75.15	v 1983
75.07/75.15	v -1984
75.07/75.15	v 1985
75.07/75.15	v 1986
75.07/75.15	v -1987
75.07/75.15	v 1988
75.07/75.15	v 1989
75.07/75.15	v 1990
75.07/75.15	v 1991
75.07/75.15	v 1992
75.07/75.15	v 1993
75.07/75.15	v -1994
75.07/75.15	v -1995
75.07/75.15	v -1996
75.07/75.15	v -1997
75.07/75.15	v 1998
75.07/75.15	v 1999
75.07/75.15	v 2000
75.07/75.15	v 2001
75.07/75.15	v 2002
75.07/75.15	v -2003
75.07/75.15	v -2004
75.07/75.15	v -2005
75.07/75.15	v 2006
75.07/75.15	v -2007
75.07/75.15	v -2008
75.07/75.15	v -2009
75.07/75.15	v 2010
75.07/75.15	v -2011
75.07/75.15	v 2012
75.07/75.15	v 2013
75.07/75.15	v -2014
75.07/75.15	v -2015
75.07/75.15	v -2016
75.07/75.15	v 2017
75.07/75.15	v 2018
75.07/75.15	v -2019
75.07/75.15	v -2020
75.07/75.15	v 2021
75.07/75.15	v -2022
75.07/75.15	v 2023
75.07/75.15	v 2024
75.07/75.15	v 2025
75.07/75.15	v -2026
75.07/75.15	v 2027
75.07/75.15	v 2028
75.07/75.15	v 2029
75.07/75.15	v 2030
75.07/75.15	v -2031
75.07/75.15	v 2032
75.07/75.15	v -2033
75.07/75.15	v 2034
75.07/75.15	v -2035
75.07/75.15	v 2036
75.07/75.15	v 2037
75.07/75.15	v -2038
75.07/75.15	v -2039
75.07/75.15	v 2040
75.07/75.15	v 2041
75.07/75.15	v -2042
75.07/75.15	v 2043
75.07/75.15	v 2044
75.07/75.15	v 2045
75.07/75.15	v 2046
75.07/75.15	v -2047
75.07/75.15	v 2048
75.07/75.15	v -2049
75.07/75.15	v -2050
75.07/75.15	v 2051
75.07/75.15	v 2052
75.07/75.15	v 2053
75.07/75.15	v 2054
75.07/75.15	v 2055
75.07/75.15	v -2056
75.07/75.15	v -2057
75.07/75.15	v -2058
75.07/75.15	v -2059
75.07/75.15	v -2060
75.07/75.15	v 2061
75.07/75.15	v 2062
75.07/75.15	v 2063
75.07/75.15	v 2064
75.07/75.15	v -2065
75.07/75.15	v 2066
75.07/75.15	v -2067
75.07/75.15	v 2068
75.07/75.15	v -2069
75.07/75.15	v -2070
75.07/75.15	v 2071
75.07/75.15	v 2072
75.07/75.15	v -2073
75.07/75.15	v -2074
75.07/75.15	v 2075
75.07/75.15	v 2076
75.07/75.15	v 2077
75.07/75.15	v -2078
75.07/75.15	v 2079
75.07/75.15	v 2080
75.07/75.15	v 2081
75.07/75.15	v -2082
75.07/75.15	v -2083
75.07/75.15	v 2084
75.07/75.15	v 2085
75.07/75.15	v 2086
75.07/75.15	v -2087
75.07/75.15	v 2088
75.07/75.15	v -2089
75.07/75.15	v 2090
75.07/75.15	v -2091
75.07/75.15	v -2092
75.07/75.15	v -2093
75.07/75.15	v 2094
75.07/75.15	v -2095
75.07/75.15	v 2096
75.07/75.15	v -2097
75.07/75.15	v -2098
75.07/75.15	v 2099
75.07/75.15	v 2100
75.07/75.15	v 2101
75.07/75.15	v -2102
75.07/75.15	v -2103
75.07/75.15	v 2104
75.07/75.15	v 2105
75.07/75.15	v -2106
75.07/75.15	v 2107
75.07/75.15	v -2108
75.07/75.15	v -2109
75.07/75.15	v 2110
75.07/75.15	v -2111
75.07/75.15	v 2112
75.07/75.15	v -2113
75.07/75.15	v 2114
75.07/75.15	v -2115
75.07/75.15	v -2116
75.07/75.15	v -2117
75.07/75.15	v 2118
75.07/75.15	v 2119
75.07/75.15	v 2120
75.07/75.15	v 2121
75.07/75.15	v -2122
75.07/75.15	v 2123
75.07/75.15	v 2124
75.07/75.15	v 2125
75.07/75.15	v 2126
75.07/75.15	v -2127
75.07/75.15	v 2128
75.07/75.15	v -2129
75.07/75.15	v 2130
75.07/75.15	v 2131
75.07/75.15	v -2132
75.07/75.15	v -2133
75.07/75.15	v -2134
75.07/75.15	v 2135
75.07/75.15	v 2136
75.07/75.15	v 2137
75.07/75.15	v -2138
75.07/75.15	v 2139
75.07/75.15	v -2140
75.07/75.15	v 2141
75.07/75.15	v 2142
75.07/75.15	v 2143
75.07/75.15	v 2144
75.07/75.15	v -2145
75.07/75.15	v -2146
75.07/75.15	v -2147
75.07/75.15	v -2148
75.07/75.15	v 2149
75.07/75.15	v -2150
75.07/75.15	v -2151
75.07/75.15	v 2152
75.07/75.15	v -2153
75.07/75.15	v -2154
75.07/75.15	v -2155
75.07/75.15	v 2156
75.07/75.15	v 2157
75.07/75.15	v -2158
75.07/75.15	v 2159
75.07/75.15	v 2160
75.07/75.15	v -2161
75.07/75.15	v 2162
75.07/75.15	v -2163
75.07/75.15	v 2164
75.07/75.15	v -2165
75.07/75.15	v -2166
75.07/75.15	v -2167
75.07/75.15	v -2168
75.07/75.15	v 2169
75.07/75.15	v 2170
75.07/75.15	v -2171
75.07/75.15	v 2172
75.07/75.15	v 2173
75.07/75.15	v 2174
75.07/75.15	v -2175
75.07/75.15	v 2176
75.07/75.15	v -2177
75.07/75.15	v 2178
75.07/75.15	v 2179
75.07/75.15	v 2180
75.07/75.15	v 2181
75.07/75.15	v 2182
75.07/75.15	v 2183
75.07/75.15	v -2184
75.07/75.15	v 2185
75.07/75.15	v 2186
75.07/75.15	v 2187
75.07/75.15	v -2188
75.07/75.15	v 2189
75.07/75.15	v 2190
75.07/75.15	v 2191
75.07/75.15	v -2192
75.07/75.15	v 2193
75.07/75.15	v -2194
75.07/75.15	v -2195
75.07/75.15	v -2196
75.07/75.15	v 2197
75.07/75.15	v -2198
75.07/75.15	v 2199
75.07/75.15	v -2200
75.07/75.15	v 2201
75.07/75.15	v 2202
75.07/75.15	v -2203
75.07/75.15	v 2204
75.07/75.15	v 2205
75.07/75.15	v 2206
75.07/75.15	v 2207
75.07/75.15	v 2208
75.07/75.15	v -2209
75.07/75.15	v -2210
75.07/75.15	v 2211
75.07/75.15	v -2212
75.07/75.15	v 2213
75.07/75.15	v -2214
75.07/75.15	v -2215
75.07/75.15	v 2216
75.07/75.15	v 2217
75.07/75.15	v -2218
75.07/75.15	v -2219
75.07/75.15	v -2220
75.07/75.15	v -2221
75.07/75.15	v -2222
75.07/75.15	v 2223
75.07/75.15	v 2224
75.07/75.15	v -2225
75.07/75.15	v -2226
75.07/75.15	v -2227
75.07/75.15	v -2228
75.07/75.15	v -2229
75.07/75.15	v -2230
75.07/75.15	v -2231
75.07/75.15	v 2232
75.07/75.15	v 2233
75.07/75.15	v -2234
75.07/75.15	v -2235
75.07/75.15	v 2236
75.07/75.15	v 2237
75.07/75.15	v -2238
75.07/75.15	v 2239
75.07/75.15	v 2240
75.07/75.15	v -2241
75.07/75.15	v -2242
75.07/75.15	v 2243
75.07/75.15	v 2244
75.07/75.15	v -2245
75.07/75.15	v 2246
75.07/75.15	v 2247
75.07/75.15	v -2248
75.07/75.15	v 2249
75.07/75.15	v -2250
75.07/75.15	v 2251
75.07/75.15	v -2252
75.07/75.15	v 2253
75.07/75.15	v 2254
75.07/75.15	v -2255
75.07/75.15	v -2256
75.07/75.15	v 2257
75.07/75.15	v 2258
75.07/75.15	v 2259
75.07/75.15	v 2260
75.07/75.15	v -2261
75.07/75.15	v 2262
75.07/75.15	v 2263
75.07/75.15	v 2264
75.07/75.15	v 2265
75.07/75.15	v -2266
75.07/75.15	v 2267
75.07/75.15	v -2268
75.07/75.15	v 2269
75.07/75.15	v -2270
75.07/75.15	v -2271
75.07/75.15	v 2272
75.07/75.15	v 2273
75.07/75.15	v 2274
75.07/75.15	v 2275
75.07/75.15	v -2276
75.07/75.15	v 2277
75.07/75.15	v -2278
75.07/75.15	v -2279
75.07/75.15	v -2280
75.07/75.15	v 2281
75.07/75.15	v -2282
75.07/75.15	v 2283
75.07/75.15	v 2284
75.07/75.15	v -2285
75.07/75.15	v 2286
75.07/75.15	v -2287
75.07/75.15	v 2288
75.07/75.15	v -2289
75.07/75.15	v -2290
75.07/75.15	v -2291
75.07/75.15	v 2292
75.07/75.15	v 2293
75.07/75.15	v 2294
75.07/75.15	v -2295
75.07/75.15	v 2296
75.07/75.15	v -2297
75.07/75.15	v 2298
75.07/75.15	v 2299
75.07/75.15	v 2300
75.07/75.15	v 2301
75.07/75.15	v 2302
75.07/75.15	v 2303
75.07/75.15	v -2304
75.07/75.15	v -2305
75.07/75.15	v 2306
75.07/75.15	v 2307
75.07/75.15	v 2308
75.07/75.15	v -2309
75.07/75.15	v -2310
75.07/75.15	v 2311
75.07/75.15	v -2312
75.07/75.15	v -2313
75.07/75.15	v -2314
75.07/75.15	v -2315
75.07/75.15	v 2316
75.07/75.15	v -2317
75.07/75.15	v -2318
75.07/75.15	v -2319
75.07/75.15	v 2320
75.07/75.15	v -2321
75.07/75.15	v -2322
75.07/75.15	v 2323
75.07/75.15	v -2324
75.07/75.15	v 2325
75.07/75.15	v 2326
75.07/75.15	v -2327
75.07/75.15	v 2328
75.07/75.15	v 2329
75.07/75.15	v 2330
75.07/75.15	v -2331
75.07/75.15	v -2332
75.07/75.15	v -2333
75.07/75.15	v -2334
75.07/75.15	v -2335
75.07/75.15	v -2336
75.07/75.15	v 2337
75.07/75.15	v 2338
75.07/75.15	v 2339
75.07/75.15	v -2340
75.07/75.15	v 2341
75.07/75.15	v 2342
75.07/75.15	v -2343
75.07/75.15	v 2344
75.07/75.15	v 2345
75.07/75.15	v -2346
75.07/75.15	v -2347
75.07/75.15	v 2348
75.07/75.15	v -2349
75.07/75.15	v 2350
75.07/75.15	v 2351
75.07/75.15	v 2352
75.07/75.15	v -2353
75.07/75.15	v 2354
75.07/75.15	v -2355
75.07/75.15	v 2356
75.07/75.15	v 2357
75.07/75.15	v 2358
75.07/75.15	v -2359
75.07/75.15	v -2360
75.07/75.15	v 2361
75.07/75.15	v 2362
75.07/75.15	v -2363
75.07/75.15	v 2364
75.07/75.15	v 2365
75.07/75.15	v -2366
75.07/75.15	v 2367
75.07/75.15	v 2368
75.07/75.15	v 2369
75.07/75.15	v -2370
75.07/75.15	v -2371
75.07/75.15	v 2372
75.07/75.15	v 2373
75.07/75.15	v -2374
75.07/75.15	v 2375
75.07/75.15	v -2376
75.07/75.15	v 2377
75.07/75.15	v 2378
75.07/75.15	v -2379
75.07/75.15	v -2380
75.07/75.15	v -2381
75.07/75.15	v 2382
75.07/75.15	v -2383
75.07/75.15	v -2384
75.07/75.15	v 2385
75.07/75.15	v 2386
75.07/75.15	v -2387
75.07/75.15	v 2388
75.07/75.15	v 2389
75.07/75.15	v -2390
75.07/75.15	v 2391
75.07/75.15	v 2392
75.07/75.15	v 2393
75.07/75.15	v 2394
75.07/75.15	v -2395
75.07/75.15	v -2396
75.07/75.15	v -2397
75.07/75.15	v -2398
75.07/75.15	v 2399
75.07/75.15	v -2400
75.07/75.15	v 2401
75.07/75.15	v 2402
75.07/75.15	v -2403
75.07/75.15	v -2404
75.07/75.15	v -2405
75.07/75.15	v 0
75.07/75.15	c Done in 75.040000 seconds

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node18/watcher-424034-1177831749 -o ROOT/results/node18/solver-424034-1177831749 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/424034-1177831749/ranov /tmp/evaluation/424034-1177831749/instance-424034-1177831749.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.90 0.94 0.97 3/77 25848
/proc/meminfo: memFree=1437008/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=319884 CPUtime=0
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 922 0 0 0 0 0 0 0 18 0 1 0 231092282 327561216 908 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 79971 914 30 98 0 79870 0

[startup+0.0275821 s]
/proc/loadavg: 0.90 0.94 0.97 3/77 25848
/proc/meminfo: memFree=1437008/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=319892 CPUtime=0.02
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 4957 0 0 0 0 2 0 0 18 0 1 0 231092282 327569408 4943 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134528907 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 79973 4943 38 98 0 79872 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 319892

[startup+0.101588 s]
/proc/loadavg: 0.90 0.94 0.97 3/77 25848
/proc/meminfo: memFree=1437008/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=0.09
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 4 5 0 0 18 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134534241 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 328280

[startup+0.301608 s]
/proc/loadavg: 0.90 0.94 0.97 3/77 25848
/proc/meminfo: memFree=1437008/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=0.29
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 24 5 0 0 19 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514980 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 328280

[startup+0.701647 s]
/proc/loadavg: 0.90 0.94 0.97 3/77 25848
/proc/meminfo: memFree=1437008/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=0.69
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 64 5 0 0 22 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 328280

[startup+1.50172 s]
/proc/loadavg: 0.91 0.94 0.97 2/78 25849
/proc/meminfo: memFree=1388744/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=1.49
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 144 5 0 0 25 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513285 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 328280

[startup+3.10188 s]
/proc/loadavg: 0.91 0.94 0.97 2/78 25849
/proc/meminfo: memFree=1388552/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=3.09
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 304 5 0 0 25 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513433 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 328280

[startup+6.30119 s]
/proc/loadavg: 0.91 0.94 0.97 2/78 25849
/proc/meminfo: memFree=1388552/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=6.29
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 624 5 0 0 25 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513488 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 328280

[startup+12.7018 s]
/proc/loadavg: 0.92 0.94 0.97 2/78 25849
/proc/meminfo: memFree=1388424/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=12.69
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 1264 5 0 0 25 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134519930 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 328280

[startup+25.501 s]
/proc/loadavg: 1.01 0.96 0.98 2/78 25849
/proc/meminfo: memFree=1388424/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=25.49
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 2544 5 0 0 25 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134534307 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 328280

[startup+51.1015 s]
/proc/loadavg: 1.00 0.96 0.98 2/78 25849
/proc/meminfo: memFree=1388424/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=51.08
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 5103 5 0 0 25 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513801 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 328280

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

[startup+63.9017 s]
/proc/loadavg: 1.00 0.96 0.98 2/78 25849
/proc/meminfo: memFree=1388424/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=63.88
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 6383 5 0 0 25 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514628 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (KiB) 328280

[startup+70.3014 s]
/proc/loadavg: 1.00 0.96 0.98 2/78 25849
/proc/meminfo: memFree=1388488/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=70.28
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 7023 5 0 0 25 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 70.28
Current children cumulated vsize (KiB) 328280

[startup+73.5017 s]
/proc/loadavg: 1.00 0.96 0.98 2/78 25849
/proc/meminfo: memFree=1388488/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=73.47
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 7342 5 0 0 25 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513397 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 73.47
Current children cumulated vsize (KiB) 328280

[startup+74.3018 s]
/proc/loadavg: 1.00 0.96 0.98 2/78 25849
/proc/meminfo: memFree=1388488/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=74.27
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 7422 5 0 0 25 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513488 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 74.27
Current children cumulated vsize (KiB) 328280

[startup+75.1028 s]
/proc/loadavg: 1.00 0.96 0.98 2/78 25849
/proc/meminfo: memFree=1388488/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=328280 CPUtime=75.07
/proc/25848/stat : 25848 (ranov) R 25846 25848 24541 0 -1 4194304 12092 0 0 0 7502 5 0 0 25 0 1 0 231092282 336158720 12077 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513701 0 0 4096 0 0 0 0 17 1 0 0
/proc/25848/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 75.07
Current children cumulated vsize (KiB) 328280

[startup+75.3028 s]
/proc/loadavg: 1.00 0.96 0.98 2/78 25849
/proc/meminfo: memFree=1388488/2055920 swapFree=4147180/4192956
[pid=25848] ppid=25846 vsize=0 CPUtime=75.13
/proc/25848/stat : 25848 (ranov) D 25846 25848 24541 0 -1 4194308 12105 0 0 0 7507 6 0 0 15 0 1 0 231092282 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100051646 0 0 17 1 0 0
/proc/25848/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 75.13
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 75.3547
CPU time (s): 75.1336
CPU user time (s): 75.0706
CPU system time (s): 0.06299
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 328280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.0706
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12105
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= 20
involuntary context switches= 116

runsolver used 0.067989 second user time and 0.162975 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Sun Apr 29 07:29:09 UTC 2007

IDJOB= 424034
IDBENCH= 20329
IDSOLVER= 193
FILE ID= node18/424034-1177831749

PBS_JOBID= 4718243

Free space on /tmp= 66564 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v2405/unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf
COMMAND LINE= /tmp/evaluation/424034-1177831749/ranov /tmp/evaluation/424034-1177831749/instance-424034-1177831749.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-424034-1177831749 -o ROOT/results/node18/solver-424034-1177831749 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/424034-1177831749/ranov /tmp/evaluation/424034-1177831749/instance-424034-1177831749.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  9b15d123fe04b0b8ae54fce3b90458d6

RANDOM SEED= 56244177

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1437544 kB
Buffers:         56476 kB
Cached:         464464 kB
SwapCached:      14832 kB
Active:         288292 kB
Inactive:       256424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1437544 kB
SwapTotal:     4192956 kB
SwapFree:      4147180 kB
Dirty:            1136 kB
Writeback:           0 kB
Mapped:          30464 kB
Slab:            59220 kB
Committed_AS:  5511836 kB
PageTables:       1776 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66564 MiB

End job on node18 on Sun Apr 29 07:30:25 UTC 2007