Trace number 302539

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 642.41 642.594

General information on the benchmark

Namerandom/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S2050975470-04.cnf
MD5SUMe5f98d48d71fa50934389495266dcfb4
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.29604
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses18000
Sum of the clauses size90000
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 518000
Number of clauses of size over 50

Solver Data (download as text)

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node63/watcher-302539-1172013997 -o ROOT/results/node63/solver-302539-1172013997 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/302539-1172013997/ranov /tmp/evaluation/302539-1172013997/instance-302539-1172013997.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.02 1.01 0.97 3/64 5270
/proc/meminfo: memFree=1659528/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=319884 CPUtime=0
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 843 0 0 0 0 0 0 0 18 0 1 0 221357175 327561216 828 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 79971 835 30 98 0 79870 0

[startup+0.107279 s]
/proc/loadavg: 1.02 1.01 0.97 3/64 5270
/proc/meminfo: memFree=1659528/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=321152 CPUtime=0.1
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 10214 0 0 0 7 3 0 0 18 0 1 0 221357175 328859648 10198 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134521850 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 80288 10198 39 98 0 80187 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 321152

[startup+0.515321 s]
/proc/loadavg: 1.02 1.01 0.97 3/64 5270
/proc/meminfo: memFree=1659528/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=321576 CPUtime=0.5
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 10298 0 0 0 47 3 0 0 21 0 1 0 221357175 329293824 10282 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134523965 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 80394 10282 39 98 0 80293 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 321576

[startup+1.33641 s]
/proc/loadavg: 1.02 1.01 0.97 2/65 5271
/proc/meminfo: memFree=1618112/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=321856 CPUtime=1.32
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 10373 0 0 0 129 3 0 0 25 0 1 0 221357175 329580544 10357 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134523796 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 80464 10357 39 98 0 80363 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 321856

[startup+2.97458 s]
/proc/loadavg: 1.02 1.01 0.97 2/65 5271
/proc/meminfo: memFree=1608448/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=2.96
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 292 4 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513833 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 329936

[startup+6.25093 s]
/proc/loadavg: 1.02 1.01 0.97 2/65 5271
/proc/meminfo: memFree=1608472/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=6.24
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 620 4 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513843 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 329936

[startup+12.7056 s]
/proc/loadavg: 1.02 1.01 0.97 2/65 5271
/proc/meminfo: memFree=1608480/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=12.69
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 1265 4 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513743 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 329936

[startup+25.506 s]
/proc/loadavg: 1.02 1.01 0.97 2/65 5271
/proc/meminfo: memFree=1608480/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=25.48
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 2544 4 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 329936

[startup+51.1127 s]
/proc/loadavg: 1.01 1.01 0.97 2/65 5271
/proc/meminfo: memFree=1608480/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=51.09
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 5104 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513843 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 329936

[startup+102.321 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 5271
/proc/meminfo: memFree=1608416/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=102.28
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 10223 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 329936

[startup+162.341 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 5271
/proc/meminfo: memFree=1608416/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=162.28
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 16223 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134514913 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 329936

[startup+222.358 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 5271
/proc/meminfo: memFree=1608416/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=222.28
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 22223 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513568 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 329936

[startup+282.371 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 5271
/proc/meminfo: memFree=1608416/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=282.28
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 28223 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 329936

[startup+342.388 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 5271
/proc/meminfo: memFree=1608352/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=342.28
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 34223 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134514908 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 329936

[startup+402.406 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 5271
/proc/meminfo: memFree=1608352/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=402.28
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 40223 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513762 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 329936

[startup+462.421 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 5271
/proc/meminfo: memFree=1608288/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=462.28
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 46223 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513418 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 329936

[startup+522.435 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 5271
/proc/meminfo: memFree=1608352/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=522.28
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 52223 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 329936

[startup+582.449 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 5271
/proc/meminfo: memFree=1608352/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=582.28
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 58223 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513677 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 329936

[startup+642.469 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 5271
/proc/meminfo: memFree=1608288/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=642.28
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 64223 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 329936

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

[startup+642.572 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 5271
/proc/meminfo: memFree=1608288/2055920 swapFree=4177332/4192956
[pid=5270] ppid=5268 vsize=329936 CPUtime=642.38
/proc/5270/stat : 5270 (ranov) R 5268 5270 5210 0 -1 4194304 12718 0 0 0 64233 5 0 0 25 0 1 0 221357175 337854464 12702 18446744073709551615 134512640 134914624 4294956720 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/5270/statm: 82484 12702 42 98 0 82383 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 329936

Child status: 10
Real time (s): 642.594
CPU time (s): 642.41
CPU user time (s): 642.346
CPU system time (s): 0.06399
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 329936

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

runsolver used 0.416936 second user time and 1.3048 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Tue Feb 20 23:26:38 UTC 2007

IDJOB= 302539
IDBENCH= 20086
IDSOLVER= 105
FILE ID= node63/302539-1172013997

PBS_JOBID= 3892666

Free space on /tmp= 66562 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v900/unif-k5-r20-v900-c18000-S2050975470-04.cnf
COMMAND LINE= /tmp/evaluation/302539-1172013997/ranov /tmp/evaluation/302539-1172013997/instance-302539-1172013997.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-302539-1172013997 -o ROOT/results/node63/solver-302539-1172013997 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/302539-1172013997/ranov /tmp/evaluation/302539-1172013997/instance-302539-1172013997.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  e5f98d48d71fa50934389495266dcfb4

RANDOM SEED= 696122492

TIME LIMIT= 1200 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.214
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.214
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:       1660000 kB
Buffers:         31128 kB
Cached:         305916 kB
SwapCached:       9892 kB
Active:         243528 kB
Inactive:       109044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1660000 kB
SwapTotal:     4192956 kB
SwapFree:      4177332 kB
Dirty:            1492 kB
Writeback:           0 kB
Mapped:          15080 kB
Slab:            29392 kB
Committed_AS:   557688 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= 66562 MiB

End job on node63 on Tue Feb 20 23:37:21 UTC 2007