0.00/0.03 c +------------------------------+
0.00/0.03 c | gNovelty+, version 1.0 |
0.00/0.03 c +------------------------------+
0.00/0.03 c gnovelty+ -h for help
0.00/0.03 c
0.00/0.03 c Problem instance: numAtoms = 2035, numClauses = 6327, numLiterals = 17716
0.00/0.03 c General parameters: seed=1353936223, cutoff=100000, targetCost = 0, print solution: yes
0.00/0.03 c gNovelty+ parameters: noise = 0, walkprob = 1, smoothprob = 100
0.00/0.03 c tries = 1
0.00/0.03 c
0.81/0.90 s SATISFIABLE
0.81/0.90 v 1
0.81/0.90 v 2
0.81/0.90 v 3
0.81/0.90 v -4
0.81/0.90 v -5
0.81/0.90 v -6
0.81/0.90 v -7
0.81/0.90 v 8
0.81/0.90 v 9
0.81/0.90 v -10
0.81/0.90 v 11
0.81/0.90 v 12
0.81/0.90 v -13
0.81/0.90 v 14
0.81/0.90 v -15
0.81/0.90 v 16
0.81/0.90 v 17
0.81/0.90 v -18
0.81/0.90 v 19
0.81/0.90 v 20
0.81/0.90 v -21
0.81/0.90 v 22
0.81/0.90 v -23
0.81/0.90 v 24
0.81/0.90 v 25
0.81/0.90 v -26
0.81/0.90 v 27
0.81/0.90 v -28
0.81/0.90 v -29
0.81/0.90 v -30
0.81/0.90 v -31
0.81/0.90 v 32
0.81/0.90 v 33
0.81/0.90 v -34
0.81/0.90 v 35
0.81/0.90 v -36
0.81/0.90 v 37
0.81/0.90 v -38
0.81/0.90 v 39
0.81/0.90 v 40
0.81/0.90 v 41
0.81/0.90 v 42
0.81/0.90 v -43
0.81/0.90 v -44
0.81/0.90 v 45
0.81/0.90 v 46
0.81/0.90 v -47
0.81/0.90 v -48
0.81/0.90 v -49
0.81/0.90 v 50
0.81/0.90 v 51
0.81/0.90 v -52
0.81/0.90 v 53
0.81/0.90 v 54
0.81/0.90 v 55
0.81/0.90 v -56
0.81/0.90 v -57
0.81/0.90 v 58
0.81/0.90 v 59
0.81/0.90 v 60
0.81/0.90 v 61
0.81/0.90 v 62
0.81/0.90 v 63
0.81/0.90 v 64
0.81/0.90 v 65
0.81/0.90 v -66
0.81/0.90 v 67
0.81/0.90 v 68
0.81/0.90 v 69
0.81/0.90 v 70
0.81/0.90 v 71
0.81/0.90 v -72
0.81/0.90 v -73
0.81/0.90 v 74
0.81/0.90 v -75
0.81/0.90 v 76
0.81/0.90 v -77
0.81/0.90 v -78
0.81/0.90 v -79
0.81/0.90 v -80
0.81/0.90 v -81
0.81/0.90 v -82
0.81/0.90 v 83
0.81/0.90 v -84
0.81/0.90 v -85
0.81/0.90 v 86
0.81/0.90 v -87
0.81/0.90 v -88
0.81/0.90 v -89
0.81/0.90 v -90
0.81/0.90 v -91
0.81/0.90 v 92
0.81/0.90 v -93
0.81/0.90 v -94
0.81/0.90 v -95
0.81/0.90 v 96
0.81/0.90 v -97
0.81/0.90 v -98
0.81/0.90 v 99
0.81/0.90 v -100
0.81/0.90 v -101
0.81/0.90 v -102
0.81/0.90 v -103
0.81/0.90 v 104
0.81/0.90 v 105
0.81/0.90 v -106
0.81/0.90 v 107
0.81/0.90 v 108
0.81/0.90 v -109
0.81/0.90 v -110
0.81/0.90 v -111
0.81/0.90 v 112
0.81/0.90 v -113
0.81/0.90 v 114
0.81/0.90 v 115
0.81/0.90 v -116
0.81/0.90 v -117
0.81/0.90 v -118
0.81/0.90 v 119
0.81/0.90 v -120
0.81/0.90 v 121
0.81/0.90 v -122
0.81/0.90 v -123
0.81/0.90 v -124
0.81/0.90 v -125
0.81/0.90 v -126
0.81/0.90 v 127
0.81/0.90 v -128
0.81/0.90 v -129
0.81/0.90 v 130
0.81/0.90 v 131
0.81/0.90 v 132
0.81/0.90 v 133
0.81/0.90 v -134
0.81/0.90 v 135
0.81/0.90 v 136
0.81/0.90 v -137
0.81/0.90 v 138
0.81/0.90 v -139
0.81/0.90 v -140
0.81/0.90 v -141
0.81/0.90 v 142
0.81/0.90 v -143
0.81/0.90 v -144
0.81/0.90 v 145
0.81/0.90 v -146
0.81/0.90 v -147
0.81/0.90 v 148
0.81/0.90 v -149
0.81/0.90 v -150
0.81/0.90 v -151
0.81/0.90 v -152
0.81/0.90 v 153
0.81/0.90 v 154
0.81/0.90 v -155
0.81/0.90 v 156
0.81/0.90 v 157
0.81/0.90 v 158
0.81/0.90 v -159
0.81/0.90 v -160
0.81/0.90 v -161
0.81/0.90 v 162
0.81/0.90 v 163
0.81/0.90 v 164
0.81/0.90 v -165
0.81/0.90 v 166
0.81/0.90 v 167
0.81/0.90 v -168
0.81/0.90 v 169
0.81/0.90 v -170
0.81/0.90 v 171
0.81/0.90 v -172
0.81/0.90 v -173
0.81/0.90 v -174
0.81/0.90 v -175
0.81/0.90 v 176
0.81/0.90 v 177
0.81/0.90 v -178
0.81/0.90 v 179
0.81/0.90 v -180
0.81/0.90 v 181
0.81/0.90 v 182
0.81/0.90 v -183
0.81/0.90 v 184
0.81/0.90 v -185
0.81/0.90 v -186
0.81/0.90 v -187
0.81/0.90 v 188
0.81/0.90 v -189
0.81/0.90 v -190
0.81/0.90 v -191
0.81/0.90 v 192
0.81/0.90 v 193
0.81/0.90 v -194
0.81/0.90 v 195
0.81/0.90 v 196
0.81/0.90 v 197
0.81/0.90 v -198
0.81/0.90 v -199
0.81/0.90 v 200
0.81/0.90 v 201
0.81/0.90 v -202
0.81/0.90 v -203
0.81/0.90 v 204
0.81/0.90 v -205
0.81/0.90 v -206
0.81/0.90 v -207
0.81/0.90 v -208
0.81/0.90 v -209
0.81/0.90 v 210
0.81/0.90 v -211
0.81/0.90 v -212
0.81/0.90 v 213
0.81/0.90 v 214
0.81/0.90 v -215
0.81/0.90 v -216
0.81/0.90 v -217
0.81/0.90 v 218
0.81/0.90 v 219
0.81/0.90 v -220
0.81/0.90 v 221
0.81/0.90 v -222
0.81/0.90 v -223
0.81/0.90 v 224
0.81/0.90 v 225
0.81/0.90 v -226
0.81/0.90 v 227
0.81/0.90 v 228
0.81/0.90 v -229
0.81/0.90 v 230
0.81/0.90 v -231
0.81/0.90 v -232
0.81/0.90 v 233
0.81/0.90 v -234
0.81/0.90 v 235
0.81/0.90 v -236
0.81/0.90 v -237
0.81/0.90 v 238
0.81/0.90 v -239
0.81/0.90 v 240
0.81/0.90 v -241
0.81/0.90 v -242
0.81/0.90 v 243
0.81/0.90 v -244
0.81/0.90 v 245
0.81/0.90 v 246
0.81/0.90 v 247
0.81/0.90 v -248
0.81/0.90 v 249
0.81/0.90 v 250
0.81/0.90 v 251
0.81/0.90 v 252
0.81/0.90 v -253
0.81/0.90 v -254
0.81/0.90 v 255
0.81/0.90 v -256
0.81/0.90 v -257
0.81/0.90 v -258
0.81/0.90 v -259
0.81/0.90 v -260
0.81/0.90 v -261
0.81/0.90 v 262
0.81/0.90 v -263
0.81/0.90 v 264
0.81/0.90 v -265
0.81/0.90 v -266
0.81/0.90 v 267
0.81/0.90 v 268
0.81/0.90 v 269
0.81/0.90 v -270
0.81/0.90 v -271
0.81/0.90 v 272
0.81/0.90 v 273
0.81/0.90 v 274
0.81/0.90 v -275
0.81/0.90 v 276
0.81/0.90 v -277
0.81/0.90 v -278
0.81/0.90 v 279
0.81/0.90 v -280
0.81/0.90 v 281
0.81/0.90 v 282
0.81/0.90 v 283
0.81/0.90 v -284
0.81/0.90 v -285
0.81/0.90 v -286
0.81/0.90 v 287
0.81/0.90 v 288
0.81/0.90 v 289
0.81/0.90 v -290
0.81/0.90 v -291
0.81/0.90 v 292
0.81/0.90 v 293
0.81/0.90 v -294
0.81/0.90 v 295
0.81/0.90 v -296
0.81/0.90 v 297
0.81/0.90 v -298
0.81/0.90 v 299
0.81/0.90 v 300
0.81/0.90 v -301
0.81/0.90 v 302
0.81/0.90 v -303
0.81/0.90 v -304
0.81/0.90 v 305
0.81/0.90 v -306
0.81/0.90 v 307
0.81/0.90 v -308
0.81/0.90 v -309
0.81/0.90 v -310
0.81/0.90 v 311
0.81/0.90 v -312
0.81/0.90 v 313
0.81/0.90 v 314
0.81/0.90 v 315
0.81/0.90 v 316
0.81/0.90 v 317
0.81/0.90 v 318
0.81/0.90 v 319
0.81/0.90 v -320
0.81/0.90 v -321
0.81/0.90 v 322
0.81/0.90 v -323
0.81/0.90 v 324
0.81/0.90 v -325
0.81/0.90 v -326
0.81/0.90 v 327
0.81/0.90 v 328
0.81/0.90 v 329
0.81/0.90 v -330
0.81/0.90 v -331
0.81/0.90 v 332
0.81/0.90 v -333
0.81/0.90 v 334
0.81/0.90 v -335
0.81/0.90 v 336
0.81/0.90 v -337
0.81/0.90 v 338
0.81/0.90 v 339
0.81/0.90 v -340
0.81/0.90 v 341
0.81/0.90 v -342
0.81/0.90 v -343
0.81/0.90 v -344
0.81/0.90 v 345
0.81/0.90 v -346
0.81/0.90 v -347
0.81/0.90 v -348
0.81/0.90 v -349
0.81/0.90 v 350
0.81/0.90 v 351
0.81/0.90 v -352
0.81/0.90 v -353
0.81/0.90 v 354
0.81/0.90 v -355
0.81/0.90 v -356
0.81/0.90 v -357
0.81/0.90 v -358
0.81/0.90 v -359
0.81/0.90 v 360
0.81/0.90 v 361
0.81/0.90 v -362
0.81/0.90 v 363
0.81/0.90 v -364
0.81/0.90 v -365
0.81/0.90 v -366
0.81/0.90 v -367
0.81/0.90 v -368
0.81/0.90 v 369
0.81/0.90 v -370
0.81/0.90 v 371
0.81/0.90 v -372
0.81/0.90 v 373
0.81/0.90 v 374
0.81/0.90 v 375
0.81/0.90 v 376
0.81/0.90 v -377
0.81/0.90 v 378
0.81/0.90 v -379
0.81/0.90 v 380
0.81/0.90 v -381
0.81/0.90 v -382
0.81/0.90 v 383
0.81/0.90 v -384
0.81/0.90 v 385
0.81/0.90 v 386
0.81/0.90 v -387
0.81/0.90 v -388
0.81/0.90 v 389
0.81/0.90 v 390
0.81/0.90 v 391
0.81/0.90 v 392
0.81/0.90 v 393
0.81/0.90 v 394
0.81/0.90 v -395
0.81/0.90 v 396
0.81/0.90 v -397
0.81/0.90 v -398
0.81/0.90 v 399
0.81/0.90 v 400
0.81/0.90 v -401
0.81/0.90 v 402
0.81/0.90 v -403
0.81/0.90 v -404
0.81/0.90 v 405
0.81/0.90 v 406
0.81/0.90 v -407
0.81/0.90 v -408
0.81/0.90 v 409
0.81/0.90 v -410
0.81/0.90 v 411
0.81/0.90 v 412
0.81/0.90 v 413
0.81/0.90 v 414
0.81/0.90 v -415
0.81/0.90 v 416
0.81/0.90 v -417
0.81/0.90 v -418
0.81/0.90 v 419
0.81/0.90 v 420
0.81/0.90 v 421
0.81/0.90 v -422
0.81/0.90 v 423
0.81/0.90 v -424
0.81/0.90 v -425
0.81/0.90 v 426
0.81/0.90 v 427
0.81/0.90 v -428
0.81/0.90 v 429
0.81/0.90 v 430
0.81/0.90 v -431
0.81/0.90 v -432
0.81/0.90 v 433
0.81/0.90 v -434
0.81/0.90 v 435
0.81/0.90 v 436
0.81/0.90 v -437
0.81/0.90 v -438
0.81/0.90 v -439
0.81/0.90 v -440
0.81/0.90 v 441
0.81/0.90 v 442
0.81/0.90 v -443
0.81/0.90 v -444
0.81/0.90 v 445
0.81/0.90 v -446
0.81/0.90 v -447
0.81/0.90 v -448
0.81/0.90 v 449
0.81/0.90 v 450
0.81/0.90 v 451
0.81/0.90 v 452
0.81/0.90 v -453
0.81/0.90 v 454
0.81/0.90 v 455
0.81/0.90 v -456
0.81/0.90 v -457
0.81/0.90 v -458
0.81/0.90 v 459
0.81/0.90 v 460
0.81/0.90 v -461
0.81/0.90 v -462
0.81/0.90 v -463
0.81/0.90 v 464
0.81/0.90 v 465
0.81/0.90 v 466
0.81/0.90 v -467
0.81/0.90 v -468
0.81/0.90 v 469
0.81/0.90 v -470
0.81/0.90 v 471
0.81/0.90 v -472
0.81/0.90 v 473
0.81/0.90 v 474
0.81/0.90 v 475
0.81/0.90 v 476
0.81/0.90 v 477
0.81/0.90 v -478
0.81/0.90 v 479
0.81/0.90 v 480
0.81/0.90 v -481
0.81/0.90 v 482
0.81/0.90 v 483
0.81/0.90 v -484
0.81/0.90 v 485
0.81/0.90 v 486
0.81/0.90 v -487
0.81/0.90 v -488
0.81/0.90 v -489
0.81/0.90 v -490
0.81/0.90 v 491
0.81/0.90 v -492
0.81/0.90 v -493
0.81/0.90 v -494
0.81/0.90 v -495
0.81/0.90 v 496
0.81/0.90 v -497
0.81/0.90 v 498
0.81/0.90 v -499
0.81/0.90 v -500
0.81/0.90 v -501
0.81/0.90 v -502
0.81/0.90 v 503
0.81/0.90 v -504
0.81/0.90 v -505
0.81/0.90 v -506
0.81/0.90 v 507
0.81/0.90 v -508
0.81/0.90 v -509
0.81/0.90 v -510
0.81/0.90 v -511
0.81/0.90 v -512
0.81/0.90 v 513
0.81/0.90 v -514
0.81/0.90 v 515
0.81/0.90 v 516
0.81/0.90 v 517
0.81/0.90 v 518
0.81/0.90 v 519
0.81/0.90 v 520
0.81/0.90 v 521
0.81/0.90 v 522
0.81/0.90 v 523
0.81/0.90 v -524
0.81/0.90 v 525
0.81/0.90 v -526
0.81/0.90 v -527
0.81/0.90 v 528
0.81/0.90 v 529
0.81/0.90 v -530
0.81/0.90 v 531
0.81/0.90 v -532
0.81/0.90 v -533
0.81/0.90 v 534
0.81/0.90 v -535
0.81/0.90 v -536
0.81/0.90 v -537
0.81/0.90 v -538
0.81/0.90 v 539
0.81/0.90 v 540
0.81/0.90 v -541
0.81/0.90 v -542
0.81/0.90 v 543
0.81/0.90 v -544
0.81/0.90 v 545
0.81/0.90 v 546
0.81/0.90 v 547
0.81/0.90 v -548
0.81/0.90 v -549
0.81/0.90 v 550
0.81/0.90 v -551
0.81/0.90 v -552
0.81/0.90 v 553
0.81/0.90 v 554
0.81/0.90 v -555
0.81/0.90 v 556
0.81/0.90 v -557
0.81/0.90 v 558
0.81/0.90 v -559
0.81/0.90 v 560
0.81/0.90 v 561
0.81/0.90 v -562
0.81/0.90 v 563
0.81/0.90 v -564
0.81/0.90 v -565
0.81/0.90 v -566
0.81/0.90 v 567
0.81/0.90 v -568
0.81/0.90 v 569
0.81/0.90 v -570
0.81/0.90 v -571
0.81/0.90 v 572
0.81/0.90 v -573
0.81/0.90 v 574
0.81/0.90 v -575
0.81/0.90 v 576
0.81/0.90 v 577
0.81/0.90 v 578
0.81/0.90 v -579
0.81/0.90 v 580
0.81/0.90 v 581
0.81/0.90 v 582
0.81/0.90 v 583
0.81/0.90 v -584
0.81/0.90 v 585
0.81/0.90 v 586
0.81/0.90 v 587
0.81/0.90 v 588
0.81/0.90 v 589
0.81/0.90 v 590
0.81/0.90 v -591
0.81/0.90 v -592
0.81/0.90 v -593
0.81/0.90 v 594
0.81/0.90 v -595
0.81/0.90 v 596
0.81/0.90 v -597
0.81/0.90 v 598
0.81/0.90 v -599
0.81/0.90 v 600
0.81/0.90 v -601
0.81/0.90 v 602
0.81/0.90 v -603
0.81/0.90 v -604
0.81/0.90 v -605
0.81/0.90 v 606
0.81/0.90 v -607
0.81/0.90 v 608
0.81/0.90 v -609
0.81/0.90 v 610
0.81/0.90 v -611
0.81/0.90 v -612
0.81/0.90 v -613
0.81/0.90 v -614
0.81/0.90 v -615
0.81/0.90 v -616
0.81/0.90 v -617
0.81/0.90 v 618
0.81/0.90 v -619
0.81/0.90 v 620
0.81/0.90 v -621
0.81/0.90 v -622
0.81/0.90 v 623
0.81/0.90 v 624
0.81/0.90 v 625
0.81/0.90 v 626
0.81/0.90 v 627
0.81/0.90 v -628
0.81/0.90 v 629
0.81/0.90 v -630
0.81/0.90 v 631
0.81/0.90 v 632
0.81/0.90 v 633
0.81/0.90 v -634
0.81/0.90 v 635
0.81/0.90 v 636
0.81/0.90 v -637
0.81/0.90 v 638
0.81/0.90 v 639
0.81/0.90 v -640
0.81/0.90 v 641
0.81/0.90 v -642
0.81/0.90 v -643
0.81/0.90 v -644
0.81/0.90 v -645
0.81/0.90 v 646
0.81/0.90 v 647
0.81/0.90 v 648
0.81/0.90 v 649
0.81/0.90 v 650
0.81/0.90 v -651
0.81/0.90 v 652
0.81/0.90 v -653
0.81/0.90 v 654
0.81/0.90 v -655
0.81/0.90 v 656
0.81/0.90 v -657
0.81/0.90 v 658
0.81/0.90 v -659
0.81/0.90 v -660
0.81/0.90 v -661
0.81/0.90 v -662
0.81/0.90 v -663
0.81/0.90 v -664
0.81/0.90 v 665
0.81/0.90 v -666
0.81/0.90 v 667
0.81/0.90 v -668
0.81/0.90 v -669
0.81/0.90 v 670
0.81/0.90 v -671
0.81/0.90 v 672
0.81/0.90 v -673
0.81/0.90 v -674
0.81/0.90 v -675
0.81/0.90 v 676
0.81/0.90 v -677
0.81/0.90 v -678
0.81/0.90 v -679
0.81/0.90 v 680
0.81/0.90 v -681
0.81/0.90 v -682
0.81/0.90 v 683
0.81/0.90 v 684
0.81/0.90 v 685
0.81/0.90 v 686
0.81/0.90 v 687
0.81/0.90 v 688
0.81/0.90 v -689
0.81/0.90 v 690
0.81/0.90 v 691
0.81/0.90 v 692
0.81/0.90 v -693
0.81/0.90 v 694
0.81/0.90 v 695
0.81/0.90 v -696
0.81/0.90 v 697
0.81/0.90 v -698
0.81/0.90 v 699
0.81/0.90 v 700
0.81/0.90 v -701
0.81/0.90 v 702
0.81/0.90 v -703
0.81/0.90 v 704
0.81/0.90 v -705
0.81/0.90 v -706
0.81/0.90 v 707
0.81/0.90 v 708
0.81/0.90 v 709
0.81/0.90 v -710
0.81/0.90 v -711
0.81/0.90 v -712
0.81/0.90 v 713
0.81/0.90 v -714
0.81/0.90 v 715
0.81/0.90 v -716
0.81/0.90 v -717
0.81/0.90 v 718
0.81/0.90 v 719
0.81/0.90 v -720
0.81/0.90 v -721
0.81/0.90 v 722
0.81/0.90 v -723
0.81/0.90 v 724
0.81/0.90 v -725
0.81/0.90 v -726
0.81/0.90 v -727
0.81/0.90 v 728
0.81/0.90 v 729
0.81/0.90 v -730
0.81/0.90 v 731
0.81/0.90 v 732
0.81/0.90 v -733
0.81/0.90 v -734
0.81/0.90 v 735
0.81/0.90 v 736
0.81/0.90 v -737
0.81/0.90 v -738
0.81/0.90 v -739
0.81/0.90 v -740
0.81/0.90 v -741
0.81/0.90 v -742
0.81/0.90 v -743
0.81/0.90 v -744
0.81/0.90 v 745
0.81/0.90 v 746
0.81/0.90 v 747
0.81/0.90 v 748
0.81/0.90 v -749
0.81/0.90 v 750
0.81/0.90 v -751
0.81/0.90 v 752
0.81/0.90 v 753
0.81/0.90 v -754
0.81/0.90 v 755
0.81/0.90 v 756
0.81/0.90 v -757
0.81/0.90 v 758
0.81/0.90 v 759
0.81/0.90 v -760
0.81/0.90 v -761
0.81/0.90 v 762
0.81/0.90 v 763
0.81/0.90 v -764
0.81/0.90 v 765
0.81/0.90 v 766
0.81/0.90 v -767
0.81/0.90 v 768
0.81/0.90 v 769
0.81/0.90 v 770
0.81/0.90 v -771
0.81/0.90 v 772
0.81/0.90 v 773
0.81/0.90 v -774
0.81/0.90 v 775
0.81/0.90 v 776
0.81/0.90 v 777
0.81/0.90 v -778
0.81/0.90 v 779
0.81/0.90 v -780
0.81/0.90 v 781
0.81/0.90 v -782
0.81/0.90 v -783
0.81/0.90 v -784
0.81/0.90 v 785
0.81/0.90 v -786
0.81/0.90 v 787
0.81/0.90 v 788
0.81/0.90 v 789
0.81/0.90 v -790
0.81/0.90 v -791
0.81/0.90 v 792
0.81/0.90 v -793
0.81/0.90 v 794
0.81/0.90 v 795
0.81/0.90 v -796
0.81/0.90 v 797
0.81/0.90 v -798
0.81/0.90 v -799
0.81/0.90 v -800
0.81/0.90 v 801
0.81/0.90 v -802
0.81/0.91 v 803
0.81/0.91 v 804
0.81/0.91 v -805
0.81/0.91 v -806
0.81/0.91 v 807
0.81/0.91 v 808
0.81/0.91 v 809
0.81/0.91 v -810
0.81/0.91 v -811
0.81/0.91 v -812
0.81/0.91 v 813
0.81/0.91 v 814
0.81/0.91 v -815
0.81/0.91 v -816
0.81/0.91 v -817
0.81/0.91 v -818
0.81/0.91 v 819
0.81/0.91 v 820
0.81/0.91 v 821
0.81/0.91 v 822
0.81/0.91 v 823
0.81/0.91 v 824
0.81/0.91 v 825
0.81/0.91 v 826
0.81/0.91 v 827
0.81/0.91 v 828
0.81/0.91 v -829
0.81/0.91 v 830
0.81/0.91 v -831
0.81/0.91 v 832
0.81/0.91 v -833
0.81/0.91 v 834
0.81/0.91 v 835
0.81/0.91 v 836
0.81/0.91 v -837
0.81/0.91 v 838
0.81/0.91 v -839
0.81/0.91 v 840
0.81/0.91 v -841
0.81/0.91 v -842
0.81/0.91 v -843
0.81/0.91 v -844
0.81/0.91 v -845
0.81/0.91 v 846
0.81/0.91 v 847
0.81/0.91 v 848
0.81/0.91 v 849
0.81/0.91 v -850
0.81/0.91 v -851
0.81/0.91 v -852
0.81/0.91 v -853
0.81/0.91 v -854
0.81/0.91 v 855
0.81/0.91 v 856
0.81/0.91 v -857
0.81/0.91 v 858
0.81/0.91 v -859
0.81/0.91 v -860
0.81/0.91 v 861
0.81/0.91 v -862
0.81/0.91 v -863
0.81/0.91 v -864
0.81/0.91 v -865
0.81/0.91 v 866
0.81/0.91 v -867
0.81/0.91 v -868
0.81/0.91 v -869
0.81/0.91 v 870
0.81/0.91 v -871
0.81/0.91 v 872
0.81/0.91 v -873
0.81/0.91 v 874
0.81/0.91 v 875
0.81/0.91 v -876
0.81/0.91 v 877
0.81/0.91 v -878
0.81/0.91 v 879
0.81/0.91 v 880
0.81/0.91 v -881
0.81/0.91 v 882
0.81/0.91 v -883
0.81/0.91 v 884
0.81/0.91 v 885
0.81/0.91 v -886
0.81/0.91 v -887
0.81/0.91 v -888
0.81/0.91 v -889
0.81/0.91 v 890
0.81/0.91 v 891
0.81/0.91 v 892
0.81/0.91 v -893
0.81/0.91 v -894
0.81/0.91 v 895
0.81/0.91 v -896
0.81/0.91 v -897
0.81/0.91 v -898
0.81/0.91 v -899
0.81/0.91 v 900
0.81/0.91 v 901
0.81/0.91 v 902
0.81/0.91 v -903
0.81/0.91 v 904
0.81/0.91 v -905
0.81/0.91 v 906
0.81/0.91 v -907
0.81/0.91 v -908
0.81/0.91 v -909
0.81/0.91 v 910
0.81/0.91 v -911
0.81/0.91 v 912
0.81/0.91 v 913
0.81/0.91 v 914
0.81/0.91 v 915
0.81/0.91 v -916
0.81/0.91 v -917
0.81/0.91 v 918
0.81/0.91 v 919
0.81/0.91 v -920
0.81/0.91 v -921
0.81/0.91 v -922
0.81/0.91 v -923
0.81/0.91 v 924
0.81/0.91 v 925
0.81/0.91 v 926
0.81/0.91 v -927
0.81/0.91 v -928
0.81/0.91 v 929
0.81/0.91 v -930
0.81/0.91 v 931
0.81/0.91 v 932
0.81/0.91 v -933
0.81/0.91 v -934
0.81/0.91 v -935
0.81/0.91 v -936
0.81/0.91 v -937
0.81/0.91 v 938
0.81/0.91 v -939
0.81/0.91 v -940
0.81/0.91 v -941
0.81/0.91 v 942
0.81/0.91 v -943
0.81/0.91 v 944
0.81/0.91 v 945
0.81/0.91 v -946
0.81/0.91 v 947
0.81/0.91 v -948
0.81/0.91 v -949
0.81/0.91 v -950
0.81/0.91 v -951
0.81/0.91 v 952
0.81/0.91 v -953
0.81/0.91 v -954
0.81/0.91 v -955
0.81/0.91 v -956
0.81/0.91 v 957
0.81/0.91 v 958
0.81/0.91 v -959
0.81/0.91 v 960
0.81/0.91 v 961
0.81/0.91 v 962
0.81/0.91 v 963
0.81/0.91 v 964
0.81/0.91 v -965
0.81/0.91 v 966
0.81/0.91 v -967
0.81/0.91 v 968
0.81/0.91 v -969
0.81/0.91 v 970
0.81/0.91 v -971
0.81/0.91 v 972
0.81/0.91 v -973
0.81/0.91 v -974
0.81/0.91 v -975
0.81/0.91 v 976
0.81/0.91 v -977
0.81/0.91 v 978
0.81/0.91 v 979
0.81/0.91 v -980
0.81/0.91 v 981
0.81/0.91 v -982
0.81/0.91 v 983
0.81/0.91 v 984
0.81/0.91 v 985
0.81/0.91 v -986
0.81/0.91 v -987
0.81/0.91 v 988
0.81/0.91 v -989
0.81/0.91 v -990
0.81/0.91 v -991
0.81/0.91 v -992
0.81/0.91 v -993
0.81/0.91 v 994
0.81/0.91 v 995
0.81/0.91 v 996
0.81/0.91 v -997
0.81/0.91 v 998
0.81/0.91 v 999
0.81/0.91 v -1000
0.81/0.91 v 1001
0.81/0.91 v 1002
0.81/0.91 v -1003
0.81/0.91 v 1004
0.81/0.91 v 1005
0.81/0.91 v 1006
0.81/0.91 v -1007
0.81/0.91 v 1008
0.81/0.91 v 1009
0.81/0.91 v 1010
0.81/0.91 v -1011
0.81/0.91 v -1012
0.81/0.91 v 1013
0.81/0.91 v 1014
0.81/0.91 v -1015
0.81/0.91 v -1016
0.81/0.91 v -1017
0.81/0.91 v 1018
0.81/0.91 v -1019
0.81/0.91 v 1020
0.81/0.91 v 1021
0.81/0.91 v -1022
0.81/0.91 v 1023
0.81/0.91 v -1024
0.81/0.91 v 1025
0.81/0.91 v 1026
0.81/0.91 v -1027
0.81/0.91 v 1028
0.81/0.91 v 1029
0.81/0.91 v 1030
0.81/0.91 v -1031
0.81/0.91 v -1032
0.81/0.91 v 1033
0.81/0.91 v 1034
0.81/0.91 v 1035
0.81/0.91 v 1036
0.81/0.91 v -1037
0.81/0.91 v -1038
0.81/0.91 v 1039
0.81/0.91 v 1040
0.81/0.91 v 1041
0.81/0.91 v -1042
0.81/0.91 v -1043
0.81/0.91 v -1044
0.81/0.91 v 1045
0.81/0.91 v 1046
0.81/0.91 v 1047
0.81/0.91 v 1048
0.81/0.91 v 1049
0.81/0.91 v 1050
0.81/0.91 v -1051
0.81/0.91 v -1052
0.81/0.91 v 1053
0.81/0.91 v -1054
0.81/0.91 v -1055
0.81/0.91 v -1056
0.81/0.91 v 1057
0.81/0.91 v 1058
0.81/0.91 v 1059
0.81/0.91 v 1060
0.81/0.91 v -1061
0.81/0.91 v -1062
0.81/0.91 v -1063
0.81/0.91 v -1064
0.81/0.91 v -1065
0.81/0.91 v 1066
0.81/0.91 v -1067
0.81/0.91 v -1068
0.81/0.91 v 1069
0.81/0.91 v -1070
0.81/0.91 v -1071
0.81/0.91 v -1072
0.81/0.91 v -1073
0.81/0.91 v -1074
0.81/0.91 v 1075
0.81/0.91 v -1076
0.81/0.91 v 1077
0.81/0.91 v -1078
0.81/0.91 v 1079
0.81/0.91 v 1080
0.81/0.91 v -1081
0.81/0.91 v -1082
0.81/0.91 v 1083
0.81/0.91 v -1084
0.81/0.91 v 1085
0.81/0.91 v -1086
0.81/0.91 v 1087
0.81/0.91 v -1088
0.81/0.91 v -1089
0.81/0.91 v 1090
0.81/0.91 v -1091
0.81/0.91 v -1092
0.81/0.91 v -1093
0.81/0.91 v 1094
0.81/0.91 v 1095
0.81/0.91 v 1096
0.81/0.91 v -1097
0.81/0.91 v -1098
0.81/0.91 v -1099
0.81/0.91 v 1100
0.81/0.91 v 1101
0.81/0.91 v 1102
0.81/0.91 v -1103
0.81/0.91 v -1104
0.81/0.91 v 1105
0.81/0.91 v 1106
0.81/0.91 v 1107
0.81/0.91 v 1108
0.81/0.91 v -1109
0.81/0.91 v 1110
0.81/0.91 v 1111
0.81/0.91 v -1112
0.81/0.91 v -1113
0.81/0.91 v -1114
0.81/0.91 v 1115
0.81/0.91 v -1116
0.81/0.91 v 1117
0.81/0.91 v -1118
0.81/0.91 v -1119
0.81/0.91 v 1120
0.81/0.91 v -1121
0.81/0.91 v 1122
0.81/0.91 v -1123
0.81/0.91 v 1124
0.81/0.91 v -1125
0.81/0.91 v -1126
0.81/0.91 v -1127
0.81/0.91 v 1128
0.81/0.91 v -1129
0.81/0.91 v -1130
0.81/0.91 v -1131
0.81/0.91 v 1132
0.81/0.91 v -1133
0.81/0.91 v 1134
0.81/0.91 v -1135
0.81/0.91 v -1136
0.81/0.91 v 1137
0.81/0.91 v -1138
0.81/0.91 v -1139
0.81/0.91 v 1140
0.81/0.91 v 1141
0.81/0.91 v -1142
0.81/0.91 v 1143
0.81/0.91 v 1144
0.81/0.91 v 1145
0.81/0.91 v 1146
0.81/0.91 v 1147
0.81/0.91 v -1148
0.81/0.91 v -1149
0.81/0.91 v -1150
0.81/0.91 v -1151
0.81/0.91 v 1152
0.81/0.91 v -1153
0.81/0.91 v 1154
0.81/0.91 v 1155
0.81/0.91 v 1156
0.81/0.91 v 1157
0.81/0.91 v 1158
0.81/0.91 v -1159
0.81/0.91 v 1160
0.81/0.91 v 1161
0.81/0.91 v -1162
0.81/0.91 v 1163
0.81/0.91 v -1164
0.81/0.91 v 1165
0.81/0.91 v -1166
0.81/0.91 v 1167
0.81/0.91 v 1168
0.81/0.91 v -1169
0.81/0.91 v -1170
0.81/0.91 v -1171
0.81/0.91 v 1172
0.81/0.91 v 1173
0.81/0.91 v -1174
0.81/0.91 v 1175
0.81/0.91 v -1176
0.81/0.91 v -1177
0.81/0.91 v 1178
0.81/0.91 v 1179
0.81/0.91 v 1180
0.81/0.91 v -1181
0.81/0.91 v -1182
0.81/0.91 v -1183
0.81/0.91 v 1184
0.81/0.91 v -1185
0.81/0.91 v -1186
0.81/0.91 v 1187
0.81/0.91 v 1188
0.81/0.91 v 1189
0.81/0.91 v 1190
0.81/0.91 v -1191
0.81/0.91 v -1192
0.81/0.91 v -1193
0.81/0.91 v 1194
0.81/0.91 v -1195
0.81/0.91 v 1196
0.81/0.91 v -1197
0.81/0.91 v -1198
0.81/0.91 v 1199
0.81/0.91 v 1200
0.81/0.91 v 1201
0.81/0.91 v 1202
0.81/0.91 v -1203
0.81/0.91 v 1204
0.81/0.91 v 1205
0.81/0.91 v -1206
0.81/0.91 v -1207
0.81/0.91 v 1208
0.81/0.91 v 1209
0.81/0.91 v 1210
0.81/0.91 v 1211
0.81/0.91 v 1212
0.81/0.91 v -1213
0.81/0.91 v -1214
0.81/0.91 v 1215
0.81/0.91 v -1216
0.81/0.91 v 1217
0.81/0.91 v -1218
0.81/0.91 v -1219
0.81/0.91 v 1220
0.81/0.91 v 1221
0.81/0.91 v -1222
0.81/0.91 v 1223
0.81/0.91 v 1224
0.81/0.91 v 1225
0.81/0.91 v 1226
0.81/0.91 v -1227
0.81/0.91 v 1228
0.81/0.91 v 1229
0.81/0.91 v -1230
0.81/0.91 v 1231
0.81/0.91 v 1232
0.81/0.91 v -1233
0.81/0.91 v 1234
0.81/0.91 v -1235
0.81/0.91 v -1236
0.81/0.91 v 1237
0.81/0.91 v 1238
0.81/0.91 v -1239
0.81/0.91 v 1240
0.81/0.91 v 1241
0.81/0.91 v -1242
0.81/0.91 v 1243
0.81/0.91 v -1244
0.81/0.91 v 1245
0.81/0.91 v -1246
0.81/0.91 v -1247
0.81/0.91 v -1248
0.81/0.91 v -1249
0.81/0.91 v -1250
0.81/0.91 v 1251
0.81/0.91 v 1252
0.81/0.91 v -1253
0.81/0.91 v 1254
0.81/0.91 v -1255
0.81/0.91 v 1256
0.81/0.91 v 1257
0.81/0.91 v 1258
0.81/0.91 v -1259
0.81/0.91 v -1260
0.81/0.91 v 1261
0.81/0.91 v -1262
0.81/0.91 v 1263
0.81/0.91 v -1264
0.81/0.91 v 1265
0.81/0.91 v -1266
0.81/0.91 v 1267
0.81/0.91 v 1268
0.81/0.91 v -1269
0.81/0.91 v -1270
0.81/0.91 v 1271
0.81/0.91 v -1272
0.81/0.91 v -1273
0.81/0.91 v -1274
0.81/0.91 v 1275
0.81/0.91 v -1276
0.81/0.91 v -1277
0.81/0.91 v 1278
0.81/0.91 v 1279
0.81/0.91 v -1280
0.81/0.91 v -1281
0.81/0.91 v -1282
0.81/0.91 v -1283
0.81/0.91 v -1284
0.81/0.91 v -1285
0.81/0.91 v -1286
0.81/0.91 v -1287
0.81/0.91 v 1288
0.81/0.91 v 1289
0.81/0.91 v 1290
0.81/0.91 v -1291
0.81/0.91 v -1292
0.81/0.91 v 1293
0.81/0.91 v -1294
0.81/0.91 v 1295
0.81/0.91 v -1296
0.81/0.91 v -1297
0.81/0.91 v -1298
0.81/0.91 v 1299
0.81/0.91 v -1300
0.81/0.91 v 1301
0.81/0.91 v -1302
0.81/0.91 v -1303
0.81/0.91 v -1304
0.81/0.91 v 1305
0.81/0.91 v -1306
0.81/0.91 v -1307
0.81/0.91 v -1308
0.81/0.91 v -1309
0.81/0.91 v -1310
0.81/0.91 v -1311
0.81/0.91 v -1312
0.81/0.91 v -1313
0.81/0.91 v -1314
0.81/0.91 v -1315
0.81/0.91 v 1316
0.81/0.91 v -1317
0.81/0.91 v -1318
0.81/0.91 v -1319
0.81/0.91 v 1320
0.81/0.91 v -1321
0.81/0.91 v 1322
0.81/0.91 v 1323
0.81/0.91 v -1324
0.81/0.91 v 1325
0.81/0.91 v -1326
0.81/0.91 v 1327
0.81/0.91 v 1328
0.81/0.91 v -1329
0.81/0.91 v 1330
0.81/0.91 v -1331
0.81/0.91 v -1332
0.81/0.91 v 1333
0.81/0.91 v 1334
0.81/0.91 v -1335
0.81/0.91 v 1336
0.81/0.91 v 1337
0.81/0.91 v -1338
0.81/0.91 v 1339
0.81/0.91 v 1340
0.81/0.91 v -1341
0.81/0.91 v 1342
0.81/0.91 v -1343
0.81/0.91 v -1344
0.81/0.91 v -1345
0.81/0.91 v -1346
0.81/0.91 v 1347
0.81/0.91 v 1348
0.81/0.91 v 1349
0.81/0.91 v 1350
0.81/0.91 v 1351
0.81/0.91 v -1352
0.81/0.91 v 1353
0.81/0.91 v 1354
0.81/0.91 v -1355
0.81/0.91 v 1356
0.81/0.91 v -1357
0.81/0.91 v 1358
0.81/0.91 v -1359
0.81/0.91 v 1360
0.81/0.91 v -1361
0.81/0.91 v 1362
0.81/0.91 v -1363
0.81/0.91 v -1364
0.81/0.91 v -1365
0.81/0.91 v 1366
0.81/0.91 v 1367
0.81/0.91 v 1368
0.81/0.91 v 1369
0.81/0.91 v 1370
0.81/0.91 v -1371
0.81/0.91 v -1372
0.81/0.91 v -1373
0.81/0.91 v 1374
0.81/0.91 v -1375
0.81/0.91 v -1376
0.81/0.91 v 1377
0.81/0.91 v 1378
0.81/0.91 v 1379
0.81/0.91 v 1380
0.81/0.91 v -1381
0.81/0.91 v -1382
0.81/0.91 v -1383
0.81/0.91 v 1384
0.81/0.91 v 1385
0.81/0.91 v -1386
0.81/0.91 v -1387
0.81/0.91 v 1388
0.81/0.91 v 1389
0.81/0.91 v -1390
0.81/0.91 v 1391
0.81/0.91 v 1392
0.81/0.91 v 1393
0.81/0.91 v 1394
0.81/0.91 v 1395
0.81/0.91 v -1396
0.81/0.91 v 1397
0.81/0.91 v -1398
0.81/0.91 v 1399
0.81/0.91 v -1400
0.81/0.91 v 1401
0.81/0.91 v 1402
0.81/0.91 v -1403
0.81/0.91 v -1404
0.81/0.91 v 1405
0.81/0.91 v 1406
0.81/0.91 v 1407
0.81/0.91 v 1408
0.81/0.91 v 1409
0.81/0.91 v 1410
0.81/0.91 v -1411
0.81/0.91 v 1412
0.81/0.91 v 1413
0.81/0.91 v 1414
0.81/0.91 v 1415
0.81/0.91 v 1416
0.81/0.91 v 1417
0.81/0.91 v 1418
0.81/0.91 v -1419
0.81/0.91 v 1420
0.81/0.91 v 1421
0.81/0.91 v 1422
0.81/0.91 v 1423
0.81/0.91 v -1424
0.81/0.91 v -1425
0.81/0.91 v -1426
0.81/0.91 v -1427
0.81/0.91 v 1428
0.81/0.91 v 1429
0.81/0.91 v 1430
0.81/0.91 v 1431
0.81/0.91 v 1432
0.81/0.91 v 1433
0.81/0.91 v -1434
0.81/0.91 v -1435
0.81/0.91 v 1436
0.81/0.91 v -1437
0.81/0.91 v 1438
0.81/0.91 v -1439
0.81/0.91 v 1440
0.81/0.91 v 1441
0.81/0.91 v -1442
0.81/0.91 v 1443
0.81/0.91 v 1444
0.81/0.91 v 1445
0.81/0.91 v 1446
0.81/0.91 v 1447
0.81/0.91 v 1448
0.81/0.91 v -1449
0.81/0.91 v -1450
0.81/0.91 v -1451
0.81/0.91 v -1452
0.81/0.91 v -1453
0.81/0.91 v -1454
0.81/0.91 v -1455
0.81/0.91 v 1456
0.81/0.91 v 1457
0.81/0.91 v 1458
0.81/0.91 v 1459
0.81/0.91 v -1460
0.81/0.91 v 1461
0.81/0.91 v -1462
0.81/0.91 v 1463
0.81/0.91 v 1464
0.81/0.91 v 1465
0.81/0.91 v -1466
0.81/0.91 v 1467
0.81/0.91 v -1468
0.81/0.91 v 1469
0.81/0.91 v 1470
0.81/0.91 v 1471
0.81/0.91 v -1472
0.81/0.91 v -1473
0.81/0.91 v -1474
0.81/0.91 v -1475
0.81/0.91 v -1476
0.81/0.91 v -1477
0.81/0.91 v -1478
0.81/0.91 v 1479
0.81/0.91 v 1480
0.81/0.91 v 1481
0.81/0.91 v -1482
0.81/0.91 v 1483
0.81/0.91 v 1484
0.81/0.91 v 1485
0.81/0.91 v 1486
0.81/0.91 v -1487
0.81/0.91 v -1488
0.81/0.91 v -1489
0.81/0.91 v 1490
0.81/0.91 v 1491
0.81/0.91 v -1492
0.81/0.91 v 1493
0.81/0.91 v 1494
0.81/0.91 v 1495
0.81/0.91 v 1496
0.81/0.91 v -1497
0.81/0.91 v 1498
0.81/0.91 v 1499
0.81/0.91 v 1500
0.81/0.91 v -1501
0.81/0.91 v -1502
0.81/0.91 v -1503
0.81/0.91 v 1504
0.81/0.91 v -1505
0.81/0.91 v -1506
0.81/0.91 v -1507
0.81/0.91 v -1508
0.81/0.91 v -1509
0.81/0.91 v 1510
0.81/0.91 v 1511
0.81/0.91 v 1512
0.81/0.91 v 1513
0.81/0.91 v 1514
0.81/0.91 v 1515
0.81/0.91 v -1516
0.81/0.91 v -1517
0.81/0.91 v 1518
0.81/0.91 v -1519
0.81/0.91 v -1520
0.81/0.91 v -1521
0.81/0.91 v 1522
0.81/0.91 v -1523
0.81/0.91 v -1524
0.81/0.91 v -1525
0.81/0.91 v 1526
0.81/0.91 v 1527
0.81/0.91 v -1528
0.81/0.91 v -1529
0.81/0.91 v 1530
0.81/0.91 v 1531
0.81/0.91 v 1532
0.81/0.91 v 1533
0.81/0.91 v 1534
0.81/0.91 v -1535
0.81/0.91 v 1536
0.81/0.91 v -1537
0.81/0.91 v 1538
0.81/0.91 v -1539
0.81/0.91 v -1540
0.81/0.91 v 1541
0.81/0.91 v -1542
0.81/0.91 v -1543
0.81/0.91 v -1544
0.81/0.91 v -1545
0.81/0.91 v 1546
0.81/0.91 v -1547
0.81/0.91 v 1548
0.81/0.91 v -1549
0.81/0.91 v -1550
0.81/0.91 v 1551
0.81/0.91 v 1552
0.81/0.91 v 1553
0.81/0.91 v -1554
0.81/0.91 v -1555
0.81/0.91 v -1556
0.81/0.91 v 1557
0.81/0.91 v -1558
0.81/0.91 v 1559
0.81/0.91 v 1560
0.81/0.91 v 1561
0.81/0.91 v 1562
0.81/0.91 v 1563
0.81/0.91 v -1564
0.81/0.91 v -1565
0.81/0.91 v 1566
0.81/0.91 v -1567
0.81/0.91 v -1568
0.81/0.91 v 1569
0.81/0.91 v 1570
0.81/0.91 v 1571
0.81/0.91 v 1572
0.81/0.91 v 1573
0.81/0.91 v 1574
0.81/0.91 v -1575
0.81/0.91 v 1576
0.81/0.91 v 1577
0.81/0.91 v -1578
0.81/0.91 v 1579
0.81/0.91 v -1580
0.81/0.91 v 1581
0.81/0.91 v -1582
0.81/0.91 v -1583
0.81/0.91 v -1584
0.81/0.91 v -1585
0.81/0.91 v -1586
0.81/0.91 v 1587
0.81/0.91 v 1588
0.81/0.91 v -1589
0.81/0.91 v -1590
0.81/0.91 v -1591
0.81/0.91 v 1592
0.81/0.91 v -1593
0.81/0.91 v 1594
0.81/0.91 v -1595
0.81/0.91 v -1596
0.81/0.91 v -1597
0.81/0.91 v 1598
0.81/0.91 v 1599
0.81/0.91 v -1600
0.81/0.91 v 1601
0.81/0.91 v -1602
0.81/0.91 v 1603
0.81/0.91 v -1604
0.81/0.91 v 1605
0.81/0.91 v 1606
0.81/0.91 v 1607
0.81/0.91 v 1608
0.81/0.91 v 1609
0.81/0.91 v -1610
0.81/0.91 v 1611
0.81/0.91 v 1612
0.81/0.91 v 1613
0.81/0.91 v 1614
0.81/0.91 v 1615
0.81/0.91 v -1616
0.81/0.91 v 1617
0.81/0.91 v 1618
0.81/0.91 v -1619
0.81/0.91 v -1620
0.81/0.91 v 1621
0.81/0.91 v -1622
0.81/0.91 v -1623
0.81/0.91 v -1624
0.81/0.91 v 1625
0.81/0.91 v -1626
0.81/0.91 v 1627
0.81/0.91 v 1628
0.81/0.91 v -1629
0.81/0.91 v 1630
0.81/0.91 v -1631
0.81/0.91 v 1632
0.81/0.91 v 1633
0.81/0.91 v 1634
0.81/0.91 v 1635
0.81/0.91 v -1636
0.81/0.91 v -1637
0.81/0.91 v -1638
0.81/0.91 v -1639
0.81/0.91 v -1640
0.81/0.91 v 1641
0.81/0.91 v 1642
0.81/0.91 v -1643
0.81/0.91 v -1644
0.81/0.91 v -1645
0.81/0.91 v 1646
0.81/0.91 v -1647
0.81/0.91 v -1648
0.81/0.91 v 1649
0.81/0.91 v -1650
0.81/0.91 v 1651
0.81/0.91 v -1652
0.81/0.91 v -1653
0.81/0.91 v -1654
0.81/0.91 v 1655
0.81/0.91 v 1656
0.81/0.91 v 1657
0.81/0.91 v -1658
0.81/0.91 v 1659
0.81/0.91 v 1660
0.81/0.91 v 1661
0.81/0.91 v -1662
0.81/0.91 v -1663
0.81/0.91 v -1664
0.81/0.91 v -1665
0.81/0.91 v 1666
0.81/0.91 v 1667
0.81/0.91 v 1668
0.81/0.91 v 1669
0.81/0.91 v 1670
0.81/0.91 v 1671
0.81/0.91 v -1672
0.81/0.91 v 1673
0.81/0.91 v -1674
0.81/0.91 v -1675
0.81/0.91 v 1676
0.81/0.91 v 1677
0.81/0.91 v 1678
0.81/0.91 v -1679
0.81/0.91 v 1680
0.81/0.91 v 1681
0.81/0.91 v 1682
0.81/0.91 v 1683
0.81/0.91 v -1684
0.81/0.91 v -1685
0.81/0.91 v 1686
0.81/0.91 v -1687
0.81/0.91 v -1688
0.81/0.91 v -1689
0.81/0.91 v 1690
0.81/0.91 v -1691
0.81/0.91 v 1692
0.81/0.91 v -1693
0.81/0.91 v 1694
0.81/0.91 v 1695
0.81/0.91 v 1696
0.81/0.91 v 1697
0.81/0.91 v -1698
0.81/0.91 v 1699
0.81/0.91 v 1700
0.81/0.91 v -1701
0.81/0.91 v -1702
0.81/0.91 v -1703
0.81/0.91 v 1704
0.81/0.91 v 1705
0.81/0.91 v 1706
0.81/0.91 v -1707
0.81/0.91 v 1708
0.81/0.91 v 1709
0.81/0.91 v 1710
0.81/0.91 v -1711
0.81/0.91 v -1712
0.81/0.91 v -1713
0.81/0.91 v -1714
0.81/0.91 v -1715
0.81/0.91 v -1716
0.81/0.91 v 1717
0.81/0.91 v 1718
0.81/0.91 v -1719
0.81/0.91 v -1720
0.81/0.91 v 1721
0.81/0.91 v 1722
0.81/0.91 v 1723
0.81/0.91 v -1724
0.81/0.91 v 1725
0.81/0.91 v -1726
0.81/0.91 v -1727
0.81/0.91 v 1728
0.81/0.91 v -1729
0.81/0.91 v -1730
0.81/0.91 v -1731
0.81/0.91 v -1732
0.81/0.91 v -1733
0.81/0.91 v 1734
0.81/0.91 v 1735
0.81/0.91 v -1736
0.81/0.91 v 1737
0.81/0.91 v 1738
0.81/0.91 v -1739
0.81/0.91 v 1740
0.81/0.91 v 1741
0.81/0.91 v -1742
0.81/0.91 v 1743
0.81/0.91 v -1744
0.81/0.91 v -1745
0.81/0.91 v -1746
0.81/0.91 v -1747
0.81/0.91 v 1748
0.81/0.91 v 1749
0.81/0.91 v -1750
0.81/0.91 v -1751
0.81/0.91 v -1752
0.81/0.91 v -1753
0.81/0.91 v 1754
0.81/0.91 v -1755
0.81/0.91 v 1756
0.81/0.91 v 1757
0.81/0.91 v 1758
0.81/0.91 v 1759
0.81/0.91 v -1760
0.81/0.91 v 1761
0.81/0.91 v -1762
0.81/0.91 v -1763
0.81/0.91 v -1764
0.81/0.91 v 1765
0.81/0.91 v 1766
0.81/0.91 v 1767
0.81/0.91 v -1768
0.81/0.91 v -1769
0.81/0.91 v -1770
0.81/0.91 v -1771
0.81/0.91 v -1772
0.81/0.91 v -1773
0.81/0.91 v 1774
0.81/0.91 v -1775
0.81/0.91 v -1776
0.81/0.91 v -1777
0.81/0.91 v 1778
0.81/0.91 v -1779
0.81/0.91 v -1780
0.81/0.91 v -1781
0.81/0.91 v -1782
0.81/0.91 v -1783
0.81/0.91 v 1784
0.81/0.91 v -1785
0.81/0.91 v 1786
0.81/0.91 v 1787
0.81/0.91 v -1788
0.81/0.91 v -1789
0.81/0.91 v -1790
0.81/0.91 v 1791
0.81/0.91 v 1792
0.81/0.91 v 1793
0.81/0.91 v -1794
0.81/0.91 v 1795
0.81/0.91 v 1796
0.81/0.91 v 1797
0.81/0.91 v -1798
0.81/0.91 v -1799
0.81/0.91 v 1800
0.81/0.91 v 1801
0.81/0.91 v 1802
0.81/0.91 v 1803
0.81/0.91 v 1804
0.81/0.91 v 1805
0.81/0.91 v 1806
0.81/0.91 v 1807
0.81/0.91 v -1808
0.81/0.91 v -1809
0.81/0.91 v -1810
0.81/0.91 v -1811
0.81/0.91 v -1812
0.81/0.91 v 1813
0.81/0.91 v 1814
0.81/0.91 v -1815
0.81/0.91 v 1816
0.81/0.91 v 1817
0.81/0.91 v 1818
0.81/0.91 v 1819
0.81/0.91 v -1820
0.81/0.91 v -1821
0.81/0.91 v 1822
0.81/0.91 v -1823
0.81/0.91 v -1824
0.81/0.91 v 1825
0.81/0.91 v -1826
0.81/0.91 v -1827
0.81/0.91 v 1828
0.81/0.91 v 1829
0.81/0.91 v 1830
0.81/0.91 v -1831
0.81/0.91 v -1832
0.81/0.91 v 1833
0.81/0.91 v -1834
0.81/0.91 v 1835
0.81/0.91 v 1836
0.81/0.91 v -1837
0.81/0.91 v 1838
0.81/0.91 v 1839
0.81/0.91 v 1840
0.81/0.91 v 1841
0.81/0.91 v -1842
0.81/0.91 v -1843
0.81/0.91 v -1844
0.81/0.91 v -1845
0.81/0.91 v 1846
0.81/0.91 v -1847
0.81/0.91 v -1848
0.81/0.91 v 1849
0.81/0.91 v 1850
0.81/0.91 v -1851
0.81/0.91 v -1852
0.81/0.91 v 1853
0.81/0.91 v -1854
0.81/0.91 v 1855
0.81/0.91 v 1856
0.81/0.91 v -1857
0.81/0.91 v -1858
0.81/0.91 v -1859
0.81/0.91 v 1860
0.81/0.91 v -1861
0.81/0.91 v 1862
0.81/0.91 v 1863
0.81/0.91 v 1864
0.81/0.91 v -1865
0.81/0.91 v 1866
0.81/0.91 v -1867
0.81/0.91 v -1868
0.81/0.91 v 1869
0.81/0.91 v 1870
0.81/0.91 v -1871
0.81/0.91 v -1872
0.81/0.91 v 1873
0.81/0.91 v -1874
0.81/0.91 v -1875
0.81/0.91 v 1876
0.81/0.91 v -1877
0.81/0.91 v -1878
0.81/0.91 v -1879
0.81/0.91 v -1880
0.81/0.91 v 1881
0.81/0.91 v -1882
0.81/0.91 v -1883
0.81/0.91 v 1884
0.81/0.91 v -1885
0.81/0.91 v 1886
0.81/0.91 v 1887
0.81/0.91 v -1888
0.81/0.91 v 1889
0.81/0.91 v 1890
0.81/0.91 v 1891
0.81/0.91 v 1892
0.81/0.91 v -1893
0.81/0.91 v -1894
0.81/0.91 v -1895
0.81/0.91 v -1896
0.81/0.91 v -1897
0.81/0.91 v -1898
0.81/0.91 v -1899
0.81/0.91 v 1900
0.81/0.91 v 1901
0.81/0.91 v -1902
0.81/0.91 v 1903
0.81/0.91 v -1904
0.81/0.91 v 1905
0.81/0.91 v -1906
0.81/0.91 v -1907
0.81/0.91 v 1908
0.81/0.91 v 1909
0.81/0.91 v -1910
0.81/0.91 v -1911
0.81/0.91 v 1912
0.81/0.91 v -1913
0.81/0.91 v 1914
0.81/0.91 v -1915
0.81/0.91 v 1916
0.81/0.91 v 1917
0.81/0.91 v 1918
0.81/0.91 v -1919
0.81/0.91 v -1920
0.81/0.91 v 1921
0.81/0.91 v -1922
0.81/0.91 v 1923
0.81/0.91 v -1924
0.81/0.91 v -1925
0.81/0.91 v -1926
0.81/0.91 v 1927
0.81/0.91 v 1928
0.81/0.91 v 1929
0.81/0.91 v -1930
0.81/0.91 v 1931
0.81/0.91 v -1932
0.81/0.91 v -1933
0.81/0.91 v -1934
0.81/0.91 v -1935
0.81/0.91 v -1936
0.81/0.91 v 1937
0.81/0.91 v 1938
0.81/0.91 v -1939
0.81/0.91 v 1940
0.81/0.91 v 1941
0.81/0.91 v -1942
0.81/0.91 v -1943
0.81/0.91 v 1944
0.81/0.91 v -1945
0.81/0.91 v -1946
0.81/0.91 v -1947
0.81/0.91 v 1948
0.81/0.91 v 1949
0.81/0.91 v -1950
0.81/0.91 v -1951
0.81/0.91 v 1952
0.81/0.91 v -1953
0.81/0.91 v -1954
0.81/0.91 v 1955
0.81/0.91 v -1956
0.81/0.91 v 1957
0.81/0.91 v 1958
0.81/0.91 v 1959
0.81/0.91 v -1960
0.81/0.91 v 1961
0.81/0.91 v -1962
0.81/0.91 v -1963
0.81/0.91 v 1964
0.81/0.91 v 1965
0.81/0.91 v 1966
0.81/0.91 v -1967
0.81/0.91 v 1968
0.81/0.91 v 1969
0.81/0.91 v -1970
0.81/0.91 v -1971
0.81/0.91 v -1972
0.81/0.91 v -1973
0.81/0.91 v 1974
0.81/0.91 v 1975
0.81/0.91 v -1976
0.81/0.91 v -1977
0.81/0.91 v -1978
0.81/0.91 v 1979
0.81/0.91 v -1980
0.81/0.91 v -1981
0.81/0.91 v -1982
0.81/0.91 v -1983
0.81/0.91 v 1984
0.81/0.91 v -1985
0.81/0.91 v 1986
0.81/0.91 v -1987
0.81/0.91 v 1988
0.81/0.91 v -1989
0.81/0.91 v 1990
0.81/0.91 v -1991
0.81/0.91 v -1992
0.81/0.91 v -1993
0.81/0.91 v -1994
0.81/0.91 v 1995
0.81/0.91 v 1996
0.81/0.91 v -1997
0.81/0.91 v -1998
0.81/0.91 v 1999
0.81/0.91 v -2000
0.81/0.91 v -2001
0.81/0.91 v 2002
0.81/0.91 v -2003
0.81/0.91 v -2004
0.81/0.91 v -2005
0.81/0.91 v -2006
0.81/0.91 v 2007
0.81/0.91 v 2008
0.81/0.91 v 2009
0.81/0.91 v 2010
0.81/0.91 v -2011
0.81/0.91 v 2012
0.81/0.91 v -2013
0.81/0.91 v -2014
0.81/0.91 v -2015
0.81/0.91 v -2016
0.81/0.91 v 2017
0.81/0.91 v 2018
0.81/0.91 v -2019
0.81/0.91 v 2020
0.81/0.91 v 2021
0.81/0.91 v -2022
0.81/0.91 v -2023
0.81/0.91 v 2024
0.81/0.91 v -2025
0.81/0.91 v 2026
0.81/0.91 v 2027
0.81/0.91 v -2028
0.81/0.91 v 2029
0.81/0.91 v -2030
0.81/0.91 v 2031
0.81/0.91 v 2032
0.81/0.91 v -2033
0.81/0.91 v 2034
0.81/0.91 v 2035
0.81/0.91 v 0
0.81/0.91 c Done in 0.870000 seconds
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-311406-1172569417 -o ROOT/results/node34/solver-311406-1172569417 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/311406-1172569417/gnovelty+ /tmp/evaluation/311406-1172569417/instance-311406-1172569417.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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.92 0.98 0.99 3/64 23934
/proc/meminfo: memFree=1077832/2055920 swapFree=4183908/4192956
[pid=23934] ppid=23932 vsize=244700 CPUtime=0
/proc/23934/stat : 23934 (gnovelty+) R 23932 23934 23146 0 -1 4194304 855 0 0 0 0 0 0 0 18 0 1 0 250705539 250572800 840 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134518504 0 0 4096 0 0 0 0 17 1 0 0
/proc/23934/statm: 61175 848 39 99 0 61074 0
[startup+0.107371 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23934
/proc/meminfo: memFree=1077832/2055920 swapFree=4183908/4192956
[pid=23934] ppid=23932 vsize=252512 CPUtime=0.1
/proc/23934/stat : 23934 (gnovelty+) R 23932 23934 23146 0 -1 4194304 2174 0 0 0 9 1 0 0 18 0 1 0 250705539 258572288 2158 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513791 0 0 4096 0 0 0 0 17 1 0 0
/proc/23934/statm: 63128 2158 44 99 0 63027 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 252512
[startup+0.515402 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23934
/proc/meminfo: memFree=1077832/2055920 swapFree=4183908/4192956
[pid=23934] ppid=23932 vsize=252512 CPUtime=0.51
/proc/23934/stat : 23934 (gnovelty+) R 23932 23934 23146 0 -1 4194304 2174 0 0 0 50 1 0 0 21 0 1 0 250705539 258572288 2158 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513971 0 0 4096 0 0 0 0 17 1 0 0
/proc/23934/statm: 63128 2158 44 99 0 63027 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 252512
Solver just ended. Dumping a history of the last processes samples
[startup+0.821427 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23934
/proc/meminfo: memFree=1077832/2055920 swapFree=4183908/4192956
[pid=23934] ppid=23932 vsize=252512 CPUtime=0.81
/proc/23934/stat : 23934 (gnovelty+) R 23932 23934 23146 0 -1 4194304 2174 0 0 0 80 1 0 0 25 0 1 0 250705539 258572288 2158 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513340 0 0 4096 0 0 0 0 17 1 0 0
/proc/23934/statm: 63128 2158 44 99 0 63027 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 252512
Child status: 10
Real time (s): 0.916374
CPU time (s): 0.909861
CPU user time (s): 0.893864
CPU system time (s): 0.015997
CPU usage (%): 99.2893
Max. virtual memory (cumulated for all children) (KiB): 252512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.893864
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2186
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= 18
involuntary context switches= 1
runsolver used 0.002999 second user time and 0.014997 second system time
The end
Begin job on node34 on Tue Feb 27 09:43:37 UTC 2007
IDJOB= 311406
IDBENCH= 20313
IDSOLVER= 116
FILE ID= node34/311406-1172569417
PBS_JOBID= 3971891
Free space on /tmp= 66561 MiB
SOLVER NAME= gnovelty+ 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v2035/unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf
COMMAND LINE= /tmp/evaluation/311406-1172569417/gnovelty+ /tmp/evaluation/311406-1172569417/instance-311406-1172569417.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-311406-1172569417 -o ROOT/results/node34/solver-311406-1172569417 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/311406-1172569417/gnovelty+ /tmp/evaluation/311406-1172569417/instance-311406-1172569417.cnf
META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH= 7d6cf415896029c29434e67edd2d79f6
RANDOM SEED= 683881901
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node34.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.234
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.234
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: 1078240 kB
Buffers: 24760 kB
Cached: 900312 kB
SwapCached: 3264 kB
Active: 50908 kB
Inactive: 884008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1078240 kB
SwapTotal: 4192956 kB
SwapFree: 4183908 kB
Dirty: 1004 kB
Writeback: 0 kB
Mapped: 15368 kB
Slab: 28864 kB
Committed_AS: 569460 kB
PageTables: 1396 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= 66561 MiB
End job on node34 on Tue Feb 27 09:43:38 UTC 2007