Trace number 423898

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 284.617 284.703

General information on the benchmark

Namerandom/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
MD5SUMe4e9587cc33e3fc7e177d5d00533cb0d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.4826
Satisfiable
(Un)Satisfiability was proved
Number of variables3498
Number of clauses9344
Sum of the clauses size25229
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22803
Number of clauses of size 36541
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.09/0.10	c +------------------------------+
0.09/0.10	c | R+AdaptNovelty+, version 1.5 |
0.09/0.10	c +------------------------------+
0.09/0.10	c ranov -h for help
0.09/0.10	c 
0.09/0.10	c Problem instance: numAtoms = 3500, numClauses = 9359, numLiterals = 25271
0.09/0.10	c General parameters: seed=1203844151, cutoff=100000, targetCost = 0, print solution: yes
0.09/0.10	c R+AdaptNovelty+ parameters: noise = 0, walkprob = 1
0.09/0.10	c tries = 1
0.09/0.10	c 
284.52/284.68	s SATISFIABLE
284.52/284.68	v -1
284.52/284.68	v -2
284.52/284.68	v 3
284.52/284.68	v 4
284.52/284.68	v -5
284.52/284.68	v 6
284.52/284.68	v 7
284.52/284.68	v 8
284.52/284.68	v 9
284.52/284.68	v 10
284.52/284.68	v -11
284.52/284.68	v -12
284.52/284.68	v 13
284.52/284.68	v -14
284.52/284.68	v 15
284.52/284.68	v -16
284.52/284.68	v -17
284.52/284.68	v -18
284.52/284.68	v -19
284.52/284.68	v 20
284.52/284.68	v 21
284.52/284.68	v 22
284.52/284.68	v 23
284.52/284.68	v -24
284.52/284.68	v -25
284.52/284.68	v -26
284.52/284.68	v -27
284.52/284.68	v 28
284.52/284.68	v 29
284.52/284.68	v -30
284.52/284.68	v -31
284.52/284.68	v -32
284.52/284.68	v 33
284.52/284.68	v -34
284.52/284.68	v -35
284.52/284.68	v 36
284.52/284.68	v 37
284.52/284.68	v -38
284.52/284.68	v 39
284.52/284.68	v -40
284.52/284.68	v -41
284.52/284.68	v 42
284.52/284.68	v 43
284.52/284.68	v -44
284.52/284.68	v -45
284.52/284.68	v 46
284.52/284.68	v 47
284.52/284.68	v -48
284.52/284.68	v -49
284.52/284.68	v -50
284.52/284.68	v 51
284.52/284.68	v 52
284.52/284.68	v 53
284.52/284.68	v 54
284.52/284.68	v 55
284.52/284.68	v 56
284.52/284.68	v 57
284.52/284.68	v 58
284.52/284.68	v -59
284.52/284.68	v -60
284.52/284.68	v 61
284.52/284.68	v -62
284.52/284.68	v -63
284.52/284.68	v 64
284.52/284.68	v -65
284.52/284.68	v -66
284.52/284.68	v -67
284.52/284.68	v 68
284.52/284.68	v 69
284.52/284.68	v 70
284.52/284.68	v -71
284.52/284.68	v -72
284.52/284.68	v 73
284.52/284.68	v 74
284.52/284.68	v 75
284.52/284.68	v -76
284.52/284.68	v -77
284.52/284.68	v -78
284.52/284.68	v -79
284.52/284.68	v -80
284.52/284.68	v -81
284.52/284.68	v -82
284.52/284.68	v 83
284.52/284.68	v -84
284.52/284.68	v -85
284.52/284.68	v -86
284.52/284.68	v 87
284.52/284.68	v 88
284.52/284.68	v 89
284.52/284.68	v -90
284.52/284.68	v 91
284.52/284.68	v 92
284.52/284.68	v 93
284.52/284.68	v 94
284.52/284.68	v -95
284.52/284.68	v -96
284.52/284.68	v -97
284.52/284.68	v 98
284.52/284.68	v 99
284.52/284.68	v 100
284.52/284.68	v -101
284.52/284.68	v -102
284.52/284.68	v 103
284.52/284.68	v -104
284.52/284.68	v 105
284.52/284.68	v 106
284.52/284.68	v 107
284.52/284.68	v 108
284.52/284.68	v 109
284.52/284.68	v -110
284.52/284.68	v 111
284.52/284.68	v 112
284.52/284.68	v -113
284.52/284.68	v 114
284.52/284.68	v 115
284.52/284.68	v 116
284.52/284.68	v -117
284.52/284.68	v -118
284.52/284.68	v 119
284.52/284.68	v -120
284.52/284.68	v 121
284.52/284.68	v 122
284.52/284.68	v -123
284.52/284.68	v -124
284.52/284.68	v 125
284.52/284.68	v -126
284.52/284.68	v -127
284.52/284.68	v 128
284.52/284.68	v -129
284.52/284.68	v 130
284.52/284.68	v 131
284.52/284.68	v -132
284.52/284.68	v -133
284.52/284.68	v -134
284.52/284.68	v -135
284.52/284.68	v 136
284.52/284.68	v 137
284.52/284.68	v -138
284.52/284.68	v -139
284.52/284.68	v 140
284.52/284.68	v -141
284.52/284.68	v -142
284.52/284.68	v -143
284.52/284.68	v -144
284.52/284.68	v 145
284.52/284.68	v -146
284.52/284.68	v -147
284.52/284.68	v 148
284.52/284.68	v 149
284.52/284.68	v 150
284.52/284.68	v 151
284.52/284.68	v -152
284.52/284.68	v -153
284.52/284.68	v -154
284.52/284.68	v -155
284.52/284.68	v -156
284.52/284.68	v -157
284.52/284.68	v 158
284.52/284.68	v 159
284.52/284.68	v -160
284.52/284.68	v -161
284.52/284.68	v -162
284.52/284.68	v 163
284.52/284.68	v -164
284.52/284.68	v -165
284.52/284.68	v -166
284.52/284.68	v -167
284.52/284.68	v 168
284.52/284.68	v -169
284.52/284.68	v 170
284.52/284.68	v -171
284.52/284.68	v 172
284.52/284.68	v -173
284.52/284.68	v -174
284.52/284.68	v -175
284.52/284.68	v 176
284.52/284.68	v 177
284.52/284.68	v -178
284.52/284.68	v -179
284.52/284.68	v 180
284.52/284.68	v -181
284.52/284.68	v -182
284.52/284.68	v -183
284.52/284.68	v -184
284.52/284.68	v 185
284.52/284.68	v -186
284.52/284.68	v 187
284.52/284.68	v 188
284.52/284.68	v -189
284.52/284.68	v -190
284.52/284.68	v -191
284.52/284.68	v 192
284.52/284.68	v -193
284.52/284.68	v -194
284.52/284.68	v -195
284.52/284.68	v -196
284.52/284.68	v 197
284.52/284.68	v 198
284.52/284.68	v 199
284.52/284.68	v -200
284.52/284.68	v 201
284.52/284.68	v 202
284.52/284.68	v 203
284.52/284.68	v 204
284.52/284.68	v 205
284.52/284.68	v -206
284.52/284.68	v 207
284.52/284.68	v -208
284.52/284.68	v 209
284.52/284.68	v -210
284.52/284.68	v 211
284.52/284.68	v -212
284.52/284.68	v -213
284.52/284.68	v -214
284.52/284.68	v 215
284.52/284.68	v 216
284.52/284.68	v -217
284.52/284.68	v 218
284.52/284.68	v 219
284.52/284.68	v -220
284.52/284.68	v 221
284.52/284.68	v -222
284.52/284.68	v 223
284.52/284.68	v 224
284.52/284.68	v -225
284.52/284.68	v -226
284.52/284.68	v -227
284.52/284.68	v -228
284.52/284.68	v -229
284.52/284.68	v 230
284.52/284.68	v 231
284.52/284.68	v 232
284.52/284.68	v -233
284.52/284.68	v -234
284.52/284.68	v 235
284.52/284.68	v -236
284.52/284.68	v -237
284.52/284.68	v -238
284.52/284.68	v 239
284.52/284.68	v -240
284.52/284.68	v -241
284.52/284.68	v -242
284.52/284.68	v -243
284.52/284.68	v 244
284.52/284.68	v 245
284.52/284.68	v 246
284.52/284.68	v -247
284.52/284.68	v -248
284.52/284.68	v -249
284.52/284.68	v 250
284.52/284.68	v -251
284.52/284.68	v -252
284.52/284.68	v 253
284.52/284.68	v 254
284.52/284.68	v -255
284.52/284.68	v 256
284.52/284.68	v 257
284.52/284.68	v 258
284.52/284.68	v 259
284.52/284.68	v -260
284.52/284.68	v 261
284.52/284.68	v 262
284.52/284.68	v 263
284.52/284.68	v -264
284.52/284.68	v 265
284.52/284.68	v -266
284.52/284.68	v -267
284.52/284.68	v 268
284.52/284.68	v 269
284.52/284.68	v 270
284.52/284.68	v 271
284.52/284.68	v 272
284.52/284.68	v -273
284.52/284.68	v -274
284.52/284.68	v 275
284.52/284.68	v 276
284.52/284.68	v -277
284.52/284.68	v 278
284.52/284.68	v -279
284.52/284.68	v -280
284.52/284.68	v -281
284.52/284.68	v -282
284.52/284.68	v -283
284.52/284.68	v 284
284.52/284.68	v -285
284.52/284.68	v -286
284.52/284.68	v 287
284.52/284.68	v -288
284.52/284.68	v -289
284.52/284.68	v 290
284.52/284.68	v 291
284.52/284.68	v -292
284.52/284.68	v 293
284.52/284.68	v 294
284.52/284.68	v -295
284.52/284.68	v 296
284.52/284.68	v 297
284.52/284.68	v -298
284.52/284.68	v -299
284.52/284.68	v 300
284.52/284.68	v 301
284.52/284.68	v -302
284.52/284.68	v -303
284.52/284.68	v 304
284.52/284.68	v 305
284.52/284.68	v 306
284.52/284.68	v -307
284.52/284.68	v -308
284.52/284.68	v -309
284.52/284.68	v 310
284.52/284.68	v -311
284.52/284.68	v 312
284.52/284.68	v -313
284.52/284.68	v 314
284.52/284.68	v 315
284.52/284.68	v -316
284.52/284.68	v 317
284.52/284.68	v 318
284.52/284.68	v 319
284.52/284.68	v -320
284.52/284.68	v -321
284.52/284.68	v -322
284.52/284.68	v 323
284.52/284.68	v -324
284.52/284.68	v 325
284.52/284.68	v -326
284.52/284.68	v -327
284.52/284.68	v -328
284.52/284.68	v 329
284.52/284.68	v 330
284.52/284.68	v -331
284.52/284.68	v -332
284.52/284.68	v -333
284.52/284.68	v -334
284.52/284.68	v 335
284.52/284.68	v 336
284.52/284.68	v -337
284.52/284.68	v -338
284.52/284.68	v 339
284.52/284.68	v -340
284.52/284.68	v -341
284.52/284.68	v -342
284.52/284.68	v -343
284.52/284.68	v 344
284.52/284.68	v -345
284.52/284.68	v 346
284.52/284.68	v 347
284.52/284.68	v -348
284.52/284.68	v 349
284.52/284.68	v -350
284.52/284.68	v -351
284.52/284.68	v -352
284.52/284.68	v -353
284.52/284.68	v -354
284.52/284.68	v 355
284.52/284.68	v -356
284.52/284.68	v -357
284.52/284.68	v 358
284.52/284.68	v -359
284.52/284.68	v 360
284.52/284.68	v 361
284.52/284.68	v -362
284.52/284.68	v 363
284.52/284.68	v -364
284.52/284.68	v -365
284.52/284.68	v 366
284.52/284.68	v -367
284.52/284.68	v -368
284.52/284.68	v 369
284.52/284.68	v 370
284.52/284.68	v 371
284.52/284.68	v 372
284.52/284.68	v -373
284.52/284.68	v 374
284.52/284.68	v -375
284.52/284.68	v 376
284.52/284.68	v -377
284.52/284.68	v 378
284.52/284.68	v -379
284.52/284.68	v -380
284.52/284.68	v -381
284.52/284.68	v -382
284.52/284.68	v -383
284.52/284.68	v 384
284.52/284.68	v 385
284.52/284.68	v -386
284.52/284.68	v 387
284.52/284.68	v 388
284.52/284.68	v -389
284.52/284.68	v -390
284.52/284.68	v 391
284.52/284.68	v 392
284.52/284.68	v -393
284.52/284.68	v 394
284.52/284.68	v -395
284.52/284.68	v -396
284.52/284.68	v -397
284.52/284.68	v -398
284.52/284.68	v 399
284.52/284.68	v 400
284.52/284.68	v 401
284.52/284.68	v -402
284.52/284.68	v -403
284.52/284.68	v -404
284.52/284.68	v -405
284.52/284.68	v -406
284.52/284.68	v 407
284.52/284.68	v -408
284.52/284.68	v -409
284.52/284.68	v -410
284.52/284.68	v -411
284.52/284.68	v 412
284.52/284.68	v -413
284.52/284.68	v -414
284.52/284.68	v 415
284.52/284.68	v 416
284.52/284.68	v -417
284.52/284.68	v -418
284.52/284.68	v -419
284.52/284.68	v -420
284.52/284.68	v -421
284.52/284.68	v -422
284.52/284.68	v -423
284.52/284.68	v -424
284.52/284.68	v 425
284.52/284.68	v -426
284.52/284.68	v -427
284.52/284.68	v 428
284.52/284.68	v -429
284.52/284.68	v 430
284.52/284.68	v 431
284.52/284.68	v 432
284.52/284.68	v 433
284.52/284.68	v 434
284.52/284.68	v 435
284.52/284.68	v -436
284.52/284.68	v -437
284.52/284.68	v -438
284.52/284.68	v 439
284.52/284.68	v -440
284.52/284.68	v -441
284.52/284.68	v 442
284.52/284.68	v 443
284.52/284.68	v 444
284.52/284.68	v -445
284.52/284.68	v -446
284.52/284.68	v -447
284.52/284.68	v -448
284.52/284.68	v -449
284.52/284.68	v 450
284.52/284.68	v 451
284.52/284.68	v -452
284.52/284.68	v 453
284.52/284.68	v 454
284.52/284.68	v 455
284.52/284.68	v -456
284.52/284.68	v 457
284.52/284.68	v -458
284.52/284.68	v 459
284.52/284.68	v 460
284.52/284.68	v -461
284.52/284.68	v 462
284.52/284.68	v 463
284.52/284.68	v 464
284.52/284.68	v -465
284.52/284.68	v 466
284.52/284.68	v -467
284.52/284.68	v -468
284.52/284.68	v -469
284.52/284.68	v -470
284.52/284.68	v 471
284.52/284.68	v 472
284.52/284.68	v 473
284.52/284.68	v -474
284.52/284.68	v -475
284.52/284.68	v 476
284.52/284.68	v 477
284.52/284.68	v 478
284.52/284.68	v -479
284.52/284.68	v -480
284.52/284.68	v -481
284.52/284.68	v -482
284.52/284.68	v 483
284.52/284.68	v 484
284.52/284.68	v -485
284.52/284.68	v 486
284.52/284.68	v -487
284.52/284.68	v -488
284.52/284.68	v -489
284.52/284.68	v 490
284.52/284.68	v -491
284.52/284.68	v -492
284.52/284.68	v -493
284.52/284.68	v 494
284.52/284.68	v 495
284.52/284.68	v 496
284.52/284.68	v 497
284.52/284.68	v -498
284.52/284.68	v -499
284.52/284.68	v -500
284.52/284.68	v 501
284.52/284.68	v -502
284.52/284.68	v -503
284.52/284.68	v 504
284.52/284.68	v 505
284.52/284.68	v -506
284.52/284.68	v -507
284.52/284.68	v 508
284.52/284.68	v -509
284.52/284.68	v 510
284.52/284.68	v 511
284.52/284.68	v 512
284.52/284.68	v 513
284.52/284.68	v 514
284.52/284.68	v -515
284.52/284.68	v -516
284.52/284.68	v 517
284.52/284.68	v 518
284.52/284.68	v -519
284.52/284.68	v 520
284.52/284.68	v 521
284.52/284.68	v -522
284.52/284.68	v -523
284.52/284.68	v 524
284.52/284.68	v 525
284.52/284.68	v -526
284.52/284.68	v -527
284.52/284.68	v -528
284.52/284.68	v 529
284.52/284.68	v 530
284.52/284.68	v -531
284.52/284.68	v 532
284.52/284.68	v -533
284.52/284.68	v -534
284.52/284.68	v 535
284.52/284.68	v 536
284.52/284.68	v 537
284.52/284.68	v 538
284.52/284.68	v 539
284.52/284.68	v 540
284.52/284.68	v 541
284.52/284.68	v -542
284.52/284.68	v -543
284.52/284.68	v -544
284.52/284.68	v -545
284.52/284.68	v -546
284.52/284.68	v 547
284.52/284.68	v -548
284.52/284.68	v -549
284.52/284.68	v 550
284.52/284.68	v 551
284.52/284.68	v 552
284.52/284.68	v -553
284.52/284.68	v 554
284.52/284.68	v -555
284.52/284.68	v 556
284.52/284.68	v 557
284.52/284.68	v -558
284.52/284.68	v -559
284.52/284.68	v 560
284.52/284.68	v -561
284.52/284.68	v 562
284.52/284.68	v -563
284.52/284.68	v 564
284.52/284.68	v -565
284.52/284.68	v 566
284.52/284.68	v 567
284.52/284.68	v -568
284.52/284.68	v 569
284.52/284.68	v 570
284.52/284.68	v 571
284.52/284.68	v 572
284.52/284.68	v 573
284.52/284.68	v 574
284.52/284.68	v 575
284.52/284.68	v 576
284.52/284.68	v 577
284.52/284.68	v 578
284.52/284.68	v 579
284.52/284.68	v -580
284.52/284.68	v 581
284.52/284.68	v 582
284.52/284.68	v 583
284.52/284.68	v -584
284.52/284.68	v -585
284.52/284.68	v 586
284.52/284.68	v 587
284.52/284.68	v 588
284.52/284.68	v -589
284.52/284.68	v 590
284.52/284.68	v -591
284.52/284.68	v 592
284.52/284.68	v 593
284.52/284.68	v 594
284.52/284.68	v -595
284.52/284.68	v -596
284.52/284.68	v -597
284.52/284.68	v 598
284.52/284.68	v -599
284.52/284.68	v 600
284.52/284.68	v -601
284.52/284.68	v 602
284.52/284.68	v 603
284.52/284.68	v -604
284.52/284.68	v 605
284.52/284.68	v 606
284.52/284.68	v 607
284.52/284.68	v 608
284.52/284.68	v -609
284.52/284.68	v -610
284.52/284.68	v -611
284.52/284.68	v -612
284.52/284.68	v 613
284.52/284.68	v -614
284.52/284.68	v -615
284.52/284.68	v -616
284.52/284.68	v -617
284.52/284.68	v -618
284.52/284.68	v 619
284.52/284.68	v 620
284.52/284.68	v -621
284.52/284.68	v 622
284.52/284.68	v -623
284.52/284.68	v 624
284.52/284.68	v -625
284.52/284.68	v -626
284.52/284.68	v -627
284.52/284.68	v -628
284.52/284.68	v -629
284.52/284.68	v -630
284.52/284.68	v 631
284.52/284.68	v -632
284.52/284.68	v 633
284.52/284.68	v 634
284.52/284.68	v -635
284.52/284.68	v 636
284.52/284.68	v 637
284.52/284.68	v 638
284.52/284.68	v 639
284.52/284.68	v -640
284.52/284.68	v 641
284.52/284.68	v -642
284.52/284.68	v 643
284.52/284.68	v -644
284.52/284.68	v 645
284.52/284.68	v -646
284.52/284.68	v 647
284.52/284.68	v -648
284.52/284.68	v 649
284.52/284.68	v 650
284.52/284.68	v -651
284.52/284.68	v -652
284.52/284.68	v 653
284.52/284.68	v -654
284.52/284.68	v 655
284.52/284.68	v 656
284.52/284.68	v 657
284.52/284.68	v 658
284.52/284.68	v 659
284.52/284.68	v -660
284.52/284.68	v -661
284.52/284.68	v 662
284.52/284.68	v 663
284.52/284.68	v 664
284.52/284.68	v 665
284.52/284.68	v -666
284.52/284.68	v -667
284.52/284.68	v -668
284.52/284.68	v -669
284.52/284.68	v 670
284.52/284.68	v 671
284.52/284.68	v -672
284.52/284.68	v 673
284.52/284.68	v 674
284.52/284.68	v 675
284.52/284.68	v -676
284.52/284.68	v 677
284.52/284.68	v -678
284.52/284.68	v 679
284.52/284.68	v -680
284.52/284.68	v -681
284.52/284.68	v 682
284.52/284.68	v 683
284.52/284.68	v -684
284.52/284.68	v -685
284.52/284.68	v 686
284.52/284.68	v 687
284.52/284.68	v -688
284.52/284.68	v 689
284.52/284.68	v 690
284.52/284.68	v 691
284.52/284.68	v -692
284.52/284.68	v -693
284.52/284.68	v -694
284.52/284.68	v 695
284.52/284.68	v 696
284.52/284.68	v 697
284.52/284.68	v 698
284.52/284.68	v 699
284.52/284.68	v 700
284.52/284.68	v -701
284.52/284.68	v -702
284.52/284.68	v 703
284.52/284.68	v 704
284.52/284.68	v -705
284.52/284.68	v 706
284.52/284.68	v 707
284.52/284.68	v -708
284.52/284.68	v -709
284.52/284.68	v 710
284.52/284.68	v 711
284.52/284.68	v 712
284.52/284.68	v 713
284.52/284.68	v 714
284.52/284.68	v 715
284.52/284.68	v 716
284.52/284.68	v 717
284.52/284.68	v -718
284.52/284.68	v 719
284.52/284.68	v -720
284.52/284.68	v 721
284.52/284.68	v 722
284.52/284.68	v -723
284.52/284.68	v -724
284.52/284.68	v 725
284.52/284.68	v 726
284.52/284.68	v 727
284.52/284.68	v -728
284.52/284.68	v -729
284.52/284.68	v -730
284.52/284.68	v -731
284.52/284.68	v 732
284.52/284.68	v 733
284.52/284.68	v -734
284.52/284.68	v -735
284.52/284.68	v 736
284.52/284.68	v 737
284.52/284.68	v -738
284.52/284.68	v 739
284.52/284.68	v 740
284.52/284.68	v 741
284.52/284.68	v -742
284.52/284.68	v 743
284.52/284.68	v -744
284.52/284.68	v -745
284.52/284.68	v 746
284.52/284.68	v -747
284.52/284.68	v 748
284.52/284.68	v 749
284.52/284.68	v 750
284.52/284.68	v 751
284.52/284.68	v -752
284.52/284.68	v 753
284.52/284.68	v 754
284.52/284.68	v 755
284.52/284.68	v -756
284.52/284.68	v -757
284.52/284.68	v 758
284.52/284.68	v -759
284.52/284.68	v -760
284.52/284.68	v -761
284.52/284.68	v -762
284.52/284.68	v 763
284.52/284.68	v -764
284.52/284.68	v 765
284.52/284.68	v 766
284.52/284.68	v 767
284.52/284.68	v -768
284.52/284.68	v 769
284.52/284.68	v -770
284.52/284.68	v 771
284.52/284.68	v 772
284.52/284.68	v -773
284.52/284.68	v -774
284.52/284.68	v -775
284.52/284.68	v 776
284.52/284.68	v 777
284.52/284.68	v -778
284.52/284.68	v 779
284.52/284.68	v -780
284.52/284.68	v -781
284.52/284.68	v 782
284.52/284.68	v 783
284.52/284.68	v 784
284.52/284.68	v 785
284.52/284.68	v 786
284.52/284.68	v -787
284.52/284.68	v 788
284.52/284.68	v -789
284.52/284.68	v 790
284.52/284.68	v -791
284.52/284.68	v -792
284.52/284.68	v -793
284.52/284.68	v -794
284.52/284.68	v -795
284.52/284.68	v 796
284.52/284.68	v 797
284.52/284.68	v -798
284.52/284.68	v -799
284.52/284.68	v -800
284.52/284.68	v -801
284.52/284.68	v 802
284.52/284.68	v 803
284.52/284.68	v 804
284.52/284.68	v -805
284.52/284.68	v -806
284.52/284.68	v 807
284.52/284.68	v -808
284.52/284.68	v -809
284.52/284.68	v -810
284.52/284.68	v -811
284.52/284.68	v -812
284.52/284.68	v -813
284.52/284.68	v -814
284.52/284.68	v -815
284.52/284.68	v 816
284.52/284.68	v -817
284.52/284.68	v -818
284.52/284.68	v 819
284.52/284.68	v -820
284.52/284.68	v 821
284.52/284.68	v 822
284.52/284.68	v -823
284.52/284.68	v 824
284.52/284.68	v 825
284.52/284.68	v 826
284.52/284.68	v -827
284.52/284.68	v -828
284.52/284.68	v 829
284.52/284.68	v -830
284.52/284.68	v 831
284.52/284.68	v 832
284.52/284.68	v 833
284.52/284.68	v -834
284.52/284.68	v 835
284.52/284.68	v 836
284.52/284.68	v -837
284.52/284.68	v -838
284.52/284.68	v -839
284.52/284.68	v 840
284.52/284.68	v 841
284.52/284.68	v -842
284.52/284.68	v 843
284.52/284.68	v -844
284.52/284.68	v -845
284.52/284.68	v -846
284.52/284.68	v 847
284.52/284.68	v 848
284.52/284.68	v -849
284.52/284.68	v 850
284.52/284.68	v -851
284.52/284.68	v -852
284.52/284.68	v 853
284.52/284.68	v 854
284.52/284.68	v -855
284.52/284.68	v -856
284.52/284.68	v -857
284.52/284.68	v 858
284.52/284.68	v -859
284.52/284.68	v -860
284.52/284.68	v -861
284.52/284.68	v -862
284.52/284.68	v -863
284.52/284.68	v 864
284.52/284.68	v -865
284.52/284.68	v -866
284.52/284.68	v 867
284.52/284.68	v 868
284.52/284.68	v 869
284.52/284.68	v -870
284.52/284.68	v 871
284.52/284.68	v -872
284.52/284.68	v -873
284.52/284.68	v -874
284.52/284.68	v -875
284.52/284.68	v -876
284.52/284.68	v -877
284.52/284.68	v 878
284.52/284.68	v 879
284.52/284.68	v -880
284.52/284.68	v 881
284.52/284.68	v 882
284.52/284.68	v -883
284.52/284.68	v 884
284.52/284.68	v 885
284.52/284.68	v 886
284.52/284.68	v -887
284.52/284.68	v 888
284.52/284.68	v 889
284.52/284.68	v 890
284.52/284.68	v -891
284.52/284.68	v 892
284.52/284.68	v -893
284.52/284.68	v -894
284.52/284.68	v -895
284.52/284.68	v -896
284.52/284.68	v 897
284.52/284.68	v 898
284.52/284.68	v 899
284.52/284.68	v 900
284.52/284.68	v 901
284.52/284.68	v -902
284.52/284.68	v 903
284.52/284.68	v -904
284.52/284.68	v 905
284.52/284.68	v 906
284.52/284.68	v 907
284.52/284.68	v -908
284.52/284.68	v -909
284.52/284.68	v -910
284.52/284.68	v 911
284.52/284.68	v -912
284.52/284.68	v 913
284.52/284.68	v -914
284.52/284.68	v 915
284.52/284.68	v 916
284.52/284.68	v -917
284.52/284.68	v -918
284.52/284.68	v 919
284.52/284.68	v -920
284.52/284.68	v -921
284.52/284.68	v 922
284.52/284.68	v -923
284.52/284.68	v 924
284.52/284.68	v -925
284.52/284.68	v 926
284.52/284.68	v -927
284.52/284.68	v -928
284.52/284.68	v -929
284.52/284.68	v -930
284.52/284.68	v 931
284.52/284.68	v 932
284.52/284.68	v -933
284.52/284.68	v 934
284.52/284.68	v -935
284.52/284.68	v -936
284.52/284.68	v 937
284.52/284.68	v 938
284.52/284.68	v 939
284.52/284.68	v 940
284.52/284.68	v 941
284.52/284.68	v 942
284.52/284.68	v -943
284.52/284.68	v -944
284.52/284.68	v -945
284.52/284.68	v -946
284.52/284.68	v 947
284.52/284.68	v 948
284.52/284.68	v 949
284.52/284.68	v -950
284.52/284.68	v 951
284.52/284.68	v -952
284.52/284.68	v -953
284.52/284.68	v 954
284.52/284.68	v 955
284.52/284.68	v 956
284.52/284.68	v -957
284.52/284.68	v 958
284.52/284.68	v -959
284.52/284.68	v 960
284.52/284.68	v -961
284.52/284.68	v 962
284.52/284.68	v 963
284.52/284.68	v -964
284.52/284.68	v 965
284.52/284.68	v 966
284.52/284.68	v 967
284.52/284.68	v 968
284.52/284.68	v 969
284.52/284.68	v 970
284.52/284.68	v 971
284.52/284.68	v 972
284.52/284.68	v 973
284.52/284.68	v 974
284.52/284.68	v 975
284.52/284.68	v -976
284.52/284.68	v -977
284.52/284.68	v 978
284.52/284.68	v 979
284.52/284.68	v -980
284.52/284.68	v 981
284.52/284.68	v 982
284.52/284.68	v -983
284.52/284.68	v -984
284.52/284.68	v 985
284.52/284.68	v 986
284.52/284.68	v -987
284.52/284.68	v -988
284.52/284.68	v -989
284.52/284.68	v -990
284.52/284.68	v 991
284.52/284.68	v 992
284.52/284.68	v 993
284.52/284.68	v -994
284.52/284.68	v 995
284.52/284.68	v 996
284.52/284.68	v -997
284.52/284.68	v -998
284.52/284.68	v 999
284.52/284.68	v -1000
284.52/284.68	v 1001
284.52/284.68	v -1002
284.52/284.68	v 1003
284.52/284.68	v -1004
284.52/284.68	v 1005
284.52/284.68	v -1006
284.52/284.68	v -1007
284.52/284.68	v -1008
284.52/284.68	v 1009
284.52/284.68	v 1010
284.52/284.68	v -1011
284.52/284.68	v -1012
284.52/284.68	v -1013
284.52/284.68	v -1014
284.52/284.68	v -1015
284.52/284.68	v -1016
284.52/284.68	v 1017
284.52/284.68	v -1018
284.52/284.68	v 1019
284.52/284.68	v -1020
284.52/284.68	v -1021
284.52/284.68	v 1022
284.52/284.68	v 1023
284.52/284.68	v 1024
284.52/284.68	v -1025
284.52/284.68	v -1026
284.52/284.68	v -1027
284.52/284.68	v -1028
284.52/284.68	v -1029
284.52/284.68	v -1030
284.52/284.68	v 1031
284.52/284.68	v -1032
284.52/284.68	v -1033
284.52/284.68	v -1034
284.52/284.68	v 1035
284.52/284.68	v 1036
284.52/284.68	v 1037
284.52/284.68	v -1038
284.52/284.68	v 1039
284.52/284.68	v -1040
284.52/284.68	v 1041
284.52/284.68	v 1042
284.52/284.68	v -1043
284.52/284.68	v 1044
284.52/284.68	v 1045
284.52/284.68	v -1046
284.52/284.68	v -1047
284.52/284.68	v 1048
284.52/284.68	v -1049
284.52/284.68	v 1050
284.52/284.68	v -1051
284.52/284.68	v -1052
284.52/284.68	v 1053
284.52/284.68	v 1054
284.52/284.68	v -1055
284.52/284.68	v 1056
284.52/284.68	v 1057
284.52/284.68	v -1058
284.52/284.68	v -1059
284.52/284.68	v 1060
284.52/284.68	v 1061
284.52/284.68	v -1062
284.52/284.68	v 1063
284.52/284.68	v -1064
284.52/284.68	v -1065
284.52/284.68	v 1066
284.52/284.68	v -1067
284.52/284.68	v 1068
284.52/284.68	v -1069
284.52/284.68	v -1070
284.52/284.68	v -1071
284.52/284.68	v -1072
284.52/284.68	v -1073
284.52/284.68	v -1074
284.52/284.68	v 1075
284.52/284.68	v -1076
284.52/284.68	v 1077
284.52/284.68	v 1078
284.52/284.68	v 1079
284.52/284.68	v -1080
284.52/284.68	v -1081
284.52/284.68	v 1082
284.52/284.68	v 1083
284.52/284.68	v 1084
284.52/284.68	v -1085
284.52/284.68	v 1086
284.52/284.68	v -1087
284.52/284.68	v -1088
284.52/284.68	v -1089
284.52/284.68	v 1090
284.52/284.68	v -1091
284.52/284.68	v 1092
284.52/284.68	v 1093
284.52/284.68	v -1094
284.52/284.68	v -1095
284.52/284.68	v -1096
284.52/284.68	v -1097
284.52/284.68	v 1098
284.52/284.68	v 1099
284.52/284.68	v -1100
284.52/284.68	v 1101
284.52/284.68	v -1102
284.52/284.68	v -1103
284.52/284.68	v 1104
284.52/284.68	v 1105
284.52/284.68	v 1106
284.52/284.68	v -1107
284.52/284.68	v 1108
284.52/284.68	v -1109
284.52/284.68	v -1110
284.52/284.68	v 1111
284.52/284.68	v 1112
284.52/284.68	v 1113
284.52/284.68	v 1114
284.52/284.68	v 1115
284.52/284.68	v 1116
284.52/284.68	v 1117
284.52/284.68	v 1118
284.52/284.68	v 1119
284.52/284.68	v -1120
284.52/284.68	v 1121
284.52/284.68	v -1122
284.52/284.68	v -1123
284.52/284.68	v -1124
284.52/284.68	v 1125
284.52/284.68	v -1126
284.52/284.68	v 1127
284.52/284.68	v -1128
284.52/284.68	v 1129
284.52/284.68	v -1130
284.52/284.68	v -1131
284.52/284.68	v -1132
284.52/284.68	v 1133
284.52/284.68	v -1134
284.52/284.68	v -1135
284.52/284.68	v -1136
284.52/284.68	v -1137
284.52/284.68	v 1138
284.52/284.68	v -1139
284.52/284.68	v -1140
284.52/284.68	v 1141
284.52/284.68	v -1142
284.52/284.68	v -1143
284.52/284.68	v -1144
284.52/284.68	v 1145
284.52/284.68	v -1146
284.52/284.68	v -1147
284.52/284.68	v 1148
284.52/284.68	v 1149
284.52/284.68	v -1150
284.52/284.68	v -1151
284.52/284.68	v 1152
284.52/284.68	v -1153
284.52/284.68	v -1154
284.52/284.68	v -1155
284.52/284.68	v 1156
284.52/284.68	v 1157
284.52/284.68	v -1158
284.52/284.68	v 1159
284.52/284.68	v -1160
284.52/284.68	v 1161
284.52/284.68	v -1162
284.52/284.68	v -1163
284.52/284.68	v -1164
284.52/284.68	v -1165
284.52/284.68	v -1166
284.52/284.68	v 1167
284.52/284.68	v 1168
284.52/284.68	v -1169
284.52/284.68	v 1170
284.52/284.68	v 1171
284.52/284.68	v 1172
284.52/284.68	v 1173
284.52/284.68	v 1174
284.52/284.68	v 1175
284.52/284.68	v 1176
284.52/284.68	v -1177
284.52/284.68	v 1178
284.52/284.68	v -1179
284.52/284.68	v 1180
284.52/284.68	v -1181
284.52/284.68	v -1182
284.52/284.68	v -1183
284.52/284.68	v 1184
284.52/284.68	v -1185
284.52/284.68	v -1186
284.52/284.68	v 1187
284.52/284.68	v -1188
284.52/284.68	v 1189
284.52/284.68	v -1190
284.52/284.68	v 1191
284.52/284.68	v -1192
284.52/284.68	v -1193
284.52/284.68	v 1194
284.52/284.68	v 1195
284.52/284.68	v -1196
284.52/284.68	v 1197
284.52/284.68	v -1198
284.52/284.68	v -1199
284.52/284.68	v 1200
284.52/284.68	v 1201
284.52/284.68	v -1202
284.52/284.68	v 1203
284.52/284.68	v 1204
284.52/284.68	v -1205
284.52/284.68	v 1206
284.52/284.68	v 1207
284.52/284.68	v -1208
284.52/284.68	v 1209
284.52/284.68	v 1210
284.52/284.68	v 1211
284.52/284.68	v 1212
284.52/284.68	v 1213
284.52/284.68	v -1214
284.52/284.68	v -1215
284.52/284.68	v -1216
284.52/284.68	v -1217
284.52/284.68	v -1218
284.52/284.68	v 1219
284.52/284.68	v 1220
284.52/284.68	v 1221
284.52/284.68	v 1222
284.52/284.68	v 1223
284.52/284.68	v -1224
284.52/284.68	v 1225
284.52/284.68	v 1226
284.52/284.68	v -1227
284.52/284.68	v -1228
284.52/284.68	v -1229
284.52/284.68	v 1230
284.52/284.68	v -1231
284.52/284.68	v -1232
284.52/284.68	v -1233
284.52/284.68	v -1234
284.52/284.68	v -1235
284.52/284.68	v 1236
284.52/284.68	v 1237
284.52/284.68	v -1238
284.52/284.68	v 1239
284.52/284.68	v -1240
284.52/284.68	v -1241
284.52/284.68	v 1242
284.52/284.68	v 1243
284.52/284.68	v 1244
284.52/284.68	v 1245
284.52/284.68	v 1246
284.52/284.68	v -1247
284.52/284.68	v -1248
284.52/284.68	v 1249
284.52/284.68	v -1250
284.52/284.68	v -1251
284.52/284.68	v -1252
284.52/284.68	v -1253
284.52/284.68	v 1254
284.52/284.68	v -1255
284.52/284.68	v -1256
284.52/284.68	v 1257
284.52/284.68	v 1258
284.52/284.68	v 1259
284.52/284.68	v 1260
284.52/284.68	v -1261
284.52/284.68	v 1262
284.52/284.68	v 1263
284.52/284.68	v 1264
284.52/284.68	v 1265
284.52/284.68	v -1266
284.52/284.68	v -1267
284.52/284.68	v 1268
284.52/284.68	v 1269
284.52/284.68	v -1270
284.52/284.68	v -1271
284.52/284.68	v -1272
284.52/284.68	v 1273
284.52/284.68	v -1274
284.52/284.68	v 1275
284.52/284.68	v -1276
284.52/284.68	v 1277
284.52/284.68	v 1278
284.52/284.68	v -1279
284.52/284.68	v 1280
284.52/284.68	v -1281
284.52/284.68	v 1282
284.52/284.68	v 1283
284.52/284.68	v -1284
284.52/284.68	v -1285
284.52/284.68	v 1286
284.52/284.68	v -1287
284.52/284.68	v 1288
284.52/284.68	v 1289
284.52/284.68	v 1290
284.52/284.68	v 1291
284.52/284.68	v -1292
284.52/284.68	v 1293
284.52/284.68	v 1294
284.52/284.68	v -1295
284.52/284.68	v 1296
284.52/284.68	v 1297
284.52/284.68	v -1298
284.52/284.68	v -1299
284.52/284.68	v -1300
284.52/284.68	v 1301
284.52/284.68	v -1302
284.52/284.68	v 1303
284.52/284.68	v -1304
284.52/284.68	v -1305
284.52/284.68	v -1306
284.52/284.68	v -1307
284.52/284.68	v 1308
284.52/284.68	v -1309
284.52/284.68	v 1310
284.52/284.68	v -1311
284.52/284.68	v 1312
284.52/284.68	v -1313
284.52/284.68	v 1314
284.52/284.68	v -1315
284.52/284.68	v 1316
284.52/284.68	v -1317
284.52/284.68	v 1318
284.52/284.68	v 1319
284.52/284.68	v -1320
284.52/284.68	v 1321
284.52/284.68	v 1322
284.52/284.68	v 1323
284.52/284.68	v -1324
284.52/284.68	v 1325
284.52/284.68	v -1326
284.52/284.68	v 1327
284.52/284.68	v -1328
284.52/284.68	v -1329
284.52/284.68	v 1330
284.52/284.68	v 1331
284.52/284.68	v 1332
284.52/284.68	v -1333
284.52/284.68	v 1334
284.52/284.68	v -1335
284.52/284.68	v 1336
284.52/284.68	v -1337
284.52/284.68	v -1338
284.52/284.68	v 1339
284.52/284.68	v 1340
284.52/284.68	v 1341
284.52/284.68	v -1342
284.52/284.68	v -1343
284.52/284.68	v -1344
284.52/284.68	v 1345
284.52/284.68	v -1346
284.52/284.68	v -1347
284.52/284.68	v 1348
284.52/284.68	v -1349
284.52/284.68	v -1350
284.52/284.68	v -1351
284.52/284.68	v -1352
284.52/284.68	v -1353
284.52/284.68	v 1354
284.52/284.68	v -1355
284.52/284.68	v -1356
284.52/284.68	v 1357
284.52/284.68	v 1358
284.52/284.68	v 1359
284.52/284.68	v 1360
284.52/284.68	v 1361
284.52/284.68	v 1362
284.52/284.68	v 1363
284.52/284.68	v -1364
284.52/284.68	v -1365
284.52/284.68	v -1366
284.52/284.68	v -1367
284.52/284.68	v 1368
284.52/284.68	v -1369
284.52/284.68	v 1370
284.52/284.68	v -1371
284.52/284.68	v 1372
284.52/284.68	v 1373
284.52/284.68	v -1374
284.52/284.68	v -1375
284.52/284.68	v -1376
284.52/284.68	v -1377
284.52/284.68	v 1378
284.52/284.68	v -1379
284.52/284.68	v 1380
284.52/284.68	v -1381
284.52/284.68	v -1382
284.52/284.68	v 1383
284.52/284.68	v 1384
284.52/284.68	v 1385
284.52/284.68	v -1386
284.52/284.68	v 1387
284.52/284.68	v -1388
284.52/284.68	v 1389
284.52/284.68	v -1390
284.52/284.68	v 1391
284.52/284.68	v -1392
284.52/284.68	v 1393
284.52/284.68	v 1394
284.52/284.68	v 1395
284.52/284.68	v 1396
284.52/284.68	v -1397
284.52/284.68	v 1398
284.52/284.68	v 1399
284.52/284.68	v -1400
284.52/284.68	v -1401
284.52/284.68	v -1402
284.52/284.68	v -1403
284.52/284.68	v -1404
284.52/284.68	v -1405
284.52/284.68	v -1406
284.52/284.68	v 1407
284.52/284.68	v -1408
284.52/284.68	v 1409
284.52/284.68	v 1410
284.52/284.68	v 1411
284.52/284.68	v -1412
284.52/284.68	v 1413
284.52/284.68	v -1414
284.52/284.68	v -1415
284.52/284.68	v -1416
284.52/284.68	v 1417
284.52/284.68	v 1418
284.52/284.68	v -1419
284.52/284.68	v -1420
284.52/284.68	v -1421
284.52/284.68	v -1422
284.52/284.68	v 1423
284.52/284.68	v 1424
284.52/284.68	v -1425
284.52/284.68	v -1426
284.52/284.68	v -1427
284.52/284.68	v 1428
284.52/284.68	v 1429
284.52/284.68	v -1430
284.52/284.68	v -1431
284.52/284.68	v -1432
284.52/284.68	v 1433
284.52/284.68	v 1434
284.52/284.68	v -1435
284.52/284.68	v 1436
284.52/284.68	v -1437
284.52/284.68	v -1438
284.52/284.68	v 1439
284.52/284.68	v -1440
284.52/284.68	v 1441
284.52/284.68	v 1442
284.52/284.68	v -1443
284.52/284.68	v 1444
284.52/284.68	v 1445
284.52/284.68	v -1446
284.52/284.68	v -1447
284.52/284.68	v 1448
284.52/284.68	v -1449
284.52/284.68	v -1450
284.52/284.68	v -1451
284.52/284.68	v 1452
284.52/284.68	v -1453
284.52/284.68	v 1454
284.52/284.68	v -1455
284.52/284.68	v -1456
284.52/284.68	v 1457
284.52/284.68	v 1458
284.52/284.68	v 1459
284.52/284.68	v 1460
284.52/284.68	v 1461
284.52/284.68	v -1462
284.52/284.68	v 1463
284.52/284.68	v 1464
284.52/284.68	v 1465
284.52/284.68	v -1466
284.52/284.68	v 1467
284.52/284.68	v 1468
284.52/284.68	v 1469
284.52/284.68	v 1470
284.52/284.68	v -1471
284.52/284.68	v 1472
284.52/284.68	v -1473
284.52/284.68	v 1474
284.52/284.68	v -1475
284.52/284.68	v -1476
284.52/284.68	v 1477
284.52/284.68	v 1478
284.52/284.68	v 1479
284.52/284.68	v -1480
284.52/284.68	v 1481
284.52/284.68	v 1482
284.52/284.68	v -1483
284.52/284.68	v 1484
284.52/284.68	v 1485
284.52/284.68	v 1486
284.52/284.68	v -1487
284.52/284.68	v -1488
284.52/284.68	v -1489
284.52/284.68	v 1490
284.52/284.68	v 1491
284.52/284.68	v 1492
284.52/284.68	v -1493
284.52/284.68	v 1494
284.52/284.68	v -1495
284.52/284.68	v 1496
284.52/284.68	v 1497
284.52/284.68	v 1498
284.52/284.68	v 1499
284.52/284.68	v -1500
284.52/284.68	v -1501
284.52/284.68	v 1502
284.52/284.68	v 1503
284.52/284.68	v -1504
284.52/284.68	v -1505
284.52/284.68	v -1506
284.52/284.68	v -1507
284.52/284.68	v 1508
284.52/284.68	v 1509
284.52/284.68	v -1510
284.52/284.68	v -1511
284.52/284.68	v 1512
284.52/284.68	v -1513
284.52/284.68	v 1514
284.52/284.68	v -1515
284.52/284.68	v -1516
284.52/284.68	v 1517
284.52/284.68	v 1518
284.52/284.68	v -1519
284.52/284.68	v -1520
284.52/284.68	v 1521
284.52/284.68	v 1522
284.52/284.68	v -1523
284.52/284.68	v 1524
284.52/284.68	v 1525
284.52/284.68	v -1526
284.52/284.68	v -1527
284.52/284.68	v 1528
284.52/284.68	v -1529
284.52/284.68	v 1530
284.52/284.68	v 1531
284.52/284.68	v 1532
284.52/284.68	v -1533
284.52/284.68	v -1534
284.52/284.68	v 1535
284.52/284.68	v 1536
284.52/284.68	v 1537
284.52/284.68	v -1538
284.52/284.68	v -1539
284.52/284.68	v -1540
284.52/284.68	v 1541
284.52/284.68	v 1542
284.52/284.68	v -1543
284.52/284.68	v 1544
284.52/284.68	v 1545
284.52/284.68	v 1546
284.52/284.68	v -1547
284.52/284.68	v 1548
284.52/284.68	v 1549
284.52/284.68	v 1550
284.52/284.68	v 1551
284.52/284.68	v 1552
284.52/284.68	v -1553
284.52/284.68	v 1554
284.52/284.68	v 1555
284.52/284.68	v -1556
284.52/284.68	v -1557
284.52/284.68	v 1558
284.52/284.68	v -1559
284.52/284.68	v 1560
284.52/284.68	v 1561
284.52/284.68	v -1562
284.52/284.68	v -1563
284.52/284.68	v 1564
284.52/284.68	v 1565
284.52/284.68	v 1566
284.52/284.68	v 1567
284.52/284.68	v -1568
284.52/284.68	v -1569
284.52/284.68	v 1570
284.52/284.68	v 1571
284.52/284.68	v -1572
284.52/284.68	v 1573
284.52/284.68	v 1574
284.52/284.68	v -1575
284.52/284.68	v 1576
284.52/284.68	v -1577
284.52/284.68	v 1578
284.52/284.68	v 1579
284.52/284.68	v -1580
284.52/284.68	v 1581
284.52/284.68	v -1582
284.52/284.68	v -1583
284.52/284.68	v 1584
284.52/284.68	v 1585
284.52/284.68	v 1586
284.52/284.68	v -1587
284.52/284.68	v 1588
284.52/284.68	v -1589
284.52/284.68	v -1590
284.52/284.68	v -1591
284.52/284.68	v 1592
284.52/284.68	v 1593
284.52/284.68	v 1594
284.52/284.68	v 1595
284.52/284.68	v -1596
284.52/284.68	v 1597
284.52/284.68	v -1598
284.52/284.68	v -1599
284.52/284.68	v 1600
284.52/284.68	v 1601
284.52/284.68	v -1602
284.52/284.68	v 1603
284.52/284.68	v 1604
284.52/284.68	v -1605
284.52/284.68	v -1606
284.52/284.68	v 1607
284.52/284.68	v -1608
284.52/284.68	v -1609
284.52/284.68	v -1610
284.52/284.68	v 1611
284.52/284.68	v 1612
284.52/284.68	v 1613
284.52/284.68	v -1614
284.52/284.68	v -1615
284.52/284.68	v 1616
284.52/284.68	v -1617
284.52/284.68	v 1618
284.52/284.68	v 1619
284.52/284.68	v 1620
284.52/284.68	v -1621
284.52/284.68	v -1622
284.52/284.68	v 1623
284.52/284.68	v -1624
284.52/284.68	v -1625
284.52/284.68	v 1626
284.52/284.68	v -1627
284.52/284.68	v -1628
284.52/284.68	v 1629
284.52/284.68	v -1630
284.52/284.68	v 1631
284.52/284.68	v 1632
284.52/284.68	v 1633
284.52/284.68	v 1634
284.52/284.68	v -1635
284.52/284.68	v 1636
284.52/284.68	v 1637
284.52/284.68	v 1638
284.52/284.68	v 1639
284.52/284.68	v 1640
284.52/284.68	v 1641
284.52/284.68	v 1642
284.52/284.68	v 1643
284.52/284.68	v -1644
284.52/284.68	v -1645
284.52/284.68	v 1646
284.52/284.68	v -1647
284.52/284.68	v 1648
284.52/284.68	v -1649
284.52/284.68	v -1650
284.52/284.68	v 1651
284.52/284.68	v -1652
284.52/284.68	v -1653
284.52/284.68	v -1654
284.52/284.68	v 1655
284.52/284.68	v -1656
284.52/284.68	v 1657
284.52/284.68	v 1658
284.52/284.68	v -1659
284.52/284.68	v -1660
284.52/284.68	v 1661
284.52/284.68	v 1662
284.52/284.68	v -1663
284.52/284.68	v 1664
284.52/284.68	v -1665
284.52/284.68	v -1666
284.52/284.68	v -1667
284.52/284.68	v 1668
284.52/284.68	v 1669
284.52/284.68	v 1670
284.52/284.68	v 1671
284.52/284.68	v 1672
284.52/284.68	v 1673
284.52/284.68	v 1674
284.52/284.68	v -1675
284.52/284.68	v 1676
284.52/284.68	v 1677
284.52/284.68	v -1678
284.52/284.68	v 1679
284.52/284.68	v 1680
284.52/284.68	v -1681
284.52/284.68	v -1682
284.52/284.68	v -1683
284.52/284.68	v -1684
284.52/284.68	v 1685
284.52/284.68	v 1686
284.52/284.68	v -1687
284.52/284.68	v 1688
284.52/284.68	v -1689
284.52/284.68	v 1690
284.52/284.68	v 1691
284.52/284.68	v 1692
284.52/284.68	v 1693
284.52/284.68	v -1694
284.52/284.68	v 1695
284.52/284.68	v -1696
284.52/284.68	v 1697
284.52/284.68	v -1698
284.52/284.68	v -1699
284.52/284.68	v -1700
284.52/284.68	v -1701
284.52/284.68	v 1702
284.52/284.68	v -1703
284.52/284.68	v 1704
284.52/284.68	v 1705
284.52/284.68	v 1706
284.52/284.68	v 1707
284.52/284.68	v 1708
284.52/284.68	v -1709
284.52/284.68	v 1710
284.52/284.68	v -1711
284.52/284.68	v 1712
284.52/284.68	v -1713
284.52/284.68	v -1714
284.52/284.68	v -1715
284.52/284.68	v 1716
284.52/284.68	v 1717
284.52/284.68	v 1718
284.52/284.68	v -1719
284.52/284.68	v 1720
284.52/284.68	v -1721
284.52/284.68	v 1722
284.52/284.68	v -1723
284.52/284.68	v 1724
284.52/284.68	v 1725
284.52/284.68	v 1726
284.52/284.68	v -1727
284.52/284.68	v -1728
284.52/284.68	v 1729
284.52/284.68	v 1730
284.52/284.68	v -1731
284.52/284.68	v -1732
284.52/284.68	v -1733
284.52/284.68	v -1734
284.52/284.68	v 1735
284.52/284.68	v -1736
284.52/284.68	v 1737
284.52/284.68	v -1738
284.52/284.68	v 1739
284.52/284.68	v -1740
284.52/284.68	v 1741
284.52/284.68	v 1742
284.52/284.68	v 1743
284.52/284.68	v -1744
284.52/284.68	v 1745
284.52/284.68	v 1746
284.52/284.68	v 1747
284.52/284.68	v -1748
284.52/284.68	v 1749
284.52/284.68	v -1750
284.52/284.68	v 1751
284.52/284.68	v -1752
284.52/284.68	v -1753
284.52/284.68	v 1754
284.52/284.68	v 1755
284.52/284.68	v -1756
284.52/284.68	v 1757
284.52/284.68	v -1758
284.52/284.68	v -1759
284.52/284.68	v 1760
284.52/284.68	v -1761
284.52/284.68	v -1762
284.52/284.68	v -1763
284.52/284.68	v -1764
284.52/284.68	v 1765
284.52/284.68	v -1766
284.52/284.68	v 1767
284.52/284.68	v -1768
284.52/284.68	v 1769
284.52/284.68	v -1770
284.52/284.68	v -1771
284.52/284.68	v -1772
284.52/284.68	v 1773
284.52/284.68	v -1774
284.52/284.68	v 1775
284.52/284.68	v -1776
284.52/284.68	v -1777
284.52/284.68	v 1778
284.52/284.68	v 1779
284.52/284.68	v 1780
284.52/284.68	v 1781
284.52/284.68	v 1782
284.52/284.68	v -1783
284.52/284.68	v 1784
284.52/284.68	v -1785
284.52/284.68	v 1786
284.52/284.68	v -1787
284.52/284.68	v 1788
284.52/284.68	v -1789
284.52/284.68	v -1790
284.52/284.68	v -1791
284.52/284.68	v 1792
284.52/284.68	v -1793
284.52/284.68	v -1794
284.52/284.68	v 1795
284.52/284.68	v 1796
284.52/284.68	v -1797
284.52/284.68	v -1798
284.52/284.68	v 1799
284.52/284.68	v 1800
284.52/284.68	v 1801
284.52/284.68	v -1802
284.52/284.68	v -1803
284.52/284.68	v 1804
284.52/284.68	v 1805
284.52/284.68	v -1806
284.52/284.68	v 1807
284.52/284.68	v -1808
284.52/284.68	v -1809
284.52/284.68	v 1810
284.52/284.68	v -1811
284.52/284.68	v 1812
284.52/284.68	v -1813
284.52/284.68	v -1814
284.52/284.68	v -1815
284.52/284.68	v 1816
284.52/284.68	v -1817
284.52/284.68	v 1818
284.52/284.68	v 1819
284.52/284.68	v 1820
284.52/284.68	v 1821
284.52/284.68	v -1822
284.52/284.68	v -1823
284.52/284.68	v -1824
284.52/284.68	v -1825
284.52/284.68	v -1826
284.52/284.68	v -1827
284.52/284.68	v -1828
284.52/284.68	v 1829
284.52/284.68	v 1830
284.52/284.68	v -1831
284.52/284.68	v -1832
284.52/284.68	v -1833
284.52/284.68	v 1834
284.52/284.68	v -1835
284.52/284.68	v 1836
284.52/284.68	v 1837
284.52/284.68	v -1838
284.52/284.68	v -1839
284.52/284.68	v 1840
284.52/284.68	v -1841
284.52/284.68	v -1842
284.52/284.68	v -1843
284.52/284.68	v -1844
284.52/284.68	v 1845
284.52/284.68	v -1846
284.52/284.68	v 1847
284.52/284.68	v 1848
284.52/284.68	v -1849
284.52/284.68	v -1850
284.52/284.68	v -1851
284.52/284.68	v 1852
284.52/284.68	v 1853
284.52/284.68	v 1854
284.52/284.68	v -1855
284.52/284.68	v -1856
284.52/284.68	v -1857
284.52/284.68	v -1858
284.52/284.68	v -1859
284.52/284.68	v -1860
284.52/284.68	v -1861
284.52/284.68	v -1862
284.52/284.68	v 1863
284.52/284.68	v 1864
284.52/284.68	v -1865
284.52/284.68	v 1866
284.52/284.68	v -1867
284.52/284.68	v 1868
284.52/284.68	v -1869
284.52/284.68	v 1870
284.52/284.68	v 1871
284.52/284.68	v 1872
284.52/284.68	v -1873
284.52/284.68	v -1874
284.52/284.68	v 1875
284.52/284.68	v -1876
284.52/284.68	v -1877
284.52/284.68	v 1878
284.52/284.68	v 1879
284.52/284.68	v -1880
284.52/284.68	v 1881
284.52/284.68	v 1882
284.52/284.68	v -1883
284.52/284.68	v 1884
284.52/284.68	v -1885
284.52/284.68	v 1886
284.52/284.68	v -1887
284.52/284.68	v 1888
284.52/284.68	v 1889
284.52/284.68	v 1890
284.52/284.68	v 1891
284.52/284.68	v 1892
284.52/284.68	v -1893
284.52/284.68	v -1894
284.52/284.68	v 1895
284.52/284.68	v 1896
284.52/284.68	v 1897
284.52/284.68	v 1898
284.52/284.68	v 1899
284.52/284.68	v -1900
284.52/284.68	v -1901
284.52/284.68	v -1902
284.52/284.68	v -1903
284.52/284.68	v 1904
284.52/284.68	v -1905
284.52/284.68	v -1906
284.52/284.68	v 1907
284.52/284.68	v -1908
284.52/284.68	v 1909
284.52/284.68	v 1910
284.52/284.68	v 1911
284.52/284.68	v 1912
284.52/284.68	v -1913
284.52/284.68	v 1914
284.52/284.68	v -1915
284.52/284.68	v 1916
284.52/284.68	v -1917
284.52/284.68	v 1918
284.52/284.68	v 1919
284.52/284.68	v -1920
284.52/284.68	v -1921
284.52/284.68	v 1922
284.52/284.68	v 1923
284.52/284.68	v 1924
284.52/284.68	v -1925
284.52/284.68	v 1926
284.52/284.68	v 1927
284.52/284.68	v -1928
284.52/284.68	v 1929
284.52/284.68	v 1930
284.52/284.68	v 1931
284.52/284.68	v -1932
284.52/284.68	v -1933
284.52/284.68	v -1934
284.52/284.68	v 1935
284.52/284.68	v 1936
284.52/284.68	v 1937
284.52/284.68	v 1938
284.52/284.68	v -1939
284.52/284.68	v 1940
284.52/284.68	v 1941
284.52/284.68	v 1942
284.52/284.68	v 1943
284.52/284.68	v 1944
284.52/284.68	v 1945
284.52/284.68	v 1946
284.52/284.68	v 1947
284.52/284.68	v 1948
284.52/284.68	v -1949
284.52/284.68	v 1950
284.52/284.68	v 1951
284.52/284.68	v 1952
284.52/284.68	v -1953
284.52/284.68	v -1954
284.52/284.68	v 1955
284.52/284.68	v 1956
284.52/284.68	v 1957
284.52/284.68	v -1958
284.52/284.68	v 1959
284.52/284.68	v 1960
284.52/284.68	v -1961
284.52/284.68	v 1962
284.52/284.68	v 1963
284.52/284.68	v -1964
284.52/284.68	v -1965
284.52/284.68	v -1966
284.52/284.68	v -1967
284.52/284.68	v -1968
284.52/284.68	v 1969
284.52/284.68	v -1970
284.52/284.68	v 1971
284.52/284.68	v -1972
284.52/284.68	v -1973
284.52/284.68	v 1974
284.52/284.68	v 1975
284.52/284.68	v 1976
284.52/284.68	v 1977
284.52/284.68	v -1978
284.52/284.68	v 1979
284.52/284.68	v -1980
284.52/284.68	v -1981
284.52/284.68	v 1982
284.52/284.68	v -1983
284.52/284.68	v -1984
284.52/284.68	v 1985
284.52/284.68	v -1986
284.52/284.68	v 1987
284.52/284.68	v 1988
284.52/284.68	v -1989
284.52/284.68	v 1990
284.52/284.68	v -1991
284.52/284.68	v -1992
284.52/284.68	v 1993
284.52/284.68	v -1994
284.52/284.68	v 1995
284.52/284.68	v -1996
284.52/284.68	v -1997
284.52/284.68	v 1998
284.52/284.68	v -1999
284.52/284.68	v 2000
284.52/284.68	v -2001
284.52/284.68	v -2002
284.52/284.68	v -2003
284.52/284.68	v 2004
284.52/284.68	v -2005
284.52/284.68	v -2006
284.52/284.68	v 2007
284.52/284.68	v -2008
284.52/284.68	v -2009
284.52/284.68	v 2010
284.52/284.68	v 2011
284.52/284.68	v 2012
284.52/284.68	v 2013
284.52/284.68	v 2014
284.52/284.68	v 2015
284.52/284.68	v 2016
284.52/284.68	v -2017
284.52/284.68	v -2018
284.52/284.68	v -2019
284.52/284.68	v -2020
284.52/284.68	v 2021
284.52/284.68	v -2022
284.52/284.68	v 2023
284.52/284.68	v -2024
284.52/284.68	v -2025
284.52/284.68	v 2026
284.52/284.68	v -2027
284.52/284.68	v -2028
284.52/284.68	v -2029
284.52/284.68	v -2030
284.52/284.68	v -2031
284.52/284.68	v -2032
284.52/284.68	v -2033
284.52/284.68	v 2034
284.52/284.68	v 2035
284.52/284.68	v 2036
284.52/284.68	v -2037
284.52/284.68	v -2038
284.52/284.68	v 2039
284.52/284.68	v -2040
284.52/284.68	v 2041
284.52/284.68	v 2042
284.52/284.68	v -2043
284.52/284.68	v -2044
284.52/284.68	v 2045
284.52/284.68	v -2046
284.52/284.68	v -2047
284.52/284.68	v -2048
284.52/284.68	v 2049
284.52/284.68	v 2050
284.52/284.68	v 2051
284.52/284.68	v 2052
284.52/284.68	v 2053
284.52/284.68	v -2054
284.52/284.68	v -2055
284.52/284.68	v -2056
284.52/284.68	v 2057
284.52/284.68	v -2058
284.52/284.68	v 2059
284.52/284.68	v 2060
284.52/284.68	v 2061
284.52/284.68	v -2062
284.52/284.68	v -2063
284.52/284.68	v 2064
284.52/284.68	v 2065
284.52/284.68	v -2066
284.52/284.68	v 2067
284.52/284.68	v -2068
284.52/284.68	v -2069
284.52/284.68	v -2070
284.52/284.68	v -2071
284.52/284.68	v -2072
284.52/284.68	v -2073
284.52/284.68	v -2074
284.52/284.68	v 2075
284.52/284.68	v 2076
284.52/284.68	v -2077
284.52/284.68	v 2078
284.52/284.68	v 2079
284.52/284.68	v -2080
284.52/284.68	v -2081
284.52/284.68	v 2082
284.52/284.68	v 2083
284.52/284.68	v 2084
284.52/284.68	v -2085
284.52/284.68	v 2086
284.52/284.68	v 2087
284.52/284.68	v 2088
284.52/284.68	v 2089
284.52/284.68	v -2090
284.52/284.68	v 2091
284.52/284.68	v 2092
284.52/284.68	v 2093
284.52/284.68	v 2094
284.52/284.68	v -2095
284.52/284.68	v 2096
284.52/284.68	v 2097
284.52/284.68	v 2098
284.52/284.68	v 2099
284.52/284.68	v 2100
284.52/284.68	v 2101
284.52/284.68	v -2102
284.52/284.68	v 2103
284.52/284.68	v 2104
284.52/284.68	v 2105
284.52/284.68	v -2106
284.52/284.68	v 2107
284.52/284.68	v 2108
284.52/284.68	v -2109
284.52/284.68	v 2110
284.52/284.68	v 2111
284.52/284.68	v -2112
284.52/284.68	v -2113
284.52/284.68	v -2114
284.52/284.68	v -2115
284.52/284.68	v -2116
284.52/284.68	v -2117
284.52/284.68	v 2118
284.52/284.68	v 2119
284.52/284.68	v -2120
284.52/284.68	v -2121
284.52/284.68	v 2122
284.52/284.68	v 2123
284.52/284.68	v -2124
284.52/284.68	v -2125
284.52/284.68	v 2126
284.52/284.68	v -2127
284.52/284.68	v 2128
284.52/284.68	v -2129
284.52/284.68	v 2130
284.52/284.68	v 2131
284.52/284.68	v -2132
284.52/284.68	v -2133
284.52/284.68	v 2134
284.52/284.68	v 2135
284.52/284.68	v -2136
284.52/284.68	v -2137
284.52/284.68	v 2138
284.52/284.68	v 2139
284.52/284.68	v 2140
284.52/284.68	v -2141
284.52/284.68	v -2142
284.52/284.68	v 2143
284.52/284.68	v -2144
284.52/284.68	v 2145
284.52/284.68	v 2146
284.52/284.68	v -2147
284.52/284.68	v 2148
284.52/284.68	v 2149
284.52/284.68	v 2150
284.52/284.68	v -2151
284.52/284.68	v -2152
284.52/284.68	v 2153
284.52/284.68	v 2154
284.52/284.68	v -2155
284.52/284.68	v 2156
284.52/284.68	v -2157
284.52/284.68	v -2158
284.52/284.68	v -2159
284.52/284.68	v 2160
284.52/284.68	v 2161
284.52/284.68	v -2162
284.52/284.68	v 2163
284.52/284.68	v 2164
284.52/284.68	v -2165
284.52/284.68	v -2166
284.52/284.68	v -2167
284.52/284.68	v 2168
284.52/284.68	v 2169
284.52/284.68	v 2170
284.52/284.68	v 2171
284.52/284.68	v 2172
284.52/284.68	v 2173
284.52/284.68	v -2174
284.52/284.68	v -2175
284.52/284.68	v 2176
284.52/284.68	v 2177
284.52/284.68	v 2178
284.52/284.68	v 2179
284.52/284.68	v 2180
284.52/284.68	v -2181
284.52/284.68	v -2182
284.52/284.68	v 2183
284.52/284.68	v -2184
284.52/284.68	v -2185
284.52/284.68	v 2186
284.52/284.68	v 2187
284.52/284.68	v 2188
284.52/284.68	v 2189
284.52/284.68	v 2190
284.52/284.68	v 2191
284.52/284.68	v 2192
284.52/284.68	v 2193
284.52/284.68	v 2194
284.52/284.68	v 2195
284.52/284.68	v -2196
284.52/284.68	v -2197
284.52/284.69	v 2198
284.52/284.69	v 2199
284.52/284.69	v 2200
284.52/284.69	v -2201
284.52/284.69	v -2202
284.52/284.69	v -2203
284.52/284.69	v -2204
284.52/284.69	v -2205
284.52/284.69	v -2206
284.52/284.69	v -2207
284.52/284.69	v -2208
284.52/284.69	v 2209
284.52/284.69	v 2210
284.52/284.69	v 2211
284.52/284.69	v -2212
284.52/284.69	v 2213
284.52/284.69	v 2214
284.52/284.69	v -2215
284.52/284.69	v -2216
284.52/284.69	v -2217
284.52/284.69	v -2218
284.52/284.69	v -2219
284.52/284.69	v -2220
284.52/284.69	v 2221
284.52/284.69	v 2222
284.52/284.69	v 2223
284.52/284.69	v 2224
284.52/284.69	v 2225
284.52/284.69	v 2226
284.52/284.69	v -2227
284.52/284.69	v -2228
284.52/284.69	v 2229
284.52/284.69	v -2230
284.52/284.69	v -2231
284.52/284.69	v 2232
284.52/284.69	v 2233
284.52/284.69	v -2234
284.52/284.69	v 2235
284.52/284.69	v 2236
284.52/284.69	v 2237
284.52/284.69	v 2238
284.52/284.69	v 2239
284.52/284.69	v -2240
284.52/284.69	v -2241
284.52/284.69	v -2242
284.52/284.69	v 2243
284.52/284.69	v -2244
284.52/284.69	v -2245
284.52/284.69	v 2246
284.52/284.69	v 2247
284.52/284.69	v 2248
284.52/284.69	v -2249
284.52/284.69	v -2250
284.52/284.69	v -2251
284.52/284.69	v -2252
284.52/284.69	v -2253
284.52/284.69	v 2254
284.52/284.69	v -2255
284.52/284.69	v 2256
284.52/284.69	v -2257
284.52/284.69	v -2258
284.52/284.69	v 2259
284.52/284.69	v 2260
284.52/284.69	v -2261
284.52/284.69	v 2262
284.52/284.69	v -2263
284.52/284.69	v 2264
284.52/284.69	v 2265
284.52/284.69	v 2266
284.52/284.69	v 2267
284.52/284.69	v 2268
284.52/284.69	v 2269
284.52/284.69	v -2270
284.52/284.69	v 2271
284.52/284.69	v 2272
284.52/284.69	v -2273
284.52/284.69	v 2274
284.52/284.69	v -2275
284.52/284.69	v -2276
284.52/284.69	v 2277
284.52/284.69	v -2278
284.52/284.69	v -2279
284.52/284.69	v 2280
284.52/284.69	v 2281
284.52/284.69	v 2282
284.52/284.69	v -2283
284.52/284.69	v 2284
284.52/284.69	v -2285
284.52/284.69	v -2286
284.52/284.69	v 2287
284.52/284.69	v -2288
284.52/284.69	v 2289
284.52/284.69	v 2290
284.52/284.69	v 2291
284.52/284.69	v 2292
284.52/284.69	v 2293
284.52/284.69	v 2294
284.52/284.69	v 2295
284.52/284.69	v -2296
284.52/284.69	v 2297
284.52/284.69	v 2298
284.52/284.69	v 2299
284.52/284.69	v 2300
284.52/284.69	v -2301
284.52/284.69	v -2302
284.52/284.69	v 2303
284.52/284.69	v 2304
284.52/284.69	v -2305
284.52/284.69	v -2306
284.52/284.69	v -2307
284.52/284.69	v -2308
284.52/284.69	v 2309
284.52/284.69	v -2310
284.52/284.69	v 2311
284.52/284.69	v 2312
284.52/284.69	v 2313
284.52/284.69	v -2314
284.52/284.69	v -2315
284.52/284.69	v 2316
284.52/284.69	v -2317
284.52/284.69	v -2318
284.52/284.69	v -2319
284.52/284.69	v 2320
284.52/284.69	v -2321
284.52/284.69	v 2322
284.52/284.69	v 2323
284.52/284.69	v -2324
284.52/284.69	v -2325
284.52/284.69	v 2326
284.52/284.69	v -2327
284.52/284.69	v 2328
284.52/284.69	v -2329
284.52/284.69	v 2330
284.52/284.69	v -2331
284.52/284.69	v -2332
284.52/284.69	v -2333
284.52/284.69	v -2334
284.52/284.69	v -2335
284.52/284.69	v -2336
284.52/284.69	v -2337
284.52/284.69	v -2338
284.52/284.69	v 2339
284.52/284.69	v 2340
284.52/284.69	v -2341
284.52/284.69	v 2342
284.52/284.69	v -2343
284.52/284.69	v 2344
284.52/284.69	v 2345
284.52/284.69	v 2346
284.52/284.69	v 2347
284.52/284.69	v 2348
284.52/284.69	v 2349
284.52/284.69	v -2350
284.52/284.69	v 2351
284.52/284.69	v 2352
284.52/284.69	v 2353
284.52/284.69	v 2354
284.52/284.69	v 2355
284.52/284.69	v 2356
284.52/284.69	v 2357
284.52/284.69	v -2358
284.52/284.69	v 2359
284.52/284.69	v 2360
284.52/284.69	v -2361
284.52/284.69	v -2362
284.52/284.69	v 2363
284.52/284.69	v 2364
284.52/284.69	v -2365
284.52/284.69	v 2366
284.52/284.69	v 2367
284.52/284.69	v 2368
284.52/284.69	v 2369
284.52/284.69	v 2370
284.52/284.69	v 2371
284.52/284.69	v 2372
284.52/284.69	v -2373
284.52/284.69	v -2374
284.52/284.69	v 2375
284.52/284.69	v -2376
284.52/284.69	v 2377
284.52/284.69	v -2378
284.52/284.69	v 2379
284.52/284.69	v 2380
284.52/284.69	v -2381
284.52/284.69	v 2382
284.52/284.69	v -2383
284.52/284.69	v 2384
284.52/284.69	v 2385
284.52/284.69	v -2386
284.52/284.69	v 2387
284.52/284.69	v 2388
284.52/284.69	v -2389
284.52/284.69	v -2390
284.52/284.69	v 2391
284.52/284.69	v 2392
284.52/284.69	v -2393
284.52/284.69	v -2394
284.52/284.69	v -2395
284.52/284.69	v 2396
284.52/284.69	v 2397
284.52/284.69	v 2398
284.52/284.69	v 2399
284.52/284.69	v -2400
284.52/284.69	v -2401
284.52/284.69	v -2402
284.52/284.69	v -2403
284.52/284.69	v 2404
284.52/284.69	v -2405
284.52/284.69	v 2406
284.52/284.69	v 2407
284.52/284.69	v -2408
284.52/284.69	v 2409
284.52/284.69	v -2410
284.52/284.69	v 2411
284.52/284.69	v -2412
284.52/284.69	v -2413
284.52/284.69	v 2414
284.52/284.69	v 2415
284.52/284.69	v 2416
284.52/284.69	v 2417
284.52/284.69	v -2418
284.52/284.69	v -2419
284.52/284.69	v 2420
284.52/284.69	v 2421
284.52/284.69	v -2422
284.52/284.69	v -2423
284.52/284.69	v -2424
284.52/284.69	v 2425
284.52/284.69	v 2426
284.52/284.69	v 2427
284.52/284.69	v -2428
284.52/284.69	v -2429
284.52/284.69	v -2430
284.52/284.69	v 2431
284.52/284.69	v -2432
284.52/284.69	v -2433
284.52/284.69	v -2434
284.52/284.69	v -2435
284.52/284.69	v 2436
284.52/284.69	v 2437
284.52/284.69	v 2438
284.52/284.69	v -2439
284.52/284.69	v 2440
284.52/284.69	v 2441
284.52/284.69	v -2442
284.52/284.69	v -2443
284.52/284.69	v 2444
284.52/284.69	v -2445
284.52/284.69	v 2446
284.52/284.69	v -2447
284.52/284.69	v 2448
284.52/284.69	v 2449
284.52/284.69	v -2450
284.52/284.69	v 2451
284.52/284.69	v -2452
284.52/284.69	v -2453
284.52/284.69	v -2454
284.52/284.69	v -2455
284.52/284.69	v 2456
284.52/284.69	v -2457
284.52/284.69	v 2458
284.52/284.69	v -2459
284.52/284.69	v -2460
284.52/284.69	v 2461
284.52/284.69	v 2462
284.52/284.69	v 2463
284.52/284.69	v 2464
284.52/284.69	v -2465
284.52/284.69	v 2466
284.52/284.69	v -2467
284.52/284.69	v -2468
284.52/284.69	v 2469
284.52/284.69	v 2470
284.52/284.69	v 2471
284.52/284.69	v 2472
284.52/284.69	v -2473
284.52/284.69	v 2474
284.52/284.69	v -2475
284.52/284.69	v -2476
284.52/284.69	v 2477
284.52/284.69	v 2478
284.52/284.69	v 2479
284.52/284.69	v -2480
284.52/284.69	v 2481
284.52/284.69	v -2482
284.52/284.69	v -2483
284.52/284.69	v -2484
284.52/284.69	v -2485
284.52/284.69	v -2486
284.52/284.69	v 2487
284.52/284.69	v 2488
284.52/284.69	v 2489
284.52/284.69	v 2490
284.52/284.69	v 2491
284.52/284.69	v -2492
284.52/284.69	v -2493
284.52/284.69	v 2494
284.52/284.69	v -2495
284.52/284.69	v 2496
284.52/284.69	v -2497
284.52/284.69	v 2498
284.52/284.69	v -2499
284.52/284.69	v -2500
284.52/284.69	v 2501
284.52/284.69	v 2502
284.52/284.69	v 2503
284.52/284.69	v -2504
284.52/284.69	v 2505
284.52/284.69	v -2506
284.52/284.69	v 2507
284.52/284.69	v 2508
284.52/284.69	v -2509
284.52/284.69	v -2510
284.52/284.69	v -2511
284.52/284.69	v 2512
284.52/284.69	v -2513
284.52/284.69	v -2514
284.52/284.69	v -2515
284.52/284.69	v -2516
284.52/284.69	v 2517
284.52/284.69	v -2518
284.52/284.69	v -2519
284.52/284.69	v -2520
284.52/284.69	v -2521
284.52/284.69	v 2522
284.52/284.69	v 2523
284.52/284.69	v -2524
284.52/284.69	v 2525
284.52/284.69	v -2526
284.52/284.69	v -2527
284.52/284.69	v 2528
284.52/284.69	v 2529
284.52/284.69	v 2530
284.52/284.69	v 2531
284.52/284.69	v 2532
284.52/284.69	v 2533
284.52/284.69	v -2534
284.52/284.69	v -2535
284.52/284.69	v 2536
284.52/284.69	v 2537
284.52/284.69	v 2538
284.52/284.69	v 2539
284.52/284.69	v 2540
284.52/284.69	v -2541
284.52/284.69	v 2542
284.52/284.69	v -2543
284.52/284.69	v -2544
284.52/284.69	v 2545
284.52/284.69	v 2546
284.52/284.69	v 2547
284.52/284.69	v -2548
284.52/284.69	v 2549
284.52/284.69	v 2550
284.52/284.69	v -2551
284.52/284.69	v 2552
284.52/284.69	v -2553
284.52/284.69	v 2554
284.52/284.69	v 2555
284.52/284.69	v -2556
284.52/284.69	v -2557
284.52/284.69	v -2558
284.52/284.69	v -2559
284.52/284.69	v 2560
284.52/284.69	v 2561
284.52/284.69	v -2562
284.52/284.69	v 2563
284.52/284.69	v -2564
284.52/284.69	v -2565
284.52/284.69	v 2566
284.52/284.69	v 2567
284.52/284.69	v -2568
284.52/284.69	v -2569
284.52/284.69	v -2570
284.52/284.69	v 2571
284.52/284.69	v 2572
284.52/284.69	v 2573
284.52/284.69	v 2574
284.52/284.69	v 2575
284.52/284.69	v 2576
284.52/284.69	v 2577
284.52/284.69	v 2578
284.52/284.69	v 2579
284.52/284.69	v -2580
284.52/284.69	v -2581
284.52/284.69	v -2582
284.52/284.69	v -2583
284.52/284.69	v -2584
284.52/284.69	v -2585
284.52/284.69	v 2586
284.52/284.69	v -2587
284.52/284.69	v -2588
284.52/284.69	v 2589
284.52/284.69	v -2590
284.52/284.69	v 2591
284.52/284.69	v 2592
284.52/284.69	v 2593
284.52/284.69	v 2594
284.52/284.69	v 2595
284.52/284.69	v 2596
284.52/284.69	v 2597
284.52/284.69	v 2598
284.52/284.69	v -2599
284.52/284.69	v -2600
284.52/284.69	v -2601
284.52/284.69	v 2602
284.52/284.69	v 2603
284.52/284.69	v 2604
284.52/284.69	v -2605
284.52/284.69	v 2606
284.52/284.69	v 2607
284.52/284.69	v 2608
284.52/284.69	v 2609
284.52/284.69	v 2610
284.52/284.69	v 2611
284.52/284.69	v -2612
284.52/284.69	v 2613
284.52/284.69	v 2614
284.52/284.69	v 2615
284.52/284.69	v 2616
284.52/284.69	v -2617
284.52/284.69	v -2618
284.52/284.69	v -2619
284.52/284.69	v 2620
284.52/284.69	v -2621
284.52/284.69	v -2622
284.52/284.69	v -2623
284.52/284.69	v 2624
284.52/284.69	v -2625
284.52/284.69	v 2626
284.52/284.69	v -2627
284.52/284.69	v 2628
284.52/284.69	v 2629
284.52/284.69	v 2630
284.52/284.69	v -2631
284.52/284.69	v -2632
284.52/284.69	v -2633
284.52/284.69	v -2634
284.52/284.69	v -2635
284.52/284.69	v -2636
284.52/284.69	v -2637
284.52/284.69	v 2638
284.52/284.69	v 2639
284.52/284.69	v 2640
284.52/284.69	v 2641
284.52/284.69	v -2642
284.52/284.69	v 2643
284.52/284.69	v 2644
284.52/284.69	v 2645
284.52/284.69	v -2646
284.52/284.69	v 2647
284.52/284.69	v 2648
284.52/284.69	v 2649
284.52/284.69	v -2650
284.52/284.69	v -2651
284.52/284.69	v 2652
284.52/284.69	v -2653
284.52/284.69	v 2654
284.52/284.69	v -2655
284.52/284.69	v -2656
284.52/284.69	v -2657
284.52/284.69	v 2658
284.52/284.69	v -2659
284.52/284.69	v 2660
284.52/284.69	v 2661
284.52/284.69	v -2662
284.52/284.69	v 2663
284.52/284.69	v 2664
284.52/284.69	v 2665
284.52/284.69	v 2666
284.52/284.69	v -2667
284.52/284.69	v 2668
284.52/284.69	v 2669
284.52/284.69	v 2670
284.52/284.69	v -2671
284.52/284.69	v -2672
284.52/284.69	v 2673
284.52/284.69	v -2674
284.52/284.69	v -2675
284.52/284.69	v -2676
284.52/284.69	v 2677
284.52/284.69	v -2678
284.52/284.69	v 2679
284.52/284.69	v -2680
284.52/284.69	v 2681
284.52/284.69	v -2682
284.52/284.69	v -2683
284.52/284.69	v 2684
284.52/284.69	v 2685
284.52/284.69	v -2686
284.52/284.69	v 2687
284.52/284.69	v 2688
284.52/284.69	v 2689
284.52/284.69	v -2690
284.52/284.69	v 2691
284.52/284.69	v -2692
284.52/284.69	v -2693
284.52/284.69	v -2694
284.52/284.69	v 2695
284.52/284.69	v 2696
284.52/284.69	v 2697
284.52/284.69	v -2698
284.52/284.69	v 2699
284.52/284.69	v 2700
284.52/284.69	v 2701
284.52/284.69	v 2702
284.52/284.69	v 2703
284.52/284.69	v 2704
284.52/284.69	v 2705
284.52/284.69	v -2706
284.52/284.69	v 2707
284.52/284.69	v 2708
284.52/284.69	v 2709
284.52/284.69	v -2710
284.52/284.69	v 2711
284.52/284.69	v -2712
284.52/284.69	v 2713
284.52/284.69	v -2714
284.52/284.69	v -2715
284.52/284.69	v 2716
284.52/284.69	v 2717
284.52/284.69	v -2718
284.52/284.69	v -2719
284.52/284.69	v 2720
284.52/284.69	v 2721
284.52/284.69	v -2722
284.52/284.69	v 2723
284.52/284.69	v 2724
284.52/284.69	v 2725
284.52/284.69	v 2726
284.52/284.69	v 2727
284.52/284.69	v 2728
284.52/284.69	v 2729
284.52/284.69	v -2730
284.52/284.69	v 2731
284.52/284.69	v -2732
284.52/284.69	v 2733
284.52/284.69	v -2734
284.52/284.69	v -2735
284.52/284.69	v -2736
284.52/284.69	v -2737
284.52/284.69	v -2738
284.52/284.69	v 2739
284.52/284.69	v 2740
284.52/284.69	v 2741
284.52/284.69	v 2742
284.52/284.69	v 2743
284.52/284.69	v 2744
284.52/284.69	v -2745
284.52/284.69	v -2746
284.52/284.69	v -2747
284.52/284.69	v -2748
284.52/284.69	v -2749
284.52/284.69	v -2750
284.52/284.69	v 2751
284.52/284.69	v 2752
284.52/284.69	v 2753
284.52/284.69	v -2754
284.52/284.69	v -2755
284.52/284.69	v -2756
284.52/284.69	v 2757
284.52/284.69	v 2758
284.52/284.69	v -2759
284.52/284.69	v -2760
284.52/284.69	v -2761
284.52/284.69	v 2762
284.52/284.69	v -2763
284.52/284.69	v 2764
284.52/284.69	v 2765
284.52/284.69	v -2766
284.52/284.69	v -2767
284.52/284.69	v -2768
284.52/284.69	v 2769
284.52/284.69	v 2770
284.52/284.69	v 2771
284.52/284.69	v 2772
284.52/284.69	v 2773
284.52/284.69	v 2774
284.52/284.69	v 2775
284.52/284.69	v 2776
284.52/284.69	v 2777
284.52/284.69	v 2778
284.52/284.69	v 2779
284.52/284.69	v 2780
284.52/284.69	v -2781
284.52/284.69	v -2782
284.52/284.69	v 2783
284.52/284.69	v -2784
284.52/284.69	v 2785
284.52/284.69	v -2786
284.52/284.69	v -2787
284.52/284.69	v 2788
284.52/284.69	v 2789
284.52/284.69	v -2790
284.52/284.69	v -2791
284.52/284.69	v 2792
284.52/284.69	v -2793
284.52/284.69	v 2794
284.52/284.69	v 2795
284.52/284.69	v -2796
284.52/284.69	v 2797
284.52/284.69	v 2798
284.52/284.69	v 2799
284.52/284.69	v 2800
284.52/284.69	v -2801
284.52/284.69	v -2802
284.52/284.69	v -2803
284.52/284.69	v -2804
284.52/284.69	v 2805
284.52/284.69	v 2806
284.52/284.69	v 2807
284.52/284.69	v -2808
284.52/284.69	v -2809
284.52/284.69	v 2810
284.52/284.69	v -2811
284.52/284.69	v 2812
284.52/284.69	v 2813
284.52/284.69	v -2814
284.52/284.69	v 2815
284.52/284.69	v 2816
284.52/284.69	v -2817
284.52/284.69	v -2818
284.52/284.69	v 2819
284.52/284.69	v 2820
284.52/284.69	v 2821
284.52/284.69	v 2822
284.52/284.69	v -2823
284.52/284.69	v 2824
284.52/284.69	v 2825
284.52/284.69	v -2826
284.52/284.69	v 2827
284.52/284.69	v -2828
284.52/284.69	v 2829
284.52/284.69	v -2830
284.52/284.69	v 2831
284.52/284.69	v 2832
284.52/284.69	v -2833
284.52/284.69	v 2834
284.52/284.69	v -2835
284.52/284.69	v 2836
284.52/284.69	v -2837
284.52/284.69	v 2838
284.52/284.69	v -2839
284.52/284.69	v -2840
284.52/284.69	v 2841
284.52/284.69	v 2842
284.52/284.69	v -2843
284.52/284.69	v 2844
284.52/284.69	v 2845
284.52/284.69	v -2846
284.52/284.69	v -2847
284.52/284.69	v -2848
284.52/284.69	v 2849
284.52/284.69	v 2850
284.52/284.69	v 2851
284.52/284.69	v 2852
284.52/284.69	v 2853
284.52/284.69	v -2854
284.52/284.69	v -2855
284.52/284.69	v 2856
284.52/284.69	v -2857
284.52/284.69	v -2858
284.52/284.69	v 2859
284.52/284.69	v 2860
284.52/284.69	v 2861
284.52/284.69	v 2862
284.52/284.69	v -2863
284.52/284.69	v 2864
284.52/284.69	v 2865
284.52/284.69	v 2866
284.52/284.69	v 2867
284.52/284.69	v -2868
284.52/284.69	v 2869
284.52/284.69	v -2870
284.52/284.69	v 2871
284.52/284.69	v -2872
284.52/284.69	v 2873
284.52/284.69	v -2874
284.52/284.69	v -2875
284.52/284.69	v 2876
284.52/284.69	v 2877
284.52/284.69	v -2878
284.52/284.69	v 2879
284.52/284.69	v 2880
284.52/284.69	v -2881
284.52/284.69	v 2882
284.52/284.69	v -2883
284.52/284.69	v -2884
284.52/284.69	v -2885
284.52/284.69	v -2886
284.52/284.69	v -2887
284.52/284.69	v 2888
284.52/284.69	v -2889
284.52/284.69	v 2890
284.52/284.69	v 2891
284.52/284.69	v 2892
284.52/284.69	v 2893
284.52/284.69	v 2894
284.52/284.69	v 2895
284.52/284.69	v 2896
284.52/284.69	v -2897
284.52/284.69	v -2898
284.52/284.69	v -2899
284.52/284.69	v -2900
284.52/284.69	v 2901
284.52/284.69	v -2902
284.52/284.69	v -2903
284.52/284.69	v -2904
284.52/284.69	v -2905
284.52/284.69	v -2906
284.52/284.69	v 2907
284.52/284.69	v 2908
284.52/284.69	v -2909
284.52/284.69	v 2910
284.52/284.69	v -2911
284.52/284.69	v -2912
284.52/284.69	v -2913
284.52/284.69	v 2914
284.52/284.69	v -2915
284.52/284.69	v -2916
284.52/284.69	v 2917
284.52/284.69	v 2918
284.52/284.69	v 2919
284.52/284.69	v -2920
284.52/284.69	v 2921
284.52/284.69	v -2922
284.52/284.69	v 2923
284.52/284.69	v -2924
284.52/284.69	v -2925
284.52/284.69	v -2926
284.52/284.69	v 2927
284.52/284.69	v 2928
284.52/284.69	v 2929
284.52/284.69	v 2930
284.52/284.69	v 2931
284.52/284.69	v -2932
284.52/284.69	v -2933
284.52/284.69	v -2934
284.52/284.69	v -2935
284.52/284.69	v 2936
284.52/284.69	v -2937
284.52/284.69	v 2938
284.52/284.69	v 2939
284.52/284.69	v 2940
284.52/284.69	v 2941
284.52/284.69	v -2942
284.52/284.69	v -2943
284.52/284.69	v -2944
284.52/284.69	v 2945
284.52/284.69	v -2946
284.52/284.69	v 2947
284.52/284.69	v -2948
284.52/284.69	v 2949
284.52/284.69	v 2950
284.52/284.69	v 2951
284.52/284.69	v 2952
284.52/284.69	v 2953
284.52/284.69	v 2954
284.52/284.69	v -2955
284.52/284.69	v -2956
284.52/284.69	v -2957
284.52/284.69	v 2958
284.52/284.69	v 2959
284.52/284.69	v -2960
284.52/284.69	v 2961
284.52/284.69	v -2962
284.52/284.69	v -2963
284.52/284.69	v 2964
284.52/284.69	v -2965
284.52/284.69	v -2966
284.52/284.69	v -2967
284.52/284.69	v 2968
284.52/284.69	v -2969
284.52/284.69	v -2970
284.52/284.69	v 2971
284.52/284.69	v -2972
284.52/284.69	v -2973
284.52/284.69	v -2974
284.52/284.69	v -2975
284.52/284.69	v 2976
284.52/284.69	v 2977
284.52/284.69	v -2978
284.52/284.69	v 2979
284.52/284.69	v -2980
284.52/284.69	v 2981
284.52/284.69	v 2982
284.52/284.69	v 2983
284.52/284.69	v 2984
284.52/284.69	v -2985
284.52/284.69	v 2986
284.52/284.69	v 2987
284.52/284.69	v -2988
284.52/284.69	v 2989
284.52/284.69	v 2990
284.52/284.69	v 2991
284.52/284.69	v 2992
284.52/284.69	v -2993
284.52/284.69	v 2994
284.52/284.69	v -2995
284.52/284.69	v 2996
284.52/284.69	v -2997
284.52/284.69	v -2998
284.52/284.69	v -2999
284.52/284.69	v -3000
284.52/284.69	v -3001
284.52/284.69	v 3002
284.52/284.69	v -3003
284.52/284.69	v 3004
284.52/284.69	v 3005
284.52/284.69	v -3006
284.52/284.69	v 3007
284.52/284.69	v 3008
284.52/284.69	v 3009
284.52/284.69	v -3010
284.52/284.69	v 3011
284.52/284.69	v 3012
284.52/284.69	v -3013
284.52/284.69	v -3014
284.52/284.69	v 3015
284.52/284.69	v 3016
284.52/284.69	v -3017
284.52/284.69	v 3018
284.52/284.69	v -3019
284.52/284.69	v -3020
284.52/284.69	v -3021
284.52/284.69	v -3022
284.52/284.69	v 3023
284.52/284.69	v -3024
284.52/284.69	v 3025
284.52/284.69	v 3026
284.52/284.69	v 3027
284.52/284.69	v 3028
284.52/284.69	v -3029
284.52/284.69	v 3030
284.52/284.69	v -3031
284.52/284.69	v -3032
284.52/284.69	v 3033
284.52/284.69	v 3034
284.52/284.69	v -3035
284.52/284.69	v 3036
284.52/284.69	v -3037
284.52/284.69	v 3038
284.52/284.69	v 3039
284.52/284.69	v -3040
284.52/284.69	v -3041
284.52/284.69	v -3042
284.52/284.69	v -3043
284.52/284.69	v -3044
284.52/284.69	v 3045
284.52/284.69	v 3046
284.52/284.69	v 3047
284.52/284.69	v -3048
284.52/284.69	v 3049
284.52/284.69	v 3050
284.52/284.69	v -3051
284.52/284.69	v 3052
284.52/284.69	v 3053
284.52/284.69	v 3054
284.52/284.69	v 3055
284.52/284.69	v 3056
284.52/284.69	v 3057
284.52/284.69	v -3058
284.52/284.69	v 3059
284.52/284.69	v 3060
284.52/284.69	v -3061
284.52/284.69	v 3062
284.52/284.69	v 3063
284.52/284.69	v -3064
284.52/284.69	v 3065
284.52/284.69	v 3066
284.52/284.69	v -3067
284.52/284.69	v 3068
284.52/284.69	v -3069
284.52/284.69	v -3070
284.52/284.69	v 3071
284.52/284.69	v 3072
284.52/284.69	v 3073
284.52/284.69	v 3074
284.52/284.69	v 3075
284.52/284.69	v 3076
284.52/284.69	v 3077
284.52/284.69	v -3078
284.52/284.69	v -3079
284.52/284.69	v -3080
284.52/284.69	v -3081
284.52/284.69	v -3082
284.52/284.69	v 3083
284.52/284.69	v -3084
284.52/284.69	v 3085
284.52/284.69	v 3086
284.52/284.69	v -3087
284.52/284.69	v -3088
284.52/284.69	v 3089
284.52/284.69	v 3090
284.52/284.69	v -3091
284.52/284.69	v 3092
284.52/284.69	v 3093
284.52/284.69	v 3094
284.52/284.69	v -3095
284.52/284.69	v 3096
284.52/284.69	v 3097
284.52/284.69	v 3098
284.52/284.69	v -3099
284.52/284.69	v 3100
284.52/284.69	v 3101
284.52/284.69	v 3102
284.52/284.69	v 3103
284.52/284.69	v 3104
284.52/284.69	v -3105
284.52/284.69	v 3106
284.52/284.69	v 3107
284.52/284.69	v -3108
284.52/284.69	v -3109
284.52/284.69	v 3110
284.52/284.69	v -3111
284.52/284.69	v 3112
284.52/284.69	v 3113
284.52/284.69	v 3114
284.52/284.69	v 3115
284.52/284.69	v -3116
284.52/284.69	v -3117
284.52/284.69	v -3118
284.52/284.69	v 3119
284.52/284.69	v 3120
284.52/284.69	v 3121
284.52/284.69	v 3122
284.52/284.69	v -3123
284.52/284.69	v 3124
284.52/284.69	v 3125
284.52/284.69	v 3126
284.52/284.69	v 3127
284.52/284.69	v -3128
284.52/284.69	v -3129
284.52/284.69	v 3130
284.52/284.69	v 3131
284.52/284.69	v -3132
284.52/284.69	v -3133
284.52/284.69	v 3134
284.52/284.69	v 3135
284.52/284.69	v 3136
284.52/284.69	v 3137
284.52/284.69	v 3138
284.52/284.69	v 3139
284.52/284.69	v 3140
284.52/284.69	v -3141
284.52/284.69	v 3142
284.52/284.69	v -3143
284.52/284.69	v 3144
284.52/284.69	v -3145
284.52/284.69	v 3146
284.52/284.69	v -3147
284.52/284.69	v -3148
284.52/284.69	v -3149
284.52/284.69	v -3150
284.52/284.69	v 3151
284.52/284.69	v 3152
284.52/284.69	v 3153
284.52/284.69	v 3154
284.52/284.69	v 3155
284.52/284.69	v -3156
284.52/284.69	v 3157
284.52/284.69	v -3158
284.52/284.69	v 3159
284.52/284.69	v -3160
284.52/284.69	v -3161
284.52/284.69	v -3162
284.52/284.69	v -3163
284.52/284.69	v -3164
284.52/284.69	v -3165
284.52/284.69	v 3166
284.52/284.69	v 3167
284.52/284.69	v -3168
284.52/284.69	v -3169
284.52/284.69	v -3170
284.52/284.69	v -3171
284.52/284.69	v 3172
284.52/284.69	v -3173
284.52/284.69	v 3174
284.52/284.69	v -3175
284.52/284.69	v 3176
284.52/284.69	v 3177
284.52/284.69	v -3178
284.52/284.69	v 3179
284.52/284.69	v -3180
284.52/284.69	v 3181
284.52/284.69	v 3182
284.52/284.69	v -3183
284.52/284.69	v -3184
284.52/284.69	v 3185
284.52/284.69	v -3186
284.52/284.69	v -3187
284.52/284.69	v -3188
284.52/284.69	v -3189
284.52/284.69	v 3190
284.52/284.69	v -3191
284.52/284.69	v 3192
284.52/284.69	v -3193
284.52/284.69	v 3194
284.52/284.69	v -3195
284.52/284.69	v 3196
284.52/284.69	v 3197
284.52/284.69	v 3198
284.52/284.69	v 3199
284.52/284.69	v -3200
284.52/284.69	v 3201
284.52/284.69	v -3202
284.52/284.69	v 3203
284.52/284.69	v -3204
284.52/284.69	v 3205
284.52/284.69	v -3206
284.52/284.69	v -3207
284.52/284.69	v -3208
284.52/284.69	v -3209
284.52/284.69	v -3210
284.52/284.69	v -3211
284.52/284.69	v 3212
284.52/284.69	v -3213
284.52/284.69	v -3214
284.52/284.69	v 3215
284.52/284.69	v -3216
284.52/284.69	v 3217
284.52/284.69	v 3218
284.52/284.69	v 3219
284.52/284.69	v 3220
284.52/284.69	v 3221
284.52/284.69	v 3222
284.52/284.69	v 3223
284.52/284.69	v -3224
284.52/284.69	v 3225
284.52/284.69	v 3226
284.52/284.69	v 3227
284.52/284.69	v 3228
284.52/284.69	v 3229
284.52/284.69	v -3230
284.52/284.69	v -3231
284.52/284.69	v 3232
284.52/284.69	v -3233
284.52/284.69	v 3234
284.52/284.69	v -3235
284.52/284.69	v -3236
284.52/284.69	v 3237
284.52/284.69	v -3238
284.52/284.69	v -3239
284.52/284.69	v 3240
284.52/284.69	v 3241
284.52/284.69	v -3242
284.52/284.69	v -3243
284.52/284.69	v -3244
284.52/284.69	v -3245
284.52/284.69	v -3246
284.52/284.69	v -3247
284.52/284.69	v -3248
284.52/284.69	v -3249
284.52/284.69	v 3250
284.52/284.69	v -3251
284.52/284.69	v -3252
284.52/284.69	v 3253
284.52/284.69	v 3254
284.52/284.69	v 3255
284.52/284.69	v -3256
284.52/284.69	v 3257
284.52/284.69	v 3258
284.52/284.69	v -3259
284.52/284.69	v -3260
284.52/284.69	v -3261
284.52/284.69	v 3262
284.52/284.69	v -3263
284.52/284.69	v -3264
284.52/284.69	v -3265
284.52/284.69	v -3266
284.52/284.69	v -3267
284.52/284.69	v 3268
284.52/284.69	v 3269
284.52/284.69	v 3270
284.52/284.69	v -3271
284.52/284.69	v 3272
284.52/284.69	v 3273
284.52/284.69	v -3274
284.52/284.69	v 3275
284.52/284.69	v -3276
284.52/284.69	v 3277
284.52/284.69	v -3278
284.52/284.69	v -3279
284.52/284.69	v 3280
284.52/284.69	v -3281
284.52/284.69	v -3282
284.52/284.69	v -3283
284.52/284.69	v 3284
284.52/284.69	v 3285
284.52/284.69	v -3286
284.52/284.69	v -3287
284.52/284.69	v 3288
284.52/284.69	v -3289
284.52/284.69	v -3290
284.52/284.69	v -3291
284.52/284.69	v 3292
284.52/284.69	v 3293
284.52/284.69	v 3294
284.52/284.69	v 3295
284.52/284.69	v 3296
284.52/284.69	v -3297
284.52/284.69	v -3298
284.52/284.69	v -3299
284.52/284.69	v 3300
284.52/284.69	v -3301
284.52/284.69	v 3302
284.52/284.69	v 3303
284.52/284.69	v 3304
284.52/284.69	v -3305
284.52/284.69	v -3306
284.52/284.69	v 3307
284.52/284.69	v -3308
284.52/284.69	v 3309
284.52/284.69	v -3310
284.52/284.69	v -3311
284.52/284.69	v 3312
284.52/284.69	v 3313
284.52/284.69	v -3314
284.52/284.69	v 3315
284.52/284.69	v -3316
284.52/284.69	v 3317
284.52/284.69	v -3318
284.52/284.69	v 3319
284.52/284.69	v -3320
284.52/284.69	v -3321
284.52/284.69	v -3322
284.52/284.69	v -3323
284.52/284.69	v 3324
284.52/284.69	v 3325
284.52/284.69	v -3326
284.52/284.69	v 3327
284.52/284.69	v -3328
284.52/284.69	v 3329
284.52/284.69	v -3330
284.52/284.69	v -3331
284.52/284.69	v -3332
284.52/284.69	v -3333
284.52/284.69	v -3334
284.52/284.69	v -3335
284.52/284.69	v -3336
284.52/284.69	v 3337
284.52/284.69	v 3338
284.52/284.69	v 3339
284.52/284.69	v 3340
284.52/284.69	v -3341
284.52/284.69	v -3342
284.52/284.69	v -3343
284.52/284.69	v 3344
284.52/284.69	v -3345
284.52/284.69	v 3346
284.52/284.69	v -3347
284.52/284.69	v 3348
284.52/284.69	v 3349
284.52/284.69	v -3350
284.52/284.69	v -3351
284.52/284.69	v 3352
284.52/284.69	v 3353
284.52/284.69	v 3354
284.52/284.69	v 3355
284.52/284.69	v 3356
284.52/284.69	v -3357
284.52/284.69	v 3358
284.52/284.69	v 3359
284.52/284.69	v 3360
284.52/284.69	v 3361
284.52/284.69	v -3362
284.52/284.69	v -3363
284.52/284.69	v 3364
284.52/284.69	v -3365
284.52/284.69	v 3366
284.52/284.69	v -3367
284.52/284.69	v 3368
284.52/284.69	v 3369
284.52/284.69	v -3370
284.52/284.69	v 3371
284.52/284.69	v -3372
284.52/284.69	v -3373
284.52/284.69	v -3374
284.52/284.69	v 3375
284.52/284.69	v 3376
284.52/284.69	v 3377
284.52/284.69	v -3378
284.52/284.69	v 3379
284.52/284.69	v -3380
284.52/284.69	v -3381
284.52/284.69	v -3382
284.52/284.69	v -3383
284.52/284.69	v -3384
284.52/284.69	v -3385
284.52/284.69	v -3386
284.52/284.69	v 3387
284.52/284.69	v -3388
284.52/284.69	v 3389
284.52/284.69	v -3390
284.52/284.69	v -3391
284.52/284.69	v -3392
284.52/284.69	v -3393
284.52/284.69	v 3394
284.52/284.69	v -3395
284.52/284.69	v -3396
284.52/284.69	v 3397
284.52/284.69	v 3398
284.52/284.69	v 3399
284.52/284.69	v 3400
284.52/284.69	v -3401
284.52/284.69	v -3402
284.52/284.69	v -3403
284.52/284.69	v -3404
284.52/284.69	v 3405
284.52/284.69	v 3406
284.52/284.69	v -3407
284.52/284.69	v 3408
284.52/284.69	v -3409
284.52/284.69	v -3410
284.52/284.69	v -3411
284.52/284.69	v 3412
284.52/284.69	v -3413
284.52/284.69	v -3414
284.52/284.69	v -3415
284.52/284.69	v -3416
284.52/284.69	v 3417
284.52/284.69	v -3418
284.52/284.69	v 3419
284.52/284.69	v 3420
284.52/284.69	v -3421
284.52/284.69	v 3422
284.52/284.69	v 3423
284.52/284.69	v -3424
284.52/284.69	v 3425
284.52/284.69	v -3426
284.52/284.69	v -3427
284.52/284.69	v -3428
284.52/284.69	v 3429
284.52/284.69	v -3430
284.52/284.69	v 3431
284.52/284.69	v 3432
284.52/284.69	v 3433
284.52/284.69	v -3434
284.52/284.69	v 3435
284.52/284.69	v 3436
284.52/284.69	v -3437
284.52/284.69	v -3438
284.52/284.69	v -3439
284.52/284.69	v 3440
284.52/284.69	v -3441
284.52/284.69	v 3442
284.52/284.69	v -3443
284.52/284.69	v -3444
284.52/284.69	v -3445
284.52/284.69	v -3446
284.52/284.69	v 3447
284.52/284.69	v -3448
284.52/284.69	v -3449
284.52/284.69	v 3450
284.52/284.69	v 3451
284.52/284.69	v -3452
284.52/284.69	v 3453
284.52/284.69	v 3454
284.52/284.69	v -3455
284.52/284.69	v 3456
284.52/284.69	v 3457
284.52/284.69	v 3458
284.52/284.69	v -3459
284.52/284.69	v 3460
284.52/284.69	v 3461
284.52/284.69	v -3462
284.52/284.69	v -3463
284.52/284.69	v -3464
284.52/284.69	v 3465
284.52/284.69	v -3466
284.52/284.69	v -3467
284.52/284.69	v -3468
284.52/284.69	v 3469
284.52/284.69	v -3470
284.52/284.69	v -3471
284.52/284.69	v -3472
284.52/284.69	v 3473
284.52/284.69	v 3474
284.52/284.69	v 3475
284.52/284.69	v -3476
284.52/284.69	v -3477
284.52/284.69	v 3478
284.52/284.69	v -3479
284.52/284.69	v 3480
284.52/284.69	v -3481
284.52/284.69	v 3482
284.52/284.69	v -3483
284.52/284.69	v -3484
284.52/284.69	v -3485
284.52/284.69	v -3486
284.52/284.69	v -3487
284.52/284.69	v 3488
284.52/284.69	v -3489
284.52/284.69	v 3490
284.52/284.69	v -3491
284.52/284.69	v 3492
284.52/284.69	v 3493
284.52/284.69	v -3494
284.52/284.69	v 3495
284.52/284.69	v -3496
284.52/284.69	v -3497
284.52/284.69	v 3498
284.52/284.69	v 3499
284.52/284.69	v 3500
284.52/284.69	v 0
284.52/284.69	c Done in 284.540000 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/node41/watcher-423898-1177830579 -o ROOT/results/node41/solver-423898-1177830579 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/423898-1177830579/ranov /tmp/evaluation/423898-1177830579/instance-423898-1177830579.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: 1.05 1.01 1.00 3/77 10156
/proc/meminfo: memFree=1602960/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=319884 CPUtime=0
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 862 0 0 0 0 0 0 0 18 0 1 0 230969812 327561216 849 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 79971 857 30 98 0 79870 0

[startup+0.0505289 s]
/proc/loadavg: 1.05 1.01 1.00 3/77 10156
/proc/meminfo: memFree=1602960/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=320320 CPUtime=0.03
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 7000 0 0 0 1 2 0 0 18 0 1 0 230969812 328007680 6985 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134529408 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 80080 6993 38 98 0 79979 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 320320

[startup+0.101531 s]
/proc/loadavg: 1.05 1.01 1.00 3/77 10156
/proc/meminfo: memFree=1602960/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=0.09
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 11932 0 0 0 5 4 0 0 18 0 1 0 230969812 336289792 11918 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134530481 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 11923 39 98 0 82001 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 328408

[startup+0.30155 s]
/proc/loadavg: 1.05 1.01 1.00 3/77 10156
/proc/meminfo: memFree=1602960/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=0.29
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 25 4 0 0 19 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 328408

[startup+0.701584 s]
/proc/loadavg: 1.05 1.01 1.00 3/77 10156
/proc/meminfo: memFree=1602960/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=0.69
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 65 4 0 0 23 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514908 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 328408

[startup+1.50165 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 10157
/proc/meminfo: memFree=1554376/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=1.49
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 145 4 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513324 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 328408

[startup+3.10279 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 10157
/proc/meminfo: memFree=1554248/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=3.09
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 305 4 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514886 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 328408

[startup+6.30107 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 10157
/proc/meminfo: memFree=1554120/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=6.29
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 625 4 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513509 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 328408

[startup+12.7016 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 10157
/proc/meminfo: memFree=1554056/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=12.69
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 1265 4 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513843 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 328408

[startup+25.5017 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 10157
/proc/meminfo: memFree=1554056/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=25.48
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 2544 4 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513418 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 328408

[startup+51.102 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 10157
/proc/meminfo: memFree=1554056/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=51.07
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 5103 4 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134519985 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 328408

[startup+102.305 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10157
/proc/meminfo: memFree=1554120/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=102.27
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 10222 5 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513488 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 328408

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10157
/proc/meminfo: memFree=1554184/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=162.25
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 16220 5 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513740 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 328408

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10157
/proc/meminfo: memFree=1554120/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=222.24
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 22219 5 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513257 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 328408

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10157
/proc/meminfo: memFree=1554056/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=282.22
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 28217 5 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513474 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 328408

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

[startup+283.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10157
/proc/meminfo: memFree=1554056/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=283.02
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 28297 5 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134534240 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 283.02
Current children cumulated vsize (KiB) 328408

[startup+283.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10157
/proc/meminfo: memFree=1554056/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=283.82
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 28377 5 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 283.82
Current children cumulated vsize (KiB) 328408

[startup+284.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10157
/proc/meminfo: memFree=1554056/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=328408 CPUtime=284.22
/proc/10156/stat : 10156 (ranov) R 10154 10156 9077 0 -1 4194304 12160 0 0 0 28417 5 0 0 25 0 1 0 230969812 336289792 12145 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514800 0 0 4096 0 0 0 0 17 1 0 0
/proc/10156/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 284.22
Current children cumulated vsize (KiB) 328408

[startup+284.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10157
/proc/meminfo: memFree=1554056/2055920 swapFree=4169764/4192956
[pid=10156] ppid=10154 vsize=0 CPUtime=284.6
/proc/10156/stat : 10156 (ranov) D 10154 10156 9077 0 -1 4194308 12174 0 0 0 28455 5 0 0 17 0 1 0 230969812 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/10156/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 284.6
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 284.703
CPU time (s): 284.617
CPU user time (s): 284.556
CPU system time (s): 0.06099
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 328408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.556
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12174
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= 30
involuntary context switches= 6025

runsolver used 0.221966 second user time and 0.628904 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Sun Apr 29 07:09:39 UTC 2007

IDJOB= 423898
IDBENCH= 20225
IDSOLVER= 193
FILE ID= node41/423898-1177830579

PBS_JOBID= 4718249

Free space on /tmp= 66563 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v3500/unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
COMMAND LINE= /tmp/evaluation/423898-1177830579/ranov /tmp/evaluation/423898-1177830579/instance-423898-1177830579.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-423898-1177830579 -o ROOT/results/node41/solver-423898-1177830579 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/423898-1177830579/ranov /tmp/evaluation/423898-1177830579/instance-423898-1177830579.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  e4e9587cc33e3fc7e177d5d00533cb0d

RANDOM SEED= 492309571

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.232
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.232
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:       1603432 kB
Buffers:         49560 kB
Cached:         308976 kB
SwapCached:       2952 kB
Active:         243920 kB
Inactive:       138668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1603432 kB
SwapTotal:     4192956 kB
SwapFree:      4169764 kB
Dirty:            1132 kB
Writeback:           0 kB
Mapped:          31948 kB
Slab:            55184 kB
Committed_AS:  3549404 kB
PageTables:       2008 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= 66563 MiB

End job on node41 on Sun Apr 29 07:14:24 UTC 2007