Trace number 320586

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
picosat 535SAT 61.5016 61.5475

General information on the benchmark

Nameindustrial/narain/
clauses-4.cnf
MD5SUM47aea57a75df97a09b0fd4dea46085be
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark33.6819
Satisfiable
(Un)Satisfiability was proved
Number of variables267766
Number of clauses1002957
Sum of the clauses size2476573
Maximum clause length217
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2756840
Number of clauses of size 3179525
Number of clauses of size 42715
Number of clauses of size 553863
Number of clauses of size over 510013

Solver Data (download as text)

 [...]

#
# trace file is too large. Trace was truncated at this point.
#

61.35/61.41	v 267291 267292 267293 -267294 267295 267296 267297 267298 267299 267300 267301
61.35/61.41	v 267302 267303 -267304 267305 -267306 -267307 -267308 267309 267310 267311
61.35/61.41	v 267312 267313 267314 267315 267316 267317 267318 267319 267320 267321 -267322
61.35/61.41	v 267323 -267324 -267325 -267326 267327 267328 267329 267330 267331 267332
61.35/61.41	v 267333 267334 267335 267336 267337 267338 267339 267340 267341 267342 267343
61.35/61.41	v 267344 267345 267346 267347 267348 267349 267350 267351 267352 267353 267354
61.35/61.41	v 267355 267356 267357 -267358 -267359 -267360 -267361 -267362 -267363 -267364
61.35/61.41	v -267365 -267366 -267367 -267368 -267369 -267370 -267371 -267372 -267373
61.35/61.41	v -267374 -267375 -267376 -267377 267378 267379 267380 267381 267382 267383
61.35/61.41	v 267384 -267385 267386 267387 267388 267389 -267390 267391 -267392 -267393
61.35/61.41	v -267394 267395 267396 267397 -267398 267399 267400 267401 267402 267403
61.35/61.41	v -267404 267405 267406 267407 267408 267409 -267410 267411 267412 267413
61.35/61.41	v 267414 267415 -267416 267417 267418 267419 267420 267421 -267422 267423
61.35/61.41	v 267424 267425 267426 267427 -267428 267429 267430 267431 267432 267433
61.35/61.41	v -267434 267435 267436 267437 267438 267439 -267440 267441 267442 267443
61.35/61.41	v -267444 267445 -267446 -267447 -267448 267449 267450 267451 -267452 267453
61.35/61.41	v 267454 267455 267456 267457 -267458 267459 267460 267461 267462 267463
61.35/61.41	v -267464 267465 267466 267467 267468 267469 -267470 267471 267472 267473
61.35/61.41	v 267474 267475 -267476 267477 267478 267479 -267480 267481 -267482 -267483
61.35/61.41	v -267484 267485 267486 267487 -267488 267489 267490 267491 267492 267493
61.35/61.41	v -267494 267495 267496 267497 267498 -267499 267500 267501 267502 267503
61.35/61.41	v 267504 267505 267506 267507 267508 -267509 -267510 267511 267512 267513
61.35/61.41	v 267514 267515 267516 267517 267518 267519 267520 267521 267522 267523 267524
61.35/61.41	v 267525 267526 -267527 -267528 267529 267530 267531 267532 267533 267534
61.35/61.41	v 267535 267536 267537 267538 267539 267540 267541 267542 267543 267544 267545
61.35/61.41	v 267546 267547 267548 267549 267550 267551 267552 267553 -267554 -267555
61.35/61.41	v 267556 267557 267558 267559 267560 267561 267562 -267563 -267564 -267565
61.35/61.41	v -267566 -267567 -267568 -267569 -267570 -267571 -267572 -267573 -267574
61.35/61.41	v -267575 -267576 -267577 -267578 -267579 -267580 -267581 -267582 -267583
61.35/61.41	v 267584 -267585 267586 267587 267588 -267589 267590 -267591 -267592 -267593
61.35/61.41	v 267594 267595 267596 -267597 -267598 267599 -267600 267601 267602 -267603
61.35/61.41	v -267604 267605 -267606 267607 267608 -267609 -267610 267611 -267612 -267613
61.35/61.41	v 267614 -267615 -267616 -267617 267618 -267619 267620 -267621 -267622 -267623
61.35/61.41	v 267624 -267625 267626 -267627 -267628 -267629 267630 -267631 267632 -267633
61.45/61.53	v -267634 -267635 267636 -267637 267638 -267639 -267640 -267641 267642 -267643
61.45/61.53	v 267644 -267645 -267646 -267647 267648 -267649 267650 -267651 -267652 -267653
61.45/61.53	v 267654 -267655 267656 -267657 -267658 -267659 267660 -267661 267662 -267663
61.45/61.53	v -267664 -267665 267666 -267667 267668 -267669 -267670 -267671 267672 -267673
61.45/61.53	v 267674 -267675 -267676 -267677 267678 -267679 267680 -267681 -267682 -267683
61.45/61.53	v 267684 -267685 267686 -267687 -267688 -267689 267690 267691 267692 -267693
61.45/61.53	v -267694 267695 -267696 267697 267698 -267699 -267700 267701 -267702 267703
61.45/61.53	v -267704 -267705 267706 -267707 -267708 267709 -267710 -267711 267712 -267713
61.45/61.53	v -267714 -267715 267716 -267717 -267718 267719 -267720 -267721 267722 -267723
61.45/61.53	v -267724 267725 -267726 -267727 267728 -267729 -267730 267731 -267732 -267733
61.45/61.53	v 267734 -267735 -267736 267737 -267738 -267739 267740 -267741 -267742 267743
61.45/61.53	v -267744 -267745 267746 -267747 -267748 267749 -267750 -267751 267752 -267753
61.45/61.53	v 267754 -267755 -267756 267757 -267758 -267759 267760 -267761 -267762 -267763
61.45/61.53	v 267764 267765 267766 267767 0

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node13/watcher-320586-1173048173 -o ROOT/results/node13/solver-320586-1173048173 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/320586-1173048173/picosat /tmp/evaluation/320586-1173048173/instance-320586-1173048173.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 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.98 0.99 3/77 12813
/proc/meminfo: memFree=897928/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=724 CPUtime=0
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 101 0 0 0 0 0 0 0 18 0 1 0 324771757 741376 86 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 181 86 40 102 0 76 0

[startup+0.012228 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 12813
/proc/meminfo: memFree=897928/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=892 CPUtime=0
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 126 0 0 0 0 0 0 0 18 0 1 0 324771757 913408 111 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 223 112 41 102 0 118 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 892

[startup+0.101239 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 12813
/proc/meminfo: memFree=897928/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=1264 CPUtime=0.09
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 246 0 0 0 4 5 0 0 18 0 1 0 324771757 1294336 231 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 316 231 40 102 0 211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1264

[startup+0.301266 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 12813
/proc/meminfo: memFree=897928/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=2380 CPUtime=0.3
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 508 0 0 0 13 17 0 0 19 0 1 0 324771757 2437120 493 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 595 493 40 102 0 490 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2380

[startup+0.70132 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 12813
/proc/meminfo: memFree=897928/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=4596 CPUtime=0.69
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 1054 0 0 0 31 38 0 0 22 0 1 0 324771757 4706304 1039 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 1149 1039 40 102 0 1044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4596

[startup+1.50143 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 12814
/proc/meminfo: memFree=892288/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=8888 CPUtime=1.49
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 2097 0 0 0 67 82 0 0 25 0 1 0 324771757 9101312 2082 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 2222 2082 40 102 0 2117 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8888

[startup+3.10264 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 12814
/proc/meminfo: memFree=886656/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=16968 CPUtime=3.09
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 3862 0 0 0 141 168 0 0 25 0 1 0 324771757 17375232 3847 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 4242 3847 40 102 0 4137 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16968

[startup+6.30107 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 12814
/proc/meminfo: memFree=872832/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=33004 CPUtime=6.29
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 7358 0 0 0 288 341 0 0 25 0 1 0 324771757 33796096 7343 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 8251 7343 40 102 0 8146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33004

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 12814
/proc/meminfo: memFree=859584/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=57964 CPUtime=12.69
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 9695 0 0 0 850 419 0 0 25 0 1 0 324771757 59355136 9680 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 14491 9680 42 102 0 14386 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57964

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 12814
/proc/meminfo: memFree=858688/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=62592 CPUtime=25.48
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 9875 0 0 0 2129 419 0 0 25 0 1 0 324771757 64094208 9858 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525860 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 15648 9858 48 102 0 15543 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62592

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 12814
/proc/meminfo: memFree=855296/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=66024 CPUtime=51.06
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 10722 0 0 0 4685 421 0 0 25 0 1 0 324771757 67608576 10705 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 16506 10705 48 102 0 16401 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 66024

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

[startup+57.5019 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 12814
/proc/meminfo: memFree=854528/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=66816 CPUtime=57.46
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 10918 0 0 0 5325 421 0 0 25 0 1 0 324771757 68419584 10901 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134530835 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 16704 10901 48 102 0 16599 0
Current children cumulated CPU time (s) 57.46
Current children cumulated vsize (KiB) 66816

[startup+59.1011 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 12814
/proc/meminfo: memFree=854336/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=66948 CPUtime=59.06
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 10973 0 0 0 5485 421 0 0 25 0 1 0 324771757 68554752 10956 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 16737 10956 48 102 0 16632 0
Current children cumulated CPU time (s) 59.06
Current children cumulated vsize (KiB) 66948

[startup+60.7013 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 12814
/proc/meminfo: memFree=854016/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=67212 CPUtime=60.66
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 11045 0 0 0 5645 421 0 0 25 0 1 0 324771757 68825088 11028 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134523087 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 16803 11028 48 102 0 16698 0
Current children cumulated CPU time (s) 60.66
Current children cumulated vsize (KiB) 67212

[startup+61.1014 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 12814
/proc/meminfo: memFree=854016/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=67344 CPUtime=61.06
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 11066 0 0 0 5685 421 0 0 25 0 1 0 324771757 68960256 11049 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 16836 11049 48 102 0 16731 0
Current children cumulated CPU time (s) 61.06
Current children cumulated vsize (KiB) 67344

[startup+61.5024 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 12814
/proc/meminfo: memFree=854656/2055920 swapFree=4192812/4192956
[pid=12813] ppid=12811 vsize=63740 CPUtime=61.45
/proc/12813/stat : 12813 (picosat) R 12811 12813 12336 0 -1 4194304 11078 0 0 0 5724 421 0 0 17 0 1 0 324771757 65269760 10299 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134579065 0 0 4096 0 0 0 0 17 1 0 0
/proc/12813/statm: 15935 10299 52 102 0 15830 0
Current children cumulated CPU time (s) 61.45
Current children cumulated vsize (KiB) 63740

Child status: 10
Real time (s): 61.5475
CPU time (s): 61.5016
CPU user time (s): 57.2723
CPU system time (s): 4.22936
CPU usage (%): 99.9255
Max. virtual memory (cumulated for all children) (KiB): 67348

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

runsolver used 0.084987 second user time and 0.220966 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Sun Mar  4 22:42:53 UTC 2007

IDJOB= 320586
IDBENCH= 20507
IDSOLVER= 106
FILE ID= node13/320586-1173048173

PBS_JOBID= 4012255

Free space on /tmp= 66355 MiB

SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/industrial/narain/clauses-4.cnf
COMMAND LINE= /tmp/evaluation/320586-1173048173/picosat /tmp/evaluation/320586-1173048173/instance-320586-1173048173.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-320586-1173048173 -o ROOT/results/node13/solver-320586-1173048173 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/320586-1173048173/picosat /tmp/evaluation/320586-1173048173/instance-320586-1173048173.cnf            

META MD5SUM SOLVER= 1cb12d44dc66ecc4d20a168f5cfd1323
MD5SUM BENCH=  47aea57a75df97a09b0fd4dea46085be

RANDOM SEED= 607020622

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.236
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.236
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:        898336 kB
Buffers:         49248 kB
Cached:         982652 kB
SwapCached:          0 kB
Active:         571928 kB
Inactive:       514460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        898336 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           18740 kB
Writeback:           0 kB
Mapped:          73368 kB
Slab:            56788 kB
Committed_AS:  1528892 kB
PageTables:       1744 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= 66355 MiB

End job on node13 on Sun Mar  4 22:43:55 UTC 2007