Trace number 1561447

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
hybridGM7 7SAT 728.232 728.467

General information on the benchmark

NameCRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
MD5SUM8c48bd8cd24e7f61acdde18197762986
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.3152
Satisfiable
(Un)Satisfiability was proved
Number of variables3857
Number of clauses108164
Sum of the clauses size271431
Maximum clause length49
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 272823
Number of clauses of size 326002
Number of clauses of size 44516
Number of clauses of size 54669
Number of clauses of size over 5154

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1561447-1238766325/watcher-1561447-1238766325 -o /tmp/evaluation-result-1561447-1238766325/solver-1561447-1238766325 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM7 HOME/instance-1561447-1238766325.cnf 1313199614 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12568
/proc/meminfo: memFree=1699944/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=260600 CPUtime=0
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 892 0 0 0 0 0 0 0 18 0 1 0 1149295023 266854400 876 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 65150 882 55 168 0 64980 0

[startup+0.057662 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12568
/proc/meminfo: memFree=1699944/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=0.05
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 1248 0 0 0 5 0 0 0 18 0 1 0 1149295023 274857984 1232 1992294400 134512640 135204385 4294956208 18446744073709551615 134728510 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 1232 57 168 0 66934 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 268416

[startup+0.102665 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12568
/proc/meminfo: memFree=1699944/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=0.09
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 1394 0 0 0 9 0 0 0 18 0 1 0 1149295023 274857984 1378 1992294400 134512640 135204385 4294956208 18446744073709551615 134542911 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 1378 57 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301686 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12568
/proc/meminfo: memFree=1699944/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=0.29
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6279 0 0 0 27 2 0 0 19 0 1 0 1149295023 274857984 6262 1992294400 134512640 135204385 4294956208 18446744073709551615 134537711 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6262 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.702729 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12568
/proc/meminfo: memFree=1699944/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=0.7
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6279 0 0 0 68 2 0 0 22 0 1 0 1149295023 274857984 6262 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6262 63 168 0 66934 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 268416

[startup+1.50182 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674976/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=1.49
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6279 0 0 0 147 2 0 0 25 0 1 0 1149295023 274857984 6262 1992294400 134512640 135204385 4294956208 18446744073709551615 134538264 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6262 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.10199 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674848/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=3.09
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6279 0 0 0 307 2 0 0 25 0 1 0 1149295023 274857984 6262 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6262 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30133 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674720/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=6.29
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 627 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674664/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=12.69
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 1267 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268416

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674664/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=25.49
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 2547 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 268416

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674664/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=51.08
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 5106 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538584 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 268416

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674728/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=102.26
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 10224 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538054 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 268416

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674728/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=162.24
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 16222 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 268416

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674664/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=222.23
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 22221 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 268416

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674664/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=282.21
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 28219 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538034 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 268416

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674664/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=342.19
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 34217 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538552 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 268416

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674600/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=402.17
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 40215 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 268416

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674600/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=462.15
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 46213 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538264 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 268416

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674536/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=522.14
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 52212 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538487 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 268416

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674536/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=582.12
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 58210 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538393 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 268416

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674536/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=642.11
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 64209 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538587 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 268416

[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674472/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=702.09
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 70207 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538397 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 268416

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

[startup+703.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674472/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=703.69
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 70367 2 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538375 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 703.69
Current children cumulated vsize (KiB) 268416

[startup+716.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674472/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=716.49
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 71646 3 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 716.49
Current children cumulated vsize (KiB) 268416

[startup+723.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674472/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=722.89
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 72286 3 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 722.89
Current children cumulated vsize (KiB) 268416

[startup+726.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674472/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=726.08
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 72605 3 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538300 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 726.08
Current children cumulated vsize (KiB) 268416

[startup+727.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674472/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=726.89
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 72686 3 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 726.89
Current children cumulated vsize (KiB) 268416

[startup+727.903 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674472/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=727.69
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 72766 3 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 727.69
Current children cumulated vsize (KiB) 268416

[startup+728.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674472/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=728.09
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 72806 3 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 728.09
Current children cumulated vsize (KiB) 268416

[startup+728.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12569
/proc/meminfo: memFree=1674472/2055920 swapFree=4178912/4192956
[pid=12568] ppid=12566 vsize=268416 CPUtime=728.18
/proc/12568/stat : 12568 (hybridGM7) R 12566 12568 11796 0 -1 4194304 6280 0 0 0 72815 3 0 0 25 0 1 0 1149295023 274857984 6263 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 67104 6263 63 168 0 66934 0
Current children cumulated CPU time (s) 728.18
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 728.467
CPU time (s): 728.232
CPU user time (s): 728.197
CPU system time (s): 0.034994
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 728.197
system time used= 0.034994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6301
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= 26
involuntary context switches= 787

runsolver used 0.675897 second user time and 1.73673 second system time

The end

Launcher Data 

Begin job on node47 at 2009-04-03 15:45:25
IDJOB=1561447
IDBENCH=70915
IDSOLVER=535
FILE ID=node47/1561447-1238766325
PBS_JOBID= 9085475
Free space on /tmp= 66548 MiB

SOLVER NAME= hybridGM7 7
BENCH NAME= SAT09/APPLICATIONS/edgematching/explicit/em_9_3_5_exp.cnf
COMMAND LINE= HOME/hybridGM7 BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561447-1238766325/watcher-1561447-1238766325 -o /tmp/evaluation-result-1561447-1238766325/solver-1561447-1238766325 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM7 HOME/instance-1561447-1238766325.cnf 1313199614 

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8c48bd8cd24e7f61acdde18197762986
RANDOM SEED=1313199614

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1700360 kB
Buffers:         59308 kB
Cached:         206196 kB
SwapCached:       7856 kB
Active:         102300 kB
Inactive:       173720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1700360 kB
SwapTotal:     4192956 kB
SwapFree:      4178912 kB
Dirty:            2712 kB
Writeback:           0 kB
Mapped:          16168 kB
Slab:            65432 kB
Committed_AS:  3360500 kB
PageTables:       1460 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= 66544 MiB
End job on node47 at 2009-04-03 15:57:34