Trace number 1561811

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 180.839 181.767

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

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: 2.30 2.71 2.53 4/86 6268
/proc/meminfo: memFree=1792544/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=260600 CPUtime=0
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 295 0 0 0 0 0 0 0 20 0 1 0 503222554 266854400 279 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/6268/statm: 65150 279 55 168 0 64980 0

[startup+0.106656 s]
/proc/loadavg: 2.30 2.71 2.53 4/86 6268
/proc/meminfo: memFree=1792544/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268412 CPUtime=0.09
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 2567 0 0 0 9 0 0 0 21 0 1 0 503222554 274853888 2550 1992294400 134512640 135204385 4294956208 18446744073709551615 134543975 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67103 2550 57 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412

[startup+0.201673 s]
/proc/loadavg: 2.30 2.71 2.53 4/86 6268
/proc/meminfo: memFree=1792544/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=0.18
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 17 1 0 0 21 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538312 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 268416

[startup+0.301689 s]
/proc/loadavg: 2.30 2.71 2.53 4/86 6268
/proc/meminfo: memFree=1792544/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=0.28
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 27 1 0 0 22 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134659428 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 268416

[startup+0.70176 s]
/proc/loadavg: 2.30 2.71 2.53 4/86 6268
/proc/meminfo: memFree=1792544/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=0.68
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 67 1 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538034 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 268416

[startup+1.50191 s]
/proc/loadavg: 2.27 2.70 2.52 3/87 6269
/proc/meminfo: memFree=1770648/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=1.48
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 147 1 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538393 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 268416

[startup+3.1012 s]
/proc/loadavg: 2.27 2.70 2.52 3/87 6269
/proc/meminfo: memFree=1770456/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=3.07
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 306 1 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134537699 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 268416

[startup+6.3018 s]
/proc/loadavg: 2.25 2.69 2.52 3/87 6269
/proc/meminfo: memFree=1770392/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=6.26
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 625 1 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134537746 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 268416

[startup+12.702 s]
/proc/loadavg: 2.23 2.67 2.52 3/87 6269
/proc/meminfo: memFree=1770264/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=12.62
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 1261 1 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134537891 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 268416

[startup+25.5013 s]
/proc/loadavg: 2.20 2.65 2.51 3/87 6269
/proc/meminfo: memFree=1770264/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=25.36
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 2534 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538541 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 268416

[startup+51.1011 s]
/proc/loadavg: 2.12 2.59 2.50 3/87 6269
/proc/meminfo: memFree=1770328/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=50.84
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 5082 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538034 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 268416

[startup+102.302 s]
/proc/loadavg: 2.05 2.50 2.47 3/87 6269
/proc/meminfo: memFree=1770328/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=101.78
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 10176 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 268416

[startup+162.302 s]
/proc/loadavg: 2.02 2.40 2.43 3/87 6269
/proc/meminfo: memFree=1770264/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=161.48
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 16146 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538524 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 161.48
Current children cumulated vsize (KiB) 268416

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

[startup+166.402 s]
/proc/loadavg: 2.02 2.40 2.43 3/87 6269
/proc/meminfo: memFree=1770264/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=165.56
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 16554 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538421 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 165.56
Current children cumulated vsize (KiB) 268416

[startup+172.807 s]
/proc/loadavg: 2.01 2.39 2.43 3/87 6269
/proc/meminfo: memFree=1770264/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=171.93
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 17191 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134537935 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 171.93
Current children cumulated vsize (KiB) 268416

[startup+176.001 s]
/proc/loadavg: 2.01 2.38 2.43 3/87 6269
/proc/meminfo: memFree=1770264/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=175.12
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 17510 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538494 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 175.12
Current children cumulated vsize (KiB) 268416

[startup+179.202 s]
/proc/loadavg: 2.01 2.38 2.43 3/87 6269
/proc/meminfo: memFree=1770264/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=178.3
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 17828 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538541 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 178.3
Current children cumulated vsize (KiB) 268416

[startup+180.802 s]
/proc/loadavg: 2.01 2.38 2.42 3/87 6269
/proc/meminfo: memFree=1770264/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=179.89
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 17987 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538435 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 179.89
Current children cumulated vsize (KiB) 268416

[startup+181.201 s]
/proc/loadavg: 2.01 2.38 2.42 3/87 6269
/proc/meminfo: memFree=1770264/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=180.29
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 18027 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134538238 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 180.29
Current children cumulated vsize (KiB) 268416

[startup+181.607 s]
/proc/loadavg: 2.01 2.38 2.42 3/87 6269
/proc/meminfo: memFree=1770264/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=180.69
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 18067 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134537699 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 180.69
Current children cumulated vsize (KiB) 268416

[startup+181.702 s]
/proc/loadavg: 2.01 2.38 2.42 3/87 6269
/proc/meminfo: memFree=1770264/2055924 swapFree=4179644/4192956
[pid=6268] ppid=6266 vsize=268416 CPUtime=180.79
/proc/6268/stat : 6268 (hybridGM7) R 6266 6268 4931 0 -1 4194304 5514 0 0 0 18077 2 0 0 25 0 1 0 503222554 274857984 5497 1992294400 134512640 135204385 4294956208 18446744073709551615 134659375 0 0 4096 0 0 0 0 17 0 0 0
/proc/6268/statm: 67104 5497 63 168 0 66934 0
Current children cumulated CPU time (s) 180.79
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 181.767
CPU time (s): 180.839
CPU user time (s): 180.813
CPU system time (s): 0.026995
CPU usage (%): 99.4897
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.813
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5530
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= 2
involuntary context switches= 2561

runsolver used 0.222966 second user time and 0.631903 second system time

The end

Launcher Data 

Begin job on node83 at 2009-04-03 16:28:41
IDJOB=1561811
IDBENCH=70922
IDSOLVER=535
FILE ID=node83/1561811-1238768921
PBS_JOBID= 9085484
Free space on /tmp= 66560 MiB

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

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

MD5SUM BENCH= bcbe82a00b39f246e1dc1a85b2c8371e
RANDOM SEED=245105539

node83.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.268
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.268
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:      2055924 kB
MemFree:       1793024 kB
Buffers:         58500 kB
Cached:         112828 kB
SwapCached:       7580 kB
Active:          41888 kB
Inactive:       148064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1793024 kB
SwapTotal:     4192956 kB
SwapFree:      4179644 kB
Dirty:            1988 kB
Writeback:           0 kB
Mapped:          26068 kB
Slab:            57024 kB
Committed_AS:  1293808 kB
PageTables:       2688 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= 66560 MiB
End job on node83 at 2009-04-03 16:31:43