Trace number 424045

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 31.8072 31.8262

General information on the benchmark

Namerandom/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf
MD5SUMd278f0ab23fc6647da28c17830cf2da7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.959853
Satisfiable
(Un)Satisfiability was proved
Number of variables1665
Number of clauses5177
Sum of the clauses size14496
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21035
Number of clauses of size 34142
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.08	c +------------------------------+
0.00/0.08	c | R+AdaptNovelty+, version 1.5 |
0.00/0.08	c +------------------------------+
0.00/0.08	c ranov -h for help
0.00/0.08	c 
0.00/0.08	c Problem instance: numAtoms = 1665, numClauses = 5203, numLiterals = 14571
0.00/0.08	c General parameters: seed=411693582, cutoff=100000, targetCost = 0, print solution: yes
0.00/0.08	c R+AdaptNovelty+ parameters: noise = 0, walkprob = 1
0.00/0.08	c tries = 1
0.00/0.08	c 
31.78/31.81	s SATISFIABLE
31.78/31.81	v -1
31.78/31.81	v -2
31.78/31.81	v -3
31.78/31.81	v -4
31.78/31.81	v 5
31.78/31.81	v -6
31.78/31.81	v -7
31.78/31.81	v 8
31.78/31.81	v 9
31.78/31.81	v 10
31.78/31.81	v 11
31.78/31.81	v 12
31.78/31.81	v -13
31.78/31.81	v -14
31.78/31.81	v 15
31.78/31.81	v 16
31.78/31.81	v -17
31.78/31.81	v 18
31.78/31.81	v 19
31.78/31.81	v 20
31.78/31.81	v -21
31.78/31.81	v -22
31.78/31.81	v 23
31.78/31.81	v 24
31.78/31.81	v 25
31.78/31.81	v -26
31.78/31.81	v -27
31.78/31.81	v 28
31.78/31.81	v -29
31.78/31.81	v -30
31.78/31.81	v -31
31.78/31.81	v -32
31.78/31.81	v 33
31.78/31.81	v -34
31.78/31.81	v -35
31.78/31.81	v -36
31.78/31.81	v -37
31.78/31.81	v -38
31.78/31.81	v -39
31.78/31.81	v -40
31.78/31.81	v 41
31.78/31.81	v -42
31.78/31.81	v 43
31.78/31.81	v 44
31.78/31.81	v 45
31.78/31.81	v 46
31.78/31.81	v -47
31.78/31.81	v -48
31.78/31.81	v -49
31.78/31.81	v -50
31.78/31.81	v -51
31.78/31.81	v -52
31.78/31.81	v 53
31.78/31.81	v 54
31.78/31.81	v -55
31.78/31.81	v -56
31.78/31.81	v 57
31.78/31.81	v -58
31.78/31.81	v -59
31.78/31.81	v -60
31.78/31.81	v -61
31.78/31.81	v 62
31.78/31.81	v 63
31.78/31.81	v -64
31.78/31.81	v 65
31.78/31.81	v 66
31.78/31.81	v 67
31.78/31.81	v -68
31.78/31.81	v 69
31.78/31.81	v -70
31.78/31.81	v 71
31.78/31.81	v 72
31.78/31.81	v -73
31.78/31.81	v -74
31.78/31.81	v -75
31.78/31.81	v 76
31.78/31.81	v -77
31.78/31.81	v 78
31.78/31.81	v 79
31.78/31.81	v 80
31.78/31.81	v 81
31.78/31.81	v -82
31.78/31.81	v 83
31.78/31.81	v -84
31.78/31.81	v -85
31.78/31.81	v 86
31.78/31.81	v -87
31.78/31.81	v 88
31.78/31.81	v -89
31.78/31.81	v -90
31.78/31.81	v -91
31.78/31.81	v -92
31.78/31.81	v 93
31.78/31.81	v -94
31.78/31.81	v -95
31.78/31.81	v 96
31.78/31.81	v -97
31.78/31.81	v 98
31.78/31.81	v 99
31.78/31.81	v 100
31.78/31.81	v -101
31.78/31.81	v 102
31.78/31.81	v 103
31.78/31.81	v -104
31.78/31.81	v -105
31.78/31.81	v 106
31.78/31.81	v 107
31.78/31.81	v 108
31.78/31.81	v -109
31.78/31.81	v -110
31.78/31.81	v 111
31.78/31.81	v 112
31.78/31.81	v 113
31.78/31.81	v 114
31.78/31.81	v -115
31.78/31.81	v -116
31.78/31.81	v 117
31.78/31.81	v 118
31.78/31.81	v -119
31.78/31.81	v 120
31.78/31.81	v 121
31.78/31.81	v 122
31.78/31.81	v -123
31.78/31.81	v 124
31.78/31.81	v 125
31.78/31.81	v -126
31.78/31.81	v -127
31.78/31.81	v 128
31.78/31.81	v 129
31.78/31.81	v -130
31.78/31.81	v 131
31.78/31.81	v -132
31.78/31.81	v 133
31.78/31.81	v 134
31.78/31.81	v -135
31.78/31.81	v -136
31.78/31.81	v -137
31.78/31.81	v -138
31.78/31.81	v -139
31.78/31.81	v 140
31.78/31.81	v 141
31.78/31.81	v -142
31.78/31.81	v -143
31.78/31.81	v 144
31.78/31.81	v -145
31.78/31.81	v 146
31.78/31.81	v -147
31.78/31.81	v 148
31.78/31.81	v 149
31.78/31.81	v 150
31.78/31.81	v -151
31.78/31.81	v 152
31.78/31.81	v 153
31.78/31.81	v 154
31.78/31.81	v 155
31.78/31.81	v -156
31.78/31.81	v 157
31.78/31.81	v -158
31.78/31.81	v -159
31.78/31.81	v 160
31.78/31.81	v 161
31.78/31.81	v -162
31.78/31.81	v -163
31.78/31.81	v 164
31.78/31.81	v 165
31.78/31.81	v 166
31.78/31.81	v 167
31.78/31.81	v 168
31.78/31.81	v 169
31.78/31.81	v -170
31.78/31.81	v 171
31.78/31.81	v 172
31.78/31.81	v -173
31.78/31.81	v 174
31.78/31.81	v -175
31.78/31.81	v 176
31.78/31.81	v 177
31.78/31.81	v 178
31.78/31.81	v 179
31.78/31.81	v 180
31.78/31.81	v 181
31.78/31.81	v 182
31.78/31.81	v 183
31.78/31.81	v -184
31.78/31.81	v -185
31.78/31.81	v -186
31.78/31.81	v 187
31.78/31.81	v 188
31.78/31.81	v -189
31.78/31.81	v 190
31.78/31.81	v -191
31.78/31.81	v -192
31.78/31.81	v -193
31.78/31.81	v 194
31.78/31.81	v 195
31.78/31.81	v -196
31.78/31.81	v -197
31.78/31.81	v 198
31.78/31.81	v 199
31.78/31.81	v -200
31.78/31.81	v -201
31.78/31.81	v -202
31.78/31.81	v 203
31.78/31.81	v -204
31.78/31.81	v -205
31.78/31.81	v 206
31.78/31.81	v -207
31.78/31.81	v -208
31.78/31.81	v 209
31.78/31.81	v -210
31.78/31.81	v 211
31.78/31.81	v 212
31.78/31.81	v 213
31.78/31.81	v -214
31.78/31.81	v -215
31.78/31.81	v -216
31.78/31.81	v 217
31.78/31.81	v -218
31.78/31.81	v 219
31.78/31.81	v -220
31.78/31.81	v -221
31.78/31.81	v 222
31.78/31.81	v 223
31.78/31.81	v -224
31.78/31.81	v 225
31.78/31.81	v -226
31.78/31.81	v 227
31.78/31.81	v 228
31.78/31.81	v 229
31.78/31.81	v -230
31.78/31.81	v -231
31.78/31.81	v -232
31.78/31.81	v -233
31.78/31.81	v -234
31.78/31.81	v 235
31.78/31.81	v -236
31.78/31.81	v 237
31.78/31.81	v -238
31.78/31.81	v -239
31.78/31.81	v -240
31.78/31.81	v -241
31.78/31.81	v -242
31.78/31.81	v -243
31.78/31.81	v 244
31.78/31.81	v 245
31.78/31.81	v 246
31.78/31.81	v -247
31.78/31.81	v -248
31.78/31.81	v 249
31.78/31.81	v -250
31.78/31.81	v 251
31.78/31.81	v 252
31.78/31.81	v 253
31.78/31.81	v 254
31.78/31.81	v 255
31.78/31.81	v -256
31.78/31.81	v -257
31.78/31.81	v -258
31.78/31.81	v 259
31.78/31.81	v -260
31.78/31.81	v -261
31.78/31.81	v -262
31.78/31.81	v 263
31.78/31.81	v 264
31.78/31.81	v 265
31.78/31.81	v 266
31.78/31.81	v -267
31.78/31.81	v -268
31.78/31.81	v -269
31.78/31.81	v -270
31.78/31.81	v -271
31.78/31.81	v -272
31.78/31.81	v -273
31.78/31.81	v 274
31.78/31.81	v 275
31.78/31.81	v -276
31.78/31.81	v 277
31.78/31.81	v -278
31.78/31.81	v -279
31.78/31.81	v -280
31.78/31.81	v 281
31.78/31.81	v -282
31.78/31.81	v -283
31.78/31.81	v 284
31.78/31.81	v -285
31.78/31.81	v -286
31.78/31.81	v -287
31.78/31.81	v -288
31.78/31.81	v 289
31.78/31.81	v -290
31.78/31.81	v -291
31.78/31.81	v 292
31.78/31.81	v -293
31.78/31.81	v -294
31.78/31.81	v 295
31.78/31.81	v 296
31.78/31.81	v -297
31.78/31.81	v 298
31.78/31.81	v -299
31.78/31.81	v 300
31.78/31.81	v -301
31.78/31.81	v 302
31.78/31.81	v 303
31.78/31.81	v 304
31.78/31.81	v -305
31.78/31.81	v 306
31.78/31.81	v 307
31.78/31.81	v -308
31.78/31.81	v 309
31.78/31.81	v 310
31.78/31.81	v -311
31.78/31.81	v -312
31.78/31.81	v -313
31.78/31.81	v 314
31.78/31.81	v -315
31.78/31.81	v -316
31.78/31.81	v 317
31.78/31.81	v -318
31.78/31.81	v -319
31.78/31.81	v -320
31.78/31.81	v -321
31.78/31.81	v -322
31.78/31.81	v -323
31.78/31.81	v 324
31.78/31.81	v 325
31.78/31.81	v -326
31.78/31.81	v -327
31.78/31.81	v 328
31.78/31.81	v 329
31.78/31.81	v 330
31.78/31.81	v -331
31.78/31.81	v -332
31.78/31.81	v 333
31.78/31.81	v -334
31.78/31.81	v 335
31.78/31.81	v 336
31.78/31.81	v 337
31.78/31.81	v 338
31.78/31.81	v 339
31.78/31.81	v 340
31.78/31.81	v -341
31.78/31.81	v -342
31.78/31.81	v 343
31.78/31.81	v -344
31.78/31.81	v 345
31.78/31.81	v -346
31.78/31.81	v 347
31.78/31.81	v 348
31.78/31.81	v -349
31.78/31.81	v 350
31.78/31.81	v 351
31.78/31.81	v 352
31.78/31.81	v -353
31.78/31.81	v -354
31.78/31.81	v -355
31.78/31.81	v -356
31.78/31.81	v 357
31.78/31.81	v 358
31.78/31.81	v -359
31.78/31.81	v 360
31.78/31.81	v 361
31.78/31.81	v -362
31.78/31.81	v 363
31.78/31.81	v 364
31.78/31.81	v 365
31.78/31.81	v 366
31.78/31.81	v -367
31.78/31.81	v 368
31.78/31.81	v 369
31.78/31.81	v 370
31.78/31.81	v 371
31.78/31.81	v -372
31.78/31.81	v -373
31.78/31.81	v -374
31.78/31.81	v 375
31.78/31.81	v 376
31.78/31.81	v -377
31.78/31.81	v -378
31.78/31.81	v -379
31.78/31.81	v 380
31.78/31.81	v -381
31.78/31.81	v -382
31.78/31.81	v 383
31.78/31.81	v 384
31.78/31.81	v -385
31.78/31.81	v 386
31.78/31.81	v 387
31.78/31.81	v 388
31.78/31.81	v -389
31.78/31.81	v 390
31.78/31.81	v 391
31.78/31.81	v 392
31.78/31.81	v -393
31.78/31.81	v -394
31.78/31.81	v -395
31.78/31.81	v 396
31.78/31.81	v 397
31.78/31.81	v -398
31.78/31.81	v -399
31.78/31.81	v 400
31.78/31.81	v -401
31.78/31.81	v 402
31.78/31.81	v -403
31.78/31.81	v 404
31.78/31.81	v 405
31.78/31.81	v 406
31.78/31.81	v 407
31.78/31.81	v 408
31.78/31.81	v -409
31.78/31.81	v 410
31.78/31.81	v 411
31.78/31.81	v 412
31.78/31.81	v -413
31.78/31.81	v -414
31.78/31.81	v -415
31.78/31.81	v -416
31.78/31.81	v 417
31.78/31.81	v 418
31.78/31.81	v 419
31.78/31.81	v 420
31.78/31.81	v 421
31.78/31.81	v -422
31.78/31.81	v 423
31.78/31.81	v 424
31.78/31.81	v -425
31.78/31.81	v -426
31.78/31.81	v -427
31.78/31.81	v 428
31.78/31.81	v -429
31.78/31.81	v 430
31.78/31.81	v 431
31.78/31.81	v -432
31.78/31.81	v 433
31.78/31.81	v 434
31.78/31.81	v 435
31.78/31.81	v -436
31.78/31.81	v 437
31.78/31.81	v 438
31.78/31.81	v -439
31.78/31.81	v 440
31.78/31.81	v -441
31.78/31.81	v -442
31.78/31.81	v -443
31.78/31.81	v 444
31.78/31.81	v 445
31.78/31.81	v 446
31.78/31.81	v -447
31.78/31.81	v 448
31.78/31.81	v -449
31.78/31.81	v 450
31.78/31.81	v -451
31.78/31.81	v -452
31.78/31.81	v -453
31.78/31.81	v -454
31.78/31.81	v -455
31.78/31.81	v -456
31.78/31.81	v -457
31.78/31.81	v 458
31.78/31.81	v -459
31.78/31.81	v -460
31.78/31.81	v -461
31.78/31.81	v 462
31.78/31.81	v 463
31.78/31.81	v 464
31.78/31.81	v 465
31.78/31.81	v 466
31.78/31.81	v -467
31.78/31.81	v -468
31.78/31.81	v -469
31.78/31.81	v 470
31.78/31.81	v -471
31.78/31.81	v -472
31.78/31.81	v 473
31.78/31.81	v -474
31.78/31.81	v 475
31.78/31.81	v 476
31.78/31.81	v 477
31.78/31.81	v -478
31.78/31.81	v -479
31.78/31.81	v -480
31.78/31.81	v 481
31.78/31.81	v 482
31.78/31.81	v -483
31.78/31.81	v -484
31.78/31.81	v 485
31.78/31.81	v 486
31.78/31.81	v -487
31.78/31.81	v -488
31.78/31.81	v 489
31.78/31.81	v -490
31.78/31.81	v 491
31.78/31.81	v -492
31.78/31.81	v 493
31.78/31.81	v 494
31.78/31.81	v 495
31.78/31.81	v -496
31.78/31.81	v -497
31.78/31.81	v 498
31.78/31.81	v -499
31.78/31.81	v 500
31.78/31.81	v -501
31.78/31.81	v 502
31.78/31.81	v 503
31.78/31.81	v -504
31.78/31.81	v -505
31.78/31.81	v 506
31.78/31.81	v -507
31.78/31.81	v 508
31.78/31.81	v 509
31.78/31.81	v -510
31.78/31.81	v -511
31.78/31.81	v 512
31.78/31.81	v 513
31.78/31.81	v 514
31.78/31.81	v -515
31.78/31.81	v 516
31.78/31.81	v 517
31.78/31.81	v 518
31.78/31.81	v 519
31.78/31.81	v -520
31.78/31.81	v -521
31.78/31.81	v 522
31.78/31.81	v -523
31.78/31.81	v 524
31.78/31.81	v 525
31.78/31.81	v 526
31.78/31.81	v -527
31.78/31.81	v 528
31.78/31.81	v 529
31.78/31.81	v 530
31.78/31.81	v -531
31.78/31.81	v 532
31.78/31.81	v 533
31.78/31.81	v 534
31.78/31.81	v 535
31.78/31.81	v -536
31.78/31.81	v 537
31.78/31.81	v 538
31.78/31.81	v 539
31.78/31.81	v -540
31.78/31.81	v 541
31.78/31.81	v -542
31.78/31.81	v -543
31.78/31.81	v -544
31.78/31.81	v 545
31.78/31.81	v 546
31.78/31.81	v -547
31.78/31.81	v -548
31.78/31.81	v 549
31.78/31.81	v 550
31.78/31.81	v 551
31.78/31.81	v -552
31.78/31.81	v 553
31.78/31.81	v 554
31.78/31.81	v 555
31.78/31.81	v 556
31.78/31.81	v 557
31.78/31.81	v -558
31.78/31.81	v -559
31.78/31.81	v 560
31.78/31.81	v 561
31.78/31.81	v 562
31.78/31.81	v 563
31.78/31.81	v 564
31.78/31.81	v -565
31.78/31.81	v 566
31.78/31.81	v -567
31.78/31.81	v 568
31.78/31.81	v -569
31.78/31.81	v -570
31.78/31.81	v -571
31.78/31.81	v -572
31.78/31.81	v 573
31.78/31.81	v -574
31.78/31.81	v 575
31.78/31.81	v 576
31.78/31.81	v -577
31.78/31.81	v 578
31.78/31.81	v -579
31.78/31.81	v -580
31.78/31.81	v -581
31.78/31.81	v -582
31.78/31.81	v -583
31.78/31.81	v -584
31.78/31.81	v -585
31.78/31.81	v 586
31.78/31.81	v 587
31.78/31.81	v -588
31.78/31.81	v -589
31.78/31.81	v 590
31.78/31.81	v 591
31.78/31.81	v 592
31.78/31.81	v 593
31.78/31.81	v -594
31.78/31.81	v -595
31.78/31.81	v 596
31.78/31.81	v 597
31.78/31.81	v -598
31.78/31.81	v -599
31.78/31.81	v -600
31.78/31.81	v -601
31.78/31.81	v 602
31.78/31.81	v 603
31.78/31.81	v 604
31.78/31.81	v 605
31.78/31.81	v -606
31.78/31.81	v 607
31.78/31.81	v 608
31.78/31.81	v -609
31.78/31.81	v 610
31.78/31.81	v 611
31.78/31.81	v 612
31.78/31.81	v 613
31.78/31.81	v 614
31.78/31.81	v 615
31.78/31.81	v -616
31.78/31.81	v -617
31.78/31.81	v -618
31.78/31.81	v 619
31.78/31.81	v -620
31.78/31.81	v -621
31.78/31.81	v 622
31.78/31.81	v -623
31.78/31.81	v -624
31.78/31.81	v -625
31.78/31.81	v -626
31.78/31.81	v -627
31.78/31.81	v -628
31.78/31.81	v -629
31.78/31.81	v 630
31.78/31.81	v 631
31.78/31.81	v -632
31.78/31.81	v 633
31.78/31.81	v -634
31.78/31.81	v 635
31.78/31.81	v -636
31.78/31.81	v 637
31.78/31.81	v -638
31.78/31.81	v -639
31.78/31.81	v -640
31.78/31.81	v 641
31.78/31.81	v -642
31.78/31.81	v -643
31.78/31.81	v 644
31.78/31.81	v -645
31.78/31.81	v -646
31.78/31.81	v 647
31.78/31.81	v 648
31.78/31.81	v 649
31.78/31.81	v -650
31.78/31.81	v -651
31.78/31.81	v 652
31.78/31.81	v 653
31.78/31.81	v 654
31.78/31.81	v 655
31.78/31.81	v 656
31.78/31.81	v 657
31.78/31.81	v -658
31.78/31.81	v -659
31.78/31.81	v -660
31.78/31.81	v -661
31.78/31.81	v 662
31.78/31.81	v -663
31.78/31.81	v 664
31.78/31.81	v 665
31.78/31.81	v -666
31.78/31.81	v -667
31.78/31.81	v -668
31.78/31.81	v 669
31.78/31.81	v -670
31.78/31.81	v 671
31.78/31.81	v 672
31.78/31.81	v 673
31.78/31.81	v 674
31.78/31.81	v -675
31.78/31.81	v 676
31.78/31.81	v -677
31.78/31.81	v 678
31.78/31.81	v 679
31.78/31.81	v 680
31.78/31.81	v -681
31.78/31.81	v 682
31.78/31.81	v -683
31.78/31.81	v 684
31.78/31.81	v 685
31.78/31.81	v 686
31.78/31.81	v -687
31.78/31.81	v 688
31.78/31.81	v 689
31.78/31.81	v -690
31.78/31.81	v -691
31.78/31.81	v -692
31.78/31.81	v 693
31.78/31.81	v 694
31.78/31.81	v 695
31.78/31.81	v -696
31.78/31.81	v -697
31.78/31.81	v -698
31.78/31.81	v 699
31.78/31.81	v 700
31.78/31.81	v 701
31.78/31.81	v -702
31.78/31.81	v 703
31.78/31.81	v -704
31.78/31.81	v 705
31.78/31.81	v 706
31.78/31.81	v 707
31.78/31.81	v -708
31.78/31.81	v -709
31.78/31.81	v 710
31.78/31.81	v -711
31.78/31.81	v 712
31.78/31.81	v -713
31.78/31.81	v -714
31.78/31.81	v -715
31.78/31.81	v -716
31.78/31.81	v 717
31.78/31.81	v 718
31.78/31.81	v 719
31.78/31.81	v -720
31.78/31.81	v -721
31.78/31.81	v 722
31.78/31.81	v -723
31.78/31.81	v -724
31.78/31.81	v 725
31.78/31.81	v 726
31.78/31.81	v 727
31.78/31.81	v 728
31.78/31.81	v 729
31.78/31.81	v -730
31.78/31.81	v 731
31.78/31.81	v 732
31.78/31.81	v -733
31.78/31.81	v -734
31.78/31.81	v 735
31.78/31.81	v -736
31.78/31.81	v 737
31.78/31.81	v 738
31.78/31.81	v -739
31.78/31.81	v -740
31.78/31.81	v -741
31.78/31.81	v -742
31.78/31.81	v -743
31.78/31.81	v 744
31.78/31.81	v -745
31.78/31.81	v -746
31.78/31.81	v 747
31.78/31.81	v 748
31.78/31.81	v -749
31.78/31.81	v 750
31.78/31.81	v 751
31.78/31.81	v -752
31.78/31.81	v 753
31.78/31.81	v 754
31.78/31.81	v 755
31.78/31.81	v 756
31.78/31.81	v 757
31.78/31.81	v -758
31.78/31.81	v 759
31.78/31.81	v -760
31.78/31.81	v -761
31.78/31.81	v -762
31.78/31.81	v -763
31.78/31.81	v -764
31.78/31.81	v -765
31.78/31.81	v -766
31.78/31.81	v 767
31.78/31.81	v -768
31.78/31.81	v 769
31.78/31.81	v 770
31.78/31.81	v -771
31.78/31.81	v 772
31.78/31.81	v 773
31.78/31.81	v 774
31.78/31.81	v -775
31.78/31.81	v -776
31.78/31.81	v 777
31.78/31.81	v -778
31.78/31.81	v 779
31.78/31.81	v -780
31.78/31.81	v -781
31.78/31.81	v -782
31.78/31.81	v -783
31.78/31.81	v 784
31.78/31.81	v 785
31.78/31.81	v 786
31.78/31.81	v 787
31.78/31.81	v 788
31.78/31.81	v 789
31.78/31.81	v -790
31.78/31.81	v 791
31.78/31.81	v 792
31.78/31.81	v -793
31.78/31.81	v 794
31.78/31.81	v 795
31.78/31.81	v 796
31.78/31.81	v -797
31.78/31.81	v 798
31.78/31.81	v -799
31.78/31.81	v 800
31.78/31.81	v 801
31.78/31.81	v -802
31.78/31.81	v -803
31.78/31.81	v -804
31.78/31.81	v 805
31.78/31.81	v -806
31.78/31.81	v 807
31.78/31.81	v -808
31.78/31.81	v 809
31.78/31.81	v -810
31.78/31.81	v 811
31.78/31.81	v -812
31.78/31.81	v -813
31.78/31.81	v -814
31.78/31.81	v 815
31.78/31.81	v 816
31.78/31.81	v -817
31.78/31.81	v -818
31.78/31.81	v -819
31.78/31.81	v 820
31.78/31.81	v 821
31.78/31.81	v 822
31.78/31.81	v 823
31.78/31.81	v -824
31.78/31.81	v 825
31.78/31.81	v -826
31.78/31.81	v 827
31.78/31.81	v -828
31.78/31.81	v -829
31.78/31.81	v 830
31.78/31.81	v -831
31.78/31.81	v -832
31.78/31.81	v -833
31.78/31.81	v -834
31.78/31.81	v 835
31.78/31.81	v -836
31.78/31.81	v 837
31.78/31.81	v -838
31.78/31.81	v -839
31.78/31.81	v -840
31.78/31.81	v -841
31.78/31.81	v -842
31.78/31.81	v -843
31.78/31.81	v 844
31.78/31.81	v -845
31.78/31.81	v 846
31.78/31.81	v -847
31.78/31.81	v -848
31.78/31.81	v -849
31.78/31.81	v 850
31.78/31.81	v 851
31.78/31.81	v -852
31.78/31.81	v -853
31.78/31.81	v 854
31.78/31.81	v 855
31.78/31.81	v -856
31.78/31.81	v -857
31.78/31.81	v 858
31.78/31.81	v 859
31.78/31.81	v -860
31.78/31.81	v -861
31.78/31.81	v -862
31.78/31.81	v 863
31.78/31.81	v -864
31.78/31.81	v -865
31.78/31.81	v 866
31.78/31.81	v -867
31.78/31.81	v 868
31.78/31.81	v -869
31.78/31.81	v -870
31.78/31.81	v -871
31.78/31.81	v -872
31.78/31.81	v -873
31.78/31.81	v 874
31.78/31.81	v -875
31.78/31.81	v -876
31.78/31.81	v -877
31.78/31.81	v 878
31.78/31.81	v -879
31.78/31.81	v -880
31.78/31.81	v 881
31.78/31.81	v -882
31.78/31.81	v 883
31.78/31.81	v -884
31.78/31.81	v -885
31.78/31.81	v -886
31.78/31.81	v -887
31.78/31.81	v -888
31.78/31.81	v 889
31.78/31.81	v 890
31.78/31.81	v 891
31.78/31.81	v 892
31.78/31.81	v -893
31.78/31.81	v -894
31.78/31.81	v 895
31.78/31.81	v -896
31.78/31.81	v 897
31.78/31.81	v 898
31.78/31.81	v 899
31.78/31.81	v -900
31.78/31.81	v -901
31.78/31.81	v 902
31.78/31.81	v 903
31.78/31.81	v -904
31.78/31.81	v 905
31.78/31.81	v -906
31.78/31.81	v -907
31.78/31.81	v -908
31.78/31.81	v -909
31.78/31.81	v -910
31.78/31.81	v 911
31.78/31.81	v -912
31.78/31.81	v 913
31.78/31.81	v -914
31.78/31.81	v 915
31.78/31.81	v 916
31.78/31.81	v -917
31.78/31.81	v 918
31.78/31.81	v -919
31.78/31.81	v -920
31.78/31.81	v 921
31.78/31.81	v -922
31.78/31.81	v 923
31.78/31.81	v -924
31.78/31.81	v 925
31.78/31.81	v -926
31.78/31.81	v 927
31.78/31.81	v -928
31.78/31.81	v -929
31.78/31.81	v -930
31.78/31.81	v 931
31.78/31.81	v -932
31.78/31.81	v 933
31.78/31.81	v -934
31.78/31.81	v 935
31.78/31.81	v -936
31.78/31.81	v -937
31.78/31.81	v -938
31.78/31.81	v -939
31.78/31.81	v 940
31.78/31.81	v -941
31.78/31.81	v -942
31.78/31.81	v -943
31.78/31.81	v 944
31.78/31.81	v -945
31.78/31.81	v 946
31.78/31.81	v 947
31.78/31.81	v -948
31.78/31.81	v -949
31.78/31.81	v 950
31.78/31.81	v -951
31.78/31.81	v 952
31.78/31.81	v -953
31.78/31.81	v 954
31.78/31.81	v -955
31.78/31.81	v -956
31.78/31.81	v -957
31.78/31.81	v 958
31.78/31.81	v 959
31.78/31.81	v 960
31.78/31.81	v -961
31.78/31.81	v -962
31.78/31.81	v 963
31.78/31.81	v -964
31.78/31.81	v -965
31.78/31.81	v 966
31.78/31.81	v -967
31.78/31.81	v 968
31.78/31.81	v 969
31.78/31.81	v 970
31.78/31.81	v 971
31.78/31.81	v -972
31.78/31.81	v 973
31.78/31.81	v 974
31.78/31.81	v -975
31.78/31.81	v -976
31.78/31.81	v 977
31.78/31.81	v 978
31.78/31.81	v -979
31.78/31.81	v 980
31.78/31.81	v 981
31.78/31.81	v -982
31.78/31.81	v 983
31.78/31.81	v -984
31.78/31.81	v 985
31.78/31.81	v -986
31.78/31.81	v 987
31.78/31.81	v 988
31.78/31.81	v 989
31.78/31.81	v 990
31.78/31.81	v 991
31.78/31.81	v 992
31.78/31.81	v -993
31.78/31.81	v -994
31.78/31.81	v 995
31.78/31.81	v 996
31.78/31.81	v -997
31.78/31.81	v -998
31.78/31.81	v -999
31.78/31.81	v -1000
31.78/31.81	v 1001
31.78/31.81	v 1002
31.78/31.81	v 1003
31.78/31.81	v -1004
31.78/31.81	v -1005
31.78/31.81	v -1006
31.78/31.81	v -1007
31.78/31.81	v 1008
31.78/31.81	v 1009
31.78/31.81	v 1010
31.78/31.81	v 1011
31.78/31.81	v -1012
31.78/31.81	v -1013
31.78/31.81	v -1014
31.78/31.81	v 1015
31.78/31.81	v 1016
31.78/31.81	v -1017
31.78/31.81	v 1018
31.78/31.81	v 1019
31.78/31.81	v -1020
31.78/31.81	v 1021
31.78/31.81	v -1022
31.78/31.81	v 1023
31.78/31.81	v -1024
31.78/31.81	v 1025
31.78/31.81	v 1026
31.78/31.81	v -1027
31.78/31.81	v -1028
31.78/31.81	v -1029
31.78/31.81	v -1030
31.78/31.81	v 1031
31.78/31.81	v -1032
31.78/31.81	v 1033
31.78/31.81	v 1034
31.78/31.81	v -1035
31.78/31.81	v 1036
31.78/31.81	v -1037
31.78/31.81	v -1038
31.78/31.81	v 1039
31.78/31.81	v 1040
31.78/31.81	v -1041
31.78/31.81	v -1042
31.78/31.81	v 1043
31.78/31.81	v 1044
31.78/31.81	v 1045
31.78/31.81	v -1046
31.78/31.81	v 1047
31.78/31.81	v 1048
31.78/31.81	v 1049
31.78/31.81	v -1050
31.78/31.81	v 1051
31.78/31.81	v -1052
31.78/31.81	v -1053
31.78/31.81	v -1054
31.78/31.81	v 1055
31.78/31.81	v -1056
31.78/31.81	v -1057
31.78/31.81	v -1058
31.78/31.81	v -1059
31.78/31.81	v 1060
31.78/31.81	v -1061
31.78/31.81	v -1062
31.78/31.81	v -1063
31.78/31.81	v -1064
31.78/31.81	v 1065
31.78/31.81	v 1066
31.78/31.81	v 1067
31.78/31.81	v 1068
31.78/31.81	v -1069
31.78/31.81	v 1070
31.78/31.81	v -1071
31.78/31.81	v 1072
31.78/31.81	v -1073
31.78/31.81	v -1074
31.78/31.81	v -1075
31.78/31.81	v 1076
31.78/31.81	v 1077
31.78/31.81	v 1078
31.78/31.81	v 1079
31.78/31.81	v -1080
31.78/31.81	v 1081
31.78/31.81	v -1082
31.78/31.81	v -1083
31.78/31.81	v -1084
31.78/31.81	v 1085
31.78/31.81	v -1086
31.78/31.81	v 1087
31.78/31.81	v 1088
31.78/31.81	v 1089
31.78/31.81	v -1090
31.78/31.81	v 1091
31.78/31.81	v 1092
31.78/31.81	v 1093
31.78/31.81	v -1094
31.78/31.81	v -1095
31.78/31.81	v -1096
31.78/31.81	v -1097
31.78/31.81	v -1098
31.78/31.81	v -1099
31.78/31.81	v -1100
31.78/31.81	v -1101
31.78/31.81	v -1102
31.78/31.81	v -1103
31.78/31.81	v -1104
31.78/31.81	v -1105
31.78/31.81	v 1106
31.78/31.81	v -1107
31.78/31.81	v 1108
31.78/31.81	v -1109
31.78/31.81	v 1110
31.78/31.81	v -1111
31.78/31.81	v -1112
31.78/31.81	v -1113
31.78/31.81	v -1114
31.78/31.81	v 1115
31.78/31.81	v 1116
31.78/31.81	v 1117
31.78/31.81	v 1118
31.78/31.81	v -1119
31.78/31.81	v 1120
31.78/31.81	v -1121
31.78/31.81	v 1122
31.78/31.81	v -1123
31.78/31.81	v -1124
31.78/31.81	v 1125
31.78/31.81	v -1126
31.78/31.81	v 1127
31.78/31.81	v -1128
31.78/31.81	v -1129
31.78/31.81	v 1130
31.78/31.81	v -1131
31.78/31.81	v 1132
31.78/31.81	v 1133
31.78/31.81	v -1134
31.78/31.81	v 1135
31.78/31.81	v 1136
31.78/31.81	v 1137
31.78/31.81	v 1138
31.78/31.81	v 1139
31.78/31.81	v 1140
31.78/31.81	v 1141
31.78/31.81	v 1142
31.78/31.81	v 1143
31.78/31.81	v -1144
31.78/31.81	v -1145
31.78/31.81	v -1146
31.78/31.81	v 1147
31.78/31.81	v 1148
31.78/31.81	v 1149
31.78/31.81	v -1150
31.78/31.81	v 1151
31.78/31.81	v 1152
31.78/31.81	v 1153
31.78/31.81	v 1154
31.78/31.81	v 1155
31.78/31.81	v 1156
31.78/31.81	v 1157
31.78/31.81	v 1158
31.78/31.81	v 1159
31.78/31.81	v 1160
31.78/31.81	v 1161
31.78/31.81	v 1162
31.78/31.81	v -1163
31.78/31.81	v 1164
31.78/31.81	v 1165
31.78/31.81	v -1166
31.78/31.81	v 1167
31.78/31.81	v 1168
31.78/31.81	v -1169
31.78/31.81	v 1170
31.78/31.81	v -1171
31.78/31.81	v -1172
31.78/31.81	v -1173
31.78/31.81	v 1174
31.78/31.81	v -1175
31.78/31.81	v -1176
31.78/31.81	v -1177
31.78/31.81	v -1178
31.78/31.81	v -1179
31.78/31.81	v 1180
31.78/31.81	v -1181
31.78/31.81	v -1182
31.78/31.81	v -1183
31.78/31.81	v 1184
31.78/31.81	v 1185
31.78/31.81	v 1186
31.78/31.81	v 1187
31.78/31.81	v -1188
31.78/31.81	v 1189
31.78/31.81	v 1190
31.78/31.81	v -1191
31.78/31.81	v -1192
31.78/31.81	v 1193
31.78/31.81	v -1194
31.78/31.81	v 1195
31.78/31.81	v -1196
31.78/31.81	v -1197
31.78/31.81	v -1198
31.78/31.81	v 1199
31.78/31.81	v 1200
31.78/31.81	v -1201
31.78/31.81	v -1202
31.78/31.81	v -1203
31.78/31.81	v 1204
31.78/31.81	v -1205
31.78/31.81	v 1206
31.78/31.81	v -1207
31.78/31.81	v 1208
31.78/31.81	v 1209
31.78/31.81	v -1210
31.78/31.81	v -1211
31.78/31.81	v 1212
31.78/31.81	v 1213
31.78/31.81	v -1214
31.78/31.81	v 1215
31.78/31.81	v 1216
31.78/31.81	v -1217
31.78/31.81	v 1218
31.78/31.81	v -1219
31.78/31.81	v 1220
31.78/31.81	v -1221
31.78/31.81	v -1222
31.78/31.81	v 1223
31.78/31.81	v -1224
31.78/31.81	v -1225
31.78/31.81	v 1226
31.78/31.81	v -1227
31.78/31.81	v -1228
31.78/31.81	v 1229
31.78/31.81	v 1230
31.78/31.81	v -1231
31.78/31.81	v -1232
31.78/31.81	v 1233
31.78/31.81	v 1234
31.78/31.81	v -1235
31.78/31.81	v -1236
31.78/31.81	v 1237
31.78/31.81	v 1238
31.78/31.81	v -1239
31.78/31.81	v -1240
31.78/31.81	v -1241
31.78/31.81	v 1242
31.78/31.81	v 1243
31.78/31.81	v 1244
31.78/31.81	v -1245
31.78/31.81	v 1246
31.78/31.81	v -1247
31.78/31.81	v 1248
31.78/31.81	v 1249
31.78/31.81	v -1250
31.78/31.81	v 1251
31.78/31.81	v 1252
31.78/31.81	v 1253
31.78/31.81	v -1254
31.78/31.81	v -1255
31.78/31.81	v 1256
31.78/31.81	v -1257
31.78/31.81	v 1258
31.78/31.81	v -1259
31.78/31.81	v 1260
31.78/31.81	v 1261
31.78/31.81	v 1262
31.78/31.81	v -1263
31.78/31.81	v -1264
31.78/31.81	v -1265
31.78/31.81	v 1266
31.78/31.81	v -1267
31.78/31.81	v -1268
31.78/31.81	v -1269
31.78/31.81	v 1270
31.78/31.81	v -1271
31.78/31.81	v -1272
31.78/31.81	v -1273
31.78/31.81	v 1274
31.78/31.81	v 1275
31.78/31.81	v 1276
31.78/31.81	v -1277
31.78/31.81	v -1278
31.78/31.81	v -1279
31.78/31.81	v -1280
31.78/31.81	v -1281
31.78/31.81	v -1282
31.78/31.81	v -1283
31.78/31.81	v 1284
31.78/31.81	v -1285
31.78/31.81	v 1286
31.78/31.81	v 1287
31.78/31.81	v -1288
31.78/31.81	v 1289
31.78/31.81	v 1290
31.78/31.81	v -1291
31.78/31.81	v -1292
31.78/31.81	v 1293
31.78/31.81	v -1294
31.78/31.81	v 1295
31.78/31.81	v -1296
31.78/31.81	v -1297
31.78/31.81	v 1298
31.78/31.81	v -1299
31.78/31.81	v 1300
31.78/31.81	v 1301
31.78/31.81	v 1302
31.78/31.81	v -1303
31.78/31.81	v -1304
31.78/31.81	v -1305
31.78/31.81	v -1306
31.78/31.81	v -1307
31.78/31.81	v 1308
31.78/31.81	v 1309
31.78/31.81	v -1310
31.78/31.81	v -1311
31.78/31.81	v -1312
31.78/31.81	v -1313
31.78/31.81	v 1314
31.78/31.81	v -1315
31.78/31.81	v 1316
31.78/31.81	v 1317
31.78/31.81	v 1318
31.78/31.81	v -1319
31.78/31.81	v -1320
31.78/31.81	v 1321
31.78/31.81	v -1322
31.78/31.81	v -1323
31.78/31.81	v 1324
31.78/31.81	v -1325
31.78/31.81	v -1326
31.78/31.81	v -1327
31.78/31.81	v 1328
31.78/31.81	v -1329
31.78/31.81	v 1330
31.78/31.81	v 1331
31.78/31.81	v -1332
31.78/31.81	v 1333
31.78/31.81	v 1334
31.78/31.81	v -1335
31.78/31.81	v -1336
31.78/31.81	v 1337
31.78/31.81	v -1338
31.78/31.81	v 1339
31.78/31.81	v -1340
31.78/31.81	v -1341
31.78/31.81	v -1342
31.78/31.81	v -1343
31.78/31.81	v 1344
31.78/31.81	v 1345
31.78/31.81	v -1346
31.78/31.81	v 1347
31.78/31.81	v 1348
31.78/31.81	v -1349
31.78/31.81	v -1350
31.78/31.81	v -1351
31.78/31.81	v -1352
31.78/31.81	v 1353
31.78/31.81	v -1354
31.78/31.81	v 1355
31.78/31.81	v -1356
31.78/31.81	v -1357
31.78/31.81	v -1358
31.78/31.81	v 1359
31.78/31.81	v -1360
31.78/31.81	v -1361
31.78/31.81	v -1362
31.78/31.81	v -1363
31.78/31.81	v 1364
31.78/31.81	v 1365
31.78/31.81	v -1366
31.78/31.81	v -1367
31.78/31.81	v 1368
31.78/31.81	v -1369
31.78/31.81	v -1370
31.78/31.81	v -1371
31.78/31.81	v 1372
31.78/31.81	v -1373
31.78/31.81	v 1374
31.78/31.81	v -1375
31.78/31.81	v 1376
31.78/31.81	v 1377
31.78/31.81	v 1378
31.78/31.81	v 1379
31.78/31.81	v 1380
31.78/31.81	v 1381
31.78/31.81	v -1382
31.78/31.81	v -1383
31.78/31.81	v -1384
31.78/31.81	v -1385
31.78/31.81	v -1386
31.78/31.81	v -1387
31.78/31.81	v 1388
31.78/31.81	v 1389
31.78/31.81	v 1390
31.78/31.81	v -1391
31.78/31.81	v -1392
31.78/31.81	v -1393
31.78/31.81	v 1394
31.78/31.81	v -1395
31.78/31.81	v -1396
31.78/31.81	v -1397
31.78/31.81	v 1398
31.78/31.81	v 1399
31.78/31.81	v 1400
31.78/31.81	v -1401
31.78/31.81	v -1402
31.78/31.81	v 1403
31.78/31.81	v 1404
31.78/31.81	v -1405
31.78/31.81	v 1406
31.78/31.81	v 1407
31.78/31.81	v -1408
31.78/31.81	v -1409
31.78/31.81	v 1410
31.78/31.81	v -1411
31.78/31.81	v 1412
31.78/31.81	v 1413
31.78/31.81	v -1414
31.78/31.81	v -1415
31.78/31.81	v -1416
31.78/31.81	v 1417
31.78/31.81	v 1418
31.78/31.81	v -1419
31.78/31.81	v 1420
31.78/31.81	v 1421
31.78/31.81	v 1422
31.78/31.81	v 1423
31.78/31.81	v 1424
31.78/31.81	v 1425
31.78/31.81	v 1426
31.78/31.81	v -1427
31.78/31.81	v -1428
31.78/31.81	v -1429
31.78/31.81	v -1430
31.78/31.81	v -1431
31.78/31.81	v 1432
31.78/31.81	v 1433
31.78/31.81	v -1434
31.78/31.81	v 1435
31.78/31.81	v 1436
31.78/31.81	v -1437
31.78/31.81	v 1438
31.78/31.81	v -1439
31.78/31.81	v 1440
31.78/31.81	v -1441
31.78/31.81	v -1442
31.78/31.81	v 1443
31.78/31.81	v 1444
31.78/31.81	v 1445
31.78/31.81	v -1446
31.78/31.81	v -1447
31.78/31.81	v 1448
31.78/31.81	v -1449
31.78/31.81	v 1450
31.78/31.81	v 1451
31.78/31.81	v -1452
31.78/31.81	v -1453
31.78/31.81	v 1454
31.78/31.81	v 1455
31.78/31.81	v 1456
31.78/31.81	v -1457
31.78/31.81	v -1458
31.78/31.81	v 1459
31.78/31.81	v 1460
31.78/31.81	v -1461
31.78/31.81	v 1462
31.78/31.81	v -1463
31.78/31.81	v 1464
31.78/31.81	v 1465
31.78/31.81	v -1466
31.78/31.81	v 1467
31.78/31.81	v -1468
31.78/31.81	v -1469
31.78/31.81	v 1470
31.78/31.81	v -1471
31.78/31.81	v 1472
31.78/31.81	v 1473
31.78/31.81	v 1474
31.78/31.81	v -1475
31.78/31.81	v 1476
31.78/31.81	v -1477
31.78/31.81	v -1478
31.78/31.81	v 1479
31.78/31.81	v 1480
31.78/31.81	v -1481
31.78/31.81	v 1482
31.78/31.81	v 1483
31.78/31.81	v 1484
31.78/31.81	v -1485
31.78/31.81	v 1486
31.78/31.81	v 1487
31.78/31.81	v 1488
31.78/31.81	v -1489
31.78/31.81	v 1490
31.78/31.81	v 1491
31.78/31.81	v -1492
31.78/31.81	v 1493
31.78/31.81	v 1494
31.78/31.81	v -1495
31.78/31.81	v 1496
31.78/31.81	v -1497
31.78/31.81	v -1498
31.78/31.81	v 1499
31.78/31.81	v -1500
31.78/31.81	v -1501
31.78/31.81	v -1502
31.78/31.81	v 1503
31.78/31.81	v -1504
31.78/31.81	v -1505
31.78/31.81	v 1506
31.78/31.81	v -1507
31.78/31.81	v 1508
31.78/31.81	v 1509
31.78/31.81	v -1510
31.78/31.81	v 1511
31.78/31.81	v 1512
31.78/31.81	v 1513
31.78/31.81	v -1514
31.78/31.81	v 1515
31.78/31.81	v -1516
31.78/31.81	v -1517
31.78/31.81	v 1518
31.78/31.81	v -1519
31.78/31.81	v 1520
31.78/31.81	v 1521
31.78/31.81	v 1522
31.78/31.81	v -1523
31.78/31.81	v -1524
31.78/31.81	v 1525
31.78/31.81	v -1526
31.78/31.81	v -1527
31.78/31.81	v -1528
31.78/31.81	v -1529
31.78/31.81	v 1530
31.78/31.81	v 1531
31.78/31.81	v 1532
31.78/31.81	v 1533
31.78/31.81	v -1534
31.78/31.81	v -1535
31.78/31.81	v -1536
31.78/31.81	v 1537
31.78/31.81	v 1538
31.78/31.81	v 1539
31.78/31.81	v 1540
31.78/31.81	v 1541
31.78/31.81	v -1542
31.78/31.81	v -1543
31.78/31.81	v -1544
31.78/31.81	v 1545
31.78/31.81	v -1546
31.78/31.81	v -1547
31.78/31.81	v 1548
31.78/31.81	v 1549
31.78/31.81	v 1550
31.78/31.81	v 1551
31.78/31.81	v -1552
31.78/31.81	v 1553
31.78/31.81	v -1554
31.78/31.81	v 1555
31.78/31.81	v -1556
31.78/31.81	v 1557
31.78/31.81	v -1558
31.78/31.81	v -1559
31.78/31.81	v -1560
31.78/31.81	v -1561
31.78/31.81	v -1562
31.78/31.81	v -1563
31.78/31.81	v -1564
31.78/31.81	v 1565
31.78/31.81	v 1566
31.78/31.81	v -1567
31.78/31.81	v -1568
31.78/31.81	v 1569
31.78/31.81	v 1570
31.78/31.81	v 1571
31.78/31.81	v -1572
31.78/31.81	v -1573
31.78/31.81	v -1574
31.78/31.81	v 1575
31.78/31.81	v -1576
31.78/31.81	v 1577
31.78/31.81	v -1578
31.78/31.81	v 1579
31.78/31.81	v 1580
31.78/31.81	v 1581
31.78/31.81	v 1582
31.78/31.81	v -1583
31.78/31.81	v 1584
31.78/31.81	v 1585
31.78/31.81	v -1586
31.78/31.81	v -1587
31.78/31.81	v 1588
31.78/31.81	v 1589
31.78/31.81	v -1590
31.78/31.81	v 1591
31.78/31.81	v 1592
31.78/31.81	v 1593
31.78/31.81	v 1594
31.78/31.81	v 1595
31.78/31.81	v 1596
31.78/31.81	v 1597
31.78/31.81	v -1598
31.78/31.81	v 1599
31.78/31.81	v 1600
31.78/31.81	v 1601
31.78/31.81	v 1602
31.78/31.81	v 1603
31.78/31.81	v 1604
31.78/31.81	v -1605
31.78/31.81	v -1606
31.78/31.81	v 1607
31.78/31.81	v 1608
31.78/31.81	v -1609
31.78/31.81	v 1610
31.78/31.81	v 1611
31.78/31.81	v -1612
31.78/31.81	v 1613
31.78/31.81	v 1614
31.78/31.81	v 1615
31.78/31.81	v 1616
31.78/31.81	v -1617
31.78/31.81	v -1618
31.78/31.81	v -1619
31.78/31.81	v 1620
31.78/31.81	v -1621
31.78/31.81	v 1622
31.78/31.81	v -1623
31.78/31.81	v 1624
31.78/31.81	v 1625
31.78/31.81	v 1626
31.78/31.81	v 1627
31.78/31.81	v -1628
31.78/31.81	v -1629
31.78/31.81	v -1630
31.78/31.81	v -1631
31.78/31.81	v 1632
31.78/31.81	v -1633
31.78/31.81	v -1634
31.78/31.81	v -1635
31.78/31.81	v 1636
31.78/31.81	v -1637
31.78/31.81	v 1638
31.78/31.81	v 1639
31.78/31.81	v -1640
31.78/31.81	v -1641
31.78/31.81	v 1642
31.78/31.81	v -1643
31.78/31.81	v 1644
31.78/31.81	v -1645
31.78/31.81	v -1646
31.78/31.81	v 1647
31.78/31.81	v 1648
31.78/31.81	v 1649
31.78/31.81	v -1650
31.78/31.81	v 1651
31.78/31.81	v 1652
31.78/31.81	v 1653
31.78/31.81	v -1654
31.78/31.81	v -1655
31.78/31.81	v -1656
31.78/31.81	v 1657
31.78/31.81	v -1658
31.78/31.81	v 1659
31.78/31.81	v 1660
31.78/31.81	v 1661
31.78/31.81	v -1662
31.78/31.81	v -1663
31.78/31.81	v -1664
31.78/31.81	v 1665
31.78/31.81	v 0
31.78/31.81	c Done in 31.710000 seconds

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-424045-1177831835 -o ROOT/results/node33/solver-424045-1177831835 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/424045-1177831835/ranov /tmp/evaluation/424045-1177831835/instance-424045-1177831835.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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.94 1.45 1.51 3/77 27714
/proc/meminfo: memFree=1585952/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=319884 CPUtime=0
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 853 0 0 0 0 0 0 0 18 0 1 0 231098991 327561216 839 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 79971 846 30 98 0 79870 0

[startup+0.099052 s]
/proc/loadavg: 0.94 1.45 1.51 3/77 27714
/proc/meminfo: memFree=1585952/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=0.09
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 5 4 0 0 18 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514908 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 328136

[startup+0.101053 s]
/proc/loadavg: 0.94 1.45 1.51 3/77 27714
/proc/meminfo: memFree=1585952/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=0.09
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 5 4 0 0 18 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 328136

[startup+0.301094 s]
/proc/loadavg: 0.94 1.45 1.51 3/77 27714
/proc/meminfo: memFree=1585952/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=0.29
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 25 4 0 0 19 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514866 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 328136

[startup+0.701177 s]
/proc/loadavg: 0.94 1.45 1.51 3/77 27714
/proc/meminfo: memFree=1585952/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=0.69
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 65 4 0 0 23 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514908 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 328136

[startup+1.50134 s]
/proc/loadavg: 0.94 1.45 1.51 2/78 27715
/proc/meminfo: memFree=1538008/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=1.49
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 145 4 0 0 25 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513762 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 328136

[startup+3.10167 s]
/proc/loadavg: 0.94 1.45 1.51 2/78 27715
/proc/meminfo: memFree=1537816/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=3.09
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 305 4 0 0 25 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 328136

[startup+6.30132 s]
/proc/loadavg: 0.94 1.44 1.51 2/78 27715
/proc/meminfo: memFree=1537752/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=6.29
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 625 4 0 0 25 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134534257 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 328136

[startup+12.7016 s]
/proc/loadavg: 0.95 1.43 1.51 2/78 27715
/proc/meminfo: memFree=1537752/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=12.68
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 1264 4 0 0 25 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513418 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 328136

[startup+25.5013 s]
/proc/loadavg: 0.96 1.41 1.50 2/78 27715
/proc/meminfo: memFree=1537752/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=25.48
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 2544 4 0 0 25 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513296 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 328136

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

[startup+28.7019 s]
/proc/loadavg: 0.96 1.41 1.50 2/78 27715
/proc/meminfo: memFree=1537752/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=28.68
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 2864 4 0 0 25 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513801 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 328136

[startup+30.3012 s]
/proc/loadavg: 0.96 1.41 1.50 2/78 27715
/proc/meminfo: memFree=1537688/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=30.27
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 3023 4 0 0 25 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514944 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 30.27
Current children cumulated vsize (KiB) 328136

[startup+31.1014 s]
/proc/loadavg: 0.96 1.41 1.50 2/78 27715
/proc/meminfo: memFree=1537688/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=31.07
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 3103 4 0 0 25 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513362 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 31.07
Current children cumulated vsize (KiB) 328136

[startup+31.5015 s]
/proc/loadavg: 0.96 1.41 1.50 2/78 27715
/proc/meminfo: memFree=1537688/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=31.47
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 3143 4 0 0 25 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513488 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 31.47
Current children cumulated vsize (KiB) 328136

[startup+31.7015 s]
/proc/loadavg: 0.96 1.41 1.50 2/78 27715
/proc/meminfo: memFree=1537688/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=31.67
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 3163 4 0 0 25 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 31.67
Current children cumulated vsize (KiB) 328136

[startup+31.8016 s]
/proc/loadavg: 0.96 1.41 1.50 2/78 27715
/proc/meminfo: memFree=1537688/2055920 swapFree=4147768/4192956
[pid=27714] ppid=27712 vsize=328136 CPUtime=31.78
/proc/27714/stat : 27714 (ranov) R 27712 27714 26159 0 -1 4194304 12005 0 0 0 3174 4 0 0 25 0 1 0 231098991 336011264 11990 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513310 0 0 4096 0 0 0 0 17 1 0 0
/proc/27714/statm: 82034 11990 42 98 0 81933 0
Current children cumulated CPU time (s) 31.78
Current children cumulated vsize (KiB) 328136

Child status: 10
Real time (s): 31.8262
CPU time (s): 31.8072
CPU user time (s): 31.7502
CPU system time (s): 0.056991
CPU usage (%): 99.9401
Max. virtual memory (cumulated for all children) (KiB): 328136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.7502
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12017
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= 15
involuntary context switches= 64

runsolver used 0.029995 second user time and 0.081987 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Sun Apr 29 07:30:35 UTC 2007

IDJOB= 424045
IDBENCH= 20337
IDSOLVER= 193
FILE ID= node33/424045-1177831835

PBS_JOBID= 4718263

Free space on /tmp= 66564 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v1665/unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf
COMMAND LINE= /tmp/evaluation/424045-1177831835/ranov /tmp/evaluation/424045-1177831835/instance-424045-1177831835.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-424045-1177831835 -o ROOT/results/node33/solver-424045-1177831835 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/424045-1177831835/ranov /tmp/evaluation/424045-1177831835/instance-424045-1177831835.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  d278f0ab23fc6647da28c17830cf2da7

RANDOM SEED= 183991369

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1586424 kB
Buffers:         44608 kB
Cached:         351320 kB
SwapCached:      14656 kB
Active:         222260 kB
Inactive:       198236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1586424 kB
SwapTotal:     4192956 kB
SwapFree:      4147768 kB
Dirty:             984 kB
Writeback:           0 kB
Mapped:          30912 kB
Slab:            34320 kB
Committed_AS:  1889436 kB
PageTables:       1996 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= 66564 MiB

End job on node33 on Sun Apr 29 07:31:07 UTC 2007