0.09/0.12 c Heuristic : ANov
0.09/0.12 c Hybrid barrier : 1
0.09/0.12 c Problem instance: numAtoms = 2737, numClauses = 18375, numLiterals = 129048
0.09/0.12 c General parameters: seed=999444973, 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
809.58/809.87 c gNovelty+ (M 15 )
809.58/809.87 s SATISFIABLE
809.58/809.87 v 1
809.58/809.87 v -2
809.58/809.87 v -3
809.58/809.87 v -4
809.58/809.87 v -5
809.58/809.87 v -6
809.58/809.87 v -7
809.58/809.87 v -8
809.58/809.87 v -9
809.58/809.87 v 10
809.58/809.87 v -11
809.58/809.87 v 12
809.58/809.87 v 13
809.58/809.87 v 14
809.58/809.87 v 15
809.58/809.87 v -16
809.58/809.87 v -17
809.58/809.87 v 18
809.58/809.87 v -19
809.58/809.87 v -20
809.58/809.87 v 21
809.58/809.87 v 22
809.58/809.87 v 23
809.58/809.87 v 24
809.58/809.87 v -25
809.58/809.87 v 26
809.58/809.87 v 27
809.58/809.87 v -28
809.58/809.87 v 29
809.58/809.87 v -30
809.58/809.87 v -31
809.58/809.87 v 32
809.58/809.87 v 33
809.58/809.87 v -34
809.58/809.87 v -35
809.58/809.87 v -36
809.58/809.87 v 37
809.58/809.87 v -38
809.58/809.87 v -39
809.58/809.87 v 40
809.58/809.87 v 41
809.58/809.87 v -42
809.58/809.87 v -43
809.58/809.87 v 44
809.58/809.87 v -45
809.58/809.87 v -46
809.58/809.87 v -47
809.58/809.87 v -48
809.58/809.87 v -49
809.58/809.87 v 50
809.58/809.87 v 51
809.58/809.87 v -52
809.58/809.87 v 53
809.58/809.87 v 54
809.58/809.87 v 55
809.58/809.87 v -56
809.58/809.87 v 57
809.58/809.87 v 58
809.58/809.87 v -59
809.58/809.87 v 60
809.58/809.87 v -61
809.58/809.87 v -62
809.58/809.87 v 63
809.58/809.87 v 64
809.58/809.87 v -65
809.58/809.87 v -66
809.58/809.87 v -67
809.58/809.87 v -68
809.58/809.87 v 69
809.58/809.87 v -70
809.58/809.87 v 71
809.58/809.87 v -72
809.58/809.87 v -73
809.58/809.87 v -74
809.58/809.87 v 75
809.58/809.87 v 76
809.58/809.87 v 77
809.58/809.87 v 78
809.58/809.87 v 79
809.58/809.87 v -80
809.58/809.87 v -81
809.58/809.87 v -82
809.58/809.87 v 83
809.58/809.87 v -84
809.58/809.87 v -85
809.58/809.87 v -86
809.58/809.87 v -87
809.58/809.87 v 88
809.58/809.87 v 89
809.58/809.87 v -90
809.58/809.87 v -91
809.58/809.87 v 92
809.58/809.87 v -93
809.58/809.87 v 94
809.58/809.87 v -95
809.58/809.87 v 96
809.58/809.87 v -97
809.58/809.87 v 98
809.58/809.87 v 99
809.58/809.87 v 100
809.58/809.87 v -101
809.58/809.87 v -102
809.58/809.87 v -103
809.58/809.87 v -104
809.58/809.87 v 105
809.58/809.87 v 106
809.58/809.87 v -107
809.58/809.87 v -108
809.58/809.87 v 109
809.58/809.87 v 110
809.58/809.87 v 111
809.58/809.87 v 112
809.58/809.87 v 113
809.58/809.87 v -114
809.58/809.87 v -115
809.58/809.87 v 116
809.58/809.87 v -117
809.58/809.87 v -118
809.58/809.87 v -119
809.58/809.87 v -120
809.58/809.87 v -121
809.58/809.87 v -122
809.58/809.87 v -123
809.58/809.87 v -124
809.58/809.87 v 125
809.58/809.87 v 126
809.58/809.87 v -127
809.58/809.87 v 128
809.58/809.87 v -129
809.58/809.87 v -130
809.58/809.87 v 131
809.58/809.87 v 132
809.58/809.87 v 133
809.58/809.87 v -134
809.58/809.87 v 135
809.58/809.87 v 136
809.58/809.87 v -137
809.58/809.87 v -138
809.58/809.87 v 139
809.58/809.87 v 140
809.58/809.87 v 141
809.58/809.87 v 142
809.58/809.87 v -143
809.58/809.87 v -144
809.58/809.87 v 145
809.58/809.87 v -146
809.58/809.87 v 147
809.58/809.87 v 148
809.58/809.87 v 149
809.58/809.87 v -150
809.58/809.87 v -151
809.58/809.87 v 152
809.58/809.87 v 153
809.58/809.87 v 154
809.58/809.87 v 155
809.58/809.87 v -156
809.58/809.87 v 157
809.58/809.87 v -158
809.58/809.87 v 159
809.58/809.87 v 160
809.58/809.87 v 161
809.58/809.87 v -162
809.58/809.87 v -163
809.58/809.87 v -164
809.58/809.87 v -165
809.58/809.87 v 166
809.58/809.87 v -167
809.58/809.87 v 168
809.58/809.87 v 169
809.58/809.87 v -170
809.58/809.87 v -171
809.58/809.87 v 172
809.58/809.88 v 173
809.58/809.88 v 174
809.58/809.88 v -175
809.58/809.88 v -176
809.58/809.88 v 177
809.58/809.88 v 178
809.58/809.88 v -179
809.58/809.88 v -180
809.58/809.88 v 181
809.58/809.88 v -182
809.58/809.88 v -183
809.58/809.88 v 184
809.58/809.88 v 185
809.58/809.88 v -186
809.58/809.88 v -187
809.58/809.88 v 188
809.58/809.88 v -189
809.58/809.88 v 190
809.58/809.88 v -191
809.58/809.88 v -192
809.58/809.88 v -193
809.58/809.88 v 194
809.58/809.88 v -195
809.58/809.88 v 196
809.58/809.88 v -197
809.58/809.88 v 198
809.58/809.88 v 199
809.58/809.88 v 200
809.58/809.88 v -201
809.58/809.88 v -202
809.58/809.88 v -203
809.58/809.88 v 204
809.58/809.88 v 205
809.58/809.88 v 206
809.58/809.88 v 207
809.58/809.88 v 208
809.58/809.88 v 209
809.58/809.88 v 210
809.58/809.88 v 211
809.58/809.88 v -212
809.58/809.88 v 213
809.58/809.88 v 214
809.58/809.88 v 215
809.58/809.88 v 216
809.58/809.88 v 217
809.58/809.88 v -218
809.58/809.88 v 219
809.58/809.88 v 220
809.58/809.88 v -221
809.58/809.88 v 222
809.58/809.88 v -223
809.58/809.88 v -224
809.58/809.88 v 225
809.58/809.88 v -226
809.58/809.88 v -227
809.58/809.88 v -228
809.58/809.88 v 229
809.58/809.88 v 230
809.58/809.88 v 231
809.58/809.88 v 232
809.58/809.88 v 233
809.58/809.88 v -234
809.58/809.88 v -235
809.58/809.88 v 236
809.58/809.88 v -237
809.58/809.88 v -238
809.58/809.88 v -239
809.58/809.88 v 240
809.58/809.88 v 241
809.58/809.88 v -242
809.58/809.88 v 243
809.58/809.88 v 244
809.58/809.88 v 245
809.58/809.88 v -246
809.58/809.88 v 247
809.58/809.88 v -248
809.58/809.88 v 249
809.58/809.88 v -250
809.58/809.88 v 251
809.58/809.88 v 252
809.58/809.88 v -253
809.58/809.88 v 254
809.58/809.88 v 255
809.58/809.88 v 256
809.58/809.88 v 257
809.58/809.88 v -258
809.58/809.88 v -259
809.58/809.88 v 260
809.58/809.88 v 261
809.58/809.88 v -262
809.58/809.88 v -263
809.58/809.88 v 264
809.58/809.88 v -265
809.58/809.88 v -266
809.58/809.88 v 267
809.58/809.88 v -268
809.58/809.88 v 269
809.58/809.88 v 270
809.58/809.88 v 271
809.58/809.88 v -272
809.58/809.88 v 273
809.58/809.88 v 274
809.58/809.88 v -275
809.58/809.88 v -276
809.58/809.88 v 277
809.58/809.88 v -278
809.58/809.88 v 279
809.58/809.88 v 280
809.58/809.88 v 281
809.58/809.88 v 282
809.58/809.88 v -283
809.58/809.88 v -284
809.58/809.88 v -285
809.58/809.88 v 286
809.58/809.88 v 287
809.58/809.88 v 288
809.58/809.88 v 289
809.58/809.88 v 290
809.58/809.88 v 291
809.58/809.88 v 292
809.58/809.88 v -293
809.58/809.88 v 294
809.58/809.88 v -295
809.58/809.88 v 296
809.58/809.88 v 297
809.58/809.88 v 298
809.58/809.88 v 299
809.58/809.88 v -300
809.58/809.88 v -301
809.58/809.88 v -302
809.58/809.88 v -303
809.58/809.88 v 304
809.58/809.88 v 305
809.58/809.88 v -306
809.58/809.88 v -307
809.58/809.88 v 308
809.58/809.88 v -309
809.58/809.88 v -310
809.58/809.88 v -311
809.58/809.88 v 312
809.58/809.88 v 313
809.58/809.88 v 314
809.58/809.88 v 315
809.58/809.88 v -316
809.58/809.88 v 317
809.58/809.88 v -318
809.58/809.88 v 319
809.58/809.88 v -320
809.58/809.88 v -321
809.58/809.88 v 322
809.58/809.88 v -323
809.58/809.88 v 324
809.58/809.88 v -325
809.58/809.88 v -326
809.58/809.88 v -327
809.58/809.88 v -328
809.58/809.88 v 329
809.58/809.88 v 330
809.58/809.88 v -331
809.58/809.88 v -332
809.58/809.88 v 333
809.58/809.88 v 334
809.58/809.88 v 335
809.58/809.88 v -336
809.58/809.88 v 337
809.58/809.88 v 338
809.58/809.88 v -339
809.58/809.88 v -340
809.58/809.88 v -341
809.58/809.88 v 342
809.58/809.88 v 343
809.58/809.88 v 344
809.58/809.88 v 345
809.58/809.88 v 346
809.58/809.88 v -347
809.58/809.88 v 348
809.58/809.88 v 349
809.58/809.88 v -350
809.58/809.88 v 351
809.58/809.88 v -352
809.58/809.88 v -353
809.58/809.88 v -354
809.58/809.88 v -355
809.58/809.88 v 356
809.58/809.88 v -357
809.58/809.88 v -358
809.58/809.88 v -359
809.58/809.88 v -360
809.58/809.88 v 361
809.58/809.88 v -362
809.58/809.88 v 363
809.58/809.88 v -364
809.58/809.88 v 365
809.58/809.88 v 366
809.58/809.88 v 367
809.58/809.88 v 368
809.58/809.88 v -369
809.58/809.88 v -370
809.58/809.88 v 371
809.58/809.88 v -372
809.58/809.88 v 373
809.58/809.88 v 374
809.58/809.88 v 375
809.58/809.88 v -376
809.58/809.88 v -377
809.58/809.88 v 378
809.58/809.88 v 379
809.58/809.88 v 380
809.58/809.88 v -381
809.58/809.88 v -382
809.58/809.88 v -383
809.58/809.88 v -384
809.58/809.88 v 385
809.58/809.88 v 386
809.58/809.88 v 387
809.58/809.88 v 388
809.58/809.88 v 389
809.58/809.88 v -390
809.58/809.88 v 391
809.58/809.88 v 392
809.58/809.88 v -393
809.58/809.88 v -394
809.58/809.88 v -395
809.58/809.88 v -396
809.58/809.88 v 397
809.58/809.88 v 398
809.58/809.88 v 399
809.58/809.88 v -400
809.58/809.88 v 401
809.58/809.88 v 402
809.58/809.88 v 403
809.58/809.88 v 404
809.58/809.88 v -405
809.58/809.88 v -406
809.58/809.88 v 407
809.58/809.88 v 408
809.58/809.88 v 409
809.58/809.88 v -410
809.58/809.88 v 411
809.58/809.88 v -412
809.58/809.88 v -413
809.58/809.88 v 414
809.58/809.88 v 415
809.58/809.88 v 416
809.58/809.88 v -417
809.58/809.88 v 418
809.58/809.88 v 419
809.58/809.88 v -420
809.58/809.88 v -421
809.58/809.88 v 422
809.58/809.88 v 423
809.58/809.88 v -424
809.58/809.88 v 425
809.58/809.88 v -426
809.58/809.88 v 427
809.58/809.88 v 428
809.58/809.88 v -429
809.58/809.88 v -430
809.58/809.88 v 431
809.58/809.88 v -432
809.58/809.88 v -433
809.58/809.88 v -434
809.58/809.88 v -435
809.58/809.88 v 436
809.58/809.88 v -437
809.58/809.88 v 438
809.58/809.88 v 439
809.58/809.88 v -440
809.58/809.88 v -441
809.58/809.88 v -442
809.58/809.88 v -443
809.58/809.88 v -444
809.58/809.88 v 445
809.58/809.88 v 446
809.58/809.88 v 447
809.58/809.88 v -448
809.58/809.88 v -449
809.58/809.88 v -450
809.58/809.88 v 451
809.58/809.88 v 452
809.58/809.88 v -453
809.58/809.88 v -454
809.58/809.88 v 455
809.58/809.88 v 456
809.58/809.88 v 457
809.58/809.88 v 458
809.58/809.88 v 459
809.58/809.88 v 460
809.58/809.88 v -461
809.58/809.88 v -462
809.58/809.88 v -463
809.58/809.88 v -464
809.58/809.88 v -465
809.58/809.88 v -466
809.58/809.88 v -467
809.58/809.88 v -468
809.58/809.88 v -469
809.58/809.88 v -470
809.58/809.88 v -471
809.58/809.88 v -472
809.58/809.88 v 473
809.58/809.88 v -474
809.58/809.88 v 475
809.58/809.88 v 476
809.58/809.88 v 477
809.58/809.88 v 478
809.58/809.88 v 479
809.58/809.88 v 480
809.58/809.88 v -481
809.58/809.88 v 482
809.58/809.88 v 483
809.58/809.88 v -484
809.58/809.88 v 485
809.58/809.88 v 486
809.58/809.88 v -487
809.58/809.88 v 488
809.58/809.88 v -489
809.58/809.88 v 490
809.58/809.88 v 491
809.58/809.88 v 492
809.58/809.88 v 493
809.58/809.88 v 494
809.58/809.88 v 495
809.58/809.88 v -496
809.58/809.88 v 497
809.58/809.88 v -498
809.58/809.88 v -499
809.58/809.88 v 500
809.58/809.88 v -501
809.58/809.88 v 502
809.58/809.88 v 503
809.58/809.88 v 504
809.58/809.88 v -505
809.58/809.88 v -506
809.58/809.88 v -507
809.58/809.88 v -508
809.58/809.88 v -509
809.58/809.88 v 510
809.58/809.88 v -511
809.58/809.88 v 512
809.58/809.88 v 513
809.58/809.88 v -514
809.58/809.88 v 515
809.58/809.88 v 516
809.58/809.88 v -517
809.58/809.88 v -518
809.58/809.88 v 519
809.58/809.88 v -520
809.58/809.88 v -521
809.58/809.88 v 522
809.58/809.88 v 523
809.58/809.88 v 524
809.58/809.88 v 525
809.58/809.88 v -526
809.58/809.88 v 527
809.58/809.88 v -528
809.58/809.88 v -529
809.58/809.88 v -530
809.58/809.88 v -531
809.58/809.88 v -532
809.58/809.88 v -533
809.58/809.88 v -534
809.58/809.88 v 535
809.58/809.88 v 536
809.58/809.88 v -537
809.58/809.88 v -538
809.58/809.88 v -539
809.58/809.88 v 540
809.58/809.88 v -541
809.58/809.88 v -542
809.58/809.88 v -543
809.58/809.88 v -544
809.58/809.88 v 545
809.58/809.88 v -546
809.58/809.88 v -547
809.58/809.88 v -548
809.58/809.88 v -549
809.58/809.88 v 550
809.58/809.88 v -551
809.58/809.88 v 552
809.58/809.88 v 553
809.58/809.88 v 554
809.58/809.88 v -555
809.58/809.88 v 556
809.58/809.88 v 557
809.58/809.88 v 558
809.58/809.88 v -559
809.58/809.88 v -560
809.58/809.88 v -561
809.58/809.88 v 562
809.58/809.88 v -563
809.58/809.88 v -564
809.58/809.88 v 565
809.58/809.88 v 566
809.58/809.88 v -567
809.58/809.88 v 568
809.58/809.88 v 569
809.58/809.88 v 570
809.58/809.88 v -571
809.58/809.88 v -572
809.58/809.88 v 573
809.58/809.88 v 574
809.58/809.88 v 575
809.58/809.88 v -576
809.58/809.88 v 577
809.58/809.88 v -578
809.58/809.88 v 579
809.58/809.88 v 580
809.58/809.88 v 581
809.58/809.88 v -582
809.58/809.88 v -583
809.58/809.88 v 584
809.58/809.88 v 585
809.58/809.88 v -586
809.58/809.88 v -587
809.58/809.88 v 588
809.58/809.88 v -589
809.58/809.88 v 590
809.58/809.88 v -591
809.58/809.88 v 592
809.58/809.88 v 593
809.58/809.88 v -594
809.58/809.88 v -595
809.58/809.88 v 596
809.58/809.88 v 597
809.58/809.88 v 598
809.58/809.88 v 599
809.58/809.88 v -600
809.58/809.88 v 601
809.58/809.88 v 602
809.58/809.88 v 603
809.58/809.88 v 604
809.58/809.88 v 605
809.58/809.88 v 606
809.58/809.88 v -607
809.58/809.88 v -608
809.58/809.88 v -609
809.58/809.88 v -610
809.58/809.88 v 611
809.58/809.88 v 612
809.58/809.88 v -613
809.58/809.88 v -614
809.58/809.88 v -615
809.58/809.88 v 616
809.58/809.88 v -617
809.58/809.88 v -618
809.58/809.88 v 619
809.58/809.88 v 620
809.58/809.88 v -621
809.58/809.88 v 622
809.58/809.88 v -623
809.58/809.88 v 624
809.58/809.88 v -625
809.58/809.88 v -626
809.58/809.88 v 627
809.58/809.88 v -628
809.58/809.88 v 629
809.58/809.88 v -630
809.58/809.88 v -631
809.58/809.88 v -632
809.58/809.88 v 633
809.58/809.88 v -634
809.58/809.88 v 635
809.58/809.88 v 636
809.58/809.88 v 637
809.58/809.88 v -638
809.58/809.88 v 639
809.58/809.88 v 640
809.58/809.88 v -641
809.58/809.88 v -642
809.58/809.88 v -643
809.58/809.88 v -644
809.58/809.88 v -645
809.58/809.88 v -646
809.58/809.88 v 647
809.58/809.88 v 648
809.58/809.88 v -649
809.58/809.88 v 650
809.58/809.88 v -651
809.58/809.88 v 652
809.58/809.88 v -653
809.58/809.88 v 654
809.58/809.88 v 655
809.58/809.88 v 656
809.58/809.88 v -657
809.58/809.88 v -658
809.58/809.88 v -659
809.58/809.88 v 660
809.58/809.88 v -661
809.58/809.88 v 662
809.58/809.88 v -663
809.58/809.88 v 664
809.58/809.88 v -665
809.58/809.88 v 666
809.58/809.88 v -667
809.58/809.88 v 668
809.58/809.88 v -669
809.58/809.88 v -670
809.58/809.88 v 671
809.58/809.88 v 672
809.58/809.88 v 673
809.58/809.88 v -674
809.58/809.88 v 675
809.58/809.88 v 676
809.58/809.88 v -677
809.58/809.88 v 678
809.58/809.88 v 679
809.58/809.88 v -680
809.58/809.88 v -681
809.58/809.88 v -682
809.58/809.88 v 683
809.58/809.88 v 684
809.58/809.88 v -685
809.58/809.88 v 686
809.58/809.88 v -687
809.58/809.88 v 688
809.58/809.88 v -689
809.58/809.88 v -690
809.58/809.88 v 691
809.58/809.88 v 692
809.58/809.88 v 693
809.58/809.88 v 694
809.58/809.88 v -695
809.58/809.88 v -696
809.58/809.88 v 697
809.58/809.88 v 698
809.58/809.88 v -699
809.58/809.88 v -700
809.58/809.88 v 701
809.58/809.88 v -702
809.58/809.88 v -703
809.58/809.88 v -704
809.58/809.88 v -705
809.58/809.88 v -706
809.58/809.88 v -707
809.58/809.88 v -708
809.58/809.88 v 709
809.58/809.88 v 710
809.58/809.88 v 711
809.58/809.88 v 712
809.58/809.88 v -713
809.58/809.88 v 714
809.58/809.88 v 715
809.58/809.88 v -716
809.58/809.88 v -717
809.58/809.88 v 718
809.58/809.88 v 719
809.58/809.88 v 720
809.58/809.88 v -721
809.58/809.88 v -722
809.58/809.88 v 723
809.58/809.88 v 724
809.58/809.88 v -725
809.58/809.88 v -726
809.58/809.88 v 727
809.58/809.88 v -728
809.58/809.88 v 729
809.58/809.88 v -730
809.58/809.88 v -731
809.58/809.88 v 732
809.58/809.88 v -733
809.58/809.88 v -734
809.58/809.88 v 735
809.58/809.88 v 736
809.58/809.88 v -737
809.58/809.88 v -738
809.58/809.88 v 739
809.58/809.88 v 740
809.58/809.88 v 741
809.58/809.88 v 742
809.58/809.88 v -743
809.58/809.88 v 744
809.58/809.88 v 745
809.58/809.88 v 746
809.58/809.88 v -747
809.58/809.88 v 748
809.58/809.88 v 749
809.58/809.88 v -750
809.58/809.88 v -751
809.58/809.88 v 752
809.58/809.88 v 753
809.58/809.88 v 754
809.58/809.88 v 755
809.58/809.88 v 756
809.58/809.88 v -757
809.58/809.88 v 758
809.58/809.88 v 759
809.58/809.88 v 760
809.58/809.88 v -761
809.58/809.88 v 762
809.58/809.88 v -763
809.58/809.88 v 764
809.58/809.88 v 765
809.58/809.88 v -766
809.58/809.88 v -767
809.58/809.88 v 768
809.58/809.88 v -769
809.58/809.88 v -770
809.58/809.88 v -771
809.58/809.88 v -772
809.58/809.88 v 773
809.58/809.88 v -774
809.58/809.88 v 775
809.58/809.88 v -776
809.58/809.88 v 777
809.58/809.88 v 778
809.58/809.88 v -779
809.58/809.88 v 780
809.58/809.88 v -781
809.58/809.88 v -782
809.58/809.88 v -783
809.58/809.88 v -784
809.58/809.88 v -785
809.58/809.88 v 786
809.58/809.88 v -787
809.58/809.88 v 788
809.58/809.88 v -789
809.58/809.88 v 790
809.58/809.88 v 791
809.58/809.88 v -792
809.58/809.88 v -793
809.58/809.88 v 794
809.58/809.88 v 795
809.58/809.88 v 796
809.58/809.88 v -797
809.58/809.88 v -798
809.58/809.88 v -799
809.58/809.88 v -800
809.58/809.88 v -801
809.58/809.88 v 802
809.58/809.88 v -803
809.58/809.88 v -804
809.58/809.88 v 805
809.58/809.88 v -806
809.58/809.88 v 807
809.58/809.88 v -808
809.58/809.88 v 809
809.58/809.88 v -810
809.58/809.88 v 811
809.58/809.88 v -812
809.58/809.88 v -813
809.58/809.88 v -814
809.58/809.88 v -815
809.58/809.88 v 816
809.58/809.88 v 817
809.58/809.88 v -818
809.58/809.88 v -819
809.58/809.88 v -820
809.58/809.88 v -821
809.58/809.88 v 822
809.58/809.88 v -823
809.58/809.88 v -824
809.58/809.88 v 825
809.58/809.88 v -826
809.58/809.88 v -827
809.58/809.88 v 828
809.58/809.88 v 829
809.58/809.88 v 830
809.58/809.88 v 831
809.58/809.88 v 832
809.58/809.88 v -833
809.58/809.88 v 834
809.58/809.88 v -835
809.58/809.88 v -836
809.58/809.88 v -837
809.58/809.88 v -838
809.58/809.88 v -839
809.58/809.88 v -840
809.58/809.88 v 841
809.58/809.88 v 842
809.58/809.88 v 843
809.58/809.88 v -844
809.58/809.88 v -845
809.58/809.88 v -846
809.58/809.88 v -847
809.58/809.88 v -848
809.58/809.88 v 849
809.58/809.88 v 850
809.58/809.88 v -851
809.58/809.88 v -852
809.58/809.88 v 853
809.58/809.88 v 854
809.58/809.88 v 855
809.58/809.88 v 856
809.58/809.88 v 857
809.58/809.88 v -858
809.58/809.88 v -859
809.58/809.88 v -860
809.58/809.88 v -861
809.58/809.88 v 862
809.58/809.88 v 863
809.58/809.88 v 864
809.58/809.88 v 865
809.58/809.88 v -866
809.58/809.88 v 867
809.58/809.88 v -868
809.58/809.88 v 869
809.58/809.88 v 870
809.58/809.88 v -871
809.58/809.88 v -872
809.58/809.88 v -873
809.58/809.88 v -874
809.58/809.88 v -875
809.58/809.88 v 876
809.58/809.88 v -877
809.58/809.88 v 878
809.58/809.88 v -879
809.58/809.88 v -880
809.58/809.88 v -881
809.58/809.88 v -882
809.58/809.88 v 883
809.58/809.88 v 884
809.58/809.88 v -885
809.58/809.88 v -886
809.58/809.88 v 887
809.58/809.88 v -888
809.58/809.88 v -889
809.58/809.88 v 890
809.58/809.88 v 891
809.58/809.88 v 892
809.58/809.88 v -893
809.58/809.88 v 894
809.58/809.88 v -895
809.58/809.88 v -896
809.58/809.88 v 897
809.58/809.88 v -898
809.58/809.88 v -899
809.58/809.88 v -900
809.58/809.88 v 901
809.58/809.88 v -902
809.58/809.88 v 903
809.58/809.88 v 904
809.58/809.88 v 905
809.58/809.88 v -906
809.58/809.88 v 907
809.58/809.88 v 908
809.58/809.88 v -909
809.58/809.88 v 910
809.58/809.88 v 911
809.58/809.88 v -912
809.58/809.88 v 913
809.58/809.88 v -914
809.58/809.88 v -915
809.58/809.88 v -916
809.58/809.88 v 917
809.58/809.88 v 918
809.58/809.88 v -919
809.58/809.88 v -920
809.58/809.88 v 921
809.58/809.88 v 922
809.58/809.88 v -923
809.58/809.88 v -924
809.58/809.88 v -925
809.58/809.88 v -926
809.58/809.88 v -927
809.58/809.88 v -928
809.58/809.88 v 929
809.58/809.88 v -930
809.58/809.88 v 931
809.58/809.88 v -932
809.58/809.88 v -933
809.58/809.88 v -934
809.58/809.88 v 935
809.58/809.88 v -936
809.58/809.88 v -937
809.58/809.88 v -938
809.58/809.88 v 939
809.58/809.88 v 940
809.58/809.88 v -941
809.58/809.88 v 942
809.58/809.88 v 943
809.58/809.88 v 944
809.58/809.88 v 945
809.58/809.88 v -946
809.58/809.88 v -947
809.58/809.88 v 948
809.58/809.88 v 949
809.58/809.88 v -950
809.58/809.88 v 951
809.58/809.88 v -952
809.58/809.88 v -953
809.58/809.88 v -954
809.58/809.88 v 955
809.58/809.88 v 956
809.58/809.88 v -957
809.58/809.88 v 958
809.58/809.88 v -959
809.58/809.88 v 960
809.58/809.88 v -961
809.58/809.88 v -962
809.58/809.88 v 963
809.58/809.88 v 964
809.58/809.88 v -965
809.58/809.88 v -966
809.58/809.88 v 967
809.58/809.88 v -968
809.58/809.88 v 969
809.58/809.88 v -970
809.58/809.88 v 971
809.58/809.88 v 972
809.58/809.88 v -973
809.58/809.88 v -974
809.58/809.88 v 975
809.58/809.88 v 976
809.58/809.88 v 977
809.58/809.88 v -978
809.58/809.88 v -979
809.58/809.88 v 980
809.58/809.88 v 981
809.58/809.88 v 982
809.58/809.88 v 983
809.58/809.88 v -984
809.58/809.88 v -985
809.58/809.88 v -986
809.58/809.88 v -987
809.58/809.88 v -988
809.58/809.88 v -989
809.58/809.88 v -990
809.58/809.88 v 991
809.58/809.88 v -992
809.58/809.88 v 993
809.58/809.88 v -994
809.58/809.88 v -995
809.58/809.88 v -996
809.58/809.88 v -997
809.58/809.88 v -998
809.58/809.88 v 999
809.58/809.88 v -1000
809.58/809.88 v 1001
809.58/809.88 v -1002
809.58/809.88 v 1003
809.58/809.88 v -1004
809.58/809.88 v 1005
809.58/809.88 v 1006
809.58/809.88 v -1007
809.58/809.88 v 1008
809.58/809.88 v -1009
809.58/809.88 v 1010
809.58/809.88 v -1011
809.58/809.88 v 1012
809.58/809.88 v 1013
809.58/809.88 v 1014
809.58/809.88 v 1015
809.58/809.88 v 1016
809.58/809.88 v -1017
809.58/809.88 v -1018
809.58/809.88 v 1019
809.58/809.88 v 1020
809.58/809.88 v 1021
809.58/809.88 v 1022
809.58/809.88 v 1023
809.58/809.88 v -1024
809.58/809.88 v -1025
809.58/809.88 v 1026
809.58/809.88 v -1027
809.58/809.88 v -1028
809.58/809.88 v -1029
809.58/809.88 v -1030
809.58/809.88 v 1031
809.58/809.88 v 1032
809.58/809.88 v -1033
809.58/809.88 v -1034
809.58/809.88 v 1035
809.58/809.88 v 1036
809.58/809.88 v -1037
809.58/809.88 v -1038
809.58/809.88 v 1039
809.58/809.88 v 1040
809.58/809.88 v 1041
809.58/809.88 v 1042
809.58/809.88 v -1043
809.58/809.88 v 1044
809.58/809.88 v -1045
809.58/809.88 v 1046
809.58/809.88 v -1047
809.58/809.88 v 1048
809.58/809.88 v 1049
809.58/809.88 v -1050
809.58/809.88 v 1051
809.58/809.88 v 1052
809.58/809.88 v 1053
809.58/809.88 v -1054
809.58/809.88 v 1055
809.58/809.88 v -1056
809.58/809.88 v 1057
809.58/809.88 v -1058
809.58/809.88 v 1059
809.58/809.88 v -1060
809.58/809.88 v 1061
809.58/809.88 v 1062
809.58/809.88 v 1063
809.58/809.88 v -1064
809.58/809.88 v -1065
809.58/809.88 v -1066
809.58/809.88 v 1067
809.58/809.88 v -1068
809.58/809.88 v -1069
809.58/809.88 v 1070
809.58/809.88 v 1071
809.58/809.88 v -1072
809.58/809.88 v 1073
809.58/809.88 v -1074
809.58/809.88 v -1075
809.58/809.88 v 1076
809.58/809.88 v -1077
809.58/809.88 v 1078
809.58/809.88 v -1079
809.58/809.88 v 1080
809.58/809.88 v 1081
809.58/809.88 v -1082
809.58/809.88 v -1083
809.58/809.88 v -1084
809.58/809.88 v -1085
809.58/809.88 v -1086
809.58/809.88 v -1087
809.58/809.88 v 1088
809.58/809.88 v 1089
809.58/809.88 v -1090
809.58/809.88 v -1091
809.58/809.88 v -1092
809.58/809.88 v 1093
809.58/809.88 v -1094
809.58/809.88 v -1095
809.58/809.88 v 1096
809.58/809.88 v 1097
809.58/809.88 v -1098
809.58/809.88 v -1099
809.58/809.88 v -1100
809.58/809.88 v -1101
809.58/809.88 v 1102
809.58/809.88 v -1103
809.58/809.88 v 1104
809.58/809.88 v 1105
809.58/809.88 v 1106
809.58/809.88 v 1107
809.58/809.88 v 1108
809.58/809.88 v 1109
809.58/809.88 v 1110
809.58/809.88 v -1111
809.58/809.88 v 1112
809.58/809.88 v -1113
809.58/809.88 v -1114
809.58/809.88 v -1115
809.58/809.88 v 1116
809.58/809.88 v -1117
809.58/809.88 v 1118
809.58/809.88 v 1119
809.58/809.88 v 1120
809.58/809.88 v -1121
809.58/809.88 v -1122
809.58/809.88 v -1123
809.58/809.88 v -1124
809.58/809.88 v -1125
809.58/809.88 v -1126
809.58/809.88 v 1127
809.58/809.88 v -1128
809.58/809.88 v -1129
809.58/809.88 v 1130
809.58/809.88 v 1131
809.58/809.88 v -1132
809.58/809.88 v -1133
809.58/809.88 v -1134
809.58/809.88 v -1135
809.58/809.88 v 1136
809.58/809.88 v 1137
809.58/809.88 v 1138
809.58/809.88 v 1139
809.58/809.88 v 1140
809.58/809.88 v -1141
809.58/809.88 v -1142
809.58/809.88 v -1143
809.58/809.88 v 1144
809.58/809.88 v 1145
809.58/809.88 v -1146
809.58/809.88 v 1147
809.58/809.88 v -1148
809.58/809.88 v -1149
809.58/809.88 v 1150
809.58/809.88 v 1151
809.58/809.88 v -1152
809.58/809.88 v -1153
809.58/809.88 v -1154
809.58/809.88 v -1155
809.58/809.88 v 1156
809.58/809.88 v 1157
809.58/809.88 v -1158
809.58/809.88 v -1159
809.58/809.88 v 1160
809.58/809.88 v -1161
809.58/809.88 v 1162
809.58/809.88 v -1163
809.58/809.88 v 1164
809.58/809.88 v -1165
809.58/809.88 v 1166
809.58/809.88 v -1167
809.58/809.88 v -1168
809.58/809.88 v 1169
809.58/809.88 v -1170
809.58/809.88 v 1171
809.58/809.88 v -1172
809.58/809.88 v -1173
809.58/809.88 v -1174
809.58/809.88 v 1175
809.58/809.88 v 1176
809.58/809.88 v 1177
809.58/809.88 v -1178
809.58/809.88 v 1179
809.58/809.88 v -1180
809.58/809.88 v -1181
809.58/809.88 v 1182
809.58/809.88 v -1183
809.58/809.88 v 1184
809.58/809.88 v -1185
809.58/809.88 v -1186
809.58/809.88 v 1187
809.58/809.88 v 1188
809.58/809.88 v -1189
809.58/809.88 v 1190
809.58/809.88 v 1191
809.58/809.88 v 1192
809.58/809.88 v 1193
809.58/809.88 v 1194
809.58/809.88 v 1195
809.58/809.88 v 1196
809.58/809.88 v 1197
809.58/809.88 v -1198
809.58/809.88 v -1199
809.58/809.88 v -1200
809.58/809.88 v -1201
809.58/809.88 v 1202
809.58/809.88 v 1203
809.58/809.88 v 1204
809.58/809.88 v 1205
809.58/809.88 v -1206
809.58/809.88 v 1207
809.58/809.88 v 1208
809.58/809.88 v 1209
809.58/809.88 v -1210
809.58/809.88 v -1211
809.58/809.88 v 1212
809.58/809.88 v -1213
809.58/809.88 v -1214
809.58/809.88 v 1215
809.58/809.88 v 1216
809.58/809.88 v -1217
809.58/809.88 v -1218
809.58/809.88 v 1219
809.58/809.88 v 1220
809.58/809.88 v -1221
809.58/809.88 v 1222
809.58/809.88 v -1223
809.58/809.88 v -1224
809.58/809.88 v -1225
809.58/809.88 v -1226
809.58/809.88 v -1227
809.58/809.88 v 1228
809.58/809.88 v 1229
809.58/809.88 v 1230
809.58/809.88 v 1231
809.58/809.88 v -1232
809.58/809.88 v -1233
809.58/809.88 v 1234
809.58/809.88 v -1235
809.58/809.88 v -1236
809.58/809.88 v 1237
809.58/809.88 v 1238
809.58/809.88 v -1239
809.58/809.88 v -1240
809.58/809.88 v 1241
809.58/809.88 v 1242
809.58/809.88 v -1243
809.58/809.88 v 1244
809.58/809.88 v -1245
809.58/809.88 v 1246
809.58/809.88 v 1247
809.58/809.88 v 1248
809.58/809.88 v 1249
809.58/809.88 v -1250
809.58/809.88 v 1251
809.58/809.88 v -1252
809.58/809.88 v 1253
809.58/809.88 v 1254
809.58/809.88 v 1255
809.58/809.88 v 1256
809.58/809.88 v -1257
809.58/809.88 v -1258
809.58/809.88 v -1259
809.58/809.88 v 1260
809.58/809.88 v -1261
809.58/809.88 v -1262
809.58/809.88 v 1263
809.58/809.88 v -1264
809.58/809.88 v -1265
809.58/809.88 v -1266
809.58/809.88 v 1267
809.58/809.88 v -1268
809.58/809.88 v -1269
809.58/809.88 v -1270
809.58/809.88 v 1271
809.58/809.88 v 1272
809.58/809.88 v 1273
809.58/809.88 v 1274
809.58/809.88 v -1275
809.58/809.88 v -1276
809.58/809.88 v -1277
809.58/809.88 v 1278
809.58/809.88 v 1279
809.58/809.88 v -1280
809.58/809.88 v -1281
809.58/809.88 v 1282
809.58/809.88 v 1283
809.58/809.88 v 1284
809.58/809.88 v 1285
809.58/809.88 v 1286
809.58/809.88 v -1287
809.58/809.88 v 1288
809.58/809.88 v -1289
809.58/809.88 v -1290
809.58/809.88 v -1291
809.58/809.88 v 1292
809.58/809.88 v 1293
809.58/809.88 v -1294
809.58/809.88 v 1295
809.58/809.88 v -1296
809.58/809.88 v 1297
809.58/809.88 v -1298
809.58/809.88 v 1299
809.58/809.88 v 1300
809.58/809.88 v -1301
809.58/809.88 v -1302
809.58/809.88 v -1303
809.58/809.88 v -1304
809.58/809.88 v 1305
809.58/809.88 v -1306
809.58/809.88 v 1307
809.58/809.88 v 1308
809.58/809.88 v -1309
809.58/809.88 v -1310
809.58/809.88 v 1311
809.58/809.88 v 1312
809.58/809.88 v -1313
809.58/809.88 v -1314
809.58/809.88 v -1315
809.58/809.88 v -1316
809.58/809.88 v 1317
809.58/809.88 v 1318
809.58/809.88 v -1319
809.58/809.88 v -1320
809.58/809.88 v -1321
809.58/809.88 v 1322
809.58/809.88 v 1323
809.58/809.88 v 1324
809.58/809.88 v 1325
809.58/809.88 v 1326
809.58/809.88 v 1327
809.58/809.88 v -1328
809.58/809.88 v -1329
809.58/809.88 v 1330
809.58/809.88 v 1331
809.58/809.88 v -1332
809.58/809.88 v 1333
809.58/809.88 v 1334
809.58/809.88 v -1335
809.58/809.88 v 1336
809.58/809.88 v 1337
809.58/809.88 v -1338
809.58/809.88 v 1339
809.58/809.88 v -1340
809.58/809.88 v -1341
809.58/809.88 v -1342
809.58/809.88 v -1343
809.58/809.88 v 1344
809.58/809.88 v 1345
809.58/809.88 v 1346
809.58/809.88 v 1347
809.58/809.88 v 1348
809.58/809.88 v 1349
809.58/809.88 v 1350
809.58/809.88 v -1351
809.58/809.88 v 1352
809.58/809.88 v -1353
809.58/809.88 v 1354
809.58/809.88 v 1355
809.58/809.88 v -1356
809.58/809.88 v -1357
809.58/809.88 v 1358
809.58/809.88 v 1359
809.58/809.88 v -1360
809.58/809.88 v 1361
809.58/809.88 v -1362
809.58/809.88 v 1363
809.58/809.88 v -1364
809.58/809.88 v 1365
809.58/809.88 v 1366
809.58/809.88 v -1367
809.58/809.88 v -1368
809.58/809.88 v 1369
809.58/809.88 v 1370
809.58/809.88 v 1371
809.58/809.88 v 1372
809.58/809.88 v 1373
809.58/809.88 v -1374
809.58/809.88 v 1375
809.58/809.88 v 1376
809.58/809.89 v 1377
809.58/809.89 v -1378
809.58/809.89 v 1379
809.58/809.89 v 1380
809.58/809.89 v 1381
809.58/809.89 v 1382
809.58/809.89 v -1383
809.58/809.89 v 1384
809.58/809.89 v 1385
809.58/809.89 v 1386
809.58/809.89 v -1387
809.58/809.89 v 1388
809.58/809.89 v 1389
809.58/809.89 v 1390
809.58/809.89 v 1391
809.58/809.89 v 1392
809.58/809.89 v -1393
809.58/809.89 v 1394
809.58/809.89 v -1395
809.58/809.89 v -1396
809.58/809.89 v -1397
809.58/809.89 v 1398
809.58/809.89 v 1399
809.58/809.89 v 1400
809.58/809.89 v 1401
809.58/809.89 v -1402
809.58/809.89 v 1403
809.58/809.89 v -1404
809.58/809.89 v -1405
809.58/809.89 v 1406
809.58/809.89 v 1407
809.58/809.89 v 1408
809.58/809.89 v 1409
809.58/809.89 v -1410
809.58/809.89 v -1411
809.58/809.89 v -1412
809.58/809.89 v -1413
809.58/809.89 v -1414
809.58/809.89 v -1415
809.58/809.89 v -1416
809.58/809.89 v 1417
809.58/809.89 v 1418
809.58/809.89 v -1419
809.58/809.89 v 1420
809.58/809.89 v -1421
809.58/809.89 v 1422
809.58/809.89 v -1423
809.58/809.89 v -1424
809.58/809.89 v 1425
809.58/809.89 v 1426
809.58/809.89 v -1427
809.58/809.89 v 1428
809.58/809.89 v -1429
809.58/809.89 v -1430
809.58/809.89 v 1431
809.58/809.89 v 1432
809.58/809.89 v 1433
809.58/809.89 v 1434
809.58/809.89 v 1435
809.58/809.89 v 1436
809.58/809.89 v -1437
809.58/809.89 v 1438
809.58/809.89 v 1439
809.58/809.89 v -1440
809.58/809.89 v 1441
809.58/809.89 v -1442
809.58/809.89 v -1443
809.58/809.89 v -1444
809.58/809.89 v 1445
809.58/809.89 v 1446
809.58/809.89 v 1447
809.58/809.89 v -1448
809.58/809.89 v -1449
809.58/809.89 v -1450
809.58/809.89 v -1451
809.58/809.89 v -1452
809.58/809.89 v -1453
809.58/809.89 v -1454
809.58/809.89 v -1455
809.58/809.89 v -1456
809.58/809.89 v 1457
809.58/809.89 v 1458
809.58/809.89 v 1459
809.58/809.89 v 1460
809.58/809.89 v 1461
809.58/809.89 v -1462
809.58/809.89 v 1463
809.58/809.89 v 1464
809.58/809.89 v -1465
809.58/809.89 v 1466
809.58/809.89 v -1467
809.58/809.89 v 1468
809.58/809.89 v 1469
809.58/809.89 v -1470
809.58/809.89 v -1471
809.58/809.89 v 1472
809.58/809.89 v -1473
809.58/809.89 v 1474
809.58/809.89 v 1475
809.58/809.89 v -1476
809.58/809.89 v 1477
809.58/809.89 v -1478
809.58/809.89 v 1479
809.58/809.89 v -1480
809.58/809.89 v -1481
809.58/809.89 v -1482
809.58/809.89 v -1483
809.58/809.89 v -1484
809.58/809.89 v 1485
809.58/809.89 v 1486
809.58/809.89 v 1487
809.58/809.89 v 1488
809.58/809.89 v -1489
809.58/809.89 v -1490
809.58/809.89 v -1491
809.58/809.89 v -1492
809.58/809.89 v 1493
809.58/809.89 v -1494
809.58/809.89 v -1495
809.58/809.89 v -1496
809.58/809.89 v 1497
809.58/809.89 v -1498
809.58/809.89 v -1499
809.58/809.89 v -1500
809.58/809.89 v 1501
809.58/809.89 v 1502
809.58/809.89 v -1503
809.58/809.89 v 1504
809.58/809.89 v -1505
809.58/809.89 v 1506
809.58/809.89 v -1507
809.58/809.89 v 1508
809.58/809.89 v 1509
809.58/809.89 v -1510
809.58/809.89 v 1511
809.58/809.89 v 1512
809.58/809.89 v -1513
809.58/809.89 v 1514
809.58/809.89 v 1515
809.58/809.89 v -1516
809.58/809.89 v 1517
809.58/809.89 v -1518
809.58/809.89 v -1519
809.58/809.89 v 1520
809.58/809.89 v 1521
809.58/809.89 v 1522
809.58/809.89 v 1523
809.58/809.89 v -1524
809.58/809.89 v 1525
809.58/809.89 v -1526
809.58/809.89 v -1527
809.58/809.89 v -1528
809.58/809.89 v -1529
809.58/809.89 v 1530
809.58/809.89 v -1531
809.58/809.89 v -1532
809.58/809.89 v -1533
809.58/809.89 v -1534
809.58/809.89 v 1535
809.58/809.89 v 1536
809.58/809.89 v -1537
809.58/809.89 v -1538
809.58/809.89 v -1539
809.58/809.89 v -1540
809.58/809.89 v 1541
809.58/809.89 v -1542
809.58/809.89 v 1543
809.58/809.89 v 1544
809.58/809.89 v 1545
809.58/809.89 v -1546
809.58/809.89 v 1547
809.58/809.89 v 1548
809.58/809.89 v 1549
809.58/809.89 v -1550
809.58/809.89 v 1551
809.58/809.89 v 1552
809.58/809.89 v 1553
809.58/809.89 v -1554
809.58/809.89 v 1555
809.58/809.89 v -1556
809.58/809.89 v 1557
809.58/809.89 v -1558
809.58/809.89 v -1559
809.58/809.89 v 1560
809.58/809.89 v 1561
809.58/809.89 v 1562
809.58/809.89 v -1563
809.58/809.89 v 1564
809.58/809.89 v -1565
809.58/809.89 v 1566
809.58/809.89 v 1567
809.58/809.89 v -1568
809.58/809.89 v -1569
809.58/809.89 v 1570
809.58/809.89 v -1571
809.58/809.89 v -1572
809.58/809.89 v 1573
809.58/809.89 v -1574
809.58/809.89 v -1575
809.58/809.89 v 1576
809.58/809.89 v 1577
809.58/809.89 v 1578
809.58/809.89 v 1579
809.58/809.89 v -1580
809.58/809.89 v 1581
809.58/809.89 v 1582
809.58/809.89 v -1583
809.58/809.89 v -1584
809.58/809.89 v 1585
809.58/809.89 v 1586
809.58/809.89 v 1587
809.58/809.89 v -1588
809.58/809.89 v -1589
809.58/809.89 v -1590
809.58/809.89 v 1591
809.58/809.89 v 1592
809.58/809.89 v 1593
809.58/809.89 v 1594
809.58/809.89 v -1595
809.58/809.89 v -1596
809.58/809.89 v -1597
809.58/809.89 v 1598
809.58/809.89 v 1599
809.58/809.89 v -1600
809.58/809.89 v 1601
809.58/809.89 v -1602
809.58/809.89 v 1603
809.58/809.89 v -1604
809.58/809.89 v -1605
809.58/809.89 v -1606
809.58/809.89 v -1607
809.58/809.89 v -1608
809.58/809.89 v 1609
809.58/809.89 v 1610
809.58/809.89 v 1611
809.58/809.89 v 1612
809.58/809.89 v -1613
809.58/809.89 v 1614
809.58/809.89 v 1615
809.58/809.89 v 1616
809.58/809.89 v -1617
809.58/809.89 v 1618
809.58/809.89 v -1619
809.58/809.89 v -1620
809.58/809.89 v -1621
809.58/809.89 v -1622
809.58/809.89 v -1623
809.58/809.89 v 1624
809.58/809.89 v 1625
809.58/809.89 v -1626
809.58/809.89 v 1627
809.58/809.89 v 1628
809.58/809.89 v -1629
809.58/809.89 v -1630
809.58/809.89 v -1631
809.58/809.89 v 1632
809.58/809.89 v 1633
809.58/809.89 v 1634
809.58/809.89 v 1635
809.58/809.89 v -1636
809.58/809.89 v -1637
809.58/809.89 v 1638
809.58/809.89 v 1639
809.58/809.89 v -1640
809.58/809.89 v 1641
809.58/809.89 v 1642
809.58/809.89 v 1643
809.58/809.89 v 1644
809.58/809.89 v 1645
809.58/809.89 v 1646
809.58/809.89 v 1647
809.58/809.89 v 1648
809.58/809.89 v -1649
809.58/809.89 v -1650
809.58/809.89 v -1651
809.58/809.89 v 1652
809.58/809.89 v -1653
809.58/809.89 v 1654
809.58/809.89 v 1655
809.58/809.89 v 1656
809.58/809.89 v 1657
809.58/809.89 v -1658
809.58/809.89 v -1659
809.58/809.89 v -1660
809.58/809.89 v 1661
809.58/809.89 v 1662
809.58/809.89 v -1663
809.58/809.89 v 1664
809.58/809.89 v -1665
809.58/809.89 v -1666
809.58/809.89 v -1667
809.58/809.89 v -1668
809.58/809.89 v -1669
809.58/809.89 v -1670
809.58/809.89 v -1671
809.58/809.89 v -1672
809.58/809.89 v -1673
809.58/809.89 v 1674
809.58/809.89 v -1675
809.58/809.89 v 1676
809.58/809.89 v -1677
809.58/809.89 v -1678
809.58/809.89 v -1679
809.58/809.89 v 1680
809.58/809.89 v -1681
809.58/809.89 v 1682
809.58/809.89 v 1683
809.58/809.89 v 1684
809.58/809.89 v -1685
809.58/809.89 v -1686
809.58/809.89 v 1687
809.58/809.89 v -1688
809.58/809.89 v -1689
809.58/809.89 v 1690
809.58/809.89 v -1691
809.58/809.89 v -1692
809.58/809.89 v 1693
809.58/809.89 v -1694
809.58/809.89 v 1695
809.58/809.89 v 1696
809.58/809.89 v 1697
809.58/809.89 v 1698
809.58/809.89 v 1699
809.58/809.89 v 1700
809.58/809.89 v -1701
809.58/809.89 v 1702
809.58/809.89 v 1703
809.58/809.89 v -1704
809.58/809.89 v -1705
809.58/809.89 v 1706
809.58/809.89 v 1707
809.58/809.89 v -1708
809.58/809.89 v -1709
809.58/809.89 v 1710
809.58/809.89 v 1711
809.58/809.89 v 1712
809.58/809.89 v 1713
809.58/809.89 v 1714
809.58/809.89 v -1715
809.58/809.89 v -1716
809.58/809.89 v -1717
809.58/809.89 v -1718
809.58/809.89 v -1719
809.58/809.89 v -1720
809.58/809.89 v 1721
809.58/809.89 v -1722
809.58/809.89 v 1723
809.58/809.89 v -1724
809.58/809.89 v -1725
809.58/809.89 v -1726
809.58/809.89 v -1727
809.58/809.89 v 1728
809.58/809.89 v 1729
809.58/809.89 v 1730
809.58/809.89 v 1731
809.58/809.89 v -1732
809.58/809.89 v -1733
809.58/809.89 v 1734
809.58/809.89 v -1735
809.58/809.89 v -1736
809.58/809.89 v -1737
809.58/809.89 v 1738
809.58/809.89 v 1739
809.58/809.89 v -1740
809.58/809.89 v 1741
809.58/809.89 v -1742
809.58/809.89 v 1743
809.58/809.89 v -1744
809.58/809.89 v -1745
809.58/809.89 v -1746
809.58/809.89 v 1747
809.58/809.89 v -1748
809.58/809.89 v 1749
809.58/809.89 v 1750
809.58/809.89 v -1751
809.58/809.89 v 1752
809.58/809.89 v 1753
809.58/809.89 v -1754
809.58/809.89 v -1755
809.58/809.89 v 1756
809.58/809.89 v -1757
809.58/809.89 v -1758
809.58/809.89 v 1759
809.58/809.89 v 1760
809.58/809.89 v -1761
809.58/809.89 v -1762
809.58/809.89 v -1763
809.58/809.89 v 1764
809.58/809.89 v -1765
809.58/809.89 v -1766
809.58/809.89 v 1767
809.58/809.89 v -1768
809.58/809.89 v 1769
809.58/809.89 v -1770
809.58/809.89 v 1771
809.58/809.89 v 1772
809.58/809.89 v -1773
809.58/809.89 v -1774
809.58/809.89 v 1775
809.58/809.89 v -1776
809.58/809.89 v -1777
809.58/809.89 v -1778
809.58/809.89 v 1779
809.58/809.89 v -1780
809.58/809.89 v 1781
809.58/809.89 v 1782
809.58/809.89 v 1783
809.58/809.89 v -1784
809.58/809.89 v -1785
809.58/809.89 v 1786
809.58/809.89 v 1787
809.58/809.89 v 1788
809.58/809.89 v -1789
809.58/809.89 v 1790
809.58/809.89 v 1791
809.58/809.89 v 1792
809.58/809.89 v -1793
809.58/809.89 v -1794
809.58/809.89 v -1795
809.58/809.89 v 1796
809.58/809.89 v -1797
809.58/809.89 v 1798
809.58/809.89 v 1799
809.58/809.89 v -1800
809.58/809.89 v -1801
809.58/809.89 v 1802
809.58/809.89 v 1803
809.58/809.89 v 1804
809.58/809.89 v -1805
809.58/809.89 v 1806
809.58/809.89 v 1807
809.58/809.89 v 1808
809.58/809.89 v 1809
809.58/809.89 v 1810
809.58/809.89 v -1811
809.58/809.89 v -1812
809.58/809.89 v -1813
809.58/809.89 v -1814
809.58/809.89 v 1815
809.58/809.89 v 1816
809.58/809.89 v 1817
809.58/809.89 v 1818
809.58/809.89 v 1819
809.58/809.89 v -1820
809.58/809.89 v 1821
809.58/809.89 v 1822
809.58/809.89 v -1823
809.58/809.89 v 1824
809.58/809.89 v -1825
809.58/809.89 v 1826
809.58/809.89 v -1827
809.58/809.89 v -1828
809.58/809.89 v -1829
809.58/809.89 v 1830
809.58/809.89 v 1831
809.58/809.89 v -1832
809.58/809.89 v 1833
809.58/809.89 v 1834
809.58/809.89 v -1835
809.58/809.89 v -1836
809.58/809.89 v 1837
809.58/809.89 v -1838
809.58/809.89 v -1839
809.58/809.89 v -1840
809.58/809.89 v 1841
809.58/809.89 v 1842
809.58/809.89 v 1843
809.58/809.89 v -1844
809.58/809.89 v -1845
809.58/809.89 v -1846
809.58/809.89 v 1847
809.58/809.89 v -1848
809.58/809.89 v 1849
809.58/809.89 v 1850
809.58/809.89 v 1851
809.58/809.89 v 1852
809.58/809.89 v -1853
809.58/809.89 v 1854
809.58/809.89 v -1855
809.58/809.89 v 1856
809.58/809.89 v -1857
809.58/809.89 v 1858
809.58/809.89 v 1859
809.58/809.89 v 1860
809.58/809.89 v -1861
809.58/809.89 v 1862
809.58/809.89 v 1863
809.58/809.89 v -1864
809.58/809.89 v 1865
809.58/809.89 v -1866
809.58/809.89 v 1867
809.58/809.89 v -1868
809.58/809.89 v -1869
809.58/809.89 v -1870
809.58/809.89 v 1871
809.58/809.89 v 1872
809.58/809.89 v -1873
809.58/809.89 v -1874
809.58/809.89 v -1875
809.58/809.89 v -1876
809.58/809.89 v 1877
809.58/809.89 v 1878
809.58/809.89 v 1879
809.58/809.89 v -1880
809.58/809.89 v -1881
809.58/809.89 v -1882
809.58/809.89 v -1883
809.58/809.89 v -1884
809.58/809.89 v -1885
809.58/809.89 v -1886
809.58/809.89 v -1887
809.58/809.89 v 1888
809.58/809.89 v 1889
809.58/809.89 v 1890
809.58/809.89 v -1891
809.58/809.89 v 1892
809.58/809.89 v -1893
809.58/809.89 v 1894
809.58/809.89 v -1895
809.58/809.89 v -1896
809.58/809.89 v 1897
809.58/809.89 v -1898
809.58/809.89 v -1899
809.58/809.89 v 1900
809.58/809.89 v -1901
809.58/809.89 v -1902
809.58/809.89 v 1903
809.58/809.89 v -1904
809.58/809.89 v 1905
809.58/809.89 v 1906
809.58/809.89 v 1907
809.58/809.89 v -1908
809.58/809.89 v 1909
809.58/809.89 v -1910
809.58/809.89 v -1911
809.58/809.89 v 1912
809.58/809.89 v -1913
809.58/809.89 v 1914
809.58/809.89 v 1915
809.58/809.89 v 1916
809.58/809.89 v 1917
809.58/809.89 v -1918
809.58/809.89 v -1919
809.58/809.89 v 1920
809.58/809.89 v -1921
809.58/809.89 v 1922
809.58/809.89 v -1923
809.58/809.89 v -1924
809.58/809.89 v 1925
809.58/809.89 v 1926
809.58/809.89 v -1927
809.58/809.89 v -1928
809.58/809.89 v -1929
809.58/809.89 v -1930
809.58/809.89 v 1931
809.58/809.89 v -1932
809.58/809.89 v -1933
809.58/809.89 v 1934
809.58/809.89 v 1935
809.58/809.89 v 1936
809.58/809.89 v 1937
809.58/809.89 v 1938
809.58/809.89 v 1939
809.58/809.89 v 1940
809.58/809.89 v 1941
809.58/809.89 v -1942
809.58/809.89 v 1943
809.58/809.89 v -1944
809.58/809.89 v -1945
809.58/809.89 v -1946
809.58/809.89 v 1947
809.58/809.89 v -1948
809.58/809.89 v 1949
809.58/809.89 v -1950
809.58/809.89 v -1951
809.58/809.89 v 1952
809.58/809.89 v -1953
809.58/809.89 v -1954
809.58/809.89 v -1955
809.58/809.89 v -1956
809.58/809.89 v 1957
809.58/809.89 v -1958
809.58/809.89 v 1959
809.58/809.89 v 1960
809.58/809.89 v -1961
809.58/809.89 v 1962
809.58/809.89 v -1963
809.58/809.89 v 1964
809.58/809.89 v 1965
809.58/809.89 v 1966
809.58/809.89 v 1967
809.58/809.89 v -1968
809.58/809.89 v 1969
809.58/809.89 v 1970
809.58/809.89 v -1971
809.58/809.89 v -1972
809.58/809.89 v -1973
809.58/809.89 v -1974
809.58/809.89 v -1975
809.58/809.89 v -1976
809.58/809.89 v -1977
809.58/809.89 v -1978
809.58/809.89 v -1979
809.58/809.89 v -1980
809.58/809.89 v -1981
809.58/809.89 v -1982
809.58/809.89 v 1983
809.58/809.89 v 1984
809.58/809.89 v -1985
809.58/809.89 v -1986
809.58/809.89 v -1987
809.58/809.89 v -1988
809.58/809.89 v 1989
809.58/809.89 v 1990
809.58/809.89 v 1991
809.58/809.89 v -1992
809.58/809.89 v -1993
809.58/809.89 v -1994
809.58/809.89 v -1995
809.58/809.89 v 1996
809.58/809.89 v -1997
809.58/809.89 v 1998
809.58/809.89 v 1999
809.58/809.89 v 2000
809.58/809.89 v -2001
809.58/809.89 v 2002
809.58/809.89 v -2003
809.58/809.89 v -2004
809.58/809.89 v -2005
809.58/809.89 v -2006
809.58/809.89 v 2007
809.58/809.89 v -2008
809.58/809.89 v -2009
809.58/809.89 v -2010
809.58/809.89 v 2011
809.58/809.89 v 2012
809.58/809.89 v -2013
809.58/809.89 v -2014
809.58/809.89 v 2015
809.58/809.89 v -2016
809.58/809.89 v 2017
809.58/809.89 v -2018
809.58/809.89 v -2019
809.58/809.89 v 2020
809.58/809.89 v 2021
809.58/809.89 v 2022
809.58/809.89 v 2023
809.58/809.89 v -2024
809.58/809.89 v -2025
809.58/809.89 v 2026
809.58/809.89 v 2027
809.58/809.89 v -2028
809.58/809.89 v 2029
809.58/809.89 v 2030
809.58/809.89 v 2031
809.58/809.89 v -2032
809.58/809.89 v -2033
809.58/809.89 v 2034
809.58/809.89 v -2035
809.58/809.89 v -2036
809.58/809.89 v -2037
809.58/809.89 v -2038
809.58/809.89 v 2039
809.58/809.89 v 2040
809.58/809.89 v -2041
809.58/809.89 v -2042
809.58/809.89 v -2043
809.58/809.89 v -2044
809.58/809.89 v -2045
809.58/809.89 v -2046
809.58/809.89 v -2047
809.58/809.89 v 2048
809.58/809.89 v -2049
809.58/809.89 v -2050
809.58/809.89 v 2051
809.58/809.89 v -2052
809.58/809.89 v 2053
809.58/809.89 v 2054
809.58/809.89 v -2055
809.58/809.89 v 2056
809.58/809.89 v -2057
809.58/809.89 v 2058
809.58/809.89 v 2059
809.58/809.89 v 2060
809.58/809.89 v -2061
809.58/809.89 v 2062
809.58/809.89 v 2063
809.58/809.89 v -2064
809.58/809.89 v 2065
809.58/809.89 v 2066
809.58/809.89 v -2067
809.58/809.89 v 2068
809.58/809.89 v 2069
809.58/809.89 v 2070
809.58/809.89 v 2071
809.58/809.89 v -2072
809.58/809.89 v 2073
809.58/809.89 v 2074
809.58/809.89 v -2075
809.58/809.89 v 2076
809.58/809.89 v 2077
809.58/809.89 v -2078
809.58/809.89 v 2079
809.58/809.89 v 2080
809.58/809.89 v -2081
809.58/809.89 v -2082
809.58/809.89 v -2083
809.58/809.89 v 2084
809.58/809.89 v -2085
809.58/809.89 v 2086
809.58/809.89 v 2087
809.58/809.89 v 2088
809.58/809.89 v 2089
809.58/809.89 v -2090
809.58/809.89 v 2091
809.58/809.89 v -2092
809.58/809.89 v 2093
809.58/809.89 v -2094
809.58/809.89 v -2095
809.58/809.89 v -2096
809.58/809.89 v -2097
809.58/809.89 v 2098
809.58/809.89 v 2099
809.58/809.89 v -2100
809.58/809.89 v -2101
809.58/809.89 v 2102
809.58/809.89 v -2103
809.58/809.89 v 2104
809.58/809.89 v 2105
809.58/809.89 v -2106
809.58/809.89 v 2107
809.58/809.89 v 2108
809.58/809.89 v -2109
809.58/809.89 v 2110
809.58/809.89 v 2111
809.58/809.89 v 2112
809.58/809.89 v 2113
809.58/809.89 v 2114
809.58/809.89 v -2115
809.58/809.89 v 2116
809.58/809.89 v 2117
809.58/809.89 v 2118
809.58/809.89 v -2119
809.58/809.89 v 2120
809.58/809.89 v 2121
809.58/809.89 v 2122
809.58/809.89 v 2123
809.58/809.89 v -2124
809.58/809.89 v 2125
809.58/809.89 v 2126
809.58/809.89 v 2127
809.58/809.89 v -2128
809.58/809.89 v 2129
809.58/809.89 v -2130
809.58/809.89 v -2131
809.58/809.89 v 2132
809.58/809.89 v 2133
809.58/809.89 v -2134
809.58/809.89 v -2135
809.58/809.89 v -2136
809.58/809.89 v 2137
809.58/809.89 v -2138
809.58/809.89 v 2139
809.58/809.89 v 2140
809.58/809.89 v -2141
809.58/809.89 v -2142
809.58/809.89 v -2143
809.58/809.89 v -2144
809.58/809.89 v 2145
809.58/809.89 v -2146
809.58/809.89 v -2147
809.58/809.89 v 2148
809.58/809.89 v 2149
809.58/809.89 v 2150
809.58/809.89 v 2151
809.58/809.89 v 2152
809.58/809.89 v -2153
809.58/809.89 v 2154
809.58/809.89 v -2155
809.58/809.89 v 2156
809.58/809.89 v 2157
809.58/809.89 v -2158
809.58/809.89 v -2159
809.58/809.89 v 2160
809.58/809.89 v 2161
809.58/809.89 v 2162
809.58/809.89 v -2163
809.58/809.89 v -2164
809.58/809.89 v 2165
809.58/809.89 v 2166
809.58/809.89 v -2167
809.58/809.89 v 2168
809.58/809.89 v 2169
809.58/809.89 v -2170
809.58/809.89 v -2171
809.58/809.89 v 2172
809.58/809.89 v 2173
809.58/809.89 v 2174
809.58/809.89 v -2175
809.58/809.89 v 2176
809.58/809.89 v 2177
809.58/809.89 v -2178
809.58/809.89 v 2179
809.58/809.89 v 2180
809.58/809.89 v -2181
809.58/809.89 v 2182
809.58/809.89 v 2183
809.58/809.89 v 2184
809.58/809.89 v 2185
809.58/809.89 v 2186
809.58/809.89 v 2187
809.58/809.89 v 2188
809.58/809.89 v 2189
809.58/809.89 v 2190
809.58/809.89 v 2191
809.58/809.89 v 2192
809.58/809.89 v -2193
809.58/809.89 v 2194
809.58/809.89 v -2195
809.58/809.89 v -2196
809.58/809.89 v -2197
809.58/809.89 v 2198
809.58/809.89 v 2199
809.58/809.89 v -2200
809.58/809.89 v 2201
809.58/809.89 v 2202
809.58/809.89 v -2203
809.58/809.89 v -2204
809.58/809.89 v -2205
809.58/809.89 v -2206
809.58/809.89 v -2207
809.58/809.89 v 2208
809.58/809.89 v -2209
809.58/809.89 v 2210
809.58/809.89 v -2211
809.58/809.89 v -2212
809.58/809.89 v 2213
809.58/809.89 v 2214
809.58/809.89 v -2215
809.58/809.89 v 2216
809.58/809.89 v 2217
809.58/809.89 v -2218
809.58/809.89 v 2219
809.58/809.89 v 2220
809.58/809.89 v 2221
809.58/809.89 v -2222
809.58/809.89 v 2223
809.58/809.89 v -2224
809.58/809.89 v -2225
809.58/809.89 v -2226
809.58/809.89 v 2227
809.58/809.89 v -2228
809.58/809.89 v 2229
809.58/809.89 v 2230
809.58/809.89 v -2231
809.58/809.89 v 2232
809.58/809.89 v -2233
809.58/809.89 v 2234
809.58/809.89 v 2235
809.58/809.89 v 2236
809.58/809.89 v 2237
809.58/809.89 v -2238
809.58/809.89 v -2239
809.58/809.89 v -2240
809.58/809.89 v 2241
809.58/809.89 v 2242
809.58/809.89 v -2243
809.58/809.89 v 2244
809.58/809.89 v -2245
809.58/809.89 v -2246
809.58/809.89 v 2247
809.58/809.89 v 2248
809.58/809.89 v -2249
809.58/809.89 v 2250
809.58/809.89 v 2251
809.58/809.89 v 2252
809.58/809.89 v -2253
809.58/809.89 v -2254
809.58/809.89 v 2255
809.58/809.89 v 2256
809.58/809.89 v -2257
809.58/809.89 v -2258
809.58/809.89 v -2259
809.58/809.89 v 2260
809.58/809.89 v -2261
809.58/809.89 v -2262
809.58/809.89 v -2263
809.58/809.89 v 2264
809.58/809.89 v 2265
809.58/809.89 v 2266
809.58/809.89 v -2267
809.58/809.89 v 2268
809.58/809.89 v 2269
809.58/809.89 v 2270
809.58/809.89 v 2271
809.58/809.89 v 2272
809.58/809.89 v 2273
809.58/809.89 v 2274
809.58/809.89 v 2275
809.58/809.89 v -2276
809.58/809.89 v 2277
809.58/809.89 v 2278
809.58/809.89 v 2279
809.58/809.89 v 2280
809.58/809.89 v -2281
809.58/809.89 v 2282
809.58/809.89 v -2283
809.58/809.89 v -2284
809.58/809.89 v -2285
809.58/809.89 v -2286
809.58/809.89 v 2287
809.58/809.89 v 2288
809.58/809.89 v 2289
809.58/809.89 v 2290
809.58/809.89 v -2291
809.58/809.89 v -2292
809.58/809.89 v -2293
809.58/809.89 v -2294
809.58/809.89 v -2295
809.58/809.89 v -2296
809.58/809.89 v 2297
809.58/809.89 v -2298
809.58/809.89 v -2299
809.58/809.89 v 2300
809.58/809.89 v -2301
809.58/809.89 v 2302
809.58/809.89 v -2303
809.58/809.89 v -2304
809.58/809.89 v 2305
809.58/809.89 v -2306
809.58/809.89 v 2307
809.58/809.89 v 2308
809.58/809.89 v -2309
809.58/809.89 v 2310
809.58/809.89 v -2311
809.58/809.89 v 2312
809.58/809.89 v 2313
809.58/809.89 v 2314
809.58/809.89 v 2315
809.58/809.89 v -2316
809.58/809.89 v 2317
809.58/809.89 v -2318
809.58/809.89 v 2319
809.58/809.89 v -2320
809.58/809.89 v -2321
809.58/809.89 v 2322
809.58/809.89 v -2323
809.58/809.89 v -2324
809.58/809.89 v 2325
809.58/809.89 v 2326
809.58/809.89 v 2327
809.58/809.89 v -2328
809.58/809.89 v -2329
809.58/809.89 v 2330
809.58/809.89 v -2331
809.58/809.89 v 2332
809.58/809.89 v 2333
809.58/809.89 v 2334
809.58/809.89 v 2335
809.58/809.89 v 2336
809.58/809.89 v 2337
809.58/809.89 v -2338
809.58/809.89 v 2339
809.58/809.89 v -2340
809.58/809.89 v 2341
809.58/809.89 v 2342
809.58/809.89 v 2343
809.58/809.89 v 2344
809.58/809.89 v -2345
809.58/809.89 v -2346
809.58/809.89 v -2347
809.58/809.89 v -2348
809.58/809.89 v 2349
809.58/809.89 v -2350
809.58/809.89 v 2351
809.58/809.89 v -2352
809.58/809.89 v 2353
809.58/809.89 v 2354
809.58/809.89 v -2355
809.58/809.89 v -2356
809.58/809.89 v 2357
809.58/809.89 v 2358
809.58/809.89 v 2359
809.58/809.89 v 2360
809.58/809.89 v -2361
809.58/809.89 v -2362
809.58/809.89 v -2363
809.58/809.89 v -2364
809.58/809.89 v 2365
809.58/809.89 v 2366
809.58/809.89 v 2367
809.58/809.89 v 2368
809.58/809.89 v 2369
809.58/809.89 v 2370
809.58/809.89 v 2371
809.58/809.89 v 2372
809.58/809.89 v -2373
809.58/809.89 v 2374
809.58/809.89 v -2375
809.58/809.89 v -2376
809.58/809.89 v 2377
809.58/809.89 v -2378
809.58/809.89 v -2379
809.58/809.89 v -2380
809.58/809.89 v 2381
809.58/809.89 v -2382
809.58/809.89 v -2383
809.58/809.89 v 2384
809.58/809.89 v 2385
809.58/809.89 v 2386
809.58/809.89 v -2387
809.58/809.89 v -2388
809.58/809.89 v 2389
809.58/809.89 v 2390
809.58/809.89 v 2391
809.58/809.89 v -2392
809.58/809.89 v 2393
809.58/809.89 v 2394
809.58/809.89 v -2395
809.58/809.89 v 2396
809.58/809.89 v -2397
809.58/809.89 v 2398
809.58/809.89 v 2399
809.58/809.89 v -2400
809.58/809.89 v 2401
809.58/809.89 v -2402
809.58/809.89 v 2403
809.58/809.89 v 2404
809.58/809.89 v 2405
809.58/809.89 v -2406
809.58/809.89 v 2407
809.58/809.89 v 2408
809.58/809.89 v 2409
809.58/809.89 v -2410
809.58/809.89 v -2411
809.58/809.89 v -2412
809.58/809.89 v 2413
809.58/809.89 v 2414
809.58/809.89 v -2415
809.58/809.89 v -2416
809.58/809.89 v 2417
809.58/809.89 v -2418
809.58/809.89 v -2419
809.58/809.89 v -2420
809.58/809.89 v 2421
809.58/809.89 v -2422
809.58/809.89 v -2423
809.58/809.89 v 2424
809.58/809.89 v 2425
809.58/809.89 v -2426
809.58/809.89 v 2427
809.58/809.89 v 2428
809.58/809.89 v 2429
809.58/809.89 v 2430
809.58/809.89 v -2431
809.58/809.89 v -2432
809.58/809.89 v -2433
809.58/809.89 v 2434
809.58/809.89 v -2435
809.58/809.89 v -2436
809.58/809.89 v -2437
809.58/809.89 v 2438
809.58/809.89 v 2439
809.58/809.89 v 2440
809.58/809.89 v 2441
809.58/809.89 v 2442
809.58/809.89 v 2443
809.58/809.89 v 2444
809.58/809.89 v 2445
809.58/809.89 v -2446
809.58/809.89 v 2447
809.58/809.89 v 2448
809.58/809.89 v 2449
809.58/809.89 v -2450
809.58/809.89 v 2451
809.58/809.89 v -2452
809.58/809.89 v 2453
809.58/809.89 v 2454
809.58/809.89 v -2455
809.58/809.89 v -2456
809.58/809.89 v -2457
809.58/809.89 v -2458
809.58/809.89 v -2459
809.58/809.89 v -2460
809.58/809.89 v -2461
809.58/809.89 v -2462
809.58/809.89 v 2463
809.58/809.89 v -2464
809.58/809.89 v -2465
809.58/809.89 v -2466
809.58/809.89 v 2467
809.58/809.89 v -2468
809.58/809.89 v 2469
809.58/809.89 v -2470
809.58/809.89 v 2471
809.58/809.89 v 2472
809.58/809.89 v 2473
809.58/809.89 v -2474
809.58/809.89 v 2475
809.58/809.89 v -2476
809.58/809.89 v -2477
809.58/809.89 v 2478
809.58/809.89 v -2479
809.58/809.89 v 2480
809.58/809.89 v 2481
809.58/809.89 v -2482
809.58/809.89 v -2483
809.58/809.89 v 2484
809.58/809.89 v -2485
809.58/809.89 v -2486
809.58/809.89 v -2487
809.58/809.89 v -2488
809.58/809.89 v 2489
809.58/809.89 v -2490
809.58/809.89 v -2491
809.58/809.89 v 2492
809.58/809.89 v 2493
809.58/809.89 v -2494
809.58/809.89 v -2495
809.58/809.89 v -2496
809.58/809.89 v 2497
809.58/809.89 v 2498
809.58/809.89 v -2499
809.58/809.89 v -2500
809.58/809.89 v -2501
809.58/809.89 v 2502
809.58/809.89 v -2503
809.58/809.89 v 2504
809.58/809.89 v 2505
809.58/809.89 v 2506
809.58/809.89 v 2507
809.58/809.89 v -2508
809.58/809.89 v -2509
809.58/809.89 v -2510
809.58/809.89 v 2511
809.58/809.89 v 2512
809.58/809.89 v 2513
809.58/809.89 v 2514
809.58/809.89 v -2515
809.58/809.89 v -2516
809.58/809.89 v -2517
809.58/809.89 v 2518
809.58/809.89 v -2519
809.58/809.89 v 2520
809.58/809.89 v -2521
809.58/809.89 v -2522
809.58/809.89 v -2523
809.58/809.89 v -2524
809.58/809.89 v 2525
809.58/809.89 v -2526
809.58/809.89 v -2527
809.58/809.89 v 2528
809.58/809.89 v 2529
809.58/809.89 v -2530
809.58/809.89 v 2531
809.58/809.89 v -2532
809.58/809.89 v -2533
809.58/809.89 v -2534
809.58/809.89 v 2535
809.58/809.89 v 2536
809.58/809.89 v -2537
809.58/809.89 v -2538
809.58/809.89 v -2539
809.58/809.89 v -2540
809.58/809.89 v -2541
809.58/809.89 v 2542
809.58/809.89 v 2543
809.58/809.89 v 2544
809.58/809.89 v 2545
809.58/809.89 v -2546
809.58/809.89 v -2547
809.58/809.89 v -2548
809.58/809.89 v 2549
809.58/809.89 v 2550
809.58/809.89 v -2551
809.58/809.89 v -2552
809.58/809.89 v -2553
809.58/809.89 v 2554
809.58/809.89 v 2555
809.58/809.89 v -2556
809.58/809.89 v 2557
809.58/809.89 v 2558
809.58/809.89 v 2559
809.58/809.89 v 2560
809.58/809.89 v -2561
809.58/809.89 v -2562
809.58/809.89 v -2563
809.58/809.89 v -2564
809.58/809.89 v -2565
809.58/809.89 v -2566
809.58/809.89 v 2567
809.58/809.89 v 2568
809.58/809.89 v -2569
809.58/809.89 v 2570
809.58/809.89 v -2571
809.58/809.89 v 2572
809.58/809.89 v 2573
809.58/809.89 v 2574
809.58/809.89 v -2575
809.58/809.89 v 2576
809.58/809.89 v -2577
809.58/809.89 v -2578
809.58/809.89 v -2579
809.58/809.89 v -2580
809.58/809.89 v -2581
809.58/809.89 v 2582
809.58/809.89 v -2583
809.58/809.89 v 2584
809.58/809.89 v -2585
809.58/809.89 v 2586
809.58/809.89 v 2587
809.58/809.89 v -2588
809.58/809.89 v 2589
809.58/809.89 v -2590
809.58/809.89 v -2591
809.58/809.89 v -2592
809.58/809.89 v -2593
809.58/809.89 v -2594
809.58/809.89 v 2595
809.58/809.89 v -2596
809.58/809.89 v -2597
809.58/809.89 v -2598
809.58/809.89 v -2599
809.58/809.89 v -2600
809.58/809.89 v -2601
809.58/809.89 v -2602
809.58/809.89 v -2603
809.58/809.89 v 2604
809.58/809.89 v 2605
809.58/809.89 v 2606
809.58/809.89 v -2607
809.58/809.89 v 2608
809.58/809.89 v -2609
809.58/809.89 v 2610
809.58/809.89 v -2611
809.58/809.89 v -2612
809.58/809.89 v 2613
809.58/809.89 v -2614
809.58/809.89 v 2615
809.58/809.89 v -2616
809.58/809.89 v 2617
809.58/809.89 v -2618
809.58/809.89 v 2619
809.58/809.89 v 2620
809.58/809.89 v -2621
809.58/809.89 v 2622
809.58/809.89 v -2623
809.58/809.89 v -2624
809.58/809.89 v -2625
809.58/809.89 v 2626
809.58/809.89 v -2627
809.58/809.89 v -2628
809.58/809.89 v -2629
809.58/809.89 v -2630
809.58/809.89 v -2631
809.58/809.89 v 2632
809.58/809.89 v -2633
809.58/809.89 v 2634
809.58/809.89 v -2635
809.58/809.89 v 2636
809.58/809.89 v 2637
809.58/809.89 v 2638
809.58/809.89 v 2639
809.58/809.89 v -2640
809.58/809.89 v -2641
809.58/809.89 v -2642
809.58/809.89 v 2643
809.58/809.89 v 2644
809.58/809.89 v 2645
809.58/809.89 v 2646
809.58/809.89 v -2647
809.58/809.89 v 2648
809.58/809.89 v 2649
809.58/809.89 v -2650
809.58/809.89 v 2651
809.58/809.89 v 2652
809.58/809.89 v 2653
809.58/809.89 v -2654
809.58/809.89 v 2655
809.58/809.89 v -2656
809.58/809.89 v -2657
809.58/809.89 v -2658
809.58/809.89 v 2659
809.58/809.89 v 2660
809.58/809.89 v -2661
809.58/809.89 v -2662
809.58/809.89 v -2663
809.58/809.89 v 2664
809.58/809.89 v -2665
809.58/809.89 v -2666
809.58/809.89 v 2667
809.58/809.89 v 2668
809.58/809.89 v -2669
809.58/809.89 v -2670
809.58/809.89 v 2671
809.58/809.89 v 2672
809.58/809.89 v -2673
809.58/809.89 v 2674
809.58/809.89 v 2675
809.58/809.89 v 2676
809.58/809.89 v -2677
809.58/809.89 v 2678
809.58/809.89 v -2679
809.58/809.89 v -2680
809.58/809.89 v -2681
809.58/809.89 v 2682
809.58/809.89 v -2683
809.58/809.89 v -2684
809.58/809.89 v -2685
809.58/809.89 v -2686
809.58/809.89 v -2687
809.58/809.89 v -2688
809.58/809.89 v -2689
809.58/809.89 v -2690
809.58/809.89 v 2691
809.58/809.89 v 2692
809.58/809.89 v -2693
809.58/809.89 v 2694
809.58/809.89 v -2695
809.58/809.89 v 2696
809.58/809.89 v -2697
809.58/809.89 v 2698
809.58/809.89 v -2699
809.58/809.89 v -2700
809.58/809.89 v -2701
809.58/809.89 v 2702
809.58/809.89 v -2703
809.58/809.89 v -2704
809.58/809.89 v -2705
809.58/809.89 v -2706
809.58/809.89 v 2707
809.58/809.89 v 2708
809.58/809.89 v -2709
809.58/809.89 v -2710
809.58/809.89 v -2711
809.58/809.89 v -2712
809.58/809.89 v -2713
809.58/809.89 v 2714
809.58/809.89 v -2715
809.58/809.89 v -2716
809.58/809.89 v 2717
809.58/809.89 v -2718
809.58/809.89 v 2719
809.58/809.89 v 2720
809.58/809.89 v -2721
809.58/809.89 v -2722
809.58/809.89 v 2723
809.58/809.89 v -2724
809.58/809.89 v 2725
809.58/809.89 v 2726
809.58/809.89 v -2727
809.58/809.89 v -2728
809.58/809.89 v -2729
809.58/809.89 v 2730
809.58/809.89 v 2731
809.58/809.89 v -2732
809.58/809.89 v 2733
809.58/809.89 v 2734
809.58/809.89 v -2735
809.58/809.89 v 2736
809.58/809.89 v 2737
809.58/809.89 v 0
809.58/809.89 c Done in 809.560000 seconds
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1725691-1240706184/watcher-1725691-1240706184 -o /tmp/evaluation-result-1725691-1240706184/solver-1725691-1240706184 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM7 HOME/instance-1725691-1240706184.cnf 999444973
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.97 0.96 0.98 3/65 20117
/proc/meminfo: memFree=1718536/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=260600 CPUtime=0
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 926 0 0 0 0 0 0 0 20 0 1 0 98648454 266854400 910 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 65150 916 55 168 0 64980 0
[startup+0.035003 s]
/proc/loadavg: 0.97 0.96 0.98 3/65 20117
/proc/meminfo: memFree=1718536/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268416 CPUtime=0.02
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 1138 0 0 0 2 0 0 0 20 0 1 0 98648454 274857984 1122 1992294400 134512640 135204385 4294956208 18446744073709551615 134723255 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67104 1122 57 168 0 66934 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 268416
[startup+0.103008 s]
/proc/loadavg: 0.97 0.96 0.98 3/65 20117
/proc/meminfo: memFree=1718536/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268412 CPUtime=0.09
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 2437 0 0 0 9 0 0 0 21 0 1 0 98648454 274853888 2420 1992294400 134512640 135204385 4294956208 18446744073709551615 134543971 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67103 2420 57 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412
[startup+0.301038 s]
/proc/loadavg: 0.97 0.96 0.98 3/65 20117
/proc/meminfo: memFree=1718536/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268416 CPUtime=0.29
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 5071 0 0 0 27 2 0 0 22 0 1 0 98648454 274857984 5054 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416
[startup+0.701071 s]
/proc/loadavg: 0.97 0.96 0.98 3/65 20117
/proc/meminfo: memFree=1718536/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268416 CPUtime=0.69
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 5071 0 0 0 67 2 0 0 25 0 1 0 98648454 274857984 5054 1992294400 134512640 135204385 4294956208 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416
[startup+1.50115 s]
/proc/loadavg: 0.97 0.96 0.98 2/66 20118
/proc/meminfo: memFree=1698432/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268416 CPUtime=1.49
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 5071 0 0 0 147 2 0 0 25 0 1 0 98648454 274857984 5054 1992294400 134512640 135204385 4294956208 18446744073709551615 134537977 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416
[startup+3.10132 s]
/proc/loadavg: 0.97 0.96 0.98 2/66 20118
/proc/meminfo: memFree=1698304/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268416 CPUtime=3.09
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 5071 0 0 0 307 2 0 0 25 0 1 0 98648454 274857984 5054 1992294400 134512640 135204385 4294956208 18446744073709551615 134538013 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416
[startup+6.30166 s]
/proc/loadavg: 0.97 0.96 0.98 2/66 20118
/proc/meminfo: memFree=1698176/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268416 CPUtime=6.29
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 5071 0 0 0 627 2 0 0 25 0 1 0 98648454 274857984 5054 1992294400 134512640 135204385 4294956208 18446744073709551615 134538248 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416
[startup+12.7013 s]
/proc/loadavg: 0.97 0.96 0.98 2/66 20118
/proc/meminfo: memFree=1698184/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268416 CPUtime=12.69
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 5071 0 0 0 1267 2 0 0 25 0 1 0 98648454 274857984 5054 1992294400 134512640 135204385 4294956208 18446744073709551615 134545283 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416
[startup+25.5027 s]
/proc/loadavg: 0.98 0.96 0.98 2/66 20118
/proc/meminfo: memFree=1698184/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268416 CPUtime=25.49
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 5071 0 0 0 2547 2 0 0 25 0 1 0 98648454 274857984 5054 1992294400 134512640 135204385 4294956208 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 268416
[startup+51.1013 s]
/proc/loadavg: 0.98 0.96 0.98 2/66 20118
/proc/meminfo: memFree=1698120/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268416 CPUtime=51.08
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 5071 0 0 0 5106 2 0 0 25 0 1 0 98648454 274857984 5054 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 268416
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20118
/proc/meminfo: memFree=1698184/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268416 CPUtime=102.27
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 5071 0 0 0 10225 2 0 0 25 0 1 0 98648454 274857984 5054 1992294400 134512640 135204385 4294956208 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 268416
[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1698056/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=268416 CPUtime=162.25
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 5071 0 0 0 16223 2 0 0 25 0 1 0 98648454 274857984 5054 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 268416
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1692488/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=272116 CPUtime=222.23
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 7373 0 0 0 22221 2 0 0 25 0 1 0 98648454 278646784 6414 1992294400 134512640 135204385 4294956208 18446744073709551615 134538034 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 68029 6414 85 168 0 67859 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 272116
[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1692488/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=272116 CPUtime=282.21
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 7373 0 0 0 28219 2 0 0 25 0 1 0 98648454 278646784 6414 1992294400 134512640 135204385 4294956208 18446744073709551615 134537891 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 68029 6414 85 168 0 67859 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 272116
[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1682952/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=281492 CPUtime=342.2
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 13178 0 0 0 34215 5 0 0 25 0 1 0 98648454 288247808 8770 1992294400 134512640 135204385 4294956208 18446744073709551615 134538264 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 70373 8770 85 168 0 70203 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 281492
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1678856/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=285584 CPUtime=402.19
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 15932 0 0 0 40212 7 0 0 25 0 1 0 98648454 292438016 9793 1992294400 134512640 135204385 4294956208 18446744073709551615 134537729 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 71396 9793 85 168 0 71226 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 285584
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1675912/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=288520 CPUtime=462.17
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 17514 0 0 0 46210 7 0 0 25 0 1 0 98648454 295444480 10527 1992294400 134512640 135204385 4294956208 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 72130 10527 85 168 0 71960 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 288520
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1673160/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=291212 CPUtime=522.16
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 19173 0 0 0 52208 8 0 0 25 0 1 0 98648454 298201088 11200 1992294400 134512640 135204385 4294956208 18446744073709551615 134538524 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 72803 11200 85 168 0 72633 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 291212
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1673224/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=291212 CPUtime=582.14
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 19173 0 0 0 58206 8 0 0 25 0 1 0 98648454 298201088 11200 1992294400 134512640 135204385 4294956208 18446744073709551615 134537711 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 72803 11200 85 168 0 72633 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 291212
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1673224/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=291212 CPUtime=642.13
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 19173 0 0 0 64205 8 0 0 25 0 1 0 98648454 298201088 11200 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 72803 11200 85 168 0 72633 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 291212
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1665864/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=298488 CPUtime=702.11
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 23532 0 0 0 70201 10 0 0 25 0 1 0 98648454 305651712 13019 1992294400 134512640 135204385 4294956208 18446744073709551615 134537785 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 74622 13019 85 168 0 74452 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 298488
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1665864/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=298488 CPUtime=762.1
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 23532 0 0 0 76200 10 0 0 25 0 1 0 98648454 305651712 13019 1992294400 134512640 135204385 4294956208 18446744073709551615 134537785 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 74622 13019 85 168 0 74452 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 298488
Solver just ended. Dumping a history of the last processes samples
[startup+767.901 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1665800/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=300944 CPUtime=767.69
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 23940 0 0 0 76759 10 0 0 25 0 1 0 98648454 308166656 13427 1992294400 134512640 135204385 4294956208 18446744073709551615 134574051 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 75236 13428 85 168 0 75066 0
Current children cumulated CPU time (s) 767.69
Current children cumulated vsize (KiB) 300944
[startup+793.501 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1658696/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=305652 CPUtime=793.28
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 27796 0 0 0 79316 12 0 0 25 0 1 0 98648454 312987648 14810 1992294400 134512640 135204385 4294956208 18446744073709551615 134538275 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 76413 14810 85 168 0 76243 0
Current children cumulated CPU time (s) 793.28
Current children cumulated vsize (KiB) 305652
[startup+799.902 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1658696/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=305652 CPUtime=799.68
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 27796 0 0 0 79956 12 0 0 25 0 1 0 98648454 312987648 14810 1992294400 134512640 135204385 4294956208 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 76413 14810 85 168 0 76243 0
Current children cumulated CPU time (s) 799.68
Current children cumulated vsize (KiB) 305652
[startup+806.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1658696/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=305652 CPUtime=806.09
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 27796 0 0 0 80597 12 0 0 25 0 1 0 98648454 312987648 14810 1992294400 134512640 135204385 4294956208 18446744073709551615 134537943 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 76413 14810 85 168 0 76243 0
Current children cumulated CPU time (s) 806.09
Current children cumulated vsize (KiB) 305652
[startup+807.902 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1658696/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=305652 CPUtime=807.68
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 27796 0 0 0 80756 12 0 0 25 0 1 0 98648454 312987648 14810 1992294400 134512640 135204385 4294956208 18446744073709551615 134537815 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 76413 14810 85 168 0 76243 0
Current children cumulated CPU time (s) 807.68
Current children cumulated vsize (KiB) 305652
[startup+808.702 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1658696/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=305652 CPUtime=808.48
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 27796 0 0 0 80836 12 0 0 25 0 1 0 98648454 312987648 14810 1992294400 134512640 135204385 4294956208 18446744073709551615 134545414 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 76413 14810 85 168 0 76243 0
Current children cumulated CPU time (s) 808.48
Current children cumulated vsize (KiB) 305652
[startup+809.502 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1658696/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=305652 CPUtime=809.28
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194304 27796 0 0 0 80916 12 0 0 25 0 1 0 98648454 312987648 14810 1992294400 134512640 135204385 4294956208 18446744073709551615 134549117 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 76413 14810 85 168 0 76243 0
Current children cumulated CPU time (s) 809.28
Current children cumulated vsize (KiB) 305652
[startup+809.902 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20120
/proc/meminfo: memFree=1658696/2055920 swapFree=4181316/4192956
[pid=20117] ppid=20115 vsize=0 CPUtime=809.67
/proc/20117/stat : 20117 (hybridGM7) R 20115 20117 19932 0 -1 4194308 27809 0 0 0 80954 13 0 0 16 0 1 0 98648454 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/20117/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 809.67
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 809.905
CPU time (s): 809.68
CPU user time (s): 809.545
CPU system time (s): 0.134979
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 310396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 809.545
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27809
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= 17
involuntary context switches= 777
runsolver used 0.921859 second user time and 1.9997 second system time
The end
Begin job on node79 at 2009-04-26 02:36:24
IDJOB=1725691
IDBENCH=24595
IDSOLVER=535
FILE ID=node79/1725691-1240706184
PBS_JOBID= 9186806
Free space on /tmp= 66164 MiB
SOLVER NAME= hybridGM7 7
BENCH NAME= SAT07/crafted/Medium/contest05/others/QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
COMMAND LINE= HOME/hybridGM7 BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1725691-1240706184/watcher-1725691-1240706184 -o /tmp/evaluation-result-1725691-1240706184/solver-1725691-1240706184 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM7 HOME/instance-1725691-1240706184.cnf 999444973
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 74af041eb51b172e799baf4bb7eaa52f
RANDOM SEED=999444973
node79.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.220
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.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1719016 kB
Buffers: 38872 kB
Cached: 248636 kB
SwapCached: 5436 kB
Active: 127060 kB
Inactive: 168180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1719016 kB
SwapTotal: 4192956 kB
SwapFree: 4181316 kB
Dirty: 1712 kB
Writeback: 0 kB
Mapped: 13364 kB
Slab: 27660 kB
Committed_AS: 354360 kB
PageTables: 1384 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= 66160 MiB
End job on node79 at 2009-04-26 02:49:55