Trace number 1725689

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
hybridGM 1SAT 1001.31 1001.62

General information on the benchmark

Namecrafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
MD5SUM74af041eb51b172e799baf4bb7eaa52f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.38479
Satisfiable
(Un)Satisfiability was proved
Number of variables2737
Number of clauses18375
Sum of the clauses size129048
Maximum clause length13
Minimum clause length1
Number of clauses of size 149
Number of clauses of size 2491
Number of clauses of size 32419
Number of clauses of size 4526
Number of clauses of size 5691
Number of clauses of size over 514199

Solver Data 

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

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.96 1.58 1.23 3/64 20673
/proc/meminfo: memFree=1711736/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=260600 CPUtime=0
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 882 0 0 0 0 0 0 0 18 0 1 0 98650907 266854400 867 1992294400 134512640 135204289 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 65150 873 54 168 0 64980 0

[startup+0.081752 s]
/proc/loadavg: 1.96 1.58 1.23 3/64 20673
/proc/meminfo: memFree=1711736/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268412 CPUtime=0.07
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 1593 0 0 0 7 0 0 0 18 0 1 0 98650907 274853888 1576 1992294400 134512640 135204289 4294956208 18446744073709551615 134543223 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67103 1581 56 168 0 66933 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 268412

[startup+0.101753 s]
/proc/loadavg: 1.96 1.58 1.23 3/64 20673
/proc/meminfo: memFree=1711736/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268412 CPUtime=0.09
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 2393 0 0 0 9 0 0 0 18 0 1 0 98650907 274853888 2376 1992294400 134512640 135204289 4294956208 18446744073709551615 134543993 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67103 2376 56 168 0 66933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268412

[startup+0.301777 s]
/proc/loadavg: 1.96 1.58 1.23 3/64 20673
/proc/meminfo: memFree=1711736/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=0.29
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 28 1 0 0 19 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537259 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701824 s]
/proc/loadavg: 1.96 1.58 1.23 3/64 20673
/proc/meminfo: memFree=1711736/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=0.69
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 68 1 0 0 22 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537383 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50192 s]
/proc/loadavg: 1.96 1.58 1.23 2/65 20674
/proc/meminfo: memFree=1691568/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=1.49
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 148 1 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536898 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416

[startup+3.1011 s]
/proc/loadavg: 1.96 1.58 1.23 2/65 20674
/proc/meminfo: memFree=1691440/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=3.09
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 308 1 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536993 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416

[startup+6.30147 s]
/proc/loadavg: 1.89 1.57 1.23 2/65 20674
/proc/meminfo: memFree=1691376/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=6.29
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 628 1 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268416

[startup+12.7012 s]
/proc/loadavg: 1.81 1.56 1.23 2/65 20674
/proc/meminfo: memFree=1691256/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=12.68
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 1267 1 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536678 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 268416

[startup+25.5017 s]
/proc/loadavg: 1.63 1.53 1.22 2/65 20674
/proc/meminfo: memFree=1691256/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=25.48
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 2547 1 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537272 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 268416

[startup+51.1017 s]
/proc/loadavg: 1.42 1.49 1.21 2/65 20674
/proc/meminfo: memFree=1691256/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=51.08
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 5106 2 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537020 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 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.18 1.41 1.20 2/65 20676
/proc/meminfo: memFree=1690992/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=102.27
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 10225 2 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537403 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 268416

[startup+162.302 s]
/proc/loadavg: 1.06 1.33 1.18 2/65 20676
/proc/meminfo: memFree=1691000/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=162.24
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 16222 2 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537336 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 268416

[startup+222.302 s]
/proc/loadavg: 1.02 1.27 1.17 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=222.22
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 22220 2 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134549137 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 268416

[startup+282.302 s]
/proc/loadavg: 1.01 1.22 1.16 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=282.21
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 28218 3 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537383 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 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.18 1.15 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=342.19
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 34216 3 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536977 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 268416

[startup+402.301 s]
/proc/loadavg: 1.00 1.14 1.13 2/65 20676
/proc/meminfo: memFree=1691128/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=402.17
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 40214 3 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536622 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 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.11 1.12 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=462.15
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 46212 3 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536744 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 268416

[startup+522.301 s]
/proc/loadavg: 1.00 1.09 1.11 2/65 20676
/proc/meminfo: memFree=1691000/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=522.14
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 52210 4 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536965 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 268416

[startup+582.301 s]
/proc/loadavg: 1.00 1.07 1.10 2/65 20676
/proc/meminfo: memFree=1691000/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=582.12
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 58208 4 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536777 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 268416

[startup+642.301 s]
/proc/loadavg: 1.00 1.06 1.09 2/65 20676
/proc/meminfo: memFree=1691000/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=642.11
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 64207 4 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536929 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 268416

[startup+702.301 s]
/proc/loadavg: 1.00 1.04 1.08 2/65 20676
/proc/meminfo: memFree=1690936/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=702.08
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 70204 4 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537113 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 268416

[startup+762.305 s]
/proc/loadavg: 1.00 1.03 1.08 2/65 20676
/proc/meminfo: memFree=1691000/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=762.07
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 76202 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537616 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 268416

[startup+822.301 s]
/proc/loadavg: 1.00 1.02 1.07 2/65 20676
/proc/meminfo: memFree=1691128/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=822.05
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 82200 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537583 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 268416

[startup+882.301 s]
/proc/loadavg: 1.00 1.02 1.07 2/65 20676
/proc/meminfo: memFree=1691128/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=882.03
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 88198 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536891 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 268416

[startup+942.301 s]
/proc/loadavg: 1.00 1.01 1.06 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=942.01
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 94196 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536952 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 268416

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

[startup+972.702 s]
/proc/loadavg: 1.00 1.01 1.06 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=972.4
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 97235 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536986 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 972.4
Current children cumulated vsize (KiB) 268416

[startup+985.501 s]
/proc/loadavg: 1.00 1.01 1.06 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=985.2
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 98515 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537006 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 985.2
Current children cumulated vsize (KiB) 268416

[startup+991.903 s]
/proc/loadavg: 1.00 1.01 1.06 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=991.6
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 99155 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537502 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 991.6
Current children cumulated vsize (KiB) 268416

[startup+998.302 s]
/proc/loadavg: 1.00 1.01 1.05 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=997.99
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 99794 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536993 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 997.99
Current children cumulated vsize (KiB) 268416

[startup+999.906 s]
/proc/loadavg: 1.00 1.01 1.05 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=999.6
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 99955 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536929 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 999.6
Current children cumulated vsize (KiB) 268416

[startup+1000.7 s]
/proc/loadavg: 1.00 1.01 1.05 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=1000.39
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 100034 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537070 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 1000.39
Current children cumulated vsize (KiB) 268416

[startup+1001.1 s]
/proc/loadavg: 1.00 1.01 1.05 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=1000.79
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 100074 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134537383 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 1000.79
Current children cumulated vsize (KiB) 268416

[startup+1001.5 s]
/proc/loadavg: 1.00 1.01 1.05 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=1001.19
/proc/20673/stat : 20673 (hybridGM) R 20671 20673 19940 0 -1 4194304 5071 0 0 0 100114 5 0 0 25 0 1 0 98650907 274857984 5054 1992294400 134512640 135204289 4294956208 18446744073709551615 134536993 0 0 4096 0 0 0 0 17 1 0 0
/proc/20673/statm: 67104 5054 63 168 0 66934 0
Current children cumulated CPU time (s) 1001.19
Current children cumulated vsize (KiB) 268416

[startup+1001.6 s]
/proc/loadavg: 1.00 1.01 1.05 2/65 20676
/proc/meminfo: memFree=1691064/2055920 swapFree=4192812/4192956
[pid=20673] ppid=20671 vsize=268416 CPUtime=1001.29
/proc/20673/stat : 20673 (hybridGM) S 20671 20673 19940 0 -1 4194304 5074 0 0 0 100124 5 0 0 25 0 1 0 98650907 274857984 5057 1992294400 134512640 135204289 4294956208 18446744073709551615 134728526 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20673/statm: 67104 5057 63 168 0 66934 0
Current children cumulated CPU time (s) 1001.29
Current children cumulated vsize (KiB) 268416

Child status: 10
Real time (s): 1001.62
CPU time (s): 1001.31
CPU user time (s): 1001.25
CPU system time (s): 0.06399
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 268416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1001.25
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5085
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= 17
involuntary context switches= 1332

runsolver used 0.858869 second user time and 1.93571 second system time

The end

Launcher Data 

Begin job on node20 at 2009-04-26 02:36:17
IDJOB=1725689
IDBENCH=24595
IDSOLVER=533
FILE ID=node20/1725689-1240706177
PBS_JOBID= 9186766
Free space on /tmp= 66244 MiB

SOLVER NAME= hybridGM 1
BENCH NAME= SAT07/crafted/Medium/contest05/others/QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
COMMAND LINE= HOME/hybridGM BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1725689-1240706177/watcher-1725689-1240706177 -o /tmp/evaluation-result-1725689-1240706177/solver-1725689-1240706177 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM HOME/instance-1725689-1240706177.cnf 328563356 

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

MD5SUM BENCH= 74af041eb51b172e799baf4bb7eaa52f
RANDOM SEED=328563356

node20.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.214
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	: 5931.00
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.214
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:       1712152 kB
Buffers:         39232 kB
Cached:         230252 kB
SwapCached:          0 kB
Active:         130924 kB
Inactive:       152548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1712152 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1708 kB
Writeback:           0 kB
Mapped:          23704 kB
Slab:            46308 kB
Committed_AS:   410668 kB
PageTables:       1396 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= 66244 MiB
End job on node20 at 2009-04-26 02:52:59