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