Trace number 1561810

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
hybridGM3 3SAT 183.118 183.177

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

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


[startup+0 s]
/proc/loadavg: 0.83 0.96 0.98 3/68 13733
/proc/meminfo: memFree=1884832/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=260600 CPUtime=0
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 934 0 0 0 0 0 0 0 18 0 1 0 1149554118 266854400 918 1992294400 134512640 135204385 4294956224 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 65150 924 54 168 0 64980 0

[startup+0.0722039 s]
/proc/loadavg: 0.83 0.96 0.98 3/68 13733
/proc/meminfo: memFree=1884832/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=0.06
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 1280 0 0 0 6 0 0 0 18 0 1 0 1149554118 274857984 1264 1992294400 134512640 135204385 4294956224 18446744073709551615 134728478 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 1264 56 168 0 66934 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 268416

[startup+0.101205 s]
/proc/loadavg: 0.83 0.96 0.98 3/68 13733
/proc/meminfo: memFree=1884832/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268412 CPUtime=0.09
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 2273 0 0 0 8 1 0 0 18 0 1 0 1149554118 274853888 2256 1992294400 134512640 135204385 4294956224 18446744073709551615 134543223 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67103 2261 57 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412

[startup+0.301219 s]
/proc/loadavg: 0.83 0.96 0.98 3/68 13733
/proc/meminfo: memFree=1884832/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=0.29
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 27 2 0 0 19 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134537699 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701246 s]
/proc/loadavg: 0.83 0.96 0.98 3/68 13733
/proc/meminfo: memFree=1884832/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=0.69
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 67 2 0 0 23 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.5013 s]
/proc/loadavg: 0.83 0.96 0.98 2/69 13734
/proc/meminfo: memFree=1862872/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=1.49
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 147 2 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538282 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10141 s]
/proc/loadavg: 0.83 0.96 0.98 2/69 13734
/proc/meminfo: memFree=1862744/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=3.09
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 307 2 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134537899 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30162 s]
/proc/loadavg: 0.85 0.96 0.98 2/69 13734
/proc/meminfo: memFree=1862680/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=6.29
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 626 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538421 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.701 s]
/proc/loadavg: 0.86 0.96 0.98 2/69 13734
/proc/meminfo: memFree=1862688/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=12.69
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 1266 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.5019 s]
/proc/loadavg: 0.89 0.96 0.98 2/69 13734
/proc/meminfo: memFree=1862688/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=25.49
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 2546 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538587 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 268416

[startup+51.1016 s]
/proc/loadavg: 0.93 0.96 0.98 2/69 13734
/proc/meminfo: memFree=1862688/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=51.08
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 5105 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538478 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 268416

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.98 2/69 13734
/proc/meminfo: memFree=1862688/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=102.27
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 10224 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538264 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 268416

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/69 13734
/proc/meminfo: memFree=1862624/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=162.25
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 16222 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 268416

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

[startup+166.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/69 13734
/proc/meminfo: memFree=1862624/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=166.25
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 16622 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538592 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 268416

[startup+172.707 s]
/proc/loadavg: 0.99 0.97 0.98 2/69 13734
/proc/meminfo: memFree=1862624/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=172.65
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 17262 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 268416

[startup+179.101 s]
/proc/loadavg: 0.99 0.97 0.98 2/69 13734
/proc/meminfo: memFree=1862624/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=179.04
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 17901 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 268416

[startup+180.701 s]
/proc/loadavg: 0.99 0.97 0.98 2/69 13734
/proc/meminfo: memFree=1862624/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=180.64
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 18061 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 268416

[startup+182.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/69 13734
/proc/meminfo: memFree=1862624/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=182.24
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 18221 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134537815 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 268416

[startup+182.701 s]
/proc/loadavg: 0.99 0.97 0.98 2/69 13734
/proc/meminfo: memFree=1862624/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=182.64
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 18261 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 182.64
Current children cumulated vsize (KiB) 268416

[startup+183.101 s]
/proc/loadavg: 0.99 0.97 0.98 2/69 13734
/proc/meminfo: memFree=1862624/2055920 swapFree=4177828/4192956
[pid=13733] ppid=13731 vsize=268416 CPUtime=183.04
/proc/13733/stat : 13733 (hybridGM3) R 13731 13733 13696 0 -1 4194304 5514 0 0 0 18301 3 0 0 25 0 1 0 1149554118 274857984 5497 1992294400 134512640 135204385 4294956224 18446744073709551615 134537761 0 0 4096 0 0 0 0 17 1 0 0
/proc/13733/statm: 67104 5497 62 168 0 66934 0
Current children cumulated CPU time (s) 183.04
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 183.177
CPU time (s): 183.118
CPU user time (s): 183.077
CPU system time (s): 0.040993
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 268416

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

runsolver used 0.169974 second user time and 0.52092 second system time

The end

Launcher Data 

Begin job on node52 at 2009-04-03 16:28:41
IDJOB=1561810
IDBENCH=70922
IDSOLVER=534
FILE ID=node52/1561810-1238768921
PBS_JOBID= 9085539
Free space on /tmp= 66536 MiB

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

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

MD5SUM BENCH= bcbe82a00b39f246e1dc1a85b2c8371e
RANDOM SEED=1552153469

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.230
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.230
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1885312 kB
Buffers:          5700 kB
Cached:          97948 kB
SwapCached:       7804 kB
Active:          28524 kB
Inactive:        84872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1885312 kB
SwapTotal:     4192956 kB
SwapFree:      4177828 kB
Dirty:            2092 kB
Writeback:           0 kB
Mapped:          15624 kB
Slab:            42824 kB
Committed_AS:  3394692 kB
PageTables:       1736 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= 66536 MiB
End job on node52 at 2009-04-03 16:31:44