0.00/0.00 c [picomus] WARNING: no output file given
0.00/0.00 c [picomus] p cnf 3319 10335
1.39/1.40 s UNSATISFIABLE
1.39/1.43 c [picomus] extracted core 1 of size 3847 out of 10335 (37%) after 1.4 sec
2.49/2.57 c [picomus] extracted core 2 of size 3739 out of 10335 (36%) after 2.6 sec
3.69/3.70 c [picomus] extracted core 3 of size 3645 out of 10335 (35%) after 3.7 sec
4.99/5.07 c [picomus] extracted core 4 of size 3642 out of 10335 (35%) after 5.1 sec
6.29/6.32 c [picomus] extracted core 5 of size 3634 out of 10335 (35%) after 6.3 sec
7.39/7.41 c [picomus] extracted core 6 of size 3627 out of 10335 (35%) after 7.4 sec
8.59/8.68 c [picomus] extracted core 7 of size 3627 out of 10335 (35%) after 8.7 sec
9.90/9.97 c [picomus] extracted core 8 of size 3627 out of 10335 (35%) after 10.0 sec
15.19/15.25 c [picomus] reduction 1 to 3317 out of 10335 (32%) after 15.3 sec
20.99/21.01 c [picomus] reduction 2 to 3312 out of 10335 (32%) after 21.0 sec
24.20/24.22 c [picomus] reduction 3 to 3305 out of 10335 (32%) after 24.2 sec
27.50/27.59 c [picomus] reduction 4 to 3300 out of 10335 (32%) after 27.6 sec
31.99/32.07 c [picomus] reduction 5 to 3288 out of 10335 (32%) after 32.1 sec
36.49/36.57 c [picomus] reduction 6 to 3287 out of 10335 (32%) after 36.6 sec
42.19/42.25 c [picomus] reduction 7 to 3286 out of 10335 (32%) after 42.3 sec
46.59/46.63 c [picomus] reduction 8 to 3284 out of 10335 (32%) after 46.6 sec
50.69/50.76 c [picomus] reduction 9 to 3282 out of 10335 (32%) after 50.8 sec
206.49/206.58 c [picomus] reduction 10 to 3264 out of 10335 (32%) after 206.6 sec
209.79/209.89 c [picomus] reduction 11 to 3263 out of 10335 (32%) after 209.9 sec
213.19/213.28 c [picomus] reduction 12 to 3262 out of 10335 (32%) after 213.3 sec
216.19/216.20 c [picomus] reduction 13 to 3253 out of 10335 (31%) after 216.2 sec
216.19/216.25 c [picomus] reduction 14 to 3252 out of 10335 (31%) after 216.3 sec
217.49/217.55 c [picomus] reduction 15 to 3250 out of 10335 (31%) after 217.6 sec
217.69/217.71 c [picomus] reduction 16 to 3249 out of 10335 (31%) after 217.7 sec
218.79/218.89 c [picomus] reduction 17 to 3248 out of 10335 (31%) after 218.9 sec
225.79/225.82 c [picomus] reduction 18 to 3190 out of 10335 (31%) after 225.8 sec
228.69/228.75 c [picomus] reduction 19 to 3189 out of 10335 (31%) after 228.8 sec
237.09/237.12 c [picomus] reduction 20 to 3187 out of 10335 (31%) after 237.1 sec
238.69/238.75 c [picomus] reduction 21 to 3133 out of 10335 (30%) after 238.8 sec
241.69/241.73 c [picomus] reduction 22 to 3132 out of 10335 (30%) after 241.7 sec
249.49/249.52 c [picomus] reduction 23 to 3081 out of 10335 (30%) after 249.5 sec
251.99/252.03 c [picomus] reduction 24 to 3080 out of 10335 (30%) after 252.0 sec
270.10/270.20 c [picomus] reduction 25 to 3032 out of 10335 (29%) after 270.2 sec
270.30/270.36 c [picomus] reduction 26 to 3031 out of 10335 (29%) after 270.4 sec
292.20/292.26 c [picomus] reduction 27 to 3030 out of 10335 (29%) after 292.3 sec
294.10/294.19 c [picomus] reduction 28 to 3029 out of 10335 (29%) after 294.2 sec
297.30/297.31 c [picomus] reduction 29 to 3028 out of 10335 (29%) after 297.3 sec
298.90/298.90 c [picomus] reduction 30 to 2980 out of 10335 (29%) after 298.9 sec
298.90/298.94 c [picomus] reduction 31 to 2979 out of 10335 (29%) after 298.9 sec
344.20/344.22 c [picosat] 3011 calls
344.20/344.22 c [picosat] 5 iterations
344.20/344.22 c [picosat] 0 restarts
344.20/344.22 c [picosat] 0 failed literals
344.20/344.22 c [picosat] 959829 conflicts
344.20/344.22 c [picosat] 32920704 decisions
344.20/344.22 c [picosat] 3788 fixed variables
344.20/344.22 c [picosat] 647285901 learned literals
344.20/344.22 c [picosat] 3.5% deleted literals
344.20/344.22 c [picosat] 294854214 propagations
344.20/344.22 c [picosat] 35.5% variables used
344.20/344.22 c [picosat] 330.6 seconds in library
344.20/344.22 c [picosat] 0.9 megaprops/second
344.20/344.22 c [picosat] probing 0.3 seconds 0%
344.20/344.22 c [picosat] 137 simplifications
344.20/344.22 c [picosat] 195 reductions
344.20/344.22 c [picosat] 2487.0 MB recycled
344.20/344.22 c [picosat] 36.5 MB maximally allocated
344.20/344.22 c [picomus] found 7356 redundant clauses 71%
344.20/344.22 c [picomus] computed MUS of size 2979 out of 10335 (29%)
344.20/344.22 v 2
344.20/344.22 v 4
344.20/344.22 v 5
344.20/344.22 v 9
344.20/344.22 v 10
344.20/344.22 v 11
344.20/344.22 v 12
344.20/344.22 v 13
344.20/344.22 v 14
344.20/344.22 v 15
344.20/344.22 v 16
344.20/344.22 v 17
344.20/344.22 v 18
344.20/344.22 v 19
344.20/344.22 v 20
344.20/344.22 v 21
344.20/344.22 v 22
344.20/344.22 v 24
344.20/344.22 v 25
344.20/344.22 v 26
344.20/344.22 v 27
344.20/344.22 v 28
344.20/344.22 v 30
344.20/344.22 v 31
344.20/344.22 v 32
344.20/344.22 v 34
344.20/344.22 v 35
344.20/344.22 v 36
344.20/344.22 v 37
344.20/344.22 v 38
344.20/344.22 v 39
344.20/344.22 v 40
344.20/344.22 v 41
344.20/344.22 v 42
344.20/344.22 v 46
344.20/344.22 v 47
344.20/344.22 v 48
344.20/344.22 v 50
344.20/344.22 v 51
344.20/344.22 v 52
344.20/344.22 v 53
344.20/344.22 v 54
344.20/344.22 v 55
344.20/344.22 v 57
344.20/344.22 v 58
344.20/344.22 v 59
344.20/344.22 v 61
344.20/344.22 v 62
344.20/344.22 v 63
344.20/344.22 v 64
344.20/344.22 v 65
344.20/344.22 v 66
344.20/344.22 v 67
344.20/344.22 v 68
344.20/344.22 v 69
344.20/344.22 v 70
344.20/344.22 v 71
344.20/344.22 v 72
344.20/344.22 v 73
344.20/344.22 v 74
344.20/344.22 v 75
344.20/344.22 v 76
344.20/344.22 v 77
344.20/344.22 v 78
344.20/344.22 v 79
344.20/344.22 v 80
344.20/344.22 v 81
344.20/344.22 v 82
344.20/344.22 v 84
344.20/344.22 v 85
344.20/344.22 v 86
344.20/344.22 v 87
344.20/344.22 v 88
344.20/344.22 v 89
344.20/344.22 v 90
344.20/344.22 v 91
344.20/344.22 v 92
344.20/344.22 v 93
344.20/344.22 v 95
344.20/344.22 v 96
344.20/344.22 v 97
344.20/344.22 v 98
344.20/344.22 v 99
344.20/344.22 v 100
344.20/344.22 v 102
344.20/344.22 v 103
344.20/344.22 v 104
344.20/344.22 v 106
344.20/344.22 v 107
344.20/344.22 v 108
344.20/344.22 v 109
344.20/344.22 v 110
344.20/344.22 v 111
344.20/344.22 v 112
344.20/344.22 v 113
344.20/344.22 v 114
344.20/344.22 v 115
344.20/344.22 v 116
344.20/344.22 v 117
344.20/344.22 v 118
344.20/344.22 v 119
344.20/344.22 v 120
344.20/344.22 v 121
344.20/344.22 v 122
344.20/344.22 v 123
344.20/344.22 v 124
344.20/344.22 v 125
344.20/344.22 v 126
344.20/344.22 v 127
344.20/344.22 v 129
344.20/344.22 v 130
344.20/344.22 v 131
344.20/344.22 v 132
344.20/344.22 v 133
344.20/344.22 v 134
344.20/344.22 v 135
344.20/344.22 v 136
344.20/344.22 v 137
344.20/344.22 v 138
344.20/344.22 v 140
344.20/344.22 v 141
344.20/344.22 v 142
344.20/344.22 v 143
344.20/344.22 v 144
344.20/344.22 v 145
344.20/344.22 v 147
344.20/344.22 v 148
344.20/344.22 v 149
344.20/344.22 v 151
344.20/344.22 v 152
344.20/344.22 v 153
344.20/344.22 v 154
344.20/344.22 v 155
344.20/344.22 v 156
344.20/344.22 v 157
344.20/344.22 v 158
344.20/344.22 v 159
344.20/344.22 v 160
344.20/344.22 v 161
344.20/344.22 v 162
344.20/344.22 v 163
344.20/344.22 v 164
344.20/344.22 v 165
344.20/344.22 v 166
344.20/344.22 v 167
344.20/344.22 v 168
344.20/344.22 v 169
344.20/344.22 v 170
344.20/344.22 v 171
344.20/344.22 v 172
344.20/344.22 v 174
344.20/344.22 v 175
344.20/344.22 v 176
344.20/344.22 v 177
344.20/344.22 v 178
344.20/344.22 v 179
344.20/344.22 v 180
344.20/344.22 v 181
344.20/344.22 v 182
344.20/344.22 v 183
344.20/344.22 v 185
344.20/344.22 v 186
344.20/344.22 v 187
344.20/344.22 v 188
344.20/344.22 v 189
344.20/344.22 v 190
344.20/344.22 v 192
344.20/344.22 v 193
344.20/344.22 v 194
344.20/344.22 v 196
344.20/344.22 v 197
344.20/344.22 v 198
344.20/344.22 v 199
344.20/344.22 v 200
344.20/344.22 v 201
344.20/344.22 v 202
344.20/344.22 v 203
344.20/344.22 v 204
344.20/344.22 v 205
344.20/344.22 v 206
344.20/344.22 v 207
344.20/344.22 v 208
344.20/344.22 v 209
344.20/344.22 v 210
344.20/344.22 v 211
344.20/344.22 v 212
344.20/344.22 v 213
344.20/344.22 v 214
344.20/344.22 v 215
344.20/344.22 v 216
344.20/344.22 v 217
344.20/344.22 v 219
344.20/344.22 v 220
344.20/344.22 v 221
344.20/344.22 v 222
344.20/344.22 v 223
344.20/344.22 v 224
344.20/344.22 v 225
344.20/344.22 v 226
344.20/344.22 v 227
344.20/344.22 v 228
344.20/344.22 v 230
344.20/344.22 v 231
344.20/344.22 v 232
344.20/344.22 v 233
344.20/344.22 v 234
344.20/344.22 v 235
344.20/344.22 v 238
344.20/344.22 v 239
344.20/344.22 v 240
344.20/344.22 v 241
344.20/344.22 v 242
344.20/344.22 v 243
344.20/344.22 v 244
344.20/344.22 v 245
344.20/344.22 v 246
344.20/344.22 v 247
344.20/344.22 v 248
344.20/344.22 v 249
344.20/344.22 v 250
344.20/344.22 v 251
344.20/344.22 v 252
344.20/344.22 v 254
344.20/344.22 v 255
344.20/344.22 v 256
344.20/344.22 v 257
344.20/344.22 v 258
344.20/344.22 v 259
344.20/344.22 v 260
344.20/344.22 v 261
344.20/344.22 v 262
344.20/344.22 v 263
344.20/344.22 v 266
344.20/344.22 v 267
344.20/344.22 v 268
344.20/344.22 v 269
344.20/344.22 v 270
344.20/344.22 v 271
344.20/344.22 v 272
344.20/344.22 v 273
344.20/344.22 v 274
344.20/344.22 v 275
344.20/344.22 v 276
344.20/344.22 v 277
344.20/344.22 v 278
344.20/344.22 v 279
344.20/344.22 v 280
344.20/344.22 v 281
344.20/344.22 v 282
344.20/344.22 v 283
344.20/344.22 v 284
344.20/344.22 v 285
344.20/344.22 v 286
344.20/344.22 v 287
344.20/344.22 v 288
344.20/344.22 v 289
344.20/344.22 v 290
344.20/344.22 v 291
344.20/344.22 v 292
344.20/344.22 v 293
344.20/344.22 v 294
344.20/344.22 v 295
344.20/344.22 v 296
344.20/344.22 v 297
344.20/344.22 v 298
344.20/344.22 v 299
344.20/344.22 v 300
344.20/344.22 v 301
344.20/344.22 v 302
344.20/344.22 v 303
344.20/344.22 v 304
344.20/344.22 v 305
344.20/344.22 v 306
344.20/344.22 v 307
344.20/344.22 v 308
344.20/344.22 v 309
344.20/344.22 v 310
344.20/344.22 v 311
344.20/344.22 v 312
344.20/344.22 v 313
344.20/344.22 v 314
344.20/344.22 v 315
344.20/344.22 v 316
344.20/344.22 v 317
344.20/344.22 v 318
344.20/344.22 v 319
344.20/344.22 v 320
344.20/344.22 v 321
344.20/344.22 v 322
344.20/344.22 v 323
344.20/344.22 v 324
344.20/344.22 v 325
344.20/344.22 v 326
344.20/344.22 v 327
344.20/344.22 v 328
344.20/344.22 v 329
344.20/344.22 v 330
344.20/344.22 v 331
344.20/344.22 v 332
344.20/344.22 v 333
344.20/344.22 v 334
344.20/344.22 v 335
344.20/344.22 v 336
344.20/344.22 v 337
344.20/344.22 v 338
344.20/344.22 v 339
344.20/344.22 v 340
344.20/344.22 v 341
344.20/344.22 v 342
344.20/344.22 v 343
344.20/344.22 v 344
344.20/344.22 v 345
344.20/344.22 v 346
344.20/344.22 v 347
344.20/344.22 v 348
344.20/344.22 v 349
344.20/344.22 v 350
344.20/344.22 v 351
344.20/344.22 v 352
344.20/344.22 v 353
344.20/344.22 v 354
344.20/344.22 v 355
344.20/344.22 v 359
344.20/344.22 v 360
344.20/344.22 v 361
344.20/344.22 v 362
344.20/344.22 v 363
344.20/344.22 v 364
344.20/344.22 v 365
344.20/344.22 v 366
344.20/344.22 v 367
344.20/344.22 v 368
344.20/344.22 v 369
344.20/344.22 v 370
344.20/344.22 v 371
344.20/344.22 v 372
344.20/344.22 v 373
344.20/344.22 v 374
344.20/344.22 v 375
344.20/344.22 v 376
344.20/344.22 v 377
344.20/344.22 v 378
344.20/344.22 v 379
344.20/344.22 v 380
344.20/344.22 v 381
344.20/344.22 v 382
344.20/344.22 v 383
344.20/344.22 v 384
344.20/344.22 v 385
344.20/344.22 v 386
344.20/344.22 v 387
344.20/344.22 v 388
344.20/344.22 v 389
344.20/344.22 v 390
344.20/344.22 v 391
344.20/344.22 v 392
344.20/344.22 v 393
344.20/344.22 v 394
344.20/344.22 v 395
344.20/344.22 v 396
344.20/344.22 v 397
344.20/344.22 v 398
344.20/344.22 v 399
344.20/344.22 v 400
344.20/344.22 v 401
344.20/344.22 v 402
344.20/344.22 v 403
344.20/344.22 v 404
344.20/344.22 v 405
344.20/344.22 v 406
344.20/344.22 v 407
344.20/344.22 v 408
344.20/344.22 v 409
344.20/344.22 v 410
344.20/344.22 v 411
344.20/344.22 v 412
344.20/344.22 v 413
344.20/344.22 v 414
344.20/344.22 v 415
344.20/344.22 v 416
344.20/344.22 v 417
344.20/344.22 v 418
344.20/344.22 v 419
344.20/344.22 v 420
344.20/344.22 v 421
344.20/344.22 v 422
344.20/344.22 v 423
344.20/344.22 v 424
344.20/344.22 v 425
344.20/344.22 v 426
344.20/344.22 v 427
344.20/344.22 v 428
344.20/344.22 v 429
344.20/344.22 v 430
344.20/344.22 v 431
344.20/344.22 v 432
344.20/344.22 v 433
344.20/344.22 v 434
344.20/344.22 v 435
344.20/344.22 v 436
344.20/344.22 v 437
344.20/344.22 v 438
344.20/344.22 v 439
344.20/344.22 v 440
344.20/344.22 v 441
344.20/344.22 v 442
344.20/344.22 v 443
344.20/344.22 v 444
344.20/344.22 v 445
344.20/344.22 v 446
344.20/344.22 v 447
344.20/344.22 v 448
344.20/344.22 v 449
344.20/344.22 v 450
344.20/344.22 v 451
344.20/344.22 v 452
344.20/344.22 v 453
344.20/344.22 v 454
344.20/344.22 v 455
344.20/344.22 v 456
344.20/344.22 v 457
344.20/344.22 v 458
344.20/344.22 v 459
344.20/344.22 v 460
344.20/344.22 v 461
344.20/344.22 v 462
344.20/344.22 v 463
344.20/344.22 v 464
344.20/344.22 v 465
344.20/344.22 v 466
344.20/344.22 v 467
344.20/344.22 v 468
344.20/344.22 v 469
344.20/344.22 v 470
344.20/344.22 v 471
344.20/344.22 v 472
344.20/344.22 v 473
344.20/344.22 v 474
344.20/344.22 v 475
344.20/344.22 v 476
344.20/344.22 v 477
344.20/344.22 v 478
344.20/344.22 v 479
344.20/344.22 v 480
344.20/344.22 v 481
344.20/344.22 v 482
344.20/344.22 v 483
344.20/344.22 v 484
344.20/344.22 v 485
344.20/344.22 v 486
344.20/344.22 v 487
344.20/344.22 v 488
344.20/344.22 v 489
344.20/344.22 v 490
344.20/344.22 v 491
344.20/344.22 v 492
344.20/344.22 v 493
344.20/344.22 v 494
344.20/344.22 v 495
344.20/344.22 v 496
344.20/344.22 v 497
344.20/344.22 v 498
344.20/344.22 v 499
344.20/344.22 v 500
344.20/344.22 v 501
344.20/344.22 v 502
344.20/344.22 v 503
344.20/344.22 v 504
344.20/344.22 v 505
344.20/344.22 v 506
344.20/344.22 v 507
344.20/344.22 v 508
344.20/344.22 v 509
344.20/344.22 v 510
344.20/344.22 v 511
344.20/344.22 v 512
344.20/344.22 v 513
344.20/344.22 v 514
344.20/344.22 v 515
344.20/344.22 v 516
344.20/344.22 v 517
344.20/344.22 v 518
344.20/344.22 v 519
344.20/344.22 v 520
344.20/344.22 v 521
344.20/344.22 v 522
344.20/344.22 v 523
344.20/344.22 v 524
344.20/344.22 v 525
344.20/344.22 v 526
344.20/344.22 v 527
344.20/344.22 v 528
344.20/344.22 v 529
344.20/344.22 v 530
344.20/344.22 v 531
344.20/344.22 v 532
344.20/344.22 v 533
344.20/344.22 v 534
344.20/344.22 v 535
344.20/344.22 v 536
344.20/344.22 v 537
344.20/344.22 v 538
344.20/344.22 v 539
344.20/344.22 v 540
344.20/344.22 v 541
344.20/344.22 v 542
344.20/344.22 v 543
344.20/344.22 v 544
344.20/344.22 v 545
344.20/344.22 v 546
344.20/344.22 v 547
344.20/344.22 v 548
344.20/344.22 v 549
344.20/344.22 v 550
344.20/344.22 v 551
344.20/344.22 v 552
344.20/344.22 v 553
344.20/344.22 v 554
344.20/344.22 v 555
344.20/344.22 v 556
344.20/344.22 v 557
344.20/344.22 v 558
344.20/344.22 v 559
344.20/344.22 v 560
344.20/344.22 v 561
344.20/344.22 v 562
344.20/344.22 v 563
344.20/344.22 v 564
344.20/344.22 v 565
344.20/344.22 v 566
344.20/344.22 v 567
344.20/344.22 v 568
344.20/344.22 v 569
344.20/344.22 v 570
344.20/344.22 v 571
344.20/344.22 v 572
344.20/344.22 v 573
344.20/344.22 v 574
344.20/344.22 v 575
344.20/344.22 v 576
344.20/344.22 v 577
344.20/344.22 v 578
344.20/344.22 v 579
344.20/344.22 v 580
344.20/344.22 v 581
344.20/344.22 v 582
344.20/344.22 v 583
344.20/344.22 v 584
344.20/344.22 v 585
344.20/344.22 v 586
344.20/344.22 v 587
344.20/344.22 v 588
344.20/344.22 v 589
344.20/344.22 v 590
344.20/344.22 v 591
344.20/344.22 v 592
344.20/344.22 v 593
344.20/344.22 v 594
344.20/344.22 v 595
344.20/344.22 v 596
344.20/344.22 v 597
344.20/344.22 v 598
344.20/344.22 v 599
344.20/344.22 v 600
344.20/344.22 v 601
344.20/344.22 v 602
344.20/344.22 v 603
344.20/344.22 v 604
344.20/344.22 v 605
344.20/344.22 v 606
344.20/344.22 v 607
344.20/344.22 v 608
344.20/344.22 v 609
344.20/344.22 v 610
344.20/344.22 v 611
344.20/344.22 v 612
344.20/344.22 v 613
344.20/344.22 v 614
344.20/344.22 v 615
344.20/344.22 v 616
344.20/344.22 v 617
344.20/344.22 v 618
344.20/344.22 v 619
344.20/344.22 v 620
344.20/344.22 v 621
344.20/344.22 v 622
344.20/344.22 v 623
344.20/344.22 v 624
344.20/344.22 v 625
344.20/344.22 v 626
344.20/344.22 v 627
344.20/344.22 v 628
344.20/344.22 v 629
344.20/344.22 v 630
344.20/344.22 v 631
344.20/344.22 v 632
344.20/344.22 v 633
344.20/344.22 v 634
344.20/344.22 v 635
344.20/344.22 v 636
344.20/344.22 v 637
344.20/344.22 v 638
344.20/344.22 v 639
344.20/344.22 v 640
344.20/344.22 v 641
344.20/344.22 v 642
344.20/344.22 v 643
344.20/344.22 v 644
344.20/344.22 v 645
344.20/344.22 v 646
344.20/344.22 v 647
344.20/344.22 v 648
344.20/344.22 v 649
344.20/344.22 v 650
344.20/344.22 v 651
344.20/344.22 v 652
344.20/344.22 v 653
344.20/344.22 v 654
344.20/344.22 v 655
344.20/344.22 v 656
344.20/344.22 v 657
344.20/344.22 v 658
344.20/344.22 v 659
344.20/344.22 v 660
344.20/344.22 v 661
344.20/344.22 v 662
344.20/344.22 v 663
344.20/344.22 v 664
344.20/344.22 v 665
344.20/344.22 v 666
344.20/344.22 v 667
344.20/344.22 v 668
344.20/344.22 v 669
344.20/344.22 v 670
344.20/344.22 v 671
344.20/344.22 v 672
344.20/344.22 v 673
344.20/344.22 v 674
344.20/344.22 v 675
344.20/344.22 v 676
344.20/344.22 v 677
344.20/344.22 v 678
344.20/344.22 v 679
344.20/344.22 v 680
344.20/344.22 v 681
344.20/344.22 v 682
344.20/344.22 v 683
344.20/344.22 v 684
344.20/344.22 v 685
344.20/344.22 v 686
344.20/344.22 v 687
344.20/344.22 v 688
344.20/344.22 v 689
344.20/344.22 v 690
344.20/344.22 v 691
344.20/344.22 v 692
344.20/344.22 v 693
344.20/344.22 v 694
344.20/344.22 v 695
344.20/344.22 v 696
344.20/344.22 v 697
344.20/344.22 v 698
344.20/344.22 v 699
344.20/344.22 v 700
344.20/344.22 v 701
344.20/344.22 v 702
344.20/344.22 v 703
344.20/344.22 v 704
344.20/344.22 v 705
344.20/344.22 v 706
344.20/344.22 v 707
344.20/344.22 v 708
344.20/344.22 v 709
344.20/344.22 v 710
344.20/344.22 v 711
344.20/344.22 v 712
344.20/344.22 v 713
344.20/344.22 v 714
344.20/344.22 v 715
344.20/344.22 v 716
344.20/344.22 v 717
344.20/344.22 v 718
344.20/344.22 v 719
344.20/344.22 v 720
344.20/344.22 v 721
344.20/344.22 v 722
344.20/344.22 v 723
344.20/344.22 v 724
344.20/344.22 v 725
344.20/344.22 v 726
344.20/344.22 v 727
344.20/344.22 v 728
344.20/344.22 v 729
344.20/344.22 v 730
344.20/344.22 v 731
344.20/344.22 v 732
344.20/344.22 v 733
344.20/344.22 v 734
344.20/344.22 v 735
344.20/344.22 v 736
344.20/344.22 v 737
344.20/344.22 v 738
344.20/344.22 v 739
344.20/344.22 v 740
344.20/344.22 v 741
344.20/344.22 v 742
344.20/344.22 v 743
344.20/344.22 v 744
344.20/344.22 v 745
344.20/344.22 v 746
344.20/344.22 v 747
344.20/344.22 v 748
344.20/344.22 v 749
344.20/344.22 v 750
344.20/344.22 v 751
344.20/344.22 v 752
344.20/344.22 v 753
344.20/344.22 v 754
344.20/344.22 v 755
344.20/344.22 v 756
344.20/344.22 v 757
344.20/344.22 v 758
344.20/344.22 v 759
344.20/344.22 v 760
344.20/344.22 v 761
344.20/344.22 v 762
344.20/344.22 v 763
344.20/344.22 v 764
344.20/344.22 v 765
344.20/344.22 v 766
344.20/344.22 v 767
344.20/344.22 v 768
344.20/344.22 v 769
344.20/344.22 v 770
344.20/344.22 v 771
344.20/344.22 v 772
344.20/344.22 v 773
344.20/344.22 v 774
344.20/344.22 v 775
344.20/344.22 v 776
344.20/344.22 v 777
344.20/344.22 v 778
344.20/344.22 v 779
344.20/344.22 v 780
344.20/344.22 v 781
344.20/344.22 v 782
344.20/344.22 v 783
344.20/344.22 v 784
344.20/344.22 v 785
344.20/344.22 v 786
344.20/344.22 v 787
344.20/344.22 v 788
344.20/344.22 v 789
344.20/344.22 v 790
344.20/344.22 v 791
344.20/344.22 v 792
344.20/344.22 v 793
344.20/344.22 v 794
344.20/344.22 v 795
344.20/344.22 v 796
344.20/344.22 v 797
344.20/344.22 v 798
344.20/344.22 v 799
344.20/344.22 v 800
344.20/344.22 v 801
344.20/344.22 v 802
344.20/344.22 v 803
344.20/344.22 v 804
344.20/344.22 v 805
344.20/344.22 v 806
344.20/344.22 v 807
344.20/344.22 v 808
344.20/344.22 v 809
344.20/344.22 v 810
344.20/344.22 v 811
344.20/344.22 v 812
344.20/344.22 v 813
344.20/344.22 v 814
344.20/344.22 v 815
344.20/344.22 v 816
344.20/344.22 v 817
344.20/344.22 v 818
344.20/344.22 v 819
344.20/344.22 v 820
344.20/344.22 v 821
344.20/344.22 v 822
344.20/344.22 v 823
344.20/344.22 v 824
344.20/344.22 v 825
344.20/344.22 v 826
344.20/344.22 v 827
344.20/344.22 v 828
344.20/344.22 v 829
344.20/344.22 v 830
344.20/344.22 v 831
344.20/344.22 v 832
344.20/344.22 v 833
344.20/344.22 v 834
344.20/344.22 v 835
344.20/344.22 v 836
344.20/344.22 v 837
344.20/344.22 v 838
344.20/344.22 v 839
344.20/344.22 v 840
344.20/344.22 v 841
344.20/344.22 v 842
344.20/344.22 v 843
344.20/344.22 v 844
344.20/344.22 v 845
344.20/344.22 v 846
344.20/344.22 v 847
344.20/344.22 v 848
344.20/344.22 v 849
344.20/344.22 v 850
344.20/344.22 v 851
344.20/344.22 v 852
344.20/344.22 v 853
344.20/344.22 v 854
344.20/344.22 v 855
344.20/344.22 v 856
344.20/344.22 v 857
344.20/344.22 v 858
344.20/344.22 v 859
344.20/344.22 v 860
344.20/344.22 v 861
344.20/344.22 v 862
344.20/344.22 v 863
344.20/344.22 v 864
344.20/344.22 v 865
344.20/344.22 v 866
344.20/344.22 v 867
344.20/344.22 v 868
344.20/344.22 v 869
344.20/344.22 v 870
344.20/344.22 v 871
344.20/344.22 v 872
344.20/344.22 v 873
344.20/344.22 v 874
344.20/344.22 v 875
344.20/344.22 v 876
344.20/344.22 v 877
344.20/344.22 v 878
344.20/344.22 v 879
344.20/344.22 v 880
344.20/344.22 v 881
344.20/344.22 v 882
344.20/344.22 v 883
344.20/344.22 v 884
344.20/344.22 v 885
344.20/344.22 v 886
344.20/344.22 v 887
344.20/344.22 v 888
344.20/344.22 v 889
344.20/344.22 v 890
344.20/344.22 v 891
344.20/344.22 v 892
344.20/344.22 v 893
344.20/344.22 v 894
344.20/344.22 v 895
344.20/344.22 v 896
344.20/344.22 v 897
344.20/344.22 v 898
344.20/344.22 v 899
344.20/344.22 v 900
344.20/344.22 v 901
344.20/344.22 v 902
344.20/344.22 v 903
344.20/344.22 v 904
344.20/344.22 v 905
344.20/344.22 v 906
344.20/344.22 v 907
344.20/344.22 v 908
344.20/344.22 v 909
344.20/344.22 v 910
344.20/344.22 v 911
344.20/344.22 v 912
344.20/344.22 v 913
344.20/344.22 v 914
344.20/344.22 v 915
344.20/344.22 v 916
344.20/344.22 v 917
344.20/344.22 v 918
344.20/344.22 v 919
344.20/344.22 v 920
344.20/344.22 v 921
344.20/344.22 v 922
344.20/344.22 v 923
344.20/344.22 v 924
344.20/344.22 v 925
344.20/344.22 v 926
344.20/344.22 v 927
344.20/344.22 v 928
344.20/344.22 v 929
344.20/344.22 v 930
344.20/344.22 v 931
344.20/344.22 v 932
344.20/344.22 v 933
344.20/344.22 v 934
344.20/344.22 v 935
344.20/344.22 v 936
344.20/344.22 v 937
344.20/344.22 v 938
344.20/344.22 v 939
344.20/344.22 v 940
344.20/344.22 v 941
344.20/344.22 v 942
344.20/344.22 v 943
344.20/344.22 v 944
344.20/344.22 v 945
344.20/344.22 v 946
344.20/344.22 v 947
344.20/344.22 v 948
344.20/344.22 v 949
344.20/344.22 v 950
344.20/344.22 v 951
344.20/344.22 v 952
344.20/344.22 v 953
344.20/344.22 v 954
344.20/344.22 v 955
344.20/344.22 v 956
344.20/344.22 v 957
344.20/344.22 v 958
344.20/344.22 v 959
344.20/344.22 v 960
344.20/344.22 v 961
344.20/344.22 v 962
344.20/344.22 v 963
344.20/344.22 v 964
344.20/344.22 v 965
344.20/344.22 v 966
344.20/344.22 v 967
344.20/344.22 v 968
344.20/344.22 v 969
344.20/344.22 v 970
344.20/344.22 v 971
344.20/344.22 v 972
344.20/344.22 v 973
344.20/344.22 v 974
344.20/344.22 v 975
344.20/344.22 v 976
344.20/344.22 v 977
344.20/344.22 v 978
344.20/344.22 v 979
344.20/344.22 v 980
344.20/344.22 v 981
344.20/344.22 v 982
344.20/344.22 v 983
344.20/344.22 v 984
344.20/344.22 v 985
344.20/344.22 v 986
344.20/344.22 v 987
344.20/344.22 v 988
344.20/344.22 v 989
344.20/344.22 v 990
344.20/344.22 v 991
344.20/344.22 v 992
344.20/344.22 v 993
344.20/344.22 v 994
344.20/344.22 v 995
344.20/344.22 v 996
344.20/344.22 v 997
344.20/344.22 v 998
344.20/344.22 v 999
344.20/344.22 v 1000
344.20/344.22 v 1001
344.20/344.22 v 1002
344.20/344.22 v 1003
344.20/344.22 v 1004
344.20/344.22 v 1005
344.20/344.22 v 1006
344.20/344.22 v 1007
344.20/344.22 v 1008
344.20/344.22 v 1009
344.20/344.22 v 1010
344.20/344.22 v 1011
344.20/344.22 v 1012
344.20/344.22 v 1013
344.20/344.22 v 1014
344.20/344.22 v 1015
344.20/344.22 v 1016
344.20/344.22 v 1017
344.20/344.22 v 1018
344.20/344.22 v 1019
344.20/344.22 v 1020
344.20/344.22 v 1021
344.20/344.22 v 1022
344.20/344.22 v 1023
344.20/344.22 v 1024
344.20/344.22 v 1025
344.20/344.22 v 1026
344.20/344.22 v 1027
344.20/344.22 v 1028
344.20/344.22 v 1029
344.20/344.22 v 1030
344.20/344.22 v 1031
344.20/344.22 v 1032
344.20/344.22 v 1033
344.20/344.22 v 1034
344.20/344.22 v 1035
344.20/344.22 v 1036
344.20/344.22 v 1037
344.20/344.22 v 1038
344.20/344.22 v 1039
344.20/344.22 v 1040
344.20/344.22 v 1041
344.20/344.22 v 1042
344.20/344.22 v 1043
344.20/344.22 v 1044
344.20/344.22 v 1045
344.20/344.22 v 1046
344.20/344.22 v 1047
344.20/344.22 v 1048
344.20/344.22 v 1049
344.20/344.22 v 1050
344.20/344.22 v 1051
344.20/344.22 v 1052
344.20/344.22 v 1053
344.20/344.22 v 1054
344.20/344.22 v 1055
344.20/344.22 v 1056
344.20/344.22 v 1057
344.20/344.22 v 1058
344.20/344.22 v 1059
344.20/344.22 v 1060
344.20/344.22 v 1061
344.20/344.22 v 1062
344.20/344.22 v 1063
344.20/344.22 v 1064
344.20/344.22 v 1065
344.20/344.22 v 1066
344.20/344.22 v 1067
344.20/344.22 v 1068
344.20/344.22 v 1069
344.20/344.22 v 1070
344.20/344.22 v 1071
344.20/344.22 v 1072
344.20/344.22 v 1073
344.20/344.22 v 1074
344.20/344.22 v 1075
344.20/344.22 v 1076
344.20/344.22 v 1077
344.20/344.22 v 1078
344.20/344.22 v 1079
344.20/344.22 v 1080
344.20/344.22 v 1081
344.20/344.22 v 1082
344.20/344.22 v 1083
344.20/344.22 v 1084
344.20/344.22 v 1085
344.20/344.22 v 1086
344.20/344.22 v 1087
344.20/344.22 v 1088
344.20/344.22 v 1089
344.20/344.22 v 1090
344.20/344.22 v 1091
344.20/344.22 v 1092
344.20/344.22 v 1093
344.20/344.22 v 1094
344.20/344.22 v 1095
344.20/344.22 v 1096
344.20/344.22 v 1097
344.20/344.22 v 1098
344.20/344.22 v 1099
344.20/344.22 v 1100
344.20/344.22 v 1101
344.20/344.22 v 1102
344.20/344.22 v 1103
344.20/344.22 v 1104
344.20/344.22 v 1105
344.20/344.22 v 1106
344.20/344.22 v 1107
344.20/344.22 v 1108
344.20/344.22 v 1109
344.20/344.22 v 1110
344.20/344.22 v 1111
344.20/344.22 v 1112
344.20/344.22 v 1113
344.20/344.22 v 1114
344.20/344.22 v 1115
344.20/344.22 v 1116
344.20/344.22 v 1117
344.20/344.22 v 1118
344.20/344.22 v 1119
344.20/344.22 v 1120
344.20/344.22 v 1121
344.20/344.22 v 1122
344.20/344.22 v 1123
344.20/344.22 v 1124
344.20/344.22 v 1125
344.20/344.22 v 1126
344.20/344.22 v 1127
344.20/344.22 v 1128
344.20/344.22 v 1129
344.20/344.22 v 1130
344.20/344.22 v 1131
344.20/344.22 v 1132
344.20/344.22 v 1133
344.20/344.22 v 1134
344.20/344.22 v 1135
344.20/344.22 v 1136
344.20/344.22 v 1137
344.20/344.22 v 1138
344.20/344.22 v 1139
344.20/344.22 v 1140
344.20/344.22 v 1141
344.20/344.22 v 1142
344.20/344.22 v 1143
344.20/344.22 v 1144
344.20/344.22 v 1145
344.20/344.22 v 1146
344.20/344.22 v 1147
344.20/344.22 v 1148
344.20/344.22 v 1149
344.20/344.22 v 1150
344.20/344.22 v 1151
344.20/344.22 v 1152
344.20/344.22 v 1153
344.20/344.22 v 1154
344.20/344.22 v 1155
344.20/344.22 v 1156
344.20/344.22 v 1157
344.20/344.22 v 1158
344.20/344.22 v 1159
344.20/344.22 v 1160
344.20/344.22 v 1161
344.20/344.22 v 1162
344.20/344.22 v 1163
344.20/344.22 v 1164
344.20/344.22 v 1165
344.20/344.22 v 1166
344.20/344.22 v 1167
344.20/344.22 v 1168
344.20/344.22 v 1169
344.20/344.22 v 1170
344.20/344.22 v 1171
344.20/344.22 v 1172
344.20/344.22 v 1173
344.20/344.22 v 1174
344.20/344.22 v 1175
344.20/344.22 v 1176
344.20/344.22 v 1177
344.20/344.22 v 1178
344.20/344.22 v 1179
344.20/344.22 v 1180
344.20/344.22 v 1181
344.20/344.22 v 1182
344.20/344.22 v 1183
344.20/344.22 v 1184
344.20/344.22 v 1185
344.20/344.22 v 1186
344.20/344.22 v 1187
344.20/344.22 v 1188
344.20/344.22 v 1189
344.20/344.22 v 1190
344.20/344.22 v 1191
344.20/344.22 v 1192
344.20/344.22 v 1193
344.20/344.22 v 1194
344.20/344.22 v 1195
344.20/344.22 v 1196
344.20/344.22 v 1197
344.20/344.22 v 1198
344.20/344.22 v 1199
344.20/344.22 v 1200
344.20/344.22 v 1201
344.20/344.22 v 1202
344.20/344.22 v 1203
344.20/344.22 v 1204
344.20/344.22 v 1205
344.20/344.22 v 1206
344.20/344.22 v 1207
344.20/344.22 v 1208
344.20/344.22 v 1209
344.20/344.22 v 1210
344.20/344.23 v 1211
344.20/344.23 v 1212
344.20/344.23 v 1213
344.20/344.23 v 1214
344.20/344.23 v 1215
344.20/344.23 v 1216
344.20/344.23 v 1217
344.20/344.23 v 1218
344.20/344.23 v 1219
344.20/344.23 v 1220
344.20/344.23 v 1221
344.20/344.23 v 1222
344.20/344.23 v 1223
344.20/344.23 v 1224
344.20/344.23 v 1225
344.20/344.23 v 1226
344.20/344.23 v 1227
344.20/344.23 v 1228
344.20/344.23 v 1229
344.20/344.23 v 1230
344.20/344.23 v 1231
344.20/344.23 v 1232
344.20/344.23 v 1233
344.20/344.23 v 1234
344.20/344.23 v 1235
344.20/344.23 v 1236
344.20/344.23 v 1237
344.20/344.23 v 1238
344.20/344.23 v 1239
344.20/344.23 v 1240
344.20/344.23 v 1241
344.20/344.23 v 1242
344.20/344.23 v 1243
344.20/344.23 v 1244
344.20/344.23 v 1245
344.20/344.23 v 1246
344.20/344.23 v 1247
344.20/344.23 v 1248
344.20/344.23 v 1249
344.20/344.23 v 1250
344.20/344.23 v 1251
344.20/344.23 v 1252
344.20/344.23 v 1253
344.20/344.23 v 1254
344.20/344.23 v 1255
344.20/344.23 v 1256
344.20/344.23 v 1257
344.20/344.23 v 1258
344.20/344.23 v 1259
344.20/344.23 v 1260
344.20/344.23 v 1261
344.20/344.23 v 1262
344.20/344.23 v 1263
344.20/344.23 v 1264
344.20/344.23 v 1265
344.20/344.23 v 1266
344.20/344.23 v 1267
344.20/344.23 v 1268
344.20/344.23 v 1269
344.20/344.23 v 1270
344.20/344.23 v 1271
344.20/344.23 v 1272
344.20/344.23 v 1273
344.20/344.23 v 1274
344.20/344.23 v 1275
344.20/344.23 v 1276
344.20/344.23 v 1277
344.20/344.23 v 1278
344.20/344.23 v 1279
344.20/344.23 v 1280
344.20/344.23 v 1281
344.20/344.23 v 1282
344.20/344.23 v 1283
344.20/344.23 v 1284
344.20/344.23 v 1285
344.20/344.23 v 1286
344.20/344.23 v 1287
344.20/344.23 v 1288
344.20/344.23 v 1289
344.20/344.23 v 1290
344.20/344.23 v 1291
344.20/344.23 v 1292
344.20/344.23 v 1293
344.20/344.23 v 1294
344.20/344.23 v 1295
344.20/344.23 v 1296
344.20/344.23 v 1297
344.20/344.23 v 1298
344.20/344.23 v 1299
344.20/344.23 v 1300
344.20/344.23 v 1301
344.20/344.23 v 1302
344.20/344.23 v 1303
344.20/344.23 v 1304
344.20/344.23 v 1305
344.20/344.23 v 1306
344.20/344.23 v 1307
344.20/344.23 v 1308
344.20/344.23 v 1309
344.20/344.23 v 1310
344.20/344.23 v 1311
344.20/344.23 v 1312
344.20/344.23 v 1313
344.20/344.23 v 1314
344.20/344.23 v 1315
344.20/344.23 v 1316
344.20/344.23 v 1317
344.20/344.23 v 1318
344.20/344.23 v 1319
344.20/344.23 v 1320
344.20/344.23 v 1321
344.20/344.23 v 1322
344.20/344.23 v 1323
344.20/344.23 v 1324
344.20/344.23 v 1325
344.20/344.23 v 1326
344.20/344.23 v 1327
344.20/344.23 v 1328
344.20/344.23 v 1329
344.20/344.23 v 1330
344.20/344.23 v 1331
344.20/344.23 v 1332
344.20/344.23 v 1333
344.20/344.23 v 1334
344.20/344.23 v 1335
344.20/344.23 v 1336
344.20/344.23 v 1345
344.20/344.23 v 1347
344.20/344.23 v 1348
344.20/344.23 v 1981
344.20/344.23 v 1982
344.20/344.23 v 2004
344.20/344.23 v 2005
344.20/344.23 v 2011
344.20/344.23 v 2012
344.20/344.23 v 2013
344.20/344.23 v 2014
344.20/344.23 v 2016
344.20/344.23 v 2238
344.20/344.23 v 2262
344.20/344.23 v 2263
344.20/344.23 v 2264
344.20/344.23 v 2283
344.20/344.23 v 2288
344.20/344.23 v 2425
344.20/344.23 v 2427
344.20/344.23 v 2430
344.20/344.23 v 2920
344.20/344.23 v 2921
344.20/344.23 v 2922
344.20/344.23 v 2923
344.20/344.23 v 2924
344.20/344.23 v 2925
344.20/344.23 v 2928
344.20/344.23 v 2930
344.20/344.23 v 2934
344.20/344.23 v 2935
344.20/344.23 v 2936
344.20/344.23 v 2937
344.20/344.23 v 2938
344.20/344.23 v 2939
344.20/344.23 v 2940
344.20/344.23 v 2941
344.20/344.23 v 2942
344.20/344.23 v 2943
344.20/344.23 v 2944
344.20/344.23 v 2945
344.20/344.23 v 2948
344.20/344.23 v 2949
344.20/344.23 v 2950
344.20/344.23 v 2951
344.20/344.23 v 2952
344.20/344.23 v 2953
344.20/344.23 v 2954
344.20/344.23 v 2955
344.20/344.23 v 2956
344.20/344.23 v 2963
344.20/344.23 v 2966
344.20/344.23 v 2969
344.20/344.23 v 2973
344.20/344.23 v 3001
344.20/344.23 v 3004
344.20/344.23 v 3007
344.20/344.23 v 3011
344.20/344.23 v 3039
344.20/344.23 v 3042
344.20/344.23 v 3045
344.20/344.23 v 3049
344.20/344.23 v 3077
344.20/344.23 v 3080
344.20/344.23 v 3082
344.20/344.23 v 3087
344.20/344.23 v 3115
344.20/344.23 v 3119
344.20/344.23 v 3122
344.20/344.23 v 3127
344.20/344.23 v 3177
344.20/344.23 v 3178
344.20/344.23 v 3202
344.20/344.23 v 3203
344.20/344.23 v 3204
344.20/344.23 v 3222
344.20/344.23 v 3228
344.20/344.23 v 3356
344.20/344.23 v 3358
344.20/344.23 v 3361
344.20/344.23 v 3365
344.20/344.23 v 3366
344.20/344.23 v 3367
344.20/344.23 v 3370
344.20/344.23 v 3372
344.20/344.23 v 3455
344.20/344.23 v 3456
344.20/344.23 v 3457
344.20/344.23 v 3460
344.20/344.23 v 3462
344.20/344.23 v 3464
344.20/344.23 v 3465
344.20/344.23 v 3466
344.20/344.23 v 3469
344.20/344.23 v 3471
344.20/344.23 v 3474
344.20/344.23 v 3480
344.20/344.23 v 3483
344.20/344.23 v 3489
344.20/344.23 v 3492
344.20/344.23 v 3498
344.20/344.23 v 3501
344.20/344.23 v 3507
344.20/344.23 v 3510
344.20/344.23 v 3516
344.20/344.23 v 3860
344.20/344.23 v 3861
344.20/344.23 v 3862
344.20/344.23 v 3863
344.20/344.23 v 3864
344.20/344.23 v 3865
344.20/344.23 v 3866
344.20/344.23 v 3867
344.20/344.23 v 3868
344.20/344.23 v 3869
344.20/344.23 v 3870
344.20/344.23 v 3871
344.20/344.23 v 3872
344.20/344.23 v 3873
344.20/344.23 v 3874
344.20/344.23 v 3875
344.20/344.23 v 3876
344.20/344.23 v 3877
344.20/344.23 v 3878
344.20/344.23 v 3879
344.20/344.23 v 3880
344.20/344.23 v 3881
344.20/344.23 v 3882
344.20/344.23 v 3883
344.20/344.23 v 3884
344.20/344.23 v 3885
344.20/344.23 v 3888
344.20/344.23 v 3889
344.20/344.23 v 3890
344.20/344.23 v 3891
344.20/344.23 v 3892
344.20/344.23 v 3893
344.20/344.23 v 3894
344.20/344.23 v 3895
344.20/344.23 v 3896
344.20/344.23 v 3898
344.20/344.23 v 3899
344.20/344.23 v 3900
344.20/344.23 v 3901
344.20/344.23 v 3902
344.20/344.23 v 3903
344.20/344.23 v 3906
344.20/344.23 v 3908
344.20/344.23 v 3912
344.20/344.23 v 3913
344.20/344.23 v 3914
344.20/344.23 v 3915
344.20/344.23 v 3916
344.20/344.23 v 3917
344.20/344.23 v 3918
344.20/344.23 v 3919
344.20/344.23 v 3920
344.20/344.23 v 3921
344.20/344.23 v 3923
344.20/344.23 v 3926
344.20/344.23 v 3927
344.20/344.23 v 3928
344.20/344.23 v 3931
344.20/344.23 v 3933
344.20/344.23 v 3934
344.20/344.23 v 3941
344.20/344.23 v 3944
344.20/344.23 v 3947
344.20/344.23 v 3951
344.20/344.23 v 3979
344.20/344.23 v 3982
344.20/344.23 v 3985
344.20/344.23 v 3989
344.20/344.23 v 4017
344.20/344.23 v 4020
344.20/344.23 v 4022
344.20/344.23 v 4027
344.20/344.23 v 4055
344.20/344.23 v 4059
344.20/344.23 v 4062
344.20/344.23 v 4067
344.20/344.23 v 4117
344.20/344.23 v 4118
344.20/344.23 v 4142
344.20/344.23 v 4143
344.20/344.23 v 4144
344.20/344.23 v 4161
344.20/344.23 v 4162
344.20/344.23 v 4167
344.20/344.23 v 4168
344.20/344.23 v 4287
344.20/344.23 v 4289
344.20/344.23 v 4292
344.20/344.23 v 4296
344.20/344.23 v 4297
344.20/344.23 v 4298
344.20/344.23 v 4301
344.20/344.23 v 4303
344.20/344.23 v 4305
344.20/344.23 v 4306
344.20/344.23 v 4307
344.20/344.23 v 4310
344.20/344.23 v 4312
344.20/344.23 v 4395
344.20/344.23 v 4396
344.20/344.23 v 4397
344.20/344.23 v 4400
344.20/344.23 v 4402
344.20/344.23 v 4404
344.20/344.23 v 4405
344.20/344.23 v 4406
344.20/344.23 v 4409
344.20/344.23 v 4411
344.20/344.23 v 4413
344.20/344.23 v 4414
344.20/344.23 v 4415
344.20/344.23 v 4418
344.20/344.23 v 4420
344.20/344.23 v 4423
344.20/344.23 v 4429
344.20/344.23 v 4432
344.20/344.23 v 4438
344.20/344.23 v 4441
344.20/344.23 v 4447
344.20/344.23 v 4450
344.20/344.23 v 4456
344.20/344.23 v 4800
344.20/344.23 v 4801
344.20/344.23 v 4802
344.20/344.23 v 4803
344.20/344.23 v 4804
344.20/344.23 v 4805
344.20/344.23 v 4806
344.20/344.23 v 4807
344.20/344.23 v 4808
344.20/344.23 v 4809
344.20/344.23 v 4810
344.20/344.23 v 4811
344.20/344.23 v 4812
344.20/344.23 v 4813
344.20/344.23 v 4814
344.20/344.23 v 4815
344.20/344.23 v 4816
344.20/344.23 v 4817
344.20/344.23 v 4818
344.20/344.23 v 4819
344.20/344.23 v 4820
344.20/344.23 v 4821
344.20/344.23 v 4822
344.20/344.23 v 4823
344.20/344.23 v 4824
344.20/344.23 v 4825
344.20/344.23 v 4828
344.20/344.23 v 4829
344.20/344.23 v 4830
344.20/344.23 v 4831
344.20/344.23 v 4832
344.20/344.23 v 4833
344.20/344.23 v 4834
344.20/344.23 v 4835
344.20/344.23 v 4836
344.20/344.23 v 4838
344.20/344.23 v 4839
344.20/344.23 v 4840
344.20/344.23 v 4841
344.20/344.23 v 4842
344.20/344.23 v 4843
344.20/344.23 v 4844
344.20/344.23 v 4845
344.20/344.23 v 4846
344.20/344.23 v 4847
344.20/344.23 v 4848
344.20/344.23 v 4849
344.20/344.23 v 4850
344.20/344.23 v 4851
344.20/344.23 v 4852
344.20/344.23 v 4853
344.20/344.23 v 4854
344.20/344.23 v 4855
344.20/344.23 v 4856
344.20/344.23 v 4857
344.20/344.23 v 4858
344.20/344.23 v 4859
344.20/344.23 v 4860
344.20/344.23 v 4861
344.20/344.23 v 4863
344.20/344.23 v 4866
344.20/344.23 v 4867
344.20/344.23 v 4868
344.20/344.23 v 4871
344.20/344.23 v 4873
344.20/344.23 v 4874
344.20/344.23 v 4876
344.20/344.23 v 4877
344.20/344.23 v 4878
344.20/344.23 v 4879
344.20/344.23 v 4880
344.20/344.23 v 4881
344.20/344.23 v 4884
344.20/344.23 v 4886
344.20/344.23 v 4890
344.20/344.23 v 4891
344.20/344.23 v 4892
344.20/344.23 v 4893
344.20/344.23 v 4894
344.20/344.23 v 4895
344.20/344.23 v 4896
344.20/344.23 v 4897
344.20/344.23 v 4898
344.20/344.23 v 4899
344.20/344.23 v 4901
344.20/344.23 v 4904
344.20/344.23 v 4905
344.20/344.23 v 4906
344.20/344.23 v 4909
344.20/344.23 v 4911
344.20/344.23 v 4912
344.20/344.23 v 4919
344.20/344.23 v 4922
344.20/344.23 v 4925
344.20/344.23 v 4929
344.20/344.23 v 4957
344.20/344.23 v 4960
344.20/344.23 v 4962
344.20/344.23 v 4967
344.20/344.23 v 4995
344.20/344.23 v 4999
344.20/344.23 v 5002
344.20/344.23 v 5007
344.20/344.23 v 5057
344.20/344.23 v 5058
344.20/344.23 v 5082
344.20/344.23 v 5083
344.20/344.23 v 5084
344.20/344.23 v 5100
344.20/344.23 v 5101
344.20/344.23 v 5102
344.20/344.23 v 5107
344.20/344.23 v 5108
344.20/344.23 v 5218
344.20/344.23 v 5220
344.20/344.23 v 5223
344.20/344.23 v 5227
344.20/344.23 v 5228
344.20/344.23 v 5229
344.20/344.23 v 5232
344.20/344.23 v 5234
344.20/344.23 v 5236
344.20/344.23 v 5237
344.20/344.23 v 5238
344.20/344.23 v 5241
344.20/344.23 v 5243
344.20/344.23 v 5245
344.20/344.23 v 5246
344.20/344.23 v 5247
344.20/344.23 v 5250
344.20/344.23 v 5252
344.20/344.23 v 5335
344.20/344.23 v 5336
344.20/344.23 v 5337
344.20/344.23 v 5340
344.20/344.23 v 5342
344.20/344.23 v 5344
344.20/344.23 v 5345
344.20/344.23 v 5346
344.20/344.23 v 5349
344.20/344.23 v 5351
344.20/344.23 v 5353
344.20/344.23 v 5354
344.20/344.23 v 5355
344.20/344.23 v 5358
344.20/344.23 v 5360
344.20/344.23 v 5362
344.20/344.23 v 5363
344.20/344.23 v 5364
344.20/344.23 v 5367
344.20/344.23 v 5369
344.20/344.23 v 5372
344.20/344.23 v 5378
344.20/344.23 v 5381
344.20/344.23 v 5387
344.20/344.23 v 5390
344.20/344.23 v 5396
344.20/344.23 v 5740
344.20/344.23 v 5741
344.20/344.23 v 5742
344.20/344.23 v 5743
344.20/344.23 v 5744
344.20/344.23 v 5745
344.20/344.23 v 5746
344.20/344.23 v 5747
344.20/344.23 v 5748
344.20/344.23 v 5749
344.20/344.23 v 5750
344.20/344.23 v 5751
344.20/344.23 v 5752
344.20/344.23 v 5753
344.20/344.23 v 5754
344.20/344.23 v 5755
344.20/344.23 v 5756
344.20/344.23 v 5757
344.20/344.23 v 5758
344.20/344.23 v 5759
344.20/344.23 v 5760
344.20/344.23 v 5761
344.20/344.23 v 5762
344.20/344.23 v 5763
344.20/344.23 v 5764
344.20/344.23 v 5765
344.20/344.23 v 5768
344.20/344.23 v 5769
344.20/344.23 v 5770
344.20/344.23 v 5771
344.20/344.23 v 5772
344.20/344.23 v 5773
344.20/344.23 v 5774
344.20/344.23 v 5775
344.20/344.23 v 5776
344.20/344.23 v 5778
344.20/344.23 v 5779
344.20/344.23 v 5780
344.20/344.23 v 5781
344.20/344.23 v 5782
344.20/344.23 v 5783
344.20/344.23 v 5784
344.20/344.23 v 5785
344.20/344.23 v 5786
344.20/344.23 v 5787
344.20/344.23 v 5788
344.20/344.23 v 5789
344.20/344.23 v 5790
344.20/344.23 v 5791
344.20/344.23 v 5792
344.20/344.23 v 5793
344.20/344.23 v 5794
344.20/344.23 v 5795
344.20/344.23 v 5796
344.20/344.23 v 5797
344.20/344.23 v 5798
344.20/344.23 v 5799
344.20/344.23 v 5800
344.20/344.23 v 5801
344.20/344.23 v 5803
344.20/344.23 v 5806
344.20/344.23 v 5807
344.20/344.23 v 5808
344.20/344.23 v 5811
344.20/344.23 v 5813
344.20/344.23 v 5814
344.20/344.23 v 5816
344.20/344.23 v 5817
344.20/344.23 v 5818
344.20/344.23 v 5819
344.20/344.23 v 5820
344.20/344.23 v 5821
344.20/344.23 v 5822
344.20/344.23 v 5823
344.20/344.23 v 5824
344.20/344.23 v 5825
344.20/344.23 v 5826
344.20/344.23 v 5827
344.20/344.23 v 5828
344.20/344.23 v 5829
344.20/344.23 v 5830
344.20/344.23 v 5831
344.20/344.23 v 5832
344.20/344.23 v 5833
344.20/344.23 v 5834
344.20/344.23 v 5835
344.20/344.23 v 5836
344.20/344.23 v 5837
344.20/344.23 v 5838
344.20/344.23 v 5839
344.20/344.23 v 5841
344.20/344.23 v 5844
344.20/344.23 v 5845
344.20/344.23 v 5846
344.20/344.23 v 5849
344.20/344.23 v 5851
344.20/344.23 v 5852
344.20/344.23 v 5854
344.20/344.23 v 5855
344.20/344.23 v 5856
344.20/344.23 v 5857
344.20/344.23 v 5858
344.20/344.23 v 5859
344.20/344.23 v 5862
344.20/344.23 v 5864
344.20/344.23 v 5868
344.20/344.23 v 5869
344.20/344.23 v 5870
344.20/344.23 v 5871
344.20/344.23 v 5872
344.20/344.23 v 5873
344.20/344.23 v 5874
344.20/344.23 v 5875
344.20/344.23 v 5876
344.20/344.23 v 5877
344.20/344.23 v 5879
344.20/344.23 v 5882
344.20/344.23 v 5883
344.20/344.23 v 5884
344.20/344.23 v 5887
344.20/344.23 v 5889
344.20/344.23 v 5890
344.20/344.23 v 5897
344.20/344.23 v 5900
344.20/344.23 v 5902
344.20/344.23 v 5907
344.20/344.23 v 5935
344.20/344.23 v 5939
344.20/344.23 v 5942
344.20/344.23 v 5947
344.20/344.23 v 5997
344.20/344.23 v 5998
344.20/344.23 v 6022
344.20/344.23 v 6023
344.20/344.23 v 6024
344.20/344.23 v 6039
344.20/344.23 v 6040
344.20/344.23 v 6041
344.20/344.23 v 6042
344.20/344.23 v 6047
344.20/344.23 v 6048
344.20/344.23 v 6149
344.20/344.23 v 6151
344.20/344.23 v 6154
344.20/344.23 v 6158
344.20/344.23 v 6159
344.20/344.23 v 6160
344.20/344.23 v 6163
344.20/344.23 v 6165
344.20/344.23 v 6167
344.20/344.23 v 6168
344.20/344.23 v 6169
344.20/344.23 v 6172
344.20/344.23 v 6174
344.20/344.23 v 6176
344.20/344.23 v 6177
344.20/344.23 v 6178
344.20/344.23 v 6181
344.20/344.23 v 6183
344.20/344.23 v 6185
344.20/344.23 v 6186
344.20/344.23 v 6187
344.20/344.23 v 6190
344.20/344.23 v 6192
344.20/344.23 v 6275
344.20/344.23 v 6276
344.20/344.23 v 6277
344.20/344.23 v 6280
344.20/344.23 v 6282
344.20/344.23 v 6284
344.20/344.23 v 6285
344.20/344.23 v 6286
344.20/344.23 v 6289
344.20/344.23 v 6291
344.20/344.23 v 6293
344.20/344.23 v 6294
344.20/344.23 v 6295
344.20/344.23 v 6298
344.20/344.23 v 6300
344.20/344.23 v 6302
344.20/344.23 v 6303
344.20/344.23 v 6304
344.20/344.23 v 6307
344.20/344.23 v 6309
344.20/344.23 v 6311
344.20/344.23 v 6312
344.20/344.23 v 6313
344.20/344.23 v 6316
344.20/344.23 v 6318
344.20/344.23 v 6321
344.20/344.23 v 6327
344.20/344.23 v 6330
344.20/344.23 v 6336
344.20/344.23 v 6680
344.20/344.23 v 6681
344.20/344.23 v 6682
344.20/344.23 v 6683
344.20/344.23 v 6684
344.20/344.23 v 6685
344.20/344.23 v 6686
344.20/344.23 v 6687
344.20/344.23 v 6688
344.20/344.23 v 6689
344.20/344.23 v 6690
344.20/344.23 v 6691
344.20/344.23 v 6692
344.20/344.23 v 6693
344.20/344.23 v 6694
344.20/344.23 v 6695
344.20/344.23 v 6696
344.20/344.23 v 6697
344.20/344.23 v 6698
344.20/344.23 v 6699
344.20/344.23 v 6700
344.20/344.23 v 6701
344.20/344.23 v 6702
344.20/344.23 v 6703
344.20/344.23 v 6705
344.20/344.23 v 6708
344.20/344.23 v 6709
344.20/344.23 v 6710
344.20/344.23 v 6711
344.20/344.23 v 6712
344.20/344.23 v 6713
344.20/344.23 v 6714
344.20/344.23 v 6715
344.20/344.23 v 6716
344.20/344.23 v 6718
344.20/344.23 v 6719
344.20/344.23 v 6720
344.20/344.23 v 6721
344.20/344.23 v 6722
344.20/344.23 v 6723
344.20/344.23 v 6724
344.20/344.23 v 6725
344.20/344.23 v 6726
344.20/344.23 v 6727
344.20/344.23 v 6728
344.20/344.23 v 6729
344.20/344.23 v 6730
344.20/344.23 v 6731
344.20/344.23 v 6732
344.20/344.23 v 6733
344.20/344.23 v 6734
344.20/344.23 v 6735
344.20/344.23 v 6736
344.20/344.23 v 6737
344.20/344.23 v 6738
344.20/344.23 v 6739
344.20/344.23 v 6740
344.20/344.23 v 6741
344.20/344.23 v 6743
344.20/344.23 v 6746
344.20/344.23 v 6747
344.20/344.23 v 6748
344.20/344.23 v 6751
344.20/344.23 v 6753
344.20/344.23 v 6754
344.20/344.23 v 6756
344.20/344.23 v 6757
344.20/344.23 v 6758
344.20/344.23 v 6759
344.20/344.23 v 6760
344.20/344.23 v 6761
344.20/344.23 v 6762
344.20/344.23 v 6763
344.20/344.23 v 6764
344.20/344.23 v 6765
344.20/344.23 v 6766
344.20/344.23 v 6767
344.20/344.23 v 6768
344.20/344.23 v 6769
344.20/344.23 v 6770
344.20/344.23 v 6771
344.20/344.23 v 6772
344.20/344.23 v 6773
344.20/344.23 v 6774
344.20/344.23 v 6775
344.20/344.23 v 6776
344.20/344.23 v 6777
344.20/344.23 v 6778
344.20/344.23 v 6779
344.20/344.23 v 6781
344.20/344.23 v 6784
344.20/344.23 v 6785
344.20/344.23 v 6786
344.20/344.23 v 6789
344.20/344.23 v 6791
344.20/344.23 v 6792
344.20/344.23 v 6794
344.20/344.23 v 6795
344.20/344.23 v 6796
344.20/344.23 v 6797
344.20/344.23 v 6798
344.20/344.23 v 6799
344.20/344.23 v 6800
344.20/344.23 v 6801
344.20/344.23 v 6802
344.20/344.23 v 6803
344.20/344.23 v 6804
344.20/344.23 v 6805
344.20/344.23 v 6806
344.20/344.23 v 6807
344.20/344.23 v 6808
344.20/344.23 v 6809
344.20/344.23 v 6810
344.20/344.23 v 6811
344.20/344.23 v 6812
344.20/344.23 v 6813
344.20/344.23 v 6814
344.20/344.23 v 6815
344.20/344.23 v 6816
344.20/344.23 v 6817
344.20/344.23 v 6819
344.20/344.23 v 6822
344.20/344.23 v 6823
344.20/344.23 v 6824
344.20/344.23 v 6827
344.20/344.23 v 6829
344.20/344.23 v 6830
344.20/344.23 v 6832
344.20/344.23 v 6833
344.20/344.23 v 6834
344.20/344.23 v 6835
344.20/344.23 v 6836
344.20/344.23 v 6837
344.20/344.23 v 6840
344.20/344.23 v 6842
344.20/344.23 v 6846
344.20/344.23 v 6847
344.20/344.23 v 6848
344.20/344.23 v 6849
344.20/344.23 v 6850
344.20/344.23 v 6851
344.20/344.23 v 6852
344.20/344.23 v 6853
344.20/344.23 v 6854
344.20/344.23 v 6855
344.20/344.23 v 6857
344.20/344.23 v 6860
344.20/344.23 v 6861
344.20/344.23 v 6862
344.20/344.23 v 6865
344.20/344.23 v 6867
344.20/344.23 v 6868
344.20/344.23 v 6875
344.20/344.23 v 6879
344.20/344.23 v 6882
344.20/344.23 v 6887
344.20/344.23 v 6937
344.20/344.23 v 6938
344.20/344.23 v 6962
344.20/344.23 v 6963
344.20/344.23 v 6964
344.20/344.23 v 6978
344.20/344.23 v 6979
344.20/344.23 v 6980
344.20/344.23 v 6981
344.20/344.23 v 6982
344.20/344.23 v 6987
344.20/344.23 v 6988
344.20/344.23 v 7080
344.20/344.23 v 7082
344.20/344.23 v 7085
344.20/344.23 v 7089
344.20/344.23 v 7090
344.20/344.23 v 7091
344.20/344.23 v 7094
344.20/344.23 v 7096
344.20/344.23 v 7098
344.20/344.23 v 7099
344.20/344.23 v 7100
344.20/344.23 v 7103
344.20/344.23 v 7105
344.20/344.23 v 7107
344.20/344.23 v 7108
344.20/344.23 v 7109
344.20/344.23 v 7112
344.20/344.23 v 7114
344.20/344.23 v 7116
344.20/344.23 v 7117
344.20/344.23 v 7118
344.20/344.23 v 7121
344.20/344.23 v 7123
344.20/344.23 v 7125
344.20/344.23 v 7126
344.20/344.23 v 7127
344.20/344.23 v 7130
344.20/344.23 v 7132
344.20/344.23 v 7215
344.20/344.23 v 7216
344.20/344.23 v 7217
344.20/344.23 v 7220
344.20/344.23 v 7222
344.20/344.23 v 7224
344.20/344.23 v 7225
344.20/344.23 v 7226
344.20/344.23 v 7229
344.20/344.23 v 7231
344.20/344.23 v 7233
344.20/344.23 v 7234
344.20/344.23 v 7235
344.20/344.23 v 7238
344.20/344.23 v 7240
344.20/344.23 v 7242
344.20/344.23 v 7243
344.20/344.23 v 7244
344.20/344.23 v 7247
344.20/344.23 v 7249
344.20/344.23 v 7251
344.20/344.23 v 7252
344.20/344.23 v 7253
344.20/344.23 v 7256
344.20/344.23 v 7258
344.20/344.23 v 7260
344.20/344.23 v 7261
344.20/344.23 v 7262
344.20/344.23 v 7265
344.20/344.23 v 7267
344.20/344.23 v 7270
344.20/344.23 v 7276
344.20/344.23 v 7620
344.20/344.23 v 7621
344.20/344.23 v 7622
344.20/344.23 v 7623
344.20/344.23 v 7624
344.20/344.23 v 7625
344.20/344.23 v 7626
344.20/344.23 v 7627
344.20/344.23 v 7628
344.20/344.23 v 7629
344.20/344.23 v 7630
344.20/344.23 v 7631
344.20/344.23 v 7632
344.20/344.23 v 7633
344.20/344.23 v 7634
344.20/344.23 v 7635
344.20/344.23 v 7636
344.20/344.23 v 7637
344.20/344.23 v 7638
344.20/344.23 v 7639
344.20/344.23 v 7640
344.20/344.23 v 7641
344.20/344.23 v 7642
344.20/344.23 v 7643
344.20/344.23 v 7645
344.20/344.23 v 7648
344.20/344.23 v 7649
344.20/344.23 v 7650
344.20/344.23 v 7652
344.20/344.23 v 7653
344.20/344.23 v 7654
344.20/344.23 v 7655
344.20/344.23 v 7656
344.20/344.23 v 7658
344.20/344.23 v 7659
344.20/344.23 v 7660
344.20/344.23 v 7661
344.20/344.23 v 7662
344.20/344.23 v 7663
344.20/344.23 v 7664
344.20/344.23 v 7665
344.20/344.23 v 7666
344.20/344.23 v 7667
344.20/344.23 v 7668
344.20/344.23 v 7669
344.20/344.23 v 7670
344.20/344.23 v 7671
344.20/344.23 v 7672
344.20/344.23 v 7673
344.20/344.23 v 7674
344.20/344.23 v 7675
344.20/344.23 v 7676
344.20/344.23 v 7677
344.20/344.23 v 7678
344.20/344.23 v 7679
344.20/344.23 v 7680
344.20/344.23 v 7681
344.20/344.23 v 7683
344.20/344.23 v 7686
344.20/344.23 v 7687
344.20/344.23 v 7688
344.20/344.23 v 7691
344.20/344.23 v 7693
344.20/344.23 v 7694
344.20/344.23 v 7696
344.20/344.23 v 7697
344.20/344.23 v 7698
344.20/344.23 v 7699
344.20/344.23 v 7700
344.20/344.23 v 7701
344.20/344.23 v 7702
344.20/344.23 v 7703
344.20/344.23 v 7704
344.20/344.23 v 7705
344.20/344.23 v 7706
344.20/344.23 v 7707
344.20/344.23 v 7708
344.20/344.23 v 7709
344.20/344.23 v 7710
344.20/344.23 v 7711
344.20/344.23 v 7712
344.20/344.23 v 7713
344.20/344.23 v 7714
344.20/344.23 v 7715
344.20/344.23 v 7716
344.20/344.23 v 7717
344.20/344.23 v 7718
344.20/344.23 v 7719
344.20/344.23 v 7721
344.20/344.23 v 7724
344.20/344.23 v 7725
344.20/344.23 v 7726
344.20/344.23 v 7729
344.20/344.23 v 7731
344.20/344.23 v 7732
344.20/344.23 v 7734
344.20/344.23 v 7735
344.20/344.23 v 7736
344.20/344.23 v 7737
344.20/344.23 v 7738
344.20/344.23 v 7739
344.20/344.23 v 7740
344.20/344.23 v 7741
344.20/344.23 v 7742
344.20/344.23 v 7743
344.20/344.23 v 7744
344.20/344.23 v 7745
344.20/344.23 v 7746
344.20/344.23 v 7747
344.20/344.23 v 7748
344.20/344.23 v 7749
344.20/344.23 v 7750
344.20/344.23 v 7751
344.20/344.23 v 7752
344.20/344.23 v 7753
344.20/344.23 v 7754
344.20/344.23 v 7755
344.20/344.23 v 7756
344.20/344.23 v 7757
344.20/344.23 v 7759
344.20/344.23 v 7762
344.20/344.23 v 7763
344.20/344.23 v 7764
344.20/344.23 v 7767
344.20/344.23 v 7769
344.20/344.23 v 7770
344.20/344.23 v 7772
344.20/344.23 v 7773
344.20/344.23 v 7774
344.20/344.23 v 7775
344.20/344.23 v 7776
344.20/344.23 v 7777
344.20/344.23 v 7780
344.20/344.23 v 7781
344.20/344.23 v 7782
344.20/344.23 v 7784
344.20/344.23 v 7786
344.20/344.23 v 7787
344.20/344.23 v 7788
344.20/344.23 v 7789
344.20/344.23 v 7790
344.20/344.23 v 7791
344.20/344.23 v 7792
344.20/344.23 v 7793
344.20/344.23 v 7794
344.20/344.23 v 7795
344.20/344.23 v 7797
344.20/344.23 v 7800
344.20/344.23 v 7801
344.20/344.23 v 7802
344.20/344.23 v 7805
344.20/344.23 v 7807
344.20/344.23 v 7808
344.20/344.23 v 7810
344.20/344.23 v 7811
344.20/344.23 v 7812
344.20/344.23 v 7813
344.20/344.23 v 7814
344.20/344.23 v 7815
344.20/344.23 v 7819
344.20/344.23 v 7822
344.20/344.23 v 7826
344.20/344.23 v 7827
344.20/344.23 v 7828
344.20/344.23 v 7829
344.20/344.23 v 7830
344.20/344.23 v 7831
344.20/344.23 v 7832
344.20/344.23 v 7833
344.20/344.23 v 7834
344.20/344.23 v 7835
344.20/344.23 v 7840
344.20/344.23 v 7841
344.20/344.23 v 7842
344.20/344.23 v 7845
344.20/344.23 v 7847
344.20/344.23 v 7848
344.20/344.23 v 7877
344.20/344.23 v 7878
344.20/344.23 v 7902
344.20/344.23 v 7903
344.20/344.23 v 7904
344.20/344.23 v 7917
344.20/344.23 v 7918
344.20/344.23 v 7919
344.20/344.23 v 7920
344.20/344.23 v 7921
344.20/344.23 v 7922
344.20/344.23 v 7927
344.20/344.23 v 7928
344.20/344.23 v 8011
344.20/344.23 v 8013
344.20/344.23 v 8016
344.20/344.23 v 8020
344.20/344.23 v 8021
344.20/344.23 v 8022
344.20/344.23 v 8025
344.20/344.23 v 8027
344.20/344.23 v 8029
344.20/344.23 v 8030
344.20/344.23 v 8031
344.20/344.23 v 8034
344.20/344.23 v 8036
344.20/344.23 v 8038
344.20/344.23 v 8039
344.20/344.23 v 8040
344.20/344.23 v 8043
344.20/344.23 v 8045
344.20/344.23 v 8047
344.20/344.23 v 8048
344.20/344.23 v 8049
344.20/344.23 v 8052
344.20/344.23 v 8054
344.20/344.23 v 8056
344.20/344.23 v 8057
344.20/344.23 v 8058
344.20/344.23 v 8061
344.20/344.23 v 8063
344.20/344.23 v 8065
344.20/344.23 v 8066
344.20/344.23 v 8067
344.20/344.23 v 8070
344.20/344.23 v 8072
344.20/344.23 v 8155
344.20/344.23 v 8156
344.20/344.23 v 8157
344.20/344.23 v 8160
344.20/344.23 v 8162
344.20/344.23 v 8164
344.20/344.23 v 8165
344.20/344.23 v 8166
344.20/344.23 v 8169
344.20/344.23 v 8171
344.20/344.23 v 8173
344.20/344.23 v 8174
344.20/344.23 v 8175
344.20/344.23 v 8178
344.20/344.23 v 8180
344.20/344.23 v 8182
344.20/344.23 v 8183
344.20/344.23 v 8184
344.20/344.23 v 8187
344.20/344.23 v 8189
344.20/344.23 v 8191
344.20/344.23 v 8192
344.20/344.23 v 8193
344.20/344.23 v 8196
344.20/344.23 v 8198
344.20/344.23 v 8200
344.20/344.23 v 8201
344.20/344.23 v 8202
344.20/344.23 v 8205
344.20/344.23 v 8207
344.20/344.23 v 8209
344.20/344.23 v 8210
344.20/344.23 v 8211
344.20/344.23 v 8214
344.20/344.23 v 8216
344.20/344.23 v 8560
344.20/344.23 v 8562
344.20/344.23 v 8564
344.20/344.23 v 8567
344.20/344.23 v 8570
344.20/344.23 v 8575
344.20/344.23 v 8576
344.20/344.23 v 8578
344.20/344.23 v 8580
344.20/344.23 v 8583
344.20/344.23 v 8588
344.20/344.23 v 8589
344.20/344.23 v 8590
344.20/344.23 v 8593
344.20/344.23 v 8595
344.20/344.23 v 8596
344.20/344.23 v 8598
344.20/344.23 v 8600
344.20/344.23 v 8602
344.20/344.23 v 8605
344.20/344.23 v 8608
344.20/344.23 v 8613
344.20/344.23 v 8614
344.20/344.23 v 8616
344.20/344.23 v 8618
344.20/344.23 v 8621
344.20/344.23 v 8626
344.20/344.23 v 8627
344.20/344.23 v 8628
344.20/344.23 v 8631
344.20/344.23 v 8633
344.20/344.23 v 8634
344.20/344.23 v 8636
344.20/344.23 v 8638
344.20/344.23 v 8640
344.20/344.23 v 8643
344.20/344.23 v 8646
344.20/344.23 v 8651
344.20/344.23 v 8652
344.20/344.23 v 8654
344.20/344.23 v 8656
344.20/344.23 v 8659
344.20/344.23 v 8664
344.20/344.23 v 8665
344.20/344.23 v 8666
344.20/344.23 v 8669
344.20/344.23 v 8671
344.20/344.23 v 8672
344.20/344.23 v 8674
344.20/344.23 v 8676
344.20/344.23 v 8678
344.20/344.23 v 8681
344.20/344.23 v 8684
344.20/344.23 v 8689
344.20/344.23 v 8690
344.20/344.23 v 8692
344.20/344.23 v 8694
344.20/344.23 v 8697
344.20/344.23 v 8702
344.20/344.23 v 8703
344.20/344.23 v 8704
344.20/344.23 v 8707
344.20/344.23 v 8709
344.20/344.23 v 8710
344.20/344.23 v 8712
344.20/344.23 v 8714
344.20/344.23 v 8716
344.20/344.23 v 8719
344.20/344.23 v 8722
344.20/344.23 v 8727
344.20/344.23 v 8728
344.20/344.23 v 8730
344.20/344.23 v 8732
344.20/344.23 v 8735
344.20/344.23 v 8740
344.20/344.23 v 8741
344.20/344.23 v 8742
344.20/344.23 v 8745
344.20/344.23 v 8747
344.20/344.23 v 8748
344.20/344.23 v 8750
344.20/344.23 v 8752
344.20/344.23 v 8754
344.20/344.23 v 8758
344.20/344.23 v 8761
344.20/344.23 v 8767
344.20/344.23 v 8768
344.20/344.23 v 8770
344.20/344.23 v 8772
344.20/344.23 v 8775
344.20/344.23 v 8780
344.20/344.23 v 8781
344.20/344.23 v 8782
344.20/344.23 v 8785
344.20/344.23 v 8787
344.20/344.23 v 8788
344.20/344.23 v 8790
344.20/344.23 v 8792
344.20/344.23 v 8794
344.20/344.23 v 8796
344.20/344.23 v 8798
344.20/344.23 v 8800
344.20/344.23 v 8803
344.20/344.23 v 8808
344.20/344.23 v 8809
344.20/344.23 v 8810
344.20/344.23 v 8813
344.20/344.23 v 8815
344.20/344.23 v 8816
344.20/344.23 v 8817
344.20/344.23 v 8818
344.20/344.23 v 8843
344.20/344.23 v 8856
344.20/344.23 v 8857
344.20/344.23 v 8858
344.20/344.23 v 8859
344.20/344.23 v 8860
344.20/344.23 v 8861
344.20/344.23 v 8862
344.20/344.23 v 8863
344.20/344.23 v 8868
344.20/344.23 v 8869
344.20/344.23 v 8871
344.20/344.23 v 8872
344.20/344.23 v 8873
344.20/344.23 v 8874
344.20/344.23 v 8875
344.20/344.23 v 8876
344.20/344.23 v 8877
344.20/344.23 v 8878
344.20/344.23 v 8887
344.20/344.23 v 8888
344.20/344.23 v 8889
344.20/344.23 v 8890
344.20/344.23 v 8891
344.20/344.23 v 8892
344.20/344.23 v 8893
344.20/344.23 v 8894
344.20/344.23 v 8895
344.20/344.23 v 8896
344.20/344.23 v 8897
344.20/344.23 v 8898
344.20/344.23 v 8899
344.20/344.23 v 8900
344.20/344.23 v 8901
344.20/344.23 v 8902
344.20/344.23 v 8903
344.20/344.23 v 8922
344.20/344.23 v 8923
344.20/344.23 v 8924
344.20/344.23 v 8925
344.20/344.23 v 8926
344.20/344.23 v 8927
344.20/344.23 v 8928
344.20/344.23 v 8929
344.20/344.23 v 8930
344.20/344.23 v 8931
344.20/344.23 v 8932
344.20/344.23 v 8933
344.20/344.23 v 8934
344.20/344.23 v 8935
344.20/344.23 v 8937
344.20/344.23 v 8956
344.20/344.23 v 8957
344.20/344.23 v 8958
344.20/344.23 v 8959
344.20/344.23 v 8960
344.20/344.23 v 8961
344.20/344.23 v 8962
344.20/344.23 v 8963
344.20/344.23 v 8964
344.20/344.23 v 8965
344.20/344.23 v 8966
344.20/344.23 v 8967
344.20/344.23 v 8968
344.20/344.23 v 8969
344.20/344.23 v 8970
344.20/344.23 v 8971
344.20/344.23 v 8990
344.20/344.23 v 8991
344.20/344.23 v 8992
344.20/344.23 v 8993
344.20/344.23 v 8994
344.20/344.23 v 8995
344.20/344.23 v 8996
344.20/344.23 v 8997
344.20/344.23 v 8998
344.20/344.23 v 8999
344.20/344.23 v 9000
344.20/344.23 v 9001
344.20/344.23 v 9002
344.20/344.23 v 9003
344.20/344.23 v 9004
344.20/344.23 v 9024
344.20/344.23 v 9027
344.20/344.23 v 9030
344.20/344.23 v 9031
344.20/344.23 v 9032
344.20/344.23 v 9033
344.20/344.23 v 9034
344.20/344.23 v 9035
344.20/344.23 v 9036
344.20/344.23 v 9037
344.20/344.23 v 9038
344.20/344.23 v 9039
344.20/344.23 v 9040
344.20/344.23 v 9041
344.20/344.23 v 9042
344.20/344.23 v 9043
344.20/344.23 v 9062
344.20/344.23 v 9063
344.20/344.23 v 9064
344.20/344.23 v 9065
344.20/344.23 v 9066
344.20/344.23 v 9067
344.20/344.23 v 9068
344.20/344.23 v 9069
344.20/344.23 v 9070
344.20/344.23 v 9071
344.20/344.23 v 9072
344.20/344.23 v 9073
344.20/344.23 v 9074
344.20/344.23 v 9075
344.20/344.23 v 9076
344.20/344.23 v 9095
344.20/344.23 v 9096
344.20/344.23 v 9097
344.20/344.23 v 9098
344.20/344.23 v 9099
344.20/344.23 v 9100
344.20/344.23 v 9101
344.20/344.23 v 9102
344.20/344.23 v 9103
344.20/344.23 v 9104
344.20/344.23 v 9105
344.20/344.23 v 9106
344.20/344.23 v 9108
344.20/344.23 v 9128
344.20/344.23 v 9129
344.20/344.23 v 9130
344.20/344.23 v 9131
344.20/344.23 v 9132
344.20/344.23 v 9133
344.20/344.23 v 9134
344.20/344.23 v 9135
344.20/344.23 v 9136
344.20/344.23 v 9137
344.20/344.23 v 9138
344.20/344.23 v 9139
344.20/344.23 v 9140
344.20/344.23 v 9141
344.20/344.23 v 9142
344.20/344.23 v 9143
344.20/344.23 v 9162
344.20/344.23 v 9163
344.20/344.23 v 9164
344.20/344.23 v 9165
344.20/344.23 v 9166
344.20/344.23 v 9167
344.20/344.23 v 9168
344.20/344.23 v 9169
344.20/344.23 v 9170
344.20/344.23 v 9171
344.20/344.23 v 9172
344.20/344.23 v 9173
344.20/344.23 v 9174
344.20/344.23 v 9175
344.20/344.23 v 9176
344.20/344.23 v 9196
344.20/344.23 v 9197
344.20/344.23 v 9199
344.20/344.23 v 9204
344.20/344.23 v 9205
344.20/344.23 v 9206
344.20/344.23 v 9207
344.20/344.23 v 9208
344.20/344.23 v 9209
344.20/344.23 v 9210
344.20/344.23 v 9211
344.20/344.23 v 9212
344.20/344.23 v 9213
344.20/344.23 v 9214
344.20/344.23 v 9215
344.20/344.23 v 9234
344.20/344.23 v 9235
344.20/344.23 v 9237
344.20/344.23 v 9238
344.20/344.23 v 9239
344.20/344.23 v 9240
344.20/344.23 v 9241
344.20/344.23 v 9242
344.20/344.23 v 9243
344.20/344.23 v 9244
344.20/344.23 v 9245
344.20/344.23 v 9246
344.20/344.23 v 9247
344.20/344.23 v 9248
344.20/344.23 v 9267
344.20/344.23 v 9268
344.20/344.23 v 9269
344.20/344.23 v 9270
344.20/344.23 v 9271
344.20/344.23 v 9272
344.20/344.23 v 9273
344.20/344.23 v 9274
344.20/344.23 v 9275
344.20/344.23 v 9276
344.20/344.23 v 9278
344.20/344.23 v 9300
344.20/344.23 v 9301
344.20/344.23 v 9302
344.20/344.23 v 9303
344.20/344.23 v 9304
344.20/344.23 v 9305
344.20/344.23 v 9306
344.20/344.23 v 9307
344.20/344.23 v 9308
344.20/344.23 v 9309
344.20/344.23 v 9310
344.20/344.23 v 9311
344.20/344.23 v 9312
344.20/344.23 v 9313
344.20/344.23 v 9314
344.20/344.23 v 9315
344.20/344.23 v 9334
344.20/344.23 v 9335
344.20/344.23 v 9336
344.20/344.23 v 9337
344.20/344.23 v 9338
344.20/344.23 v 9339
344.20/344.23 v 9340
344.20/344.23 v 9341
344.20/344.23 v 9342
344.20/344.23 v 9343
344.20/344.23 v 9344
344.20/344.23 v 9345
344.20/344.23 v 9346
344.20/344.23 v 9347
344.20/344.23 v 9348
344.20/344.23 v 9368
344.20/344.23 v 9369
344.20/344.23 v 9371
344.20/344.23 v 9378
344.20/344.23 v 9379
344.20/344.23 v 9380
344.20/344.23 v 9381
344.20/344.23 v 9382
344.20/344.23 v 9383
344.20/344.23 v 9384
344.20/344.23 v 9385
344.20/344.23 v 9386
344.20/344.23 v 9387
344.20/344.23 v 9406
344.20/344.23 v 9407
344.20/344.23 v 9409
344.20/344.23 v 9411
344.20/344.23 v 9412
344.20/344.23 v 9413
344.20/344.23 v 9414
344.20/344.23 v 9415
344.20/344.23 v 9416
344.20/344.23 v 9417
344.20/344.23 v 9418
344.20/344.23 v 9419
344.20/344.23 v 9420
344.20/344.23 v 9439
344.20/344.23 v 9440
344.20/344.23 v 9441
344.20/344.23 v 9442
344.20/344.23 v 9443
344.20/344.23 v 9444
344.20/344.23 v 9445
344.20/344.23 v 9446
344.20/344.23 v 9448
344.20/344.23 v 9472
344.20/344.23 v 9473
344.20/344.23 v 9474
344.20/344.23 v 9475
344.20/344.23 v 9476
344.20/344.23 v 9477
344.20/344.23 v 9478
344.20/344.23 v 9479
344.20/344.23 v 9480
344.20/344.23 v 9481
344.20/344.23 v 9482
344.20/344.23 v 9483
344.20/344.23 v 9484
344.20/344.23 v 9485
344.20/344.23 v 9486
344.20/344.23 v 9487
344.20/344.23 v 9506
344.20/344.23 v 9507
344.20/344.23 v 9508
344.20/344.23 v 9509
344.20/344.23 v 9510
344.20/344.23 v 9511
344.20/344.23 v 9512
344.20/344.23 v 9513
344.20/344.23 v 9514
344.20/344.23 v 9515
344.20/344.23 v 9516
344.20/344.23 v 9517
344.20/344.23 v 9518
344.20/344.23 v 9519
344.20/344.23 v 9520
344.20/344.23 v 9540
344.20/344.23 v 9541
344.20/344.23 v 9543
344.20/344.23 v 9552
344.20/344.23 v 9553
344.20/344.23 v 9554
344.20/344.23 v 9555
344.20/344.23 v 9556
344.20/344.23 v 9557
344.20/344.23 v 9558
344.20/344.23 v 9559
344.20/344.23 v 9578
344.20/344.23 v 9579
344.20/344.23 v 9581
344.20/344.23 v 9583
344.20/344.23 v 9585
344.20/344.23 v 9586
344.20/344.23 v 9587
344.20/344.23 v 9588
344.20/344.23 v 9589
344.20/344.23 v 9590
344.20/344.23 v 9591
344.20/344.23 v 9592
344.20/344.23 v 9611
344.20/344.23 v 9612
344.20/344.23 v 9613
344.20/344.23 v 9614
344.20/344.23 v 9615
344.20/344.23 v 9616
344.20/344.23 v 9618
344.20/344.23 v 9644
344.20/344.23 v 9645
344.20/344.23 v 9646
344.20/344.23 v 9647
344.20/344.23 v 9648
344.20/344.23 v 9649
344.20/344.23 v 9650
344.20/344.23 v 9651
344.20/344.23 v 9652
344.20/344.23 v 9653
344.20/344.23 v 9654
344.20/344.23 v 9655
344.20/344.23 v 9656
344.20/344.23 v 9657
344.20/344.23 v 9658
344.20/344.23 v 9659
344.20/344.23 v 9678
344.20/344.23 v 9679
344.20/344.23 v 9680
344.20/344.23 v 9681
344.20/344.23 v 9682
344.20/344.23 v 9683
344.20/344.23 v 9684
344.20/344.23 v 9685
344.20/344.23 v 9686
344.20/344.23 v 9687
344.20/344.23 v 9688
344.20/344.23 v 9689
344.20/344.23 v 9690
344.20/344.23 v 9691
344.20/344.23 v 9692
344.20/344.23 v 9712
344.20/344.23 v 9713
344.20/344.23 v 9715
344.20/344.23 v 9726
344.20/344.23 v 9727
344.20/344.23 v 9728
344.20/344.23 v 9729
344.20/344.23 v 9730
344.20/344.23 v 9731
344.20/344.23 v 9750
344.20/344.23 v 9751
344.20/344.23 v 9753
344.20/344.23 v 9755
344.20/344.23 v 9757
344.20/344.23 v 9759
344.20/344.23 v 9760
344.20/344.23 v 9761
344.20/344.23 v 9762
344.20/344.23 v 9763
344.20/344.23 v 9764
344.20/344.23 v 9783
344.20/344.23 v 9784
344.20/344.23 v 9785
344.20/344.23 v 9786
344.20/344.23 v 9788
344.20/344.23 v 9816
344.20/344.23 v 9817
344.20/344.23 v 9818
344.20/344.23 v 9819
344.20/344.23 v 9820
344.20/344.23 v 9821
344.20/344.23 v 9822
344.20/344.23 v 9823
344.20/344.23 v 9824
344.20/344.23 v 9825
344.20/344.23 v 9826
344.20/344.23 v 9827
344.20/344.23 v 9828
344.20/344.23 v 9829
344.20/344.23 v 9830
344.20/344.23 v 9831
344.20/344.23 v 9850
344.20/344.23 v 9851
344.20/344.23 v 9852
344.20/344.23 v 9853
344.20/344.23 v 9854
344.20/344.23 v 9855
344.20/344.23 v 9856
344.20/344.23 v 9857
344.20/344.23 v 9858
344.20/344.23 v 9859
344.20/344.23 v 9860
344.20/344.23 v 9861
344.20/344.23 v 9862
344.20/344.23 v 9863
344.20/344.23 v 9864
344.20/344.23 v 9884
344.20/344.23 v 9885
344.20/344.23 v 9887
344.20/344.23 v 9900
344.20/344.23 v 9901
344.20/344.23 v 9902
344.20/344.23 v 9903
344.20/344.23 v 9922
344.20/344.23 v 9923
344.20/344.23 v 9925
344.20/344.23 v 9927
344.20/344.23 v 9929
344.20/344.23 v 9931
344.20/344.23 v 9933
344.20/344.23 v 9934
344.20/344.23 v 9935
344.20/344.23 v 9936
344.20/344.23 v 9955
344.20/344.23 v 9956
344.20/344.23 v 9958
344.20/344.23 v 9988
344.20/344.23 v 9989
344.20/344.23 v 9990
344.20/344.23 v 9991
344.20/344.23 v 9992
344.20/344.23 v 9993
344.20/344.23 v 9994
344.20/344.23 v 9995
344.20/344.23 v 9996
344.20/344.23 v 9997
344.20/344.23 v 9998
344.20/344.23 v 9999
344.20/344.23 v 10000
344.20/344.23 v 10001
344.20/344.23 v 10002
344.20/344.23 v 10003
344.20/344.23 v 10022
344.20/344.23 v 10023
344.20/344.23 v 10024
344.20/344.23 v 10025
344.20/344.23 v 10026
344.20/344.23 v 10027
344.20/344.23 v 10028
344.20/344.23 v 10029
344.20/344.23 v 10030
344.20/344.23 v 10031
344.20/344.23 v 10032
344.20/344.23 v 10033
344.20/344.23 v 10034
344.20/344.23 v 10035
344.20/344.23 v 10036
344.20/344.23 v 10056
344.20/344.23 v 10059
344.20/344.23 v 10074
344.20/344.23 v 10075
344.20/344.23 v 10128
344.20/344.23 v 10160
344.20/344.23 v 10161
344.20/344.23 v 10162
344.20/344.23 v 10163
344.20/344.23 v 10164
344.20/344.23 v 10165
344.20/344.23 v 10166
344.20/344.23 v 10167
344.20/344.23 v 10168
344.20/344.23 v 10169
344.20/344.23 v 10170
344.20/344.23 v 10171
344.20/344.23 v 10172
344.20/344.23 v 10173
344.20/344.23 v 10174
344.20/344.23 v 10175
344.20/344.23 v 10194
344.20/344.23 v 10195
344.20/344.23 v 10196
344.20/344.23 v 10197
344.20/344.23 v 10198
344.20/344.23 v 10199
344.20/344.23 v 10200
344.20/344.23 v 10201
344.20/344.23 v 10202
344.20/344.23 v 10203
344.20/344.23 v 10204
344.20/344.23 v 10205
344.20/344.23 v 10206
344.20/344.23 v 10207
344.20/344.23 v 10208
344.20/344.23 v 10228
344.20/344.23 v 10231
344.20/344.23 v 10246
344.20/344.23 v 10247
344.20/344.23 v 10332
344.20/344.23 v 10333
344.20/344.23 v 10334
344.20/344.23 v 10335
344.20/344.23 v 0
344.20/344.23 c [picomus] computed 2979 irredundant clauses 29%
344.20/344.23 c [picomus] 31 reductions in 344.2 seconds
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493518-1307799119/watcher-3493518-1307799119 -o /tmp/evaluation-result-3493518-1307799119/solver-3493518-1307799119 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493518-1307799119.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.98 2.63 1.49 4/190 1354
/proc/meminfo: memFree=30791076/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=1612 CPUtime=0 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 327 0 0 0 0 0 0 0 25 0 1 0 891509823 1650688 280 33554432000 134512640 135072097 4292710944 18446744073709551615 134700015 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 403 287 60 137 0 264 0
[startup+0.097706 s]
/proc/loadavg: 3.98 2.63 1.49 4/190 1354
/proc/meminfo: memFree=30791076/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=2008 CPUtime=0.09 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 440 0 0 0 9 0 0 0 25 0 1 0 891509823 2056192 393 33554432000 134512640 135072097 4292710944 18446744073709551615 134557360 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 502 393 68 137 0 363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2008
[startup+0.10072 s]
/proc/loadavg: 3.98 2.63 1.49 4/190 1354
/proc/meminfo: memFree=30791076/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=2008 CPUtime=0.1 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 443 0 0 0 10 0 0 0 25 0 1 0 891509823 2056192 396 33554432000 134512640 135072097 4292710944 18446744073709551615 134541734 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 502 396 68 137 0 363 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2008
[startup+0.300672 s]
/proc/loadavg: 3.98 2.63 1.49 4/190 1354
/proc/meminfo: memFree=30791076/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=2800 CPUtime=0.29 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 625 0 0 0 29 0 0 0 25 0 1 0 891509823 2867200 578 33554432000 134512640 135072097 4292710944 18446744073709551615 134543804 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 700 578 68 137 0 561 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2800
[startup+0.700601 s]
/proc/loadavg: 3.98 2.63 1.49 4/190 1354
/proc/meminfo: memFree=30791076/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=4276 CPUtime=0.69 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 995 0 0 0 69 0 0 0 25 0 1 0 891509823 4378624 948 33554432000 134512640 135072097 4292710944 18446744073709551615 134543704 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 1069 948 68 137 0 930 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4276
[startup+1.50043 s]
/proc/loadavg: 3.98 2.63 1.49 5/191 1355
/proc/meminfo: memFree=30786628/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=1784 CPUtime=1.49 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 1761 0 0 0 149 0 0 0 25 0 1 0 891509823 1826816 335 33554432000 134512640 135072097 4292710944 18446744073709551615 134539163 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 446 335 76 137 0 307 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1784
[startup+3.10113 s]
/proc/loadavg: 3.98 2.65 1.51 5/191 1355
/proc/meminfo: memFree=30786876/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=3844 CPUtime=3.09 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 3735 0 0 0 309 0 0 0 25 0 1 0 891509823 3936256 871 33554432000 134512640 135072097 4292710944 18446744073709551615 134543644 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 961 871 76 137 0 822 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3844
[startup+6.30056 s]
/proc/loadavg: 3.98 2.65 1.51 5/191 1355
/proc/meminfo: memFree=30788364/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=7380 CPUtime=6.29 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 7798 0 0 0 628 1 0 0 25 0 1 0 891509823 7557120 1708 33554432000 134512640 135072097 4292710944 18446744073709551615 134523833 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 1845 1708 76 137 0 1706 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7380
[startup+12.7004 s]
/proc/loadavg: 3.99 2.70 1.53 5/191 1355
/proc/meminfo: memFree=30777804/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=13408 CPUtime=12.69 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 15278 0 0 0 1267 2 0 0 25 0 1 0 891509823 13729792 3238 33554432000 134512640 135072097 4292710944 18446744073709551615 134543408 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 3352 3238 76 137 0 3213 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13408
[startup+25.501 s]
/proc/loadavg: 3.99 2.74 1.56 5/191 1355
/proc/meminfo: memFree=30770348/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=20840 CPUtime=25.49 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 17137 0 0 0 2546 3 0 0 25 0 1 0 891509823 21340160 5096 33554432000 134512640 135072097 4292710944 18446744073709551615 134556756 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 5210 5096 77 137 0 5071 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20840
[startup+51.1003 s]
/proc/loadavg: 3.99 2.84 1.62 5/191 1356
/proc/meminfo: memFree=30762712/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=28328 CPUtime=51.09 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 19032 0 0 0 5106 3 0 0 25 0 1 0 891509823 29007872 6988 33554432000 134512640 135072097 4292710944 18446744073709551615 134557319 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 7082 6988 77 137 0 6943 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28328
[startup+102.307 s]
/proc/loadavg: 3.50 2.89 1.71 4/185 1381
/proc/meminfo: memFree=30978876/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=37812 CPUtime=102.3 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 22724 0 0 0 10227 3 0 0 25 0 1 0 891509823 38719488 9350 33554432000 134512640 135072097 4292710944 18446744073709551615 134518074 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 9453 9350 77 137 0 9314 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 37812
[startup+162.301 s]
/proc/loadavg: 2.61 2.75 1.73 3/179 1407
/proc/meminfo: memFree=31197388/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=37888 CPUtime=162.29 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 23265 0 0 0 16226 3 0 0 25 0 1 0 891509823 38797312 9371 33554432000 134512640 135072097 4292710944 18446744073709551615 134559254 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 9472 9371 77 137 0 9333 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 37888
[startup+222.301 s]
/proc/loadavg: 2.26 2.63 1.75 3/179 1409
/proc/meminfo: memFree=31197972/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=37288 CPUtime=222.29 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 23267 0 0 0 22226 3 0 0 25 0 1 0 891509823 38182912 9223 33554432000 134512640 135072097 4292710944 18446744073709551615 134518006 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 9322 9223 77 137 0 9183 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 37288
[startup+282.3 s]
/proc/loadavg: 2.09 2.51 1.76 3/179 1410
/proc/meminfo: memFree=31197808/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=37288 CPUtime=282.3 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 23269 0 0 0 28226 4 0 0 25 0 1 0 891509823 38182912 9225 33554432000 134512640 135072097 4292710944 18446744073709551615 134556761 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 9322 9225 77 137 0 9183 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 37288
[startup+342.3 s]
/proc/loadavg: 2.03 2.42 1.77 3/179 1412
/proc/meminfo: memFree=31198132/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=37288 CPUtime=342.29 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 23269 0 0 0 34225 4 0 0 25 0 1 0 891509823 38182912 9225 33554432000 134512640 135072097 4292710944 18446744073709551615 134583503 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 9322 9225 77 137 0 9183 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 37288
Solver just ended. Dumping a history of the last processes samples
[startup+343.1 s]
/proc/loadavg: 2.03 2.42 1.77 3/179 1412
/proc/meminfo: memFree=31198132/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=37288 CPUtime=343.1 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 23269 0 0 0 34306 4 0 0 25 0 1 0 891509823 38182912 9225 33554432000 134512640 135072097 4292710944 18446744073709551615 134706017 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 9322 9225 77 137 0 9183 0
Current children cumulated CPU time (s) 343.1
Current children cumulated vsize (KiB) 37288
[startup+343.901 s]
/proc/loadavg: 2.03 2.42 1.77 3/179 1412
/proc/meminfo: memFree=31198132/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=37288 CPUtime=343.89 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 23269 0 0 0 34385 4 0 0 25 0 1 0 891509823 38182912 9225 33554432000 134512640 135072097 4292710944 18446744073709551615 134548817 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 9322 9225 77 137 0 9183 0
Current children cumulated CPU time (s) 343.89
Current children cumulated vsize (KiB) 37288
[startup+344.101 s]
/proc/loadavg: 2.03 2.42 1.77 3/179 1412
/proc/meminfo: memFree=31198132/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=37288 CPUtime=344.09 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 23269 0 0 0 34405 4 0 0 25 0 1 0 891509823 38182912 9225 33554432000 134512640 135072097 4292710944 18446744073709551615 134543824 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 9322 9225 77 137 0 9183 0
Current children cumulated CPU time (s) 344.09
Current children cumulated vsize (KiB) 37288
[startup+344.201 s]
/proc/loadavg: 2.03 2.42 1.77 3/179 1412
/proc/meminfo: memFree=31198132/32951124 swapFree=67072804/67111528
[pid=1354] ppid=1352 vsize=37288 CPUtime=344.2 cores=0,2
/proc/1354/stat : 1354 (picomus) R 1352 1354 1155 0 -1 4202496 23269 0 0 0 34416 4 0 0 25 0 1 0 891509823 38182912 9225 33554432000 134512640 135072097 4292710944 18446744073709551615 134543682 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1354/statm: 9322 9225 77 137 0 9183 0
Current children cumulated CPU time (s) 344.2
Current children cumulated vsize (KiB) 37288
Child status: 20
Real time (s): 344.232
CPU time (s): 344.231
CPU user time (s): 344.184
CPU system time (s): 0.046992
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 38560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.184
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23270
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= 4
involuntary context switches= 803
runsolver used 0.640902 second user time and 1.24781 second system time
The end
Begin job on node135 at 2011-06-11 15:32:00
IDJOB=3493518
IDBENCH=89602
IDSOLVER=1974
FILE ID=node135/3493518-1307799119
RUNJOBID= node135-1307798803-1173
PBS_JOBID= 13551013
Free space on /tmp= 73856 MiB
SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/mus/marques-silva/bmc-default/longmult7.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493518-1307799119/watcher-3493518-1307799119 -o /tmp/evaluation-result-3493518-1307799119/solver-3493518-1307799119 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493518-1307799119.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= d1b0741f05eb80f451647fd616cd3c51
RANDOM SEED=60936104
node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.70
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 6640.14
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.78
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30791620 kB
Buffers: 234200 kB
Cached: 991440 kB
SwapCached: 6548 kB
Active: 1380160 kB
Inactive: 591872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30791620 kB
SwapTotal: 67111528 kB
SwapFree: 67072804 kB
Dirty: 668 kB
Writeback: 0 kB
AnonPages: 745436 kB
Mapped: 11628 kB
Slab: 120796 kB
PageTables: 6212 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 957528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73856 MiB
End job on node135 at 2011-06-11 15:37:44