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