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