Trace number 424049

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 203.506 203.586

General information on the benchmark

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

[startup+0.022665 s]
/proc/loadavg: 0.99 1.05 1.36 3/64 9071
/proc/meminfo: memFree=1382596/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=319884 CPUtime=0.01
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 4076 0 0 0 0 1 0 0 18 0 1 0 231100607 327561216 4062 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 79971 4070 30 98 0 79870 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 319884

[startup+0.101671 s]
/proc/loadavg: 0.99 1.05 1.36 3/64 9071
/proc/meminfo: memFree=1382596/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=0.09
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 4 5 0 0 18 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134519941 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 328136

[startup+0.301689 s]
/proc/loadavg: 0.99 1.05 1.36 3/64 9071
/proc/meminfo: memFree=1382596/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=0.29
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 24 5 0 0 19 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513310 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 328136

[startup+0.701726 s]
/proc/loadavg: 0.99 1.05 1.36 3/64 9071
/proc/meminfo: memFree=1382596/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=0.69
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 64 5 0 0 22 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 328136

[startup+1.5018 s]
/proc/loadavg: 0.99 1.05 1.36 2/65 9072
/proc/meminfo: memFree=1334524/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=1.49
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 144 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513810 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 328136

[startup+3.10195 s]
/proc/loadavg: 0.99 1.05 1.36 2/65 9072
/proc/meminfo: memFree=1334396/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=3.09
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 304 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 328136

[startup+6.30126 s]
/proc/loadavg: 0.99 1.05 1.35 2/65 9072
/proc/meminfo: memFree=1334396/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=6.29
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 624 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513274 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 328136

[startup+12.7019 s]
/proc/loadavg: 0.99 1.05 1.35 2/65 9072
/proc/meminfo: memFree=1334332/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=12.69
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 1264 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513285 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 328136

[startup+25.5011 s]
/proc/loadavg: 0.99 1.05 1.35 2/65 9072
/proc/meminfo: memFree=1334332/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=25.49
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 2544 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134519985 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 328136

[startup+51.1015 s]
/proc/loadavg: 0.99 1.04 1.34 2/65 9072
/proc/meminfo: memFree=1334332/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=51.08
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 5103 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513190 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 328136

[startup+102.305 s]
/proc/loadavg: 0.99 1.03 1.32 2/65 9072
/proc/meminfo: memFree=1334268/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=102.27
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 10222 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513488 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 328136

[startup+162.301 s]
/proc/loadavg: 0.99 1.02 1.29 2/65 9072
/proc/meminfo: memFree=1334204/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=162.25
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 16220 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513740 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 328136

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

[startup+179.102 s]
/proc/loadavg: 0.99 1.02 1.29 2/65 9072
/proc/meminfo: memFree=1334204/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=179.04
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 17899 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134534286 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 328136

[startup+191.902 s]
/proc/loadavg: 0.99 1.02 1.28 2/65 9072
/proc/meminfo: memFree=1334204/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=191.84
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 19179 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 191.84
Current children cumulated vsize (KiB) 328136

[startup+198.301 s]
/proc/loadavg: 0.99 1.02 1.28 2/65 9072
/proc/meminfo: memFree=1334204/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=198.24
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 19819 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513843 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 198.24
Current children cumulated vsize (KiB) 328136

[startup+201.502 s]
/proc/loadavg: 0.99 1.02 1.28 2/65 9072
/proc/meminfo: memFree=1334204/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=201.44
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 20139 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513801 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 201.44
Current children cumulated vsize (KiB) 328136

[startup+202.303 s]
/proc/loadavg: 0.99 1.02 1.28 2/65 9072
/proc/meminfo: memFree=1334204/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=202.24
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 20219 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513725 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (KiB) 328136

[startup+203.102 s]
/proc/loadavg: 0.99 1.02 1.28 2/65 9072
/proc/meminfo: memFree=1334204/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=203.04
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 20299 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513222 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 203.04
Current children cumulated vsize (KiB) 328136

[startup+203.505 s]
/proc/loadavg: 0.99 1.02 1.28 2/65 9072
/proc/meminfo: memFree=1334204/2055920 swapFree=4184544/4192956
[pid=9071] ppid=9069 vsize=328136 CPUtime=203.44
/proc/9071/stat : 9071 (ranov) R 9069 9071 7421 0 -1 4194304 12010 0 0 0 20339 5 0 0 25 0 1 0 231100607 336011264 11995 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514777 0 0 4096 0 0 0 0 17 1 0 0
/proc/9071/statm: 82034 11995 42 98 0 81933 0
Current children cumulated CPU time (s) 203.44
Current children cumulated vsize (KiB) 328136

Child status: 10
Real time (s): 203.586
CPU time (s): 203.506
CPU user time (s): 203.442
CPU system time (s): 0.06399
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 328136

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

runsolver used 0.160975 second user time and 0.407937 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Sun Apr 29 07:31:46 UTC 2007

IDJOB= 424049
IDBENCH= 20339
IDSOLVER= 193
FILE ID= node55/424049-1177831906

PBS_JOBID= 4718276

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-S1404069132-16-SAT.cnf
COMMAND LINE= /tmp/evaluation/424049-1177831906/ranov /tmp/evaluation/424049-1177831906/instance-424049-1177831906.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-424049-1177831906 -o ROOT/results/node55/solver-424049-1177831906 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/424049-1177831906/ranov /tmp/evaluation/424049-1177831906/instance-424049-1177831906.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  7e1a5d981a0c30d9ab9110d5ea4aeb04

RANDOM SEED= 775561454

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1383068 kB
Buffers:         59760 kB
Cached:         526428 kB
SwapCached:       2556 kB
Active:         316248 kB
Inactive:       280088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1383068 kB
SwapTotal:     4192956 kB
SwapFree:      4184544 kB
Dirty:             984 kB
Writeback:           0 kB
Mapped:          16576 kB
Slab:            62640 kB
Committed_AS:  1394788 kB
PageTables:       1380 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 node55 on Sun Apr 29 07:35:10 UTC 2007