Trace number 333149

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ranov 2007-02-08SAT 376.699 376.889

General information on the benchmark

Namecrafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
MD5SUM50ea7ab54b71dd15b01cd5fd293d58eb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.77773
Satisfiable
(Un)Satisfiability was proved
Number of variables2765
Number of clauses18046
Sum of the clauses size127926
Maximum clause length13
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 2400
Number of clauses of size 32372
Number of clauses of size 4481
Number of clauses of size 5648
Number of clauses of size over 514110

Solver Data (download as text)

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.85 1.38 1.21 3/83 17647
/proc/meminfo: memFree=1546448/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=319884 CPUtime=0
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 954 0 0 0 0 0 0 0 18 0 1 0 370243587 327561216 940 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 79971 945 30 98 0 79870 0

[startup+0.073517 s]
/proc/loadavg: 1.85 1.38 1.21 3/83 17647
/proc/meminfo: memFree=1546448/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=320420 CPUtime=0.06
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 5125 0 0 0 4 2 0 0 18 0 1 0 370243587 328110080 5110 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134586349 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 80105 5110 38 98 0 80004 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 320420

[startup+0.101521 s]
/proc/loadavg: 1.85 1.38 1.21 3/83 17647
/proc/meminfo: memFree=1546448/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=321540 CPUtime=0.09
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 8480 0 0 0 6 3 0 0 18 0 1 0 370243587 329256960 8465 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134529408 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 80385 8472 38 98 0 80284 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 321540

[startup+0.301555 s]
/proc/loadavg: 1.85 1.38 1.21 3/83 17647
/proc/meminfo: memFree=1546448/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=321824 CPUtime=0.29
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 10379 0 0 0 25 4 0 0 19 0 1 0 370243587 329547776 10363 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134521896 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 80456 10363 39 98 0 80355 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 321824

[startup+0.701624 s]
/proc/loadavg: 1.85 1.38 1.21 3/83 17647
/proc/meminfo: memFree=1546448/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=321968 CPUtime=0.69
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 10437 0 0 0 65 4 0 0 22 0 1 0 370243587 329695232 10421 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134523796 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 80492 10421 39 98 0 80391 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 321968

[startup+1.50176 s]
/proc/loadavg: 1.85 1.38 1.21 2/84 17648
/proc/meminfo: memFree=1504648/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=322260 CPUtime=1.49
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 10515 0 0 0 145 4 0 0 25 0 1 0 370243587 329994240 10499 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134521874 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 80565 10499 39 98 0 80464 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 322260

[startup+3.10104 s]
/proc/loadavg: 1.78 1.38 1.21 2/84 17648
/proc/meminfo: memFree=1504136/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=3.09
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 304 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 330764

[startup+6.30159 s]
/proc/loadavg: 1.78 1.38 1.21 2/84 17650
/proc/meminfo: memFree=1494400/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=6.29
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 624 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 330764

[startup+12.7017 s]
/proc/loadavg: 1.66 1.36 1.20 2/84 17658
/proc/meminfo: memFree=1494336/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=12.69
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 1264 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514900 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 330764

[startup+25.5019 s]
/proc/loadavg: 1.56 1.35 1.20 2/84 17692
/proc/meminfo: memFree=1494336/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=25.46
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 2541 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 330764

[startup+51.1013 s]
/proc/loadavg: 1.37 1.32 1.19 2/84 17712
/proc/meminfo: memFree=1494336/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=51.04
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 5099 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 330764

[startup+102.305 s]
/proc/loadavg: 1.14 1.26 1.18 2/78 17734
/proc/meminfo: memFree=1495360/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=102.21
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 10216 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513474 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 330764

[startup+162.301 s]
/proc/loadavg: 1.06 1.22 1.17 2/78 17734
/proc/meminfo: memFree=1495360/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=162.18
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 16213 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 330764

[startup+222.302 s]
/proc/loadavg: 1.02 1.17 1.15 2/78 17734
/proc/meminfo: memFree=1495360/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=222.16
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 22211 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 330764

[startup+282.303 s]
/proc/loadavg: 1.00 1.14 1.14 2/78 17734
/proc/meminfo: memFree=1495424/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=282.14
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 28209 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 330764

[startup+342.301 s]
/proc/loadavg: 1.00 1.11 1.13 2/78 17734
/proc/meminfo: memFree=1495552/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=342.12
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 34207 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513762 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 330764

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

[startup+358.303 s]
/proc/loadavg: 1.00 1.10 1.13 2/78 17734
/proc/meminfo: memFree=1495552/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=358.11
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 35806 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513397 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 358.11
Current children cumulated vsize (KiB) 330764

[startup+364.701 s]
/proc/loadavg: 1.00 1.10 1.13 2/78 17734
/proc/meminfo: memFree=1495552/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=364.51
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 36446 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513474 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 364.51
Current children cumulated vsize (KiB) 330764

[startup+371.101 s]
/proc/loadavg: 1.00 1.10 1.13 2/78 17734
/proc/meminfo: memFree=1495552/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=370.91
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 37086 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 370.91
Current children cumulated vsize (KiB) 330764

[startup+374.302 s]
/proc/loadavg: 1.00 1.10 1.13 2/78 17734
/proc/meminfo: memFree=1495552/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=374.11
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 37406 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 374.11
Current children cumulated vsize (KiB) 330764

[startup+375.901 s]
/proc/loadavg: 1.00 1.10 1.13 2/78 17734
/proc/meminfo: memFree=1495552/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=375.7
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 37565 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514886 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 375.7
Current children cumulated vsize (KiB) 330764

[startup+376.301 s]
/proc/loadavg: 1.00 1.10 1.13 2/78 17734
/proc/meminfo: memFree=1495552/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=376.1
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 37605 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 376.1
Current children cumulated vsize (KiB) 330764

[startup+376.701 s]
/proc/loadavg: 1.00 1.10 1.13 2/78 17734
/proc/meminfo: memFree=1495552/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=376.5
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 37645 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 376.5
Current children cumulated vsize (KiB) 330764

[startup+376.801 s]
/proc/loadavg: 1.00 1.10 1.13 2/78 17734
/proc/meminfo: memFree=1495552/2055920 swapFree=4152672/4192956
[pid=17647] ppid=17645 vsize=330764 CPUtime=376.6
/proc/17647/stat : 17647 (ranov) R 17645 17647 15467 0 -1 4194304 12957 0 0 0 37655 5 0 0 25 0 1 0 370243587 338702336 12941 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/17647/statm: 82691 12941 42 98 0 82590 0
Current children cumulated CPU time (s) 376.6
Current children cumulated vsize (KiB) 330764

Child status: 10
Real time (s): 376.889
CPU time (s): 376.699
CPU user time (s): 376.63
CPU system time (s): 0.068989
CPU usage (%): 99.9495
Max. virtual memory (cumulated for all children) (KiB): 330764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 376.63
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12970
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= 23
involuntary context switches= 981

runsolver used 0.495924 second user time and 0.889864 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Mar 10 05:01:32 UTC 2007

IDJOB= 333149
IDBENCH= 24597
IDSOLVER= 105
FILE ID= node15/333149-1173502892

PBS_JOBID= 4101110

Free space on /tmp= 66530 MiB

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

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  50ea7ab54b71dd15b01cd5fd293d58eb

RANDOM SEED= 235272037

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.276
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.276
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:       1546920 kB
Buffers:         49708 kB
Cached:         369436 kB
SwapCached:       2796 kB
Active:         252492 kB
Inactive:       190628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1546920 kB
SwapTotal:     4192956 kB
SwapFree:      4152672 kB
Dirty:            1728 kB
Writeback:           0 kB
Mapped:          31332 kB
Slab:            50892 kB
Committed_AS:  1311980 kB
PageTables:       2048 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= 66530 MiB

End job on node15 on Sat Mar 10 05:07:49 UTC 2007