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