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