Trace number 333065

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 494.221 494.376

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 benchmark2.43863
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 (download as text)

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

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 1.44 3/77 12432
/proc/meminfo: memFree=1419136/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=319884 CPUtime=0
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 880 0 0 0 0 0 0 0 18 0 1 0 370061626 327561216 865 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 79971 872 30 98 0 79870 0

[startup+0.0313241 s]
/proc/loadavg: 0.99 1.00 1.44 3/77 12432
/proc/meminfo: memFree=1419136/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=319892 CPUtime=0.02
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 4972 0 0 0 0 2 0 0 18 0 1 0 370061626 327569408 4957 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134586349 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 79973 4957 38 98 0 79872 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 319892

[startup+0.102317 s]
/proc/loadavg: 0.99 1.00 1.44 3/77 12432
/proc/meminfo: memFree=1419136/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=321548 CPUtime=0.09
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 8724 0 0 0 6 3 0 0 18 0 1 0 370061626 329265152 8708 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134529408 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 80387 8715 38 98 0 80286 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 321548

[startup+0.30134 s]
/proc/loadavg: 0.99 1.00 1.44 3/77 12432
/proc/meminfo: memFree=1419136/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=321832 CPUtime=0.29
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 10382 0 0 0 25 4 0 0 19 0 1 0 370061626 329555968 10366 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134523878 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 80458 10366 39 98 0 80357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 321832

[startup+0.701387 s]
/proc/loadavg: 0.99 1.00 1.44 3/77 12432
/proc/meminfo: memFree=1419136/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=321976 CPUtime=0.69
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 10441 0 0 0 65 4 0 0 22 0 1 0 370061626 329703424 10425 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134523915 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 80494 10425 39 98 0 80393 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 321976

[startup+1.50148 s]
/proc/loadavg: 0.99 1.00 1.44 3/78 12433
/proc/meminfo: memFree=1377272/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=322264 CPUtime=1.49
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 10515 0 0 0 145 4 0 0 25 0 1 0 370061626 329998336 10499 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134524016 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 80566 10499 39 98 0 80465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 322264

[startup+3.10167 s]
/proc/loadavg: 0.99 1.00 1.44 2/78 12433
/proc/meminfo: memFree=1376760/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=3.09
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 304 5 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 330772

[startup+6.30105 s]
/proc/loadavg: 0.99 1.00 1.44 2/78 12433
/proc/meminfo: memFree=1367032/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=6.29
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 624 5 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 330772

[startup+12.7018 s]
/proc/loadavg: 0.99 1.00 1.43 2/78 12433
/proc/meminfo: memFree=1366976/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=12.69
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 1264 5 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513682 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 330772

[startup+25.5013 s]
/proc/loadavg: 0.99 1.00 1.43 2/78 12433
/proc/meminfo: memFree=1366912/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=25.49
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 2543 6 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513509 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 330772

[startup+51.1013 s]
/proc/loadavg: 0.99 1.00 1.42 2/78 12433
/proc/meminfo: memFree=1366912/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=51.08
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 5102 6 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514893 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 330772

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.39 2/78 12433
/proc/meminfo: memFree=1366912/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=102.27
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 10221 6 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 330772

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.36 2/78 12433
/proc/meminfo: memFree=1366848/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=162.24
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 16218 6 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513751 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 330772

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.34 2/78 12433
/proc/meminfo: memFree=1366848/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=222.22
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 22216 6 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513376 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 330772

[startup+282.302 s]
/proc/loadavg: 1.04 1.01 1.32 2/78 12433
/proc/meminfo: memFree=1366784/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=282.21
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 28215 6 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513730 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 330772

[startup+342.302 s]
/proc/loadavg: 1.01 1.01 1.30 2/78 12433
/proc/meminfo: memFree=1366784/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=342.19
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 34213 6 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 330772

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.27 2/78 12433
/proc/meminfo: memFree=1366848/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=402.17
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 40211 6 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134514777 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 330772

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.25 2/78 12433
/proc/meminfo: memFree=1366784/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=462.16
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 46209 7 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513762 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 330772

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

[startup+473.501 s]
/proc/loadavg: 1.00 1.00 1.25 2/78 12433
/proc/meminfo: memFree=1366784/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=473.35
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 47328 7 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 473.35
Current children cumulated vsize (KiB) 330772

[startup+486.302 s]
/proc/loadavg: 1.00 1.00 1.25 3/78 12433
/proc/meminfo: memFree=1366784/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=486.15
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 48608 7 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 486.15
Current children cumulated vsize (KiB) 330772

[startup+489.506 s]
/proc/loadavg: 1.00 1.00 1.25 2/78 12433
/proc/meminfo: memFree=1366784/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=489.35
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 48928 7 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513415 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 489.35
Current children cumulated vsize (KiB) 330772

[startup+492.701 s]
/proc/loadavg: 1.00 1.00 1.25 2/78 12433
/proc/meminfo: memFree=1366784/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=492.55
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 49248 7 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 492.55
Current children cumulated vsize (KiB) 330772

[startup+493.501 s]
/proc/loadavg: 1.00 1.00 1.25 2/78 12433
/proc/meminfo: memFree=1366784/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=493.35
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 49328 7 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513568 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 493.35
Current children cumulated vsize (KiB) 330772

[startup+493.906 s]
/proc/loadavg: 1.00 1.00 1.25 2/78 12433
/proc/meminfo: memFree=1366784/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=493.75
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 49368 7 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513499 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 493.75
Current children cumulated vsize (KiB) 330772

[startup+494.302 s]
/proc/loadavg: 1.00 1.00 1.25 2/78 12433
/proc/meminfo: memFree=1366784/2055920 swapFree=4169972/4192956
[pid=12432] ppid=12430 vsize=330772 CPUtime=494.15
/proc/12432/stat : 12432 (ranov) R 12430 12432 10565 0 -1 4194304 12961 0 0 0 49408 7 0 0 25 0 1 0 370061626 338710528 12945 18446744073709551615 134512640 134914624 4294956704 18446744073709551615 134513801 0 0 4096 0 0 0 0 17 1 0 0
/proc/12432/statm: 82693 12945 42 98 0 82592 0
Current children cumulated CPU time (s) 494.15
Current children cumulated vsize (KiB) 330772

Child status: 10
Real time (s): 494.376
CPU time (s): 494.221
CPU user time (s): 494.139
CPU system time (s): 0.081987
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 330772

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

runsolver used 0.621905 second user time and 1.17382 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Mar 10 04:31:11 UTC 2007

IDJOB= 333065
IDBENCH= 24595
IDSOLVER= 105
FILE ID= node11/333065-1173501071

PBS_JOBID= 4101099

Free space on /tmp= 66351 MiB

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

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  74af041eb51b172e799baf4bb7eaa52f

RANDOM SEED= 420115456

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.243
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.243
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:       1419608 kB
Buffers:         51544 kB
Cached:         494832 kB
SwapCached:       2248 kB
Active:         223784 kB
Inactive:       345628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1419608 kB
SwapTotal:     4192956 kB
SwapFree:      4169972 kB
Dirty:            1608 kB
Writeback:           0 kB
Mapped:          31024 kB
Slab:            52516 kB
Committed_AS:  1155688 kB
PageTables:       1756 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= 66351 MiB

End job on node11 on Sat Mar 10 04:39:25 UTC 2007