Trace number 333023

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 415.828 415.958

General information on the benchmark

Namecrafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
MD5SUM51245c7b8edb32c4dbd94daf982c00d7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.92055
Satisfiable
(Un)Satisfiability was proved
Number of variables2435
Number of clauses16016
Sum of the clauses size112873
Maximum clause length13
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 2385
Number of clauses of size 32207
Number of clauses of size 4298
Number of clauses of size 5447
Number of clauses of size over 512644

Solver Data (download as text)

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node10/watcher-333023-1173500063 -o ROOT/results/node10/solver-333023-1173500063 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/333023-1173500063/ranov /tmp/evaluation/333023-1173500063/instance-333023-1173500063.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 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 2/77 19548
/proc/meminfo: memFree=1733872/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=319884 CPUtime=0
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 706 0 0 0 0 0 0 0 18 0 1 0 369961348 327561216 691 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 79971 699 31 98 0 79870 0

[startup+0.0562229 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19548
/proc/meminfo: memFree=1733872/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=320156 CPUtime=0.04
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 5053 0 0 0 3 1 0 0 18 0 1 0 369961348 327839744 5038 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134566063 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 80039 5038 38 98 0 79938 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 320156

[startup+0.101229 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19548
/proc/meminfo: memFree=1733872/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=321276 CPUtime=0.09
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 9209 0 0 0 6 3 0 0 18 0 1 0 369961348 328986624 9193 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134529408 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 80319 9200 38 98 0 80218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 321276

[startup+0.301256 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19548
/proc/meminfo: memFree=1733872/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=321560 CPUtime=0.29
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 10323 0 0 0 25 4 0 0 19 0 1 0 369961348 329277440 10307 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134522030 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 80390 10307 39 98 0 80289 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 321560

[startup+0.701309 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 19548
/proc/meminfo: memFree=1733872/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=321844 CPUtime=0.69
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 10381 0 0 0 65 4 0 0 23 0 1 0 369961348 329568256 10365 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134523927 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 80461 10365 39 98 0 80360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 321844

[startup+1.50243 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 19549
/proc/meminfo: memFree=1692200/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=322140 CPUtime=1.49
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 10455 0 0 0 145 4 0 0 25 0 1 0 369961348 329871360 10439 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134529696 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 80535 10439 39 98 0 80434 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 322140

[startup+3.10163 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682408/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=3.08
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 304 4 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513486 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 330352

[startup+6.30107 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682280/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=6.29
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 624 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513296 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 330352

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682216/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=12.69
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 1264 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513376 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 330352

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682216/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=25.49
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 2544 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513285 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 330352

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682152/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=51.08
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 5103 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 330352

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682216/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=102.27
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 10222 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514746 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 330352

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682152/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=162.24
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 16219 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514848 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 330352

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682152/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=222.22
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 22217 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513418 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 330352

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682088/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=282.21
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 28216 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513845 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 330352

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682088/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=342.19
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 34214 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514905 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 330352

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682152/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=402.17
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 40212 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 330352

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

[startup+409.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682152/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=409.37
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 40932 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 409.37
Current children cumulated vsize (KiB) 330352

[startup+412.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682152/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=412.57
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 41252 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513801 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 412.57
Current children cumulated vsize (KiB) 330352

[startup+414.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682152/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=414.17
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 41412 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513499 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 414.17
Current children cumulated vsize (KiB) 330352

[startup+415.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682152/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=414.97
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 41492 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 414.97
Current children cumulated vsize (KiB) 330352

[startup+415.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682152/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=415.37
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 41532 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514798 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 415.37
Current children cumulated vsize (KiB) 330352

[startup+415.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19549
/proc/meminfo: memFree=1682152/2055920 swapFree=4168784/4192956
[pid=19548] ppid=19546 vsize=330352 CPUtime=415.77
/proc/19548/stat : 19548 (ranov) R 19546 19548 17888 0 -1 4194304 12817 0 0 0 41572 5 0 0 25 0 1 0 369961348 338280448 12801 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513474 0 0 4096 0 0 0 0 17 1 0 0
/proc/19548/statm: 82588 12801 42 98 0 82487 0
Current children cumulated CPU time (s) 415.77
Current children cumulated vsize (KiB) 330352

Child status: 10
Real time (s): 415.958
CPU time (s): 415.828
CPU user time (s): 415.762
CPU system time (s): 0.065989
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 330352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 415.762
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12830
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= 8635

runsolver used 0.511922 second user time and 1.01285 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Mar 10 04:14:23 UTC 2007

IDJOB= 333023
IDBENCH= 24594
IDSOLVER= 105
FILE ID= node10/333023-1173500063

PBS_JOBID= 4101098

Free space on /tmp= 66503 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/Medium/contest05/others/QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/333023-1173500063/ranov /tmp/evaluation/333023-1173500063/instance-333023-1173500063.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-333023-1173500063 -o ROOT/results/node10/solver-333023-1173500063 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/333023-1173500063/ranov /tmp/evaluation/333023-1173500063/instance-333023-1173500063.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  51245c7b8edb32c4dbd94daf982c00d7

RANDOM SEED= 582572737

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.232
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.232
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:       1734216 kB
Buffers:         39636 kB
Cached:         199096 kB
SwapCached:       2600 kB
Active:         137544 kB
Inactive:       124172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1734216 kB
SwapTotal:     4192956 kB
SwapFree:      4168784 kB
Dirty:            1516 kB
Writeback:           0 kB
Mapped:          30448 kB
Slab:            45428 kB
Committed_AS:  1665028 kB
PageTables:       1832 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= 66503 MiB

End job on node10 on Sat Mar 10 04:21:19 UTC 2007