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