Trace number 1561707

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
hybridGM7 7SAT 93.4858 93.5272

General information on the benchmark

NameCRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
MD5SUM8074a7bc3c1695dbe8e033b31e3d3feb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.8357
Satisfiable
(Un)Satisfiability was proved
Number of variables2420
Number of clauses51668
Sum of the clauses size133444
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 232492
Number of clauses of size 313968
Number of clauses of size 42628
Number of clauses of size 52460
Number of clauses of size over 5120

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1561707-1238768304/watcher-1561707-1238768304 -o /tmp/evaluation-result-1561707-1238768304/solver-1561707-1238768304 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM7 HOME/instance-1561707-1238768304.cnf 14623023 

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/73 4426
/proc/meminfo: memFree=1850720/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=260600 CPUtime=0
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 1020 0 0 0 0 0 0 0 20 0 1 0 1149494908 266854400 1004 1992294400 134512640 135204385 4294956224 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 65150 1010 55 168 0 64980 0

[startup+0.0155969 s]
/proc/loadavg: 0.99 0.97 0.99 3/73 4426
/proc/meminfo: memFree=1850720/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=0
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 1102 0 0 0 0 0 0 0 20 0 1 0 1149494908 274857984 1086 1992294400 134512640 135204385 4294956224 18446744073709551615 134728510 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 1086 57 168 0 66934 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 268416

[startup+0.101606 s]
/proc/loadavg: 0.99 0.97 0.99 3/73 4426
/proc/meminfo: memFree=1850720/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268412 CPUtime=0.09
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 3121 0 0 0 8 1 0 0 20 0 1 0 1149494908 274853888 3104 1992294400 134512640 135204385 4294956224 18446744073709551615 134548408 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67103 3112 57 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412

[startup+0.301628 s]
/proc/loadavg: 0.99 0.97 0.99 3/73 4426
/proc/meminfo: memFree=1850720/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=0.29
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 27 2 0 0 22 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701675 s]
/proc/loadavg: 0.99 0.97 0.99 3/73 4426
/proc/meminfo: memFree=1850720/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=0.69
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 67 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134538034 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50177 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829464/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=1.49
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 147 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134537970 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10195 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829272/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=3.09
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 307 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30133 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829208/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=6.29
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 627 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829080/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=12.69
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 1267 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134545509 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829152/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=25.49
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 2547 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134538191 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 268416

[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829088/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=51.08
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 5106 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134538282 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 268416

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

[startup+76.7015 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829152/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=76.67
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 7665 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134538342 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 268416

[startup+83.1013 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829152/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=83.07
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 8305 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134538487 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 268416

[startup+89.501 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829152/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=89.46
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 8944 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 89.46
Current children cumulated vsize (KiB) 268416

[startup+91.1012 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829152/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=91.06
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 9104 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 91.06
Current children cumulated vsize (KiB) 268416

[startup+92.7014 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829152/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=92.66
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 9264 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134538297 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 92.66
Current children cumulated vsize (KiB) 268416

[startup+93.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829152/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=93.06
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 9304 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134537661 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 93.06
Current children cumulated vsize (KiB) 268416

[startup+93.5065 s]
/proc/loadavg: 0.99 0.97 0.99 2/74 4427
/proc/meminfo: memFree=1829152/2055920 swapFree=4175408/4192956
[pid=4426] ppid=4424 vsize=268416 CPUtime=93.47
/proc/4426/stat : 4426 (hybridGM7) R 4424 4426 4355 0 -1 4194304 5360 0 0 0 9345 2 0 0 25 0 1 0 1149494908 274857984 5343 1992294400 134512640 135204385 4294956224 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/4426/statm: 67104 5343 63 168 0 66934 0
Current children cumulated CPU time (s) 93.47
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 93.5272
CPU time (s): 93.4858
CPU user time (s): 93.4578
CPU system time (s): 0.027995
CPU usage (%): 99.9557
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.4578
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5376
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= 15
involuntary context switches= 175

runsolver used 0.090986 second user time and 0.277957 second system time

The end

Launcher Data 

Begin job on node77 at 2009-04-03 16:18:24
IDJOB=1561707
IDBENCH=70920
IDSOLVER=535
FILE ID=node77/1561707-1238768304
PBS_JOBID= 9085518
Free space on /tmp= 66552 MiB

SOLVER NAME= hybridGM7 7
BENCH NAME= SAT09/APPLICATIONS/edgematching/explicit/em_8_4_5_exp.cnf
COMMAND LINE= HOME/hybridGM7 BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561707-1238768304/watcher-1561707-1238768304 -o /tmp/evaluation-result-1561707-1238768304/solver-1561707-1238768304 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM7 HOME/instance-1561707-1238768304.cnf 14623023 

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8074a7bc3c1695dbe8e033b31e3d3feb
RANDOM SEED=14623023

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

/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.230
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.230
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1851136 kB
Buffers:         15464 kB
Cached:         111656 kB
SwapCached:       8948 kB
Active:          23824 kB
Inactive:       113804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1851136 kB
SwapTotal:     4192956 kB
SwapFree:      4175408 kB
Dirty:            1900 kB
Writeback:           0 kB
Mapped:          16252 kB
Slab:            52216 kB
Committed_AS:  3016424 kB
PageTables:       1984 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= 66548 MiB
End job on node77 at 2009-04-03 16:19:58