Trace number 1780498

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
ttsth-5-0 2009-03-19 (4 threads)Signal 353.36 353.386

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-5p0.cnf
MD5SUM782c70d5631cbc24bc659543ee69ca8b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2591.27
Satisfiable
(Un)Satisfiability was proved
Number of variables224569
Number of clauses1190619
Sum of the clauses size2868508
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2850703
Number of clauses of size 3271793
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

Solver Data 

56.00/56.00	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780498-1243682451.cnf 
56.00/56.00	c Using SATTIMEOUT of 10000
56.00/56.00	c Using SATRAM of 2047
56.00/56.00	c Size of subset node = 16
56.00/56.00	c Variables = 224569
56.00/56.00	c Clauses = 1190619
56.00/56.00	c Literals = 2868508
56.00/56.00	c Reduced size:
56.00/56.00	c Variables = 224569
56.00/56.00	c Clauses = 924824
56.00/56.00	c Literals = 2280147
56.00/56.00	c a2
57.90/57.98	c a1
349.31/349.31	c Independent sub-problems = 1
349.31/349.31	c Sub-problem with 177726 variables and 924824 clauses
349.31/349.31	c using permutation method 4
349.31/349.31	c count = 1
349.31/349.31	c Ordering finished 348.820 seconds
349.31/349.31	c mapped 349.310 seconds
349.31/349.31	c permuted 349.310 seconds
349.31/349.31	c about to sort
349.51/349.57	c sorted

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780498-1243682451/watcher-1780498-1243682451 -o /tmp/evaluation-result-1780498-1243682451/solver-1780498-1243682451 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780498-1243682451.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): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 4.48 4.62 5.34 5/111 22103
/proc/meminfo: memFree=2965992/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=1144 CPUtime=0.01
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 194 0 0 0 1 0 0 0 25 0 1 0 1132909354 1171456 150 4294967295 134512640 135237372 3213780016 3213779572 134738896 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 286 150 74 177 0 108 0

[startup+0.105326 s]
/proc/loadavg: 4.48 4.62 5.34 5/111 22103
/proc/meminfo: memFree=2965992/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=6020 CPUtime=0.11
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 1389 0 0 0 9 2 0 0 25 0 1 0 1132909354 6164480 1345 4294967295 134512640 135237372 3213780016 3213779664 134523312 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 1505 1345 74 177 0 1327 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 6020

[startup+0.205322 s]
/proc/loadavg: 4.48 4.62 5.34 5/111 22103
/proc/meminfo: memFree=2965992/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=11484 CPUtime=0.21
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 2720 0 0 0 17 4 0 0 25 0 1 0 1132909354 11759616 2676 4294967295 134512640 135237372 3213780016 3213778812 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 2871 2676 75 177 0 2693 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 11484

[startup+0.305311 s]
/proc/loadavg: 4.48 4.62 5.34 5/111 22103
/proc/meminfo: memFree=2965992/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=16904 CPUtime=0.31
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 4075 0 0 0 26 5 0 0 25 0 1 0 1132909354 17309696 4031 4294967295 134512640 135237372 3213780016 3213779696 134544632 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 4226 4031 75 177 0 4048 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 16904

[startup+0.705278 s]
/proc/loadavg: 4.48 4.62 5.34 5/111 22103
/proc/meminfo: memFree=2965992/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=36508 CPUtime=0.71
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 8892 0 0 0 65 6 0 0 25 0 1 0 1132909354 37384192 8848 4294967295 134512640 135237372 3213780016 3213779572 134738716 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 9127 8848 75 177 0 8949 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 36508

[startup+1.50521 s]
/proc/loadavg: 4.48 4.62 5.34 5/112 22104
/proc/meminfo: memFree=2911316/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=73320 CPUtime=1.51
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 17839 0 0 0 139 12 0 0 25 0 1 0 1132909354 75079680 17795 4294967295 134512640 135237372 3213780016 3213778496 134685432 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 18330 17795 75 177 0 18152 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 73320

[startup+3.10508 s]
/proc/loadavg: 4.48 4.62 5.34 5/112 22104
/proc/meminfo: memFree=2887652/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=82516 CPUtime=3.11
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 19709 0 0 0 299 12 0 0 25 0 1 0 1132909354 84496384 19665 4294967295 134512640 135237372 3213780016 3213779708 134534262 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 20629 19665 75 177 0 20451 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 82516

[startup+6.30481 s]
/proc/loadavg: 4.52 4.63 5.34 6/112 22105
/proc/meminfo: memFree=2887736/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=82516 CPUtime=6.31
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 19709 0 0 0 619 12 0 0 25 0 1 0 1132909354 84496384 19665 4294967295 134512640 135237372 3213780016 3213779708 134534101 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 20629 19665 75 177 0 20451 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 82516

[startup+12.7043 s]
/proc/loadavg: 4.48 4.62 5.33 6/113 22120
/proc/meminfo: memFree=2887716/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=82516 CPUtime=12.7
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 19709 0 0 0 1258 12 0 0 25 0 1 0 1132909354 84496384 19665 4294967295 134512640 135237372 3213780016 3213779708 134534411 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 20629 19665 75 177 0 20451 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 82516

[startup+25.5032 s]
/proc/loadavg: 4.59 4.63 5.32 6/113 22229
/proc/meminfo: memFree=2887084/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=82516 CPUtime=25.5
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 19709 0 0 0 2538 12 0 0 25 0 1 0 1132909354 84496384 19665 4294967295 134512640 135237372 3213780016 3213779708 134534282 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 20629 19665 75 177 0 20451 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 82516

[startup+51.1011 s]
/proc/loadavg: 4.51 4.61 5.30 5/112 22293
/proc/meminfo: memFree=2887164/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=82516 CPUtime=51.1
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 19709 0 0 0 5098 12 0 0 25 0 1 0 1132909354 84496384 19665 4294967295 134512640 135237372 3213780016 3213779708 134534204 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 20629 19665 75 177 0 20451 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 82516

[startup+102.317 s]
/proc/loadavg: 4.75 4.65 5.27 5/112 22478
/proc/meminfo: memFree=2787704/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=182116 CPUtime=102.32
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 58659 0 0 0 10212 20 0 0 25 0 1 0 1132909354 186486784 44714 4294967295 134512640 135237372 3213780016 3213779376 134600981 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 45529 44714 77 177 0 45351 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 182116

[startup+162.312 s]
/proc/loadavg: 4.66 4.63 5.22 6/113 22628
/proc/meminfo: memFree=2780468/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=188940 CPUtime=162.32
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 60335 0 0 0 16212 20 0 0 25 0 1 0 1132909354 193474560 46390 4294967295 134512640 135237372 3213780016 3213779376 134600966 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 47235 46390 77 177 0 47057 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 188940

[startup+222.317 s]
/proc/loadavg: 4.41 4.56 5.16 6/113 22783
/proc/meminfo: memFree=2779784/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=189336 CPUtime=222.32
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 60472 0 0 0 22212 20 0 0 25 0 1 0 1132909354 193880064 46527 4294967295 134512640 135237372 3213780016 3213779376 134600975 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 47334 46527 77 177 0 47156 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 189336

[startup+282.312 s]
/proc/loadavg: 4.37 4.53 5.11 6/113 22908
/proc/meminfo: memFree=2779600/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=189600 CPUtime=282.32
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 60554 0 0 0 28212 20 0 0 25 0 1 0 1132909354 194150400 46609 4294967295 134512640 135237372 3213780016 3213779376 134600966 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 47400 46609 77 177 0 47222 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 189600

[startup+342.307 s]
/proc/loadavg: 4.49 4.55 5.08 5/112 23054
/proc/meminfo: memFree=2778648/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=189864 CPUtime=342.32
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 60635 0 0 0 34212 20 0 0 25 0 1 0 1132909354 194420736 46690 4294967295 134512640 135237372 3213780016 3213779376 134600975 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 47466 46690 77 177 0 47288 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 189864

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

[startup+345.607 s]
/proc/loadavg: 4.45 4.54 5.07 6/113 23067
/proc/meminfo: memFree=2778564/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=189864 CPUtime=345.61
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 60639 0 0 0 34541 20 0 0 25 0 1 0 1132909354 194420736 46694 4294967295 134512640 135237372 3213780016 3213779376 134600975 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 47466 46694 77 177 0 47288 0
Current children cumulated CPU time (s) 345.61
Current children cumulated vsize (KiB) 189864

[startup+348.816 s]
/proc/loadavg: 4.49 4.54 5.07 6/113 23093
/proc/meminfo: memFree=2778700/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=189864 CPUtime=348.82
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 60814 0 0 0 34862 20 0 0 25 0 1 0 1132909354 194420736 46869 4294967295 134512640 135237372 3213780016 3213779244 134727538 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 47466 46869 77 177 0 47288 0
Current children cumulated CPU time (s) 348.82
Current children cumulated vsize (KiB) 189864

[startup+350.406 s]
/proc/loadavg: 4.49 4.54 5.07 6/113 23103
/proc/meminfo: memFree=2740960/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=506336 CPUtime=350.41
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4202496 142091 0 0 0 35001 40 0 0 25 0 1 0 1132909354 518488064 125434 4294967295 134512640 135237372 3213780016 3213779368 134730109 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 126584 125434 88 177 0 126406 0
Current children cumulated CPU time (s) 350.41
Current children cumulated vsize (KiB) 506336

[startup+352.006 s]
/proc/loadavg: 4.49 4.54 5.07 6/113 23121
/proc/meminfo: memFree=2206076/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=673972 CPUtime=352.01
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4204032 184775 0 0 0 35131 70 0 0 25 0 1 0 1132909354 690147328 167891 4294967295 134512640 135237372 3213780016 3205402504 134730102 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 168493 167891 104 177 0 168315 0
Current children cumulated CPU time (s) 352.01
Current children cumulated vsize (KiB) 673972

[startup+352.806 s]
/proc/loadavg: 4.49 4.54 5.07 6/113 23121
/proc/meminfo: memFree=2206076/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=673972 CPUtime=352.8
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4204032 184775 0 0 0 35131 149 0 0 25 0 1 0 1132909354 690147328 167891 4294967295 134512640 135237372 3213780016 3205402504 134730102 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 168493 167891 104 177 0 168315 0
Current children cumulated CPU time (s) 352.8
Current children cumulated vsize (KiB) 673972

[startup+353.216 s]
/proc/loadavg: 4.61 4.57 5.08 7/113 23130
/proc/meminfo: memFree=1719348/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=673972 CPUtime=353.2
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4204032 185228 0 0 0 35131 189 0 0 25 0 1 0 1132909354 690147328 168344 4294967295 134512640 135237372 3213780016 3205402504 134730102 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 168493 168344 557 177 0 168315 0
Current children cumulated CPU time (s) 353.2
Current children cumulated vsize (KiB) 673972

[startup+353.306 s]
/proc/loadavg: 4.61 4.57 5.08 7/113 23130
/proc/meminfo: memFree=1719348/3368532 swapFree=1953788/1959888
[pid=22103] ppid=22101 vsize=673972 CPUtime=353.29
/proc/22103/stat : 22103 (ttsth-5-0) R 22101 22103 20065 0 -1 4204032 185244 0 0 0 35131 198 0 0 25 0 1 0 1132909354 690147328 168360 4294967295 134512640 135237372 3213780016 3205402504 134730102 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22103/statm: 168493 168360 573 177 0 168315 0
Current children cumulated CPU time (s) 353.29
Current children cumulated vsize (KiB) 673972

Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 353.386
CPU time (s): 353.36
CPU user time (s): 351.31
CPU system time (s): 2.05
CPU usage (%): 99.9927
Max. virtual memory (cumulated for all children) (KiB): 673972

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

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 13:20:51
IDJOB=1780498
IDBENCH=71011
IDSOLVER=632
FILE ID=/1780498-1243682451
PBS_JOBID=
Free space on /tmp= 6455 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-5p0.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780498-1243682451/watcher-1780498-1243682451 -o /tmp/evaluation-result-1780498-1243682451/solver-1780498-1243682451 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780498-1243682451.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 782c70d5631cbc24bc659543ee69ca8b
RANDOM SEED= 688387426

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.41
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.12
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2966140 kB
Buffers:        128872 kB
Cached:         155944 kB
SwapCached:       2256 kB
Active:         189504 kB
Inactive:       112496 kB
HighTotal:     2489216 kB
HighFree:      2315148 kB
LowTotal:       879316 kB
LowFree:        650992 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:           31656 kB
Writeback:           0 kB
AnonPages:       15996 kB
Mapped:           5272 kB
Slab:            91176 kB
SReclaimable:    77216 kB
SUnreclaim:      13960 kB
PageTables:        668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   112680 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5797 MiB
End job on  at 2009-05-30 13:26:46