Trace number 423780

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 884.109 884.452

General information on the benchmark

Namerandom/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1121059923-10.cnf
MD5SUM66b921164fd5e4b2a03cd80961fa2940
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark470.761
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses14000
Sum of the clauses size70000
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 514000
Number of clauses of size over 50

Solver Data (download as text)

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

[startup+0.033063 s]
/proc/loadavg: 1.84 1.97 1.98 3/64 3320
/proc/meminfo: memFree=1322236/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=319892 CPUtime=0.02
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 4982 0 0 0 1 1 0 0 18 0 1 0 258950743 327569408 4968 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134566063 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 79973 4968 38 98 0 79872 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 319892

[startup+0.101069 s]
/proc/loadavg: 1.84 1.97 1.98 3/64 3320
/proc/meminfo: memFree=1322236/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=320840 CPUtime=0.09
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 10136 0 0 0 6 3 0 0 18 0 1 0 258950743 328540160 10121 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134529696 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 80210 10121 39 98 0 80109 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 320840

[startup+0.30109 s]
/proc/loadavg: 1.84 1.97 1.98 3/64 3320
/proc/meminfo: memFree=1322236/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=321120 CPUtime=0.29
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 10183 0 0 0 26 3 0 0 19 0 1 0 258950743 328826880 10168 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134524186 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 80280 10168 39 98 0 80179 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 321120

[startup+0.701134 s]
/proc/loadavg: 1.84 1.97 1.98 3/64 3320
/proc/meminfo: memFree=1322236/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=321264 CPUtime=0.69
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 10229 0 0 0 66 3 0 0 22 0 1 0 258950743 328974336 10214 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134523787 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 80316 10214 39 98 0 80215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 321264

[startup+1.50122 s]
/proc/loadavg: 1.84 1.97 1.98 2/65 3321
/proc/meminfo: memFree=1281268/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=1.49
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 145 4 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513408 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 329484

[startup+3.10239 s]
/proc/loadavg: 1.84 1.97 1.98 2/65 3321
/proc/meminfo: memFree=1272052/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=3.09
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 305 4 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 329484

[startup+6.30173 s]
/proc/loadavg: 1.77 1.95 1.97 2/65 3321
/proc/meminfo: memFree=1271996/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=6.29
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 624 5 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513488 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 329484

[startup+12.7014 s]
/proc/loadavg: 1.71 1.93 1.97 2/65 3321
/proc/meminfo: memFree=1271940/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=12.69
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 1264 5 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 329484

[startup+25.5018 s]
/proc/loadavg: 1.55 1.89 1.95 2/65 3321
/proc/meminfo: memFree=1271940/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=25.49
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 2544 5 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513465 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 329484

[startup+51.1015 s]
/proc/loadavg: 1.36 1.82 1.93 2/65 3321
/proc/meminfo: memFree=1271940/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=51.08
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 5103 5 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513743 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 329484

[startup+102.306 s]
/proc/loadavg: 1.16 1.69 1.87 2/65 3321
/proc/meminfo: memFree=1271876/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=102.27
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 10222 5 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513743 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 329484

[startup+162.301 s]
/proc/loadavg: 1.06 1.56 1.82 2/65 3321
/proc/meminfo: memFree=1271940/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=162.24
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 16219 5 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 329484

[startup+222.302 s]
/proc/loadavg: 1.02 1.45 1.76 2/65 3321
/proc/meminfo: memFree=1271876/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=222.23
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 22218 5 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 329484

[startup+282.302 s]
/proc/loadavg: 1.00 1.37 1.71 2/65 3321
/proc/meminfo: memFree=1271876/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=282.21
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 28216 5 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514886 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 329484

[startup+342.301 s]
/proc/loadavg: 1.00 1.30 1.66 2/65 3321
/proc/meminfo: memFree=1271812/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=342.19
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 34214 5 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 329484

[startup+402.302 s]
/proc/loadavg: 1.00 1.24 1.62 2/65 3321
/proc/meminfo: memFree=1271812/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=402.17
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 40212 5 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 329484

[startup+462.302 s]
/proc/loadavg: 1.00 1.20 1.58 2/71 3393
/proc/meminfo: memFree=1270676/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=462.14
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 46208 6 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513285 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 329484

[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.54 2/65 3519
/proc/meminfo: memFree=1271556/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=522.05
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 52199 6 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 329484

[startup+582.302 s]
/proc/loadavg: 1.00 1.13 1.50 2/65 3519
/proc/meminfo: memFree=1271620/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=582.04
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 58198 6 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513285 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 329484

[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.47 2/65 3519
/proc/meminfo: memFree=1271620/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=642.02
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 64196 6 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514886 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 329484

[startup+702.301 s]
/proc/loadavg: 1.00 1.08 1.44 2/65 3519
/proc/meminfo: memFree=1271620/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=702
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 70194 6 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 329484

[startup+762.306 s]
/proc/loadavg: 1.00 1.06 1.41 2/65 3519
/proc/meminfo: memFree=1271620/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=761.98
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 76192 6 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134519951 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 329484

[startup+822.301 s]
/proc/loadavg: 1.00 1.05 1.38 2/65 3519
/proc/meminfo: memFree=1271620/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=821.96
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 82190 6 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513698 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 329484

[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.35 2/65 3519
/proc/meminfo: memFree=1271620/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=881.95
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 88188 7 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513499 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 329484

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

[startup+883.102 s]
/proc/loadavg: 1.00 1.04 1.35 2/65 3519
/proc/meminfo: memFree=1271620/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=882.75
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 88268 7 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513623 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 882.75
Current children cumulated vsize (KiB) 329484

[startup+883.902 s]
/proc/loadavg: 1.00 1.04 1.35 2/65 3519
/proc/meminfo: memFree=1271620/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=883.55
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 88348 7 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513296 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 883.55
Current children cumulated vsize (KiB) 329484

[startup+884.303 s]
/proc/loadavg: 1.00 1.04 1.35 2/65 3519
/proc/meminfo: memFree=1271620/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=883.96
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 88389 7 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 883.96
Current children cumulated vsize (KiB) 329484

[startup+884.406 s]
/proc/loadavg: 1.00 1.04 1.35 2/65 3519
/proc/meminfo: memFree=1271620/2055920 swapFree=4182936/4192956
[pid=3320] ppid=3318 vsize=329484 CPUtime=884.06
/proc/3320/stat : 3320 (ranov) R 3318 3320 3152 0 -1 4194304 12518 0 0 0 88399 7 0 0 25 0 1 0 258950743 337391616 12503 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513743 0 0 4096 0 0 0 0 17 1 0 0
/proc/3320/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 884.06
Current children cumulated vsize (KiB) 329484

Child status: 10
Real time (s): 884.452
CPU time (s): 884.109
CPU user time (s): 884.03
CPU system time (s): 0.078987
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 329484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 884.03
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12529
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= 8
involuntary context switches= 1546

runsolver used 0.646901 second user time and 1.82972 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Sun Apr 29 06:53:28 UTC 2007

IDJOB= 423780
IDBENCH= 20042
IDSOLVER= 193
FILE ID= node63/423780-1177829608

PBS_JOBID= 4718273

Free space on /tmp= 66563 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v700/unif-k5-r20-v700-c14000-S1121059923-10.cnf
COMMAND LINE= /tmp/evaluation/423780-1177829608/ranov /tmp/evaluation/423780-1177829608/instance-423780-1177829608.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-423780-1177829608 -o ROOT/results/node63/solver-423780-1177829608 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/423780-1177829608/ranov /tmp/evaluation/423780-1177829608/instance-423780-1177829608.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  66b921164fd5e4b2a03cd80961fa2940

RANDOM SEED= 370350542

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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.232
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.232
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:       1322644 kB
Buffers:         53836 kB
Cached:         594948 kB
SwapCached:       4764 kB
Active:         374100 kB
Inactive:       285340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1322644 kB
SwapTotal:     4192956 kB
SwapFree:      4182936 kB
Dirty:            1240 kB
Writeback:           0 kB
Mapped:          15912 kB
Slab:            59852 kB
Committed_AS:  2312632 kB
PageTables:       1460 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 node63 on Sun Apr 29 07:08:13 UTC 2007