Trace number 356552

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.6096 61.6524

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node68/watcher-356552-1177543114 -o ROOT/results/node68/solver-356552-1177543114 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/356552-1177543114/picosat /tmp/evaluation/356552-1177543114/instance-356552-1177543114.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.91 0.93 0.64 3/64 18955
/proc/meminfo: memFree=1867064/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=724 CPUtime=0
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 99 0 0 0 0 0 0 0 18 0 1 0 230301066 741376 85 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 181 85 40 102 0 76 0

[startup+0.098644 s]
/proc/loadavg: 0.91 0.93 0.64 3/64 18955
/proc/meminfo: memFree=1867064/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=1264 CPUtime=0.08
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 243 0 0 0 3 5 0 0 18 0 1 0 230301066 1294336 229 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134583827 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 316 230 40 102 0 211 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1264

[startup+0.101643 s]
/proc/loadavg: 0.91 0.93 0.64 3/64 18955
/proc/meminfo: memFree=1867064/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=1264 CPUtime=0.09
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 251 0 0 0 4 5 0 0 18 0 1 0 230301066 1294336 237 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 316 237 40 102 0 211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1264

[startup+0.301662 s]
/proc/loadavg: 0.91 0.93 0.64 3/64 18955
/proc/meminfo: memFree=1867064/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=2380 CPUtime=0.29
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 519 0 0 0 12 17 0 0 19 0 1 0 230301066 2437120 505 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 595 505 40 102 0 490 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2380

[startup+0.701697 s]
/proc/loadavg: 0.91 0.93 0.64 3/64 18955
/proc/meminfo: memFree=1867064/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=6780 CPUtime=0.69
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 1115 0 0 0 30 39 0 0 23 0 1 0 230301066 6942720 1101 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 1695 1101 40 102 0 1590 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6780

[startup+1.50177 s]
/proc/loadavg: 0.91 0.93 0.64 2/65 18956
/proc/meminfo: memFree=1861360/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=8888 CPUtime=1.49
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 2132 0 0 0 70 79 0 0 25 0 1 0 230301066 9101312 2119 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134583827 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 2222 2119 40 102 0 2117 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8888

[startup+3.10191 s]
/proc/loadavg: 0.91 0.93 0.64 2/65 18956
/proc/meminfo: memFree=1855664/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=17112 CPUtime=3.09
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 3914 0 0 0 143 166 0 0 25 0 1 0 230301066 17522688 3900 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 4278 3900 40 102 0 4173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17112

[startup+6.3012 s]
/proc/loadavg: 0.91 0.93 0.65 2/65 18956
/proc/meminfo: memFree=1841648/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=33136 CPUtime=6.29
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 7476 0 0 0 289 340 0 0 25 0 1 0 230301066 33931264 7462 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 8284 7462 40 102 0 8179 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33136

[startup+12.7018 s]
/proc/loadavg: 0.92 0.93 0.65 2/65 18956
/proc/meminfo: memFree=1828664/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=57964 CPUtime=12.69
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 9694 0 0 0 853 416 0 0 25 0 1 0 230301066 59355136 9680 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 14491 9680 42 102 0 14386 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57964

[startup+25.5019 s]
/proc/loadavg: 0.94 0.93 0.65 2/65 18956
/proc/meminfo: memFree=1827704/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=62592 CPUtime=25.48
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 9875 0 0 0 2132 416 0 0 25 0 1 0 230301066 64094208 9859 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 15648 9859 48 102 0 15543 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62592

[startup+51.1012 s]
/proc/loadavg: 0.96 0.94 0.66 2/65 18956
/proc/meminfo: memFree=1824440/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=66024 CPUtime=51.07
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 10720 0 0 0 4690 417 0 0 25 0 1 0 230301066 67608576 10704 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 16506 10704 48 102 0 16401 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66024

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

[startup+57.5018 s]
/proc/loadavg: 0.96 0.94 0.66 2/65 18956
/proc/meminfo: memFree=1823672/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=66684 CPUtime=57.46
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 10912 0 0 0 5329 417 0 0 25 0 1 0 230301066 68284416 10896 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525797 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 16671 10896 48 102 0 16566 0
Current children cumulated CPU time (s) 57.46
Current children cumulated vsize (KiB) 66684

[startup+59.103 s]
/proc/loadavg: 0.96 0.94 0.66 2/65 18956
/proc/meminfo: memFree=1823480/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=66948 CPUtime=59.06
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 10968 0 0 0 5489 417 0 0 25 0 1 0 230301066 68554752 10952 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525715 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 16737 10952 48 102 0 16632 0
Current children cumulated CPU time (s) 59.06
Current children cumulated vsize (KiB) 66948

[startup+60.7011 s]
/proc/loadavg: 0.96 0.94 0.66 2/65 18956
/proc/meminfo: memFree=1823096/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=67212 CPUtime=60.66
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 11041 0 0 0 5649 417 0 0 25 0 1 0 230301066 68825088 11025 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 16803 11025 48 102 0 16698 0
Current children cumulated CPU time (s) 60.66
Current children cumulated vsize (KiB) 67212

[startup+61.1011 s]
/proc/loadavg: 0.96 0.94 0.66 2/65 18956
/proc/meminfo: memFree=1823096/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=67344 CPUtime=61.06
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 11060 0 0 0 5689 417 0 0 25 0 1 0 230301066 68960256 11044 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134543543 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 16836 11044 48 102 0 16731 0
Current children cumulated CPU time (s) 61.06
Current children cumulated vsize (KiB) 67344

[startup+61.5012 s]
/proc/loadavg: 0.96 0.94 0.66 2/65 18956
/proc/meminfo: memFree=1821240/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=67348 CPUtime=61.46
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 11077 0 0 0 5728 418 0 0 17 0 1 0 230301066 68964352 11061 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134604509 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 16837 11061 52 102 0 16732 0
Current children cumulated CPU time (s) 61.46
Current children cumulated vsize (KiB) 67348

[startup+61.6052 s]
/proc/loadavg: 0.96 0.94 0.66 2/65 18956
/proc/meminfo: memFree=1821240/2055920 swapFree=4183916/4192956
[pid=18955] ppid=18953 vsize=63740 CPUtime=61.56
/proc/18955/stat : 18955 (picosat) R 18953 18955 18581 0 -1 4194304 11077 0 0 0 5738 418 0 0 17 0 1 0 230301066 65269760 10299 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134579014 0 0 4096 0 0 0 0 17 1 0 0
/proc/18955/statm: 15935 10299 52 102 0 15830 0
Current children cumulated CPU time (s) 61.56
Current children cumulated vsize (KiB) 63740

Child status: 10
Real time (s): 61.6524
CPU time (s): 61.6096
CPU user time (s): 57.4103
CPU system time (s): 4.19936
CPU usage (%): 99.9306
Max. virtual memory (cumulated for all children) (KiB): 67348

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

runsolver used 0.06099 second user time and 0.186971 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Wed Apr 25 23:18:35 UTC 2007

IDJOB= 356552
IDBENCH= 20507
IDSOLVER= 171
FILE ID= node68/356552-1177543114

PBS_JOBID= 4695825

Free space on /tmp= 66426 MiB

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

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  47aea57a75df97a09b0fd4dea46085be

RANDOM SEED= 713281839

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1867472 kB
Buffers:         15516 kB
Cached:         113492 kB
SwapCached:       3048 kB
Active:          43976 kB
Inactive:        94724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1867472 kB
SwapTotal:     4192956 kB
SwapFree:      4183916 kB
Dirty:           18664 kB
Writeback:           0 kB
Mapped:          15680 kB
Slab:            35824 kB
Committed_AS:  2900764 kB
PageTables:       1380 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= 66426 MiB

End job on node68 on Wed Apr 25 23:19:37 UTC 2007