Trace number 311969

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 46.4039 46.4346

General information on the benchmark

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22944
/proc/meminfo: memFree=1665208/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=319884 CPUtime=0
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 877 0 0 0 0 0 0 0 18 0 1 0 277935181 327561216 862 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 79971 869 30 98 0 79870 0

[startup+0.107091 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22944
/proc/meminfo: memFree=1665208/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=0.09
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 5 4 0 0 18 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 328280

[startup+0.515131 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22944
/proc/meminfo: memFree=1665208/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=0.5
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 46 4 0 0 21 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513486 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 328280

[startup+1.33521 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616816/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=1.32
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 128 4 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134534240 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 328280

[startup+2.97137 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616688/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=2.95
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 291 4 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513598 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 328280

[startup+6.25269 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616560/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=6.23
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 619 4 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513397 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 328280

[startup+12.7033 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616560/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=12.69
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 1264 5 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514886 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 328280

[startup+25.5105 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616560/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=25.5
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 2545 5 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 328280

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

[startup+26.2286 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616560/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=26.21
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 2616 5 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513465 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 26.21
Current children cumulated vsize (KiB) 328280

[startup+39.3399 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616560/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=39.32
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 3927 5 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 39.32
Current children cumulated vsize (KiB) 328280

[startup+42.6152 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616496/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=42.59
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 4254 5 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513285 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 42.59
Current children cumulated vsize (KiB) 328280

[startup+44.2554 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616496/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=44.23
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 4418 5 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513568 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 44.23
Current children cumulated vsize (KiB) 328280

[startup+45.0714 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616496/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=45.05
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 4500 5 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514905 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 45.05
Current children cumulated vsize (KiB) 328280

[startup+45.8915 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616496/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=45.87
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 4582 5 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 45.87
Current children cumulated vsize (KiB) 328280

[startup+46.3036 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616496/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=46.28
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 4623 5 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513517 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 46.28
Current children cumulated vsize (KiB) 328280

[startup+46.4056 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22945
/proc/meminfo: memFree=1616496/2055920 swapFree=4192812/4192956
[pid=22944] ppid=22942 vsize=328280 CPUtime=46.38
/proc/22944/stat : 22944 (ranov) R 22942 22944 21784 0 -1 4194304 12093 0 0 0 4633 5 0 0 25 0 1 0 277935181 336158720 12077 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513433 0 0 4096 0 0 0 0 17 1 0 0
/proc/22944/statm: 82070 12077 42 98 0 81969 0
Current children cumulated CPU time (s) 46.38
Current children cumulated vsize (KiB) 328280

Child status: 10
Real time (s): 46.4346
CPU time (s): 46.4039
CPU user time (s): 46.345
CPU system time (s): 0.058991
CPU usage (%): 99.9339
Max. virtual memory (cumulated for all children) (KiB): 328280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.345
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12106
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= 20
involuntary context switches= 71

runsolver used 0.052991 second user time and 0.12798 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Tue Feb 27 12:36:46 UTC 2007

IDJOB= 311969
IDBENCH= 20329
IDSOLVER= 105
FILE ID= node18/311969-1172579806

PBS_JOBID= 3971683

Free space on /tmp= 66556 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v2405/unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf
COMMAND LINE= /tmp/evaluation/311969-1172579806/ranov /tmp/evaluation/311969-1172579806/instance-311969-1172579806.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-311969-1172579806 -o ROOT/results/node18/solver-311969-1172579806 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/311969-1172579806/ranov /tmp/evaluation/311969-1172579806/instance-311969-1172579806.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  9b15d123fe04b0b8ae54fce3b90458d6

RANDOM SEED= 593756190

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.236
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.236
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:       1665616 kB
Buffers:         48456 kB
Cached:         213956 kB
SwapCached:          0 kB
Active:         242768 kB
Inactive:        79364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1665616 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1044 kB
Writeback:           0 kB
Mapped:          78668 kB
Slab:            53872 kB
Committed_AS:   964612 kB
PageTables:       1668 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= 66556 MiB

End job on node18 on Tue Feb 27 12:37:33 UTC 2007