Trace number 1561809

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
hybridGM 1SAT 57.1783 57.2068

General information on the benchmark

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

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: 1.00 1.30 1.32 3/81 9129
/proc/meminfo: memFree=1819256/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=0
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 1067 0 0 0 0 0 0 0 18 0 1 0 503219514 274857984 1051 1992294400 134512640 135204289 4294956208 18446744073709551615 134538624 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 1051 56 168 0 66934 0

[startup+0.059295 s]
/proc/loadavg: 1.00 1.30 1.32 3/81 9129
/proc/meminfo: memFree=1819256/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=0.05
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 1257 0 0 0 5 0 0 0 18 0 1 0 503219514 274857984 1241 1992294400 134512640 135204289 4294956208 18446744073709551615 134728430 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 1241 56 168 0 66934 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 268416

[startup+0.101297 s]
/proc/loadavg: 1.00 1.30 1.32 3/81 9129
/proc/meminfo: memFree=1819256/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268412 CPUtime=0.09
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 2558 0 0 0 8 1 0 0 18 0 1 0 503219514 274853888 2541 1992294400 134512640 135204289 4294956208 18446744073709551615 134543993 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67103 2542 56 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412

[startup+0.301316 s]
/proc/loadavg: 1.00 1.30 1.32 3/81 9129
/proc/meminfo: memFree=1819256/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=0.29
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 27 2 0 0 20 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134537401 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701357 s]
/proc/loadavg: 1.00 1.30 1.32 3/81 9129
/proc/meminfo: memFree=1819256/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=0.69
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 67 2 0 0 24 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134537403 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50143 s]
/proc/loadavg: 1.00 1.30 1.32 2/82 9130
/proc/meminfo: memFree=1797360/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=1.49
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 147 2 0 0 25 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134536676 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10159 s]
/proc/loadavg: 1.00 1.30 1.32 2/82 9130
/proc/meminfo: memFree=1797168/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=3.09
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 307 2 0 0 25 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134537357 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30191 s]
/proc/loadavg: 1.00 1.30 1.31 2/82 9130
/proc/meminfo: memFree=1797040/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=6.29
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 627 2 0 0 25 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134537292 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.7015 s]
/proc/loadavg: 1.00 1.29 1.31 2/82 9130
/proc/meminfo: memFree=1796912/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=12.69
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 1267 2 0 0 25 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134536874 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 63 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.5018 s]
/proc/loadavg: 1.00 1.28 1.31 2/82 9130
/proc/meminfo: memFree=1797040/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=25.49
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 2547 2 0 0 25 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134537429 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 63 168 0 66934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 268416

[startup+51.1013 s]
/proc/loadavg: 1.00 1.25 1.30 2/82 9130
/proc/meminfo: memFree=1796976/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=51.08
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 5106 2 0 0 25 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134537401 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 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+54.3016 s]
/proc/loadavg: 1.00 1.25 1.29 2/82 9130
/proc/meminfo: memFree=1796976/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=54.28
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 5426 2 0 0 25 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134537301 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 63 168 0 66934 0
Current children cumulated CPU time (s) 54.28
Current children cumulated vsize (KiB) 268416

[startup+55.9018 s]
/proc/loadavg: 1.00 1.25 1.29 2/82 9130
/proc/meminfo: memFree=1796976/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=55.88
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 5586 2 0 0 25 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134536895 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 63 168 0 66934 0
Current children cumulated CPU time (s) 55.88
Current children cumulated vsize (KiB) 268416

[startup+56.7019 s]
/proc/loadavg: 1.00 1.25 1.29 2/82 9130
/proc/meminfo: memFree=1796976/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=56.68
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 5666 2 0 0 25 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134536922 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 63 168 0 66934 0
Current children cumulated CPU time (s) 56.68
Current children cumulated vsize (KiB) 268416

[startup+57.1019 s]
/proc/loadavg: 1.00 1.25 1.29 2/82 9130
/proc/meminfo: memFree=1796976/2055920 swapFree=4169716/4192956
[pid=9129] ppid=9127 vsize=268416 CPUtime=57.08
/proc/9129/stat : 9129 (hybridGM) R 9127 9129 8339 0 -1 4194304 5515 0 0 0 5706 2 0 0 25 0 1 0 503219514 274857984 5498 1992294400 134512640 135204289 4294956208 18446744073709551615 134537410 0 0 4096 0 0 0 0 17 1 0 0
/proc/9129/statm: 67104 5498 63 168 0 66934 0
Current children cumulated CPU time (s) 57.08
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 57.2068
CPU time (s): 57.1783
CPU user time (s): 57.1493
CPU system time (s): 0.028995
CPU usage (%): 99.9502
Max. virtual memory (cumulated for all children) (KiB): 268416

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

runsolver used 0.065989 second user time and 0.221966 second system time

The end

Launcher Data 

Begin job on node89 at 2009-04-03 16:28:26
IDJOB=1561809
IDBENCH=70922
IDSOLVER=533
FILE ID=node89/1561809-1238768906
PBS_JOBID= 9085500
Free space on /tmp= 66516 MiB

SOLVER NAME= hybridGM 1
BENCH NAME= SAT09/APPLICATIONS/edgematching/all/em_8_4_5_all.cnf
COMMAND LINE= HOME/hybridGM BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561809-1238768906/watcher-1561809-1238768906 -o /tmp/evaluation-result-1561809-1238768906/solver-1561809-1238768906 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM HOME/instance-1561809-1238768906.cnf 1382104638 

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

MD5SUM BENCH= bcbe82a00b39f246e1dc1a85b2c8371e
RANDOM SEED=1382104638

node89.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.240
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.240
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:       1819672 kB
Buffers:         20452 kB
Cached:         130652 kB
SwapCached:      12436 kB
Active:          42112 kB
Inactive:       122964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1819672 kB
SwapTotal:     4192956 kB
SwapFree:      4169716 kB
Dirty:            1984 kB
Writeback:           0 kB
Mapped:          19632 kB
Slab:            55328 kB
Committed_AS:  1665348 kB
PageTables:       2600 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= 66516 MiB
End job on node89 at 2009-04-03 16:29:24