Trace number 423764

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 527.716 527.888

General information on the benchmark

Namerandom/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S409844453-15.cnf
MD5SUM58c189a77b8c83423395850401eab73e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark181.615
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses16000
Sum of the clauses size80000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 516000
Number of clauses of size over 50

Solver Data (download as text)

1.19/1.24	c +------------------------------+
1.19/1.24	c | R+AdaptNovelty+, version 1.5 |
1.19/1.24	c +------------------------------+
1.19/1.24	c ranov -h for help
1.19/1.24	c 
1.19/1.24	c Problem instance: numAtoms = 800, numClauses = 16000, numLiterals = 80000
1.19/1.24	c General parameters: seed=166679450, cutoff=100000, targetCost = 0, print solution: yes
1.19/1.24	c R+AdaptNovelty+ parameters: noise = 0, walkprob = 1
1.19/1.24	c tries = 1
1.19/1.24	c 
527.62/527.87	s SATISFIABLE
527.62/527.87	v 1
527.62/527.87	v -2
527.62/527.87	v -3
527.62/527.87	v 4
527.62/527.87	v 5
527.62/527.87	v 6
527.62/527.87	v -7
527.62/527.87	v 8
527.62/527.87	v 9
527.62/527.87	v -10
527.62/527.87	v 11
527.62/527.87	v -12
527.62/527.87	v -13
527.62/527.87	v -14
527.62/527.87	v 15
527.62/527.87	v -16
527.62/527.87	v 17
527.62/527.87	v 18
527.62/527.87	v -19
527.62/527.87	v -20
527.62/527.87	v -21
527.62/527.87	v 22
527.62/527.87	v -23
527.62/527.87	v -24
527.62/527.87	v 25
527.62/527.87	v -26
527.62/527.87	v -27
527.62/527.87	v -28
527.62/527.87	v -29
527.62/527.87	v -30
527.62/527.87	v 31
527.62/527.87	v 32
527.62/527.87	v -33
527.62/527.87	v -34
527.62/527.87	v 35
527.62/527.87	v 36
527.62/527.87	v 37
527.62/527.87	v -38
527.62/527.87	v -39
527.62/527.87	v 40
527.62/527.87	v 41
527.62/527.87	v 42
527.62/527.87	v 43
527.62/527.87	v 44
527.62/527.87	v 45
527.62/527.87	v -46
527.62/527.87	v 47
527.62/527.87	v -48
527.62/527.87	v -49
527.62/527.87	v 50
527.62/527.87	v 51
527.62/527.87	v -52
527.62/527.87	v 53
527.62/527.87	v -54
527.62/527.87	v -55
527.62/527.87	v -56
527.62/527.87	v -57
527.62/527.87	v 58
527.62/527.87	v 59
527.62/527.87	v 60
527.62/527.87	v -61
527.62/527.87	v -62
527.62/527.87	v -63
527.62/527.87	v -64
527.62/527.87	v 65
527.62/527.87	v 66
527.62/527.87	v -67
527.62/527.87	v 68
527.62/527.87	v 69
527.62/527.87	v -70
527.62/527.87	v 71
527.62/527.87	v 72
527.62/527.87	v -73
527.62/527.87	v -74
527.62/527.87	v 75
527.62/527.87	v 76
527.62/527.87	v 77
527.62/527.87	v -78
527.62/527.87	v 79
527.62/527.87	v -80
527.62/527.87	v 81
527.62/527.87	v 82
527.62/527.87	v -83
527.62/527.87	v -84
527.62/527.87	v -85
527.62/527.87	v 86
527.62/527.87	v 87
527.62/527.87	v 88
527.62/527.87	v 89
527.62/527.87	v 90
527.62/527.87	v -91
527.62/527.87	v -92
527.62/527.87	v 93
527.62/527.87	v 94
527.62/527.87	v -95
527.62/527.87	v -96
527.62/527.87	v -97
527.62/527.87	v 98
527.62/527.87	v 99
527.62/527.87	v -100
527.62/527.87	v -101
527.62/527.87	v -102
527.62/527.87	v -103
527.62/527.87	v 104
527.62/527.87	v 105
527.62/527.87	v -106
527.62/527.87	v -107
527.62/527.87	v -108
527.62/527.87	v 109
527.62/527.87	v -110
527.62/527.87	v 111
527.62/527.87	v -112
527.62/527.87	v 113
527.62/527.87	v 114
527.62/527.87	v -115
527.62/527.87	v -116
527.62/527.87	v 117
527.62/527.87	v -118
527.62/527.87	v 119
527.62/527.87	v 120
527.62/527.87	v -121
527.62/527.87	v 122
527.62/527.87	v 123
527.62/527.87	v 124
527.62/527.87	v 125
527.62/527.87	v 126
527.62/527.87	v 127
527.62/527.87	v -128
527.62/527.87	v 129
527.62/527.87	v -130
527.62/527.87	v 131
527.62/527.87	v 132
527.62/527.87	v -133
527.62/527.87	v -134
527.62/527.87	v -135
527.62/527.87	v -136
527.62/527.87	v 137
527.62/527.87	v -138
527.62/527.87	v -139
527.62/527.87	v -140
527.62/527.87	v 141
527.62/527.87	v -142
527.62/527.87	v -143
527.62/527.87	v -144
527.62/527.87	v 145
527.62/527.87	v 146
527.62/527.87	v 147
527.62/527.87	v -148
527.62/527.87	v -149
527.62/527.87	v -150
527.62/527.87	v -151
527.62/527.87	v -152
527.62/527.87	v 153
527.62/527.87	v -154
527.62/527.87	v 155
527.62/527.87	v 156
527.62/527.87	v 157
527.62/527.87	v 158
527.62/527.87	v 159
527.62/527.87	v -160
527.62/527.87	v -161
527.62/527.87	v -162
527.62/527.87	v -163
527.62/527.87	v -164
527.62/527.87	v 165
527.62/527.87	v -166
527.62/527.87	v -167
527.62/527.87	v -168
527.62/527.87	v -169
527.62/527.87	v 170
527.62/527.87	v 171
527.62/527.87	v 172
527.62/527.87	v -173
527.62/527.87	v -174
527.62/527.87	v 175
527.62/527.87	v -176
527.62/527.87	v 177
527.62/527.87	v -178
527.62/527.87	v -179
527.62/527.87	v 180
527.62/527.87	v 181
527.62/527.87	v -182
527.62/527.87	v 183
527.62/527.87	v -184
527.62/527.87	v -185
527.62/527.87	v 186
527.62/527.87	v -187
527.62/527.87	v 188
527.62/527.87	v 189
527.62/527.87	v 190
527.62/527.87	v -191
527.62/527.87	v -192
527.62/527.87	v 193
527.62/527.87	v -194
527.62/527.87	v 195
527.62/527.87	v -196
527.62/527.87	v -197
527.62/527.87	v -198
527.62/527.87	v -199
527.62/527.87	v 200
527.62/527.87	v 201
527.62/527.87	v -202
527.62/527.87	v -203
527.62/527.87	v 204
527.62/527.87	v -205
527.62/527.87	v -206
527.62/527.87	v 207
527.62/527.87	v -208
527.62/527.87	v 209
527.62/527.87	v -210
527.62/527.87	v 211
527.62/527.87	v 212
527.62/527.87	v -213
527.62/527.87	v -214
527.62/527.87	v -215
527.62/527.87	v -216
527.62/527.87	v -217
527.62/527.87	v 218
527.62/527.87	v -219
527.62/527.87	v 220
527.62/527.87	v 221
527.62/527.87	v -222
527.62/527.87	v -223
527.62/527.87	v -224
527.62/527.87	v -225
527.62/527.87	v 226
527.62/527.87	v -227
527.62/527.87	v 228
527.62/527.87	v -229
527.62/527.87	v -230
527.62/527.87	v 231
527.62/527.87	v -232
527.62/527.87	v -233
527.62/527.87	v -234
527.62/527.87	v 235
527.62/527.87	v 236
527.62/527.87	v -237
527.62/527.87	v 238
527.62/527.87	v -239
527.62/527.87	v 240
527.62/527.87	v -241
527.62/527.87	v 242
527.62/527.87	v -243
527.62/527.87	v -244
527.62/527.87	v -245
527.62/527.87	v -246
527.62/527.87	v 247
527.62/527.87	v -248
527.62/527.87	v 249
527.62/527.87	v 250
527.62/527.87	v -251
527.62/527.87	v -252
527.62/527.87	v -253
527.62/527.87	v 254
527.62/527.87	v 255
527.62/527.87	v 256
527.62/527.87	v 257
527.62/527.87	v -258
527.62/527.87	v 259
527.62/527.87	v -260
527.62/527.87	v -261
527.62/527.87	v 262
527.62/527.87	v -263
527.62/527.87	v 264
527.62/527.87	v 265
527.62/527.87	v -266
527.62/527.87	v -267
527.62/527.87	v 268
527.62/527.87	v 269
527.62/527.87	v -270
527.62/527.87	v 271
527.62/527.87	v -272
527.62/527.87	v 273
527.62/527.87	v 274
527.62/527.87	v 275
527.62/527.87	v 276
527.62/527.87	v 277
527.62/527.87	v 278
527.62/527.87	v -279
527.62/527.87	v -280
527.62/527.87	v -281
527.62/527.87	v 282
527.62/527.87	v -283
527.62/527.87	v 284
527.62/527.87	v 285
527.62/527.87	v 286
527.62/527.87	v 287
527.62/527.87	v 288
527.62/527.87	v -289
527.62/527.87	v -290
527.62/527.87	v -291
527.62/527.87	v 292
527.62/527.87	v 293
527.62/527.87	v -294
527.62/527.87	v -295
527.62/527.87	v -296
527.62/527.87	v -297
527.62/527.87	v 298
527.62/527.87	v 299
527.62/527.87	v -300
527.62/527.87	v -301
527.62/527.87	v 302
527.62/527.87	v 303
527.62/527.87	v 304
527.62/527.87	v 305
527.62/527.87	v -306
527.62/527.87	v -307
527.62/527.87	v 308
527.62/527.87	v -309
527.62/527.87	v -310
527.62/527.87	v 311
527.62/527.87	v -312
527.62/527.87	v 313
527.62/527.87	v -314
527.62/527.87	v -315
527.62/527.87	v -316
527.62/527.87	v 317
527.62/527.87	v 318
527.62/527.87	v 319
527.62/527.87	v 320
527.62/527.87	v -321
527.62/527.87	v -322
527.62/527.87	v 323
527.62/527.87	v 324
527.62/527.87	v 325
527.62/527.87	v 326
527.62/527.87	v -327
527.62/527.87	v 328
527.62/527.87	v 329
527.62/527.87	v 330
527.62/527.87	v -331
527.62/527.87	v -332
527.62/527.87	v 333
527.62/527.87	v 334
527.62/527.87	v -335
527.62/527.87	v -336
527.62/527.87	v 337
527.62/527.87	v 338
527.62/527.87	v -339
527.62/527.87	v -340
527.62/527.87	v -341
527.62/527.87	v -342
527.62/527.87	v -343
527.62/527.87	v -344
527.62/527.87	v -345
527.62/527.87	v 346
527.62/527.87	v 347
527.62/527.87	v -348
527.62/527.87	v -349
527.62/527.87	v -350
527.62/527.87	v -351
527.62/527.87	v -352
527.62/527.87	v -353
527.62/527.87	v -354
527.62/527.87	v -355
527.62/527.87	v -356
527.62/527.87	v 357
527.62/527.87	v -358
527.62/527.87	v 359
527.62/527.87	v 360
527.62/527.87	v 361
527.62/527.87	v 362
527.62/527.87	v 363
527.62/527.87	v 364
527.62/527.87	v 365
527.62/527.87	v 366
527.62/527.87	v 367
527.62/527.87	v -368
527.62/527.87	v 369
527.62/527.87	v -370
527.62/527.87	v -371
527.62/527.87	v 372
527.62/527.87	v 373
527.62/527.87	v 374
527.62/527.87	v 375
527.62/527.87	v -376
527.62/527.87	v 377
527.62/527.87	v 378
527.62/527.87	v -379
527.62/527.87	v -380
527.62/527.87	v -381
527.62/527.87	v 382
527.62/527.87	v -383
527.62/527.87	v -384
527.62/527.87	v -385
527.62/527.87	v 386
527.62/527.87	v -387
527.62/527.87	v -388
527.62/527.87	v 389
527.62/527.87	v 390
527.62/527.87	v -391
527.62/527.87	v -392
527.62/527.87	v 393
527.62/527.87	v -394
527.62/527.87	v 395
527.62/527.87	v -396
527.62/527.87	v -397
527.62/527.87	v 398
527.62/527.87	v 399
527.62/527.87	v -400
527.62/527.87	v 401
527.62/527.87	v -402
527.62/527.87	v -403
527.62/527.87	v -404
527.62/527.87	v -405
527.62/527.87	v 406
527.62/527.87	v 407
527.62/527.87	v 408
527.62/527.87	v 409
527.62/527.87	v -410
527.62/527.87	v 411
527.62/527.87	v -412
527.62/527.87	v -413
527.62/527.87	v -414
527.62/527.87	v -415
527.62/527.87	v 416
527.62/527.87	v -417
527.62/527.87	v -418
527.62/527.87	v 419
527.62/527.87	v -420
527.62/527.87	v -421
527.62/527.87	v -422
527.62/527.87	v 423
527.62/527.87	v 424
527.62/527.87	v 425
527.62/527.87	v -426
527.62/527.87	v 427
527.62/527.87	v -428
527.62/527.87	v -429
527.62/527.87	v -430
527.62/527.87	v -431
527.62/527.87	v 432
527.62/527.87	v 433
527.62/527.87	v -434
527.62/527.87	v 435
527.62/527.87	v 436
527.62/527.87	v 437
527.62/527.87	v -438
527.62/527.87	v 439
527.62/527.87	v 440
527.62/527.87	v -441
527.62/527.87	v -442
527.62/527.87	v -443
527.62/527.87	v 444
527.62/527.87	v 445
527.62/527.87	v -446
527.62/527.87	v -447
527.62/527.87	v 448
527.62/527.87	v -449
527.62/527.87	v 450
527.62/527.87	v 451
527.62/527.87	v 452
527.62/527.87	v 453
527.62/527.87	v -454
527.62/527.87	v -455
527.62/527.87	v -456
527.62/527.87	v -457
527.62/527.87	v -458
527.62/527.87	v 459
527.62/527.87	v -460
527.62/527.87	v 461
527.62/527.87	v -462
527.62/527.87	v -463
527.62/527.87	v 464
527.62/527.87	v 465
527.62/527.87	v -466
527.62/527.87	v -467
527.62/527.87	v 468
527.62/527.87	v -469
527.62/527.87	v -470
527.62/527.87	v -471
527.62/527.87	v 472
527.62/527.87	v 473
527.62/527.87	v -474
527.62/527.87	v 475
527.62/527.87	v 476
527.62/527.87	v -477
527.62/527.87	v -478
527.62/527.87	v -479
527.62/527.87	v 480
527.62/527.87	v 481
527.62/527.87	v 482
527.62/527.87	v 483
527.62/527.87	v 484
527.62/527.87	v -485
527.62/527.87	v -486
527.62/527.87	v 487
527.62/527.87	v 488
527.62/527.87	v -489
527.62/527.87	v -490
527.62/527.87	v -491
527.62/527.87	v -492
527.62/527.87	v -493
527.62/527.87	v 494
527.62/527.87	v 495
527.62/527.87	v 496
527.62/527.87	v 497
527.62/527.87	v 498
527.62/527.87	v -499
527.62/527.87	v -500
527.62/527.87	v 501
527.62/527.87	v -502
527.62/527.87	v -503
527.62/527.87	v -504
527.62/527.87	v -505
527.62/527.87	v 506
527.62/527.87	v 507
527.62/527.87	v -508
527.62/527.87	v -509
527.62/527.87	v -510
527.62/527.87	v 511
527.62/527.87	v -512
527.62/527.87	v -513
527.62/527.87	v -514
527.62/527.87	v 515
527.62/527.87	v 516
527.62/527.87	v -517
527.62/527.87	v -518
527.62/527.87	v -519
527.62/527.87	v -520
527.62/527.87	v 521
527.62/527.87	v 522
527.62/527.87	v -523
527.62/527.87	v 524
527.62/527.87	v -525
527.62/527.87	v 526
527.62/527.87	v 527
527.62/527.87	v 528
527.62/527.87	v -529
527.62/527.87	v -530
527.62/527.87	v -531
527.62/527.87	v 532
527.62/527.87	v 533
527.62/527.87	v 534
527.62/527.87	v 535
527.62/527.87	v 536
527.62/527.87	v -537
527.62/527.87	v -538
527.62/527.87	v 539
527.62/527.87	v -540
527.62/527.87	v -541
527.62/527.87	v -542
527.62/527.87	v 543
527.62/527.87	v -544
527.62/527.87	v 545
527.62/527.87	v 546
527.62/527.87	v 547
527.62/527.87	v -548
527.62/527.87	v 549
527.62/527.87	v 550
527.62/527.87	v 551
527.62/527.87	v 552
527.62/527.87	v -553
527.62/527.87	v 554
527.62/527.87	v 555
527.62/527.87	v -556
527.62/527.87	v -557
527.62/527.87	v 558
527.62/527.87	v -559
527.62/527.87	v -560
527.62/527.87	v -561
527.62/527.87	v -562
527.62/527.87	v 563
527.62/527.87	v 564
527.62/527.87	v -565
527.62/527.87	v -566
527.62/527.87	v -567
527.62/527.87	v -568
527.62/527.87	v -569
527.62/527.87	v 570
527.62/527.87	v -571
527.62/527.87	v -572
527.62/527.87	v 573
527.62/527.87	v 574
527.62/527.87	v 575
527.62/527.87	v 576
527.62/527.87	v -577
527.62/527.87	v 578
527.62/527.87	v -579
527.62/527.87	v -580
527.62/527.87	v -581
527.62/527.87	v -582
527.62/527.87	v 583
527.62/527.87	v 584
527.62/527.87	v -585
527.62/527.87	v 586
527.62/527.87	v -587
527.62/527.87	v 588
527.62/527.87	v 589
527.62/527.87	v 590
527.62/527.87	v 591
527.62/527.87	v 592
527.62/527.87	v -593
527.62/527.87	v 594
527.62/527.87	v -595
527.62/527.87	v -596
527.62/527.87	v -597
527.62/527.87	v 598
527.62/527.87	v 599
527.62/527.87	v -600
527.62/527.87	v 601
527.62/527.87	v -602
527.62/527.87	v -603
527.62/527.87	v -604
527.62/527.87	v -605
527.62/527.87	v -606
527.62/527.87	v -607
527.62/527.87	v -608
527.62/527.87	v -609
527.62/527.87	v -610
527.62/527.87	v 611
527.62/527.87	v -612
527.62/527.87	v 613
527.62/527.87	v -614
527.62/527.87	v 615
527.62/527.87	v -616
527.62/527.87	v -617
527.62/527.87	v 618
527.62/527.87	v -619
527.62/527.87	v -620
527.62/527.87	v -621
527.62/527.87	v 622
527.62/527.87	v -623
527.62/527.87	v -624
527.62/527.87	v 625
527.62/527.87	v 626
527.62/527.87	v -627
527.62/527.87	v 628
527.62/527.87	v -629
527.62/527.87	v -630
527.62/527.87	v 631
527.62/527.87	v 632
527.62/527.87	v 633
527.62/527.87	v 634
527.62/527.87	v 635
527.62/527.87	v 636
527.62/527.87	v -637
527.62/527.87	v 638
527.62/527.87	v -639
527.62/527.87	v -640
527.62/527.87	v -641
527.62/527.87	v -642
527.62/527.87	v -643
527.62/527.87	v 644
527.62/527.87	v -645
527.62/527.87	v 646
527.62/527.87	v -647
527.62/527.87	v -648
527.62/527.87	v 649
527.62/527.87	v 650
527.62/527.87	v -651
527.62/527.87	v 652
527.62/527.87	v 653
527.62/527.87	v -654
527.62/527.87	v 655
527.62/527.87	v 656
527.62/527.87	v -657
527.62/527.87	v 658
527.62/527.87	v 659
527.62/527.87	v -660
527.62/527.87	v 661
527.62/527.87	v -662
527.62/527.87	v -663
527.62/527.87	v 664
527.62/527.87	v 665
527.62/527.87	v -666
527.62/527.87	v -667
527.62/527.87	v -668
527.62/527.87	v -669
527.62/527.87	v -670
527.62/527.87	v -671
527.62/527.87	v 672
527.62/527.87	v 673
527.62/527.87	v 674
527.62/527.87	v 675
527.62/527.87	v -676
527.62/527.87	v -677
527.62/527.87	v 678
527.62/527.87	v -679
527.62/527.87	v -680
527.62/527.87	v -681
527.62/527.87	v -682
527.62/527.87	v 683
527.62/527.87	v 684
527.62/527.87	v -685
527.62/527.87	v -686
527.62/527.87	v 687
527.62/527.87	v -688
527.62/527.87	v 689
527.62/527.87	v -690
527.62/527.87	v 691
527.62/527.87	v -692
527.62/527.87	v -693
527.62/527.87	v -694
527.62/527.87	v -695
527.62/527.87	v -696
527.62/527.87	v -697
527.62/527.87	v -698
527.62/527.87	v -699
527.62/527.87	v 700
527.62/527.87	v 701
527.62/527.87	v 702
527.62/527.87	v -703
527.62/527.87	v 704
527.62/527.87	v 705
527.62/527.87	v 706
527.62/527.87	v 707
527.62/527.87	v 708
527.62/527.87	v -709
527.62/527.87	v -710
527.62/527.87	v -711
527.62/527.87	v -712
527.62/527.87	v -713
527.62/527.87	v -714
527.62/527.87	v 715
527.62/527.87	v -716
527.62/527.87	v -717
527.62/527.87	v 718
527.62/527.87	v -719
527.62/527.87	v -720
527.62/527.87	v 721
527.62/527.87	v -722
527.62/527.87	v 723
527.62/527.87	v -724
527.62/527.87	v 725
527.62/527.87	v 726
527.62/527.87	v -727
527.62/527.87	v 728
527.62/527.87	v 729
527.62/527.87	v 730
527.62/527.87	v -731
527.62/527.87	v -732
527.62/527.87	v -733
527.62/527.87	v 734
527.62/527.87	v 735
527.62/527.87	v -736
527.62/527.87	v 737
527.62/527.87	v 738
527.62/527.87	v 739
527.62/527.87	v -740
527.62/527.87	v 741
527.62/527.87	v -742
527.62/527.87	v 743
527.62/527.87	v 744
527.62/527.87	v 745
527.62/527.87	v 746
527.62/527.87	v -747
527.62/527.87	v -748
527.62/527.87	v -749
527.62/527.87	v -750
527.62/527.87	v -751
527.62/527.87	v 752
527.62/527.87	v 753
527.62/527.87	v -754
527.62/527.87	v 755
527.62/527.87	v 756
527.62/527.87	v -757
527.62/527.87	v -758
527.62/527.87	v 759
527.62/527.87	v 760
527.62/527.87	v -761
527.62/527.87	v -762
527.62/527.87	v -763
527.62/527.87	v 764
527.62/527.87	v 765
527.62/527.87	v -766
527.62/527.87	v 767
527.62/527.87	v 768
527.62/527.87	v 769
527.62/527.87	v -770
527.62/527.87	v -771
527.62/527.87	v 772
527.62/527.87	v -773
527.62/527.87	v 774
527.62/527.87	v 775
527.62/527.87	v 776
527.62/527.87	v -777
527.62/527.87	v 778
527.62/527.87	v -779
527.62/527.87	v 780
527.62/527.87	v -781
527.62/527.87	v -782
527.62/527.87	v -783
527.62/527.87	v -784
527.62/527.87	v -785
527.62/527.87	v -786
527.62/527.87	v -787
527.62/527.87	v 788
527.62/527.87	v 789
527.62/527.87	v 790
527.62/527.87	v 791
527.62/527.87	v 792
527.62/527.87	v 793
527.62/527.87	v 794
527.62/527.87	v -795
527.62/527.87	v -796
527.62/527.87	v 797
527.62/527.87	v 798
527.62/527.87	v 799
527.62/527.87	v -800
527.62/527.88	v 0
527.62/527.88	c Done in 526.530000 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/node24/watcher-423764-1177829542 -o ROOT/results/node24/solver-423764-1177829542 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/423764-1177829542/ranov /tmp/evaluation/423764-1177829542/instance-423764-1177829542.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.95 0.96 0.97 3/77 9671
/proc/meminfo: memFree=1468552/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=319884 CPUtime=0
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 878 0 0 0 0 0 0 0 18 0 1 0 230872238 327561216 864 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 79971 871 30 98 0 79870 0

[startup+0.085149 s]
/proc/loadavg: 0.95 0.96 0.97 3/77 9671
/proc/meminfo: memFree=1468552/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=320996 CPUtime=0.07
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 10043 0 0 0 3 4 0 0 18 0 1 0 230872238 328699904 10028 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134529408 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 80249 10036 38 98 0 80148 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 320996

[startup+0.10115 s]
/proc/loadavg: 0.95 0.96 0.97 3/77 9671
/proc/meminfo: memFree=1468552/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=320996 CPUtime=0.09
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 10174 0 0 0 5 4 0 0 18 0 1 0 230872238 328699904 10159 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134529696 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 80249 10159 39 98 0 80148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 320996

[startup+0.301173 s]
/proc/loadavg: 0.95 0.96 0.97 3/77 9671
/proc/meminfo: memFree=1468552/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=321280 CPUtime=0.29
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 10225 0 0 0 25 4 0 0 19 0 1 0 230872238 328990720 10210 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134523903 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 80320 10210 39 98 0 80219 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 321280

[startup+0.701214 s]
/proc/loadavg: 0.95 0.96 0.97 3/77 9671
/proc/meminfo: memFree=1468552/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=321420 CPUtime=0.69
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 10273 0 0 0 65 4 0 0 23 0 1 0 230872238 329134080 10258 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134523903 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 80355 10258 39 98 0 80254 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 321420

[startup+1.5013 s]
/proc/loadavg: 0.95 0.96 0.97 2/78 9672
/proc/meminfo: memFree=1427456/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=1.49
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 144 5 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513779 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 329772

[startup+3.10147 s]
/proc/loadavg: 0.95 0.96 0.97 2/78 9672
/proc/meminfo: memFree=1417984/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=3.09
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 304 5 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 329772

[startup+6.30182 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 9672
/proc/meminfo: memFree=1417984/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=6.29
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 624 5 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 329772

[startup+12.7025 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 9672
/proc/meminfo: memFree=1417856/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=12.69
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 1264 5 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513813 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 329772

[startup+25.5019 s]
/proc/loadavg: 0.97 0.96 0.97 2/78 9672
/proc/meminfo: memFree=1417792/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=25.48
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 2543 5 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513499 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 329772

[startup+51.1017 s]
/proc/loadavg: 1.04 0.98 0.97 2/78 9672
/proc/meminfo: memFree=1417792/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=51.08
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 5103 5 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513828 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 329772

[startup+102.305 s]
/proc/loadavg: 1.01 0.98 0.97 2/78 9672
/proc/meminfo: memFree=1417792/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=102.27
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 10222 5 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 329772

[startup+162.302 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 9672
/proc/meminfo: memFree=1417792/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=162.25
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 16220 5 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513700 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 329772

[startup+222.301 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 9672
/proc/meminfo: memFree=1417792/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=222.24
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 22218 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513471 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 329772

[startup+282.302 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 9672
/proc/meminfo: memFree=1417792/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=282.22
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 28216 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 329772

[startup+342.301 s]
/proc/loadavg: 1.00 0.98 0.97 2/78 9672
/proc/meminfo: memFree=1417728/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=342.2
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 34214 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 329772

[startup+402.302 s]
/proc/loadavg: 1.03 0.99 0.98 2/78 9672
/proc/meminfo: memFree=1417728/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=402.19
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 40213 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513701 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 329772

[startup+462.301 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 9672
/proc/meminfo: memFree=1417728/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=462.17
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 46211 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513740 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 329772

[startup+522.302 s]
/proc/loadavg: 1.03 1.01 0.98 2/84 9698
/proc/meminfo: memFree=1416464/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=522.14
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 52208 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513743 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 329772

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

[startup+524.707 s]
/proc/loadavg: 1.03 1.00 0.98 2/84 9738
/proc/meminfo: memFree=1416392/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=524.53
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 52447 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 524.53
Current children cumulated vsize (KiB) 329772

[startup+526.302 s]
/proc/loadavg: 1.03 1.00 0.98 2/84 9744
/proc/meminfo: memFree=1416456/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=526.12
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 52606 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134534176 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 526.12
Current children cumulated vsize (KiB) 329772

[startup+527.101 s]
/proc/loadavg: 1.03 1.00 0.98 2/84 9744
/proc/meminfo: memFree=1416456/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=526.92
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 52686 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 526.92
Current children cumulated vsize (KiB) 329772

[startup+527.501 s]
/proc/loadavg: 1.03 1.00 0.98 2/84 9744
/proc/meminfo: memFree=1416456/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=527.32
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 52726 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513665 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 527.32
Current children cumulated vsize (KiB) 329772

[startup+527.701 s]
/proc/loadavg: 1.03 1.00 0.98 2/84 9744
/proc/meminfo: memFree=1416456/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=527.52
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 52746 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 527.52
Current children cumulated vsize (KiB) 329772

[startup+527.801 s]
/proc/loadavg: 1.03 1.00 0.98 2/84 9744
/proc/meminfo: memFree=1416456/2055920 swapFree=4143384/4192956
[pid=9671] ppid=9669 vsize=329772 CPUtime=527.62
/proc/9671/stat : 9671 (ranov) R 9669 9671 8906 0 -1 4194304 12618 0 0 0 52756 6 0 0 25 0 1 0 230872238 337686528 12603 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/9671/statm: 82443 12603 42 98 0 82342 0
Current children cumulated CPU time (s) 527.62
Current children cumulated vsize (KiB) 329772

Child status: 10
Real time (s): 527.888
CPU time (s): 527.716
CPU user time (s): 527.643
CPU system time (s): 0.072988
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 329772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 527.643
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12629
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= 9
involuntary context switches= 10953

runsolver used 0.398939 second user time and 1.16882 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Sun Apr 29 06:52:22 UTC 2007

IDJOB= 423764
IDBENCH= 20032
IDSOLVER= 193
FILE ID= node24/423764-1177829542

PBS_JOBID= 4718251

Free space on /tmp= 66563 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S409844453-15.cnf
COMMAND LINE= /tmp/evaluation/423764-1177829542/ranov /tmp/evaluation/423764-1177829542/instance-423764-1177829542.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-423764-1177829542 -o ROOT/results/node24/solver-423764-1177829542 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/423764-1177829542/ranov /tmp/evaluation/423764-1177829542/instance-423764-1177829542.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  58c189a77b8c83423395850401eab73e

RANDOM SEED= 769301425

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1469024 kB
Buffers:         51036 kB
Cached:         443816 kB
SwapCached:      17936 kB
Active:         298608 kB
Inactive:       220364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1469024 kB
SwapTotal:     4192956 kB
SwapFree:      4143384 kB
Dirty:            1308 kB
Writeback:           0 kB
Mapped:          30372 kB
Slab:            53420 kB
Committed_AS:  3848508 kB
PageTables:       1808 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= 66563 MiB

End job on node24 on Sun Apr 29 07:01:10 UTC 2007