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