Trace number 300735

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 737.071 737.291

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 benchmark193.739
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)

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.90 3/77 24787
/proc/meminfo: memFree=374768/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=319884 CPUtime=0
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 880 0 0 0 0 0 0 0 18 0 1 0 213322280 327561216 865 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 79971 873 30 98 0 79870 0

[startup+0.108041 s]
/proc/loadavg: 0.92 0.97 0.90 3/77 24787
/proc/meminfo: memFree=374768/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=320980 CPUtime=0.09
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 10140 0 0 0 6 3 0 0 18 0 1 0 213322280 328683520 10124 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134521944 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 80245 10124 39 98 0 80144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 320980

[startup+0.517089 s]
/proc/loadavg: 0.92 0.97 0.90 3/77 24787
/proc/meminfo: memFree=374768/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=321264 CPUtime=0.5
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 10212 0 0 0 47 3 0 0 21 0 1 0 213322280 328974336 10196 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134523868 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 80316 10196 39 98 0 80215 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 321264

[startup+1.34319 s]
/proc/loadavg: 0.92 0.97 0.90 2/78 24788
/proc/meminfo: memFree=324648/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=1.33
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 129 4 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134514980 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 329484

[startup+2.97938 s]
/proc/loadavg: 0.92 0.97 0.90 2/78 24788
/proc/meminfo: memFree=324520/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=2.96
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 292 4 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513298 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 329484

[startup+6.25577 s]
/proc/loadavg: 0.93 0.97 0.90 2/78 24788
/proc/meminfo: memFree=324456/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=6.24
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 620 4 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513285 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 329484

[startup+12.7125 s]
/proc/loadavg: 0.93 0.97 0.90 2/78 24788
/proc/meminfo: memFree=324408/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=12.69
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 1265 4 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513498 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 329484

[startup+25.513 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324408/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=25.5
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 2545 5 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513524 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 329484

[startup+51.1271 s]
/proc/loadavg: 0.96 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324408/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=51.1
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 5105 5 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 329484

[startup+102.347 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324344/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=102.31
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 10226 5 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513743 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 329484

[startup+162.38 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=162.32
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 16227 5 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134519985 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 329484

[startup+222.409 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=222.33
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 22228 5 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513701 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 329484

[startup+282.438 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=282.34
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 28229 5 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 329484

[startup+342.482 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=342.37
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 34232 5 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 342.37
Current children cumulated vsize (KiB) 329484

[startup+402.517 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=402.38
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 40233 5 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513474 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 402.38
Current children cumulated vsize (KiB) 329484

[startup+462.551 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324344/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=462.41
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 46235 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 462.41
Current children cumulated vsize (KiB) 329484

[startup+522.582 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=522.42
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 52236 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513682 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 522.42
Current children cumulated vsize (KiB) 329484

[startup+582.612 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=582.43
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 58237 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 582.43
Current children cumulated vsize (KiB) 329484

[startup+642.645 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=642.44
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 64238 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513774 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 642.44
Current children cumulated vsize (KiB) 329484

[startup+702.672 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=702.45
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 70239 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513740 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 702.45
Current children cumulated vsize (KiB) 329484

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

[startup+708.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=707.88
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 70782 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513762 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 707.88
Current children cumulated vsize (KiB) 329484

[startup+721.212 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=720.99
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 72093 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513713 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 720.99
Current children cumulated vsize (KiB) 329484

[startup+727.765 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=727.54
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 72748 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513502 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 727.54
Current children cumulated vsize (KiB) 329484

[startup+731.045 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=730.82
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 73076 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513859 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 730.82
Current children cumulated vsize (KiB) 329484

[startup+734.322 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=734.09
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 73403 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513816 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 734.09
Current children cumulated vsize (KiB) 329484

[startup+735.962 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=735.73
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 73567 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 735.73
Current children cumulated vsize (KiB) 329484

[startup+736.781 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=736.55
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 73649 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513701 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 736.55
Current children cumulated vsize (KiB) 329484

[startup+737.195 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 24788
/proc/meminfo: memFree=324280/2055920 swapFree=4192812/4192956
[pid=24787] ppid=24785 vsize=329484 CPUtime=736.96
/proc/24787/stat : 24787 (ranov) R 24785 24787 24345 0 -1 4194304 12519 0 0 0 73690 6 0 0 25 0 1 0 213322280 337391616 12503 18446744073709551615 134512640 134914624 4294956624 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/24787/statm: 82371 12503 42 98 0 82270 0
Current children cumulated CPU time (s) 736.96
Current children cumulated vsize (KiB) 329484

Child status: 10
Real time (s): 737.291
CPU time (s): 737.071
CPU user time (s): 736.995
CPU system time (s): 0.075988
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 329484

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

runsolver used 0.803877 second user time and 1.68574 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Tue Feb 20 01:07:57 UTC 2007

IDJOB= 300735
IDBENCH= 20042
IDSOLVER= 105
FILE ID= node11/300735-1171933677

PBS_JOBID= 3848912

Free space on /tmp= 66545 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/300735-1171933677/ranov /tmp/evaluation/300735-1171933677/instance-300735-1171933677.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-300735-1171933677 -o ROOT/results/node11/solver-300735-1171933677 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/300735-1171933677/ranov /tmp/evaluation/300735-1171933677/instance-300735-1171933677.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  66b921164fd5e4b2a03cd80961fa2940

RANDOM SEED= 689937257

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.243
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.243
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:        375176 kB
Buffers:         53464 kB
Cached:        1511216 kB
SwapCached:          0 kB
Active:         230360 kB
Inactive:      1377176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        375176 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1252 kB
Writeback:           0 kB
Mapped:          61772 kB
Slab:            58768 kB
Committed_AS:   679484 kB
PageTables:       1756 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= 66545 MiB

End job on node11 on Tue Feb 20 01:20:15 UTC 2007