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