Trace number 308197

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ranov 2007-02-08SAT 56.4704 56.5008

General information on the benchmark

Namerandom/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
MD5SUMe4e9587cc33e3fc7e177d5d00533cb0d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.6609
Satisfiable
(Un)Satisfiability was proved
Number of variables3498
Number of clauses9344
Sum of the clauses size25229
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22803
Number of clauses of size 36541
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.10	c +------------------------------+
0.00/0.10	c | R+AdaptNovelty+, version 1.5 |
0.00/0.10	c +------------------------------+
0.00/0.10	c ranov -h for help
0.00/0.10	c 
0.00/0.10	c Problem instance: numAtoms = 3500, numClauses = 9359, numLiterals = 25271
0.00/0.10	c General parameters: seed=527894597, cutoff=100000, targetCost = 0, print solution: yes
0.00/0.10	c R+AdaptNovelty+ parameters: noise = 0, walkprob = 1
0.00/0.10	c tries = 1
0.00/0.10	c 
56.42/56.47	s SATISFIABLE
56.42/56.47	v -1
56.42/56.47	v -2
56.42/56.47	v 3
56.42/56.47	v 4
56.42/56.47	v -5
56.42/56.47	v 6
56.42/56.47	v 7
56.42/56.47	v 8
56.42/56.47	v 9
56.42/56.47	v 10
56.42/56.47	v 11
56.42/56.47	v 12
56.42/56.47	v 13
56.42/56.47	v -14
56.42/56.47	v 15
56.42/56.47	v -16
56.42/56.47	v -17
56.42/56.47	v -18
56.42/56.47	v -19
56.42/56.47	v -20
56.42/56.47	v 21
56.42/56.47	v 22
56.42/56.47	v 23
56.42/56.47	v -24
56.42/56.47	v -25
56.42/56.47	v -26
56.42/56.47	v -27
56.42/56.47	v -28
56.42/56.47	v 29
56.42/56.47	v -30
56.42/56.47	v -31
56.42/56.47	v -32
56.42/56.47	v 33
56.42/56.47	v 34
56.42/56.47	v -35
56.42/56.47	v 36
56.42/56.47	v 37
56.42/56.47	v -38
56.42/56.47	v 39
56.42/56.47	v -40
56.42/56.47	v -41
56.42/56.47	v 42
56.42/56.47	v 43
56.42/56.47	v -44
56.42/56.47	v -45
56.42/56.47	v 46
56.42/56.47	v 47
56.42/56.47	v 48
56.42/56.47	v -49
56.42/56.47	v -50
56.42/56.47	v 51
56.42/56.47	v 52
56.42/56.47	v 53
56.42/56.47	v 54
56.42/56.47	v 55
56.42/56.47	v 56
56.42/56.47	v 57
56.42/56.47	v 58
56.42/56.47	v -59
56.42/56.47	v -60
56.42/56.47	v 61
56.42/56.47	v -62
56.42/56.47	v -63
56.42/56.47	v 64
56.42/56.47	v -65
56.42/56.47	v -66
56.42/56.47	v -67
56.42/56.47	v 68
56.42/56.47	v 69
56.42/56.47	v 70
56.42/56.47	v -71
56.42/56.47	v -72
56.42/56.47	v 73
56.42/56.47	v 74
56.42/56.47	v -75
56.42/56.47	v -76
56.42/56.47	v -77
56.42/56.47	v -78
56.42/56.47	v -79
56.42/56.47	v 80
56.42/56.47	v -81
56.42/56.47	v -82
56.42/56.47	v 83
56.42/56.47	v -84
56.42/56.47	v -85
56.42/56.47	v -86
56.42/56.47	v 87
56.42/56.47	v -88
56.42/56.47	v 89
56.42/56.47	v -90
56.42/56.47	v 91
56.42/56.47	v 92
56.42/56.47	v 93
56.42/56.47	v 94
56.42/56.47	v -95
56.42/56.47	v -96
56.42/56.47	v 97
56.42/56.47	v 98
56.42/56.47	v 99
56.42/56.47	v 100
56.42/56.47	v -101
56.42/56.47	v -102
56.42/56.47	v 103
56.42/56.47	v -104
56.42/56.47	v 105
56.42/56.47	v 106
56.42/56.47	v 107
56.42/56.47	v 108
56.42/56.47	v 109
56.42/56.47	v -110
56.42/56.47	v 111
56.42/56.47	v 112
56.42/56.47	v -113
56.42/56.47	v 114
56.42/56.47	v 115
56.42/56.47	v 116
56.42/56.47	v -117
56.42/56.47	v -118
56.42/56.47	v 119
56.42/56.47	v 120
56.42/56.47	v -121
56.42/56.47	v 122
56.42/56.47	v -123
56.42/56.47	v -124
56.42/56.47	v 125
56.42/56.47	v -126
56.42/56.47	v -127
56.42/56.47	v 128
56.42/56.47	v -129
56.42/56.47	v 130
56.42/56.47	v 131
56.42/56.47	v -132
56.42/56.47	v -133
56.42/56.47	v -134
56.42/56.47	v -135
56.42/56.47	v 136
56.42/56.47	v 137
56.42/56.47	v -138
56.42/56.47	v -139
56.42/56.47	v 140
56.42/56.47	v -141
56.42/56.47	v -142
56.42/56.47	v -143
56.42/56.47	v -144
56.42/56.47	v 145
56.42/56.47	v -146
56.42/56.47	v -147
56.42/56.47	v 148
56.42/56.47	v 149
56.42/56.47	v 150
56.42/56.47	v 151
56.42/56.47	v 152
56.42/56.47	v 153
56.42/56.47	v -154
56.42/56.47	v -155
56.42/56.47	v -156
56.42/56.47	v -157
56.42/56.47	v 158
56.42/56.47	v 159
56.42/56.47	v -160
56.42/56.47	v -161
56.42/56.47	v -162
56.42/56.47	v 163
56.42/56.47	v -164
56.42/56.47	v -165
56.42/56.47	v -166
56.42/56.47	v -167
56.42/56.47	v 168
56.42/56.47	v -169
56.42/56.47	v 170
56.42/56.47	v -171
56.42/56.47	v 172
56.42/56.47	v -173
56.42/56.47	v -174
56.42/56.47	v -175
56.42/56.47	v 176
56.42/56.47	v 177
56.42/56.47	v -178
56.42/56.47	v -179
56.42/56.47	v 180
56.42/56.47	v -181
56.42/56.47	v -182
56.42/56.47	v -183
56.42/56.47	v -184
56.42/56.47	v 185
56.42/56.47	v -186
56.42/56.47	v 187
56.42/56.47	v 188
56.42/56.47	v -189
56.42/56.47	v -190
56.42/56.47	v -191
56.42/56.47	v 192
56.42/56.47	v -193
56.42/56.47	v -194
56.42/56.47	v -195
56.42/56.47	v -196
56.42/56.47	v 197
56.42/56.47	v 198
56.42/56.47	v 199
56.42/56.47	v -200
56.42/56.47	v -201
56.42/56.47	v 202
56.42/56.47	v 203
56.42/56.47	v 204
56.42/56.47	v -205
56.42/56.47	v -206
56.42/56.47	v 207
56.42/56.47	v -208
56.42/56.47	v 209
56.42/56.47	v -210
56.42/56.47	v 211
56.42/56.47	v -212
56.42/56.47	v -213
56.42/56.47	v -214
56.42/56.47	v 215
56.42/56.47	v 216
56.42/56.47	v -217
56.42/56.47	v 218
56.42/56.47	v 219
56.42/56.47	v -220
56.42/56.47	v 221
56.42/56.47	v -222
56.42/56.47	v 223
56.42/56.47	v 224
56.42/56.47	v -225
56.42/56.47	v -226
56.42/56.47	v -227
56.42/56.47	v -228
56.42/56.47	v -229
56.42/56.47	v 230
56.42/56.47	v 231
56.42/56.47	v 232
56.42/56.47	v -233
56.42/56.47	v -234
56.42/56.47	v 235
56.42/56.47	v -236
56.42/56.47	v -237
56.42/56.47	v -238
56.42/56.47	v 239
56.42/56.47	v -240
56.42/56.47	v -241
56.42/56.47	v 242
56.42/56.47	v -243
56.42/56.47	v 244
56.42/56.47	v 245
56.42/56.47	v 246
56.42/56.47	v -247
56.42/56.47	v -248
56.42/56.47	v -249
56.42/56.47	v -250
56.42/56.47	v -251
56.42/56.47	v -252
56.42/56.47	v 253
56.42/56.47	v -254
56.42/56.47	v -255
56.42/56.47	v 256
56.42/56.47	v 257
56.42/56.47	v 258
56.42/56.47	v 259
56.42/56.47	v -260
56.42/56.47	v 261
56.42/56.47	v 262
56.42/56.47	v 263
56.42/56.47	v -264
56.42/56.47	v -265
56.42/56.47	v -266
56.42/56.47	v -267
56.42/56.47	v 268
56.42/56.47	v 269
56.42/56.47	v 270
56.42/56.47	v 271
56.42/56.47	v 272
56.42/56.47	v -273
56.42/56.47	v -274
56.42/56.47	v 275
56.42/56.47	v 276
56.42/56.47	v 277
56.42/56.47	v 278
56.42/56.47	v 279
56.42/56.47	v -280
56.42/56.47	v -281
56.42/56.47	v -282
56.42/56.47	v -283
56.42/56.47	v 284
56.42/56.47	v -285
56.42/56.47	v -286
56.42/56.47	v 287
56.42/56.47	v -288
56.42/56.47	v -289
56.42/56.47	v 290
56.42/56.47	v 291
56.42/56.47	v -292
56.42/56.47	v 293
56.42/56.47	v 294
56.42/56.47	v -295
56.42/56.47	v 296
56.42/56.47	v 297
56.42/56.47	v -298
56.42/56.47	v -299
56.42/56.47	v 300
56.42/56.47	v 301
56.42/56.47	v -302
56.42/56.47	v -303
56.42/56.47	v 304
56.42/56.47	v 305
56.42/56.47	v 306
56.42/56.47	v -307
56.42/56.47	v -308
56.42/56.47	v -309
56.42/56.47	v 310
56.42/56.47	v -311
56.42/56.47	v 312
56.42/56.47	v -313
56.42/56.47	v 314
56.42/56.47	v 315
56.42/56.47	v -316
56.42/56.47	v 317
56.42/56.47	v -318
56.42/56.47	v 319
56.42/56.47	v -320
56.42/56.47	v -321
56.42/56.47	v -322
56.42/56.47	v 323
56.42/56.47	v -324
56.42/56.47	v 325
56.42/56.47	v -326
56.42/56.47	v -327
56.42/56.47	v -328
56.42/56.47	v 329
56.42/56.48	v 330
56.42/56.48	v -331
56.42/56.48	v 332
56.42/56.48	v -333
56.42/56.48	v -334
56.42/56.48	v 335
56.42/56.48	v 336
56.42/56.48	v -337
56.42/56.48	v -338
56.42/56.48	v 339
56.42/56.48	v -340
56.42/56.48	v -341
56.42/56.48	v -342
56.42/56.48	v -343
56.42/56.48	v 344
56.42/56.48	v -345
56.42/56.48	v 346
56.42/56.48	v 347
56.42/56.48	v -348
56.42/56.48	v 349
56.42/56.48	v -350
56.42/56.48	v -351
56.42/56.48	v -352
56.42/56.48	v -353
56.42/56.48	v -354
56.42/56.48	v 355
56.42/56.48	v -356
56.42/56.48	v 357
56.42/56.48	v 358
56.42/56.48	v -359
56.42/56.48	v 360
56.42/56.48	v 361
56.42/56.48	v -362
56.42/56.48	v 363
56.42/56.48	v -364
56.42/56.48	v -365
56.42/56.48	v 366
56.42/56.48	v 367
56.42/56.48	v -368
56.42/56.48	v 369
56.42/56.48	v 370
56.42/56.48	v 371
56.42/56.48	v 372
56.42/56.48	v -373
56.42/56.48	v 374
56.42/56.48	v -375
56.42/56.48	v 376
56.42/56.48	v -377
56.42/56.48	v 378
56.42/56.48	v -379
56.42/56.48	v -380
56.42/56.48	v 381
56.42/56.48	v -382
56.42/56.48	v -383
56.42/56.48	v 384
56.42/56.48	v 385
56.42/56.48	v -386
56.42/56.48	v 387
56.42/56.48	v -388
56.42/56.48	v 389
56.42/56.48	v -390
56.42/56.48	v 391
56.42/56.48	v 392
56.42/56.48	v -393
56.42/56.48	v 394
56.42/56.48	v -395
56.42/56.48	v -396
56.42/56.48	v -397
56.42/56.48	v -398
56.42/56.48	v -399
56.42/56.48	v 400
56.42/56.48	v 401
56.42/56.48	v -402
56.42/56.48	v 403
56.42/56.48	v -404
56.42/56.48	v -405
56.42/56.48	v -406
56.42/56.48	v 407
56.42/56.48	v -408
56.42/56.48	v -409
56.42/56.48	v -410
56.42/56.48	v -411
56.42/56.48	v 412
56.42/56.48	v -413
56.42/56.48	v -414
56.42/56.48	v -415
56.42/56.48	v 416
56.42/56.48	v -417
56.42/56.48	v -418
56.42/56.48	v -419
56.42/56.48	v -420
56.42/56.48	v -421
56.42/56.48	v -422
56.42/56.48	v -423
56.42/56.48	v 424
56.42/56.48	v 425
56.42/56.48	v -426
56.42/56.48	v 427
56.42/56.48	v 428
56.42/56.48	v -429
56.42/56.48	v 430
56.42/56.48	v 431
56.42/56.48	v 432
56.42/56.48	v -433
56.42/56.48	v 434
56.42/56.48	v 435
56.42/56.48	v -436
56.42/56.48	v -437
56.42/56.48	v -438
56.42/56.48	v 439
56.42/56.48	v -440
56.42/56.48	v -441
56.42/56.48	v 442
56.42/56.48	v -443
56.42/56.48	v 444
56.42/56.48	v -445
56.42/56.48	v -446
56.42/56.48	v -447
56.42/56.48	v -448
56.42/56.48	v -449
56.42/56.48	v 450
56.42/56.48	v 451
56.42/56.48	v -452
56.42/56.48	v 453
56.42/56.48	v 454
56.42/56.48	v 455
56.42/56.48	v -456
56.42/56.48	v 457
56.42/56.48	v -458
56.42/56.48	v 459
56.42/56.48	v 460
56.42/56.48	v -461
56.42/56.48	v 462
56.42/56.48	v 463
56.42/56.48	v 464
56.42/56.48	v -465
56.42/56.48	v 466
56.42/56.48	v -467
56.42/56.48	v 468
56.42/56.48	v -469
56.42/56.48	v -470
56.42/56.48	v 471
56.42/56.48	v -472
56.42/56.48	v 473
56.42/56.48	v 474
56.42/56.48	v -475
56.42/56.48	v 476
56.42/56.48	v -477
56.42/56.48	v 478
56.42/56.48	v -479
56.42/56.48	v -480
56.42/56.48	v -481
56.42/56.48	v -482
56.42/56.48	v 483
56.42/56.48	v 484
56.42/56.48	v -485
56.42/56.48	v 486
56.42/56.48	v -487
56.42/56.48	v -488
56.42/56.48	v -489
56.42/56.48	v 490
56.42/56.48	v -491
56.42/56.48	v -492
56.42/56.48	v -493
56.42/56.48	v 494
56.42/56.48	v 495
56.42/56.48	v 496
56.42/56.48	v 497
56.42/56.48	v -498
56.42/56.48	v -499
56.42/56.48	v -500
56.42/56.48	v -501
56.42/56.48	v -502
56.42/56.48	v 503
56.42/56.48	v 504
56.42/56.48	v 505
56.42/56.48	v -506
56.42/56.48	v -507
56.42/56.48	v 508
56.42/56.48	v -509
56.42/56.48	v 510
56.42/56.48	v -511
56.42/56.48	v 512
56.42/56.48	v 513
56.42/56.48	v 514
56.42/56.48	v -515
56.42/56.48	v -516
56.42/56.48	v 517
56.42/56.48	v 518
56.42/56.48	v -519
56.42/56.48	v 520
56.42/56.48	v 521
56.42/56.48	v -522
56.42/56.48	v -523
56.42/56.48	v 524
56.42/56.48	v 525
56.42/56.48	v -526
56.42/56.48	v -527
56.42/56.48	v -528
56.42/56.48	v 529
56.42/56.48	v 530
56.42/56.48	v 531
56.42/56.48	v 532
56.42/56.48	v -533
56.42/56.48	v -534
56.42/56.48	v 535
56.42/56.48	v 536
56.42/56.48	v 537
56.42/56.48	v 538
56.42/56.48	v 539
56.42/56.48	v 540
56.42/56.48	v 541
56.42/56.48	v -542
56.42/56.48	v -543
56.42/56.48	v -544
56.42/56.48	v -545
56.42/56.48	v -546
56.42/56.48	v 547
56.42/56.48	v -548
56.42/56.48	v 549
56.42/56.48	v 550
56.42/56.48	v 551
56.42/56.48	v 552
56.42/56.48	v -553
56.42/56.48	v 554
56.42/56.48	v -555
56.42/56.48	v 556
56.42/56.48	v 557
56.42/56.48	v -558
56.42/56.48	v -559
56.42/56.48	v 560
56.42/56.48	v -561
56.42/56.48	v 562
56.42/56.48	v -563
56.42/56.48	v 564
56.42/56.48	v -565
56.42/56.48	v 566
56.42/56.48	v 567
56.42/56.48	v -568
56.42/56.48	v 569
56.42/56.48	v 570
56.42/56.48	v 571
56.42/56.48	v 572
56.42/56.48	v 573
56.42/56.48	v 574
56.42/56.48	v 575
56.42/56.48	v 576
56.42/56.48	v 577
56.42/56.48	v 578
56.42/56.48	v 579
56.42/56.48	v -580
56.42/56.48	v -581
56.42/56.48	v 582
56.42/56.48	v 583
56.42/56.48	v -584
56.42/56.48	v -585
56.42/56.48	v 586
56.42/56.48	v 587
56.42/56.48	v 588
56.42/56.48	v -589
56.42/56.48	v 590
56.42/56.48	v -591
56.42/56.48	v 592
56.42/56.48	v 593
56.42/56.48	v 594
56.42/56.48	v -595
56.42/56.48	v -596
56.42/56.48	v -597
56.42/56.48	v 598
56.42/56.48	v -599
56.42/56.48	v -600
56.42/56.48	v -601
56.42/56.48	v 602
56.42/56.48	v 603
56.42/56.48	v -604
56.42/56.48	v 605
56.42/56.48	v 606
56.42/56.48	v -607
56.42/56.48	v 608
56.42/56.48	v -609
56.42/56.48	v -610
56.42/56.48	v -611
56.42/56.48	v -612
56.42/56.48	v 613
56.42/56.48	v -614
56.42/56.48	v -615
56.42/56.48	v -616
56.42/56.48	v -617
56.42/56.48	v -618
56.42/56.48	v 619
56.42/56.48	v 620
56.42/56.48	v -621
56.42/56.48	v 622
56.42/56.48	v -623
56.42/56.48	v 624
56.42/56.48	v -625
56.42/56.48	v -626
56.42/56.48	v -627
56.42/56.48	v -628
56.42/56.48	v -629
56.42/56.48	v -630
56.42/56.48	v 631
56.42/56.48	v 632
56.42/56.48	v -633
56.42/56.48	v 634
56.42/56.48	v -635
56.42/56.48	v 636
56.42/56.48	v 637
56.42/56.48	v 638
56.42/56.48	v -639
56.42/56.48	v 640
56.42/56.48	v 641
56.42/56.48	v -642
56.42/56.48	v 643
56.42/56.48	v -644
56.42/56.48	v 645
56.42/56.48	v -646
56.42/56.48	v 647
56.42/56.48	v -648
56.42/56.48	v 649
56.42/56.48	v 650
56.42/56.48	v -651
56.42/56.48	v -652
56.42/56.48	v 653
56.42/56.48	v -654
56.42/56.48	v 655
56.42/56.48	v 656
56.42/56.48	v 657
56.42/56.48	v 658
56.42/56.48	v 659
56.42/56.48	v -660
56.42/56.48	v -661
56.42/56.48	v 662
56.42/56.48	v 663
56.42/56.48	v -664
56.42/56.48	v 665
56.42/56.48	v -666
56.42/56.48	v -667
56.42/56.48	v -668
56.42/56.48	v -669
56.42/56.48	v 670
56.42/56.48	v 671
56.42/56.48	v -672
56.42/56.48	v 673
56.42/56.48	v 674
56.42/56.48	v 675
56.42/56.48	v -676
56.42/56.48	v 677
56.42/56.48	v -678
56.42/56.48	v 679
56.42/56.48	v -680
56.42/56.48	v -681
56.42/56.48	v 682
56.42/56.48	v 683
56.42/56.48	v -684
56.42/56.48	v -685
56.42/56.48	v 686
56.42/56.48	v 687
56.42/56.48	v -688
56.42/56.48	v 689
56.42/56.48	v 690
56.42/56.48	v 691
56.42/56.48	v -692
56.42/56.48	v -693
56.42/56.48	v -694
56.42/56.48	v 695
56.42/56.48	v 696
56.42/56.48	v 697
56.42/56.48	v 698
56.42/56.48	v -699
56.42/56.48	v 700
56.42/56.48	v -701
56.42/56.48	v -702
56.42/56.48	v 703
56.42/56.48	v 704
56.42/56.48	v -705
56.42/56.48	v 706
56.42/56.48	v 707
56.42/56.48	v -708
56.42/56.48	v -709
56.42/56.48	v 710
56.42/56.48	v 711
56.42/56.48	v -712
56.42/56.48	v 713
56.42/56.48	v 714
56.42/56.48	v 715
56.42/56.48	v 716
56.42/56.48	v -717
56.42/56.48	v -718
56.42/56.48	v 719
56.42/56.48	v -720
56.42/56.48	v 721
56.42/56.48	v -722
56.42/56.48	v -723
56.42/56.48	v -724
56.42/56.48	v 725
56.42/56.48	v 726
56.42/56.48	v 727
56.42/56.48	v -728
56.42/56.48	v -729
56.42/56.48	v 730
56.42/56.48	v 731
56.42/56.48	v 732
56.42/56.48	v 733
56.42/56.48	v -734
56.42/56.48	v -735
56.42/56.48	v 736
56.42/56.48	v 737
56.42/56.48	v -738
56.42/56.48	v 739
56.42/56.48	v 740
56.42/56.48	v 741
56.42/56.48	v -742
56.42/56.48	v 743
56.42/56.48	v -744
56.42/56.48	v -745
56.42/56.48	v 746
56.42/56.48	v -747
56.42/56.48	v 748
56.42/56.48	v 749
56.42/56.48	v 750
56.42/56.48	v 751
56.42/56.48	v -752
56.42/56.48	v 753
56.42/56.48	v -754
56.42/56.48	v 755
56.42/56.48	v -756
56.42/56.48	v -757
56.42/56.48	v 758
56.42/56.48	v -759
56.42/56.48	v -760
56.42/56.48	v -761
56.42/56.48	v -762
56.42/56.48	v 763
56.42/56.48	v -764
56.42/56.48	v -765
56.42/56.48	v 766
56.42/56.48	v 767
56.42/56.48	v -768
56.42/56.48	v 769
56.42/56.48	v -770
56.42/56.48	v 771
56.42/56.48	v 772
56.42/56.48	v -773
56.42/56.48	v 774
56.42/56.48	v -775
56.42/56.48	v 776
56.42/56.48	v 777
56.42/56.48	v -778
56.42/56.48	v 779
56.42/56.48	v -780
56.42/56.48	v -781
56.42/56.48	v 782
56.42/56.48	v 783
56.42/56.48	v 784
56.42/56.48	v -785
56.42/56.48	v 786
56.42/56.48	v -787
56.42/56.48	v 788
56.42/56.48	v -789
56.42/56.48	v 790
56.42/56.48	v -791
56.42/56.48	v -792
56.42/56.48	v -793
56.42/56.48	v -794
56.42/56.48	v -795
56.42/56.48	v 796
56.42/56.48	v 797
56.42/56.48	v -798
56.42/56.48	v -799
56.42/56.48	v -800
56.42/56.48	v -801
56.42/56.48	v -802
56.42/56.48	v 803
56.42/56.48	v 804
56.42/56.48	v -805
56.42/56.48	v -806
56.42/56.48	v 807
56.42/56.48	v -808
56.42/56.48	v -809
56.42/56.48	v -810
56.42/56.48	v -811
56.42/56.48	v -812
56.42/56.48	v -813
56.42/56.48	v -814
56.42/56.48	v -815
56.42/56.48	v 816
56.42/56.48	v -817
56.42/56.48	v -818
56.42/56.48	v 819
56.42/56.48	v -820
56.42/56.48	v 821
56.42/56.48	v 822
56.42/56.48	v -823
56.42/56.48	v -824
56.42/56.48	v 825
56.42/56.48	v 826
56.42/56.48	v -827
56.42/56.48	v -828
56.42/56.48	v -829
56.42/56.48	v -830
56.42/56.48	v 831
56.42/56.48	v 832
56.42/56.48	v 833
56.42/56.48	v -834
56.42/56.48	v 835
56.42/56.48	v 836
56.42/56.48	v -837
56.42/56.48	v -838
56.42/56.48	v -839
56.42/56.48	v 840
56.42/56.48	v 841
56.42/56.48	v -842
56.42/56.48	v 843
56.42/56.48	v 844
56.42/56.48	v -845
56.42/56.48	v -846
56.42/56.48	v 847
56.42/56.48	v 848
56.42/56.48	v -849
56.42/56.48	v 850
56.42/56.48	v -851
56.42/56.48	v -852
56.42/56.48	v 853
56.42/56.48	v 854
56.42/56.48	v -855
56.42/56.48	v -856
56.42/56.48	v -857
56.42/56.48	v 858
56.42/56.48	v -859
56.42/56.48	v -860
56.42/56.48	v -861
56.42/56.48	v -862
56.42/56.48	v -863
56.42/56.48	v 864
56.42/56.48	v 865
56.42/56.48	v -866
56.42/56.48	v 867
56.42/56.48	v 868
56.42/56.48	v 869
56.42/56.48	v -870
56.42/56.48	v 871
56.42/56.48	v -872
56.42/56.48	v -873
56.42/56.48	v -874
56.42/56.48	v -875
56.42/56.48	v -876
56.42/56.48	v -877
56.42/56.48	v 878
56.42/56.48	v 879
56.42/56.48	v -880
56.42/56.48	v 881
56.42/56.48	v 882
56.42/56.48	v 883
56.42/56.48	v 884
56.42/56.48	v 885
56.42/56.48	v 886
56.42/56.48	v -887
56.42/56.48	v -888
56.42/56.48	v 889
56.42/56.48	v 890
56.42/56.48	v -891
56.42/56.48	v 892
56.42/56.48	v -893
56.42/56.48	v -894
56.42/56.48	v -895
56.42/56.48	v -896
56.42/56.48	v 897
56.42/56.48	v 898
56.42/56.48	v 899
56.42/56.48	v -900
56.42/56.48	v 901
56.42/56.48	v -902
56.42/56.48	v 903
56.42/56.48	v 904
56.42/56.48	v 905
56.42/56.48	v 906
56.42/56.48	v -907
56.42/56.48	v -908
56.42/56.48	v -909
56.42/56.48	v -910
56.42/56.48	v -911
56.42/56.48	v -912
56.42/56.48	v 913
56.42/56.48	v -914
56.42/56.48	v 915
56.42/56.48	v 916
56.42/56.48	v -917
56.42/56.48	v -918
56.42/56.48	v 919
56.42/56.48	v -920
56.42/56.48	v 921
56.42/56.48	v -922
56.42/56.48	v -923
56.42/56.48	v 924
56.42/56.48	v -925
56.42/56.48	v 926
56.42/56.48	v -927
56.42/56.48	v -928
56.42/56.48	v -929
56.42/56.48	v -930
56.42/56.48	v 931
56.42/56.48	v 932
56.42/56.48	v -933
56.42/56.48	v 934
56.42/56.48	v -935
56.42/56.48	v -936
56.42/56.48	v 937
56.42/56.48	v 938
56.42/56.48	v 939
56.42/56.48	v 940
56.42/56.48	v 941
56.42/56.48	v 942
56.42/56.48	v -943
56.42/56.48	v -944
56.42/56.48	v -945
56.42/56.48	v -946
56.42/56.48	v 947
56.42/56.48	v 948
56.42/56.48	v 949
56.42/56.48	v -950
56.42/56.48	v 951
56.42/56.48	v -952
56.42/56.48	v -953
56.42/56.48	v 954
56.42/56.48	v 955
56.42/56.48	v 956
56.42/56.48	v -957
56.42/56.48	v 958
56.42/56.48	v -959
56.42/56.48	v 960
56.42/56.48	v -961
56.42/56.48	v 962
56.42/56.48	v 963
56.42/56.48	v -964
56.42/56.48	v 965
56.42/56.48	v -966
56.42/56.48	v 967
56.42/56.48	v 968
56.42/56.48	v 969
56.42/56.48	v 970
56.42/56.48	v 971
56.42/56.48	v 972
56.42/56.48	v 973
56.42/56.48	v 974
56.42/56.48	v 975
56.42/56.48	v -976
56.42/56.48	v -977
56.42/56.48	v 978
56.42/56.48	v 979
56.42/56.48	v 980
56.42/56.48	v 981
56.42/56.48	v 982
56.42/56.48	v -983
56.42/56.48	v -984
56.42/56.48	v 985
56.42/56.48	v 986
56.42/56.48	v -987
56.42/56.48	v -988
56.42/56.48	v -989
56.42/56.48	v -990
56.42/56.48	v 991
56.42/56.48	v 992
56.42/56.48	v 993
56.42/56.48	v -994
56.42/56.48	v 995
56.42/56.48	v 996
56.42/56.48	v 997
56.42/56.48	v -998
56.42/56.48	v 999
56.42/56.48	v -1000
56.42/56.48	v 1001
56.42/56.48	v -1002
56.42/56.48	v 1003
56.42/56.48	v -1004
56.42/56.48	v 1005
56.42/56.48	v -1006
56.42/56.48	v -1007
56.42/56.48	v -1008
56.42/56.48	v 1009
56.42/56.48	v 1010
56.42/56.48	v -1011
56.42/56.48	v -1012
56.42/56.48	v -1013
56.42/56.48	v -1014
56.42/56.48	v -1015
56.42/56.48	v -1016
56.42/56.48	v 1017
56.42/56.48	v -1018
56.42/56.48	v 1019
56.42/56.48	v -1020
56.42/56.48	v -1021
56.42/56.48	v 1022
56.42/56.48	v 1023
56.42/56.48	v 1024
56.42/56.48	v -1025
56.42/56.48	v -1026
56.42/56.48	v -1027
56.42/56.48	v -1028
56.42/56.48	v -1029
56.42/56.48	v -1030
56.42/56.48	v 1031
56.42/56.48	v -1032
56.42/56.48	v -1033
56.42/56.48	v -1034
56.42/56.48	v 1035
56.42/56.48	v 1036
56.42/56.48	v 1037
56.42/56.48	v -1038
56.42/56.48	v 1039
56.42/56.48	v -1040
56.42/56.48	v 1041
56.42/56.48	v 1042
56.42/56.48	v -1043
56.42/56.48	v 1044
56.42/56.48	v 1045
56.42/56.48	v -1046
56.42/56.48	v -1047
56.42/56.48	v 1048
56.42/56.48	v -1049
56.42/56.48	v 1050
56.42/56.48	v 1051
56.42/56.48	v -1052
56.42/56.48	v 1053
56.42/56.48	v -1054
56.42/56.48	v -1055
56.42/56.48	v 1056
56.42/56.48	v 1057
56.42/56.48	v -1058
56.42/56.48	v -1059
56.42/56.48	v 1060
56.42/56.48	v 1061
56.42/56.48	v -1062
56.42/56.48	v -1063
56.42/56.48	v -1064
56.42/56.48	v -1065
56.42/56.48	v 1066
56.42/56.48	v -1067
56.42/56.48	v 1068
56.42/56.48	v -1069
56.42/56.48	v -1070
56.42/56.48	v -1071
56.42/56.48	v -1072
56.42/56.48	v -1073
56.42/56.48	v -1074
56.42/56.48	v 1075
56.42/56.48	v -1076
56.42/56.48	v 1077
56.42/56.48	v 1078
56.42/56.48	v 1079
56.42/56.48	v -1080
56.42/56.48	v -1081
56.42/56.48	v 1082
56.42/56.48	v 1083
56.42/56.48	v 1084
56.42/56.48	v -1085
56.42/56.48	v 1086
56.42/56.48	v -1087
56.42/56.48	v -1088
56.42/56.48	v -1089
56.42/56.48	v 1090
56.42/56.48	v -1091
56.42/56.48	v 1092
56.42/56.48	v 1093
56.42/56.48	v -1094
56.42/56.48	v -1095
56.42/56.48	v -1096
56.42/56.48	v -1097
56.42/56.48	v 1098
56.42/56.48	v 1099
56.42/56.48	v -1100
56.42/56.48	v 1101
56.42/56.48	v -1102
56.42/56.48	v -1103
56.42/56.48	v 1104
56.42/56.48	v 1105
56.42/56.48	v 1106
56.42/56.48	v 1107
56.42/56.48	v 1108
56.42/56.48	v -1109
56.42/56.48	v -1110
56.42/56.48	v 1111
56.42/56.48	v -1112
56.42/56.48	v 1113
56.42/56.48	v 1114
56.42/56.48	v 1115
56.42/56.48	v -1116
56.42/56.48	v 1117
56.42/56.48	v 1118
56.42/56.48	v 1119
56.42/56.48	v 1120
56.42/56.48	v 1121
56.42/56.48	v -1122
56.42/56.48	v -1123
56.42/56.48	v -1124
56.42/56.48	v 1125
56.42/56.48	v -1126
56.42/56.48	v 1127
56.42/56.48	v -1128
56.42/56.48	v 1129
56.42/56.48	v -1130
56.42/56.48	v -1131
56.42/56.48	v -1132
56.42/56.48	v 1133
56.42/56.48	v -1134
56.42/56.48	v -1135
56.42/56.48	v -1136
56.42/56.48	v -1137
56.42/56.48	v 1138
56.42/56.48	v 1139
56.42/56.48	v -1140
56.42/56.48	v 1141
56.42/56.48	v -1142
56.42/56.48	v -1143
56.42/56.48	v -1144
56.42/56.48	v 1145
56.42/56.48	v -1146
56.42/56.48	v -1147
56.42/56.48	v 1148
56.42/56.48	v -1149
56.42/56.48	v -1150
56.42/56.48	v -1151
56.42/56.48	v 1152
56.42/56.48	v -1153
56.42/56.48	v -1154
56.42/56.48	v -1155
56.42/56.48	v 1156
56.42/56.48	v 1157
56.42/56.48	v -1158
56.42/56.48	v 1159
56.42/56.48	v 1160
56.42/56.48	v 1161
56.42/56.48	v -1162
56.42/56.48	v -1163
56.42/56.48	v -1164
56.42/56.48	v -1165
56.42/56.48	v -1166
56.42/56.48	v 1167
56.42/56.48	v 1168
56.42/56.48	v -1169
56.42/56.48	v 1170
56.42/56.48	v 1171
56.42/56.48	v 1172
56.42/56.48	v 1173
56.42/56.48	v -1174
56.42/56.48	v 1175
56.42/56.48	v 1176
56.42/56.48	v -1177
56.42/56.48	v 1178
56.42/56.48	v -1179
56.42/56.48	v 1180
56.42/56.48	v -1181
56.42/56.48	v -1182
56.42/56.48	v 1183
56.42/56.48	v 1184
56.42/56.48	v -1185
56.42/56.48	v -1186
56.42/56.48	v 1187
56.42/56.48	v -1188
56.42/56.48	v 1189
56.42/56.48	v 1190
56.42/56.48	v 1191
56.42/56.48	v -1192
56.42/56.48	v -1193
56.42/56.48	v 1194
56.42/56.48	v 1195
56.42/56.48	v -1196
56.42/56.48	v 1197
56.42/56.48	v -1198
56.42/56.48	v -1199
56.42/56.48	v 1200
56.42/56.48	v 1201
56.42/56.48	v -1202
56.42/56.48	v 1203
56.42/56.48	v 1204
56.42/56.48	v -1205
56.42/56.48	v 1206
56.42/56.48	v -1207
56.42/56.48	v -1208
56.42/56.48	v -1209
56.42/56.48	v 1210
56.42/56.48	v 1211
56.42/56.48	v 1212
56.42/56.48	v 1213
56.42/56.48	v -1214
56.42/56.48	v -1215
56.42/56.48	v -1216
56.42/56.48	v -1217
56.42/56.48	v 1218
56.42/56.48	v -1219
56.42/56.48	v 1220
56.42/56.48	v 1221
56.42/56.48	v 1222
56.42/56.48	v -1223
56.42/56.48	v -1224
56.42/56.48	v 1225
56.42/56.48	v -1226
56.42/56.48	v -1227
56.42/56.48	v -1228
56.42/56.48	v -1229
56.42/56.48	v 1230
56.42/56.48	v -1231
56.42/56.48	v -1232
56.42/56.48	v -1233
56.42/56.48	v -1234
56.42/56.48	v 1235
56.42/56.48	v 1236
56.42/56.48	v 1237
56.42/56.48	v -1238
56.42/56.48	v 1239
56.42/56.48	v 1240
56.42/56.48	v -1241
56.42/56.48	v 1242
56.42/56.48	v -1243
56.42/56.48	v 1244
56.42/56.48	v 1245
56.42/56.48	v -1246
56.42/56.48	v -1247
56.42/56.48	v -1248
56.42/56.48	v 1249
56.42/56.48	v 1250
56.42/56.48	v -1251
56.42/56.48	v -1252
56.42/56.48	v -1253
56.42/56.48	v 1254
56.42/56.48	v -1255
56.42/56.48	v -1256
56.42/56.48	v 1257
56.42/56.48	v 1258
56.42/56.48	v 1259
56.42/56.48	v 1260
56.42/56.48	v -1261
56.42/56.48	v 1262
56.42/56.48	v 1263
56.42/56.48	v 1264
56.42/56.48	v 1265
56.42/56.48	v -1266
56.42/56.48	v -1267
56.42/56.48	v 1268
56.42/56.48	v 1269
56.42/56.48	v -1270
56.42/56.48	v -1271
56.42/56.48	v -1272
56.42/56.48	v 1273
56.42/56.48	v -1274
56.42/56.48	v 1275
56.42/56.48	v -1276
56.42/56.48	v 1277
56.42/56.48	v 1278
56.42/56.48	v -1279
56.42/56.48	v 1280
56.42/56.48	v -1281
56.42/56.48	v -1282
56.42/56.48	v 1283
56.42/56.48	v -1284
56.42/56.48	v -1285
56.42/56.48	v 1286
56.42/56.48	v -1287
56.42/56.48	v 1288
56.42/56.48	v 1289
56.42/56.48	v 1290
56.42/56.48	v 1291
56.42/56.48	v -1292
56.42/56.48	v 1293
56.42/56.48	v 1294
56.42/56.48	v -1295
56.42/56.48	v 1296
56.42/56.48	v -1297
56.42/56.48	v -1298
56.42/56.48	v 1299
56.42/56.48	v -1300
56.42/56.48	v 1301
56.42/56.48	v 1302
56.42/56.48	v 1303
56.42/56.48	v -1304
56.42/56.48	v -1305
56.42/56.48	v -1306
56.42/56.48	v -1307
56.42/56.48	v 1308
56.42/56.48	v -1309
56.42/56.48	v 1310
56.42/56.48	v -1311
56.42/56.48	v 1312
56.42/56.48	v -1313
56.42/56.48	v 1314
56.42/56.48	v 1315
56.42/56.48	v 1316
56.42/56.48	v -1317
56.42/56.48	v 1318
56.42/56.48	v 1319
56.42/56.48	v -1320
56.42/56.48	v 1321
56.42/56.48	v 1322
56.42/56.48	v 1323
56.42/56.48	v -1324
56.42/56.48	v 1325
56.42/56.48	v 1326
56.42/56.48	v 1327
56.42/56.48	v -1328
56.42/56.48	v -1329
56.42/56.48	v 1330
56.42/56.48	v 1331
56.42/56.48	v 1332
56.42/56.48	v -1333
56.42/56.48	v 1334
56.42/56.48	v -1335
56.42/56.48	v 1336
56.42/56.48	v -1337
56.42/56.48	v -1338
56.42/56.48	v 1339
56.42/56.48	v 1340
56.42/56.48	v 1341
56.42/56.48	v -1342
56.42/56.48	v -1343
56.42/56.48	v -1344
56.42/56.48	v 1345
56.42/56.48	v -1346
56.42/56.48	v -1347
56.42/56.48	v 1348
56.42/56.48	v -1349
56.42/56.48	v -1350
56.42/56.48	v -1351
56.42/56.48	v -1352
56.42/56.48	v -1353
56.42/56.48	v 1354
56.42/56.48	v -1355
56.42/56.48	v -1356
56.42/56.48	v 1357
56.42/56.48	v -1358
56.42/56.48	v 1359
56.42/56.48	v 1360
56.42/56.48	v 1361
56.42/56.48	v 1362
56.42/56.48	v 1363
56.42/56.48	v -1364
56.42/56.48	v -1365
56.42/56.48	v -1366
56.42/56.48	v -1367
56.42/56.48	v 1368
56.42/56.48	v -1369
56.42/56.48	v 1370
56.42/56.48	v -1371
56.42/56.48	v 1372
56.42/56.48	v 1373
56.42/56.48	v -1374
56.42/56.48	v 1375
56.42/56.48	v -1376
56.42/56.48	v -1377
56.42/56.48	v 1378
56.42/56.48	v -1379
56.42/56.48	v 1380
56.42/56.48	v -1381
56.42/56.48	v -1382
56.42/56.48	v 1383
56.42/56.48	v 1384
56.42/56.48	v 1385
56.42/56.48	v -1386
56.42/56.48	v 1387
56.42/56.48	v -1388
56.42/56.48	v 1389
56.42/56.48	v -1390
56.42/56.48	v -1391
56.42/56.48	v -1392
56.42/56.48	v 1393
56.42/56.48	v 1394
56.42/56.48	v 1395
56.42/56.48	v 1396
56.42/56.48	v -1397
56.42/56.48	v 1398
56.42/56.48	v 1399
56.42/56.48	v -1400
56.42/56.48	v -1401
56.42/56.48	v -1402
56.42/56.48	v -1403
56.42/56.48	v 1404
56.42/56.48	v -1405
56.42/56.48	v -1406
56.42/56.48	v 1407
56.42/56.48	v -1408
56.42/56.48	v 1409
56.42/56.48	v 1410
56.42/56.48	v 1411
56.42/56.48	v -1412
56.42/56.48	v 1413
56.42/56.48	v -1414
56.42/56.48	v -1415
56.42/56.48	v -1416
56.42/56.48	v 1417
56.42/56.48	v 1418
56.42/56.48	v -1419
56.42/56.48	v -1420
56.42/56.48	v -1421
56.42/56.48	v -1422
56.42/56.48	v 1423
56.42/56.48	v -1424
56.42/56.48	v -1425
56.42/56.48	v -1426
56.42/56.48	v -1427
56.42/56.48	v 1428
56.42/56.48	v 1429
56.42/56.48	v -1430
56.42/56.48	v -1431
56.42/56.48	v 1432
56.42/56.48	v 1433
56.42/56.48	v 1434
56.42/56.48	v -1435
56.42/56.48	v -1436
56.42/56.48	v -1437
56.42/56.48	v -1438
56.42/56.48	v 1439
56.42/56.48	v -1440
56.42/56.48	v 1441
56.42/56.48	v 1442
56.42/56.48	v -1443
56.42/56.48	v 1444
56.42/56.48	v 1445
56.42/56.48	v 1446
56.42/56.48	v -1447
56.42/56.48	v 1448
56.42/56.48	v -1449
56.42/56.48	v -1450
56.42/56.48	v -1451
56.42/56.48	v 1452
56.42/56.48	v -1453
56.42/56.48	v 1454
56.42/56.48	v -1455
56.42/56.48	v -1456
56.42/56.48	v 1457
56.42/56.48	v 1458
56.42/56.48	v 1459
56.42/56.48	v 1460
56.42/56.48	v 1461
56.42/56.48	v -1462
56.42/56.48	v 1463
56.42/56.48	v 1464
56.42/56.48	v -1465
56.42/56.48	v -1466
56.42/56.48	v 1467
56.42/56.48	v 1468
56.42/56.48	v 1469
56.42/56.48	v 1470
56.42/56.48	v -1471
56.42/56.48	v 1472
56.42/56.48	v -1473
56.42/56.48	v 1474
56.42/56.48	v -1475
56.42/56.48	v -1476
56.42/56.48	v 1477
56.42/56.48	v 1478
56.42/56.48	v 1479
56.42/56.48	v -1480
56.42/56.48	v 1481
56.42/56.48	v 1482
56.42/56.48	v -1483
56.42/56.48	v 1484
56.42/56.48	v 1485
56.42/56.48	v 1486
56.42/56.48	v -1487
56.42/56.48	v -1488
56.42/56.48	v 1489
56.42/56.48	v 1490
56.42/56.48	v -1491
56.42/56.48	v 1492
56.42/56.48	v -1493
56.42/56.48	v 1494
56.42/56.48	v -1495
56.42/56.48	v 1496
56.42/56.48	v 1497
56.42/56.48	v 1498
56.42/56.48	v 1499
56.42/56.48	v -1500
56.42/56.48	v 1501
56.42/56.48	v 1502
56.42/56.48	v 1503
56.42/56.48	v -1504
56.42/56.48	v -1505
56.42/56.48	v -1506
56.42/56.48	v -1507
56.42/56.48	v 1508
56.42/56.48	v 1509
56.42/56.48	v -1510
56.42/56.48	v -1511
56.42/56.48	v 1512
56.42/56.48	v -1513
56.42/56.48	v 1514
56.42/56.48	v -1515
56.42/56.48	v -1516
56.42/56.48	v 1517
56.42/56.48	v 1518
56.42/56.48	v -1519
56.42/56.48	v -1520
56.42/56.48	v 1521
56.42/56.48	v 1522
56.42/56.48	v -1523
56.42/56.48	v 1524
56.42/56.48	v -1525
56.42/56.48	v -1526
56.42/56.48	v -1527
56.42/56.48	v 1528
56.42/56.48	v -1529
56.42/56.48	v 1530
56.42/56.48	v 1531
56.42/56.48	v 1532
56.42/56.48	v -1533
56.42/56.48	v -1534
56.42/56.48	v 1535
56.42/56.48	v 1536
56.42/56.48	v 1537
56.42/56.48	v -1538
56.42/56.48	v -1539
56.42/56.48	v -1540
56.42/56.48	v 1541
56.42/56.48	v 1542
56.42/56.48	v -1543
56.42/56.48	v 1544
56.42/56.48	v 1545
56.42/56.48	v 1546
56.42/56.48	v -1547
56.42/56.48	v 1548
56.42/56.48	v 1549
56.42/56.48	v 1550
56.42/56.48	v 1551
56.42/56.48	v 1552
56.42/56.48	v -1553
56.42/56.48	v 1554
56.42/56.48	v 1555
56.42/56.48	v -1556
56.42/56.48	v -1557
56.42/56.48	v -1558
56.42/56.48	v -1559
56.42/56.48	v 1560
56.42/56.48	v 1561
56.42/56.48	v -1562
56.42/56.48	v -1563
56.42/56.48	v 1564
56.42/56.48	v 1565
56.42/56.48	v 1566
56.42/56.48	v 1567
56.42/56.48	v -1568
56.42/56.48	v -1569
56.42/56.48	v 1570
56.42/56.48	v -1571
56.42/56.48	v -1572
56.42/56.48	v 1573
56.42/56.48	v 1574
56.42/56.48	v -1575
56.42/56.48	v 1576
56.42/56.48	v 1577
56.42/56.48	v 1578
56.42/56.48	v 1579
56.42/56.48	v -1580
56.42/56.48	v 1581
56.42/56.48	v -1582
56.42/56.48	v 1583
56.42/56.48	v -1584
56.42/56.48	v 1585
56.42/56.48	v 1586
56.42/56.48	v -1587
56.42/56.48	v -1588
56.42/56.48	v -1589
56.42/56.48	v -1590
56.42/56.48	v -1591
56.42/56.48	v 1592
56.42/56.48	v 1593
56.42/56.48	v 1594
56.42/56.48	v 1595
56.42/56.48	v -1596
56.42/56.48	v 1597
56.42/56.48	v -1598
56.42/56.48	v -1599
56.42/56.48	v 1600
56.42/56.48	v 1601
56.42/56.48	v -1602
56.42/56.48	v 1603
56.42/56.48	v 1604
56.42/56.48	v -1605
56.42/56.48	v -1606
56.42/56.48	v 1607
56.42/56.48	v -1608
56.42/56.48	v -1609
56.42/56.48	v -1610
56.42/56.48	v 1611
56.42/56.48	v 1612
56.42/56.48	v 1613
56.42/56.48	v -1614
56.42/56.48	v -1615
56.42/56.48	v 1616
56.42/56.48	v -1617
56.42/56.48	v 1618
56.42/56.48	v 1619
56.42/56.48	v 1620
56.42/56.48	v -1621
56.42/56.48	v -1622
56.42/56.48	v 1623
56.42/56.48	v -1624
56.42/56.48	v -1625
56.42/56.48	v 1626
56.42/56.48	v -1627
56.42/56.48	v 1628
56.42/56.48	v 1629
56.42/56.48	v -1630
56.42/56.48	v 1631
56.42/56.48	v 1632
56.42/56.48	v 1633
56.42/56.48	v 1634
56.42/56.48	v -1635
56.42/56.48	v 1636
56.42/56.48	v 1637
56.42/56.48	v 1638
56.42/56.48	v 1639
56.42/56.48	v 1640
56.42/56.48	v 1641
56.42/56.48	v 1642
56.42/56.48	v 1643
56.42/56.48	v -1644
56.42/56.48	v -1645
56.42/56.48	v 1646
56.42/56.48	v -1647
56.42/56.48	v -1648
56.42/56.48	v -1649
56.42/56.48	v -1650
56.42/56.48	v 1651
56.42/56.48	v -1652
56.42/56.48	v -1653
56.42/56.48	v -1654
56.42/56.48	v 1655
56.42/56.48	v -1656
56.42/56.48	v 1657
56.42/56.48	v 1658
56.42/56.48	v -1659
56.42/56.48	v -1660
56.42/56.48	v 1661
56.42/56.48	v 1662
56.42/56.48	v -1663
56.42/56.48	v 1664
56.42/56.48	v -1665
56.42/56.48	v -1666
56.42/56.48	v -1667
56.42/56.48	v 1668
56.42/56.48	v -1669
56.42/56.48	v 1670
56.42/56.48	v 1671
56.42/56.48	v 1672
56.42/56.48	v 1673
56.42/56.48	v 1674
56.42/56.48	v -1675
56.42/56.48	v 1676
56.42/56.48	v 1677
56.42/56.48	v -1678
56.42/56.48	v 1679
56.42/56.48	v 1680
56.42/56.48	v -1681
56.42/56.48	v -1682
56.42/56.48	v 1683
56.42/56.48	v -1684
56.42/56.48	v 1685
56.42/56.48	v 1686
56.42/56.48	v -1687
56.42/56.48	v 1688
56.42/56.48	v -1689
56.42/56.48	v 1690
56.42/56.48	v 1691
56.42/56.48	v 1692
56.42/56.48	v 1693
56.42/56.48	v -1694
56.42/56.48	v 1695
56.42/56.48	v -1696
56.42/56.48	v 1697
56.42/56.48	v -1698
56.42/56.48	v -1699
56.42/56.48	v -1700
56.42/56.48	v -1701
56.42/56.48	v -1702
56.42/56.48	v -1703
56.42/56.48	v 1704
56.42/56.48	v 1705
56.42/56.48	v 1706
56.42/56.48	v 1707
56.42/56.48	v 1708
56.42/56.48	v -1709
56.42/56.48	v 1710
56.42/56.48	v -1711
56.42/56.48	v 1712
56.42/56.48	v -1713
56.42/56.48	v -1714
56.42/56.48	v -1715
56.42/56.48	v 1716
56.42/56.48	v 1717
56.42/56.48	v 1718
56.42/56.48	v -1719
56.42/56.48	v 1720
56.42/56.48	v -1721
56.42/56.48	v 1722
56.42/56.48	v -1723
56.42/56.48	v 1724
56.42/56.48	v 1725
56.42/56.48	v 1726
56.42/56.48	v -1727
56.42/56.48	v -1728
56.42/56.48	v 1729
56.42/56.48	v 1730
56.42/56.48	v -1731
56.42/56.48	v -1732
56.42/56.48	v -1733
56.42/56.48	v -1734
56.42/56.48	v 1735
56.42/56.48	v -1736
56.42/56.48	v 1737
56.42/56.48	v -1738
56.42/56.48	v 1739
56.42/56.48	v -1740
56.42/56.48	v 1741
56.42/56.48	v 1742
56.42/56.48	v 1743
56.42/56.48	v -1744
56.42/56.48	v 1745
56.42/56.48	v 1746
56.42/56.48	v 1747
56.42/56.48	v -1748
56.42/56.48	v 1749
56.42/56.48	v -1750
56.42/56.48	v 1751
56.42/56.48	v -1752
56.42/56.48	v -1753
56.42/56.48	v 1754
56.42/56.48	v -1755
56.42/56.48	v -1756
56.42/56.48	v 1757
56.42/56.48	v -1758
56.42/56.48	v -1759
56.42/56.48	v 1760
56.42/56.48	v -1761
56.42/56.48	v 1762
56.42/56.48	v -1763
56.42/56.48	v -1764
56.42/56.48	v 1765
56.42/56.48	v -1766
56.42/56.48	v 1767
56.42/56.48	v -1768
56.42/56.48	v 1769
56.42/56.48	v -1770
56.42/56.48	v -1771
56.42/56.48	v -1772
56.42/56.48	v 1773
56.42/56.48	v -1774
56.42/56.48	v 1775
56.42/56.48	v -1776
56.42/56.48	v 1777
56.42/56.48	v 1778
56.42/56.48	v 1779
56.42/56.48	v 1780
56.42/56.48	v 1781
56.42/56.48	v 1782
56.42/56.48	v 1783
56.42/56.48	v 1784
56.42/56.48	v -1785
56.42/56.48	v -1786
56.42/56.48	v -1787
56.42/56.48	v 1788
56.42/56.48	v -1789
56.42/56.48	v -1790
56.42/56.48	v -1791
56.42/56.48	v -1792
56.42/56.48	v -1793
56.42/56.48	v -1794
56.42/56.48	v 1795
56.42/56.48	v 1796
56.42/56.48	v -1797
56.42/56.48	v -1798
56.42/56.48	v 1799
56.42/56.48	v 1800
56.42/56.48	v 1801
56.42/56.48	v -1802
56.42/56.48	v -1803
56.42/56.48	v 1804
56.42/56.48	v 1805
56.42/56.48	v -1806
56.42/56.48	v 1807
56.42/56.48	v -1808
56.42/56.48	v -1809
56.42/56.48	v 1810
56.42/56.48	v 1811
56.42/56.48	v 1812
56.42/56.48	v -1813
56.42/56.48	v -1814
56.42/56.48	v -1815
56.42/56.48	v 1816
56.42/56.48	v -1817
56.42/56.48	v 1818
56.42/56.48	v 1819
56.42/56.48	v 1820
56.42/56.48	v 1821
56.42/56.48	v -1822
56.42/56.48	v -1823
56.42/56.48	v -1824
56.42/56.48	v -1825
56.42/56.48	v -1826
56.42/56.48	v -1827
56.42/56.48	v -1828
56.42/56.48	v 1829
56.42/56.48	v 1830
56.42/56.48	v -1831
56.42/56.48	v -1832
56.42/56.48	v -1833
56.42/56.48	v 1834
56.42/56.48	v -1835
56.42/56.48	v 1836
56.42/56.48	v -1837
56.42/56.48	v -1838
56.42/56.48	v 1839
56.42/56.48	v -1840
56.42/56.48	v -1841
56.42/56.48	v -1842
56.42/56.48	v -1843
56.42/56.48	v -1844
56.42/56.48	v 1845
56.42/56.48	v -1846
56.42/56.48	v 1847
56.42/56.48	v 1848
56.42/56.48	v -1849
56.42/56.48	v -1850
56.42/56.48	v -1851
56.42/56.48	v 1852
56.42/56.48	v 1853
56.42/56.48	v 1854
56.42/56.48	v -1855
56.42/56.48	v -1856
56.42/56.48	v -1857
56.42/56.48	v -1858
56.42/56.48	v -1859
56.42/56.48	v -1860
56.42/56.48	v -1861
56.42/56.48	v -1862
56.42/56.48	v 1863
56.42/56.48	v 1864
56.42/56.48	v -1865
56.42/56.48	v 1866
56.42/56.48	v -1867
56.42/56.48	v 1868
56.42/56.48	v -1869
56.42/56.48	v 1870
56.42/56.48	v 1871
56.42/56.48	v 1872
56.42/56.48	v -1873
56.42/56.48	v -1874
56.42/56.48	v 1875
56.42/56.48	v -1876
56.42/56.48	v -1877
56.42/56.48	v 1878
56.42/56.48	v 1879
56.42/56.48	v -1880
56.42/56.48	v 1881
56.42/56.48	v 1882
56.42/56.48	v 1883
56.42/56.48	v 1884
56.42/56.48	v -1885
56.42/56.48	v 1886
56.42/56.48	v -1887
56.42/56.48	v 1888
56.42/56.48	v 1889
56.42/56.48	v 1890
56.42/56.48	v 1891
56.42/56.48	v -1892
56.42/56.48	v -1893
56.42/56.48	v -1894
56.42/56.48	v 1895
56.42/56.48	v 1896
56.42/56.48	v 1897
56.42/56.48	v 1898
56.42/56.48	v 1899
56.42/56.48	v -1900
56.42/56.48	v -1901
56.42/56.48	v -1902
56.42/56.48	v -1903
56.42/56.48	v 1904
56.42/56.48	v -1905
56.42/56.48	v -1906
56.42/56.48	v 1907
56.42/56.48	v -1908
56.42/56.48	v 1909
56.42/56.48	v 1910
56.42/56.48	v 1911
56.42/56.48	v -1912
56.42/56.48	v -1913
56.42/56.48	v 1914
56.42/56.48	v -1915
56.42/56.48	v 1916
56.42/56.48	v 1917
56.42/56.48	v 1918
56.42/56.48	v 1919
56.42/56.48	v -1920
56.42/56.48	v -1921
56.42/56.48	v 1922
56.42/56.48	v 1923
56.42/56.48	v -1924
56.42/56.48	v 1925
56.42/56.48	v 1926
56.42/56.48	v 1927
56.42/56.48	v -1928
56.42/56.48	v 1929
56.42/56.48	v 1930
56.42/56.48	v 1931
56.42/56.48	v -1932
56.42/56.48	v -1933
56.42/56.48	v -1934
56.42/56.48	v 1935
56.42/56.48	v 1936
56.42/56.48	v 1937
56.42/56.48	v 1938
56.42/56.48	v -1939
56.42/56.48	v 1940
56.42/56.48	v -1941
56.42/56.48	v 1942
56.42/56.48	v 1943
56.42/56.48	v 1944
56.42/56.48	v 1945
56.42/56.48	v 1946
56.42/56.48	v 1947
56.42/56.48	v 1948
56.42/56.48	v -1949
56.42/56.48	v 1950
56.42/56.48	v 1951
56.42/56.48	v 1952
56.42/56.48	v -1953
56.42/56.48	v -1954
56.42/56.48	v 1955
56.42/56.48	v -1956
56.42/56.48	v 1957
56.42/56.48	v -1958
56.42/56.48	v 1959
56.42/56.48	v 1960
56.42/56.48	v -1961
56.42/56.48	v 1962
56.42/56.48	v -1963
56.42/56.48	v -1964
56.42/56.48	v -1965
56.42/56.48	v -1966
56.42/56.48	v -1967
56.42/56.48	v -1968
56.42/56.48	v 1969
56.42/56.48	v -1970
56.42/56.48	v 1971
56.42/56.48	v -1972
56.42/56.48	v -1973
56.42/56.48	v 1974
56.42/56.48	v 1975
56.42/56.48	v 1976
56.42/56.48	v 1977
56.42/56.48	v -1978
56.42/56.48	v 1979
56.42/56.48	v -1980
56.42/56.48	v -1981
56.42/56.48	v 1982
56.42/56.48	v -1983
56.42/56.48	v -1984
56.42/56.48	v 1985
56.42/56.48	v -1986
56.42/56.48	v 1987
56.42/56.48	v 1988
56.42/56.48	v -1989
56.42/56.48	v 1990
56.42/56.48	v -1991
56.42/56.48	v -1992
56.42/56.48	v 1993
56.42/56.48	v -1994
56.42/56.48	v -1995
56.42/56.48	v 1996
56.42/56.48	v -1997
56.42/56.48	v 1998
56.42/56.48	v -1999
56.42/56.48	v 2000
56.42/56.48	v -2001
56.42/56.48	v -2002
56.42/56.48	v -2003
56.42/56.48	v 2004
56.42/56.48	v -2005
56.42/56.48	v -2006
56.42/56.48	v 2007
56.42/56.48	v -2008
56.42/56.48	v -2009
56.42/56.48	v -2010
56.42/56.48	v 2011
56.42/56.48	v 2012
56.42/56.48	v 2013
56.42/56.48	v 2014
56.42/56.48	v 2015
56.42/56.48	v 2016
56.42/56.48	v 2017
56.42/56.48	v -2018
56.42/56.48	v -2019
56.42/56.48	v -2020
56.42/56.48	v 2021
56.42/56.48	v -2022
56.42/56.48	v 2023
56.42/56.48	v -2024
56.42/56.48	v -2025
56.42/56.48	v 2026
56.42/56.48	v -2027
56.42/56.48	v -2028
56.42/56.48	v -2029
56.42/56.48	v -2030
56.42/56.48	v -2031
56.42/56.48	v -2032
56.42/56.48	v -2033
56.42/56.48	v 2034
56.42/56.48	v 2035
56.42/56.48	v 2036
56.42/56.48	v -2037
56.42/56.48	v -2038
56.42/56.48	v 2039
56.42/56.48	v -2040
56.42/56.48	v 2041
56.42/56.48	v 2042
56.42/56.48	v -2043
56.42/56.48	v -2044
56.42/56.48	v 2045
56.42/56.48	v -2046
56.42/56.48	v -2047
56.42/56.48	v -2048
56.42/56.48	v 2049
56.42/56.48	v 2050
56.42/56.48	v 2051
56.42/56.48	v 2052
56.42/56.48	v 2053
56.42/56.48	v -2054
56.42/56.48	v -2055
56.42/56.48	v -2056
56.42/56.48	v 2057
56.42/56.48	v -2058
56.42/56.48	v 2059
56.42/56.48	v 2060
56.42/56.48	v 2061
56.42/56.48	v -2062
56.42/56.48	v -2063
56.42/56.48	v 2064
56.42/56.48	v 2065
56.42/56.48	v -2066
56.42/56.48	v 2067
56.42/56.48	v -2068
56.42/56.48	v -2069
56.42/56.48	v -2070
56.42/56.48	v -2071
56.42/56.48	v -2072
56.42/56.48	v -2073
56.42/56.48	v -2074
56.42/56.48	v 2075
56.42/56.48	v 2076
56.42/56.48	v -2077
56.42/56.48	v -2078
56.42/56.48	v 2079
56.42/56.48	v -2080
56.42/56.48	v -2081
56.42/56.48	v 2082
56.42/56.48	v 2083
56.42/56.48	v 2084
56.42/56.48	v -2085
56.42/56.48	v 2086
56.42/56.48	v 2087
56.42/56.48	v -2088
56.42/56.48	v 2089
56.42/56.48	v -2090
56.42/56.48	v 2091
56.42/56.48	v 2092
56.42/56.48	v 2093
56.42/56.48	v 2094
56.42/56.48	v 2095
56.42/56.48	v 2096
56.42/56.48	v 2097
56.42/56.48	v 2098
56.42/56.48	v 2099
56.42/56.48	v 2100
56.42/56.48	v 2101
56.42/56.48	v -2102
56.42/56.48	v 2103
56.42/56.48	v 2104
56.42/56.48	v 2105
56.42/56.48	v -2106
56.42/56.48	v 2107
56.42/56.48	v 2108
56.42/56.48	v 2109
56.42/56.48	v 2110
56.42/56.48	v 2111
56.42/56.48	v -2112
56.42/56.48	v -2113
56.42/56.48	v -2114
56.42/56.48	v -2115
56.42/56.48	v -2116
56.42/56.48	v -2117
56.42/56.48	v 2118
56.42/56.48	v -2119
56.42/56.48	v -2120
56.42/56.48	v 2121
56.42/56.48	v 2122
56.42/56.48	v 2123
56.42/56.48	v -2124
56.42/56.48	v -2125
56.42/56.48	v 2126
56.42/56.48	v -2127
56.42/56.48	v 2128
56.42/56.48	v -2129
56.42/56.48	v 2130
56.42/56.48	v -2131
56.42/56.48	v 2132
56.42/56.48	v -2133
56.42/56.48	v 2134
56.42/56.48	v 2135
56.42/56.48	v -2136
56.42/56.48	v 2137
56.42/56.48	v 2138
56.42/56.48	v 2139
56.42/56.48	v 2140
56.42/56.48	v -2141
56.42/56.48	v 2142
56.42/56.48	v 2143
56.42/56.48	v -2144
56.42/56.48	v 2145
56.42/56.48	v 2146
56.42/56.48	v 2147
56.42/56.48	v 2148
56.42/56.48	v 2149
56.42/56.48	v 2150
56.42/56.48	v -2151
56.42/56.48	v -2152
56.42/56.48	v 2153
56.42/56.48	v 2154
56.42/56.48	v -2155
56.42/56.48	v -2156
56.42/56.48	v -2157
56.42/56.48	v -2158
56.42/56.48	v -2159
56.42/56.48	v 2160
56.42/56.48	v 2161
56.42/56.48	v -2162
56.42/56.48	v 2163
56.42/56.48	v 2164
56.42/56.48	v -2165
56.42/56.48	v 2166
56.42/56.48	v -2167
56.42/56.48	v 2168
56.42/56.48	v 2169
56.42/56.48	v 2170
56.42/56.48	v 2171
56.42/56.48	v 2172
56.42/56.48	v 2173
56.42/56.48	v -2174
56.42/56.48	v -2175
56.42/56.48	v 2176
56.42/56.48	v 2177
56.42/56.48	v 2178
56.42/56.48	v 2179
56.42/56.48	v 2180
56.42/56.48	v -2181
56.42/56.48	v -2182
56.42/56.48	v 2183
56.42/56.48	v -2184
56.42/56.48	v -2185
56.42/56.48	v 2186
56.42/56.48	v 2187
56.42/56.48	v 2188
56.42/56.48	v 2189
56.42/56.48	v 2190
56.42/56.48	v 2191
56.42/56.48	v 2192
56.42/56.48	v 2193
56.42/56.48	v 2194
56.42/56.48	v 2195
56.42/56.48	v -2196
56.42/56.48	v -2197
56.42/56.48	v 2198
56.42/56.48	v 2199
56.42/56.48	v 2200
56.42/56.48	v -2201
56.42/56.48	v -2202
56.42/56.48	v -2203
56.42/56.48	v -2204
56.42/56.48	v -2205
56.42/56.48	v -2206
56.42/56.48	v -2207
56.42/56.48	v -2208
56.42/56.48	v 2209
56.42/56.48	v 2210
56.42/56.48	v 2211
56.42/56.48	v 2212
56.42/56.48	v -2213
56.42/56.48	v 2214
56.42/56.48	v -2215
56.42/56.48	v -2216
56.42/56.48	v -2217
56.42/56.48	v -2218
56.42/56.48	v -2219
56.42/56.48	v -2220
56.42/56.48	v 2221
56.42/56.48	v -2222
56.42/56.48	v 2223
56.42/56.48	v 2224
56.42/56.48	v 2225
56.42/56.48	v 2226
56.42/56.48	v -2227
56.42/56.48	v -2228
56.42/56.48	v 2229
56.42/56.48	v -2230
56.42/56.48	v -2231
56.42/56.48	v 2232
56.42/56.48	v 2233
56.42/56.48	v -2234
56.42/56.48	v 2235
56.42/56.48	v 2236
56.42/56.48	v 2237
56.42/56.48	v 2238
56.42/56.48	v 2239
56.42/56.48	v -2240
56.42/56.48	v 2241
56.42/56.48	v -2242
56.42/56.48	v 2243
56.42/56.48	v -2244
56.42/56.48	v -2245
56.42/56.48	v 2246
56.42/56.48	v 2247
56.42/56.48	v 2248
56.42/56.48	v -2249
56.42/56.48	v -2250
56.42/56.48	v -2251
56.42/56.48	v 2252
56.42/56.48	v -2253
56.42/56.48	v 2254
56.42/56.48	v -2255
56.42/56.48	v 2256
56.42/56.48	v -2257
56.42/56.48	v -2258
56.42/56.48	v -2259
56.42/56.48	v 2260
56.42/56.48	v -2261
56.42/56.48	v 2262
56.42/56.48	v -2263
56.42/56.48	v 2264
56.42/56.48	v 2265
56.42/56.48	v 2266
56.42/56.48	v 2267
56.42/56.48	v 2268
56.42/56.48	v 2269
56.42/56.48	v -2270
56.42/56.48	v 2271
56.42/56.48	v 2272
56.42/56.48	v -2273
56.42/56.48	v 2274
56.42/56.48	v -2275
56.42/56.48	v -2276
56.42/56.48	v 2277
56.42/56.48	v -2278
56.42/56.48	v -2279
56.42/56.48	v 2280
56.42/56.48	v 2281
56.42/56.48	v 2282
56.42/56.48	v -2283
56.42/56.48	v 2284
56.42/56.48	v -2285
56.42/56.48	v -2286
56.42/56.48	v 2287
56.42/56.48	v 2288
56.42/56.48	v 2289
56.42/56.48	v 2290
56.42/56.48	v 2291
56.42/56.48	v 2292
56.42/56.48	v 2293
56.42/56.48	v 2294
56.42/56.48	v 2295
56.42/56.48	v -2296
56.42/56.48	v 2297
56.42/56.48	v 2298
56.42/56.48	v 2299
56.42/56.48	v 2300
56.42/56.48	v -2301
56.42/56.48	v -2302
56.42/56.48	v 2303
56.42/56.48	v 2304
56.42/56.48	v -2305
56.42/56.48	v -2306
56.42/56.48	v -2307
56.42/56.48	v -2308
56.42/56.48	v 2309
56.42/56.48	v -2310
56.42/56.48	v 2311
56.42/56.48	v 2312
56.42/56.48	v 2313
56.42/56.48	v -2314
56.42/56.48	v 2315
56.42/56.48	v 2316
56.42/56.48	v -2317
56.42/56.48	v -2318
56.42/56.48	v -2319
56.42/56.48	v 2320
56.42/56.48	v -2321
56.42/56.48	v 2322
56.42/56.48	v 2323
56.42/56.48	v -2324
56.42/56.48	v -2325
56.42/56.48	v 2326
56.42/56.48	v -2327
56.42/56.48	v 2328
56.42/56.48	v 2329
56.42/56.48	v 2330
56.42/56.48	v -2331
56.42/56.48	v -2332
56.42/56.48	v -2333
56.42/56.48	v -2334
56.42/56.48	v -2335
56.42/56.48	v -2336
56.42/56.48	v -2337
56.42/56.48	v -2338
56.42/56.48	v 2339
56.42/56.48	v 2340
56.42/56.48	v -2341
56.42/56.48	v 2342
56.42/56.48	v -2343
56.42/56.48	v 2344
56.42/56.48	v 2345
56.42/56.48	v 2346
56.42/56.48	v -2347
56.42/56.48	v 2348
56.42/56.48	v 2349
56.42/56.48	v -2350
56.42/56.48	v 2351
56.42/56.48	v 2352
56.42/56.48	v 2353
56.42/56.48	v 2354
56.42/56.48	v 2355
56.42/56.48	v 2356
56.42/56.48	v 2357
56.42/56.48	v -2358
56.42/56.48	v 2359
56.42/56.48	v 2360
56.42/56.48	v 2361
56.42/56.48	v -2362
56.42/56.48	v 2363
56.42/56.48	v 2364
56.42/56.48	v -2365
56.42/56.48	v 2366
56.42/56.48	v 2367
56.42/56.48	v 2368
56.42/56.48	v 2369
56.42/56.48	v 2370
56.42/56.48	v 2371
56.42/56.48	v 2372
56.42/56.48	v -2373
56.42/56.48	v -2374
56.42/56.48	v 2375
56.42/56.48	v -2376
56.42/56.48	v 2377
56.42/56.48	v -2378
56.42/56.48	v 2379
56.42/56.48	v 2380
56.42/56.48	v -2381
56.42/56.48	v 2382
56.42/56.48	v -2383
56.42/56.48	v 2384
56.42/56.48	v 2385
56.42/56.48	v -2386
56.42/56.48	v 2387
56.42/56.48	v 2388
56.42/56.48	v -2389
56.42/56.48	v -2390
56.42/56.48	v 2391
56.42/56.48	v 2392
56.42/56.48	v -2393
56.42/56.48	v -2394
56.42/56.48	v -2395
56.42/56.48	v 2396
56.42/56.48	v -2397
56.42/56.48	v 2398
56.42/56.48	v 2399
56.42/56.48	v -2400
56.42/56.48	v -2401
56.42/56.48	v -2402
56.42/56.48	v -2403
56.42/56.48	v 2404
56.42/56.48	v -2405
56.42/56.48	v 2406
56.42/56.48	v 2407
56.42/56.48	v -2408
56.42/56.48	v 2409
56.42/56.48	v -2410
56.42/56.48	v 2411
56.42/56.48	v -2412
56.42/56.48	v -2413
56.42/56.48	v 2414
56.42/56.48	v 2415
56.42/56.48	v 2416
56.42/56.48	v 2417
56.42/56.48	v 2418
56.42/56.48	v -2419
56.42/56.48	v -2420
56.42/56.48	v 2421
56.42/56.48	v -2422
56.42/56.48	v -2423
56.42/56.48	v -2424
56.42/56.48	v 2425
56.42/56.48	v 2426
56.42/56.48	v 2427
56.42/56.48	v -2428
56.42/56.48	v -2429
56.42/56.48	v -2430
56.42/56.48	v -2431
56.42/56.48	v -2432
56.42/56.48	v -2433
56.42/56.48	v -2434
56.42/56.48	v -2435
56.42/56.48	v 2436
56.42/56.48	v 2437
56.42/56.48	v 2438
56.42/56.48	v -2439
56.42/56.48	v -2440
56.42/56.48	v 2441
56.42/56.48	v -2442
56.42/56.48	v -2443
56.42/56.48	v 2444
56.42/56.48	v -2445
56.42/56.48	v 2446
56.42/56.48	v -2447
56.42/56.48	v 2448
56.42/56.48	v -2449
56.42/56.48	v -2450
56.42/56.48	v 2451
56.42/56.48	v -2452
56.42/56.48	v -2453
56.42/56.48	v -2454
56.42/56.48	v -2455
56.42/56.48	v 2456
56.42/56.48	v -2457
56.42/56.48	v 2458
56.42/56.48	v -2459
56.42/56.48	v -2460
56.42/56.48	v 2461
56.42/56.48	v 2462
56.42/56.48	v -2463
56.42/56.48	v -2464
56.42/56.48	v -2465
56.42/56.48	v 2466
56.42/56.48	v -2467
56.42/56.48	v -2468
56.42/56.48	v 2469
56.42/56.48	v 2470
56.42/56.48	v 2471
56.42/56.48	v 2472
56.42/56.48	v -2473
56.42/56.48	v 2474
56.42/56.48	v -2475
56.42/56.48	v -2476
56.42/56.48	v 2477
56.42/56.48	v 2478
56.42/56.48	v 2479
56.42/56.48	v -2480
56.42/56.48	v 2481
56.42/56.48	v -2482
56.42/56.48	v -2483
56.42/56.48	v -2484
56.42/56.48	v -2485
56.42/56.48	v -2486
56.42/56.48	v 2487
56.42/56.48	v 2488
56.42/56.48	v 2489
56.42/56.48	v 2490
56.42/56.48	v 2491
56.42/56.48	v -2492
56.42/56.48	v -2493
56.42/56.48	v 2494
56.42/56.48	v -2495
56.42/56.48	v 2496
56.42/56.48	v -2497
56.42/56.48	v 2498
56.42/56.48	v -2499
56.42/56.48	v -2500
56.42/56.48	v 2501
56.42/56.48	v 2502
56.42/56.48	v 2503
56.42/56.48	v -2504
56.42/56.48	v 2505
56.42/56.48	v -2506
56.42/56.48	v 2507
56.42/56.48	v 2508
56.42/56.48	v -2509
56.42/56.48	v -2510
56.42/56.48	v -2511
56.42/56.48	v 2512
56.42/56.48	v -2513
56.42/56.48	v -2514
56.42/56.48	v -2515
56.42/56.48	v -2516
56.42/56.48	v 2517
56.42/56.48	v -2518
56.42/56.48	v -2519
56.42/56.48	v -2520
56.42/56.48	v -2521
56.42/56.48	v 2522
56.42/56.48	v -2523
56.42/56.48	v -2524
56.42/56.48	v 2525
56.42/56.48	v -2526
56.42/56.48	v -2527
56.42/56.48	v 2528
56.42/56.48	v 2529
56.42/56.48	v 2530
56.42/56.48	v 2531
56.42/56.48	v 2532
56.42/56.48	v 2533
56.42/56.48	v -2534
56.42/56.48	v -2535
56.42/56.48	v 2536
56.42/56.48	v 2537
56.42/56.48	v 2538
56.42/56.48	v 2539
56.42/56.48	v 2540
56.42/56.48	v 2541
56.42/56.48	v 2542
56.42/56.48	v -2543
56.42/56.48	v -2544
56.42/56.48	v 2545
56.42/56.48	v 2546
56.42/56.48	v 2547
56.42/56.48	v -2548
56.42/56.48	v 2549
56.42/56.48	v 2550
56.42/56.48	v -2551
56.42/56.48	v 2552
56.42/56.48	v -2553
56.42/56.48	v 2554
56.42/56.48	v 2555
56.42/56.48	v -2556
56.42/56.48	v -2557
56.42/56.48	v -2558
56.42/56.48	v -2559
56.42/56.48	v 2560
56.42/56.48	v 2561
56.42/56.48	v -2562
56.42/56.48	v 2563
56.42/56.48	v -2564
56.42/56.48	v -2565
56.42/56.48	v 2566
56.42/56.48	v 2567
56.42/56.48	v -2568
56.42/56.48	v -2569
56.42/56.48	v -2570
56.42/56.48	v 2571
56.42/56.48	v 2572
56.42/56.48	v 2573
56.42/56.48	v 2574
56.42/56.48	v 2575
56.42/56.48	v -2576
56.42/56.48	v 2577
56.42/56.48	v 2578
56.42/56.48	v 2579
56.42/56.48	v -2580
56.42/56.48	v -2581
56.42/56.48	v -2582
56.42/56.48	v -2583
56.42/56.48	v -2584
56.42/56.48	v -2585
56.42/56.48	v 2586
56.42/56.48	v -2587
56.42/56.48	v -2588
56.42/56.48	v 2589
56.42/56.48	v -2590
56.42/56.48	v 2591
56.42/56.48	v 2592
56.42/56.48	v 2593
56.42/56.48	v 2594
56.42/56.48	v 2595
56.42/56.48	v -2596
56.42/56.48	v 2597
56.42/56.48	v 2598
56.42/56.48	v -2599
56.42/56.48	v -2600
56.42/56.48	v -2601
56.42/56.48	v 2602
56.42/56.48	v 2603
56.42/56.48	v 2604
56.42/56.48	v -2605
56.42/56.48	v -2606
56.42/56.48	v 2607
56.42/56.48	v 2608
56.42/56.48	v 2609
56.42/56.48	v 2610
56.42/56.48	v 2611
56.42/56.48	v -2612
56.42/56.48	v 2613
56.42/56.48	v 2614
56.42/56.48	v 2615
56.42/56.48	v 2616
56.42/56.48	v 2617
56.42/56.48	v -2618
56.42/56.48	v -2619
56.42/56.48	v 2620
56.42/56.48	v 2621
56.42/56.48	v -2622
56.42/56.48	v -2623
56.42/56.48	v 2624
56.42/56.48	v -2625
56.42/56.48	v 2626
56.42/56.48	v 2627
56.42/56.48	v 2628
56.42/56.48	v -2629
56.42/56.48	v 2630
56.42/56.48	v -2631
56.42/56.48	v -2632
56.42/56.48	v -2633
56.42/56.48	v -2634
56.42/56.48	v -2635
56.42/56.48	v -2636
56.42/56.48	v -2637
56.42/56.48	v -2638
56.42/56.48	v 2639
56.42/56.48	v 2640
56.42/56.48	v -2641
56.42/56.48	v -2642
56.42/56.48	v 2643
56.42/56.48	v 2644
56.42/56.48	v 2645
56.42/56.48	v -2646
56.42/56.48	v 2647
56.42/56.48	v 2648
56.42/56.48	v 2649
56.42/56.48	v -2650
56.42/56.48	v -2651
56.42/56.48	v 2652
56.42/56.48	v -2653
56.42/56.48	v 2654
56.42/56.48	v -2655
56.42/56.48	v -2656
56.42/56.48	v -2657
56.42/56.48	v -2658
56.42/56.48	v -2659
56.42/56.48	v 2660
56.42/56.48	v 2661
56.42/56.48	v -2662
56.42/56.48	v -2663
56.42/56.48	v 2664
56.42/56.48	v 2665
56.42/56.48	v 2666
56.42/56.48	v 2667
56.42/56.48	v 2668
56.42/56.48	v 2669
56.42/56.48	v 2670
56.42/56.48	v -2671
56.42/56.48	v -2672
56.42/56.48	v 2673
56.42/56.48	v -2674
56.42/56.48	v -2675
56.42/56.48	v -2676
56.42/56.48	v 2677
56.42/56.48	v -2678
56.42/56.48	v 2679
56.42/56.48	v -2680
56.42/56.48	v 2681
56.42/56.48	v -2682
56.42/56.48	v -2683
56.42/56.48	v 2684
56.42/56.48	v 2685
56.42/56.48	v -2686
56.42/56.48	v 2687
56.42/56.48	v 2688
56.42/56.48	v 2689
56.42/56.48	v -2690
56.42/56.48	v 2691
56.42/56.48	v -2692
56.42/56.48	v -2693
56.42/56.48	v 2694
56.42/56.48	v 2695
56.42/56.48	v 2696
56.42/56.48	v 2697
56.42/56.48	v -2698
56.42/56.48	v 2699
56.42/56.48	v 2700
56.42/56.48	v -2701
56.42/56.48	v 2702
56.42/56.48	v 2703
56.42/56.48	v 2704
56.42/56.48	v -2705
56.42/56.48	v -2706
56.42/56.48	v 2707
56.42/56.48	v 2708
56.42/56.48	v 2709
56.42/56.48	v -2710
56.42/56.48	v 2711
56.42/56.48	v -2712
56.42/56.48	v 2713
56.42/56.48	v -2714
56.42/56.48	v -2715
56.42/56.48	v 2716
56.42/56.48	v 2717
56.42/56.48	v -2718
56.42/56.48	v -2719
56.42/56.48	v 2720
56.42/56.48	v 2721
56.42/56.48	v -2722
56.42/56.48	v 2723
56.42/56.48	v 2724
56.42/56.48	v 2725
56.42/56.48	v 2726
56.42/56.48	v 2727
56.42/56.48	v 2728
56.42/56.48	v 2729
56.42/56.48	v -2730
56.42/56.48	v 2731
56.42/56.48	v -2732
56.42/56.48	v 2733
56.42/56.48	v -2734
56.42/56.48	v 2735
56.42/56.48	v -2736
56.42/56.48	v -2737
56.42/56.48	v -2738
56.42/56.48	v 2739
56.42/56.48	v 2740
56.42/56.48	v -2741
56.42/56.48	v 2742
56.42/56.48	v 2743
56.42/56.48	v 2744
56.42/56.48	v -2745
56.42/56.48	v -2746
56.42/56.48	v -2747
56.42/56.48	v -2748
56.42/56.48	v -2749
56.42/56.48	v -2750
56.42/56.48	v 2751
56.42/56.48	v 2752
56.42/56.48	v 2753
56.42/56.48	v -2754
56.42/56.48	v 2755
56.42/56.48	v -2756
56.42/56.48	v 2757
56.42/56.48	v 2758
56.42/56.48	v -2759
56.42/56.48	v -2760
56.42/56.48	v -2761
56.42/56.48	v 2762
56.42/56.48	v -2763
56.42/56.48	v 2764
56.42/56.48	v 2765
56.42/56.48	v -2766
56.42/56.48	v -2767
56.42/56.48	v -2768
56.42/56.48	v -2769
56.42/56.48	v 2770
56.42/56.48	v 2771
56.42/56.48	v 2772
56.42/56.48	v 2773
56.42/56.48	v 2774
56.42/56.48	v 2775
56.42/56.48	v 2776
56.42/56.48	v 2777
56.42/56.48	v 2778
56.42/56.48	v 2779
56.42/56.48	v 2780
56.42/56.48	v -2781
56.42/56.48	v -2782
56.42/56.48	v -2783
56.42/56.48	v 2784
56.42/56.48	v 2785
56.42/56.48	v -2786
56.42/56.48	v 2787
56.42/56.48	v 2788
56.42/56.48	v 2789
56.42/56.48	v -2790
56.42/56.48	v -2791
56.42/56.48	v 2792
56.42/56.48	v -2793
56.42/56.48	v 2794
56.42/56.48	v -2795
56.42/56.48	v -2796
56.42/56.48	v 2797
56.42/56.48	v 2798
56.42/56.48	v 2799
56.42/56.48	v 2800
56.42/56.48	v -2801
56.42/56.48	v -2802
56.42/56.48	v -2803
56.42/56.48	v -2804
56.42/56.48	v 2805
56.42/56.48	v 2806
56.42/56.48	v 2807
56.42/56.48	v -2808
56.42/56.48	v -2809
56.42/56.48	v 2810
56.42/56.48	v -2811
56.42/56.48	v 2812
56.42/56.48	v 2813
56.42/56.48	v -2814
56.42/56.48	v 2815
56.42/56.48	v 2816
56.42/56.48	v -2817
56.42/56.48	v -2818
56.42/56.48	v 2819
56.42/56.48	v 2820
56.42/56.48	v 2821
56.42/56.48	v 2822
56.42/56.48	v -2823
56.42/56.48	v 2824
56.42/56.48	v 2825
56.42/56.48	v -2826
56.42/56.48	v 2827
56.42/56.48	v -2828
56.42/56.48	v 2829
56.42/56.48	v -2830
56.42/56.48	v 2831
56.42/56.48	v 2832
56.42/56.48	v -2833
56.42/56.48	v -2834
56.42/56.48	v -2835
56.42/56.48	v 2836
56.42/56.48	v -2837
56.42/56.48	v 2838
56.42/56.48	v -2839
56.42/56.48	v 2840
56.42/56.48	v 2841
56.42/56.48	v 2842
56.42/56.48	v -2843
56.42/56.48	v 2844
56.42/56.48	v 2845
56.42/56.48	v -2846
56.42/56.48	v -2847
56.42/56.48	v -2848
56.42/56.48	v 2849
56.42/56.48	v 2850
56.42/56.48	v 2851
56.42/56.48	v 2852
56.42/56.48	v 2853
56.42/56.48	v -2854
56.42/56.48	v 2855
56.42/56.48	v 2856
56.42/56.48	v -2857
56.42/56.48	v -2858
56.42/56.48	v 2859
56.42/56.48	v 2860
56.42/56.48	v -2861
56.42/56.48	v 2862
56.42/56.48	v -2863
56.42/56.48	v 2864
56.42/56.48	v 2865
56.42/56.48	v 2866
56.42/56.48	v 2867
56.42/56.48	v -2868
56.42/56.48	v 2869
56.42/56.48	v -2870
56.42/56.48	v 2871
56.42/56.48	v -2872
56.42/56.48	v 2873
56.42/56.48	v -2874
56.42/56.48	v -2875
56.42/56.48	v 2876
56.42/56.48	v 2877
56.42/56.48	v -2878
56.42/56.48	v 2879
56.42/56.48	v 2880
56.42/56.48	v -2881
56.42/56.48	v 2882
56.42/56.49	v 2883
56.42/56.49	v -2884
56.42/56.49	v -2885
56.42/56.49	v -2886
56.42/56.49	v -2887
56.42/56.49	v 2888
56.42/56.49	v -2889
56.42/56.49	v 2890
56.42/56.49	v 2891
56.42/56.49	v 2892
56.42/56.49	v 2893
56.42/56.49	v 2894
56.42/56.49	v 2895
56.42/56.49	v 2896
56.42/56.49	v -2897
56.42/56.49	v -2898
56.42/56.49	v -2899
56.42/56.49	v -2900
56.42/56.49	v -2901
56.42/56.49	v -2902
56.42/56.49	v -2903
56.42/56.49	v -2904
56.42/56.49	v -2905
56.42/56.49	v -2906
56.42/56.49	v 2907
56.42/56.49	v -2908
56.42/56.49	v -2909
56.42/56.49	v 2910
56.42/56.49	v -2911
56.42/56.49	v -2912
56.42/56.49	v -2913
56.42/56.49	v 2914
56.42/56.49	v -2915
56.42/56.49	v -2916
56.42/56.49	v -2917
56.42/56.49	v 2918
56.42/56.49	v 2919
56.42/56.49	v -2920
56.42/56.49	v 2921
56.42/56.49	v -2922
56.42/56.49	v 2923
56.42/56.49	v -2924
56.42/56.49	v -2925
56.42/56.49	v -2926
56.42/56.49	v 2927
56.42/56.49	v 2928
56.42/56.49	v 2929
56.42/56.49	v 2930
56.42/56.49	v -2931
56.42/56.49	v -2932
56.42/56.49	v -2933
56.42/56.49	v -2934
56.42/56.49	v -2935
56.42/56.49	v 2936
56.42/56.49	v -2937
56.42/56.49	v 2938
56.42/56.49	v 2939
56.42/56.49	v 2940
56.42/56.49	v 2941
56.42/56.49	v -2942
56.42/56.49	v -2943
56.42/56.49	v -2944
56.42/56.49	v 2945
56.42/56.49	v -2946
56.42/56.49	v 2947
56.42/56.49	v -2948
56.42/56.49	v 2949
56.42/56.49	v 2950
56.42/56.49	v 2951
56.42/56.49	v 2952
56.42/56.49	v 2953
56.42/56.49	v 2954
56.42/56.49	v -2955
56.42/56.49	v -2956
56.42/56.49	v 2957
56.42/56.49	v 2958
56.42/56.49	v 2959
56.42/56.49	v -2960
56.42/56.49	v 2961
56.42/56.49	v -2962
56.42/56.49	v -2963
56.42/56.49	v 2964
56.42/56.49	v -2965
56.42/56.49	v -2966
56.42/56.49	v -2967
56.42/56.49	v 2968
56.42/56.49	v -2969
56.42/56.49	v -2970
56.42/56.49	v 2971
56.42/56.49	v -2972
56.42/56.49	v -2973
56.42/56.49	v -2974
56.42/56.49	v -2975
56.42/56.49	v 2976
56.42/56.49	v 2977
56.42/56.49	v -2978
56.42/56.49	v -2979
56.42/56.49	v -2980
56.42/56.49	v 2981
56.42/56.49	v 2982
56.42/56.49	v 2983
56.42/56.49	v 2984
56.42/56.49	v -2985
56.42/56.49	v 2986
56.42/56.49	v 2987
56.42/56.49	v -2988
56.42/56.49	v 2989
56.42/56.49	v -2990
56.42/56.49	v 2991
56.42/56.49	v 2992
56.42/56.49	v -2993
56.42/56.49	v 2994
56.42/56.49	v -2995
56.42/56.49	v 2996
56.42/56.49	v -2997
56.42/56.49	v 2998
56.42/56.49	v -2999
56.42/56.49	v -3000
56.42/56.49	v -3001
56.42/56.49	v 3002
56.42/56.49	v -3003
56.42/56.49	v 3004
56.42/56.49	v 3005
56.42/56.49	v -3006
56.42/56.49	v 3007
56.42/56.49	v 3008
56.42/56.49	v 3009
56.42/56.49	v -3010
56.42/56.49	v 3011
56.42/56.49	v 3012
56.42/56.49	v -3013
56.42/56.49	v -3014
56.42/56.49	v 3015
56.42/56.49	v 3016
56.42/56.49	v -3017
56.42/56.49	v 3018
56.42/56.49	v -3019
56.42/56.49	v -3020
56.42/56.49	v -3021
56.42/56.49	v -3022
56.42/56.49	v 3023
56.42/56.49	v -3024
56.42/56.49	v 3025
56.42/56.49	v 3026
56.42/56.49	v -3027
56.42/56.49	v 3028
56.42/56.49	v -3029
56.42/56.49	v 3030
56.42/56.49	v -3031
56.42/56.49	v -3032
56.42/56.49	v 3033
56.42/56.49	v 3034
56.42/56.49	v -3035
56.42/56.49	v 3036
56.42/56.49	v -3037
56.42/56.49	v 3038
56.42/56.49	v 3039
56.42/56.49	v -3040
56.42/56.49	v -3041
56.42/56.49	v 3042
56.42/56.49	v -3043
56.42/56.49	v -3044
56.42/56.49	v 3045
56.42/56.49	v 3046
56.42/56.49	v 3047
56.42/56.49	v -3048
56.42/56.49	v 3049
56.42/56.49	v 3050
56.42/56.49	v -3051
56.42/56.49	v 3052
56.42/56.49	v 3053
56.42/56.49	v 3054
56.42/56.49	v 3055
56.42/56.49	v 3056
56.42/56.49	v 3057
56.42/56.49	v -3058
56.42/56.49	v 3059
56.42/56.49	v 3060
56.42/56.49	v -3061
56.42/56.49	v 3062
56.42/56.49	v 3063
56.42/56.49	v -3064
56.42/56.49	v 3065
56.42/56.49	v 3066
56.42/56.49	v -3067
56.42/56.49	v 3068
56.42/56.49	v -3069
56.42/56.49	v -3070
56.42/56.49	v 3071
56.42/56.49	v 3072
56.42/56.49	v 3073
56.42/56.49	v 3074
56.42/56.49	v 3075
56.42/56.49	v 3076
56.42/56.49	v 3077
56.42/56.49	v -3078
56.42/56.49	v -3079
56.42/56.49	v -3080
56.42/56.49	v -3081
56.42/56.49	v -3082
56.42/56.49	v 3083
56.42/56.49	v -3084
56.42/56.49	v 3085
56.42/56.49	v -3086
56.42/56.49	v -3087
56.42/56.49	v -3088
56.42/56.49	v 3089
56.42/56.49	v 3090
56.42/56.49	v -3091
56.42/56.49	v 3092
56.42/56.49	v 3093
56.42/56.49	v 3094
56.42/56.49	v -3095
56.42/56.49	v 3096
56.42/56.49	v 3097
56.42/56.49	v -3098
56.42/56.49	v -3099
56.42/56.49	v 3100
56.42/56.49	v 3101
56.42/56.49	v 3102
56.42/56.49	v 3103
56.42/56.49	v 3104
56.42/56.49	v 3105
56.42/56.49	v 3106
56.42/56.49	v 3107
56.42/56.49	v -3108
56.42/56.49	v -3109
56.42/56.49	v -3110
56.42/56.49	v -3111
56.42/56.49	v 3112
56.42/56.49	v 3113
56.42/56.49	v 3114
56.42/56.49	v 3115
56.42/56.49	v -3116
56.42/56.49	v -3117
56.42/56.49	v -3118
56.42/56.49	v 3119
56.42/56.49	v 3120
56.42/56.49	v 3121
56.42/56.49	v 3122
56.42/56.49	v -3123
56.42/56.49	v 3124
56.42/56.49	v 3125
56.42/56.49	v 3126
56.42/56.49	v 3127
56.42/56.49	v -3128
56.42/56.49	v -3129
56.42/56.49	v 3130
56.42/56.49	v 3131
56.42/56.49	v -3132
56.42/56.49	v -3133
56.42/56.49	v 3134
56.42/56.49	v 3135
56.42/56.49	v 3136
56.42/56.49	v 3137
56.42/56.49	v 3138
56.42/56.49	v 3139
56.42/56.49	v 3140
56.42/56.49	v -3141
56.42/56.49	v 3142
56.42/56.49	v -3143
56.42/56.49	v 3144
56.42/56.49	v -3145
56.42/56.49	v 3146
56.42/56.49	v -3147
56.42/56.49	v -3148
56.42/56.49	v -3149
56.42/56.49	v -3150
56.42/56.49	v 3151
56.42/56.49	v 3152
56.42/56.49	v 3153
56.42/56.49	v 3154
56.42/56.49	v 3155
56.42/56.49	v -3156
56.42/56.49	v 3157
56.42/56.49	v -3158
56.42/56.49	v 3159
56.42/56.49	v -3160
56.42/56.49	v -3161
56.42/56.49	v -3162
56.42/56.49	v -3163
56.42/56.49	v -3164
56.42/56.49	v 3165
56.42/56.49	v 3166
56.42/56.49	v 3167
56.42/56.49	v -3168
56.42/56.49	v -3169
56.42/56.49	v -3170
56.42/56.49	v -3171
56.42/56.49	v 3172
56.42/56.49	v -3173
56.42/56.49	v 3174
56.42/56.49	v -3175
56.42/56.49	v 3176
56.42/56.49	v 3177
56.42/56.49	v -3178
56.42/56.49	v 3179
56.42/56.49	v -3180
56.42/56.49	v 3181
56.42/56.49	v 3182
56.42/56.49	v -3183
56.42/56.49	v -3184
56.42/56.49	v 3185
56.42/56.49	v -3186
56.42/56.49	v -3187
56.42/56.49	v -3188
56.42/56.49	v -3189
56.42/56.49	v 3190
56.42/56.49	v -3191
56.42/56.49	v 3192
56.42/56.49	v -3193
56.42/56.49	v 3194
56.42/56.49	v -3195
56.42/56.49	v 3196
56.42/56.49	v -3197
56.42/56.49	v 3198
56.42/56.49	v 3199
56.42/56.49	v -3200
56.42/56.49	v 3201
56.42/56.49	v -3202
56.42/56.49	v 3203
56.42/56.49	v -3204
56.42/56.49	v 3205
56.42/56.49	v -3206
56.42/56.49	v -3207
56.42/56.49	v -3208
56.42/56.49	v -3209
56.42/56.49	v -3210
56.42/56.49	v -3211
56.42/56.49	v 3212
56.42/56.49	v -3213
56.42/56.49	v -3214
56.42/56.49	v 3215
56.42/56.49	v -3216
56.42/56.49	v 3217
56.42/56.49	v 3218
56.42/56.49	v 3219
56.42/56.49	v 3220
56.42/56.49	v 3221
56.42/56.49	v 3222
56.42/56.49	v 3223
56.42/56.49	v -3224
56.42/56.49	v -3225
56.42/56.49	v 3226
56.42/56.49	v 3227
56.42/56.49	v 3228
56.42/56.49	v 3229
56.42/56.49	v -3230
56.42/56.49	v -3231
56.42/56.49	v 3232
56.42/56.49	v -3233
56.42/56.49	v 3234
56.42/56.49	v -3235
56.42/56.49	v -3236
56.42/56.49	v 3237
56.42/56.49	v -3238
56.42/56.49	v -3239
56.42/56.49	v 3240
56.42/56.49	v 3241
56.42/56.49	v -3242
56.42/56.49	v -3243
56.42/56.49	v -3244
56.42/56.49	v -3245
56.42/56.49	v -3246
56.42/56.49	v -3247
56.42/56.49	v -3248
56.42/56.49	v -3249
56.42/56.49	v 3250
56.42/56.49	v -3251
56.42/56.49	v -3252
56.42/56.49	v -3253
56.42/56.49	v 3254
56.42/56.49	v 3255
56.42/56.49	v -3256
56.42/56.49	v 3257
56.42/56.49	v 3258
56.42/56.49	v -3259
56.42/56.49	v -3260
56.42/56.49	v -3261
56.42/56.49	v 3262
56.42/56.49	v -3263
56.42/56.49	v -3264
56.42/56.49	v -3265
56.42/56.49	v -3266
56.42/56.49	v -3267
56.42/56.49	v 3268
56.42/56.49	v 3269
56.42/56.49	v -3270
56.42/56.49	v -3271
56.42/56.49	v 3272
56.42/56.49	v 3273
56.42/56.49	v -3274
56.42/56.49	v 3275
56.42/56.49	v -3276
56.42/56.49	v 3277
56.42/56.49	v -3278
56.42/56.49	v -3279
56.42/56.49	v 3280
56.42/56.49	v -3281
56.42/56.49	v -3282
56.42/56.49	v 3283
56.42/56.49	v 3284
56.42/56.49	v -3285
56.42/56.49	v -3286
56.42/56.49	v -3287
56.42/56.49	v 3288
56.42/56.49	v -3289
56.42/56.49	v -3290
56.42/56.49	v -3291
56.42/56.49	v 3292
56.42/56.49	v 3293
56.42/56.49	v 3294
56.42/56.49	v 3295
56.42/56.49	v 3296
56.42/56.49	v -3297
56.42/56.49	v -3298
56.42/56.49	v -3299
56.42/56.49	v 3300
56.42/56.49	v -3301
56.42/56.49	v 3302
56.42/56.49	v -3303
56.42/56.49	v -3304
56.42/56.49	v -3305
56.42/56.49	v -3306
56.42/56.49	v 3307
56.42/56.49	v -3308
56.42/56.49	v 3309
56.42/56.49	v -3310
56.42/56.49	v -3311
56.42/56.49	v 3312
56.42/56.49	v 3313
56.42/56.49	v -3314
56.42/56.49	v 3315
56.42/56.49	v 3316
56.42/56.49	v 3317
56.42/56.49	v -3318
56.42/56.49	v 3319
56.42/56.49	v -3320
56.42/56.49	v -3321
56.42/56.49	v -3322
56.42/56.49	v -3323
56.42/56.49	v 3324
56.42/56.49	v 3325
56.42/56.49	v -3326
56.42/56.49	v 3327
56.42/56.49	v -3328
56.42/56.49	v 3329
56.42/56.49	v -3330
56.42/56.49	v -3331
56.42/56.49	v -3332
56.42/56.49	v -3333
56.42/56.49	v -3334
56.42/56.49	v -3335
56.42/56.49	v -3336
56.42/56.49	v 3337
56.42/56.49	v 3338
56.42/56.49	v 3339
56.42/56.49	v 3340
56.42/56.49	v -3341
56.42/56.49	v -3342
56.42/56.49	v -3343
56.42/56.49	v 3344
56.42/56.49	v -3345
56.42/56.49	v 3346
56.42/56.49	v -3347
56.42/56.49	v 3348
56.42/56.49	v 3349
56.42/56.49	v -3350
56.42/56.49	v -3351
56.42/56.49	v 3352
56.42/56.49	v 3353
56.42/56.49	v 3354
56.42/56.49	v 3355
56.42/56.49	v 3356
56.42/56.49	v -3357
56.42/56.49	v 3358
56.42/56.49	v 3359
56.42/56.49	v 3360
56.42/56.49	v 3361
56.42/56.49	v -3362
56.42/56.49	v -3363
56.42/56.49	v 3364
56.42/56.49	v -3365
56.42/56.49	v -3366
56.42/56.49	v -3367
56.42/56.49	v 3368
56.42/56.49	v 3369
56.42/56.49	v -3370
56.42/56.49	v 3371
56.42/56.49	v -3372
56.42/56.49	v -3373
56.42/56.49	v 3374
56.42/56.49	v 3375
56.42/56.49	v 3376
56.42/56.49	v -3377
56.42/56.49	v -3378
56.42/56.49	v 3379
56.42/56.49	v -3380
56.42/56.49	v -3381
56.42/56.49	v -3382
56.42/56.49	v -3383
56.42/56.49	v -3384
56.42/56.49	v -3385
56.42/56.49	v -3386
56.42/56.49	v 3387
56.42/56.49	v -3388
56.42/56.49	v 3389
56.42/56.49	v -3390
56.42/56.49	v -3391
56.42/56.49	v -3392
56.42/56.49	v -3393
56.42/56.49	v 3394
56.42/56.49	v -3395
56.42/56.49	v -3396
56.42/56.49	v 3397
56.42/56.49	v -3398
56.42/56.49	v 3399
56.42/56.49	v 3400
56.42/56.49	v -3401
56.42/56.49	v -3402
56.42/56.49	v -3403
56.42/56.49	v -3404
56.42/56.49	v 3405
56.42/56.49	v 3406
56.42/56.49	v -3407
56.42/56.49	v 3408
56.42/56.49	v -3409
56.42/56.49	v -3410
56.42/56.49	v -3411
56.42/56.49	v 3412
56.42/56.49	v -3413
56.42/56.49	v -3414
56.42/56.49	v 3415
56.42/56.49	v -3416
56.42/56.49	v 3417
56.42/56.49	v -3418
56.42/56.49	v 3419
56.42/56.49	v 3420
56.42/56.49	v -3421
56.42/56.49	v -3422
56.42/56.49	v 3423
56.42/56.49	v -3424
56.42/56.49	v 3425
56.42/56.49	v -3426
56.42/56.49	v -3427
56.42/56.49	v -3428
56.42/56.49	v 3429
56.42/56.49	v -3430
56.42/56.49	v 3431
56.42/56.49	v 3432
56.42/56.49	v 3433
56.42/56.49	v -3434
56.42/56.49	v 3435
56.42/56.49	v 3436
56.42/56.49	v -3437
56.42/56.49	v -3438
56.42/56.49	v -3439
56.42/56.49	v 3440
56.42/56.49	v 3441
56.42/56.49	v 3442
56.42/56.49	v 3443
56.42/56.49	v -3444
56.42/56.49	v -3445
56.42/56.49	v 3446
56.42/56.49	v 3447
56.42/56.49	v -3448
56.42/56.49	v -3449
56.42/56.49	v 3450
56.42/56.49	v 3451
56.42/56.49	v -3452
56.42/56.49	v 3453
56.42/56.49	v -3454
56.42/56.49	v -3455
56.42/56.49	v 3456
56.42/56.49	v 3457
56.42/56.49	v 3458
56.42/56.49	v -3459
56.42/56.49	v 3460
56.42/56.49	v 3461
56.42/56.49	v -3462
56.42/56.49	v -3463
56.42/56.49	v -3464
56.42/56.49	v 3465
56.42/56.49	v -3466
56.42/56.49	v -3467
56.42/56.49	v -3468
56.42/56.49	v 3469
56.42/56.49	v -3470
56.42/56.49	v 3471
56.42/56.49	v -3472
56.42/56.49	v 3473
56.42/56.49	v 3474
56.42/56.49	v 3475
56.42/56.49	v -3476
56.42/56.49	v -3477
56.42/56.49	v 3478
56.42/56.49	v -3479
56.42/56.49	v 3480
56.42/56.49	v -3481
56.42/56.49	v 3482
56.42/56.49	v -3483
56.42/56.49	v -3484
56.42/56.49	v -3485
56.42/56.49	v -3486
56.42/56.49	v -3487
56.42/56.49	v 3488
56.42/56.49	v -3489
56.42/56.49	v 3490
56.42/56.49	v -3491
56.42/56.49	v -3492
56.42/56.49	v 3493
56.42/56.49	v -3494
56.42/56.49	v 3495
56.42/56.49	v -3496
56.42/56.49	v -3497
56.42/56.49	v 3498
56.42/56.49	v -3499
56.42/56.49	v 3500
56.42/56.49	v 0
56.42/56.49	c Done in 56.360000 seconds

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node17/watcher-308197-1172517391 -o ROOT/results/node17/solver-308197-1172517391 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/308197-1172517391/ranov /tmp/evaluation/308197-1172517391/instance-308197-1172517391.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14268
/proc/meminfo: memFree=1477624/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=319884 CPUtime=0
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 881 0 0 0 0 0 0 0 18 0 1 0 271693369 327561216 866 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 79971 874 31 98 0 79870 0

[startup+0.107329 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14268
/proc/meminfo: memFree=1477624/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=0.1
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 6 4 0 0 18 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513488 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 328408

[startup+0.515372 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14268
/proc/meminfo: memFree=1477624/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=0.51
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 47 4 0 0 21 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513324 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 328408

[startup+1.33546 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 14269
/proc/meminfo: memFree=1428912/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=1.33
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 129 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513801 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 328408

[startup+2.97163 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 14269
/proc/meminfo: memFree=1428784/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=2.96
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 292 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 328408

[startup+6.25497 s]
/proc/loadavg: 0.93 0.98 0.99 3/78 14269
/proc/meminfo: memFree=1428720/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=6.24
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 620 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513740 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 328408

[startup+12.7096 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 14269
/proc/meminfo: memFree=1428656/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=12.7
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 1266 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 328408

[startup+25.511 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 14269
/proc/meminfo: memFree=1428656/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=25.49
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 2545 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513743 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 328408

[startup+51.1227 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 14269
/proc/meminfo: memFree=1428656/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=51.1
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 5106 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 328408

Solver just ended. Dumping a history of the last processes samples

[startup+52.4528 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 14269
/proc/meminfo: memFree=1428656/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=52.43
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 5239 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 52.43
Current children cumulated vsize (KiB) 328408

[startup+54.089 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 14269
/proc/meminfo: memFree=1428656/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=54.07
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 5403 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513843 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 54.07
Current children cumulated vsize (KiB) 328408

[startup+55.7341 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 14269
/proc/meminfo: memFree=1428656/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=55.71
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 5567 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514908 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 55.71
Current children cumulated vsize (KiB) 328408

[startup+56.1422 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 14269
/proc/meminfo: memFree=1428656/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=56.11
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 5607 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513379 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 56.11
Current children cumulated vsize (KiB) 328408

[startup+56.3462 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 14269
/proc/meminfo: memFree=1428656/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=56.32
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 5628 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134519985 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 56.32
Current children cumulated vsize (KiB) 328408

[startup+56.4522 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 14269
/proc/meminfo: memFree=1428656/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=328408 CPUtime=56.42
/proc/14268/stat : 14268 (ranov) R 14266 14268 13783 0 -1 4194304 12161 0 0 0 5638 4 0 0 25 0 1 0 271693369 336289792 12145 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513704 0 0 4096 0 0 0 0 17 1 0 0
/proc/14268/statm: 82102 12145 42 98 0 82001 0
Current children cumulated CPU time (s) 56.42
Current children cumulated vsize (KiB) 328408

Child status: 10
Real time (s): 56.5008
CPU time (s): 56.4704
CPU user time (s): 56.4164
CPU system time (s): 0.053991
CPU usage (%): 99.9463
Max. virtual memory (cumulated for all children) (KiB): 328408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.4164
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12175
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= 30
involuntary context switches= 76

runsolver used 0.079987 second user time and 0.136979 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Mon Feb 26 19:16:31 UTC 2007

IDJOB= 308197
IDBENCH= 20225
IDSOLVER= 105
FILE ID= node17/308197-1172517391

PBS_JOBID= 3971607

Free space on /tmp= 66558 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v3500/unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
COMMAND LINE= /tmp/evaluation/308197-1172517391/ranov /tmp/evaluation/308197-1172517391/instance-308197-1172517391.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-308197-1172517391 -o ROOT/results/node17/solver-308197-1172517391 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/308197-1172517391/ranov /tmp/evaluation/308197-1172517391/instance-308197-1172517391.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  e4e9587cc33e3fc7e177d5d00533cb0d

RANDOM SEED= 108924179

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
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.229
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:       1478032 kB
Buffers:         61492 kB
Cached:         396828 kB
SwapCached:          0 kB
Active:         301144 kB
Inactive:       201772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1478032 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1072 kB
Writeback:           0 kB
Mapped:          63500 kB
Slab:            60520 kB
Committed_AS:   875176 kB
PageTables:       1748 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node17 on Mon Feb 26 19:17:28 UTC 2007