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