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