Trace number 423940

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 38.6651 38.7049

General information on the benchmark

Namerandom/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
MD5SUM26d21a18e51a01c29ac0a04190401030
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.315951
Satisfiable
(Un)Satisfiability was proved
Number of variables990
Number of clauses3582
Sum of the clauses size10388
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2358
Number of clauses of size 33224
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.08	c +------------------------------+
0.00/0.08	c | R+AdaptNovelty+, version 1.5 |
0.00/0.08	c +------------------------------+
0.00/0.08	c ranov -h for help
0.00/0.08	c 
0.00/0.08	c Problem instance: numAtoms = 990, numClauses = 3634, numLiterals = 10543
0.00/0.08	c General parameters: seed=1574703640, cutoff=100000, targetCost = 0, print solution: yes
0.00/0.08	c R+AdaptNovelty+ parameters: noise = 0, walkprob = 1
0.00/0.08	c tries = 1
0.00/0.08	c 
38.56/38.69	s SATISFIABLE
38.56/38.69	v -1
38.56/38.69	v -2
38.56/38.69	v 3
38.56/38.69	v 4
38.56/38.69	v 5
38.56/38.69	v 6
38.56/38.69	v -7
38.56/38.69	v 8
38.56/38.69	v 9
38.56/38.69	v -10
38.56/38.69	v -11
38.56/38.69	v -12
38.56/38.69	v 13
38.56/38.69	v 14
38.56/38.69	v -15
38.56/38.69	v 16
38.56/38.69	v -17
38.56/38.69	v 18
38.56/38.69	v -19
38.56/38.69	v -20
38.56/38.69	v -21
38.56/38.69	v -22
38.56/38.69	v -23
38.56/38.69	v 24
38.56/38.69	v -25
38.56/38.69	v 26
38.56/38.69	v -27
38.56/38.69	v 28
38.56/38.69	v 29
38.56/38.69	v 30
38.56/38.69	v -31
38.56/38.69	v -32
38.56/38.69	v 33
38.56/38.69	v -34
38.56/38.69	v 35
38.56/38.69	v 36
38.56/38.69	v 37
38.56/38.69	v -38
38.56/38.69	v 39
38.56/38.69	v 40
38.56/38.69	v 41
38.56/38.69	v 42
38.56/38.69	v 43
38.56/38.69	v 44
38.56/38.69	v -45
38.56/38.69	v 46
38.56/38.69	v 47
38.56/38.69	v 48
38.56/38.69	v 49
38.56/38.69	v 50
38.56/38.69	v -51
38.56/38.69	v 52
38.56/38.69	v -53
38.56/38.69	v 54
38.56/38.69	v -55
38.56/38.69	v -56
38.56/38.69	v -57
38.56/38.69	v 58
38.56/38.69	v -59
38.56/38.69	v -60
38.56/38.69	v -61
38.56/38.69	v -62
38.56/38.69	v 63
38.56/38.69	v 64
38.56/38.69	v 65
38.56/38.69	v -66
38.56/38.69	v -67
38.56/38.69	v 68
38.56/38.69	v 69
38.56/38.69	v -70
38.56/38.69	v 71
38.56/38.69	v 72
38.56/38.69	v -73
38.56/38.69	v -74
38.56/38.69	v -75
38.56/38.69	v 76
38.56/38.69	v -77
38.56/38.69	v 78
38.56/38.69	v 79
38.56/38.69	v -80
38.56/38.69	v 81
38.56/38.69	v -82
38.56/38.69	v -83
38.56/38.69	v 84
38.56/38.69	v 85
38.56/38.69	v 86
38.56/38.69	v -87
38.56/38.69	v -88
38.56/38.69	v -89
38.56/38.69	v -90
38.56/38.69	v -91
38.56/38.69	v 92
38.56/38.69	v 93
38.56/38.69	v 94
38.56/38.69	v 95
38.56/38.69	v 96
38.56/38.69	v 97
38.56/38.69	v 98
38.56/38.69	v -99
38.56/38.69	v -100
38.56/38.69	v 101
38.56/38.69	v 102
38.56/38.69	v -103
38.56/38.69	v 104
38.56/38.69	v -105
38.56/38.69	v -106
38.56/38.69	v -107
38.56/38.69	v -108
38.56/38.69	v -109
38.56/38.69	v 110
38.56/38.69	v 111
38.56/38.69	v -112
38.56/38.69	v 113
38.56/38.69	v -114
38.56/38.69	v 115
38.56/38.69	v -116
38.56/38.69	v -117
38.56/38.69	v -118
38.56/38.69	v -119
38.56/38.69	v 120
38.56/38.69	v 121
38.56/38.69	v 122
38.56/38.69	v 123
38.56/38.69	v -124
38.56/38.69	v 125
38.56/38.69	v -126
38.56/38.69	v -127
38.56/38.69	v -128
38.56/38.69	v 129
38.56/38.69	v -130
38.56/38.69	v 131
38.56/38.69	v -132
38.56/38.69	v 133
38.56/38.69	v 134
38.56/38.69	v -135
38.56/38.69	v 136
38.56/38.69	v 137
38.56/38.69	v 138
38.56/38.69	v -139
38.56/38.69	v 140
38.56/38.69	v 141
38.56/38.69	v -142
38.56/38.69	v 143
38.56/38.69	v 144
38.56/38.69	v -145
38.56/38.69	v 146
38.56/38.69	v 147
38.56/38.69	v -148
38.56/38.69	v -149
38.56/38.69	v -150
38.56/38.69	v 151
38.56/38.69	v 152
38.56/38.69	v -153
38.56/38.69	v 154
38.56/38.69	v 155
38.56/38.69	v 156
38.56/38.69	v -157
38.56/38.69	v 158
38.56/38.69	v 159
38.56/38.69	v 160
38.56/38.69	v -161
38.56/38.69	v -162
38.56/38.69	v 163
38.56/38.69	v 164
38.56/38.69	v 165
38.56/38.69	v 166
38.56/38.69	v -167
38.56/38.69	v -168
38.56/38.69	v -169
38.56/38.69	v -170
38.56/38.69	v 171
38.56/38.69	v -172
38.56/38.69	v 173
38.56/38.69	v 174
38.56/38.69	v 175
38.56/38.69	v 176
38.56/38.69	v -177
38.56/38.69	v -178
38.56/38.69	v 179
38.56/38.69	v 180
38.56/38.69	v -181
38.56/38.69	v 182
38.56/38.69	v 183
38.56/38.69	v 184
38.56/38.69	v -185
38.56/38.69	v -186
38.56/38.69	v 187
38.56/38.69	v -188
38.56/38.69	v -189
38.56/38.69	v -190
38.56/38.69	v 191
38.56/38.69	v 192
38.56/38.69	v -193
38.56/38.69	v -194
38.56/38.69	v 195
38.56/38.69	v -196
38.56/38.69	v -197
38.56/38.69	v -198
38.56/38.69	v 199
38.56/38.69	v 200
38.56/38.69	v -201
38.56/38.69	v -202
38.56/38.69	v 203
38.56/38.69	v -204
38.56/38.69	v 205
38.56/38.69	v 206
38.56/38.69	v 207
38.56/38.69	v -208
38.56/38.69	v -209
38.56/38.69	v -210
38.56/38.69	v -211
38.56/38.69	v 212
38.56/38.69	v -213
38.56/38.69	v 214
38.56/38.69	v 215
38.56/38.69	v -216
38.56/38.69	v -217
38.56/38.69	v -218
38.56/38.69	v -219
38.56/38.69	v -220
38.56/38.69	v -221
38.56/38.69	v 222
38.56/38.69	v 223
38.56/38.69	v -224
38.56/38.69	v -225
38.56/38.69	v 226
38.56/38.69	v -227
38.56/38.69	v -228
38.56/38.69	v 229
38.56/38.69	v -230
38.56/38.69	v -231
38.56/38.69	v 232
38.56/38.69	v 233
38.56/38.69	v 234
38.56/38.69	v -235
38.56/38.69	v 236
38.56/38.69	v -237
38.56/38.69	v 238
38.56/38.69	v 239
38.56/38.69	v -240
38.56/38.69	v 241
38.56/38.69	v -242
38.56/38.69	v 243
38.56/38.69	v -244
38.56/38.69	v 245
38.56/38.69	v 246
38.56/38.69	v 247
38.56/38.69	v -248
38.56/38.69	v 249
38.56/38.69	v -250
38.56/38.69	v -251
38.56/38.69	v 252
38.56/38.69	v 253
38.56/38.69	v -254
38.56/38.69	v 255
38.56/38.69	v 256
38.56/38.69	v -257
38.56/38.69	v -258
38.56/38.69	v 259
38.56/38.69	v -260
38.56/38.69	v 261
38.56/38.69	v 262
38.56/38.69	v -263
38.56/38.69	v 264
38.56/38.69	v -265
38.56/38.69	v -266
38.56/38.69	v 267
38.56/38.69	v -268
38.56/38.69	v 269
38.56/38.69	v -270
38.56/38.69	v 271
38.56/38.69	v 272
38.56/38.69	v 273
38.56/38.69	v -274
38.56/38.69	v 275
38.56/38.69	v 276
38.56/38.69	v -277
38.56/38.69	v 278
38.56/38.69	v -279
38.56/38.69	v -280
38.56/38.69	v -281
38.56/38.69	v 282
38.56/38.69	v 283
38.56/38.69	v 284
38.56/38.69	v -285
38.56/38.69	v -286
38.56/38.69	v 287
38.56/38.69	v 288
38.56/38.69	v 289
38.56/38.69	v 290
38.56/38.69	v 291
38.56/38.69	v 292
38.56/38.69	v -293
38.56/38.69	v -294
38.56/38.69	v -295
38.56/38.69	v 296
38.56/38.69	v -297
38.56/38.69	v -298
38.56/38.69	v 299
38.56/38.69	v -300
38.56/38.69	v -301
38.56/38.69	v -302
38.56/38.69	v -303
38.56/38.69	v 304
38.56/38.69	v 305
38.56/38.69	v -306
38.56/38.69	v -307
38.56/38.69	v 308
38.56/38.69	v 309
38.56/38.69	v 310
38.56/38.69	v -311
38.56/38.69	v 312
38.56/38.69	v 313
38.56/38.69	v 314
38.56/38.69	v 315
38.56/38.69	v 316
38.56/38.69	v -317
38.56/38.69	v -318
38.56/38.69	v 319
38.56/38.69	v -320
38.56/38.69	v -321
38.56/38.69	v 322
38.56/38.69	v 323
38.56/38.69	v 324
38.56/38.69	v -325
38.56/38.69	v 326
38.56/38.69	v -327
38.56/38.69	v -328
38.56/38.69	v 329
38.56/38.69	v 330
38.56/38.69	v 331
38.56/38.69	v 332
38.56/38.69	v 333
38.56/38.69	v -334
38.56/38.69	v -335
38.56/38.69	v 336
38.56/38.69	v -337
38.56/38.69	v -338
38.56/38.69	v 339
38.56/38.69	v -340
38.56/38.69	v 341
38.56/38.69	v 342
38.56/38.69	v -343
38.56/38.69	v -344
38.56/38.69	v 345
38.56/38.69	v -346
38.56/38.69	v -347
38.56/38.69	v -348
38.56/38.69	v 349
38.56/38.69	v 350
38.56/38.69	v 351
38.56/38.69	v 352
38.56/38.69	v 353
38.56/38.69	v 354
38.56/38.69	v -355
38.56/38.69	v 356
38.56/38.69	v 357
38.56/38.69	v 358
38.56/38.69	v 359
38.56/38.69	v 360
38.56/38.69	v -361
38.56/38.69	v 362
38.56/38.69	v -363
38.56/38.69	v -364
38.56/38.69	v 365
38.56/38.69	v 366
38.56/38.69	v 367
38.56/38.69	v -368
38.56/38.69	v -369
38.56/38.69	v -370
38.56/38.69	v 371
38.56/38.69	v -372
38.56/38.69	v 373
38.56/38.69	v 374
38.56/38.69	v 375
38.56/38.69	v -376
38.56/38.69	v 377
38.56/38.69	v -378
38.56/38.69	v 379
38.56/38.69	v -380
38.56/38.69	v -381
38.56/38.69	v -382
38.56/38.69	v 383
38.56/38.69	v 384
38.56/38.69	v 385
38.56/38.69	v -386
38.56/38.69	v -387
38.56/38.69	v 388
38.56/38.69	v -389
38.56/38.69	v -390
38.56/38.69	v -391
38.56/38.69	v 392
38.56/38.69	v 393
38.56/38.69	v -394
38.56/38.69	v -395
38.56/38.69	v 396
38.56/38.69	v 397
38.56/38.69	v -398
38.56/38.69	v -399
38.56/38.69	v -400
38.56/38.69	v 401
38.56/38.69	v 402
38.56/38.69	v -403
38.56/38.69	v 404
38.56/38.69	v 405
38.56/38.69	v 406
38.56/38.69	v -407
38.56/38.69	v 408
38.56/38.69	v -409
38.56/38.69	v 410
38.56/38.69	v -411
38.56/38.69	v 412
38.56/38.69	v -413
38.56/38.69	v 414
38.56/38.69	v 415
38.56/38.69	v -416
38.56/38.69	v -417
38.56/38.69	v -418
38.56/38.69	v 419
38.56/38.69	v -420
38.56/38.69	v -421
38.56/38.69	v 422
38.56/38.69	v -423
38.56/38.69	v 424
38.56/38.69	v 425
38.56/38.69	v -426
38.56/38.69	v -427
38.56/38.69	v 428
38.56/38.69	v 429
38.56/38.69	v 430
38.56/38.69	v -431
38.56/38.69	v -432
38.56/38.69	v 433
38.56/38.69	v 434
38.56/38.69	v -435
38.56/38.69	v 436
38.56/38.69	v -437
38.56/38.69	v -438
38.56/38.69	v -439
38.56/38.69	v -440
38.56/38.69	v -441
38.56/38.69	v 442
38.56/38.69	v 443
38.56/38.69	v -444
38.56/38.69	v -445
38.56/38.69	v -446
38.56/38.69	v -447
38.56/38.69	v 448
38.56/38.69	v 449
38.56/38.69	v 450
38.56/38.69	v -451
38.56/38.69	v 452
38.56/38.69	v 453
38.56/38.69	v -454
38.56/38.69	v 455
38.56/38.69	v -456
38.56/38.69	v 457
38.56/38.69	v 458
38.56/38.69	v -459
38.56/38.69	v -460
38.56/38.69	v -461
38.56/38.69	v -462
38.56/38.69	v 463
38.56/38.69	v -464
38.56/38.69	v -465
38.56/38.69	v -466
38.56/38.69	v 467
38.56/38.69	v 468
38.56/38.69	v 469
38.56/38.69	v 470
38.56/38.69	v 471
38.56/38.69	v -472
38.56/38.69	v 473
38.56/38.69	v -474
38.56/38.69	v 475
38.56/38.69	v 476
38.56/38.69	v -477
38.56/38.69	v 478
38.56/38.69	v -479
38.56/38.69	v 480
38.56/38.69	v 481
38.56/38.69	v -482
38.56/38.69	v 483
38.56/38.69	v 484
38.56/38.69	v 485
38.56/38.69	v -486
38.56/38.69	v 487
38.56/38.69	v 488
38.56/38.69	v 489
38.56/38.69	v 490
38.56/38.69	v -491
38.56/38.69	v -492
38.56/38.69	v 493
38.56/38.69	v -494
38.56/38.69	v 495
38.56/38.69	v -496
38.56/38.69	v 497
38.56/38.69	v 498
38.56/38.69	v 499
38.56/38.69	v 500
38.56/38.69	v -501
38.56/38.69	v -502
38.56/38.69	v 503
38.56/38.69	v 504
38.56/38.69	v -505
38.56/38.69	v -506
38.56/38.69	v 507
38.56/38.69	v 508
38.56/38.69	v 509
38.56/38.69	v -510
38.56/38.69	v -511
38.56/38.69	v 512
38.56/38.69	v 513
38.56/38.69	v 514
38.56/38.69	v -515
38.56/38.69	v 516
38.56/38.69	v -517
38.56/38.69	v 518
38.56/38.69	v 519
38.56/38.69	v 520
38.56/38.69	v -521
38.56/38.69	v -522
38.56/38.69	v 523
38.56/38.69	v 524
38.56/38.69	v 525
38.56/38.69	v -526
38.56/38.69	v -527
38.56/38.69	v 528
38.56/38.69	v -529
38.56/38.69	v -530
38.56/38.69	v -531
38.56/38.69	v 532
38.56/38.69	v 533
38.56/38.69	v -534
38.56/38.69	v -535
38.56/38.69	v -536
38.56/38.69	v 537
38.56/38.69	v -538
38.56/38.69	v 539
38.56/38.69	v 540
38.56/38.69	v -541
38.56/38.69	v 542
38.56/38.69	v 543
38.56/38.69	v -544
38.56/38.69	v -545
38.56/38.69	v -546
38.56/38.69	v -547
38.56/38.69	v 548
38.56/38.69	v -549
38.56/38.69	v 550
38.56/38.69	v -551
38.56/38.69	v -552
38.56/38.69	v -553
38.56/38.69	v -554
38.56/38.69	v -555
38.56/38.69	v -556
38.56/38.69	v 557
38.56/38.69	v 558
38.56/38.69	v 559
38.56/38.69	v 560
38.56/38.69	v -561
38.56/38.69	v -562
38.56/38.69	v -563
38.56/38.69	v -564
38.56/38.69	v 565
38.56/38.69	v 566
38.56/38.69	v 567
38.56/38.69	v 568
38.56/38.69	v 569
38.56/38.69	v -570
38.56/38.69	v -571
38.56/38.69	v -572
38.56/38.69	v -573
38.56/38.69	v -574
38.56/38.69	v -575
38.56/38.69	v -576
38.56/38.69	v -577
38.56/38.69	v -578
38.56/38.69	v 579
38.56/38.69	v -580
38.56/38.69	v -581
38.56/38.69	v -582
38.56/38.69	v 583
38.56/38.69	v -584
38.56/38.69	v 585
38.56/38.69	v -586
38.56/38.69	v 587
38.56/38.69	v -588
38.56/38.69	v 589
38.56/38.69	v -590
38.56/38.69	v 591
38.56/38.69	v -592
38.56/38.69	v -593
38.56/38.69	v 594
38.56/38.69	v 595
38.56/38.69	v -596
38.56/38.69	v -597
38.56/38.69	v -598
38.56/38.69	v 599
38.56/38.69	v -600
38.56/38.69	v 601
38.56/38.69	v -602
38.56/38.69	v 603
38.56/38.69	v -604
38.56/38.69	v -605
38.56/38.69	v 606
38.56/38.69	v -607
38.56/38.69	v -608
38.56/38.69	v -609
38.56/38.69	v -610
38.56/38.69	v 611
38.56/38.69	v 612
38.56/38.69	v -613
38.56/38.69	v 614
38.56/38.69	v -615
38.56/38.69	v -616
38.56/38.69	v 617
38.56/38.69	v -618
38.56/38.69	v 619
38.56/38.69	v -620
38.56/38.69	v -621
38.56/38.69	v -622
38.56/38.69	v -623
38.56/38.69	v -624
38.56/38.69	v -625
38.56/38.69	v -626
38.56/38.69	v -627
38.56/38.69	v -628
38.56/38.69	v -629
38.56/38.69	v -630
38.56/38.69	v -631
38.56/38.69	v -632
38.56/38.69	v -633
38.56/38.69	v 634
38.56/38.69	v -635
38.56/38.69	v 636
38.56/38.69	v -637
38.56/38.69	v 638
38.56/38.69	v 639
38.56/38.69	v -640
38.56/38.69	v 641
38.56/38.69	v -642
38.56/38.69	v -643
38.56/38.69	v 644
38.56/38.69	v -645
38.56/38.69	v 646
38.56/38.69	v 647
38.56/38.69	v -648
38.56/38.69	v -649
38.56/38.69	v 650
38.56/38.69	v -651
38.56/38.69	v -652
38.56/38.69	v 653
38.56/38.69	v 654
38.56/38.69	v -655
38.56/38.69	v -656
38.56/38.69	v -657
38.56/38.69	v -658
38.56/38.69	v 659
38.56/38.69	v -660
38.56/38.69	v -661
38.56/38.69	v 662
38.56/38.69	v 663
38.56/38.69	v 664
38.56/38.69	v 665
38.56/38.69	v 666
38.56/38.69	v 667
38.56/38.69	v -668
38.56/38.69	v 669
38.56/38.69	v 670
38.56/38.69	v 671
38.56/38.69	v -672
38.56/38.69	v 673
38.56/38.69	v 674
38.56/38.69	v -675
38.56/38.69	v -676
38.56/38.69	v 677
38.56/38.69	v -678
38.56/38.69	v 679
38.56/38.69	v 680
38.56/38.69	v 681
38.56/38.69	v 682
38.56/38.69	v 683
38.56/38.69	v 684
38.56/38.69	v -685
38.56/38.69	v -686
38.56/38.69	v 687
38.56/38.69	v 688
38.56/38.69	v -689
38.56/38.69	v 690
38.56/38.69	v 691
38.56/38.69	v 692
38.56/38.69	v 693
38.56/38.69	v -694
38.56/38.69	v 695
38.56/38.69	v -696
38.56/38.69	v 697
38.56/38.69	v -698
38.56/38.69	v 699
38.56/38.69	v -700
38.56/38.69	v 701
38.56/38.69	v -702
38.56/38.69	v 703
38.56/38.69	v 704
38.56/38.69	v 705
38.56/38.69	v 706
38.56/38.69	v 707
38.56/38.69	v 708
38.56/38.69	v -709
38.56/38.69	v -710
38.56/38.69	v -711
38.56/38.69	v 712
38.56/38.69	v 713
38.56/38.69	v -714
38.56/38.69	v 715
38.56/38.69	v -716
38.56/38.69	v 717
38.56/38.69	v 718
38.56/38.69	v 719
38.56/38.69	v -720
38.56/38.69	v -721
38.56/38.69	v -722
38.56/38.69	v -723
38.56/38.69	v 724
38.56/38.69	v -725
38.56/38.69	v -726
38.56/38.69	v 727
38.56/38.69	v -728
38.56/38.69	v 729
38.56/38.69	v -730
38.56/38.69	v 731
38.56/38.69	v 732
38.56/38.69	v 733
38.56/38.69	v 734
38.56/38.69	v 735
38.56/38.69	v -736
38.56/38.69	v -737
38.56/38.69	v 738
38.56/38.69	v 739
38.56/38.69	v -740
38.56/38.69	v 741
38.56/38.69	v -742
38.56/38.69	v 743
38.56/38.69	v -744
38.56/38.69	v -745
38.56/38.69	v -746
38.56/38.69	v 747
38.56/38.69	v -748
38.56/38.69	v 749
38.56/38.69	v -750
38.56/38.69	v -751
38.56/38.69	v 752
38.56/38.69	v -753
38.56/38.69	v 754
38.56/38.69	v 755
38.56/38.69	v -756
38.56/38.69	v 757
38.56/38.69	v -758
38.56/38.69	v -759
38.56/38.69	v 760
38.56/38.69	v -761
38.56/38.69	v 762
38.56/38.69	v -763
38.56/38.69	v -764
38.56/38.69	v 765
38.56/38.69	v -766
38.56/38.69	v 767
38.56/38.69	v -768
38.56/38.69	v 769
38.56/38.69	v 770
38.56/38.69	v 771
38.56/38.69	v -772
38.56/38.69	v -773
38.56/38.69	v 774
38.56/38.69	v -775
38.56/38.69	v -776
38.56/38.69	v -777
38.56/38.69	v 778
38.56/38.69	v -779
38.56/38.69	v 780
38.56/38.69	v 781
38.56/38.69	v -782
38.56/38.69	v 783
38.56/38.69	v -784
38.56/38.69	v 785
38.56/38.69	v 786
38.56/38.69	v -787
38.56/38.69	v 788
38.56/38.69	v -789
38.56/38.69	v 790
38.56/38.69	v -791
38.56/38.69	v -792
38.56/38.69	v -793
38.56/38.69	v 794
38.56/38.69	v 795
38.56/38.69	v 796
38.56/38.69	v -797
38.56/38.69	v -798
38.56/38.69	v -799
38.56/38.69	v 800
38.56/38.69	v 801
38.56/38.69	v 802
38.56/38.69	v 803
38.56/38.69	v 804
38.56/38.69	v -805
38.56/38.69	v 806
38.56/38.69	v 807
38.56/38.69	v -808
38.56/38.69	v 809
38.56/38.69	v -810
38.56/38.69	v -811
38.56/38.69	v -812
38.56/38.69	v 813
38.56/38.69	v -814
38.56/38.69	v 815
38.56/38.69	v -816
38.56/38.69	v -817
38.56/38.69	v -818
38.56/38.69	v -819
38.56/38.69	v -820
38.56/38.69	v 821
38.56/38.69	v -822
38.56/38.69	v 823
38.56/38.69	v -824
38.56/38.69	v -825
38.56/38.69	v -826
38.56/38.69	v 827
38.56/38.69	v -828
38.56/38.69	v 829
38.56/38.69	v -830
38.56/38.69	v 831
38.56/38.69	v -832
38.56/38.69	v 833
38.56/38.69	v -834
38.56/38.69	v -835
38.56/38.69	v 836
38.56/38.69	v 837
38.56/38.69	v -838
38.56/38.69	v 839
38.56/38.69	v -840
38.56/38.69	v 841
38.56/38.69	v -842
38.56/38.69	v 843
38.56/38.69	v 844
38.56/38.69	v 845
38.56/38.69	v -846
38.56/38.69	v 847
38.56/38.69	v -848
38.56/38.69	v -849
38.56/38.69	v -850
38.56/38.69	v -851
38.56/38.69	v -852
38.56/38.69	v -853
38.56/38.69	v 854
38.56/38.69	v -855
38.56/38.69	v -856
38.56/38.69	v -857
38.56/38.69	v 858
38.56/38.69	v 859
38.56/38.69	v 860
38.56/38.69	v -861
38.56/38.69	v -862
38.56/38.69	v 863
38.56/38.69	v -864
38.56/38.69	v -865
38.56/38.69	v 866
38.56/38.69	v 867
38.56/38.69	v 868
38.56/38.69	v 869
38.56/38.69	v -870
38.56/38.69	v -871
38.56/38.69	v -872
38.56/38.69	v -873
38.56/38.69	v 874
38.56/38.69	v 875
38.56/38.69	v -876
38.56/38.69	v 877
38.56/38.69	v -878
38.56/38.69	v 879
38.56/38.69	v -880
38.56/38.69	v -881
38.56/38.69	v -882
38.56/38.69	v 883
38.56/38.69	v -884
38.56/38.69	v -885
38.56/38.69	v 886
38.56/38.69	v 887
38.56/38.69	v -888
38.56/38.69	v -889
38.56/38.69	v -890
38.56/38.69	v 891
38.56/38.69	v 892
38.56/38.69	v 893
38.56/38.69	v 894
38.56/38.69	v -895
38.56/38.69	v 896
38.56/38.69	v -897
38.56/38.69	v 898
38.56/38.69	v -899
38.56/38.69	v 900
38.56/38.69	v -901
38.56/38.69	v 902
38.56/38.69	v -903
38.56/38.69	v 904
38.56/38.69	v 905
38.56/38.69	v 906
38.56/38.69	v 907
38.56/38.69	v -908
38.56/38.69	v -909
38.56/38.69	v 910
38.56/38.69	v 911
38.56/38.69	v -912
38.56/38.69	v 913
38.56/38.69	v 914
38.56/38.69	v -915
38.56/38.69	v 916
38.56/38.69	v 917
38.56/38.69	v -918
38.56/38.69	v 919
38.56/38.69	v 920
38.56/38.69	v -921
38.56/38.69	v 922
38.56/38.69	v -923
38.56/38.69	v 924
38.56/38.69	v 925
38.56/38.69	v -926
38.56/38.69	v -927
38.56/38.69	v 928
38.56/38.69	v 929
38.56/38.69	v -930
38.56/38.69	v 931
38.56/38.69	v -932
38.56/38.69	v -933
38.56/38.69	v -934
38.56/38.69	v -935
38.56/38.69	v 936
38.56/38.69	v -937
38.56/38.69	v -938
38.56/38.69	v 939
38.56/38.69	v 940
38.56/38.69	v 941
38.56/38.69	v -942
38.56/38.69	v -943
38.56/38.69	v 944
38.56/38.69	v -945
38.56/38.69	v -946
38.56/38.69	v -947
38.56/38.69	v 948
38.56/38.69	v 949
38.56/38.69	v -950
38.56/38.69	v 951
38.56/38.69	v -952
38.56/38.69	v 953
38.56/38.69	v -954
38.56/38.69	v 955
38.56/38.69	v 956
38.56/38.69	v -957
38.56/38.69	v -958
38.56/38.69	v -959
38.56/38.69	v -960
38.56/38.69	v 961
38.56/38.69	v 962
38.56/38.69	v 963
38.56/38.69	v 964
38.56/38.69	v 965
38.56/38.69	v -966
38.56/38.69	v -967
38.56/38.69	v 968
38.56/38.69	v 969
38.56/38.69	v -970
38.56/38.69	v 971
38.56/38.69	v 972
38.56/38.69	v 973
38.56/38.69	v -974
38.56/38.69	v 975
38.56/38.69	v 976
38.56/38.69	v -977
38.56/38.69	v -978
38.56/38.69	v 979
38.56/38.69	v -980
38.56/38.69	v 981
38.56/38.69	v -982
38.56/38.69	v -983
38.56/38.69	v 984
38.56/38.69	v 985
38.56/38.69	v -986
38.56/38.69	v 987
38.56/38.69	v 988
38.56/38.69	v -989
38.56/38.69	v -990
38.56/38.69	v 0
38.56/38.69	c Done in 38.580000 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/node10/watcher-423940-1177830950 -o ROOT/results/node10/solver-423940-1177830950 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/423940-1177830950/ranov /tmp/evaluation/423940-1177830950/instance-423940-1177830950.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.99 1.80 1.39 2/77 6558
/proc/meminfo: memFree=1595072/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=319884 CPUtime=0
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 616 0 0 0 0 0 0 0 18 0 1 0 259132529 327561216 602 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 79971 609 30 98 0 79870 0

[startup+0.00834403 s]
/proc/loadavg: 1.99 1.80 1.39 2/77 6558
/proc/meminfo: memFree=1595072/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=319884 CPUtime=0
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 1217 0 0 0 0 0 0 0 18 0 1 0 259132529 327561216 1203 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 79971 1211 30 98 0 79870 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 319884

[startup+0.10136 s]
/proc/loadavg: 1.99 1.80 1.39 2/77 6558
/proc/meminfo: memFree=1595072/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=0.09
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 4 5 0 0 18 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513517 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 328012

[startup+0.301402 s]
/proc/loadavg: 1.99 1.80 1.39 2/77 6558
/proc/meminfo: memFree=1595072/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=0.29
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 24 5 0 0 20 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513488 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 328012

[startup+0.701488 s]
/proc/loadavg: 1.99 1.80 1.39 2/77 6558
/proc/meminfo: memFree=1595072/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=0.69
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 64 5 0 0 23 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514798 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 328012

[startup+1.50166 s]
/proc/loadavg: 1.99 1.80 1.39 2/78 6559
/proc/meminfo: memFree=1547192/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=1.49
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 144 5 0 0 25 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514862 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 328012

[startup+3.10201 s]
/proc/loadavg: 1.91 1.78 1.39 2/78 6559
/proc/meminfo: memFree=1547064/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=3.09
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 304 5 0 0 25 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513257 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 328012

[startup+6.30169 s]
/proc/loadavg: 1.91 1.78 1.39 2/78 6559
/proc/meminfo: memFree=1547000/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=6.29
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 624 5 0 0 25 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 328012

[startup+12.7011 s]
/proc/loadavg: 1.77 1.76 1.38 2/78 6559
/proc/meminfo: memFree=1546880/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=12.68
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 1263 5 0 0 25 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134514662 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 328012

[startup+25.5018 s]
/proc/loadavg: 1.65 1.73 1.38 2/78 6559
/proc/meminfo: memFree=1546880/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=25.47
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 2542 5 0 0 25 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513843 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 328012

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

[startup+31.9052 s]
/proc/loadavg: 1.60 1.72 1.37 2/78 6559
/proc/meminfo: memFree=1546880/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=31.87
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 3182 5 0 0 25 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513762 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 328012

[startup+35.1019 s]
/proc/loadavg: 1.55 1.71 1.37 2/78 6559
/proc/meminfo: memFree=1546880/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=35.07
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 3502 5 0 0 25 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513762 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 35.07
Current children cumulated vsize (KiB) 328012

[startup+36.7023 s]
/proc/loadavg: 1.55 1.71 1.37 2/78 6559
/proc/meminfo: memFree=1546880/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=36.66
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 3661 5 0 0 25 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513324 0 0 4096 0 0 0 0 17 1 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 36.66
Current children cumulated vsize (KiB) 328012

[startup+37.5014 s]
/proc/loadavg: 1.51 1.70 1.37 2/78 6559
/proc/meminfo: memFree=1546880/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=37.46
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 3741 5 0 0 25 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513641 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 37.46
Current children cumulated vsize (KiB) 328012

[startup+38.3016 s]
/proc/loadavg: 1.51 1.70 1.37 2/78 6559
/proc/meminfo: memFree=1546880/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=328012 CPUtime=38.26
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194304 11944 0 0 0 3821 5 0 0 25 0 1 0 259132529 335884288 11929 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513203 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 82003 11929 42 98 0 81902 0
Current children cumulated CPU time (s) 38.26
Current children cumulated vsize (KiB) 328012

[startup+38.7017 s]
/proc/loadavg: 1.51 1.70 1.37 2/78 6559
/proc/meminfo: memFree=1546880/2055920 swapFree=4145480/4192956
[pid=6558] ppid=6556 vsize=0 CPUtime=38.65
/proc/6558/stat : 6558 (ranov) R 6556 6558 6159 0 -1 4194308 11955 0 0 0 3860 5 0 0 25 0 1 0 259132529 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/6558/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 38.65
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 38.7049
CPU time (s): 38.6651
CPU user time (s): 38.6031
CPU system time (s): 0.06199
CPU usage (%): 99.8973
Max. virtual memory (cumulated for all children) (KiB): 328012

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

runsolver used 0.044993 second user time and 0.106983 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Sun Apr 29 07:15:50 UTC 2007

IDJOB= 423940
IDBENCH= 20261
IDSOLVER= 193
FILE ID= node10/423940-1177830950

PBS_JOBID= 4718288

Free space on /tmp= 66564 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v990/unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
COMMAND LINE= /tmp/evaluation/423940-1177830950/ranov /tmp/evaluation/423940-1177830950/instance-423940-1177830950.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-423940-1177830950 -o ROOT/results/node10/solver-423940-1177830950 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/423940-1177830950/ranov /tmp/evaluation/423940-1177830950/instance-423940-1177830950.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  26d21a18e51a01c29ac0a04190401030

RANDOM SEED= 890742073

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1595416 kB
Buffers:         50200 kB
Cached:         314668 kB
SwapCached:      16136 kB
Active:         210488 kB
Inactive:       178944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1595416 kB
SwapTotal:     4192956 kB
SwapFree:      4145480 kB
Dirty:            1036 kB
Writeback:           0 kB
Mapped:          31096 kB
Slab:            56604 kB
Committed_AS:  3814568 kB
PageTables:       1712 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66564 MiB

End job on node10 on Sun Apr 29 07:16:29 UTC 2007