Trace number 312349

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
gnovelty+ 2007-02-08SAT 476.913 477.564

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node39/watcher-312349-1172586741 -o ROOT/results/node39/solver-312349-1172586741 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/312349-1172586741/gnovelty+ /tmp/evaluation/312349-1172586741/instance-312349-1172586741.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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.00 0.03 0.34 2/64 31438
/proc/meminfo: memFree=1824000/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=244700 CPUtime=0
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 856 0 0 0 0 0 0 0 18 0 1 0 278632653 250572800 841 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134518504 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 61175 849 39 99 0 61074 0

[startup+0.106448 s]
/proc/loadavg: 0.00 0.03 0.34 2/64 31438
/proc/meminfo: memFree=1824000/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=0.1
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 9 1 0 0 18 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513935 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 252512

[startup+0.514514 s]
/proc/loadavg: 0.00 0.03 0.34 2/64 31438
/proc/meminfo: memFree=1824000/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=0.51
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 50 1 0 0 21 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134540242 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 252512

[startup+1.33466 s]
/proc/loadavg: 0.08 0.05 0.35 2/65 31439
/proc/meminfo: memFree=1815480/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=1.33
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 132 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513443 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 252512

[startup+2.97094 s]
/proc/loadavg: 0.08 0.05 0.35 2/65 31439
/proc/meminfo: memFree=1815352/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=2.96
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 295 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513837 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 252512

[startup+6.25049 s]
/proc/loadavg: 0.08 0.05 0.35 2/65 31439
/proc/meminfo: memFree=1815352/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=6.24
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 623 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134514002 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 252512

[startup+12.7036 s]
/proc/loadavg: 0.22 0.08 0.35 2/65 31439
/proc/meminfo: memFree=1815224/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=12.69
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 1268 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134514043 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 252512

[startup+25.5088 s]
/proc/loadavg: 0.34 0.11 0.36 2/65 31439
/proc/meminfo: memFree=1815224/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=25.49
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 2548 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513549 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 252512

[startup+51.1142 s]
/proc/loadavg: 0.56 0.18 0.38 2/65 31439
/proc/meminfo: memFree=1815224/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=51.09
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 5108 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513471 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 252512

[startup+102.323 s]
/proc/loadavg: 0.82 0.31 0.41 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=102.28
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 10227 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513943 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 252512

[startup+162.339 s]
/proc/loadavg: 0.93 0.44 0.44 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=162.28
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 16227 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513696 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 252512

[startup+222.35 s]
/proc/loadavg: 0.97 0.54 0.47 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=222.27
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 22226 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513313 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 252512

[startup+282.363 s]
/proc/loadavg: 0.99 0.62 0.50 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=282.26
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 28225 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513335 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 252512

[startup+342.382 s]
/proc/loadavg: 0.99 0.68 0.53 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=342.26
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 34225 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513271 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 252512

[startup+402.402 s]
/proc/loadavg: 0.99 0.74 0.56 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=402.26
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 40225 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513478 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 252512

[startup+462.417 s]
/proc/loadavg: 0.99 0.78 0.58 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=462.26
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 46225 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513271 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 252512

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

[startup+465.387 s]
/proc/loadavg: 0.99 0.78 0.58 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=465.23
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 46522 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513443 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 465.23
Current children cumulated vsize (KiB) 252512

[startup+471.939 s]
/proc/loadavg: 0.99 0.79 0.59 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=471.78
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 47177 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513699 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 471.78
Current children cumulated vsize (KiB) 252512

[startup+475.216 s]
/proc/loadavg: 0.99 0.79 0.59 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=475.05
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 47504 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513837 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 475.05
Current children cumulated vsize (KiB) 252512

[startup+476.856 s]
/proc/loadavg: 0.99 0.79 0.59 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=252512 CPUtime=476.69
/proc/31438/stat : 31438 (gnovelty+) R 31436 31438 31378 0 -1 4194304 2152 0 0 0 47668 1 0 0 25 0 1 0 278632653 258572288 2136 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513353 0 0 4096 0 0 0 0 17 1 0 0
/proc/31438/statm: 63128 2136 44 99 0 63027 0
Current children cumulated CPU time (s) 476.69
Current children cumulated vsize (KiB) 252512

[startup+477.266 s]
/proc/loadavg: 0.99 0.79 0.59 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=0 CPUtime=476.9
/proc/31438/stat : 31438 (gnovelty+) D 31436 31438 31378 0 -1 4194308 2164 0 0 0 47689 1 0 0 16 0 1 0 278632653 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100051646 0 0 17 1 0 0
/proc/31438/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 476.9
Current children cumulated vsize (KiB) 0

[startup+477.47 s]
/proc/loadavg: 0.99 0.79 0.59 2/65 31439
/proc/meminfo: memFree=1815160/2055920 swapFree=4161536/4192956
[pid=31438] ppid=31436 vsize=0 CPUtime=476.9
/proc/31438/stat : 31438 (gnovelty+) D 31436 31438 31378 0 -1 4194308 2164 0 0 0 47689 1 0 0 16 0 1 0 278632653 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100051646 0 0 17 1 0 0
/proc/31438/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 476.9
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 477.564
CPU time (s): 476.913
CPU user time (s): 476.897
CPU system time (s): 0.015997
CPU usage (%): 99.8636
Max. virtual memory (cumulated for all children) (KiB): 252512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 476.897
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2164
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= 16
involuntary context switches= 741

runsolver used 0.318951 second user time and 0.966853 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue Feb 27 14:32:35 UTC 2007

IDJOB= 312349
IDBENCH= 20339
IDSOLVER= 116
FILE ID= node39/312349-1172586741

PBS_JOBID= 3971947

Free space on /tmp= 66558 MiB

SOLVER NAME= gnovelty+ 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/312349-1172586741/gnovelty+ /tmp/evaluation/312349-1172586741/instance-312349-1172586741.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-312349-1172586741 -o ROOT/results/node39/solver-312349-1172586741 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/312349-1172586741/gnovelty+ /tmp/evaluation/312349-1172586741/instance-312349-1172586741.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  7e1a5d981a0c30d9ab9110d5ea4aeb04

RANDOM SEED= 484338488

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.285
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.285
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:       1824464 kB
Buffers:         26296 kB
Cached:         134972 kB
SwapCached:      25868 kB
Active:          97568 kB
Inactive:        95904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1824464 kB
SwapTotal:     4192956 kB
SwapFree:      4161536 kB
Dirty:            1040 kB
Writeback:           0 kB
Mapped:          15084 kB
Slab:            24092 kB
Committed_AS:   670220 kB
PageTables:       1412 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= 66558 MiB

End job on node39 on Tue Feb 27 14:44:26 UTC 2007