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