Trace number 312021

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
gnovelty+ 2007-02-08SAT 10.7764 10.7853

General information on the benchmark

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node76/watcher-312021-1172580529 -o ROOT/results/node76/solver-312021-1172580529 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/312021-1172580529/gnovelty+ /tmp/evaluation/312021-1172580529/instance-312021-1172580529.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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.92 0.98 0.99 3/69 5827
/proc/meminfo: memFree=1861072/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=244700 CPUtime=0
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 905 0 0 0 0 0 0 0 18 0 1 0 278011167 250572800 891 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134518504 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 61175 898 39 99 0 61074 0

[startup+0.107353 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 5827
/proc/meminfo: memFree=1861072/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=252512 CPUtime=0.1
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 2199 0 0 0 9 1 0 0 18 0 1 0 278011167 258572288 2184 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513935 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 63128 2184 44 99 0 63027 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 252512

[startup+0.515399 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 5827
/proc/meminfo: memFree=1861072/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=252512 CPUtime=0.51
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 2199 0 0 0 50 1 0 0 22 0 1 0 278011167 258572288 2184 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513478 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 63128 2184 44 99 0 63027 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 252512

[startup+1.33549 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 5828
/proc/meminfo: memFree=1852360/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=252512 CPUtime=1.33
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 2199 0 0 0 132 1 0 0 25 0 1 0 278011167 258572288 2184 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513271 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 63128 2184 44 99 0 63027 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 252512

[startup+2.97168 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 5828
/proc/meminfo: memFree=1852168/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=252512 CPUtime=2.96
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 2199 0 0 0 295 1 0 0 25 0 1 0 278011167 258572288 2184 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134515461 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 63128 2184 44 99 0 63027 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 252512

[startup+6.25206 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 5828
/proc/meminfo: memFree=1852168/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=252512 CPUtime=6.24
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 2199 0 0 0 623 1 0 0 25 0 1 0 278011167 258572288 2184 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513493 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 63128 2184 44 99 0 63027 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 252512

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

[startup+6.5581 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 5828
/proc/meminfo: memFree=1852168/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=252512 CPUtime=6.55
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 2199 0 0 0 654 1 0 0 25 0 1 0 278011167 258572288 2184 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513956 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 63128 2184 44 99 0 63027 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 252512

[startup+8.19729 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 5828
/proc/meminfo: memFree=1852168/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=252512 CPUtime=8.19
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 2199 0 0 0 818 1 0 0 25 0 1 0 278011167 258572288 2184 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513764 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 63128 2184 44 99 0 63027 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 252512

[startup+9.83348 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 5828
/proc/meminfo: memFree=1852168/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=252512 CPUtime=9.82
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 2199 0 0 0 981 1 0 0 25 0 1 0 278011167 258572288 2184 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513363 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 63128 2184 44 99 0 63027 0
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (KiB) 252512

[startup+10.2455 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 5828
/proc/meminfo: memFree=1852168/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=252512 CPUtime=10.24
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 2199 0 0 0 1023 1 0 0 25 0 1 0 278011167 258572288 2184 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513699 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 63128 2184 44 99 0 63027 0
Current children cumulated CPU time (s) 10.24
Current children cumulated vsize (KiB) 252512

[startup+10.6536 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 5828
/proc/meminfo: memFree=1852168/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=252512 CPUtime=10.64
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 2199 0 0 0 1063 1 0 0 25 0 1 0 278011167 258572288 2184 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513455 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 63128 2184 44 99 0 63027 0
Current children cumulated CPU time (s) 10.64
Current children cumulated vsize (KiB) 252512

[startup+10.7556 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 5828
/proc/meminfo: memFree=1852168/2055888 swapFree=4086404/4096564
[pid=5827] ppid=5825 vsize=252512 CPUtime=10.75
/proc/5827/stat : 5827 (gnovelty+) R 5825 5827 4903 0 -1 4194304 2199 0 0 0 1074 1 0 0 25 0 1 0 278011167 258572288 2184 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513983 0 0 4096 0 0 0 0 17 1 0 0
/proc/5827/statm: 63128 2184 44 99 0 63027 0
Current children cumulated CPU time (s) 10.75
Current children cumulated vsize (KiB) 252512

Child status: 10
Real time (s): 10.7853
CPU time (s): 10.7764
CPU user time (s): 10.7624
CPU system time (s): 0.013997
CPU usage (%): 99.9173
Max. virtual memory (cumulated for all children) (KiB): 252512

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

runsolver used 0.011998 second user time and 0.031995 second system time

The end

Launcher Data (download as text)

Begin job on node76 on Tue Feb 27 12:48:49 UTC 2007

IDJOB= 312021
IDBENCH= 20330
IDSOLVER= 116
FILE ID= node76/312021-1172580529

PBS_JOBID= 3971907

Free space on /tmp= 66646 MiB

SOLVER NAME= gnovelty+ 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v2405/unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf
COMMAND LINE= /tmp/evaluation/312021-1172580529/gnovelty+ /tmp/evaluation/312021-1172580529/instance-312021-1172580529.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-312021-1172580529 -o ROOT/results/node76/solver-312021-1172580529 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/312021-1172580529/gnovelty+ /tmp/evaluation/312021-1172580529/instance-312021-1172580529.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  7aa5e97b8e61908955474a79af64353f

RANDOM SEED= 334201398

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.219
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	: 6006.18
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.219
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1861416 kB
Buffers:         25496 kB
Cached:         123308 kB
SwapCached:       4060 kB
Active:          86236 kB
Inactive:        73384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1861416 kB
SwapTotal:     4096564 kB
SwapFree:      4086404 kB
Dirty:            1032 kB
Writeback:           0 kB
Mapped:          15428 kB
Slab:            21144 kB
Committed_AS:  1053044 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66646 MiB

End job on node76 on Tue Feb 27 12:49:00 UTC 2007